4. Let y be ((-3)/o)/(1/(-2)). Solve -2*c + y*c = 0 for c.
0
Suppose 3*a - 7*a + 4*n - 100 = 0, -4*n = 4*a + 100. Let z = -35 - a. Let v(r) = -r - 10. Let s be v(z). Solve -3*k + k = s for k.
0
Let p be (3/4)/((-4)/32). Let l = 4 + p. Let d be 11 - (3 + 0 + l). Solve 0 = -0*c + 2*c - d for c.
5
Let r = -9 + 15. Let d = 8 - r. Suppose 4*t = -5*v - d, 5*t - 3*v - 17 = -1. Solve 2*c = -t*c + 4 for c.
1
Let f = 0 - -4. Let b = 14 + -20. Let m(z) = -z**3 - 7*z**2 - 7*z + 1. Let k be m(b). Solve -f*p = -k*p + 15 for p.
5
Let w = -37 + 37. Solve 0 = -w*i - 2*i + 4 for i.
2
Let y(z) = z**2 - 5*z - 10. Suppose 0*n - 30 = -5*n. Suppose -2*v - n = 0, -c = -4*c - 5*v + 6. Let l be y(c). Solve 0 = -l*x - x - 15 for x.
-3
Suppose 0 = -2*c - 5*m + m + 20, -4*c = -m - 49. Let v = -8 + c. Solve -d - v = d for d.
-2
Suppose 4*c - 2*c = 0. Suppose c = 4*a - 2 - 2. Let w be a/6*-2*-15. Solve -m = -w*m for m.
0
Let o(k) = -k**3 + 7*k**2 - 6*k - 5. Let i be o(5). Solve 0*l = 3*l - i for l.
5
Let y(m) = m**3 + 2*m**2 + 4*m + 2. Let r be y(-2). Let w be 2/6 - 34/r. Solve 3*o - w = -3 for o.
1
Let y be 16/10*(-20)/(-8). Solve 0 = -y*t + 3*t - 3 for t.
-3
Let q be (0 - 5)*(-1)/10*8. Solve q*i + 0 = 16 for i.
4
Let f = 11 + -8. Suppose 3*q = f + 12. Suppose 33 = i - 0*i - 2*w, 3*i + q*w = 66. Solve -5*b + i - 2 = 0 for b.
5
Suppose 2*h = 4*z + z + 21, -4*h - 3 = 5*z. Suppose 2*a = -a - h*t + 9, 4*t + 24 = 2*a. Solve a = 3*f + 3 for f.
1
Let r be (-6)/9*3/2. Let u = 4 + r. Solve -u*n = -n for n.
0
Let u(w) = w - 2. Let g be u(6). Suppose 2*z + 24 = g*b, 0*z + z = 0. Let s = b - 6. Solve h - 3*h - 4 = s for h.
-2
Suppose 2*q = a + 4, 3*q - 4*a - 3 = 8*q. Let u be (-3)/(-12) + 1/(-4). Let f = u + q. Solve 0*h = -h - f for h.
-1
Let l be (-10)/(-4)*(2 - (-4 + 4)). Solve -l*d + 4 = 14 for d.
-2
Suppose 0 = -3*n - 3*y + 3, -4*n + 3*y + 2 = -16. Let k = n + -2. Suppose 0 = w + k - 4. Solve -w*c + 1 + 5 = 0 for c.
2
Suppose 8*j - 10 - 14 = 0. Solve -j*u + 0 = 9 for u.
-3
Suppose -4*z = -2*m + 18, 4*m - 57 = -4*z - 9. Let x be 46/5 + 7/(-35). Solve 0 = -4*h - x - m for h.
-5
Let b(i) be the first derivative of i**4/4 + i**2 - 3*i + 5. Let p(d) = 3*d - 1. Let o be p(1). Let n be b(o). Solve n + 3 = -3*t for t.
-4
Suppose 10 = 5*g + 5*t, -2*t - 15 = -4*g + 11. Solve -g = 5*b - 0 for b.
-1
Let l = -12 + 24. Let z(k) = -2*k - 7. Let q be z(-6). Suppose 0 = -q*v + 5*w - 8 - 2, 2*w - l = -2*v. Solve 0*o + v = -o for o.
-2
Let d(y) = 9*y + 1. Let p be d(-16). Let s be 2/11 + (-832)/p. Solve -f = s - 2 for f.
-4
Let i = 25 + -22. Solve 20 = -2*n - i*n for n.
-4
Let w = -7 - -12. Suppose 15 + 0 = w*z. Solve -z = 3*t - 9 for t.
2
Let v(j) = -j**2 + 8*j + 8. Let n(a) = -a**2 + 7*a - 6. Let z be (-1 - 0) + 11 + -6. Let c be n(z). Let w be v(c). Solve 0 = -3*b + 7*b + w for b.
-5
Let a = -8 + 10. Suppose -u + a = -0*u. Let l(f) = f + 8. Let o be l(-8). Solve -u*t + 6 - 4 = o for t.
1
Suppose 2*u - 10 = 5*n, 4*n - 3*u = 2*u - 8. Let l = -2 - n. Let b be 0/(-3 + 4/2). Solve b*c + 3*c - 12 = l for c.
4
Let u be 76/16 + (-12)/16. Solve 0 = -u*l + 4 + 4 for l.
2
Suppose 6 = -3*j - 39. Let n = j - -34. Solve n = 5*y - 6 for y.
5
Suppose -3*i - 40 = -2*o - i, -2*o + i = -40. Suppose -5*q = o, 0 = -4*t + 3*q - 2*q + 16. Suppose 5*y - 5 = 0, 0*y - 4 = -w + t*y. Solve -2*l = w - 1 for l.
-3
Suppose 3*z = 7*z - 12. Solve -m + z = -4*m for m.
-1
Let c be (3/9)/((-3)/(-45)). Let i = -6 + c. Let o be 5/(-2)*10/i. Solve -5*p + 10*p - o = 0 for p.
5
Let i = 13 - 9. Solve -c = -3*c + i for c.
2
Suppose 2*l = -2*c - l + 49, 0 = 3*l - 9. Solve 2*j = 6*j - c for j.
5
Let c(h) be the first derivative of -h**2/2 + 4*h + 4. Let f be c(-3). Let r be (f/21)/((-2)/(-12)). Solve r*a + 1 = a for a.
-1
Let m = -7 + 11. Let i = m + 6. Let s(l) = 2*l - 3. Let n be s(3). Solve i = n*y + 2*y for y.
2
Let a = 4 - 4. Suppose -5*q - 3*j = -8, -2*q - 5*j - 9 - 3 = a. Solve 0 = q*s - 6 - 10 for s.
4
Let m(n) = -2*n**2 - 3*n**2 + 0*n**2 - 4*n**2 + 3 - 10*n + n**3. Let y be m(10). Solve b + y - 4 = 0 for b.
1
Let q = 43 - 23. Solve 0 = t + 3*t + q for t.
-5
Suppose -3*g = z + 10, -3*g + 2 = -2*z - 9. Let r = 3 - z. Solve 2*c = -0 + r for c.
5
Let n be 10/(-15) - (-51)/9. Let u(r) = -r**2 + 5*r + 3. Let o be u(n). Solve 4 = o*l - 2*l for l.
4
Suppose 4*x = -5 + 25. Let l(y) = 6*y - 5. Let a be l(x). Let z(t) = -2*t - 7. Let s be z(-5). Solve 0 = -s*u - 2*u - a for u.
-5
Suppose 4*v + 3*a - 29 = 0, 0 = -3*v + 4*v + 2*a - 11. Suppose -5*k - y + 20 = 0, 6*k - 2*k - v*y = -13. Solve -q = 2 + k for q.
-5
Suppose t = 2*p - 0*p - 65, -2*t = 2*p - 56. Suppose -3*h - 7*r + 2*r = -32, -3*h - 4*r = -28. Solve h*y - p = -11 for y.
5
Suppose 0 = -5*u + 85 - 35. Solve -3*b = -5 - u for b.
5
Suppose 3*t - 10 = -5*u, 3*u - t + 2*t = 6. Let j be ((-3)/(-6)*0)/(-1). Solve j = -3*h + u*h for h.
0
Suppose 0 = -2*h + 7*h - 15. Let o(i) = -26*i - 2. Let v be o(h). Let y be (v/25)/((-1)/5). Solve y = -6*n + 2*n for n.
-4
Let a(x) = -x**3 + 4*x**2 + 4*x + 7. Let t be (-1)/6 - 93/(-18). Let w be a(t). Let g = 1 + w. Solve g*c + 1 + 5 = 0 for c.
-2
Let a(h) = -2*h - 16. Let p be a(-10). Solve -8*t + p = -4*t for t.
1
Suppose -v - 8 = -5*v. Solve 3*b = v + 4 for b.
2
Suppose -3*m - 20 = 2*m. Let q = m - -6. Let v be (14 + 1 - -1)*1. Solve -2*f + v = q*f for f.
4
Let j = 12 + -1. Let i = -11 + j. Solve -c = -i*c for c.
0
Let f be 4/10 - 190/(-25). Solve f = 2*i - 0*i for i.
4
Let i = 4 - 2. Suppose f = -0*f + q + 6, 3*f - i*q - 14 = 0. Solve s = f*s for s.
0
Let r(f) = 9*f - 1. Let m = -8 - -10. Let d be r(m). Let i = 4 + -1. Solve -i*l = 2 - d for l.
5
Let w(v) = -v**2 + 9*v - 6. Let s(f) = -4*f**2 + 37*f - 24. Let m(g) = 2*s(g) - 9*w(g). Let l be m(7). Let o = 8 - l. Solve 2 = -d - o for d.
-4
Suppose 0 = -3*p + 5 + 1. Let k be p/(-10) + (-22)/(-10). Suppose 4 = k*x - 0*x. Solve 3 = -5*n - x for n.
-1
Let n = 0 + 5. Suppose -l + 0*l = -2*p + 1, 11 = 4*l - n*p. Solve l*b = 4*b for b.
0
Suppose -5*a - 7 = 4*f - 0*f, -16 = -5*f + 2*a. Suppose -5*w - 20 = 2*p, -5*p - 5 + 13 = -f*w. Suppose -2*l + 6 = -p. Solve 0 = -l*q + 7*q for q.
0
Let w be ((-4)/5)/((-4)/10). Let x(u) = 2*u - 5. Let q be x(4). Suppose k = q*k - 4*o - 12, 4*o + 12 = 3*k. Solve k = w*z - 0*z for z.
0
Suppose -3*g + 8 = -4*p - 8, 0 = 5*g + 2*p + 8. Suppose -2*q = -i + 7, 4*i + q = -g*q + 1. Solve 3*m + 2 = -i for m.
-1
Suppose 0 = -5*i + q + 14, -i - 2*i + q = -10. Suppose 4*z - 3*l = 33, -l = i*z - 0*l - 19. Solve 5*o - 1 = z for o.
2
Let q = 13 - 8. Solve 5*x = -0*x + q for x.
1
Let n = 14 - 9. Solve n*b = b + 20 for b.
5
Suppose -2*g + 1 = 9. Let a be 6/g*(-8)/(-6). Let p = -2 - a. Solve -m - 1 + 2 = p for m.
1
Suppose -i + 15 = 4*i. Let a be (1/3 + -1)*-3. Solve a*t - 11 = -i for t.
4
Let p(s) = s**3 + 6*s**2 - 7*s - 2. Let d be p(-7). Let o be d/(-7) + (-209)/(-77). Solve -o*w + 1 = -2*w for w.
1
Suppose 20*l = 16*l - 76. Let k = l + 21. Solve k = 3*w - 4 for w.
2
Let h be 0 + -16 + -1 + 2. Let j = 14 - 17. Let m be h/j + 1 + -1. Solve -f = -6*f - m for f.
-1
Suppose 3*v + 24 = 5*l, 2*l + 4*v + 9 - 3 = 0. Solve l*t = 8*t + 5 for t.
-1
Let s be (1 + 10/6)*(-30)/(-40). Solve s*m + 2*m = 20 for m.
5
Let a be -1*8/4 - 10. Let d = 13 + a. Solve -3*q + 16 = d for q.
5
Suppose -2 = y, -3*y + 4*y = -r - 14. Let z be (-23)/(-4) - (-9)/r. Suppose s - z*u + 1 = 0, 0 = -2*s - s + 3*u + 9. Solve -s*m + 5 = -15 for m.
5
Let l be (4 + (-2 - -4) + 4)*2. Solve -l = 8*r - 12*r for r.
5
Let k(v) = -v - 6. Let z be k(-9). Solve 0 = -3*o + z + 3 for o.
2
Let u(k) = k**2 - 17*k - 18. Let w be u(18). Solve w = 5*t - 11 - 14 for t.
5
Suppose 12*c - 10*c = 0. Solve c - 12 = -3*o for o.
4
Suppose 8*c + 8 = 24. Suppose -5*x + 3 + 7 = 0. Solve -3*s = -x*s - c for s.
2
Let n(j) = -j**2 - 6*j + 2. Let g be n(-6). Solve -g*z + 3 = -3*z for z.
-3
Let f(j) = -j**2 + j. Let n be f(0). Solve -4*s - s = n for s.
0
Let l be 6/15 - 318/(-30). Solve u + l = 6 for u.
-5
Let i = -3 + 11. Suppose -i = -2*p + 2. Solve 0 = t + 1 - p for t.
4
Suppose 6*o = -4*q + 2*o + 16, -2*o = -2*q + 28. Let w be 2/q + (-75)/(-27). Let v be (0 + 2 + -2)*-1. Solve v = -2*j - 7 + w for j.
-2
Let g be (12/(-10))/(10/25). Let t be (1/(-3))/(5/(-30)). Let u be 1/(t/(-6)*g). Solve -2 = h - u for h.
-1
Let c(g) = -g**3 + g**2 + g + 1. Let o be c(-2)