3
Let z be 2/3*-36*1. Let h be z*(-5 - (-4 - 0)). Solve -h + 8 = 4*o for o.
-4
Let p(v) = v**3 - 6*v**2 - 8*v + 7. Let d(a) = -a**2 + 8*a - 2. Let i be d(7). Suppose i*n + 28 = 9*n. Let k be p(n). Solve 5 = -w - k*w for w.
-5
Let y(z) = -z**3 + 4*z**2 - 2*z - 1. Let a be y(2). Suppose -x = -l - 0*l - 5, a*x - 15 = -l. Suppose 0 = -l*f + 4*f - 12. Solve -f = -6*b + 3*b for b.
1
Suppose 43 = 2*t + g, 3*t - 7*t + 104 = -4*g. Solve t*q - 2 = -25 for q.
-1
Let f(b) = -7*b**3 - 6*b**2 + 3*b + 2. Let p(q) = q**3 + q**2 - q. Let v(d) = -f(d) - 4*p(d). Let t be v(2). Suppose -a - a = -t. Solve 0 = 3*s + s - a for s.
4
Suppose 4*m = 5*m - 2*k + 20, -2*k - 88 = 5*m. Let n = -12 - m. Solve 0 = 4*t - t + n for t.
-2
Suppose -2*i = -25*i + 230. Solve -2*h + i*h = 8 for h.
1
Let m be 14/4 + 1/(-2). Let q = 13587 + -13563. Solve -m*c = -q + 9 for c.
5
Suppose -5*b = 3*g - 25, g = -5*b - 13 + 38. Solve g = -16*j + 14*j - 2 for j.
-1
Let k = 40 + -27. Solve -n - 9 + k = 0 for n.
4
Let w(a) = a - 1. Let x be w(3). Let u = -546 + 548. Solve x*o - u + 10 = 0 for o.
-4
Suppose 3*j = -7 + 31. Suppose 2*a + 2*a + j = 0. Let o be (-7)/(-4) - a/8. Solve 0 = -4*k - 22 + o for k.
-5
Let o(g) be the first derivative of g**2 + 2*g - 8. Let n be o(2). Suppose -16 = -n*r + 2*r. Solve r*z = -z + 20 for z.
4
Suppose -5*a + 5*k + 30 = 0, -5*a + 0*k + 30 = k. Suppose m = -7*z + a*z - 2, 2*z = -4*m - 8. Solve -12*l + 16*l + 4 = z for l.
-1
Let g be (1/(-3 - -5))/((-1)/(-4)). Suppose -c - k + 5 = 0, 5*k - 25 = -g*c + 6*c. Solve a + 4 = -c for a.
-4
Let n = -200 - -200. Solve 7*v - 2*v + 20 = n for v.
-4
Suppose -l = 4*l + 4*s + 652, -3*s + 247 = -2*l. Let b = -118 - l. Solve 2*g = -3*g - b for g.
-2
Let m(u) = 3*u - 5. Let z be m(4). Solve 4*j + 3 = z*j for j.
1
Suppose -4*o - 2*i + 16 = 0, 8*i - 7*i - 2 = 0. Let y be 1*1*6/2. Suppose -10 = t - 4*g, y*t = g - 4*g + 15. Solve 0 = t*f - 3*f - o for f.
-3
Let c = 141 - 93. Suppose c = 3*y + 13*y. Solve y*b - 6*b = 0 for b.
0
Let a be (1/2)/(2/24). Let n = 87 - 46. Let q = n + -35. Solve -3*y + a = -q*y for y.
-2
Suppose -25*b + 130 = -15*b. Let f(l) = -l**3 - 12*l**2 - 10*l + 14. Let r be f(-11). Solve r*w + b = 4 for w.
-3
Suppose 5*b + 10 = -3*h, -13 = h - 5*b - 43. Suppose 0 = n - 6*n + 20. Suppose -44 = -2*s - 4*y, n*s - 5*y = -4*y + 79. Solve -h*g - s = -g for g.
-5
Suppose -20 = 2*k - 3*k. Let h(b) = b**3 - 4*b**2 + 2*b - 3. Let s be h(4). Suppose 5*j - k = s. Solve 0 = j*n - 15 for n.
3
Suppose 3 = y, 2*z = -2*z + 4*y - 320. Let i = z + 77. Solve i*o - 4*o = -12 for o.
3
Let h = 32 - 29. Suppose i - h*i + 2*a - 6 = 0, -3*i = 5*a - 31. Solve -i = 2*y - 3*y for y.
2
Let b be 39/(-104) - (-38)/16. Suppose x + 4 = 0, -5*x + 1 - 27 = -b*k. Suppose -z - 4*f = 16, -k*z - 4*f = -f + 3. Solve s + 0*s + z = 0 for s.
-4
Let d(c) = 2*c + 3. Let b(r) = -3*r - 6. Let o(j) = -4*b(j) - 7*d(j). Let w be o(-5). Suppose -2862 = 9*u - 2889. Solve -u = -2*x - w for x.
-5
Let l be (-8)/(-12)*4/12*9. Solve -l - 2 = -4*n for n.
1
Let r(i) = 2*i**2 - 5*i - 4. Let d be r(5). Let v = -2 + d. Solve 0 = -4*l + 1 + v for l.
5
Let s(x) = -x**2 + 13*x - 12. Let b be s(11). Let p(a) = b - 22 - 12 + 6*a. Let i be p(7). Solve -2 = 4*o + i for o.
-5
Suppose 4*k = -3*p + 13, 5*k + 1 + 6 = 4*p. Let i = 172 + -165. Solve -i*m = -p*m for m.
0
Let z = 264 + -244. Solve 3*l = 11 - z for l.
-3
Let t be (15*(-2)/(-20))/((-4)/(-16)). Solve 0*q = t*q - q for q.
0
Let v(z) = 6*z**3 - 48*z**2 + 7*z - 8. Let r be v(8). Solve 0 = -2*m - 10*m - r for m.
-4
Suppose 4*a + 6 = o, 4*o + 20*a - 24 = 25*a. Solve o*b + 4 = 4*b for b.
-2
Let i(n) = -5*n - 12. Let r(v) = -4*v - 11. Let t(w) = 3*i(w) - 4*r(w). Suppose -y + 4*l - 3 = -13, -3*l = 2*y + 24. Let h be t(y). Solve h*x - x = -1 for x.
-1
Let t = 5 + -37. Suppose -2*n + 54 = 4*a, 3*n + n - 3*a = 163. Let z = n + t. Solve -5*d + z = -10*d for d.
-1
Let n = -71 - -76. Let i = -8 + 21. Suppose f - 63 = -4*m, 5*f - i = -5*m + 62. Solve -n*t = 1 - m for t.
3
Let w(r) = r**2 - 7*r - 6. Let z(k) = k**3 + 8*k**2 + 8. Let h be (7 + -10)/((-3)/(-8)). Let g be z(h). Let x be w(g). Solve -3*u = -x*u for u.
0
Let f(k) = -k**2 - 4*k + 4. Let n be f(0). Suppose 3*v = 9, 6*d - n*v + 4 = 4*d. Solve -d*q = -5*q - 1 for q.
-1
Let l = -18 + 23. Suppose 4*v - 3*b - 45 = 0, -l*v - 15 = -3*b - 75. Solve -2*d - v = -7*d for d.
3
Suppose 0 = -u + 2*u. Suppose -5*n + 6 = k - 10, -k + n + 4 = u. Let r be (-2 - 0)/((-2)/k). Solve s + r = 1 for s.
-5
Let x = 831 - 833. Let u(d) be the first derivative of -d**4/2 - 2*d**3/3 + 2*d + 1. Let g be u(x). Solve 2*l = -3*l - g for l.
-2
Let j = 278 + -398. Let s be (-3 - (-3 + 1))*j. Let i be 3/2*s/36. Solve -3*x - i = 4 for x.
-3
Let r be (-96)/18 + (-4)/6. Let o be (-5 - r)/(2/18). Suppose o = 3*z - 0. Solve z*y = -y for y.
0
Suppose -y = 4*b + 13, 2*b + y + 8 = -y. Let r = 154 - 162. Let j = b - r. Solve 2*p + j + 3 = 0 for p.
-4
Suppose 0 = -6*o + 41 + 91. Solve 21*x - o*x + 4 = 0 for x.
4
Suppose 12 = 2*z + z. Let j be (-861)/(-57) - 178/1691. Solve -p + j = -z*p for p.
-5
Suppose 0 = 4*q - 2*b - 152, 0*q + 5*b - 27 = -q. Suppose 5*v - o - 73 = 0, 0 = -2*v - v + 4*o + q. Solve -2*s = -v + 7 for s.
4
Let t = 233 + -217. Solve -q + 5*q - t = 0 for q.
4
Let w be 6/(-15) + (-4)/(-10). Suppose -b + 106 = 5*r, 53 - 10 = 2*r + b. Suppose 3 = -20*n + r*n. Solve w = -n*s - s + 12 for s.
3
Suppose 0*p = -17*p. Solve 3*l - 2*l = p for l.
0
Let g(k) = 6*k - 3 - 1 - 2 - 11. Let p be g(4). Solve -p*z = -5*z for z.
0
Let y(x) = -5*x**2 + 8*x - 14. Let r(n) = 12*n**2 - 14 + 42 - 16*n - 5*n**2 + 4*n**2. Let i(l) = -4*r(l) - 9*y(l). Let j be i(6). Solve j = z - 1 for z.
3
Let k(a) = -a**3 - 6*a**2 + 6*a + 1. Let g be k(-7). Suppose t = -3*t + 140. Suppose q + 2*l + 7 = 0, -5*q + 3*l = -l - t. Solve 0 = q*b - b - g for b.
4
Let t = -591 + 591. Let s = 23 - 18. Solve -d + 1 - s = t for d.
-4
Suppose 0 = 5*z - 5*v - 25, 39 = 4*z + 3*v - 2. Solve 0 = -3*w + z*w + 20 for w.
-4
Suppose 4*c = -1 + 73. Solve -y = -7*y + c for y.
3
Let g = 2 - 12. Let q = 7 + g. Let h = -3 - q. Solve -4 = y - h for y.
-4
Let x = -35 + 44. Let f be 0 + (-3)/(3/(-10)). Suppose f = -r - 3*c, -c = 4*r - 0*r - 15. Solve -2*z = -r*z - x for z.
-3
Suppose 5*f - 20 = -5*z, 6*z + 5*f - 17 = 4*z. Solve -4*r + 13 - z = 0 for r.
3
Suppose 0 = 7*c - 24 - 11. Solve 5 = -c*w + 10 for w.
1
Let a be 6/(-9) + (-16)/(-6). Let q = -12 + 13. Let b be (14/35)/(q/5). Solve a = -2*r - b for r.
-2
Let s(r) = -r**3 - 5*r**2 - 2*r - 7. Let p be s(-5). Let n be p/5 - 22/(-5). Solve 13 = n*t - 12 for t.
5
Let p = 2877 + -2851. Solve p*j = 2*j + 48 for j.
2
Suppose -f + 2 = 3*p - 3*f, -4*f + 12 = 2*p. Suppose 4*y = 5*b - 46, -4*b - p*y - y = -43. Solve 6*l = l + b for l.
2
Let j(c) = -6*c**3 + c. Let u be j(-1). Suppose -4 = 4*d - 0, v + u*d = -8. Let o be (-17)/v + (-3)/(-9). Solve -i = i + o for i.
-3
Suppose 0 = 2*h - 3 - 1. Suppose 5*k - 9 = h*k. Solve k*j + 6 = 21 for j.
5
Let r(b) = -b**2 + 14*b - 12. Let y be r(10). Let a be (8/28)/(4/y). Solve 0 = -6*w + a*w for w.
0
Let k = 22 + -22. Suppose b - 7*b + 24 = k. Solve b*i + 0 = -16 for i.
-4
Let l = 6 + 2. Suppose -l*i + 4*i - 2*i = 0. Solve i*s - 10 = 2*s for s.
-5
Suppose -66 = 4*x + 82. Let d = x + 44. Solve 3 = -2*n - d for n.
-5
Let l = 9 - -39. Let t be 12/l - (-2)/(-8). Solve x + 2*x - 9 = t for x.
3
Suppose -147 + 381 = 13*y. Let t(l) = -l - 7. Let j be t(-7). Suppose j*u + 3 = u. Solve 5*a + y = u for a.
-3
Let w(y) = y**3 - 3*y**2 - 2*y + 11. Let s be w(4). Let l = 28 - s. Solve -3*p + 0 = l for p.
-3
Let q = 11 - 8. Suppose -20 = 6*l - 7*l. Suppose -l = -q*t - t. Solve t = 5*z + 15 for z.
-2
Let i(s) = -3*s - 45. Let u be i(-16). Solve -2*a = u*a + 20 for a.
-4
Let w be (2 - 2) + (-22)/(-11). Suppose 5*c - 22 = -l, -w*l + 4*l - 3*c + 8 = 0. Solve 0 = l*u + 2*u + 8 for u.
-2
Suppose -25 + 3 = 5*h + 4*q, 0 = 3*h + 3*q + 15. Let a be -2 - h - 60/1. Let d be (-2)/7 + a/(-14). Solve 2*r - d = 4 for r.
4
Let g(r) = -r**2 + 8*r - 9. Let n be g(6). Suppose k + 5*d = -2 + n, 4*k = d + 67. Solve p = 5*p + k for p.
-4
Let u(g) be the first derivative of -g**4/4 - 3*g**3 - g**2/2 + 3*g - 27. Suppose z + 4*p = -3*z - 44, 4*p - 28 = 4*z. Let s be u(z). Solve -s = 4*k - k for k.
-4
Let q be (-2 - -5)/(190/(-92) + 2). Let j =