 59 = 4*d. Let l = d + -10. Solve 0 = m - l*m + 5 for m.
1
Suppose -15 = 8*i - 3*i, 0 = -3*r - 3*i + 42. Solve 0 = 8*w + 9 - r for w.
1
Let c(u) = -u**3 - 42*u**2 + 44*u + 45. Let y be c(-43). Let o(v) = v**3 - v**2 - 5*v + 3. Let b be o(3). Solve y*q + 4 = -b for q.
-5
Let v be 2 + 6/(-3) - 4. Let l(y) = y**2 + y - 2. Let g be l(v). Suppose -20 = 5*k, -5*d = -g*d - 5*k - 15. Solve 1 + d = 2*p for p.
1
Let j(c) = -c**3 - 61*c**2 - 59*c + 60. Let y be j(-60). Solve -10*d + 6*d = y for d.
0
Let b(d) = -d - 14. Let o be b(-7). Suppose -18 = 2*c - 0*c. Let n = o - c. Solve p + n = 2*p for p.
2
Let b be 4/(-10) + 1388/20 + -3. Suppose -18 = 60*a - b*a. Solve 2*z = -z + a for z.
1
Suppose 4 + 1 = -3*r + 5*w, -w - 16 = -4*r. Let c = r + -2. Solve 0 = 3*b - c for b.
1
Let k = -413 - -465. Solve 0 = g - k + 55 for g.
-3
Let y be -2 - (-6 + 4 + -5). Solve 0 = -y*t - 6*t + 33 for t.
3
Let h = -464 + 464. Solve h = -20*u + 21*u for u.
0
Suppose -63 + 43 = -10*l. Solve -9*q + 11*q = l for q.
1
Let s(a) = -2*a. Suppose 4*i + 2*r + 2 = 0, -i + 3*i + 2*r = 0. Let h be s(i). Suppose -3*f - 3 = -j, 2*f - 5 + 20 = 5*j. Solve -q + j*q + h = 0 for q.
-1
Suppose -8*f + 242 = 3*f. Suppose 5*q = -0*q + 15, -f = -k - 2*q. Solve 0 = -t - 3*t - k for t.
-4
Suppose -6*u + 91 = -5. Let c be -3 - -5 - (17 - -1). Let t = u + c. Solve t*s - s + 5 = 0 for s.
5
Let k(h) = -h + 4. Let o(u) = u - 1. Let d(b) = k(b) + 2*o(b). Let j be d(-2). Solve j*s + 5*s = 10 for s.
2
Let d(x) = x**2 + 4*x - 5. Let f be d(-5). Solve -2*m - 46 + 56 = f for m.
5
Let d = 44 - 32. Solve d*v = 7*v + 20 for v.
4
Let y be (-1)/(-3 + 7) - (-260)/16. Solve 5*o + y = 1 for o.
-3
Suppose -t = -2*o - 85, -t + 2*t - 4*o - 79 = 0. Let z = -87 + t. Solve 15 = l + z*l for l.
3
Let v(a) = -a + 1. Let b be v(-2). Suppose -2*g + 80 = 3*g. Let l = -11 + g. Solve 4 = b*w - l for w.
3
Suppose -y + 3*n - 9 + 33 = 0, 2*y = -n + 13. Suppose 5*p - y = -24. Let w be 2/p*36/(-8). Solve -u + w*u = 10 for u.
5
Let k(s) = -s**3 + 2*s**2 + 3*s - 5. Let n be k(-3). Solve -4*v - n = -19 for v.
-3
Let r(m) = 3*m - 6*m + m + 6. Let u be r(6). Let s(p) = p + 7. Let z be s(u). Solve -z - 3 = -2*n for n.
2
Let a(c) = -4*c + 27. Let n(g) = -g + 1. Let h(j) = -1. Let i(x) = 6*h(x) - n(x). Let v(d) = 2*a(d) + 9*i(d). Let s be v(9). Solve s = -r + 2*r for r.
0
Let d = -11 - -10. Let x be (0 - (-1 - d)) + 4. Suppose 2*p = -0*g - x*g, 3 = p - g. Solve -2*w + p = 4 for w.
-1
Let y(t) = -28*t + 76. Let b(u) = -9*u + 25. Let d(s) = -7*b(s) + 2*y(s). Let n be d(4). Solve 0*p - n = -p for p.
5
Suppose 6 = 2*y - 6. Let d be ((-10)/y + 0)*-3. Suppose -m + d*l = 0, -2*m = -5*m - 2*l + 17. Solve -q + m = 4*q for q.
1
Let y(p) = 11*p + p**3 + 8*p + 4*p**2 - 21*p + p - 2. Let j be y(-2). Solve 5*t = 3*t - j for t.
-4
Let c be 1/2*-4 - -2. Suppose -3*i - 12 = c, 3*b + 5*i + 20 = 4*b. Solve -l + 6*l - 25 = b for l.
5
Let c(o) = -o**2 - 4*o. Let l be c(-3). Suppose 34*a - 2*a = 96. Suppose 0 = -k - 3*k + 48. Solve l*m = a + k for m.
5
Let m be (-1)/((-2 - 1)/3). Let i(o) = 3*o - 1. Let n be i(1). Suppose 0 = f + n - 5. Solve -f = h - m for h.
-2
Suppose -5*v = -v + 16. Let x(h) be the first derivative of h**3/3 + 3*h**2/2 - 4. Let a be x(v). Solve -a*i - 7 = 1 for i.
-2
Suppose -3*k = -222 - 54. Solve -15 = -95*c + k*c for c.
5
Let d = -2114 - -2170. Solve -51 = 5*p - d for p.
1
Let m be (2/(-8))/(3/(-108)). Solve -4*i = -m*i - 15 for i.
-3
Suppose 3*w = -4*u - 2*w + 2, 0 = -5*u + w + 17. Suppose u + 15 = -g. Let z be (-12)/(-54) + (-50)/g. Solve -z*b + 10 = -b for b.
5
Let m(k) = -5*k + 5. Let x be m(-7). Let l = -37 + x. Solve l*p = 5*p - 8 for p.
4
Let u = -49 - -48. Let l = u - -4. Solve 0 = -g + 8 - l for g.
5
Let w(y) = -y**3 - 5*y**2 - 3*y + 29. Let s be w(-6). Solve -79*r = -s*r + 4 for r.
1
Let a be (10/1)/(5/(5/2)). Let v be -33*a/(-15) - 2. Solve v = f + 4 for f.
5
Let o = 611 + -611. Solve -28*a + 25*a = o for a.
0
Suppose 0 = 9*u + 3*u - 36. Let j be ((-17)/(-3) - u)*3/2. Solve 2*m - 2 - j = 0 for m.
3
Let t(o) = 5*o**2 - 372*o + 150. Let v be t(74). Let b be (-48)/(-21) - (-2)/(-7). Solve -b = -v*y + 2 for y.
2
Let s = -12 + 36. Let n be 15/2 + 12/s. Solve 5*h = h + n for h.
2
Suppose -384 = -5*b + 1116. Let h be b/16 - (-3)/(-4). Let d = h - 15. Solve -2*v = d*v + 25 for v.
-5
Let l(i) = i**3 - 5*i**2 - i - 4. Let x be l(5). Let k = 9 + x. Let j = k + 2. Solve -5*t = j - 7 for t.
1
Let w be (35/21)/(116/(-114) - -1). Let d = w - -100. Solve 0*y - 5 = -d*y for y.
1
Suppose 5*y = 2*s - 6*s - 20, -5*y = 3*s + 15. Suppose y = t + 9 + 1. Let q = t + 12. Solve u = q*u for u.
0
Let l = -449 - -494. Solve -l = -0*p + 9*p for p.
-5
Let o be 3/((-214)/110 + -6 + 8). Let f = o - 44. Solve -1 = 4*p + f for p.
-3
Suppose -1053*i + 1044*i = 0. Solve -4*l + 10*l + 12 = i for l.
-2
Let u = -414 - -425. Solve 0 = 3*n + 1 + u for n.
-4
Let g be 1800/315 + 2/7. Solve 14*m - 8 = g*m for m.
1
Suppose 0 = 3*z - 1 - 11. Suppose 32 = -4*n - 2*y + 34, 4*y = 3*n + 4. Solve z = -n*t + t for t.
4
Suppose 9*t = 48 - 12. Let j be (-36)/(-21) - t/(-14). Suppose -y + 3*h + 5 = -2*y, 4*y - 19 = h. Solve j*p - 6 = y*p for p.
-3
Suppose -4*r - 4 = -5*r. Suppose -11 = 4*b - 5*n + 5, -r*b = -4*n + 12. Suppose 1 = 2*h - b, -4 = -3*v + 2*h. Solve -v*s + 0 = -2 for s.
1
Let f(p) = -p**3 - 8*p**2 - 11*p - 8. Let m be f(-7). Let r be 24/m - (-4)/(-20). Suppose 3*y = 2*v + 8, 3*y + 0 = -5*v + r. Solve 3 = -x + y for x.
-1
Suppose 4*b + 287 = 31. Let j = b + 67. Solve j*r + 7 - 1 = 0 for r.
-2
Let m(t) = t - 13. Let j be m(4). Let y be (-2)/(-9) + (-34)/j. Suppose -5*i - y*p + 4 = -i, -3*p - 2 = 2*i. Solve 2 = -i*n - 3 for n.
-1
Let p(b) = 2*b - 6. Let w be -1*(15/(-5))/1. Let z be p(w). Solve -x = -z*x for x.
0
Let g(r) = r**2 + 2*r - 9. Let b be g(6). Suppose -9 = -4*q + b. Suppose -n - 3*n + q = 0. Solve -n*i + 6*i = -6 for i.
-2
Let v(z) = 2*z**3 + 53*z**2 + 25*z - 19. Let t be v(-26). Solve -4*b + t*b - 9 = 0 for b.
3
Let q = -78 - -79. Solve -3 = z - q for z.
-2
Let o be (1176/(-16))/(1 - 6/4). Solve t + o = 150 for t.
3
Let k(r) = 5*r - 6. Let w be k(4). Suppose -n - 2 = 0, 2*f + w = 4*f + n. Solve 0 = -0*c - 4*c + f for c.
2
Let l be (2 + 1 + -1)*-11. Let s = l + 13. Let v be -1 - -7 - (10 + s). Solve -4 = v*f - 24 for f.
4
Suppose 3*g - 67 = -19. Let x = g - 9. Suppose 2*z - z = -5*a - 10, 0 = 4*z - 3*a - 29. Solve 0 = -z*k - x - 3 for k.
-2
Let h = -937 + 945. Solve h*v + 3 = 27 for v.
3
Let x be 6/12*2*(-2)/(-1). Solve -3*t = x*t for t.
0
Let a = -124 + 134. Let b be 24/a - 4/10. Solve -d + b = d for d.
1
Let c = 17 - 13. Suppose -11 = -2*y + y - 3*n, -2*y - c*n = -18. Solve 5*l - 10 - y = 0 for l.
3
Suppose v - 7 = -3*a + a, 13 = 4*a + 3*v. Suppose p = 2*p - 14. Let h be (-4)/p - 405/(-21). Solve -5*r + a = h for r.
-3
Let h be (3/4)/((-2)/(-16)). Let g be (0 + 5/4)*4. Suppose g*z = 14 + 26. Solve -2*j - z = -h*j for j.
2
Let f = -1701 + 1703. Suppose 5*s + 0 = -5*w - 5, 0 = 3*w + s - 5. Solve w*z - f = z for z.
1
Suppose -5*a - 5*y + 41 - 1 = 0, 2*a - 22 = y. Solve -2*t + a = -0 for t.
5
Let x = -71 - -73. Suppose 3*i + 6 = -2*u + 18, -i + 4 = x*u. Solve -2*t + 5*t = u for t.
0
Let o(h) = -2*h**2 + 14*h - 18. Let k be o(4). Suppose -27*q + 25*q = -k. Solve q*l = 4*l + 2 for l.
-2
Let g(c) = -5*c + 5. Let k(o) = -o + 1. Let y(z) = g(z) - 4*k(z). Let q be y(0). Suppose -n - q = -8. Solve 0 = 3*l - n + 1 for l.
2
Let p(b) = -b**2 + b + 51. Let k be p(-12). Let z = 115 + k. Solve z = 3*v - 2 for v.
4
Let x = -108 + 120. Solve -12*p + x*p = 27*p for p.
0
Let n be -5*(-2 - 54/(-15)). Let y = n + 11. Suppose -m - y*w + 9 = 0, 2*m + 5*w - 7 = 3*m. Solve 0 = -m*q - 5 + 11 for q.
2
Suppose 3*o - 3*t = 15, 2*o - 5*t = 5*o - 15. Let s(a) = a + 7. Let c be s(0). Solve c = o*m + 27 for m.
-4
Let y(j) = 20*j + 625. Let k be y(-31). Solve k*m - 20 = -30 for m.
-2
Suppose 2*p - k - 8 = 0, -p = -5*p - 2*k. Let g = 16 + -14. Solve n - p = g for n.
4
Suppose -2*u - 2*f = -138, 2*u + 4*f = -0*f + 146. Suppose 0 = 70*y - u*y - 15. Solve -y = -w - 2 for w.
1
Let y = 12 + -9. Suppose 4*n = 8, 3*x - 6*x + 22 = -n. Solve -y*k + k = x for k.
-4
Suppose -66 - 12 = -26*q. Solve -6*d + q - 9 = 0 for d.
-1
Let l = -548 + 562. Solve 0 = b + 6*b + l for b.
-2
Let b be (-65 + 64)*(0 + 0). Solve 