= 0. Solve m*g = g - 1 for g.
-1
Let b = 2 - 0. Solve -6 + b = c for c.
-4
Let s(v) = -5*v**3 + 24*v**2 + 10*v - 17. Let y(b) = 2*b**3 - 8*b**2 - 3*b + 6. Let u(r) = 3*s(r) + 8*y(r). Let k be u(-7). Solve x = k*x + 3 for x.
-1
Suppose -3*p - 10 = 2*p, 5*p = 2*z - 14. Solve z*r = -3*r + 5 for r.
1
Let w be (-4)/6 - 42/(-9). Suppose -14 + w = -z. Solve h - 6*h = z for h.
-2
Let p(k) = k**3 + 5*k**2 + 3*k. Let z be p(-4). Solve -z*q = q for q.
0
Suppose -2*b + 3 = -2*r + 1, b = -4*r + 26. Let z be (-3)/(-9) - (-11)/3. Solve l + b = z*l for l.
2
Let o = 42 + -40. Solve 4*l + 6 = o*l for l.
-3
Let i be (-2 - -8)*(-1)/(-2). Solve -5*n + 4*n + i = 0 for n.
3
Let v = 2 + 0. Suppose 2*a - 10 = -v*p - 0, a + 5*p - 1 = 0. Solve 5*i - a = 3*i for i.
3
Let d = -18 + 20. Solve d*a - 2 = -8 for a.
-3
Let k(x) = x**2 + x - 6. Let j be k(-3). Solve -4 = -j*i + 4*i for i.
-1
Let h = 14 - 8. Solve 4*y - h*y = 0 for y.
0
Suppose -3*v + 9 = -s, 4*s + 14 = v - 0*v. Let k = v + -2. Suppose q - 4*f - 14 = -f, 0 = 5*q - 2*f - 18. Solve k = d - q - 3 for d.
5
Suppose 0 = 2*m + 5*m - 49. Solve 5*l = m*l + 4 for l.
-2
Let c = 31 - 11. Let g(s) = s**3 - s**2. Let q be g(0). Solve q = 4*l + l - c for l.
4
Let d(t) = -t**3 - 6*t**2 - 5*t + 2. Let z be d(-5). Suppose x = 1, -z*c = c + 2*x - 74. Suppose c = g - 5*w, g + 3*w + 7 = -1. Solve -g*a = -2*a for a.
0
Let s(o) = o + 7. Let p be s(-3). Solve p*j = -8 - 8 for j.
-4
Let u = -7 + 7. Suppose -d - 11 = -4*o, -5*o + 2*d + d + 5 = u. Solve -5 = -o*x + 7 for x.
3
Suppose 2*p - p - 3*j + 10 = 0, -4 = -2*j. Let y be 5/2 + (-2)/p. Solve y*q = -4 + 7 for q.
1
Suppose 11*g - 7*g = 16. Solve 2*r - 3*r = -g for r.
4
Let d(s) = -s**3 - s**2 - s + 1. Let w(t) = -9*t**3 - 6*t**2 - 5*t + 7. Let z(p) = -6*d(p) + w(p). Let j be z(-1). Solve 0 = 4*x - j*x + 1 for x.
-1
Suppose -4 - 6 = 2*y - 2*i, -10 = y - 2*i. Solve -4 = -y*l - 4*l for l.
1
Let m = 11 - 6. Solve -3 = s - m for s.
2
Let c = 54 - 94. Let a = -23 - c. Solve 1 = 4*l + a for l.
-4
Let z(u) = u**2 - u + 7. Let v be z(3). Solve v + 7 = 5*q for q.
4
Let j be 1 - (12/3)/4. Suppose j = -5*u, 0 = -0*i + i - 2*u - 4. Solve -y - 15 = -i*y for y.
5
Suppose -4*h = -9*h, 4*v - 12 = h. Solve 6 + 0 = v*q for q.
2
Suppose 0 = 3*y + 21 - 30. Solve -y*s + 1 = -2*s for s.
1
Let m = -21 + 27. Suppose 14 - m = 2*h. Suppose -3*a - 9 = -5*l, -5*a - 3*l = -14 - 5. Solve -a*j + h = 2*j for j.
1
Let x be 2/(-4) - 14/(-4). Let y(q) = -q + 8. Let m be y(4). Suppose l + 4*i + 15 = 0, 5*l - 20 = m*l + 3*i. Solve l = -x*f - 4 for f.
-3
Let c = -19 - -24. Solve -3*v + c*v = 0 for v.
0
Suppose 0 = -3*s + 3 + 3. Suppose -5*f + 3*f = -10, -u = s*f - 13. Solve h = 2*h + u for h.
-3
Suppose z - 3 = -0. Let v be (-3)/(z/3 + -2). Solve -5 = 4*p + v for p.
-2
Let b = 13 - 3. Solve -b = -i - i for i.
5
Let g(n) = -n**2 + 9*n - 11. Let c be g(8). Let y = 0 - 3. Let j = y - c. Solve j*s = s for s.
0
Let c be (3/(-6))/(2/4). Let z be 2*(2 + c) - -31. Solve 0 = -5*p - 13 + z for p.
4
Let r be (-4)/10 - 52/(-5). Let t be 6/(-10) - (-2)/(-5). Let x = t + 5. Solve 0 = x*j + j + r for j.
-2
Suppose -3*u = -4*u - 2*j - 4, -5*j = 4*u + 7. Suppose -u*z - 20 = 3*z. Let r be (-42)/(-4) - z/(-8). Solve 6*f - r = f for f.
2
Suppose -5*w - 59 = -2*o, 2*w + 14 = o - 10. Let q = -6 - w. Solve 0 = -q*f - 36 + 11 for f.
-5
Let j = 1 + -1. Suppose -c + 5 + 0 = j. Suppose -16 + 51 = 5*y - 5*g, -5*g - 8 = 4*y. Solve 4*f + y = c*f for f.
3
Let h = -7 - -7. Solve h*g = -g + 5 for g.
5
Suppose 0 = -3*r - 14 + 2. Let j = 7 + r. Solve -2*m - j*m + 20 = 0 for m.
4
Suppose 0 = 13*f - 7*f + 276. Let t(z) = z**2 - z - 33. Let s be t(0). Let i = s - f. Solve 3 = -2*o + i for o.
5
Let o = 19 - 16. Solve -i = -o*i for i.
0
Let n = -3 - 5. Let j be (-81)/(-12) - 2/n. Let y = 8 - j. Solve -y = p - 0 for p.
-1
Suppose 0 = c - 4*c + 9. Solve -c = k + 2 for k.
-5
Let o be -3*1 + (1 - -1). Let i be o/((-6)/(-5) - 1). Let y = i + 6. Solve 0 = -3*g + 2*g + y for g.
1
Let c be 0*(0 - 1/2). Suppose -4*h + 7 + 13 = c. Solve -12 = t - h*t for t.
3
Let h be 0/(-2) - -1 - -2. Let j(o) = o**3 + 10*o**2 - 12*o - 3. Let x be j(-11). Suppose 5*p - x = 2. Solve 20 = h*y + p*y for y.
4
Suppose -2*d + 5 = -15. Suppose 4*j - d = 2. Solve 7*v = j*v + 12 for v.
3
Let i be (1 + -3 - (-8)/(-16))*-2. Solve -3*h = -i*h for h.
0
Let x(m) = -m**2 - m + 2. Let w be x(0). Solve -w*l + 3 = 5 for l.
-1
Let w be (6/(-21))/(1/(-14)). Solve 2*f = 2 + w for f.
3
Let p(w) = w**3 - 2*w**2 - 2*w + 2. Let z be p(3). Suppose -3*x - 27 = x + n, 3*n = -z*x - 39. Let d = -6 - x. Solve a + 0*a = d for a.
0
Suppose -2*y + y = 0. Suppose q = 5*r, -3*q - 2*q - 2*r + 27 = y. Solve -2*a = -a - q for a.
5
Let u be (0 - -1)*0 - 5. Let z = u + 8. Suppose z*g = 7 - 1. Solve -g = -4*x - 22 for x.
-5
Suppose 3*y + z = -2*y + 37, -5*y = -5*z - 55. Solve -2*m - y = -0 for m.
-4
Suppose o + 0*o = 8. Solve 3*d + d = -o for d.
-2
Suppose 3*s = -9 + 27. Let t be ((-3)/(-5))/(s/30). Solve 0 = q - t*q for q.
0
Suppose 4*r = 14 - 2. Solve 15 = -0*z - r*z for z.
-5
Let d be (-54)/8 + 1/(-4). Let n = -3 - d. Let y be n/6 + (-1)/(-3). Solve -j = -2*j - y for j.
-1
Let g = -17 - -37. Solve -4*x - g = -0*x for x.
-5
Suppose 20*m - 104 = 7*m. Solve -2 = 2*h - m for h.
3
Suppose 3*i = 5*k - 1, 3*k = -2*k + 5*i - 5. Solve -k*h = 7 + 1 for h.
-4
Let l(u) be the second derivative of -u**3/6 + 13*u**2/2 + u. Let w be l(7). Suppose 0 = -3*m + 5*q - 10, 2*m - 7*m - 3*q + 6 = 0. Solve m = w*f - 3*f for f.
0
Let s = 2 - 0. Suppose 0 = 5*u - 6 - 4. Suppose -s*k = -u - 8. Solve -2*z = -z - k for z.
5
Let f(t) = t + 8. Let d be f(-4). Solve 0 = -u - d*u - 15 for u.
-3
Let p be (-114)/(-27) + 2/(-9). Suppose 3*k + 8 + 3 = 2*s, -2*s + p*k + 12 = 0. Solve -25 = s*z + z for z.
-5
Let p(h) = -2*h + 12. Let k be p(9). Let z be (-51)/k + 2/(-4). Solve -s + 3*s = z for s.
4
Let v(g) = g**3 - g**2 - 2*g + 2. Let o be v(0). Solve 2 + o = u for u.
4
Let b = 36 - 28. Solve 0*f - b = 2*f for f.
-4
Suppose -h = -r + 2, 1 = 5*h - 9. Solve r*x - 13 + 5 = 0 for x.
2
Suppose 4*a - 24 = -8. Solve -28 = -a*z - 8 for z.
5
Let h(v) be the first derivative of 0*v**2 + 2/3*v**3 - 2 + 2*v. Let o be h(-3). Solve -2*l - 3*l = o for l.
-4
Let i(s) = -12*s**3 + s**2 + s. Let g be (-4)/(32/(-10))*4. Suppose 2*q + g = 3. Let b be i(q). Solve 5*y = y + b for y.
3
Suppose 16*g - 20 = 6*g. Solve -8 = -g*b - 18 for b.
-5
Let f = -131 - -133. Let z be (0 + 0)/(-3 - -1). Solve f*v - 6*v = z for v.
0
Suppose -5*x = 3*z - 20, 3*x = z + 7*x - 16. Solve -o - 1 = -z*o for o.
-1
Suppose 5*s = 3*a + 13, 3*s - 17 = 2*s - 3*a. Solve s*y = 2*y for y.
0
Let y be ((-2)/(-4))/(3/(-12)). Let u be (-28)/(-6) + y/(-6). Suppose m = 4*z, -u*m + 6 = -2*z - 12. Solve -3*h - m = h for h.
-1
Let j be (36/8)/((-1)/(-6)). Let x = j + -7. Solve 3*d + x = -d for d.
-5
Let d be (-2)/11 + 171/33. Suppose -r - 4*z + 16 = -7*z, d*z + 43 = 4*r. Solve 2*w = -r - 3 for w.
-5
Let z = -32 - -40. Solve -z = 2*o - 0*o for o.
-4
Let t = 3 + -3. Solve -2*n + t = -2 for n.
1
Suppose -3*x + 2*x + 5*p = 13, -4*p = -20. Solve -2*y = 2*y - x for y.
3
Let o = -77 + 79. Solve -6 = 2*q - o for q.
-2
Suppose -2*x - x + 4 = 2*u, -u - 8 = -x. Let i(n) = -n**3 + 6*n**2 - 6*n. Let m be i(x). Let b(c) = -c**2 - 4*c + 5. Let z be b(-5). Solve 2*s + m = -z for s.
-4
Let n(h) = h**3 - 3*h**2 + 2*h - 3. Let y be -6*-2*(-2)/(-8). Let g be n(y). Suppose 3*m + 5*a + 14 = -0*a, -g*a = 12. Solve -2*q = -4 + m for q.
1
Suppose 0 = 3*g - 3 - 18. Let z be 188/28 - 4/(-14). Let b = z - g. Solve b*o = -o for o.
0
Suppose -2*n = -5*n + 81. Suppose -2*h - n = -2*k + h, 0 = -2*h - 10. Suppose -k*j = -j. Solve -6*g + 2*g + 4 = j for g.
1
Let f(s) = -2*s**2 + 5*s + 1. Let x(d) = d**2 - d. Let g(m) = f(m) + 3*x(m). Let j be g(-3). Suppose j = u - 0. Solve 0 = -3*y + u + 11 for y.
5
Suppose -22 = w - 2*q, q + 23 = -2*w - 2*q. Let x = 18 + w. Solve -7*i = -x*i + 20 for i.
-4
Suppose 2*h - 4*c + 8 = 0, 3*h = 3*c - 4*c + 23. Solve -4*w = -2*w - h for w.
3
Let h(f) = -2*f + 8. Let s be h(8). Let b(q) = q**2 + 9*q - 9. Let j be b(s). Let g = j + 29. Solve 0 = -0*k - 3*k + g for k.
4
Let t be (0 - -3) + 1 + -1. Suppose 0 = -2*g + 3*g - 4. Solve -g*x = -17 - t for x.
5
Suppose -2*v = 3*v. Suppose -2*w = -7*w + 20. Suppose 0 = w*o - v*o. Solve 