- 3*x + 0*x = 0. Let n(p) = p**3 + 5*p**2 - 8*p. Let h be n(-6). Suppose 3*s - 3*q = 2*q + 18, x = -2*s + 3*q + h. Solve -s*a + 10 = -4*a for a.
5
Let j(u) = u - 1. Let p = 3 + 2. Let y be j(p). Solve -3*a + y = -11 for a.
5
Suppose 0 = 2*k + 2*k. Solve -u - 4 = -k*u for u.
-4
Suppose 2*z - 20 = -3*z + 5*g, -g = -5. Solve o + z = -2*o for o.
-3
Let w(k) = 4*k**3 - 11*k**2 - 5*k - 7. Let b(o) = o**3 - o**2 - 1. Let x(r) = 5*b(r) - w(r). Let j be x(-4). Solve 0 = 4*t - j - 2 for t.
4
Let k be (40/15)/(-8)*-3. Solve -k = -2*d + d for d.
1
Let b(a) = a**3 - 2*a**2 + 2*a - 2. Let f be b(2). Suppose 0 = f*h - 0*h - 8. Solve -2 + h = j for j.
2
Let x(g) = -5*g**3 - g**2. Let l be x(-1). Let o = l - 4. Let s = o + 1. Solve y + s = -0 for y.
-1
Let w be 5/2*(-6)/(-1). Let x be (-2)/4 - w/(-6). Solve -x*u = 3*u for u.
0
Suppose 0 = 2*b + 4 - 6. Solve -3*h = -b - 2 for h.
1
Let o = -14 - -22. Solve 0 = -2*f + o + 2 for f.
5
Let m = 8 + -8. Solve c = -m*c for c.
0
Let u(g) be the first derivative of g**2/2 + 18*g - 2. Suppose 4*l - 4*b = -36, 7*b = -3*l + 4*b - 21. Let t be u(l). Solve -p + t = p for p.
5
Let i be (2/5)/((-3)/(-15)). Let o = 5 - i. Solve o = t - 1 for t.
4
Let l be 7*((-31)/(-7) - 3). Suppose -3*v = v + 32. Let r = l + v. Solve -r*x + 1 = -1 for x.
1
Suppose -2*c + 14 = 2*b, 7*b - 2*b = 2*c. Suppose b*r - 5 = 5. Solve r*n = 2*n for n.
0
Let a be -10*(-5)/(50/15). Let w(c) = -c**3 - 2*c**2 - 2*c. Let k be w(-2). Suppose -4*t - k*r = -4, 2*t + 4*r - 1 - 3 = 0. Solve 2*q - 7*q + a = t for q.
3
Suppose 0 = -6*c + 2*c - 84. Let d(s) = -s**2 + s - 41. Let j be d(0). Let b = c - j. Solve b = -7*p + 3*p for p.
-5
Suppose -4*d - r + 6 = 0, -3 = 5*d + 4*r - 5. Let c = 11 - 9. Suppose 8 = c*y - 4*w, 2*w - 12 = -3*y + w. Solve -d*n = -y*n + 6 for n.
3
Let b be 1/4*59 - 8/(-32). Solve -4*u + 5 = -b for u.
5
Suppose 0 = s + m - 3, 5 = 5*s + 3*m - 6. Suppose 0 = 4*p + 8, 2*i + 1 = -4*p - s. Suppose -1 = c - 2*h, -8 + 2 = -4*c + 3*h. Solve 2*y + i = -c for y.
-3
Let m be 2/1 + 5 + (-12)/4. Solve m*c - 2 = 6 for c.
2
Let k = -8 - 2. Let c be (-3 + (-4 - k))*1. Solve 18 = 3*g + c for g.
5
Suppose -2*k - 4 = l, -k + 5*k = -l - 10. Solve -10 = -l*n - 3*n for n.
2
Let h = 22 - 9. Let q(p) = -p**3 + 12*p**2 + 12*p + 15. Let o be q(h). Solve 2 + o = -x for x.
-4
Let o(f) = 13 + 7*f + 3*f**2 + 3*f - 2*f**2. Let h be o(-9). Solve -h*c + 12 = -4 for c.
4
Let a(l) = -2*l**2 + 14*l - 16. Let t be a(5). Solve 0 = -0*j - 2*j + t for j.
2
Let y be 1 + (0/(-2) - 1). Let d(c) = -c**3 - 7*c + 6 - 4 - 8*c**2 + 1. Let s be d(-7). Solve y = s*x - 6*x for x.
0
Let m(a) = a**2 - 12*a + 22. Let k be m(10). Solve k*c = c for c.
0
Let d(l) be the first derivative of l**4/4 + 2*l**3 - 7*l**2/2 + 3*l + 2. Let f be d(-7). Solve -f*o = 2*o for o.
0
Let i be 0/((2 - 1)*-1). Let w = i - -25. Solve 5*h = -w + 10 for h.
-3
Suppose 3*p - 5*p = 0. Solve -16 = -p*h - 4*h for h.
4
Let l(s) = s - 7. Let v be l(13). Solve 0 = -j - j - v for j.
-3
Let a = 2 + 0. Suppose a*r = 3 + 3. Solve -8*l + r*l = 10 for l.
-2
Let y be (2/4)/(4/16). Solve 5*v - 9 = y*v for v.
3
Suppose 0 = -8*n + 9 + 55. Solve -3*l = -n*l - 10 for l.
-2
Suppose 3*h + r - 7 = 0, 0 + 10 = -5*r. Let i be (-4)/(-10) + 644/(-10). Let d = i - -89. Solve -h*j = 2*j - d for j.
5
Let d(a) = 4*a - 7. Let m be d(3). Solve 2 = m*n - 23 for n.
5
Let s(i) = 2*i + 30. Let d be s(-14). Let n(h) = h + 6. Let z be n(-3). Solve -5*f = z + d for f.
-1
Suppose 0*g - 10 = 2*g, 4*a + 5*g = 3. Let k be -1 + (-4 - (-1 - 0)). Let u = k + a. Solve u*t - 10 = -2*t for t.
2
Let s be -1 + 1 + (4 - -1). Let b(t) = t**2 + 31*t + 112. Let p be b(-27). Suppose -2 = -2*w - j, 0 = p*w + 3*j - s - 1. Solve 0*l - 3*l = w for l.
0
Let w = -88 - -89. Solve 1 = -2*o - w for o.
-1
Let a = -1 + 5. Suppose -23 - 1 = -a*o. Suppose o*h - 4*h = 0. Solve h = 2*m + 3*m - 5 for m.
1
Let g = -8 - -10. Solve -g = 6*r - 4*r for r.
-1
Suppose -2*f - w - 3*w = -16, -w = 4*f - 25. Suppose 0 = -5*z - 4*n + 8, 2 = -2*z - 2*n + f. Solve 4*t - 2*t - 8 = z for t.
4
Let u be 2/(-1) + (-4 - -11). Solve 0 = -u*b + 2*b - 6 for b.
-2
Let w(z) = -z + 23. Let m be w(19). Solve 0*s + 4*s = m for s.
1
Let j(b) = -b + 20. Let d be j(18). Solve -s + 0*s = d for s.
-2
Let b(r) = r**3 + 4*r**2 - r. Let m be b(-4). Suppose 0 = 3*w - 4*w - 2*x - 7, 2*w + m = -2*x. Solve w = -3*u - 6 for u.
-3
Suppose p = -2*p. Suppose -c = -y + 3 + 13, p = 4*y - 5*c - 60. Let j be -3*3/(-9)*y. Solve 0*k - 4*k = j for k.
-5
Let o(v) be the first derivative of 3 + 0*v - 3/2*v**2. Let n be o(-1). Solve -2*c + n*c - 4 = 0 for c.
4
Suppose -2*n - 5 = -4*r + 13, 3*r = 5*n + 31. Solve -r = -s - 3 for s.
-1
Let b = -11 + 14. Suppose 0 = b*u - 1 - 14. Solve 2*a - u = a for a.
5
Let d(w) = -w**2 - 5*w - 4. Let y be d(-4). Let n be (y - -6)*1/3. Solve 3 - 5 = n*l for l.
-1
Suppose 3*h - n - 5 = 0, -1 = 5*h + 2*n + 9. Solve h = -5*l + 2*l for l.
0
Let b(s) = -30*s. Let f be b(-1). Let h be f/8 + (-9)/(-36). Solve 3*q + h = q for q.
-2
Suppose 1 = 14*o - 27. Solve o*r - 11 + 1 = 0 for r.
5
Suppose 0 = -3*j + 2*j + 2. Solve j*n = -n - 3 for n.
-1
Suppose 6*y - p - 28 = 2*y, 3*y - 5*p = 38. Solve -x - 2 + y = 0 for x.
4
Let y be 2/(-5) - (-2320)/50. Let j = y - 28. Solve 3*r - j = -3 for r.
5
Suppose -73 = -3*q - v, 5*q - 3*v - 129 = -v. Solve 4*l + l = q for l.
5
Suppose 3*g - 1 - 11 = 0. Solve -5*a - g = -3*a for a.
-2
Let y = -19 - 19. Let b be (-11)/(-55) + y/(-10). Solve 6*x - b*x = -8 for x.
-4
Suppose -4*h - 16 - 8 = 0. Let k be -3 + (3 - (h + -3)). Solve -34 = -5*j - k for j.
5
Let j be 2/(-5) + 36/15. Suppose 0 = -j*p + 3*p. Suppose p = -3*o + 7 + 8. Solve o*x = x for x.
0
Suppose 0 = 3*b + 5*f - 29, f = -3*b + 6*f - 11. Suppose 2*w - 7*w = 0. Suppose 0*q + q - 9 = w. Solve b*p + 3 = -q for p.
-4
Suppose 3*k = 9 - 0. Solve -k*t + 6 = -t for t.
3
Suppose 10*y + 9 = 49. Solve -j = y*j - 5 for j.
1
Suppose -4*u - 4*h = 8, -2*h - 18 = -6*u + u. Suppose 2 = u*v, 0 = q - 0*v - 2*v - 1. Solve z + q*z + 20 = 0 for z.
-5
Suppose 10 = 5*f - m + 4*m, -3*f + 40 = -5*m. Suppose 0 = p - 5*s, -4*p = p - 5*s - 40. Let a be (2/5)/(1/p). Solve -w = -f*w + a for w.
1
Let m = -37 + 57. Suppose 5*l - m = -0*d - d, 4*l = -d + 17. Solve -5 = l*x - 11 for x.
2
Let a = 2 - -2. Solve a*n + n = 0 for n.
0
Suppose 0 = -5*w - 3 + 8. Suppose 2*u + 1 = -4*c - w, 0 = c - 4*u - 22. Solve -c = 3*s - s for s.
-1
Suppose 5*a = -0*m - 4*m + 111, 3*a = -5*m + 64. Let x = 37 - a. Let r = -10 + x. Solve -16 = r*g + 4 for g.
-5
Let h be (-16)/(-3) + 8/(-24). Solve 14 + 6 = -h*v for v.
-4
Let p(n) = 6*n**2 + n - 1. Let m be p(1). Let z be (1 - 0)/(3/m). Suppose 4*v + z*i - 1 = 1, 5*v - i - 13 = 0. Solve -5 - 3 = -v*f for f.
4
Let q be 8/20*-1*-40. Solve q = 2*u + 2*u for u.
4
Suppose 9*s = 13*s. Solve s*y - 3*y = -6 for y.
2
Suppose 2*d - 9 = 1. Solve -5*w + 0*w = d for w.
-1
Let b be (-1)/((4/16 - 0)/(-1)). Suppose 0 = -4*g + 16, v + 3*g + 4 - 17 = 0. Solve u + b = -v for u.
-5
Suppose -5 = -4*k + 2*y - 3, -4 = 4*k + 4*y. Let t be (-1 - 0)/((-1)/12). Solve -t = -k*g + 4*g for g.
-3
Suppose 0 = 5*o - 6*o + 2. Suppose -o*x = x. Solve x*t + 12 = -4*t for t.
-3
Let v = -118 + 118. Solve v*l - 5 = -l for l.
5
Suppose -5*j + 28 = -3*v, -4*v - 71 = 3*j - 24. Let l(i) = -i**3 - i**2 + 13. Let y be l(0). Let k = y + v. Solve u + k = -1 for u.
-3
Suppose -2*k + 4*k + 4 = 5*i, 4 = -4*i + 4*k. Let f be -3*2*(-4)/8. Solve -o = -f*o + i for o.
1
Let c = 35 - 33. Solve -c*r = -0*r + 4 for r.
-2
Suppose 36 = -5*o + b, -5*b + 6 = 1. Let k = -4 - o. Let m be -2*(2 - (-34)/(-4)). Solve m = 2*w + k for w.
5
Let a = 71 - 61. Solve a = 3*f - 8*f for f.
-2
Suppose -2 = -5*f - q + 3, -3*f + 26 = -4*q. Solve f*p + 12 = 5*p for p.
4
Let d(k) = -k**2 - 6*k - 6. Suppose 3*a = n - 7, -4*a - 4*n = n + 41. Let p be d(a). Solve -p*x - 15 = -5*x for x.
5
Let j(p) = -p**3 + 7*p**2 + 3. Let s be j(7). Solve 2 = -s*a - 13 for a.
-5
Let h = -4 - -10. Suppose -3*b = -0*b. Suppose 3*r - 5*r + h = b. Solve r*z - 3 = -9 for z.
-2
Let d = -18 + 21. Suppose j - 4*v + 56 = d*j, -v = -5*j + 96. Solve j = -0*n - 4*n for n.
-5
Let q(z) = z**3 - z + 1. Let n be q(-2). Let b be -4*(5/4)/n. Solve p + b = 3 for p.
2
Let z(u) = u + 23. Let r be z(-18). Suppose 0 = 5*w + 2*g - 20, -4*g + 21 = -2*w + 5. Solve