3*l + 2. Let m(o) = -4*o**3 - 4*o**2 - 4*o - 3. Let j(x) = -3*h(x) - 2*m(x). Let p be j(-1). Solve -p*w - w = 0 for w.
0
Suppose -u = r - 8, -r - u - 4*u = 8. Solve m + r = -3*m for m.
-3
Suppose -2*b = -42 + 4. Let c = 21 - b. Solve 10 = -3*s - c for s.
-4
Let s = -6 + 12. Suppose 0 = x - s*x + 20. Let p be -60*(-2)/(x/1). Solve 10 = -5*f + p for f.
4
Suppose 0 = -5*k - 2*j + 17, k - j + 4*j = -7. Solve k = -3*h - 1 for h.
-2
Suppose -20 = -2*a - r, -5*a + 0*r + 50 = -4*r. Let p(z) = 3*z**2 - z - 2. Let x be p(-2). Let g be x/10*15/6. Solve 0 = g*h + 2*h + a for h.
-2
Suppose f - 3*f + 6 = 0. Suppose 0 = f*w - 8 - 13. Solve -w*m + 2*m = -10 for m.
2
Suppose 0 = -m + 5*k - 22, -3*m - 4*k - 14 = -6*k. Let q = m - -7. Solve q*w = 8 + 12 for w.
4
Let m = 36 - 26. Solve -2*b + m = 2 for b.
4
Suppose -7*i - 15 = -4*i. Let r be (0 + -1)*i/(-5). Let t be 2 + 1 + r + 2. Solve t*k + 6 = k for k.
-2
Suppose 0 = d + 3*v - 12, 3*d + d = v - 4. Solve -4*x + x + 9 = d for x.
3
Let h = -50 + 53. Let n(u) = u**2 + 4*u - 5. Let x be n(-5). Solve m - h = -x for m.
3
Suppose 2*z - 3*z = -10. Let h = z - 10. Solve h*f - 1 = f for f.
-1
Suppose z = -2*z - 3, j - 4*z - 4 = 0. Solve j = -5*i - 7 - 3 for i.
-2
Let g(r) = r**2 + 12*r + 13. Let o be g(-11). Suppose 5*q - o*n = -3*n + 14, 0 = -q - 3*n. Solve 10 + 5 = q*b for b.
5
Let z(i) = i**2 - 7*i - 3. Let g be z(8). Suppose 3*h + 6 = 0, -g*h = -3*n + 7*n + 10. Suppose -20 = -5*q + q. Solve -q*d + 10 = -n*d for d.
2
Let p(r) = -2*r - 5. Let n be p(-5). Suppose -6 = -0*s - 3*s. Suppose n*g - s*g - 15 = 0. Solve g*w = 11 + 14 for w.
5
Let n(o) = 6*o**2 + o - 1. Let c be n(1). Let j(s) be the first derivative of s**3/3 + 2*s**2 + 8*s - 4. Let m be j(-6). Solve -f + c*f = -m for f.
-4
Let n be (-152)/(-36) + (-4)/18. Suppose x = 2*b - 11, -b + n + 19 = -4*x. Solve -2 - 4 = b*g for g.
-2
Let o(g) be the third derivative of g**4/24 - 5*g**3/6 - g**2. Let m be o(6). Let v(b) = 3*b**3 - 2*b + 1. Let f be v(m). Solve j + f*j = 0 for j.
0
Let o = -5 - -7. Let t = 5 - o. Suppose 4*g + 5*a - t = 0, -g + 5*g - a - 9 = 0. Solve g = -5*w + 12 for w.
2
Suppose 2*m = 8, 3*b = b - 5*m + 36. Suppose 0 = 4*n + 3*f - 4, 3*f - 4 = -4*n + b*f. Solve 2*u - n = 3*u for u.
-1
Let o(r) = -r - 9. Let v be o(-12). Solve 0 = -v*u + u + 10 for u.
5
Suppose w - 5*n = -n, 0 = 2*w - 4*n - 4. Let q(x) = 1. Let k(r) = r + 4. Let a(b) = -k(b) + 6*q(b). Let u be a(-2). Solve -2*d + w = -u for d.
4
Let r be (-2)/3 - 66/9. Let n = r + 10. Solve -14 + n = 4*d for d.
-3
Suppose 30 = 3*x + 5*g, -4 + 43 = 2*x - 3*g. Solve 7*o = 4*o + x for o.
5
Let t be 44/88*5*2. Solve t*s + 3 = 4*s for s.
-3
Let j be -3 - -3*(2 - 1). Solve -2*q + j + 8 = 0 for q.
4
Suppose 0 = 2*v + 3*v + 15. Let b = v + 4. Solve 4*l = -7 - b for l.
-2
Let o be (3 - 33/6)*4. Let y be o*((-20)/(-8) + -3). Solve -3*r - y = -4*r for r.
5
Suppose 14 = 4*i - 2*i. Let n(v) = 8*v**2 + 4 - 3 - v**3 - 6*v - 6. Let x be n(i). Solve 0 = x*u - 0*u for u.
0
Let s be (0 - -1)/(1/7). Let d(w) be the first derivative of w**2/2 + 3*w + 5. Let v be d(s). Solve v = -2*h - 0*h for h.
-5
Let x be 2 + (-64)/30 + (-18)/(-135). Solve 15 = -3*a - x*a for a.
-5
Let r(n) = -n**2 + n + 3. Let t be r(0). Solve -t*y = -y - 4 for y.
2
Let z = 37 - 32. Solve 0 = 2*s - z*s + 6 for s.
2
Let v be (-1*(-3 + 6))/(-1). Solve 0*b = b + v for b.
-3
Suppose 5*h = 7*h. Suppose 4*m = -h*m + 16. Solve 0*d = m*d for d.
0
Let k = -37 + 41. Solve 0 = -u + k for u.
4
Let c be ((-12)/16 + 6/8)/(-2). Solve c*l = 2*l - 6 for l.
3
Suppose 0 = -2*m - 1 + 7. Let h be 7/2*6/7. Solve h*z - m = -15 for z.
-4
Suppose 0*o + 125 = 5*n + 5*o, 3*n + 5*o = 85. Solve -2*f + n = 3*f for f.
4
Suppose 2*s - n = 11 - 2, -5*n = -4*s + 27. Solve -z - 8 = -s*z for z.
4
Let f(p) = 2*p**2 + 11*p - 17. Let g be f(-7). Solve -4 = -g*h - 16 for h.
-3
Let d = 5 - 7. Let n = -2 - d. Solve -3*y - 3 = -n*y for y.
-1
Suppose -3*m + 12 = 2*d - 6*m, -5*m - 22 = -4*d. Suppose 3*v - 6 = a, 3*v - d = 5*a - 9. Solve 0 = 5*h + 7 + v for h.
-2
Let a = -61 + 65. Solve -3*m - 2 - a = 0 for m.
-2
Suppose 13*z - 19*z = -24. Solve z*m - 6*m = 2 for m.
-1
Let m = 11 + -6. Solve -m*k + 12 = -2*k for k.
4
Suppose -4 = -4*l, 4*l - 14 = 2*k - 0*l. Let m = k + 7. Solve -3*r + m*r - 4 = 0 for r.
-4
Suppose 3*q + 5 = -1. Let p be -9*((-4)/(-6))/q. Solve -p*m - 2*m = -25 for m.
5
Let c be (4/(-6))/(2/(-6)). Suppose 2*i = 3*n + 4, -3*n - i + 2*i = c. Solve n*h + 3*h = -9 for h.
-3
Suppose -1 = -h + 3. Let m = h - 0. Let l be -2 + 5/((-5)/(-2)). Solve l = 2*y + m for y.
-2
Suppose 2*i - i - 3*h = -9, 3*h = 15. Suppose 2*p = 3*t - p, 5*t - 3*p - i = 0. Solve -2 = -t*d + d for d.
1
Let m be (-2)/(-3)*(-1 + -2). Let u be 0*(m - -1)/2. Solve u = -5*w + 9 + 11 for w.
4
Let b = -3 - -3. Solve -2*o + 0*o - 2 = b for o.
-1
Let j = -28 + 35. Solve j*s - 2*s - 20 = 0 for s.
4
Let q be -12*(52/(-12) + 4). Solve -20 = 4*a - q for a.
-4
Let o(d) = 8*d + 1. Let i be o(3). Let j(h) = -4*h**3 - h**2. Let r be j(-1). Solve -r*l = -8*l + i for l.
5
Suppose 0 = 2*t - 1 - 1. Suppose -2*c = -t - 9. Solve c*z = z for z.
0
Suppose 5*c - 22 = l, -5*l + 40 = 6*c - c. Suppose -5*f + 2*o + 17 = 0, l*f + 3*o - 6 = -0*f. Solve -f*p = -p - 8 for p.
4
Let j be (-1)/(-3)*(4 + 2). Suppose -6 + j = -2*m, o - m - 10 = 0. Solve o = -4*c - 0*c for c.
-3
Suppose -3*t = 2*j + j + 3, -t - 2*j = 3. Solve m = 2 - t for m.
1
Suppose -3*t + 9 = -0*s + 2*s, -2*s = -4*t - 2. Let c be (-9)/2 - t/(-2). Let b be (-9)/(-6) + (-2)/c. Solve 2*q = -b*q + 8 for q.
2
Suppose -23 = 5*q + 2*s, 3*s - 5 - 13 = 3*q. Let x(d) = d**2 + 5*d + 2. Let h be x(q). Solve -h*v = -6*v - 20 for v.
-5
Suppose 3*q = -4*a + 7*q - 28, -4*q = -20. Let l be 1 + (-3 - -3 - a). Solve 0 = -5*c + l + 2 for c.
1
Let k = 21 + -19. Solve -k*h = 2*h - 20 for h.
5
Suppose 3*o = -5*y + 29, -y + 0*y - 8 = -4*o. Let i = -30 - -67. Suppose -i = -5*j - 2. Solve o*x - j*x = 16 for x.
-4
Let y = 20 + -12. Solve -5*g - 7 = y for g.
-3
Suppose -5*y - 3 = 4*d, 2*d + 3*y + 6 = -y. Suppose -d*s - s + 2*o = -20, s + o + 1 = 0. Solve s*c = 4*c - 4 for c.
4
Suppose -3*a + 24 = 3*a. Solve -s - a = 3*s for s.
-1
Let o(g) = 4*g**2 + 16*g + 3. Let v be o(-4). Solve 0*r = r - v for r.
3
Let g(k) = k**3 - 7*k**2 - 20*k + 18. Let j be g(9). Let m be (-1)/(-5) - (-447)/15. Suppose -10 = 5*d - m. Solve j = -c - d*c + 20 for c.
4
Let p = -3 + 4. Suppose 0 = -n - 3 - p. Let m be n/10 + 88/20. Solve 3*a = m + 2 for a.
2
Let k = 20 - 20. Solve -y - 2*y + 6 = k for y.
2
Let w(r) = -r + 11. Let h be w(11). Solve h = x + 6 - 1 for x.
-5
Let c(g) = -g**2 + 8*g + 1. Let j be c(7). Suppose 3*s - 160 = 2*v - 7*v, -4*v + j = 0. Suppose -4*q = q - s. Solve 0 = 3*t - t - q for t.
5
Let t = 24 - 19. Solve 0*w - 25 = -t*w for w.
5
Let j(t) = t**3 - 5*t**2 + 3*t + 4. Let f be j(4). Solve -m = -f - 1 for m.
1
Let k(t) = -t**3 - t**2 - 2*t. Let m be k(-2). Suppose -4 = -3*l + m. Solve l*q = 21 - 5 for q.
4
Let q = -47 - -47. Solve 5*m = -5 - q for m.
-1
Let l = 30 - 26. Suppose t = 3*g + 2*t - 6, 3*t = 0. Suppose g*s - s = l. Solve -s = 5*h - h for h.
-1
Let v be -8 + 6 - (-1 + -1). Suppose -d - 4*d = v. Solve d = 2*h + 5 - 1 for h.
-2
Let s = 0 - 0. Suppose s = 5*f - 5*a - 20, 5*f = f + 2*a + 8. Solve 5*b + f*b = 25 for b.
5
Suppose -f - 5 = -i, 0*f - 5 = i - 3*f. Solve -4*s - 2 = i for s.
-3
Suppose 3*t = -3*b, 0*t + 4*b = 5*t - 36. Let h = -14 - -39. Solve h = t*g + g for g.
5
Suppose 0 = 2*f + 2*f. Suppose 6 = -f*m + 3*m. Solve 3 = m*p + 5 for p.
-1
Suppose -5*r = 4*s - 31 - 104, s = 3*r + 21. Let w be (1 + -3)/(1/(-2)). Suppose -w*x = -x - s. Solve x = -3*q - 2 for q.
-4
Suppose -12*k + 9*k = 0. Suppose 9 = 4*p - 3*b, -5*b = -k*p + 2*p - 11. Solve -p*y - 6 = -y for y.
-3
Let c be ((-2)/(-6))/(4/36). Let v be (5 - c)*2 + -1. Let m be (-20)/(-15)*v/2. Solve o + m*o + 12 = 0 for o.
-4
Let u be (0 - (-11 + 6))*8/10. Solve -u*b + 3 = -13 for b.
4
Suppose 0 = 5*n + 5*f, -2*n = f - 5 + 2. Suppose -2*k - 3*k + n*r + 22 = 0, -r = -3*k + 10. Solve 4*z - 2 = k for z.
1
Let g = 0 - -3. Suppose -g*k - 8 + 32 = 0. Solve -k = -2*z - 0*z for z.
4
Let y = -22 - -17. Let v = y - -8. Solve 4*j + 1 = v*j for j.
-1
Let i be 0 + (0 + 2)/1. Suppose -2*g + 5*g - 28 = -5*c, -g - 4*c = 0. Suppose 5*o - g = 3*o. Solve i*b - 2 = -o for b