ve r = -4*l - 4 for l.
-3
Suppose 35*k - 8 = 33*k. Suppose 4*l = 3*l - k*l. Solve -3 = c - l for c.
-3
Let m(q) = -q**3 + 8*q**2 - 10*q + 24. Let p be m(7). Solve 0 = p*v + 13 - 19 for v.
2
Let v = -754 + 760. Solve 0 = v*r - 30 for r.
5
Suppose -16*a - 9*a = -3*a. Solve a = -3*t + 5 + 1 for t.
2
Suppose -6*t = -2*t + 6*t. Solve -4*s + 3 + 9 = t for s.
3
Let j(a) = a**3 - 3*a**2 + a - 5. Suppose 13 = 4*d - 7, -4*c - d = -21. Let x be j(c). Solve 0 = -q + 4*q + x for q.
-5
Let w(s) = 19*s**3 + s. Let f be w(2). Suppose 5*x - f = 16. Solve -5*d - x = -14 for d.
-4
Let v = -11 + 14. Suppose v*m + m - 32 = 0. Solve -2*o - m - 2 = 0 for o.
-5
Suppose -331 - 11 = -3*y. Let r = y + -114. Solve r = 3*s + 2*s + 20 for s.
-4
Let v = -4 + 4. Suppose v*h + 49 = 7*h. Solve 0 = -w - 9 + h for w.
-2
Let s be -4 + (-12)/18*-87. Solve 29*q - s = 11*q for q.
3
Suppose -129 = 5*v - 154. Let w be (-3 - (-5)/15)*-3. Solve v*x + 3 = w for x.
1
Suppose 2*k - 7 = -2*a + k, 0 = -3*a - 2*k + 10. Suppose -61 = -3*p - a*b + 3, 3*p - 2*b = 58. Solve -12*v + p = -8*v for v.
5
Suppose 0 = 9*v - 43 - 11. Solve -12*m + 18 = -v*m for m.
3
Suppose 0 = 12*f + 18*f - 600. Solve -2*z = 8*z + f for z.
-2
Suppose 0 = 3*n - n - 2*i - 10, 4*i = -5*n - 2. Suppose -d = 4*y + 4, y + 8 = 3*d - 5*d. Solve y + 6 = -n*p for p.
-3
Let k(a) = -8*a**3 - a. Suppose 2 - 15 = 13*g. Let w be k(g). Suppose 3*h + 1 = l, h = -4*l + 3*l + 5. Solve -w = -l*v + v for v.
3
Let h(z) = -z**2 - 5*z + 2. Let x = -8 - -3. Let g be h(x). Suppose -3*a + 16 = 2*j, 23 = 4*a + 3*j - 0*j. Solve -a*b - 4 = g*b for b.
-1
Let g(c) = -c**2 - 9*c + 10. Suppose -4*k + 12 = -2*o, 4*o - 4*k = -9 - 19. Let v be g(o). Suppose -32 = -5*u + v. Solve 0 = 3*t - t + u for t.
-5
Suppose -2*d - 5 = -4*n - 5*d, 4*n - 4*d - 40 = 0. Suppose -5 = -5*r - q, -q = r - 0 - n. Solve 0 = 4*l - r*l - 20 for l.
5
Let n = -970 + 973. Suppose -2*y = -y. Solve -n + y = -d for d.
3
Let r = 59 - 30. Let g = -35 + r. Let v be 5/g*(0 - 6). Solve 2*q = -3*q - v for q.
-1
Suppose 78*o = 81*o - 6. Solve -4 = -2*y - o for y.
1
Suppose 0*t - t + 5*p + 4 = 0, -5*t = 2*p - 74. Let h = 18 - t. Suppose 6*c - 2*c - 10 = 2*q, -3*q + 4*c = 5. Solve q = h*g - 3 for g.
2
Let c be (0 - 6 - -15) + -4. Let a(n) = -n**3 + 5*n**2 - 2*n - 3. Let z be a(4). Suppose -j - 2*j = -z*x - 36, 2*x + 36 = 3*j. Solve 0 = -c*b + j + 3 for b.
3
Suppose -15 = -5*s + 45. Suppose -u - 2*f = u - 6, 0 = 4*u + f - s. Solve -u*l - 15 = -0 for l.
-5
Suppose -2*j + 4*t + 24 = 0, -4*j + 35 = -t - 6. Solve j = -5*g - 15 for g.
-5
Suppose -6 = -24*r + 22*r. Solve -r*b = -6*b + 12 for b.
4
Let z(v) = -v. Let f(g) = -g**2 + 10*g - 13. Let l(s) = f(s) - 4*z(s). Let c = -19 + 32. Let j be l(c). Solve j = -3*n - 0 + 9 for n.
3
Let z(j) be the first derivative of -3*j**2/2 - 1. Let m be z(-2). Suppose 0 = 3*a - m. Solve -a*c = -3 - 5 for c.
4
Let k(a) = a**2 + 18*a + 68. Let v be k(-5). Suppose -4*j - 2*i - 5 = 3*i, -2*j - 3*i = 3. Solve 2*l - v - 7 = j for l.
5
Suppose -82 = -2*a + 4*t, 2*t = 3*a - 16 - 111. Suppose -9 + a = 17*c. Solve -2*u - 12 = c*u for u.
-3
Suppose 0 = 3*f - 2*z - 4, f - 5*z = 2*f - 24. Suppose -f*r + 0*r = 20, 0 = -w - 3*r - 9. Solve -w = -3*c + 6 for c.
4
Let n be -138*((-156)/18)/13. Solve n*f = 96*f for f.
0
Suppose x + 2 = -0*x - 2*a, 3*x + 4*a + 2 = 0. Let k = 16 - 11. Solve x*t - 15 = k*t for t.
-5
Let p be (1/2)/(3/6)*2. Suppose -5*v - 3*o + 22 = 0, 4*o - 3*o = 4. Solve v*k = -p*k - 8 for k.
-2
Let q(p) = p**3 - 35*p**2 + 6*p - 208. Let f be q(35). Solve f*t + 25 = 15 for t.
-5
Suppose 2*u - f = -5*f + 26, -20 = -5*u - f. Suppose 0 = r + 3*r - 4*k - 16, 36 = 3*r + u*k. Let p be 84/22 - r/(-44). Solve -p*x = -x - 12 for x.
4
Let l(q) = -q**2 - 12*q - 8. Let b be ((-2)/4)/(2/44). Let m be l(b). Solve m*v - v = 2 for v.
1
Suppose 277 = 21*l + 109. Solve 75*t + l = 71*t for t.
-2
Let t = 37 + -37. Suppose t*x - 13 = -x + 3*u, 4*x - 2*u = 12. Solve r - x = -6 for r.
-5
Let i be (-5 - -12) + 4*-1. Suppose -h = -i*h. Solve h = -0*r - 5*r for r.
0
Suppose -18 = 3*o + 42. Let q = o + 25. Suppose 0 = r + q*r. Solve r = w + 2*w for w.
0
Let f(b) = b**3 + 8*b**2 + 9*b + 3. Let v be f(-7). Let l = -10 - v. Solve 2*a + l = 7 for a.
3
Let c(v) = 3*v**2 + 3*v - 4. Let q be c(1). Let u be -3 - (-2)/(q*(-3)/(-9)). Solve u*z + 3*z + 3 = 0 for z.
-1
Let i = -21 + 11. Let d(b) = b**2 + 12*b + 14. Let k be d(i). Let y be k/(-10) + (-12)/20. Solve f + y - 3 = 0 for f.
3
Let s(i) = 3*i + 3. Let q be s(-6). Let m = -12 - q. Suppose o = -2*k - 0*k + 2, -k = m*o - 1. Solve o - 6 = 2*h for h.
-3
Suppose 0 = 3*s + 2*h - 7, -3*s - 7 = -17*h + 12*h. Solve r + 2 = s for r.
-1
Suppose -98 = -0*p - 7*p. Let c be (-7)/p + 3/(-2). Let i be 6/18*(c + 2). Solve i = 5*t - 4*t + 3 for t.
-3
Let s be (6 + -4)*(-75)/6. Let b = 30 + s. Solve 4 = b*z + 9 for z.
-1
Suppose 17*u = 12*u + 30. Suppose u - 3 = r. Suppose 0 = r*t - 0 - 6. Solve -t*s - 10 = -4 for s.
-3
Let o(l) = 3*l**2 + 2*l + 3. Let r be o(-3). Let u(t) = -t**2 - t + 1. Let n be u(-5). Let d = r + n. Solve 3 = -d*q - 2 for q.
-1
Suppose 2*s - 5*n - 3 = 0, -s - 5*n = 1 - 10. Suppose 4*l = -2*g + g + 3, -4*l - 4*g = 0. Solve -s*o = -7 - l for o.
2
Let z = 196 - 190. Solve -z = m - 7 for m.
1
Let k(o) = -o**3 + 3*o**2 + 7*o - 8. Let i be k(4). Suppose -4*f = -0 - i. Let b(x) = -x**2 - 4*x + 1. Let c be b(-3). Solve f = -m - c for m.
-5
Let j be 7/((-4)/16*-1). Suppose w - 4*a - 76 = -2*w, w = -2*a + 32. Let r = j - w. Solve r = f - 6*f + 15 for f.
3
Let l(z) = 6*z**3 - 2*z**2 + 2*z - 1. Let f be l(1). Suppose 2 = -5*i + o, i = -0*i + f*o - 10. Solve -25 = -i*t - 5*t for t.
5
Suppose 0 = -0*o - 2*o - 5*i - 11, -o = -3*i + 33. Let q(w) = -w**3 - 18*w**2 - w - 13. Let r be q(o). Solve -r*a = -2*a for a.
0
Let j(p) = 21*p**2 + 69*p - 1. Let v be j(-4). Solve 5*n + 49 = v for n.
2
Suppose -t = 2*t + 33. Let b = t + 20. Let u(m) = m**3 - 9*m**2 - m + 12. Let h be u(9). Solve b = -4*j - h for j.
-3
Let c be ((-10)/8)/((1 - 4)/12). Solve -5*q - 10 + c = 0 for q.
-1
Let q(d) = -2*d**2 + 1. Let f be q(-3). Let n = f + 19. Let j be n/(-12) - (-13)/6. Solve -v = -j*v - 3 for v.
-3
Suppose -5*w - r + 11 + 3 = 0, 0 = -w - 4*r - 1. Solve -2*j = w*j + 15 for j.
-3
Suppose -q + 5*q = 4*z, 5*z - 12 = q. Let m = 260 + -257. Solve -q = m*f + 9 for f.
-4
Suppose 3*j - 30 = -5*f, -1 + 5 = 3*f - j. Suppose 0 = -4*h + 79 - 15. Let c be f*3/(36/h). Solve -v - v = -c for v.
2
Let t(k) = k**3 - 6*k**2 + 4*k + 10. Suppose -3*m + 15 + 0 = 0. Let u be t(m). Solve -u - 10 = 3*y for y.
-5
Let h = 4 + 1. Suppose 2*s - 3 = 3*d, h*s + 5*d = d - 4. Solve s*u = -u + 5 for u.
5
Suppose 5*r + 7 = 22. Let m be 0 + r - (11 - -1). Let l = m + 11. Solve -x - l - 3 = 0 for x.
-5
Let q(b) = -b + 27. Let v(s) = -s + 1. Let k(c) = -q(c) + 3*v(c). Let x be k(-14). Solve 0*h + 8 = -x*h for h.
-2
Suppose -w + 10 + 5 = 0. Let z = 17 + -4. Let a be 1 - 1 - (-17 + z). Solve a*t + w = t for t.
-5
Let c(o) be the second derivative of o**4/12 + 5*o**3/3 + 21*o**2/2 + 4*o. Let s be c(-7). Solve s = -u - 1 - 3 for u.
-4
Suppose -5*r + 2*u + u = -92, 4*r - 76 = 3*u. Let s = r + -13. Suppose -3*x = -0*x. Solve -2*w - s*w + 25 = x for w.
5
Let s(r) = -2*r**2 + 8*r + 36. Let a be s(6). Solve -19*u + a*u + 7 = 0 for u.
1
Suppose -24 = -252*g + 244*g. Solve 3 = u + g for u.
0
Let j be 153/(-17)*5/3. Let m = 12 - j. Suppose 0 = m*g - 22*g - 5. Solve 3 = n - g for n.
4
Let w(t) = t**3 + 7*t**2 + 4*t - 8. Let r be w(-6). Let g = r + -4. Let x be 1 - (-33)/(-39) - 200/(-52). Solve x*f - f = g for f.
0
Let t = -688 + 692. Solve t*w - w = -12*w for w.
0
Suppose 77*u = 29*u + 288. Solve -2*i + u*i = -8 for i.
-2
Let b be (31 - 1)*(-4)/(-10). Suppose 4*n = 2*a - n + 16, -a = 4*n - 18. Suppose 5*g - 2*w - a = 8, -5*w = 0. Solve -2 = g*j - b for j.
5
Let z(d) = -d**3 + 23*d**2 + 112*d - 103. Let s be z(27). Solve -40 = -s*c - 30 for c.
2
Suppose 0 = -30*w + 132 - 42. Solve -s + 5 = w for s.
2
Let y = -189 - -194. Solve y*a - 18 = 7 for a.
5
Let b be 4/(-14) - 7106/(-77). Suppose 0 = 5*k - k + b. Let u = 25 + k. Solve z = 7 - u for z.
5
Suppose 0*k + k = -2*g - 10, 0 = k - 2*g - 10. Suppose k = q - 0*q. Solve q*w + 2*w = -4 for w.
-2
Let k(j) = -17*j - 198. Let c be k(-12). Let n = 6 + -6. Suppose -5*y + 5*x + 5 = n, 4*y 