 + l = 0 for i.
-5
Let z(t) = -4*t**2 + 37*t + 14. Let c(d) = d**2 - 12*d - 5. Let q(l) = -7*c(l) - 2*z(l). Let j be q(-10). Solve -2*p = -j - 1 for p.
4
Suppose 0*i = -i + 6. Suppose 8 = 3*c + i*f - 2*f, -4*c + 6 = 3*f. Let d be 6/2 + -3 - c. Solve d = -6*k + 3*k + 9 for k.
3
Let c be (-4 + 6 - 14)*2/(-8). Solve -2 + c = -j for j.
-1
Let k(n) = n. Let l be k(-1). Let b(t) = -4*t**3 - 1. Let v be b(l). Let x be (v/2)/((-6)/(-8)). Solve -18 = 5*s + x for s.
-4
Let d = 8 + -3. Let p be 3/((-8)/(32/(-3))). Suppose -p*c - h = h + 2, -d*c = h - 5. Solve 3*y + 20 = -c*y for y.
-4
Let h = -7 + 14. Let c = 31 - 31. Solve c = h*j - 2*j for j.
0
Suppose 2*t - 6 = -3*k, 0*k + k = -2*t - 2. Let c = -24 - -8. Let w = 16 + c. Solve w = -l - k + 2 for l.
-2
Let q be ((-10)/8)/((-1)/(-4)). Let h be 1/5 + (-24)/q. Let i = 9 - -1. Solve 0*u = -h*u - i for u.
-2
Let j(g) = -g - 6. Let w be j(-6). Suppose 0 = 4*m - 20, -v - 2*v = 4*m - 29. Solve w + v = 3*k for k.
1
Let n be (-2)/7*(-15 + 8). Solve -c = n*c for c.
0
Let b be 1 - (4 - 6) - 2. Solve -p + 3 = b for p.
2
Let o(t) = -t**2 + 13*t + 14. Let m be o(14). Solve -4*q - 1 - 3 = m for q.
-1
Let d be (2 - (3 + -2)) + 1. Let v be 1*3*d/1. Let z be (-10)/(-3) + 4/v. Solve z*m = -3 + 23 for m.
5
Suppose -2 = f - 5. Let a(b) = -b**2 + 8*b - 7. Suppose -2*k - 4 = 0, -5*l + 2*k = -3*k - 45. Let r be a(l). Solve r = 4*n - 15 + f for n.
3
Suppose -4*j + 11 = -17. Solve j*z - 8*z = 3 for z.
-3
Suppose -15 = 2*l + 3*d, -d = 4*l - l + 12. Let y = 0 - l. Solve y = -2*a - 5 for a.
-4
Let a be -8*((-27)/12 - -2). Solve 3*u = -a*u for u.
0
Suppose -4*l + 4 = -0*j + 3*j, -2*j - 2 = -2*l. Let u be 1 + 0 + (l - 0). Suppose -2*i + 2*s = -3*s - 7, 5*i - 8 = 3*s. Solve u*g + i = -1 for g.
-1
Let d be 14/(-3)*(-3)/(-1). Let m be (12/d)/(12/(-84)). Solve m = 5*i - 4 for i.
2
Let l = -123 + 123. Solve w - 3 = -l for w.
3
Let x(s) = 2*s**2 + 19*s + 5. Let r be x(-10). Solve 3*j = -0*j + r for j.
5
Let s be (-2)/(-7) - 19/(-7). Let o = -3 + s. Solve p - 2*p + 4 = o for p.
4
Let b = 13 - 8. Let k be (4*1)/(-2 + 3). Suppose b*c - k = c. Solve 2*d - c = 9 for d.
5
Let o = 48 - 42. Solve -o - 2 = -4*p for p.
2
Suppose -5*s + 0*s - 5 = 0. Let i = s + 1. Solve -6*m + m + 20 = i for m.
4
Let j = 4 + 0. Let d(q) = -q**2 - 17*q + 18. Let a be d(-18). Solve a = -3*s + j*s for s.
0
Let i be 0 + 8/4 - -2. Suppose 2*c + 11 = y, 0 = c - i*c - 12. Solve t = -y*t for t.
0
Suppose -5*o - 4 - 1 = 0. Let j be o*(-3 + (-3)/(-1)). Solve 4*f = 8 - j for f.
2
Suppose 3*c - 3*s - 15 = -0*s, -2*s = -4*c + 16. Let b = 3 - -3. Suppose -b*j = -2*j. Solve c*m - 4*m = j for m.
0
Let x = 10 - 6. Let u = x - 0. Solve -u*z = z for z.
0
Let w(n) = -2*n**3 - 2*n**2 + 1. Let t be w(1). Let y be (0 + -8 + 3)*t. Solve -2*k = 3*k + y for k.
-3
Let v(p) = -2*p**2 + 4*p - 3. Let y be v(2). Let r be (-1)/(y + 42/15). Suppose 0*q = r*q. Solve q = -3*k + 2*k + 1 for k.
1
Let t be -3 - -1 - -2 - -4. Solve 3*l + t = 7 for l.
1
Suppose -21 = 2*r - 5. Let p = -5 - r. Solve 1 + 2 = p*h for h.
1
Suppose 0 = -0*x - x + 2. Suppose 2*r + 2 = 4*c, -4*r + 5 = -r + x*c. Let d = 5 - r. Solve 0*q + 20 = -d*q for q.
-5
Let v(n) = n**3 + 4*n**2 - 6*n + 1. Let h be v(-5). Suppose 0 = -2*m + 3*s, m + 7 = -s + h*s. Solve -2*u + m = 9 for u.
-3
Suppose 13 = 3*z + 43. Let q(i) = -i**2 - 11*i - 6. Let k be q(z). Solve k = -5*m - 6 for m.
-2
Let h(p) be the first derivative of 1/4*p**4 + 13*p - 10/3*p**3 + 1 + 4*p**2. Let r be h(9). Solve -5 = -w - r for w.
1
Let q(p) = -2*p - 19. Let v be q(-9). Let x(z) = -3*z + 1. Let l be x(v). Solve -d = -l*d - 3 for d.
-1
Suppose 4*i + 2*b = 44, -12 = -2*b - 4. Let f be (-40)/6 + (-3)/i. Let c = f + 12. Solve c*z = 20 - 0 for z.
4
Let c = 24 + -24. Suppose c = -4*g - 6 + 18. Solve -u = -g*u + 2 for u.
1
Suppose 4*x + 7 = -25. Let d = x + 13. Solve 0 = -0*f + f - d for f.
5
Let o(z) = -z**3 - 8*z**2 - 7*z + 5. Let f be o(-7). Let a = -70 + 72. Solve a*u - u = f for u.
5
Let z = 3 + 0. Solve -2*h = -7 - z for h.
5
Let l(f) = f**3 - 8*f**2 + 7*f + 2. Let x be l(7). Suppose -2*t + 36 = x*t. Solve -6 - t = -3*u for u.
5
Let r(w) = w**2 + 4*w - 4. Let u(f) = -2*f + 6. Let l be u(5). Let v be r(l). Let o = v - -16. Solve 3*a = -0*a - o for a.
-4
Let n be 1*(1 + (-1)/1). Suppose n = -3*d - 0*l - l - 5, -4*d - 20 = 4*l. Suppose v + d*v = 2. Solve x = -v*x for x.
0
Let r = -8 + 8. Solve -3 = -3*i - r for i.
1
Suppose 0 = 3*c + 13 + 5. Let u(j) = -5*j - 1. Let z be u(-1). Let d be ((-14)/3)/(z/c). Solve -3*b + d + 2 = 0 for b.
3
Suppose m = 4*k, 2*m - 6*k = -k + 3. Solve -2 = -2*b + m for b.
3
Let x(v) = v**2 + 2*v - 3. Let m(j) = -j. Let s = -8 - -6. Let g be m(s). Let q be x(g). Solve -q - 7 = -3*c for c.
4
Suppose -2*q - 17 = -2*t - 3*t, 5*t = 4*q + 9. Solve 3*n - q*n = -1 for n.
1
Suppose -4 = -5*o + 6. Suppose -3*x + 4 = 3*w + w, w + o*x + 4 = 0. Solve 0 = k - 0*k + w for k.
-4
Let r be 3/((-4)/(64/(-12))). Solve 9 + 3 = r*b for b.
3
Let w(q) = -2*q - 40. Let o be w(-22). Solve -u = o*u - 20 for u.
4
Suppose n - 38 = -2*n + 2*l, 2*l = -2*n + 12. Let m be n/(5/(-2) - -3). Solve -6*p = -2*p - m for p.
5
Suppose -4*q = 12, -5*p + q + 28 = -0*p. Suppose -p*t + 2*r + 40 = -3*r, r = -4*t + 17. Solve -15 = t*m - 0*m for m.
-3
Let v = 54 + -49. Solve 0*u = v*u + 5 for u.
-1
Let i = -1 - 0. Let g = 3 + i. Solve g = -0*h - h for h.
-2
Let w(o) = 4*o - 25. Let i be w(7). Suppose -7*y + 5 = -2*y. Solve 2*c = y - i for c.
-1
Let z(k) = -k**3 + k**2 + k + 2. Let i be z(2). Suppose -2*f = -3*f - 10. Let b = f - -15. Solve i = -x + b*x for x.
0
Let l = 6 + -4. Suppose d = -d - l. Let s = 0 - d. Solve 1 = o - s for o.
2
Let t(k) = -5*k - 36. Let f be t(-8). Solve -h - f + 0 = 0 for h.
-4
Let w(v) = -6*v + 4. Let f be w(-4). Suppose q + 3*l - 19 = -l, 4*q - f = -4*l. Solve -q*h - h = -16 for h.
4
Let f(h) = h**2 - 9*h + 4. Let w be 16*(15/(-6) + 3). Let v be f(w). Let g be (-28)/(-16) + (-1)/v. Solve g*i + i = 15 for i.
5
Suppose 11*h - 255 = 6*h. Suppose n + 1 = 3*o - 5, 3*o - h = -4*n. Let p = n - 2. Solve 2*f - p*f = 0 for f.
0
Suppose -5*f - 12 = m, -f = 1 + 2. Solve 2*q - m = q for q.
3
Suppose 3*a - i - 2 = 0, 5*a - 8 = -0*a + 4*i. Solve -5*w = -a*w for w.
0
Suppose 0*p - 3*p = -6. Suppose p*n = -3*n. Suppose n = -s - 3*s - 20, 4*h + 7 = -3*s. Solve 7*b + 15 = h*b for b.
-3
Suppose -4*d = 2*d. Solve d = -3*w + w for w.
0
Let b(j) = -j**3 - 10*j**2 - j - 10. Let r be b(-10). Let d = 2 + r. Solve o + d = -o for o.
-1
Suppose l + 12 = 5*l. Let i(n) = n**2 + 5*n + 5. Let q be i(-4). Suppose -h + 5 - q = 0. Solve -l = v - h for v.
1
Suppose 2*h - 2*w - 2 = 0, -w - 5 = -4*h + 2*w. Solve 0 = h*i + 2*i + 20 for i.
-5
Let c = -7 + 11. Let q = c - 2. Let g(p) = -3*p + 21. Let j be g(7). Solve q*k - 5 - 3 = j for k.
4
Let m(r) = -3*r - 7. Let q be m(-3). Solve q*i - 4 = -2*i for i.
1
Let z = -16 + 10. Let f = z + 8. Suppose -f*d = -5*d. Solve d = -2*n - 2*n + 16 for n.
4
Suppose -5*a = 5*u - 35, -5*u - 7 = -0*a - a. Solve 11*x + 16 = a*x for x.
-4
Suppose 0 = -3*k - 3*g - g - 3, 0 = 4*k + g - 9. Solve 2 = -k*o + o for o.
-1
Let n be (-4)/(-14) + (-793)/(-91). Let b be (-4 + 7)/n*0. Solve 5*w = -b*w + 25 for w.
5
Suppose 3*a - 14 = v, 26 = -2*a + 4*a - 4*v. Let h be -3 - -2 - (0 - a). Solve -h*o = o for o.
0
Let a(l) = -l + 12. Let t be a(10). Solve -10 = 4*i - t for i.
-2
Let y be 1*(1 + -2 + 17). Suppose -4*z + 8 = 3*q - 22, 2*z + q - y = 0. Solve -5*r = -z - 1 for r.
2
Suppose 4*w - 6 = -v, -w + 0*v = -2*v - 6. Solve -3*k - w = -k for k.
-1
Let o = -12 + 14. Suppose o*u = -0*u + 8. Solve 0 = c - 2*c - u for c.
-4
Let t(g) = -4*g**3 - 2*g - 1. Let u be t(-1). Let x = 5 - 5. Let i(l) = l**3 + l + 15. Let p be i(x). Solve u - p = -2*k for k.
5
Let a = 2 - 7. Let d(k) = -2*k + 4 - 3 + 4. Let y be d(a). Solve 0 = 3*b + y for b.
-5
Let r = 150 + -143. Solve 9*q = r*q + 6 for q.
3
Let z(a) be the first derivative of a**2/2 + 9*a + 1. Let u be z(-4). Solve 1 = u*r - 4 for r.
1
Suppose 3*b - 16 = -3*j + 11, 0 = 5*j + 4*b - 48. Suppose -3*t = t - j. Solve 13 = t*a + 1 for a.
4
Let m be 5/15 - (-146)/(-6). Let l = -24 - m. Solve l = -0*i - 3*i - 15 for i.
-5
Let p(l) = l**3 + l + 3. Suppose 0 = 3*r + 3*o - 12, 2*o + 4 = 5*r - 2. Suppose 4*d - 1 - 5 = -r*f, -4*d = -3*f + 9. Let q be p(d). Solve 