ve -x*n = -2*v - 18, 1 = v + n + 3 for v.
-4
Let h be (-4)/2*-88 - 1. Let r = -173 + h. Solve 3*z - 2*f = -0 - r, 2 = -f for z.
-2
Suppose -34*l + 31*l = 24. Let s(w) = -w**3 - 9*w**2 - 8*w + 4. Let f be s(l). Solve 4*c + c - 3 = f*j, -4*c + 5*j - 3 = 0 for c.
3
Suppose -4*t - 4*r - 56 = -9*r, -r = 3*t + 23. Let d be 0 + 6*(-3 + (-33)/t). Solve d*x + 25 = -f + 2*f, 3*x = -15 for f.
5
Let w be (2 - 6) + (-4 - -2). Let x = w + 5. Let i = 1 + x. Solve i = -2*q - 4*s - 10, 6*q = q + 3*s + 14 for q.
1
Suppose -546 = -42*d - 126. Solve 3 - 8 = m + h, -5*h - d = 0 for m.
-3
Let x = -943 + 943. Solve o = -3*q - 17, 3*o + 3*q = -x*q - 27 for o.
-5
Let r(q) = -q**2 + 9*q - 15. Let n be r(6). Let x = -4 + 13. Suppose -2*j + x = 3. Solve -n*c - 2*z = -2, j*z + 0*z = 4*c - 14 for c.
2
Let j(p) = 2*p**2 - 10*p + 2. Let s be j(7). Let g = s + -29. Solve -g = 2*x + 2*y + 3, -16 = -4*x + 2*y for x.
2
Let b = -282 + 285. Solve b*r - 1 = -s, -2*s - 3*r = -4*r + 12 for s.
-5
Suppose 4*d = 3*d + u - 4, -u + 4 = d. Let i = 39 + -39. Suppose 5*j + 5 = -5*a, 4*j - 3*a + a - 8 = i. Solve d = -p - 4*b - 7, b - j = 2*b for p.
-3
Suppose -3*s - 10*c + 5*c = -35, 4*s - 40 = -5*c. Solve -3 - 12 = 4*b + h, 30 = -s*b + h for b.
-5
Let f(x) = x**3 - 2*x**2 + 3*x - 3. Let r be f(2). Let y = -229 - -219. Let t be y/(-4) - (-1 - 12/(-8)). Solve -v - 3*w = 0, -w = -r*v - t*v - 16 for v.
-3
Suppose u - 3 = -h, -3*u = 15*h - 13*h - 5. Suppose 3*f = -x + 11, 0*x - 5*x = 5*f - 25. Solve -4*v - h = -x*y + 4, 4*v = -2*y for v.
-1
Let q be (9/(-6))/(6/56) - -3. Let r be (-31)/q + 4/22. Solve -x = -4*k + 2, 2 = -5*k + k + r*x for k.
1
Let p be -2 - (22 + -23)/(1/4). Solve 4*a = p*j - 12, -5*a + 0*j + 2*j = 16 for a.
-4
Let i = 41 + -32. Suppose 25*j = 28*j - i. Solve -j*q - 3*d - 8 = 7, q = -3*d - 15 for q.
0
Let c(u) = -u**2 - 24*u + 534. Let s be c(14). Solve 2*j - 2*k = 12 - 8, -s*j + 3*k + 8 = 0 for j.
-2
Let s(d) = 12*d**2 - 6*d + 10. Let j be s(3). Suppose -4*k - 3*o + 78 = 0, j = 5*k + 3*o + 2*o. Solve 20 = 6*u - 2*u, -k = x - 3*u for x.
-3
Let j = 59 - 44. Let m = j - 12. Solve -18 = -3*q + m*h, -2*q = -h - 4*h - 24 for q.
2
Suppose -24*u + 21*u = -3*x, 3*u = -2*x. Solve u = -c + 2, -2*l + 7*l - 5*c = -20 for l.
-2
Suppose 0 = 4*m + 3*m - 35. Let p be (-1)/(15/6)*-50. Suppose -11 = -4*r + f, 0 = -5*r - m*f + p + 25. Solve 0*t - g = -4*t, 0 = 2*t + r*g for t.
0
Let c(f) = f**2 - 5*f + 5. Let n be 2/3 - (-26)/6. Let d be c(n). Solve -4*l + 20 = m, 5*m - m - 36 = -d*l for l.
4
Let x = 709 - 704. Solve 6*w - 5*w - 3 = g, -11 = -3*w + x*g for w.
2
Suppose -137*d = -142*d. Solve d = 4*y - 5*i - 28, -5*y + i = -i - 18 for y.
2
Let v be (-40)/220 - (-2)/11. Suppose 3*c - 4*k + 49 = 0, v = -5*c + 4*k - k - 67. Let n = 5 - c. Solve 3*h + 12 = -h, 5*q + 3*h - n = 0 for q.
5
Let v be -4 + 3 - (3 + -39)/6. Solve 2*k - v = -4*u - 15, -4*u = 4*k + 12 for k.
-1
Suppose -2*y + y - 4*f = -19, -2*y + 4*f - 10 = 0. Let x be (-56)/6*(-42)/28. Solve u = -3*z + x, -2*z - y*z + 20 = 0 for u.
2
Let g = 2 - 0. Suppose 0 = 3*d - 4*t + 51, -2*d - 6*t + g*t = 14. Let a = d - -15. Solve -5*n - 25 = -k - a*k, 3*n = 2*k - 15 for k.
0
Let q(b) = -3*b**3 - 8*b**2 + 10*b - 11. Let f be q(-4). Solve -f*s + 15 = -11*s + 5*a, -4*s + 6 = 2*a for s.
0
Let l be ((-17712)/(-33))/(-4) - 2/(-11). Let m = 134 + l. Solve -2*d + 2 + 6 = m, -4*g + 4*d - 12 = 0 for g.
1
Suppose -36 = 4*d - 2*d. Let a = -2 - d. Let h(i) = -i**3 + 17*i**2 - 17*i + 19. Let n be h(a). Solve 0 = -3*x + 5*v, -2*v = 5*x - n*v for x.
0
Let a = 3 - -2. Suppose 0 = c + c + 3*b, 0 = -a*c + 4*b + 23. Solve p - 2*l = -c*p + 6, -p + 3*l = -14 for p.
-1
Let l = -254 - -257. Solve -2*z = 2*y, 0 = -2*z + l*y - y - 16 for z.
-4
Let g(c) = -c**3 + c**2 - 2*c + 4. Let m be g(0). Suppose v - m = 0, 2*v - 24 = -2*b - 0*v. Solve -4*p + 32 = 5*l, p = -4*l + 11 + b for l.
4
Let s be 4*((-36)/8 - 2). Let v = s - -18. Let f = -5 - v. Solve 5*a + 10 = 0, -3*u - u - f*a + 6 = 0 for u.
3
Let r be ((-10)/(-3))/10*(3 - -3). Solve -6 = 3*d + m - r, d + 8 = 3*m for d.
-2
Suppose -14*k = 7*k - 42. Solve -3*y - r = 12, 4*r = -5*y + k*r - 21 for y.
-3
Suppose 0 = 2*h + 2, i - 4 + 0 = 4*h. Suppose x + 0*p + 2*p - 2 = 0, -5*x + p = -32. Let b be (x/(-8) - -1)*8. Solve 3*o - a - b = i, -3*a + 1 = -2 for o.
1
Suppose 0 = h - 4*t - 11, -2*t = 5*h - 9 - 2. Suppose 7*x - 17 = 11. Solve -2*z - h + x = -5*m, 3*m = -z + 6 for m.
1
Suppose 0*a + 36 = -a - 4*k, -3*a - 5*k - 73 = 0. Let f be (-12)/a + (-9)/(-4). Suppose -15 = -f*u - 3. Solve -5*l - 3*c + 0 = -u, -l + 2 = c for l.
-1
Let x(a) = -5*a - 1. Let n be x(-2). Let t = n + -15. Let z be t/1*(-4)/6. Solve z*o + 2*k = -12, 2*k - 3*k = 0 for o.
-3
Let l = -1 + -31. Let v = l + 34. Solve 0 = -d + 4*f + 1 + 1, 4*d = v*f + 8 for d.
2
Let o be 45/(-6)*4/(-6). Suppose -2*g + o*r - 8 = 2*g, -4*r = -3*g - 7. Solve g*u = -5*t + 16, 2*t - 16 = -0*u + 2*u for t.
5
Let o(a) = -10*a + 1. Let z be o(-1). Let i = 20 - z. Suppose -3*n - 2*k + 3*k + 79 = 0, i = n + 4*k. Solve 5*q + n = 2*p, 2*p + 8*q - 3*q + 25 = 0 for p.
0
Let g(o) = 9*o - 16. Let y be g(7). Let p = y + -42. Solve 5*j = p*m + 5, 0 = -5*j - 0*j - 20 for m.
-5
Suppose -24*j - 59 = -23*j. Let u = j - -64. Let t = -19 + 29. Solve -u*c + 18 = -p, -t = -2*c - 2 for p.
2
Suppose -6*b + 4 = -4*b. Let d = 2 + -2. Let t be -1 + d + 1 + 2. Solve 4*i + b = -2*u, 4*i + 1 = -3*u + t for i.
-2
Suppose -67 - 39 = -5*y - 21. Let j = 7 - 5. Solve -j*t + 0*t + 3*x + 7 = 0, y = 2*t - 5*x for t.
-4
Let f = -35 - -39. Suppose 4*u - 115 = -u - f*m, 90 = 5*u - m. Solve 2*g - 7*g + u = x, 0 = 3*g - 3*x - 15 for g.
4
Suppose 0 = 5*w - 5 + 25, 3*v + w - 14 = 0. Solve 18 = 2*y + 4*c, -4*y + v*c = c - 10 for y.
5
Suppose 5*j = l + 55, -7*j + 3*l + 45 = -4*j. Let h be 1 - 6/9*8/((-144)/27). Solve 4*g = i - h*i + 12, g + 2*i = j for g.
2
Suppose -8*r + 7 = -1. Solve 2*s - 20 = -4*p + 4*s, p + s + r = 0 for p.
3
Let s = -153 + 158. Solve 7*m - 23 = 4*m - 5*q, -s*q + 16 = -4*m for m.
1
Let f(l) = -32*l + 132. Let x be f(5). Let q = -37 + 12. Let s = q - x. Solve 4*j + 11 = s*h, 3*j + 0 + 1 = -5*h for h.
1
Let q(d) = 2*d + 31. Let p be q(-10). Let x = -15 + 18. Let c be (x - (2 + 3)) + 5. Solve c*b + 21 = 3*l, -2*l = 5*b - 4 + p for b.
-3
Let a be 3 + (-6)/(-12)*-14 - -4. Solve 2*d - 4*m + 18 = 0, -3*d - m = -a*d + 6 for d.
-3
Suppose -10 + 2 = 2*v. Let q = v + 8. Solve n + 3*n - q*k + 16 = 0, 0 = -n + 4*k - 19 for n.
1
Suppose 7*m - 3 = 4. Let l(s) = 29*s**3 + 3*s**2 - 3*s + 1. Let n be l(m). Solve -4*o = u + 4*u + n, u + 2*o = -12 for u.
-2
Suppose -2*k + 90 = 60. Let i be (12/k)/(4/30). Solve -q - 3*y = -i*q, 5 = -y for q.
-3
Let a(k) = -k**3 - 23*k**2 - 33*k + 204. Let o be a(-21). Solve -4*q + 24 = 4*l, q + 4*l = -0 + o for q.
3
Let o(b) = b**3 + b**2 + b + 5. Let f be o(0). Solve -3*q = -f*i - 14, 5*q - 3*i = 4 + 14 for q.
3
Let n = -43 - -147. Let q = 108 - n. Solve -2*y - 7 = 5*o, -q*y = 4*o - 0*o + 8 for o.
-1
Suppose f - l - 10 = 0, 3*f - 2 = -l + 12. Solve -3*p + n = -f, 3*p - 3*n + 6 = 2*p for p.
3
Suppose -4*o + 330 = o. Let j(g) = 22*g - 480. Let r be j(22). Suppose 7*k - r*k - o = 0. Solve -k = 2*x + 5*v, 17 = -2*x + x - 4*v for x.
-1
Let z = -532 + 552. Let v(a) = 2*a**2 + 1. Let k be v(-1). Solve 0*s + 5*d + 45 = -4*s, d = -k*s - z for s.
-5
Let l = -1902 + 1908. Solve -4*k = -5*j - 31, 2*k = 2*j + 8 + l for k.
4
Suppose 11 - 96 = -5*q. Solve 0 = 2*p + 5*k + 7 - 40, -k = 3*p - q for p.
4
Let g be (-1 - (0 - 2))/1. Let i = 3 - g. Suppose r = -i*w + 33 - 12, -w = -4*r + 12. Solve 2*o - 29 = 3*f + 2*f, 2*f = -o - w for f.
-5
Let s(c) = -3*c**3 - 3*c**2 + 3. Let f be s(-2). Solve -4*p = -l + 6*l + 20, -l - f = 3*p for p.
-5
Let z = 5 + -3. Suppose u = -0*u + 24. Suppose -6*f = -10*f + 20. Solve -w + f*m - u = 0, z*w = -3*w + 3*m - 10 for w.
1
Let u = 111 + -107. Let p(t) = t**3 - 5*t**2 + 3*t + 6. Let o be p(4). Solve u - 11 = -2*v - 3*x, -3*v = o*x - 3 for v.
-1
Let k = 920 - 916. Solve 0*u - x = -u + 8, k*u - 26 = 2*x for u.
5
Suppose 0 = -4*i - 16 + 40. Suppose -s = i - 4, 5*z - 2 = -4*s. Solve -v - 1 = 0, 0 = l + z*v - 3*v + 3 for l.
-4
Let y = -1420 + 1420. Solve -2*f + 5*n = -f + 13, f - n + 1 = y for f.
2
Let c be (-7)/(21/6) - -14. Solve -3*j + 5*r - c = -39, -2*j + 5*r = -23 for j.
4
Let a(q) 