= -z for d.
5
Let t = 255 - 251. Let d be (t/8 - 5/10)*-1. Let j be 5/(1 - 0) + -1. Solve d = -u + j*u - 9 for u.
3
Let k be 1 + -3 + 6 + (-3 - -3). Solve -7 - 9 = k*n for n.
-4
Let m = 11 - 6. Suppose -c - 4*c = -3*w, -m*w + 25 = 0. Solve c*i = -i + 16 for i.
4
Let f(s) = -12*s - 3 + 7*s + 4*s. Let b be f(-6). Suppose -b*t + 0 = -3. Solve k - 3 = t for k.
4
Let s be (6/(-13))/((-22)/286). Solve -3*o + s = 6 for o.
0
Let t(s) = s**3 + 13*s**2 - 11*s - 17. Let o be t(-14). Let b = o + 61. Solve b*x = 6 + 2 for x.
4
Let i = -81 - -86. Solve -14 = -i*f - 2*f for f.
2
Suppose 2657 - 2615 = 7*x. Solve -x*m + 11 = -13 for m.
4
Let n(j) = -j**2 + 20*j - 69. Let u be n(5). Solve -x + u = 11 for x.
-5
Let w = 632 - 629. Solve -w*t + 18 = 3*t for t.
3
Let d(r) = r**2 + 3*r - 36. Let u be d(-8). Solve 19 = u*h + 11 for h.
2
Let f be (-5)/(-1*(-3)/(-3)). Solve -6 + 26 = f*t for t.
4
Let d(r) = r**3 - 54*r**2 + 105*r - 50. Let w be d(52). Solve -w = 2*g - 0 for g.
-1
Let v(g) = 21*g + 483. Let m be v(-23). Solve -4 + m = 2*a for a.
-2
Let n(l) = 0*l - 2*l + l - 3. Let r(m) = 17*m + 23. Let z be r(-2). Let s be n(z). Solve 0 = 5*g - s + 3 for g.
1
Suppose 3*x - 3*j - j - 40 = 0, x = 5*j + 17. Solve -63 + 3 = -x*p for p.
5
Suppose 0 = -p + 5*y - 18, 2*p + p = 5*y - 4. Solve -p*l + 9*l = 2 for l.
1
Let f = 294 - 290. Solve 0 = f*d - 15 + 3 for d.
3
Let p(v) = -v**2 - 8*v + 5. Let l be p(-8). Let h = -10 + l. Let u be (6/(-3))/(h/70). Solve -12 = -4*f - u for f.
-4
Let o = 44 - 41. Suppose -o*d = 2 - 8. Solve -d - 3 = u for u.
-5
Let w(h) = -h + 2. Let d be w(2). Suppose 5*y - 10 + 0 = d. Suppose -k + 0 = -y. Solve -o = o - k for o.
1
Let v(f) = -43*f + 30*f + 14 + 25*f + f**2. Let i be v(-11). Solve 2*l - 11 = -i for l.
4
Let t = 7 - 3. Suppose t*x - 5*x = 0. Suppose 9*a - 12*a + 18 = x. Solve 0 = a*y - 5*y for y.
0
Suppose 3*a - 45 + 18 = 0. Solve -o + 6 - a = 0 for o.
-3
Let z be 2/10 + (-18)/(-10). Let o(t) = t**2 + 4*t + 7. Let g be o(-5). Suppose -2*y + 5*w + g = 0, 5*y - w - 12 = 3*y. Solve -y*s + z*s = 20 for s.
-5
Let v(g) = -g**2 - 4*g + 12. Let o be v(-6). Suppose -m - 3*m = o. Suppose 2*d + 4*b = 0, 2*d - 4*b + b = m. Solve d*p + 15 = 5*p for p.
3
Suppose -419 = -7*g - 377. Solve -g*x + 110 - 104 = 0 for x.
1
Let q be -11 + (2 - -3) + 31. Solve -4*m - m - q = 0 for m.
-5
Suppose -3*u + 11 = 2. Suppose -s = 3*s - 3*l - 92, -5*l = 20. Solve -z - s = u*z for z.
-5
Let q = -73 - -76. Let n be 4 + (-2 - (-2 + 3)). Solve -q = 2*l - n for l.
-1
Let a(b) be the second derivative of -4*b**3/3 - 3*b**2/2 - 7*b. Let v be a(-6). Let j be v/55 - 4/(-22). Solve 4 + j = -x for x.
-5
Suppose -23 = -4*s + 5*d, 2 = 4*s - 2*d - 12. Suppose 0 = s*o - 7*o + 30. Solve -3*n + 0*n - o = 0 for n.
-2
Let u(l) = l**3 - 6*l**2 - 9*l + 2. Let j = 3 - -4. Let z be u(j). Let d = -9 - z. Solve 2*h - d + 11 = 0 for h.
-4
Let d be (23 - 27)/(1*-1). Solve -b + d = -0 for b.
4
Suppose 0 = -3*k + 5*g + 54 - 2, 5*k = 3*g + 60. Let d(u) = -u**2 + 9*u + 1. Let m be d(k). Suppose 0 = 3*p + m - 7. Solve p*r + 5 = r for r.
-5
Suppose 0*z - 3*z = -9. Suppose 0 = -12*y + y + 143. Solve -y*d = -14*d - z for d.
-3
Let k(j) = j**3 + 3*j**2 + 4. Let l(b) = -b - 4. Let g be l(6). Let f be 26/g + (-4)/10. Let w be k(f). Solve 2*p + 2*p = -w for p.
-1
Suppose -18 = 3*m - 57. Suppose -m*f = -9*f - 8. Let z be (-5)/(f + -7) - -2. Solve -2*r + z = 1 for r.
1
Let u = 18 + -15. Suppose -j + 17 = 4*j + f, -u*f = -2*j. Suppose 3*h - 3*i - 4 = 2*h, -h + 4 = j*i. Solve r = h*r for r.
0
Suppose f - 76 = d - 3*d, 5*f - 121 = -3*d. Let i = d - 29. Solve -4*g + 2*g - i = 0 for g.
-4
Suppose -r + 4*n - 4 = -3*r, 5*r - 5*n + 35 = 0. Let t be 8/6*6/r. Let m be -3 + (t - -2) - -6. Solve 0 = -m*u + 14 + 1 for u.
5
Let h = 16 + -8. Suppose -h*l - 39 = -5*l. Let g be l/(-4) - (-4)/(-16). Solve g*x = 4*x - 4 for x.
4
Let g(d) = d**3 - 18*d**2 + 17*d + 29. Let f be g(17). Solve f*l = 30*l - 5 for l.
5
Suppose -o + 57 = -223. Suppose 0 = 2*r + o + 28. Let q be 4/(-30) - r/30. Solve -3*a + 8 = -q*a for a.
-4
Let t(n) = 5*n**3 - 3*n**2 - 6*n + 22. Let i(c) = -11*c**3 + 5*c**2 + 11*c - 45. Let q(z) = 6*i(z) + 13*t(z). Let o be q(-7). Solve o*b = b for b.
0
Suppose 8*v + 20 = 4*v, v = 2*z - 117. Solve s = -z + 52 for s.
-4
Let f = -231 - -231. Solve 7*k - 2*k = f for k.
0
Let v be 182/9 - 6/27. Suppose -v + 0 = -j. Solve 2*k + 3*k + j = 0 for k.
-4
Suppose -2*n + 7*n - 48 = -q, -18 = -3*n + 3*q. Solve n*p - 28 = -10 for p.
2
Let y = 426 + -422. Solve -4*h = -16 + y for h.
3
Let c = -74 + 70. Let l = 11 - c. Solve 3*m + 2*m + l = 0 for m.
-3
Suppose 8*p - 36 = -p. Suppose -p*w + 5 = 5. Solve -4*u + w*u = -20 for u.
5
Let s be 21/(-3 - (4 - 8)). Suppose 4*v + 21 = -j, 4*j + 5*v + 8 + s = 0. Let o be (j - 41)*(-18)/54. Solve -4*r + 2 = o for r.
-3
Suppose 3*l + 5 = -4, 0 = -b + 3*l + 16. Let h = -2 + b. Solve -5*m + 0 = h for m.
-1
Suppose 51*j = 21*j + 120. Solve -30*b + j*b = 0 for b.
0
Let w = 3 + -1. Let x = -149 + 155. Suppose 4*t = -s + x*s + 8, -2 = 4*s - t. Solve s*z + w = -z for z.
-2
Suppose 0*k - 45 = -5*k + 5*w, -2*w - 26 = -4*k. Suppose 4*n - 20 = -n + k*t, -5*t - 25 = 0. Solve n = s + s for s.
0
Let l(h) = h**2 + 15*h - 4. Let y be l(-16). Let t = y - 9. Suppose 53 = 4*c - t*f, -2*f + 28 = 2*c - 4*f. Solve c + 5 = 4*q for q.
4
Suppose 4*a - 47 = -2*o + 31, 5*a + 4*o - 96 = 0. Suppose 5*l - l - a = 0. Solve -l*j - 27 = -2 for j.
-5
Let n = 1761 + -1757. Solve -15*s - n = -17*s for s.
2
Let d(f) = -5*f + 157. Let x be d(23). Solve -6 = 45*k - x*k for k.
-2
Let h(t) = -t**2 + 10. Let n be h(0). Let r(z) = n*z + 2*z**2 - 1 - 2 - z**3 + 1 - 5*z. Let d be r(3). Solve -d*x = -9*x + 15 for x.
3
Suppose 2 + 19 = 3*o. Let s(j) = -j + 7. Let t be s(o). Suppose 5*m - 28 - 2 = t. Solve 4*d - m*d = 2 for d.
-1
Let o be ((16 + -9)/(-7))/(1/(-15)). Solve -17*f + o*f - 4 = 0 for f.
-2
Let i(d) = 2*d**2 - 2*d + 1. Let n be i(2). Let z(b) = b**2 - b + 3. Let t be z(0). Suppose 4*y - 5*o = 65, 0*o + 2*o = -t*y + 66. Solve n*m - y = m for m.
5
Let m(y) = y**3 - y**2 - 41*y + 11. Let j be m(-6). Solve -24 = j*k + 1 for k.
-5
Suppose -13 = -k - w + 3*w, 0 = 3*k - w - 34. Suppose -8 = k*v - 13*v. Solve 10 = -v*i + 22 for i.
3
Suppose -4*c + 2*j = -46, -10*c = -5*c + j - 61. Solve 3*d + c = -d for d.
-3
Let j = 33 + -2. Let c = 43 - j. Let i = c + -10. Solve 3 = i*x + x for x.
1
Let a be (-2)/(-5) - (-76)/10. Let d = 1275 + -1271. Solve -d*q = -a - 0 for q.
2
Let f = 86 - 85. Suppose 2*n + 30 = 5*b - n, b + 4*n = -17. Solve -2*x - f + b = 0 for x.
1
Suppose 25*m + 5*m - 900 = 0. Solve 0 = m*b - 24*b - 12 for b.
2
Suppose 30*l - 44 = 16. Solve 0 = d + d - l for d.
1
Suppose 0 = y - 72 + 61. Solve -y - 5 = -4*d for d.
4
Let w(c) = -2*c + 16. Let p be w(6). Suppose -p*s + 26 = 6. Suppose 0 = 5*q + z + 10 - 35, -4*z = -s*q. Solve -b = q*b for b.
0
Let u(k) = 20*k - 57. Let x be u(3). Solve -2*d = x*d + 5 for d.
-1
Suppose 4*p + s = -24, 0 = 2*p + 2*p - 5*s. Let f = p + 5. Suppose 0*n - 5*n + 80 = f. Solve -9*h = -5*h + n for h.
-4
Suppose -2*c + 23 - 5 = 2*y, -y - 11 = -c. Let d be (-15)/(-4) + (-1)/(-4). Suppose d*w - c = 30. Solve m = -m - w for m.
-5
Suppose -44 = -3*v - 2*d, -5*d + 1 = -v - 7. Suppose n + 20 = 4*h + 7, 0 = -h + 2*n + v. Solve 2 = h*z - 2 for z.
2
Let q be 10/(-85) + (-4)/(-34). Solve 0 = 4*o - q*o + 4 for o.
-1
Let n(i) = i + 10. Let a = 5 - 13. Let x be n(a). Suppose x*y - 4*u = 0, -3*y + u + 2 = -2*y. Solve 0*l = -y*l for l.
0
Let y be 9/1 - (10 - (1 + 5)). Solve -y*n = -14*n + 18 for n.
2
Let s(r) be the second derivative of r**3/6 + 2*r**2 - 22*r. Let h be s(-1). Solve 6*i - h*i = 0 for i.
0
Let p(k) be the first derivative of k**3/3 - 2*k + 1. Let g be p(4). Solve -2*w = -g + 4 for w.
5
Suppose 7 + 3 = 5*z. Let g be (1 - 3)/z*-2. Solve n + 3 = g for n.
-1
Let p be 4/(-28) + (0 - 2/(-14)). Let v be (p + (-4 - -4))/2. Solve z + z + 2 = v for z.
-1
Let n(r) = r**3 + 9*r**2 + 7*r - 6. Let q be n(-8). Solve 6 = -4*a + q for a.
-1
Let d be (2/6)/((-19)/(-18) + -1). Let z be (2/(-2))/(-1)*(d - 2). Solve 12 = -0*f + z*f for f.
3
Let h(a) = 2*a**2 + 2*a - 6. Let s be h(3). Solve n = 17 - s for n.
-1
Let m be 1/9 - (-1628)/333. Solve -m*j = 10 - 5 for j.
-1
Suppose 4*l - 17 = -h, 4*l + 5*h = 7 + 30. Suppose -x + l = -0. Su