0 + 4, 2*s - 3*c = 16 for s.
5
Let r(v) = 4*v**3 - v. Let t be r(1). Suppose t*q + 2 = -4*d, -d = -4*q - 1 - 8. Let z = q + 2. Solve z = 5*b - 2*o + 27, -5*b - 9 = -3*b + o for b.
-5
Let m be ((-8)/20)/((-3)/75). Let h = 3 + m. Solve -x + 4*s + h = 7*s, 3*x - 3*s = -9 for x.
1
Let j be 24/42 + 62/14. Solve 2*v + 3*v = -5*r - 35, -v = -2*r - j for r.
-4
Suppose 4*p + 24 = 7*p. Suppose 10*n = p*n + 8. Suppose 0 = -5*z + 5, 2*l + 0*l = -n*z + 14. Solve 0 = -4*m + 9*m + l*b + 25, 2*m + 2 = 2*b for m.
-3
Suppose -7*h + 36 - 15 = 0. Solve -4*a + 0*c + h*c + 16 = 0, 20 = 5*a - 5*c for a.
4
Let i be 1 + -1 + 0/9. Let r(h) = -h**3 + h**2 - h + 2. Let b be r(i). Suppose b*a = 5 + 7. Solve 4*z - 16 = -j, -5*j = -a*z + z + 20 for j.
0
Let f = -36 + 59. Solve 2*x - s = -5*s + 18, 5*s - f = -2*x for x.
-1
Let p(x) = x**3 - 5*x**2 + 6*x - 3. Let n be p(4). Let a = -2153 - -2157. Solve n*h - 31 = -a*k - 0*k, 2*h + 6 = 3*k for k.
4
Suppose -10 = -2*x + 3*w, 9*w + 25 = 5*x + 6*w. Solve 0*t = 2*u - 4*t, 0 = -x*t for u.
0
Let j be 15 - (-1 - (-99)/11). Solve 3*f = -5*u, -u + j*f - 2*f - 28 = 0 for u.
-3
Let n(c) = -5*c - 36. Let z be n(-8). Suppose -q - z*v = -3*v + 1, -q - 2*v = 4. Solve 3*d + f = -18, 4*d - 5*d + f = q for d.
-5
Suppose c - 6 = -4*u, -2*c - 4*u + 7 = -u. Solve 3*q + 12 = -2*b, -c*b - 4*q = q + 16 for b.
-3
Let d be (-116)/(-14) + (-1230)/(-105) + -12. Solve c - 2*m = 7, 2*c + 2 = -4*m - d for c.
1
Suppose 60 = -a + 4*a + 2*d, -2*a = 3*d - 40. Suppose 0*k + 8 = 2*k. Suppose -k*u = -3*u. Solve 0 = -4*s + a, -l + s - 6 = -u*l for l.
-1
Let b(f) = 40*f + 245. Let w be b(-6). Solve -w*n + 2*z = -3*z + 20, -28 = -3*n - 5*z for n.
1
Let k(f) = -f - 11. Suppose -37 = 6*c + 29. Let u be k(c). Solve n + n - 5*y - 9 = 0, u = -4*y - 4 for n.
2
Suppose -8 = -3*y + 4. Let r be 6/(-3 - -1) - -3. Let m(f) = -f**3 - 2*f**2 + f + 3. Let x be m(-4). Solve -4*j + x = -5*n - r*j, -y*n - 4*j = -4 for n.
-3
Let c(j) = -j - 3. Let m be c(3). Let y = -3 + m. Let g = -3 - y. Solve f + 4*x = -13, 3*f + 17 = g*f - 2*x for f.
3
Let z(r) = r**2 + 4*r - 250. Let c be z(14). Solve 5 = 5*u, 7 = -c*l + 7*u - 2*u for l.
-1
Let u be (-4)/(-26) + 500/130. Let v(k) = -5*k - 5*k**2 + 0*k + 2 - 5*k + 4*k + k**3. Let n be v(6). Solve 3*g - 7*g = -n*q - 20, 5*q + 26 = u*g for q.
-2
Suppose k - 36 = -5*k. Suppose 5*v - 22 + 3 = f, -2*f = -2*v + k. Suppose 3*h + 16 = 124. Solve -v*l + 4 = 4*m, -4*l = -3*m - m + h for l.
-4
Suppose -3*j - 3*h = -27 + 3, -15 = -5*h. Solve -5*z + 20 = 5*g, -2 + 12 = 3*z + j*g for z.
5
Let l(x) = 2*x**2 - 5. Let t be l(2). Solve -t*n + 0 + 4 = 5*g, -4*n = -2*g + 12 for g.
2
Suppose 0 = 4*y - 3*y - 3*n - 24, y - 31 = -4*n. Solve t - 3*t + 3*l = 7, y = -5*t - 2*l for t.
-5
Let q(p) = -p + 48. Let x be q(19). Let h = 33 - x. Solve 28 = -4*s - 4*g, 7*s - 2*s - h*g - 1 = 0 for s.
-3
Suppose -55 = -18*l + 7*l. Solve p + l*d = -15, -5*d - 22 + 7 = 5*p for p.
0
Suppose -14*m + 53 = -3. Solve y - 8 + 0 = 2*i, i = m*y - 18 for i.
-2
Suppose 0 = 6*y - 1 - 23. Suppose 37 = y*w + 5*t, -4*t = -5*w + 3*w - 14. Solve 10 = 5*r - 2*l, 4*r - l - 14 = -w for r.
4
Suppose 0*z - 2*z + 2*g = 0, -3*g = -6. Suppose -z*h = -3*k - 0*h + 38, -h = k - 11. Let x be (-1 - -2)/(6/k). Solve d = 5*r + 15, r = x*d - 0 + 6 for r.
-4
Let o = -31 - -33. Suppose -4*d + 2 = -o. Solve -3 = 3*r, -d = -a - 3*a - 3*r for a.
1
Suppose -2059 + 2074 = 5*m. Solve -u - 2 = 0, 0*o = -m*o - 2*u - 19 for o.
-5
Let k(b) = -b**3 - 15*b**2 + 36*b + 40. Let u be k(-17). Let w(r) = r**2 + 8 + 0 - 2*r - 5*r. Let a be w(u). Solve 5*m + i = -30, a*m = 7*m - 3*i + 10 for m.
-5
Suppose 33*l = 37*l - 12. Suppose l = 5*o - 7. Solve 5 = -0*n + 5*n + o*y, -3*y + 1 = n for n.
1
Suppose -2*r + 4*p = -50, -5*r + 4*p + 25 = -100. Suppose f + 10 - r = 0. Solve 2*j - f = -0*v + 5*v, j = -5 for v.
-5
Let c(x) = 5*x**3 - x. Let z be c(1). Suppose -f - 17 = -4*g, 0 = -3*g + 4*f + 7 - z. Solve -3*h + 3 = -3*b + 4*b, -g*h - 2*b + 5 = 0 for h.
1
Let y be (42/(-21))/(3/(-6)). Solve -2*i + y*c - 7*c + 21 = 0, -2*i + 11 = c for i.
3
Suppose 0 = -n + 2. Suppose -13*w + 49 = -6*w. Let r be 84/(-24)*(-6)/w. Solve r*p = c - 8, n*c - 5*c + p = 0 for c.
-1
Let n(d) = d + 5. Let l be n(-1). Solve -l*v + 2*x = v + 4, -3*x = -5*v - 6 for v.
0
Let n(k) = 10*k + 15. Let d be n(-6). Let y = 49 + d. Solve 2*j - 22 = 5*p + j, 6 = -y*p - 5*j for p.
-4
Let f = -34 - -37. Let h(s) = s + 1. Let g be h(4). Solve q = f*q + l - 1, q + g*l = 14 for q.
-1
Let c = -876 + 882. Solve -10 = -2*d - 14*r + 11*r, -2*d + r = c for d.
-1
Let o(v) = v**2 + v - 7. Let z be o(-4). Let p(q) = -q**2 - 2 + 4*q + 0 + 2*q. Let u be p(z). Solve -12 = 3*l + 4*s, -7*s = -2*l - u*s - 8 for l.
-4
Let j(p) = 3*p**2 + 7*p - 5. Let x be j(1). Solve 10 = b + 2*i + 3*i, -x*b = 2*i - 4 for b.
0
Let f(b) = -b**3 + 12*b**2 - 2*b + 5. Let p be f(0). Solve 4*r + 8 = -4*a, -2*a + a + 2*r = p for a.
-3
Let y(f) = 2*f**2 + 12*f + 18. Let a be y(-2). Solve 2*c - a*w - 4 = 4*c, 3*c + w = 4 for c.
3
Let j = -18 - -3. Let o(n) = -n - 12. Let i be o(j). Suppose 4*x - 9 = 3*g, i*x - 2*g = -0*x + 7. Solve x*u = 4*s - u + 28, -3*s - 7 = 4*u for s.
-5
Let i = 196 + -191. Solve 2*x - 21 = 6*t - t, i*t = x - 23 for t.
-5
Let x = 2697 + -2685. Solve 3*p - j + 5*j = 14, -p + x = 5*j for p.
2
Let d(p) = p**3 - 26*p**2 + 22*p + 77. Let v be d(25). Solve -2 = v*n + 3*l, 3*n - 2*l = -0*n + 23 for n.
5
Let b be 2/(-6) - (-10)/3. Suppose -2*o = -7 - b. Suppose 4*x = -3*p + 41, -3*x - 51 = -8*x - 4*p. Solve -3*w - 19 = -o*f, -x = w - 7*f + 3*f for w.
-3
Suppose -49*z + 0*z = -245. Solve z*k - h - 10 = -3*h, -3*k = h - 7 for k.
4
Suppose -t = 5, 3*t = -4*c + 5*t + 18. Solve 3*d = -3*k - 35 + 14, -k + c*d = -5 for k.
-3
Let s(o) = o**3 - 19*o**2 + 19*o - 18. Let p be s(18). Solve k - h - 4*h + 20 = p, 0 = k + 2*h - 15 for k.
5
Suppose 0 = 15*o - 18*o + 24. Let c be ((-68)/o)/((-5)/10). Solve 2*a - 5*n + 0 = 13, 5*n + c = 3*a for a.
4
Let f(j) be the second derivative of j**3/6 + j**2/2 - 2*j. Let d be f(4). Let g = 272 + -271. Solve -g = m + d*x, 4*m - 5*x + 8 = 29 for m.
4
Let c = 361 - 350. Let q be (-62)/(-8) - (-1)/4. Suppose c*y - q*y - 39 = 0. Solve 4 = 3*t + h + y, -10 = 4*t + 2*h for t.
-4
Let b = -270 + 290. Solve -7*v = -4*v - 5*r + 12, b = -5*v - 4*r for v.
-4
Suppose -3*u - 9 = 2*j + j, j = 3*u - 11. Solve -g + 2 - 11 = -4*v, g = -u*v + 3 for v.
2
Suppose -5*u = 2 - 22. Let z(m) = m**2 - 6*m. Let k be z(6). Solve -u*n - 3*y + 3 = k, 2*y = 5*n + 7*y for n.
3
Suppose 34 = 7*d + 13. Solve -d*l = -g - g + 9, -15 = 3*l for g.
-3
Let k be 5 + -1 + (-1)/1. Suppose 0 = -2*d + k*d. Suppose z + 34 = 6*z + 4*n, -n + 46 = 5*z. Solve 5*y = -d*v - 5*v - z, -2*y + 2*v + 12 = 0 for y.
2
Suppose -3*h - 4 = -13. Solve 0 = h*m - 4*o + 14 + 1, 5*m + 4*o = 7 for m.
-1
Suppose -3*h - 15 = -2*q, -4*q = q - h - 44. Solve 12*l - 10 = q*l + 5*g, -5*l + 3*g + 22 = 0 for l.
5
Let n(y) = 2*y**2. Let r be n(-2). Suppose a = 3*k + 9, -426*a + 3 = -425*a - k. Solve a*b - 20 = 4*b, -2*b - r = m for m.
2
Let a be (1 + 5)*(-25)/(-75). Solve -3*s = -2*t - 23, 3*t - 8 = -6*s + a*s for s.
5
Let r(q) = q**2 - 3*q - 1. Let a be r(4). Suppose 2*s - a = 1. Suppose -s*u = -6, 2*u - 2 = f + 1. Solve -4*c - 2*g = -4, 2*c - 1 = -f*g + 5 for c.
0
Suppose -5*g + 75 = 4*f, 0 = 2*g - 1 - 5. Let b be (-5)/(-3)*18/f. Solve -3*j + 0*j + 15 = -5*w, 5*w - 10 = -b*j for j.
5
Suppose o - 10 = -4. Suppose y - 5 = -o. Let u be (y - -3)*(-275)/(-22). Solve 0 = -5*t - 4*w + 5, -u = 4*w + w for t.
5
Let g be ((-20)/(-15))/((-1)/6). Let u = -6 - g. Let p(q) = -q. Let w be p(-2). Solve u*i = -2*l - 2*l + 14, -w = -2*l + 4*i for l.
3
Let u(f) = -f**3 + 14*f**2 - 15*f + 29. Let q be u(13). Solve -l = -2*x - 8, -q*l + 10 = 5*x + 30 for l.
0
Let z = 87 - 36. Let d = z - 22. Solve -o + 3 = 0, 0 = -4*l + 2*o - d + 3 for l.
-5
Let n be -9 - (-8)/((-80)/(-110)). Solve -5*c - 2*i = 5, -c - 2 = i + n for c.
1
Suppose -10 = -2*i - 4. Let u be (-3)/2*(-512)/48. Let b(w) = -w**2 + 16*w. Let t be b(u). Solve -2*z = -t*z + i*y + 6, -4*y = -3*z + 25 for z.
3
Let x be (-366)/(-13) - 6/39. Suppose 8*v - 30 = 2*g + 4*v, -2*g + 3*v = x. Let t be -3 + (-6)/(-2) - g. Solve -t = 2*o - q, -5*q = -3*o - o - 31 for o.
-4
Suppose -6*j = -3*j + y - 16, -2*j = -2*y. Solve 5*v = -j*w + 8, -3