 -15*f - 2*t - 16 = -17*f for f.
4
Let k = 14716 + -14700. Solve 4*o - k = 5*h, -3*h - 23 = 2*h + 3*o for h.
-4
Suppose -6*s = -29 - 13. Let g be (-4)/7 - (-39)/(-91). Let q = s - g. Solve -j - 2*j - 2*m - 10 = 0, -5*j + m = q for j.
-2
Let o = 234 + -778. Let q = o - -548. Solve 2*s - 4*k = -16, -2*s + 0 = k - q for s.
0
Let d(f) = -f**3 + 5*f**2 - 2*f - 1. Suppose 0*r = -2*r + 8. Let q be d(r). Let c = 3142 - 3138. Solve -z - q = -3*j - 0*z, -3*j = -c*z - 1 for j.
3
Let p = -16 + 26. Suppose -z + 9992 = 9975. Suppose 5*c + p = -5*f, 0 = -4*f - z + 1. Solve 3*s + 5 = -c*s - 4*i, 5*s - 3*i = 30 for s.
3
Let s = 4181 - 4178. Solve 2*o - 4*p = -6, -5*p - 24 = s*o - 4 for o.
-5
Suppose -8 = -2*q - 2*o, -2*q + o = -14 + 6. Suppose -2*u = q*v + 16 - 44, 5*v = -4*u + 56. Solve -b + u = -3*s, -2*s - 10 = -s + 5*b for s.
-5
Let h(a) = -3*a + 4. Let l(u) = 6*u - 6. Let z(i) = -5*h(i) - 3*l(i). Let o be z(-3). Solve -12 = -w - 4*c, -2*c = 3*w - o*c + 32 for w.
-4
Let x(g) be the third derivative of g**6/120 - 23*g**5/60 - 25*g**4/12 + g**3/6 - 149*g**2. Let p be x(25). Solve 0 = -0*k + k - d + p, -4*k - d = -11 for k.
2
Suppose 42*u - 6*u = 252. Solve -12*t + u*t - 15 = 0, 12 = 5*h - 4*t for h.
0
Suppose -768*u - 372 = -861*u. Solve 2*d - 11 = 3*g - 6, 0 = -2*g + u*d + 2 for g.
-3
Let f = -3186 + 3187. Solve 0 = 3*x - 0*x + w - 4, 2*x = -w + f for x.
3
Suppose 0 = 6*d - 1798 + 1780. Solve -2*q + 10 = d*u, -4*u + 18*q - 16*q = -18 for u.
4
Let n = 4733 + -4726. Solve -y + 4 = u, -3*y - 11 = -3*u + n for y.
-1
Suppose 1037 = 2*d - 59*b + 54*b, 5*b = d - 531. Solve 5*y - 501 = 3*f - d, -2*f = 3*y + 22 for y.
-4
Suppose -4*h = 2*g - 40, 3*g = -2*h - 2*h + 54. Suppose g*f - 9*f - 25 = j, -4*f + 11 = j. Solve -2 = f*v - 2*m, v - 3 = -2*v + 3*m for v.
-2
Let t be (-153)/27 + (-4)/(-6). Let f(x) = -7*x - 7. Let m be f(t). Let n = -26 + m. Solve -n*i - 2*l - 6 = 0, -2*i + 4*l = -0*l - 18 for i.
1
Suppose 2*r - 80 = -4*k, -5*k + 7*k + 96 = 3*r. Solve -5*t - 26 + r = 4*j, -t + 2*j + 10 = 0 for t.
4
Suppose 3*l + 3*j = 20 + 34, 5*l + 3*j - 96 = 0. Let f be (-5 - (-119)/l)/(2/9). Let g be 2 - f*(-2)/(-3). Solve g = 3*x - 5*h - 30, 3*x + x = -2*h + 14 for x.
5
Suppose -2*j = -3*m + 8, 0*m - 2*m = 3*j + 12. Suppose m = 18*r - 13*r - 55. Suppose r*f - 22 - 187 = 0. Solve 3*s = 2*s + 3*z - f, -z - 15 = 5*s for s.
-4
Suppose 1048 = 5*o - o. Let i = o + -258. Solve s = -3*g + 11, -s - 2*g - i = -12 for s.
2
Suppose -k + 5*w - 3 = 0, -2*k + 66 = -0*k - w. Solve 3*y - k = -2*z - 46, -y = -4*z + 17 for z.
3
Let w(i) = -i**3 + 9*i**2 - 17*i + 3. Let b(g) = -g. Let f be b(-7). Let a be w(f). Let r = 33 + a. Solve -v - 6 = -2*x - 1, -3*x = 3*v + r for v.
-5
Let l = 4481 - 4480. Solve 3*f = 4*b + l, -2*f = b + f + 4 for b.
-1
Let s(b) = 15*b**2 - 15*b - 12. Let i be s(3). Solve j = 83 - i, -2*g + 26 = 4*j for g.
3
Suppose -5*f + 233 = p + 218, -5*f = 5*p - 55. Solve -2*i + 4*i + 2*y = 2, -5*y = -p for i.
-1
Let k = 391 - 391. Suppose k = -5*v - t + 9, 2*v + 2*t - 9 = -7. Solve -3*g + v = -2*o + g, -5*g + 15 = 0 for o.
5
Let n(h) = 61*h + 6042. Let l be n(-99). Solve -5 = 15*z - 14*z - 4*m, 3*z - l*m = 3 for z.
3
Suppose 9*c + 5 = 68. Suppose 13 = -5*p - c. Let k = 29 + p. Solve 5*q = 2*l - k, 6*q - 4*l + 35 = q for q.
-3
Let a(r) = -r**2 - 12*r - 11. Let t be a(-6). Solve 16 = 2*p + 3*b + 1, 3*p + 5*b = t for p.
0
Suppose 4*z - 395 = 37. Let c = z - 59. Suppose 4*w - 14 + c = 3*s, -2*w + 5 = 3*s. Solve 0 = s*g - 0*o + 5*o + 35, g + 3*o + 17 = 0 for g.
-2
Suppose -5*k - b = -30, 2*k - 4*b + 13 - 3 = 0. Suppose -10 = 3*w - 44 + 22. Solve w*c = -5*t - c - 15, k*t - 2*c = -15 for t.
-3
Suppose -7*p + 6*p = -4*z + 14, -2*z + 12 = 2*p. Solve 0 = 3*g + z*w - 5*w - 10, -w = -5 for g.
5
Suppose -5*m = 7*w - 3*w - 166, 138 = 4*m - 2*w. Suppose -3*n = 5*y - 19, m*y - 2 = 33*y. Solve 0*u - 18 = -4*t - 2*u, 5*u - 10 = -n*t for t.
5
Let x be 3/(-3)*2 + 5. Suppose x*q - 7 = 2*h, 3*h + 1 = 3*q - 2. Let n(c) = 3*c - 10. Let b be n(11). Solve 0 = -u - 4*w - 16, -3*u - 5*w = h + b for u.
-4
Let j be 3/(-6)*1 + (-45)/(-18). Solve -2*n = 3*s + s + 10, 0 = -3*s - j*n - 5 for s.
-5
Suppose 3*m - 10 = -7. Let q be 108/(-36) + 7/m. Solve 0 = 3*r - q*p + 3, 1 - 7 = -r - p for r.
3
Let i(m) = -31*m**2 + m**3 - 18 - 24*m + 9*m**2 - 11*m + 13*m. Let g be i(23). Solve -g*l - c = -3*c - 22, l = -4*c for l.
4
Suppose 4*a - 19 = 5*m, 3 - 4 = -m. Solve 5*y + t = -0 + a, y - 2 = -t for y.
1
Suppose -n = 88*n - 106 - 161. Solve -3*z + 6*x + 15 = 2*x, 0 = n*z - x - 15 for z.
5
Suppose 2*k - 11*j + 12*j = 19, 0 = 2*k - 5*j - 49. Let r be ((-2)/1 - -2)/(k - 11). Solve -3*y - y + 2*s - 22 = r, 7 = y + 2*s for y.
-3
Suppose -15873*v = -15880*v - 6 + 83. Solve 3*k + 3*a = -0 - 9, 4*k + 3*a = -v for k.
-2
Let j be 240/840*4*((-1820)/16)/(-5). Solve 5 = i, 49*x = 47*x - 4*i + j for x.
3
Let v = 86 + -12. Suppose -7*g + 2*w = -11*g + v, -4*g + 73 = w. Solve -3*t - 2*q = g, t + 35 = -4*t - 5*q for t.
-4
Suppose 144 = 2*g + 10*g. Solve d + 5*p = -34 + 12, -d = 3*p + g for d.
3
Let g = -3 + 10. Suppose v - g = 1. Suppose 7*z - 18*z + 93 - 93 = 0. Solve 4*c + 4*w = -z*c - v, -5*w - 10 = 0 for c.
0
Let j be (-1 - 3)*(-34)/(-8). Suppose 49 = 5*u + t - 48, -109 = -5*u + 3*t. Let q = j + u. Solve 0 = -5*c + 7*i - 2*i + 35, -q*c + 5*i = -25 for c.
5
Let c be 0 + 2 + 35/(-14)*(-72)/30. Solve 5 = 5*o, 2*o + c = -2*g + 4*o for g.
-3
Suppose 1160 = -15*b + 5*b. Let t = 122 + b. Solve 2*o - 2*x + 4 = x, -x + t = -3*o for o.
-2
Suppose 57*j - 54*j - 4*f + 11 = 0, -4*j + 27 = 3*f. Solve -j*k - k - 3*o = -3, -3*k - 4*o = -4 for k.
0
Suppose -58*l + 60*l = 0. Let m = 12 + -16. Let z be (-2 - 0)*8/m. Solve -2*o + 2*u - 7*u - 10 = l, 0 = -z*o - 5*u - 20 for o.
-5
Let c = 103 + -98. Let v = c - 133. Let a = -124 - v. Solve 1 - 7 = -3*s + 3*p, 17 = -a*s - p for s.
-3
Let k = -7 - -10. Suppose 0 = -4*z - 4*q, -3*z = z + k*q - 2. Let c(t) = -6*t - 28. Let i be c(-6). Solve -z = 2*m + 2*m + 5*f, -i = 4*m + 2*f for m.
-3
Let i = 130 - 217. Let g = -81 - i. Suppose 8*o = 6*o + g. Solve o*r - 3 = 0, 0 = -m - 0*r - r + 3 for m.
2
Suppose -4*r = -t + 28, 5*t - 40 = -5*r - 0. Let g be 1 + 183/12 - t/48. Suppose -58*l = -56*l - g. Solve 4*j = -4*n + 20 + l, 0 = -j + 2*n - 2 for j.
4
Suppose v - 3*v + 8 = 0. Suppose u + 1 = v*k, -2*k - 6 = 4*u - 2. Let r(j) = -42*j - 753. Let p be r(-18). Solve 2*b - 3*y = 2, -3 = -p*b + 2*y - k*y for b.
1
Suppose -108 = -7*r - 5*r. Suppose r*a + 97 = 241. Suppose 0*y = 3*y - 6. Solve -t = y*x + 3*t + a, 5*x + 12 = 4*t for x.
-4
Suppose 2*c - 5 = 1. Suppose 675 = -5*s + 685. Solve -s*x = c*y - 3*x + 7, 3*x = -5*y - 35 for y.
-4
Let q(t) = t**3 + 11*t**2 + 6*t + 5. Let j be q(-10). Let k = -41 + j. Let g be k + -1 + -3 + (2 - 0). Solve -5*y + 7*o = 4*o + 14, -o = g*y - 1 for y.
-1
Suppose -2*s + 23 = 15. Let u be (-240)/32*s/(-10). Solve -4*x = -u*x + 2*i + 11, 5*i + 35 = -4*x for x.
-5
Let t = -9871 - -9879. Solve -4*q = 4*x, 12*q + t = -5*x + 9*q for x.
-4
Let f(x) = 2*x - 17. Let s be f(10). Suppose -34 = -s*b + 5*r, 5*b - 13 - 7 = r. Solve -3*q = 2*t - 3 + 10, -b = -3*q for t.
-5
Let h(x) = -x**2 + 7*x + 3. Let j be h(7). Suppose 3*o = 4*o - j*q + 13, -q + 7 = o. Solve -5*n = -2*p - 12, 0 = n + 3*p - 1 + o for n.
2
Let m be (-57)/(-24)*2 + (-9)/12. Solve -2*s = 5*f - 1, 0 = 2*f + 2*f - m for s.
-2
Let c(d) = d**2 + 26*d + 173. Let g be c(-13). Solve 0 = -p - g*p + 25, 4*v + p = 5 for v.
0
Let z = -1341 + 1343. Solve 5*v - 15 = 5*l, 2*v + 5*l = z*l + 11 for v.
4
Let k(x) = -25*x**3 - x**2 - 10*x - 14. Let l be k(-2). Let i = l - 198. Solve 0 = i*a - 3*j - 11, 0 = -a + 4*a - 5*j for a.
5
Let g = 6625 - 6618. Solve 0 = -5*z - 4*q + 16, 0*z = -2*z - q + g for z.
4
Let v be 72/324 + (-16)/(-9) + 3. Solve -71*d + 3*g = -74*d, -d + v*g = -6 for d.
1
Let b(y) = 5*y**3 + 23*y**2 + 14*y + 11. Let g be b(-4). Solve 5*n = 3*d + 10, -4*d + g*d + n - 2 = 0 for d.
0
Let i be (-63)/(-180)*-4*5. Let t(w) = -w**2 - 6*w + 11. Let y be t(i). Solve q = -3*h - 12, q - 9 - y = 2*h for h.
-5
Suppose -27 = l - 10*l. Suppose 5*c - 190 = -175. Solve -2*w + c = h - l, 5*w = 5*h for w.
2
Let n be (-31)/(-4) + 3/12. Let x = -256 + 281. Let l be ((-10)/x + (-1)/(-15))*-12. Solve -l*s = j + 12, n = j + j for s.
-4
Let t(b) = -12 - 1 + 2*b - 5 + 