7*d = 8 for d.
2
Let t(m) = m**3 - 4*m**2 + 2*m - 3. Let k be t(4). Suppose g = -3*i - 1 + 33, -34 = -i - k*g. Let b = i - 4. Solve 5 + 0 = b*s for s.
1
Let w(m) = -m + 4. Let i be w(0). Suppose i*d = -4*g + 4, 2 = g - 2*g - 2*d. Solve 2*l - g = 4*l for l.
-2
Suppose 3*o + 3 + 0 = 3*n, -n = 4*o + 14. Let u = n + 4. Let m be u/4 - (-1)/(-2). Solve m = f - 0*f + 1 for f.
-1
Let q(p) = -2*p**2 + p + 2. Let x be q(-2). Let a = x - -9. Let n be (a/(-4))/((-5)/20). Solve -1 = 2*s + n for s.
-1
Suppose a = -4*a + 10. Suppose 0*q - a*q + 16 = 0. Let p = q + -6. Solve 0 = -d - p - 1 for d.
-3
Let t = -24 + 29. Solve t*v = 3 + 22 for v.
5
Suppose 0 = t - 2*t - 2. Let x be (t - 4)/(1 - 2). Solve 0 = -5*y - 4 - x for y.
-2
Let m(w) = -w**2 + 12*w - 11. Let t be m(11). Solve t*n - 3*n + 15 = 0 for n.
5
Suppose -3*u = 8 - 35. Let b(q) = -q**2 + 7*q - 5. Let m be b(5). Solve m*k = u + 6 for k.
3
Suppose 3*t - 4*j = 6, 0 = -4*t - j + 14 + 13. Solve -9*b + 3 = -t*b for b.
1
Suppose -5*o + g + 6 = -g, o + 6 = -2*g. Suppose 2*d - 8 - 2 = 0. Let t be d - (-2)/2*1. Solve 2*y + 2 + t = o for y.
-4
Let b(i) = i**2 - 10*i + 9. Let h be b(9). Let z be (-25)/(-9) + 4/18. Suppose h = -d + z*d. Solve -4*k + 5*k = d for k.
0
Let q(b) = -6*b. Let l be q(1). Let f be (3/l)/((-1)/6). Suppose -f*k + 12 = k. Solve -k*a - 16 = a for a.
-4
Suppose 5*x = 3*j + 69, -x + 3*x - 12 = -4*j. Let p = x - 28. Let b = p + 25. Solve -3*t + b = -0 for t.
3
Suppose 5*l = -5*k + 5, k + 7*l - 2*l = -11. Let m be 1 - -2 - (-1 - -2). Solve d = k - m for d.
2
Suppose q - 6*q + 10 = 0. Suppose q*u - 6*u - 2*r = -16, 3*u = -2*r + 11. Solve -v = -u*v + 20 for v.
5
Let b be (1/2)/((-1)/4). Let p = b - -3. Solve c - 1 = p for c.
2
Suppose -13 = 3*i - 5*x, -3*i + 4*x + 22 = 6*x. Let r be (2/(-4))/((-1)/i). Solve -3*s - r - 4 = 0 for s.
-2
Let a(b) be the first derivative of b**3/3 - 5*b**2/2 + 6*b + 2. Let t be a(4). Suppose -3*k + 17 = t. Solve 10 = -k*f + 3*f for f.
-5
Let g(r) = r + 1. Let d(o) = -2*o**2 + 3*o + 4. Let n = -11 + 15. Let i(s) = n*g(s) - d(s). Let q be i(1). Solve -3*h = q + 3 for h.
-2
Suppose -4*u + 4 = 2*x - 8, 2*u = -4*x + 30. Solve 0 = -3*z + 17 - x for z.
3
Let w be -1 + -2 + (1 - -2) + 4. Solve 0 = -u + w*u for u.
0
Let u(x) = 2 + 4 + x - 1. Let w be u(-5). Let v = 8 + 8. Solve -4*k = -w - v for k.
4
Suppose -5*b + 7 = -4*m, -m - 3*b + b + 8 = 0. Suppose -5*w = 3*u + 442, 3*u - 6*u - 438 = 3*w. Let x be 1/(-3) - u/27. Solve -k + x = -m*k for k.
-5
Suppose 0 = -10*l + 24 + 16. Solve -i = -3*i - l for i.
-2
Let k(t) = -t**3 + 6*t**2 - 7*t + 4. Let v be k(4). Let n = v + -6. Solve 0 = 4*i - n*i for i.
0
Let a be (35/10 - 3)/(3/12). Solve -6 = a*w + 2 for w.
-4
Let l = 11 + -8. Solve -4*v + l*v = 3 for v.
-3
Suppose p = -5*d, 0 = -4*d + 5*p + 33 - 4. Solve -d - 15 = -4*h for h.
4
Let b = 11 - 8. Solve 8*c - b*c = 0 for c.
0
Let h(z) = z - 8. Let r be h(10). Suppose 0 = -4*s + 2*u + 6, -s + 3 = r*s - u. Solve -4*t - 8 = -s*t for t.
-2
Suppose -2*d + 7 - 1 = 0. Let n(l) = 2*l**2 - 3*l - 2. Let y be n(d). Let t be (-30)/(-4)*(-4)/(-6). Solve y - 2 = t*i for i.
1
Suppose -4*x = -5*l - 26, -2*x - 3*l = -5*l - 12. Solve 0 = -x*j + j - 15 for j.
-5
Let s(i) = 3*i**3 - i**2 + 2*i - 1. Let b be s(1). Suppose 6 = 3*t - b. Solve -t*d = -6 - 9 for d.
5
Let z = 15 - 10. Let t(s) = -s**2 - s - 3. Let m be t(0). Let d = z + m. Solve -k - d = -3*k for k.
1
Suppose 9 = 5*h - 1. Suppose -h*o = 4*v - 6, -3*o + v = 2*o - 15. Solve l + o = -2 for l.
-5
Let i = 30 - 30. Solve 3*b + 11 + 4 = i for b.
-5
Let i = 6 - -1. Let x = 58 + -50. Let f be 3 + (0 - (2 + -2)). Solve -i - x = -f*v for v.
5
Suppose 3*t + 10 = -5*h + h, 5*h + 10 = -5*t. Solve -4*c + t*c = -4 for c.
2
Suppose 4*f - 2*w - 3 = 3*w, -f - 3*w = -5. Solve 0 = -6*t + f*t for t.
0
Suppose 7*y - 3*w + 34 = 2*y, 0 = 3*y - w + 18. Let d be ((-18)/15)/(2/y). Suppose -7*m + d*m - 4*n = -12, 0 = 2*m + 3*n - 9. Solve m = 4*l - 8 - 8 for l.
4
Suppose -n + 15 = 4. Suppose -2*u + 11 = -n. Let f = 4 + u. Solve -g - f = -6*g for g.
3
Let s = -20 - -21. Solve -5*q + 19 = -s for q.
4
Let c(m) = -m**2 + 8*m - 10. Let b be c(6). Solve -1 = b*o - 5 for o.
2
Suppose 0 = -0*a + 4*a. Suppose a*t = 3*t. Solve 4*d + t*d = -16 for d.
-4
Let r be 10/25 - (-43)/5. Solve -r*x = -6*x for x.
0
Suppose 5*y = -0*y - 0*y. Solve x + 7 - 2 = y for x.
-5
Let a(f) = -2*f + 37. Let z be a(9). Solve 2*r - 15 = -z for r.
-2
Let n be 2 - -2*(-12)/(-4). Solve -n*k + 20 = -4*k for k.
5
Let a(g) = -g**2 - 10*g + 16. Let t be a(-11). Solve 2*u = t*u - 9 for u.
3
Suppose 3*y = -5*j - 9 - 10, -3*j - 15 = 0. Suppose y*n + 0*n = 4. Let b be (-4)/n - 10/(-1). Solve -5*x = -3*x - b for x.
4
Let g = 21 - 17. Solve 3 = g*k - 5 for k.
2
Let t = 21 - -59. Suppose -2*f - t = -6*f. Solve 4*l + 0 - f = 0 for l.
5
Suppose -3*b = 3*b. Suppose 0 = -3*w + 3*d, 0 = -5*w + 4*d - b*d. Solve -g - 4 = -w*g for g.
-4
Let s(a) be the second derivative of 3*a - 1/12*a**4 - 4/3*a**3 + 1/2*a**2 + 0. Let v be s(-8). Solve -v = 3*k - 7 for k.
2
Let h(m) = 3*m**2 + m + 2. Let l be h(-1). Suppose u - 17 = -5*i, -2*u = 4*i - l*u - 8. Solve -i*v = v for v.
0
Suppose 4*v + 5*b - 18 = 0, -2*b - 39 = -3*v - 2*v. Solve -5*k - v = 13 for k.
-4
Let m be (-81)/(-15) - (-2)/(-5). Let z = -3 + 11. Suppose -5*b - t = -z - 5, -b + 5*t = -13. Solve -b = -4*a + m*a for a.
-3
Suppose 4*n + 3*c - 1 = 1, 2*c + 14 = 5*n. Suppose -4*p + 4*b + 8 = -0*p, 3*p + 4 = -n*b. Solve -4*f + 5 - 1 = p for f.
1
Let i(h) = -3*h + 18. Let m be i(5). Solve -m = 2*q - 5*q for q.
1
Suppose 3*g - 2*g - 2 = 0. Solve 0*a = g*a for a.
0
Let w(l) = l**3 + 12*l**2 + 19*l - 10. Let s be w(-10). Solve -4*c - c - 10 = s for c.
-2
Let z(m) = -m + 1. Let o be z(2). Let n(u) = -2*u. Let t be n(o). Suppose -t*l = -4*h + 12, -h - 3*l - 11 = -0*h. Solve -h = -i - 0 for i.
1
Suppose 5*h - 4*d - 1 = -3, -3*h + 18 = 4*d. Let y(f) = -f**3 + 8*f**2 - 8*f + 9. Let m be y(7). Solve -j + h*j = m for j.
2
Suppose -2*y = 2*y - 48. Solve 0*h - y = 4*h for h.
-3
Let n = -47 + 58. Solve n = -2*x + 1 for x.
-5
Suppose 9*v - 15 = 6*v. Suppose -j = -2*j - v*t + 4, 0 = -2*j - t + 8. Solve u - 1 - j = 0 for u.
5
Suppose -2*l = -0*l. Solve -3*x + l*x = 15 for x.
-5
Let l(w) = -w**3 - 6*w**2 - w - 3. Let n be l(-6). Solve n*p = 2*p - 1 for p.
-1
Let h(z) = z**2 - 8*z + 10. Let x = -3 + 10. Let w be h(x). Solve 6 = -3*u + w for u.
-1
Let s(j) = -j**2 - 6*j + 3. Let z be s(-7). Let c = z + 4. Suppose 2*o - v - 2*v - 12 = c, 4*v = -2*o - 2. Solve o*d = -d + 16 for d.
4
Suppose -i + 4 = i. Let v be -1 + (i - (1 - 0)). Let p(a) = -3*a**3 + 2*a**2 - a - 2. Let q be p(-1). Solve v = -2*k - 14 + q for k.
-5
Suppose 0 = 4*w - 3*h - 123, w + 3*h = -0*w + 27. Suppose 7*a - 2*a - w = 0. Solve a = 4*r - 10 for r.
4
Let i be 2/(-8) - (-2)/8. Let d(z) be the first derivative of -z**4/4 + 2*z**3 - z**2 - 7*z - 1. Let h be d(5). Solve h = 4*q - i for q.
2
Suppose 3*u + 3 = 12. Let l be (8/(-12))/(-1)*3. Solve u*h = -l*h - 20 for h.
-4
Let l(h) = h**2 - 5*h. Let j be l(4). Let k be 62/(-4)*(j - -2). Suppose -5*f - i = -k, -3 + 2 = -f + 5*i. Solve -5*v + f = 1 for v.
1
Let r(l) = -3*l**2 - 2*l**2 - 10*l + 4*l + 2 + l**3. Suppose 0*z = -3*n - 3*z + 27, -3*z = -3*n + 9. Let v be r(n). Solve 0 = -4*b - 14 + v for b.
-3
Let r = -8 + 15. Let b = r - 15. Let i be 2/(-8) - 2/b. Solve 5*g = -i*g for g.
0
Suppose 3*r + 4*l - 6 = -2*r, 4*r - 2*l = 10. Solve 0 = 4*x - r*x + 8 for x.
-4
Let q(y) = -y**2 + 3*y + 3. Let i be q(3). Suppose -4*g - 12 = 0, g - 3*g = -i*b + 6. Solve b = -x - 1 - 0 for x.
-1
Suppose 2*r = -3*r - 4*k + 35, -3*r - k = -21. Suppose -r*p = -3*p. Let a = 9 - 7. Solve -a*g + 6*g + 16 = p for g.
-4
Let x(r) = r - 7. Let y be x(6). Let i = 2 - y. Solve i - 11 = -2*k for k.
4
Let g = 6 - 4. Let o be ((-10)/4 + 2)*0. Suppose -4*t - 8 = o, 0 = -3*z + t - 6*t - 4. Solve -g*q + q = z for q.
-2
Suppose 2*j - 36 = -2*j. Let n = j - 4. Solve n*l = -0*l - 5 for l.
-1
Suppose 4*c + 3 - 11 = 0. Suppose 5*p = -2*u + 51, u - 53 = -7*p + c*p. Solve -p + 36 = 5*l for l.
5
Suppose 5*v - 3 - 1 = -m, -2*v = -2*m + 8. Solve -2*y + 10 = m for y.
3
Suppose -2*g = 2*g. Suppose g = -k + 1 + 1. Solve -k*h - 16 = 2*h for h.
-4
Let o = 26 - 22. Solve 4*b + o = -4 for b.
-2
Let v(m) = -m. Let j be v(-5). Suppose -2*w + 