- 4. Let q = c - -3. Suppose -3*z = -6*z + q*m + 6, -1 = -4*z + 5*m. Solve -z*k - 10 = 2 for k.
-3
Let f(a) = a**3 + 5*a**2 + 4*a + 5. Let c be f(-4). Solve 0 = -5*t + c + 5 for t.
2
Let h(g) = -g**3 + 3*g**2 + 3*g + 1. Let c be h(-2). Suppose i = 0, -3*i - c = -3*t + 2*t. Solve t = 4*w + w for w.
3
Let z(t) = -t + 13. Let p be z(11). Solve 0 = p*v + 2 + 4 for v.
-3
Let y(u) = 2*u + 4. Let c be y(-3). Let q = 1 - c. Let l be q - (-1 - 3/3). Solve 0*r + 20 = l*r for r.
4
Suppose t + 12 = 4*t. Solve t*h = -0*h - 8 for h.
-2
Let j = -12 + 12. Solve j = -5*n - 24 - 1 for n.
-5
Suppose 2*g = -q + 5, 4*g = q + 21 - 8. Solve -g*x = 2*x + 5 for x.
-1
Let d(q) = -q**2 + 10*q - 6. Let i be d(9). Let o = 6 - i. Solve 0 = n + o*n - 16 for n.
4
Let p(a) = a**3 - 2*a**2 + 3*a - 2. Let n be p(2). Suppose 0 = 2*t - x - x - 22, 4*t = -n*x + 4. Solve 0*z = -3*z + t for z.
2
Suppose 4*i = s + 64, -5*i = 3*s + s - 80. Suppose -3*d = d + 4*w + 4, 0 = 5*w + 15. Solve 2*c + i = -d*c for c.
-4
Let q be (-7 - 0) + 2 + 1. Let z = -2 - q. Suppose 17 = 5*y - l, 2*y + z*l - 23 = -3*l. Solve -y*f = -1 - 7 for f.
2
Let z(t) = -2*t**3 + t**3 - 4 + 4*t**2 + 0*t**3. Let i be z(3). Suppose -4*b = -5*f + 15, 5*b + f - 2 = 1. Solve j + b*j = -i for j.
-5
Let w = -16 + 16. Solve w = -i + 5*i for i.
0
Let r(h) = 1. Let t(k) = k - 2. Let w(l) = -4*r(l) + t(l). Let c be w(8). Solve -2 = o + c for o.
-4
Let o(a) = a**2 + 6*a - 12. Let b(r) = -3*r**2 - 17*r + 36. Let j(z) = -2*b(z) - 7*o(z). Let s be j(-9). Suppose 0*k + s*k - 30 = 0. Solve -g - k = g for g.
-5
Let x(c) = -3*c**2 - 6*c + 2. Let g(s) = -2*s**2 - 6*s + 2. Let o(v) = -4*g(v) + 3*x(v). Let y be o(4). Let t be (-1)/(3/y) - -5. Solve t*b + b + 8 = 0 for b.
-2
Suppose -y + 3*y = 0. Solve y = 5*h + 6 - 16 for h.
2
Let z(x) = 2*x**3 - 1 + 3 + 0 - x - 3*x**3. Let b be z(0). Solve -b*w - 3*w = -15 for w.
3
Let y = 109 + -105. Solve -6 + y = w for w.
-2
Let n = -13 + 24. Suppose 4*b - 7 = x, 4*b + 4*x = n + 1. Solve -10 = b*f - 0 for f.
-5
Let a(t) = -t**3 + 14*t**2 - 5*t - 9. Let x(c) = -3*c**3 + 41*c**2 - 14*c - 26. Let u(j) = -17*a(j) + 6*x(j). Let g be u(8). Solve 0 = m + g - 4 for m.
-1
Let b = -209 + 209. Suppose c - 1 = -3*r, -c + 2 - 1 = 5*r. Solve v + b - c = 0 for v.
1
Suppose 3*v = 7*v - 3*d - 40, -4*d - 44 = -4*v. Solve -13 = 4*c + v for c.
-5
Let v(r) = 2*r + 15. Let k be v(-7). Solve -2*f + f - k = 0 for f.
-1
Let y(m) = m**3 + 1. Let r be y(-1). Suppose r = -4*w + 2*w. Let l(t) = -t**3 - t**2 + 3. Let j be l(w). Solve 0 = -b - j*b + 16 for b.
4
Suppose 2*f - 2*g = f, -f + 3*g = -1. Let y be ((f - 2) + -1)/1. Let t(w) = -w + 1. Let d be t(y). Solve -m = -1 + d for m.
-5
Let i be ((-9)/(-45))/((-2)/(-20)). Solve i*p = p + 1 for p.
1
Suppose 10 = -4*i - 2*x, 4*i + 5*x - 4 + 17 = 0. Let b be (-14)/((-4 - i) + 0). Let y be 2/b - (-36)/21. Solve 5*d + y = -3 for d.
-1
Let v be 1/1*-2 + 5. Suppose 2*g - 2*r - v*r = -157, -4*g + 2*r = 338. Let o = -61 - g. Solve -7*s = -2*s + o for s.
-5
Let u = -13 + 14. Let s(l) = l**2 + 1. Let k be s(u). Solve -5*i = -k*i - 15 for i.
5
Suppose -l - 1 = -9. Suppose -x + c = -0*c + 4, -4*x - 22 = -c. Let k = l + x. Solve -h = k*h for h.
0
Let l(g) = 6*g + 68. Let o be l(-11). Solve -o*u = 3*u + 10 for u.
-2
Suppose 5*r - 27 - 8 = 0. Let b(j) = j - 4. Let h be b(r). Suppose -8 - 3 = -3*d - 2*f, -f = -2*d + 5. Solve 0 = -d*k - h for k.
-1
Let t(l) = -l**3 - l**2 + l + 2. Let n be t(-1). Solve n + 0 = -p for p.
-1
Suppose -4*h - 5 = -3*h. Let n be 3 + 2 + h - 5. Let y be (-84)/(-15) + (-2)/n. Solve -y = m + m for m.
-3
Let y be 3/(30/2)*5. Suppose y = f - 1. Solve 0 = f*k - 0 + 4 for k.
-2
Let n(r) = -r**3 + 3*r**2 - 4. Let l be n(2). Solve l = -t - 0*t - 3 for t.
-3
Suppose 2*h - 4 = 2. Suppose 2*b + 45 = 5*f, 0*f + 2*f = 4*b + 18. Let l be h*(-4)/f*-3. Solve -l*g = -0*g + 4 for g.
-1
Let u be -3*((-16)/(-3))/2. Let c = 3 + u. Let d be (0 - -6) + (-5)/c. Solve -2*v = -d*v for v.
0
Let r be (-2 - (-2 + 1 + 1))*-2. Solve 4*y - 4 - r = 0 for y.
2
Suppose -2*h + 7 = -3. Suppose -c - 4*b - 1 = 0, h*b = -3*c + 2 + 2. Solve -c = -5*w + 2 for w.
1
Let m = 18 + -15. Solve 0 = f - 2*f + m for f.
3
Let w = -34 + 49. Let b = w - 12. Solve -5*m = -23 + b for m.
4
Suppose -3 = p - 3*q - 20, 13 = p + q. Let m = 30 - p. Let z = 10 - 7. Solve -a - z*a + m = 0 for a.
4
Let v(a) = a**3 + 3*a**2 - 3*a. Let t be v(-3). Let z = t + -1. Solve 0 = 2*i - 4*i + z for i.
4
Let r = -107 - -109. Solve -5 + 3 = r*a for a.
-1
Suppose -p + 3 = -2*p. Let u = 1 - p. Suppose u*i + 0*i - 12 = 0. Solve -9 = -i*a - 0 for a.
3
Suppose -5*z + 4*s - 185 = 35, -3*s - 185 = 5*z. Let q = 66 + z. Suppose 0 = -3*a - 2 + q. Solve -4*k + 0 = a for k.
-2
Suppose -2 = 66*g - 67*g. Solve g*q + 8 = -0*q for q.
-4
Let k(u) = u - 7 + u - 3*u. Let y be k(-7). Suppose -2*n + 4 + 6 = y. Solve n*l + 15 = 35 for l.
4
Let b be (2 - 5)*(-1 - 1). Suppose -b = -7*t + 4*t. Solve 2 = k - t for k.
4
Let l be -2 + (-4 + 3)*-1*3. Solve -l = p + 4 for p.
-5
Suppose -x = g - 4, 2*g = -3*x + 5*g. Solve 2*z = z + x for z.
2
Let n(y) = -y**3 - y**2 + 2*y + 2. Let q be n(-2). Let f(k) = -3*k**3 - k - 1. Let z be f(-1). Suppose 7 = h + z. Solve -o + q*o = h for o.
4
Let q(j) = j**3 + 3*j**2 - 1. Let c be q(-2). Solve c*s + 14 = -1 for s.
-5
Let i be (-2)/11 + (-422)/(-22). Let h = -30 + i. Let u = h + 15. Solve u*a - 15 = a for a.
5
Let z(a) = -a**2 - 2*a - 6. Let r be z(6). Let l be r/(-10) + 18/(-45). Solve 0 + l = -5*u for u.
-1
Suppose 2*j = 3*z - 32, -6*z + z + 5*j + 55 = 0. Solve 3*n = -2*n + z for n.
2
Let n(g) = g**2 - 10*g + 5. Let m be n(10). Let v = 26 + -14. Suppose 0 = m*c + v - 37. Solve c*x - 36 = -11 for x.
5
Let o be (1 - (11 - 3))*-1. Suppose k - d + 3 = o, -5*k - 3*d = -44. Solve 20 = 2*q - k*q for q.
-4
Let t = 138 - 136. Solve -g - t = 1 for g.
-3
Suppose x + 4*m = -13, -2*m - 6 = -2. Let d be (0/(-2))/(10/x). Solve 2*f - 6 = -d for f.
3
Let m(v) = v**2 + 5*v + 4. Let r be m(-5). Let z be (-3)/2*r/(-3). Let f = 3 + -2. Solve -z*d + d + f = 0 for d.
1
Suppose 4*v = -v + 20. Solve -v = -0*j + 2*j for j.
-2
Suppose -4 = -2*t, -2*b - 3*t + 12 = t. Let s = b + 0. Solve h - 5 = s*h for h.
-5
Suppose -3*r + 0*r + 9 = 0. Solve r*p = -6 - 0 for p.
-2
Suppose 4*l - 15 = -l. Let d(k) = -91*k - 1. Let r be d(-1). Suppose -m = -q - 14, -5*m - 2*q + r = -3*q. Solve -4 = l*a - m for a.
5
Let t(y) = 10*y**2 - 10*y + 2. Let b(s) = -7*s**2 + 7*s - 1. Let c(u) = 7*b(u) + 5*t(u). Let q be c(4). Solve -4*f + q - 3 = 0 for f.
3
Suppose 5*z - 4*z - 6 = y, 2*z = 3*y + 14. Solve z*x - 9 = x for x.
3
Let b(m) = -m**2 + 8*m + 4. Let q be b(6). Solve t = -3*t + q for t.
4
Let s be (-50)/(-13) + (-2)/(-13). Solve s*r = -0*r - 8 for r.
-2
Suppose 10 = 2*n + 3*n, -4*l = -5*n - 6. Let k = -40 + 59. Solve l*x - 3 = -k for x.
-4
Suppose 0*x - 56 = -4*x. Solve x + 2 = 4*d for d.
4
Let x(w) = w**3 - 10*w**2 + 2*w - 15. Let q be x(10). Solve q*b - 2 = 3 for b.
1
Let x(c) = -c**3 - 5*c**2 + 4*c - 7. Let q be x(-6). Let o be (-98)/(-8) + (-4)/16. Suppose 0 = 2*h + 2*h - o. Solve q = 2*m - h*m for m.
-5
Let d(n) = n + 19. Let p be d(-15). Solve -p*l + 15 = -1 for l.
4
Let u be (5/(-10))/((-1)/6). Solve -3*p = -0 + u for p.
-1
Let o be (-2)/(-8) - (-5)/100*-5. Solve 3*f + 9 = -o for f.
-3
Let p be ((-5)/(-15))/((-2)/12). Let s(h) = -2*h. Let u be s(p). Solve -z + u = -1 for z.
5
Let d(p) = 2*p**2 - 4*p - 5. Let s be d(4). Let l = s + -6. Let g be (-2 - (-1)/3)/(50/(-60)). Solve -8 - g = -l*v for v.
2
Let k be -3 - 4/8*18. Let b be 24 - k/(-4*1). Solve b - 1 = -5*f for f.
-4
Let i = 0 - -3. Solve 1 = -i*s - 2 for s.
-1
Let h(k) = -5*k - 4. Let y = 5 + -3. Suppose y*r - 3 - 4 = 5*q, 0 = -5*q - 2*r - 23. Let p be h(q). Solve -3*u - 2 = -p for u.
3
Let r(v) = -v**2 - 5*v + 4. Let g be r(-4). Suppose -2*n - 5*x + 24 = g, 5*x - 24 = -3*n. Solve -6*s + 10 = -n*s for s.
-5
Suppose 0 = 2*o - 6 + 6. Suppose -3*z - 53 = -3*x + 2*z, 5*x + z - 51 = 0. Suppose x = 5*i + m, i - 4*m + m - 15 = 0. Solve -i*v = -o*v for v.
0
Suppose -4*a - 52 = -4*i, -5*a + 5 = i - 2. Solve -3*j + i = j for j.
3
Suppose -5*s + 19 = -6. Let y(w) = -2*w - 9. Let o be y(-6). Solve 0 = o*q - 4 - s for q.
3
Let a = 34 + -31. Solve -a*h = -h + 8 for h.
-4
Let a = -6 - -6. Solve -4*i - 4 = -a for i.
-1
Let a(l) = l**2 - 