pose 4*j - y - 13 = 0, -5*y = -3*j + 17 - 3. Suppose -5*f + l = -0*f - 16, 2*f - 3 = -j*l. Solve -n - f*h + 6 = -5, -2*h = -10 for n.
-4
Let w = 24 - 21. Let p be w + -10 + 3 + 6. Solve -p = -2*g, 0 = 2*s + 5*g - 4 + 9 for s.
-5
Suppose 0 = 4*s - 4 + 12. Let r = -3 - s. Let l = r - -6. Solve 5 = 2*z - 5*v - 7, -l*z + 9 = -2*v for z.
1
Suppose -2*r = 4 - 0. Let i = r + 2. Solve -t + 4*d - 10 = -i*t, -13 = t - 5*d for t.
2
Suppose 4*f - 3*x - 23 = 0, -1 = -3*f - 3*x + 2*x. Suppose 0 = -i + f*i - 5. Suppose -i*g + 19 = -1. Solve -3*a + a - g*z = 0, 0 = 2*z for a.
0
Let d(t) be the second derivative of -t**3/2 + t**2/2 + t. Let b be d(-1). Solve 5*n + b*s = 0, n + s = -n + 3 for n.
4
Suppose 0 = f - 2*f. Suppose 7*h - 4*h - 9 = f. Solve h*d + 18 = -p, -5*d = 8*p - 3*p + 40 for p.
-3
Suppose 0*s = 4*s. Let m = 3 - s. Solve -3*n + 1 = 5*i - 0, m*i = 2*n + 12 for i.
2
Suppose -3*h + 9 = 3. Suppose 4*s - h*y = -2, -s = -2*s + 2*y - 2. Solve s = 4*t - 3*i - 5, 2*t - 5 = i - 0 for t.
5
Let o = 185 - 183. Solve -o*x + 4*k + 30 = 0, -4*k = 2*x - 0*k + 10 for x.
5
Let o(i) = i**3 - 2*i + 2. Let q be o(3). Solve -2*g = -h + 11, -6 + q = -5*g - h for g.
-4
Suppose 2*u - 22 = -2*y, -3*u - 3*y + 3 = -6*y. Let q be (-4)/u + 24/9. Solve q*k + 7 + 0 = 3*s, 0 = -3*s + 3 for k.
-2
Let l = -8 + 7. Let u = 4 - l. Solve p + u = 5*a, 24 = 2*a + 5*p - p for a.
2
Let h be (1*2)/(2/3). Let c be 2 + (3 - h) + 0. Solve -2*g - 2 = c*l - 12, 5*g = 2*l + 11 for g.
3
Let k be (-7 + (-2 - -9))/(3*1). Solve 0 = -3*l + 2*c, -4*c + 0 - 12 = k for l.
-2
Let t(a) = 8*a - 1. Let i be t(2). Let o = 30 + -50. Let j = -20 - o. Solve -2*h + k = -j*h - i, -10 = 2*k for h.
5
Let k = -4 + 7. Suppose -2*h = -5 - k. Solve l + 30 = 5*t, -l + h*l + 10 = -t for l.
-5
Suppose -s + 2*s = 3*k - 11, -17 = 4*k + 5*s. Solve 6 = -k*c - 2*i, 5*c - 4*i = 5 + 7 for c.
0
Suppose -19 = 2*q - 25. Suppose x = -q*x. Solve 4*w + 4*l + 4 = x, -w + 4*l = 2*l - 11 for w.
3
Let t be (-1)/(-3) + 150/9. Suppose 5 = -k + t. Suppose 0 = -a - a + k. Solve -5*w = -a*w + 4*r + 18, -3*w + 3*r = -9 for w.
-2
Let b(o) = -5*o + 55. Let m be b(11). Solve -4*u = -5*s + 4*s + 11, m = -4*u - 8 for s.
3
Let m(p) be the first derivative of -p**3/3 - p**2/2 + 3*p + 3. Let a be m(-4). Let g = 0 - a. Solve 3 = -l + f + g, 4*l + 2*f = 6 for l.
3
Suppose -4*k + 16 = -4*s, k + s = -k + 11. Solve 4*l + 2*c + 3 = k*c, -5*l + 10 = -c for l.
3
Suppose 5*h - 2*f + 5*f = 0, -3*f + 27 = -4*h. Let o = h - -6. Solve 3*m = b + 8, -4*b - 18 = o*m - m for m.
1
Let s(h) = 5*h**3. Let o be s(1). Solve c + 5*v = 3*v, -4*c + o*v = 26 for c.
-4
Let s(g) = g**3 - 7*g**2 + 2. Suppose -5*n - 16 = 4. Let m = 11 + n. Let l be s(m). Solve 18 = p + 5*x + 4, l*x - 2 = -4*p for p.
-1
Let p be 114/7 + -5 + (-264)/(-56). Solve 2*v + 4*a = 16, -3*v + 2*a - 4*a = -p for v.
4
Let b = -10 - -12. Solve b*i + 1 = -2*i + 5*u, 4*i + 2*u = -22 for i.
-4
Let u = 17 - 17. Solve -4*p = 2*x, 2*x + u*x - 4*p - 8 = 0 for x.
2
Suppose -4*b - 2*t + 26 = 0, -4*b + 3*t + 8 = -t. Solve 5*k - 4*l - 8 = 3*k, -14 = -b*k + 4*l for k.
2
Let g(a) = a**3 + 5*a**2 - 5*a + 8. Let u be g(-6). Suppose 20 = -u*f + 30. Solve 0 = 4*r + 2*h - 9 - f, -2*h - 31 = -5*r for r.
5
Let i(x) = -x**3 + 11*x**2 - 10*x. Let b be i(10). Solve b = -3*w + w - 2*s + 2, -2*w = 4*s - 8 for w.
-2
Let p(l) = l**3 - 2*l**2 - 3*l + 3. Let w be p(3). Let j(g) = g**3 + 2*g**2 - 5*g - 3. Let r be j(-3). Solve -3*c + 5*a = -15, -a - w = r*c + c for c.
0
Suppose -f = 3*z + 11 + 4, -2*f - z = 5. Let d be (-4 + -4)*2/(-4). Solve f*i - 2*i = p - 7, -3*i = -d*p - 5 for i.
3
Suppose 4 + 0 = -q. Let z = 3 + 4. Let a = q + z. Solve 5*m = 0, 3*c - 2*m = a*m for c.
0
Suppose -10 = 2*o + 8. Let q be (-2 + (-21)/o)*12. Solve f - 6 = q*d, d + d = -f for d.
-1
Suppose 3*z - 25 = -37. Let b = 7 + z. Solve -2*s - 13 = 3*r, b + 1 = -s + r for s.
-5
Suppose 0*d = -4*d + 8. Suppose -2*y - 4 = -y. Let q be (d/(-4))/(y/24). Solve -3*n - 4*c = 24, q*c - 3 - 8 = 5*n for n.
-4
Let j be (18/15)/((-2)/(-5)). Suppose b + j - 4 = 0. Solve 2*z + 5*r = 25, 3*r - 3 - b = z for z.
5
Suppose 4*l - 9 = l. Solve -5*v = l*p - 6, -3*p - 4 = 2*v - 1 for v.
3
Let r(j) = -j**3 - 8*j**2 - 9*j - 9. Suppose 6*n + 14 = 4*n. Let g be r(n). Solve -3*u - 4*o + 10 + 2 = 0, -2*o = g*u - 20 for u.
4
Suppose 0 = g - 3*j, 4*j = -g - 2*g. Let n be 1/2*(0 + g). Solve i - 4*q - 15 = n, -4*i + 5*q + 15 = i for i.
-1
Let r be 22/8 + (-3)/(-12). Let u(f) = -f**3 + 4*f**2 - f - 4. Let m be u(r). Solve 6 = -m*j + 4*d - 12, -4*j = -2*d + 18 for j.
-3
Let r(u) = u**3 + 21*u**2 + 9. Let b be r(-21). Solve 3*j = -y + 5, 0*y + 3*y + 3*j - b = 0 for y.
2
Let t = 52 - 38. Solve 14 = -3*y - 2*h, y + t = h - 4*h for y.
-2
Let u = 66 + -60. Suppose -3*p + p = -4. Solve -2 = p*l + r, u*l - 2*l = r - 4 for l.
-1
Suppose 12 = 4*g - 8. Let r = g + -5. Solve r = 2*v - 3*q - 12, -q + 13 = 3*v + 2*v for v.
3
Suppose -21 = -2*i + 5*b, 0*b + 2*b = -2*i. Solve -4*d + 2 = -3*q + 1, -2*q + i*d = 0 for q.
-3
Suppose -3*g + 16 = g - 4*a, 2 = -4*g - 5*a. Solve 8 + 3 = -b + 3*v, g*v = 4*b + 14 for b.
-2
Suppose 2*x = 3*x. Let j(w) = -w + 3*w - 7 - 3*w + 0*w. Let d be j(-11). Solve -d*o + g - 13 = x, 0 = -g + 1 for o.
-3
Suppose 0*v - 2*u = -2*v + 56, -3*u = -4*v + 115. Solve -i = -5*p + 5 - v, p + 10 = 5*i for p.
-5
Let d(q) = -q - 4. Let h be d(-6). Suppose -3*z - 5*f = -34, 0*z = -2*z - 4*f + 20. Let p be z/(-4)*h/(-3). Solve -o + 3 = -p*j, j + 2*j + 2*o = -12 for j.
-2
Suppose -5*s - 15 + 30 = 0. Solve -7 + s = -g - t, 4*g = t - 9 for g.
-1
Suppose 2*k - 8 = 0, j = k - 2*k + 9. Solve -4*l = -3*c - 4, -3*c + 5 = j*l - c for l.
1
Let d be 15/(-2)*6/(-9). Solve -4*y + 3 = -d*q - 3*y, 5*q + 15 = -5*y for q.
-1
Let o(h) = 4*h**2 - 3*h + 3. Let f be o(1). Solve -10 = f*t + 2*p, 3*p - 5*p + 6 = -4*t for t.
-2
Let i = -7 + 1. Let f be 2/6 + (-16)/i. Solve 0*k = -2*p + 3*k + 19, 2*k - 9 = -f*p for p.
5
Let f(t) = 3*t**2 - t - 1. Let j be f(-1). Solve j*g + 0*l - 4 = 2*l, 2*g + 2*l + 14 = 0 for g.
-2
Let z = -2 - -7. Suppose 0 = -3*t + 13 + 20. Solve 33 = z*q + 4*g, -g + t = q + 2*g for q.
5
Suppose 5*p = -0*p + 20. Suppose p*z - 3*z - 5 = 0. Let x(s) = 2*s**2 - 2*s. Let n be x(2). Solve -z*w - 15 = -5*q, -4*w - 11 = -n*q - q for q.
-1
Suppose 5*i = 20 + 10. Let g = 11 - i. Solve -g*z = -0*c - 2*c + 21, -4*c + z = -15 for c.
3
Suppose 5*p - h = -2*h + 5, 0 = 5*h. Let m be (5 + 0 + -2)*p. Solve -i + m*i - 4*l = 14, -5*l = i for i.
5
Let o(a) = -4*a - 3. Suppose -10 = 4*d + d. Let y be o(d). Let i be 4*2/4 - 1. Solve 0 = -b + 2*n - y + i, 2 = 4*b + n for b.
0
Let d be (1 + 0 + -23)/(-2). Let o = d - 7. Suppose -o*p - 8 + 104 = 0. Solve y - p = 5*y - 5*z, 4*z = 4*y + 20 for y.
-1
Let g(k) = k**3 + 10*k**2 - 12*k - 7. Let l be g(-11). Suppose 9 = l*o + 1. Solve 0 = 4*t - o*w - 3 - 7, 4*t = 4*w + 16 for t.
1
Let u = 39 - 28. Let r = u + -6. Suppose r*v - 4 = 6. Solve -5*d = 20, -3*y + 2*d = -19 + v for y.
3
Suppose 5*n + 0 - 15 = -3*r, -5*r = -25. Solve 0*y + 5*h + 1 = y, n = -5*y + 3*h - 17 for y.
-4
Suppose -38*t + 43*t = 35. Solve -t*k + v + 19 = -2*k, -4*k + 2*v = -14 for k.
4
Suppose 0*r = 4*r. Let w(d) = -2 + 3 + r*d + d. Let v be w(3). Solve 5*j + v*b - 16 = 0, 0*j - 3*j - 2*b + 10 = 0 for j.
4
Suppose 0 = -p + 4*u - 9, -6*p + 6 = -2*p - 2*u. Solve -4*g + 2*r - 1 - p = 0, -3 = 3*g + 5*r for g.
-1
Let x be -1 + (27 - 0/(-2)). Let f be (40/12)/(2/3). Solve -5*t = 2*q - 31, -4 = -3*t - f*q + x for t.
5
Let s be 2 + -2 + 1 + 3. Suppose -13 = -3*k + 2. Suppose -k*i + 8 = -2*w, -12 = -4*i - i + 3*w. Solve s*g + 2*d + 1 - 5 = i, 5 = -g + d for g.
-1
Let v(u) = u. Let f be v(-1). Let t be ((-25)/(-10))/(f/(-2)). Solve 2*r + 8 = 0, -t*r - 13 = 2*d + 13 for d.
-3
Suppose 2 = 3*d - 13. Solve 0 = d*n - 5*z + 10, 0 = -5*n + 4*z - 2 - 5 for n.
1
Let j = -61 + 61. Solve -4*r + 4*w = j, w = -3*r - 0*w - 20 for r.
-5
Suppose 8*q - 15 = 3*q. Solve 0 = q*b - 4*o - 1, -2*o = -2*b - 0*b for b.
-1
Let d be ((-4)/(-3))/((-2)/(-6)). Let q be 21/35 - (-24)/10. Solve -z = -d*i + 4, -q*z - 4*i = -2 + 14 for z.
-4
Suppose 0 = -0*s - 5*s. Let k = s - 0. Solve -3*l + 5 + k = 4*b, 0 = -4*b - l + 15 for b.
5
Let m(x) = x + 10. Suppose 23 + 5 = 4*c. Suppose 0*j - j - c = 0. Let y be m(j). Solve 0 = i - 4*l + 23, -43 = 5*i - y*l - 13 for i.
-