= -0*k - 4*n, -4*k + 3*n + 13 = 0. Solve -3*i = -4*x + k, 4*i + 10 = -2 for x.
-2
Let k be (4 + -2)*(3 - 1). Solve 5*w + k*z = 3*z + 15, w = -5*z - 21 for w.
4
Let y = -9 + 44. Solve -2*l = 8, -5*d - l + y = -6*l for d.
3
Suppose 3*t - l = l + 23, 0 = -3*t - 2*l + 7. Let b = -3 + 6. Solve 18 = b*u + 3*d, -26 = -t*u - 2*d - d for u.
4
Let v = -6 - -6. Solve g = 2*y, -4*y = 4*g - v*y + 24 for g.
-4
Let f = 4 + -4. Suppose -3*k + 3 + 6 = f. Solve -k*d = -3*t - 9, t - 5 = -5*d + 10 for t.
0
Suppose 2*x - 1 = -9, -5*g + 5*x = -160. Solve -4*r + g = -4*j, 0*r - r - 23 = 5*j for r.
2
Suppose -4*y + 4*h + 9 - 1 = 0, 24 = 4*y + 4*h. Suppose 8*w - 3*w - 8 = -3*d, -2*w - 8 = y*d. Solve -15 = 2*q - 3*c, -w*c - 12 + 39 = -5*q for q.
-3
Let h(a) = 9*a - 6. Let s be h(2). Solve 3*o = -2*j - 2, 2*j = 4*o - 2*o - s for j.
-4
Let b(p) = -p**3 + 8*p**2 + 12*p - 22. Let c be b(9). Solve -2*o - 20 = -5*r - 4*o, -c*o + 8 = 2*r for r.
4
Suppose -3*y = 17 - 32. Let a(r) = -r**2 + 5*r + 7. Let j be a(5). Solve 0 = -5*u + 10, -j = o - y*u + 7 for o.
-4
Suppose 3*v = 4*v. Let b be (2 - 16/14)*-28. Let c be 2/8 - 138/b. Solve l - 2*y = -3, v = -3*l + 2*y - 3 - c for l.
-3
Let o(i) = i**2 + 4*i + 6. Let b be o(-5). Solve -b = s + 2*v, -4*v - 21 = 4*s + 3 for s.
-1
Let a be (-3)/(-2 + -1) + -1. Suppose -m + 3*l - 7*l = 1, -3*m + 2*l + 11 = a. Solve 0 = x + 5*f + 22 - 4, -15 = m*x + 2*f for x.
-3
Suppose -f = -l - 1, f + 2*l = -0*f + 1. Let p(i) = i**2 + 9*i + 7. Let n be p(-8). Let h = f + n. Solve h*y + 3*y + 5*c + 13 = 0, 10 = -2*y - 4*c for y.
-1
Suppose -11*k + 1 + 98 = 0. Solve 5*b = 4*a + k, -5*a + b - 6*b = 0 for a.
-1
Let d(m) = -6*m**3 + 2*m. Let u be d(-2). Suppose u + 132 = 2*a. Let o be a/20 + 4/(-10). Solve 4*y + o*v = 8, v - 4*v + 1 = 2*y for y.
5
Let n = 0 + 18. Solve -5*m + b + 18 = -4, b = 4*m - n for m.
4
Suppose -5*f + 29 = -26. Let m = 18 - f. Let j = m + -2. Solve 3*w = 2*a - 5, 4*a - 11 = j*w - 4 for a.
-2
Suppose g = 2*b - 6 - 5, 4*b + 8 = -4*g. Solve -5 + 2 = -4*m + s, 2 = 5*m - b*s for m.
1
Suppose -17 = -3*h - 5. Suppose 2*p = 3*w + 16, -p + h*w = 4*p - 47. Suppose -q + 1 = -p. Solve -2*b + q = 5*u, -b - b = 4*u - 10 for u.
2
Suppose -3*t - 15 = 0, -2*m + 27 = m - 3*t. Solve 3*q + 2*y = -15, 0 = -m*q - 6*y + 3*y - 20 for q.
-5
Let v be (1*-1)/((-6)/180). Let m be (-14)/(-5) - (-6)/v. Solve m*y + 11 = -3*p + 5, 0 = 3*y - 3 for p.
-3
Let l be 9*(16/6 - 3). Let j(v) = -v**2 - 3*v + 2. Let k be j(l). Solve -1 = -5*p + k*m - 28, 4*p - 4*m = -24 for p.
-5
Let y = 14 - 14. Suppose y = 8*p - 7*p. Solve -o - 13 = -l + 3*o, p = -4*l - 3*o + 14 for l.
5
Let s be (-13 - 1)*1/(-2). Let r = s - 3. Solve -2*g - d - 2 = 0, -r*g + d = 2 + 2 for g.
-1
Suppose 3*o - 15 = x, 3*o = -4*x - 0 + 15. Suppose -b - 5*y - 9 = x, 5*b + 4*y = 3*y + 3. Solve -4*c - k = 5 + 3, 3*c - k = b for c.
-1
Suppose 4*m = -2*d + 24, -2*m - 20 = -5*m - 2*d. Suppose -4*u = -m*z + 12, -4*z + 0*u = -3*u - 13. Solve 4*j = -2*y + z, -2 - 12 = 5*y + 2*j for y.
-4
Let q be ((-100)/(-15))/((-2)/(-3)). Let l(b) = -b + 18. Let r be l(q). Solve 18 = 4*j + o, 4*j - 3*o - o = r for j.
4
Let q be (16/10)/((-3)/(-15)). Solve 4*f + f = -4*b + q, -2*f - b = -2 for f.
0
Let r = -5 - -6. Let t = r - -1. Let y(u) = u**2 - 2*u - 7. Let n be y(5). Solve t*a - 8 = -3*m - 0*a, n = -2*m + 2*a for m.
0
Suppose -m = 5*y - 0*y - 30, -20 = -5*y + m. Solve -14 = 5*c + 6, c = y*p - 19 for p.
3
Let z(g) be the first derivative of -g**3/3 - 4*g**2 - 2*g + 3. Let r be z(-7). Let s be (-2)/(-4) + 35/2. Solve -h + r*h = -2*l - s, 2*h + 11 = l for l.
1
Let s(c) = -c**2 - 16*c + 40. Let w be s(-18). Solve 0 = -w*k + 3*n - 8, -5 = -3*k + n - 6 for k.
1
Let b = -4 - -6. Suppose b*n = -n + 9. Solve t - 20 = 3*u, -n*t = 5*u - t + 15 for u.
-5
Let a be (6/4)/((-3)/(-6)). Let d be 8 + (-9)/a + 0. Let u(q) = q - 3. Let g be u(6). Solve -m + 3*m - g*s = 13, 0 = d*m + 4*s + 2 for m.
2
Suppose -5*q + 17 = -8. Suppose 0*h - 15 = -q*h. Let k = 5 - h. Solve 5*f - 1 = 2*u, k*u - 3*f = 3 - 2 for u.
2
Suppose 4*p = 5 + 3. Suppose p = -2*b - 2, -5*b = -3*u + 25. Solve c + v - 4*v = 14, u*c + v - 6 = 0 for c.
2
Let h(i) = i**2 + 2*i + 4. Let l(b) = -b**2 - b - 3. Let w(z) = 6*h(z) + 5*l(z). Let q be w(-6). Solve 11 = 5*g - 2*j, -3*j = q*g - j + 3 for g.
1
Let u(f) = -f**2 - 9*f - 3. Suppose 4*l + 29 = -g, 5*g + 32 = -2*l + g. Let y be u(l). Solve 0 = 3*m + 2*s - 7*s - y, -15 = -3*m + s for m.
5
Let x be (2 - -1) + (16 - 6). Let v = x - 9. Solve -4*w + 4*m = -28, 8 = 8*w - 3*w + v*m for w.
4
Let w = -12 + 16. Let t = 12 + 9. Solve 6*f + t = 3*f - w*k, -k - 15 = 4*f for f.
-3
Suppose 0*s = -4*s - 4*g + 36, -3 = 3*s - 3*g. Let b = s - 2. Solve 5*h + 4*i = -0*h - 16, -2*h + b*i - 10 = 0 for h.
-4
Suppose w = -3*w + 52. Let i = 1 + -3. Let p be (2/i)/((-6)/18). Solve p*q - 6 = -0, 5*y + w = 4*q for y.
-1
Let g be (6/(-9))/((-4)/(-6)). Let c(r) be the first derivative of -r**2/2 - r - 5. Let m be c(g). Solve 11 = 5*b - 4*k - 20, -2*k - 8 = m for b.
3
Suppose -4*k = -0*l - l, -l - 2*k + 24 = 0. Let f = -21 + 26. Solve f*t = 3*s + l, 3*s + 4*t = s + 4 for s.
-2
Let y be (-100)/3*(-1 - 2). Suppose -y = -0*s - 4*s. Suppose -5*o - 5*r = -s, 2*o - r - 10 = -2*r. Solve -4 = 2*z - 5*i + 7, -i - o = 2*z for z.
-3
Let o be (-75)/10*(-36)/10. Let z be (-6)/o + (-4)/(-18). Let d = 3 + z. Solve -2*x + 7 = -x + 2*v, d*x = 4*v + 1 for x.
3
Suppose 6*i - 55 = i. Suppose -4*m + i = -5. Suppose m*h = h + 36. Solve -2*r = p - 11, -4*r - p + h = -9 for r.
5
Let f = -6 + 8. Let b = -2 + f. Solve -n - 4*y + 18 = b, 5*y - 18 - 5 = -n for n.
-2
Let b = -1 + -4. Let d(p) = p + 11. Let k be d(-6). Let y = k + b. Solve 0 = 4*f + 4, -l + 8 = -y*f - 4*f for l.
4
Suppose -5*a - 4 = 16. Let l be (a/(-1) - 0)*1. Solve 3*w = -4*r - 24, 0*w - l*w = -3*r + 7 for r.
-3
Let r be (1/(-3))/((-2)/42). Let o = 7 - 17. Let h = 26 + o. Solve 0 = -y + 5*p + h, 2*y - 4*p - r = 1 for y.
-4
Let v be 2/11 + (-394)/(-11). Suppose -5*f - 31 - 39 = 0. Let s = f + v. Solve -5*x = -5*t + 35, t - x = 3*x + s for t.
2
Let j(n) = n**3 + 7*n**2 - 2*n - 10. Let k be j(-7). Solve -5*l - 1 = -0*l - 3*t, -5*l - k*t - 22 = 0 for l.
-2
Suppose -m + 1 = 2*p, 5*p + m = 15 - 5. Solve 3*u + 23 = 4*q, 0 = u + q + p - 0 for u.
-5
Let v(p) = -p**2 + 5*p + 4. Let s be v(5). Solve g + 0*g = -u - 3, 2*u + 12 = -s*g for g.
-3
Suppose 5*k - 2*k - 30 = 0. Let j = k + -5. Solve 3*s - 2*s + j = 3*q, -2*s + 2 = 0 for q.
2
Let j = -5 - -10. Suppose 0*t + j*t = 0. Let b = 18 + -14. Solve -4*z + 3*q - 18 = t, -z + 19 = -b*z + 5*q for z.
-3
Let p be (-95)/(-30) - 2/12. Solve -p*r + 0 - 12 = 3*y, 3*r = -3 for y.
-3
Let v(r) = -r**2 - 6*r + 9. Let c be v(-7). Let k = -2 + 6. Suppose -133 = -k*u + 7. Solve -5*b = -c*d - u, 3*d = 5*b + 4 - 44 for d.
-5
Suppose 0 = -c + 27 + 1. Solve 2*f = -2*i - 12, -5*f + i - 4*i - c = 0 for f.
-5
Suppose 0*c - 5*j = c - 20, -4 = 4*c - j. Let l be 7 - (-2 + 2)/(-2). Suppose -2*a + l = -a. Solve 5*b - 2*h + a*h - 5 = c, -h = 1 for b.
2
Let w = -19 + 19. Solve 3*s - 15 = -2*s, -3*i + 5*s = w for i.
5
Let x(t) = 4*t - 7*t**2 + 4*t**2 - 3 + 2*t**2. Let h be x(3). Solve r + h = 2*i - 1, -5*r + 4*i = -13 for r.
5
Suppose -3*a = 2*a - 35. Solve m + 4 = f, 3*m + m - f + a = 0 for m.
-1
Let g be (6*4/3)/2. Let s be ((-3)/1)/((-6)/g). Solve -5*u + 1 = -m + 8, 2*m + s*u = 2 for m.
2
Let p be ((-8)/6)/((-32)/72). Solve 0 = -3*r - 3, 11 = p*g - g - r for g.
5
Let v(p) = p**3 - 6*p**2 + 6*p. Let h be v(5). Let g be 8/(-52) - (-108)/26. Solve 8 = -2*n - 4*d, 2 + 34 = g*n - h*d for n.
4
Let j be 2 + -2 + 3 + -1. Suppose -k - u = -1, 3*k - 4*u = -j*u - 2. Let r = k + 4. Solve 0 = r*y + 2*s, -3*y - 2 = s - 0*s for y.
-2
Let y(k) = -k**2 + 10*k - 12. Let h be y(8). Solve -q + h*x = -2*q + 9, -5*x + 14 = 4*q for q.
1
Let x = 8 - 6. Suppose 0 = -x*f + 3*f - 16. Solve -3*o + 4*i - f = 0, 0 = 2*o + 2*i - 3 - 5 for o.
0
Let m = 96 + -51. Suppose -t = -6*t + m. Let s(v) = v**2 - v - 2. Let p be s(3). Solve -2*a - t = 4*c + 1, p*a - 2*c + 10 = 0 for a.
-3
Let o(w) be the second derivative of 1/20*w**5 + 5/2*w**2 + 0 + 0*w**3 - 7/12*w**4 + 2*w. Let b be o(7). Solve 4*i = 5*u + 7, -3*i + 10 = b*u - 4*u for u.
1
Suppose -4*i = 4*c - c - 15, -15 = -5*i. Suppose 4*o - c - 27 = 0. Solve 3*r + o - 3 = -5*f, 4*r - 2*f + 14 = 0 fo