r j.
2
Let d(t) = -17*t**3 - 2*t**2 + t. Let y be d(1). Let l = 24 + y. Solve l - 1 = -o for o.
-5
Let k = -20 - -31. Suppose k*c = c + 50. Solve -23 = -c*n - 3 for n.
4
Suppose 2*b - 3 = -9. Let d(x) = -x**2 - 3*x - 2. Let o be d(b). Let g be -2 + 9 + 0/o. Solve 4*t - g = 9 for t.
4
Let u(t) = t + 5. Let g be u(0). Let i = 12 + -12. Solve 0 = -g*s - i*s + 10 for s.
2
Let g(u) be the first derivative of u**4/4 + 2*u**3 + 3*u**2 + u - 2. Let j be (2/5*-2)/(18/90). Let q be g(j). Solve -w = 2*w - q for w.
3
Suppose -2*h + 5*m - 1 = 0, -2*h + 2 = 5*m - 7. Let o = -22 + 26. Solve 6 + o = h*r for r.
5
Let o = -21 - -41. Suppose -c - 11 = -4*c + p, -p + 19 = 3*c. Suppose 2*d - 3*a = 6*d, 0 = 5*d - c*a. Solve -4*z + 0*z + o = d for z.
5
Suppose p - 13 = 4*z, -3*z - p = 4*p + 4. Let r(d) = -65*d + 62*d + 0 + 1. Let l be r(z). Solve 5*s - 3*s = -l for s.
-5
Let z be (-2)/(-7) - (300/(-28) + 4). Let x = 17 - z. Solve -5 - x = -3*k for k.
5
Let j(t) = 2*t**3 - 3*t**2 + 2*t - 18. Let w be j(3). Suppose -2 = -w*z + 13*z. Solve -z = -p - 3 for p.
-2
Let w be (-1 + 3)/(4/6). Suppose 0*m = w*m - 6. Solve 2*t = 6 + m for t.
4
Let g = 1647 - 1642. Solve 36 - 16 = g*t for t.
4
Let u(v) = -4*v**2 - v + 7. Let d be u(-2). Let w be 7 + d + -3 + 7. Solve o + 1 = w for o.
3
Suppose -2*v = -0*v - z - 188, -v + 94 = 5*z. Let q = -92 + v. Solve w = q*w for w.
0
Suppose 0 = 3*x - 0*x + 3. Let i be -2*(x*10)/5. Suppose -2*j + 3 = -27. Solve -c = i*c + j for c.
-3
Let k(g) = 32*g - 1. Let r be k(2). Let s = -60 + r. Solve -s*p = 5 + 1 for p.
-2
Suppose -v - 10 = 4*v. Let h be (9/18)/(v/(-12)). Solve -a + h = 8 for a.
-5
Let h = 16 + 7. Let d be 20/60 - h*(-2)/6. Solve -3*u + 20 = -d*u for u.
-4
Suppose 4*w = -b - b + 12, -w - 4 = 4*b. Solve 0 = -52*i + 50*i + w for i.
2
Let i be 2*-9*(2 + 35/(-15)). Solve 0 = 5*y - i - 9 for y.
3
Let z(t) = -2*t - 14. Let k be z(-7). Suppose 3*o + 4*l = 84, -o + 36 = -k*o + 4*l. Let f be (o/15)/(2/5). Solve 9 + 7 = f*c for c.
4
Let f(l) = 2*l**2 - 3*l + 2. Let i be f(2). Suppose -q - 41 = -44. Solve i*p + 5 = -q for p.
-2
Let l(r) = -r**2 - 21*r + 26. Let i be l(-22). Solve 4*m + 16 - i = 0 for m.
-3
Let j(g) = 4*g + 173. Let z be j(-42). Solve -14 = -3*a - z for a.
3
Suppose 0 = v + 3*v - q - 11, 0 = 4*v + 3*q - 31. Suppose 5*n - 88 = -v*x, 3*x = -2*x + 10. Suppose 3*t = 5 + 4. Solve 0 = t*d + d + n for d.
-4
Let b(g) = 6*g**2 - 136*g - 245. Let t(h) = -h**2 + 27*h + 49. Let y(i) = 2*b(i) + 11*t(i). Let p be y(-23). Solve p*c = -2*c for c.
0
Let d = -74 - -78. Suppose d*g = -2*b + 4, -3*g + b - 3*b + 1 = 0. Solve -g*t + 2*t = 5 for t.
-5
Suppose -3*h + 1 = -8. Suppose 3*i - 17 + 1 = -k, 2*i + 8 = 4*k. Solve 0 = h*g - i*g - 2 for g.
-2
Suppose -65*z = -60*z - 45. Solve z*u = 24 - 6 for u.
2
Let g = -214 - -220. Solve 27 = 7*t + g for t.
3
Let n be 336 + ((-4)/6)/((-83)/249). Solve 7*w + n = 324 for w.
-2
Let o be 20/25 - 20/25. Solve -5*l + 29 - 19 = o for l.
2
Let l = -77 - -86. Solve 3*i + 12 = l for i.
-1
Let w(q) = q**3 + 6*q**2 - q - 4. Let b be w(-6). Solve -b*m + 2 = -m for m.
2
Suppose -4*h + 100 = 54*i - 53*i, 4*i + h = 340. Solve u = 85 - i for u.
1
Let g(p) be the second derivative of p**5/20 - p**4/6 - 4*p**3/3 + 9*p**2/2 + 50*p. Let h be g(4). Solve h = c + 11 for c.
-2
Let y be ((-14)/35)/((-42)/20 - -2). Solve a + 7 = y for a.
-3
Suppose 4*r = -5*j, -r + 0*j + 5*j = 0. Solve 2*d = -r*d + 3*d for d.
0
Let c(x) be the third derivative of 5*x**4/24 + x**3/6 + 24*x**2. Let n be c(5). Suppose -r - l + 11 = 0, -3*l = -r - l - 4. Solve 5*v - r + n = 0 for v.
-4
Let o be 8/20*(12 - -43). Solve 2 = -4*l + o for l.
5
Let t(j) = -3*j**2 - 11*j - 7. Let x be t(-3). Let f(y) = 3*y**2 + 2*y + 1. Let w be f(x). Solve 5*b - 22 = -w for b.
4
Let o(a) = -a**3 + 4*a**2. Let i be o(3). Let b(k) = -k + 17. Let t be b(i). Solve -x - x = -t for x.
4
Let h be (-6140)/(-170) - (-4)/(-34). Solve -33*m + h*m = 12 for m.
4
Let u be ((-15)/(-3) - 1) + -2 + 3. Solve -u*a - 7 = 8 for a.
-3
Let s = -16 + 18. Suppose s*h + h - 12 = 0. Solve -h = v - 0 for v.
-4
Let q(c) = -2*c - 1. Let o be q(-2). Suppose 2*x - 50*y + 49*y = 0, -2*y = -8. Solve o*i - x = 4*i for i.
-2
Let b(s) = 0 + 5*s**3 + 10 - 4*s**3 - 9*s**2 + 8*s. Suppose -d = i - 9, 0 = -3*i + d + 21 + 2. Let o be b(i). Solve o*l - 5*l = 0 for l.
0
Suppose 4*f - y = 8, -7 = -3*f - 2*y - 1. Suppose -t + 2*t = 4*b - 18, 2*b + t = 6. Solve b*z - f = 2 for z.
1
Let c(n) = -n**3 - 3*n**2 - n + 2. Let d be c(-2). Suppose d*a = 4*a. Suppose 5*s + 1 - 6 = -5*v, 5*s - v - 29 = a. Solve 0 = 4*o - s*o for o.
0
Let a(t) = -t**3 + 9*t**2 - 8*t + 9. Let m be a(8). Let h be 6/(-1*m/(-6)). Solve h*x + 0 = 20 for x.
5
Let f be (4 - -2)*4*(-1)/3. Let q = f + 8. Solve q = -2*t + 6*t - 12 for t.
3
Let s = 1140 + -1114. Solve -s = 2*v - 28 for v.
1
Let m be 252/21 + -1 + -4 + -2. Solve -11*x + m*x - 6 = 0 for x.
-1
Suppose -2*b + 7 = r, 3*r - 3*b - 14 = 7. Suppose 4*a = 5*i - r, -3*i + a + 17 = 5*a. Solve 0 = i*q + q - 20 for q.
5
Let x be 20/(-4) - -7 - 5. Let p be 2*-6*x/(6 - -3). Solve p*z = 3 + 1 for z.
1
Suppose 4*i - i + 89 = 5*l, 49 = 3*l - 4*i. Solve l*u - 26 = 6*u for u.
2
Let r(f) = 9*f**3 + f**2 - 6*f + 4. Let k be r(1). Solve k*w - 6*w - 6 = 0 for w.
3
Suppose -17*u + 7*u + 30 = 0. Solve -u*o + 14 = 29 for o.
-5
Let c be (-9)/((-9)/70) - 2/2. Let u = -69 + c. Solve u = -2*o + o for o.
0
Suppose 0 = -4*p - 3*t + 3, 0 = p - 4*t + 9*t + 12. Suppose -5*d = y, -2*d + 0 = y - p. Solve y + 0 = -5*n for n.
-1
Suppose -7*c + 3*c = 0. Let z be (-8 + 3 + 0)/(-1). Suppose c = z*a + a. Solve a*d = 2*d + 4 for d.
-2
Let c be (60/(-7))/(114/(-399)). Solve 0 = 177*v - 171*v + c for v.
-5
Suppose -3*x + 38 = 32. Solve x*y - 54 = -62 for y.
-4
Let q = 106 - 76. Solve 5*r = -5 + q for r.
5
Let n = 37 + -51. Let k be 5/((-140)/(-12)) + (-22)/n. Solve -2 = 2*a + k for a.
-2
Suppose -3*p - 15 = -3*u, u = -4*p - 20 + 25. Solve -u*q - 3 = -18 for q.
3
Let r(t) = -t**2 - 8*t - 4. Let v be r(-7). Let l(o) = -7*o - 1 + 2 + v*o**2 + 0 - 2*o**2. Let p be l(7). Solve -p + 6 = 5*b for b.
1
Let m(u) = -4*u - 13. Let s be (-8)/(7/(35/10)). Let g be m(s). Solve r - 6 = -g for r.
3
Let y(m) = -6*m - 17*m**2 + 0 + 7 + 13 - m**3 + 25*m. Let c be y(-18). Solve c - 1 = -i for i.
-1
Let b = -25 - -28. Suppose 5*x = -3*t, x = -3*t - b*x. Solve 0 = -t*g - 5*g + 20 for g.
4
Let c = 182 - 180. Solve 4 = -3*g + c*g for g.
-4
Let b = 189 + -276. Let c = -79 - b. Solve -k - k = c for k.
-4
Let n be ((-12)/(-4) - 4)*37. Let v = -34 - n. Solve -v*c + 0 = -3 for c.
1
Let t(r) = 6*r - 6*r + 3*r**2 + r. Suppose 4*n = -5*p + 21, 2*n - 3*p + 10 = 7*n. Let x be t(n). Solve -o + 0 = x for o.
-2
Let u be (13/52)/((-2)/(-24)). Suppose u*n = 5*n + 16. Let g = -7 - n. Solve 4 = h + g for h.
3
Let k be 24/4 + -6 - -5. Solve 28*a - k*a = -92 for a.
-4
Suppose 11*v = 13*v - 20. Solve -5*a = v - 5 for a.
-1
Let h be -3*3*10/(-30). Suppose 16 = h*c + c. Suppose 0 = -c*x + 65 - 9. Solve 4*m = x - 2 for m.
3
Let j be 6/(-2)*-1 - -1. Suppose 0 = -4*w - 4*o - j, -9 + 2 = 3*w + o. Let f = w + 10. Solve 4*l - 1 = f for l.
2
Let l = 230 + -221. Solve -3*n = -l*n - 18 for n.
-3
Let f(t) = -t**2 + 30*t + 176. Let z be f(34). Solve z*o - 2 = 41*o for o.
-2
Let o = -65 + 77. Solve -22 = 5*d - o for d.
-2
Let u(w) = w**2 - 2*w + 43. Let a be u(0). Suppose -43 = -b - a. Solve b = 2*p - 6 + 16 for p.
-5
Suppose -4*n + 12 = -92. Suppose -95 = -5*v + 2*k + 3*k, -4*k + 39 = v. Let j = n - v. Solve 0 = -2*i + 5*i - j for i.
1
Suppose -4 = 2*c + 4*i, 14 = -0*c + 2*c - 2*i. Let z = 0 + c. Solve -k = z*k for k.
0
Let s be (780/(-325))/((-8)/10). Solve -3*b + 12 = s for b.
3
Let s(q) = 2*q. Let k be s(1). Suppose -u = u - k. Solve -4 + u = 3*j for j.
-1
Suppose -14*n = -20*n. Solve 64*b - 66*b + 4 = n for b.
2
Let z be 14 + 24/21 + 12/14. Solve 28 = z*g - 36 for g.
4
Let k(g) = 2*g - 29. Let f be k(16). Suppose -20 = -2*t + 6*t, -4*j = 3*t - 9. Let w = j + -6. Solve m - 4 + f = w for m.
1
Suppose 5*x - 4*l = 70, l = 2*x + 6*l - 28. Solve -15*n + x*n = -2 for n.
2
Suppose -21*s - 344 = -25*s. Let x = s + -71. Solve a = 6*a - x for a.
3
Let a(n) = -n**2 - n + 1. Let p(f) = f**2 - 3*f - 3. Let h(o) = -2*a(o) - p(o). Let q be h(-5). Let b = 569 + -567. Solve -3 + q = b*k for k.
-1
Suppose 2*g +