.
2
Suppose -3*a = 4 - 31. Solve -3*x + 3 - a = 0 for x.
-2
Let j(n) = -9*n - 2. Let l be j(1). Let f(w) = 2*w + 25. Let t be f(l). Solve -1 = t*g + 2 for g.
-1
Suppose 2*p - 4*a - 1 = 1, -4*p + 5*a = -4. Suppose 4*r - 16 = 0, 2*q - 4*r + p = -5. Solve 7 = 4*j - q for j.
3
Let v be (-207)/(-45) - 6/10. Solve 0*i = -v*i - 12 for i.
-3
Suppose z = 2*v - 7, -z = -v + 2*z + 1. Suppose 0 = 5*k + 5*d - 20, v*d + 11 = 3*k - 15. Suppose 2 = -4*m + 5*m. Solve 0 = -4*q + m*q + k for q.
3
Let q(f) = -f**2 - 2*f + 3. Let p be q(-3). Let x = p - 0. Suppose -h + 14 = 5*y, -5*h + 14 = 2*y - 5*y. Solve -h*m = -x*m for m.
0
Let x = 5 - 3. Solve 3*d + x = -7 for d.
-3
Let x = 68 - 68. Solve -2*q - q + 9 = x for q.
3
Let k(g) = -g**3 + 23*g**2 - 22*g + 1. Let s be k(22). Solve -w - s = 1 for w.
-2
Let f = -1 + 5. Suppose -f*d - 5*c + 1 = -0, 4*c + 20 = 2*d. Solve k + 1 = d for k.
3
Let u(q) = -3*q + 4*q + q**3 + 2*q**2 + q**2. Suppose 6*z + 8 = 2*z. Let w be u(z). Solve 3 + w = -c for c.
-5
Let c(x) = x**3 + x**2 - x + 1. Let p(v) = -4*v**3 + 2*v**2 + 2*v - 1. Let k(q) = -3*c(q) - p(q). Let u be k(5). Solve -b = -u*b - 10 for b.
-5
Suppose 6 = -4*p + p. Let h(q) = q + 2. Let f be h(p). Suppose f = 2*i - i. Solve -4 = -4*z - i for z.
1
Let m = 15 - 3. Suppose -r + 26 = s - 7, -2*s - 5*r = -57. Let g = -33 + s. Solve -g*h - 3 = -m for h.
3
Suppose 0 = s + 3*h - 36 - 0, -2*s + 51 = -h. Let b = -11 - 5. Let r = s + b. Solve r = -2*y + 1 for y.
-5
Suppose 10*m - 47 = 3. Solve 0 = -m*j - 5 for j.
-1
Suppose -3*c + 2*i + 26 = -5, -4*c + 4*i + 36 = 0. Let h(p) = -p**2 + 12*p + 17. Let n be h(13). Solve n*g - c - 3 = 0 for g.
4
Let t be (-4 - -6)/(2/(-9)). Let m = 11 + t. Solve 2 - 8 = -m*k for k.
3
Suppose 55 = 4*t - 93. Let x = 53 - t. Solve -u - 3*u = -x for u.
4
Suppose -o + 22 = 6. Solve -4*y = -8*y + o for y.
4
Suppose -g = -8*g. Solve g = -m - m for m.
0
Suppose -3*c + 5*f + 30 = 0, 30 = 3*c - 0*c + f. Solve -j - j = -c for j.
5
Let v = 32 + -22. Let u(r) = -5*r + 1 + 0 + 7*r - r**3 + 2*r**2. Let c be u(-1). Solve -c*t + v = 3*t for t.
2
Let t be (-10)/(-30)*9*2. Suppose t = i + v, 8 + 0 = -4*i + 4*v. Solve -3*j - 7 - i = 0 for j.
-3
Let o(s) = 3*s**2 + 1. Let x be o(1). Let d(y) = -2*y + 4. Let g be d(0). Suppose 4*m - 2*v - 4 = 0, -g*m = -4*v - 0*v. Solve 4*r = m*r + x for r.
2
Let q(v) = v + 4. Let b be q(0). Suppose g + 14 = f + b*g, 5*f + g - 14 = 0. Solve 3*t + f*t = -15 for t.
-3
Suppose 7*s = 5 + 16. Solve 3*g + s = 12 for g.
3
Suppose 5 - 2 = 3*o. Suppose 3*h - 2*q + o = 12, 41 = 3*h + 4*q. Solve h = -2*m - 1 for m.
-4
Let j = -20 - -20. Solve -v + 5 = -j*v for v.
5
Suppose -6 = -x + 6. Solve 5*f + x = 2*f for f.
-4
Suppose 3*n = 2*n. Let s be 39/12 - (-1)/(-4). Suppose 0*r + 5*g + 7 = r, r - s*g = 5. Solve -4*w - 2 - r = n for w.
-1
Let v be (-10*1/(-4) - -2)*2. Solve 0*a = -3*a + v for a.
3
Let g(y) = y + 4. Suppose 0 = -5*r - 25, -3*h + 8*h + 2*r = 5. Let v be (0/h)/(1 + 0). Let b be g(v). Solve -b*w + 12 = -4 for w.
4
Suppose y + 1 = -2*s - s, 3*s + 4 = -4*y. Solve 3*u = -s*u - 3 for u.
-1
Let x be (-1)/(-2)*60/(-5). Let v = x - -10. Solve -a - 1 = v for a.
-5
Suppose -6 = -4*x + 18. Solve x - 21 = -5*k for k.
3
Let y be (-6)/(-9) - (-4)/12. Solve -b - y + 3 = 0 for b.
2
Let z = -10 + 15. Solve -6*i + i = -z for i.
1
Let m = 47 + -42. Solve -m*z + 2 = -3 for z.
1
Let l be (-3)/7 - 102/(-42). Suppose 4*a - l*a - 3 = d, 0 = 5*a + 5*d - 15. Solve 2*g = a - 0 for g.
1
Let x = -1 + 2. Solve 7 + x = -4*m for m.
-2
Let s(q) = q**3 - 7*q**2 - 6*q - 14. Let f be s(8). Solve -f = 2*r + 4 for r.
-3
Let x(s) = s - 4. Let l be x(5). Let o = -4 + 4. Suppose -y = -o*y - l. Solve 4*n - y - 3 = 0 for n.
1
Let r(f) = f**3 - 7*f**2 - 9*f + 5. Let l be r(8). Suppose -20 = 2*z - 7*z. Let g be 6/(-4)*z/l. Solve -n = g*n - 3 for n.
1
Let z(x) be the second derivative of 2*x**3/3 + x**2/2 + 2*x. Let t(d) = -d - 2. Let p be t(-3). Let j be z(p). Solve -j*l - 2 = 3 for l.
-1
Suppose 0 = 7*z - 8*z - 13. Let d = -8 - z. Solve -7*g + d = -2*g for g.
1
Suppose -4*d + 0*d = -5*d. Let m = 14 + -10. Solve d = v + v - m for v.
2
Let q(f) = 10*f + 24. Let p be q(-2). Solve -p*c - 12 = -0*c for c.
-3
Let g = -4 - -4. Suppose -24 = -g*m - 3*m. Let j be (1 - 1/2)*m. Solve j*h - 3*h = 5 for h.
5
Suppose -4*q = -3*i + i - 24, -i + 44 = 5*q. Solve -4 = 4*g - q for g.
1
Suppose -2 = -3*x + q - 3, 0 = 3*x + 3*q - 3. Solve -3*c = 3 - x for c.
-1
Let w(s) = -s**2 - 11*s - 4. Let b be w(-8). Suppose 3*p + 3*i - 20 = -p, 5*i - b = -4*p. Solve p*l = -0*l + 15 for l.
3
Suppose -6*s + s = -10. Suppose 3*n - 5*k + 16 = 0, -3 = 4*n - 2*k + 9. Let c be (-11 - 4)*n/6. Solve s = f + c for f.
-3
Let t be 1/(-4) + (-1)/(-4). Suppose 4*u = -9*p + 4*p + 23, 3*p - 5*u + 1 = 0. Suppose -3*d - 21 = -p*f, -d + 6*d + 25 = 0. Solve -f*l + l - 3 = t for l.
-3
Let h be 11 - 0 - (13 + -11). Let f(w) = -w**3 + 8*w**2 + 10*w - 9. Let b be f(h). Solve b = -2*p + 5*p for p.
0
Suppose 19*d - 100 = -d. Solve -d*l + 11 = -14 for l.
5
Let o = -6 - -9. Suppose -2*b + 2 = v, 0 - 8 = -2*b - 4*v. Solve -o + b = -y for y.
3
Let x be ((-1)/3)/((-1)/3). Suppose -3*h + h + 3*a - 13 = 0, 9 = 4*h + a. Solve x = -2*y - h for y.
-1
Let p(a) = a**2 + 8*a + 14. Let n be p(-7). Let h be (5 - -1)/((-3)/(-2)). Solve h*y + 5 = -n for y.
-3
Let s(c) = 2*c - 5. Let w be s(4). Solve -4 = w*q - 2*q for q.
-4
Let d = -5 - -3. Let u be (d/2)/(4/(-16)). Solve s + 15 = u*s for s.
5
Let x = -47 + 48. Solve 0*s = s - x for s.
1
Let a = -191 - -191. Solve a = b - 2*b for b.
0
Let s be 6/(3/(-6)*-4). Suppose -2*v - f + 20 = 0, 3*v - s*f = -v + 40. Let d = v - 7. Solve 0 = d*b + b for b.
0
Suppose -v - 16 = -5*v. Let r = 11 - -1. Solve 4*b - r = v for b.
4
Let c = -6 + 12. Suppose 0 = -2*o - 0*o + 4. Let v = c - o. Solve -v*u + 5*u = -4 for u.
-4
Suppose 15 = 4*y - 1. Let n be 10 + (8 - (-3 - -18)). Let t be (-67)/(-5) + (-2)/5. Solve y = n*o + t for o.
-3
Suppose f + 3*f - 76 = 0. Solve -1 - f = -4*o for o.
5
Suppose 3*x = 0, -3*s + 2*x + 4 = s. Suppose 3*u - k + 1 - 9 = 0, u - 4*k + s = 0. Let p = 16 - 7. Solve -u*d + 3 + p = 0 for d.
4
Let m be 90/(-27)*72/(-10). Suppose -2*q = -2*j + m - 4, -2*j = 4*q - 8. Solve -4 = -3*a + j for a.
4
Suppose 28 - 20 = d. Solve 2*x + 0*x - d = 0 for x.
4
Let o(g) = g**3 + g**2 - g - 1. Let c be o(-1). Let q = 0 - c. Solve q = v - 7 + 3 for v.
4
Let s(n) = -n**3 - 4*n**2 + 6*n. Let x be s(-5). Let z = 8 + x. Solve -z*r + 12 = -0*r for r.
4
Let l be 510/12*(-8)/(-10). Suppose -z - 8 = -o - 0*o, -l = -5*o + 3*z. Solve -4*p + 1 - o = 0 for p.
-1
Suppose 2*x = -3*x + 20. Solve 0 = 2*y - x*y for y.
0
Suppose -2*j - 96 = 2*j. Let s = 17 + j. Let d = 10 + s. Solve d = -z - 0 for z.
-3
Let w = 5 - -10. Suppose -10 = -2*z - 3*z. Solve z*t = -3*t + w for t.
3
Suppose r + r - 24 = 0. Let p = -10 + r. Solve -p*w - 15 = w for w.
-5
Suppose -12*j - 52 = -16*j. Solve j - 1 = -4*c for c.
-3
Suppose -5*i + 0*v = 3*v + 12, 2*v + 8 = 0. Solve i = 2*x - 7*x for x.
0
Let x = -18 + 19. Solve -5*f + x = 16 for f.
-3
Suppose -r + 14 = 5*k, -8 = -3*r + 2*k - 0. Suppose 4*f = r + 8. Solve 2 = f*v - 5*v for v.
-1
Suppose 0 = j - 0*j - 4. Suppose 46 = 4*y + y + 3*r, -j*y = -4*r - 24. Solve 4*s - y = -0*s for s.
2
Let x(q) = q**3 - 2*q**2 - 2*q + 1. Let t be x(3). Solve -s = -2*s - t for s.
-4
Let r = -7 + 22. Suppose 2*s - r = s. Solve 3*x = -0*x + s for x.
5
Let c be 345/39 + 4/26. Solve -c = -2*r - r for r.
3
Suppose 3*j + 0 - 3 = 0, -5*x + 10 = -5*j. Suppose 2*h = -p + x*h + 3, 0 = -4*p - 2*h + 6. Solve 0 = -p*t + t - 1 for t.
-1
Let d be 11*-1*6/(-33). Solve -d*c = -7*c for c.
0
Let g be 45/(-75) + 67/(-5). Let v = g - -14. Solve v*d = 5*d for d.
0
Let a = -28 + 33. Solve a = w + 4*w for w.
1
Let s(w) = -w**2 - 5*w + 8. Let z be s(-6). Let k = 65 + -65. Suppose -f = 2*g - 26, 0*f - 3*g = -2*f + 38. Solve -5*u - f + z = k for u.
-4
Suppose 0 = -2*c + c. Let w = -7 + 10. Suppose 4 = w*u - 4*u + 2*j, u - 11 = -j. Solve 3*t = u - c for t.
2
Suppose 5*u - 41 = 19. Solve -u = w + 3*w for w.
-3
Suppose -11*f = -15*f + 20. Solve -2*o + f*o = 6 for o.
2
Suppose -2*b - 3 = -4*s - 1, -b = -3*s + 4. Let i be 6*((-5)/s + 2). Solve -i*v - 2*v = -4 for v.
1
Suppose 0 = -5*v - 5, 0 = 5*j + v - 9 - 10. Solve 9*f = j*f - 25 for f.
-5
Let i(a) = 1 + a + 4*a