+ 10 for a.
5
Let a be 4/(-10) - (-32)/80. Suppose 0 = 4*s - 3*k - 78, 5*s + k + 2*k - 111 = a. Solve 4*z - 4*b = 36, -2*z - 5*b - s = -z for z.
4
Suppose 2*c - 4 = -4*z, -3*c + 22 = -0*c - 2*z. Let x be ((-3)/(-6))/(2/12). Suppose -73*s + 62*s = -22. Solve 4*p - x*y = 3*p - c, s = -2*p - 4*y for p.
-3
Suppose 0 = x - k - k + 3, -x + k = 0. Suppose 22 = n - 4*z, -5*n - x*z - 11 = -3*n. Solve -2*o = -2, n*g + 5*o = 4*o + 9 for g.
4
Suppose 3*u = t + 2, 0 = -5*t + 2*u + 21 - 5. Solve d = -3*g - 4, d - 4*d = t*g - 3 for d.
5
Let o(u) = 3*u + 18. Suppose 0 = -a - 3*a - 24. Let p be o(a). Solve 5*g - x = -0*x - 10, -4*g - x - 8 = p for g.
-2
Let f(q) = -15*q - 177. Let l be f(-12). Solve -2*n - 5*j + 14 = 0, 0 = -4*n - l*j + 9 + 5 for n.
2
Let b = 21 + -10. Let p be -8 + (-3 - -5) - -11. Solve -p - 1 = 2*q - 4*i, q + 5*i = b for q.
1
Let z = 1281 - 1277. Solve k = -n, 5*n - z*k - 8 = n for n.
1
Suppose 4*p - 156 = 4*k, -k = -4*p - 92 + 251. Suppose p - 60 = -5*h. Solve 2*m + 15 = o - 2*m, -h*m - 40 = 4*o for o.
-5
Let l(s) = s**3 - 25*s**2 + 100*s. Let p be l(20). Solve 0 = x - 5*o + 7, 2*x + 9 = -p*x + 5*o for x.
-2
Suppose -24 = -n + v, 2*n + 4*v - 48 = 3*v. Let f = n + -20. Suppose 0 = d - 9 - 1. Solve -2*o + 16 = 5*z, z = f*z + o - d for z.
4
Let z = -28 + 19. Let h = -12 - z. Let r = 3 + h. Solve 0 = -4*j + 3*p - 1, -4*p + 0 - 4 = r for j.
-1
Suppose -28*c - 118 = -174. Solve 0 = -g + 3 + 2, -13 = c*k - g for k.
-4
Suppose -3*x = -2*x - 30. Let o = x + -1. Solve 2*i = -4*l - 5 + o, 4*l = 4*i for l.
4
Suppose 5*b - 5*m = 150, -m + 4 = b - 30. Suppose l + 3*l = -2*y + 4, 5*y + b = 4*l. Solve j - l + 13 = 3*p, 0 = 4*j + 2*p - 16 for j.
2
Suppose 25 = 5*d - 5*f, -35 = -3*d - 2*f + f. Suppose -3*b = 4*a - 13, -6*b = -2*a - 2*b - d. Solve -z + 5 - a = 0, 0 = -2*r + z + 4 for r.
4
Suppose 21*x = -4*x. Solve -3*d + 4*d - 4*a = -16, d + 4*a - 24 = x for d.
4
Let b(x) = -x**3 + 6*x**2 + 2*x - 9. Let u be b(6). Let l(z) = -z - 8. Let n be l(-13). Solve -27 = -u*g + n*a, a = 4*g + 4*a - 7 for g.
4
Let c(b) = -b**2 - 5*b + 1. Let k be c(-5). Suppose -45*j + 208 = 7*j. Solve 0 = q - j*a + k - 13, -4*a = -4*q + 24 for q.
4
Let q(g) = g**3 - 2*g**2 - 11*g - 17. Let b be q(5). Solve -5*y - 20 = 5*r, 0 = y - 4*r + b + 1 for y.
-4
Suppose -5*j + 19 = -2*v, -j + 6 - 5 = v. Solve 20 = 4*o, -j*n - 4*o + 22 = -n for n.
1
Suppose 0 = 3*q - 5*b - 23, 3*q + 16 = -4*b + 3. Let r be q/4 + 1/(-4)*-7. Solve r*n - 2*t + 14 = 4, -n = 5*t + 5 for n.
-5
Suppose 2*b + b = 15. Let s(c) = -c**3 + 20*c**2 - 75*c + 2. Let p be s(5). Solve -4*l + p*l + 2*w = -14, b*l - 11 = -w for l.
3
Suppose 5*b - 3*b - 10 = 0. Suppose 25 = b*y - 20. Let m be ((-21)/y)/((-1)/3). Solve 3*z = m*f - 3*f + 1, 0 = -5*z + 3*f - 2 for z.
-1
Suppose -7 = -v - 4*s, -s = 3*v - 3*s - 7. Suppose 0*r - 3*d = -3*r - v, r - 5*d = -13. Solve -3*l = r*n - 6, 4*l + 0*n = -n + 13 for l.
4
Suppose 0 = -8*l + 7*l + 3*b + 11, -3*l + 3*b + 15 = 0. Solve p + l*p = -4*i, 3*i + 5*p = -11 for i.
3
Let c be 315/(-65) + 2*(-1)/13. Let b be 24/5 + 0 - c/25. Solve -b*v = 5*a, 8*v = 3*v - 3*a - 2 for v.
-1
Let i = 1 + 2. Suppose i*n + 2*n = 20, 0 = -o + 4*n - 11. Suppose o*p - 126 = 4*r, p + 0*p - 4*r = 22. Solve 4*c = -4*g, -c = -4*g - p + 6 for c.
4
Let l be (12 + -18)*6/(-12). Solve l*p - 3 = 3*q + 12, 4*p - 2 = -5*q for q.
-2
Suppose -6*y + 773 + 1195 = 0. Let n be y/28 - ((-9)/7 - -1). Solve 2*k + 13 = -4*l + 3*l, 0 = -2*k + 4*l + n for k.
-4
Let x(m) = -22*m**3 + 2*m**2 - 1. Let p be x(-1). Suppose -5*a + p - 8 = 0. Solve -l = c - 1, 0*l + a*l = 3*c - 27 for l.
-4
Let v be 1 - -4*((-129)/12 + 4). Let f = 31 + v. Solve -2*u - 10 = 2*h + 3*h, 20 = -f*h - 4*u for h.
0
Let b be (7 - -1) + 0 - -3. Let y = 12 - b. Let h be -3*(-1 + (1 - y)). Solve 5*q + 2*j = 15, -h*q + 4*j + 0*j = 17 for q.
1
Suppose -3*z + 5*q + 18 = 0, -5*z - 18 = -8*z - 3*q. Solve -z = 3*k - 5*f, 2*k + 4*f + f = 21 for k.
3
Let w be (-18)/(-45) - (-43)/5. Solve -5*o - 22 - w = 4*a, -5*a - 23 = o for o.
-3
Let f = 672 - 672. Solve f = d + x, -3*d - 2*x = -x for d.
0
Let g = -30 + 45. Let m be 1 + 0 + g/5. Suppose -r = m*r - 30. Solve j - r = 4*j, 3*j = -a - 5 for a.
1
Let j be (-114)/42 + (-2)/7. Let o be (j/(-9))/((-3)/(-9)). Let b be o*-2*(3 - 7). Solve -4*w = -4*y - 28, w - b = 5*y + 15 for y.
-4
Let q(f) = 2*f**3 - 2*f**2 - 3*f + 2. Let m be ((-4)/(-5))/(8/20). Let b be q(m). Let z be 4/(-8) - 35/(-10). Solve -5*h - z*l = 0, -h + 16 = -b*h - 5*l for h.
3
Suppose 3*b + 26 = -j, j + 5 = 3. Let m(r) = 4*r + 32. Let d be m(b). Solve -w + 4*l = -d*l - 11, 16 = -w - 5*l for w.
-1
Suppose 0*d - 5*m - 22 = -4*d, 5*d = -2*m + 11. Let c(x) = -x**2 + 4*x + 11. Let a be c(5). Let y = a + -1. Solve d*i + 4*b = 7, -4*i + 0*b = y*b - 10 for i.
5
Suppose -5*x + 2*j + 6 = 0, 5*j = -36*x + 39*x + 4. Solve -3*c + 6*c = x*y - 13, -4*c = -y + 14 for c.
-3
Let c = 169 - 167. Let t(g) = g**2 + 19*g + 13. Let y be t(-19). Solve 3*b - 5*k - y = 0, c = -b + 2*k + 8 for b.
-4
Suppose 0*k = -4*j + k - 13, -2*j = -3*k - 1. Let l = -2 - j. Solve -4*g = -g - l*z + 2, 2*z - 2 = 5*g for g.
0
Let h(p) = -p**3 + 6*p**2 - 4*p + 4. Let o be h(5). Let l(t) = -t**2 + 11*t - 16. Let j be l(o). Solve j*f - 3*f + 6 = 3*a, 5*f + a - 16 = 0 for f.
3
Suppose 21 = 2141*r - 2134*r. Solve 3*u + 4*a - 7 = 0, r*u = 4*u + a - 3 for u.
5
Let i be 1/((-6)/27)*(-4)/9. Solve 0 = i*h + 5*x - 1 + 19, -4*h - 3*x - 22 = 0 for h.
-4
Let f = -30 + 30. Let t be 115/15 - (-2)/6. Suppose 0*j = 4*j - t. Solve -j*r - 4 = f, 5*i - 4*r = r for i.
-2
Suppose 4*r - n = 3*r, -24 = -3*r - 5*n. Solve -r = z, 0 = -2*s + 6*s + 3*z + 17 for s.
-2
Suppose 2*j = -7*j + 36. Solve 5*m + j*d = -17, -4*m - 12 - 14 = -3*d for m.
-5
Let d(f) be the second derivative of f**5/10 - 2*f**4/3 + f**3/6 - f**2/2 - 8*f. Let q be d(4). Solve 0 = q*a + n + 4 + 5, 0 = -4*a - 2*n - 14 for a.
-2
Let m = 470 - 468. Suppose -j = -4 - 0. Suppose -j*d = -5*d + 2. Solve -20 = -d*n + m*f, -n + 2*f + 25 = -2*f for n.
5
Suppose -3*w = -w + 6. Let z be -1 - -4 - w/(-1). Suppose z = 3*c + 9 - 24. Solve c*j - 2*h + 6 = 1, 5*h + 1 = -j for j.
-1
Let j be ((-12)/14)/((-58)/203). Solve o + 2*g + 22 = -j*g, 2*o + g = -8 for o.
-2
Let h(s) = -20*s + 3. Let k be h(0). Solve -k*g + r + 14 = 0, 2*g = -g - 2*r + 8 for g.
4
Let r(q) = 78*q + 1018. Let d be r(-13). Solve -w - c = 6, -c - d*c - 20 = 0 for w.
-2
Let a = -16 + 25. Suppose j - 4*j + a = 0. Solve 13 = -x - 4*u - j, -16 = -2*x + 4*u for x.
0
Let g = 29 + -18. Suppose -5*z - g = -4*w, 5*w + 0*w = 3*z + 4. Let m be 63/12 + w/4. Solve -y - m = -2*u + u, 2*u = -4*y + 4 for u.
4
Let a = 55 + -52. Suppose a*y - 5 = 10. Solve -3*l = -2*d + 12, -3*l + y*d - 21 = -0*l for l.
-2
Let x = 503 + -498. Solve 5*p = -5*u + 5, 2*p - x*u - 2 = -4*u for p.
1
Suppose 0 = -4*p + 5*g + 7 + 4, -p = -4*g. Solve -4*u = -5*s + 16, -u - 3*s - 20 = p*u for u.
-4
Let x(p) = p**3 + 5*p**2 + 3*p - 2. Let r be (-7 - -3 - -3)*4. Let j = r - 0. Let m be x(j). Solve d + 2*i = -d, -m*i - 20 = -2*d for d.
5
Let w(c) = 7*c**2 - 53*c - 14. Let k(s) = 4*s**2 - 27*s - 7. Let b(r) = -11*k(r) + 6*w(r). Let d be b(-10). Solve -d*h = h + 3*a + 26, 0 = 2*h - a + 8 for h.
-5
Let p be 9*14*(-2)/(-12). Suppose 24*a - p*a = 15. Solve 19 = -2*y + 5*u, 20 = 5*u - a for y.
3
Let q = -36 - -53. Let r = -128 + 115. Let w = r + q. Solve -2*v + w*y - 2 + 6 = 0, -v + 2 = 3*y for v.
2
Let v be 3 - (-2)/(9/((-45)/(-10))). Solve 5*r + 4*w - 35 = 0, -3*r = -2*w - v + 5 for r.
3
Let p(d) = 10*d**2 + d. Let u be p(1). Let c be 2/(1*8)*(7 + 1). Solve -v - 7 = -4*i, c*v + u = -i - 2*v for i.
1
Let w = 49 + -45. Suppose 2*p - 100 = -3*p. Let x = p - 20. Solve x = w*k - 16, 3*k - 9 = -5*i + 3 for i.
0
Let k be 28*(18/4 + -4). Suppose 332 + 4 = k*s. Solve 4*r + w + 8 = 3*w, -4*r = 2*w + s for r.
-4
Let c(n) = -n**3 + n**2 - 2*n - 16. Let t be c(0). Let g = 18 + t. Solve 0 = -4*y + 16, 6*y = -r + g*y + 17 for r.
1
Let q be (-39)/(-52)*((-3)/9 - -3). Solve q*s = 0, -3*s + 4*s - 5 = -5*j for j.
1
Let j = 510 - 507. Solve -j*k - 3*g = -8*k, -g + 7 = -4*k for k.
-3
Let m(f) = 3*f + 33. Let y be m(-11). Solve -c + 0 + 2 = y, -20 = -5*o - 5*c for o.
2
Suppose 7*l - 5*s = 2*l + 15, -4*s = -l - 3. Solve 2*n + 13 = l*f, -f - 2*f + 13 = 4*n for n.
1
Let r = 43 + -20. Suppose 88 = -2*z