pose 5*x = o - 1. Solve 3*a = x*a for a.
0
Suppose 0 = -2*a + a. Let h be 1*(-2 + 1)*1. Let f(p) = -3*p**3 - 2*p**2 - 2*p - 1. Let z be f(h). Solve -z*l - 6 = -a for l.
-3
Let p = 99 + -99. Solve -i - 3*i = p for i.
0
Suppose -5*g + 2 = -2*j + 4, 2 = 2*j. Solve g = 2*i - 4*i + 2 for i.
1
Let g be (-16)/(2 - 4) + -4. Let x(h) = h**3 - 5*h**2 + 4*h + 4. Let i be x(4). Suppose 8 = n - 3*z + 4*z, -n - 12 = -i*z. Solve n*k - 16 - g = 0 for k.
5
Suppose 0 = 4*f - j + 2*j - 8, -2*j = 0. Suppose 0 = -3*q - 0*q + f*w + 10, -4*q + 4 = 2*w. Solve -q + 6 = 2*c for c.
2
Let h(k) = -k**2 + 2*k + 27. Let s be h(-4). Let n(w) = -w**2 + 5*w - 3. Let b be n(2). Solve -s*m - 9 = b for m.
-4
Let c(k) be the second derivative of k**3/2 + k**2/2 - 2*k. Let h be c(2). Let i = -39 - -59. Solve 3*m = h*m + i for m.
-5
Suppose -3*o = 12, -168 = 3*d - 7*d - 3*o. Let h = d - 19. Suppose 2*z = 4*i + h, -17 = -z + 2*z + 4*i. Solve -7*x = -z*x - 20 for x.
5
Suppose 0 = 3*o - 4*p - 17, 5*o = p + p + 19. Suppose -o*l + 2*l = -12. Suppose -5*d + 0*h = -4*h - 10, -4*d + 3*h = -8. Solve -y = d*y - l for y.
4
Let u(t) = -2*t - 6. Let a be u(-5). Let w(m) = -m**3 - 8*m**2 - 7*m + 8. Let z be w(-7). Solve -2*j + a*j = -z for j.
-4
Suppose 9 = 4*j - 11. Solve j*s + 5 + 20 = 0 for s.
-5
Let o = 19 - 28. Let t be 1*o/6*-2. Solve 0 = t*u - 6 - 0 for u.
2
Suppose -16 = -118*j + 114*j. Solve j*g + 9 = g for g.
-3
Let b(g) = g**2 - 3*g + 2. Let l be b(6). Suppose k + 5*j + 2 = 3, 4*k - 29 = 5*j. Solve -k*q + l = -q for q.
4
Let v be ((-8)/(-10))/(1/(-5)). Let d be -10*(2 + v)/4. Solve 0*n + d*n = 0 for n.
0
Suppose -10 = -d - 4*d. Suppose 0 = -d*c, -5*i + 7*c - 2*c = 0. Suppose -z + 4 = -i*z. Solve z*g = 4 - 0 for g.
1
Let t(a) = a**2 + 2*a - 3. Suppose -3*o + 0*o = 12. Let h be t(o). Solve -h*j = -j for j.
0
Let z be -1 + 12/(6/2). Solve -20 = z*q + 2*q for q.
-4
Suppose -385 = -4*u + 63. Suppose -5*c = 5*q + 27 - u, -3*q = 5*c - 53. Solve -5*b - q = -6 for b.
-2
Let s(q) = -q**3 - q**2 + 2*q + 4. Let u be s(-2). Solve u*t = t for t.
0
Suppose 10 = 7*y - 2*y, 4*y + 2 = 5*t. Solve t*v + 15 = -v for v.
-5
Let r = 7 - 3. Suppose 0*u = -r*u. Solve u = -5*b - 25 for b.
-5
Let p be (-11)/(-22) + (-1)/2. Solve p = 3*q - 2 + 14 for q.
-4
Let y = 39 - 35. Let g = -7 - -10. Suppose -5*u = -h - 17, y*h - g = 3*u - h. Solve -u*q = q for q.
0
Let g(l) = -9*l**3 + 1. Let x be g(-1). Let r be -1 - 5/(x/8). Let y(b) = b**2 + 4*b - 2. Let i be y(r). Solve -i*s = -6*s + 3 for s.
1
Let r(n) = -n**2 - n - 23. Let c be r(0). Let w = c - -15. Let u be (-4)/(-10) + w/(-5). Solve b + b + u = 0 for b.
-1
Suppose 5*h - 26 = -86. Let g be h*4/(32/(-2)). Solve g*b = -2*b - 15 for b.
-3
Suppose 0 = -2*h + 5*v + 10, -4*v - 5 - 3 = 2*h. Solve h*d = -d + 5 for d.
5
Let s be 1 - 0 - (-6 - (0 - 5)). Solve v - 3*v = s for v.
-1
Let r = 17 - 23. Let j = r + 6. Solve j + 15 = -5*h for h.
-3
Let w(y) = -y**2 - 5*y + 7. Let t be w(-5). Suppose -3*n + t = 1. Solve 0 = n*f - 0*f + 6 for f.
-3
Suppose -5*x + 44 + 9 = 3*v, 2*x - 34 = 2*v. Let t = x - 3. Suppose 20 = 4*r - 3*m, -4*r + 3*r - t = 3*m. Solve 4*j + 2 = -r for j.
-1
Let a(o) = o**3 - 5*o**2 + 4. Let u be a(5). Suppose -5*s - 15 = -5*d, s = -u*d + 5 + 7. Let c be 3*2/(s + 2). Solve x + c = 2 for x.
-1
Let a(y) = 2*y**2 - 3*y + 2. Suppose 5 - 1 = 2*v. Let k be a(v). Suppose -2*u + 0*u = -10. Solve 3*x = -k - u for x.
-3
Let u be (-3)/12 + (-26)/(-8). Solve -2 - u = -5*l for l.
1
Suppose -33 = -5*y - 0*c + c, -3*y + 4*c + 30 = 0. Let b = 9 - y. Solve -6*r - 12 = -b*r for r.
-4
Let j = 0 - 4. Let m(g) be the third derivative of g**6/120 + g**5/20 - g**4/6 + 2*g**3/3 + g**2. Let w be m(j). Solve w*d + 8 = -8 for d.
-4
Let a = 6 - 5. Suppose -w = -3*w + 8. Solve -w = -r - a for r.
3
Let s(g) = -g - 7. Let m be s(-11). Solve 3 + 5 = m*t for t.
2
Let d be (-2 - (-9)/6)*4. Let l(u) = -u**2 - u + 2. Let s be l(d). Let k = -5 + 7. Solve -2*o - k = -s for o.
-1
Suppose 2*a - 7 - 1 = 0. Solve -a*r + 20 = -0*r for r.
5
Let a be 0 + 1 + 0 - -7. Suppose 0*o + 3*o - 7 = -2*q, q = -3*o + a. Solve 0 = o*j + 1 + 2 for j.
-1
Suppose -4*f = -4 - 12. Suppose 5*w - 5*j = 110, 5*w = -f*j + 103 + 7. Suppose w = 5*h - 33. Solve -1 = 3*x + h for x.
-4
Let s = 95 + -55. Suppose -4*r + 2*r = -s. Let w be 1*(-3)/(-6)*0. Solve 3*n - 8*n + r = w for n.
4
Suppose -5*x + 2 + 8 = 0. Let u(n) be the third derivative of n**4/6 - n**3/2 - n**2. Let z be u(x). Solve -p + 0*p = z for p.
-5
Let l be 0/(4 - (3 - -2)). Suppose z + z = 40. Suppose -4*h + 0*h = 0. Solve h = -l*b + 5*b - z for b.
4
Suppose 2*h - 4 = 0, 5*c - 2*h - 3*h = 10. Solve 5*t - c = t for t.
1
Let b(l) = l**2 - 7*l + 2. Let w be b(7). Solve p = w*p for p.
0
Let d be 0 + 14 + 2 + -2. Let a = d + -9. Let q = 7 + -3. Solve t = -q*t + a for t.
1
Suppose j = 4*j + 4*h - 19, -2*h = j - 7. Solve j*q = 7*q - 6 for q.
3
Let b = -4 - -12. Suppose 0 = b*j - 3*j. Solve t + t - 6 = j for t.
3
Let i be 3/12*-2*-2. Let o be 1/(i - 8/10). Solve -o = -t - 2 for t.
3
Let z(o) = -o + 11. Let g be z(8). Solve 8*m - g*m = 5 for m.
1
Let y(w) = 10*w - 4. Let l be y(1). Solve 3*z + 0*z - l = 0 for z.
2
Let l be 0 + 2 + (-4 - -4). Let y be (1 - (4 + -1)) + l. Suppose -2*q - 6 = -3*x, -x + 9 = -3*q - y*q. Solve 0 = m - x + 1 for m.
-1
Suppose 0*c + c = -5*n + 26, 2*c - 5*n = -23. Let b = c - -1. Suppose -5*j = 2*g - 4, -3 = -b*g - 3*j + 1. Solve -10 + g = 4*t for t.
-2
Let y(s) = -s**2 + 5*s - 5. Let z be y(3). Solve 14 = -3*u - z for u.
-5
Suppose q = -5*z - 0*z + 4, 2*z - 8 = -2*q. Let j be (-5)/(-20) - 15/(-4). Suppose -4*r + 0*r - 4 = -u, -r - 3*u = -12. Solve r = -y - z*y - j for y.
-4
Let h(j) = 4*j - 3. Suppose -5*z = -55 - 0. Let t = z - 9. Let r be h(t). Solve -2*g + g = -r for g.
5
Let s = 1 + 4. Let n = 53 - 25. Suppose -h - 3*h = -n. Solve -h = -4*x + s for x.
3
Suppose 0 = -4*q - 3*c - 0*c + 46, 3*q - 37 = -c. Let k(y) = y - 9. Let x be k(q). Solve -3*m = -x*m + 3 for m.
3
Suppose -2*b = -2 - 6. Suppose -3*k - 2 = -0*k + 2*c, -2*c = -b*k + 16. Solve -k = 5*u + 3 for u.
-1
Let z be 10 + (4 - 3)*-1. Let s = -6 + z. Solve -v = -s*v + 10 for v.
5
Suppose -3 = 3*k + 2*k + x, -k = 2*x + 6. Suppose f + 2*q + 0 = -1, k = 5*q + 15. Solve 0 = -f*a + 4 + 1 for a.
1
Suppose 2*n = -2*n. Suppose n*f = -2*f. Let c be -9*(2/(-6) - f). Solve -15 = -c*t - 0*t for t.
5
Suppose 3*j + 62 = 62. Let r(m) = -m + 5. Let p be r(0). Solve j = p*x - 2 - 13 for x.
3
Suppose 0 = 4*r - 18 - 2. Solve -r*c + 14 = -6 for c.
4
Let k = -5 + 9. Let g(f) be the third derivative of -f**5/60 - 7*f**4/24 - f**3/3 - f**2. Let y be g(-6). Solve k*h = -y - 0 for h.
-1
Let j be 4/(-6) - 56/(-12). Let p be j/6 + 16/12. Let g be p/4 + (-2)/4. Solve 0 = -2*b - g*b + 8 for b.
4
Let p be (-15)/(-10)*12/9. Suppose 2*d - 10 = 2*f, -10 = p*d + 3*f - 5. Solve 0*x + 8 = d*x for x.
4
Let t be 24/84 - 2/7. Solve t = 2*n - 7*n + 20 for n.
4
Let q be -11 + (-6)/(-3 - -6). Let v = q + 17. Solve -8 - v = 3*r for r.
-4
Let a(m) = -3*m**2 + m + 6 + 2*m**2 + 0*m + 3*m. Let t be a(5). Solve t = -j - 0*j for j.
-1
Let m(w) = w**3 - w + 2. Let g be m(0). Suppose q + 10 = 3*q. Suppose 2*n = -2*n - 5*h + 33, q*n - h = 5. Solve -g*r + 8 = -n for r.
5
Let r(l) = -l**3 - 5*l**2 + 6*l + 2. Let p be r(-6). Solve 3*a - a = p for a.
1
Let p(n) = -3*n - 6. Let y be p(-4). Suppose 0*j + 3*c = j - 9, -j + 2*c + 8 = 0. Let z = y - j. Solve -w - 3 = -z for w.
-3
Let p(l) = -l**2 - 5*l - 2. Let w be p(-4). Solve -w*o = -3*o for o.
0
Let y be ((-2)/(-3))/(8/96*2). Solve 0 = y*b - 1 + 5 for b.
-1
Suppose 0*o - 5 = -o. Suppose -v + 10 = 2*j, o*j = -v + 2*v + 25. Solve v*i + 4 = -4*i for i.
-1
Let v be (-20)/(-15) + 6/9. Let l = 8 - 2. Solve -p = v*p - l for p.
2
Suppose -2*h + 4 = -0*h. Suppose 1 = l - h. Solve x = -0*x + l for x.
3
Let a(h) = -h - 8. Let x be a(-11). Solve -o - x = -0*o for o.
-3
Let o(y) = -y**3 - 8*y**2 - y - 4. Let i be o(-8). Suppose -3 = i*r + 2*g + 5, 4*r - 4 = g. Solve -b - 2*b - 6 = r for b.
-2
Let d(w) = -3*w**2 - 3*w + 4. Let r be d(2). Let y be r/(-56) - (-19)/4. Solve 2*b = y*b - 12 for b.
4
Let j(y) = -y**3 - 5*y**2 - y - 5. Let z be j(-5). Solve -2*b + 0*b - 10 = z for b.
-5
Suppose -7*t + 11*t = 0, -3*w + 5*t + 12 = 0. Solve -w*y = -y + 12 for y.
-4
Let g(j) = j - 6. Let t be g(8). Solve y + t*y - 9