i) + 0 - -7. Solve 2*s - 3 = -a for s.
-2
Let s = 27 + -21. Let d = 13 - 8. Solve 0 = -h + s*h + d for h.
-1
Suppose -2*t = m - 6*m - 1, 4*t - 11 = m. Let d be (0 - -1)*-3 + m. Let s = -2 - d. Solve s = -0*p - 4*p for p.
0
Let l = -5 - -15. Let s = l + -7. Suppose -8 = -u + 3*n + 3, 15 = 3*u - s*n. Solve -u*c - 3 = -5*c for c.
1
Let c(n) be the first derivative of n**2/2 + 14*n + 3. Let b be c(-10). Solve x = b*x for x.
0
Suppose n - 6*n + 15 = 0. Suppose n = 2*q + 1. Solve -y + q = -2*y for y.
-1
Suppose 3*t = -4*i + 127 + 41, 0 = 5*i - 4*t - 179. Solve i - 14 = 5*w for w.
5
Suppose -4*l + 1 = -2*r + 31, 5*r = l + 30. Solve -15 = -2*s + r*s for s.
-5
Let z be 2*1/2 - -4. Suppose 36 = 4*q + z*l, -32 = -3*q - 3*l - 2*l. Let g = 11 + -6. Solve 6 = g*j - q for j.
2
Let c = 6 + -2. Let b = -4 + c. Suppose b = 2*a - 4 - 8. Solve 0 = -a*x + 5*x + 4 for x.
4
Let k be (-4)/2 - (-1 + -1). Let l = -12 - -7. Let x = k - l. Solve 0 = -x*u + 4*u + 4 for u.
4
Suppose 1 + 3 = 2*g. Suppose -g*z + 6 = -0*z. Solve 0 = -0*t - z*t for t.
0
Suppose i = 20 - 5. Solve 3*b + 6 = i for b.
3
Let d = 11 + -6. Solve 3*m + d = 4*m for m.
5
Suppose 3*u - 9 = -0*u. Suppose z + 2*j + 2 = 2*z, 20 = 4*z - 2*j. Solve 15 = -z*o + u*o for o.
-5
Suppose 3*o - i - 4*i = -3, -5*o - 4*i = 5. Let p be 16 - 6/(3/o). Let g be 58/p - 6/27. Solve -2 - 10 = g*h for h.
-4
Let u(g) = g**2 - 2*g + 4. Let i(c) = 4*c - 10. Let y be i(3). Let f be u(y). Solve p - f = -1 for p.
3
Let h = 15 + -11. Solve -3*w + h = w for w.
1
Suppose -5*o + o + 4 = 3*s, -5*s - 4*o = -4. Let d = -3 - -5. Suppose s = 3*a + j - 72, -3*a - d*a = -j - 128. Solve 0*t = 5*t + a for t.
-5
Let n(x) = -x**3 - 2*x**2 + 13*x + 8. Let k be n(-5). Solve -3 = -3*y - k for y.
-5
Let j(a) = a**2 - 4*a. Let h(b) = b**3 + 4*b**2 + b - 3. Let i be h(-3). Let r be j(i). Let z be 4/(r/(-1 + -2)). Solve -z*p + 8 = -2*p for p.
4
Let l be (-11 - -11) + 6 + (-2 - -1). Solve q + l = -0*q for q.
-5
Suppose 5 = 5*n - 10. Solve r + 20 = -n*r for r.
-5
Let s(k) = -k**3 + 6*k**2 - 3*k - 7. Let z be s(5). Suppose -3*h = -2*p - 7, 2 = 5*p - 3*h - z. Solve p*c - 3 = c for c.
1
Suppose -3*v - 5*h = -37, 3*h = v + h + 6. Suppose 0 = -2*a - v*s - 16, -3*a = -0*a - 3*s - 21. Let d = 0 + 0. Solve -i + a - 1 = d for i.
1
Let h be 4 + -2 + 1 + 2. Let i = h + -1. Solve 31 - 11 = i*b for b.
5
Let g = 9 - 5. Let q be (3/9)/((-4)/(-24)). Solve -g*y = -q*y for y.
0
Let i(u) = u**3 - 6*u**2 + 2*u - 9. Let m be i(6). Solve 2*l + m*l = 0 for l.
0
Let t(z) = -z - 7. Let n be t(-9). Suppose n*o - 4 = -16. Let j be 23 + -1 + o/3. Solve j = -6*q + q for q.
-4
Suppose 3*x - 7*x + 12 = 0. Let c be 22/(-33) + 8/x. Solve s + s = c for s.
1
Let b(r) be the third derivative of r**5/60 + 5*r**4/12 + r**3/2 + 3*r**2. Let t be b(-10). Solve t*w + 4 + 2 = 0 for w.
-2
Let k = -1 + 1. Let u = 15 - 15. Suppose 0 = 5*n + 2*j + 10, -4*n + j + j + 10 = u. Solve k = -n*p - 2*p + 4 for p.
2
Let c(g) = g**3 + 4*g**2 + 3*g - 1. Let k be c(-3). Let j = k + 5. Solve -9 = -j*x - 1 for x.
2
Let u be 23/4 + 1/4. Solve -5*o - 4 = u for o.
-2
Let m(y) = y. Let z(t) = -7*t + 2. Let f(d) = 2*m(d) + z(d). Let k be f(-2). Solve -4*s + 7*s + k = 0 for s.
-4
Let y be 4/18 - 86/(-18). Let w = y + -5. Solve 9 + w = 3*v for v.
3
Suppose n + 5 = 5*z - 2, -3*n + 3 = -3*z. Solve l + n = -2*l for l.
-1
Suppose 0 = 5*m - 17 - 8. Let v be 4*(-3 - (-2 - m)). Solve 8*g = 4*g - v for g.
-4
Suppose -4*f - 6 = 10. Let l be (-1 - -2 - f) + -1. Solve 0 = 2*u - l*u - 6 for u.
-3
Let z be 13/5 + (-2)/(-5). Solve z*a = 5*a - 10 for a.
5
Let d = 0 + 2. Suppose 4*p = d*p + 4. Let b be (-3)/(-8) + (-13)/(-8). Solve b*u + 20 = -p*u for u.
-5
Let r be 3/(-4) + 5/(-20). Let x be r*((-2)/(-2) - 2). Suppose 3*j + 210 = 13*j. Solve x = -4*u + j for u.
5
Let b(q) = -q**3 - 9*q**2 + 10*q + 3. Let j be b(-10). Suppose j*n = -2*g - 1 + 2, 3*g - 9 = -3*n. Suppose 0*s = 4*s - g. Solve 0 = s*p + 2*p - 8 for p.
2
Let b be 8/6*6 + 0. Let l be (30/(-24))/(-5) + 15/4. Suppose 3*g - 11 = 1. Solve l*z - b = g for z.
3
Let r = -29 + 31. Solve -2 = -r*n + 4*n for n.
-1
Let s = -57 - -57. Solve -h - 2 + 5 = s for h.
3
Let k be (-2)/4 + (-10)/(-4). Suppose 5*x + 3*f - 9 = 0, -x - 15 = -4*x - 5*f. Suppose x = 5*l - 23 + 3. Solve -k = -l*w + 6*w for w.
-1
Let x(u) = -u**2 - 8*u + 13. Let o be x(-9). Let q(r) = -r**3 + 2*r**2 + 6*r - 1. Let p be q(o). Let f = p + 9. Solve f = -c + 7 - 4 for c.
3
Suppose 49 + 31 = 8*i. Solve -4*v = 2 + i for v.
-3
Suppose 2*b + 3*b = t - 10, 5*b + 5 = 0. Solve t*x - 3 = 7 for x.
2
Let a = 8 + -3. Suppose 0 = 2*x - x - a. Suppose x*n = -0*n. Solve n = -4*o - o for o.
0
Let k = -23 - -11. Let o be 95/20 + 9/k. Suppose 0 = -0*g - 3*g. Solve -3*l + o*l + 1 = g for l.
-1
Let b(d) = -d - 3. Let y be b(-6). Solve y = 4*j - 3*j for j.
3
Suppose -3*w - 8*w + 132 = 0. Let b = -3 - -6. Solve b*x + w = -x for x.
-3
Let h(a) = -a**2 + 9*a - 9. Let c be h(8). Suppose u - 5*g = 6*u - 55, -21 = -u - 3*g. Let f be ((-1)/c)/(u/18). Solve -f*s + 8 = -s for s.
4
Let i(m) = 2*m - 10. Let a be (16/(-24))/((-4)/30). Let h be i(a). Solve 5*j - 4 + 14 = h for j.
-2
Suppose -4*p + 2*y = -p - 12, 3*p - 3*y - 9 = 0. Let r be 75/p*(-12)/(-10). Solve -r = -2*m - 3*m for m.
3
Suppose -5*i + 28 + 22 = 0. Solve -4 = 2*c - i for c.
3
Let f be 10/8 - (-3)/4. Suppose 2*g + j = -4*j + 17, 0 = -2*g + f*j + 10. Let m be (4/g)/((-4)/(-30)). Solve 5*l = -0 - m for l.
-1
Let x = -12 - -37. Let t = 17 - 10. Solve -2*p - x = -t*p for p.
5
Suppose 0*s - 5*s + 20 = 4*w, -s = w - 6. Let b = w + -6. Suppose -20 = 2*h - 6*h. Solve 0 = b*a + a + h for a.
-1
Suppose h - 3 - 30 = 0. Suppose -5*w - h = j, -5*w + 7 = -j + 34. Let d be (-4)/w*(0 + 3). Solve -d*s + s = 1 for s.
-1
Let z(l) = l**2 + 11*l - 11. Let d = -28 - -15. Let c be z(d). Solve -c = o - 4*o for o.
5
Suppose 0 = -2*d - 0 + 2, j - d = -6. Let c be (j + -1)/((-3)/4). Solve 0 = -c*a + 3*a - 5 for a.
-1
Let m(w) = 0*w + 4*w**2 - w + w**3 - 2 + w**2. Let z be m(-5). Solve -z = 3*n + 9 for n.
-4
Let u = 14 + -23. Suppose -2*k + 1 = 19. Let c = u - k. Solve c*j = -j for j.
0
Suppose 2*a - 13 - 73 = 0. Suppose -y + a = 4*z, -2*z - 3*z + 35 = -5*y. Let o be (4/(-10))/(2/(-10)). Solve 0*u = -o*u - z for u.
-5
Suppose 0 = -0*f + 2*f + 2. Let v be (0 - (f - -1))/4. Solve 3*b + v = 9 for b.
3
Let v(i) = -i**3 - 2*i**2 + 2*i - 3. Let p be (-3)/15 - (-84)/(-30). Let z be v(p). Solve -f = -z*f + 1 for f.
-1
Let t(h) be the first derivative of -h**3/3 + 2*h**2 - h + 1. Let x be t(5). Let k = x - -14. Solve 0 = -3*l - 7 - k for l.
-5
Let k = 11 - 8. Suppose k*o - 5*b = 0, 9*b = o + 4*b. Solve y - 5*y = o for y.
0
Suppose 2 + 18 = 4*v. Let p be (-2)/v - 4/(-10). Solve p = -2*k - 3*k + 10 for k.
2
Let r(q) = -q - 1. Let w(k) = 4*k - 3. Let t(p) = -3*r(p) - w(p). Let h be t(-10). Suppose 0*o - 2 = 5*b + o, 4*o = -b - 8. Solve b*v = -4*v - h for v.
-4
Let f(y) = -y**2 + 6*y - 1. Let r be f(5). Suppose m + g = -4*g + 14, m - 2 = g. Let h be (-2 + r)/(m/10). Solve h = p - 0 for p.
5
Let u = 20 - 18. Let v = 7 + -4. Solve u = -v*p + 17 for p.
5
Let g(s) = s**3 + 5*s**2 - 3*s - 12. Let y be g(-5). Solve 0 = 4*u - y - 9 for u.
3
Suppose t = -z - 0*t - 5, -z - 10 = 2*t. Solve z = -b + 2*b for b.
0
Let v = 13 + 20. Let p = 5 - 15. Let i = 18 + p. Solve -i = 5*t - v for t.
5
Let s(z) = 7*z**2 + 4*z + 2. Let q be s(-1). Let k = 0 + 1. Solve 3*o = k + q for o.
2
Let r be (3 + -2)/(-2)*12. Let d be (-28)/r - 2/(-6). Solve 5 = d*k - 0 for k.
1
Let w(t) = 7*t - 30. Let n be w(5). Solve -n*v = 3 - 18 for v.
3
Let r(l) = -l**2 + 4*l - 3. Let g be r(2). Suppose 4*h + 12 + 8 = 0. Let k be (3 + h)*(g + -2). Solve 16 = k*q + 2*q for q.
4
Suppose 4 = -2*u + 12. Solve -u*c + 2*c = 6 for c.
-3
Suppose -3*x + 8 = 5*n, -2*n = 7*x - 2*x - 45. Solve x - 2 = -3*i for i.
-3
Suppose 0 = -u - 2*u - 12. Let d(q) = q + 6. Let t be d(u). Let f be (-2 + 0)/(-2)*2. Solve -c = -f - t for c.
4
Let f(l) be the third derivative of l**4/24 + 3*l**3 - 3*l**2. Let g be f(-13). Solve 0 = -g*j + j + 12 for j.
3
Suppose -4*k = -23 + 15. Solve -x = -k*x - 1 for x.
-1
Suppose -4*b = -2*a + 11 - 29, 0 = -b + 3*a - 3. Suppose 5 = b*f - 5*f. Solve 19 = -f*z - 1 for z.
-4
Let a(f) = -f - 12. Let y be a(-7). Let l(o) = o**2 + 4*o. Let n be l(y). Solve n*c - 1 = -26 f