y*w - 20 for w.
-4
Let i(p) = -p**2 - 9*p + 30. Let d be i(-11). Solve -3*u + d*u = 0 for u.
0
Suppose -3*w = -2*v - 12, w - 2*v = v + 11. Solve 6 = -w*g - 4 for g.
-5
Let m be (-3 - -1)*(-4 + 2). Suppose 9*f - 4*f - m*y + 3 = 0, -5*y = 2*f - 12. Let g be f/((-3)/(-15) - 0). Solve 9 = -g*o + 24 for o.
3
Let n be (4/6)/((-2)/(-60)). Let d = -14 - -17. Suppose -2*f + 8 = -b, 4*b = -2*f - d*f + 46. Solve -f*m - n = -m for m.
-4
Suppose 0 = 3*u - 2*u - 3. Solve 0 = -5*v + u*v - 8 for v.
-4
Let b(g) = -5*g. Let w be b(-4). Suppose -t = 4*t - w. Suppose 4*a = -10 + 42. Solve t*k = a*k - 8 for k.
2
Suppose 0 = -f + 5*d + 28, 2*d + 3 = 4*f - 19. Let o be 3 + f/6*4. Solve -2*g - 3*g - o = 0 for g.
-1
Let g(a) = 14*a - 5. Let v(t) = -5*t + 2. Let s(f) = 4*g(f) + 11*v(f). Let i be s(-2). Suppose -2*o + 3*o + 5 = 0, 2*o + 19 = y. Solve i*r - 3*r - y = 0 for r.
-3
Let k(z) = -z**3 + 3*z**2 + 4*z + 4. Let h be k(4). Suppose 2*g = -h*n - 18, 5*n = 2*g - 0*g - 18. Let f be 0/(1*(-2)/g). Solve f = -5*q + 3 + 2 for q.
1
Let f = -60 - -64. Solve 0 + 8 = -f*t for t.
-2
Suppose -c - 2*u = 2*u + 24, 3*u = -c - 19. Let w(p) = -p**3 + 3*p**2 + 8*p - 6. Let t be w(5). Let k be 6/c*t/6. Solve -4*l + k = -0 for l.
1
Let n(h) = -h**2 - h. Let m be n(-3). Let z be (0/(-1))/(8 + m). Let d = 11 - 8. Solve z = -d*k + 5 + 7 for k.
4
Let o(u) = 2*u**2 - u + 1. Let k be o(1). Suppose 5*a = a. Solve a = v + 2 + k for v.
-4
Suppose -5*u + 2*q = 6, 0*u + 3*u = -4*q + 12. Let l be (-12)/(-15)*1*5. Let s(z) = z**3 - 2*z**2 - z + 2. Let i be s(3). Solve u = l*y - 0 - i for y.
2
Let c = 4 + -6. Suppose 8 = -2*r - 4*i, -r + i - 1 = -6. Let d be c/4 + 13/r. Solve -12 = -2*u + d*u for u.
-3
Let y(j) = -j**3 - j**2 - 1. Let c be y(-2). Solve s = c*s - 8 for s.
4
Suppose -2*k + 7 = 1. Suppose -z = -k*z. Solve z*x = -4*x + 20 for x.
5
Suppose 4*o = u - 55, 3*o = -u + 2*u - 40. Let c = o - -15. Solve c = 2*y - 3 + 5 for y.
-1
Let d be 148/6 + (-2)/(-6). Suppose 3*p = p - h + 3, 12 = 4*p + 4*h. Suppose -5*i + 10 = -10. Solve -i*b - b - d = p for b.
-5
Suppose -77 = -5*i + 48. Solve -6*p + p = i for p.
-5
Let t = 6 + -3. Suppose 5*c - 12 = -2*o + 3*c, -2*c = -t*o - 7. Let k be ((-2 - -5)/1)/o. Solve k*p + 16 = -p for p.
-4
Let q = -31 + 32. Solve -q = -z - 4 for z.
-3
Let h(m) = m**2 - 7*m + 8. Let t be h(6). Let k be t + 2 + -3 - -4. Solve 4*z + 11 = -k for z.
-4
Let a(z) = 5*z - 8. Let i be a(2). Solve i = d - 2 for d.
4
Let s be 59/(-5) - 2/10. Let j be 9/s + (-46)/(-8). Suppose j*n - 25 = -0. Solve 0*y + 25 = n*y for y.
5
Suppose 6*c = 11*c - 10. Solve c*t = 4*t - 6 for t.
3
Suppose 5*h + 73 = 3*r, 0 = -4*r - h - 0*h + 105. Suppose -5*a = l - r, 4*a - 11 - 5 = -2*l. Suppose a = 5*u - 4. Solve -u*g = 3*g + 15 for g.
-3
Let d be (-4)/22 - 3601/(-143). Let q be (-22)/(-5) + 4/(-10). Let x = q + -1. Solve 8*m + d = x*m for m.
-5
Let u(k) = k**3 - 10*k**2 - 11*k + 16. Let v be u(11). Let j = 1 - 1. Let p be ((-2)/(-2))/(-1)*j. Solve v + p = -4*i for i.
-4
Let y be -1*(-4 - -4)/(1 + 0). Solve y*k - 2*k = 4 for k.
-2
Suppose 0 = -6*r + 9*r - 6. Solve 0 = -r*b + 2 for b.
1
Let a(l) = -5*l + 8. Let c(h) = 6*h - 8. Let q(v) = 5*a(v) + 4*c(v). Let p be q(6). Suppose p*d = 0, -5*x - 2*d + 8 + 12 = 0. Solve x*w + 12 = -4 for w.
-4
Let r = -12 + 20. Solve i = 3*i - r for i.
4
Let r be (-5 + -3)/4*-1. Solve -c + 6 = r*c for c.
2
Let s = 14 - 10. Let y = 9 - s. Solve h + 0 = -y for h.
-5
Let w = 1 + -1. Let c = 10 + -5. Suppose 2*g - 36 = -c*s, 4*s - 4 = 3*s - 2*g. Solve -6*h + 2*h - s = w for h.
-2
Suppose 4*c - 19 = -3*y, 3*c + 2*y + 7 = 21. Solve -20 = -8*k + c*k for k.
5
Suppose 20*l - 18 = 17*l. Solve p + 2*p + l = 0 for p.
-2
Let c be 27/5 + 10/(-25). Solve 0 = -c*u - 6 + 1 for u.
-1
Let h = -150 - -153. Solve 0*m = -h*m + 6 for m.
2
Let a(i) = i + 11. Let v be a(-5). Suppose 2*z = -n + 12, 2*n + v*z = z + 29. Solve -15 = -n*k - 3*k for k.
3
Let l be (-11)/(-5) - 4/(-5). Solve -6*g + l*g = 9 for g.
-3
Suppose -5*t + 4*d - 13 = 2, -3*d = 5*t + 15. Let b = t - -6. Suppose 4*a - 47 = -2*u - b*u, 52 = 5*a + 4*u. Solve 5*f + 7 = -a for f.
-3
Suppose 0 = -3*i + 3*u - 17 + 2, 4 = u. Let m = 0 - i. Let a be 1 + -1 + m + -1. Solve -f + 5*f - 8 = a for f.
2
Suppose 6*g - 33 = 27. Solve 0 = -4*o - g - 6 for o.
-4
Suppose 38 = 3*v + 4*g, -v = -0*v - g - 1. Solve 2*n = v*n - 20 for n.
5
Let v = -2 + 2. Suppose -15 = -k + 5*s - 5, -3*k + 2*s + 4 = 0. Solve -5*b + k*b - 25 = v for b.
-5
Suppose -3*m = 3*d + 9, -3*m - 9 = -d + 5*d. Let b be 3 + 0 + m/(-3). Solve 4 = -3*f + b*f for f.
4
Suppose 0 = 4*p - 3*p. Suppose -h = m - 3, p = 2*h + h + 2*m - 8. Solve 0 = 5*n - h*n + 15 for n.
-5
Suppose 10 = 2*p + 3*p. Let h = 6 + -4. Solve -o - p = -h*o for o.
2
Let s be (36/(-72))/((-1 + -1)/16). Let l be 4/(-10) - 27/(-5). Suppose b - 14 = 5*a - a, -s*b = -l*a - 34. Solve 0 = 3*j + b + 9 for j.
-5
Suppose -25 - 3 = 4*o. Let g = o - -7. Solve -i + 0*i - 5 = g for i.
-5
Suppose 4*a = -a + 4*a. Solve l - 5*l + 20 = a for l.
5
Let c be 18/8 + 2/(-8). Suppose 13 = c*p - 37. Solve 0*l = 5*l - p for l.
5
Suppose 3*v + 1 - 10 = 0. Let p = v + 1. Solve -g = -p*g for g.
0
Suppose -5*f - 4*f = -63. Solve 2*j = f*j - 20 for j.
4
Let h = 42 - 41. Solve 2 = a + h for a.
1
Let f = 3 + -4. Let c be ((-9)/(-3) - f) + -2. Suppose -4*w + c*w = -16. Solve 2 + w = -2*b for b.
-5
Let l = -4 + 7. Solve 0 = -s - l*s for s.
0
Suppose 17 = 2*k + x, 0 = k - 0*k + 3*x - 21. Suppose k*i - i = 20. Solve i*w - 8 - 8 = 0 for w.
4
Let r = 7 - 4. Suppose 4*d - 5*d = -r. Let c = 22 + -10. Solve 0*w - d*w = c for w.
-4
Let b(q) = q - 7. Let f be b(5). Let a = f + 6. Let h be 0/(-3 - (3 + -5)). Solve h*o - 2*o + a = 0 for o.
2
Let w = -6 - -11. Suppose 0 = -w*s + 19 + 1. Solve s = -3*v - v for v.
-1
Suppose 0 = 3*j - 4*j + 2*i - 5, j + 2*i - 15 = 0. Suppose -40 = -j*x + 4*l, 0 = -0*x + 4*x + 5*l + 9. Let k = 1 - 1. Solve -x = 4*o - k for o.
-1
Suppose -7*t + 2*t - 12 = 3*o, -4 = 5*t + o. Solve -4*l - 2 - 2 = t for l.
-1
Suppose 9*i - i - 48 = 0. Solve -4*y + 2 = -i for y.
2
Suppose -2*u + 2 = 0, -20 = -3*j - u + 2*u. Suppose 2*y - j = 1. Suppose -5*z + 40 = -y*b, 4*b = 4*z - 21 - 15. Solve -z = 5*c + 6 for c.
-2
Let l be (-40)/22 - 12/66. Let x = l - -5. Let q be x/(-6)*-2 - -2. Solve q*k = k + 4 for k.
2
Suppose -4*r + 4 = -2*r. Suppose -4*p = 2*c - 6, -r*c + 2*p + 3 = -3. Solve v = -c*v - 12 for v.
-3
Let k(b) = -5*b**3 - 4*b - 3. Let t be k(-2). Suppose 7*g - 4*g - t = 0. Solve 5*r - g = 5 for r.
4
Let j be ((-2)/(-1))/((-2)/(-5)). Suppose 0*a + 5*a = 0. Suppose -j*w + 10 = -a*w. Solve w*t + 6 = -0*t for t.
-3
Suppose 6*z + 3*c - 94 = 2*z, -2*z - c + 48 = 0. Solve o + 4*o = -z for o.
-5
Suppose 0 = 3*q - 4 - 2. Let f = 3 + 0. Suppose 5*u + 4*t + 10 = 0, 3*u - 27 + 6 = f*t. Solve 4*c = u*c + q for c.
1
Suppose -5*k = 2*j - 63, -j = -6*k + k + 66. Let z = 17 - k. Solve z*h = -0*h for h.
0
Let i(d) = 2*d**2 + 13*d + 26. Let x be i(-3). Solve x*l + 3 = 13 for l.
2
Suppose -2 = -l + 5*j - 5, 0 = 5*l + j - 11. Let g = 9 - 7. Let w(q) = -q**3 - 8*q**2 - 7*q. Let k be w(-7). Solve k = r - l - g for r.
4
Let o(v) = -3*v**3 + 2*v**2 + 4. Let a be o(2). Let c be -4 - 8/a*9. Solve 2*d + 4 = -c*d for d.
-1
Suppose -12 = -3*w, y = 2*w - 3 - 2. Solve y*h = -h + 12 for h.
3
Let d(s) = -4*s**2 + s - 3. Suppose -2*k + 5*f = -k + 29, 2*k = -2*f + 2. Let l(g) = 1. Let q(p) = k*l(p) - d(p). Let u be q(-1). Solve -26 = -u*y - 6 for y.
5
Suppose 0 = -4*d - 2*v - 3*v + 25, 5 = 2*d + v. Let f be 3/(-6)*-2 - -2. Solve f*b + 3 = -d*b for b.
-1
Let t be (-9)/(-6)*318/9. Suppose 3*m + 8 - t = 0. Solve 4*v + m = -v for v.
-3
Let t be 54*(-1 + (-15)/(-9)). Suppose b = 3*b - t. Let y be (-6)/b - (-2)/6. Solve y = -h + 3*h - 4 for h.
2
Suppose 0 = 4*a - 4, -4*a = -4*f - 2*a + 2. Solve 0 = -3*p - 4 + f for p.
-1
Let c(u) = -u**3 - 6*u**2 - 2*u - 5. Let y be c(-6). Let x = -5 + y. Solve -x = -0*o + 2*o for o.
-1
Suppose 9*r - 4*r + 22 = -i, 5 = -5*i - 4*r. Let h = 7 - -1. Solve h*c - 10 = i*c for c.
2
Suppose -6 - 14 = -2*d. Let x = d + -5. Solve 0 = -x*w + 2*w for w.
0
Suppose -3*r + 2 = 5*g, -14 = 3*g - 2*r - 0*r. Let i be ((-8)/12)/(g/3). Solve 0*y + i = -y for y.
-1
Suppose 0 = -z - 4 + 7. Suppose -5*m + u = -12, z*m = -u + 11 + 1. Let i be (25/m)/(2/6). Solve 0 = -h - 4*h + i for 