 w*v - v = -r for v.
-5
Let u(p) = -5 + 5 - p - p. Let b be u(2). Let g be 0 - 2 - (b + 2). Solve i = -g*i - 5 for i.
-5
Let i be (3/(-2))/(9/(-60)). Let n be 8/3*15/i. Solve n*t + 4 + 4 = 0 for t.
-2
Suppose -3*h - 3*d = -12, -2*h + 0*h = 3*d - 7. Solve -2*b + h - 1 = 0 for b.
2
Suppose 4*a - 2*a = 10. Suppose a*h = 10*h. Solve h = -2*q + 7*q - 15 for q.
3
Suppose 4*v - 16 = 0, 0 = -3*p - 2*v - 5 - 17. Let o be (8/p)/((-4)/10). Solve y - 12 = -o*y for y.
4
Suppose 4*u - 225 = 619. Suppose 3*k + 2*k = 3*q + u, 0 = 3*k - 4*q - 120. Suppose 5*d + 19 - k = 0. Solve i - d + 1 = 0 for i.
4
Let z be (264/16)/(3/4). Suppose 2 = -5*k + z. Solve -10 = k*n - 9*n for n.
2
Suppose 8*i - 4*i - 12 = 0. Let y be -2*1/(-5)*5. Solve 3*c = y*c - i for c.
-3
Let x(w) = -w - 3. Let d be x(-5). Let n(l) = 2*l + l - d*l - 1. Let b be n(6). Solve i - b*i = -12 for i.
3
Let w be (2/(-1) + 2)/1. Suppose w*x - x = 0. Solve -3*o = -x*o + 12 for o.
-4
Let w be (-1)/(-2 + 9/5). Suppose -5*n - 2*a = -5*a - 33, -3*n + 16 = 2*a. Let k = n - w. Solve -k = -0*g - g for g.
1
Let t be (-2)/((-24)/(-9)) - 190/(-40). Solve 8 = t*z - 0 for z.
2
Suppose -10*v = -5*v - 10. Solve v = w + w for w.
1
Let z be -1*(5 - 0/(-2)). Let f = z + 5. Solve -b + f*b = 1 for b.
-1
Suppose -y - 18 = -7*y. Solve -y*u = u for u.
0
Let q be 2/(-4)*0/(-1). Let l = 70 - 67. Let u be 1 + -1 - (0 + -3). Solve -l*o + q = u for o.
-1
Suppose -2*y = b - 4, y - 7 = 3*b + 2. Solve 0 = y*n - 4*n + 4 for n.
4
Let j = -27 + 27. Solve j = 3*k + 2*k - 5 for k.
1
Let b be (5/2)/((-2)/(-4)). Let c(x) = -5*x + 7. Let q be c(-5). Suppose 2*r + 4*z = 0, 4 = -5*r + 4*z + q. Solve b*l = 4*l + r for l.
4
Let v = -39 - -43. Solve -2*h + v = -4 for h.
4
Let q(c) = c**3 - 2*c**2 + c + 1. Let u be q(3). Suppose 0 = -m + 5*r - u, m + 5*r - 9 = 28. Solve 2*d - 4 = -m for d.
-4
Suppose 5*n - 2*n = 18. Let c = n + -1. Suppose c*z - 3 = -m, m + 0*m - 3 = -2*z. Solve 4*x + 4 = m*x for x.
-4
Let w = -9 + 13. Let o be (-3)/(0 + 9/(-12)). Solve -w*a = -0 - o for a.
1
Let l(f) = -4*f - 5. Let x(o) = o + 2. Let m(t) = -2*l(t) - 7*x(t). Let v be m(6). Solve -4*z + 2 + v = 0 for z.
1
Let w = -14 + 28. Let u(p) = -p - 5. Let h be u(-9). Suppose -27 = -2*d - 5*s, -8 = h*d - 7*d - s. Solve -3*v + w = -d for v.
5
Let z = 84 - 78. Solve -2*u + z*u - 16 = 0 for u.
4
Let y be 96/(-9)*(-12)/8. Solve 0 = 4*n - 0*n + y for n.
-4
Suppose 24 = -0*a + 4*a + 3*w, -3*w + 3 = -3*a. Let q be (-70)/(-6) + a/9. Let x = q + -6. Solve 3*s = x*s for s.
0
Suppose j + 4*b - 8 = 3*j, -4*b + 8 = 0. Suppose -d + 2 = -j. Solve a = d*a for a.
0
Let r = 29 - 17. Let o(m) = -6*m + 3*m**2 + 3 + 0*m**2 + m**3 - 4. Let c be o(-4). Solve r = -c*h + 3*h for h.
-3
Suppose -2*i + 27 = 3. Suppose p = -p - i. Let g = 6 + p. Solve -f + 2 = -g*f for f.
2
Let g = 2 + 1. Suppose t + 0*t = g. Solve t*s - 8 = s for s.
4
Let s(r) = r**3 + 3*r**2 + 2*r + 1. Suppose -12 = 3*g + 3*q, -5*q + 0*q = 4*g + 18. Let h be s(g). Solve 2*w = h + 1 for w.
1
Suppose -2*s + 0*s + 8 = 0. Suppose -l = -s*l. Suppose -j = -4*u + j, 4*u + 2*j = l. Solve -2*p + 3 - 5 = u for p.
-1
Let w = 17 - 11. Suppose z + 0 = w. Solve x = -2*x - z for x.
-2
Let x(n) = n**2 - 1 + 1 - n - 1. Let h be x(0). Let a be (-2 - -4) + (-3 - h). Solve -2*d = -a*d + 6 for d.
-3
Let x = 10 + -6. Suppose -2*d + 25 = n + d, 44 = 2*n + x*d. Let y be 4*1/(2 - 1). Solve y*k + 4 + n = 0 for k.
-5
Suppose 0 = -3*o - 3*o. Solve o*n + 2 = 2*n for n.
1
Let h be (0 - -26)/(4 + -3). Suppose -2*n = -4*n + h. Let w(v) = v**3 - 4*v**2 + 3*v + 4. Let m be w(3). Solve n + 7 = m*i for i.
5
Let m(r) = -r**3 + 5*r**2 - 3*r - 4. Suppose -6*f + 3*f - 3*g + 21 = 0, 5*g = 4*f - 1. Let v be m(f). Suppose 38 = 19*k - 19. Solve -k*s + 2*s = v for s.
0
Let a = 3 + -8. Let w be 74/6 - a/(-15). Solve -3*b + w = -3 for b.
5
Let m(r) = r**2 - 3*r + 2. Let t be m(2). Let c(d) = -d**3 - 5*d**2 - 4*d + 1. Let a be c(-4). Let o = a - -1. Solve t*g + o*g + 4 = 0 for g.
-2
Let d be (-6)/(-9)*30/4. Solve -4*b = -3*b + d for b.
-5
Let o(i) = -i**2 + 5*i - 2. Let n be o(3). Let m(d) = -d**2 + 3*d + 5*d - 4 - 3*d. Let h be m(n). Solve h = 4*c + 13 - 1 for c.
-3
Let i = 4 + 2. Let r be (-2)/i + 13/3. Suppose 15 = r*k + k. Solve 10 = 2*o + k*o for o.
2
Let i(t) = 12*t**2 - 1. Let m be i(1). Let a = 14 - m. Solve a*h = -h for h.
0
Let x(b) = -b**3 + 9*b**2 + 10*b + 2. Let i be x(10). Solve 2*l = -i*l + 16 for l.
4
Suppose 0 = 2*c + 4*z - 38, -3*z - 5 = -3*c + 7. Let g = -5 + c. Suppose -g*m + 0*m + 24 = 0. Solve 21 - m = -3*b for b.
-5
Let a = 28 + -28. Solve a = -5*r + 1 + 24 for r.
5
Let h = -159 + 166. Solve 0 = -h*g - 10 + 3 for g.
-1
Let p = 18 + -11. Suppose 15 = -5*i, 2*i + 28 - p = 5*q. Solve -q = -0*r - 3*r for r.
1
Let t = 13 + -7. Suppose -x = -t + 4. Solve -10 = x*k - 0*k for k.
-5
Let t(a) = a. Let m be 3 + (0 - 0/(-3)). Let n be t(m). Solve 0 = n*x + 2*x for x.
0
Let h(d) = 3*d**2 + d + 2. Let v be h(-1). Solve a + 6 = v*a for a.
2
Suppose -3*s = 4*z + 36, 0 = 4*z - 2*s - s + 36. Let u be (6/(-8))/(z/24). Solve -3*m + u*m = 2 for m.
-2
Suppose -3*v + 2*n = -9, -3*n + 15 = 5*v - 8*n. Suppose -2*w - 3*q = -7*w - 1, -5*w = -2*q - 1. Let x be (-30)/(-5) + -2 + w. Solve -v*d = -x*d - 2 for d.
-1
Suppose 3*d - 2*j = 12, 4 = -5*d - 5*j - 1. Solve -2*f = d*f - 4 for f.
1
Suppose -3*v = 3*g - 9, 5*v - 2*g - 2 = -1. Let z = 0 + 9. Let c be 28/6 + (-6)/z. Solve v = c*r - 15 for r.
4
Let o be ((-40)/25)/4*(1 - 6). Solve -o = -p - 0 for p.
2
Suppose 188 - 38 = 5*h. Suppose h = x + 4*x. Solve 0 = -2*f + x*f + 4 for f.
-1
Let n = 26 - 8. Let y = -14 + n. Solve -4 = -4*d + y for d.
2
Suppose 6*u - 25 = -1. Solve 2*c - 6 = u*c for c.
-3
Suppose 0 = 5*q - y - 73, -3*q + 52 = q - 4*y. Let t be (-22 - -27) + 3*-1. Solve -k - t*k - q = 0 for k.
-5
Suppose 2*m - 8 = 2*y, -y + 4*m + 6 = 22. Let u(h) = h**3 - h. Let n be u(y). Let j = n + 6. Solve a - 2 = -j for a.
-4
Let j(k) = k**3 + 2*k**2 - 4*k - 1. Let x be j(-3). Suppose -4*r + 4*t = 0, 0 = 3*r + t - 2 - 6. Suppose -r*d + 4*d = 0. Solve d = -x*w + w - 5 for w.
-5
Suppose -16 = -4*s + 20. Let z(j) = -j**3 + 9*j**2 + 2. Let k be z(s). Solve l - 1 + k = 0 for l.
-1
Let o be 1/(-2) - 1/(-2). Let f be ((-4)/(-10))/(4/5)*4. Solve o = -0*t - t - f for t.
-2
Suppose 0 = 5*g + 5*t - 35, 2*g - 2*t + 8 - 2 = 0. Suppose 0 = -g*k - 5*l + 10, 0 = -4*k + k + 3*l + 15. Solve 4*i - k*i + 4 = 0 for i.
4
Let p(d) = d**2 - 19*d + 18. Let h be p(18). Solve 0 = -h*t + 2*t for t.
0
Suppose -11 + 2 = v. Let g = 11 + v. Solve -g*z = z for z.
0
Suppose -25 = -5*t + 5*l, 5*t = 3*l - l + 40. Suppose 26 - t = 4*v. Suppose 0 = -q + v + 2. Solve 0 = -r - 2*r - q for r.
-2
Suppose 0 = 2*x - 5*k + 7 - 0, 5 = -x + 3*k. Solve -t - x = -3*t for t.
2
Let n(j) = j**2 + 2*j - 4. Let i be n(-3). Suppose -h + 3*h + 20 = 0. Let d be -2 + 0 + (i - h). Solve d*x = 2*x for x.
0
Let o(y) = y**3 - 6*y**2 + 4*y + 3. Suppose -2*g + 3 = -7. Let b be o(g). Let q be (b - -5)*2/3. Solve q*h = 4 - 2 for h.
1
Let y(u) = -u**2 + u - 1. Let t(p) = -p**3 - 12*p**2 + 13*p + 11. Let w(x) = t(x) - y(x). Let r be w(-12). Suppose -r = -5*z + z. Solve -3*k - z = 6 for k.
-3
Let i(j) = j + 9. Let o be i(-9). Let t(b) = b**3 - 11*b**2 + 10*b + 1. Let r be t(10). Solve o = 5*f + r + 4 for f.
-1
Suppose 27 = -4*m - z, 5*z - 39 - 2 = 2*m. Suppose -g - 26 = 4*g + 2*y, 5*y = 4*g + 34. Let j = g - m. Solve j*f - 3 = -1 for f.
1
Let a(n) = -n**3 + 2*n**2 + 4*n - 3. Let f be a(3). Solve -2*o = -f*o for o.
0
Let v(w) = w**3 + 3*w**2 + 3. Let r be v(-3). Solve -1 + r = -t for t.
-2
Suppose 2*w + a - 7 = 0, -4*w + w - a + 8 = 0. Solve m - w = -6 for m.
-5
Let y = -30 - -30. Let w(n) = -n**3 + 6*n**2 + n - 3. Let k be w(6). Suppose -l = -k*l + 4. Solve y*o + l*o - 10 = 0 for o.
5
Let h be (-2 - -1)*2*-1. Suppose h*z + 2*n - 5*n - 36 = 0, z - n = 17. Let u be (1*z)/((-3)/(-2)). Solve -r - r = u for r.
-5
Let z = -24 - -44. Let k = z + -14. Solve -k = 3*q - q for q.
-3
Let y = -7 + 2. Let m(l) = -2*l + 4. Let w be m(y). Let i(a) = a**3 - a - 2. Let n be i(2). Solve -n*q - w = 6 for q.
-5
Let o(f) = f**3 - 5*f**2 + f - 2. Let g be o(5). Solve p + 0*p + g = 0 for p.
-3
Suppose 25 = -i + 6*i. Suppose q = 2*c - 10, -5*q = -i*c - 0*q + 30. Solve k + 25 = -c*k for k.
-5
Suppose 3*p - 11 = 13. Solve -12*t + p*t