8 + 7 for s.
-5
Suppose 15 = 2*j - 7. Let c be (2/6)/(j/33). Solve -5 = -2*a + c for a.
3
Suppose 0 = -5*i + 2*h + 32, -4*i + 24 = h + 1. Suppose 6*y + i*y = 10*y. Solve 2 = -y*c - c for c.
-2
Let p = -1 - -3. Suppose -5*u + 18 = -p*u. Suppose -v = -u*v + 20. Solve -v*y = -1 + 5 for y.
-1
Let o be (-810)/51 - -18 - (-2)/(-17). Suppose 0 = -2*k - 1 + 15. Solve k = 3*q - o for q.
3
Let x be 6*12/(-72)*-3. Suppose -2*j + 4*t = 2*j - 12, 3*j - 4*t - 12 = 0. Solve j = -s + 8 - x for s.
5
Let x(v) = 3*v**2 - 10*v - 8. Let m be x(5). Suppose 2*r = y + m, 5*r = y - 6*y + 5. Solve -3*d = -r*d for d.
0
Suppose -59 = -13*i + 6. Solve i*q = -4 + 4 for q.
0
Let q be ((-42)/(-12))/(2/(-4)). Let i(t) = t + 7. Let v be i(q). Let a be 16 + 0 - 8/(-2). Solve v = 4*u + u + a for u.
-4
Let j(y) = y**3 + 10*y**2 + 8*y - 9. Let b be j(-9). Let x be (b - 3) + -22 + 10. Let q be 1 - (x - (-3 + -1)). Solve -i + q = -4*i for i.
-4
Let u(d) = -18*d + 272. Let h be u(15). Solve 4 = h*p - 2 for p.
3
Let a be (-15)/30 + 3/(6/(-311)). Let p be (a/(-42) + 2/7)/2. Solve r = p*r - 4 for r.
4
Let h(z) = -z + 28. Let k be h(-3). Solve 0 = -5*u + k - 56 for u.
-5
Let s(j) = 6*j**2 + 9*j - 2. Let u be s(-2). Let k = -13 + 21. Suppose -2*p = -3*n - 10, k = -p - 0*p - 5*n. Solve 0 = -u*f + p*f - 4 for f.
-2
Let m(b) = b**3 + 5*b**2 - 3*b + 4. Let c be m(-5). Suppose c = 3*j + 2*x, -j + 6*j - 10 = x. Solve -2 + j = -f for f.
-1
Let o = -2 - -4. Suppose o*b = b + 4. Suppose 2*d = -2*d + 20. Solve -d*l + b = -l for l.
1
Let j be 4*15*(-3)/(-9). Suppose 0*l - j = -l. Suppose -y + l = 5*c, 4*y + 12 = 4*c - 4. Solve -4 = -4*d + c for d.
2
Let x = -167 + 186. Solve 22 = -3*o + x for o.
-1
Suppose -28 = a + 1. Let x = -21 - a. Solve -x - 12 = 4*c for c.
-5
Suppose 0 = -i + 23 - 5. Suppose -12 = -4*c - 4*g + 12, 0 = -2*c - 5*g + i. Let v(u) = -u**2 - 8*u. Let d be v(-6). Solve -q + d = -c*q for q.
-4
Let n(a) = -a**2 + 4*a - 1. Let k be n(2). Let d be 5 - 1 - (k + 1). Suppose d = -2*r + 4, 0 = -c - 5*r + r + 8. Solve c*h + h = 0 for h.
0
Suppose 3*v + 4 = -2*w, -4*w - 34 = -5*v - 4. Solve v - 12 = 5*g for g.
-2
Suppose 3*w = -3*u + 744, 0 = -2*w + u + 269 + 236. Solve -5*j - w = -271 for j.
4
Let d(a) = a**3 + 7*a**2 + 7*a - 5. Let p be d(-6). Let l = -26 - -17. Let v = l - p. Solve w = v*w - 3 for w.
3
Let h be 24/(-1)*22/(-66). Let d = 30 - 18. Let v = d - h. Solve -29 = -v*s - 9 for s.
5
Let x(q) = -q**3 + 21*q**2 + q - 19. Let z = 21 + 0. Let b be x(z). Solve b*n + n + 9 = 0 for n.
-3
Let l(r) = -33*r + 210. Let v be l(6). Solve -v*b = -8*b - 12 for b.
3
Suppose 5*h + 13 = 4*x - 0*h, -2*x - 4*h + 26 = 0. Solve 11*b - x*b = 0 for b.
0
Let t be ((-3)/(30/335))/((-2)/4). Suppose -3*r = 58 - t. Solve 5*a + 2 = -r for a.
-1
Let i be 2/(2 + (-12)/3). Let q be 1 - (2 + -4 - i). Solve q = -2*l + 4 for l.
1
Let x be -4*1*(-72)/32. Solve 0 = -4*n - 3 - x for n.
-3
Let f(k) = -4*k - 14. Let n be f(-5). Suppose -n*w + 2*w = -12. Solve -5*m = -w*m for m.
0
Suppose 24*t - 994 = 1166. Solve -w = t - 86 for w.
-4
Let c(w) = 3 + 4*w - 7*w - 19. Let p be c(-6). Solve -p*f - 3 = -f for f.
-3
Let n(c) = 16*c + 2. Let r be n(1). Let o(m) = -m**2 + 19*m - 12. Let z be o(r). Solve 2*v + 0 = z for v.
3
Suppose -10 - 205 = -43*p. Solve 0 = 6*m + p*m for m.
0
Suppose -7*m + 77 + 98 = 0. Suppose 2*x + 1 = -5*n + m, 4 = n. Suppose -x*o - 3*o = -25. Solve -o*l - 14 - 6 = 0 for l.
-4
Let i be (-2 + (3 - 3))/(2/(-4)). Suppose -17 - 3 = -i*m. Solve -f + 0 = -m for f.
5
Suppose -43 = 21*s + 83. Let g(w) = 3*w - w - 23 + w**2 + 5. Let r be g(s). Solve -3*b + b = r for b.
-3
Let p(k) = -k**3 - 6*k**2 + 3*k. Suppose -3*o + 2*r = -2*r - 2, -2*r - 34 = 4*o. Let w be p(o). Let d be ((-2)/3)/(w/54). Solve g - 1 = d*g for g.
-1
Suppose -8 = -4*y - 2*j, -4*y + 5*j - 27 = -7. Let n be -4*1 - (-6 + -2). Solve n + y = 4*m for m.
1
Let s be (-1 + 64)*-1*6/(-18). Suppose -23*y = -s*y. Suppose 0 = -2*n - 6, -3*t - 2*t + 56 = -2*n. Solve y*u = 2*u + t for u.
-5
Suppose 60*s - 3 = 57*s. Let n be 8/(-10) - (-196)/70. Solve -n*y - 5 = s for y.
-3
Suppose -h + 4*d = -12, 28 = h + 4*h - 4*d. Solve -5*f = h*f - 3*f for f.
0
Suppose -4*d - 16 = 0, -2*y + 4*d + 40 = 14. Suppose 2*v = 5*k, -y*k + 15 - 5 = 0. Let x be (-45)/(-6) - v/(-10). Solve 3*q - q + x = 0 for q.
-4
Suppose 4*z + 5*v - 119 = 0, 2*z - 5*v - 10 = 57. Solve -z = 8*k + 9 for k.
-5
Let d(r) be the first derivative of r**2 - 17*r + 25. Let k be d(10). Solve -2 = -k*s - 5 for s.
-1
Suppose -5*i + 14 = -5*q - 11, 2*q = -2*i - 2. Suppose 33 = 3*b + 3*t, -3*b - 4*t + 30 = -i*t. Solve 0 = -b*g + 5*g for g.
0
Suppose -4*j = 2*f - 8, -5*f + 22 = 3*j + 2. Solve j = 8*q - 3*q - 15 for q.
3
Let x(j) = -j**3 + 10*j**2 - 14*j + 11. Let f be x(9). Let q = -24 - f. Let d = 12 - q. Solve -d*l + 1 = 7 for l.
-3
Let u(a) = a**2 - 5*a + 4. Let p be u(3). Let c be (-4 - 10/p)*11. Solve 4*q - c - 5 = 0 for q.
4
Suppose 0 = c + 2*m, -5*c + 14 = 4*m - 16. Solve 5*b + 15 = -c for b.
-5
Suppose 0*s - 3*s = -144. Let h = s + -8. Suppose -5 = 4*o - 5*p, -3*p + h = 5*o - 0*p. Solve j + 0 + o = 0 for j.
-5
Suppose 2*n - 508 = -3*w, 6*w - 5*n = 2*w + 685. Let d be 1/10 - 17/w. Solve -2*m - 3*m - 15 = d for m.
-3
Let y = -1115 - -1115. Solve -11*r + 3*r - 32 = y for r.
-4
Suppose 0 = 3*d - 4*z - 0*z - 37, d - 15 = 2*z. Suppose -h - 2*l + d = 0, -6*h + h - 5*l = -25. Suppose -h*u = -u. Solve u = -4*s + 4 for s.
1
Let c be (-1)/(-4) + -1 + 77/28. Solve c*z = 6 - 2 for z.
2
Suppose 0 = -9*n + 22*n - 26. Suppose -n*c = -f + 4*f, -5*f - c = 0. Solve -o + 3 - 4 = f for o.
-1
Let s = -190 + 195. Solve -6*a - 17 = -s for a.
-2
Let a(z) = -z - 1. Let w be a(-1). Solve w = -12*m + 7*m - 10 for m.
-2
Let w = -118 - -120. Solve 0 = -4*o - 14 - w for o.
-4
Suppose 0*t = -5*t. Suppose t = g + g - 4. Suppose y - 18 = -5*u, 2*u + 6*y + 2 = y. Solve g*x - u = -0 for x.
2
Suppose -18 = -3*x + 24. Suppose 0*r = 2*r + 12. Let f = r + x. Solve -k - f + 5 = 0 for k.
-3
Let s(p) = p**3 + 17*p**2 - 17*p + 18. Let h = -77 - -59. Let u be s(h). Solve -3*t - 2*t = u for t.
0
Suppose 0 = 5*z + 5*k + 355, -5*z = -4*z - 3*k + 71. Let m = z - -74. Solve m = 2*f + 1 for f.
1
Let n = -108 + 115. Let q be n/(-35) - ((-63)/(-15))/(-1). Solve 2*k = k + q for k.
4
Let g(w) = 2*w**3 - 14*w**2 + 17*w - 19. Let n be g(6). Solve -31 + n = 4*l for l.
-5
Suppose 0 = 34*n - 124 - 318. Solve 5*k - n = 2 for k.
3
Let d be 2/(2/10*2). Suppose y + 4*h + 8 = 0, 0 = -4*y - d*h - 6 - 4. Let m = 29 + -24. Solve -m*j + y*j - 25 = 0 for j.
-5
Let f = 883 - 792. Solve -92*r + 5 = -f*r for r.
5
Suppose 0 = -2*g + 3*f + 4, 5*f + 12 + 8 = 5*g. Suppose 2*x - g = -4*w, 4 = 2*w - x + 4*x. Let i be (-4)/3*(-357)/68. Solve -w = 3*s + i for s.
-3
Let h = -13 + 14. Suppose 3 = n - h. Suppose w = -4*w + n*z + 32, 0 = -2*w + z + 14. Solve 4*f - w + 28 = 0 for f.
-5
Let c be 0/(-10)*(-2)/(0 + -2). Suppose -2*a + 8 = l, 4*l = -4*a + 2*a + 14. Solve c*i = a*i + 12 for i.
-4
Suppose -b = l - 20, -2*l = -3*b + 34 + 6. Solve -b = 8*u - 0 for u.
-2
Suppose 24*j + 6 = 25*j. Solve -20*y = -j*y for y.
0
Suppose 865*v = 860*v. Solve 4*w - 9*w = v for w.
0
Let p be (-42)/(-12) - (-2)/4. Let u = p + -2. Let n(v) = v**3 - 8*v**2 - 18*v - 10. Let j be n(10). Solve -3*b - j = u*b for b.
-2
Let t = 483 - 444. Solve -6*k - t = -9 for k.
-5
Let g be (6 + -8 + 9/12)/((-1)/4). Let i be 2/(1 - (-10)/(-14)). Solve -g*v = -i + 32 for v.
-5
Let s(n) = -n + 23. Suppose u + 11 = 2*u. Let p be s(u). Solve 0 = -2*z - z + p for z.
4
Let q(z) = z**3 + 3*z**2 - 2. Let r be q(-1). Solve 3*m - 10 + 13 = r for m.
-1
Suppose 0 = 3*y + 3*o - 60, 0 = 5*y - 2*o - o - 100. Solve -5*i - 5 = y for i.
-5
Suppose 0 = 4*w + u + u - 26, w + 5*u = -16. Suppose -w*r = -6*r - 9. Suppose 0 = r*n - 6 - 15. Solve -4*q = -5 - n for q.
3
Let c = 165 + -85. Suppose 56 - 12 = 2*z - 2*y, 4*y = -3*z + c. Let j = z + -20. Solve -j*l + 7*l - 3 = 0 for l.
1
Suppose -p + 40 = 15. Solve 3*a + 2*a - p = 0 for a.
5
Suppose -154*o - 8 = -158*o. Solve o*v + 14 = 8 for v.
-3
Let g(t) = 23*t + 3 - 1 + 0*t**2 - 4 + 3*t**2. Let v be g(-8). Solve 2*w = 4 - v for w.
-1
Let g(n) = 7*n - 1. Let r be g(1). Suppose -10 = -3*t - 2*t. Solve t*b - r + 10 = 0 for b.
-2
Suppose -r = x - 0*r, -x + 6 = -r. Suppose m - 4*s - 16 + x = 0, m + 4*s = 5. Sol