 -2*q + 0*q - 6 = a for q.
-3
Let y be (-29)/(-4) - (-1)/(-4). Suppose 2*d = y*d. Let x(r) = -r**3 + r + 3. Let q be x(d). Solve -n = 5 - q for n.
-2
Let g = -2 - -2. Let z = -2 - -7. Solve g*c - c = -z for c.
5
Let y(i) = -i - 17. Let z be y(-10). Let k = -2 - z. Solve 2*d - k*d = 0 for d.
0
Let q be (-869)/(-121) + 2/(-11). Let c = q - 4. Solve 0 = w + c*w for w.
0
Suppose 0*w - w = 0. Let b = 52 + -50. Solve -b*z = 8 - w for z.
-4
Suppose 5*s + 19 - 24 = 0. Solve 0 = -p - s + 3 for p.
2
Let y = 13 - 10. Solve 0 = -8*d + y*d + 15 for d.
3
Let t be 0*3/(-9) - 2. Suppose j + 3*y - 21 = -y, -3*y + 17 = 2*j. Let k be (j - (t + 1)) + 2. Solve -k*c + c + 6 = 0 for c.
2
Let d = 8 - 10. Let r be 3*d*(-6)/9. Solve 0 = 2*l + r + 4 for l.
-4
Let g(n) = -n + 14. Let r be g(8). Suppose 0 + r = 2*u. Solve u*h = -2*h for h.
0
Suppose -2*i + 40 = 3*i. Let r = i + -5. Let d be (5 - 1) + (3 - r). Solve 0*j = 2*j + d for j.
-2
Let d = -7 + 12. Suppose 1 = -d*n - 2*y - 3, 0 = 5*n + y + 2. Solve 2*h + h - 12 = n for h.
4
Let i(d) = -d**2 + 8*d + 39. Let z be i(11). Solve w + 1 - z = 0 for w.
5
Let y(g) = -2*g - 2. Let t(l) = -l - 10. Let h be t(-8). Let z be y(h). Solve 0 + 8 = -z*r for r.
-4
Suppose 5*p + t - 28 = 3*t, 2*p = 3*t + 20. Suppose 2*l + 22 = p*f, 26 = 4*f + f - 4*l. Let h be (-2)/f - (-1)/3. Solve 0*y - 2*y + 10 = h for y.
5
Let w = -9 + 13. Solve -w*g - 5 = -3*g for g.
-5
Let q(t) = -t**3 - 7*t**2 + 4. Let c be q(-7). Suppose -4*n + 3*x + x = 4, c*x - 4 = 0. Solve -2 = 2*g - n for g.
-1
Suppose -2*h - 3*f + 21 = -0*f, -4*h + 3*f = -15. Let l be ((-2)/3)/(10/(-75)). Solve -h + 1 = -l*w for w.
1
Suppose 0 = 5*v + 9 + 1. Let q = 4 + v. Solve 0 = -4*b - 2 - q for b.
-1
Let y(k) = -k**2 + 11*k - 5. Let d be y(10). Suppose 0*p - d*u = p - 17, -3*u = -3*p - 3. Solve 5*z + 8 + p = 0 for z.
-2
Suppose -7*c = -c - 8*c. Solve 3*t - 2*t + 2 = c for t.
-2
Let w(p) = 6*p**3 - 3*p**2 + 5*p - 3. Let n be w(1). Solve 3 - n = -m for m.
2
Let j(i) = -2 + 4*i**2 - 5*i**2 + 4. Let s be j(0). Solve -10 = -3*r - s*r for r.
2
Let j = 3 - 2. Let l(b) = b**2 - 3*b + 2. Let q be l(2). Suppose q*x - x = -j. Solve o - 3 = -x for o.
2
Let z = -3 - -5. Let y be (-1 + 9 + 0)/z. Solve 0 = -b - 3*b - y for b.
-1
Suppose 5*h + 18 + 8 = -2*i, i + 11 = -2*h. Let c be (i/(-9))/((-1)/3). Let j be (8/20)/(c/(-5)). Solve 0*p = j*p + 10 for p.
-5
Suppose b - 2*b - 2*z = -4, 0 = -2*b - z + 2. Solve b*l - 2*l = 0 for l.
0
Let a = 17 - 15. Let u be (0 - 2)*(-2)/a. Solve -3*c - u*c = 10 for c.
-2
Suppose 2*d = 6*d. Solve 4*q - q - 12 = d for q.
4
Suppose 0 = 3*j - y - 23, 2*j + 0*j + 5*y - 21 = 0. Solve -3*w = 2 - j for w.
2
Let o be (-27)/(-5) - (23/(-5) + 5). Solve 0 = 5*f - o - 0 for f.
1
Let g = 4 - 2. Solve -g*w = -3 + 1 for w.
1
Let r = 10 + -8. Solve -1 = -r*u + 1 for u.
1
Let n(b) = b**3 - 3*b**2 - 5*b + 4. Let i be n(4). Solve -q + 3*q + 4 = i for q.
-2
Suppose -2*o = -h - 4, 4*h = -o - 2*o + 17. Let r(y) = y - 11. Let n be r(10). Let q = h - n. Solve m = q*m - 6 for m.
3
Let a = -38 + 36. Let z be (11 - 1)/(1 + 1). Let c = a + z. Solve -4*d = -c*d for d.
0
Let l be (8/6)/(4/6). Solve -6*z + l*z = 12 for z.
-3
Suppose l = 3*f - 2*f - 2, 5*l = -4*f + 26. Suppose 3*w = 7 + 53. Suppose -3 + 17 = 2*j + t, -4*j + 2*t = -w. Solve -2 = l*o + j for o.
-4
Suppose 3*r + 5*z = 22, -4*r - 2*z = -3*z - 14. Let o(j) = 2 + j + 5 + r - 1. Let p be o(-8). Solve -p*m - 3 = -1 for m.
-1
Let o = -8 + 11. Let x(m) = -m**3 + 14*m**2 - 13*m + 10. Let c be x(13). Suppose -g + c = g. Solve -4*u + o = -g for u.
2
Let v be 5 + -2 - 3 - -2. Let o = v - -1. Let g = o + 1. Solve u - 3 = g*u for u.
-1
Let y(g) = g**2 + g + 1. Let m be y(-3). Let f = 7 - m. Let t(k) = k**2 + 3*k + 2. Let u be t(-6). Solve f = x - 5*x + u for x.
5
Let d = 41 - 19. Let o = -2 + d. Solve 9*k = 4*k - o for k.
-4
Suppose z - 1 = -u, 4*z - z - 9 = -5*u. Suppose 5*h - 25 = -3*p, 4*h + 12 = 5*h + 2*p. Solve u = -h*t + 9 for t.
3
Let h(t) = t + 8. Let x be h(-8). Solve 4 = -x*f - f for f.
-4
Suppose -3*t = 4*x - 2, 5 + 0 = 2*t - x. Solve -t*j = j + 3 for j.
-1
Let m = 11 + -7. Suppose 4*w = -2*h - 26, -5*h - 8 + 3 = -5*w. Let f = m + w. Solve 3*c = -f*c - 6 for c.
-2
Suppose o + 2 = y, 0 = 3*o - 8*o - 3*y + 30. Let k be ((-4)/(-6))/(1/o). Suppose 5*n - n + k*s = 0, 2*n - 2*s = 6. Solve i - 3 + n = 0 for i.
2
Let p = 8 + -5. Solve 20 = x + p*x for x.
5
Let p(z) = -z**3 - 6*z**2 + 3*z + 6. Let u be p(-4). Let d = u - -54. Suppose -8*s = -3*s - 5*x + 20, 5*s + d = 4*x. Solve s = -0*v - 5*v for v.
0
Let l(z) = 5*z**3 - 2*z**3 + 6*z**2 + 3 - 2*z**3. Let r be l(-6). Let v be (3 + 6/(-3))*r. Solve v*w = w for w.
0
Let c(g) = g**2 - 7*g. Let x be c(7). Suppose 0 = l - x - 8. Solve l = -j + 4 for j.
-4
Let g(t) = -3*t - 4. Suppose -h - 5*k + 7 = 0, -6 = 3*h - 4*k + 11. Let o be g(h). Solve 8 = 3*r - o*r for r.
-4
Let g = 5 + -4. Let k(f) = -3*f - 7. Let p be k(-3). Solve -g + p = j for j.
1
Let n(t) = -12*t**3 - 2*t - 1. Let l be (2/4)/((-3)/6). Let h be n(l). Solve -h - 7 = -5*p for p.
4
Let p(m) = m**2 - 5*m. Let t be p(5). Let j(u) = -u**3 - u**2 + 3. Let v be j(t). Suppose 5*y - 18 = g - 2*g, 0 = -3*g - v*y + 18. Solve g = -3*z + 15 for z.
4
Let o(u) = u + 16. Let v be o(-6). Solve 2 - v = 2*c for c.
-4
Let o(c) = 3*c + 1. Let u be o(1). Solve 0 = -x - u*x for x.
0
Let p be ((-4)/10)/1 - 110/(-25). Solve z + 2 = p for z.
2
Let a(u) be the first derivative of -u**5/40 - u**4/8 - u**3/3 - 2. Let p(c) be the third derivative of a(c). Let z be p(-2). Solve z*f + 7 = 4 for f.
-1
Let n = -17 - -26. Solve 3*k + 6 = -n for k.
-5
Let f(q) = -3*q + 5. Let b(l) = 5*l - 11. Let z(j) = -4*b(j) - 7*f(j). Let r be z(-5). Solve -1 = -3*h - r for h.
-1
Let p(i) = -i**2 - i + 4. Let b be p(0). Solve -4*h + 0 = -b for h.
1
Let p = 2 + 0. Suppose -p*z = -4*z. Solve -4*i - 3 - 13 = z for i.
-4
Let s = 11 - -3. Solve -h - 10 = -s for h.
4
Let a be 3 - (-5)/(-25)*5. Solve -2 = -a*y - 4 for y.
-1
Let f(v) = v**3 - 2*v**2 - 4*v + 1. Let j be f(3). Let z(g) = g**2 + g - 2. Let y be z(j). Let s(p) = p**2 - 4. Let t be s(-2). Solve t = c - y*c + 1 for c.
-1
Suppose 5*p - 15 = 2*p. Suppose 4 = 2*g, -2*g + 4*g + 46 = p*w. Suppose -5*j + 0*j = -w. Solve z = -j + 5 for z.
3
Let k(d) = d**3 - d**2 - d. Suppose -l = 2*l - 3. Let f(n) = 7*n**3 - 2*n**2 - 8*n - 4. Let s(r) = l*f(r) - 6*k(r). Let q be s(-4). Solve -q*b + 9 = -b for b.
3
Suppose 34*j = 38*j - 16. Solve j*p - 5*p = 1 for p.
-1
Suppose -5*h = -i + 3 + 7, -3*i + 4*h + 8 = 0. Suppose -2*f + 3*u + 1 = 0, i = 4*f + u - 0*u - 9. Solve -3*a - f = 4 for a.
-2
Let v(o) be the second derivative of o**3/3 - 2*o**2 + o. Suppose 0 = -2*p + p + 3. Let q be v(p). Solve 0 = -q*n - 0*n - 10 for n.
-5
Let i = 0 + 6. Let v be (-35)/(-15) + i/9. Solve 0 = -0*g + v*g for g.
0
Suppose -5 = -5*f - 5*l, 4*f - 3*f - 5*l - 31 = 0. Solve 8 = -f*w + 2*w for w.
-2
Let u(l) = -l**2 + 5*l + 16. Let z be u(7). Let r be 4/(-14) + (-16)/(-7). Suppose -r*o + 4*o = 0. Solve o*q - 2*q - z = 0 for q.
-1
Suppose -s = 13 - 16. Solve 0 = 5*n + 2 + s for n.
-1
Let p(q) = -q**2 - 4*q. Suppose 3*n + n + 4*f = -28, -17 = 5*n - 4*f. Let i be p(n). Let l be (i/2)/((-10)/20). Solve 4*c + 13 - l = 0 for c.
-2
Suppose 0*t = -4*t. Suppose 0 = -4*f - 5*m + 7, -3*f - 4*m = -t*f - 4. Solve 2 - f = -2*i for i.
3
Suppose 2*y = -0*y. Let a be 18/27 - (-3)/9. Solve z + y*z = -a for z.
-1
Let c(r) = -r + 3. Let t be c(0). Suppose -2*w + 3*z = 9, 6*w - 2*w - 3*z = -t. Solve -w + 0 = -b for b.
3
Suppose k + 4 = -5*m + 14, 0 = -3*m - k + 6. Let b be 14/35 + 2/(-5). Suppose -2*f + 4*f = b. Solve f = -2*q - 0 - m for q.
-1
Suppose -2*r = -m + 2*m + 4, 0 = 2*m + 3*r + 5. Let p(n) = n - 2*n + n**m + n - 10*n. Let o be p(10). Solve f + o*f = -4 for f.
-4
Suppose 40 = -0*y - 5*y. Let z = y + 12. Solve -z*l + 18 + 2 = 0 for l.
5
Suppose -2*g + 4 = -4. Solve 0*y - y - g = 0 for y.
-4
Suppose 4*w + 4*m = 60, 0 = 4*m - 3*m - 5. Solve -4*k + 2*k = w for k.
-5
Suppose 2*j = -0*j. Suppose -10 = -q - 3*h, -h = -j*h - 4. Let a be (-118)/(-8) + q/(-8). Solve 0 = -2*d + 7*d + a for d.
-3
Let h be (-11)/(-2) - 9/(-6). Suppose 3*t = -9 - 0. Let q be t + 2 - -1 - -1. Solve q - h = 2*d for d.
-3
Suppose 11 = 2*c - 9. Let v be (0 + c/(-4))*-2. Solve -3 = v*u + 7 for u.
-2
Let x(j) = 3*j**2 + 2*j