 Let w be ((-18)/10)/(h/120). Solve 3*k - 6*k + w = 0 for k.
4
Let k be 2/2*-1*-2. Suppose -4*p = -5*p. Suppose p = 3*z - 5*r - 3 + 8, r - 1 = 3*z. Solve -k*d - 3*d + 25 = z for d.
5
Suppose -240*w + 239*w + 3 = 0. Solve 5*j - 2*j = w for j.
1
Let s(k) = k**2 - 11*k - 10. Let v = 101 + -89. Let i be s(v). Solve 0*o - 4 = i*o for o.
-2
Suppose 73*t = 70*t + 15. Solve -t*k + k - 20 = 0 for k.
-5
Let r = -10 - -20. Suppose -2*x = -3*u - 340, -4*x + 696 = u - 3*u. Let o = -170 + x. Solve -r = -o*d + d for d.
2
Suppose 19 = -13*o - 7. Let w = -4 + 9. Let b be o/w - (-12)/30. Solve b = j - 2*j + 4 for j.
4
Let n(t) = 9*t**2 - 3*t + 3. Let h be (-17)/(-34) - 2/(-4). Let s be n(h). Solve 8 = -5*i + s*i for i.
2
Let o = -227 - -332. Suppose 5*z = 2*z + 3, 3*f - o = 3*z. Let w be ((-1)/(-3))/(3/f). Solve -w*l = 7 - 27 for l.
5
Let o = 27 - 19. Solve 7*r - o = 3*r for r.
2
Let c = -1492 - -1497. Solve 0 = -9*g + c*g + 12 for g.
3
Suppose -3*d - 2*y - 3*y = -10, 4*d + 5*y = 15. Suppose -2*b = 3*b - 15. Suppose 0*t = b*t - 24. Solve t*m - d*m + 9 = 0 for m.
-3
Suppose 0 = a - 3 + 1. Let g be (-21)/(-7)*(-10)/(-6). Suppose -l = 2*w - 19, -5*w - g*l = -l - 52. Solve 0*b + w = a*b for b.
4
Let q be 54 + 5 - (4 + 6). Solve 3 + q = 13*b for b.
4
Suppose 0 = 4*i - 4*y, 0 = i + 3*i - 5*y. Suppose 21 = -i*l + 7*l. Let z be (3/2)/((-6)/(-8)). Solve -r + l*r - z = 0 for r.
1
Suppose 0 = m + 1 + 10. Let q(f) = 2*f + 23. Let x be q(m). Suppose -3*v + v = -4*h + 10, 2*h - 8 = 0. Solve x - 16 = -v*l for l.
5
Suppose -1975 = 6*b - b. Let p be b/(-20) + (-3)/(-12). Suppose -2*a + 7 + 21 = -o, -5*o = -p. Solve -4*d - a = -0 for d.
-4
Let x(j) be the second derivative of j**3/6 - 6*j**2 + 9*j. Let y be x(12). Solve t = -y*t - 1 for t.
-1
Let m be ((-8)/4)/(32/(-144)). Solve -8*r - 25 + m = 0 for r.
-2
Suppose 0 = -4*v + 19 + 5. Suppose 0 = -4*x - 5 + 45. Let k be (x/(-4))/(50/(-40)). Solve -u - v = k*u for u.
-2
Suppose 0 = 4*u - 2*u. Suppose u = 10*g - 2*g. Solve q - 3*q + 4 = g for q.
2
Let k be (-85)/(-119) - (-23)/7. Let w(g) = g**3 - 3*g**2 - 5*g + 4. Let b be w(4). Solve b = -4*i + 24 - k for i.
5
Suppose 0 = 4*n + 2*j + 30, -3 = -2*n - 5*j + 2. Let r be n*3/(-5 - 1). Solve r*o + 6 = 3*o for o.
-3
Let t = -1654 + 1677. Solve -20*l = -t*l - 12 for l.
-4
Suppose -182*o + 173*o + 18 = 0. Solve o*m - 5 = -3*m for m.
1
Let j = -1080 - -1089. Solve j*n - 9 = 6*n for n.
3
Let z = 15 - 13. Let n(r) = -r**3 + r**2 + 3*r - 2. Let v be n(z). Suppose 3*m = -5*a + 49, 1 = 2*a - 5*m - v. Solve -6*y = -2*y + a for y.
-2
Let n = -11 - -11. Solve -5*i = -n*i - 15 for i.
3
Let k be (-8 + 3)*(-12)/10. Solve -6*b + k = -6 for b.
2
Let l(y) = -2*y**3 + 122*y**2 - 64*y**2 + y - 57*y**2. Let w be l(1). Solve w = -3*g - g - 12 for g.
-3
Suppose -4*x + 16 = 0, 4*k = -2*x - x + 36. Let l(i) = 4*i**3 + 2*i**2 + 2*i + 1. Let s be l(-1). Let n = 1 - s. Solve -n*m + k + 2 = 0 for m.
2
Let q(n) = -n**2 - 4*n + 1. Let d be q(-2). Suppose -c + 12 = -5*f, d*f = -c - 4*c. Solve -c = -0*j + 2*j for j.
-1
Let v(z) = -z**2 + 6*z + 1. Let i(c) = -c**2 + c. Let p(q) = 5*i(q) - v(q). Let n be p(-1). Let b = n + 8. Solve 7 = -b*o - 5 for o.
-3
Suppose 10*o - 3*k + 52 = 14*o, -3*o = 5*k - 39. Solve m + o*m = -42 for m.
-3
Let b = 27 - 14. Let l(g) = 0*g**3 + 7*g - b - g**3 + 5 - 7*g**2. Let w be l(-8). Solve n + 4*n + 25 = w for n.
-5
Let h = -168 + 168. Suppose 0 = g - 5*g + 20. Suppose 9 = 5*r - 8*r - 3*w, -2*r - 21 = g*w. Solve r*q = -h*q for q.
0
Suppose 2*u + 10 = 4*z - 2, -2*u - 5*z = -15. Let f = 13 + -11. Solve 0 = 2*x - u + f for x.
-1
Let p(r) = r**2 + r - 23. Let m be p(0). Let k = m + 30. Solve k = 2*d - 1 for d.
4
Let w(r) = 4*r**2 - 3*r - 2. Let v be w(-2). Let c = -58 - -66. Suppose 4*g - x = 18, 3*g + x + 23 = c*g. Solve 0*q = g*q - v for q.
4
Suppose -4*c = 5*w - 2*w - 35, 5*w - c - 20 = 0. Suppose -6 = -w*r - 6. Solve r = i - 1 + 2 for i.
-1
Let l be 40/5 + -3 + (-2)/2. Let a be (12/(-14))/(l/(-56)). Solve -w - 3*w = -a for w.
3
Let f = -2 - -7. Let n(j) = -j**2 - 15*j - 33. Let t be n(-9). Suppose -15 = -r - 4*l, f*r - 2*l + t = 52. Solve 0 = -3*w - 8 - r for w.
-5
Let o(u) = 27*u + 156. Let t be o(-3). Solve 7*m - t = -47 for m.
4
Suppose z + 992 = 33*z. Solve -4*s = 43 - z for s.
-3
Suppose s + 5*m + 8 = 1, -2*m = 0. Let l(p) = 2*p + 14. Let y be l(s). Solve 0*x + 2*x = y for x.
0
Suppose 0 = m + 2*m - 36. Suppose o = q + 2*q + 8, -2*o - 4*q = 24. Let x be (0 + 3)*o/(-4). Solve n = -x*n - m for n.
-3
Suppose -i + 2 = 14. Let r(c) = c**3 + 13*c**2 + 12*c + 10. Let o be r(i). Let x = o + -5. Solve -f + 0*f = -x for f.
5
Let v = -3 - -3. Let i = 699 - 693. Solve v = -n - 2*n - i for n.
-2
Let b = 19 + -16. Let t be (112/(-12))/((-2)/b). Let i be (-2)/((t/(-12))/7). Solve a = 4*a + i for a.
-4
Suppose 4*f + 4*l - 3 = -7, -8 = 2*f + 4*l. Suppose -10*p = -8*p - 24. Suppose -5*w + p = -63. Solve c = -f*c - w for c.
-5
Suppose 0 = -n - l - 59, 2*n - 3*l + 177 = -n. Let t = 60 + n. Solve -5 - t = -3*o for o.
2
Suppose 3*j = 4*m + 89, 2*m - 7*m - 120 = -4*j. Solve -6*x = x + j for x.
-5
Let i(y) = 5*y + 44. Let w be i(-6). Solve -h = -w + 9 for h.
5
Suppose -2*l = -b - 4, 5*b + 4*l - 36 = -0*l. Suppose 0*h + b*h = 16. Let j(g) = -g**2 + 4*g + 1. Let k be j(3). Solve 0*r - k*r = h for r.
-1
Suppose 3*l = -4*d, -3*d = -5*l - 6*d. Solve 0 = f - l*f - 5 for f.
5
Let l(j) = 5*j - 12. Let q be l(-6). Let k = 53 + q. Solve 0 = 2*m + 1 - k for m.
5
Let k(s) = -2*s - 2. Let p be k(-4). Suppose 70 = -c + p*c. Suppose -c = -3*v + 3*g + 31, g = 0. Solve -5*h = -2*h + v for h.
-5
Suppose m = d - 6, -2*d - 3*d + m = -26. Solve d*l - 19 - 1 = 0 for l.
4
Let o = 30 + -28. Let c be 10/((-1 + 3)/(2/o)). Solve c*t - 3 - 2 = 0 for t.
1
Let y = -7 + 19. Suppose y = 7*x - 4*x. Let s be 64/(-2)*(-2)/x. Solve 0 = -5*u + s - 1 for u.
3
Suppose -4*l - 5*p + 19 = -6, -2*l - 3*p + 15 = 0. Suppose l = 4*z - 1 - 3. Let s(r) = 11*r - 1. Let v be s(z). Solve -4*w + 2 = v for w.
-2
Let g be (13 - 53)/(1 - 3). Let b be ((g/6)/2)/((-2)/(-18)). Solve -b = 3*w + 2*w for w.
-3
Let x = 191 + -176. Solve -o + 4*o - x = 0 for o.
5
Let q be (-6)/((10/200)/((-3)/18)). Solve 17 = -q*y + 3*y for y.
-1
Let f = -241 - -245. Solve -f*q = q for q.
0
Suppose -21 = 14*g - 21. Solve 4*k + 1 - 5 = g for k.
1
Let o be -2 - (2 - (4 - -2)). Suppose -w = -3*w - 4*z + o, -4*z = 16. Solve 4*c = w*c for c.
0
Let i be -18 + 1888/104 + (-776)/(-26). Solve 3*s - i = 18*s for s.
-2
Suppose -3*s - 6 = 108. Let h = 38 + s. Let n = -2 + 11. Solve h = -2*l - l - n for l.
-3
Let y = -37 + 12. Let q = -484 - -529. Let h = y + q. Solve -3*p - h = -5 for p.
-5
Let o = -731 - -734. Solve 0*h - h = o for h.
-3
Let w(k) = -k**2 + 6*k - 1. Let t be w(4). Let f(x) = 3*x + 4. Let v be f(t). Solve -4*g - 5 = -v for g.
5
Suppose -13 = -2*z + j, 0 = -0*z + z + 4*j - 29. Suppose w = -2*q + 8, -2*w + 4*q = z - 1. Suppose -4*s = -3*s - 1. Solve -o + s = w for o.
-1
Suppose -4*z - 25 = -3*o, 3*o - 4*z + 6*z - 1 = 0. Let u be 6/10 - 6/10. Suppose w - o + 0 = u. Solve w*x = -x for x.
0
Suppose -2*a + a + 4*m = -4, 2*a + 4*m + 4 = 0. Let w be ((-6)/2)/((-9)/27). Suppose a*x + w = -2*j - 3*x, -2*j + 5*x = -15. Solve j*u = u for u.
0
Suppose 3*y - 25*c + 23*c - 427 = 0, 146 = y + 3*c. Solve 139 = -2*j + y for j.
2
Suppose -3*r - 10 = -5*b + 7, 5*r = -b + 9. Solve -r = y + 2 for y.
-3
Let f = 935 - 878. Solve 0 = -62*a + f*a + 20 for a.
4
Let d = -51 - -34. Let c = 28 + d. Solve 3*a + c = 2 for a.
-3
Let y be ((-1)/2)/(9 - 73/8). Solve -y*n = -2*n - 2 for n.
1
Suppose -5*a + 3*q + 2*q + 85 = 0, a - 37 = 5*q. Solve 5*r - r = a for r.
3
Let z(o) = 2*o**2 - 3*o + 2. Let a = -11 - -13. Let m be z(a). Suppose m*g + 4*t + 5 = -3, 3*t = 2*g - 11. Solve -2 = -b - g for b.
1
Suppose -d = -5*x - 406, 3*x - 4*d = d - 248. Let n = 89 + x. Solve 2*p + n - 4 = 0 for p.
-2
Let o = 179 - 144. Solve -5*c - o + 10 = 0 for c.
-5
Suppose 0 = 4*h - 5*m - 201, -4*h + 4*m = 65 - 261. Solve h = -5*p + 44 for p.
0
Let b(x) = -x - 1. Let m be b(-6). Suppose 30 = 5*k - m*f, -12 = 2*k + 4*f - 0*f. Solve 15 = -q - k*q for q.
-5
Let o(h) = 6*h + 44. Let q be o(-6). Suppose v = 3*n - v + 34, -2*n - 5*v = -9. Let p = n - -33. Solve -q*m + 3*m + p = 0 for m.
5
Suppose 22 = 4*y - 22. Suppose -142 = -y*s - 21. Solve -