 for x.
-3
Let i = 241 - 241. Solve i = 3*c + 4 + 11 for c.
-5
Let q = 121 + -120. Solve x - 5 = -q for x.
4
Suppose b - 36 = -3*b. Suppose f - 18 = -19, -6 = -3*j - 3*f. Solve 3*v = b - j for v.
2
Let g(k) = 5*k - 51. Suppose 10 = 3*f - 23. Let x be g(f). Solve -x*b - 5 = 11 for b.
-4
Suppose 17*j - 21*j = 5*d - 48, -4*j + 4*d = -12. Suppose -3 = h - 2*h. Solve -h*f + j = 22 for f.
-5
Let s = -7 - -9. Let w be (-8 - -7) + 6/s. Suppose -w*t - 3*t = -25. Solve -f + t*f + 12 = 0 for f.
-3
Let w(q) = 8*q**2 - 35*q - 16. Let r be w(5). Solve -6*g + r*g = -3 for g.
-1
Let l(o) = -o + 22. Let p(v) = v**2 - 3*v + 1. Let n be p(-3). Let f be l(n). Let d be (-4 + f)/((-1)/6). Solve d*m = m for m.
0
Suppose -5*o - 14 = m, 4*m = 20*o - 15*o + 44. Let r(g) = g**2 - 6*g - 3. Let z be r(7). Solve -4 = -m*s + z*s for s.
2
Let c = -685 + 685. Solve -l - l + 4 = c for l.
2
Suppose -19*g + 14*g + 5*n = 0, 0 = g + 3*n. Solve g = -5*c + 8*c for c.
0
Let l = -148 + 167. Suppose -9*d - 1 + l = 0. Solve d = -2*f + 4 for f.
1
Let a = 8 + -3. Let w(t) = -5*t - 3*t - 9 + 0*t + 3*t. Let m be w(-7). Solve -6 + m = a*n for n.
4
Let b(h) = 19*h - 11. Let o be b(6). Solve 98*y = o*y - 15 for y.
3
Suppose -5*a + 675 = 5*r, -3*a + 4*r + 380 = 2*r. Let n be 890/a + (-4)/(-26). Suppose -4*k - 10 = -n*k + l, 0 = k + 5*l + 2. Solve -k - 2 = 5*g for g.
-1
Let t(a) = -25*a + 4. Let l be t(-1). Suppose -8*z = -l - 27. Solve -5*p - 13 = z for p.
-4
Let n be 6/10*(-50)/70*-7. Let r = -2 - -4. Solve -n = r*y - 13 for y.
5
Suppose 3*x + 73 = -218. Let c be 26/143 + x/(-11). Let i = c + -2. Solve -3*y - 16 = -i*y for y.
4
Let l(q) = -q**3 + 34 - 9*q**2 + 1756*q - 1737*q - 7*q**2. Let s be l(-17). Solve b + s*b = -1 for b.
-1
Let f be (-13)/(-3) - (-2)/(-6). Suppose -29*l + 164 = 12*l. Solve -f - l = 4*w for w.
-2
Suppose 80 = 6*b + 68. Solve -d = d + b for d.
-1
Let b be 144/84*(-28)/(-6). Solve b = -5*t + t for t.
-2
Let m(o) = -o**2 + 54*o - 650. Let n be m(30). Solve 14*s + 0*s = n for s.
5
Suppose 3*u + 3*c = 0, -3*u + 2 = -c + 6. Let y = 5 + u. Suppose 16 = -4*i - 7*h + 3*h, 2*h + 8 = y*i. Solve -q + 4*q = i for q.
0
Let o(t) = t**3 + 2*t**2 - 7*t + 3. Let c be o(0). Solve -c = 7*i - 17 for i.
2
Let h = -689 + 690. Solve 14*s + h + 27 = 0 for s.
-2
Suppose -w + 77 = 3*a - 6*w, -2*a - 2*w + 30 = 0. Let s = -14 + a. Solve 0*i - 5 = -s*i for i.
1
Let i = 40 - 25. Let m be (-6)/(-2) - (4 + -7 + 3). Let x = 5 + -5. Solve x = -0*u - m*u - i for u.
-5
Let i = 14 - 88. Let o be i/(-10) + 12/(-30). Suppose 20 = -o*h + 8*h. Solve -2*z + h = 3*z for z.
4
Suppose -22 = 9*j - 11*j - 3*r, r = 4. Let p be (2 - 1*4) + 2. Solve z + p*z - j = 0 for z.
5
Let m = 36 - 18. Suppose 4*h = 6 + m. Suppose -h*b = -5*b - 11. Solve -b = -4*t - 3 for t.
2
Suppose 5*o = -4*y + 35, 0 = 3*o - 0*y - 5*y - 58. Suppose 0 = -o*s + 8*s + 18. Solve s*c = 2*c for c.
0
Let p be 4160/680 - 2/17. Solve p*u + 20 = 2*u for u.
-5
Let u = -2375 - -2409. Solve u = 7*p + 27 for p.
1
Suppose 11*n = 6*n. Suppose a + 1 - 3 = 0. Suppose -4*h = -a*v - n*h + 14, -2*h + 11 = 5*v. Solve -v*z + 2*z + 5 = 0 for z.
5
Let o = -42 - -45. Suppose 4*l = 4*t + 2*l - 2, -4*l = -o*t - 6. Solve 1 = -3*k - t for k.
-1
Suppose 4*v + 0*v - 20 = -2*x, 0 = -5*x - 3*v + 22. Solve -x*t + 5*t = -3 for t.
-1
Suppose -14*r + 80 = 6*r. Solve 0 = -8*w + r*w + 2*w for w.
0
Let d = -21 - -32. Suppose 4*w - d - 9 = 0. Suppose -w*s + 20 = 2*u, -4*s + 4*u + 4 = -12. Solve 2*v = s*v for v.
0
Let d = 16 + -13. Suppose d*h + 2*h + 19 = -2*j, 5*j - 40 = 5*h. Solve j*i - 18 = -6 for i.
4
Let i(o) = o - 5. Let m be i(7). Suppose -3*y - 5 = -4*a, -m*a = -3*y - 7 + 6. Solve a*j = 3 + 5 for j.
4
Suppose -12*h + 17 = 5. Let u be h - 4*(44/(-16) + 3). Solve u = o + 3 for o.
-3
Suppose 22 = -38*m + 40*m. Solve -25 = -14*x - m for x.
1
Let t = -447 + 457. Solve 5 = -t*u - 5 for u.
-1
Suppose 2160*a = 2155*a + 110. Solve a*c = 21*c - 4 for c.
-4
Let r be (-6)/((-2 + 5)/(-3)). Let i be (-2 - -4) + 4/(-2). Solve -p - p - r = i for p.
-3
Suppose 15*v - 4*v - 11 = 0. Solve 6*l - v = 17 for l.
3
Let j = -160 - -171. Solve 10 = 13*o - j*o for o.
5
Suppose -266 = 78*j - 85*j. Solve j - 34 = h for h.
4
Let a = -23 - -27. Suppose 0*o + 3*o = a*o. Solve 2*f = -o*f for f.
0
Let v = -35 + 36. Let m be (-3)/6 + v/2. Solve m*c = 5*c - 15 for c.
3
Let n(p) = -p**3 - 3*p**2 - 2. Let t be n(-3). Let u = 3 - t. Solve -3*z - u = -8*z for z.
1
Let o(v) = -13*v + 14*v - 5 + 19. Let k be o(-5). Let c = 13 - k. Solve -c*h = -11 - 1 for h.
3
Suppose -8*z + 4*z = -4. Let s = 23 + -10. Let l = s + -6. Solve 0 = -3*i + z - l for i.
-2
Let c(x) = -x**3 + 8*x**2 - 2*x + 20. Let s be c(8). Suppose 27 - 47 = -s*h. Solve -20 = k - h*k for k.
5
Let b(g) = 4*g - 14. Let w = -31 + 30. Let c(s) = -4*s + 1. Let t be c(w). Let m be b(t). Solve m*n - 25 = n for n.
5
Suppose -2*d - d = 5*n - 24, 3*d - 12 = -3*n. Solve n = -2*s - 0*s for s.
-3
Let a = -17 + 32. Solve a = -5*n + 2*n for n.
-5
Suppose -4*d + b = -25, 2*d - 3*b + 17 = 32. Solve -6 = d*w - 0 for w.
-1
Let s(u) = 3*u - 1. Let t be s(-1). Let h(g) = 9*g + 1. Let l be h(1). Let r = t + l. Solve 0 = -4*q + 6*q + r for q.
-3
Suppose 0 = 56*y - 111*y + 990. Solve -y*h - 24 = 12 for h.
-2
Let b be 0/(4/(-1 + -1)). Suppose b = 3*g - 6. Solve g*q = -3*q + 20 for q.
4
Let u = -1164 + 1185. Solve 15*y + 96 = u for y.
-5
Suppose r - 7 = -l - 2, -4*l = -3*r + 8. Let z be (-1 + r - 3)/3. Solve -5*v - 25 = -z for v.
-5
Let h be (-12)/(-7) + 52/182. Solve -h*y + 22 = 14 for y.
4
Suppose -s = 4*s - 25. Let k(x) = x**3 + 4*x**2 - 5*x + 2. Let g be k(-5). Solve h + g = s for h.
3
Let v(s) = -7*s + 82. Let q be v(10). Let z(k) = k**2 + 10*k + 6. Let y be z(-10). Suppose -y*l = -3*l - 12. Solve 0*u - q = -l*u for u.
3
Suppose -11 = -j - 5*x, -4*x + 0 = j - 9. Let w(r) = r**2 - 22*r - 102. Let b be w(-4). Solve -v = b + j for v.
-3
Let r = -12 + 15. Suppose w = -2*h + 11, h - 3*h + r*w = -7. Suppose -2*m = -4*m - 2*d + 18, -h*m + 39 = 2*d. Solve 5*q + m + 18 = 0 for q.
-5
Suppose -9 = -3*k + 2*h + 51, 5*k = h + 107. Suppose 0*t = 4*t + 2*x - k, 5*t = -x + 23. Solve t*q + 16 = -0*q for q.
-4
Let b(h) = 2*h**2 + 65*h - 216. Let n be b(-36). Solve 10*d + 2*d = n for d.
3
Suppose 10*u = 414 - 54. Solve 3*b - 33 = -u for b.
-1
Let h = 2307 + -2300. Solve 1 = -h*k + 15 for k.
2
Let o be 2/6 + (-5)/15. Let u be (-13)/(-1)*1 - (2 + -2). Suppose 15 = 5*l, 8 = 2*n - 3*l + u. Solve o*f = n*f - 2 for f.
1
Let p(j) = 2*j + 1. Let z be p(2). Let n = 6 - z. Let g be (n/2)/(2/4). Solve g - 5 = l for l.
-4
Suppose 0 = -14*g + 73 + 137. Solve 2*j = -j + g for j.
5
Let k be (2 + 5)/((-6)/(-3))*-8. Let t = k - -36. Solve 5*i = t*i + 9 for i.
-3
Let f(b) = 3*b**2 + 47*b + 35. Let o be f(-15). Solve o*q = 24 - 4 for q.
4
Let m be (-2)/4 - 69/6. Let c = 15 + m. Let n be (-12)/10*(-20)/c. Solve n = 2*r - 0*r for r.
4
Let y = -765 - -1010. Solve 0 = -y*r + 241*r - 4 for r.
-1
Suppose -2*r - 6*r + 24 = 0. Suppose -r*h - 3*p + 12 = 0, 5*p = -h + 7 - 3. Suppose -2*q + h = -0*q. Solve 4*l - q = 5*l for l.
-2
Suppose 2*v - 4*s - 24 = -2, v - 4*s = 7. Suppose -2*d + 3*q = -9, -d + 5*d = 5*q + v. Solve 3*z + d = 6 for z.
2
Suppose 0 = 13*m - 158 + 54. Solve m = -17*p - 26 for p.
-2
Let k be 6/((-1141)/(-560)*4 - 8). Solve 0 = -6*m + 22 - k for m.
-3
Suppose -x + 5*r = -12, x - r + 0*r - 12 = 0. Suppose -2*y = -3*a - 1, 2 - x = -2*a. Suppose d = -4*v + y, 2*v + 3*v - d = 1. Solve 2*t - 9 = v for t.
5
Let l = 1035 + -1034. Solve -l = 3*y + 2 for y.
-1
Suppose 0 = -281*h + 284*h - 9. Solve 0 = 17*a - 18*a + h for a.
3
Let u = -9 + 13. Suppose 39 = 3*d + i, i = -u*d + 54 - 3. Solve -6*g = -2*g - d for g.
3
Suppose 3*q - 2*q = 0. Suppose 3*z + 4*i = q, -7 - 6 = -4*z - i. Suppose z*m = -m. Solve m*k - 9 = -3*k for k.
3
Let h(o) = -o**3 - 2*o**2 - 5*o - 1. Let f be h(-3). Solve f - 17 = 3*j for j.
2
Let x(o) = -o**3 - 24*o**2 - 21*o + 50. Let h be x(-23). Solve -c + 5 = h*c for c.
1
Let p(t) = t**2 - 8*t. Let j be p(8). Let v be (j + (-4)/(-8))*8. Solve 0 = v*c + 8 - 0 for c.
-2
Let n(z) = 0*z**3 - 21*z + 3*z**2 + 17*z + 3 + z**3. Let x be (-18)/5 - 2/5. Let l be n(x). Solve 0 = -d - 0 + l for d.
3
Suppose 0 = -0*b - 2*b + 2*x + 12, 0 = -4*b - x + 49. Suppose 0 = -3*h + b - 5. Solve 6 = -4*m - h for m.
-2
Let q