4. Let b(q) = -2 - 3*q + 7 - 1 - q**2. Let s be b(o). Solve 0*x = -4*x + 3*t - 5, 4*x - 5*t + 11 = s for x.
1
Let s(w) = -11*w. Let b be s(1). Let v = -8 - b. Suppose v*l - 18 = -0*l. Solve 2*u + l = k, 2*k - 9 = -3*u - k for u.
-1
Let c(t) = t**2 + 5*t + 5. Let d(p) = -3*p**2 - 9*p - 9. Let n(i) = -7*c(i) - 4*d(i). Let z be n(2). Solve 0 = 4*j - 2*f + 5*f, j - 5*f = z for j.
3
Let i = 9 - 6. Solve 2*z + 0*z = i*q - 25, -2*q - 5*z = 15 for q.
5
Suppose m - 110 + 94 = 0. Solve 0 = -v + 3*n + 8, 2*n = -4*v - 2*n + m for v.
5
Let b = -13 + 5. Let a be b/(-40) + 19/5. Solve -u - 2*l = 3*u - 10, -u - 15 = a*l for u.
5
Let i(n) = n**2 + 5*n - 1. Let d be i(-7). Let s = d - 13. Solve s*c + 4*c = -3*r + 6, 0 = 5*r + 3*c - 10 for r.
2
Suppose -4*x + 9*i + 28 = 5*i, 12 = -4*i. Solve 0*y = -2*y - x*p - 20, -3*y + 4*p = -20 for y.
0
Suppose -3*f = 3*f - 18. Solve 0 = -f*q + g + 5 - 3, -5*g + 26 = 3*q for q.
2
Suppose 3*g = -15, 0*g - 4*g - 5 = 5*u. Solve -w - 1 = -q - 0, 5*w - 3 = u*q for w.
3
Let k = 12 + -8. Let f(z) = z**2 - 5*z + 7. Let t be f(k). Solve 3 = -w + 2*q, 0*q + 9 = -3*w + t*q for w.
-3
Let p = 8 - 3. Suppose 0 = 5*z - 3*l - 83, p*l + 20 = z + l. Let j = z + -9. Solve -2*t + 7*t - 4*n = -22, 2*t = n - j for t.
-2
Suppose 4*b - 11 = 7*r - 2*r, 5*r = -5*b - 20. Let c(v) = -4*v**3 + v**2 + 2*v + 1. Let u be c(b). Solve 8 = m - 2*f, -2*f = 3*m - u*f - 12 for m.
2
Let q = -16 + 20. Solve 0*f - 3*m = -2*f - 12, -q*f - 4*m = -16 for f.
0
Let s be 15/(-6)*(-2)/1. Let a = s + 9. Solve -3*y = -2*y - 5*c + a, 3*y + 2*c = 9 for y.
1
Let w(f) = -f**2 - 6*f + 1. Let r be w(-6). Let u = r + 2. Suppose -4*a + u*a = -4. Solve 2*x - a*j = 0, 2*j + 1 = 4*x - 11 for x.
4
Suppose 0 = -2*g + 6 - 0. Suppose l + 0 - g = 0. Solve -5*y = -l*k - 13, -2*k - y = -3*k - 1 for k.
4
Let n = -81 - -81. Solve -k + 0*k - 4*f + 12 = 0, -4*k - 5*f + 15 = n for k.
0
Suppose 7 = 2*m - 3*t, -t + 0 = 3. Let n(c) = 5*c**3 + c**2 - c - 1. Let x be n(m). Let d be x/3*(3 - 6). Solve -3*i = a - 4, -d*a + 18 - 2 = 0 for i.
0
Let b be (-1)/(-4) + (-5)/4. Let k = -37 + 22. Let a be (-1)/(b - 12/k). Solve a*g = 5*s + 30, -3*s - 8 - 6 = g for s.
-5
Let c = -14 - -18. Solve -2*d = -c*f + 2, 2 = -4*d + 6*d for f.
1
Let y be 4/6 - (5 - 175/21). Let j(d) = -2*d + 3*d**3 - 4*d**3 + 0*d - 2*d**2. Let a be j(-2). Solve -f = a*z - 15, -2*f + y*z + 0 = 6 for f.
3
Let g = 0 + 4. Let m be (-2)/((-6)/(-9)*-1). Solve -f + g*s = -14, -11 - 9 = 4*f + m*s for f.
-2
Suppose 3*s - 16 = s. Solve -4*y + s = -3*r, 0 = 2*r - 2*y + 2 for r.
4
Let r be (-5)/((5 - 2)/3). Let d be (-4)/(-10) - 23/r. Let f(h) = h**2 - 5*h + 2. Let b be f(d). Solve -5*c = 2*t - 12, 3*t - c + 14 = -b for t.
-4
Suppose 3*a - 7*a + 16 = 0. Solve -t = 3*k + 4*t + 29, t + 16 = -a*k for k.
-3
Let d(f) = f**3 - f**2 - f + 5. Let n be d(0). Solve -n*i + 4*a = -5, -2*a + 2 = -3*i + 7 for i.
5
Let u(g) = g**3 - 11*g**2 - g + 13. Let l be u(11). Solve -l*t - s = -3*s, 0 = -4*t - s - 20 for t.
-4
Suppose 0 = -2*o + 12 - 4. Solve g - 13 = 4*c, 3*g = -o*c + 9 - 2 for c.
-2
Let d = -6 + 14. Suppose t + 5 = 0, 2*h + 4 + 1 = -t. Suppose -3*l + d*l - 10 = h. Solve 0*c + 4*z + 2 = l*c, 3*c - 3*z = 0 for c.
-1
Let y = 25 + -23. Suppose -y*t + 79 - 1 = 0. Solve 2*w = 2*i - 18, -5*w - t + 10 = -i for w.
-5
Let k(x) = -x**2 - 6*x + 4. Let a be k(-6). Suppose 12 + a = 2*m. Solve -3*p = 4*j - m, -5*p - 2 = 2*j + 8 for j.
5
Let i(r) = -2*r + 1. Let a be i(-1). Suppose -a*y = 2*y. Suppose -5*j + 38 - 8 = y. Solve -5*t = -3*n - 3, -n - 11 = -j*t + t for t.
3
Let h be (-6)/10*(-1 - 4). Suppose h*g = -35 + 8. Let m = g + 12. Solve 5*n - 40 = 5*j - 0*j, -m*j = -n + 16 for j.
-4
Let g be 3 + -6*1 + -5 + 12. Solve -5*r - 2*p = 8, 5 = -3*r - g*p + 3*p for r.
-2
Let w = -20 - -20. Suppose w = k + 4*r - 2, 3*r = 8*r. Solve 3*d + 5*h - 3 + 8 = 0, 5*d + k*h = 17 for d.
5
Let n be (1 - 1/(-1) - -1) + 18. Solve 5*i = -4*d + n, 4*i = 2*d + 3*i + 7 for d.
-1
Let o = 16 + -11. Suppose 0 = o*a - 2*a. Solve 0 = -4*h - 5*f + 2, -f = -a*h - 2*h - 6 for h.
-2
Let x(m) = 2*m**2 - 11*m + 14. Let r be x(7). Solve 0 = -l - 4*l + 3*y + r, 4*l + y = 11 for l.
4
Let t be 3/((27/(-60))/3). Let s = t - -12. Let b be 1*3/(-6)*s. Solve q - 4*m = 3, 0 = b*q + 3*m - 2 + 9 for q.
-1
Let z = -12 + 13. Solve -o + c + 3 = -3*c, 3*c - z = 4*o for o.
-1
Suppose 3*q + 2*d - 1 = 0, -2*q - q - 7 = 4*d. Suppose -5*u = -q*i + 10 + 5, 5*i + u = -3. Solve 5*c = 2*j - i + 2, -3*j - 3 = 5*c for c.
0
Let k be 9/((-4)/2 + 3). Suppose -k = -4*f + 31. Suppose 0 = -3*v - 1 + f. Solve -4 = -h - 3*w + 1, -v*h + w + 5 = 0 for h.
2
Let p(h) = h + 12. Let c be p(-14). Let a be (2 + 0)*(-3)/c. Solve -3*s - 3*m + 12 = 0, -3*m = -a*s - 2*m + 12 for s.
4
Suppose 2*n = -n. Let f be (-10)/(-15)*(3 + n). Suppose j = -f*j. Solve 5*x + 5*g + 10 = j, -g + 2 = x - 2*x for x.
-2
Let w(o) = o**2 + 2*o + 3. Let z be w(-5). Solve -4*i - g = -13 - 4, 5*i - 2*g = z for i.
4
Let v be 102/30 + 6/(-15). Solve v*o - 9 - 8 = -2*q, -2*o = q - 10 for o.
3
Let t = -1 + 6. Solve 5*m + 22 - 2 = -4*y, y + 2*m + t = 0 for y.
-5
Let n = -206 + 209. Solve -2*y + 6 = n*p, -2*y + 7*y + 4*p = 15 for y.
3
Suppose 2*t - 18 = 40. Let z = t + 1. Suppose 3*k - 5*g - 26 = 0, -4*k + 4*g + 30 = -2. Solve -5*q = -2*p - z, 2*q - k - 11 = 2*p for p.
-5
Let v be (11 - 1)/(4 - 5). Let h be 12/(-10)*25/v. Solve -2*m = h*m - 3*d - 26, 0 = -d - 2 for m.
4
Let k = -111 - -39. Let z = 124 + k. Let f = -31 + z. Solve -12 = -4*t - 4*q, q + f = -t + 6*q for t.
-1
Suppose g + 2*a + 5 = 4*a, -2*g + 2*a - 2 = 0. Solve 1 = -g*f - 4*p, -18 = 4*f - 2*p - p for f.
-3
Let d = -29 - -49. Suppose -5*f + 2*l - 3*l + 150 = 0, 0 = -4*l - d. Solve 17 = -4*g - 4*j + 49, f = 2*g + 5*j for g.
3
Suppose m + 5*t + 14 = -2*m, 5*m = 2*t + 18. Let p be (18/(-8))/((-9)/24). Let u = 14 + -11. Solve 0 = 2*s - 2*j + u*j - p, -m*j + 6 = s for s.
2
Suppose 4*q + 26 = 4*p + 74, -3*q + 2*p + 35 = 0. Let t = q - 7. Solve r = -t*k - 3, k + 3*r - 2 + 0 = 0 for k.
-1
Suppose -r - r - a + 1 = 0, 4*r = -4*a - 4. Suppose -3 = r*c + c. Let p = 3 + c. Solve -p*w - k - 8 = 0, 0 = -w - 0*w + 5*k - 4 for w.
-4
Let h(t) = t - 1. Let w(q) = -q**3 - q**2 + 4*q - 4. Let g(y) = 6*h(y) - 2*w(y). Let m be g(2). Solve -n - m = -2*v + 4*n, -v - 7 = 2*n for v.
1
Let h be ((-1)/3)/((-2)/18). Let u be 4/((h + 5)/4). Solve -4*l = -u*g - 0*l + 4, -4*l - 4 = -3*g for g.
0
Let j = 7 - 1. Suppose -z = 4, z = -5*o + j*z + 40. Solve -5*c + 40 = -o*l, 5*c = -7*l + 2*l - 5 for c.
4
Let c be 1 + 1 - (-2 - -1). Suppose -t = -0*t + 2, c*n - 17 = t. Solve -4*b - 2 = -5*z + 2, n*z = -4*b - 4 for z.
0
Let f(y) = -3*y**3 + y**2 + 2*y + 1. Let s be f(-1). Solve 2*o = 5*d - 2, -7*d - 4 = -3*o - s*d for o.
4
Let a(r) = -r - 2. Let n be a(-7). Suppose -20 = -0*l + n*l. Let t = l + 8. Solve 2*j - 28 = 6*z - z, -t*j = -2*z - 24 for z.
-4
Suppose -5*x = -2*c + 6*c - 3, -1 = -c - x. Suppose -4*v + 2 + 16 = 2*m, 4*m = -c*v + 12. Solve 2*d - v*d = -4*w + 26, -4*w + 20 = 0 for d.
-3
Suppose -4*s - 5*c = 12, s - 8 = c - 2. Solve 5*f - 3*f - 8 = w, 3*f - s*w - 11 = 0 for f.
5
Suppose 2*c + 0*c + 6 = 0. Let t(f) = f**3 + 4*f**2 + f - 4. Let a be t(c). Solve a*k + 12 = -4*p, 0 = -p - k - k - 9 for p.
-1
Let w be (-33)/77 - (-66)/7. Solve p = -2*p - w, -5*f - 3*p = 9 for f.
0
Suppose 0 = -5*x + 3*x + 2. Solve 2*v + x - 3 = -4*i, -i - 22 = -4*v for i.
-2
Let v(d) = d**3 - 9*d**2 - 9*d - 9. Let n be v(10). Solve 5*g - 11 = -2*y + 20, 0 = 2*g - 3*y - n for g.
5
Let u = -25 - -15. Let i be -3 - (u + (4 - 1)). Solve i = -2*h - 3*b, 8*h - 3*h - 5*b - 15 = 0 for h.
1
Let j = 34 - 20. Suppose 0 = -3*m - 4*p + j, p + 8 = 5*m - 0*p. Solve 2*c = 5*v + 15, m*c - 9 = 3*v - 3*c for v.
-3
Let v = -12 - -14. Suppose 0 = -3*i - v*i + 15. Solve 8 = -i*k + k, -14 = 2*m + 4*k for m.
1
Let i = -5 + 9. Let d = -27 + 30. Solve 5*y - d = i*z, 3*z = -2*z - 5*y + 30 for z.
3
Suppose 7 = -4*w + 5*w. Solve -w = 3*v - b - 2, 0 = 4*b + 16 for v.
-3
Let x = 28 - 20. Let y = 22 - x. Solve -s = 3*h - y, 3*h = 5*h + 4*s - 26 for h.
3
Suppose -35 - 29 = -4*y. Solve -5*z = 2*c + y, 3*c = -z - 0*c + 2 for z.
-4
Let g be 8 + 1 + (0 - 1). Suppose 2*a = 3*c + 7, -6*a + g = -3*a - 2*c. Suppose 4*v = -l + 6, -l - v = l - 5. Solve -4*w = -5*w + 1, -a = n - l*w for n.
0
Suppose -1 = j, -3*w + 2*