+ 26 for l.
-4
Let s = -3771 - -3773. Solve -s*y = 4*c - 14, 0 = -3*y - y - 3*c + 23 for y.
5
Let m = -11 + 9. Suppose -i - 2*u + 2 + 1 = 0, 4*i + 3*u = 17. Let h be -2*m*i/4. Solve -4*v = -5*j - 29, h*v - 15 = j + j for j.
-5
Suppose 2*m = u + 34, 38*m + 3*u = 40*m - 42. Suppose 23 = -m*r + 16*r - x, x = -4*r + 82. Solve -v + r = 2*v + 3*d, -2*v - 3*d = -18 for v.
3
Let n be 4/(-14) - (-54)/42. Let c be n/1 + (-22)/(-11). Suppose 0 = 5*t - 3*u - 92 - 64, 5*u = -t + 20. Solve -2*o - 2 = 5*q - t, c*o = 2*q + 4 for o.
4
Suppose 0 = -31*z + 67*z - 828. Solve n + 6 = -a, 5*a - 4*n + z = -2*n for a.
-5
Let t be (9/4 + -2)/((-9)/36). Let j be (3 + (1 - 7))/(t/1). Let g be j + 5 + (2 - (-2)/(-1)). Solve -3*p - 2*f - 8 = g, f + 7 = -p for p.
-2
Suppose 34*u = -30*u + 184 + 200. Solve -2*v - 3*n = -0*n + 2, -2*v = -n - u for v.
2
Let s(h) = -h**3 - 8*h**2 + 4*h + 96. Let q be s(-7). Solve u - 5*v + q = 11, 5*v = 10 for u.
2
Let r = -46545 - -46548. Solve 11*v = 8*v - 9, -2*v = -r*j + 3 for j.
-1
Suppose 5*b - g + 56 = -78, -2*g - 2 = 0. Let q be 34 - (b/(-18))/((-6)/(-8)). Solve -3*p - 9 = 0, 4*p = -0*i - 5*i - q for i.
-4
Let l = -93 + 98. Let o = 42 - 22. Suppose 0 = l*y + 5*y - o. Solve -k = -5, -y*c + 2*k - 8 = -c for c.
2
Suppose 133*w - 53*w = 0. Solve 3*d - 3 = -o, w = -o + 2*d + d - 9 for o.
-3
Let s(r) = -6*r - 35. Let p be s(7). Let f = p + 70. Let y be f/(-4) + -2 + 33/4. Solve -3*z = -a - y, -3*a + 5*a = 2*z - 12 for z.
1
Let o be 5 - (-120)/(-8) - (0 - -4). Let r(w) = w**3 + 17*w**2 + 45*w + 44. Let y be r(o). Solve 21 = 3*t - 4*c + 5, y*t = 5*c + 20 for t.
0
Let j(a) = -53*a + 471. Let s(o) = 18*o - 157. Let c(p) = 3*j(p) + 8*s(p). Let n be c(9). Solve 30 = 5*t - 0*h + 5*h, 5*h = -t + n for t.
2
Let f be (1*-8)/(4/(-16)). Suppose 0 = -16*c + 21*c. Suppose c = d - 3*z + 1, 0 = 2*z + 3*z - 10. Solve -16 = 4*j, u - d*u + f = -5*j for u.
3
Suppose 15 = z + 2*d, 52*z - 50*z - 5*d = -15. Solve 0 = 2*n, -z*i - 18 = -5*n + 2 for i.
-4
Suppose 0*b + 21 = -7*b. Let q be (-5)/b + 72/54. Solve -3*m - q*h + 18 = 0, 5*m - 24 = h - 0*h for m.
5
Let u be -1 + -3 - (-1 + 2). Let d be 100/250*(u/(-2))/1. Solve 2*l = 5*q - 2, -3*l = 3*q - d + 4 for q.
0
Let b(t) be the first derivative of t**2/2 + 5*t + 39. Let j be b(-3). Suppose -f = 5*p + 4, -2*f = -j + 10. Solve 3*q + 12 = n - 0*q, p = 5*n - q - 18 for n.
3
Let a be (5610/(-10285))/(24/(-44)*(-1)/(-3)). Solve 3*g - 24 = a*f, -13*g + 11*g + 4 = 2*f for g.
5
Suppose -20 = 83*g - 87*g. Suppose -2*v - 6*o = -o - 25, -o + g = 2*v. Solve v = n - 5*x - 24, -2*n + 5*n = -5*x - 28 for n.
-1
Suppose 226*z - 238*z = -72. Solve -4*n - i - 9 = 6, -4*i - z = -2*n for n.
-3
Let w be 8/3*((-51)/(-459) - 46/(-72)). Solve -8 = 57*r - 54*r - b, w*r = -2*b for r.
-2
Suppose 5*c - 18 = -z, 4 - 26 = -5*c + z. Suppose 17*d - 4*u = 13*d + 8, 4*u - 24 = -c*d. Solve y - 3*o = 4 + d, 0 = -y + 5*o + 14 for y.
-1
Suppose 2*h + 4*d = 7*d - 31, 135 = -6*h - 5*d. Let q be ((-20)/(-25)*-1)/(8/h). Solve -k + 9 = x, 0 = -2*x - 2*k + 5*k - q for x.
5
Let t = 1019 + -1014. Solve -10 + 35 = t*a, 4*f - 35 = -3*a for f.
5
Let v(i) be the first derivative of -i**3/3 + 9*i + 1. Let n be v(3). Suppose k - 5 + 3 = n. Solve 2*y - q + 6 = 0, -2*y - k*y + 3*q - 12 = 0 for y.
-3
Suppose 2*z = 3*t - 27, -27 = -4*t - 3*z - 25. Solve 0 = 9*k + 9*f - 14*f - 11, -5*k + 3*f + t = 0 for k.
4
Let r be 1*15 - (-2 + 2) - 7. Solve -3*d = 3*j + 9, -4*j + 4*d + r = -4 for j.
0
Let n = 29 + -45. Let j be (-2)/(-3)*72/n. Let z be 0 - j - (-8 - -7). Solve -u + z*d + 12 = -d, 4*u = -2*d + 4 for u.
2
Let c be (84 + -83)/(-1 + (-8)/(-6)). Let l be 16/c + ((-35)/(-15))/(-7). Solve 0 = -4*r + y - 4 - l, 3*y - 20 = 5*r for r.
-1
Suppose 5*r + o - 15 = 0, 3*r - 5*o + 34 - 15 = 0. Solve -3*h + r*f = 17, -f + 4*f + 12 = -3*h for h.
-5
Let l = 466 + -438. Let m be 7 + -2 + 196/l. Solve -q + 2*v - 4 = q, q = 3*v - m for q.
3
Let n(k) = -13*k + 1429. Let g be n(109). Let w = 2 - -2. Solve -3*l + 4*l = p + w, 0 = -3*l - 5*p + g for l.
4
Suppose 1 = s + 3, -3*s + 6 = -m. Let n = 12 + m. Suppose 0 = -46*r + 15*r + 186. Solve n = 4*c + 20, c - r*c = 2*z + 23 for z.
1
Let p = 200 - 200. Suppose p = -g - 3*k + 14, -6*k + 62 = 3*g - 7*k. Solve -5*r + g = 5*s, s - 2*r = -0*s - 5 for s.
1
Suppose 7*k + 523 = -303. Let j = k - -120. Suppose 0*b + 2*b - 6 = 0. Solve -3*h - p + 5 = j*h, 0 = 3*h - 3*p - b for h.
1
Suppose 4*a = -2*u + 64, 0*a = a - 3*u - 9. Suppose -7*j + 5*n = -2*j, -4*n + a = j. Solve 4*d = -4*f + 16, j*f = f - 5*d + 20 for f.
0
Let d(l) = 57*l - 1139. Let k be d(20). Solve -8*z + 9*z + 4*g + 22 = 0, g - k = 3*z for z.
-2
Let c = -35 - -15. Let d be 8/c - 88/(-20). Let m = -151 + 156. Solve 0 = t + d*v + 9, t - 2*t - m*v - 11 = 0 for t.
-1
Let l(p) = p**3 - 5*p**2 - 6*p + 14. Let u be l(6). Let y = 13 - 10. Suppose 2*k - u = -4*c, -7*c + y*c = k - 11. Solve g + 6 = -3*a, -c*a + g = -7*a - 8 for a.
-1
Suppose 24 = 26*q - 28. Suppose 0 = -p + 2*p + 4. Let v be (1 + (-3)/2)*p. Solve v*y = -q*d + 8, -d = 5*y - 3*d - 6 for y.
2
Let w be -17 - -18 - (-1095)/((-6)/2). Let t = -361 - w. Solve 0 = 3*d - t*h, -2*d = -5*d + 5*h - 10 for d.
5
Let y(d) = d**2 - 50*d + 438. Let o be y(33). Let t(b) = 127*b**2 + b + 1. Let a be t(-1). Let g = o + a. Solve -14 = 2*w + 4*f, -w = g*w + 2*f + 27 for w.
-5
Let l = 69 - 63. Suppose 3*o = l, 3*s = 4*o - 46 + 50. Let a be (2 - 1) + 1 - 2. Solve 5*q - 5*z = 20, a*z = -2*q - s*z - 4 for q.
2
Let i = -103 - -111. Suppose c = -i + 20. Let j be (-3)/((-28)/c - -2). Solve -2*l - j = -5*n, 6*n - n - 5*l = 15 for n.
1
Let a = -539 + 539. Let j = 73 + -73. Solve j = z + f + 3, a*z + 3*z + 2*f + 11 = 0 for z.
-5
Let t(r) = -2*r**2 - 21*r - 41. Let m be t(-7). Suppose 7*c = m*c. Solve c = 2*u - 5*k - 11, 4*u = k + 1 - 6 for u.
-2
Suppose 2*g - p - 14 = 1, -4*g - 2*p = -50. Solve -15 = -5*v, -2*n + 0 + g = 2*v for n.
2
Suppose 4*m + 92 = -3*m + 11*m. Solve 17 = -3*y - 2*f, -5*y + 0*f - 2*f - m = 0 for y.
-3
Let d be 2268/(-49) + -2*2/(-14). Let z = 46 + d. Suppose -l + z*q + q = -7, 0 = l + 3*q + 13. Solve k + 6 = 3*w, 3*k - l*k = -w - 2 for k.
-3
Suppose -2*q + 5*c = -4*q - 5, 0 = 5*c + 25. Solve 2*d - 8 = 3*w, -5*d + 0*d = -5*w - q for w.
-4
Let s = 28 + 48. Let t = 78 - s. Solve 2*j + 30 = 5*f, t*f - 33 = -0*f + 5*j for f.
4
Let z be (-4)/(-5*(-14)/(-35)). Let i(k) = 2*k**2 - 13*k - 10. Let l be i(8). Suppose -2*a + 7 = -1. Solve 0*s + 4 = -a*s + 4*t, z*s = 5*t - l for s.
3
Suppose 10*k - 5*k = 0. Let y be 32/12 - (-10 + 128/12). Solve -4*d - 13 + 1 = k, -2*w = y*d + 8 for w.
-1
Let w = 1802 + -1797. Solve 0 = -3*l - 18, -2*s + w = -l - 1 for s.
0
Let x(a) = a**3 + 3*a**2 - 25*a + 7. Let u be x(-7). Let z be -4 + (-464)/(-56) - (-4)/u. Solve -z*d + 18 = -2*l, 0 = -3*l + d + d - 15 for l.
-3
Let m = 6462 + -6458. Solve -4*l = -m*s + 4, -2*s = -26*l + 21*l + 10 for s.
5
Let p(c) = 4*c**2 + 139*c + 113. Let x be p(-34). Solve -8*i = 2*h - 13*i - x, -h - i = -2 for h.
3
Let k(p) = -432*p - 2158. Let u be k(-5). Solve -2*i - u*d = -6, -7 = -i + 5*d - 22 for i.
0
Let c = -220 - 151. Let h = 375 + c. Suppose 3 = 2*f + s - 9, f - s - 3 = 0. Solve h*j - 7 = 5, f*j = -2*v + 13 for v.
-1
Let q be (-34)/(-20) + (-180)/(-600). Solve -3*v = 2*w - 25, q*w = w - 4*v + 25 for w.
5
Suppose -144 = 3*b - 9*b. Suppose -d + 109 = -5*a + d, -4*a - d - 82 = 0. Let u = a + b. Solve 3*s - 5 = 5*k, -3 = 5*k - 2*k - u*s for k.
-1
Let v(x) be the second derivative of -x**3/6 + 11*x**2/2 + 12*x. Let y be v(7). Suppose -2*j + y + 2 = 0. Solve -5*d + 3*h + 1 = -8, 0 = -j*d - h + 11 for d.
3
Suppose -1398*s = -1281*s - 2340. Solve 0 = -0*u - 5*u + 5*d - s, -5*u - 5*d + 30 = 0 for u.
1
Suppose 3*i - 4*k + 1054 = 0, i = -k - 4*k - 383. Let l = 368 + i. Solve -5*w + 2*v + 19 = 4, -5*w + 3*v + l = 0 for w.
5
Let c(s) = -9*s - 85. Let j be c(-11). Suppose -j*i + 6*i = -32. Solve -3*l + 6*l - i*a = 5, 4*a - 5 = 5*l for l.
-5
Let t be (-4)/(-5) - (-168)/15. Let m = -375 - -377. Solve 3*r + t = 0, 5*q + m*r - 7*r = 15 for q.
-1
Let j be (-82)/176 + (-28)/(-308) - 102/(-16). Solve -4*k - 3*r = -1, -3 = -j*r + 9*r for k.
1
Suppose 12 = -97*v + 96*v. Let s be (-2)/6*v + 11 - -6. Solve 0*p + 5*u = 2*p + s, -4*u - 3 = 5*p for p.
-3
Let z(r) = -2*r - 2*r + 9*r**2 - 24 + r**3 - 10*r**2 + 0*r**2.