3*n - 15 - 18. Let a = n + s. Solve 2*w + w - a = 0 for w.
4
Suppose -9 = -4*d - 1. Suppose 0*c - 3*c + 4 = -4*m, -d*m - c + 8 = 0. Solve -s - m = 2 for s.
-4
Let p = -13 + 17. Solve p*j + 1 + 11 = 0 for j.
-3
Let f be 2 - 0 - 0/1. Let p = 31 - 19. Solve -f*h = h + p for h.
-4
Suppose 46 = 2*l - 2*i, 2*l - 7*l = -2*i - 115. Solve -4*n = -7 + l for n.
-4
Let l be ((-6)/10)/((-3)/15). Suppose 3*z + 2*z = 0. Suppose z = -l*p + p. Solve p*o - 15 = 3*o for o.
-5
Suppose 0 = 2*c - 0*c - 6. Solve c*k - 3 = -0 for k.
1
Suppose 19*k - 25 = 14*k. Solve -k*s = -4*s + 5 for s.
-5
Suppose -5*i + 10 = 3*l, -3*l - 4 = -2*i - 0. Solve -5*w + 0*w + 5 = l for w.
1
Let o be (-108)/11 - 4/22. Let y(m) = -2*m**3 + m. Let s be y(-2). Let i = s + o. Solve -3 = p - i*p for p.
1
Suppose -5*b = -k + 4 + 21, 3*k + b = -5. Suppose s = 3*d - 24, k*d - 8 = -d - s. Solve 2*h + d = 18 for h.
5
Let u = 1 + 1. Solve -u*v + 3 = -5 for v.
4
Suppose 5*j + 32 = -18. Let p = j - -10. Let w be 2 - (-37)/1 - p. Solve 5*h + 14 = w for h.
5
Suppose 0*c + 2*c = 2*f, 4*c = -f + 10. Suppose 3*m - 4*p - 26 = 0, 0 = -6*p + c*p - 20. Let k be ((-4)/(-10))/(2/5). Solve -m + k = y for y.
-1
Let a(x) = x**3 + 26*x**2 + 23*x - 45. Let u be a(-25). Solve u*h - 4 - 6 = 0 for h.
2
Let d = 203 - 192. Solve 0 = 8*r - d*r for r.
0
Let a be (-354)/(-14) + 2/(-7). Suppose 4*t - 5*j = 37, -4*j + a = -9*j. Solve t*h + 4 = 7*h for h.
1
Suppose 5*t - 2*k - 20 = -0*t, 0 = 5*t - k - 20. Suppose t + 2 = 2*h. Solve -h*v - 2*v = 20 for v.
-4
Suppose -3*u + 1 = -4*u. Let f = 4 + u. Let j(m) = 2*m**3 - 13*m**2 - 6*m - 5. Let x be j(7). Solve x*t + 1 = -f for t.
-2
Let q(a) = 3*a**3 + 2*a**3 - 6*a**3 + 3*a**2 + 2 - 3*a. Let o be q(2). Solve 4 = -4*r - o for r.
-1
Let l(j) = j**2 - 4*j. Let u be l(5). Let w = -48 + 62. Suppose -2*a + w = -u*z, -z - 4*z - 18 = -4*a. Solve 8 - 2 = a*m for m.
3
Suppose b - 26 = -5*a, a + 3 = -4*b + 12. Suppose -a*z + 44 = v, -v - 16 - 12 = -4*z. Let d = -6 + z. Solve n - 5 + d = 0 for n.
3
Let s be -4 - (-4 - (16 - -4)). Let r(u) = -4*u**3 - u**2 + 1. Let z be r(-1). Suppose 0 = -5*j + s, 9 + 19 = z*f - 2*j. Solve 2*a = -a - f for a.
-3
Let w = -14 + 16. Solve w = -u + 3 for u.
1
Suppose 3*q - 27 + 9 = 0. Let d be 108/(-9)*(-2)/q. Solve s = d*s for s.
0
Suppose -m + 6 = -2*c, 0 = -3*c + 2*c - 4. Let h be -1 - (m + 0 + -1). Solve r + 3 = h for r.
-1
Let r be ((-3)/6 - 0)*-12. Suppose -3*s + 0*s - r = 0. Let v be 1 - (s - -1 - -2). Solve -3*b - 6 = -v*b for b.
-2
Suppose -t - 45 = -6*t. Solve -t = -2*v - v for v.
3
Suppose -2*s + 6 - 4 = 0. Let u be -2 + s - 12/(-1). Suppose 3*v - 3 = -3*d, d - 4*d = 5*v - u. Solve v*k - 15 = -k for k.
3
Suppose 0 = 5*v - 7*v. Solve v = -0*n + n - 3 for n.
3
Let i = -20 - -24. Solve -12 = -i*n + n for n.
4
Suppose 0 = -5*p + 70 + 40. Solve -3 = -5*m + p for m.
5
Let k be (-1)/3*(-48)/4. Suppose -k*r = -r. Solve r = -2*d - d + 12 for d.
4
Let h(v) = -2*v - 6. Let w = 5 - 10. Let t be h(w). Solve 3*z + 1 = t for z.
1
Suppose 8 = 2*n - 12. Let z be (-4)/n + 12/5. Suppose 2*d = -z, -5*l + l + 10 = 2*d. Solve 4 = 5*h - l*h for h.
2
Suppose 2*d - 26 = -3*s, -d - 5*s + 14 = -6. Solve 0 = 5*h - 7*h - d for h.
-5
Let a be (-581)/(-28) + 2/8. Let d = -12 + a. Solve -1 + d = 2*u for u.
4
Let r(z) = -z**2 - 3*z + 5. Let g be r(-4). Suppose -g + 9 = 2*b. Suppose 0 = -y + 2*h - h + 2, 8 = 3*y - b*h. Solve 0 = -3*m - y + 12 for m.
4
Let f(w) be the third derivative of -w**4/24 + 2*w**3/3 + w**2. Let g be f(-8). Suppose 2*r = -r + g. Solve 5*i = -11 - r for i.
-3
Let t be 4/12*9*2. Solve -3*r + 15 = -t*r for r.
-5
Suppose 4*w - 8 = 24. Solve -w = 5*u - 28 for u.
4
Let f(k) = -4*k - 1. Let q be f(-1). Suppose 0 = q*u - 7*u + 168. Suppose -2*h + u = h. Solve -5*g + h = -11 for g.
5
Let b = -6 - -6. Let i be (-2)/(4/(-2)) - 1. Suppose 2*q = -3*l + 22, -2*l + 44 = 5*q - i*l. Solve -3*t - t + q = b for t.
2
Suppose -2*x + 4*o = -0*x + 20, -4*x = 2*o - 10. Suppose 16 = 5*l - 54. Solve -5*z + 1 + l = x for z.
3
Let o be 4/(-10) + 17/5. Let g = 1 - -2. Suppose 0*l = -g*l. Solve l*a + o*a = 15 for a.
5
Let p = 16 - 13. Let d(i) = 13*i**3 - 2*i**2 + 1. Let t be d(1). Suppose -2*f = -7*f. Solve -p*q - t = -f*q for q.
-4
Suppose 0 = 6*d - 4*d + 18. Let f(m) = m**3 - m**2 - 1. Let u(t) = -10*t**2 - t - 14. Let x(q) = f(q) - u(q). Let z be x(d). Solve z*v + 1 = -3 for v.
-1
Let q = -5 + 8. Suppose 0 - 15 = -q*b. Suppose b*p + 2 = 3*v, -5*p - 2*v + 7*v - 10 = 0. Solve z = 3 + p for z.
5
Let h = 8 + -10. Let p be h*(-3)/((-3)/(-2)). Solve 0*j = 2*j - p for j.
2
Let m be 114/42 - 4/(-14). Let g = -5 + m. Let h be (-9)/g - (-1)/2. Solve -h*x - 9 = 6 for x.
-3
Suppose 7*g - 50 + 15 = 0. Solve -7*l = -g*l for l.
0
Let s(x) = x - 1. Let a be s(0). Let t = 3 + a. Let c = 1 + t. Solve -c*j + 4 = -5 for j.
3
Suppose 0*x - 4*x = 4. Let g = 1 - x. Solve -g*z = -z for z.
0
Let d be 35/3 - 4/(-12). Solve -3*v = -7*v - d for v.
-3
Let z = 26 + -7. Solve 4*s + 3 = z for s.
4
Suppose 4*c + 32 = -4*x, -1 - 1 = c - 2*x. Let q be (-1 - 0)/(2/c). Solve 0*u - q*u = 0 for u.
0
Suppose -2*q + 4*q = 0. Let f = -12 - -16. Solve q = -0*r - f*r + 4 for r.
1
Let k(x) = -x**2 + 4*x + 9. Let g be k(5). Solve g*d = 6*d for d.
0
Let o = 4 - 2. Suppose o - 8 = -3*f. Solve d = -f + 1 for d.
-1
Let n be (-6)/21 - (-51)/7. Let p(x) = -x**3 + 7*x**2. Let t be p(n). Suppose t = q - 2*q + 8. Solve 0 = 4*b + q for b.
-2
Suppose 0 = s + 3*p - 2 - 4, 2*s + 4*p = 10. Solve 0 = -s*u - 5 - 4 for u.
-3
Let v be 6/16*-2 - 30/(-8). Solve j - 2 = -v for j.
-1
Let c be 32/6 + 2/(-6). Let x(l) be the second derivative of -l**5/20 - l**3/3 - l**2/2 + 2*l. Let r be x(-1). Solve -v = c - r for v.
-3
Let n = 4 - 2. Suppose n*u - 26 = -0*u + 4*q, 2*u + 4 = -2*q. Solve -u = -0*g + g for g.
-3
Suppose -3*u = -7*u + 16. Let r(v) = 11*v + 5. Let m be r(u). Suppose -41 - m = -5*a. Solve 4*w + 6 = a for w.
3
Suppose 3*h - 4 = 4*p - 2*p, -5*p - 10 = 5*h. Let t = p + 2. Solve t*w = -5*w - 5 for w.
-1
Let p be 5/((6 - 3)/3). Suppose -3*v + p*v - 16 = 0. Let q = v + -8. Solve q*w + 4*w = -20 for w.
-5
Let i(l) = 2*l - 4. Let b be i(4). Let j be b/2 + 24 + -1. Suppose -j = -0*a - 5*a. Solve -2 = a*w + 8 for w.
-2
Let y be (-66)/(-18) - 1/(-3). Suppose y*j + 11 = -f, 3*f - 5*j = -0*j + 35. Solve -4*o + 5*o + f = 0 for o.
-5
Suppose 2*o + 6 = 2*l - 3*o, 5*l - 2*o - 36 = 0. Let d(z) = -2*z - 20. Let x be d(-10). Solve 2*s - l = -x for s.
4
Let n be 1*1/(-3)*0. Solve n*l = 3*l - 6 for l.
2
Let x(f) = 2*f**3 - 5*f**2 + 2*f + 4. Let h be x(2). Solve 6 = -5*n - h for n.
-2
Let m be 10*3/12*(-12)/(-10). Solve 8 = 5*s + m for s.
1
Let f = -176 - -180. Solve 3*s = f*s - 2 for s.
2
Suppose -6*o + o = 20, 2*t + 2*o = -12. Let z be 0 - -2 - (-2)/t. Let j = z + 1. Solve -j*w = w - 3 for w.
1
Let g = -10 + 10. Solve -2*d - 2 - 4 = g for d.
-3
Suppose 3*a + 0 = 3. Let w(h) = 4*h**2 + 1. Let x be w(1). Let y = x + a. Solve 5*t - 21 = -y for t.
3
Suppose 3*k - 30 = -2*k. Suppose 0 = -3*z + 5*z - k. Solve -z + 23 = 5*q for q.
4
Let h = 30 - 1. Suppose -4 = 5*u - h. Solve 0 = -u*o - 26 + 1 for o.
-5
Let d be (204/24)/((-1)/(-2)). Let g = d + -17. Solve g = 4*f + f - 20 for f.
4
Let y be (-4)/6*30/4. Let v = y + 5. Solve 4*k - 16 + 0 = v for k.
4
Let g = 30 + -21. Solve 4*r = -g - 11 for r.
-5
Let l(i) = 4*i + 57. Let k(b) = -b + 1 - 13 - 2. Let c(p) = -9*k(p) - 2*l(p). Let q be c(-10). Solve -q = u - 0 for u.
-2
Let g = -1 - -4. Let c be (-20)/(-8) + g/(-6). Solve c - 6 = -j for j.
4
Let d be 4/14 + 33/7. Solve 0*b - d = 5*b for b.
-1
Suppose 2*n = -x, -3*x = 5*n + x. Solve n*m = 5*m - 20 for m.
4
Let u(x) = 2*x + 5 + 1 + 6*x**2 - 4. Let b(z) = -z**2 + 6*z + 5. Let o be b(7). Let f be u(o). Solve 5*h = -3 - f for h.
-5
Let c = -18 + 25. Suppose c*l + x = 2*l + 17, 3*l - 3*x - 3 = 0. Solve 10 = -5*u + l*u for u.
-5
Let g(r) = -r + 6. Let p be g(5). Suppose 0 = 2*m - 9 - p. Solve -m*o + 10 = -5 for o.
3
Suppose p - 2*u - 26 = 0, 0 = -3*p + p + u + 37. Suppose -4*r + 0*r = -p. Let m = 18 - 13. Solve -n - r*n = -m for n.
1
Let a be ((-4)/6)/1*-6. Suppose 3*i - 61 = a*b, i - 4*b - 17 = -b. Suppose -i = 3*v - 80. Solve 5*x + v = -1 for x.
-4
Let n(f) = f**3 + 5*f**2 + 4*f - 1. Let x be n(-3). Solve x*t - 22 = -7 for t.
3
Let q(s) = s + 2. Let l be q(3). Solve 0*o = -l*o 