2*z - 20. Solve z*s - x = -0*s for s.
1
Suppose 163 - 31 = 12*f. Solve -13 - 20 = -f*v for v.
3
Let d = -46 + 56. Let m be ((-8)/d)/((-7)/35). Solve q = -m + 1 for q.
-3
Let p(b) = -b**3 + 6*b**2 + b - 5. Suppose -6*z = -2*z + 8. Let m(f) = -2*f - 1. Let v be m(z). Let w be p(v). Solve s - 6*s - w = 0 for s.
-5
Let r = -3 + 4. Suppose -4 = -3*w - r, -3*z - 5*w + 35 = 0. Suppose -15 = -3*a + q, -4*q + z = 2*a - 3*q. Solve -23 = a*o + 2 for o.
-5
Let q be -2 + 26/12 - (-63)/(-378). Solve 0*j + q*j = 5*j for j.
0
Let c be 2/13 + (-2)/13. Let t be (c + 3)*(0 + (-24)/(-18)). Solve 0 = -n - 0 - t for n.
-4
Let i be ((-96)/72)/((-1)/((-15)/(-2))). Solve -i*s = -2*s - 16 for s.
2
Let j(p) = 2*p + 9. Let u be j(-3). Solve -3 = -u*h + 9 for h.
4
Let j(t) = -t**2 + 1. Suppose 4*l + 3*d = -5, -4*d - 4 - 4 = 4*l. Let z be j(l). Suppose z = 3*a - 2 - 58. Solve 6*h - 2*h = a for h.
5
Let t be (-4*15/20)/(3/7). Let b be (-37)/t + (-3 - 57/(-21)). Solve b*d - 4*d = 0 for d.
0
Suppose -3*o = h - 14, -15*o + 11*o + 26 = 5*h. Solve 7 = 3*r - h for r.
3
Let q(d) = -4*d - 47. Let g be q(-14). Let w be 25/g - (-1)/(9/2). Solve -x = -0*x + w for x.
-3
Suppose 32 - 4 = 7*q. Suppose -2*u = 2*w - q*w - 22, -2*u - 8 = 4*w. Solve a - 3*a = u for a.
-3
Let x(n) = n**2 - 5*n + 8. Let d be x(3). Suppose -4*v + 75 = 2*c + 5, 0 = d*v - 2*c - 20. Suppose -2*u + 3*k - v = -0*u, -3*u + 2*k = 10. Solve u*h = -h for h.
0
Suppose 0 = 19*f - 12 - 45. Solve 7*l - f*l = 20 for l.
5
Let j = 14 + -9. Suppose -3*r - 2 = -j*r. Let f = 1 - r. Solve 0 = 2*p - f + 10 for p.
-5
Let h be 7*(4/6)/((-10)/(-45)). Solve 54 - h = -11*u for u.
-3
Let v = 143 - 139. Solve v*o = o + 9 for o.
3
Let d = -130 - -132. Suppose -d*t + 79 - 59 = 0. Solve -r + t = -3*r for r.
-5
Let j be 1/(-3) - ((-194)/6 - -5). Solve 12 - j = -5*i for i.
3
Suppose -7*z - 9 = -37. Solve -a + z = -3*a for a.
-2
Suppose n - 5*r + 2 = -0*n, 2*r = -4*n + 14. Suppose 57 = n*b + 51. Solve -b*q - 3*q = 20 for q.
-4
Let s(a) = -6 + 2*a - 6 - 4*a + 5. Let t be s(-5). Solve -1 = 2*r + t for r.
-2
Let j(o) = -o**3 - 32*o**2 - 29*o + 70. Let r be j(-31). Solve r*y + 0 - 32 = 0 for y.
4
Let t(d) = 10*d + 158. Let h be t(-15). Solve 22*l - h = 14*l for l.
1
Let q = -730 - -732. Suppose 3*x + 3*m = 36, 3*x - 3*m + m - 41 = 0. Let l = 16 + -11. Solve -q - x = l*p for p.
-3
Suppose -a = 3*a - u - 29, -5*a + 2*u = -34. Solve 0*g = -2*g + a for g.
4
Suppose 0 = f - 2*c - 2, 5*c = 5*f - 8*f + 17. Suppose 0 = -a - 3*p + 3, -2*p = -f + 2. Solve 5*g + 5 + a = 0 for g.
-1
Suppose -4*i - 8 = 5*w - 0, i + 2 = -w. Let z(g) = -4*g + 1. Let x be z(i). Suppose -y = -o - 7, 2 = o + 5. Solve x = y*a - a for a.
3
Suppose -5*y + 75 + 19 = 3*q, y - 10 = -5*q. Suppose 5*l + y - 84 = -2*m, 0 = -m + 4*l + 19. Solve -4*g = m - 7 for g.
-5
Let t(i) = i - 2. Let u be t(0). Let a(s) = 7*s**2 - s. Let w be a(u). Suppose 4*g + g = w. Solve 2*x + 12 = g*x for x.
3
Let s(h) = 5*h + 13. Let a(p) = -6 - 2 - 5*p - 2 - 3. Let j(c) = 5*a(c) + 4*s(c). Let m be j(-5). Solve -b - m = 2*b for b.
-4
Let b be -6 + -6 + 9 + 6. Solve -b*t = 4*t for t.
0
Suppose 0 = 4*p + 3*y - 85, 0 = -2*p + 3*y + 36 + 29. Let x(j) = -j**3 - 6*j**2 - 2*j - 4. Let b be x(-5). Let i = b + p. Solve -t - i = t for t.
-3
Let z be 6/3 + 60/(-4). Let f = 29 + z. Suppose -x + 8 = w, 2*x - f = -x - w. Solve 0 = -0*m + x*m - 4 for m.
1
Let m = 75 + -69. Suppose 11*k + m = 28. Solve -2 = -3*s + k*s for s.
2
Let x(h) = -5*h - 2. Let v be x(-1). Suppose -3*b = f + 15, 0 = -5*f - b - v - 2. Suppose 0 = -f*s - s - 2*j + 18, 3*s - 56 = -5*j. Solve -5*w + 2 = s for w.
-4
Let h = -52 + 53. Let a be h*(-3 - -1)*25/(-10). Solve 7 = a*g + 27 for g.
-4
Let d(v) = 2*v**2 + 20*v - 6. Let l be d(-5). Let k = 60 + l. Solve k = u + 3 for u.
1
Suppose -2 = 5*y - 22. Suppose -3*g - 5*c - 50 = -6*g, y*g + c = 59. Solve 6*a = a + g for a.
3
Let r be (9*-1)/((-9)/6). Let b(l) = -l**3 - 5*l**2 + 2*l + 4. Let f be b(-4). Let a = f - -45. Solve -r*o + o - a = 0 for o.
-5
Suppose 0 = -3*l - 2*x + 8, l = 5*l - 4*x + 16. Suppose -4*w - 4*b + 52 = l, 5*b = 3*w - w + 2. Suppose 6 = 3*f - w. Solve 3*n = 2*n - f for n.
-5
Let p be (1/4)/((-5 - -1)/(-48)). Let b be 3 - (-4 + 3)*-3. Suppose 0 = 3*i + 5*o + 17, b*i + i - 4*o = 17. Solve 0 = -w + i + p for w.
4
Let m(x) = -8 + 2*x - 2*x - 4*x. Let u be m(-2). Solve u = -2*i + i for i.
0
Let v be (-3 - -3)*6/12. Solve 2*z - 5*z - 9 = v for z.
-3
Let z(a) = -a**3 + 4*a**2 + 35*a - 15. Let r be z(8). Solve 27 = -r*o - 0 for o.
-3
Suppose 25*b + 12 = 12. Suppose -7*y + 35 = -0*y. Solve -2*p + y - 3 = b for p.
1
Let o be 2/9 + 64/36. Suppose 5*y - 4*g + 15 = 0, -18 - o = -4*g. Solve 5*p = 4*p - y for p.
-1
Let q(r) = r**3 + r**2. Let f(w) = w**3 - 4*w**2 - 12*w + 1. Let y be f(6). Let o be -1*(-2 - -1) - y. Let a be q(o). Solve a = -0*u - 5*u - 5 for u.
-1
Let f be ((-72)/30)/(3/(-10)). Suppose -20 = -5*j - 5*h, f = 2*j - 0*h + 5*h. Suppose -6*n + 5*n = -j. Solve n*v = 10 + 10 for v.
5
Let s(k) = -3*k - 5 + 7*k - k**3 - 15 - 9*k**2 + 4*k. Let t be s(-10). Solve 8 = -t*x + 4*x for x.
2
Let r = 82 + -57. Suppose 20*y - r*y = 0. Solve 3 = -c - y for c.
-3
Let p = 1119 + -1113. Solve 0 = p*b - 69 + 51 for b.
3
Let x(v) = 2*v**2 + 5*v + 4. Let s be x(-2). Let n be 2/1 - 0/s. Solve 3*c - n*c = 0 for c.
0
Let a be (2 + (4 - 5))*(-3 + 6). Solve 4*r - r + a = 0 for r.
-1
Let y(o) = o**2 - 37*o + 44. Let h be y(36). Solve 0*c - 8*c + h = 0 for c.
1
Suppose 2*t + 0*f - 4*f + 4 = 0, -4*t + 4*f = 0. Let b = -2 - -2. Suppose -5*i + 27 - t = b. Solve -2*u = 5 + i for u.
-5
Suppose -1841*o - 168 = -1855*o. Solve 0 = 12*k - o - 12 for k.
2
Let p(w) be the first derivative of -w**3/3 + 3*w**2/2 + 3*w + 567. Suppose -4 = -4*b + 8. Let s be p(b). Solve -s*h = 1 + 8 for h.
-3
Let l = -6 + 11. Let t(k) = 3*k - 6. Let n be t(l). Let g = -6 + n. Solve -g*p + 4*p - 2 = 0 for p.
2
Let n(m) = m**3 - m + 8. Suppose 0*u + 2 = -u. Let o(d) = -d**2 - 3*d - 2. Let w be o(u). Let a be n(w). Solve -s = s + a for s.
-4
Let t be (-3)/(-7) + (-11001)/(-399). Solve -t*q = -29*q - 2 for q.
-2
Let p be -4 + (-4 - 91/(-7)). Solve -6*r + p*r - 2 = 0 for r.
-2
Suppose 8*a = 37 - 5. Suppose 0 = -4*p - a, 0 = -4*u - 3*p + 10 + 15. Solve 0 = -u*h + 2*h - 5 for h.
-1
Suppose 1 = -p + 3. Suppose p*h = 6*h - 12. Solve h*y + 0 = 6 for y.
2
Suppose 5*s = -3*i + 32 + 17, -3*s - 3 = 0. Solve 22*g + 4 = i*g for g.
-1
Let v be ((-28)/(-35))/(16/40). Let i = -6 - -10. Solve -v*q = 2*q - i for q.
1
Let u be (2/(2 - -6))/(-1)*-24. Solve 8*v - u*v = -10 for v.
-5
Suppose n - 5*t + 32 = -3*t, -3*n = 4*t + 136. Let s = -36 - n. Solve 0 = y - s*y for y.
0
Suppose 0 = -3*i + m + 54, 49 + 31 = 4*i - 4*m. Let q = -27 - -32. Solve 0 = q*a + 3 + i for a.
-4
Let y(p) = p**3 - 12*p**2 - p + 12. Let z be y(12). Suppose 2*u = -z*u - u. Solve 7*w - 3*w = u for w.
0
Suppose 14*r - 24*r = 660. Let d be r/(-15) + 3/5. Solve -15 = -4*w + d for w.
5
Let o(y) = y**3 - 11*y**2 + 13*y + 1. Let l(c) = -5*c. Let f be l(-2). Let b be o(f). Suppose -3*r - 8 = -2*z + b, -z + 7 = r. Solve -j + z = -4*j for j.
-4
Let o be (7/(42/12))/((-4)/(-24)). Solve -4 = 4*v - o for v.
2
Let k be (-48 + 58)*(1 + 0). Solve -k*g - 6 = -8*g for g.
-3
Let t be 2/(-10) + 124/20. Let y = -146 + 154. Let v = y - t. Solve -8 = -v*u + 4*u for u.
-4
Suppose -85 = 5*b - o, -2*b + o = -0*b + 31. Suppose 4*j + 0 = 2*y - 50, 0 = j - 5*y - 10. Let i = j - b. Solve 2*h - h - i = 0 for h.
3
Let y(z) = -z**2 - 14*z + 15. Let n be y(-15). Solve n = -8*k + 14*k for k.
0
Suppose -2*g = a - 1 - 0, 0 = 2*g + 4*a + 8. Suppose m - 3 = 5*u, 2*m + 3*u - 36 = -g*u. Solve 4 - m = 3*d for d.
-3
Let t be 36/10 + (-58)/(-145). Solve -19 - 1 = t*v for v.
-5
Suppose y - 11 - 30 = -3*d, 4*d - 2*y - 68 = 0. Solve 5*j + d - 5 = 0 for j.
-2
Suppose 0 = -18*r + 19*r - 11. Let i = -5 + 7. Suppose -t + i = 1. Solve 0 = -3*o - r - t for o.
-4
Let p be 37/(-8) + 6/(-16). Let b(k) = k + 7. Let d be b(p). Solve 5*o - d*o = -6 for o.
-2
Let v be (-30)/(-45) - 13/(-3). Suppose -2*g + 3*t + v = -4, 4*t - 5 = -3*g. Solve 0 = -7*k + g*k - 12 for k.
-3
Suppose -10*n + 148 = 98. Solve 2*b + n*b + 35 = 0 for b.
-5
Let g(o) = o**3 + 20*o**2 - 41*o + 77. Let w be g(-22). Solve 26 = 3*r + w for r.
5
Let a be 33/7 + (-2)/(-49)*7. Solve 2*y + a = 15 