2*a - 15 = b, -x*b = 2*b + 3*a + 10 for b.
-5
Let m(f) = f - 6. Let b = -2 - -8. Let j be m(b). Suppose -v + w + 0*w + 24 = 0, w + 84 = 4*v. Solve j*x - 5*u = -5*x + v, -x = 3*u - 8 for x.
5
Let k = 1 - -2. Suppose -k*a - 8 = -7*a. Let b be 7/3 + a/3. Solve -4*s + 8 = 4*h, h = -5*s - 7 - b for s.
-3
Let x be -1 + -10 - (-2 + 0). Let g = x - -13. Suppose 8 = g*k - 8. Solve k*i = -2*w + w - 1, -2*w - 11 = -i for i.
1
Let x be 5/(-2)*96/(-80). Solve u + 4 = -3*v - 3, -2*u = x*v + 5 for v.
-3
Suppose -h - 1 = -0. Let v be (h + 3)/(1/2). Suppose o + v*o = 15. Solve 6 = o*l + 4*i, -2*i - 3*i + 13 = l for l.
-2
Suppose 3*v + 2*p + 1 + 15 = 0, 2*v = p + 1. Let b be 2 + v - (-1 - 2). Solve -b*g + l - 17 = 0, 5*g + 3*l + l = 0 for g.
-4
Let r(h) = -h**2 + 9*h - 11. Let f be r(7). Let y = -27 + 12. Let b be ((-2)/(-5))/((-3)/y). Solve -q + 25 = 5*g, f*q + 7 = 5*g + b for q.
5
Let y be ((-4)/((-12)/(-51)))/(-1 + 2). Let o = 19 + y. Solve -3*s - 1 = -o*s + 5*g, -3*s - 3 = g for s.
-1
Let m(p) = p**2 + p. Let v be m(3). Suppose -28 = 5*i - v*i. Solve -2*w - 1 = -3*j - 6, -2*j - 6 = -i*w for w.
1
Let u = 624 - 622. Solve 5*d - 2*s - 23 = 0, -5*s + 13 = u*d - 2*s for d.
5
Let c(a) be the first derivative of -a**4/4 - 2*a**3 + 5*a**2/2 - 10*a + 10. Let s be c(-7). Solve -o + 2*v + 12 = o, 0 = o + s*v + 19 for o.
1
Let h be 5 - 0*3/6. Suppose i + 1 = h. Suppose 4*y - 5*g - 10 + 2 = 0, i*g + 6 = 3*y. Solve y*t + 7*b + 12 = 4*b, 0 = 3*b + 12 for t.
0
Suppose 8 + 56 = 8*o. Solve 4*a + o = 0, 2*p - 3*a - 22 = 6*p for p.
-4
Suppose 40 = -45*i + 310. Solve -4*w - i = -2*d, -d + 6 = -4*w - 1 for w.
-2
Let i(h) = h**2 - 3*h - 3. Let n be i(3). Let q be n/(-6) - (-18)/4. Suppose 142*t - 131*t - 165 = 0. Solve -q*a + 2*a = w + 10, 5*w = -2*a + t for w.
5
Suppose w + 9 = -4*v, -3*w - v = -7*w + 15. Solve -5*g + 8 = -b - w, -b = -g + 3 for g.
2
Let p be (-9)/12 + (-36)/16. Let c be 7*p/7*2. Let s = -6 - c. Solve 4*y - 3*k = 9 - 2, s = 4*y - k - 5 for y.
1
Let r(x) = x**2 + 9*x - 14. Let h be r(-11). Let k = 8 - h. Let z be -1 - (2 - 0 - 5). Solve k = -4*y + v + z*v + 7, -4*y = 2*v + 18 for y.
-2
Let a(d) = d**2 - 5*d - 19. Let k be a(9). Let h = -14 + k. Solve -l - 4*f + 15 = 3, -h*l + 14 = f for l.
4
Let h = -87 - -115. Let j be h/(-7)*((-15)/2)/5. Solve -5*p = 2*a + 3*a + 20, -2*a - j = p for a.
-2
Let b be 116/(-10)*(2 + -7). Let c = 70 - b. Solve -5*d = -0*h - h - c, -2*d - 5*h - 6 = 0 for d.
2
Let x = -12 + 17. Suppose 4 = 3*q + a, -4*q + 4*a = -5*q + 16. Let i(l) = -l**3 + l**2 + 5. Let z be i(q). Solve 4*m = g - x + 3, -z*m + 2*g = 4 for m.
0
Let i = 108 - 89. Let r = i + -19. Solve -1 = o + 3*t + 9, 2*o + 2*t + 4 = r for o.
2
Let n = -1524 - -1527. Solve n*p + 5*f = 4, 3 = -2*p + 3*f - 7 for p.
-2
Let t be (114/(-4) - 1)*(-10 + 8). Let w = 65 - t. Suppose -z - 2*z = -6. Solve -4 = -z*d + w, -15 = -2*o - 5*d for o.
-5
Let u be 12/102 + (-198)/(-51). Solve 0*z + u*z - 3*f - 7 = 0, -4*f = 4 for z.
1
Let n(j) = -j**3 - 11*j**2 - 19*j - 5. Let u be n(-9). Solve -t - 5*c = 20, 2*c - 6*c = -u*t + 16 for t.
0
Suppose 4*t = 2*m + 91 + 33, -5*m - 2*t - 322 = 0. Let l = m + 68. Solve l*k = 2*k + 4*o - 4, -12 = 2*k + 4*o for k.
-4
Let i(q) = -8*q**2 - 272*q + 8. Let n be i(-34). Solve 4*v + 24 = 4*t, 4*v + n = v + t for v.
-1
Suppose 2*z + y = 176, y = -z - 2*z + 264. Suppose 29 + z = 3*j. Let t = j - 28. Solve 0 = -4*s + 3*l + 7, -l - t = 2*s + s for s.
-2
Let a = -32 - -35. Let w be a/6*(-2 - -6). Solve -w*v = 4*m + 6, m - 2*v + 2 = -3*m for m.
-1
Suppose 2*p + p - 78 = 0. Suppose 4*i + 18 = -14. Let a = i + p. Solve 0*j - a = -5*g + j, -2*g + 2*j + 4 = 0 for g.
4
Let m = 583 + -579. Solve l - 2 = -2*r, -4*l = -l + m*r - 4 for l.
0
Let w(a) = -4*a - 37. Let t be w(-21). Let j = -45 + t. Solve -j*r = -3*g + 5, -4*g - 3*r + 10 = -4*r for g.
3
Let d be -4*(-153)/84 - 2/7. Let l = -14 + 35. Solve -4*k - l = c, 2*k - d = 5*k - c for k.
-4
Let x = 3 + -1. Let g(j) = -3*j**2 + 11*j + 8. Let c be g(4). Suppose 2*n = 4*q - 22, 10 = 4*q + 5*n - 5. Solve -3*f - c*i = f + 36, 30 = -q*f - x*i for f.
-4
Let f(y) = -y**3 + 5*y**2 + y + 34. Let u be f(6). Solve -k - w = -3, -u*k + w + 6 = -1 for k.
2
Let f(t) = t**2 - 3*t + 11. Let n be f(0). Solve -3*p = -p + 3*q - n, -2*q = -p - 5 for p.
1
Let k(u) = -u**3 + 6*u**2 - 3*u - 7. Suppose x - 7 = -i + 3, -20 = -5*x + i. Let n be k(x). Let p = 11 + -6. Solve -3*o - 2*g - 8 = 3*g, n*g - 8 = -p*o for o.
4
Suppose 2 + 4 = f + 2*q, 5*f - 5*q = -15. Solve f = 2*i + 2*u + 4, 0*i = 3*i - 2*u + 11 for i.
-3
Let u = 1821 - 1817. Solve -u*p + 14 = -5*h + 3*h, -2*p + 3*h + 1 = 0 for p.
5
Suppose k + 2*d = 0, 3*k - 15 = 2*d + 1. Solve -4*t = -1 - 3, t = -k*q + 1 for q.
0
Suppose 0 = -60*t + 33*t + 162. Solve -5*u + 5*r = -t + 36, -4*r = u - 4 for u.
-4
Let i(g) = 13*g - 7. Let o be i(5). Suppose -4*l = -o + 14. Solve w - l = -5*c, -2*w = w - 3*c + 3 for w.
1
Let a = -7 - -11. Let z = 150 + -70. Suppose 6*p = -2*p + z. Solve 16 = -4*g, 2*g + a + p = 2*h for h.
3
Suppose 5*a - 7 - 18 = 0. Let u be (-115)/(-20) - (-3)/12. Let q(n) = -n**3 + 7*n**2 - 6*n + 3. Let r be q(u). Solve -r*i = -a*t + 26, t + 5*i = 2*t - 14 for t.
4
Suppose -3*d = -5 - 7. Let x(z) = -z**3 + 5*z**2 + z + 2. Let a be x(5). Let g be (9 - a) + (-1 - -1). Solve -4*j = -g*t + 10 - 22, -d*t + 20 = 3*j for j.
4
Let d(f) = 7*f + 103. Let t be d(-14). Solve t*q = -6*k + 4*k - 27, -16 = 4*q - 4*k for q.
-5
Suppose 0*j - 2*j = -8. Suppose -2*a + 4*h + 10 = 0, 1 = -5*h + 4*h. Solve -a*v - j*d - 4 = 1, -d - 7 = -5*v for v.
1
Let x(g) = g**3 - 5*g**2 + 7*g + 1. Let t be x(3). Solve -14 = -3*z - t*n, 10*z + 4*n - 16 = 6*z for z.
2
Suppose 0 = 3*r - 4*r - 8. Let f be 2/r - (-42)/8. Suppose 0*x = x - f. Solve -5*b - x*y - 2 = 8, 14 = -3*b - 5*y for b.
2
Let c(y) = 2*y - 5. Let a be c(4). Let d = 223 - 217. Solve -2*i = 2*o, -o + a*i = -d*o for o.
0
Let j = -21 - -10. Let o = j + 15. Solve o*f - 9 = l, -l - 4 = 2*f - 1 for f.
1
Let j(q) = q**3 - 11*q**2 - 30*q - 13. Let y be j(13). Let i = y + 68. Solve 0 = b + 5*h + 6, -7*h - i = -2*b - 2*h for b.
-1
Let o(n) = -n - 3. Let w(p) = -5*p - 11. Let a(v) = -18*o(v) + 4*w(v). Let y be a(3). Solve -10 = -5*r + y*z - 38, -8 = 3*r + 2*z for r.
-4
Let t be (-7)/2*-4 + 0. Let h be 36/t + 4 + (-8)/14. Solve -4*z = 2*s - 7*s - h, -2*s + 16 = 3*z for z.
4
Suppose 7 = 3*l - 44. Let z = l - 13. Suppose -z - 4 = 2*k - 4*r, 3*r = 4*k + 1. Solve -3*y + y = 4*c + 16, 5 = -3*c + k*y for c.
-3
Suppose -13 = 5*c - 43. Suppose 3*i + 5*k + 21 = 4*i, 3*i + 4*k - c = 0. Solve -4*b + i = -3*j - 8, 8 = 2*b - j for b.
5
Suppose -400 = -12*r - 8*r. Let y be (-152)/(-36) + (-2)/9. Solve 0*a - a = 0, -y*a - r = 4*b for b.
-5
Suppose 0 = -4*y + 68 + 60. Let a = y + -28. Solve 3*r = -5*z + 8*r + 20, -a*r - 16 = 2*z for z.
0
Let i be (-4 - -4) + -3 + 28*-2. Let o = i - -63. Solve 4*d + 13 + 27 = -o*l, -4*l - 35 = 3*d for d.
-5
Suppose 4*w = 2*n - 14, -w - 22 = -3*n - 6. Solve -3*d - 2*b - 27 = -5*b, 2*d + n*b - 10 = 0 for d.
-5
Let n(g) = -g**2 - 8*g - 10. Let r be n(-6). Let l = 4 - r. Let b = 5 + -2. Solve 0 = -s + 4*o - 21, b*s + 5 = 8*s + l*o for s.
-1
Let k = -138 - -141. Solve -k*f + 9 = p, -8 = 2*f + 5*p - 1 for f.
4
Suppose -5*l = -5*x + 185, -4*l - x = 53 + 80. Let n = 38 + l. Solve -3*k = -8*k - 2*f - 12, -5*f + 3 = -n*k for k.
-2
Let d = 41 - 21. Let r = 17 - d. Let b be r/9 - 93/(-9). Solve -10 = -2*n - 0*n, -b = -s - 2*n for s.
0
Let k = 8 + 2. Suppose -k = -v + 2*l, 4*v - 14 = 4*l + 18. Solve -5*j - v = 2*m + 17, 17 = j - 5*m for j.
-3
Let d(g) = g + 2 - 3 - 2 - 3. Let c be d(3). Let y = c + 6. Solve -y*b + b - 4*n - 26 = 0, 0 = 5*b - n + 21 for b.
-5
Let a(f) = f - 6. Let s be a(9). Solve -3*w = -5*w - s*x - 4, -5*x = 20 for w.
4
Let z be (-164)/3*9/(-6)*1. Let k = 90 - z. Solve 3*j = -2*y - j + k, y - 5*j + 24 = 0 for y.
-4
Let g(r) = 63 + 3*r - 2*r - 68. Let u be g(10). Solve 0 = -b, -6 = o - u*b - 3 for o.
-3
Let p be 339/15 - (-6)/15. Let j = p - 5. Let v be 14/(-63) + 76/j. Solve z = -5*w + 30, 3*w + v*z - 13 - 22 = 0 for w.
5
Let u = 756 - 750. Solve 3*x = 7*i - 3*i + 11, 3*i = -u for x.
1
Let q be 4 + (-8)/(32/(-12)). Solve 0 = -s + 4*m - 8, -1 = -4*m + q for s.
0
Let h be 4/18 - (-215)/45. Let u(g) = -1 + 4 + 4 - 4*g + 3*g. Let o be u(5). Solve -h*l + 22 = -o*