i - k. Solve -5 = -2*h - 5*d, i*h = h + d - 1 for h.
0
Suppose 6*m - m = 5*h + 30, 0 = -2*m + 4*h + 14. Solve -m = -3*z - 2, 4*p - 4*z - 16 = 0 for p.
5
Let o(t) = -29*t + 17*t - 8 - 2*t**2 + 0*t**2. Let h be o(-5). Solve -x + 4*x - 3 = z, -2*x - h*z = -10 for x.
2
Suppose -g = 2*c + 3 - 11, g - 2*c + 4 = 0. Solve -h = -d - 8, -2*h = 2*d + g - 6 for d.
-3
Suppose 0 = -m + 9 + 3. Solve 4*f = 3*d - 23, -5*f - m = -5*d + 18 for d.
1
Let q = 48 + -46. Solve t + 3 = 0, -4*m - t = q*t + 25 for m.
-4
Suppose 0 = 3*z + 4 - 16. Suppose 3*k - 92 = -4*y, y = -3*y - z. Suppose 72 = 3*i - 2*c - c, i + 3*c - k = 0. Solve 0*g + g + 5*o = i, 5*g - 2*o + 5 = 0 for g.
1
Suppose 0*t + 3*t = 24. Solve 3*u = 4*k + t, -k - 2*u = 4*k + 10 for k.
-2
Let g = -10 - -17. Let c = 51 + -36. Solve 14 = -j + 5*l, 0 = 2*j + 2*l + g - c for j.
1
Let c = 3 + -6. Let a = 6 + c. Suppose -6*f = -f - 5. Solve 5*j = -a*i + f - 23, -j = 5*i for j.
-5
Let k = -56 - -56. Solve 3*d - 6 = k, -l - 4*d = 3*l for l.
-2
Suppose 6 + 0 = 3*f. Suppose -14 = -2*k + 26. Let b be k/(-90) + 58/18. Solve -t - f*s + 8 = -b*t, -5*t - 5*s + 20 = 0 for t.
0
Let d(k) = -3*k - 8. Let u be d(-9). Suppose -5*s + u = -1. Solve -r - 2*r = z + 10, -s*z = -5*r - 28 for z.
2
Suppose x + 157 = 2*u - 17, -3*u = -2*x - 263. Suppose -2*c + 7*c - u = 0. Solve f + c = -4*w, 6 = 5*f + 4*w + 43 for f.
-5
Suppose 65 = -2*n - 0*n + d, 2*n - 3*d + 67 = 0. Let t be -1*5*n/40. Let b be 4*-1*1/(-2). Solve t*y - 11 = 3*u, 3*y + 5*u + 3 = b*y for y.
2
Suppose 0 + 6 = 3*i. Suppose 0*h - i*h - 10 = 0, -7 = -c + h. Solve -2*f = c*u + f + 9, 10 = -2*f for u.
3
Suppose -4*g - 23 = -w, 3*g + 19 = w - 0*w. Solve -16 = 3*j + 4*x, -4*j + w - 3 = -x for j.
0
Suppose -5*f + 25 = 0, -3*v - 3*f - 25 = -8*f. Solve x - 6*x = -3*s + 10, 5*x - 2*s + 15 = v for x.
-5
Let v = -9 + 34. Suppose -3*i - 1 = -v. Solve -5*w - 4*f = 36, -w - 3*f - 8 - i = 0 for w.
-4
Let j = 0 - -2. Let i(g) = g**2 + 7*g - 8. Let f be i(-8). Solve j*k - 2 = -p + 2, f = -k + 3*p - 5 for k.
1
Let j(g) = -g**2 - 1. Let q(t) = t**2 - t + 1. Let a(i) = 5*j(i) + 4*q(i). Let l be a(-3). Solve 7*h + 2 = -d + l*h, 2*d + 4 = 5*h for d.
-2
Let h be (-2 + 2 - -1)*0. Suppose q + 3*q = h. Suppose 76*p + 10 = 81*p. Solve q = 4*s - 8, 2*w - 3*s + p*s = 4 for w.
3
Let k(d) = d**2 - d - 1. Let c be k(-1). Let j = -2 + c. Let m be 8/12*(-6)/j. Solve 0*x + 2*x - 2*v = 6, 12 = -m*v for x.
0
Let o(f) = f**2 - 16*f**3 - 1 + 6*f**3 - f + 2*f**2 - 2*f**2. Let w be o(-1). Let s be 1/(-2 + (-30)/(-14)). Solve -4*c + 2*g = 7*g + w, -s = -c + 2*g for c.
1
Suppose 7*o = 10*o + 4*s - 9, 0 = 4*s. Solve -3*j = -o, -5*l - 7 = -2*j - 0 for l.
-1
Let c(w) be the first derivative of w**2/2 - 10*w + 2. Let d be c(10). Let i = -4 - -10. Solve 5 = -q, -4*h + q + 3 + i = d for h.
1
Suppose 6*m - m + 12 = b, -5*b + 5*m + 20 = 0. Solve 0*j = 2*j - b, 4*g - 3*j = -11 for g.
-2
Let t(l) = 2*l**3 + 4*l**2 + 3*l + 2. Let v be t(-3). Let w = 15 + v. Let i = -6 - w. Solve -x - 4*o - 12 = -2*x, -16 = i*o for x.
-4
Let o(h) = 26*h**3 - h + 1. Let s be o(1). Suppose -2*x - 2*n = -14, -x - x - 5*n + s = 0. Solve 3*l + x*k - 2 = 1, -4*k - 20 = -2*l for l.
4
Suppose 0 = 5*s - 10. Let u = 5 + s. Let z = u - 4. Solve -2*l + 20 = 4*n, -n - l + z*l = 0 for n.
4
Let c(o) = -o**3 - 18*o**2 + 20*o + 21. Let b be c(-19). Suppose 4*r = -4*g + 28, g = -g + 2*r - 2. Solve b*v - i = -2*i, g*v = -2*i - 1 for v.
1
Suppose 49*n - 20 = 44*n. Solve 0 - 4 = -3*v - l, -v + n*l = -10 for v.
2
Suppose -2*k = -0*k - 2*b - 4, 4*b = k - 2. Solve 4*j = 2*t - 12, 2*t - k*j = 4*t + 18 for t.
-4
Let a be 2/7 - (-33)/7. Suppose -15 = -a*o + 3*j - 8*j, -5*o + 2*j = -22. Solve o*k - 5*m = -13, -3*k = -4*k - 2*m + 13 for k.
3
Let k = -13 + 27. Solve 5*r = 3*c - 4*c - 23, 0 = 3*c + 4*r + k for c.
2
Let q(g) = -2*g + 7. Let f(b) = b. Let t(l) = -3*f(l) - q(l). Let r be t(-7). Solve -5*a - i + r*i = -29, -5*i + 10 = -2*a for a.
5
Let j(p) = -p**3 - 3*p**2 - p + 4. Let w be j(-2). Solve -5*x + 3 = k, -w*x + 2*k - 6 = -7*x for x.
0
Let c = -39 - -41. Solve d = c, 2*a + 2*d + 4 = -d for a.
-5
Suppose 21*d - 37*d + 32 = 0. Let z = 0 + 0. Solve -d*p = -v + 8, z = -0*v - v - p - 1 for v.
2
Let i(z) = 2*z - 10. Let h be i(7). Suppose 0*v = v - h. Suppose 9*d = 3*d + 6. Solve -v*x + 5*m - 9 - d = 0, 2*x = 2*m - 4 for x.
0
Let l = 18 - 15. Solve 0 = -3*c - q + 5, -2*c - l*q + 7*q + 8 = 0 for c.
2
Let h(m) = m. Let j(i) = 8*i - 4. Let a(q) = -5*h(q) + j(q). Let x be a(3). Solve -5*g - 3*k - 10 = -7*g, 3*g + x*k = -23 for g.
-1
Let y = 13 - 7. Let q = -2 + y. Solve -2*g - 4*b + 2 = 0, -5*g - q*b + 21 - 4 = 0 for g.
5
Suppose -4*a = -5*a. Let x = a + 23. Suppose 5*z + 8 = x. Solve 3*u + 2*t + z*t = 31, 0 = 4*t - 20 for u.
2
Suppose 2*i = -28 + 34. Let c be 2/(2/(1*4)). Solve -i*j + c*t - 17 = -5, -2*t - 16 = 4*j for j.
-4
Let k(h) = 10*h**2 - 4. Let s be k(-3). Let b be (-3 - (2 + -4)) + s. Let r = -54 + b. Solve -4*c - 5*p + 2*p = 0, -5*c + 4*p + r = 0 for c.
3
Suppose 5*f + 26 - 1 = 0. Let y = f + 30. Solve 0 = -4*q + 4*l - 16, -5*q = l + 3*l - y for q.
1
Let k(i) = i**3 - 7*i**2 + 7*i - 3. Let b be k(6). Let r = -11 - -25. Suppose r - 12 = 2*j. Solve 0 = -b*c - 5 - j, 2*g - 2*c = 0 for g.
-2
Let o be ((-2)/(-4))/(2/12). Suppose -8*q - 103 = -103. Solve q*m - 2*c - 2 = o*m, 33 = -2*m + 5*c for m.
-4
Let q = 158 - 158. Solve 5*s - 18 = -2*b, q = 2*b + b - 3*s - 6 for b.
4
Suppose 3*c - 70 = -10. Solve 5*a + 20 = s, 0*a - 3*s = 5*a + c for a.
-4
Let q be 9 - (2 - (-3 + 5)). Let x(b) = -3*b. Let s be x(-1). Let f = 8 - s. Solve -2*a = p + q, 3*p = f*p - 5*a - 27 for p.
1
Let t = -8 - -15. Solve -3*p + 2*f + 18 = -7*p, f + t = -p for p.
-2
Let o(h) = -5*h**3 - h - 2. Let v be o(-1). Solve -9 = 3*t - 2*g + v, -2*t + g = 8 for t.
-3
Let n(s) = -s**2 + 8*s + 2. Let o(k) = 2*k**2 - 16*k - 5. Let h(l) = 13*n(l) + 6*o(l). Let v be h(7). Solve -i - v*p + 3 = -12, 0 = 4*i - 4*p + 20 for i.
0
Let z be (-3)/((-7)/(56/6)). Solve 3*j - 13 = q, z*j + 4*q - 2 = -6 for j.
3
Let c(l) = l**3 - 2*l**2 - 3*l - 2. Let h be c(3). Let v be (h/(-7))/((-5)/(-35)). Solve 4*a + r + 19 = 1, -3*r + v = -2*a for a.
-4
Let z = 18 + -12. Solve -k - 18 = -5*a, -4*a + 18 + z = -4*k for a.
3
Suppose -p + 8 = -1. Let b(v) = -3*v**3 + 2*v**2 + v. Let r be b(-1). Suppose 10*a - 11 = 5*a + 3*t, 0 = -2*a - t. Solve r*o + p - a = 3*d, 0 = 3*d - 12 for o.
1
Suppose 3*p - m + 25 = -3*m, -3*m + 12 = -p. Let v be (-5)/(2 + p/6). Let h = -6 - v. Solve b + 9 = h*b, -4*a = 4*b - 4 for a.
-2
Let l(g) = -g**2 - 5*g + 7. Let i be l(-5). Let v = 3 + i. Solve -2*q = -3*r + 10, v = -5*q - 4*r - 15 for q.
-5
Let k be 1*(2 + -1 + 3). Suppose -2 = -2*p - k, 3*p - 7 = -5*d. Suppose 4 + 2 = d*a. Solve -2*r = -3*z + a, -2*r + 2 = 3*z - 13 for r.
3
Suppose 3*j - 4 = 4*i - 0*j, 4*i - 2*j = 0. Suppose i*g - 9 = 17. Solve 0*a + 5*a - 2*k - 29 = 0, -g = -a + 4*k for a.
5
Suppose 0 = q + 3*n + 16, -q - 2*q + 3*n = -12. Let y be q*(-2)/(-2) - -13. Let l = y + -8. Solve -4*m - 4 = -l*x, x + 7*m + 19 = 4*m for x.
-4
Let n = -1 - -4. Let b(s) = -1 - s - n + 13. Let x be b(7). Solve 2*f + 8 = l, x*l - 2*f + 0 = 6 for l.
-2
Suppose -1 = -6*j + 173. Suppose 0*l = -3*l + 51. Let g = j - l. Solve 3*y = y - 6, -2*y = 2*r + g for r.
-3
Let q be (6/5)/((-7)/(-35)). Let b = q + -4. Let d be 5 - (-2)/(-4)*0. Solve -5*i - 23 = b*v, -3*i = i - d*v - 8 for i.
-3
Suppose -2*b - 24 = -4*a, a + 4 = 2*b - 4*b. Let r = a - 2. Suppose 5*q = -2*u + 3*u - 15, -5*q = -r*u + 20. Solve 28 = 3*s - u*i - 0*i, -i - 6 = -s for s.
1
Let t = 142 + -137. Solve -3*c = i + 6, 3*c = 5*c + t*i + 17 for c.
-1
Let b(l) = l**2 - l - 2. Let g = 3 + -2. Let q = -3 + g. Let z be b(q). Solve 0 = -5*o + 3*t + 34, z*t - t = -5*o + 16 for o.
5
Let a(v) = -v - 8*v**3 + 4*v**2 + 7*v**3 + 0*v**3 + 0 - 1. Let q be (1 - 0)/((-2)/(-6)). Let z be a(q). Solve 0 = z*o + 4*l - 22, -o - l + 13 = 4*o for o.
2
Let q(u) be the third derivative of u**5/15 - u**3/6 + 3*u**2. Let r be q(-1). Solve 4*s - r*l - 19 = -0*l, -4*l = s + 19 for s.
1
Let x = 2 - 3. Let k be x + 1 - 5/(-1). Suppose 51 = 4*t - t + k*y, 18 = t + 2*y. Solve 2*u - 4*s + 3*s - 11 = 0, u = -3*s - t for u.
3
Let i be (-2)/7 + (-8)/(-28). Suppose i = -y - 0*y. Let j be 4/(-2) + (y - -6). Solve 5*q - 2 = j*u + 2*q, 0 = 5*u - 3*q