 Let g = 40 - p. Solve 0 = 3*r - g*r + 5 for r.
1
Suppose 14*g = 15*g - 2. Solve -y = -3 - g for y.
5
Let k = 8 + -5. Suppose 0 = k*a + o - 4 - 1, 2*o + 14 = 2*a. Let x be (-6)/((-4)/6*a). Solve 4*t - 5 = x for t.
2
Let l be (200/(-16))/(2/4). Let h = l + 18. Let q be (-26)/((-1 - h)/(-3)). Solve q = -5*n - 2 for n.
-3
Let t = 23 + -14. Let g(h) = 4*h - t - 4 + 0 + 3. Let q be g(4). Solve q = 2*y - 0*y for y.
3
Let w(r) be the third derivative of r**5/15 - r**4/24 - r**3/6 + 6*r**2. Let k be w(-1). Solve -s - k = s for s.
-2
Let o(z) = -z**3 - 15*z**2 - 25*z + 18. Let x be o(-13). Solve 10 = x*u - 0*u for u.
2
Suppose 0 = r + 2*p + 15, -p - 3*p + 5 = -5*r. Let o = -2 - r. Suppose 5*l = 4*q - 22 + 34, 3*l + 2*q + 6 = 0. Solve -c + o = -l for c.
3
Let c(d) = 25*d. Let b be c(1). Suppose 0*w - 4*w = 40. Let v = w + b. Solve -v = -3*m - 0*m for m.
5
Let i(p) = p**2 + 5*p + 4. Let w be i(-6). Suppose 2*f - w = -6. Solve -2*q - f*q - 8 = 0 for q.
-2
Let h = -25 + 27. Suppose 3*t = 6, -3*t + 4*t = 2*q - h. Suppose -y + 2 + 0 = 0. Solve -q*n + 20 = y*n for n.
5
Suppose 0 = x - 2, 3*k = x + 11 + 2. Suppose -k*n = -37 - 48. Solve -3*w + n = 2 for w.
5
Let u(l) = l**2 - 12*l + 77. Let d be u(7). Solve -23*t - d = -2*t for t.
-2
Suppose -242*b = -240*b + 5*s - 20, 2*b + 2*s - 14 = 0. Solve 38 - 43 = b*y for y.
-1
Let r = 656 - 652. Solve -5 = r*y - 9 for y.
1
Let z(a) = 5*a**3 + 2*a**2 + a - 2. Let q be z(1). Suppose 11*m - q - 5 = 0. Solve b = -1 - m for b.
-2
Let v be (-24)/18 - 456/(-18). Solve 0 = 7*w - w - v for w.
4
Let n be (18/4)/((-2)/(-4)). Suppose -n*m + 22 = 4. Solve -4 = 4*g - m*g for g.
-2
Let q = 13 + -1. Let a(y) = -y**2 + 14*y - 15. Let r be a(q). Suppose -5*n + r = -2*n. Solve t - n*t = 0 for t.
0
Suppose -3*n = -6 - 6. Suppose -2*l + 2*c = -0 - 52, -2*l + 3*c = -54. Solve -l = 5*s - n for s.
-4
Let l(j) = 24*j - 180. Let k be l(8). Solve 0 = -k*u - 31 - 5 for u.
-3
Let x = 2 + -2. Let l be x*(((-3)/2)/(-3))/1. Solve l*h + 3*h - 12 = 0 for h.
4
Suppose -4*m + 28 = -0*m. Let i be 3/24 - (-23)/8. Suppose m - i = x. Solve -x*a = -0*a + 20 for a.
-5
Suppose t = -5*y - 1, 2*t - 3 = 16*y - 21*y. Solve -t = -a + 1 for a.
5
Suppose 2*g = -2*j + 10, -2*j - 5*g + 11 = -4*g. Solve -5*w - j = -7*w for w.
3
Let k be 12/(-18) + 4/(-24)*-64. Solve k + 2 = -4*r for r.
-3
Let q(s) = s**2 + 48*s + 433. Let k be q(-36). Let n(v) = v**3 - 8*v**2 + 8*v - 6. Let w be n(7). Let y = w - -1. Solve x + y = -k for x.
-3
Suppose x + 6 = -x. Let j = x - -8. Let m be (1/(-2))/(j/(-50)). Solve l - m*l + 12 = 0 for l.
3
Let t(s) = -s**3 + s**2 + 9*s + 9. Let u be t(-2). Solve z - 4 = -u for z.
1
Suppose -w - 6 = -k - 3, -4*w + 6 = 2*k. Suppose -k*m - 2*m = -45. Solve i - 4*i + m = 0 for i.
3
Let d = 8 + -8. Suppose d = -2*a - 3*l - 2*l - 1, -4*a + 3 = 5*l. Let y be -2 - (-162)/15 - (-24)/120. Solve a*t = 5*t - y for t.
3
Let x be ((-12)/(-2) - 10) + 5. Suppose 33 = 4*n - v, 3*v = 4*n - 33 - 10. Solve 2*l = x - n for l.
-3
Let m(z) = z**2 + 6*z - 10. Let k be m(-8). Let w(c) = c - 10. Let f be w(k). Let i = -3 - f. Solve 3*s = -4 + i for s.
-1
Let o = 8 - 3. Suppose -g - 16 + 5 = -3*i, -o*g + 2 = 4*i. Suppose -6*c + i*c = 0. Solve -5*z = -c*z + 5 for z.
-1
Let m = 117 + -117. Solve 2 = -n - m*n for n.
-2
Suppose 2*w + 76 = 6*w + 3*n, 2*w = -3*n + 32. Let k = w + -20. Solve 2 - 4 = k*z for z.
-1
Suppose 0*n - 40 = -4*n. Let x be (-16)/10 - 4/n. Let l(c) = -3*c - 3. Let r be l(x). Solve -k - r*k = 12 for k.
-3
Suppose -32 = 8*v - 16*v. Let c be (0 - (-2)/(-5))*-5. Suppose -c = -2*n + v. Solve h - n*h = -6 for h.
3
Suppose 4*p - 90 = -6*p. Solve 8*f - p = 11*f for f.
-3
Suppose n - 5*k = 13, 2*k + 10 = 2*n - 0*k. Solve -i + 8 = n*i for i.
2
Suppose t - 14 = -3*i, 4*i - 2*t = 2 + 20. Let p be 1 - (8 - 3)/i. Solve -3 = -v - p*v for v.
3
Let h be (0*(-4)/(-8))/(-2). Suppose -3*z + 0*z + 30 = h. Suppose -10 - z = -5*j + b, 2*j - b = 5. Solve 2*l - j*l + 3 = 0 for l.
1
Let o(t) = -11*t + 19 + 6*t + t**3 - 23 + 2*t**2. Suppose -2*h + 3*h + 2*w = 1, -2*w + 10 = -2*h. Let p be o(h). Solve -6*i + p*i + 12 = 0 for i.
3
Let x be 21/9 - (-174)/18. Solve x = -5*g + 9*g for g.
3
Let k be (-4)/(-3) - (-40)/24. Let h be (-1 + (k - (-1 - 0)))/1. Solve 16 = h*a + 1 for a.
5
Let a(v) = v**3 - 7*v**2 + 9*v + 1. Let z be a(5). Let o = 8 + z. Suppose o*p = -0*p. Solve 5*d + p*d = 10 for d.
2
Let r(m) = 45*m + 138. Let i be r(-3). Solve -h = i*h + 20 for h.
-5
Let b be (-152992)/(-1232) - -1*2/(-11). Solve b = 17*o + 39 for o.
5
Let m = -132 + 139. Solve -m*x = -4 - 10 for x.
2
Let u(g) = -g**2 + 16*g - 53. Let b be u(11). Solve 9*l = b*l - 21 for l.
-3
Let o(u) = -4*u - 20. Let w(p) = -p**2 + 2*p + 2. Let k = 27 + -23. Let n be w(k). Let q be o(n). Solve 0*m = -m - q for m.
-4
Let z = -1110 - -1114. Solve -z - 28 = -8*g for g.
4
Let v be ((-26)/(-208))/(2/32). Solve -60 + 62 = v*n for n.
1
Suppose 2*a - 43 = 5*t, -4*a + 168 = -t + 127. Solve 16*m - 7 - a = 0 for m.
1
Let l be 8 + 5 - ((-12)/(-3) - -3). Let f(v) = v**3 + 4*v**2 + 4*v + 2. Let h be f(-2). Solve h*p = -l - 4 for p.
-5
Suppose -39 = -9*f + 78. Solve -5*y = -3 + f for y.
-2
Suppose 0*v = 5*v. Let k be 3*2/4*(-15 + -43). Let n be -5*(k/195 - 2/13). Solve v = -3*j + n - 6 for j.
-1
Let f be (-12 - -16)/(0 + 1). Suppose -f*y + 54 = -50. Suppose -l + 3*c = -5*l + 25, 5*l - y = -2*c. Solve -5*j = -4*j + l for j.
-4
Suppose 265 + 2851 = 38*k. Solve k = 6*a + 94 for a.
-2
Let z(p) = -p**2 - 7*p - 2. Let a be z(-7). Let j be 6 - -1 - (3 + a - 0). Solve h + h = j for h.
3
Let u = -506 - -522. Solve 0 = -17*y + u*y for y.
0
Suppose 4*i - 48 = 5*x, -4*i - x = i - 89. Let v = i + -14. Solve -4 = -2*m + v*m for m.
-4
Suppose 6*i + 12 = 24. Suppose -5*m = 2*w - 18, 6 = -m + 3*m + i*w. Solve t + 0*t + m = 0 for t.
-4
Let h be (-8)/6*(-15)/(-10). Let x be (-6)/h - 1 - -4. Suppose -x*s + 20 = -s. Solve s*f = f + 6 for f.
2
Let v be (-126)/(-72) + 1/4. Suppose 0 = -0*w - 2*w + 20. Solve -7*k = -v*k + w for k.
-2
Suppose 4*t + 10 = -2*y, -t + 6 = 5*y - 5. Suppose 0 = -y*m + 93 + 60. Let k = m + -31. Solve -5*s = -0*s + k for s.
-4
Let r(z) = -47*z + 579. Let y be r(12). Solve -3*x = -y*x - 36 for x.
-3
Let u(k) be the first derivative of k**4/2 - 10*k**3/3 + 4*k - 11. Let r be u(5). Solve -r*n - 15 - 1 = 0 for n.
-4
Let d = -449 + 459. Solve -d = -3*y + 8*y for y.
-2
Suppose 56 = -3*q + 212. Suppose p = q - 51. Solve -2*y - p + 9 = 0 for y.
4
Let j(m) = -m**3 - 5*m**2 + 4*m - 7. Let o be j(-6). Suppose o - 11 = -2*k. Solve -k*f = -12 - 3 for f.
5
Suppose 0 = 7*k - 2*k. Let h(z) = 35*z + 3. Let g be h(1). Suppose -2*l + 11 = -5*v + g, -v - l = -4. Solve t + k*t = -v for t.
-5
Let f(l) = l**2 + 2*l - 10. Suppose -12*u = 57 + 3. Let g be f(u). Solve -b + g - 3 = 0 for b.
2
Let j = 20 + -16. Suppose j*x - 10*x = 0. Solve 20 = -4*u - x*u for u.
-5
Let m(k) = -2 + 18*k**2 - 6*k - 16*k**2 - 3. Let q be m(-1). Solve q*w - 8 - 4 = 0 for w.
4
Suppose 5*v = 2*v + 4*l - 16, 5*v - l = -4. Let a = 7 - 3. Suppose -a*f - f = v. Solve -c + 2 - 1 = f for c.
1
Let s be (((-19)/(-3))/((-15)/(-90)))/(-1). Let a = 38 + s. Solve z = -a*z for z.
0
Let i = -34 + 37. Suppose 4*w + 4*a = 124, 5*w - 134 = i*a - a. Solve -5*s - 3 + w = 0 for s.
5
Let b be 33/4 + (-1)/4. Suppose 5*z + 34 + 6 = -3*p, -2*p = z + 8. Let m = b + z. Solve 0 = 3*f - m*f + 6 for f.
-2
Let h(m) = -m**2 + 8*m + 11. Let q be (2 + -5)/(1/(-3)). Let i be h(q). Solve 25 = -i*n - 3*n for n.
-5
Suppose 20 = -3*k + o, -k + o = 5*o + 24. Let i = -5 - k. Solve -i = 2*j - 11 for j.
4
Let u be 2/(-5) - 16/(-40). Suppose -a + 9 = 2*g + 3, -g + 5*a + 14 = 0. Solve u*x - x = -g for x.
4
Let v = -3 - -5. Suppose 0*h + 4 = -2*h + 4*i, -2*h + v = -2*i. Solve 4 = -h*k - 0 for k.
-1
Suppose -13*q = -q - 672. Let m = -41 + q. Solve -5*y = m + 10 for y.
-5
Let d = 306 - 304. Solve 91*h + d = 92*h for h.
2
Let r(n) = 4*n**3 + 2*n**2 - 12*n + 6. Let v be r(2). Solve -3 = -5*b + v for b.
5
Let b(f) = 4*f. Suppose -2*c = c + 5*d, d = 0. Let p be b(c). Solve p = n + n - 8 for n.
4
Let s = -518 - -536. Solve -10*k + s + 22 = 0 for k.
4
Let y be (-4 + 2)/((-1)/8) - -3. Let v(i) = -i - 3. Let t be v(-4). Suppose -t + 5 = 4*x. Solve -4*u = x + y for u.
-5
Suppose f - 9 = -1. Suppose 3*d + f = -j, -d = 2*j + d + 24. Let u(h) = -h -