 0 = -z for s.
4
Suppose -5*j - 18 = -63. Suppose 0 = 2*r - 3*y + 74 - j, 2*y = 2*r + 64. Let x = -18 - r. Solve 12 = 5*b - x for b.
5
Let f be (-20 - -17)*(-2)/(-2). Let c be (3 - -2)*f/(-5). Solve 8 = -v + c*v for v.
4
Suppose -14 = -a + 4*h, -h = 2*a + 2*a - 56. Let c = 93 - 59. Suppose -c + 23 = -y. Solve a = 5*t - y for t.
5
Let b be (5 + -4)/(2/4). Suppose -62 + 18 = -b*p. Suppose -5*o - 14 = -4*t, 3*t + o - p = -o. Solve r + t - 3 = 0 for r.
-3
Let c = -107 - -128. Suppose 8*x = c*x - 260. Solve 2*g = -3*g + x for g.
4
Let d(n) = -27*n + 193. Let i be d(7). Solve 1 = -l - i for l.
-5
Suppose 49*s = 52*s - 39. Solve 0 = 11*r - s*r for r.
0
Suppose 23*m - 55 = 83. Solve -2 = 2*i - m for i.
2
Suppose -3*t + 736 = 43*t. Solve 0 = -15*p + t*p + 4 for p.
-4
Suppose 4*u = 4*h + 28, 0 = -3*u - 3*h + 41 - 38. Solve 2 = u*s - 6*s for s.
-1
Let p(n) = -18 + 10 + 5*n - 7*n. Let s be 26/(-4) + (-3)/(-6). Let q be p(s). Solve -3 = q*k - 15 for k.
3
Let u be (-1)/(-3)*(-1 - 32). Let f(l) = l**3 + 12*l**2 + 11*l. Let b be f(u). Solve p + b = -1 for p.
-1
Suppose -3*q - 44 = -89. Suppose -4 + q = i - 2*y, -5*i - 4*y + 83 = 0. Solve -5*m + i = -0 for m.
3
Let t(j) = 5*j + 36. Let r be t(13). Let c = 101 - r. Solve 0 = 5*k - c*k - 10 for k.
2
Let y be (-2 + -1)/6*14. Let m be 5/(-35) - 64/y. Suppose 8*n = m*n. Solve n*o - 5 = o for o.
-5
Let j be 4/((-12)/(-15)) + -3. Suppose 0 = h + j*h + 27. Let u(r) = r**2 + 8*r - 9. Let v be u(h). Solve -t + 1 + 2 = v for t.
3
Let b(q) = -q**3 - 5*q**2 + q + 3. Let w be b(-6). Let r be (11/w)/((-2)/138). Let l = r - -39. Solve -3*p = -l + 7 for p.
3
Let g(a) = 2*a**2 + 2*a - 1. Let j be g(-2). Suppose -j*l - 5 = -14. Solve -2*m = -7 + l for m.
2
Let o(p) = -p + 7. Let i be o(6). Let d be (-4)/1*i/(-2). Suppose -4*f = 2*r - 18, d*r + 3*f - 30 = -r. Solve 2*c + 3 - r = 0 for c.
4
Let k = -449 - -461. Solve k*d = 17*d + 5 for d.
-1
Suppose 0 = 35*k - 50*k + 150. Solve -20*u - 40 = -k*u for u.
-4
Let s be (-9 - -10)*(-5 + 28). Solve -4*i - 11 + s = 0 for i.
3
Suppose -69 + 50 = -p. Solve -3*a - p + 10 = 0 for a.
-3
Let v = 570 + -568. Solve 3 = -v*l + 9 for l.
3
Suppose -13*j = -7*j. Suppose 4*k + j = -4. Let y be 1/((k + 3)/10). Solve y*r + 2 = 3*r for r.
-1
Suppose 5*u - 3*s - 17 = -0*s, -2*s - 12 = -4*u. Let x = 11 - 25. Let v be (1 - 2/(-4))/((-7)/x). Solve -2*b - u = v for b.
-2
Let i(q) = 4*q. Let o = -38 - -26. Let w = -11 - o. Let n be i(w). Solve -n = -5*m + 6 for m.
2
Let z(a) = -3*a - 5. Let l be z(-3). Let x be (-2)/l + 25/10. Solve x*p = -3*p - 10 for p.
-2
Let u = 13 + -10. Suppose 6*h = 3*h - 9. Let k = u - h. Solve -k = 3*z + 9 for z.
-5
Let k = -40 + 58. Suppose -k*q + 14*q = -20. Solve 0 = -3*w + q*w + 6 for w.
-3
Let b = 8 + -6. Suppose 6 = 2*i, 6*i - 23 = -b*y + i. Solve -8 - 4 = -y*r for r.
3
Suppose 7*h - 4 - 17 = 0. Solve -6 = -h*b - 18 for b.
-4
Let k be 6/(1*15/130). Suppose 7*i + k = 20*i. Solve y - i = 5*y for y.
-1
Let d be -78 - (-4)/((-12)/(-9)). Let f = -75 - d. Solve f = h - 3 for h.
3
Suppose 3*p = 8*p - 10. Suppose -p*q + q = 0. Suppose 3*d - 4*d + 5*t + 13 = 0, q = -3*d - 3*t + 21. Solve 0*b + 4*b + d = 0 for b.
-2
Suppose 40*t - 592 = 3*t. Solve -15*i + t = -7*i for i.
2
Let j be 1*-3*-2 - -2. Suppose 12*x = 8*x + 3*u + 15, -15 = x + 3*u. Solve 4*m + x*m + j = 0 for m.
-2
Suppose -4*u = u + y - 46, 0 = 4*u - 2*y - 48. Suppose -14*b + u*b = 0. Solve 0 = -b*j - 3*j + 6 for j.
2
Let g = -126 - -138. Suppose 22*t = 24*t - g. Solve -t = -k - 1 for k.
5
Suppose -x - 6 = 2*x, 3*f - 19 = -x. Solve -f*q = -2*q + 5 for q.
-1
Suppose 0 = 2*u - 2*v - 12, -80 = -2*u - 4*v - 44. Solve -8*i - 6 = -u*i for i.
3
Suppose -5*s + 3*a + 11 = 2*a, 4*s + a = 16. Let m be 1/3*(0 + s). Solve x = -0*x + m for x.
1
Let m = -235 + 235. Solve m = 2*i - i + 4 for i.
-4
Suppose -3*i + 3*h - 6 = 0, -4*i + 5*i = -5*h + 4. Let t be (44/16)/(i/(-4)). Suppose -3*x + 0 + 6 = 2*u, -3*u + t = 5*x. Solve 4*z - x = 12 for z.
4
Suppose 11*j = 5*j + j. Let a(n) = -n**3 - 2*n**2 - n + 2. Let f be a(j). Solve 2*u - u = -f for u.
-2
Let s be 0*(-2 + (-10)/(-4)). Suppose s = -4*q + 8*q. Suppose 7*w - w = q. Solve x + w*x + 5 = 0 for x.
-5
Let y = -7 + 14. Let c(b) = -70*b - 265. Let r be c(-4). Solve 2*k - y*k = -r for k.
3
Suppose -3*i = -p - 13, 0 = -3*p + 5*i + 6 - 25. Suppose -29*v - p = -31*v. Solve 0*q - q - v = 0 for q.
-1
Let d = -32 + 34. Suppose d*m = -v + 3*v - 2, 2*v = -2*m + 14. Solve -u - 10 = -m*u for u.
5
Let z = -28 - -30. Let g(b) = b**3 - 5*b**2 - b + 1. Let w be g(5). Let q be w/10 + (-128)/(-20). Solve z*u + 0 = -q for u.
-3
Let q(s) = -4*s + 51. Let o be q(-9). Let y = 89 - o. Solve -y*j = j - 12 for j.
4
Let l(x) = -4*x**2 + 19*x + 6. Let a be l(6). Let h = a + 26. Solve -h*v - 9 = v for v.
-3
Suppose -6*n + 565 = 223. Solve o - n = -58 for o.
-1
Let l(c) = c**3 + 19*c**2 - 39*c + 101. Let i be l(-21). Solve -r - 34 + i = 0 for r.
4
Let y(k) = -k**3 - 9*k**2 - 8*k + 2. Suppose 4*q + 5 + 27 = 0. Let c be y(q). Solve 0*g = c*g for g.
0
Let v be (-5 - (2 + -9))/(4/8). Let b be 10/(-5) + 3*9. Solve -b = v*h + h for h.
-5
Let j = 32 + -59. Let d = j + 47. Suppose -u + 10*w = 5*w - 17, -2*u + 3*w = -d. Solve -5*b + 18 + u = 0 for b.
5
Let l(t) = 18*t + 94. Let j be l(-5). Solve -10*s - 24 = -j*s for s.
-4
Suppose -19*t + 234 = 6. Solve 15*w = t*w for w.
0
Let c be 0/(-6)*(2/(-2) - 0). Solve -z + 0*z - 5 = c for z.
-5
Let z be ((-3)/(-3))/((-3)/(-6)). Let r(u) = u**2 + 7*u - 6. Let x be r(-9). Solve -z*n = n + x for n.
-4
Let p be ((-14)/(-4))/(4/(1 + -89)). Let r be (-37)/(-7) + 22/p. Solve -2*j + r = 3*j for j.
1
Suppose -j + 5 = -0*j. Let r be (-2)/(1*(-1 + 2)). Let h be 14/(-35) - r/j. Solve f + 4 - 2 = h for f.
-2
Suppose 4*u - 4*u = 3*u. Suppose 2*v - k + 3*k - 34 = u, -5*k + 5 = v. Solve -3*y - y + v = 0 for y.
5
Let s(i) = -11*i**2 - 17*i - 2. Let l(f) = -17*f**2 - 26*f - 3. Let j(b) = 5*l(b) - 8*s(b). Let z be j(-4). Solve 0 = 3*h + 2*h + z for h.
-5
Suppose -9 + 132 = 3*p. Suppose -r - p = -42. Solve d - r = 1 for d.
2
Let c be (-28)/(-7) - (-1 + 1). Suppose 5*g = -c*x - 12, 0*x - 4*x = g + 12. Solve g = q + 4*q for q.
0
Suppose -v + 6 = -s - 2, -3*s = -2*v + 19. Suppose -5*m = n - 35, -4*n - m = -5*n + v. Solve 4*x = 30 - n for x.
5
Let k be (115/(-10) - -2)*-4. Suppose -i + k = 35. Solve -i*r = -r + 8 for r.
-4
Suppose 6 = 6*v - 3*v. Suppose m + v = 0, -3*b + 4*m + 10 = -m. Solve -4*f - f - 20 = b for f.
-4
Suppose 4*x + 5*n - 10 = -0, -x - 2 = -n. Solve -g + 5*g - 12 = x for g.
3
Let k be 14/(-63) + 40/18. Suppose -2*y + 53 = 5*l - 16, k*l = 2*y + 22. Let s be l + 3/(4 + -7). Solve s = 2*c + c for c.
4
Suppose 7*w + 8 = 36. Solve -3*a = -2*a + w for a.
-4
Let l(b) = -b**3 + 6*b**2 - 2. Let a be l(6). Let x be (a/(-4) - 1) + (-3)/(-6). Let o = 25 - 17. Solve -3*j + j + o = x for j.
4
Suppose -2*s - 12 = -0*s - 4*a, 2*s = -3*a + 23. Solve -s*r + r = 0 for r.
0
Let t(s) = s**2 - 25*s + 3. Let k be t(25). Let c be ((-10)/(-2))/(3 - 2). Let m = 9 - c. Solve -k = m*j + 17 for j.
-5
Let k = 16 + -13. Let w be (k + -3)*(-1)/(-2). Solve -5*v = -w*v + 10 for v.
-2
Suppose 156*x - 155*x - 10 = 0. Solve 3*k - x + 16 = 0 for k.
-2
Let i(v) = 2*v**3 - 59*v**2 - 32*v + 97. Let u be i(30). Solve -u = -5*x - 42 for x.
-1
Let a = 92 - 90. Suppose 3*p - 70 = -a*l, -4 = -p + 2*l + 6. Solve -3*v - 2*v = p for v.
-4
Suppose 0 = -50*c + 48*c. Solve c = 15*q - 11*q + 16 for q.
-4
Let m be ((-9)/4)/(3/(-12)). Let g be 48/m*6/4. Solve 4*y - g = 2*y for y.
4
Let y = 32 - 39. Suppose 3*c = -2*c - 45. Let i = y - c. Solve -q + i*q = 0 for q.
0
Let t = -186 + 195. Solve 7*y + 6 = t*y for y.
3
Let b(l) = l**3 + 6*l**2. Suppose 3*k = 5*y + 1 - 34, 5*k = -4*y - 18. Let v be b(k). Solve v = -3*o + o for o.
0
Let l = 265 + -261. Solve -l*u = -0*u - 16 for u.
4
Let v(s) be the first derivative of s**3/3 + 5*s**2/2 - 22*s + 21. Let d be v(-8). Solve d*p + p = -3 for p.
-1
Suppose 4*z + 51 = 51. Solve t - 4*t - 12 = z for t.
-4
Suppose 2*s = 5*y - 93, -y = -s - 9 - 12. Solve 20 = 3*b + y for b.
1
Suppose 13 - 25 = -r + 5*g, 5*r + g = 34. Solve 6*v = 17 + r for v.
4
Suppose -25*o + 22*o = -9. Suppose w - 2*w = 4*n - 1, 5*n = -2*w + 2. Solve -f + o = -w for f.
4
Suppose -4*f + 13 = t, -2*f = -3*t + f + 9. Let z(l) = -5*l**3 - 12*l**2 + 12