 = 0 for a.
4
Suppose u + 2 + 12 = 0. Let l be (-4)/u - (-4)/(-14). Solve -i = -l*i for i.
0
Let g be 2 - -6 - (1 - 1). Suppose 0*i + 10 = 5*i. Let a be ((-25)/10)/(i/(-4)). Solve 0 = n - g + a for n.
3
Suppose 37 = 5*j + 27. Let s(y) = y**2 + 4*y - 1. Let b be s(-7). Solve -6*g + b = -j*g for g.
5
Suppose 6 = 4*f + 2*u, -3*f - 5*u - 1 = 12. Let w be (4/10)/((-13)/(-130)). Solve -16 = f*o - w for o.
-3
Suppose 0*c - 3*c - 3 = 0. Let y be 1 + (c - -10 - 0). Solve 0 = -2*x - 3*x + y for x.
2
Let p(s) = -12*s + 3. Let r be p(-4). Let u = r - 31. Solve -w = 3*w - u for w.
5
Let r = -5 - 3. Let h(g) = g**2 + 7*g - 12. Let s(k) = -1. Let a(o) = h(o) - 4*s(o). Let z be a(r). Solve 3 + z = d for d.
3
Let i(q) = q**3 - 7*q**2 + q - 6. Let f be i(7). Let o be 33*(14/6 - 2). Let k = o - 7. Solve -3*r = -k*r - f for r.
-1
Suppose 0 = 13*o - 11*o - 8. Solve -5 + 13 = -o*y for y.
-2
Let x(q) = -q**2 + 6*q - 3. Let p be 2 + -1 - (3 - 6). Let n be x(p). Solve 2*k - n*k = 9 for k.
-3
Suppose -d + 2*z = 6*z - 6, -4*z = -d - 2. Solve -d = p + 3 for p.
-5
Let b be 1*4/3*3. Let n(w) = 2*w. Let l(f) = f - 1. Let i(x) = 4*l(x) - n(x). Let o be i(b). Solve -o*r = -r for r.
0
Let q = -32 - -32. Solve w + 3 + 1 = q for w.
-4
Let w(a) = -a**3 + 4*a**2 + 2*a - 3. Let o be w(4). Let t(u) = -u + 2. Let n be t(6). Let f = 8 + n. Solve o*i - f = 11 for i.
3
Suppose 0 = 2*x - 4*x + 4. Solve -2*r - x = -r for r.
-2
Let a = 43 + -40. Solve 0 = -n - 2*n + a for n.
1
Let u(w) be the third derivative of -w**4/24 - 3*w**3/2 - w**2. Suppose 4*c + 3*l = -13 - 14, 4*c = l - 39. Let f be u(c). Solve f*t = 2*t for t.
0
Let s = 5 + -5. Suppose 4*w - 19 - 5 = 0. Let p = w - s. Solve -p + 0 = 3*u for u.
-2
Let y(r) = r - 6. Let d be y(6). Solve 5*p = -d*p - 10 for p.
-2
Suppose -r = 2*v + 4*r - 52, 0 = -3*v + 2*r + 40. Suppose -d + 4 = -3*y, -y + v = 2*y + 4*d. Solve y = 2*o + 2*o + 12 for o.
-3
Let z(d) = d**3 - 5*d**2 + 2*d - 7. Let s be z(5). Suppose s*w - 11 - 4 = 0. Suppose w*a - 25 = 5. Solve -h = a - 1 for h.
-5
Let z = -7 + 6. Let l = 3 + z. Solve h - l = -0*h for h.
2
Let f be 0*(-2 - 0)/2. Suppose -5*w = -f - 60. Solve -4*a = -a + w for a.
-4
Suppose k - o - 2*o = 1, 5 = 2*k - 3*o. Solve -4 = -2*d + k for d.
4
Let i(k) = 7*k + 17. Let w(q) = -3*q - 8. Let b(o) = 2*i(o) + 5*w(o). Let a = 4 - 10. Let z be b(a). Solve y + 3 + 2 = z for y.
-5
Let o(j) = j + 0*j + 5 - 11. Let s be o(6). Suppose -60 = -3*y - s. Solve y = 2*d - 7*d for d.
-4
Let w(z) = -z + 3. Let h be w(-11). Let u = h + -4. Solve u*d = 5*d - 25 for d.
-5
Let m(n) = -15*n - n**3 + n**3 - 4 + 8*n**2 + 14*n + n**3. Let g be m(-8). Solve -g*k + 14 = -2 for k.
4
Let h = -26 - -35. Solve h = -3*x - 6 for x.
-5
Suppose -3*k + 2 + 13 = 0. Solve 0 = k*l - 1 + 6 for l.
-1
Let g = 56 + -25. Suppose g = 5*f - 29. Solve -f = u + 3*u for u.
-3
Let j(b) = b - 8. Let a be j(9). Solve -5*q - 4 - a = 0 for q.
-1
Let b be (-6)/2 + 3 + 2. Suppose 0*o = b*o - 20. Solve -g + o = 4*g for g.
2
Suppose -5*f + 0*f = -15. Let l be -1*(f + 0 - 3). Solve -5*p - 2 + 22 = l for p.
4
Suppose 5*f = -4*t - 1, 0*f + 5*f - 2*t = 23. Solve f*n = -2*n - 5 for n.
-1
Let j be -2 - -6 - (2 - 1). Solve j*x + x = 0 for x.
0
Let p(o) = o**3 + 3*o**2 - 4*o. Let n be p(-4). Suppose n = -5*t + t + 12. Solve 0*u + t = u for u.
3
Let i = 31 + -28. Solve 0 = x + i*x + 20 for x.
-5
Let r(f) be the third derivative of 0*f + 2*f**2 + 1/8*f**4 - 1/2*f**3 + 0. Let q be r(2). Solve q = -4*i - 5 for i.
-2
Let c = -5 - -7. Let r = 0 + c. Solve -3*i - r*i = -5 for i.
1
Suppose 2*a + 1 = 3*s + 4, -s - 15 = -3*a. Suppose -l = l, -a = -3*p + l. Solve 12 = -r - p*r for r.
-4
Let h(v) = v**2 + 2*v + 1. Suppose 6*j = 8*j + 2. Let y be h(j). Solve y*w + 16 = 4*w for w.
4
Let i(c) be the first derivative of c**4/4 - 4*c**3/3 - 3*c**2 + 5*c - 1. Let a be i(5). Solve a = -2*w - 0 - 8 for w.
-4
Let y(w) = 3*w**3 + w**2 - w. Let d be y(1). Suppose d*t = 2*t. Solve 3*n - 15 + 0 = t for n.
5
Let f = 13 + -8. Suppose -2*t + 2*w = -2, f = 3*w + 2. Solve -d = t*d + 12 for d.
-4
Suppose -2*z + 2*y + 60 = 3*z, z - y - 15 = 0. Suppose -5*s = -0*s - z. Suppose 0 = 5*k - 4*k + s*r - 12, -k - 5*r = -18. Solve 0 = -5*g + 3*g - k for g.
-4
Let c be 18 + (0 - 1) - 1. Suppose c = 3*f + 4*j, 2*j = -2*f + 2 + 6. Suppose -o = -f*o - 5. Solve -3 = -2*q + o for q.
4
Let a = -8 - -19. Suppose 3*q = q - 3*t + a, -q - 14 = -5*t. Solve 0 = -s + 4 - q for s.
3
Suppose 3*g + 54 = 12*g. Solve -g = -5*k + 9 for k.
3
Suppose 2*u = -u + 6. Let n(p) = p + 1. Let x be n(4). Solve 0 = v - u*v - x for v.
-5
Let i(o) = 3*o - 15. Let n be i(6). Solve -n = m - 0*m for m.
-3
Suppose 30*d - 40 = 25*d. Solve 0 = l - 3*l - d for l.
-4
Suppose -2*b = -7*b + 5. Solve 4*p = -11 - b for p.
-3
Suppose 0 = -5*d - 3 + 28. Let a = -5 + 18. Suppose a = 5*z + 2*w, 8*w = -2*z + 3*w + 1. Solve -8*x + z*x + d = 0 for x.
1
Suppose -2*h + 1 = -3. Suppose 5*c - c = 7*c. Solve f - 3*f - h = c for f.
-1
Let n be 80/14 - (-11)/((-231)/(-6)). Solve -o = n - 9 for o.
3
Suppose 62 = -4*m + 14. Let d(k) = k + 17. Let o be d(m). Solve -o*r = -r for r.
0
Let h(j) = 2*j**2 - 4*j - 1. Let m be h(4). Let w = 1 + -2. Let s be w - (-1 - (0 + 2)). Solve q + s*q = -m for q.
-5
Let q = 9 + -14. Let t = 10 + q. Solve -t*d + 9 = -6 for d.
3
Let p = -6 + 8. Suppose 0 = p*s - 5*a - 46 - 22, -2*s + 2*a = -56. Suppose -6*w + s = -3*w. Solve -3*r - 17 + w = 0 for r.
-3
Suppose -3*q + 12 = 4*a, 4*a - 2*q = 2*a + 20. Suppose 0 = -4*w - 12 - 0, 0 = -2*i - 4*w - 12. Solve -3*j = -i*j - a for j.
2
Let h be (6 + 0)*(-8)/(-12). Let m be -1*(1 + (-1 - 2)). Solve -h*d + 4 = -m*d for d.
2
Let m be (10 - 9)/((-2)/(-6)). Solve 0 = m*i + 3 for i.
-1
Let i(g) = -g**2 + 8*g - 7. Let p be i(7). Solve p = -5*z - 0*z - 20 for z.
-4
Let t = 25 + 12. Let i(d) = -12 + 4*d - 3*d + t. Let q be i(0). Solve 6*v - v - q = 0 for v.
5
Let m(u) = u**3 - 15*u**2 + u - 8. Let p be m(15). Solve -3*v - p = 8 for v.
-5
Let x = 20 - 15. Solve 2 = x*u - 3 for u.
1
Suppose 4*i = -i + 20. Suppose r = -3*r + 8. Suppose -2*x + r*n + 24 = 6*n, 3*x - 11 = -n. Solve 0 + i = x*j for j.
2
Let a(j) = -2*j - 22. Let o be (-11)/(-66) + (-182)/12. Let w be a(o). Solve -b - b = w for b.
-4
Let u = -5 + 10. Let b(z) = z**3 - 7*z**2 + 8*z - 9. Suppose 0 = c - 2*c - 5, -3*o + 43 = -5*c. Let y be b(o). Solve u = y*i - 8*i for i.
-1
Let o = 8 - 1. Suppose o*w - 5*w - 6 = 0. Solve -w*f - 12 = -6*f for f.
4
Suppose -4*y + 2 = -y + 2*d, 3*y - 3*d = 27. Solve y*u - 3*u = 0 for u.
0
Suppose -2*o + 1 = -5. Solve -o = t - 7 for t.
4
Let a be (-1)/(-2) + (-2)/4. Suppose a = f + 4*i + 10 + 4, 3*i = -12. Solve -2*c - f*c = 0 for c.
0
Let l = -5 + 8. Solve b - 1 = l for b.
4
Let b(c) = -21*c - 1. Suppose 0 = 2*x - 3*p + 8, -x - 8 = -3*x - 5*p. Let n be b(x). Solve 6*v = 2*v + n for v.
5
Suppose 2 = -5*z + 22. Let k be 80/(-6)*(-6)/z. Suppose -k = -4*u - u. Solve 0*y = y + u for y.
-4
Let d(s) be the second derivative of -s**5/20 - s**4/6 - s**3/2 - s**2/2 - 6*s. Let h be d(-2). Solve 4 + 1 = h*c for c.
1
Let r = -11 + 14. Solve 0 = -2*x + r*x - 5 for x.
5
Let n be (4 + -3)/(1/3). Suppose -n*z + 7 - 1 = 0. Solve z = 3*f - 1 for f.
1
Let b be -3*1 - (-9 + 6). Suppose 5*y - 19 - 1 = b. Solve s - y*s = -6 for s.
2
Suppose 3*l = l. Suppose 4*j + 2 - 22 = l. Solve 1 - 16 = -j*x for x.
3
Let y = 0 - -10. Let f = y + -3. Solve 5*o + f = 27 for o.
4
Let a(t) = -t**3 - 5*t**2 + t + 7. Let p be a(-5). Suppose 2*u - 6*u = 3*z, 0 = u + z. Solve p*f - f = u for f.
0
Suppose 5*b = 22 - 7. Let t(v) = -v**3 + v**2 + 4*v + 1. Let z be t(-3). Solve b*x - z = -2*x for x.
5
Let o be (56/(-42))/((-1)/3). Suppose 2*f + o = 2*w, -4*w + 0*w - f - 2 = 0. Let j = 3 - -2. Solve -j*v = -w*v for v.
0
Let a = -1 + 2. Let g(t) = t**3 - 9*t**2 - t + 8. Let v be g(9). Let y = a + v. Solve -6 = -y*x + 2*x for x.
-3
Suppose 0 = -f + 3*f - 4. Let m be (-57)/(-9) + f/(-6). Solve 4*d + 2 - m = 0 for d.
1
Let y(x) = 4*x**3 + x - 1. Let w be y(1). Let s be 4 - 1 - (-7 + 10). Solve s*f + w = -f for f.
-4
Suppose 6 = 4*f - 2. Solve f*j - j = 3 for j.
3
Suppose 0 = y + 3*y. Solve -3 = -y*u - u for u.
3
Suppose -23 = -2*r + 7. Let p = 15 - r. Solve 0 = -2*d - p*d - 10 for d.
-5
Suppose -10 = -k - 2*i, 0 = -3*k + 11*i - 13*i + 14. Solve -c + k*c = 0 for c.
0
Let n(k) be t