 0 = r*l - 0*l + 4 for l.
-2
Suppose p - 27 = -7. Solve -4*u + 9*u - p = 0 for u.
4
Suppose -4 = s + 5*i, 5*s - 13 = 4*i - 4. Let r be 0 - -2 - (-23)/s. Solve 0 = 3*a + 2*a - r for a.
5
Let j(q) = 3*q**2 + q**3 + 2*q - 3*q + 1 - 1 + 3. Let d be j(-3). Solve -2*u + d = -4 for u.
5
Let a(o) = -o**3 - 5*o**2 - 4*o + 2. Let i be a(-4). Suppose 0*k = -2*k + i. Solve 0 = y - 3 + k for y.
2
Suppose 50 = 5*t + r - 3*r, 5*r - 13 = t. Suppose -3*v + 8 = -5*v - 2*s, 2*s + 8 = 0. Solve 2*z + z - t = v for z.
4
Let l = 28 - 21. Solve -1 = 4*z + l for z.
-2
Suppose b + 0*r = -3*r + 20, -5*r - 4 = -3*b. Solve 1 = 3*x - b for x.
3
Let i(x) be the first derivative of -x**5/60 - 7*x**4/24 + x**2 - 1. Let y(c) be the second derivative of i(c). Let n be y(-3). Solve 5*a + n = 2*a for a.
-4
Suppose 5*i + 10 = -0, 0 = 5*n - 4*i - 68. Solve 6*z - 2*z - n = 0 for z.
3
Let n = -68 + 77. Suppose -g - f - 19 = -5*g, -2*f - 18 = -3*g. Solve -g*u + u = -n for u.
3
Suppose -j - 4*w = 1 - 3, 21 = 3*j - 3*w. Solve -j = -3*o - 3 for o.
1
Suppose -2*n - 2*h = -5*h + 9, n = h - 3. Solve n = -3*k + k - 10 for k.
-5
Let s be (12 + -7)/(0 + 1). Suppose 0 = -p + 4*p - s*b, b = -p. Solve 5*f - 7 - 8 = p for f.
3
Suppose 3 = 3*k - 3*a - 15, a = -3. Suppose -2*z = z - k. Solve w + 4 = z for w.
-3
Let v be (3 + 3 - 0) + -3. Let p(o) = o**2 - 6*o. Let q be p(6). Solve v = -t - q*t for t.
-3
Suppose -34 = -4*d - 14. Solve 0 = 3*o - 1 - d for o.
2
Let s(m) = m**3 + 4*m**2 - m - 4. Let c = -11 + 19. Suppose 0 = -2*z - f - c - 2, 2*z + 4 = 2*f. Let h be s(z). Solve a + 2 - 5 = h for a.
3
Let h(a) = -a - 6*a - 2*a**2 + 2*a**2 - a**2. Let k be h(-7). Solve 0*c - 5*c = k for c.
0
Let u = 26 + -24. Solve 0 = -u*q + 2 - 0 for q.
1
Let s be (-3)/2 - 39/(-6). Let n = -3 + s. Suppose 7*k = n*k + 20. Solve k*r + 12 = -0*r for r.
-3
Let z(s) be the first derivative of s**3/3 - 5*s**2/2 + 2*s - 1. Let k be z(5). Solve -k = -4*g + 2*g for g.
1
Let o be (-3 + 0)/3 - -5. Let y = o - 1. Solve 0 = k - 0*k + y for k.
-3
Let c be 3*(-1 + 0) - 0. Let i = 6 + c. Let v = 40 + -29. Solve -i*l = v + 1 for l.
-4
Suppose 4*r + 4*x = -x - 33, -3*x = 4*r + 31. Let c = r + 9. Solve c*v + 15 = -v for v.
-5
Let r(n) = n**2 + 2*n + 3. Suppose 20 = 4*w - o, 15 = 3*w - 4*o - 0*o. Suppose 10 = -3*x - 2*x - w*c, 10 = -5*x - c. Let s be r(x). Solve a + 4 = -s*a for a.
-1
Let d = -23 - -30. Let m(q) = -q + 20. Let v be m(12). Solve 3*l - d*l + v = 0 for l.
2
Suppose -34 = -11*q + 6*q - 2*s, q = -s + 5. Solve -q*g + 10*g = 4 for g.
2
Let l = 17 + -13. Let m be (-3 + 4)/(1/2). Solve 0 = -3*s + l + m for s.
2
Suppose 0 = -2*i + 4 + 12. Suppose -2*j + 10 = -0. Suppose -4*s - 2 = -j*s. Solve 0 = 2*t + s*t - i for t.
2
Let d be 3/(-12) - (-5)/20. Solve d*r = -3*r - 12 for r.
-4
Let f(s) be the third derivative of -s**6/120 - s**5/5 + 13*s**4/24 + 7*s**3/6 - 8*s**2. Let u be f(-13). Solve u*k - 15 = 2*k for k.
3
Let k = -9 - -16. Solve -4*n = -k*n for n.
0
Let m be 36/54 + (-25)/(-3). Solve -m*j + 4*j + 25 = 0 for j.
5
Let w(z) = -12*z**3 - 2*z**2 - z. Let s be w(-1). Solve 5*p - 4 - s = 0 for p.
3
Let c be -3 - 2 - 8/(-1). Solve r = c - 2 for r.
1
Suppose 0*s + s = 4. Suppose -4*w = s*n - 4, 5*w - 2*w = -n + 1. Solve n - 4 = -x for x.
3
Let m = 81 + -45. Suppose -4*q = m - 116. Solve 2*k + 2*k + q = 0 for k.
-5
Let u be 1*(-1)/2*2. Let s = u + 4. Solve -m = s*m + 20 for m.
-5
Let j be ((-14)/21)/(4/18). Let x = -1 - j. Solve -y = -x*y for y.
0
Suppose 0*n - 4*w = -3*n, 11 = 2*n + w. Suppose 0 = 5*r - 2*j + 7*j - 15, -4*r = 5*j - 7. Suppose 3*c = r*c - 100. Solve -k - n*k - c = 0 for k.
-4
Suppose -4*y - 4*a = 4, 0*y - y + 4*a - 26 = 0. Let p = 11 + -19. Let s = y - p. Solve -2*x = -8 - s for x.
5
Let u(g) = -g**2 - 2*g + 4. Let j be u(-3). Let f be j - (3 - 4)/1. Solve s + f - 5 = 0 for s.
3
Let y be 9 + (-3 - -3)/(-1). Solve -h = 2*h - y for h.
3
Let d = 4 + 12. Suppose 0 = -4*v + d + 20. Solve v = -i - 2*i for i.
-3
Let k(d) = d + 12. Let l be k(5). Solve 3*u + l = 2 for u.
-5
Let s(w) = -w + 4. Let y be s(5). Let u = 1 - y. Suppose 3*l + 3*t = 15, -5*t - 69 = -4*l - 85. Solve -3*o = l + u for o.
-1
Let q(c) = c - 2. Let m be q(-8). Let h be (-64)/m + 4/(-10). Solve j + h = -j for j.
-3
Suppose 4*s = 3*t - 8, 11 - 34 = -5*t - 3*s. Suppose t*l = l + 4*c + 5, -2*l - 4*c = 10. Let q be l - 1 - -15 - -2. Solve -6*v + v = q for v.
-3
Let r = 7 - 5. Let q = -43 - -43. Suppose q = d - r. Solve p = 7 - d for p.
5
Let v(n) = -8*n - 4. Let f be v(-3). Solve 0 = -4*h - 0 - f for h.
-5
Let q be 6/3 + -2 + 8. Suppose -3*k - 3*p = 2 - q, 5*k - 17 = 2*p. Suppose 5 + k = 2*m. Solve 1 + 11 = m*d for d.
3
Suppose 5*f - 2*b - 35 = 0, -5*f + 0*f - 2*b + 55 = 0. Solve -f = -0*z - 3*z for z.
3
Let a = -3 + 7. Let f(j) = -j + 4. Let k be f(a). Solve 3*z + k*z = 0 for z.
0
Suppose -y = 2*q - 10, -4*y + 4*q - 8 = -0*q. Solve -y*l + 0*l - 6 = 0 for l.
-3
Let i be (32/(-10))/((-2)/5). Solve 0 = m - 3*m + i for m.
4
Let l(h) = -h + 8. Let q be l(8). Solve 2*f + q*f = 0 for f.
0
Suppose 21 = -4*l + 4*z - 3*z, -5*z = 2*l + 5. Let n = 9 + l. Suppose 17 - 1 = n*y. Solve 0 = -y*m - 3 - 5 for m.
-2
Let s = 33 - 32. Solve -k = -2*k - s for k.
-1
Let y = 36 - 31. Let f = 7 + -2. Solve -f*q = -0*q - y for q.
1
Suppose -c - z = -24, 3*c + 2*z = -0*z + 68. Suppose 5*d + 0*q = 2*q + c, 4*d - 5*q - 33 = 0. Solve -d*g = 2*g + 20 for g.
-5
Let f be 1 - (4 + (0 - 17)). Solve 0 = -3*z - f - 1 for z.
-5
Let t(w) = 3*w**3 - 2*w + 1. Let h be t(1). Let s(k) = k**3 - k**2 - 3*k + 2. Let g be s(2). Suppose g*j + h*j - 6 = 0. Solve j*u - 8*u = 0 for u.
0
Suppose 5*m + 3*c = 2*c + 128, 5*m - 110 = 5*c. Solve -m = -6*z + z for z.
5
Let j be (-70)/(-15) + 2/(-3). Solve 9 + 11 = j*s for s.
5
Let w = -71 - -73. Solve -w*j - 3 + 1 = 0 for j.
-1
Suppose -16 - 54 = -5*f. Let j be (-1)/2 - (-1)/(-2). Let x be -1*(-3)/(-3)*j. Solve -5*s + x = -f for s.
3
Suppose -b + 3*x = 2*x + 5, b - 3*x = -5. Let y(z) = 5*z**2. Let h be y(1). Let t = h - b. Solve -2*g - 3*g = t for g.
-2
Let s(w) = -w**3 - 7*w**2 - 7*w - 6. Let x(c) = c**3 + 10*c**2 - 6. Let p be x(-10). Let t be s(p). Solve 4*f + 0*f + 4 = t for f.
-1
Let c be ((-4)/2)/((-6)/(-33)). Let h = 15 + c. Suppose 4*b = -m - 1, 2*m + 3*b - h = 4. Solve 3*o + m = 1 for o.
-2
Suppose n + 13 = -4*m, 1 = -m - 2*n - 4. Let j = -1 - m. Solve j*l = -l for l.
0
Let c be (-4)/(-6) - 8/12. Let h be 5*3/((-45)/6). Let q be (1 - h)/(3/2). Solve -i - q + 0 = c for i.
-2
Suppose 3*j + 9 = -3*v, 7*v + 2*j + 5 = 4*v. Let b be v + (8 + -2 - 1). Let q(a) = a**2 + 1. Let r be q(1). Solve -o - r*o = b for o.
-2
Suppose -3*q - 42 = -5*f, -2*f = -4*f - 4*q - 4. Suppose -2*z + f = 5*c, -2*z - 6 = -5*c - 32. Solve 3*x - 7 = z for x.
5
Let x(w) = w**2 + 11*w + 9. Let a be x(-11). Solve 3*d = -0*d + a for d.
3
Let o be (-2)/(-1)*2/(-4). Let f be (4/1)/4 - o. Solve f*c = -c for c.
0
Let k = 5 - -1. Suppose 2*f = k*f - 8. Solve 3 = -s + f for s.
-1
Let z(y) = 10 - 5*y - 4*y + 2*y - 3*y**2 - y**3 - 6*y**2. Let k be z(-8). Solve 3*o - 4 - k = 0 for o.
2
Let c = 11 - 7. Solve -c*y = -16 - 0 for y.
4
Let i be (10/(-6))/((-9)/27). Suppose w - 2 = -i*n, -n + 5*n + 8 = 4*w. Solve -4*k + k - 6 = n for k.
-2
Suppose -2*z = 3 - 7. Solve -z*b - 6 = -0*b for b.
-3
Let y = 11 + 1. Let a be (1/3)/((-2)/(-12)). Solve -2*i - y = -a for i.
-5
Let s(g) = -g**2 - 14*g - 30. Let a be s(-9). Solve -4*h - a = 5 for h.
-5
Let b = -11 - -11. Solve b = -2*j + 3*j - 1 for j.
1
Let h(m) = m**3 + 16*m**2 - 2*m - 24. Let d be -19 - ((-3 - -1) + -1). Let z be h(d). Let x(w) = -w**3 + w**2 + w - 1. Let t be x(1). Solve f + f - z = t for f.
4
Let g = 31 - 19. Suppose 24 = 3*h - g. Suppose 6*v - 4*v - h = -4*k, -5*k - 89 = -4*v. Solve d + 3*d - v = 0 for d.
4
Suppose 11 = z + 4*n, 4 = 5*z - 2*n - 7. Solve -14 = -z*h - 2 for h.
4
Suppose -4*p + 1 = -2*n - 19, -2*n + 20 = 4*p. Solve 0 = -w - n*w for w.
0
Let b(s) = 6*s**3 + s**2 - s. Let i be b(1). Solve i*t = t for t.
0
Let l(h) = 2*h + 6. Let q be l(-6). Let s = q + 7. Solve s + 2 = m for m.
3
Let k be 5*(2 - (0 - 1)). Let o = -1 + 2. Let m = 2 + o. Solve -k = 2*l + m*l for l.
-3
Suppose 2*x - 3*q - 36 = 0, 2*x = -3*x - q + 56. Solve 3*f - x = -f for f.
3
Let q(y) = -y**3 - 8*y**2 - 2*y - 12. Let a be q(-8). Suppose -a*n + 5*w - 23 = -6, -4*n + 28 =