 for g.
0
Let k(h) = -h**3 + 8*h**2 + 12*h - 17. Let a be k(9). Solve 5*s + 0 + a = 0 for s.
-2
Let c be (-2)/(-1) + 0/(-1). Suppose 0 = x - 2 - 0. Let i = x - c. Solve 0 = -m + 1 - i for m.
1
Let a be (4/(-10))/(4/(-20)). Solve y = 5 - a for y.
3
Let t(c) be the third derivative of c**4/24 - c**3/2 + 5*c**2. Let k be (1/2)/(1/12). Let x be t(k). Solve 0*b = x*b + 6 for b.
-2
Suppose -s = -s + 4*s. Solve 7*f - 3*f = s for f.
0
Let x(z) = -z**2 - 5*z + 17. Let m be x(-7). Let c(q) = q**3 - 2*q**2 - 2*q + 2. Let l be c(m). Solve w - 4 = -l for w.
-1
Let w be (-1)/(-3 + 20/8). Solve -w*x = -0*x for x.
0
Let r = -169 - -171. Solve -5*y = -r*y for y.
0
Suppose -5*v - n + 31 = 0, -3*n + 10 = 4*v - 17. Suppose -j = -3*j + v. Solve l = j + 1 for l.
4
Let u be (-2 - -9)*4/14. Solve 15 = u*k + k for k.
5
Let a(b) = 10*b**3 - b**2 + 2*b - 2. Let o be a(1). Solve o = -10*m + 7*m for m.
-3
Suppose 5*g - 6*q = -3*q + 11, 5*q = -2*g - 8. Suppose 3*m - 15 = -5*t, 0 = 5*t + 4*m + 13 - 33. Solve -u - g = -t for u.
-1
Suppose 4*w - 5*w + 4 = 0. Solve -w*q - 2 = 2 for q.
-1
Suppose 0 = 2*x - 4*x + 6. Suppose 5*n = x*n. Solve n = -5*r + r + 20 for r.
5
Let o be (12/5)/(6/20). Let u = -5 + o. Solve u = 2*y + 11 for y.
-4
Let q(j) = -j**2 - 5*j + 4. Let a be q(-5). Let c = a - 0. Suppose -8*v + 16 = -c*v. Solve v*z = 6*z for z.
0
Let a = -4 - -7. Let h be (-2)/(-11) + (-10)/55. Suppose 4*y = -h*y + 12. Solve y = a*k - 0*k for k.
1
Let r(a) = a**3 + 6*a**2 - 17*a - 6. Let d be r(-8). Solve d = 4*m - 14 for m.
4
Suppose 0 = 2*s + 15 - 5, 3*y + s = 7. Solve -2*c = -y*c + 10 for c.
5
Let f = -7 - -12. Solve -2*h + h = f for h.
-5
Let y be (-44)/(1 + (3 - 6)). Suppose -3*m + y = 4*l + 6, 0 = -4*m + l + 34. Let s = m + -3. Solve 6*z - z - s = 0 for z.
1
Let s(w) = -7*w + 44. Let h be s(6). Solve -13 = -h*j - 5 for j.
4
Let h be 4/3 - 12/(-18). Let s be 2 + -2 + (h - 0). Solve 0 = n + s*n - 9 for n.
3
Let s be 11 + -6 + -4 + 1. Suppose s*d = -2*d + 16. Suppose 20 = d*v - 0*v. Solve 8 = -v*w + w for w.
-2
Let n(m) = 5*m - 6. Let l(j) = 14*j - 18. Let v(t) = -3*l(t) + 8*n(t). Let q be v(-3). Solve -q - 3 = -3*f for f.
5
Suppose -3*z = -51 - 9. Suppose 2*x = 6*x - z. Suppose k = -3*f + 6*k - 13, x = k. Solve -l - f*l = 10 for l.
-2
Let p(y) = y**3 + 4*y**2 + y - 1. Let d be p(-3). Suppose -3*r - 2*r - 3*l = -10, -8 = -4*r - 4*l. Suppose 3 = g + r. Solve 0 = u - d + g for u.
4
Suppose -2*q + 4*d + 8 = -4*q, 5*q - 28 = 2*d. Solve -5*m = -q*m + 5 for m.
-5
Let u = -36 - -52. Solve u + 4 = 4*c for c.
5
Let o(q) = 5*q - 18. Let x(y) = -3*y + 9. Let d(v) = -4*o(v) - 7*x(v). Let w be d(-7). Suppose 0 = -w*n - 2*n. Solve n*f + 2 = -f for f.
-2
Let c(n) = 4*n - 6. Let t be c(3). Solve -4*a = t + 14 for a.
-5
Suppose 2*l - 4 - 10 = 0. Let c(m) = 4*m**3 - m**2 + 2*m - 1. Suppose 2*w = 5*w + 3*b + 6, 4*b + 12 = 0. Let g be c(w). Solve 9 + l = -g*t for t.
-4
Let p = -20 + 9. Let n(z) = -4*z**3 - 17*z**2 + 15. Let q(l) = -2*l**3 - 9*l**2 + 8. Let d(h) = p*q(h) + 6*n(h). Let a be d(-2). Solve -v = 2*v - a for v.
2
Let c = -24 - -34. Suppose 0 = 5*m - 5*n + c - 0, m = -n + 6. Solve 2*g - g = m for g.
2
Suppose -3*d = -d. Let t(h) be the first derivative of h**4/4 - 4*h**3/3 - 2*h**2 - h + 1. Let n be t(5). Solve d = n*a + 30 - 10 for a.
-5
Suppose 28 = 2*l + 5*a, 0*l - 8 = 2*l - 4*a. Solve 2*v = l*v for v.
0
Suppose 48 = 3*v + v. Solve -8*t + 4*t + v = 0 for t.
3
Let t(h) = h**2 - 5*h - 7. Let r be t(6). Let c = 5 + r. Let b = 1 - 0. Solve c = 5*y - b for y.
1
Let c be 356/18 + 16/72. Suppose c = -q + 4. Let a be (-2)/(-6) + q/(-6). Solve 17 = a*l + 2 for l.
5
Suppose 31*j - 2 = 29*j. Solve -2*l - 9 - j = 0 for l.
-5
Suppose -3*s = s. Let u = 4 + s. Suppose -5*c + 28 + 32 = 0. Solve -u*n - 4 = -c for n.
2
Suppose -21 = -14*c + 7. Solve -25 = c*q + 3*q for q.
-5
Suppose 4*g - 36 = 4*h, -3*g + 0*h - 3*h = -27. Suppose 1 = -c + 4, m + 5*c = 20. Suppose -3*n = -m*n + 10. Solve -g - 1 = n*o for o.
-2
Suppose -4*r + 30 - 10 = 0. Suppose -4*v + 41 = r*x, -v + 2*x - 1 = x. Solve -v*j + 16 = -4 for j.
5
Let k(v) = 8*v**2 + 1. Let o be k(-1). Let c be o/((-4)/12*-3). Solve -i = c - 4 for i.
-5
Suppose 3*m - 2*m = -u + 5, -u = -3*m + 7. Let k be (3 - (-8)/(-3))*m. Solve -o + 2*o + k = 0 for o.
-1
Let f(b) = b**3 + 4*b**2 - 4*b + 7. Let y be f(-5). Let a be (y - 2) + -1 - -3. Solve 2*o = o - a for o.
-2
Suppose 3*q - 2*b = 2 + 14, 2*q - 5*b - 29 = 0. Let l = 7 - q. Let p = 20 - l. Solve 0 = -c + 4*c - p for c.
5
Let x(w) = 3*w - 55. Let j be x(20). Solve -t = 4*t - j for t.
1
Let v = 121 - 114. Solve v*s - 11*s - 20 = 0 for s.
-5
Let b(g) = -g**3 - 4*g**2 + g + 9. Let o(w) = -2*w**3 - 9*w**2 + 2*w + 18. Let r(y) = 9*b(y) - 4*o(y). Let t be r(0). Solve -n = 2*n - t for n.
3
Let g(q) = 1. Let p(x) = x - 7. Let k(s) = -6*g(s) - p(s). Let b be k(-3). Solve 4 = -4*t - b for t.
-2
Let h be (10/(-4))/(1/66). Let k be (1/3)/((-5)/h). Suppose -n - f + 4 = 2*n, 3*n + 4*f + k = 0. Solve n*x = 4*x for x.
0
Let m(h) = 2*h + 61. Let z be m(-29). Suppose 0 = 3*c - 3 - 6. Let q(y) = -y**2 + 3*y. Let u be q(3). Solve -4*a + z*a + c = u for a.
3
Let h(u) = 12*u - 3. Let t be h(2). Let x = t - 2. Suppose 0 = 5*q - 61 - x. Solve -4*w - q = 4 for w.
-5
Let z = -2 + 8. Suppose 3*c - c = z. Let o be (2 + -2 - 3) + c. Solve o = -4*a - 0*a for a.
0
Suppose 3 = q - 13. Solve -w - q = 3*w for w.
-4
Suppose -4*l = -3*r + 16, -3*l = 5*r - 10*r + 23. Let f be 0 - l - (-2 - 22). Let x be (6/9)/(2/15). Solve f = x*u - 10*u for u.
-5
Suppose s + s = 6. Let h be s/12 - 3/(-4). Solve r = -h + 2 for r.
1
Suppose 3*f - 6 = -0*f. Solve 0 = 3*m - f - 1 for m.
1
Let q(r) = 3*r - 4. Let j be q(2). Suppose -m - 4*m + 35 = -5*k, -29 = -j*m + 5*k. Solve -m*a = 2*a + 8 for a.
-2
Let s(j) = 3*j - 3. Let h be s(2). Suppose h*n + z = 5*z - 8, 5*z = 10. Solve n = -7*v + 2*v for v.
0
Suppose 0*h - 3*h = -6. Let s = -52 - -54. Solve 4 = s*c + h for c.
1
Let c(r) = -r**2 - 6*r - 3. Suppose 38 = -5*f + 13. Let u be c(f). Let v = u + 0. Solve v*k = -k for k.
0
Let m be (0 - 1)/((-3)/36). Let t = m + -8. Solve -b = t*b for b.
0
Suppose j + 2 - 4 = 0. Let d be (-2)/(-4) + 1/j. Let w = 1 - d. Solve a = -w*a for a.
0
Suppose 93*f - 98*f = 0. Solve 3*d - 7*d + 4 = f for d.
1
Let c(s) = s**3 - 6*s**2 + 6*s - 1. Let u be c(5). Let t(p) be the third derivative of -p**4/24 + 2*p**3/3 + p**2. Let i be t(u). Solve i = -2*b + 4*b for b.
0
Let a be -1*(6/(-5))/((-2)/(-5)). Suppose 3*t = t + 2. Solve -t - a = 4*q for q.
-1
Suppose o + h = -3*h - 8, -2*o + 5*h = -49. Suppose -w = -4*w + 3*n + o, n = 2*w - 8. Suppose 14 = 3*y + w*g, -8 = -2*y - y - g. Solve 0 = -2*v - y - 4 for v.
-3
Suppose -5*b = d - 0*d - 40, 0 = -5*b - 5*d + 20. Solve b*i = 4*i for i.
0
Let n = -104 + 104. Solve 0*d + 2*d = n for d.
0
Let l = 5 + -2. Suppose 0 = b + l, 4*x - 3*b = 2*b + 15. Solve -2*p + 3 - 11 = x for p.
-4
Let j be (1 + -4)*(-2 + 1). Suppose 2*f = f + j. Solve -k = f - 2 for k.
-1
Let k(l) be the second derivative of -l**3 - 5/2*l**2 + 3*l + 1/20*l**5 + 0 - 1/2*l**4. Let z be k(7). Solve -14 - z = 4*b for b.
-4
Let h = 0 - -4. Suppose -7*z + h*z + 6 = 0. Let v(g) = 3*g - 6. Let u be v(4). Solve u + z = 4*j for j.
2
Suppose 5*v = -4*q + 14, 32 = 2*v - 4*q + 4. Let d(i) = i**3 - 4*i**2 - 2 - 4*i + 0*i**2 + 0. Let k be d(5). Solve -k*m = -v*m for m.
0
Suppose j - 18 = 3*t, 4*j + 3*t + 3 = -0. Solve -7*z = -j*z for z.
0
Let w be (-4)/7 - 296/(-28). Solve 2*b + w = 2 for b.
-4
Let r(p) = 9*p - 11. Let y(b) = 14*b - 16. Let x(j) = 8*r(j) - 5*y(j). Let i(s) = -s + 4. Let u(o) = -5*i(o) - 2*x(o). Let m be u(5). Solve 5*v - 6 = -m for v.
1
Suppose 12 = 4*x + 5*w - 13, -4*w = 2*x - 14. Solve -y = -x*y for y.
0
Let f(m) = m**2 + 7*m + 6. Suppose 0 = -z - 3 - 1. Let l be f(z). Let n(c) = -c - 3. Let j be n(l). Solve 12 = -3*q - j for q.
-5
Suppose 3*u - 5 = -2*h + 3, -2 = h. Suppose t = f - 12, u*f - 5*t - 41 = 12. Let x be -1 + 6 + (-5 - -4). Solve -f = -x*y - 3 for y.
1
Let t(k) = k**3 + 8*k**2 + k + 11. Let g be t(-8). Suppose g*q - 13 + 1 = 0. Solve -q*s = -3*s for s.
0
Let j = 3 + 0. Suppose -2*i = j*q - 9, 0 = i - 3*i - q + 7. Let r be -2 + 9 - (6 - i). Solve r*h = 5 - 13 for h.
-2
Suppose -6*c = -c - 30. Suppose 3*f + 2*x = 5, -3*x + c*x - 11 = -f. Let g be (f - -1)*-1 - -2. Solve -g