 4. Let f be c(-4). Suppose -8 = -5*h + 12. Let w(i) = 2*i - 3. Let r be w(h). Solve 3*m - f*m = r for m.
-5
Suppose 4*n + 3*o = -o + 4, -3*n + o = -19. Solve 1 = -3*t - n for t.
-2
Suppose -4*p - 3*w - 7 = -3*p, -2*p - w + 6 = 0. Solve 0 = x + 3 - p for x.
2
Let a be 1/2 - (-1)/(-2). Suppose -2*r + 4 = -4. Let i be a/((-1)/1) + r. Solve 3*p + i = -5 for p.
-3
Let x be (-2)/(-6) - (-575)/(-15). Let b = -10 - x. Solve -5*r + 3 = b for r.
-5
Let a = -15 - -11. Let l = a + 2. Let n = l - -4. Solve 3*o - n = 13 for o.
5
Let g(y) = -y - 4. Let o be g(-9). Suppose 3*f + i - 7 - 2 = 0, -2*f + 6 = -o*i. Solve 0 = h + f*h + 20 for h.
-5
Suppose -3*j = -j - 84. Let a = -22 + j. Solve 3*t - a = -2*t for t.
4
Suppose -3*z - z - 22 = -5*w, -w - 4 = -5*z. Solve -j - w = -2 for j.
-4
Let h = -3 - -4. Suppose 3*i + 5*r = -13, 3*r + 0*r = -5*i - 11. Let y be (0/i)/(4 + -2). Solve -s - h = -y for s.
-1
Let y = -6 - -7. Solve -y = -2*r - 3 for r.
-1
Let y be (-250)/(-90) + (-2)/(-9). Solve 0 = y*v - 7*v + 12 for v.
3
Let b(j) = 5*j**2 - 5*j + 2*j**2 + 7*j - 11*j - 6 + j**3. Let i be b(-8). Solve k = -k - i for k.
-1
Let l(s) = s**2 + 11*s + 14. Let w = 2 + -12. Let t be l(w). Suppose t*x - 7 = -3. Solve -u = -x - 2 for u.
3
Suppose 0 = -12*i + 4*i + 40. Solve -4 - i = 3*m for m.
-3
Let u(k) = 2*k**2 - k - 3. Let d be u(2). Solve d*c + 20 = -2*c for c.
-4
Let k(o) = o**3 - 5*o**2 + 5*o - 1. Let y be k(4). Let h be (2 + (-7)/y)*-3. Let u = -23 - -26. Solve -h = t - u for t.
2
Let x be 3 + -2*(-3)/(-2). Solve x = -4*l + 17 + 3 for l.
5
Let m = 9 + -3. Suppose 0*i - i + m = 0. Suppose 0 = -0*x - 2*x. Solve -3*b + b - i = x for b.
-3
Let q be (-9)/126*-21 + (-58)/(-4). Suppose c - 30 = 2*s + 3*s, 2*c - 2*s - 20 = 0. Solve -6 + q = -c*l for l.
-2
Let f = 26 - 23. Suppose 4*r - 7*r - 21 = 0. Let x = r + 23. Solve -f*j - x = -1 for j.
-5
Let k = 7 - 5. Let d(x) = 0*x + 4*x + k*x - 5*x. Let l be d(0). Solve -3*y - 2 - 7 = l for y.
-3
Let d be 22/8 + (-4)/(-16). Let n(j) = 3*j**3 - j**2 + 3*j - 1. Let l be n(1). Solve d*v - 2 = l*v for v.
-2
Let n(z) = z + 8 + 0 - 3. Let l be n(-5). Solve l = -8*b + 4*b - 8 for b.
-2
Suppose -3*g = 5*q - 7, 2*q - 10 = -3*g - 0*g. Let s be (-2)/(-7) - g/14. Solve 3*u = 3 - s for u.
1
Let a be 20*(6/5 - 0). Solve 4*j - a = -4 for j.
5
Suppose -3*d + 2*d = -2. Solve d*h + 4 = -0*h for h.
-2
Suppose -16*j - 5*i + 7 = -12*j, 0 = j - 4*i - 28. Solve -h + 3*h = -j for h.
-4
Let k be ((-1)/(-3))/((-3)/(-27)). Suppose 12*d - 26 = -2. Solve -d*a - k = 7 for a.
-5
Suppose v - 3*v - 5*w + 10 = 0, 10 = 5*w. Solve -j + v*j = 5 for j.
-5
Suppose -3*b + 3 = 4*x - 8, 2*b = 4*x - 6. Suppose -4 = -x*k - 2*k. Let n be -2 + (6 - (k - 1)). Solve 0 = -z + n*z + 3 for z.
-1
Let i(f) = f**3 + 3*f**2 - 6*f - 4. Let q be i(-4). Suppose 0 = j - 4*d + 3, 48*d = 5*j + 49*d - 27. Solve -5*w + j = -q*w for w.
5
Let t = -5 + 8. Suppose 0 = t*y - 4*o + 6*o - 18, -5*y + 26 = 2*o. Solve -q + y = -1 for q.
5
Let j = -4 - -8. Suppose 20 = -4*b, j*r + 14 = -4*b - 6. Let g be r/(-2 + 3 + -2). Solve n + n = g for n.
0
Let u = 60 + -12. Let v be 2/(-12) - (-104)/u. Solve -v = 4*g + 2 for g.
-1
Let t(k) = -k + 6. Let o be t(6). Suppose -l - l = o. Solve l = -n + 2*n + 3 for n.
-3
Let h be (-1)/4 - (-34)/8. Let n be (-7 - -2 - -2) + 213. Let p be (2/7)/(15/n). Solve 0 = -p*v + 24 - h for v.
5
Let z(k) = -k**2 - 3*k + 6. Let l be z(-4). Solve -4*t = -l*t for t.
0
Let c = 20 - 15. Solve -2*g = -c + 1 for g.
2
Let j be 12*(70/4)/7. Suppose 6*m - 8*m + j = 0. Solve m + 1 = -4*p for p.
-4
Suppose -4*t + 3 + 5 = 0. Let i(q) = q**3 + 3*q**2 - 3*q - 3. Let l be i(-3). Let p = l - t. Solve -7 = p*r + 1 for r.
-2
Let o(u) = u**2 + 2*u - 1. Let i be o(-3). Let j = 5 - 0. Suppose j*a = 18 - 3. Solve a*z + 5 = i for z.
-1
Let a(o) = o - 5. Let t be a(6). Suppose 0 = -3*g + 4 - 1. Let y = t + g. Solve i = -i + y for i.
1
Suppose -2*s - w + 11 = 2*s, 0 = s + w - 2. Suppose 1 = -3*n + s*u + 16, 18 = 3*n - 4*u. Solve 0 = o - 4 + n for o.
2
Suppose -16 - 11 = -9*a. Solve 6 + 3 = -a*i for i.
-3
Suppose 3*u + 14 = -3*v + 38, 0 = -5*u + 15. Solve 0 = -3*n - 4 - v for n.
-3
Let m(s) = s**3 - 5*s**2 - 6*s. Let k be m(6). Let x(b) = 4*b - 3. Let o(q) = 11*q - 9. Let r(c) = 3*o(c) - 8*x(c). Let a be r(6). Solve 3*y + a + k = 0 for y.
-1
Suppose 0 = -4*g - b + 16, -2*g = -4*g - 4*b - 6. Solve g = -4*y - 7 for y.
-3
Suppose 2*z = -3*p + 15, 8*p - 3*p - 6 = 3*z. Let j be (3/6)/((-4)/(-24)). Solve -p*w - j - 9 = 0 for w.
-4
Let f(g) = -g - 7. Let s be f(0). Let x = s - -10. Let m(n) = n**3 + 6*n**2 - 9*n - 11. Let b be m(-7). Solve -x - b = -3*c for c.
2
Let z(m) = m**3 - 19*m**2 - 2*m + 39. Let j be z(19). Let u = 4 - 3. Solve j = -x - u for x.
-2
Let p = 17 + -14. Solve -2 + 5 = p*i for i.
1
Let k be (-34)/119 - (-2)/7. Solve k = 4*d - 10 - 6 for d.
4
Let t be (-3)/(-4) + 4/16. Suppose 1 = k - t. Solve -4*l - 6 = -k*l for l.
-3
Suppose -2*g + 3*g = 0. Solve 2*p = -g*p for p.
0
Suppose 4*c - 63 = -51. Solve 3*n = 2*n - c for n.
-3
Let m(p) = -p**2 + p + 5. Suppose 2*u - 1 = 1. Let h = u + -1. Let w be m(h). Solve w = -3*g - 4 for g.
-3
Suppose w - 16 = -3*w - 4*a, -12 = -3*w - a. Solve 2*l = -0*l - w for l.
-2
Let x(w) = 3*w**2 + 5*w - 2. Let p(o) = 16*o**2 + 24*o - 10. Let f(n) = 2*p(n) - 11*x(n). Let c be f(-7). Solve -q - c = -4 for q.
2
Let x = 22 - 20. Solve 5*a + 13 = -x for a.
-3
Let d(p) = -10*p. Let f be d(-2). Suppose 5*a = -2*q + f, -7*q + 4*q + a + 13 = 0. Let k(v) = v + 3. Let r be k(-3). Solve q*j = -r*j for j.
0
Let b(g) = -2*g - 1. Let m(f) = -f - 5. Let y be m(-3). Let a be b(y). Solve -6*c + 3*c = -a for c.
1
Suppose -11 - 14 = 5*w. Let a = 5 + w. Let l(q) = q**3 + q. Let d be l(a). Solve d = -5*s - 17 - 8 for s.
-5
Suppose 4 - 13 = i. Let d be 12/i*-1*12. Solve 0*q - 4*q - d = 0 for q.
-4
Let z(h) = -3*h - 13. Let r be z(-5). Solve 0 = -5*j + r + 8 for j.
2
Suppose 2*r + 0*r - 5*j + 39 = 0, r - 4*j = -15. Let n be (-36)/r - 1/3. Solve n = s - 2*s for s.
-1
Let l(v) = v**2 - 5*v - 4. Let z be (-60)/(-9) + (-4)/6. Let y be l(z). Solve -y = 3*s - 11 for s.
3
Let x = 63 + -33. Suppose 0 = -4*u - 10 + x. Suppose -2*y + 1 = 4*s - 19, 0 = y + 4*s - 4. Solve k = u*k + y for k.
-4
Let q(c) = -3*c - 19. Let y be q(-7). Suppose -x - 4 + 6 = 0. Let z be (-1)/x + 22/4. Solve -y*g + z + 5 = 0 for g.
5
Suppose 4*j = 4*n + 24, -3*j + 6 = 2*j + n. Solve -5*y - j = -12 for y.
2
Let z be ((-2)/1)/(10/(-15)). Let f be (-5 - -8)*4/z. Solve -f*a + 12 = -7*a for a.
-4
Suppose 0 = -3*t + 6*t. Let f = 30 - 15. Let k = f - t. Solve 5*s + 0 = -k for s.
-3
Let p = -3 + 3. Let i(g) = g**2 + g - 1. Let n be i(-2). Let j be 0/(n - (2 + p)). Solve -2*s + j*s + 6 = 0 for s.
3
Let f be 17/(-4) + 1/4. Let u = f - -6. Solve -u*m + 5*m + 12 = 0 for m.
-4
Suppose 25 = 3*j + 2*j. Solve -j*f = 9 + 6 for f.
-3
Let q be (-32)/24*15/(-4). Solve -5*t + 0 = -q for t.
1
Let k be ((-10)/(-8))/1*-28. Let u be 5/k + (-45)/(-21). Solve 11 = -u*z + 3 for z.
-4
Let y(z) = -5*z - 25. Let u be y(-6). Solve 0*d - 25 = u*d for d.
-5
Let z(x) = -x**3 - x**2 + 2*x - 4. Let g be z(-3). Suppose 0 = 4*k - 0*k + 3*o + 8, -k - 3*o = 11. Let v = g - k. Solve -3*a + v*a = 4 for a.
1
Suppose 0 = -4*l + 66 - 14. Let y be -4 + -4 + 0 + -1. Let t = y + l. Solve f = t*f + 15 for f.
-5
Suppose 0*z - 8*z = -72. Suppose 2 = 5*h - 8. Let o = 6 - h. Solve o = -d + z for d.
5
Suppose -3*t + 1 = -r - 2*t, -r + 5*t - 5 = 0. Let s(p) = -p**2 + 5*p + 2. Let a be s(5). Solve z - 3 - a = r for z.
5
Suppose 0 = -6*x + x + 10. Let v be (-82)/(-14) - (-2)/14. Solve -x*l + v = l for l.
2
Let s(n) = 2*n**3 + 2 - 7*n**2 + 3*n**2 + n**3 - 2*n**3 + 3*n. Let y be s(3). Let c(k) = k**2 - 4*k. Let f be c(5). Solve -12 = -f*m - y for m.
2
Let u(j) = j**2 - 2. Let i be u(-2). Let c(v) = v**3 - 3*v**2 + 3*v - 2. Let y be c(2). Solve y = 2*w + 6 - i for w.
-2
Let s be -2 + 2/(-1) + -2. Let q(d) = d**3 + 5*d**2 - 7*d - 7. Let l be q(s). Let i(g) = -6*g**3 + 2*g**2 + g. Let v be i(l). Solve v = -3*h - 5 for h.
-4
Let z be 1/2 + 5/(-10). Suppose z*c - 8 = -2*c. Solve -c = 4*y - 20 for y.
4
Suppose 0*r + 4*r - 5*x = 35, -r = -5*x - 20. Solve 5 = -r*u - 5 for u.
-2
Let b = 10 - 10. Suppose 0*t - 3*t = 5*i - 4, -3*t + 9 = b. Let a be -1 - i/(1/1). Solve 8 = 2*v - a for v.
4
Let o(q) = 2