ve 0 = -p - z for p.
-1
Suppose -3*f = -j + 15, -4*j + 82 = f - 2*f. Let l = 34 - 28. Solve 3*u - j = -l for u.
5
Let w(c) = -c**2 - 19*c - 60. Let m be w(-9). Solve -m = 13*g + 35 for g.
-5
Let v = 222 - 206. Solve 5*s - 1 + v = 0 for s.
-3
Let j(n) = -2*n - 8 + 5*n - 4*n - n. Let m be j(-11). Suppose -q - q = -m. Solve q*y - 2*y = -15 for y.
-3
Suppose w = 4*o - 3, -2*o = -0*w + 2*w - 44. Solve -w*i = -19*i for i.
0
Let n(t) = 13*t + 856. Let v be n(-57). Solve -b - v + 116 = 0 for b.
1
Suppose -5*a = -0*a. Suppose a = -3*r + 5*r. Let t = r + 7. Solve -2*c + t = -3 for c.
5
Let w be (-6)/(-2) - ((4 - 1) + -16). Suppose -w = -3*s - s. Solve 25 = -q - s*q for q.
-5
Suppose -n - n + 12 = 3*g, 2*n + 4 = g. Suppose 4 = 5*i - g*i. Solve -i*y = y for y.
0
Let r(w) = -9*w + 2. Let b be r(-1). Suppose -5*j + 60 = -5*m - 0, -j = -5*m - 48. Let d = b + m. Solve d*p + 9 = -p for p.
-3
Suppose 0 = 5*l + s - 77, 5*s - 6 - 11 = -2*l. Suppose 5*o - l = -4*b, b - 3*b - 3*o = -8. Solve -r - b = -1 for r.
-3
Let t = 9 + 4. Suppose -t*k + 12*k + 15 = 0. Suppose -4*w + k + 16 = 3*o, w + 1 = o. Solve -o*x + x = 12 for x.
-3
Let b(h) = 2*h**2 + 7*h**2 + 2 - h**3 - 2*h - 12*h**2. Let z be b(-2). Solve -o + z*o - 1 = 0 for o.
1
Let d be ((-8)/((-32)/(-10)))/(2/(-20)). Suppose -d*t + 36 = -21*t. Solve c + t = -2*c for c.
-3
Let z(w) = w**2 - 11*w + 22. Suppose 4*x + s = -0*s + 36, 0 = -2*s. Let a be z(x). Let c be (3 - (a + -3)) + 4. Solve -u = u + c for u.
-3
Suppose 4*t - 37 + 1 = 0. Solve -5*w = -29 + t for w.
4
Suppose -c + 28 = 3*c. Suppose -22*l - 7 = -51. Solve 5*o - l = -c for o.
-1
Let s = 35 + -83. Let i be 1/(4*(-3)/s). Suppose -4*m - 2*z - 2 = -8, z = i*m - 21. Solve 3*d - m*d = -3 for d.
3
Let f(k) = 3*k + 13. Let n be f(-19). Let b = n - -56. Solve -4*q + b = -4 for q.
4
Suppose 3*l - 29 = -f, -4*l + 2*f - 2 = -3*l. Let b = 7 + l. Suppose -6*i + 5 = -4*i + x, 15 = 3*i + 3*x. Solve -3*t = -i - b for t.
5
Suppose 4*u - 8 = -o, u + u = 4*o - 14. Let d be 19/2 - u/(-2). Let w be 8/12 - (-20)/15. Solve 0*g = w*g - d for g.
5
Let n = -9 - -15. Let q = 45 + -45. Suppose -5*c + 3*j = -70, c + j - n = -q. Solve 1 - c = -2*v for v.
5
Let k(q) = q**2 + 162*q + 3 - 326*q + 175*q. Let p be k(-11). Solve -1 = p*w - 7 for w.
2
Let t(o) = 43*o + 1. Let j be t(1). Let r = j + -41. Solve 0 = -r*h + h + 6 for h.
3
Let h = -17 + 30. Suppose -t + o = 3*o - h, -2*t = -5*o + 19. Solve -7*y = -t*y - 20 for y.
5
Let g(o) = -o**3 + 4*o**2 + 7*o - 4. Let m be g(5). Solve -k - m = -2 for k.
-4
Let m(r) = 10*r**2 + 261*r + 30. Let c be m(-26). Let u be ((-5)/3)/(2/(-6)). Suppose -2 + u = 3*t. Solve -t - c = -n for n.
5
Let l(r) = 27*r - 1. Let f be l(1). Suppose -f = -7*x + 2. Solve x*v + 2 = 14 for v.
3
Suppose -a + 3 = 5*w, -4*w - 5*a - 4 = -19. Let m = 37 + -11. Solve -4*i - 6 + m = w for i.
5
Suppose p = 2 - 18. Let l = p - -26. Solve 0 = -3*n + n + l for n.
5
Let s be ((-13)/(-52))/(4/32). Let n(f) = -f - 2. Let k be n(-7). Suppose k*q = -1 + 11. Solve -q*d + s = 8 for d.
-3
Let g(h) = h**3 + 50*h**2 + 94*h - 56. Let n be g(-48). Solve -14*u + n = -4*u for u.
4
Suppose -35 = -2*c + 27. Let z = -29 + c. Solve 0 = -0*i - z*i for i.
0
Let y(k) = 2*k**2 - 9*k - 2. Let p be y(4). Let v be (-10)/(-5)*p/(-4). Solve u = -2*u + v for u.
1
Let n = 1 + 3. Suppose 2*z - 112 = -0*z. Let h = 60 - z. Solve -2*a - h = n for a.
-4
Suppose 4*j - 2*a = -3*a + 25, -10 = -4*j + 2*a. Suppose j*t = -t + 6. Solve -4*r - 9 = -t for r.
-2
Let o = 30 - 28. Let u be (o + 0)/(12/6). Solve u - 4 = w for w.
-3
Let p = 1 + 3. Suppose g - p*g - 9 = 0. Let s be 6/9 - g/9. Solve s = y - 0*y for y.
1
Let h = 629 - 606. Solve -21*p + 10 = -h*p for p.
-5
Let a = 2 + 0. Let h(r) = r**3 - 7*r**2. Let i be h(3). Let q = -36 - i. Solve q = o - a - 1 for o.
3
Let r be (-1)/2*(9 + -15). Let k be 10/6*3 + r. Solve -3*l = -l - k for l.
4
Let f(t) = t - 3. Let m be f(3). Suppose m*w = -3*w + 6. Solve -h + 9 = w*h for h.
3
Let g be 3/5 + (-16)/10. Let z = 1 - g. Suppose z*i = -5*j - 3 + 34, -5*i = -j - 10. Solve 0*s + i = s for s.
3
Let o be (2/(-4))/(2/(-8)). Suppose 3*c + 15 = 3*v, -o*v + 0*c - 4*c - 2 = 0. Suppose 10 = v*i + 1. Solve 7 + 5 = -i*s for s.
-4
Suppose 0 = t + 2*p - 10, 45 = 3*t - p + 8. Solve -t*s = -11*s for s.
0
Let h(n) = -n**2 - 7*n - 5. Let u be h(-4). Let g = -45 + 45. Suppose 3*k = -x - 2*k + 24, g = x + k - 8. Solve x*y = -1 - u for y.
-2
Let f = 1603 - 1603. Solve 12*c + 1 - 25 = f for c.
2
Let u(q) be the first derivative of q**4/4 + 2*q**3/3 - 3*q**2/2 - 3*q + 1. Let h be u(-2). Suppose h*p + 0 - 6 = 0. Solve p*w + 2 = w for w.
-2
Let a be -4 + 1 + (2 + 49)/3. Let n be (2 + 1)/(-1)*a/(-21). Solve -3*b = -n*b for b.
0
Suppose 0 = -4*r - 5*k + 261, -2*r + 123 = 239*k - 238*k. Solve u - 56 = -r for u.
-3
Let j = -6 + 5. Let l be ((-12)/(-4))/(j/5). Let r be 12/5 + (-9)/l. Solve -r*s - 7 = 2 for s.
-3
Let h be (234/24)/(-3*3/(-12)). Let c be 6/(-9)*(-12)/2. Suppose 3*p = c*j - 100, -62 - h = -3*j + p. Solve -d + j = 4*d for d.
5
Let d be (-6)/12*-30 + 2 + -1. Suppose -6*v + 12 = -3*v, 2*h + d = 5*v. Solve h*z = 3*z for z.
0
Let p(w) = -w + 16. Let j be p(16). Suppose 27 = 3*d - 3*i, -i - 16 + 2 = -2*d. Solve 2*m - 1 + d = j for m.
-2
Suppose 3*p - 2 = -4*v - 16, -5*v = 25. Solve -4*n - 2 = p for n.
-1
Let g be (6*2/(-8))/(7/(-14)). Solve 25 = g*b + 10 for b.
5
Let m = 207 + -204. Solve 0 = -m*v - v - 12 for v.
-3
Let t(q) = -q**3 + 22*q**2 - 3*q + 66. Let l be t(22). Solve l = 2*r - 39 + 35 for r.
2
Let j be (-3)/(-6)*14 - (25 + -48). Solve j = -y + 25 for y.
-5
Let v(f) = -f**3 + 5*f**2 + 5*f + 8. Let m be v(6). Solve m*c + 3*c = 5 for c.
1
Suppose -4*j - j + 2*o + 14 = 0, 4*j = 4*o + 4. Suppose -2*y = 3*n + 12 - 0, -3*y + n + j = 0. Solve y = w + 2 + 1 for w.
-3
Let o be -1*(-1)/((-3)/3). Let z be (0 - 7)*(12/7)/o. Solve 0*c + z = -3*c for c.
-4
Let p(u) = 4*u**3 - 2*u**2 + 1. Let k be p(1). Suppose -k*n + n + 30 = 0. Let w = n + -12. Solve -2*t = w*t + 20 for t.
-4
Let v be 40/(40/(-5))*-1. Solve 0 = v*c - 2 - 3 for c.
1
Suppose -l - 2*l + 42 = 0. Suppose 4*v - 2 = c + 5, 4*c = -3*v + 10. Solve -l = 5*t + c for t.
-3
Let x be 11/3 + (-5)/(-15). Suppose j = -4, -2*j = -0*h + 2*h + x. Let d be ((-2)/(-8))/(6/48). Solve d*m - 8 = -h*m for m.
2
Suppose 24*a - 26*a = -96. Solve r = 44 - a for r.
-4
Suppose -19 = 6*n - 79. Solve c - n = -c for c.
5
Let c = -9 + 9. Suppose -2*x - 6*x = c. Solve 3 = -3*o - x*o for o.
-1
Let x(a) = -2*a**2 + 17*a - 34. Let p be x(5). Solve -3*c = -2*c - p for c.
1
Let t be 10/(2 + (-48)/30). Solve 6*w + 5 = -t for w.
-5
Suppose 4 = 2*x, 2*x = h - 2*h + 4. Let w be (1 + 15)*(243/(-36) + 7). Let g = 11 + -7. Solve w + h = -g*t for t.
-1
Suppose -3*m - 3 = -9. Suppose -m*b - 4*b = 0. Solve -k + b = 1 for k.
-1
Let r = 18 + -18. Solve 8 = -2*j - r*j for j.
-4
Let x be (75/(-150))/(21/(-20) + 1). Solve 0 = -5*m - 5*m - x for m.
-1
Suppose 0 = -4*t - 2*x + 3*x + 23, 0 = -2*t - 5*x - 5. Suppose -t*o = -7*o. Solve 4*v - 2*v = o for v.
0
Let m(d) = d**2 + 4*d + 1. Let r be m(-2). Let t be 1 + (-3 - -3)/(-3). Let w be (-3)/(t + (r - 1)). Solve 0 = -h + 2 + w for h.
3
Suppose -3*q - q = 0. Suppose 8*i - 5*i = 30. Suppose 5*t - 30 = -i. Solve q = 3*w + 1 - t for w.
1
Let h(n) = -n**3 + 43*n**2 + 92*n - 87. Let t be h(45). Suppose k = -0*k + 2. Solve k*b + t = -1 for b.
-2
Let t be 1982/(-14) + 36/63. Let o = t + 147. Solve w + 9 - o = 0 for w.
-3
Suppose -1 - 19 = -5*y. Let v = -20 - -23. Suppose -28 + 34 = v*d. Solve -d + 6 = -y*a for a.
-1
Let t(p) = -2*p**2 + 14*p - 21. Let i be t(4). Let z(x) = x - 8. Let s be z(6). Let h be 0 + s - -1 - -4. Solve i*f + 6 + h = 0 for f.
-3
Let l(y) = -y**2 - 14*y + 23. Let w be l(-13). Let j = w + -36. Solve j*i = 4*i + 4 for i.
-1
Suppose -c - 2 + 8 = 0. Solve -24*l - 90 = -c*l for l.
-5
Suppose 0 = 14*v + 3 - 17. Solve -y + v - 6 = 0 for y.
-5
Let k be 2 - -2 - 2/(6 + -5). Solve b + k = 2*b for b.
2
Suppose 5*u = -w + 57, w + 1 = -u + 10. Suppose 3*f + 6 = 3, -5*r + u = 3*f. Let n(t) = t - 1. Let v be n(3). Solve -r*j - v = 10 for j.
-4
Let d = -58 - -61. Suppose -3*c = 4*y - 7 - 24, c - 5 = -4*y. Solve d - c = -5*w for w.
2
Let p be (8 - -234) + (-1 - 6) + 5. Solve -4*r - 228 = -p for r.
3
Let p(s) = -s + 20. Let d be p(10). Suppose -d*c = 