t w = 3 - 2. Let q = 3 - w. Let c = 665 + -665. Solve q*s - 8 + 0 = c for s.
4
Let h(a) = a**2 + 7*a + 5. Suppose -4*n = -5*u - 27, -u - u - 12 = -2*n. Suppose -n = 2*y + 11. Let g be h(y). Solve g*x - x = 8 for x.
2
Suppose -5*b = -540 + 95. Solve -b = 4*u - 97 for u.
2
Let t be (8/5)/((-14)/35). Let j be t/3*(-3)/2. Solve -2*y + j = -6 for y.
4
Let n = -1391 + 1411. Solve -2*l - 2*l = n for l.
-5
Let m = -31 - -38. Let s be 21/7 + m/1. Solve 5*j = -15 - s for j.
-5
Suppose 11*i = -3*i + 56. Solve -7*t + 3 = -i for t.
1
Let s(y) = y**2 - 2*y - 1. Let l be s(3). Suppose -2*w + 16 = l*w. Suppose 5*u = w*u. Solve u*g = -3*g - 12 for g.
-4
Let d(y) = y**3 + 6*y**2 + 17. Let x be d(-7). Let u be 3*(-1 + x/(-12)) + -3. Solve u*f + 3 = 3*f for f.
3
Let y = 63 - 60. Solve y*p - 7*p + 16 = 0 for p.
4
Let d(u) = -u**2 + 7. Let q(l) = l**3 + 3*l**2 + l + 3. Let k be q(-3). Let z be d(k). Solve -z*h = -4*h - 9 for h.
3
Suppose -5*f + 3*c + c = -50, c = 5*f - 35. Solve -a = -f*a for a.
0
Suppose -18*y = -17*y + 19. Let i = 19 + y. Solve i = -6*h + h - 25 for h.
-5
Let h = 7 - -16. Suppose -4*s = -3*s + 5*g + 8, 4*g = -5*s + h. Solve -3*i = -s*i - 16 for i.
-4
Suppose q = -5*f - 24, 12*f - 8*f = -20. Solve 6*t = -q + 25 for t.
4
Suppose -2*x - 4*w + 268 = 0, -5*x - 2*w = -5*w - 670. Solve -136*v + 2 = -x*v for v.
1
Let z(u) = 9*u**2 + u - 1. Let a be z(1). Let g be 6/(-2) + (-25)/(-5). Suppose g = h + 2*o, -5*h = -h - o - 8. Solve -h*y - a = -5*y for y.
3
Let z = -55 - -42. Let y be (-2)/(8/z) + 2/(-8). Solve 2 = -y*g - 1 for g.
-1
Let s be (9/(-3))/3*1 + 4. Let o(a) = -a**2 + 13. Let v be o(s). Solve -v*l - 8 = -8*l for l.
2
Let j = -1019 + 1022. Solve -2*o - j = -o for o.
-3
Let l = 9 + -15. Let d be ((-4)/l)/(4/6). Suppose -2*o - 13 = -3*o - z, -2*o = -z - 8. Solve -2*b + d - o = 0 for b.
-3
Let w = 250 - 247. Solve 0 = -7*g + 10 - w for g.
1
Let v be (-9)/2*(3 - 5). Suppose -3*w = -0 - v. Solve w*f = 7*f - 20 for f.
5
Let k be 4 - -2 - (-9 - -14). Solve -a - 2 - k = 0 for a.
-3
Suppose -o + 3*g + 10 = 0, g + 14 = -5*o - 0*g. Let x be o/((-3)/(-6)*-1). Suppose -x*r = r - 10. Solve -3*n + 5*n = -r for n.
-1
Suppose -i = z - 5, 2*z = -5*i + 2*i + 12. Let k(t) = 3*t + 2*t - i*t - 1 + 3. Let p be k(0). Solve p*n - 9 = 5*n for n.
-3
Let m = 2 + 1. Suppose -4*a + 3 = -3*h - a, h + 3 = 3*a. Suppose g = -4*p - 8, g - 3*p - 6 = -2*g. Solve h = -m*o - g*o + 3 for o.
1
Let b = 279 - 263. Solve b = -2*g + 12 for g.
-2
Let r = 178 - 174. Solve r*c - 10 = 10 for c.
5
Let q = -1 - -1. Suppose -u - 4*v = -0*v, 2*u - 5*v = q. Solve u*i + 5 = -i for i.
-5
Suppose 4*c = 5*c + k + 33, 0 = c + 4*k + 33. Let w = -32 - c. Solve 0 = -h - w + 4 for h.
3
Let f = 1185 + -1178. Solve 5*q = -12 + f for q.
-1
Suppose -2*r - 3*z = -6, -22 = r - 3*r + 5*z. Suppose 0 = -w + 7 - r. Solve -s = -0*s - w for s.
1
Let k = 1356 + -1349. Solve k*n + 4 = 11*n for n.
1
Let z be (-11 - -2 - -2)/(-1). Let m(g) = 0 - 6 + g**2 - 7*g + 8. Let v be m(z). Solve 2*w - 3*w = -v for w.
2
Let k(y) = -5*y + 14. Let d be k(4). Let r be 4/d - 33/(-9). Solve -1 = -b + r for b.
4
Suppose 0 = -25*q - 3*q. Solve 4*l + 6 + 14 = q for l.
-5
Let q(l) = 2*l - 18. Let h be q(5). Let z(s) = s**2 + 7*s - 3. Let i be z(h). Solve -i*n - 9 = 6 for n.
-3
Let j(r) = -4*r - 172. Let d be j(-46). Solve -14*x - 8 = -d*x for x.
-4
Let u(a) = -a + 2. Let w be u(1). Solve -2*s - w = -11 for s.
5
Let f be -2 + 4/2 + 13. Let p = -26 + 81. Let y be 2*2*p/44. Solve -y*j + 12 = -f for j.
5
Let y = 4 + -19. Let k = 18 + y. Solve -3 = k*s - 6 for s.
1
Let f(u) = u**3 - 2*u**2 - u + 2. Let r be f(3). Suppose n = r - 1. Let x be (1 + 3)*30/24. Solve -x*k = n + 13 for k.
-4
Suppose -4*j - 6 = -26. Suppose -36 = -w - j*m, 4*w + 0*w = 5*m + 44. Let r = -15 + w. Solve r = -5*i - 24 for i.
-5
Let f = 1224 - 1105. Solve 19 = -25*a + f for a.
4
Let p(b) = -b**2 + 5*b - 12. Let d be p(2). Let q be (1 - -2)*(-16)/d. Solve 0*s = -4*s - q for s.
-2
Let n be (-26)/(-10) - (-4)/10. Suppose 5*y + 7 - 28 = -3*a, 0 = y - 4*a - 18. Suppose -y = -2*p + 12. Solve 0 = n*h - p for h.
3
Let z be ((-10)/15)/(2/36). Let n = -12 - z. Suppose -4*d + o + 21 = n, -3*o = -d - 3*d + 15. Solve v = d*v for v.
0
Let d = 47 - 48. Let b be 13 - (2 + d*(-2)/(-2)). Solve -b = -z + 5*z for z.
-3
Let n be 48/(-18)*(-3)/2. Suppose 5*p = 4*o - 3*o + 18, -5*p + 12 = -n*o. Solve -p*y + 3 = -y for y.
1
Suppose l + 4*y = -4*l + 26, l - 18 = -4*y. Suppose 3*x = -0*x + 12. Suppose l*h - x = h. Solve -z - 2 = -h for z.
2
Suppose 0*o + 56 = 4*g + 5*o, -g + 27 = -2*o. Suppose 5*r - g = 4*s, -3*r + 0*r + 2*s + 11 = 0. Suppose -r*f + 3 = -9. Solve f = -3*j + j for j.
-2
Let o = 107 + -32. Let m = o - 72. Solve 8 = -m*r + 20 for r.
4
Let q be -4*1/(-2)*1. Suppose 2*u = -q*u. Suppose -3*r - 5*i + 9 = 0, 0 = -16*r + 11*r - i + 15. Solve 0*g + r*g - 12 = u for g.
4
Suppose -308 = -18*l + 448. Solve -22*u = -8*u + l for u.
-3
Let m be (-2 - (-29)/3) + (-21)/(-63). Solve m*x + 11 + 13 = 0 for x.
-3
Let d = 212 + -199. Solve -8*k - d = 5*k for k.
-1
Suppose 0 = -3*y - 22 - 44. Let b = -18 - y. Solve 9 = -b*g + 29 for g.
5
Suppose 3*k - s - 7 = 0, -4*k + 9*s - 4*s = -24. Let m be 0/(k*-1 + 1 + 2). Solve 2*q - 2 = -m*q for q.
1
Let c = -237 + 237. Solve -o + c*o = 2 for o.
-2
Suppose -18 = -2*j - 2. Suppose 0 = 2*q - 6*q + j. Solve -2 = l + q for l.
-4
Let o(i) = -11*i - 4. Let a be o(-1). Suppose -5*x - 36 = -11. Let u be (x + 3)/(2/(-3)). Solve -u*w = -a*w + 20 for w.
5
Suppose 2 + 14 = -2*s. Let l = 20 + s. Solve 0*x + l = 4*x for x.
3
Suppose -30*g = -21*g - 72. Solve g = 9*f + 44 for f.
-4
Let h = -9642 - -9666. Let a be ((-3)/2)/(3/(-8)). Solve h = -5*o + a for o.
-4
Suppose -i - 4*i = -4*l + 162, -i - 40 = 3*l. Let n = i - -34. Suppose -3*x + 10 - 1 = n. Solve 1 = x*h - 5 for h.
2
Let j = 356 + -338. Solve 4 + j = -11*a for a.
-2
Let c = 17 + -13. Suppose 21 = 3*w + 3*z, 4*w - c*z = -5*z + 22. Suppose -s = -w*y + 4*y - 7, 4*s + 5*y - 10 = 0. Solve -3*p = 2*p + s for p.
-1
Let i = 43 - 46. Let d be (3 + (-3)/2)/(i/(-6)). Solve 0 = d*s + 2 + 7 for s.
-3
Let m = -83 - -91. Solve -m*p - 1 = -7*p for p.
-1
Let n(m) = m**2 - 3*m - 26. Let w be n(7). Solve w*j = -3 + 11 for j.
4
Suppose l + 2*u + 17 = -2*u, l + 2*u + 11 = 0. Let j = l - -7. Solve j*h = h for h.
0
Suppose 2*c - 2*i = 24, -2*c - 28*i = -33*i - 9. Solve -13*k + c*k = -4 for k.
-1
Let p(a) = -a**3 + 36*a**2 - 96*a - 50. Let j be p(33). Solve 25*o = -j - 51 for o.
-4
Let j be -1 - (-21 + -3 + -1). Let l = j + -20. Let y be 1/(-1) - 0 - -3. Solve -y*t + l = -3*t for t.
-4
Let s = 14 - 10. Suppose 0 = s*a + m - 21, a - 5*m + 13 = -2*a. Suppose 2*o + 0*q = a*q + 8, -34 = -4*o + 2*q. Solve -w - w - o = 0 for w.
-5
Let g be 168/33 + (-3)/33. Solve 5*q = g - 20 for q.
-3
Let x = -22 + 27. Solve -4*f + 1 = -x*f for f.
-1
Suppose 0 = -7*z + 86 - 16. Solve 6*q - 4 = -z for q.
-1
Let j(z) = 9*z + 3. Let a(q) = -7*q - 5. Let c(g) = -4*a(g) - 3*j(g). Suppose 6*b - b = 15, 5*s - b = -43. Let f be c(s). Solve f*x - 4 = -x for x.
1
Let x = 518 - 515. Solve -10 + 4 = x*l for l.
-2
Suppose g - 2*q + 3 = 0, 5*g + 2*q - 22 - 23 = 0. Suppose -20 = -g*h + 3*h. Suppose -2*m + 28 = 4*a - a, 5*a = -h*m + 70. Solve 4*y + m = -6 for y.
-5
Let u(n) = -n**3 + 6*n**2 + 13*n - 22. Let w be u(8). Let d = 51 + w. Solve d*h + 7 - 17 = 0 for h.
2
Let i = -79 - -84. Suppose g + 42 = -0*g. Let c = g - -61. Solve -6 = -i*p + c for p.
5
Let c be (-2)/(-4) - (-2)/4. Let h be 1/c*(-3)/(-1). Suppose 8*g - h*g - 20 = 0. Solve 5 + 3 = g*d for d.
2
Let q = -27 - -30. Suppose -1 = -q*v - 2*p, -4*v + 4 = -p - 1. Solve 4*i + 19 = -v for i.
-5
Let a be -5 + (3 - -4) + 2. Solve -a*w - 8 + 16 = 0 for w.
2
Suppose -5*t + t - 28 = -4*u, 3*u = -5*t - 19. Let a(n) = 3*n**2 - 1. Let y be a(1). Suppose y*f - u = 2. Solve -f*c + 4*c + 6 = 0 for c.
-3
Let o be -2 + 300/21 + 2/(-7). Suppose -12 = -o*r + 9*r. Solve 0*n = r*n - 8 for n.
2
Let d(l) = -2*l**3 + 8*l**2 - 6*l + 4. Let w be d(5). Let j = w + 80. Solve -12*v + 8*v = j for v.
-1
Let s(u) = -4*u + 4. Let a be s(8). Let y be a/(-10) + (-1)/(-5). Suppose 23 = y*q - 13. Solve q = -3*b - b for b.
-3
Let l = 91 + -91. Let z(p) = 4*p**3 - 3*p**2 + 2. Let q be z(2). Solve l = 5*j - 7 + q for j.
-3
Suppose -43*h + 82 = -176. Solve -10*i - 2