z = -862 + 862. Solve -j + 6 - k = z for j.
3
Let l = -54 + 66. Let z be 8/l + 4/3 - -6. Solve -5*j + z = -j for j.
2
Suppose -9*b + 18*b - 153 = 0. Solve 4*k - b + 1 = 0 for k.
4
Let l = 520 - 517. Solve l + 1 = j for j.
4
Suppose 5*n - 3*n - 18 = -4*q, -15 = -3*n - 3*q. Let r = 4 + -1. Suppose -r = -a - n. Solve -3 - a = -b for b.
5
Let h(j) = j**3 + 2*j**2 - j - 2. Suppose 3*z = 2*x + 4, -z = 4*z. Let d be h(x). Solve d*s - 3*s = 9 for s.
-3
Suppose -6*y = -28*y + 748. Solve -8*z + 2 = y for z.
-4
Let g be 9/3 + (-2 - (0 - 5)). Let w(a) = 2*a**3 - 14*a**2 + 10*a + 12. Let n be w(g). Solve n*c + 3*c - 3 = 0 for c.
1
Let j(i) = -i**2 - 9*i - 1. Let v = -6 - 1. Let l be j(v). Let p be (-4522)/(-182) - (-2)/l. Solve 0 = 7*x - 2*x + p for x.
-5
Suppose 5*q = 3*n + 92, -5*n - 21 - 79 = -5*q. Suppose q = 9*z - 5*z. Solve 0 = v + 3*v - z for v.
1
Suppose 5*m - 5*p = 80, -3 = -2*m - p + 29. Let s = 16 - m. Solve s*w - 2 = -2*w for w.
1
Suppose -5*q - 1 = -16. Suppose 9 - 3 = q*h. Solve 3*u = -h*u + 25 for u.
5
Suppose -m - 2 = 3*s + 4, 0 = -3*m + 4*s + 8. Solve b - 5*b = m for b.
0
Let o = 14 + -13. Solve -o - 5 = 6*v for v.
-1
Let c(l) = -l + 4. Suppose -m = 3*m + 20. Let j be 10/5 + -1 + m. Let d be c(j). Solve 2*t + d = -2*t for t.
-2
Suppose 5*o - 30 = 4*m + m, -2*m + 3*o - 15 = 0. Let c(n) = n**3 + 4*n**2 - 8. Let p be c(m). Solve -q + p = -2*q for q.
-1
Let v = -1429 - -1433. Solve 0 = -0*q + 2*q + v for q.
-2
Let d be 5 - (-8 + 14 + -2). Solve 6*n - 1 = -d for n.
0
Let z = 94 + -91. Solve -8*r = -z*r + 20 for r.
-4
Suppose -4*d + 5*o + 8 = o, -4*d + 24 = 4*o. Suppose 3 = 5*m - 2*m. Let f be (0 + 0)/m*-1. Solve -l - d - 1 = f for l.
-5
Let y be ((-4)/6)/(8/(-36)). Solve y*g = 5 + 1 for g.
2
Let n = 467 + -459. Solve -n*u + 6 = -2 for u.
1
Let k = 7 + -2. Suppose 0 = k*b - 20. Suppose 2*s + b = -3*x, -2*s - 12 = -2. Solve -g = x*g - 15 for g.
5
Let a(z) = -21*z - 84. Let i be a(-4). Solve i = 5*q - 12 - 13 for q.
5
Let t = 1748 + -1746. Solve t*p + 7 = -5*p for p.
-1
Let c(k) = k**3 - 2*k**2 - 8*k + 4. Let d be c(3). Let v be (11/(-4))/(2/8). Let j = v - d. Solve y - 4*y + 9 = j for y.
3
Let z = -6 - -12. Suppose 2*i = -z + 28. Let g = i - 11. Solve 12 = -g*h - 4*h for h.
-3
Let o(i) = 4*i**2 - 1. Let t be o(-1). Suppose t*y - 4*a - 10 = 0, y - 5 = -a + 4*a. Suppose -5*v = 4*g - 5, 4 = -g + y*v + 2. Solve g = -3*x - 3 - 0 for x.
-1
Suppose 2*t - 3 = -7. Let i = 2 + t. Solve -l + 3 = -i*l for l.
3
Let r(n) = n**2 - 13*n - 60. Let j be r(17). Solve -j*h = -9*h + 4 for h.
4
Let p be (-4 + -12)/(-4) - -1. Suppose p*v = v - 8. Let n be 82/4 - v/(-4). Solve 0*o - n = -4*o for o.
5
Suppose 3*d + c - 8 = 3*c, -2*d - 2*c + 2 = 0. Let n be (2 + (17 - d))*-1. Let w = n + 22. Solve -4*y = -w*y - 4 for y.
-4
Let w(o) = o**3 + o**2 - o - 1. Suppose -8 = 5*g + 2. Let v be (2/(-8))/(g/(-8)). Let d be w(v). Solve 2*r = -d*r + 10 for r.
5
Let u = -1 + 6. Suppose -2*m = 3*m - u. Suppose 4*r - 37 = -2*c - 11, 3*r - 21 = -2*c. Solve -r*f = -4*f + m for f.
-1
Let t = 233 - 233. Solve -46*v + 45*v = t for v.
0
Let q(z) = -8*z**2 - 2*z + 1. Let s be q(1). Let k = 654 + -642. Let w = s + k. Solve 0*h - w*h - 12 = 0 for h.
-4
Suppose 5*f - 2*a = 13, -5*a - 15 = -3*f - 2*a. Solve -4*s = 19 + f for s.
-5
Let p(v) = v**3 - v**2 + 8. Let l be p(0). Let c = 11 - l. Suppose -8 + 2 = -c*x. Solve x*g + 3*g - 15 = 0 for g.
3
Suppose 0*q - 4 = -2*q - 3*d, -5*q + 4*d = -33. Solve 3*t = q*t + 8 for t.
-4
Suppose 0 = -23*p + 24*p - 4. Suppose 3*j = 3*c - 42, -11 = 3*c - 2*c + 4*j. Suppose 9 = 2*s + s, 5*n + 3*s = c. Solve n*x = x - p for x.
4
Let b(t) = -t**3 - 5*t**2 - 2*t + 13. Let y be b(-4). Solve y*n + 23 = 3 for n.
-4
Let u(d) = -d**3 - 16*d**2 - d - 10. Let y be u(-16). Let a = -4 + y. Let j be (5/15)/(a/18). Solve -j*m = -2*m for m.
0
Let s(c) = -c**2 + 7*c + 27. Let j be s(9). Let l be -20*((-6)/j)/(2/3). Solve l = 7*n - 2*n for n.
4
Suppose -112 + 10 = 2*y. Let b be (0*(-4 + y/(-12)))/(-1). Solve b = -x - x for x.
0
Suppose -378 + 540 = 3*w. Solve -2*p - w + 56 = 0 for p.
1
Suppose 5*p = 4*g - 4, -g - 3 = -3*p - 4. Solve p = -4*q + 2*q - 10 for q.
-5
Suppose 0 = 3*n + 26 + 31. Suppose -3*d - 52 = -4*z + 2*z, 4*d = -5*z + 153. Let k = n + z. Solve h = -4*h - k for h.
-2
Suppose 0 = -5*j + 6 - 31. Let b be 6/j*(-4)/(-8)*-5. Solve u - b = 2 for u.
5
Let b = 122 - 64. Suppose 5*p + b = -2. Let t = 15 + p. Solve -t*k - 2*k = -20 for k.
4
Let c = 9 + 3. Let t be (c/9 + -1)*6. Suppose 0 = -h - 2*y + 14, t*y + 10 = -2*h + 44. Solve 6*i - i - h = 0 for i.
4
Let n(a) be the second derivative of -a**4/12 - a**3 - 2*a**2 + 26*a. Let c be n(-3). Solve 5 + c = -5*j for j.
-2
Let g = 24 + -139. Let z be g/15 - (-8)/(-6). Let a = -7 - z. Solve 0 = -0*q + a*q - 8 for q.
4
Let g be 63/14*32/36. Solve 5*f = g - 24 for f.
-4
Let n be ((-18)/5)/(6/(-20)) + -3. Solve 6*v - n = 3*v for v.
3
Let t be 3*(22/66)/((-1)/(-7)). Suppose -17 = -4*a + 23. Let i be ((-35)/a)/t*-18. Solve 4*k - 3 = i for k.
3
Let b be ((-120)/45)/((-2)/3). Suppose z + b*z = 10. Suppose -3*p - 4 = -49. Solve -q = z*q - p for q.
5
Suppose 2*d - 2 = 5*r + 1, 0 = -4*r - 5*d + 24. Let x be 2/(-4) + 171/114. Solve -n - r = x for n.
-2
Let g be (-10)/(3 + 8/(-2)). Suppose 3*q = 3*i + 60, -5*q - 140 = -g*q - 3*i. Solve 0 = -5*c - 0*c - q for c.
-5
Let n = -30 - -55. Suppose 0 = -7*z + 9*z - 30. Let f = n - z. Solve -f = -2*k + 7*k for k.
-2
Let j be 6/3 + (-4)/(-2). Let w = -126 - -147. Suppose w*v = 20*v + j. Solve v = -b + 3 for b.
-1
Let l(d) = -30*d**2 + d - 3. Let y be l(-2). Let o = 125 + y. Solve 4*i + 2 + 14 = o for i.
-4
Suppose -30 = -188*o + 178*o. Let p be (-1)/(-4) - 21/(-12). Solve o*s - s = -p for s.
-1
Let z be 1/5 - (-14)/5. Suppose -s - n = 1, s + z*n + 3 = 5*s. Suppose 0*p = -p + 2*i - 3, 0 = -5*p + 2*i + 17. Solve 5*w + s = p for w.
1
Let h(s) = s**3 - 2*s + 1. Let y be h(1). Suppose -10 = -5*j, 0 = -5*n + j - y - 7. Let q = n + 13. Solve q = -2*z - 2*z for z.
-3
Let j(y) = 2*y**2 + 58*y - 7. Let l be j(-29). Let m(n) = -n**2 - 5*n + 14. Let s be m(l). Solve 4 = -2*f - s*f for f.
-2
Suppose 2*q - 4*q + 6 = 0. Let o(b) = 5*b**3 + b**2 + b - 1. Let w be o(1). Solve -q = m - w for m.
3
Suppose 0 = -104*b + 27*b + 1925. Solve -22*g = -b*g + 3 for g.
1
Let u(r) = r + 12. Let k be u(4). Suppose 5*w = k - 16. Solve -t + 2 = -w for t.
2
Let s = -10090 - -10091. Suppose 4*p + 5*z + 11 = 2, 33 = 2*p - 5*z. Solve b = s - p for b.
-3
Let k(y) = 3*y + 8. Let a be k(-2). Suppose a*c = 29 - 13. Solve 0 = i - 5*i - c for i.
-2
Let d(m) = -4*m + 58. Let r be d(17). Let a be (-98)/r + 3/15. Solve -a = -5*x + 5 for x.
3
Let r = 28 - 24. Let f be r/4 + 12 + -3. Solve 5*c - f = -0*c for c.
2
Suppose -5*g - 2*b + 106 - 36 = 0, 59 = 4*g + b. Solve -g - 6 = -22*a for a.
1
Let z(i) = 32*i - 64. Let n be z(3). Solve -42 = -2*l - n for l.
5
Let z = -7 - -7. Suppose 3*t + 13 = 5*o, -3*o - 5 = -0*o - 5*t. Let v be (o + -5)/(z - 1). Solve -4*b + 0 - 4 = v for b.
-1
Suppose 18 = z - 0*z. Suppose 0 = -a + 2*c + 3*c - z, 0 = -2*c + 8. Let k be 4*-1*27/(-36). Solve a*w + k = -3 for w.
-3
Let o(a) = -a**3 + 10*a**2 - 22*a + 6. Let r be o(7). Let l be r*(0 + 3) + 150/10. Solve l = 5*d - d for d.
3
Suppose -34 = -4*h - h + 3*i, 14 = h - 3*i. Suppose -h*l = -0*l - 30. Suppose -2*b = -3*m + 9 + 6, -2*m - 4*b = -10. Solve l = m*x + 1 for x.
1
Let n be (-2)/(-1) + (-8)/2. Let w be (n/(-2))/(2/18). Suppose 5*j = 163 - 83. Solve -w*r = -5*r - j for r.
4
Let n = 28 + -34. Let u be (-1)/n + (-184)/(-48). Suppose -3*b = -5 - u. Solve 4 = -b*o + 19 for o.
5
Let b(a) be the first derivative of a**3/3 - 11*a**2/2 - 11*a - 17. Let i be b(12). Solve 3*f + i = -8 for f.
-3
Suppose z + 25 = -4*z, -3*z = 4*x - 1. Suppose 0 = x*g - 155 + 55. Solve g = -2*v - 3*v for v.
-5
Let p = 1477 - 1471. Solve -7*z - 1 = p for z.
-1
Let j(i) = 22*i - 150. Let g be j(7). Solve -6 = w - g for w.
-2
Let p(r) = -5*r**2 + 10*r + 8. Let x(k) = -4*k**2 + 9*k + 8. Let l(h) = -3*p(h) + 4*x(h). Let n be l(6). Solve n*q - 6*q - 4 = 0 for q.
2
Let c(l) = l**2 + 5*l. Suppose 11 = -3*i + 3*f - 16, -5*i - 4*f - 18 = 0. Let b be c(i). Suppose 0*p = -2*p + b. Solve -u + p = -0 for u.
3
Suppose -25*h = 11*h - 144. Solve -11*k + 10*k = h for k.
-4
Let t = -311 + 330. Solve 6*x + t = -11 for