4. Solve x*c + y = -0*c for c.
-1
Let m(k) = -k**3 + 6*k**2 - 6*k + 7. Let s be m(5). Let v be ((-2 + s)/(-4))/1. Solve v = -2*h - 3*h for h.
0
Let u = -79 + 105. Let j = 30 - u. Solve -j*g + 5 = -7 for g.
3
Let t(i) = -6*i**3 + 1. Let z(k) = 2*k**2 - 1. Let f be z(1). Let g be t(f). Let d(c) = -c - 5. Let r be d(g). Solve -s - s + 4 = r for s.
2
Let m be (-2)/(-4) + 25/10. Suppose 3*c - 4*c = m. Let l = -2 - c. Solve 0 = 2*g - l + 3 for g.
-1
Let h = 24 + -22. Suppose -3*m = -2*m - h. Solve m*w - 10 = 7*w for w.
-2
Let q(j) = 2*j + 25. Let u be q(-10). Suppose -4*k = 5*a, -2*k = -u*k + 3*a. Solve 0 = -g - k*g + 1 for g.
1
Let l(v) = -v**3 - 10*v**2 + 12*v + 16. Suppose -w - 4 - 7 = 0. Let t be l(w). Solve t*m + 4 = -21 for m.
-5
Let z = -75 - -76. Suppose k = -0 - z, 3*o = 3*k + 18. Solve v = o*v for v.
0
Suppose 3*n - 5*l = -7, 0 = 2*n - 2*l + 5*l - 8. Suppose -4*d = 4*z, -2*d + 3*z + 12 = d. Suppose 3 = d*p - n. Solve -p*k = 2 - 4 for k.
1
Suppose -y + 2*y - 4 = 4*f, -16 = -4*y - f. Suppose 2*k = -y*k. Solve k = h - 3*h - 2 for h.
-1
Let f(o) = 4*o**2 - 3*o. Suppose -5*l - 115 = 5*d, -17 = l - 4*d + 2*d. Let x = l + 23. Let g be f(x). Solve g = 2*j - 0 for j.
5
Let h(v) = -15*v + 12*v**3 - 2 + 29 - 22*v**2 - 9*v - 11*v**3. Let s be h(23). Solve 0*i - s*i + 4 = 0 for i.
1
Suppose -4*t = -5*k + 3, -2*k + 9 = 5*t - 4*k. Let m be (-4)/(t - -1) - -1. Let a = 1 - m. Solve -i = -4 - a for i.
5
Suppose -2*f - a = a - 10, 0 = -3*f - 5*a + 13. Suppose c = 3 + f. Suppose 0 = -7*v + 36 - 8. Solve -7 = v*y + c for y.
-4
Let a(k) = -k**3 - 6*k**2 + k + 6. Let u be a(-5). Let n = 28 + u. Solve 0 = p - 2*p + n for p.
4
Suppose -3*s + 8*b = 3*b - 46, 4*s - 3*b = 54. Solve 126*p - s = 123*p for p.
4
Let y be 2*(-8)/(-36)*36/4. Let r = -22 - -27. Solve -y = -g - r for g.
-1
Let i be 6*((-48)/(-84))/(6/7). Suppose -i*s + 12 = 2*s. Solve y - 4 = s*y for y.
-4
Let v(g) = g**2 + 5*g + 5. Let n be v(-5). Suppose -14*l + n*l + 45 = 0. Solve -2*o = -5 - l for o.
5
Let v(r) = r**3 + 42*r**2 + 41*r + 30. Let i be v(-41). Solve 3*d = -3*d - i for d.
-5
Suppose -2*z - 3*d + 64 = -d, -5*z + 2*d = -139. Solve -12*h - 19 = z for h.
-4
Let z(r) = r**3 - 11*r**2 - 2*r + 26. Let u be z(11). Solve -u*l - 97 = -77 for l.
-5
Let x(o) = -o - 6. Let l be x(-8). Suppose -l*a + 2*r - 1 = -3, 3*r + 2 = 2*a. Solve d = 5 - a for d.
4
Let z = -6 + 10. Let d = -4 - z. Let w be 2 + d/4 + 3. Solve 0 = 8*h - w*h - 20 for h.
4
Let i(k) = k**2 + 9*k - 29. Let g be i(-12). Suppose 4*f + 3*t = 17, 4*f + 2*t - 7 - g = 0. Solve 0*l + 4 = f*l for l.
2
Let y be 2*1*6/(-4). Let t = y - -6. Solve t*h - h - 8 = 0 for h.
4
Let z be 0/(3/((-3)/(-2))). Let l(w) = -4*w + 39. Let u be l(9). Solve z = -2*i - u*i for i.
0
Let l(k) = -k + 4. Let o be l(0). Suppose 0 = -3*c + 82 + 140. Let s = c + -71. Solve o = -s*j - j for j.
-1
Suppose -2*r - 2 + 18 = 0. Let m = r - -1. Solve -4*x + m = -11 for x.
5
Suppose 40*v = -49*v + 6853. Solve 0 = -v*y + 72*y + 5 for y.
1
Let a be (1*-6)/((-24)/16). Suppose a*k - 5*m = 3*k - 13, 5*m = 4*k + 7. Let b = 3 + 17. Solve k*n = -3*n - b for n.
-4
Let h be 2 + (10 + 0 - 0). Let b(r) = r**2 - 7*r - 10. Let t be b(8). Let u be (-5)/t*(18/5)/3. Solve -u*y = -7*y - h for y.
-3
Let v(g) = 4*g - 91. Let a be v(29). Solve -244*s = -249*s + a for s.
5
Let k = -125 - -125. Suppose n + 3*n = 12. Suppose 41 = 5*f - 2*x, -2*f = x + 2*x - 24. Solve n*v + f = -k*v for v.
-3
Let w = -9 + 11. Let h(t) = -39*t**3 - 2*t**2 - t + 1. Let j be h(-1). Suppose -q + 5*i = -20, -5*q - 2*i + j = -7. Solve -2*z = -w + q for z.
-4
Suppose 4 + 16 = u. Suppose -15 = -3*h - p, -5*h + 5*p = -h - u. Solve -h*t = -t + 16 for t.
-4
Let k = 6 + -2. Let h = 0 + 2. Let j be ((h - 2)/2)/(-1). Solve c + j = k for c.
4
Let r(p) = p**3 + 13*p**2 - 2*p + 13. Let u be r(-13). Solve -9 = -6*q - u for q.
-5
Let b be -2 + 0 - (-50)/1. Suppose b - 4 = 4*q - 4*y, 4*q + 3*y - 23 = 0. Let l(u) = -u**3 - 4*u**2 + 2*u + 5. Let w be l(-5). Solve q*x - 3*x + w = 0 for x.
-4
Let m = 1 + -1. Let l(j) = j - 4. Let b be l(8). Let q = -209 - -229. Solve m*u + b*u = q for u.
5
Let m(q) = 3*q**2 + 2*q - 2. Let s(n) = n. Let r be s(-2). Let t be m(r). Suppose 6 = -j - 2*w, -4*j - 3*w = -j + t. Solve j*v + 3*v = 0 for v.
0
Let n be (5 + -2)*(-12)/(-9). Solve -n - 16 = 5*j for j.
-4
Let u(i) = -2*i**2 - 19*i + 14. Let p be u(-10). Solve d - 6 + p = 0 for d.
2
Suppose 0 = -0*q + 4*q. Solve q = -t + 4*t for t.
0
Let g(m) be the second derivative of m**4/12 + m**3/3 + m**2 - m. Let v be g(-3). Suppose v*u - 64 = u. Solve -1 + u = -3*p for p.
-5
Suppose -28 - 622 = -13*j. Solve -j = 3*d + 7*d for d.
-5
Suppose 1 - 4 = -a. Let l(g) = g**2 + 26*g - 54. Let c be l(-28). Let j = 12 - 7. Solve -c*t + a*t = j for t.
5
Let o = -2 - -3. Suppose 62 - 50 = 3*i. Solve o - i = -c for c.
3
Suppose -6 = -2*v - 4*j, 3*v - 34 = 11*j - 12*j. Solve -10*a - 9 = -v*a for a.
3
Let y(l) = -l**2 - 6*l - 2. Let b(f) = -f + 3. Suppose 3*a = -4*d - d + 29, 0 = -2*a - 5*d + 21. Let m be b(a). Let n be y(m). Solve -n = -h - 0*h for h.
3
Let x(h) = 12*h + 8*h + 51 - 25*h. Let d be x(9). Solve d = -n - 2*n for n.
-2
Let c = -74 + 70. Let n(z) = z**3 + 2*z**2 - 7*z + 7. Let v be n(c). Solve -v*a + 8 = -7 for a.
5
Suppose 10*l - 20 = 5*l. Let i = -1948 + 1955. Solve i = l*t - 13 for t.
5
Suppose x - 54 = -5*k, -2*x + 0*x = -5*k + 57. Let w be 1/(3/(-2))*-3. Suppose -w*u = 3 - k. Solve -1 = 3*z - u for z.
1
Suppose m - p = 2, -2*p = -m - 39 + 43. Solve 9 = -3*a - m*a for a.
-3
Suppose 2*d + 10*k = 13*k + 25, -10 = 2*d + 4*k. Solve -d = 2*a + 5 for a.
-5
Let p = -231 - -231. Solve 0 = -2*o - p*o - 4 for o.
-2
Let p be (-97)/6 + (-7)/(-42). Let m be (p/20)/(2/(-15)). Solve u - m*u = 20 for u.
-4
Suppose 0 = -2*j + a + 9, -3*a + 6*a + 7 = 2*j. Suppose -h - j = 0, -2*c = h - 23 + 2. Let r = 946 - 943. Solve r*f + 2 = -c for f.
-5
Suppose p - 6 = -2*i, -3*p = -5*p - 3*i + 10. Suppose -4*c + 2 = -2*c - p*k, -5*c + 3*k + 15 = 0. Let b be ((-51)/(-6) + 2)*12/21. Solve -b - c = 4*z for z.
-3
Suppose 3*i = -5*d + 24, -i + 6*i = 5*d - 40. Let b = 9 - d. Solve 25 = 2*t + b*t for t.
5
Let f(z) = -z**3 + 10*z**2 - 15*z + 19. Let n be f(9). Let h = 37 + n. Solve 6*o - h*o - 12 = 0 for o.
3
Suppose 5*m + 2*a - 28 = 0, -2*a - 3*a = m - 24. Suppose -5*c + 0*p + 30 = m*p, -25 = -5*p. Solve -2*l + l = c for l.
-2
Suppose 2*t - 7*t = o - 2, 0 = 3*o + 2*t + 33. Let q = -9 - o. Solve -2*m = 6 + q for m.
-5
Let z be (17 - (-3 - -8)) + -1 + 5. Solve 0 = -19*y + 15*y - z for y.
-4
Suppose -2*n + u + 5 = 0, 0*u + u = -4*n + 7. Let w = -28 - -66. Let t = -30 + w. Solve t = -n*v - 0*v for v.
-4
Let x be 0/(10/(-3 - 2)). Solve 5*a + 18 - 13 = x for a.
-1
Suppose 62 + 8 = 5*f. Suppose 17*x = f*x. Solve 0 = -x*i - i + 4 for i.
4
Let j be (-39)/26*(9 - -1 - 0). Suppose 3*s = 3*u + 2*u, 3*s + u = 0. Let z = s - j. Solve -6*n + z = -n for n.
3
Let a(s) = 3*s**2 + 1 + 48*s**3 + 2*s + 7 - 20*s**3 - 27*s**3. Let z be a(-3). Solve -z*f = 3*f + 5 for f.
-1
Let m(w) = w**2 - 12*w - 13. Let c(i) = i + 1. Let n(t) = 5*c(t) + m(t). Let u be n(8). Solve u*s = s for s.
0
Suppose 60 = 5*b - 4*w, 2*b + 4*w = -0*b + 52. Solve -2*n + 26 = b for n.
5
Let x be (0 - 0)/(5 + -7). Suppose v + 4*c = -c + 19, x = 4*c - 12. Solve -v*o = o for o.
0
Suppose -478*s = -453*s. Solve s = 22*z - 30*z + 32 for z.
4
Let r be -5*1*((-51)/15 - -1). Solve -2*j + 6 = r for j.
-3
Suppose 6*t = 6*t + 7*t. Solve 4*p = -t*p + 20 for p.
5
Suppose -o = 2*j + 1, -j + 8 - 33 = -3*o. Solve o*t - t = 12 for t.
2
Let a(p) = -2*p**3 - 10*p**2 + 18*p + 95. Let s be a(-5). Suppose -3*y + 5*y - 14 = 0. Let r(c) = 3*c**2 + c - 1. Let u be r(1). Solve -y = -s*d + u for d.
2
Let b = 943 - 937. Solve 3 - 9 = b*y for y.
-1
Suppose -5*g - 5*x + 5 = 0, 2*x + 4 = 3*g - 8*g. Let c(o) = -3*o - 6. Let f be c(g). Solve -2*n = -f - 8 for n.
4
Suppose 5*j + 5*s = s + 22, 5*j = -5*s + 25. Solve 0 + 6 = -j*l for l.
-3
Let k(y) be the second derivative of -2*y**3/3 + 8*y**2 + 4*y. Let s be k(-11). Suppose -2*q = q - s. Solve -2*z + q = -7*z for z.
-4
Suppose 25*x - 16*x = 0. Solve x = 4*i + 18 - 6 for i.
-3
Let k = -100 + 100. Let p be (k/(-6))/(-1 - 1). Solve -3*g = 3 - p for g.
-1
Suppose i + 13 = 2*n, -5*n - 7 + 47 = -5*i. Suppose 8 = -n*u + 43. Solve -g + u - 3 = 0 f