 0 for a.
-5
Let b(y) = y + 3. Let l be b(2). Solve 4*i + l = 17 for i.
3
Suppose 0 = y - 0*y. Solve -2*x + 6*x = y for x.
0
Suppose 0 = -2*o + 3 - 19. Let n = o + 8. Solve -3*s + 2 + 10 = n for s.
4
Let x be 60/33 - (-4)/22. Let a(u) = -1 + 0*u - x*u + u. Let p be a(-5). Solve -f = p + 1 for f.
-5
Let w be (-13)/26 + (-13)/(-2). Solve w = 2*v + 2 for v.
2
Let y = 39 + -13. Let o be y/8 - 3/12. Solve -9 = 3*r + o for r.
-4
Let k(b) = -6*b**2 - 4*b - 3. Let a(r) = 5*r**2 + 3*r + 2. Let z(d) = 5*a(d) + 4*k(d). Let w be z(2). Let s be 2 - (w - 2) - 2. Solve 4 + s = 2*i for i.
3
Let a = -10 - -12. Solve -3*u + a*u = 3 for u.
-3
Let t = -92 + 102. Solve t = y + y for y.
5
Let w be (-1 - 7)/(1 + -3). Solve y - 12 = w*y for y.
-4
Let c be 9 + (-1 - (-3 + 2)). Suppose 5*v = -5*w - 24 + 69, 0 = 5*w - 15. Solve v*y - 3*y = -c for y.
-3
Suppose -3*t + q + 1 = -1, 2*t = 2*q. Suppose 2*v - 81 = -5*k, -5*v + 5*k = -0*v - 150. Let n = v - 22. Solve -5*c = -n + t for c.
2
Suppose 25*f - 7 = 24*f. Solve -5*k = -f*k - 6 for k.
-3
Let o be 1*(4 + (-1)/1). Solve n + o = -0 for n.
-3
Let j = 23 + -17. Suppose -4*i + i = -j. Solve i*s - 6 = -s for s.
2
Let n = 40 + -21. Suppose 3*a + 5*y - 17 = 0, y = 3*a + a - 15. Suppose -4*c = -2*c - 6. Solve n - a = c*p for p.
5
Let s = 92 - 86. Solve 0 = -s*m + 4*m - 4 for m.
-2
Let c(f) = -2*f**3 - 4*f**2 - 2*f. Let a be c(-2). Suppose -r + 4*u = -9, 0 = -a*r + u + 5 + 1. Solve -2*q + 1 = -r for q.
1
Let j(u) = u**2 + 8*u - 12. Suppose -2*n + 15 = 3*n. Let w = -7 - n. Let o be j(w). Solve -y - 3*y = o for y.
-2
Let l(u) be the third derivative of u**6/120 + u**5/30 + u**4/12 + u**3/6 - 3*u**2. Let z be -1*(3 - 2)*1. Let i be l(z). Solve s + 3 - 7 = i for s.
4
Let l(c) be the third derivative of c**6/120 - 7*c**5/60 - 3*c**4/8 + 2*c**3 - 7*c**2. Let m be l(8). Solve 0 = -2*v + m*v for v.
0
Let q(t) = t**2 - 5*t - 4. Let b be q(8). Suppose -7*a + 2*a = -b. Solve 0 = 5*r + 11 + a for r.
-3
Let j = 35 - 32. Solve j*a - 4 = a for a.
2
Let l be ((-3)/(-2))/((-3)/8). Let c = 3 + l. Let g be (1 - c/(-3))*21. Solve -2*r - 4 = -g for r.
5
Let i(y) = -2*y - 3. Let f be i(-3). Let m(w) = -f*w + 5*w + 2 - 3*w. Let q be m(2). Solve q = 5*u - 2*u - 6 for u.
2
Let z be (-5)/(-1 - 0/(-2)). Suppose -z*q + 111 - 16 = 0. Suppose -q = -5*b - o, -3*b = -4*b - 2*o + 11. Solve 0 = -s - b*s for s.
0
Let m(c) = 2*c**2 - 2*c + 4. Let l be m(3). Solve -7*d + l = -3*d for d.
4
Suppose z = -5*q + 10 + 25, 29 = 4*q + z. Suppose q*j + 25 = 11*j. Solve j = -p + 2 for p.
-3
Suppose x - 2 = -1. Let s = 2 - x. Let h(n) = 2*n - 1. Let o be h(s). Solve 0 = f - 0 + o for f.
-1
Let u(k) = k - 10. Let y be u(14). Let r be (-10)/y + 2/(-4). Let h = r - -6. Solve -l - 4 = -h*l for l.
2
Let h(d) = -d**2 - 5*d. Let q be h(-5). Suppose 4*m + m - 20 = q. Solve m = 3*i - 5 for i.
3
Let b(c) = -c**3 - c**2 + 2*c + 2. Let a be b(-2). Suppose 6 = 5*z - 2*z. Solve 0 = z*j + a*j - 4 for j.
1
Let c(f) = f**2 + 3*f - 1. Let s(z) = -z**3 + 3*z**2 + 2*z + 4. Let b be s(4). Let u be c(b). Solve u - 4 = -l for l.
1
Suppose -6 + 82 = 2*r. Suppose 3*b = b + r. Solve 6 + b = -5*l for l.
-5
Let v = -15 + 11. Let i(k) = k**3 + 3*k**2 - 6*k - 1. Let u be i(v). Solve -4*z - 3 = -u*z for z.
1
Suppose 3*z + z - 3*u = 17, -z + 3*u = -11. Suppose 5*q = f + 15, 0 = -z*f - 3*f. Solve 0 = q*l + 2*l - 15 for l.
3
Let j be 0*(0 + 1/(-2)) - -12. Solve -8*w + 5*w = -j for w.
4
Let c be 4/(10/5)*10. Solve -6*s - c = -11*s for s.
4
Suppose -7*b + 21 = -0*b. Solve b - 6 = -m for m.
3
Let t(f) = 4*f**2 - 2*f - 2. Let j be t(3). Let z be -2*2*(-21)/j. Suppose 2*v - 3*u - 16 = 0, v - z*u - 14 = -0*v. Solve -1 = 3*y + v for y.
-1
Suppose -3*t + 35 = -5*l, 4*t + 4*l - 2*l - 12 = 0. Solve t = -2*i - 3 for i.
-4
Suppose -i = 16 - 21. Solve 5 = -5*k - i for k.
-2
Let s(o) = 4*o + 36. Let u be s(-8). Solve d - u = 2*d for d.
-4
Let z(u) = u**2 - 10*u + 4. Let w be z(9). Let y = -4 - w. Suppose x - 1 = q, 5*q - 3*x - 2 = -y. Solve q = 5*c - 3 for c.
1
Suppose 4*l - 2*y - 8 = 0, y + 3 - 5 = 0. Suppose -h = -l*h. Suppose h = -6*t + 7*t. Solve -3*v + 4 + 2 = t for v.
2
Let g = -14 + 17. Solve r = 4 - g for r.
1
Let z be 2/(-8) + (-175)/(-28). Let k be z*(-1 + (-16)/(-12)). Solve l = -k*l for l.
0
Suppose 3 = 3*q - 0. Solve 2*m - 3 = q for m.
2
Suppose 2*u = 4*w + w - 13, 2*u = -8. Solve -c - 4 - w = 0 for c.
-5
Suppose k + 4*k = 25. Solve 13 + 7 = k*a for a.
4
Let v be (6/(-5))/((-6)/20). Let i be 1/(-2)*8/(-4). Solve -5 = v*g - i for g.
-1
Suppose -5 + 13 = 4*k. Solve k*g = g for g.
0
Let x be -3*(-4)/(3 - -1). Solve x*u - 2 = 7 for u.
3
Suppose 3*n - 15 + 3 = 0. Solve -n = -4*a - 0*a for a.
1
Suppose -5*x + 10 = -2*x - 2*o, 3*x + 2 = 5*o. Solve 3*v = -x + 15 for v.
3
Let t = 12 - 0. Suppose -4*d + 3 = -5. Let x be 1/(2/(-4) + 1). Solve -x*o - d*o - t = 0 for o.
-3
Let z(d) = d**2 - 5*d + 6. Let y(n) = -n - 1. Let q be y(-5). Let h be z(q). Suppose 0 = -h*j - j. Solve 4*b + 10 + 6 = j for b.
-4
Let c(s) be the first derivative of s**3/3 + s**2/2 - 9*s - 4. Let w be c(0). Let y = w - -23. Solve 4*u + 6 + y = 0 for u.
-5
Suppose x = -3 + 8. Suppose 52 = 3*y - 5*q, 2*q - 3*q - 92 = -4*y. Let p be 6/y + (-2)/8. Solve x*f - f + 8 = p for f.
-2
Let s be 5 + (12/(-3))/2. Suppose 12 = 3*j, s*k - 2*j + 2 = 2*k. Solve 5*z - k = 4 for z.
2
Suppose 2*y - 5*c = 4*y - 12, -6 = -y + 2*c. Let a = y + 4. Solve -a = 2*o - 0 for o.
-5
Let a(n) = -3*n**2 - 2*n + 2. Let j be a(2). Suppose 2*r + 20 = 4. Let u = r - j. Solve 0 = -3*t - 9 - u for t.
-5
Let t = 14 + -12. Solve -t*x - 3 + 5 = 0 for x.
1
Suppose -2*x + 2*f = 0, -32 = -4*x - f - 7. Suppose -x - 2 = -n. Suppose 5*i - n - 3 = 0. Solve i*a = -0*a - 4 for a.
-2
Suppose j = -8 + 24. Let n = j - 22. Let h = n - -6. Solve h = -2*q - 0*q for q.
0
Let x be 6/(-24) + 14/(-8). Let r be x + (9 - 2)/1. Solve r*b + 2 = 4*b for b.
-2
Suppose -2*h - 2 + 8 = 0. Let w(t) = t**2 - 8*t - 9. Let p = -7 + 16. Let s be w(p). Solve s = -o + h for o.
3
Let v be -1 - (1 - (-1 - -3)). Solve -g - 3*g + 8 = v for g.
2
Suppose -3 = -3*x + 4*j, 3*j = j + 6. Solve -12 = x*z - 2 for z.
-2
Let l(d) = -d**2 + 5*d - 2. Let k be l(3). Suppose -a + n - 2*n = -1, k*n = -8. Solve j = a*j + 4 for j.
-2
Suppose j = -0*j + 4. Solve 8*l = j*l + 20 for l.
5
Let c(z) = 4*z. Let o(t) = -t**2 - 10*t - 6. Let r be o(-9). Let y be c(r). Solve 3*g - y = -g for g.
3
Let a(r) = r**2 + 11*r + 14. Let j be a(-10). Solve -j*o = -29 + 13 for o.
4
Let m = 30 + -14. Suppose -3*p - m = 4*s, -5*p - 4*s = 21 - 5. Suppose p = -4*d + 22 - 6. Solve j - 5 = -d for j.
1
Let n(j) = -j**3 + j**2 + 2*j**2 - 2*j**2. Let p be n(1). Suppose p = -3*q + 27 - 3. Solve 5*u - u = q for u.
2
Let y = 42 - 41. Solve -u = -y + 2 for u.
-1
Let g = 29 + -26. Solve -2*u - g*u = 0 for u.
0
Suppose -3*z + 13 = 16. Let j = z - -3. Solve -s = j*s for s.
0
Let o(k) = -k**2 - 5*k + 2. Let u be o(-5). Let b = 6 + -4. Let x be 2*(-2 - b)/(-8). Solve 0 = u*n - x - 1 for n.
1
Let l(f) = -f**3 + 7*f**2 - 5*f - 3. Suppose 0*o = -2*o + 12. Let q be l(o). Suppose -b - q*b = 0. Solve b = -4*i - 0*i + 16 for i.
4
Let p = 10 - 6. Let s be 1 + (-1 + p - 2). Solve -c = s*c for c.
0
Let w(m) = m + 2. Let z be w(0). Suppose z*v + 1 = 23. Suppose -a = 2*c - v, -c + 5*a - 19 = c. Solve -2*g = -c*g + 3 for g.
3
Let c = -6 + 6. Suppose 2*s + 5*f = -s + 7, c = s + f - 3. Solve 0 = -4*b - 0*b - s for b.
-1
Let d be (-18)/(-27) - (-202)/3. Let n be 2/9 - d/(-18). Solve -n*q + 12 = -q for q.
4
Let j(r) = r - 2. Let s be j(0). Suppose 3*a = -4*w + 10 - 2, 5*a + 3*w = 17. Let i be a*(s/(-8))/1. Solve 2*z + 11 = i for z.
-5
Suppose 0 = -2*s + 3 + 3. Solve -s*i = i + 16 for i.
-4
Let u(n) = n**2 + 4*n - 48. Let f be u(-10). Solve 0 = 5*x - 13 - f for x.
5
Suppose 17 = s + 5*j, -j = -2*s + 2*j - 18. Let d be 4 - 1 - (-8 - s). Solve l - 3*l = d for l.
-4
Suppose 0 = -4*d + 1 + 7. Suppose 0 = -d*v + s + 19, 0 = -2*v + 3*s - 8 + 25. Solve -f = 4*f - v for f.
2
Let s = 21 - 3. Suppose -i + 8 = 3*i + 5*x, -i + 3*x = -2. Let l be (-5)/(2 - 6/2). Solve s = -l*d - i for d.
-4
Let m = 22 - 10. Solve 3*u + m = -0*u for u.
-4
Suppose 4*o = 2*n + 8, -2*o + 3*n - 4 = -0*n. Suppose 0 = -2*m - 4*u + o, -2*u - 27 + 9 = -4*m. Solve q + 25 = -m*q for q.
-5
Let u(s) = 3*s + 1. Let t(p) = -4*p - 1. Let c be 