+ n*w + 5 for w.
-1
Let q = -55 + 67. Solve -3*k + 0*k = q for k.
-4
Let f be (4/(-12))/(2/(-30)). Suppose -3 = 5*m + 2. Let q = f + m. Solve 0 = -4*y + q + 16 for y.
5
Let t be ((-15)/12)/(1/(-4)). Let j be ((-21)/12)/((-2)/8). Suppose j*d = 4*d + 9. Solve d*f = t*f + 4 for f.
-2
Let l(n) = 10*n**2. Let u(w) = w**3 - w**2 + w + 18. Let r be u(0). Suppose -4*a + 3 = 5*o + r, 4*o = -a - 1. Let v be l(o). Solve -v = t + 4*t for t.
-2
Let g(c) be the second derivative of c**4/12 + 2*c**3/3 + 2*c. Let v(w) = 2*w**3 + 3*w**2. Let m be v(-2). Let k be g(m). Solve -i = -k*i for i.
0
Let l(k) = 3 - k + 2*k + 1. Let y be l(-4). Solve 5*w + 3 + 2 = y for w.
-1
Let p(x) = -x**2 - 3*x + 3. Suppose -5*t + 0 - 15 = 0. Let a be p(t). Suppose a*w = -2*w. Solve w = s - 5*s for s.
0
Let y be 346/14 + 2/7. Solve -2*x + 7*x + y = 0 for x.
-5
Suppose -25 = 3*m + t - 2*t, -5*m + t = 45. Let a = -4 - m. Suppose 2*o + 40 = a*o. Solve -3*h = -h + o for h.
-5
Let h = 24 + -23. Solve -g + h = -1 for g.
2
Let p(d) = -d + 3. Let t be p(1). Solve -7 = t*c + 1 for c.
-4
Let r be 342/14 + (-40)/(-70). Solve -5*j = 5 - r for j.
4
Let t(y) = 6*y + 116. Let w be t(-19). Let l = 7 - -5. Solve -2*m - w*m - l = 0 for m.
-3
Let a(g) = 8*g - 1. Let c be a(1). Solve -5 - c = -4*q for q.
3
Suppose 0 = s + 2*o - 6, -6*s + 3*s + 6 = 3*o. Let u = s - -2. Let c = 5 + u. Solve -35 = c*n - 10 for n.
-5
Suppose -10 = -5*q - 0. Let l(w) be the first derivative of w**2 + 9*w - 6. Let s be l(-3). Solve -q*g = -s*g - 4 for g.
-4
Let i = -44 + 47. Solve i*r + r = 16 for r.
4
Let w = 77 + -67. Solve -10 = 5*h + w for h.
-4
Let t(l) = l + 7. Let q be t(-6). Suppose -4*c - i = 5, 5*c + 0*i + 2*i + 10 = 0. Solve c = u - 3 - q for u.
4
Let n(o) = 1 + 0 + o - 3. Let j be n(2). Solve 0 = 3*v - j*v + 12 for v.
-4
Let w = -18 - -34. Solve -w = -4*c - 0*c for c.
4
Let q be 22/7 - 10/70. Solve -2 = -q*k + k for k.
1
Let h be 4/(-12) + 48/9. Solve 5*f - h = 15 for f.
4
Suppose 18*u = 6*u + 36. Solve -5*f = -u*f for f.
0
Let i(w) = 80*w**2 - w. Let f be i(-1). Suppose -3*v + 15 = 2*v, 5*m - f = -2*v. Let n be 1/(1 - m/18). Solve 3*u + 3 = -n for u.
-3
Suppose 6*u = -10*u - u. Let f be (-4 + -2)*3/(-6). Solve u = l + 1 + f for l.
-4
Let h(c) = c**3 - 10*c**2 + 8*c + 11. Let x be h(9). Let r = 14 - 10. Let n = 6 - r. Solve -4 = n*t + x for t.
-3
Suppose a - 1 = -2*o + 2, -3*a + 2*o + 49 = 0. Suppose -2*f + 5 = 3*f. Solve 4*t = f - a for t.
-3
Suppose 3*u = 6*u - 4*g - 11, g + 17 = -4*u. Let m be ((-12)/8)/(u/6). Solve 4 = -m*i - 11 for i.
-5
Let v be -6 + 25 - (-1 + 4). Suppose 3*r - 5*g + 6 = 0, -4*r + v = 2*g - 2. Suppose -3*x - 7*s = -3*s, 5*x = -r*s. Solve -2*c + 4 = -x for c.
2
Let v = -6 - -8. Suppose 0 = 4*f + 8, -5*z + v*z - 4*f - 8 = 0. Solve z*x = x for x.
0
Suppose -c + 4*n = 4*c - 118, 0 = 3*c - n - 75. Suppose 5*k - 30 = -5*m + 5, -m - 3*k + 9 = 0. Let v = c - m. Solve 5*b = -0*b + v for b.
4
Let x(k) = -k**2 - 4*k + 2. Suppose 0 = -5*o - 0*o - 20. Let l be x(o). Solve l*y - 6 = -2 for y.
2
Suppose 0 = 2*a - a + 112. Let k be 2/7 - a/(-49). Let o be 1/4*k*-4. Solve 25 = 3*p + o*p for p.
5
Suppose 5*w = 3*d + 28 + 9, -5*w = -2*d - 38. Solve w + 2 = 5*s for s.
2
Let u be 21/(-2) + 3/6. Let b = u + 5. Let g be 0 - (3 + b - 1). Solve g*i = 1 + 5 for i.
2
Let w = 2 + -1. Solve -h = 1 + w for h.
-2
Let v = 8 + -6. Suppose v*w = 5*w. Solve w = -3*p - 12 - 3 for p.
-5
Suppose 0 = x + 5*x. Solve p + x = 3 for p.
3
Let r = 23 + -18. Solve -r*v + v = -16 for v.
4
Let d = 3 + -2. Suppose -7*i + 4*i + 27 = -3*y, 0 = -y - 2*i - 12. Let v be y*((-1)/2)/d. Solve 0 = -v*q - 13 - 7 for q.
-4
Let a(u) = -36*u**2 + u - 1. Let j be a(1). Let g be 2/(-2) + j/(-6). Solve -4*o = 3 + g for o.
-2
Let i(b) = -b**3 + 10*b**2 - 2*b. Let h be i(4). Suppose -4*d + h - 28 = 0. Solve 0*q - d = 3*q for q.
-5
Suppose -9*j = -4*j - 25. Solve -j*a + 3 = -2 for a.
1
Suppose -17 + 1 = -4*n. Let w be n/(-10) + 2/5. Solve w*f = 4*f - 8 for f.
2
Let g = -61 - -23. Let p = g + 54. Let d be ((-18)/(-4))/(6/p). Solve 0*t = 4*t + d for t.
-3
Suppose 3*q + 8 = 5*q. Suppose -4*d + 5*d = 4. Solve -12 - d = q*k for k.
-4
Let r(g) = 4*g + 52. Let b be r(-13). Solve -4*l + l = b for l.
0
Let o be 0/(1/(-5)*-5). Solve o = 3*x + x - 12 for x.
3
Let c be (-4)/14 - (-144)/112. Solve 0 = z + c + 1 for z.
-2
Suppose 0 = 5*h - 2*r - 13 - 6, -4*r = 2*h + 2. Solve -5*u = -h*u for u.
0
Let q = 11 + -9. Suppose -2*w + 6 = x, -12 + q = -5*x. Solve w*g + 3*g = -25 for g.
-5
Let s = -21 + 29. Let v = -1 + s. Let u = v + -4. Solve u*l - 5*l - 8 = 0 for l.
-4
Suppose 5*b - 2 - 33 = -4*p, -p + 11 = 2*b. Let k be (-4)/(-20) + (-1)/p. Suppose k = 4*d - 3*d - 3. Solve 5 = y + d for y.
2
Suppose -4*q = -3*g + 30, 5*g + 55 = -0*q - 5*q. Let v(z) = -z**2 - 8*z + 9. Let n be v(q). Solve 0 = 4*o - n + 20 for o.
-5
Let b be 3/(((-3)/(45/5))/(-1)). Solve -3*l = -3 + b for l.
-2
Suppose 0 = -l - 0 + 2. Solve l = -2*j - 2 for j.
-2
Let d(p) be the third derivative of p**5/60 + p**4/4 + 5*p**3/6 + p**2. Let z be d(-5). Let m = 4 - z. Solve m*u = 1 - 13 for u.
-3
Suppose -7*l = -2*l. Suppose 2*p - 5*p - 11 = -g, -13 = -2*g + 3*p. Solve l = g*j - 7*j - 20 for j.
-4
Suppose 4*r + 3*d = -9, 4*d - 2*d + 6 = 0. Suppose 2*u + r = 2*q - 22, -3*q - 5*u = -41. Solve w + 3*w = q for w.
3
Suppose -12 + 0 = -2*w. Solve 3*b = b - w for b.
-3
Let r(w) = w**3 + 9*w**2 + 8*w + 3. Let i be r(-8). Let t be (0*i/(-6))/(-2). Suppose -y + 3 = -t. Solve 4*f = y*f for f.
0
Let u(v) = -v**2 + 6*v + 8. Let m be u(7). Suppose -4*r - x - m = 0, -7*x = -5*r - 2*x + 5. Solve 4*j = -r*j for j.
0
Let u = 3 - 0. Solve 4*n = u*n + 3 for n.
3
Let o be 2/(-8) + 26/8. Suppose -q - q = 4. Let g be (-6)/24 - q/8. Solve 12 = -g*j + o*j for j.
4
Let b = -35 - -45. Solve 5*g = b + 10 for g.
4
Let x(f) = -f + 15. Let q be x(9). Let v be (3 + -3)*3/q. Solve -k - 3 = -v*k for k.
-3
Let t(x) = -x**3 + 4*x**2 - 2*x + 2. Suppose 3*k - k = 4. Let b be t(k). Solve b*f = 2*f for f.
0
Suppose w + 5*w - 30 = 0. Solve 3*o = w*o for o.
0
Let c(s) = s**3 + 4*s**2 + 2*s - 1. Let q be c(-3). Suppose 3*x + 2*w = 2, -5*x + 5*w = q*w + 3. Let m = 1 + x. Solve 0 = j - 0*j + m for j.
-1
Suppose -q = -4*q + 9. Suppose 5 + 1 = -q*b. Let o = 5 + b. Solve 0 = o*f - 2*f for f.
0
Let k = -4 - 3. Let h = 11 + k. Solve -h - 4 = -4*f for f.
2
Let k = -104 + 106. Solve -3 = k*c - 5 for c.
1
Suppose -4*p + 28 = -12. Solve -p = r + r for r.
-5
Suppose 36 = -0*d - 2*d. Let z = d + 40. Suppose -5*b = j + z, -2*j + 5*b = -6*j - 13. Solve -j = -2*c + 5 for c.
4
Let n(t) = -t**3 + 7*t**2 - 6*t + 6. Let b be n(6). Suppose 2*r + 10 = 3*l - b*l, 3*r + 5 = -2*l. Let i = 3 - r. Solve -5*x - i + 17 = 0 for x.
3
Suppose -4*i + 8 = 0, 0 = 2*p - 2*i - 3*i + 10. Suppose 2*n + 6 = 24. Let r be 1/((1/n)/1). Solve p = 3*o + r for o.
-3
Let s(v) = 4*v - 92. Let c be s(23). Solve c = 2*o - 3*o + 5 for o.
5
Let z be (-8)/(-20) - 13/(-5). Solve -4*c + c = z for c.
-1
Suppose -3*y + 14 = -y. Suppose y = 2*u - 3. Solve u*c - 8 = 7 for c.
3
Suppose -3*y + 2 = -4. Suppose 0 = y*l - 5*l. Solve -c = -l*c for c.
0
Let f(l) = -4*l**2 - l + 1. Let j(i) = i**2. Let y(a) = -f(a) - 2*j(a). Let g be y(1). Solve g*u = -u - 9 for u.
-3
Let a = -19 - -21. Solve -x + a = 5 for x.
-3
Let t(u) = 19*u**2 + 2*u - 1. Let r be t(1). Suppose v - r = -4*v. Suppose 0 = v*h + 7 - 27. Solve -h*y = -2*y - 9 for y.
3
Suppose -3*i + 57 - 8 = 2*h, 2*i - 40 = -5*h. Solve 0*c + i = 5*c for c.
3
Let s = 55 + -25. Suppose -v = -4*v + s. Let i = -76 - -78. Solve 0*p = -i*p - v for p.
-5
Suppose -35 = -8*r + 3*r. Solve 2*p - r*p = 20 for p.
-4
Let j be 1/(((-6)/(-14))/3). Let z(v) = v - 9. Let h be z(j). Let f be (-1 - h) + 6/3. Solve 13 = 4*i - f for i.
4
Let z(q) = 3*q**3 - q. Suppose 0*a + a = 3. Let g be (0 - 1) + a + -1. Let j be z(g). Solve j*s + 3*s = 25 for s.
5
Let s(n) = n**2 + 6*n + 6. Let o be s(-6). Solve 3 = -3*p + o*p for p.
1
Let s(c) = c**3 - 2*c**2 + 2. Let b be s(2). Solve -1 = -b*o - 5 for o.
-2
Suppose 0*o - 3*w + 14 = o, -5*o + 3*w - 2 = 0. Suppose 2*j - 22 = -o. Let n(b) = -b**3 + 18*b**2 + 18*b + 20. Let h be n(19). Solve -j = 3*c - h for c.
-3
Let p(k) = -k**2 + 4*k + 5. Suppose -14*c + 9*c = -25. Let a be p(c). Solve a = 2*f + 3*f for f.
0
Suppose 0 = 4*g + 5 - 21. Solve -g*d + 0*