- -1. Solve -8*m = -a*m for m.
0
Let t(r) = r**2 + 8*r - r**2 - r**2 - 3. Let q be t(7). Solve n = -n + q for n.
2
Let d be (-57)/(-12) + (-2)/(-8). Suppose -20 = -7*s + 2*s. Solve -d = s*k - 25 for k.
5
Let l(r) = r**3 - r - 2. Let m be l(2). Solve 1 = s - m for s.
5
Let p = 1 + 1. Let f be 1*(p/(-2) - -5). Solve 22 = f*q + 6 for q.
4
Let y(x) = x**3 + 7*x**2 - 9*x - 1. Let r be y(-8). Suppose 0 = -5*g + 3*g. Let f = 8 + g. Solve 0 = -r*j + 3*j + f for j.
2
Let l(i) = i + 12. Let b be l(-11). Let d(s) = 4*s**3 + 2*s**2 - 1. Let t be d(b). Suppose 0 = 2*c - 4. Solve -t - 1 = c*n for n.
-3
Let d be 1*(-3 + 4 + -1). Suppose -4*w = -d - 16. Solve w*k = 2*k for k.
0
Let h = -4 - -36. Suppose g = 5*g - h. Solve g*k = 3*k + 5 for k.
1
Let q be ((-578)/85)/((-2)/5). Let g = q - 11. Solve 2*k + 4 + g = 0 for k.
-5
Suppose -2*u = -2*p - 3*u + 2, -5*u = -4*p + 18. Suppose -4 - 1 = -a. Suppose 0 = -p*v + 2*b + 60, b + 138 = a*v - 0*b. Solve -v = 4*q - 7 for q.
-5
Suppose 14*p - 21 - 21 = 0. Solve -p*t - 10 = 2 for t.
-4
Suppose 0*r = 5*c + r - 25, 5*c - 20 = -2*r. Solve 3 = l + c for l.
-3
Let s = -7 + 5. Let d be ((-4)/8)/(s/12). Solve -n - d - 1 = 0 for n.
-4
Suppose 0 = -10*t + 12*t. Let z be (-2)/7 - 74/(-14). Suppose 0 = -4*k - 2*y + 14, -z*k - 2*y + 26 - 6 = 0. Solve t = -0*s - 3*s - k for s.
-2
Let u(g) = 3*g**2 + 2*g - 1. Let m be u(1). Suppose 0 = j + 2 + 2, -5*h - 4*j + 9 = 0. Solve -1 = -m*z - h for z.
-1
Suppose 0 = 2*m - 5*m + 9. Suppose 5 + 4 = m*g. Solve -g*d = 7 - 22 for d.
5
Let h be 24/6 - 4*1. Solve l + 4 = -h*l for l.
-4
Let t be (-6)/(-5) - 16/(-20). Suppose 0*c = -3*c - t*q + 8, 7 = 4*c - q. Solve z + 3 - c = 0 for z.
-1
Let c = -44 + 49. Suppose -6*n + 100 = -n. Solve 0 = c*d + n for d.
-4
Let t be -5*(-3)/(-25) - 23/(-5). Solve t*a - 3*a - 5 = 0 for a.
5
Let m be (2/3)/(5/30). Suppose -4*f - 12 = -5*w - 0*w, -3*w = m*f + 12. Let q(u) = -16*u - 1. Let x be q(-1). Solve w = -5*d - 0*d + x for d.
3
Let q(t) = -t**3 + 5*t**2 - 4*t. Suppose -4*c = s - 20, -4*c + 8 = -8. Let l be q(s). Solve -3*n + 15 + 0 = l for n.
5
Let t be 6/(-10) - 26/(-10). Suppose w - t*q + 6 = 0, 4*q - 12 = -2*w + 6*w. Solve w = -5*l - 2 - 3 for l.
-1
Suppose 2 = 2*g - 3*j - 1, -4*g + 15 = -3*j. Suppose -g*w + 20 = o - 3*w, -20 = -5*o + w. Solve -o = v - 6*v for v.
1
Suppose 0*b + 40 = 5*b. Let w = b + -6. Let t = -3 - -5. Solve t = w*p + 4 for p.
-1
Suppose -2*r - 12 = -k, -3*r + 7*r + 3*k + 24 = 0. Let x = r - -22. Suppose 5*c = 5*g - 5, 2*c = 3*g - 1 - 3. Solve 2*w + x = -g*w for w.
-4
Let n(m) = -2*m - 31. Let r be n(-17). Suppose 2 = 5*y - 3*y. Suppose y + 2 = 3*j. Solve 0 = f - j - r for f.
4
Let i(p) = -2*p**3 - p. Let v be i(-1). Solve -v*m - 2*m - 15 = 0 for m.
-3
Suppose 30 = 5*h + h. Solve h*g - 6 = 4 for g.
2
Suppose -q = 4*n - 15, -2*q = -n - q + 5. Solve n*x = 2*x for x.
0
Suppose 0 = -9*l + 13*l. Suppose -5*s - g = -2 - 4, l = 2*s + 4*g + 12. Solve 1 = y + s for y.
-1
Let c(m) = -4*m**2 - 6 + 5*m + 4*m + 3*m**2. Let f be c(7). Solve -5*w - f = -w for w.
-2
Suppose -5*j = 4*a + 11, j + 0*a + 11 = -3*a. Solve 4*t - 13 = -j for t.
3
Let j be 4/8*(-3 - -3). Solve j*x = -x - 1 for x.
-1
Let m be (-12)/12*(0 + 1)*-4. Solve 4 = m*y - 0*y for y.
1
Suppose 10*q - 6*q - 40 = 0. Solve 6*r = r + q for r.
2
Let c(a) be the first derivative of a**2/2 + a - 5. Let x be c(3). Solve -2*u - x = 2 for u.
-3
Let x(k) = -k**3 + 3*k**2 + k + 1. Let i be x(3). Solve -i*m = -m - 9 for m.
3
Suppose -3*k - 3 + 12 = 0, r - 15 = -4*k. Let a be (4/(-6))/(4/(-18)). Let d = a - r. Solve d*x - 5*x - 5 = 0 for x.
-1
Suppose -9 = 2*y - 5. Let x(s) = -2*s**3 - s**2. Let i be x(y). Solve -7*w = -3*w + i for w.
-3
Suppose m = -4*m. Let r = -10 - -13. Let c be (-21)/(-9) - 2/6. Solve -r*z - c + 5 = m for z.
1
Let u(d) = -11*d - 13 + 4*d**3 - 3*d**3 + 10*d**2 + 14. Let j be u(-11). Solve r - j + 2 = 0 for r.
-1
Let x = 14 - 14. Solve 4*v + 2 - 10 = x for v.
2
Let a be (-212)/(-18) - 4/(-18). Suppose -2*m = m - a. Solve -m*y = -3*y - 4 for y.
4
Let x be (-1 + -1)/(0 + -2). Solve -f - x = -3 for f.
2
Suppose -3*o + 0*o - 21 = 0. Let t be (o/4)/((-3)/12). Solve 4*k + 3 = t for k.
1
Let r(v) = v + v**2 - 10*v**2 + 0*v**3 + 9*v - v**3. Let g be r(-10). Solve 4*k + k + 10 = g for k.
-2
Suppose -3*s = d - 7 - 17, 4*d = -2*s + 56. Suppose -4*b + 0 = -d. Solve 5*t = b*t for t.
0
Let f(u) = -3*u + 50. Let x be f(16). Solve -2 - 2 = -x*s for s.
2
Let i(u) = 2*u - 31. Let a be i(17). Solve 5*w = a*w - 4 for w.
-2
Let j be ((-18)/3)/(6/(-8)). Let i = j + 7. Solve -3*k = -6*k + i for k.
5
Let t = 0 - -2. Suppose -5*m + 4*m + 3*f - 7 = 0, -m = -4*f + 11. Suppose 2 = g + s - 2, -m*g - s + 16 = 0. Solve -t = g*j - 14 for j.
4
Let q(u) = u - 6. Let j be q(17). Solve -4*r = j - 3 for r.
-2
Let a = 17 - 11. Suppose -l - 5*k - 8 = -21, 4*l - 3*k - a = 0. Solve -l*w + 8*w + 20 = 0 for w.
-4
Suppose 5*k = 2*y + 12 + 3, k = 3*y + 3. Solve a = -0 + k for a.
3
Let a(o) = 2*o**2 - 37*o + 20. Let r be a(18). Solve r = -y + 3 for y.
1
Suppose m = -5*b + 6, 0*b - 5*b = 2*m - 2. Solve b*a = 6*a - 12 for a.
3
Let y(t) = -2*t + 6. Let s(r) = -r**2 + 3*r + 3. Let w be s(-2). Let x be y(w). Suppose -4*n + 1 - 25 = -u, -5*n - x = 0. Solve 0 = -3*g + u*g for g.
0
Let o(a) = -a**3 + 9*a**2 + 2. Let y be o(9). Solve -y + 0 = -2*d for d.
1
Let b = -10 + 13. Solve -b*r + 0 = 3 for r.
-1
Suppose 0 = -4*b + u + 1 + 6, 0 = -5*b - 5*u + 15. Solve b*j = j + 3 for j.
3
Suppose -8*u = 5*u - 195. Solve 2*y = -y - u for y.
-5
Let c(n) = n + 17. Let j be c(-14). Let l(a) = a**3 + 8*a**2 + 8*a + 4. Let t be l(-7). Let b = t + j. Solve b = -2*p + p for p.
0
Let p(v) = -7*v + 2. Let h be p(-2). Suppose 0 = -4*n + h, m - 2 = 4*m - 2*n. Solve m*a - 3*a = -1 for a.
1
Suppose 5 = 4*f - 9*f. Let g be 16*(2 - f)/6. Solve 4*h = g*h - 8 for h.
2
Suppose 2*r = 5*r - 12. Let u = -1 + r. Solve -u*a = a for a.
0
Let q(z) = -z**2 - 10*z - 10. Let b be q(-8). Solve -4*o + b = 2 for o.
1
Let k(c) = -c**3 + 6*c**2 + 6*c + 9. Let g be k(7). Solve -3*n + g = 14 for n.
-4
Let u(o) be the second derivative of -o**3/3 + o**2/2 - 2*o. Let i be u(-1). Solve -i*v = -0*v for v.
0
Let o(p) = -6*p**3 - p**2 + 1. Let w be o(-1). Solve 25 = -w*y + y for y.
-5
Suppose -2*k - 5*z - 1 - 9 = 0, 5*z + 10 = 5*k. Solve k = 5*r - 17 - 3 for r.
4
Let c = -44 - -64. Suppose 0 = -2*s + 3*s. Suppose 3*o - 2*o = s. Solve -4*z + o = c for z.
-5
Suppose -61 = -2*w + z, 2*w - 6*w - 2*z = -134. Solve -w = 4*n - 12 for n.
-5
Suppose 0 = -3*u + u + 4. Let o = 1 - 3. Let g be -4*1*o/4. Solve -n - g = u for n.
-4
Let c be -3 - -4 - (0 - -1). Let u be (-1)/2 + 22/4. Suppose -2*r - 13 = u*o, -2 = 6*r - 2*r + 2*o. Solve c*x + r = -x for x.
-1
Suppose v - 2*v + 2 = 0. Suppose y = -3*y + 12. Let p = y - v. Solve -7 = 4*s + p for s.
-2
Suppose 4*c + 12 = 3*i, -c - 2 - 1 = i. Solve i = -l + 6 - 2 for l.
4
Let v(x) = x**3 + 5*x**2 - 6*x. Let y be v(-6). Let d(s) = 14*s - 9. Let j be d(6). Suppose -2*a + j = 3*a. Solve y = 5*h + a + 5 for h.
-4
Suppose -2*h + 2*n = 6, 3*h + n + 4*n - 31 = 0. Suppose -5 = -a + f, h*a - 5 = a - f. Solve -a = -l - 4*l for l.
1
Let p be (-1)/(-4) - (-15)/4. Suppose -2*i = p*o - 12, i - 5*o - 29 = -2*i. Let b(g) = -g**2 + 5*g - 2. Let n be b(3). Solve 0*h + n*h - i = 0 for h.
2
Suppose 5*m + 3*h + 3 - 44 = 0, 4*h = -4*m + 28. Suppose -4*y = 3*u - 14, 4*u = -0*y + 2*y + 4. Solve -4*f = -u*f + m for f.
-5
Suppose -p - 2*m - 3 = 0, -3*p = p + 4*m. Suppose 2*n + 6 = p*n. Solve q - n = -2*q for q.
2
Let d = 8 + -5. Solve -d - 1 = -g for g.
4
Let t(w) = w**2 - w + 1. Let f be t(0). Suppose 2*o = -3 + 23. Suppose -f = v - o. Solve 0 = 4*p - v - 7 for p.
4
Let d be 180/24*8/6. Solve -2*t - 3*t - d = 0 for t.
-2
Suppose 3*w + 0*w = 0. Suppose w = -2*m - 3 + 11. Suppose -2*f - 2 = 5*n, 0*n = -5*n - 10. Solve -2*v + f = -m for v.
4
Let o(g) be the first derivative of g**2/2 - 4*g + 1. Let i be o(4). Solve r + i*r - 4 = 0 for r.
4
Let p(v) = -v**2 + 2*v. Let c be p(0). Solve c = 2*n - n + 1 for n.
-1
Let o be 0 - 48/(-20) - 6/15. Solve y = -o*y for y.
0
Suppose 2*d - 2 = 2. Suppose -d = -2*v + 2. Solve -v = 4*q + 2 for q.
-1
Let d be (2 - 2) + 1 - 7. Let r = d - -10. Let s be (-4)/(-8) + (-2)/r. Solve s = f - 0 + 5 for f.
-5
Let f = 83 - 71. Solve 2*u + u - f = 0 for u.
4
Le