 - 5*t = -2*x + 3, 0 = x - 3 for t.
1
Let n = 3223 - 3218. Solve n*t = -3*p - 2*p, 2*t - 2*p - 8 = 0 for t.
2
Suppose -2*m + 3*z + 10 = 0, 16 = 3*m - 5*z - 0. Let r be -4 + 5 + 0 + m. Solve -r*o = o + q - 9, 0 = 2*o - 5*q + 1 for o.
2
Let d = 437 + -227. Suppose 59*h - 74*h = -d. Suppose m - 4*t = -2, -4*t + 1 = -5*m + 7. Solve 4*s + 5*b = s - h, -s = -b + m for s.
-3
Let n = 206 + -182. Suppose 3*s = 5*g + n, 5*s - 2*g - 27 = 2*g. Suppose 0*h - h = 0. Solve -s*r + h = 4*m - 8, -m - 5*r = -2 for m.
2
Let u(p) = p**2 - 6*p + 12. Let l = -191 - -195. Let m be u(l). Solve 11 = 4*n - f, 4*f - 23 + 7 = -m*n for n.
3
Suppose 0*u = -2*u - 2*f, -6*f - 20 = u. Solve 4*i + 4*p + 9 = 7*i, 0 = u*i + p + 7 for i.
-1
Suppose 0 = 18*i + 6009 - 6063. Solve -3*j + 6 = 3*a + i, j - 4*a = 21 for j.
5
Suppose 35*g + 18 = 37*g + l, 0 = 4*g - 4*l - 48. Solve a = 4*b - 3, g + 6 = -2*b + 4*a for b.
2
Suppose 19*v - 13*v = -27*v + 198. Solve 5*i - f = -v*f + 20, 0 = 4*f - 4 for i.
3
Let f(r) = 5*r - 3. Let c = -26 - -31. Let n(o) = -2*o + 2. Let y(h) = c*n(h) + 3*f(h). Let u be y(1). Solve -4*q + 18 = 2*z, 3*z = -4*q + u*z - 7 for q.
2
Let r be 4/(-42) + (-774)/(-189). Solve 2*z + q = -10, -13*z - r*q = -8*z + 31 for z.
-3
Let w(r) = r**2 - 5*r - 8. Let t = 6 - -71. Let n = 74 - t. Let y be w(n). Solve -2*u + 0*i = 4*i - y, -2*i + 2 = -2*u for u.
2
Suppose 2*a + 120 = 10*a. Let p be (-1)/(-2)*28/21*a. Suppose 0 = -5*l + 30 + p. Solve 0*q - 11 = 5*i - q, l = -5*i - 2*q for i.
-2
Let i(c) = c - 19. Let g(b) = 1. Let t(f) = 3*g(f) + i(f). Let z be t(8). Let l be (-5)/((-70)/36) + z/14. Solve -2*w = l*o - 2, 4*w = -0*w + 16 for o.
-3
Suppose -5*i + 2*t - 954 = 234, t = 5*i + 1189. Let c = i - -241. Solve -s + c + 1 = 0, 5*w + 16 = 4*s for w.
0
Let r = -82 - -86. Suppose -4*h + 4*f = 8, -2*h - 6*f + r*f = -4. Solve 0 = 2*b + 4*m - 2, -2 + h = b + 5*m for b.
3
Let t = -2718 + 2724. Solve 17 = 10*j - t*j + 7*u, -2*u = 5*j - 1 for j.
-1
Let l = -38597 + 38602. Solve -2*h + t - 90 = -101, 29 = l*h - 4*t for h.
5
Suppose -8 = -21*g - 41 + 117. Solve 0 = -2*p - 2*z, 45 = g*p + 5*z - 10*z for p.
5
Let r be (9 + 620)/17*1. Solve 0 = -c + q - 4, r*c + 2*q + 7 = 36*c for c.
-5
Let l(m) be the second derivative of m**5/20 - 17*m**3/2 + 3*m**2/2 + 160*m. Let y be l(-7). Solve 6*w - 7*w - y = -4*a, 2*a - 4*w = 12 for a.
4
Let s be 0*5/25 + 134. Let t = s + -129. Suppose 3*b - 4*h - 17 = 0, 5*b - h = -6*h + t. Solve 5*j - 4*r = b*j + 14, 5*j + 21 = -4*r for j.
-1
Let z = 52 - 21. Solve 0 = 3*o - 5*g - z, 5*g - 23 + 58 = 5*o for o.
2
Suppose 2*p = -3*p. Let l = -85682 - -85692. Solve p = -5*y + 5*j - l, -4*y - 3*j + 8 + 5 = 0 for y.
1
Let b(g) = 6*g**2 + 10*g + 14. Let x be b(-2). Let v be ((-8)/6 - 0)/(x/(-27)). Let l(w) = w - 6. Let o be l(6). Solve -q = v*z, o*q + 3*q = 5*z - 22 for z.
2
Suppose 0*b = -4*b, -3*b - 4 = -5*x + 6. Solve x*i - 1 = -3*s, 22 = i + s + 21 for i.
2
Suppose 30*x - 224 = 346. Solve 0 = 3*m - w - 18, -3*w - 19 = -x*m + 17*m for m.
5
Let y(a) be the first derivative of a**4/4 + 11*a**3 - 7*a**2/2 - 231*a - 139. Let x be y(-33). Solve -5*g = 4*r + 11, -1 = -r - x for g.
-3
Suppose 0 = 3*p - l - 44, 2*p + p - 3*l = 36. Let y(i) = -i**3 + 3*i**2 + 2*i - 4. Let o = 38 - 35. Let f be y(o). Solve c + 4 + p = 3*w, -f*w - 15 = 5*c for w.
5
Suppose 0 = 3*n + 38 - 53, 4*x - 2*n - 10 = 0. Solve -f + 24 = -5*m, -f - x*m + 1 = 17 for f.
4
Let c(d) = 2*d**2 - 12*d + 13. Let o be c(8). Suppose o*l = l + 132. Solve -4*q + 2*q + 2 = 2*h, -l*h - 12 = 0 for q.
5
Let t(i) = -262*i + 2622. Let k be t(10). Solve o = k*v - 2, -4*v + 30 = -o + 20 for v.
4
Let m = 10 - 8. Suppose -4*s + m = -14. Suppose -s*h = -0*h. Solve h*g - 4*w = 2*g - 14, -3*g + w + 7 = 0 for g.
3
Let z(x) = x**3 - 6*x**2 + 11*x + 4. Let v be z(4). Suppose 15 = 31*d - v. Solve -2*r - 16 = -6*r - 2*o, -d = r - 2*o for r.
3
Suppose 2*v - 56 = 8. Let h = -59 + v. Let i = -20 - h. Solve -4*j + 3*d = -2*d + 21, i = -j + 3*d for j.
-4
Suppose 75*u - 1299 = -11*u + 421. Solve -u + 16 = c, 4*t - c = -4 for t.
-2
Suppose 7074*q - 7095*q + 315 = 0. Solve -2*j = 4*a + 16, 0 = 48*a - 53*a - q for j.
-2
Let f(w) = w**2 - 9*w. Let n be f(20). Suppose -17*h + 103 = -n. Solve -3*l - t = h - 3, -5*l = 5*t + 30 for l.
-5
Let s be (-3 + 60/66)/((-9)/99). Solve c - 8*p + 3 = -6*p, 4*c + s = -3*p for c.
-5
Let k = -4703 + 4709. Solve -2*u - f = 3, -u + f = 3 + k for u.
-4
Let y = 7 - -8. Suppose -4*i = -3*b - y, -4*i + 8*i - 13 = b. Solve 3*s = 4*n + 8, 0 = -2*s - n - i*n + 12 for s.
4
Let t = 7705 + -7581. Solve 126*o + 7 = t*o - 3*l, 0 = 2*l - 2 for o.
-5
Let i(a) = 5*a**2 - 5. Let b be i(-4). Suppose 3*j + b = -3*d, -4*j + 3*j = -d - 35. Let u be 10/(-4)*(-8)/d*-3. Solve 2*x = 4*v, -u*v = -3*v - 1 for x.
-2
Let w(z) = -9*z + 83. Let i be w(9). Suppose -4*c + 0*k = i*k - 24, -4*c + 32 = 4*k. Solve 2*l - 2 = -2*x, -2*x + c = 3*l - 2*l for x.
3
Let y = 14381 - 14371. Suppose 0 = -4*r - 4*g + 8, -4*g + 0 = 5*r - 9. Solve 0*o + 4*o - y = 2*d, 0 = -o + r for d.
-3
Suppose -2*f - 54 = -12. Let i be (5*(5 + -2))/(-1). Let t = i - f. Solve 0 = -4*g - s - 7, -2*g - s - t = -3 for g.
-2
Let a(u) = -69*u - 828. Let s be a(-12). Solve 2*o - 8 = s, 6*o = 3*i + 5*o + 4 for i.
0
Let v(u) = 47*u**2 + u**3 - u - 47*u**2. Let x be v(1). Suppose 4 = -m - 4*y, x*m - 4*y = 2*m. Solve 3*n - 30 = -t + 6*t, 0 = t - m*n + 23 for t.
-3
Let o(h) = -h**2 - 16*h + 22. Let b be o(-17). Suppose b*y - 4*i = -9*i + 290, -3*i = -y + 46. Let g = y + -55. Solve n + 2*q + 4 = -g*n, -2*n = 3*q + 5 for n.
2
Suppose -3*x - 4*m + 9 + 6 = 0, -4*x = -5*m - 20. Suppose -x*w - 15 = 0, -3*q = -8*q - w + 7. Solve 5*h - 3 = q*c, -1 - 1 = -2*h for c.
1
Let t be 1*(13 + 0/1). Let r = -8 - -12. Let m(a) = a**2 - 9*a - 134. Let q be m(-8). Solve n - 2 - 2 = -q*f, -5*f = r*n - t for n.
2
Suppose -13*z - 32*z - 10*z + 110 = 0. Solve z*w + 2*w + 5*u = -9, -5*u = 2*w + 7 for w.
-1
Let f be (-15)/(-20)*40/6. Solve -2*c - 36 + 31 = -f*t, 0 = 4*t - 4 for c.
0
Suppose 2*u = -9*u - 4576. Let c = 419 + u. Solve -x + c*l = -3*x + 14, -18 = -2*x - 5*l for x.
4
Suppose -48*q - 61*q + 156*q = 94. Solve -41*w + 5*r - 23 = -42*w, 0 = -q*w + 5*r - 14 for w.
3
Suppose -5*h + 19 = z, 54 = 4*z + 58. Suppose 4*m + 5*i - 15 = 0, -13 = -3*m - h*i - 1. Solve m = 4*w + 2*k + 16, 19 = -3*w + 2*k - 0*k for w.
-5
Let d be (-4)/2*(-6)/4. Let m be -4 - 2 - (-33)/3. Suppose 5*l + 3*n + 6 = 5*n, -l + 15 = m*n. Solve 2*a + 5 = d*a, -2*g + 4*a - 18 = l for g.
1
Let q(t) = t**3 + 21*t**2 + 24*t - 48. Let v(o) = -o**2 + o + 1. Let z(s) = -q(s) + 3*v(s). Let w be z(-23). Solve 4*n + g + 8 = 1, -w*n - g = 8 for n.
-1
Let z(s) = 5*s - 1. Let c be z(3). Suppose -5*f = -3*p - c - 8, 5*f - 4*p = 21. Let g be -1 - (-28)/5 - (-2)/f. Solve -5 = g*o - 0, u = -4*o for u.
4
Suppose 5*h = -0*h - 3*l + 77, 4*l + 84 = 5*h. Solve 4*f = -3*u - 27, -5*u = -3*f - 0*u + h for f.
-3
Let f be (-2)/(-3)*(-15)/(-10). Let s = -12 + 14. Suppose -t = 4*v + 16, s*t + 2*t = -5*v - 9. Solve y + f = -2*u + 3, -2*u - 10 = t*y for y.
-4
Let i(j) = -j**3 - 9*j**2 - 15*j + 29. Let m be i(-5). Solve -3*p - y - m*y - 1 = 0, -3*p + 4*y = -17 for p.
3
Let f = -61 - -106. Suppose -78*t + 81*t - f = 0. Suppose 2*m + m = t. Solve -3*i = -k - 0 + m, 2*i = -5*k + 8 for i.
-1
Suppose -3*a + 4*v + 1 = -22, 44 = 4*a + 8*v. Solve 4*o = 5*q, a + 12 = q - 5*o for q.
-4
Suppose -2*o - 25 = 3*o, l + 30 = -3*o. Let n be -5*((-18)/l)/(-3) + -16. Let z = n - -16. Solve 0 = 3*r + 2*v + z, 3*v + 8 = -5*r + 3 for r.
-4
Let m(t) be the third derivative of t**6/120 - 13*t**5/30 + 23*t**4/12 + 9*t**3 - 70*t**2. Let q be m(24). Solve 2*j - i + 1 = 0, -2*j + q*i = 2*i + 4 for j.
0
Suppose -7*v + 71 = -181. Suppose 0*h - v = -h. Suppose -3*x - h = -7*x. Solve 6 = -3*c - 3*m, -4*m + 25 = -x*m for c.
3
Let w be (-1)/(2*(-2)/8). Solve -5*l + 4*u - 13 = 0, -3*l = w*l - u + 22 for l.
-5
Suppose 52*o - 54*o + 182*o - 16920 = 0. Solve -2*t = 4*d + 20, 0 = -3*d + 92*t - o*t - 16 for d.
-4
Let y be -2 - ((-2)/1)/((-8)/(-16)). Solve -3*f = -5*b + 4, -y*b + 7 = 3*b - 4*f for b.
-1
Let b(d) = d**2 - 5*d + 4. Let i be b(5). Let x(f) = 12661*f + 8. Let w be x(0). Solve -5*r + i*m + w + 5 = 0, -r - 5*m = 9 for r.
1
Suppose 14*x + 159 = 328 - 141. Solve 7 = 5*d + k, -3*d - 2*d + x*k + 1 = 0 for