t f = 236 + -234. Suppose -4*d = -f*c + 7*c - 32, -c = 2*d - 10. Solve b - d*b = -10 for b.
5
Let z = 42 + -35. Let h(m) = 2*m**2 - 9*m - 10. Let c be h(z). Solve 0 = -5*u - 0*u + c for u.
5
Let d = 4080 - 4080. Solve -37 = -37*g - d for g.
1
Let p be 13 + 171/38*(-40)/(-18). Solve 11*t = p*t - 72 for t.
6
Let o(n) = -n - 8. Let a be o(-10). Let j = -2 + a. Suppose -4 = -j*g - 2*g. Solve g*y + 3 = 9 for y.
3
Let n(f) = -f + 27. Let w(d) = 2*d - 45. Let j(y) = 5*n(y) + 3*w(y). Suppose -4*k = -9*k + 10. Let h be j(k). Solve h + 2 = -4*m for m.
-1
Let f(b) = b**3 - 13*b**2 - b + 13. Let x(q) = 4*q**2 + q - 5. Let o be x(2). Let s be f(o). Solve s*d = 5*d for d.
0
Let z = 4021 - 1602. Solve 2420*r - 3 = z*r for r.
3
Let k be (-3 - (-65)/25)*-15. Suppose -p = -k*m + m + 15, -3*m = -5*p + 13. Suppose -2*g = 5*d - 62 + 24, g - m = 0. Solve -4*x - 10 - d = 0 for x.
-4
Let n be 1 + 11 - -25*(-12)/(-30). Solve -92*v = -103*v - n for v.
-2
Let o be (-736)/(-28) - (-4)/(-14). Let v = o + -23. Let p be (-2 - (-8)/(-8)) + 4. Solve v*z = -8 - p for z.
-3
Let a(w) = -w**2 + 3*w. Let m be a(3). Let q = -100 + 95. Let i be (-1)/((-1)/10) - (q + 9). Solve m = -0*j - 2*j - i for j.
-3
Suppose 9*k - 112 = -40. Suppose 4*m + k - 28 = 0. Solve m*n = -15 - 5 for n.
-4
Let j be (51 + -53 - (-2 - -8))*(-3)/2. Solve -20*s + 68 = -j for s.
4
Suppose -21*k = 23*k + 616. Let a(m) = 2*m**3 + 32*m**2 + 57*m + 18. Let t be a(k). Solve -t*l + 4 = -4 for l.
2
Let a(n) be the first derivative of -n**3/3 - n**2/2 + n + 1. Let y(d) = -4*d**2 + 5. Let c(g) = 5*a(g) - y(g). Let f be c(-4). Solve -8 + 0 = f*w for w.
-2
Let r = 12795 - 12726. Solve r*k = 67*k - 8 for k.
-4
Let g(n) = -n**3 - 25*n**2 + 97*n + 364. Let f be g(-28). Solve -126*x + 75*x + 102 = f for x.
2
Suppose 4*m - 17 - 3 = 0. Let c(h) = h**2 - 4*h - 1. Let q be c(m). Solve -q*b = -2*b for b.
0
Suppose 47 = 5*l - 48. Suppose -b + l - 13 = 0. Solve -b = 2*o - 4*o for o.
3
Suppose 0 = 7*z + 266 - 77. Let u = 27 + z. Suppose u = -2*s - 4*n + 11 + 13, s - 24 = n. Solve c + 4*c = s for c.
4
Suppose 10*r - 3*n = 12*r - 17, 0 = -4*r - n + 9. Let h(d) = -d**2 - 8*d + 7. Let y be h(-9). Let l be y + (-1)/1*-5. Solve r = -l*w + 4 for w.
1
Suppose 21*n - 375 + 119 = -11*n. Solve -100*w + 102*w = n for w.
4
Suppose -4 = 4*n, 5*j + 9*n = 6*n + 187. Solve j*q - 18 = 20*q for q.
1
Suppose -8*a = -7*a - 4. Suppose -2*y = -3*t - t - 2, -5*t + a = 4*y. Let d be 2/7 - 24/(-14). Solve -v - y = d for v.
-3
Let g be 12/4 - (4 + -7). Suppose 2*m = 5*w - 40, -g*w + w + 40 = 5*m. Solve -3 = -w*y + 13 for y.
2
Let p(f) = 25*f**2 - 10*f + 10. Let u be p(2). Let d be u/(-24)*(4 - (18 + -2)). Solve d = 5*a + 20 for a.
5
Let y = 432 - 436. Let m be (y/(-6))/((-2)/(-30)). Let n be (-1)/(-3) + 3/(-9). Solve 5*f - m = -n*f for f.
2
Let g be 2890/65 - 624/1352. Solve -44*p - g = -132 for p.
2
Suppose 0 = 4*u - u - 6. Let z = u + 1. Let a be ((-2)/(-4))/(9 + (-153)/18). Solve -z*i + 5 = -a for i.
2
Let o = -6932 - -7092. Solve 153*l = o*l + 21 for l.
-3
Suppose -97 = -q + 5*i - 115, 3*i = -q + 22. Solve -q*c = -38 + 17 for c.
3
Suppose 176*k + 1833 = 223*k. Solve 34*y + k = 5 for y.
-1
Let q(v) = v**3 + 10*v**2 + 15*v + 3. Let d be q(-2). Let l(k) = -3*k**3 + k**2 + k. Let t be l(-1). Solve 0 = 4*b - d - t for b.
2
Suppose 3*z - 5*v = 73, -2*z + 16 + 42 = -v. Let m = z + -28. Solve 0 = -p + 4*p + m for p.
-1
Suppose -4*n + 50 = -13*d + 16*d, 0 = 4*d + 3*n - 48. Solve -121*m + 118*m - d = 0 for m.
-2
Let p(m) = -2*m - 18. Let z be p(-5). Let r = z + 12. Suppose -v = -r*q + 15, v = -0*q - 2*q + 9. Solve b - 15 = -q*b for b.
3
Suppose -45*g - 215*g = -6760. Solve -g*n + 52 = 234 for n.
-7
Let n(d) = 3*d + 2. Let m be n(0). Suppose x + l = 3, 4*x = m*x + 2*l + 18. Suppose -2 - x = -2*t. Solve 4 = -5*p + t*p for p.
-4
Let i = 94 - 74. Let o be (7 + -3)*(5 + (-55)/i). Solve 2*z - o*z + 21 = 0 for z.
3
Let m = -5 - -6. Let j(z) = -2*z**3 - 13*z**2 + 10*z + 17. Let p be j(-7). Let x be (-9 - p - -5)*2/8. Solve x = -6*b + 5*b + m for b.
1
Let n = 2545 - 2541. Solve n*y - 17 = -37 for y.
-5
Suppose -17991*h - 135 = -17994*h. Solve h*b + 95 = -220 for b.
-7
Suppose -3 = 4*g - 5*g. Suppose -4*y - 11 = -4*b - g, -4*y = 3*b - 13. Suppose -16 = -b*h - 4*r, 4*r - 2 = -4*h + 18. Solve -h*i + 5 = 13 for i.
-2
Suppose -4*x - 165 - 55 = 0. Suppose 0 = -0*b + b - 1. Let g be (-74)/(-10) - b - 33/x. Solve -p = 3 - g for p.
4
Suppose -95 = -5*i - 4*u, 4*u + 45 = 4*i + 5. Let n = -46 - -41. Let m be ((-96)/120)/(1/n). Solve -m*o = 1 + i for o.
-4
Let w(k) = k**2 - 9*k + 54. Let a be w(8). Suppose -26 = 5*v - a. Solve 15*t + v = 11*t for t.
-1
Let x(v) = v**2 - 5*v + 7. Let j(g) = g - 9. Let w be j(14). Let m be x(w). Let o = -171 + 174. Solve -m = -4*s - o for s.
1
Let t = 186 - 186. Suppose 11*d - 2 = 10*d. Solve -d*m - 6 - 2 = t for m.
-4
Suppose 3*d - y = 3*y + 50, 2*y - 2 = 0. Suppose u = 4*g - 94, g + 134 = -10*u - 16*u. Suppose -g*h + 12 = -d*h. Solve -h*i = -5*i - 8 for i.
-4
Let p(y) = 6*y**2 + 4*y - 5. Let h(k) = -k**2 - k. Let z(g) = 5*h(g) + p(g). Let t be 2/1*(0 + 2). Let a be z(t). Solve -a*j = -3*j for j.
0
Let r = 3360 - 3357. Solve 0 = 6*g + r*g - 27 for g.
3
Suppose 6*d + 14*j - 132 = 19*j, -2*j = 5*d - 110. Solve -53*z + d*z = 0 for z.
0
Suppose 4*v - 5*y - 564 = 0, 3*v - 245 = 5*y + 183. Solve -21*d - v = 32 for d.
-8
Let w(a) = -5*a + 114. Let n be w(22). Suppose 4*s = 2*r - 56, s = -n*r - 2*s + 68. Solve 6*q - 2*q = r for q.
5
Let d be (2 + -3)/((-6)/462). Solve -21*z - 35 = -d for z.
2
Let x be 2 + 1 - (4 + 1). Let u be (1/x)/(7/(-56)*2). Solve u*z - 6 = -z for z.
2
Let y(n) = 2*n**2 - 18. Let d be 7/((-77)/31) - (-4)/(-22). Let p be y(d). Let q(h) = h**2 - 4*h + 4. Let z be q(7). Solve 2*m + 3*m + z = p for m.
-5
Suppose -1506*a - 986860 = -1718*a. Solve -11*k = a - 4589 for k.
-6
Let h(r) = -r**3 - 7*r**2 - 8*r + 7. Let v be h(-5). Let c be (v - 10/(-4))*(-8 + 0). Suppose 0 = -c*b + 2 + 6. Solve b*f = -f for f.
0
Let f = -1742 - -1826. Solve 7*g = -14*g - f for g.
-4
Let o be -318 - 3/(5/(-5)). Let z = o + 321. Solve -z = 4*r - 26 for r.
5
Let p = 17684 - 17672. Solve p*m = -30*m + 168 for m.
4
Suppose 1070 = 5*d - j - 1015, 4*d = -5*j + 1697. Let k = 422 - d. Solve -4 = k*w - 0 for w.
-1
Let f be 86/(-301) - (-1852)/14. Let u = 137 - f. Solve u = a + 3 for a.
2
Let l = -7959 + 8023. Solve -34*c + 302 - l = 0 for c.
7
Suppose t = -0*t. Let n be (-2)/4 - (-18)/(-36). Let i be ((-10)/(-2) - t) + n*1. Solve 6*q = 2*q + i for q.
1
Suppose -2846*d - 6570 = -2919*d. Solve -26*p - d = 92 for p.
-7
Let x(h) = -h**2 - 53*h + 1958. Let u be x(25). Solve -u*l = -5*l for l.
0
Let r be (-68)/(-20) + 2/10*-2. Solve -14*i = 73 - r for i.
-5
Let t(f) = -2*f**2 - 60*f + 16. Let d be t(-29). Solve 28 = d*u - 67*u for u.
4
Suppose -2*p - 12 + 148 = 3*x, -3*x + 4*p + 124 = 0. Solve 0 = 2*v - 52 + x for v.
4
Let k = -305 - -308. Suppose -24 = k*p - 24. Solve p*y = 6*y + 18 for y.
-3
Suppose -73*k + 115 + 125 + 1366 = 0. Solve 34 - k = -3*h for h.
-4
Suppose 0 = t + 2*h, -4*h - 20 = -3*t - 0*t. Suppose 7*f + 6*f - 12*f = 10. Suppose -f*w - t*w = -84. Solve 5*y = w + 14 for y.
4
Let n = 1028 + -1021. Let q = -231 + 231. Solve -11*h + n*h - 12 = q for h.
-3
Let c = -60 + 62. Suppose -c*q = 10, 3*q + 1 = i - 14. Solve 3*n - 2*n + 2 = i for n.
-2
Let l be 4/((40/208)/5). Let w be 52/l - (-1)/(-2). Solve 5*a + w*a + 10 = 0 for a.
-2
Let r = -175 + 227. Suppose -r*q = 3*t - 48*q - 26, -4*q = t - 6. Solve -n = -t + 8 for n.
2
Suppose 2*d + 5*p - 57 = 0, 0*d - 41 = -d - 5*p. Suppose -5*w + d = 3*w. Suppose 5 = w*i - 7. Solve 0*n = -2*n - i for n.
-3
Let j(u) = u**3 - u**2 + 2*u + 8. Let b(d) = -1 + 0 - d + 5 - 2 - d**2. Let x be b(1). Let i be j(x). Solve i = 2*s + 4 for s.
2
Let k(b) = -b**3 - 24*b**2 - 46*b - 35. Let u be k(-22). Let q be -1 + -4 + u + (-2)/2. Solve q*g - 20 = -26 for g.
-2
Let c be 25 - 9/(-3)*1. Suppose -4 = -2*a + 4*a + 5*m, -a + 4*m = c. Let i be 1*(2 + (-8)/a*-3). Solve 6 = -3*n - i*n for n.
-2
Let l = -10 + 30. Let d(b) = -b**3 + b**2 - 6*b + 16. Let w be d(4). Let h be (32/w)/((-2)/14). Solve -8*n + h*n = l for n.
-5
Suppose -1022 = -20*t - 122. Solve -z + 10*z = t for z.
5
Suppose 0 = 2*c - 4*d - 18, -c + 2*d = 3*d. Let u be (0 - -6)/((3/(-2))/(-1)).