c*n - 0*n for n.
4
Let y = -11 - -13. Solve -y*l = -0*l + 6 for l.
-3
Let c(l) = -l + 4 - 4*l + 4*l + 0*l. Let i be c(-4). Solve 0 = -g + 3*g + i for g.
-4
Let v be ((-2)/(-5))/(3/(-30)). Let r be (-7)/(2*2/v). Solve -3 = -2*z - r for z.
-2
Suppose -10*v + 25 + 95 = 0. Solve -5*g + v = -g for g.
3
Let g(t) = -t**3 - 5*t**2 + 6*t + 5. Let q be g(-6). Suppose -2*f - 5*j + 5 = -0*j, -f + q = 5*j. Solve f = -3*m + 7*m + 20 for m.
-5
Let x = -15 + 19. Solve 15 = x*d - 1 for d.
4
Suppose 4 = -p - 0. Let c be 270/14 - p/(-14). Suppose 2*l + r - 22 = -10, -3*l - 2*r + c = 0. Solve 2*f = f + l for f.
5
Let t(k) = k**3 - 6*k**2 - 5*k - 10. Let j be t(7). Solve 0*g = -g - j for g.
-4
Let p = -353 - -355. Let b(k) = -k + 2. Let g be b(2). Solve g = p*i - 3*i - 1 for i.
-1
Suppose 2*h = l + 4, -4*l - h + 14 = -6. Suppose l*f = -0*f - 28. Let n be f/(-4) + (-3)/(-12). Solve -2*a = -4*a - n for a.
-1
Let i(q) = 15*q + 4. Let d be i(0). Solve -4*f + d = -0*f for f.
1
Let p(y) = y**2 - 5*y + 8. Let f be (-3 - 2)*(-4)/5. Let w be p(f). Solve 4*z - w = -16 for z.
-3
Suppose -19*r + 13*r = -18. Solve -r*u = -2*u for u.
0
Suppose y + 5*k - 4 + 9 = 0, y - 4*k - 4 = 0. Solve -2*g + 0 + 2 = y for g.
1
Let y(c) = c**3 + 8*c**2 + 15. Let z be y(-8). Suppose m - 3*m + 8 = 0. Solve z = -m*q - 5 for q.
-5
Let x(s) = -4*s**2 - 8*s - 10. Let c(i) = 5*i**2 + 8*i + 11. Let d(o) = 3*c(o) + 4*x(o). Let p be d(-6). Solve a = p*a - 4 for a.
1
Let r(q) = 4*q**2 + 4*q + 3. Let x be r(-2). Let p = -7 + x. Solve -a = p*a + 20 for a.
-4
Let l be 28/21*(-9)/(-2). Solve -l*r + 4*r - 4 = 0 for r.
-2
Suppose f = 6*f - 100. Suppose -3*i + 3*p + 15 = 0, -4*i + 4*p + f = p. Suppose 2*k + l = i, -3*k - 3*l + 8 + 1 = 0. Solve -k*h + h + 4 = 0 for h.
4
Let a be (-1 - 0)/(0 - -1). Let v(f) = -3*f. Let x be v(a). Suppose l = -x*l + 12. Solve -l*t + 4 = t for t.
1
Let l = -42 + 49. Let m = 8 + -4. Suppose -j + m*q + 8 = -2*j, -3*j + 3*q = -6. Solve j = 3*w - l*w + 8 for w.
2
Let p be -4*(-2)/(-4) - -10. Let j = p + -8. Let i(d) = -5*d**3 - d**2 + d + 1. Let f be i(-1). Solve -4*c = -f - j for c.
1
Let o be 44/2 - (-3 - -1). Suppose -5*n = 2*q - 16, 2*q - 3*n - o = -q. Suppose -3*i + q = -4. Solve -i - 4 = -2*c for c.
4
Let v = 39 - 21. Solve -4*p + v = 6 for p.
3
Let o(q) = q + 12. Let k be o(-9). Suppose 4*v + 1 = -k*n, 3 + 24 = 3*n - 3*v. Solve n = -2*d - 5 for d.
-5
Suppose p + 4 = -4*l, 5*p + 3 = 2*l + 5. Solve p*h - 2*h + 8 = 0 for h.
4
Suppose -5*d + 3*i + 30 = 0, 2*i = 5*d + 14 - 44. Solve -k + 4*k = -d for k.
-2
Let v(a) be the third derivative of a**4/24 + 4*a**3/3 + 5*a**2. Suppose -4*s = 15 + 9. Let o be v(s). Solve -o*l + 5 = -l for l.
5
Let l be 8/(-4) - -3 - -19. Solve l = -3*t - 2*t for t.
-4
Let v be 3/9 + (-50)/6. Let h be ((-2)/(-4))/((-2)/v). Suppose o - h = -o. Solve -m = o - 0 for m.
-1
Let v(a) = -a**2 - 3*a. Let h(u) = u + 1. Let m be h(-3). Let z be v(m). Solve -5*p = -z*p + 12 for p.
-4
Suppose -4*z + 10 = -2*z. Suppose 2*k - z = 11. Solve -4*r + 12 = -k for r.
5
Let h be 8 + 4/10 + 88/(-20). Solve -2*k + h*k = 10 for k.
5
Let l be (-5 + 12)/(1/2). Suppose -10 = 9*v - l*v. Let f(a) = a + 3. Let h be f(-2). Solve v*c = h + 5 for c.
3
Let z be -2 + ((-20)/1 - 3). Let r = -17 - z. Let p = -8 + r. Solve -2*s + p*s = 2 for s.
-1
Let c(z) = -z**2 + 10*z + 3. Let v be c(10). Solve -u + 1 = v for u.
-2
Suppose -4 - 1 = 5*d. Let t be (d + 21)*(-2)/(-8). Suppose j + 2*j + 4*n = -12, 4*j = -4*n - 12. Solve 0 = t*k - j - 5 for k.
1
Let o be ((-6)/12)/(1/(-8)). Suppose 0 = n - 0*z - o*z + 6, 2*z - 2 = n. Solve -n*q - q = 0 for q.
0
Let d = 10 + -5. Solve 6 = d*f - 4 for f.
2
Let o(s) = s**2 + 7*s. Let u be o(-8). Let n = u - 6. Solve b + 3 = -n for b.
-5
Let l(w) = -2*w**3 + 2*w**2 - 1. Let z be l(-1). Suppose 0*f - z = h + f, 2*h + 4*f = -16. Suppose -17*m + 18*m = 2. Solve -m*q = h*q for q.
0
Suppose 0 = 3*l + 49 - 55. Let x(k) = -5*k - 2*k**3 + k**3 - 5*k**2 - 1 - 3. Let n be x(-4). Solve -l*o + o + 4 = n for o.
4
Suppose 4*z + 8 + 8 = 0. Let k = z - -4. Solve k = -3*h + 15 - 6 for h.
3
Let k be 280/45 - 6/27. Solve -2*f - f + k = 0 for f.
2
Suppose -108 = k - 6*k - 3*d, 0 = -5*k + 4*d + 136. Let j = -15 + k. Suppose 2*u + 2 = 3*u. Solve 0 = 5*x - u*x - j for x.
3
Suppose 4*g - 7 = 5. Suppose -2*i + 3 = g*f - 2*f, 3*i - 24 = 5*f. Solve 12 = -i*w - 0 for w.
-4
Let q(o) = o**2 - 8*o + 6. Let g be q(8). Suppose 4*y - 2 = g. Let h(s) = 2*s - 3. Let r be h(2). Solve -y*t = -t - r for t.
1
Let k(w) = w**3 - 5*w**2 - 6. Let l be k(5). Let b = l + 9. Let n be 4/3 - b/9. Solve y - n = -0 for y.
1
Suppose 2*g + 34 = 4*r, 5*r + 0*r = 3*g + 43. Let a = -5 + r. Let d = 4 + -3. Solve d = -a*x + 4 for x.
1
Let m(l) = 2*l - 3 - 3 + 2*l. Let c be m(8). Suppose -5*h + c = 2*s, -12 = -3*h - 3*s - 0*s. Solve -h*a - 20 = -2*a for a.
-5
Let w = -15 - -7. Let z be (-4)/w - (-7)/2. Solve 0 = -k - 1 - z for k.
-5
Let v be -5*(1 - (-24)/(-20)). Solve m + 0 - v = 0 for m.
1
Let l(c) = -c + 8. Let s be 0/5*3/6. Let n be l(s). Solve -2 = -2*u - n for u.
-3
Let l(j) = j**3 - 9*j**2 + 7*j + 10. Let z = 20 + -12. Let p be l(z). Solve 0 = -2*c + p - 0 for c.
1
Suppose -4*r + 0*t + 2*t - 24 = 0, 3*r + 2*t = -18. Let o = 8 + r. Solve 3*z - o = 13 for z.
5
Let a(b) = -b**2 - 9*b + 1. Let q be a(-9). Solve 2*c - 1 = q for c.
1
Let m(w) = -11*w**3 + w**2 + 5*w + 3. Let g be m(-1). Solve 5*a = -g - 5 for a.
-3
Suppose 2*z = a + 25, 2*z + a = -2*z + 35. Let r be (z/(-4))/(2/(-4)). Let s be (-1)/(2 + r/(-2)). Solve -s = -i - i for i.
1
Suppose 3*s + 2 = -3*m - m, 3*m + 6 = 0. Solve 7 = -n + s for n.
-5
Suppose 24 = -6*w + 48. Solve 0 = w*v - 6*v for v.
0
Let j be (-10)/2*(-2)/5. Suppose -l + 0 = -j. Let t be 1/l - 4/8. Solve t*n = n for n.
0
Let n = 2 - 0. Suppose n*k - 10 + 2 = 0. Solve k*z - 5 = -21 for z.
-4
Let p(l) = 2*l**2 + 2*l - 2. Let s be p(-2). Solve -s = 4*i - 10 for i.
2
Let b(s) = -s + 10. Let z be b(8). Suppose -z*k = 3*k + 4*i - 6, -2*i - 12 = -5*k. Solve k*w = 5*w for w.
0
Let u be ((-2)/6)/(-4 - (-161)/42). Solve -u*i - i - 3 = 0 for i.
-1
Suppose -5*s = -c - 2*c - 5, -3*s + 3 = 4*c. Solve -3 = -b + s for b.
4
Suppose a + 11 = 31. Solve -u = 3*u - a for u.
5
Let t = 20 + -18. Solve 3 = 5*s - t for s.
1
Let h(j) = -j**2 + 5*j + 2. Let c be h(5). Solve -f = c*f + 6 for f.
-2
Let p(k) = -10*k. Let h be p(-1). Let n be 10/4 - (-5)/h. Solve -v - 8 = -n*v for v.
4
Let d = 18 + 2. Suppose 3*g = 8*g + 20, 3*g = 3*a - 12. Let l be ((-4)/(-3))/((-4)/(-12)). Solve -l*p - d = -a*p for p.
-5
Let w(y) be the second derivative of -y**4/12 + 3*y**3/2 - 3*y**2 + 2*y. Let x be w(8). Suppose -3*u - u - 2*h = -12, -h = -x*u + 2. Solve u*p + 5 = 3 for p.
-1
Suppose -7*h - 4 + 60 = 0. Solve h + 4 = 3*i for i.
4
Let z(k) = -2*k**2 - 5*k - 2. Let a be z(-2). Solve 4*g = -a*g - 16 for g.
-4
Let w = 38 - 32. Solve 0 = -v - w + 1 for v.
-5
Suppose -4*g + 0*g = -c + 19, 5*g + 65 = 5*c. Let u = c - 9. Suppose 2*h - 3*z = -2, 4*h - z - 2 = 4. Solve -a - u = h for a.
-4
Suppose 2*l + 15 = 7*l. Let h be (-26)/(-10) + 6/15. Suppose h*u + u - 32 = 0. Solve 0 = -l*m - u + 2 for m.
-2
Let z = 71 - 69. Solve -t = z*t for t.
0
Suppose -4*m = -5*h + 17, h - 4 = 3*m - h. Let z be 6*(7/2 + -3). Let b = 0 + z. Solve -b*x = m + 4 for x.
-2
Let c = 24 - 21. Let o(n) = n + 2. Let d be o(-2). Solve -z + 0 - c = d for z.
-3
Suppose 0 = s - 3*s + 24. Let h = s + -11. Solve -h = z + 2 for z.
-3
Let m = -2 - -2. Let z(v) = v**2 + v + 5. Let h be z(m). Solve 0 = -0*u - 5*u + h for u.
1
Let x(i) = -i - i**2 + 0*i**2 + 3 + 0*i + 5*i. Let u be x(4). Solve 2 - 5 = -u*y for y.
1
Let f = -77 - -79. Solve -f*d = d - 3 for d.
1
Suppose -4*z - 12 = -6*z. Let b be (-184)/(-10) - z/(-10). Let i(g) = g + 9. Let s be i(-5). Solve -5*m - s = -b for m.
3
Suppose -3*s + 1 = -2. Let g be (-3)/(-6)*6*s. Let p = -122 + 130. Solve a - g*a - p = 0 for a.
-4
Let l be (-106)/(-6) - 12/18. Let u = 29 - l. Solve 3*k + u = -k for k.
-3
Suppose -f = -6*f + 65. Let x = f - 8. Solve -x*i = -4*i + 1 for i.
-1
Suppose 10 = 90*k - 85*k. Solve -k*v - 3*v + 25 = 0 for v.
5
Let j = 3 - 0. Solve 0 = j*i + 3 for i.
-1
Let q(i) be the first derivative of -i**2/2 - 2*i - 1. Let r be q(-7). Solve -r*v = -2*v for v.
0
Let l(j) = -4*j + 6. Let b be l(1). Solve b*t - 6 = -0*t for t.
3
Let j(t