ve -5*x - a - 3 = 0 for x.
-1
Let q(b) = -b**3 - 8*b**2 - 8*b - 5. Let c be q(-7). Suppose 3*y - 3*r = c*y + 9, -y = r - 13. Solve -6*d + 2*d = -y for d.
3
Suppose 4*f - 11 = 5*p, -f - 4 = -0*p + p. Let v = p + 9. Solve 2*j - 16 = v*j for j.
-4
Let w = -15 - -17. Suppose 5 = 4*a - 7. Solve -a*s = w*s for s.
0
Let v = -10 - -12. Solve 7 = -3*m - v for m.
-3
Let w be 3/12 + 100/(-16). Let m = -3 - w. Solve -m*h + 2*h = -5 for h.
5
Let c be ((-24)/30)/(2/(-10)). Let h be c - (0 - -2) - -1. Suppose -3 = h*y - 21. Solve y = -r + 4*r for r.
2
Suppose -3*o = -0*o - 2*w - 22, -5*o - w + 28 = 0. Let c = 3 + -3. Suppose c*r = 2*j + r - 7, 4*j - 21 = 5*r. Solve -j*z = -o*z - 4 for z.
-2
Suppose -2*k + 4*z + 64 = 0, -k + 3*z + 19 = -15. Solve -5*v + 13 = k for v.
-3
Suppose 4*s - 2 = 2*s + 5*r, 9 = -s + 5*r. Let m = s + -9. Solve 3*j = -m*j + 15 for j.
3
Suppose 18 = 3*z - 2*x, -3*z - x = -0*z - 27. Suppose -4*t + 40 = z. Let n(i) = 4*i - 6. Let q be n(t). Solve 0 = -5*f + q - 11 for f.
3
Suppose -5 = 2*b - 4*t - 21, 0 = -4*b + 2*t + 14. Solve -b*q + 5*q = -9 for q.
-3
Let t be (1 - 2)/(3/9). Let l = t - -3. Suppose l = -2*m + 2*f + 8, -2*f = m - f - 2. Solve 5*p = -m + 8 for p.
1
Let t(p) = p**2 - 5*p - 4. Let y be t(6). Let q(v) be the third derivative of -v**5/60 - v**4/8 + v**3/2 + v**2. Let a be q(-3). Solve -a*x - 10 = y*x for x.
-2
Let z(a) = -a**3 - 4*a**2 - 2*a - 4. Let m be z(-4). Solve w + m*w - 20 = 0 for w.
4
Suppose 0*l = l - 11. Suppose -l = -3*u + 7. Suppose 5*t - 1 = 79. Solve -2*k = t - u for k.
-5
Suppose 4*c = 4*i + c + 6, -3*c = -6. Suppose -2*f + 12 = 2*r, -4*f - 4 = -3*r - i. Solve r - 10 = 3*s for s.
-2
Suppose 6 - 3 = 5*v - 3*q, 0 = v + 5*q + 5. Let b = v + 2. Suppose -49 = -5*x + 3*g, -4*x - g = -x - 21. Solve 4 = -b*n + x for n.
2
Suppose -3*l + 15 = -2*n + 1, 0 = -l - 4*n. Solve -l*r + 5 = -3 for r.
2
Let s(t) = -6*t**2 - t - 3. Let m(b) = -5*b**2 - 2*b - 2. Let p(l) = -7*m(l) + 6*s(l). Let r be p(7). Let y be (-7 + -1 + r)*-1. Solve 3*w - 2 = -y for w.
-1
Suppose -2*q + 1 = 3*w, 3*q + 0*q - 44 = 4*w. Solve 9*x = 5*x - q for x.
-2
Suppose 4*u = 5*t - 62, -4*u = 3*t + 2*t - 38. Let f be (2 - 2/6)*3. Solve -f*v = 15 + t for v.
-5
Let f be (9/(-6))/(1/(-2)). Suppose 2*b = f*u - 66, -b = -4*u + 39 + 44. Suppose -n + u = 3*v, -1 = -n + 3*v - 11. Solve n*y + 2 = -3 for y.
-1
Suppose -17*m + 14*m = 0. Solve m - 10 = 5*a for a.
-2
Let z(m) = m - 4. Let q be z(6). Suppose -5*p - i + q = -15, 3*p - 4*i - 24 = 0. Solve 0 = 2*s - p*s - 4 for s.
-2
Let j = -7 + 12. Let c be (-6)/4*(-8)/4. Solve -c*v = 2*v + j for v.
-1
Let c be (4/(-4) - -2)*0. Suppose -5*j = 2*p + 10, 0*p - 5 = -j + p. Let a be 3*2*(-8)/(-6). Solve j = -c*q + 2*q - a for q.
4
Suppose -3*x = -0*k + k + 14, -3*k - x = 34. Let j = -7 - k. Suppose -j*b + 11 = 3*l, 5*b = l + 2 + 7. Solve -b*y = -y for y.
0
Let l(x) = x**3 - 7*x**2 + x - 1. Let n = -12 - -19. Let d be l(n). Solve 4*b = -d - 2 for b.
-2
Let q(k) = -k**2 + 11*k + 1. Let l be q(11). Suppose -5*u + 11 = l. Solve -4*d = -u*d - 8 for d.
4
Suppose 2*g + 25 = 7*g. Suppose -2*l - 23 = -5*b, -2*b + g*b - 14 = l. Let n = 1 + 9. Solve n*k = b*k for k.
0
Suppose 2 = 5*f - 4*f. Let a be (-6)/(-4) + (-3)/f. Solve 5*l + a*l = -15 for l.
-3
Let m be 19/(-2) + 2/4. Let x = -4 - m. Suppose 3*u - 4*o = 9, -x*o - 9 + 3 = -3*u. Solve 9 + u = 4*n for n.
4
Let n be 0/(0 - 2/(-1)). Solve 0 = 3*x - 9 - n for x.
3
Let g(j) = -j**2 - 4*j + 5. Let t be g(-5). Solve 0*l - l + 5 = t for l.
5
Suppose j = -4*b + 19, -3*j - 2 = -4*b + 5. Suppose -4*i = 5*m - 2, -1 = b*i - i + 5*m. Suppose 2*h = 4*h - 6. Solve -i*s - 6 = h for s.
-3
Let s(t) = t**3 - 6*t**2 + 3*t + 7. Let b be s(6). Suppose -a = -5*x + x - 22, b = -5*x. Solve -4*y = 22 - a for y.
-5
Let s(w) = 3 + w + w - w**2 - 3*w - w**3. Let a be s(0). Solve a*u - 6 = u for u.
3
Suppose -o - 48 = -2*o. Let h be (7/(-4))/((-6)/o). Let j be -10*((-2)/4 + 0). Solve -j*w + h = -11 for w.
5
Suppose 4*w - 4*g + 10 = 98, 4*w - 53 = -3*g. Let v = w + -11. Solve 2*u - v = 2 for u.
4
Suppose 7*g = 4*g. Solve -5 = -g*n + n for n.
-5
Let l be 7/2 - 1/(-2). Solve -p - 15 = l*p for p.
-3
Let x = -7 - -12. Let j be 6/(x - 2 - 1). Solve 0*z = -j*z for z.
0
Let f be (-9)/(-54) - (-10)/12. Let s be -3 + (4 + 4)/f. Solve -3 = s*a + 2 for a.
-1
Suppose 2*c - 18 = -2*z, 0*c = 5*z + 3*c - 43. Solve -z = -3*k + 4 for k.
4
Let q be (14/(-8))/((-3)/(-12)). Let r = q + 10. Suppose -t = r*t - 48. Solve -8*c = -5*c - t for c.
4
Let y be 3/((-3)/4) + 4. Suppose 0*d + 3*d = y. Solve 4*n = -d + 16 for n.
4
Suppose y + 0*y - 4 = 0. Solve -y*a + 3 = -1 for a.
1
Let i(o) = 8*o + 6. Let l(g) = -7*g - 5. Let u(t) = -6*i(t) - 7*l(t). Let k be u(8). Let s = k + -3. Solve 0 = s*j - 6*j for j.
0
Suppose p + 5*f - 20 = 0, 0 = 3*p + 2*p + 5*f - 20. Suppose -a + p*a = -4. Solve 1 = a*y + 17 for y.
-4
Let z(b) = 26*b**2 - 1. Let c be z(-1). Suppose -5*a + 0*a + c = 0. Solve 6 = a*s - 9 for s.
3
Let g = 3 + -3. Let x be (-1 + 2)*(3 + g). Solve 7 = x*o - 5 for o.
4
Suppose -3*x = 11 - 17. Suppose f + 1 = x*s, -s - 13 = f - 6*f. Solve 0 = s*h - h + 4 for h.
-4
Let h(g) = g**3 - 7*g**2 - 8*g. Let m be h(8). Solve 2*n - 1 + 7 = m for n.
-3
Let f(x) = -x + 1. Let s be f(-1). Solve 5 = -s*c - 5 for c.
-5
Suppose 2*d - 8 = -3*d + 4*i, -3*d = 3*i + 6. Solve -2*p - 6 - 2 = d for p.
-4
Let j(y) = -2*y + 10. Let c be j(3). Solve 4*g = 2*g + c for g.
2
Let w(r) = r**3 - 15*r**2 + 14*r. Let q be w(14). Solve -5*g - 10 - 5 = q for g.
-3
Let y = -49 - -57. Let x(n) = -3*n**2 + 9*n - 8. Let p(i) = -i**2 + 3*i - 3. Let w(l) = -8*p(l) + 3*x(l). Let j be w(2). Solve 0*o + j*o - y = 0 for o.
4
Suppose 0*q - 4*q = 0. Let n(t) = t**3 + 3. Let g be n(0). Solve 12 = -q*l - g*l for l.
-4
Suppose -3 = q - h - 0*h, 2*h = q + 3. Let b = -25 - -31. Let i = q + b. Solve 6 + 0 = -i*t for t.
-2
Let j = 10 - 6. Solve j = t + 1 for t.
3
Suppose -3*d + 8 = -d. Let n(c) = -c**2 + 5*c + 1. Let y be n(d). Solve -x + y*x + 8 = 0 for x.
-2
Let x = 391 + -208. Let m be x/27 - 4/(-18). Solve 0 = m*o - 2*o + 25 for o.
-5
Let o be (31 + 2/(-2))/(3/2). Solve -4*s - s - o = 0 for s.
-4
Let s(g) = -g**3 + 2*g**2 + g. Let z be s(-1). Let n(o) = -2*o + 12. Let q be n(5). Suppose 8 = -q*l - 5*r, 0 = l - 4*r - 9. Solve z*i - 3 - l = 0 for i.
2
Let r(o) = o**2 + 6*o - 1. Let u be r(-7). Suppose -5*n + 4 = -u. Solve n*v + 2 = v for v.
-2
Let k be ((-60)/(-6))/(1 - -1). Let s be k*3*(-3)/(-9). Solve f - s + 2 = 0 for f.
3
Let n(y) = y**3 - 2*y**2 + y. Let u be n(1). Solve u = -6*x + 2*x for x.
0
Suppose 2*t - 11 = -y - 2*y, 2*y + 36 = 3*t. Let c be (0*(1 - 2))/(-2). Solve j + 4*j + t = c for j.
-2
Let o(u) = -8*u - 18. Let r be o(-3). Solve -r = -a - a for a.
3
Let w = 4 + 1. Let x be (-1 + 4/(-1))/(-1). Suppose 0 - 20 = -x*y. Solve -w = -y*t - 1 for t.
1
Let u(n) = 2*n**2 - 2*n + 1. Let t be u(1). Suppose -25*i = -20*i - 45. Solve 0 = 2*w + t + i for w.
-5
Suppose -3*a - h - 54 = 0, -3 = -3*h - 12. Let y = a - -12. Let b = y - -7. Solve 2*q - b = q for q.
2
Let m = 14 - 12. Let i be (-4)/(-16) + (-62)/(-8). Solve m = 3*q + i for q.
-2
Let x(w) = w**3 + 3*w + 3 - 17*w + 9*w**2 + 4*w. Let g be x(-10). Solve g + 1 = 2*t for t.
2
Let w be ((-11)/(770/40))/((-4)/14). Solve 4 = -3*d - w for d.
-2
Let b = -5 - -7. Suppose -4*o = -3*q + 8, -4*q = -6*o + o - 10. Solve q = b*j + j for j.
0
Let h be ((-6)/2 - 6) + -2. Let s = 15 + h. Solve s*u = -18 - 2 for u.
-5
Let j(c) be the first derivative of -c**4/4 - c**3 + 4*c - 1. Let r be j(-3). Solve r*q - 14 = 2 for q.
4
Let z(v) = v**3 + 5*v**2 + 4*v - 1. Let c be z(-3). Let w(o) = o**2 + 7*o - 5. Let m be w(-8). Let k = 8 + -8. Solve -c*a + m*a = k for a.
0
Suppose 2*f = -5*h - f + 100, -3*h - 2*f = -60. Suppose 0*o = -o + h. Suppose -2*r = 3*r - o. Solve r*x - 16 + 4 = 0 for x.
3
Let u(r) = -10*r - 1. Let l be u(-1). Suppose -3*v - l = -6*v. Let q be (2 + 0)*(3 - 1). Solve v*x = 5*x - q for x.
2
Suppose -4*w - 2*w = -24. Solve t = -w*t for t.
0
Let z be (-21)/(-2)*(-6)/(-9). Suppose 4*u - a - z = 0, 2*u + 4*a = 2*a + 16. Suppose 0 = 5*o - 3 - 7. Solve 0 = -o*b + 5 - u for b.
1
Let c(x) = -2*x. Let y be c(1). Let j = -2 - y. Let s = 3 - -4. Solve j = 3*f - 2 - s for f.
3
Suppose 0*z + z - 5*x = 10, 37 = z + 4*x. Suppose -m - 4 = 0, -4*s + 9*s - 5*