.
2
Suppose -2*m + 6*m = 0. Let y(i) = -i + 12. Let o be y(m). Suppose q = 3*q - o. Solve q = -d - d for d.
-3
Let s = -27 - -42. Suppose 1 = 4*q - s. Suppose -u = 3*a + 1, -5*u = 2*a - 9*u - q. Solve a = -5*i + 30 - 10 for i.
4
Suppose 1 = c - 0. Suppose 6*r - 3*r = -6. Let h be -1 + 2/r*-1. Solve h = -s + c - 6 for s.
-5
Suppose -2*s - v = -28, 9 = -4*v - 7. Suppose 5*r = 3*r. Suppose 5*u - k - s = 0, r*k + 7 = u - 4*k. Solve 0 = -d - u + 5 for d.
2
Let d(k) = k**2 + 6*k - 8. Let s be d(-7). Let i be -4 - -8*s/(-2). Solve 6 = -i*j - 3*j for j.
-2
Let k be (-28)/98 - (-132)/21. Solve k*f - f = 0 for f.
0
Let c be (57/76)/(6/16*1). Solve c + 0 = x for x.
2
Let y(z) = z**3 - 8*z**2 + 7*z + 4. Let m be y(7). Suppose -2*f = -6*f + 180. Suppose 0*n + 5*n - f = 0. Solve n = -m*i - 3 for i.
-3
Let x be (-256)/(-44) + (-6)/(-33). Let j be 48/9 + 2/(-6). Solve -1 + x = j*k for k.
1
Let x be (-50)/(-8) + 7/(-28). Solve x*i = i for i.
0
Suppose -5 = -4*v + 11. Solve 0*b + v = -4*b for b.
-1
Suppose -4*w - 4*y - 26 = 2, 3*y = 4*w + 56. Let s = w - -15. Solve s*v = -v + 15 for v.
3
Let o be -2 - ((-1 - 2) + -1). Solve v = o*v - 5 for v.
5
Suppose 0*z + 3*z + 23 = 4*u, -2*u + 4*z + 14 = 0. Let t be (-26)/(-7) - (-4)/14. Solve -t*h = h + u for h.
-1
Let w be (-44)/(-20) - (-4)/(-20). Suppose -p - p = -146. Let t be 4/6 + p/3. Solve -7*a + w*a = -t for a.
5
Let x = 3 - 0. Suppose 6*k - k = -3*b + 25, x*k = 3*b + 15. Solve 2*a - a - 1 = b for a.
1
Suppose 8*q = 9*q. Solve 3*t = -q*t - 9 for t.
-3
Suppose q + 4*v = 14, 2*q + 2*v - 12 = -q. Solve -3*u + q = -1 for u.
1
Suppose -q = 4*q. Let c = 125 + -121. Solve -c*j + q*j = 16 for j.
-4
Let m = 1 - -3. Solve -w - 9 = -m*w for w.
3
Let u be (-2)/8 + (-21)/(-4). Let i(s) = s**3 - 5*s**2 - s + 5. Let o be i(u). Solve m + o = -3 for m.
-3
Suppose 3*p + n = 19, 2*n = p + 3 - 0. Suppose b + 4*b = -p*o + 30, 0 = 4*o - 3*b - 3. Solve -o = -c - 5 for c.
-2
Let n = -4 - -8. Suppose -3*m - 57 = -4*g, -g + 34 = g + n*m. Let w = g - 11. Solve -3*y + w = -8 for y.
4
Let y(l) = l - 5. Suppose 5*t + 0*t - 25 = 0. Let p be y(t). Suppose -x - x + r = p, 2*x + 4*r = 0. Solve j - 3*j - 8 = x for j.
-4
Suppose 3*j + 2*d = -j + 30, 5*d = -3*j + 19. Solve 4*y - 2*y = -j for y.
-4
Suppose -3 = d - 6. Let n(m) = -m**2 + m + 1. Let u be n(d). Let r = 5 + u. Solve r = -0*k + 4*k for k.
0
Suppose 5*u = 19 + 56. Solve 0 = 7*y - 2*y - u for y.
3
Suppose -5 + 1 = 2*r + 4*w, -4*r = 2*w - 10. Suppose r*t = 2*t. Solve -4 = l - t for l.
-4
Suppose -50 - 38 = -4*f. Suppose 5*p + 0 = 2*a + 14, 2*p - 4*a = -4. Solve p*s + f = 2 for s.
-5
Suppose 5*z - f = -0*f - 32, 5*z - 3*f + 26 = 0. Let g = z + 2. Let b = -3 - g. Solve 0 = -3*a - b + 17 for a.
5
Suppose -2*k = -n + 24, 5*n = -3*k + 109 + 37. Solve -8 = -5*m - n for m.
-4
Suppose 258 = -4*j - 2*z, 3*j - z = 3*z - 177. Let v be j/(-12) + (-2)/8. Solve -n = v - 0 for n.
-5
Suppose 4*t = -t + 115. Suppose 3*h + 4*g - 27 = 0, -2*g + 3*g = -4*h + t. Solve -h*i = -i for i.
0
Let t(q) = q**3 - q**2 - 2*q + 3. Let p be t(2). Solve 6 + p = -3*y for y.
-3
Let u(x) = -x**3 - x**2 - x - 1. Let g(q) = 3*q**3 + 13*q**2 + 13*q + 10. Let i(p) = -g(p) - 2*u(p). Let a be i(-10). Solve a*d = 3*d - 1 for d.
1
Let l be ((-2 + 7)*-1)/(-1). Solve -4*h + l = h for h.
1
Let m = 0 - -2. Let g = -75 + 155. Suppose -11*o + 6*o = -g. Solve -o = 6*n - m*n for n.
-4
Let p(j) = -j**2 - 7*j + 3. Let x be p(-7). Let c(l) = -l + 8. Let o be c(10). Let z(h) = h**2 - h - 2. Let k be z(o). Solve -k = 4*i - x*i for i.
-4
Let r = -2 - -6. Suppose 9 = r*s + 1. Suppose 0 = s*l - 4*l. Solve h + l + 1 = 0 for h.
-1
Let r(v) = -v**3 - 3*v**2 + 5*v + 2. Let d be r(-4). Let c = 2 + d. Suppose -3*p + 4 = -u - 21, c = -2*p - 3*u + 35. Solve q + q = -p for q.
-5
Suppose 5*b - 3*u + 23 = 0, 2*u + 2*u = 4. Let a = 3 + b. Let j be 8/6 + a/3. Solve 2*r = r - j for r.
-1
Let i be (3/9)/(-1)*-6*1. Solve -20 = -i*s + 7*s for s.
-4
Let h be (4*-1)/(17/(-34)). Solve 3*g = -4 - h for g.
-4
Let b(x) = -x**2 - 4*x - 3. Let q be b(-3). Suppose -n + 0*n + 5 = q. Suppose 9 = n*m + 2*p - 9, m - 22 = -5*p. Solve m*c = 2 + 2 for c.
2
Let k = 14 + -10. Solve -6*x - k = -2*x for x.
-1
Let y = 6 + -12. Let w be y + 4 + (6 - -1). Solve w*a = 2*a for a.
0
Let j be (-2)/6*-3*1. Let f be 0 + j + 2 + 0. Let k(s) = s + 2. Let i be k(f). Solve i*l - 2 = 8 for l.
2
Suppose 3*o + 4 = 5*r, r + 3*r - o - 6 = 0. Suppose -l = -2*c + 9, -9 = -5*c + 4*c + r*l. Solve -6*f + 3*f = c for f.
-1
Suppose -5*j = 5*c - 3*c, 0 = 2*c - 3*j. Solve -n = -c*n for n.
0
Suppose -2*h + 3*w - 1 = 0, -3*h - 16 = 4*w - 40. Let s be 10/(-2 - -3 - 3). Let n = s - -7. Solve h*x = 6 + n for x.
2
Let f(v) be the second derivative of -v**5/20 - 5*v**4/6 + 11*v**3/6 + 9*v. Let d be f(-11). Solve n = -d*n - 3 for n.
-3
Suppose -23 + 7 = -s + 2*n, -4*s + 50 = -n. Suppose -7*a + 4*a + s = 0. Solve a*q + 2 = 14 for q.
3
Let x = -7 - -10. Let y be x/(-2)*(-4)/3. Solve 5*b = y*b for b.
0
Suppose -3*n + 27 = -3*v + 135, 80 = 2*v - 4*n. Solve 5*s = -7 + v for s.
5
Let r be 2 + 1 + -2 + -1. Suppose r = -2*c - 5 + 9. Suppose 0 = c*n - n. Solve -i + 2*i - 4 = n for i.
4
Let u be 28/21 - 1/3. Solve -11 = -4*g + u for g.
3
Let u(j) be the third derivative of -j**6/120 + j**5/10 + j**4/4 + 7*j**3/6 + j**2. Let m be u(7). Solve m = 2*t + 5 - 1 for t.
-2
Let y = -11 - 2. Let u = 13 + y. Solve 4*a + u*a = 0 for a.
0
Suppose -3*i + 5*a + 31 = 0, 3 = -2*i + 6*i + a. Solve 6*p + 8 = i*p for p.
-2
Let z = 102 + -102. Solve -3*q + 5*q = z for q.
0
Let b = 9 - 11. Let a be (b/6)/((-1)/9). Solve 0 = -a*v - 0 + 6 for v.
2
Suppose -3*f + 2*i + 8 = 0, -8*f + 3*f = i - 22. Solve -f = 3*k + 5 for k.
-3
Let f be -1 + 6 + (-48)/6 + 6. Let z(b) = -b**3 - b. Let j be z(0). Solve f*g - 7 - 5 = j for g.
4
Let p(i) = -i**2 - i + 4. Let s be p(-2). Solve -3*u = -s*u - 3 for u.
3
Let s = 9 - 7. Suppose l = -s*l. Suppose -x = -n - 2, 4*n = -l*x + x + 4. Solve 0 = -0*w - x*w - 20 for w.
-5
Suppose -2*u - 2*u = -3*o - 12, -2*o + 5*u = 15. Solve o = -x + 4 - 6 for x.
-2
Let s(q) = 2*q. Let x be s(-1). Let z = 0 - x. Solve -o - z = -0 for o.
-2
Suppose -3*g + 16 = g. Solve -g*s = -5*s - 3 for s.
-3
Let p = -1 - -3. Suppose 2*a - 1 = c, -p*c = 2*a - c - 7. Solve a*d = d for d.
0
Let z(q) = 4*q**3 + 2*q**2 - 2. Let v be z(1). Solve v*y + 6 = 2*y for y.
-3
Let u = -28 + 36. Let j be u*3/(-9)*-3. Solve 4*w = -20 + j for w.
-3
Suppose -4*q = -0*q. Solve 3*r + q*r = -3 for r.
-1
Let b(x) = -x**3 - 2*x + 3. Let t be b(0). Solve -2*n + 3*n + t = 0 for n.
-3
Let v(x) = x**3 + x**2 - x. Let k be v(0). Suppose -4*u + 4 + 12 = k. Suppose 16 = 4*w - u*n - 20, w - 12 = 2*n. Solve -5*t + 1 = w for t.
-1
Suppose -4 = -3*g + g. Suppose -4*m = -5*d + 7, g*d + 3*d = 2*m + 11. Solve -m*l + l = 4 for l.
-4
Let o = -14 + 19. Solve -5*n - 15 = o for n.
-4
Let q be 2/16*2 + (-75)/(-20). Solve q*g + 0*g = 0 for g.
0
Let p be ((-6)/(-1))/((-6)/4). Let y(m) = -2*m - 3. Let z be y(p). Solve z = 2*f - 3 for f.
4
Let j = 11 + -5. Suppose -j*m + 3*m = -12. Solve -g - m = g for g.
-2
Let b = -3 - -5. Let r(i) = 3*i - 3. Let z be r(4). Suppose -2*l + 1 = -z. Solve l*f + 23 = -b for f.
-5
Let p(h) = h**2 + 6*h - 13. Let v be p(-9). Let q = 15 - v. Solve -3 - q = 2*r for r.
-2
Let b(n) = -n - 6. Let m be b(-11). Suppose -v = -j - 8, m*v + j - 40 = 4*j. Suppose -7*y = -3*y - 16. Solve -4 + v = y*g for g.
1
Let b be 38/8 + (-1)/(-4). Let u = -5 - -13. Let k be (1/(-2))/((-2)/u). Solve -f - k + b = 0 for f.
3
Suppose 0 = -4*q + 9*q. Solve -4*g - 2 - 10 = q for g.
-3
Let p = 13 - 8. Solve 0*f = -f + p for f.
5
Let t = 5 + 4. Solve 2*x - 5*x - t = 0 for x.
-3
Let z(q) = -5*q - 20. Let i be z(-4). Solve -2*y - 2 = -i for y.
-1
Let c = 12 + -9. Solve -2*f + c = f for f.
1
Suppose -5*k = 15, 6*n - 2*n - 5*k - 35 = 0. Suppose -3*r = -4*t + 3*t - 1, -n*t + 27 = r. Solve 5 = r*f - 3*f for f.
-5
Let j be ((-21)/4)/(-7) + (-12)/16. Suppose 4*h = 4 + 12. Solve j*m - m = -h for m.
4
Suppose -4*m + z + 19 = 0, -3*z - 1 - 1 = -m. Solve 0 + m = o for o.
5
Let l(o) = -o**2 - 12*o + 9. Let q be l(-11). Solve -6*b + q = -b for b.
4
Suppose -h - 5*l + 21 - 2 = 0, -h + 5*l - 31 = 0. Let g = h + 9. Solve 7*u = 4*u - g for u.
-1
Let o be (-1)/(-2) - 1/(-2). Suppose 7*l - 20 = 2*l. Let v be (-1 - o) + 