0). Solve -2*n = 2*n + x for n.
-4
Let q = 37 - 13. Let b = q - 22. Solve 2*d = -2 - b for d.
-2
Let x be 0 + 10 - (2 + -1). Suppose -3*m = -5*l + 1, 5*m + x = 4*l + 3. Let u be 4/(-18) + m/(-9). Solve -4*v + 12 = -u*v for v.
3
Suppose 0*r = 3*n - 3*r - 42, -5*n - 3*r = -62. Let z = -1 + n. Solve 2*h = -2*h - z for h.
-3
Suppose -4*h - 49 + 289 = 0. Let k = h + -35. Solve 0*l + k = 5*l for l.
5
Let z = 45 + -43. Solve 0 = f + z*f + 6 for f.
-2
Let j be -4 + 12/3 + 25. Solve -r = 4*r - j for r.
5
Let j = 0 + 0. Suppose 11 + 5 = 4*o. Suppose 4*v = o*q + 72, 6 = -j*q + 3*q. Solve v = 2*b - 6*b for b.
-5
Let j = 100 - 98. Solve j*c = 6 - 0 for c.
3
Let f = -10 - -22. Suppose -j + 0*j = -4*d + 25, 4 = -4*j. Solve d*p - f = 2*p for p.
3
Let i = 1 - 1. Let b be (-3)/5 - 21/(-35). Let o = i - b. Solve 0 = h - o - 1 for h.
1
Let a be -14*(-2 + (-9)/(-6)). Suppose 3*z = a*z. Suppose 0 = 4*k + 3*x - 22, 5 = 4*k - 3*x - 5. Solve -f - k*f + 10 = z for f.
2
Suppose 4*t - 1 = -5*k + 35, -5*t - 2*k = -45. Solve -15 = -6*u + t*u for u.
-5
Let c = -1 - -4. Suppose -5 = 4*j - 21. Solve -v = -j*v - c for v.
-1
Let b be 3/(-9) - (-2)/6. Suppose b*c = -c + 6. Suppose -z - c = -3*z. Solve -4*y - z = 9 for y.
-3
Let w = 13 + -13. Solve w = x - 0 + 1 for x.
-1
Suppose -5 = -z - 5*m, -11 = -2*z - 3*m - 1. Solve z = 3*b + 2 for b.
1
Suppose 2 + 2 = 4*t. Let s be 1*(2 + (-2 - -1)). Let a = s - -2. Solve -a*y + t = 16 for y.
-5
Let c = -83 - -124. Let i be -2*(-1)/2*c. Suppose -4*t + 3*j = -8*t + 79, -t + i = 5*j. Solve -3*z - t = -7*z for z.
4
Let q be (3 + -3)/2 - -9. Solve -2*s - q = s for s.
-3
Suppose -4*l = -0*l - 2*o, -5*l = 2*o. Solve 4*n + l*n = 16 for n.
4
Suppose 0 = 3*c - 8*c + 20. Solve 3*p - p = c for p.
2
Suppose -4*t + 3*t = -7. Let d = t + -5. Suppose 10 = 5*i - 4*g - 4, -2*g = 2*i - d. Solve -h - 9 = i*h for h.
-3
Let b(c) = 5*c - 9. Let r(o) = o - 2. Let w(h) = -2*b(h) + 11*r(h). Let q be w(9). Let k = q - 5. Solve -2*y - 3 - 5 = k for y.
-4
Let k be 6/(-15) - 10/(-25). Suppose 0 = -k*t + t - 1. Solve t = 2*d - 9 for d.
5
Suppose -4 = -5*k + 2*m, -k - 2*m - 2 = -m. Let s = 41 + -28. Suppose -s - 12 = -5*g. Solve -g*n + k = 10 for n.
-2
Suppose b - 7 = -2*o, -2*o = -5*o + 5*b - 9. Solve -o*a = a - 12 for a.
4
Let o(y) = y**3 - 5*y**2 - 5*y - 4. Let l be o(6). Suppose -2*f - 32 = 38. Let k = -19 - f. Solve k = 2*u + l*u for u.
4
Suppose c - 3*c = -3*m - 4, -3*m = 3*c - 6. Suppose x = -5*v - 2, -5*v + 4 = 2*x + x. Solve x*b + m + 3 = 0 for b.
-1
Let k be (1 - 1 - -3)*1. Let o(x) = -x**3 - x + 3*x**3 - 3*x**3 - k*x**2. Let l be o(-3). Solve l*m - m + 6 = 0 for m.
-3
Suppose 12 + 6 = 2*h. Suppose -4*l + 32 = 4*t, 10*t = 6*t + 3*l + 4. Solve o - t*o = -h for o.
3
Suppose 3*q - 15 = 0, -2*g - 4 = -3*q + 5. Solve 15 = g*w + 2*w for w.
3
Let i(h) = 2*h**3 + 4*h**2 + 2*h. Let y be i(-2). Let s = y - -7. Suppose 5*f + s*t + 12 = 0, -4*t - 17 + 1 = 0. Solve f*j - 10 = 5*j for j.
-2
Let m(v) = v - 3. Let a be m(3). Suppose a = -3*i + i + 14. Let s = i + -5. Solve s*l - l = -4 for l.
-4
Suppose 5*s - 4 = 11. Solve 0 = s*h - 8*h + 15 for h.
3
Let v be -2 + (-2)/((-2)/9). Suppose -3*o + 2*k + 7 = k, o + 2*k = 7. Suppose y - v = -o. Solve y*u - 14 = -34 for u.
-5
Let i be -15*((-8)/(-10))/(-2). Let o(q) = q**2 + q + 3. Let c be o(-4). Solve c = -y + i*y for y.
3
Let s = -13 - -17. Let k = s + -4. Solve -5*u + 10*u - 5 = k for u.
1
Let j(z) = -z**2 - z + 2. Suppose 0 = q - 3*q. Suppose -2*o = -p + 5 + 2, q = -4*o - 3*p + 1. Let a be j(o). Solve a*r = 2*r for r.
0
Let r(i) = -i**3 + i**2 + 4*i - 3. Let w be (3 + 0)*10/15. Let p be r(w). Suppose 0 = n - 4 + p. Solve -n*z + 5 = -10 for z.
5
Let q = 5 + -4. Solve -q = -n + 2 for n.
3
Let c be (-5)/10 - (-39)/(-6). Let i = -2 - c. Solve i*r + 6 = -9 for r.
-3
Let j be (-1)/(1 - 9/6). Let q = j + -2. Suppose 5*i - 2*i - 6 = q. Solve i*u + 0*u = 2 for u.
1
Let v be 88/(-20) - (-4)/10. Let k be 2 - v - 3/1. Solve k*n + 11 = -4 for n.
-5
Suppose -2*n - o = 1, 0 = 2*n - 5*o + 1 - 6. Solve n = f - 0 - 4 for f.
4
Let h(m) = -m**2 - 9. Let j(g) = g**2 + g + 8. Let o(v) = 3*h(v) + 4*j(v). Let k be o(-4). Solve k*d + 14 = -6 for d.
-4
Let o be 2*27 - (3 - 1). Let n = o - 32. Let w = n - -2. Solve -5*i - w + 7 = 0 for i.
-3
Let m(o) = -4*o**3 - o - 1. Let p be m(-2). Let y(h) = -h - 14. Let j(t) = -3*t - 28. Let s(q) = 2*j(q) - 5*y(q). Let c be s(9). Solve -c*n = -8 + p for n.
-5
Let w(h) = 3*h**2 + 9*h + 2. Let j be w(-6). Let p = j - 36. Solve 0 = -4*y - y - p for y.
-4
Let p be 29/(-58)*(-4 - 0). Solve -2 - p = -4*q for q.
1
Let p(j) = -3*j**3 - j**2 - 2*j. Let x be p(-2). Let k be (x/20)/((-6)/(-20)). Suppose m + 2 = -0*m + k*a, 5*m + 4*a = 14. Solve q + 0*q = -m for q.
-2
Let b be -1*(8 - 3)*-2. Let h be (-1 + -9)/((-5)/b). Solve 3*t = 8*t + h for t.
-4
Suppose m - 5*m + 4 = 0. Let y = -4 + 6. Suppose -y*i - m + 11 = -g, -i = 4*g - 14. Solve i = 2*v + 2 for v.
2
Let h(x) be the third derivative of x**4/24 + x**3/2 + 2*x**2. Let t be h(4). Suppose -3*c + 11 = -j, -5*c + j = -10 - t. Solve 0 = -2*g + c*g - 5 for g.
5
Suppose -7*r = -5*r - 54. Let i be (r/(-18))/(6/(-8)). Solve i*d + 2*d = -20 for d.
-5
Suppose f = -2*f - 9, -5*v + 3*f = -59. Suppose -5*d + 6 + v = -2*z, 5*d = -2*z + 4. Solve d = -4*s + 10 for s.
2
Let s(g) = -g**2 - 15*g + 19. Let n be s(-16). Solve n*t + 7 = 4 for t.
-1
Suppose 33 = 3*y + 9. Let m = y + -13. Let w be m/((-5)/(-2)) - -9. Solve 3*r - w = 8 for r.
5
Suppose -4*d + 19 = -y - 9*d, 5*y - 3*d = 45. Solve -4*b = -y*b + 10 for b.
5
Let r be (-8)/(-52) - 126/(-26). Solve -r*b - 9 = 11 for b.
-4
Suppose q = 5*q - 8. Solve -q*p + 0*p = -2 for p.
1
Suppose -t - 3*u + 2 = 0, -8*u + 30 = -5*t - 3*u. Let q be (-66)/(-12) - (-2)/t. Solve 3*v - q*v - 6 = 0 for v.
-3
Suppose 0 = -o + 6*o. Solve o = -3*c - 8 - 1 for c.
-3
Suppose 2*h - 4*p - 2 = -6*p, 5*h - 17 = -p. Solve 0 = 7*z - h*z - 9 for z.
3
Let p(d) be the first derivative of -d**4/4 - 5*d**3/3 + 7*d**2/2 + 2*d + 2. Let n be p(-6). Let f be n/(-2) - 4 - -4. Solve r + r = -f for r.
-1
Let x be ((-20)/(-12))/(-4 - 87/(-18)). Solve x*j - 3 = -9 for j.
-3
Suppose n = -4*d + 16, 3*n = 6*n - 12. Solve 0 = z - d + 6 for z.
-3
Suppose -4*s - 29 = -3*z, -4*z - 3*s + 4*s + 17 = 0. Let l = 4 + -3. Let v(m) = m - 1. Let r be v(l). Solve -y + r = -z for y.
3
Suppose -2*p + 0 = -4. Let c = -12 + 21. Suppose 3*y - c = d, -2*d - 4*y = -0*y - 22. Solve p*u = d*u for u.
0
Suppose -7 - 41 = -3*o. Suppose 3*l - o = 5. Solve 0 = -3*f - 8 - l for f.
-5
Suppose -2*l = 3*n - 10 - 28, 17 = n + 5*l. Let v be 0 + -2 + 4*2. Let k = -3 + v. Solve 0 = k*j + j - n for j.
3
Suppose -5*z - 5*q = -5, -2*z + 3*z + 3 = -3*q. Let h(t) = t**2 + 6*t + 4. Let i be h(-5). Let p be (i/1)/(1/(-2)). Solve -z = -p*n + 1 for n.
2
Let g be (-34)/8 + 3/12. Let i = g + 6. Solve -h = -3*h + i for h.
1
Let o = 0 + 5. Let s(z) = -z**3 + z - o*z + 0*z - 5 + 6*z**2. Let k be s(5). Solve k = g + 3*g for g.
0
Let c be -5*(9/(-15) - -1). Let g = c + 2. Solve v + g = 4 for v.
4
Suppose 4*n + 2*i = -0*n + 16, 8 = 2*n - 5*i. Suppose 3*t + n*l - 6 = 0, l - 15 = -2*t + 2*l. Solve -15 = d - t*d for d.
3
Let b(f) = f**2 + 5*f + 10. Let m be b(-3). Solve 0 + 4 = m*x for x.
1
Let p(o) = o**2 - 6*o - 9. Let r be p(8). Suppose 2*m + 5 = r. Let b be (16 - m)/(2/2). Solve -w - b = 2*w for w.
-5
Let a(s) = -s**2 + 6*s - 3. Let z be a(4). Solve 3*o + 7 + z = 0 for o.
-4
Let f(w) = -2*w**3 - 4*w**2 + 2. Let y = -13 + 10. Let b be f(y). Solve 5*o + b = o for o.
-5
Let v(a) = 4*a + 8. Let p be v(-2). Solve p = -6*s + s - 15 for s.
-3
Let s(b) = -2*b**3 + 16*b**2 + b - 6. Let z be s(8). Solve z*v = 2 - 0 for v.
1
Let v be (16/6)/((-16)/72). Let u be 1 - 8/12*v. Solve 4*y = -11 - u for y.
-5
Suppose 6*a = 8 + 16. Solve -1 = l - a for l.
3
Let l(d) = -d**3 + 20*d**2 - 18*d - 17. Let a be l(19). Solve 1 + 3 = -a*y for y.
-2
Let c = 2 + 8. Let f(k) = k**2 - 10*k + 2. Let p be f(c). Solve -6 = 2*b - p for b.
-2
Let w be (-45)/(-60)*16/6. Solve 0 = w*p + 1 - 3 for p.
1
Suppose -3*u - 2*r + 15 = -9, -3*u - 4*r = -30. Let m = 21 - 11. Suppose -y = -u*y + m. Solve -y*v - 2*v + 16 = 0 for v.
4
Let a = 11 - 11. Let j(r) = 7*r + 1. Let p be j(2). Suppose 5*q = -p + 45. Solve k - 4*k + q = a for k.
2
Let l(v) = -4*v**3 - v**2 - v. Let k be l(-