 - 13 - 32 = g*k, 0 = -k + v*c + 5 for k.
-5
Let g(h) = 24*h**2 + h + 1. Let v be g(-1). Let t = -1015 + 1017. Solve -t*x = -5*m - 3, 5*x + 3*m - v + 1 = 0 for x.
4
Let m be (-7)/35 - 312/(-10). Let r = -26 + m. Solve -3*j - 20 = r*q, q - 1 = -j - 7 for j.
-5
Suppose -2*h = -5*x + 13, 0 = -3*x + 4*h + 5. Solve j = -4*m - x, -m + 9 = -2*j - j for j.
-3
Suppose 0 = 2*p - 3*u - 24, -14 = -2*p + 5*u + 18. Let c be 284/12 - 4/p. Let o = 321 + -316. Solve -o*l = -5*g - 5, l = -l - 5*g + c for l.
4
Let r(l) = 2*l**2 - 3*l. Let j be r(2). Suppose y + 3 - 6 = -j*h, h = -3*y + 14. Solve 8*p + y = 3*p - 5*v, -5*v = -5*p - 35 for p.
-4
Let j = 15 - 11. Suppose 4*i = -i - 125. Let m = 28 + i. Solve -m*d - 5*q = -1, 2*d + 2*q - 2 = -j for d.
-3
Let m be (1 - 8)/(-9 - (-88)/16). Solve m*x - q = 5*x - 13, -3*q + 23 = 5*x for x.
4
Let t be 21/6 - 3/(-6). Let q = 1 + t. Suppose -4*l = -4*v + 60, q*v - 3*v + 3*l = 5. Solve 3*h = -3*b + 9, h - 5*b + v = 5*h for h.
5
Let h(z) = z**3 - 7*z**2 + 6*z - 29. Let t be h(7). Let x(j) = 2*j**3 - 4*j**2 + 3*j. Let c be x(2). Solve -2*a - f - t = 0, a + f = c*f + 21 for a.
-4
Suppose 3*p - 8*p = 0, t + 4*p - 23 = 0. Suppose -b = -4*l + 21, 4*l + l - t = -2*b. Solve 0 = -4*d + l*s + 4, 7 - 15 = d + s for d.
-4
Let z(b) = -b**3 + 16*b**2 + 17*b + 28. Let o be z(17). Suppose -3*p + o = 3*y + y, -2*y - 4 = -3*p. Solve 0*g + 3*g = y*s + 12, 0 = 3*s - 5*g + 9 for s.
-3
Let y(c) = -c**3 - 13*c**2 + 13*c - 252. Let d be y(-15). Solve d*r - x = 3, -r + 4*x = -4*r + 3 for r.
1
Suppose 440 = 4*y - 12*y. Let u = y - -60. Solve 17 = 3*p - v, -5*p + 0*v = u*v + 5 for p.
4
Let p(k) = k**3 + 4*k**2 - 6*k - 5. Let y be p(-5). Let v = 263 - 93. Suppose 3*d = 13*d - v. Solve 3*c + 3 = 0, -4*w - c + y = d for w.
-4
Suppose a = 5*k - 4 - 0, -2*a = 5*k - 7. Let x be (-10)/(-4) + k/(-2). Suppose i = -2*t + t + 10, i = x*t + 13. Solve -3*z - 6 = 2*p + p, i = -z + 2*p for z.
-5
Suppose 0 = 3*j, -2 - 13 = -5*b + 5*j. Solve 4 = -2*o + o + d, 0 = -5*o + b*d - 18 for o.
-3
Let y = -1359 - -1369. Solve -5*r + 3*s - 25 = 0, -3*s - 15 = -y*r + 13*r for r.
-5
Let b be (-297)/(-6) - 2 - (-1)/2. Suppose 22 + b = 7*j. Let d be ((-6)/(-8))/(3/36). Solve -5*o = -j, 0 = -2*u - o - 1 + d for u.
3
Let k be (-30)/20*(-3)/(-9)*-10. Solve -k*j + 40 = 3*i, 2*j - j + 3*i = 20 for j.
5
Let q(w) = w**3 + 3*w**2 - 4*w + 4. Let i be q(-4). Suppose -2 = -s + i. Solve -s = 2*v - 4*x + x, 12 = 3*x for v.
3
Let p = 15 + -10. Suppose -t + p = -8. Solve c = 3*q + t, 0 = q + c - 1 for q.
-3
Let x = 41 - 56. Let v = x - -17. Solve 2*r - 2*z = -4 + 2, -4*z + 4 = -v*r for r.
0
Let q = -807 - -811. Solve 5*n + 3*p - 7 = 0, 2*p + 8 = 5*n + q*p for n.
2
Let q(k) = 3*k**3 + 14*k**2 + 8*k + 2. Let f be q(-4). Solve -c + 4*b - 17 + 3 = 0, -3*c - 12 = -f*b for c.
-2
Let a(c) = c**2 + c - 1. Let q be a(-3). Let w(u) = 6*u - u**2 - u**3 + 3 + u**2 + q*u**2. Let y be w(6). Solve 0 = k + 3, 3*f - k + y = -5*k for f.
3
Let m = -2721 - -2729. Solve m = 5*q - o, -q + 10 = -3*o - 0*o for q.
1
Suppose b - 3*w = -2, 0*b - 4*b + 3*w = 44. Let u(l) = -l**3 - 15*l**2 - 13*l + 17. Let v be u(b). Solve 11 = -o - 5*j, 3 + 6 = -3*o - v*j for o.
-1
Let t = 673 - 673. Solve -3*k + 3 = t, 4*z - 3*k + 0*k = 13 for z.
4
Let t(z) = -2*z - 29. Let g be t(-13). Let n = g - -3. Solve -5*l = 3*s + 20 + 7, n = s + 4 for l.
-3
Let b be 5 - 3*1/3. Let u be -1 - -2 - (b - 7). Suppose -4*m + u*v - 17 = -3*m, -m + 23 = 4*v. Solve a + 3*g + 3 + 1 = 0, -m*g = 6 for a.
2
Suppose 23*d - 18*d = 10. Let y = -3 - -6. Suppose y + 7 = 2*b. Solve 0 = -4*q - d*p + 6, -b*p = 4*q - p - 16 for q.
-1
Let f = -959 - -967. Solve f*t - 3*k = 6*t + 17, k = -5 for t.
1
Suppose 3*d = -15, d = 2*a - 5*a + 10. Suppose -x = -8*x + a*x. Solve 2*j + c + 0 - 1 = x, j = -c + 2 for j.
-1
Let s be 6/42 - 81/(-21). Let c(x) = x**3 - 3*x**2 - 2*x - 6. Let p be c(s). Solve p*q = 6*q + 3*y + 11, 5*q = -3*y - 13 for q.
-2
Let k(n) = 2*n - 2 - 9 - 3. Let c = -11 - -18. Let h be k(c). Solve h = 5*d - g + 13, 5*g - 15 = -2*d - 4 for d.
-2
Let o(q) = q - 1. Let b(m) = -5*m + 5. Let v(u) = -2*b(u) - 9*o(u). Let l be v(1). Solve -5*p + z - 4*z - 40 = l, 2*p = 2*z for p.
-5
Let r = -2811 - -2813. Let x(h) = 2 - h - 1 + 2. Let z be x(0). Solve -r*d - 5 = z*i + 12, -4*i = 4*d + 28 for d.
-4
Suppose 4 = -t, 4*u - 21 = 3*u + 4*t. Suppose -5*d + 61 - 4 = g, u*g - 43 = -3*d. Solve -3*c - 10 = -2*v, 5*v + 36 = -5*c + d for v.
-1
Let c(s) = -9 - 9*s + 3 + s**2 - 2. Let w = 38 - 28. Let a be c(w). Solve u - a*j = -u, -j = -4*u + 15 for u.
5
Let y be (10 + -13)*(1 + -2). Let j(m) = 6*m**3 - 4*m + 3*m - 19*m**y. Let v be j(-1). Solve x - 5*f - 12 = 8, -3*f - v = -x for x.
5
Let k(m) be the second derivative of m**3/6 + m**2 + 17*m. Let q be k(-2). Let d be (9/12)/((-1)/(-4)). Solve -3*g + d + 16 = z, q = 5*z - 2*g - 10 for z.
4
Suppose 8*z + 12*z - 80 = 0. Solve k = s, k = -s - z + 10 for s.
3
Let x(w) = w**3 - 7*w**2 + 6*w + 3. Let v be x(6). Suppose v*j = 5*j - 48. Solve 4*k - 3 = 3*y, -5*k - 5*y - 16 = j for k.
-3
Let d be (-16)/6 - 2/6. Let s be d/(-2) + (-3)/2. Solve 4*z = 3*q - 10, s = -3*q + 4*q - z - 2 for q.
-2
Let o be (-1)/3 + (-5)/(-15). Let r(j) = o*j + 6 + 1 + 2 - j. Let l be r(7). Solve 4*i + l*s + 8 = s, 2*i - 14 = -5*s for i.
-3
Let v = -2 - -6. Suppose -z - 2*z + 3*l = -24, z - 5*l - v = 0. Suppose 4 - z = -j. Solve 2*i + 21 = j*h, -5*i - 2*h + 35 = 3*h for i.
2
Let x be (1 - -2) + -2 + 4. Suppose -5 = -x*k + 20. Solve -a + 23 - 9 = 3*i, -k*i - 4*a + 28 = 0 for i.
4
Let u = 16 + -13. Let o(x) = x**2 - 7*x - 16. Let q be o(9). Suppose -6*n + 12 = -q*n. Solve u*f = -f - a + n, f + 2*a = -1 for f.
1
Suppose l + 4*d - 114 = 0, 4*l = -7*d + 3*d + 420. Suppose 2*p - l = -p. Let o = -32 + p. Solve 3*j = 5*b + 9 - 27, -o*j - 5 = -b for b.
3
Suppose 21 = -4*v + 5. Let y = -2 - v. Suppose 5*a = 36*a - 155. Solve -4*t + 40 = a*k, 2*t = -y*k + 3*k + 6 for t.
5
Suppose 0 = -5*k - 5*h - 15, -4*k = -7*k + 5*h - 33. Let u(y) = y**3 + 7*y**2 + 3*y - 16. Let p be u(k). Solve 14 = -3*q + s, 8 = -4*q + p*q + 2*s for q.
-5
Let t = -781 - -786. Suppose -s = -7*k + 3*k + 12, -5*s = -4*k + 12. Suppose 4 = -k*b + t*b. Solve b*y = -3*a - 3*y, -2*a + 4*y = 0 for a.
0
Let j be (-936)/(-32) + 2/(-8). Suppose -4 - j = -3*t. Suppose -36*a = -38*a + 10. Solve 2*y - 4*d - 8 = 0, a*y - d = -0*y + t for y.
2
Let r be (-1)/(-3)*6 + 2. Suppose -r*x = -17 + 9. Solve f + 7 = 3*s, 2*s - x*f + 0 - 2 = 0 for s.
3
Suppose -2*m = 3*y + 7, 32*y = 5*m + 35*y - 5. Solve -w + 0 - m = -2*u, 5*w - 5*u + 20 = 0 for w.
-4
Suppose 0*k - 21 = -2*i - 5*k, -4*k = -4*i. Suppose 0 = -60*g + 10 + 230. Solve -5 = -3*t + 2*h, -t = i*t - g*h - 4 for t.
3
Let l(z) = z**3 + 8*z**2 - 2*z - 12. Let o be 400/(-60)*6/5. Let q be l(o). Solve -a - 3*i = 0, -2*a = -0*a - q*i - 10 for a.
3
Suppose 4*z = -2*q + 4, -3*z + 4*q = -7*z. Solve -5*k + 5 = -2*x + 1, -4*k = x + z for k.
0
Suppose -3*w = -8*w. Suppose 4*k + 98 = 2*k. Let c = -46 - k. Solve 0 = 3*z - 12, 3*z - 24 = c*h - w*h for h.
-4
Let y(i) = i**2 + 4*i + 2. Let c be y(-4). Suppose -l - 16 = -c*l. Suppose -24 = -2*u - 4*j, 0 = 4*u + u - j - l. Solve 5*p - 11 = -b - 2, -4*b = 4*p - u for p.
2
Suppose -6 = 2*c - 2*g - 24, -4*g = c + 16. Solve -3*k + 0*k + 2*p + 12 = 0, k = -p + c for k.
4
Suppose 3*w - 55 = -8*w. Solve w*z + f = -17 + 1, -5*z + 3*f = 12 for z.
-3
Suppose -4*x + 0 = -12. Suppose -j = x*j. Suppose q + q = j. Solve -4*r = -3*y + 4 - 5, -4*r + 4 = q for y.
1
Let j = 723 - 721. Solve 5*u + j - 1 = -4*r, 4*r - 6 = 2*u for r.
1
Suppose 0 = 5*a + 2*d + 15, a + 10 + 11 = -4*d. Let r be a/(-2) + 1/(-2). Let w = -16 - -21. Solve h + 1 = k - r, 0 = -h - w for k.
-4
Let k(u) = 4*u**2 - 14*u - 5. Let n be k(4). Solve 2*l + 3 = -l + n*w, 3*l = -2*w + 17 for l.
3
Let r = -681 + 687. Solve p + 5 = 2*y + r, -2*y = 4*p - 14 for y.
1
Suppose 14*j = 10*j + 20. Suppose -y = -4*p + 6*p, -2*p + j*y = 0. Solve i = 2 + 2, p = 2*v - i + 12 for v.
-4
Let v(r) = r + 3. Suppose i + 12 = -3*i. Let q be v(i). Suppose q = 5*m - 2*p + 2, 2 = -2*m + 4*p - 2. Solve -4*k - 4*g = -4, -3*k - g + m = -1 for k.
0
Let q = -1223 + 1224. Let c(j) = -j**3 + 4*j**2 - 3*j. Let z be c(3). Solve 4*t + p = z, 2*t - 4*p - 17 = q for t.
1
Let a = -1 - -4. Suppose -2*t + 5*x + 28 = 0, -4*t + 5 = 2*x 