 = x*n + 14, n + 2*j - 4 = 5 for n.
1
Let m = 227 - 165. Suppose 0 = 14*r - m - 8. Solve 47 = r*u - 5*t + 17, -5*t = 15 for u.
3
Let z(f) = -f**2 - 158*f - 1748. Let v be z(-12). Solve 19 = -3*r - 4*p - v, -5*r - 21 = -2*p for r.
-5
Let j(i) be the first derivative of 2*i**3/3 + 17*i**2/2 + 12*i - 7. Let y be j(-8). Suppose 1 = y*n - 7. Solve 3*r - n = -5*p + 4, 3 = -r for p.
3
Let w = 1285 + -1280. Solve -w*x - q = 65 - 57, 3*x + q = -2 for x.
-3
Suppose 13 = 2*l + 3*i, 5*l - 387*i + 383*i + 2 = 0. Solve l*a - 6 = -2*s, 7*s + 2*a - a - 3 = 0 for s.
0
Let q(b) be the first derivative of -b**4/4 + 5*b**3 + 35*b**2/2 - 10*b + 86. Let o be q(17). Solve -o*a = k - 2*a, 0 = 3*a for k.
0
Suppose -2*i = -2*m - 1972, -2*m - 691 - 1279 = -4*i. Let r = m + 989. Let y = 40 + -20. Solve 5*k = y, -r = -5*c - 4*k + 9 for c.
-1
Let b be ((-54)/(-8))/(931/532) + 1/7. Solve 5*d = 5*r - 10*r + 20, -19 = -b*r - 5*d for r.
1
Let o(n) = 41*n + 154. Let u be o(-12). Let w = -336 - u. Solve -w*c + 7 = -3, 2 = s + c for s.
-3
Suppose 1032 = -6*f + 1158. Suppose f = 3*l - 3*w, -w + 17 = l - 4*w. Solve -25 = 5*c, -3*c - 13 = -l*n - 0 for n.
-1
Suppose -5*f + 9 = -0*f - 4*w, f + 3*w = -2. Let r(m) = 22*m**3 - 4*m**2 + 3. Let t be r(f). Solve t = -3*o + 3*c, o = 4*c - 26 + 7 for o.
-3
Let f = -3 + 8. Suppose f = 9*s + 5. Solve s = z - h - 7, 3*z + 5*h - 1 = -4 for z.
4
Let l = 18589 + -18584. Solve 22 = 4*t + l*m, 7*t + 5*m - 13 = 6*t for t.
3
Let y be 2/3 - (-196)/84. Solve -9*t + 5 = -f - 14*t, y*t + 10 = -2*f for f.
-5
Let o(s) = -s**3 + 19*s**2 - 16*s - 30. Let n be o(18). Suppose 0 = -4*l - n + 10. Solve -4*g + q + 4*q = -17, -g + l = 2*q for g.
3
Suppose 5*p - 182 = 19*p. Let j(n) be the first derivative of 2*n**3/3 + 12*n**2 - 17*n + 4. Let z be j(p). Solve 0 = w - 4*w + 4*r, -3*w + z = -r for w.
4
Let j(d) = -2*d**3 - 35*d**2 + 17*d - 14. Let m be (-1 - (4 - 4 - -3)) + -14. Let i be j(m). Solve i*x - 9 = 3*w + 18, 31 = 2*x - 5*w for x.
3
Let s(q) = -q**2 - 303*q - 2928. Let r be s(-10). Solve -2 = -v + r*k, -5*k + 3 = -v + 2 for v.
4
Let m be (-7)/((-231)/(-6)) - 11362/(-418). Solve 5*x + 5*q - 30 = 0, 5*x - q = m - 3 for x.
5
Let k = 8872 + -8867. Solve 2*x = a - 3, 7 + k = 2*x - 4*a for x.
-4
Suppose 36460*r - 36458*r - 6 = 0. Solve -5*o - 13 = r*z - 4, 4*o + z + 10 = 0 for o.
-3
Suppose -w = g - 314, -4*w + 0*g = 2*g - 1258. Let x = 320 - w. Solve x*d = 15, 0 - 2 = -r - 2*d for r.
-4
Let b be -52 + 49 + (-3 - 9/(-1)). Solve 16 = 2*a + j + 4*j, b*a - 4*j = -22 for a.
-2
Let c(d) = 4*d**2 + 1. Let m be c(-1). Suppose -6 = -m*i - 1. Let n be (-15 - (-190)/13)/(2/(-26)). Solve 5*f - n*y = 0, -y + i = -4*f + 4*y for f.
1
Let n(o) = -85*o - 254. Let c be n(-3). Let q be 57/(-5) - (-4)/10. Let m = -8 - q. Solve t = -4*u + 19, 0 = -u - m*t - c + 3 for u.
5
Let z = -32 - -60. Suppose -z = -4*c - 4*h, 0 = -h + 2*h + 4. Suppose 3*n - 4 = c. Solve -4*l - 23 = n*k, -23 = 3*k + 5*l - 4 for k.
-3
Suppose -520 = -229*y + 434*y - 225*y. Solve c = 5*p - 9 - 8, -6*p + y = -4*c for c.
-2
Suppose -560*u = -665*u + 1470. Solve 67*c - 64*c - 4*t - 23 = 0, 4*c - 2*t - u = 0 for c.
1
Let x = -27997 - -28031. Solve -3*m - 6 = -3*g, x = 3*m + 4*g + g for m.
3
Let i be (-326)/22 + (-4)/22. Let k be 1030/150 - 7 - 47/i. Solve -d = -2*o - 14, 3*o + 1 + 2 = -k*d for o.
-5
Let a = -530 + 616. Suppose -a + 64 = -11*r. Solve -3*f - 10 = -f - 5*h, -3*f - r = -h for f.
0
Let p be 3/6 + 6/4. Let l(q) = -2*q**3 - 26*q**2 + 61*q + 19. Let h be l(-15). Solve -2*o = p*j, -h*o + 5*j + 6 = -30 for o.
4
Let n = 11303 + -11263. Solve -5*q - 3*f - n = -15, -15 = 3*f for q.
-2
Let m be (-13)/(-18)*14 - (-2)/(-18). Suppose -22*f + m*f + 60 = 0. Solve f*v + 0*t = 5*t - 20, 5*v + 16 = 4*t for v.
0
Suppose -320 = -6*m - 58*m. Solve -3*o - 5 - 6 = 2*c, -35 = -m*c + 5*o for c.
2
Suppose 4*p = -2*d + 96, 2*d - 2*p - 29 = 91. Let r = d - 55. Let t be r + 6 - (6 - 2). Solve y = -3*c - 3, 6*c - 3*c + t = 4*y for y.
0
Let b(f) = 31*f - 184. Suppose 2*p = 1560 - 1548. Let h be b(p). Solve -d - h = u + d, u = -4*d for u.
-4
Let n = 14 + -10. Suppose -5*r + m + n - 8 = 0, 0 = -2*r + 5*m - 20. Solve -2 = -z, r = a + a - 4*z for a.
4
Let k(o) = 146*o + 733. Let n be k(-5). Solve -4*r - n*v - 12 = 0, -5*v + 10*v = -r - 3 for r.
-3
Suppose 108 = 3*v - 12. Let w = v + -38. Suppose w*s + 5 = 13. Solve -2*j + 2*a = 0, s*j = 2*a - 3*a for j.
0
Suppose 3*z + 11 = 4*z. Let o = z + -21. Let a = -5 - o. Solve 0 = -a*p + 4*s + 16, -3*p + 23 = 5*s + 6 for p.
4
Suppose 103*y - 90*y = 52. Solve p = -y*r + 21, r + 0*p - 2*p = -6 for r.
4
Suppose 0*x - x = 0. Suppose x = 11*f - 22 - 0. Solve 0 = -3*v - f*r - 17, 0*v + v = 2*r + 5 for v.
-3
Suppose -4*b = 17*b - 63. Let h = 16 + -13. Suppose h*y - 6 = y. Solve y*d - o - 15 = 0, -o + b*o + 5 = d for d.
5
Let l be (-2299)/627*(0 - 12). Suppose 0 = -5*n + 5 + 75. Suppose l = 4*s - n. Solve 4*z + 2*b - 14 = 0, -s = -5*b - 0 for z.
2
Suppose -79*v = 5 + 7 - 328. Solve v*p = -16, p + 7 + 22 = -5*a for a.
-5
Suppose -12*g + 7*g = 0. Suppose -4*q + g = -20. Solve 0*u = -4*o - 4*u + 4, q*o + 3 = 3*u for o.
0
Let m be (40/(-6))/(10/(-15)). Suppose m*o - 6 = 8*o. Let h(q) = q + 20. Let r be h(-20). Solve r = f - 3*f, o*f - 1 = a for a.
-1
Let w = 128 + -126. Suppose -w*t - 4*y = -8, -4*t - 5*y + 4*y = -9. Solve -1 = r + 2, -2*o = t*r for o.
3
Suppose 161*f = -172 + 655. Suppose 5*g + 16 = 3*g. Let d = g - -12. Solve -2*u - d = c - f*u, 3*c + 5*u + 4 = 0 for c.
-3
Suppose -16*n - 3*n + 76 = 0. Suppose -4*w - 37 = -2*c + 27, -n*w = c - 8. Solve -h - 2*g = -5*g + 8, -c = 4*h - 4*g for h.
-5
Suppose 54*i - 13*i = 641 + 220. Solve 0 = -5*o + 9*o - 3*g + i, 30 = -5*o + 5*g for o.
-3
Let o = 344 - 372. Let c be 6 - 8/o*-7 - 1. Solve 0*g + 13 = c*g + 2*u, -3*u - 3 = 0 for g.
5
Let x = 3529 + -3525. Solve 1 = o + x*m - 6, -3*m = 4*o - 15 for o.
3
Let u(i) = i**2 + 5*i - 4. Let g be u(-5). Let s(f) = 17*f + 73. Let k be s(g). Solve 5*x - k*o = 0, 5*x + 2*o + 5 = 12 for x.
1
Suppose -309*g = -301*g - 208. Suppose 3*x = 2*v + 32 - g, -5*v + x = -11. Solve -4*z + 16 = 0, 5*o = -v*z - 16 + 43 for o.
3
Let k be (-8 + -1 - ((8 - 3) + 0))*-1. Solve 14 = -2*m + 4*s, -k*s = 2*m - 11*s - 21 for m.
3
Let v = 294 - 292. Suppose v = w + b, w - b + 1 = 7. Solve -l + 3*a - 4*a = -4, -3*l = w*a - 17 for l.
-1
Suppose -21 = -4*d + f, -5*d - 6*f + 3*f = -22. Let s be (3 - 2/(-6)*-3) + 2300/100. Solve -p - d*o - s = 2*p, 2*o = p + 1 for p.
-5
Let x = -295 + 307. Let a(j) = -j**3 + 14*j**2 - 25*j + 32. Let w be a(x). Solve -5*m + 11 = 36, -m - w = -5*u for u.
3
Suppose -240*o + 862 = -6098. Solve -2*v = -4*q - 12, v - o + 19 = 4*q for q.
-2
Let z = 152 - 150. Suppose -f - 18 = -z*a + 4*f, 3*a - 5*f = 22. Let m = 7 + -5. Solve -y = -2*c + 5, -m*y - a = -5*c + 9 for c.
3
Let l(v) = v**3 + 2*v**2 - 1. Let h be l(-1). Suppose h = 2*s - 7*s. Let p = -1347 + 1363. Solve s = -2*b - 2*k - p, -b - 5 = 2*k + 7 for b.
-4
Let g be (-5)/(-10) - (2 - (-65)/(-2)). Let j = g + -28. Suppose 7 = -z + j*l - 2, -5*z + 2*l = 6. Solve -2*i = 10, -3*h + z*i + 13 = -2*i for h.
1
Suppose 497 = 105*u - 98*u. Let j = 76 - u. Let m(y) = 5*y. Let l be m(3). Solve -33 = w - 5*w - j*q, -l = -5*w - q for w.
2
Let d = 2 - 6. Let c be (7/4)/(d/(-16)). Let f(v) = 159*v - 1111. Let g be f(7). Solve -c = -g*u + w, -u + 5*w = -0*w + 1 for u.
4
Let w = 568 - 570. Let k(x) = 3*x**2 - 6. Let m be k(w). Solve -5*t = 4*i + 3 + m, -5 = i + 4*t for i.
-1
Suppose 132*d - 4911 + 291 = 0. Solve -7*c - 5*t = -12*c, 0 = 3*c + 4*t - d for c.
5
Suppose -13*b = -16*b + 2*d - 44, -5*d = 3*b + 37. Suppose -15 = 2*o - 47. Let k = o + b. Solve k*l + 12 = -4*s, -s = -4*s - 5*l - 2 for s.
-4
Let t = 219 + -241. Let i be (-189)/(-39) - t/143. Solve 0 = -2*d - i*n - 9, d + 2*d = 5*n + 24 for d.
3
Let z(k) = -12*k - 502. Let g be z(-42). Solve 0 = a - g*s + 9, 0*a + 4*s = -5*a + 11 for a.
-1
Suppose 27 = 17*z - 7. Suppose 59 = 4*h - 3*y - 2*y, 5*h - 78 = z*y. Solve j - 3*n = -8*n - 8, h = 4*j - 4*n for j.
2
Let w be (392/(-16))/7*32/(-28). Solve -2*a + h + 4 = -4*a, 3*h + 2 = w*a for a.
-1
Let h = -1642 - -1644. Solve 5*j - s - h*s + 7 = 0, 2*j - 4*s = 0 for j.
-2
Let v be 3*(-1)/3*-2. Suppose 2*l = 3*b + 39, 5*b - 11 = -3*l - 0. Let s be l/((-96)/28)*(-8)/14. Solve -3*c = c - 5*j - s