 0, -3*a + w = 4*y for y.
5
Let u = -117 - -99. Let x = u + 24. Solve 2*f - 4*a - 12 = 0, f + x*a - 3*a = -4 for f.
2
Suppose 2015*x = 2016*x - 2. Let j(g) = 2*g**3 - g**2 + g. Let n be j(1). Solve n*h + x*h = 3*c - 8, -3*h - c + 7 = 0 for h.
1
Let n be (9 - 6)/(4/(4/1)). Solve -2*d = -3*t - 0 - 5, t + n = 2*d for d.
1
Suppose -9 = -f + 6*h - 8*h, -2*f + 2*h = -6. Suppose 12 = -n + 5*n. Solve -n*s - 3*q = -3, -4*s + 4*q = -f*s + 13 for s.
-3
Let v = -219 + 227. Solve 2*r = y - 1, 3*r - v*r - 35 = 4*y for r.
-3
Suppose 0 = -4*q + 20, -7*q + 5 = 2*m - 12*q. Solve 18*j - m*j - g = 1, -20 = 5*g for j.
-1
Let p(s) = -s**3 - s**2 - 1. Let h be p(-2). Suppose 1 + h = w. Suppose 3*m - 19 + 5 = -4*l, -w*l + 3*m = -26. Solve b - l*o = -0*o - 6, 5*b + 4*o = 28 for b.
4
Let l = 4 + 1. Let u = -1025 - -1025. Solve 2*b + 1 = y - 0, l*y + b + 6 = u for y.
-1
Suppose 0 = -25*a + 28*a - 3*v + 6, 11 = 2*a + v. Solve l = 3*u - 3 + 15, -18 = -a*l + 3*u for l.
3
Let q(y) = -1. Let a(i) = -9*i + 59. Let b(k) = -a(k) - q(k). Let m be b(7). Solve 20 = 4*r + 2*t - 6*t, m*r - 4*t - 23 = 0 for r.
3
Suppose -a + 757 - 753 = 0. Solve 0 = -a*q + 4*b - 0*b - 20, 2*q + 3*b = 15 for q.
0
Let x(n) be the second derivative of n**4/12 - 5*n**3/6 + 2*n**2 - 27*n. Let z be x(5). Suppose -29 + 4 = -5*l. Solve -2*s = z*t + 10, t - s = -6 + l for t.
-2
Let s(c) = c**3 + 4*c**2 + 3*c + 1. Let p be s(-2). Suppose 7*w = 2*o + 4*w - 16, -4*o + 22 = -w. Solve o*f - 2*k - p*k = 20, f = -2*k - 5 for f.
1
Let t(a) = -a**3 + 4*a**2 + 3*a - 4. Let k be t(1). Let b be -21 - (3 - (2 - -1)). Let h be ((-14)/b)/(2/21). Solve h*j + z = k*j + 19, -j - 1 = 5*z for j.
4
Let l be 13/3 + (-10 + 3)/21. Solve -2*c + h + 16 = 2*c, -l*h + 6 = -2*c for c.
5
Let l(n) = n**3 + 17*n**2 - 2*n + 35. Let p be l(-17). Suppose 33 - p = -4*f. Solve 5*g + 5*z - 23 = -58, -g - 2*z = f for g.
-5
Let k(o) = o**3 - 5*o**2 + o - 5. Let v be k(5). Let x be (-12)/(-54) + (-14)/(-18). Let p = 6 - x. Solve -p*i + v*y - y = 15, 2*i - y - 1 = 0 for i.
-2
Suppose -u - 5625 = -5627. Solve 2*z + u*c - c - 10 = 0, -z + 4*c = -5 for z.
5
Suppose -2*r = -3*z - 0*z - 3, z - 9 = -r. Suppose -3 = x + 4*h, -2*x + 0*h = -4*h - r. Solve -4*k - q + 9 = -0, -k + q + x = 0 for k.
2
Suppose 17 = -0*n + 3*n + 4*j, -j = 4*n - 14. Solve 2*u + 6 + n = -5*t, -2*t = 2*u + 6 for u.
-2
Let r(v) = -12*v - 23. Let b be r(-2). Solve 0 = -4*g - 3*z - 15, b = -2*g - z + 6*z for g.
-3
Let c be ((-26)/3 - -6)*(-6)/4. Suppose -n + 1 + 13 = 0. Solve 5*b = 2*v - n, 3*v = -v - 2*b + c for v.
2
Let z(n) = 2*n - 2*n - 2*n**2 + 20 + 16*n. Let x be z(9). Solve 2*a + 8 = 0, x*w = -0*w - 4*a - 26 for w.
-5
Let b be (1 - 16/1)*1. Let u be ((-4)/3)/(10/b). Suppose -47 = -u*o + 3. Solve -2*m = g + 6 + 1, 0 = -5*g + 5*m + o for g.
1
Let r = 250 + -242. Solve -5 = 2*p + x + r, 7 = -3*p + x for p.
-4
Let m = -249 - -261. Solve -9*c + 4*c = -r + m, 5*c + 2 = -4*r for r.
2
Let i(v) = 3*v - 40. Let r be i(14). Suppose -2*p - w + 15 = 0, p - 35 = -4*p - r*w. Solve 5*l + 25 = 4*q - 3*q, p*q = 4*l + 20 for l.
-5
Let b(x) = -x**3 - 6*x**2 - x - 5. Let h be b(-6). Let c be -3 + -7 + 4 + 0. Let i be (-3)/c*38*h. Solve -5*u - 2 + i = 3*l, 3*u + 17 = 5*l for l.
4
Suppose 0 = m + 3*u - 18, 1 - 4 = 4*m - 3*u. Suppose 0 = m*n + 5*b - 40, -4*b = 4*n + b - 50. Solve 2*s - n = 2*c, -s - s = 4*c + 8 for c.
-3
Let r be 7/((-7)/36)*4/(-12). Let y = r - 9. Solve -y*f = 0, w + 0*f - 5*f = 4 for w.
4
Let g be (33/(-11))/(6/(-4)). Suppose 7*b - g = 6*b. Suppose 4*o - 3 = x, -4*o = -b*x + 1 + 1. Solve -j = -n, o*j + 5*n = -j + 24 for j.
3
Suppose -74*u = -88*u + 56. Solve 3*z + u*v - 6*v = 4, 0 = -z - 2*v - 12 for z.
-2
Let l be (19 + -19)/(5 - 4). Solve p = q - 9 + 12, -3*q - p + 7 = l for q.
1
Suppose 274*b + 30 = 284*b. Solve 8*k - 6*k - s = b, 5*k - s = 6 for k.
1
Let z(a) = -39*a + 5. Let o be z(0). Solve -l = 3*w - 8, -o*w - l - 6 = -9*w for w.
2
Suppose 5*j = 2*t - 15, t - 10 + 0 = 5*j. Let o(c) = 1 - t - 6*c**2 + c**3 + c - 7*c. Let z be o(7). Solve 0 = 4*g - 5*n - 22, 0 = z*g - 6*g + 2*n + 13 for g.
3
Suppose 5*h + 8 = 3*s + 5, h + 1 = s. Solve 3*k = c - s, 2*c - 3*k = -k + 2 for c.
1
Let v be (-50)/(-8) - 11/44. Suppose 0 = -a + 3 - 1. Solve -5*j = -c + 8, v = -a*c - 2*c + j for c.
-2
Let g(f) = 3*f**2 - 4*f - 4. Let x be g(2). Solve -2*w = -x*w + 4*j + 6, -24 = -4*w + 4*j for w.
3
Let k be -9 + ((-42)/(-2) - 7). Solve -17 = 8*s - k*s + 2*l, 2*l - 1 = 3*s for s.
-3
Let m be 3/(5/((-580)/(-12))). Let t = 115 - m. Suppose 2*l = 5*h - 0*h - t, 4*l - 8 = 0. Solve 3*p - 12 = -p + b, p - h = 4*b for p.
2
Let x(c) be the first derivative of -3*c**2/2 - 20*c + 1. Suppose 7*f - 158 = -214. Let v be x(f). Solve -w - 4*s = 16, -w + s + v*s = -11 for w.
-4
Let s = -4 + 10. Suppose 2*r + n - 4 = 0, -r + 5*n = -s*r + 10. Suppose -2*g = -o - 6, 3*g - 4*g = 2*o + r. Solve -j - l = 1, g*l + 3*l + 13 = -3*j for j.
4
Let u be 1 + 2 + 14/1. Let h(y) = -y**2 - 8*y + 26. Let g be h(-9). Solve -g = -o - 4*w, 3*o + 0*o = 5*w - u for o.
1
Let h = 729 + -726. Solve -3*y + 5*w = 2*w + h, -3*y + w + 1 = 0 for y.
1
Let t be -18*(9 - (-84)/(-9)). Solve 0 = -4*u - 3*p - 32, -5*p = 4*u - t*p + 16 for u.
-5
Let k be (0/1)/(1 + -2). Let o = k + 20. Solve -4*x + 2*q = -x - 20, x = 4*q + o for x.
4
Let n(x) be the second derivative of x**4/3 + x**3/3 - 2*x**2 + 2*x. Let f be n(2). Let w be f/(-10)*(-50)/4. Solve i - 7 = 2*p - 4*p, p = 5*i + w for i.
-3
Suppose m + 5*c = 25, -c + 6*c = 4*m - 25. Solve f + m = -b, 4*b + 25 = 2*b - 3*f for b.
-5
Let c = -28 - -43. Let z = c + -15. Suppose 0 = 5*q - y - 2 - 21, 2*q - y = 11. Solve 0 = -q*p, -5*h + z*p - 25 = 2*p for h.
-5
Suppose -4*b + 13 = 3*d, -4*d + 0*b + 34 = 2*b. Let a be -5 + d + (-1 - 2). Solve -1 = h + 4*p, -p - 27 = 5*h - a*p for h.
-5
Suppose -i - 3*k + 8 = -14, 0 = 3*k - 12. Suppose 3*g - 35 = 2*p, 0 = -0*g - 5*g - p + 41. Suppose 0 + g = x. Solve -x = -s - s + r, 0 = s + 5*r - i for s.
5
Let q be (-13)/6 + 2 + 790/60. Suppose q*g - 16 - 10 = 0. Solve -2*c - 12 = -2*f, 21 = -5*c - 6*f + g*f for c.
-5
Suppose -7*j + 531 = 510. Solve -4*r = 5*o, 3*r + 3*o = -j - 0 for r.
-5
Suppose 2*f + 3*y = 6, 0*y + 4*y = 8. Let d be 4/5*(f + 5). Let c(z) = -z**2 - 6*z + 9. Let s be c(-6). Solve -9 = x + n, -d*x + s = -5*n - 0 for x.
-4
Let w(y) = 4*y**2 - 6. Let m be w(-2). Suppose m*g = 9*g + 3. Solve 0 = 5*b - 3*l + 6, 0 = g*b - 4*b + l - 2 for b.
0
Let r(l) = -13*l - 464. Let c be r(-36). Let w(s) = -2*s - 13. Let y be w(-9). Solve c*h + 26 = -y*i, -i + h = -3*i - 8 for i.
-2
Suppose -5*g + 42*m - 44*m = 8, -20 = 2*g + 5*m. Solve -4*u - 11 + 9 = 5*h, g = -5*h - u + 7 for h.
2
Suppose -3*o + 9 = -k, -2*o - 41*k = -40*k - 6. Solve 2*s - a = 7*s + o, -2*a = 6 for s.
0
Let v(s) = -2*s**2 - 19*s - 24. Let q be v(-7). Suppose -w + 4 = -0. Solve -4*b - q = a - 0*b, -w*b = 16 for a.
5
Suppose -38 = 4*o + 14. Let u be -1*(3*o + -2). Suppose -d - u = -5*y, 5 = -5*y - 5*d + 70. Solve -q - 2 - 1 = 0, -3*x + q = y for x.
-4
Let r be 7 - 9/(27/12). Suppose 5*s = -n + 15, s + r*s = 2*n - 2. Let w(o) = o - 8. Let u be w(10). Solve -u*i = 5*x - 25, -2*x = -s*i - 1 + 5 for x.
3
Let m = -5 + 9. Suppose 2*d - 3 = 3. Let g be -2*(-15)/12 + (-11)/22. Solve -3*l = g*y + 4, 0 = 5*y - d*y - m*l + 4 for y.
-2
Suppose -5*o + 0*o - 20 = 0. Let f be (-19)/(798/(-12)) - (-26)/7. Let d be 6/f - 2/o. Solve -d*w - w = u, -3*u - w = -8 for u.
3
Let y(h) = -8*h + 162. Let o be y(20). Solve -7 = -3*d - o*m + 7*m, -2*m - 4 = 0 for d.
-1
Suppose -m = -4*m - 5*x + 4, -x + 14 = 5*m. Solve 0 = 2*p + 2*q + 3*q + 6, 0 = -5*p - m*q + 4 for p.
2
Suppose 0 = -5*k + 7*w - 4*w + 1, 0 = -12*w + 36. Solve q - 2*t - 7 = -4*t, -k*q = -5*t - 5 for q.
5
Suppose 7*o + 1060 = -3*o. Let j = 137 + o. Solve 3*u - u - j = -5*h, -21 = -2*u - 3*h for u.
3
Let p(z) = 24*z + 171. Let k be p(-7). Solve i + k*g - 6 = 0, 4*i - 2*g = -1 - 3 for i.
0
Suppose -19*y + 5*y = -7*y. Solve -6*n - 3*b - 7 = -4*n, y = 4*n + 3*b + 11 for n.
-2
Let u be -2*2/8*-4. Let b(q) = q + 2. Let l be b(u). Let j = 1308 - 1305. Solve -2*g + h + 10 = -l, -4*g + 32 = -j*h for g.
5
Let j(t) = 137*t + 5. Let m be j(0). Solve -4*d - m*o = -5*d - 15, -8 = -2*o for d.
5
Suppose -y + 3 - 1 = 0. Suppose 0 = 6*i + 19*i - i. Solve 3*x - 4*x - y = i, 0 = 5*l + 4*x + 3 for l