- 1 = 2*s, 0 = -k - g*s + 15 for k.
5
Let b be 106/34 - 2/17. Solve -4*k = -x + 14, -2*k - b*x - 17 = -3 for k.
-4
Suppose 5*s + j + 66 = 0, 5*s + 5*j - 26 = -96. Let b = 7 - s. Solve -5*c - m - 16 = 0, -2*c + m = -2*m + b for c.
-4
Let p(g) = g. Let x be p(3). Let a(j) = 4*j - 3. Let d(b) = -b. Let l(o) = a(o) + 2*d(o). Let q be l(x). Solve -n + 4*f = q*n + 4, 0 = n + 2*f + 13 for n.
-5
Suppose 4*y + 1 = 5. Suppose -2*b + y + 20 = 3*p, 3*p = 5*b. Solve 3*m = -15, 8*z - 3*z = b*m + 20 for z.
1
Let j = -6 - -17. Let h be -4*2*(-22)/j. Solve 4*t + h = 2*r + 6, -5*t = 5*r + 20 for r.
-1
Let h(y) be the first derivative of -y**4/4 + 5*y - 2. Let v be h(0). Suppose 0 = 4*c - v - 11. Solve c*b - 5 = 2*k + 1, 3 = -4*k + 5*b for k.
3
Let d(x) = -x + 1. Let h be d(-4). Let u = 2 + 0. Suppose -i + 0 = -u. Solve 0 = -3*f - f + 4*j, i = -3*f + h*j for f.
1
Suppose -4*v = -3*i + 46, -24 = -2*i - 0*v - 4*v. Solve -5*p - 3*t = -2, -p - i = -2*t - t for p.
-2
Let l be (-6)/(-21) - 33/(-7). Suppose 3*k + 0*u = -3*u + 15, l*u = k + 13. Solve 0 = 4*a + 20, -3*c - k*a - 12 = -5*c for c.
1
Suppose -2*i - 15 = l, 4*i + 4 + 30 = 2*l. Let f = 17 + i. Solve -o - f = 3*k, -5*k - 5*o = -5 + 20 for k.
-3
Suppose -2*h = 3*g - 6*g - 9, 14 = 3*h - 5*g. Solve 0 = -b + 3, -j + 0*j + h = 2*b for j.
-3
Suppose -5*w + 0*w + z + 33 = 0, 2*w - 2*z - 10 = 0. Solve -g - 8 = 4*k + 2*g, -k - 3*g = -w for k.
-5
Suppose 7*d = 4*d. Solve d = 5*b - r - 13, -2*b = 6*r - r + 11 for b.
2
Let n be (-64)/(-10) + 8/(-20). Let r be (-4)/((-16)/n)*2. Suppose 0 = 4*b - 97 - 63. Solve r*h = 3*w - 2*h, -5*w - b = 5*h for w.
-5
Let c(n) = n. Let t be c(0). Suppose 5*g + g - 30 = t. Solve -g*k + 1 = 2*l - 4, 5*k - 20 = -5*l for l.
5
Let b(g) = g**3 + 3*g**2 - 9*g + 7. Let y be b(-5). Solve -4 = -y*x - 5*h, 3*x - 5*h = -2*x + 10 for x.
2
Suppose 7 = 2*g + 3*y - 3, -5*g = 3*y - 25. Suppose 8 = i - g*j - 19, 13 = -i - 3*j. Solve -30 = -2*n + 4*s, -4*s = i*n - 3 + 13 for n.
5
Suppose -5*m - 26 = -h, 39 = 4*h - 5*m - 5. Solve -3*r + h = -3*f, 5*r + 5*f - 44 + 4 = 0 for r.
5
Suppose 2*f = 5 - 3. Let y = 2 + f. Suppose -2*n = -0*n. Solve -2*i - 6 = 0, n*i - y*i = -4*u - 7 for u.
-4
Let i(f) = -f**2 - 7*f - 3. Let n be i(-6). Suppose c + 25 = -n*c - r, 3*r = 3*c. Let b = 7 + c. Solve -4*j = -3*o - 1 + 12, -b*o + 4 = -2*j for j.
-5
Let a be (-38)/(-4)*4/2. Suppose -u = -44 + 38. Solve -4*x = -2*n + u, 2*n - a + 7 = -2*x for x.
1
Let u be ((-10)/25)/((-2)/(-10)). Let i = 1 - u. Solve 0 = 2*f, 0 = -o - o + i*f for o.
0
Let t = -1 - -5. Let f be 6/8*112/21. Suppose 3*x - 10 = -4*z - f, -6 = -3*x + t*z. Solve -5*d + 4*d + 30 = -5*n, -5*n - 35 = -x*d for n.
-5
Suppose 0 = -6*a - 35 + 107. Solve 4*h + a = 0, l = 2*l - h - 4 for l.
1
Let c = -9 + 20. Suppose 2 - c = -3*f. Let q be (-1)/(-5) + (-24)/(-5). Solve -q*y - 2 - f = 5*d, -2*y - 2 = -3*d for y.
-1
Let p be 11/(-13) + 6/(-39). Let s be (0 + p - -1) + 4. Solve 4*i = -s, -3*i + 5*i = 5*a - 27 for a.
5
Let j(w) = w**2 - 12*w - 31. Let m be j(15). Solve -5*u + m = 5*q + 4, -5*u = q - 2 for u.
0
Let b(u) be the first derivative of 5*u**2 - 1. Let z be b(2). Let f = z + -6. Solve 3*l - f = 5*y - 3, -y = 4*l - 7 for y.
-1
Let h = -2 - -12. Let j = h + -7. Solve -2*q = -j*y + q + 30, y + 4*q + 15 = 0 for y.
5
Let h be -3 - (-7 - 0)*1. Suppose -4*y + 5*d = -33, 5*d - 6 + 23 = -h*y. Solve -7 = 3*n + r, 2*n - 5*r + y = -3*r for n.
-2
Suppose -m + 2 + 2 = 0. Solve -m*c = 4*n - 3 - 1, 0 = -c + 2*n - 8 for c.
-2
Suppose 0 = b + 2 - 0. Let a(w) = 2*w**2 + 2. Let i be a(b). Solve -2*j - 2*v + i = 4, 5*j + 3*v = 13 for j.
2
Suppose 0 = 5*m - m - 3*f - 81, -5*m - 5*f = -145. Solve 6*x + i = x - m, 4*i + 8 = 2*x for x.
-4
Suppose 0 = -4*t - 58 + 126. Solve -t = -2*o - 3*f, 0 = -4*o + o + 4*f - 17 for o.
1
Let h(p) = 2*p**2 - p - 2. Let w be h(2). Suppose -b = -w*b. Suppose b = -q + 3*v - 2 - 7, 5*q - 35 = -5*v. Solve s = -q*s - 2*l + 10, -l = s for s.
5
Let d(k) = -k**2 + 8*k - 3. Let v be d(7). Let a be 39*1*6/18. Let w = 4 + a. Solve 3*z - 5*p = z - 25, v*z + p + w = 0 for z.
-5
Let h = -6 - -10. Solve -h*q - 15 = q, -m = 5*q + 17 for m.
-2
Let i(d) = d + 7. Let j = -9 + 4. Let x be i(j). Solve -5*y + b + 5 = -3*y, x*b = 10 for y.
5
Suppose 4*r = -4*v + 28, -4*v - 5*r + 27 = -v. Solve -2*z + 8 = 4*f, -2*z + 3*f + v = -6*z for z.
-4
Let i be 1*(-1 - 2) + 19. Suppose -3*z + 2*k + 20 = 3, i = -4*k. Solve 0*g + g = z*u + 5, 12 = -4*u + 4*g for u.
-1
Let t be (-2)/(-3) - 200/12. Let z be (-21)/(-4) + 4/t. Suppose 10*p - 8*p = 4. Solve d + p*l = z, l + l = 6 for d.
-1
Suppose q = 4, 3*p - 28 = 5*p - 4*q. Let i(g) = -7*g - 4. Let x(a) = a. Let v(f) = i(f) + 6*x(f). Let l be v(p). Solve -16 = -4*r, 5*r + 3 = -l*w + 13 for w.
-5
Let f(b) = b**3 - 6*b**2 + 5*b + 5. Let a be f(5). Suppose 5 = 4*n - 5*s - 0, 4 = a*n - 4*s. Solve n = -4*t + 20, 3*h + 0 - 1 = t for h.
2
Suppose b - g = 29, 5*b + 0*g - g - 129 = 0. Solve 8*l = 3*l - 4*x + b, 4*x = -l + 5 for l.
5
Suppose 16 = 5*c + 6. Suppose 18 = 4*r - c*a, -r + 0*a = 2*a + 8. Solve -2*o - 7 = j + r*j, 4*j - 5*o = -17 for j.
-3
Suppose -t + 10 = 3*s, 3*s - 4*s + 4*t = 14. Let j = -2 - -4. Solve u + 4*u - 7 = 4*o, 10 = s*u + j*o for u.
3
Suppose 5*f + 5 = 3*h + 1, -2 = -h + f. Solve 2*j + h*o = -0*o - 3, 0 = 3*j + o - 6 for j.
3
Suppose -2*o + 4*o - 10 = 0. Suppose o*q - 31 + 11 = 0. Suppose 0 = -3*u, 8 = -3*v + 5*v + 2*u. Solve -v*c = 4*h + 24, 3 = 2*h - q*c - 9 for h.
-2
Suppose -r = -0*r + 4*z - 6, -4*z = -2*r + 24. Suppose 2*u - 4*u + r = 0. Solve -u*w + 5*c = -10, 0*w + 4*c + 8 = -5*w for w.
0
Suppose -12*x + 50 = -2*x. Solve -24 = x*f + 2*t, -3*t - 3 + 1 = -f for f.
-4
Suppose 2*t = -t + 12. Let a be t/2*1*1. Solve -3*p - 2*h = -2, -2*h + 4 = a*p + 2 for p.
0
Let s(y) = -5 + y - 2*y - 1 + 2*y. Let q be s(10). Solve -q*u + 8 = -2*m, m - 4 = 2*m - u for m.
-4
Let r = 122 + -119. Solve -x = -r*t - 1 - 3, 0 = -2*t for x.
4
Suppose -3*c + 8*c - 4*d = 0, c + 5*d = 0. Suppose o - w + 24 = 6*o, w - 4 = c. Solve -5*n = -3*u - 37, n + o*u - 4 = -3*n for n.
5
Suppose -15 = -4*o - 0*y - y, 5*o - 19 = -y. Let s(m) = 4*m - 6. Let b be s(o). Solve 3*k = 5*x - 22, -x - 6*k = -3*k + b for x.
2
Let q(l) = l**2 - 3*l - 3. Let y be q(3). Let z be (-23)/y + (-1)/(-3). Solve -4*v = 2*r + z, -6*r + r = -2*v + 8 for v.
-1
Let m be 2/(2*-2)*0. Suppose 5*w - 5 - 15 = m. Solve 4*r = -w*y, 4*y = 4*r - 0 + 16 for r.
-2
Let h be 8/1 - (9 - 4). Solve h*p - 16 = 4*d, 3*p - 4*d = -8*d - 16 for p.
0
Suppose -17*t + 4*t = -39. Solve 0 = 5*q + 2*d + 15, t*d + 15 = -5*q + 8*d for q.
-3
Let d = 81 + -79. Solve -2*b - d = -5*n, -n - 5*b + 12 = -5*n for n.
2
Suppose -g + 4*g - 120 = 0. Solve g = -5*c + 3*j, -5*c - 47 + 2 = -4*j for c.
-5
Let q(u) = u**3 + 3*u**2 - 3*u + 4. Let g be q(-4). Suppose 3*n = -w + 5, w - 5*n = -4 + 1. Solve g = 3*f - w*f, 5*f = -3*a + 3 for a.
1
Let o = -18 + 28. Let u = 15 + o. Solve 4*t - 3*i = 2*t - u, 5*t = -3*i - 10 for t.
-5
Let x be (31 + -1)*(-4)/(-5). Solve 2*k = -6, -3*b = 5*k + 6 + x for b.
-5
Let w(l) = -l**2 - l + 6. Let q be w(-2). Solve 0 = 3*m - q*i + i - 6, -m - 2*i = 10 for m.
-2
Let q(b) = b**3 + 6*b**2 - 5*b - 6. Let z be q(-6). Suppose 0 = 5*d - d - z. Suppose 4*m - d = m. Solve 0 = -m*a - 3*f + 1, -5*a + f = -28 for a.
5
Let x(s) be the second derivative of 0 - 1/6*s**3 + 0*s**2 - s. Let a be x(-5). Solve -u - 4 = -t, a*t - u + 3 = 7 for t.
0
Let v be 51*4/(9 - -3). Let f = v - 13. Solve 0 = f*i - 12, -i = -3*w - 5*i + 24 for w.
4
Suppose 0 = 5*a + c - 11, 2*a + 2*c - 7*c + 1 = 0. Solve t - 3*p = -2*t, a*p + 5 = 3*t for t.
5
Suppose -32 = -4*x + 4. Solve -3*s - 1 = w, -2*w = 3*w + s - x for w.
2
Suppose -4*i + 11 = 3*d, 1 + 1 = -4*d + 3*i. Let l be 1 - (-2)/d - 1. Let a = -14 - -18. Solve -a*g + 3*s - 35 = 0, s = l*g - 3*g for g.
-5
Suppose -14 = -4*f - 3*f. Solve 2*m + 8 = 2*c, -c + 2 = -f*m - 6 for c.
0
Let r be (5/2)/(2/(-4)). Let f = 0 + 9. Let a = r + f. Solve k - 17 = -4*b, 3*k - a*b + 0 = 3 for k.
5
Let s(q) = q**2 - 3*q + 4. Let u be s(3). Let v = 1 - -1. Let j be (7 - v)/(4 - 3). Solve 0 = -u*p + 12, -a + j = p + 2*p for a.
-4
Let j be (0 + 6)*(-2)/(-6). Solve j*y = t, 1 = -t + 3*y + 3 for t.
-4
Let t = 125 - 109. Solve -5*l + 5*o = -20, -5*l - 3*o - 4 = t for l.
-1
Let x(g) = g. Let y be x(2). Suppose 4*j + y*j 