Solve -2*n - y = n for n.
-5
Let f(c) = c + 5. Let h be f(-2). Solve 0 = 4*z - h*z for z.
0
Let s be 1*(-3 - -2)*-1. Solve w = 2*w - s for w.
1
Let j(q) = 2*q**2 + 5*q + 6. Let u be j(-6). Suppose -c + 3*v + 89 = c, c = 5*v + u. Let w = -24 + c. Solve -5*s = 1 + w for s.
-4
Let z(p) = 4*p**2. Let x be z(-2). Suppose 0 = -2*g + 6*g + 3*n - x, -5*g + 21 = 4*n. Let i(y) = 2*y**2 - 3*y + 2. Let d be i(2). Solve 0 = j - d - g for j.
5
Let m(w) = 3*w - 38. Let f be m(16). Solve u - 6*u - f = 0 for u.
-2
Let z = -10 + 12. Solve 4*u = z*u for u.
0
Let u = 10 + -6. Suppose -8*h + u = -6*h. Solve d - h = 2*d for d.
-2
Let z be ((-6)/4)/((-2)/4). Solve 10 = 2*a + z*a for a.
2
Suppose 2*q + q = l + 12, -q + 2*l - 1 = 0. Let n(y) = 15*y**3 + 2*y**2 - y. Let c be n(1). Let j = 22 - c. Solve q = -j*h + h for h.
-1
Let i = -19 + 11. Let y = -5 - i. Solve 0 = -2*u + 5 - y for u.
1
Suppose -q = -4*b - 0*b + 8, -5*b + 35 = 5*q. Suppose 0 = -j - 2 + q. Solve j = -u - 3 for u.
-5
Let t(m) = m**2 + 2. Let r be t(-2). Solve 0 = 3*q - 3 + r for q.
-1
Let f = 9 - 10. Let q be (17 - 4/(-2)) + f. Suppose 4*i + 3*d = -d + 8, 0 = -i + 3*d + q. Solve 0 - i = 2*s for s.
-3
Suppose -g + 2 = 3. Let q be 4/(-4 - -2)*g. Suppose 0 = -p - q*p + x + 15, 15 = 3*p + 4*x. Solve 5*a - 5 = p for a.
2
Let a = -7 + 7. Suppose 2*p = 2*m - 14, -3*p + 6*p + 2*m + 31 = a. Let v be 3*15/p*-1. Solve -3 = -v*n - 13 for n.
-2
Let i(j) = 0*j**2 + 0*j**3 - 1 + j**3 + 0*j - 2*j + 2*j**2. Let w be i(-2). Solve w*x + x - 20 = 0 for x.
5
Suppose 2*y - 54 = -2*v, 16 = 3*y + 4*v - 61. Let n = -19 + y. Solve -n = -3*q - 0*q for q.
4
Let i(c) = c**2 - 10*c - 7. Let l be -1 + (-1 - -3) + 10. Let d be i(l). Solve y - d = -y for y.
2
Suppose 0 = -2*v + 31 + 13. Suppose -2*b - v = -5*o, -o + 5*b - 14 = -0*b. Solve -c - c = -o for c.
3
Let h = -1 + 3. Suppose 5*a - 20 = -3*q, 3*a - 5*q = 5*a - 8. Suppose 5*m - 45 = -0*m - 5*n, -a*n + 26 = h*m. Solve 0 = m*d + 8 + 7 for d.
-3
Suppose -8*o + 3 = -13. Solve 2*z = 3*z + o for z.
-2
Let k = 60 + -51. Solve -k*h + 4*h = -10 for h.
2
Let a(f) = -20*f. Let z be a(-1). Let w = -3 + 4. Let s be z/6 + w/(-3). Solve -s*d = 2*d - 15 for d.
3
Suppose -v + 2*v - 5*c = 25, 5*v - 5*c = 25. Solve -4*t + 0*t - 12 = v for t.
-3
Let w be 15*(26/42 + 6/(-21)). Solve -c = -w + 1 for c.
4
Suppose 0 = -4*o + 88 - 76. Solve a = -o*a for a.
0
Let n = 56 + -52. Solve n*h - 4 = 4 for h.
2
Let m be (12/(-7))/(8/(-28)). Suppose h - m*h + 10 = 0. Solve -h*v + 7*v = 0 for v.
0
Let b(j) = j**2 - 9*j - 7. Let n(z) = z**2 - 5*z + 5. Let s be n(6). Let i be b(s). Solve 0 = -5*a - 0*a - i for a.
-3
Let r be (2 + -2)/(-2 + 6). Solve r = 4*h + 8 for h.
-2
Let x be ((-6)/4)/((-15)/(-100)). Let j be (12/x)/(9/(-30)). Solve 6*z = j*z for z.
0
Let s(o) = -o**2 - 5*o + 3. Let a be s(-5). Solve -8 = -a*p + 1 for p.
3
Suppose -34 + 10 = 4*d. Suppose 3*q - 5*q = -16. Let b be (d/(-4))/(3/q). Solve b*p = -2 + 6 for p.
1
Suppose 0*q + 3*q - 36 = 0. Suppose 5*c - q = 2*c. Suppose 3*y + c = 4*y. Solve y*n - 6 = 2 for n.
2
Let c be 6/(2*(-3)/(-3)). Suppose 8 = 2*a, -c*h = a - 23 + 7. Solve 0 = 3*y - 1 + h for y.
-1
Suppose 5*t - 2 = -22. Let b be (t - -2)/((-2)/18). Suppose -42 = -4*d + b. Solve 10*f = 5*f - d for f.
-3
Suppose -3*y + 4*r = -0*r - 10, -2*y - 2*r = -2. Solve -n = y*n for n.
0
Let j be (-1)/(-2) - (-38)/4. Let q = 117 + -87. Solve -q + j = -4*g for g.
5
Let v be (-3)/4 + (-13)/4. Let x be (v/14)/(5/(-35)). Suppose 0 = -2*u - x*u + 8. Solve u*d = -d + 9 for d.
3
Let l = 50 - 32. Suppose q + 2*q = 9. Solve 3*w - l + q = 0 for w.
5
Let v = 6 + -2. Let o be (-46)/(-2) + -2 - -1. Suppose 2*d + 4*h - o = 0, -1 = v*d - 2*h - 5. Solve 0 = -d*j - j + 16 for j.
4
Suppose -g = p - 8, 0 = 2*p - 6*p + 4*g - 8. Solve -p*k = -2*k for k.
0
Let f = 294 + -292. Suppose 6 = -i + 13. Solve -t + f = i for t.
-5
Suppose -4*b = -5*g + 35, -5*g = -b - 7 - 13. Solve -2*n + 3 = -g for n.
3
Suppose 0*f + 4*f = 32. Solve -w = w + f for w.
-4
Let o(y) = -y + 16. Let p be o(10). Suppose 2*g - p + 28 = 3*n, -n + 2 = -2*g. Solve 0*c = -5*c + n for c.
2
Let j be (0 - 0/2)*1. Let z(d) = -d**3 + 5*d**2 + d - 2. Let p be z(5). Suppose j = -p*o + o. Solve f = -1 - o for f.
-1
Let a(o) = -o**3 + 3*o**2 - 2. Let h be a(-2). Let u = h + -25. Let d(x) = -x**3 - 6*x**2 + 6*x - 3. Let j be d(u). Solve -y + j = y for y.
2
Let j = -29 - 14. Let t = 71 + j. Suppose 5*h + 3 = t. Solve 13 = -h*n - 12 for n.
-5
Suppose 0 = -4*f - 8, f = -2*c - 5 - 3. Let i = c + 5. Solve 0 = -i*v - 1 - 5 for v.
-3
Let c = 5 + -1. Let s = 6 + -6. Solve 4*f + s - c = 0 for f.
1
Let n(j) = j**2 + 10*j. Let u be n(-7). Let f = u - -24. Solve k = -f + 4 for k.
1
Let c(v) = v**3 - 7*v**2 - 7*v - 8. Let l be c(8). Solve l = -r - 3*r for r.
0
Suppose 4 = 5*g - 1. Solve -v + g = 4 for v.
-3
Suppose -4*s + 25 = m + 4*m, -m = -4*s - 5. Solve 0 = -4*d - s*d - 16 for d.
-4
Let b = 98 - 97. Solve -b + 6 = h for h.
5
Suppose 2*w + 8 = 20. Suppose w*y = 4*y. Solve y*l + 6 = 2*l for l.
3
Suppose 11 - 3 = o. Solve o = 2*d - 0*d for d.
4
Let p be ((-3)/(-5))/((-3)/(-15)). Solve p*b - 2 = 7 for b.
3
Suppose -u + 34 = -14. Suppose -u = -7*j + 3*j. Let g(k) = k + 6. Let r be g(-3). Solve -j = n + r*n for n.
-3
Let v = -39 - -42. Solve k + 1 = v for k.
2
Let s = 43 - 37. Solve x = -s + 10 for x.
4
Let v(s) = -10*s**2 + 12*s + 28. Let m(y) = 7*y**2 - 8*y - 19. Let z(b) = 7*m(b) + 5*v(b). Let d be z(5). Solve d*a - 7*a + 5 = 0 for a.
1
Suppose 4*w - 5*z = 11, 0 = w - 4*z + 6*z - 6. Solve 9 = w*g - g for g.
3
Suppose -r + o = -16, 0 = -r + 5*o - o + 16. Suppose w = -n - 1, -5*n + w + 9 = -r. Solve 0*f = n*f - 16 for f.
4
Let u(r) = -r**3 - 2*r**2 + r - 2. Let a be u(-3). Solve o + a = -0*o for o.
-4
Let z = -31 - -20. Let a be z/(-4) - 15/20. Solve -a*x = x for x.
0
Suppose 4*p = 16, -2*x + x = 4*p - 20. Suppose -8 - x = -3*o. Suppose 0 = -o*n + 4 + 4. Solve l = n + 3 for l.
5
Let x(d) = d**3 + 8*d**2 - 10*d - 6. Let g be x(-9). Solve 0 = 4*y + g - 11 for y.
2
Suppose 2*z - 14 + 10 = 0. Solve y - z + 7 = 0 for y.
-5
Suppose -3*s + 2*a + 30 = -16, 4*s + 3*a - 67 = 0. Solve -3*f = -4 + s for f.
-4
Suppose -3*o = -2*h - 37, -3*o - h = -5*h - 29. Let v = o + -10. Suppose d - 14 = v*r, -d + 9 + 3 = -4*r. Solve 3*g + 1 = d for g.
1
Suppose -6*w = -5*t - 3*w + 89, 0 = -3*t - w + 45. Solve 0 = i + 3*i - t for i.
4
Let l(x) = -15*x**3 + x**2. Let j be l(-1). Solve j = -0*c + 4*c for c.
4
Let h(m) = 7*m**3 - 2*m**2 + m + 4. Let j(l) = 15*l**3 - 4*l**2 + 2*l + 7. Let t(w) = -7*h(w) + 4*j(w). Let n be t(1). Solve c = -c + n for c.
5
Suppose -2*z + 0*z - i + 8 = 0, 3*i = -6. Solve -z*k + 3*k + 2 = 0 for k.
1
Let f(y) = -2*y. Let s be f(-5). Suppose -2*p - 8 = -4*p. Solve s = p*w - 2 for w.
3
Let a be (-1 - 0)/(5/(-15)) + -1. Solve 4 = 3*s - a for s.
2
Suppose 2*u + 10 + 10 = -4*h, 5*h + 15 = 0. Let m = u - -4. Solve m = -0*d - d - 2 for d.
-2
Suppose 7 = -3*u + 5*u - g, 4*g + 16 = 5*u. Solve 3*o - u = 2 for o.
2
Let v(u) = -u + 1. Let b(l) = 5*l - 6. Let k(q) = 2*b(q) + 11*v(q). Suppose 2*p = 3*p + 1. Let y be k(p). Solve -5*s + s = y for s.
0
Let i(x) be the second derivative of x**5/20 - x**4/4 + x**3/2 + x**2/2 - 2*x. Let a be i(3). Suppose 4*o + o = a. Solve o*t - 3 = 5*t for t.
-1
Let x(r) = r**2 - 11*r - 10. Let u be x(12). Solve u*v = -v + 9 for v.
3
Suppose -5*r + 2 = 4*b, -2*r = -r + b. Suppose d + r*h = -6, -6*d = -4*d + 2*h + 6. Solve 0 = 5*v - d*v - 15 for v.
3
Suppose -5*j + 25 = 0, -5*o - 4*j + 33 - 3 = 0. Let d be o/(-1) - (-2 + -5). Suppose -3*k = -d*k + 4. Solve -k + 7 = -t for t.
-5
Let g(t) = -t**3 + 5*t**2 + 2*t - 2. Let n be g(4). Let y = 1 - 1. Solve y = -5*u + 3 + n for u.
5
Let y(l) = -l + 2. Let h be y(-5). Solve -3*f + 8 + h = 0 for f.
5
Let u = 12 + -9. Solve -u*w - 2 = -w for w.
-1
Let t be (3/6)/(2/8). Suppose 0 = -o - t*o. Solve o = 5*p + 3 + 2 for p.
-1
Let f = 7 + -5. Let l be (-2)/8 + (-26)/(-8). Solve -f*x = l + 3 for x.
-3
Suppose s + 140 = -4*s. Let x = -17 - s. Solve -4 = -5*o + x for o.
3
Let p be 0/(-3) + 1 + -4 + 4. Solve -4*k + 7 = -p for k.
2
Suppose -3*g = g - 2*p - 16, 4*g = -4*p + 16. Solve 4*q + 4 = -g for q.
-2
Suppose 2*c - 7 = 5*w, -4*c = -c + w - 19. Suppose 50 = 4*o - 2*o + 2*l, 4*o + l - 85 = 0. Solve a - c*a = -o for a.
4
Let y = 22 - 19. Solv