Let w be t(-4). Solve -3*m + w*s = f, 2*s = -4*m - 0*s - 2 for m.
-1
Let z = 40 - 20. Let t = z - 17. Suppose -t*a = 5*b - 112, 92 = 2*b + 3*b - 2*a. Solve b = 5*j + 3*u, -2*j + u = -2*u - 8 for j.
4
Let t = -270 + 270. Solve -5*y + t*b + 30 = -2*b, -4*b - 4 = 4*y for y.
4
Let f be (2 - 5 - -3) + 4. Let k(o) = 3*o + 8. Let t be k(4). Solve -4*w = -5*r - 0*w - t, -2*r - f*w - 8 = 0 for r.
-4
Let f = 59 - 44. Suppose -f*l + 8 = -13*l. Solve -l*i + y + 6 + 3 = 0, 18 = 2*i + 4*y for i.
3
Suppose 3*q + 0*q + r = 135, -2*r - 38 = -q. Suppose k - 13 = -x + 8, -q = -2*k - 3*x. Solve -3 - k = -3*z - 5*b, -2 = -b for z.
4
Let q(v) = v**3 - v**2 - 4*v - 1. Let i be q(3). Let l(a) = a**2 + 2*a - 17. Let n be l(6). Let u = 42 - n. Solve 3*b + u + 11 = -5*c, -4*b + i*c = 6 for b.
-4
Let z(x) = x**2 + 8*x - 16. Let q be z(-14). Suppose 21*r = 25*r - q. Solve 4*u - 15 = -4*s - u, -4*s + r = 3*u for s.
5
Let o(t) = -t**3 - 4*t**2 + 2*t - 3. Let r be o(-4). Let i = -6 - r. Suppose 4*d - 9*d = -i*g, -d + 6 = 2*g. Solve d = f - 3*f + x, -2*x = 3*f - 4 for f.
0
Let i(s) = 2*s**2 + 368*s + 6 - 380*s - 4. Let t be i(6). Solve -t*u - 1 + 2 = -c, c + 3*u = -1 for c.
-1
Let j be (0/1)/1 + 5. Let k = 14 + -12. Let d be 178/11 + k/(-11). Solve -2*g + 6 = -j*l + 4*l, -3*g = -5*l - d for l.
-2
Suppose w + 1 = -1. Let s(y) = -9*y + 4. Let r be s(w). Suppose -6 + r = 4*p. Solve 2*a - 22 = -5*n, -p*a - n + 2 = -6 for a.
1
Let k be (-2)/(-4)*0/4. Suppose k*v - 5*v + 141 = -2*x, 0 = -4*v + 2*x + 114. Solve -12 = -3*j - o, j + 4*o = 4*j - v for j.
5
Let x(f) = -f + 15. Let a be x(12). Let d(b) = b**3 - b**2 - 4*b - 1. Let n be d(a). Solve 4*m - 3*w + 1 = 16, -4*m - n = w for m.
0
Suppose -115 = -8*o - 99. Solve -2*s = o*a - s + 2, -4*s = -8 for a.
-2
Let m = -14 - -32. Let h be (-180)/(-81) - 4/m. Solve 0 = -b + 4*i - h - 19, 2*i - 15 = 5*b for b.
-1
Let l(s) = -55*s**3 - 6*s**2 + 1 + 54*s**3 + 3*s + 6*s**2. Let a(w) = -2*w + 2. Let y be a(2). Let q be l(y). Solve 13 = p - q*k, -p + 3 + 4 = -k for p.
4
Let l = 191 - 186. Solve -u = 3*d + 1, l*u - 4*d = -5 - 0 for u.
-1
Suppose -h + 13 = -3*v - v, -1 = 5*h + 2*v. Let j be (-5)/15*(1 + -4). Let n = j - h. Solve -2*d + 0*d + 5*s + 10 = n, 3*d + 3*s + 6 = 0 for d.
0
Let i(h) = 2*h + 17. Let g be i(-4). Suppose -g*c = -10*c. Suppose s = -2*s. Solve 4*y = s, -5*z - 5*y + 7 - 22 = c for z.
-3
Let i be ((-44)/8 + 13 + -9)*-2. Solve a = -i*a - 5*v - 17, 0 = a + 4*v + 18 for a.
2
Let b be -2*2 - 5/((-20)/(-12)). Let d be (-2 + 1)*0*b/49. Solve 0*o - 3*o + 3*m + 12 = d, m = 2*o - 7 for o.
3
Suppose 0 = -4*n + 4*m + 40, 2*n + 4*m = n - 15. Solve 5*z - 10 = -2*u, 0 = -z + 3*u - n*u + 2 for z.
2
Let o(q) = 4 - 9*q + 9*q**2 - 22*q**2 + 12*q**2. Let w(f) = f**3 - 3*f**2 - 3*f. Let k be w(3). Let p be o(k). Solve 19 = 3*s + 4*l + 4, 0 = s - p*l - 5 for s.
5
Suppose 5*w = -7*f + 3*f - 25, -25 = -4*f + 5*w. Solve -5*k + 4*v = f, -3*k - v - v - 22 = 0 for k.
-4
Suppose -42*h = -44*h + 14. Solve f - 3*b = h + 5, 2*f = -4*b - 26 for f.
-3
Let t(s) = -2*s. Let z be t(-2). Suppose v + 1 - 4 = 0. Suppose -v*a = a - 12. Solve -14 = 5*c + 4*o, -3 = a*c + o + z for c.
-2
Suppose 0 = -3*m + 4 + 8. Suppose -m = -2*z - 0. Let d be (10/55 - (-72)/(-33)) + 2. Solve d = -4*p - 0*o + 5*o + z, -2*o + 4 = 0 for p.
3
Suppose 133 = n + 6*n. Solve m = 1, 4*d - 5 = -4*m + n for d.
5
Let c = -2844 - -2846. Solve 2*p + c*f - 8 = 4*p, 0 = -4*p + 2*f - 16 for p.
-4
Let c be ((-63)/(-147))/((-2)/(-14)). Solve o - 1 = 0, 5*s + 14 = -c*o + 37 for s.
4
Let s(m) = 21*m - 60. Let o be s(3). Solve -a + 2 = o*z, 2*a + 2 = 5*z + 6 for z.
0
Let q = -32 + 47. Let i be q/(-2)*(-4)/3. Let s = 40 - 32. Solve 0*y - i = f - 3*y, -s = -4*y for f.
-4
Suppose -2*k + d = 0, 0 = -2*k + 4*k + 4*d - 20. Solve k*q = -3*p - 14, q - 24 = 2*p + 6*q for p.
-2
Let n be 21/(-3)*10/(-7). Suppose -2*s = -24 - n. Let m = s - 14. Solve 3*h + m*j = 27, 21 = -2*h + h + 5*j for h.
4
Let s = -26 + 11. Suppose -90 = -3*c - 2*c. Let j = c + s. Solve -4*z = -3*g - j, 0 = 2*z + 2*z + g + 17 for z.
-3
Let r = 248 - 243. Solve 20 = -y + r*h, -3*h = -4*y + h for y.
5
Let h be 26/455*5*21. Solve -4*c - 7 + 3 = f, -f + c = -h for f.
4
Suppose -2*l + 23 = -3*m, -31 = -7*l + 3*l + m. Solve 3*y = 4*o + 16, 3*y = -2*o - l + 17 for y.
4
Let h = 104 + -99. Solve -3*z = v - z - 1, h*z = 0 for v.
1
Let z(f) = f**2 + 14*f + 17. Let h be z(-13). Let y = h - 2. Suppose 4*c - y*c = 4. Solve -3*b - 29 = -5*o, 5*o - 27 = c*o + 5*b for o.
4
Suppose d + 2*d - 12 = 0. Let h be (-86)/(-8) + -4 + 3/(-4). Let v be (h/15)/(3/105). Solve -5*x = d*t + v, -3*t + 2*x + 2 = 1 for t.
-1
Let l = -5 + 9. Suppose l*j - 3*j + 2*f - 3 = 0, -f - 21 = -4*j. Let y be (-2 - (3 - 4)) + 3. Solve 5*t = k - 8 + 1, -y*t + j*k = 12 for t.
-1
Let f be 2/8*(-120)/(-6). Let r be 15/(-5)*(1 + -2). Solve -h - 5 = y, -3*h + r = -f*y + 10 for y.
-1
Suppose 2*n + 3*v - 57 = 0, -118 - 8 = -5*n - 2*v. Solve 0 = p + 3*l + 16, 6*p + 4*l = 4*p - n for p.
-4
Let j = -664 + 667. Let y = 28 + -19. Let s be (-2)/y - 6/(-27). Solve s = -2*b + w + 3, 6 = 4*b - w + j for b.
0
Let v = 340 + -337. Solve 8*f - v*f - 10 = 2*t, t - 17 = -3*f for t.
5
Let j(x) = -15*x + 7. Let o(q) = -7*q + 4. Let b(z) = 3*j(z) - 7*o(z). Let y be b(3). Solve y*h - 3*h + 4 = 0, -h = u + 7 for u.
-5
Let f = 26 - 16. Suppose -4*b + b + 6 = 4*w, f = -w + 5*b. Let c = 2 + w. Solve k + 2 = 5*s, -2*s + c - 15 = -5*k for k.
3
Let k = -810 - -810. Solve -3*l + k*t = -5*t + 1, 5 = -4*l + 3*t for l.
-2
Let f(i) = -2*i**3 - 14*i**2 - 13*i + 6. Let b be f(-6). Suppose -b*m + 15*m = 0. Solve -3*g + 18 = 2*g - y, m = -4*g + 2*y + 12 for g.
4
Suppose 2*r - 5 = -3*r, 3*m = 4*r + 11. Suppose -4*t = -0*t - 5*i - 11, 5*i = -m*t + 25. Solve -t*k + 9 = -5*y, k = 3*k - y + 3 for k.
-4
Let q(p) = p**3 + 3*p**2 - 22*p - 57. Let s be q(-5). Solve 6*c - 3*w - s = 4*c, -2*c = 3*w + 15 for c.
-3
Suppose a = 5*a - 168. Let h be 1020/a + (-2)/7. Suppose -4*k + 3*w = w - 8, -3*k + h = 3*w. Solve -k*i = 5*j - 25, -j + 4 = -1 for i.
0
Suppose 300*w - 63 = 279*w. Let q(k) = -2*k - 1. Let f be q(-5). Suppose 0 = 4*p - d - f, p = 4*d - 2*d + 4. Solve 0 = x - 5*h + 18, -4*x - w*h = p*h - 3 for x.
-3
Let a be 1/(-3) - (-91)/21. Let d(n) = -3*n + 18. Let o = -16 + 21. Let w be d(o). Solve a*c - 13 = w*t, 5*t + 1 = 2*c - 2 for c.
4
Let c = -5 + -1. Let m be (-2)/c*(18 + -3). Solve 2*s - 5*f = m*s + 30, 0 = s - 3*f - 4 for s.
-5
Let a = 13 + -9. Let r = 8 - a. Solve 2*c + 3*c + 41 = -r*m, -5*c - 9 = -4*m for m.
-4
Let z = 53 + -57. Let w be ((-66)/84 - z/14)*0. Solve -3*m - o + 2 = -2*m, -m - 4*o + 14 = w for m.
-2
Let a(f) = -4*f - 17. Let n be 12/(-9)*3 - 1. Let w be a(n). Suppose -15 = -3*t - 3*i, t - w*t = i - 9. Solve 0 = 3*p - 2*z + 6, 2*p - t*z = 4 for p.
-4
Suppose 3*g - 5 = 4. Suppose 0 = -5*z - g + 13. Solve 0 = -4*s - 0*s, -z*s - 8 = -2*c for c.
4
Let h(m) = m**2 - 9*m - 20. Let r be h(11). Suppose -3*p + 14 = 2*b + r, 4*b = -4*p + 20. Solve -5*t + p*f - 7*f + 5 = 0, -7 = 5*t + 2*f for t.
-3
Let x = -17 - -24. Let b = -22 - -36. Suppose -3*t - b = -2*r, -r + x*t + 14 = 2*t. Solve -4*p - 5*w = 25, -4 = r*p + 4*w + 16 for p.
0
Let z(w) = 16 - 13*w + 3*w**2 - 2*w**2 - 2 + 3. Let s be z(12). Solve -2*c = s*o - 15, -3*o - 3*c + 18 = -0*c for o.
1
Let t = 243 + -238. Solve -3*o = -3*j - 0*o + 6, -t*o = -15 for j.
5
Suppose -2*t - 4*q + 30 - 10 = 0, -23 = -2*t - 5*q. Solve 4*j - i = -5*i - 4, 5*i = 4*j + t for j.
-1
Let l(r) be the first derivative of 7*r**2/2 - 3*r - 9. Let h be l(2). Let y = h - 3. Solve -4*s - 13 = i, -s + 0*i + y = 4*i for s.
-4
Let j = -171 + 180. Solve q - 3*t - j = 0, 4*t = 3*q - 4 - 13 for q.
3
Suppose 2*b - 7 - 5 = 0. Suppose -3*n + 4*a + 26 = 0, -6*n = -7*n - 5*a - 23. Solve b*c - c + 12 = -2*f, f = n*c + 3 for c.
-2
Let v(x) = -x**2 + 13*x - 8. Suppose -12 = -3*d + 2*d. Let c be v(d). Solve 3*t + c + 2 = -n, 0 = 4*t + 4*n for t.
-3
Suppose -42*w = 20*w - 62. Solve -4*x + 3*d = 11, 5*d = 6 - w for x.
-2
Let k(g) = g + 5. Let r be ((-3)/(-2))/((-18)/60). Let m be k(r). Solve 3*f - 26 = 4*n, 2*n + 5*f = -m*f for n.
-5
Suppose -151 = 2*i + f + 5, 2*i + 156 = 2*f. Let h = 80 + i. Solve h*a - 6*a + 37 = 5*s, 5*a - 3*s = 0 for a.
3
Let f(x) = x**2 + 5*x - 10. Let p be f(-7). Suppose -2*m + 3*u + 25 = 0, p*m - 6 - 