l + 4, 0 = h - 5*l + 14 for h.
-4
Let q be -127 - ((1 - 1) + (-20)/5). Let v = -117 - q. Solve 4*p - 4 = -4*b, v*b - 5*p + 14 = 2*b for b.
-1
Let x = -430 - -435. Let i(f) = -6*f - 6. Let s be i(-2). Solve -3*h = -9, -h - s = -3*b - x*h for b.
-2
Let x = 19 + 0. Let h(o) = -8*o**3 - 15*o**2 + 15*o + x*o**3 - 10 - 10*o**3. Let d be h(14). Solve -4*t - 8 = y, -t + 2 - d = -y for y.
0
Let o be (13 - 10) + 7 + 0. Suppose -5 - o = -5*p. Suppose -3*u = p*s + s + 5, 3*s + 35 = 4*u. Solve 5*q + 11 = 2*w - 0*w, u*q + 8 = w for q.
-1
Suppose 241*v = 222*v + 95. Solve -3*s + v*q - q = 29, q = -3*s - 4 for s.
-3
Let r(m) = -5*m - 87. Let f be r(-20). Suppose -f*w = -97 + 19. Solve -v - 2*z = w, 4*v - 7*z = -3*z - 12 for v.
-4
Let z(r) = 13*r + 61. Let p be z(-3). Suppose 4*d = p*d - 144. Solve 0*x - h = -3*x - 15, 5*x + 4*h = -d for x.
-4
Let p(i) be the second derivative of 2*i**3 + 139*i**2/2 + 69*i + 1. Let f be p(-9). Solve u + 3*u + f = 3*r, 33 = 5*r - 2*u for r.
5
Suppose x - 31 = 149. Let h be 860/x - (-4)/18. Solve -f + 4*d = 0, -4*f + h*f + d + 5 = 0 for f.
-4
Let t be ((-1 + -4)*1 - -2)/(-1). Solve 5*m + 2*v = 3, 0 = -5*m + 2*v - t*v - 1 for m.
-1
Suppose -a + 2*l + 2 = -2*l, a = l + 17. Solve 5*x + 19 = -d, 4*d + 7*x - 5*x = -a for d.
-4
Let u(q) = -2*q + 21. Let y be u(5). Suppose 0 = -5*x + y*x - 18. Let r = 54 - 50. Solve -21 = 3*s + x*l, 0*l + 2*l + 24 = -r*s for s.
-5
Let o = 8886 - 8881. Solve -5*f = -4*y + 20 + 10, 2*f + 29 = o*y for y.
5
Suppose 3*s = 5*s - 50. Let v = s + -21. Suppose 2*f + v = 20. Solve 0 = -3*h + f*h - 3*x, -x = 0 for h.
0
Suppose -16*z - 92 = 196. Let h be z/(-45) - 13/(-5). Solve 2*f = -4*u + 18, h + 1 = u + f for u.
5
Let k be (1092/108 - 10) + 70/18. Solve 2*q - 5 = s, -7 = 2*q - k*s + 3 for q.
5
Suppose 28*o - 64 = 24*o. Suppose -3*d + u = -5, 29 = 3*d - 3*u + 8*u. Solve 4*z - z + 3 = d*p, 0 = -4*z - o for p.
-3
Let w = -24 + 30. Suppose 0 = -w*c - 55 - 41. Let l = -14 - c. Solve -l*p + 2*j - 3*j = 0, 0 = -2*p - 5*j - 8 for p.
1
Suppose -164 - 34 = -9*j. Suppose 70*a + j = 81*a. Solve 2*y - 12 = -5*v - y, -4*y + 16 = -a*v for v.
0
Suppose -26*l - 36 = -426. Solve 0 = -d - g + 6 - 13, l = -5*g for d.
-4
Suppose -s - 96 = -30*s - 3*s. Solve -4*t - 24 = -2*w, -5*w - s*t + 40 = 45 for w.
2
Suppose 4*i = 3*j + 6, 9*j - 13*j - 5*i = -23. Let o(w) = w**3 + 7*w**2 - 15*w - 2. Let c be o(j). Solve -c*g + n = 2*n + 16, -4*g - 2*n = 20 for g.
-3
Suppose 45 = 102*j - 107*j. Let n be (-2444)/(-468) - (-2 - 20/j). Solve -v - n*i = v + 2, 5*i + 5 = -5*v for v.
-1
Suppose -76*i + 148 = -116*i + 77*i. Solve 0 = 2*l + 5*p + 1 - 4, 5*l - i*p + 9 = 0 for l.
-1
Suppose -1716 = -250*z - 59 + 2343. Solve p = -12*j + z*j - 18, -4*p + 28 = 4*j for j.
5
Let y(n) = n**3 + 8*n**2 - 10*n - 7. Let q be y(-9). Let m = 87785 + -87783. Solve 0 = -o + 2*i - 3, q*o + m = -3*i + 5*i for o.
1
Let c = 3113 + -3110. Solve 2*h + 2 = 3*u, -8*h + 3*u + 13 = -c*h for h.
5
Suppose 7*k + 5*r + 195 = 2*k, r = 3*k + 117. Let m = k + 41. Suppose 5*n = u - 3*u + 63, 0 = 3*n - 2*u - 41. Solve 5*b = -m*d + 16, 2*b = d + n - 3 for b.
4
Let t(s) = -s**3 + 16*s**2 - 80*s + 137. Let w be t(5). Solve -2*z - 4*q = 18, w*z + q = 11*z - 4 for z.
1
Suppose 12 = 70*n - 69*n. Suppose -5*h + 32 = 3*q - n, 4*h = 3*q - 8. Solve -12 = 4*g - 4*t + q, -2*g + 5 = t for g.
0
Let c = 508 + -583. Let y = c + 81. Let s = 8 - 4. Solve -u + y = -s*x, 5*x = 2*u - 7 + 1 for x.
-2
Suppose -2*v - 4 - 6 = 0, -4*d - 4*v + 192 = 0. Let i = -35 + d. Let s = 2139 + -2139. Solve -3*z + 3*n + i = 0, s*n = 2*n + 8 for z.
2
Suppose 2*y = 5*l - 50, -2*y = 4*l - 13 - 9. Let m be 2 - (-2 + -1*8). Suppose m = s + s. Solve 0 = -3*c + 3*n - s, -2*c + 4*n - l = -0 for c.
0
Let b be ((-8)/3)/(57/(-9) - -6). Suppose -90 - 6 = -b*l. Solve -p = -4*q + 24, 2*p - l = -0*p - 4*q for p.
-4
Let r be 7/7 - (1 + -3). Suppose -5*h = -5*f + 5, 585 = -5*h + 2*f + 589. Solve -2*l = 4*g + h - 8, 0 = -5*g + r*l + 13 for g.
2
Let j = 25873 + -25861. Solve -24 = 3*y + 2*y + 2*w, j = -5*y + 4*w for y.
-4
Let x be (0 + 1)*(-12)/18*-18. Solve 5*n + 4 + 2 = f, -2*f = 2*n + x for f.
-4
Suppose -7*q + 91 = -21. Let w be ((-12)/q)/(15/(-100)). Solve -3*u + 9 = -5*u + w*t, -3*u + 3 = -2*t for u.
3
Let w = 14891 - 14888. Let h = 2 - -1. Suppose q + h = -3*x, 10 = -4*x + 2. Solve 6 + w = f - 2*v, -q = v for f.
3
Suppose 9*a = 169 - 16. Let w = 22 - a. Solve -h - s = 4, h - w*s = 27 - 1 for h.
1
Let o(h) = -h**2 + 13*h + 16. Let q be o(14). Suppose -l = 5*k + 23 - 57, -5*k + q*l = -22. Solve -2*v = 4*r + 4, 5*v + 3*r + k = 2*v for v.
-2
Let w be (-14)/(140/23 - 6). Let t be w/(-92) + 10/8. Solve -3*b - 5 = -b + 5*g, 3 = 5*b - t*g for b.
0
Let h = 5317 - 5312. Solve -4*q + 20 = b - 0, -h*b = 4*q - 20 for q.
5
Suppose -4*o + 335 = 327. Suppose -h + v + v = -13, -2*h - 2*v - 4 = 0. Let f = 8 + -4. Solve o*u = 3*u - f*s - h, 0 = -5*s - 10 for u.
-5
Let n = -1477 + 1479. Solve n*j - 2*g - 8 = 7*j, -4*j + 12 = -3*g for j.
0
Suppose -21 = 7*x - 42. Let m be 2/((x - 6) + 14/4). Solve 17 = -2*a + 4*a + 5*f, 0 = -m*a + 2*f - 26 for a.
-4
Suppose -4*m + 75*a - 77*a + 32 = 0, -4*m = 4*a - 24. Solve -16 = 2*y + 2*f, -14 = f - m for y.
-4
Let n(z) be the first derivative of -z**3/3 + 4*z**2 - 13*z - 55. Let w be n(5). Solve 0 = -c - w*i - 7, 3*i + 28 = -4*c + 5 for c.
-5
Let l(c) = 2*c**3 - 144*c**2 + 138*c + 303. Let p be l(71). Solve 517*f + 3*y = 522*f + p, -5*y = 5*f - 5 for f.
-2
Let w(u) = -u**2 - 8*u + 11. Let d = 232 + -239. Let r be w(d). Solve -r = -3*l + p, 5*l - 3*p + 0*p - 34 = 0 for l.
5
Suppose g = -8*g - 36. Let l(n) = -n**3 - 4*n**2 + 4. Let q be l(g). Let a(u) = -u + 11. Let s be a(9). Solve -5*f - 13 = -s*y - y, f - 2*y + q = 0 for f.
-2
Suppose -20*y + 6 = -34. Suppose -13 = -y*l - 5. Solve 2*t = 3*r + 7, 4 = l*r + 6*t - 2*t for r.
-1
Let m = 18 + -18. Suppose s + 2 - 6 = m. Solve -2*n - 8*l = -3*l + 12, -2*n = -3*l - s for n.
-1
Let y(n) = -45*n**3 - 314*n**2 + 4*n - 9. Let x be y(-7). Solve 0 = 4*k - t + 22, -k - x*t - 11 = -15*t for k.
-5
Suppose 10546 = -2*v + 10552. Solve 0 = -z - v, 4*z = -2*j - 20 for j.
-4
Suppose -9 = 2*x - 29. Suppose -78*t + x = -76*t. Solve i + 0*i = -2*p - 10, 0 = -3*p - t*i - 15 for p.
-5
Let x(s) = 6*s + 128. Suppose 2*h = 13*h + 231. Let q be x(h). Solve q*w + w - 5*u = 19, 2*u = -10 for w.
-2
Suppose -2*c = -4*f + 16, 2*c - 24 = -2*f - 2*f. Solve -2*p + f*p + 2 = -2*z, 5*p = z - 25 for z.
5
Suppose -5*h + 14 + 15 = -2*i, 5*i + 15 = h. Solve -h*v = -0 + 15, 0 = -2*y - 2*v for y.
3
Let s be (23 + -13)*2 + 8. Solve -2*p = -5*f - 6 - s, -23 = 5*p + f for p.
-3
Let g be 96/(-51) + 2 - (19 + (-36690)/255). Solve -15 = 5*c - 3*m, -g*m + 123*m = 3*c - 10 for c.
0
Let h be (244/(-12) + 2)/(1/(-54)). Let s(w) = -3*w**2 - 17*w + 986 - h + w**2. Let j be s(-8). Solve -4*u = -4*y + 15 - 3, 4*u = -j for y.
2
Let s be -129*5/(-15) - 6. Suppose s*r + 10*r = 94. Solve r*f - n - 6 = -6*n, 3*f - 9 = -3*n for f.
3
Suppose f = 3*b - 5 - 0, -2*b + 26 = 5*f. Let w = 11320 - 11317. Solve -w*h + 1 = -q, 0*h = -2*h - b*q - 3 for h.
0
Let h be 87/4*(-204)/(-153). Suppose -3*z = -50 + h. Solve z*q + y = 3*q + 14, 4*y = 5*q - 28 for q.
4
Let s be 55/((-275)/(-120)) - 22. Solve -3*y + 18*i = 17*i - 3, 6 = -s*i for y.
0
Let u = 20336 + -20330. Solve 4*a - 2 = 3*v, -3*v + 7*a - u*a = -13 for v.
6
Let n = -23 + 27. Suppose 6*a - 7*a + n = 0. Solve -4*u - a*g = -32, -3*u - 3*g = -2*u - 18 for u.
3
Let b be (120/18 - 8/12) + -33 + 31. Solve -5*q = -b*g + 3, q + 4*g - 38 = -53 for q.
-3
Suppose 0 = 5*l - 19*m + 15*m - 42, l - m = 10. Solve 0*a - l*a + 4 = 2*r, 52 = -4*r + 8*a for r.
-3
Let x(b) = 18*b. Let h be x(2). Let d(w) = -w**2 + 14*w - 15. Let a be d(13). Let f = a - -4. Solve h = -4*s - 5*q, 20 = -4*s + f*s - 3*q for s.
-4
Let o(l) = 2*l**3 + 5*l**2 - 6*l - 7. Let w = 264 + -267. Let b be o(w). Solve 2*f = -10, -f = 5*n - b*f for n.
-1
Suppose -91 = -y - l, 218*l - 216*l = -5*y + 479. Solve 4*a + 5*j = -12, y*a + 9 = 96*a - 5*j for a.
-3
Let i = 28 - -4. Suppose -5*g + 52 - i = 0. Suppose 1 = 2*u + g*h + 3, 4*u = -5*h + 5. Solve -2*j - 3*p + 17 = 2*p, 4*j - u*p = -41 for j.
-4
Suppose 0 = -72*z + 139*z - 201. Solve -z*o - 15 = 5*r, -r - 3 = 56*o - 54*o for r.
-3
Let p(b) = 137*b - 680. Let i be p(5). Solve -i*f + 5*x 