 Let v(m) = -4*m + 2 + 0*m**2 - m**3 + 5*m**2 + 1. Let j be v(4). Solve b = -4*u - 4*c - 24, -3*u - 13 = -5*u + j*c for u.
-1
Let t(s) = -s**2 - 4*s + 1. Let c be t(-4). Let r = 3 - c. Let k be r*(-22)/16*-4. Solve 0 + k = 3*h - 4*g, -4*h + 12 = -4*g for h.
1
Let p(q) = 2*q. Let r be p(2). Suppose -2*v + 1 = -3, t - r*v + 3 = 0. Solve -4*c - 2*j - 22 = 0, 0*j = -j - t for c.
-3
Let l = 0 - -2. Let r = 13 - 11. Solve 3*x - 25 = l*b - 4*b, x + 5 = r*b for x.
5
Suppose 2*t = -u, -u + 5*u - 4 = -4*t. Solve -k = -c - 9, k - 11 = 4*c + u*k for c.
-4
Suppose -g = g - 4. Suppose 4*t + 3*y = 5 + 32, -4 = -t + y. Let x(u) = -u**3 + 6*u**2 + 6*u + 8. Let s be x(t). Solve -2*h - g*k = k + s, 0 = h - k - 7 for h.
4
Suppose 31 = 4*r - 33. Solve 0 = o + 4*f - 11, -3*o - r + 1 = -4*f for o.
-1
Let y = 34 + -32. Solve -5*i - 9 = -2*q, -y*q = 4*i - 0*i for q.
2
Suppose -4*n + 0*a = -2*a + 4, 0 = -5*n - 3*a + 6. Suppose 4*q - 59 - 33 = n. Solve 4*c = p + 7 - q, 3*p - c = -7 for p.
-4
Suppose z + 0*z = j + 4, -2*j - 6 = -z. Let w(m) = 3*m**2 - m + 2. Let c be w(z). Solve -4*b + 3*t = -11, -5 = -b - 4*t + c for b.
5
Suppose -105 = -5*n - 5*i, i - 2*i + 93 = 4*n. Let l be (n/32)/((-1)/(-24)). Solve -3*v + j + 0*j - 14 = 0, -3*j - l = 3*v for v.
-5
Let b(y) = -10 - 3 - y + 3*y + 0*y. Let a be b(9). Solve -j + s = 1, a*j - 3*s + 3 = 6 for j.
3
Let n(g) = -g**3 + 5*g**2 + 8*g - 7. Let b = 19 + -13. Let r be n(b). Solve s - 3 = 2*q, 5*q + 2*s = 4*s - r for q.
1
Suppose -2*x - 2 + 4 = -b, -2*x = 5*b + 22. Let q(i) = -i**3 - i**2 - i - 2. Let g be q(b). Solve g = -5*k + 5*y, 2*k + 5*y = -3*k for k.
-5
Let r(n) = 2*n**3 - n + 1. Let y be r(1). Suppose y*k = 4*k - 6. Let o(d) = d + 2. Let q be o(k). Solve l + 3*z + 11 = 0, -3 = q*l + 3*z + 4 for l.
1
Suppose 5*u - 2*f - 28 = 2*f, -2*f = 3*u - 8. Solve -4*m + 5*g - 7 = 0, -u*m = g - 11 - 0 for m.
2
Let j be 4/18 + (-1068)/(-54). Let w = j - 11. Let k be 1/3*w/1. Solve -2*x + 15 = -3*s, -k*x + 0*s + 4*s + 20 = 0 for x.
0
Let r be 4/6 - 24/9. Let p be (-1)/r - 15/6. Let m be -1 + 0 - (-2 + p). Solve -3*w - 25 = 4*s + 4, m*w + 4 = s for w.
-3
Let a be (-187)/(-22)*(-2 + 4 - 0). Let c(j) = j + 5. Let y be c(0). Solve 0*k + y*k - a = -3*p, 5*k = -5*p + 15 for p.
-1
Let x(o) = -o**3 - o**2. Suppose 0 = -3*f - d, 4*f + 4*d + 4 = -4. Suppose s + f = -1. Let r be x(s). Solve 2*p = r*n + 16, 4*p - 27 = 5*n - 7 for p.
0
Let b(x) = -x**2 + 23*x**2 - x**2 + 1 + 0*x + 2*x. Let s be b(-1). Let p be 5/(-3)*(-6)/2. Solve -h = -5*d - s, -4*h + p*d = -3 - 2 for h.
-5
Let c(s) = s - 1. Let z be c(2). Let l = 3 - z. Let x be -2*((-45)/(-2))/(-5). Solve 2*u + 0*u = o + 5, -l*o - x = -3*u for o.
-3
Let b(m) = m + 6. Let t be b(-2). Suppose s = -2*s + 57. Solve 0 = 5*o + 4*v - s, 5*o = t*v - v + 12 for o.
3
Suppose -3 = 8*n - 35. Solve 4*c - 16 = 4*u, -n*c + 13 = -u - 0 for c.
3
Let k be (3 + 14/(-4))*0. Suppose 3*c = -5*m - 10, 3*c + 2*m + 2 - 7 = k. Solve -3*p + 5*h = -c*p + 15, 3*p + 6 = 2*h for p.
0
Let i be 8 + (-4 - -1) - 1. Let u(f) = -f**2 - 7*f + 6. Let o be u(-5). Solve 4*p = p + w + o, p - 1 = -i*w for p.
5
Suppose 0*m + 56 = 4*m. Let u = -9 + m. Solve 0 = -v + u*b + 5 - 3, 0 = -3*v + 2*b + 6 for v.
2
Let c = -7 + 9. Let x = c - -2. Solve 4*b = -2*g + 4, 4*b + b - x*g = 31 for b.
3
Let w be 4 - (2/5 + 39/15). Suppose 0 = h - r - 5, -10 = -2*h + 2*r - 3*r. Suppose -2*k - 12 = -h*k. Solve 5*m + 20 = l - w, 2*m + k = -4*l for m.
-4
Suppose -i + 5*i = 4*v + 44, -2*i = -3*v - 26. Suppose 0 = -n + 10 + i. Solve 5*u + x - n - 2 = 0, 4*u = 3*x for u.
3
Let b be (-3)/((-9)/(-12)*-2). Let p be (10/(-1))/(b + -4). Solve p*m + 21 = -u, -4*u - 12 = 2*m - 0 for m.
-4
Let v = -13 + 37. Let f = v + -20. Solve 5*l = 2*i - 10, -f*l - 1 - 7 = -5*i for l.
-2
Let g be 7 - 3/6*6. Solve -10 = 3*f - 4*p + g, 0 = -3*p + 15 for f.
2
Suppose 0 = -2*h - h + 3. Let r be 9/h*(-16)/(-48). Solve 0 = -4*k + 4*d - 4, 3*k + 0*d - 4*d = -r for k.
-1
Let x be (-17)/(-2)*(-14)/7. Let d = -15 - x. Solve 2*l + 3*s = -2*s + 26, 0 = d*l - s - 2 for l.
3
Let n = 5 + 0. Solve 0 = 3*h + 3*l - 6, -3*l = -3*h - 5*l + n for h.
1
Let c be 1*-3 - (-24 - -18). Solve -o = -c*x + 1 - 5, 0 = -2*o - 4 for x.
-2
Let q be (-6)/(-10) - 160/(-25). Solve -4*i + p = 4, q*i + 2*p = 3*i - 16 for i.
-2
Let c = -3 + 7. Solve -b + 15 = c*a + 2, 0 = -4*b + 4 for a.
3
Suppose 10*s - 33 = 17. Solve -s*v - 1 = l + 14, -3*v + l = 1 for v.
-2
Suppose 4*s = 0, -3*p + s + 2*s + 12 = 0. Solve -10 = p*g + 5*o, -o + 10 = -6*o for g.
0
Suppose u + 66 = 4*u. Let x = 7 + u. Let f = 8 + -5. Solve n + 5 = f*j + 1, -4*n + x = 3*j for n.
5
Suppose 2*q + 8 = -0. Let j(i) = i + 4. Let g be j(q). Solve g = -3*z + 4*d + 8, 5*z + d = 6*d + 10 for z.
0
Suppose 0 = -5*w + 4*f - 5 + 13, 2*f + 4 = -2*w. Suppose -x = -0*x + v + 2, w = -3*v - 15. Solve -3*l - x*z = -3, -10 = l - 4*z + 4 for l.
-2
Suppose 5*p - 10 = 2*a, -3*a + 0*p - 10 = -5*p. Suppose 5*b = -2*j + 8, -16 = -j - 3*j. Solve -g + c - 4 = -b*c, -2*g + 4*c - 6 = a for g.
-5
Suppose 0 = 3*x - 117 - 33. Let r be x/4 - 2/4. Solve 5*v + r = -2*f, 0 = 2*v - v + f for v.
-4
Let u(s) = s**2 + s - 2. Let i be u(2). Let w be (-1)/(-1) + i/2. Solve -17 = -5*y - 3*n, 4*y + w*n - 21 = 8*n for y.
4
Let p = -65 - -67. Solve -p*n + 5*s - 23 = 0, 2*n - 3*s + 6 = -11 for n.
-4
Let n(v) = v - 22. Let u be n(12). Let x = u - -13. Let j(r) = 4*r**2 + 2*r + 1. Let q be j(-1). Solve -b + 14 = q*g + x, 4*g - 20 = 4*b for g.
4
Suppose 17*b - 18*b = -14. Solve z + b = -4*l + 6, -3*l = 5*z + 23 for z.
-4
Suppose -z + 0 - 5 = 0. Let a be 0 - z/(15/24). Solve 5*x + a = -3*b + b, 0 = 5*b - 4*x + 20 for b.
-4
Let i be (-5)/2*(-36)/30. Solve 0 = -s - 5*g - 12 - 12, -i*g = 4*s + 11 for s.
1
Suppose -5*z + 23 = 4*d - 5*d, 3*d + 3*z - 21 = 0. Let s = d + 0. Suppose m = -4*c, s*m - 10 - 3 = 5*c. Solve 5*v = 5*w - 25, -4*w + m = -0 for v.
-4
Suppose -5 + 31 = 2*s. Solve 5*a = -3*u - s + 2, u + 5*a + 17 = 0 for u.
3
Suppose -7*v + 263 = -24. Solve 0 = -4*k + 2*r - 6, 3*r - 8*r = 4*k + v for k.
-4
Suppose -a = -6*a, 0 = -2*t - 3*a + 10. Solve 3*h = 4*h - t, d - 24 = -5*h for d.
-1
Let t(j) = -4*j - 39. Let o be t(-11). Solve -2*f + o*f = -5*n + 15, -f + 5 = 4*n for n.
0
Suppose -3*v = -6*v + 30. Suppose 7*k = 2*k + v. Suppose -2*l - 2*b = -b - 4, -b = -k*l + 12. Solve -2*i + p = -l*i + 3, p = -1 for i.
2
Let p(j) = j**2 + 14*j - 12. Let c be p(-15). Solve b = -0*b - 5*o - 15, -17 = c*b + o for b.
-5
Let l be (-1 - (-11)/(-2))*-2. Suppose -5*a + 7 = -l. Solve -5*i = n, -a*n - 4*i = -13 - 3 for n.
5
Let o(f) = f**2 + 8*f - 18. Let w be o(-14). Suppose -4*j + w = 18. Solve y - j = 4*k, 3*y - 14 = -2*k + 3*k for k.
-2
Let j = -2 + 3. Let u be 2 - (j + 1)*1. Solve -1 = -5*t - 4*w, u*w - 3*w + 6 = 2*t for t.
-3
Suppose s - 35 = -4*z - 4*s, 5*s - 15 = 0. Let k = -8 - -11. Let o = z - k. Solve -2*f - 8 = -3*n, -o*f - 2*n = -3*n for f.
2
Suppose -n - 11 = -s, -2*n = -s - 0*n + 16. Suppose -3*w + 9 = -s. Solve 2*c - 5*c + 24 = w*h, -4*h + 2*c + 6 = 0 for h.
3
Let m(p) = -p + 7. Let b be m(3). Solve -3*z - 5*w = 7, 0 = 2*w - 4*w - b for z.
1
Let s = -53 + 55. Let b be (-6)/(-9) + 26/6. Solve -4*l = -2*l - s*w + 2, -b*l + 4*w = 2 for l.
2
Let z(f) = 2*f**2 - f - 2. Let x be z(2). Suppose 92 = 10*t + 13*t. Solve t*n = -16, -3 = x*c + n + 1 for c.
0
Let d be ((-1)/4)/(3/(-24)). Suppose -3*t + 7 + d = 0. Solve -f + 16 = -t*q, -3*f + 2*f = -1 for q.
-5
Let c = -139 + 159. Solve 5*d = c, -3*z + 2*d - 3 = -2*z for z.
5
Suppose 0 = 55*f - 46*f - 36. Solve 3*w + 15 = 0, -3*p - f*w - 28 = -p for p.
-4
Let n = -7 - -12. Solve 4*g = c - 11, -n*g - 2 - 10 = -3*c for c.
-1
Let s(o) = -o + 16. Let d be s(12). Solve 1 = -3*a - t, -9 = 3*a - d*a + 2*t for a.
1
Let z = 8 - 4. Suppose -2*y = -z*y + 2. Let v be (6 - 1)*(y + 0). Solve -v*j = 5*p - 5, -5 = -2*j - 3*j + p for j.
1
Let w be 2*2/(-4)*10. Let h = 15 + w. Solve -5*u = -2*r - 3*u + 2, 1 = 3*r - h*u for r.
2
Suppose 3*y - 18 = 9. Suppose o - 7 - 3 = -3*b, -b = -3*o - 10. Suppose -b*r + 3*d = 1, -3*r - d + y = -0*r. Solve 3*s - t + 13 = 0, 2*s = -0*s + r*t - 6 for s.
-5
Let u be -1*(-3 + 1 + -3). Solve 0 = 4*l - 4, u*l - 15 = 3*v - 8*v for v.
2
Let v(x) = x**3 - 6*x**2 - 5*x - 9. Let f be v(7). Suppose 9 = -2*l + f*l. Solve -l*j + 12 = 0, 3*a + 2*j = -0*j + 17 for a.
3
Let 