 + 20 for w.
-4
Suppose -3*f - 30 = f + 5*r, -5*r = -f + 5. Let k = -5 - f. Solve 4*t + 15 + 1 = k for t.
-4
Let m(x) be the first derivative of x**3/3 + 3*x**2 + 4*x - 6. Let g be m(-6). Solve -g = 4*r - 12 for r.
2
Suppose 10 = 4*g - 2*a - 18, 3*g - 2*a - 23 = 0. Solve -3*k + g*k - 10 = 0 for k.
5
Let h(g) = g - 1. Let x be h(-3). Let k be 7 - 2/x*-4. Suppose s = 1 + 3. Solve -k = w + s*w for w.
-1
Let t be 42/4 + 6/(-12). Solve w + 4*w = t for w.
2
Suppose -6 = -2*b + 3*o, 3*b + 2*o - 20 = o. Solve -m + 25 = -b*m for m.
-5
Let x(y) = 2*y**3 - 27*y**2 + 12*y + 15. Let g be x(13). Solve 0 = -g*d + 4*d - 4 for d.
2
Suppose -4*t = -2 - 6. Solve p = -t - 1 for p.
-3
Let u = 145 - 136. Let g be -3*2/(-2)*1. Let o = u - g. Solve o*f = f - 20 for f.
-4
Let j = 33 + -33. Solve j*h + 2*h = 8 for h.
4
Let s = 147 + -143. Solve 4*n + s = -0*n for n.
-1
Let m = -1 + 1. Let k(c) = 0 - 5 - 2*c + m. Let r be k(-5). Solve o - r = -2 for o.
3
Let u = 16 + -16. Solve u = x + 1 for x.
-1
Let v be -8*(-1 + 2/4). Solve -x - 5 = v*x for x.
-1
Let o = 136 - 84. Let c be o/(-10) - (-1)/5. Let s = c + 5. Solve -4*x = -s - 8 for x.
2
Let m be 6*(2/(-48) + 24/64). Solve 3*i = m*i - 1 for i.
-1
Let k = 12 - 10. Solve 0 = -6*h + k*h + 20 for h.
5
Let c = 1 - -15. Suppose 40 - 13 = 5*p - 4*i, i - 3 = -2*p. Solve 1 - c = -p*g for g.
5
Let a(z) = z**2 - 9*z + 7. Let b be a(6). Let t = b - -14. Solve -t*i = -0*i - 6 for i.
2
Let a(r) = 4 - r + 2 - 2 - 6. Let g be a(-4). Let d = 1 - 1. Solve d = -2*n - 6 - g for n.
-4
Suppose -5*d = -3*y - 4, 2*d + 5*y - 3*y = 8. Solve b + 3 = d*b for b.
3
Let z(g) = g + 12. Suppose -3*k + 4*v - 16 + 0 = 0, -3*k - 4*v = -16. Let r be z(k). Solve 6*f = 3*f - r for f.
-4
Let r = -166 - -166. Solve r = 2*n + 3*n for n.
0
Let d be (-1 - 0)*26/(-13). Solve -d*n + 1 = -7 for n.
4
Suppose f = -4*n - 7, 4*n - f + 6*f - 13 = 0. Let s be (n + -5)/(1*-2). Solve -b - s = -3*b for b.
2
Let o(n) = -n**2 - 6*n + 4. Let y be o(-6). Suppose 3*u - 1 = y*p, 0*p + 2*u = -p + 8. Solve -z - z = -p for z.
1
Let z be (-30)/(-7) + (-2)/7. Let q = 6 - -15. Let r be z/(-14) - (-6)/q. Solve 2 = -r*x - x for x.
-2
Let a = -11 - -7. Let s = a + 7. Solve 0*p - s = -p for p.
3
Let y(t) = -t + 14. Let x be y(11). Solve 5*d - 8 = x*d for d.
4
Let b = 8 - -2. Let l = b + -7. Solve l = -j + 1 for j.
-2
Suppose -5*p = 3*i + 2*i - 35, -2*i + 11 = p. Suppose 4*k + 4 = 28. Solve -k*n + i = -2*n for n.
1
Let g = 55 + -31. Suppose 5*q = 1 + g. Suppose 7 = 2*z - q. Solve f + z = -f for f.
-3
Suppose -12 = -44*o + 41*o. Solve 0 - o = -2*p for p.
2
Let s(m) be the first derivative of -m**4/4 - 4*m**3/3 + 2*m**2 - 3*m + 7. Let q be s(-5). Solve -q*r - 1 = 9 for r.
-5
Let v(i) = i**3 + i**2 + i - 1. Let j be v(1). Suppose -3 - 93 = -3*d. Let m = -30 + d. Solve 0*r + m = -j*r for r.
-1
Let z be ((-2)/4)/(1/(-6)). Suppose z*q + q - 40 = 0. Solve 0 = 5*r + q for r.
-2
Let o(i) = i**3 - 5*i**2 + 6*i - 6. Let x(v) = -v**3 - 2*v**2 + 3*v + 4. Let g be x(-3). Let s be o(g). Suppose s*u = -0*u. Solve 3*b - 6*b = u for b.
0
Let c be (-5)/((-15)/9) - -1. Solve -c = -2*q + 2 for q.
3
Let o = 18 + -15. Let d = 0 + o. Solve -2*s - d*s - 20 = 0 for s.
-4
Let m = 5 - 3. Suppose 2*f = -0*q - m*q + 10, 3*f + q - 9 = 0. Solve y = f*y for y.
0
Let k = 8 - 5. Suppose -k*r - 2*r + 15 = 0. Solve 19 = r*n + 4 for n.
5
Let n(r) = -r**2 + 12*r + 13. Let a be n(13). Solve a = 3*s - s for s.
0
Let u(n) = -n**2 + 7*n + 16. Let k be u(8). Solve 12 = -4*r - k for r.
-5
Suppose t + 0*t + 2*h = 3, 0 = 5*t - 2*h - 39. Solve -4*i - t = 1 for i.
-2
Let a(n) = -2*n - 8. Let f be a(-11). Let c be 0/(-2)*(-7)/f. Solve c*g - g = -4 for g.
4
Suppose 4*k + 5*x - 28 = 0, 5*x = k + 4*x + 2. Solve -5*t + 3 = -k*t for t.
1
Let c(n) be the second derivative of n**3/3 - n**2/2 - 2*n. Let q be c(6). Solve -3*g - q = 4 for g.
-5
Suppose -6*p + 3 = -27. Solve -k - 4 + p = 0 for k.
1
Let d be (-3 + 0 - -4)*3. Suppose b = 3*b - 2*z - 22, -d*b = 4*z - 26. Solve 0 = -4*j + 2*j - b for j.
-5
Let a = 29 - 18. Suppose 0*h - h = g - 3, 0 = 4*g + 3*h - a. Solve 3 - 5 = -g*m for m.
1
Let t be 8/(-12)*(-5 - 1). Solve 0 = -2*y + t*y + 10 for y.
-5
Let q(p) = p**2 + 5*p + 5. Let z be q(-5). Suppose -2*v + z*v = 9. Suppose 5*n - 8 = 2*c, 2 + 1 = 3*c. Solve v*l - 5 = n*l for l.
5
Let h(c) = 3*c**2 + 9*c - 1 - 14*c - 2*c**2 - 1. Let r be h(6). Solve -r = -5*y + 6 for y.
2
Let n(a) = -a**3 - 8*a**2 + a + 11. Let m be n(-8). Suppose -w + 15 = 5*v - 0*w, -2*v = w - m. Suppose -z + v + 0 = 0. Solve z*f = -f + 20 for f.
4
Suppose 2*i = n + 3, 4*i + 3*n - 11 = -0*n. Solve -4 = i*l - l for l.
-4
Let a be (6/2)/3 + -2. Let d be (-1)/3 + a/(-3). Solve d*z = 4*z for z.
0
Let n be -4*(13/(-2) + 3). Suppose 0 = 4*h + j - 8, -5*h + n = 2*j + 4. Solve v = -h*v for v.
0
Let p be (-2 - -17)/(2/(-6)). Let c = p - -75. Suppose -5 = 5*t - c. Solve 0 = -t*f - 27 + 2 for f.
-5
Let o be 1*3 + 6/6. Solve 5 = 3*d - o for d.
3
Suppose -22 - 14 = -4*x. Solve 0 = -0*y + 3*y - x for y.
3
Let k be -1*1 + 9 + -5. Suppose 3*q - p - 21 = 0, q = k*p - 4*p + 3. Solve -a = a + q for a.
-3
Let h(f) = -f**3 - 7*f**2 - 9*f - 8. Let w be h(-6). Let b = 13 - w. Solve -b*t + 4*t = 1 for t.
1
Let g(p) = p**3 - p**2 - 4*p - 1. Let k be g(3). Solve 3*q = -7 - k for q.
-4
Let w = -20 - -25. Solve -1 + w = m for m.
4
Let l = -64 - -64. Solve -v + 5 - 2 = l for v.
3
Suppose 37 = 4*s - 4*l + 1, l + 5 = 0. Solve -5 - 3 = -s*i for i.
2
Let t = -16 - -18. Solve -t*x - 2 = -0 for x.
-1
Let w be 1/(-6)*2*-33. Let f = -7 + w. Let z = f - 4. Solve -2 = 2*t - z*t for t.
-1
Suppose -2 = 2*q - 4*j + 2, 3*j = -5*q + 3. Solve 2*i + 4 - 14 = q for i.
5
Let q(o) be the first derivative of o**4/4 - 7*o**3/3 + 7*o**2/2 - 8*o - 1. Let s be q(6). Let c be s - 3*8/(-6). Solve 8 = c*u + 2*u for u.
2
Let s(g) = g - 2*g + 3*g - 8. Suppose -q + 18 = 2*q. Let m be s(q). Solve m*r - 20 = -0*r for r.
5
Suppose -q = 3, -5*z + 1 = q - 21. Suppose z*h - 2*h = 12. Let t be (h/6)/((-4)/(-6)). Solve -t = -v + 4 for v.
5
Suppose -5*r = -2*a - 3*a, 0 = a + r. Solve -v = -a*v - 2 for v.
2
Let m = 7 - 21. Let d be (-2 + (-9)/(-6))*m. Solve 0 = 4*b + d + 9 for b.
-4
Suppose 0 = -4*a + 78 - 22. Solve -5*w = -a - 11 for w.
5
Let j be 3 + 1/(4/(-12)). Let q be (0 + j)*(-6)/(-12). Solve q = -3*i + 7 + 2 for i.
3
Let i(h) = h + 2. Let n be i(2). Let z(p) = p**3 - 5*p**2 + p - 2. Let v be z(5). Let x be n - 3/9*v. Solve -x = 2*y + 5 for y.
-4
Let d = 51 - 35. Let i be (-8)/(-20) + d/10. Solve i = -q - 2 for q.
-4
Suppose 0 = -2*f + 3*f - 15. Solve -4*q = -7*q - f for q.
-5
Let n(b) = b**2 + 9*b + 22. Let a be n(-4). Solve a*v = -2*v - 12 for v.
-3
Let u(h) be the second derivative of 1/6*h**3 - 2*h + 1/20*h**5 + 0*h**2 + 1/6*h**4 + 0. Let b be u(-1). Solve b = -3*g + 2*g for g.
0
Suppose 2 = -2*j, 0 = 3*b - 4*j - 8 - 8. Let t be 20/(-15)*6/b. Let n = 0 - t. Solve 0 = -n*y - 2*y + 20 for y.
5
Let d = 51 - 44. Solve 0 = -3*o - d - 2 for o.
-3
Let c be 4/(-6)*9/(-2). Suppose -m = c*m. Suppose m*y = -y + 12. Solve 3*u + y = -0*u for u.
-4
Let u(d) = d**3 + 12*d**2 - 12*d + 28. Let m be u(-13). Solve -3*r = -0*r + m for r.
-5
Suppose 4*h + 12 = -4. Let i be (-1*1)/((-2)/(-4)). Let a = i - h. Solve -3*v + 7 = -a for v.
3
Suppose 2*y - 1 - 5 = 0. Let t = 27 + -21. Let i = t - y. Solve i*k + k = 4 for k.
1
Let w(k) = k**2 + 2*k + 3. Let v be w(-4). Suppose v*r = 7*r + 28. Solve 13 + r = 5*a for a.
4
Let k(d) = d**2 + 4*d - 5. Let o be k(-4). Let n = -3 - o. Let f(c) = -3*c - 36. Let q be f(-12). Solve q*y - n = y for y.
-2
Let l(r) = 3*r - 15. Let d be l(6). Suppose 0 = -2*n - d*b + 15, n + 5*b = -0*n + 18. Solve -6*x + 3*x = n for x.
-1
Let p = -5 + 0. Let l(v) = v**3 + 4*v**2 - 8*v - 4. Let y be l(p). Let k = y + -5. Solve k = -3*i - 6 for i.
-4
Let t(i) = -i + 2. Let k be t(-3). Let o = 39 - 27. Solve k*l = l - o for l.
-3
Suppose 52*y = 62*y - 20. Let c be 2 + -1 - (0 + 0). Let i = 1 + c. Solve 0 = -g - y - i for g.
-4
Let j = 30 + -10. Solve -3*w + 8*w = j for w.
4
Let c(u) = u + 4. Let q = 21 + -13. Let b be c(q). Solve 3*j + 0*j = -b for j.
-4
Let z(n) = -7*n - 10. Let j(p) = 6*p + 10. Let c(y) = -4*j(y) - 3*z(y). Let b be c(-5). Solve 0 = -h - 4*h - b for h.
-1
Suppose -y = -0*y - 2. Suppose 7 = k - y*k. Let v(s) = -s**3 - 8*s**2 - 7*s 