 + c*d + 20 for d.
-5
Let n be (-13)/(-11) + 16/(-88). Solve -n = b + 3 for b.
-4
Suppose 0*b = -4*m - 5*b + 89, -b = m - 22. Solve -m = 3*p - 9 for p.
-4
Let i(g) be the third derivative of g**4/12 - 2*g**2. Let v be i(1). Solve -5*r - 3 = v for r.
-1
Let a = 0 - 0. Let d(l) = 13*l**3 - l**2 - l. Let p be d(-1). Let y = -10 - p. Solve -y*h - 1 - 2 = a for h.
-1
Let w(y) = y. Let g be w(6). Solve 2*o = g*o - 12 for o.
3
Let q(r) = -r**3 - r**2 - r - 4. Let w be q(-2). Solve 0*b + w = b for b.
2
Suppose 0*p = -6*p - 0*p. Solve -5*b - 5 = -p*b for b.
-1
Suppose -5*i + 10 = 3*v, 0*v + 4*v + 4*i - 8 = 0. Suppose -n - f + v*f = 0, -3*f = n + 8. Solve -n*t + 2 = -2 for t.
1
Suppose 2*t - 5*t - 22 = -4*j, 2*t + 24 = 4*j. Suppose -5*d = 4*x + j, 0*d = -5*d - 15. Solve -x*c = c - 15 for c.
5
Suppose 2*s + 3*z + 1 = 0, 0*s - 3*s = -z - 15. Suppose -j - 5*f = -15, 0 = j - 4*f - 6 - 0. Solve -s*i - j = i for i.
-2
Let i(g) = g + 1. Let y be i(5). Let p = -5 + y. Suppose -3*b + 5 = -p. Solve -3*k = -b*k - 4 for k.
4
Let o(y) = -y**3 - 6*y**2 + y + 6. Let g = 2 - 8. Let x be o(g). Suppose v + 0*v - 34 = x. Solve -4*n = 14 - v for n.
5
Let s(q) = -q + 7. Let r be s(5). Solve 2*o = 3*o + r for o.
-2
Suppose 1 + 0 = l. Let w be (-4)/(-14) - 66/(-14). Solve c - l = -w for c.
-4
Let k be 0 + 0 + (-5)/(-1). Suppose -32*w = -28*w - 40. Suppose j + 0*j + o = 2, -5*o + w = -k*j. Solve -2*v = -j*v for v.
0
Let b(c) be the second derivative of c**3/6 + 2*c**2 + 2*c. Let d be b(-5). Let s be (-2 - d) + 10/2. Solve r + r = -s for r.
-2
Let i(p) = p**2 - 2*p - 7. Let u be i(5). Let m be 10*((-20)/u + 3). Solve -4 = -n - m for n.
-1
Let m be 1*(-15)/(-5 - -2). Let n = -1 + m. Suppose 0*p = -n*p. Solve p = 4*w + w + 25 for w.
-5
Suppose 5*m + 2*v = 3*m - 2, -m - 2 = 2*v. Let n = -1 + -25. Let t = n - -28. Solve -4*d + t - 6 = m for d.
-1
Suppose 0 = -x + 5*k - 3, -5*x + 3*x + 5*k = 6. Let p be (-3 + -1 - x)*0. Solve -2*f + 3*f - 1 = p for f.
1
Let s = -4 - 20. Let l be 6/s - (-3)/12. Solve l = -x - x - 4 for x.
-2
Let i be (-6*1)/3 - -6. Suppose -4*p + 5*m = 4, -3*m = p - i*p. Suppose 5*z + 5*b - 30 = 0, -z + 3*b = b. Solve -p*k = -0*k - z for k.
1
Let x = -8 - -20. Solve -x = -0*a - 4*a for a.
3
Let r(k) = -k**3 + 9*k**2 + k - 7. Let q be r(9). Let v be -1 + (q - 1) + 12. Suppose -v = -3*s - 0*s, -2*s = b - 12. Solve -5 + 25 = b*g for g.
5
Suppose -s = -4*x + 8, -s + 5*s + 2*x - 4 = 0. Suppose 26 = 2*i + 5*q, 9*i = 4*i + 5*q - 5. Suppose -i*a = -z - 0*z - 8, -a + 3 = 0. Solve -w = -s*w - z for w.
1
Suppose 4 = 2*w - 0. Let n be 15/(-20) - 57/(-12). Solve 3*t - w*t = -n for t.
-4
Let a be (-2)/(-8) + 55/20. Solve -q - a - 2 = 0 for q.
-5
Let s be 1 + 0 + -2 + 8. Let f(m) = -3*m. Let y(k) = k + 1. Let w(x) = -f(x) - 2*y(x). Let l be w(s). Solve 6*c - c - l = 0 for c.
1
Let z = 22 - 20. Solve -z*x = -0 + 2 for x.
-1
Let x(o) = -o**3 + 7*o**2 + 5*o - 10. Let a(w) = 5*w - 3. Let n be a(2). Let k be x(n). Let r be 3/5 + (-216)/(-40). Solve -r*s + k = -s for s.
5
Let s = -38 - -43. Let l(q) = -3*q - 7. Let x(w) = -8*w - 20. Let r(h) = -11*l(h) + 4*x(h). Let k be r(7). Solve 11 = s*i - k for i.
3
Let c(w) = 5*w**2 + w + 1. Let s be c(-1). Let d(z) = z**2 - 5*z + 6. Let g be d(s). Solve -n = -g*n for n.
0
Let j(r) = r**2 + 11*r - 8. Let i be j(-12). Let p be i/14 - (-164)/14. Solve -5*o + p = -o for o.
3
Suppose 3*a = a. Solve -b - 2 = -a*b for b.
-2
Let h be (4/6)/(2/(-6)) + 4. Solve 0*l + h = 2*l for l.
1
Let m(x) = -x**2 + 7*x + 1. Let c be m(7). Let h be 12/(-9)*(-4 + c). Solve -2*a = -h - 2 for a.
3
Let m = 34 + -34. Let o = 12 + -8. Solve 2*z + o + 0 = m for z.
-2
Let k(d) = 5*d - 2. Let t be k(1). Suppose -t*h = -2*h. Solve 5*v + 7 - 2 = h for v.
-1
Let q(s) = -s**2 + 5*s + 6. Let a be q(6). Suppose 2*i - 3*u = -a*u, 0 = -u. Let k(d) = 9*d - 3. Let y be k(2). Solve 0*r + 5*r + y = i for r.
-3
Let k = -72 - -73. Solve k = r - 2*r for r.
-1
Suppose 5*i = -0 + 5. Solve 3 = 2*l - i for l.
2
Let m = -62 + 70. Solve 3*q - m*q + 15 = 0 for q.
3
Let v(y) = -y**3 + 7*y**2 + 9*y - 6. Let b be v(8). Solve f - 2 = b for f.
4
Let o = 482 - 474. Suppose 5 = v + 2. Suppose -v*c + 15 = -39. Solve 2*i = -o + c for i.
5
Suppose -7 = -4*v + w, -3 = v - 0*v - 5*w. Solve a + v = -a for a.
-1
Let t be 2*3*(-10)/(-3). Let l(o) = -3*o**2 + 5*o + 3. Let m(w) = -w**2. Let y(r) = l(r) - 2*m(r). Let n be y(5). Solve n*k = -k + t for k.
5
Suppose 2 = 2*h - 30. Solve 3*d + d - h = 0 for d.
4
Let j be 0 + (2 - (-3 - -2)). Let m(v) = v + j*v + 4 - 5*v. Let t be m(4). Solve t + 4 = -p for p.
-4
Suppose -5*i = 5*f - 45, -f - 12 - 4 = -4*i. Solve 4 = f*y - 0 for y.
1
Let g = 14 + -8. Let u(a) = -a**3 + a**2 + a + 4. Let s be u(0). Suppose s*p + 3 - 11 = 0. Solve -4 = -g*t + p*t for t.
1
Let q(t) be the first derivative of t**2/2 - 7*t - 6. Let y be q(8). Solve 3*o - y = 8 for o.
3
Let l(h) = 2*h**3 + 3*h**2 - 2. Let y be l(2). Suppose -w - f = -1, -5*w + f + y = -f. Solve 0 = -w*j - j for j.
0
Let r = -9 + 14. Let b(u) = -u**2 + 3*u + 10. Let y be b(r). Solve y = c - 1 + 5 for c.
-4
Let w = -6 - 0. Let o be (w/(-9))/((-4)/(-6)). Solve -5*r + 6 = o for r.
1
Suppose -4*j = 3*a - 12 - 7, -a + 6 = j. Solve s + 1 = a for s.
4
Let d = 16 - 16. Solve 2*n - n + 3 = d for n.
-3
Suppose 0*v = 2*u + v - 11, 5*u + 2*v - 26 = 0. Solve 0 + u = 4*h for h.
1
Suppose f - 3*r - 24 - 13 = 0, 3*f = -2*r + 67. Suppose -22 = -a - 3*a - 5*l, -5*l + f = 5*a. Let i = -37 + 37. Solve i*m = a*m - 15 for m.
5
Suppose -14 = 3*w - h - 0, 0 = -3*w + 5*h - 22. Suppose -2*s + 0*s + 8 = 0. Let k = s + w. Solve k = -3*t - 7 - 8 for t.
-5
Let x = -8 + 15. Let z(k) = -k**2 + 8*k + 6. Let h be z(x). Let j(p) = p**3 - 12*p**2 - 12*p - 3. Let w be j(h). Solve -4*t + w = -2*t for t.
5
Suppose -6 = 2*j - 5*j. Suppose -v - 14 = -3*c, 5*c = 2*c + j*v + 19. Solve 0 = -7*d + c*d - 16 for d.
-4
Let i = -2 + 0. Let u be (2/(-5))/(i/(-40)). Let p be (-4)/u - (-1)/(-2). Solve -5*t + 12 + 8 = p for t.
4
Suppose -2*c - 2*w = -14, c - 5*c = 3*w - 27. Solve 3 = i + c for i.
-3
Suppose 5*k - 6 - 14 = 0. Suppose 41 = k*i - 59. Solve i - 5 = 5*s for s.
4
Suppose -4*n = g - 22, -g = -5*n - 3*g + 29. Solve 1 = -2*c + n for c.
2
Let l = -1 + 0. Let t be (-3)/l + 0/(-1). Solve 8*q = t*q - 5 for q.
-1
Suppose -5 = -2*l + 1. Let k = l - -2. Let r(g) = g**3 - 2*g**2 + g - 2. Let o be r(2). Solve -a + k*a + 4 = o for a.
-1
Let i be (-1*6)/(2 - (-35)/(-10)). Solve 0*q - 4*q = -i for q.
1
Suppose -6*i + 23 = 5. Solve 3 + 12 = i*d for d.
5
Let r(d) = d**3 - 12*d**2 - d + 6. Let w(y) = -y**2. Let k(s) = -r(s) + 4*w(s). Let j be k(8). Solve 4*i + 6 = j for i.
-1
Suppose -9*s = -5*s - 16. Suppose s*t - 6 - 34 = 0. Solve -x = x - t for x.
5
Let h be 3 - ((-4)/4 + -1). Let z = h - 1. Suppose 2*w - 8 = -f, -2*f + 2*w + 46 - 6 = 0. Solve 5*p = -z - f for p.
-4
Suppose 2*r - 52 = 26. Suppose 10 = -5*a, -5*a = -5*b - 2*a - 4. Let y be b/4 + r/6. Solve y - 1 = 5*t for t.
1
Let p(v) = 5*v - 6. Let x be p(-5). Let n = x + 8. Let g be (-2 - 1)*n/3. Solve -5*h + 3 - g = 0 for h.
-4
Let g be -2 - (4/(-2) - -2). Let t be (-3 + (-4)/g)*-3. Solve d = t*d - 8 for d.
4
Suppose -30*l + 34*l = 0. Solve 2*b = -l*b - 6 for b.
-3
Let c(p) = 2*p**2 + 3*p - 5. Let a be c(-4). Solve 5*l + a = 2*l for l.
-5
Suppose 0*h = -2*f - h - 18, -22 = 3*f + 4*h. Let z = 11 + f. Solve z - 3 = 2*q for q.
-1
Let o = -10 + 12. Let g be (1 + -1)/(-2) + 4. Solve -g = -o*x + 6*x for x.
-1
Let f(l) = l**2 + 2*l - 5. Let s be f(2). Solve -s*d - 10 = -5*d for d.
5
Suppose 9 = 15*j - 6*j. Let c = 1 - -4. Solve -c*i + j = -9 for i.
2
Let x = 6 + -1. Solve -x + 2 = 3*b for b.
-1
Let j(f) = 12*f + 1. Let g be j(1). Let y = -7 + g. Solve -b = b - y for b.
3
Suppose -4 = 3*t - 2*i + 41, -2*i = 5*t + 59. Let s = t + 13. Solve s*l - 4 = l for l.
-4
Suppose 9*m - 15 = 4*m. Suppose -2*r + 5 + 1 = 0. Let k be r/(-12) - (-2)/8. Solve 8*c - m*c = k for c.
0
Let j(o) = o**3 - 2*o**2 - 3*o + 2. Let d(v) = v**3 + 3. Let x be d(0). Let k be j(x). Let m be (-3)/(-1 + -3 + -3 + 6). Solve k*b - m*b = 5 for b.
-5
Let z(q) = 6*q**3 - q**2 - q + 1. Let l be z(1). Suppose -l*d + 20 + 60 = 0. Solve 0 = -2*y + 6*y - d for y.
4
Let a be (0 - 2)/((-1)/(-2)). Let s(y) = -8*y - 4. Let l be s(a). Suppose 2*r + 0*n - 12 = -n, -5*r + l = 3*n. Solve o