 be m(-13). Solve 5 = 4*u - q for u.
2
Let w be (2/4)/((-2)/(-24)). Let x be (-2)/(2*(-3)/w). Solve 0*v = x*v for v.
0
Let d be 21/7*(-1 - -2). Solve 7*n = 4*n - d for n.
-1
Suppose -5*u + 3*g = 96, -5*u + 2*g = -63 + 157. Let m be u/(-4) - 1/2. Solve -k - 5 = m*k for k.
-1
Let j be -1*1*33/3. Let f = j - -15. Let a = 6 - 4. Solve -a = c - f for c.
2
Let y = 54 - 32. Let g be 1/(-2) + y/4. Solve -g*s + 2*s = 15 for s.
-5
Suppose 0*v = -6*v + 30. Solve -10 = -3*t + v*t for t.
-5
Let o = 8 - 11. Let r be -6*(o - (-6)/4). Let a be 1*r + (2 - 5). Solve -w + a*w = -20 for w.
-4
Suppose 4*f - 2*s = -0*s - 26, -4*s + 40 = -5*f. Let j = 19 + f. Solve 0*z = 5*z + j for z.
-3
Suppose -5*y - 2*h + 44 = -0*y, 3*h = -3*y + 21. Let i = y - 10. Solve i*n + 15 = -3*n for n.
-5
Let g(z) = z**3 + 0 - z - z**2 + 0*z**3 + 3. Let a be (-3)/6*(2 - 2). Let y be g(a). Solve 0*s = y*s for s.
0
Let z = 21 - 11. Solve 4*g = -2 - z for g.
-3
Let s(r) = 3*r**3 - r**2 - r + 1. Let x be s(1). Solve x + 8 = -2*d for d.
-5
Let n be (2 + -6 - -2) + 4. Let b(u) = -4*u + 6. Let k(a) = -7*a + 11. Let y(s) = -5*b(s) + 3*k(s). Let x be y(-11). Solve n*h + x = 4 for h.
-5
Suppose 15 = -3*i, 0 = -2*n - 0*n + 5*i + 23. Let d be (-2)/(-4)*n*-4. Solve 2 = d*v + 4 for v.
-1
Let q = 64 - 62. Suppose 3*x - 3 = -2*j, -3*x + 6 = 4*j - 3. Solve q*b = b + j for b.
3
Let f be (1*-2)/((-2)/(-5)). Suppose 1 - 6 = x. Let o = x - f. Solve 2 = -2*u - o*u for u.
-1
Let o be 33/5 - (0 + (-6)/15). Solve 2*h - o = 3 for h.
5
Let z(n) = n - 6. Let i be z(4). Suppose 4 = j - 3*j. Let u be ((-1)/j)/(i/(-8)). Solve -1 = -3*a + u*a for a.
1
Let n = 4 - 0. Suppose -3*v = -n*v. Solve 5*p + 20 = -v*p for p.
-4
Suppose 3*k = 23 + 7. Let q be k/35 - (-103)/7. Suppose b + 0*b - q = 0. Solve -2*c - c = -b for c.
5
Suppose b + 2 = -d + 6*d, d + b + 2 = 0. Solve 5*w - 20 = -d*w for w.
4
Suppose -4*u + 9*u = -2*d + 13, u - 5*d = 8. Solve u*h - 10 = h for h.
5
Let f be ((-154)/55)/((-2)/(-10)). Let r = f - -22. Solve -r + 3 = -5*t for t.
1
Suppose 4*f - 3*c - 74 = -0*f, -2*c = 2*f - 44. Solve 6*s - f = s for s.
4
Suppose 7 = 3*p + 2*y, -4*y = -3*p + y - 7. Solve -4 = g + p for g.
-5
Let s = 10 - 13. Let a be s - (-7)/((-14)/(-16)). Solve 0 - 20 = a*g for g.
-4
Let a(u) = 0*u - 2 - u + 5*u**2 - 4*u**2. Let m be a(-2). Suppose m*d - 3*n - 27 = 0, -2*d - 4 = 5*n + 15. Solve d*j - 10 = 2 for j.
4
Suppose 2*n - 2*t - 12 = 0, t + 12 = -3*t. Let b = 5 - 2. Suppose -3*v = -2*g - g + b, -n*g - 1 = -5*v. Solve -7 + g = k for k.
-4
Suppose 5*a = -b + 17, -b + 4*a - 20 = -5*b. Suppose c + b*c = 15. Solve m - c = -2 for m.
3
Suppose 2*l + f - 8 = -28, 0 = 5*l - f + 57. Let o = 14 + l. Solve -o*h + 4*h + 5 = 0 for h.
-5
Suppose 2*k + 6*j = 3*j - 6, -4*j - 8 = 4*k. Suppose -2*v + 0*v = k. Solve 3*x = -v*x - 9 for x.
-3
Let m be (-4)/10 + (-34)/(-10). Let b(h) = h**3 - 3*h**2 - h + 3. Let c be b(m). Solve -2 = -d - c for d.
2
Let q = -11 + 14. Solve q*v = v for v.
0
Let m = -10 - -42. Let f(r) = -r - 6. Let h be f(-6). Suppose -5*q + q + 48 = h. Solve -4*j + q = m for j.
-5
Suppose -14 = -2*s - 0*s. Let v(k) = 4*k - 2. Let p be v(6). Suppose 3*d = -7 + p. Solve -3 = -d*l + s for l.
2
Let p(q) = -q**2 - 2. Let m be p(-2). Let z = -6 - m. Solve z = 4*u + 6 + 2 for u.
-2
Suppose 0 = 4*a - a + 36. Let c = 18 + a. Let k be 4/2*c/4. Solve -j + k = -4*j for j.
-1
Let j = -1 + 1. Suppose j = 2*i - 13 + 5. Solve s - i = -0*s for s.
4
Suppose 6 = i + 1. Let r = i + 1. Solve -r*y + 16 = -2*y for y.
4
Suppose -18 = -3*c - 12. Solve c*i + 1 - 9 = 0 for i.
4
Let i be (4*-1)/(2/(-13)). Let l = i - 11. Solve 2*w - 5*w = l for w.
-5
Suppose -5*i - 5*o = 0, 10 = 4*i - 3*o + 3. Solve i = 2*g - 5 for g.
3
Suppose -c + o = -7, 4*c - 2*o - 10 - 8 = 0. Suppose 2*q - 3*q + 2 = 0. Solve q*g + c = -4 for g.
-3
Suppose 11*v = 15*v - 2*d - 48, 2*v - 24 = 2*d. Solve 0*f - v = 3*f for f.
-4
Let x(k) = k**2 - 2*k + 1. Let r be x(6). Let b be 4/8 + r/2. Solve -3*s = b - 4 for s.
-3
Let z = -4 - -6. Suppose 4*f = 10 + z. Suppose 0 = -b + f*b. Solve b*u - 4*u = 0 for u.
0
Suppose -t + 3*v - 7 - 4 = 0, -5*t - 5*v + 45 = 0. Solve 0 = -t*g + 3*g for g.
0
Let a(p) = p**3 + 7*p**2 - 2*p - 10. Suppose -12 = 3*n + 9. Let w be a(n). Suppose w*o = -5*c - 15, 5*c + 12 = c. Solve -4*r + o*r + 16 = 0 for r.
4
Let c be 3/4 + 0 + (-9)/12. Solve 0 = -c*r + 5*r for r.
0
Suppose 0 = -2*r - 2. Let c be (-18)/(-8) - r/(-4). Let q be -1*(-33 + -3)/3. Solve 0 = c*x - 5*x + q for x.
4
Suppose 0 = 2*g + 1 - 13. Solve 0 = -4*o + 2*o + g for o.
3
Suppose 0*s - s = -3*h + 10, h + 3*s = 0. Solve -h*f + 4 = 19 for f.
-5
Let s = -23 - -23. Solve s = z + 1 for z.
-1
Let b(u) = u - 5. Let c be b(7). Suppose -c*d = 3*d - 10. Suppose x - d = 4. Solve 0 = x*p - 4*p for p.
0
Suppose -r + 19 = 4*q, 4*q = -5*r - 6 + 5. Solve q + 0 = -2*i for i.
-3
Let x be (-39)/(-12) + 6/8. Suppose l = x*l - 12. Solve -h - h = l for h.
-2
Suppose -2*l + 2*n - 5 = -7, 0 = 3*l + n - 19. Solve 15 = -l*a - 10 for a.
-5
Let x = 1 + 8. Let s = 20 - x. Let c(i) = -i**3 - 2*i**2 - 2*i + 1. Let l be c(-2). Solve l*m + 4 = -s for m.
-3
Let g = -8 - -8. Solve -5*l - 3 + 23 = g for l.
4
Let l = -16 - -31. Suppose -4*j - j = -l. Solve -8*c + j*c - 20 = 0 for c.
-4
Let j = -152 - -165. Solve -j - 2 = 5*x for x.
-3
Suppose 0*o = o - 13. Suppose o + 54 = w. Suppose -5*h = 22 - w. Solve -4*s - h = -s for s.
-3
Let k(z) = z**3 - 7*z**2 + z + 1. Let a be k(7). Suppose 0 = -4*t - t - 3*i + 10, -5*t + 5*i = 30. Let y be (-1 - 2)/(-2 - t). Solve v - a = -y*v for v.
2
Let q(r) = r**2 + 2*r + 1. Let a be q(-1). Suppose -3*n - 1 = -7. Let b be 3 - (n + 3/(-3)). Solve a = b*y - 3 - 1 for y.
2
Let b(a) = -3 - 4 + 3 + a. Let c be b(0). Let p = -2 - c. Solve -p*u = u - 15 for u.
5
Suppose k + 0*k = 64. Suppose -4*u = -4*j + 100, 5*u = -2*j - 14 + k. Solve 6*i - i = -j for i.
-5
Suppose -10 = -3*d + 14. Suppose q + q = d. Solve q*h - 20 = -h for h.
4
Let k = 3 - 1. Suppose k*a + a - 72 = 0. Suppose -3*h + a = -h. Solve -4*s = -s + h for s.
-4
Suppose 16 = 6*v + 4. Solve -2*x = -x - v for x.
2
Let o = -4 - -10. Let l be (-6 - -3)*(-4)/o. Solve 2 = 4*n - l for n.
1
Let l be (2/5)/(2/20). Suppose 0 = 5*o + 3*g - 1 + 6, -5*g = -o + 27. Solve l*b = o*b - 4 for b.
-2
Let k(o) = -2*o**3. Let f be k(-1). Solve r + 3 = -f*r for r.
-1
Suppose -7 = -5*h - 17. Let o be (-4)/(-2) + h + 3. Suppose o*i + i = 0. Solve -p = -i*p + 1 for p.
-1
Suppose -4*b + r - 8 = -36, 0 = -3*b + 5*r + 38. Solve -2 = -4*s - b for s.
-1
Let u(f) = -f**3 + 4*f**2 - 3*f + 4. Let v be u(3). Suppose 0 = -v*n - 0*n + 8. Solve -n*c = 1 - 11 for c.
5
Let k(b) = -2*b**3 - 3*b**2 - b - 2. Let u be k(-2). Suppose 3 = -x + u*x. Solve 2*h - 3*h = x for h.
-1
Let x be (12/10)/(9/30). Let b be 10/(-65) + x/26. Solve 0 = -b*n - 3*n for n.
0
Let c be 0*(-1)/3*-3. Solve 5*y + c*y = 10 for y.
2
Let k be 15/10 + 7/2. Let a = 10 - k. Solve -15 = a*q - 2*q for q.
-5
Let d(k) = -k**3 + 7*k**2 - 7*k + 8. Let u be d(6). Suppose -4*y = u*m - 16, 5*m - 5 = 3*y - 6*y. Let h be (-6 - (-2)/(-1))/m. Solve -2*c + h = 12 for c.
-4
Let w be -1 - (-4 + (1 - -1)). Suppose -29 = 3*v + 5*h, 3*v - 2 = 3*h + w. Let m be -1 + -1*v/3. Solve -1 = -p - m for p.
1
Let i be (-3 - -2)/(1/(-2)). Let o(q) = -q**2 + 9*q - 7. Let g be o(7). Let k = g - i. Solve k*t + 1 = -4 for t.
-1
Let x = -5 - -9. Solve -7*o = -x*o for o.
0
Suppose -4*i - 3*x = 12, 6*x = -5*i + 3*x - 18. Let z = i - -11. Suppose -2*n + 2 + 8 = 0. Solve 0*u - z*u = -n for u.
1
Let y be (-26)/(-7) + 2/7. Solve 14 - y = -5*t for t.
-2
Suppose -p = 3*c - 20, -9 = -4*c + 11. Let g = p + -3. Suppose o - 2*o - 2*s + 15 = 0, 0 = -g*o + 2*s. Solve -o*t + 14 + 1 = 0 for t.
3
Suppose 0 = -3*o + 9, -3*j + 27 = 5*o + 6. Solve 0 = f - j + 4 for f.
-2
Let r(l) = 3*l - 21. Let u be r(11). Solve 0 = 3*k - 3 - u for k.
5
Let x = 16 - -1. Suppose 0 = -4*a - 0*w - 4*w + 20, -5*a + 46 = -2*w. Suppose 5*b = a + x. Solve -b*t = -2*t - 9 for t.
3
Let z(m) = 5*m - 3. Let r be z(6). Let c be r/12*2*6. Suppose 65 = 4*i + 3*a, 4*a + 93 = 5*i - c. Solve -4*q - 8 = -i for q.
3
Suppose -14 + 20 = 3*l. Solve l = k - 2 for k.
4
Suppose -2*u = 8, 5*u - 8 = 4*b - 40. Suppose -m + b*m = 0. Solve 4*p - p - 6 = m for p.
2
Let n(v) = -2*v**2 + 6*v + 2. Let r(i) = i. Let j(x) = -n(x) + 6*r(x). Le