j, 0 = m + j - 7. Solve i - 16 = -m*f, -f - 2*i = -0*f - 11 for f.
3
Suppose -41*u + 11 = -399. Solve 3*z - i - 1 = 0, 5*i - u*i = -5*z + 15 for z.
-1
Let m(c) = c**3 + 18*c**2 + 43*c - 3. Let i be m(-3). Solve -i*d - 37 = -23*l + 28*l, 12 = -3*d for l.
-5
Let r be -51*((-6)/9 - 1). Suppose -81*v - 28 = -r*v. Let u(b) = -b**3 + 6*b**2 + 7*b + 2. Let z be u(v). Solve 0 = 5*c + 25, 0 = h - 0*c - c - z for h.
-3
Let z(w) = -w**2 - 5*w + 943. Let n be z(-33). Solve 9*f = -5*q + 5*f - 5, -n = 2*q + 5*f for q.
3
Suppose 3*v + 84 - 54 = 0. Let d be 3/((-6)/(-10)) - (-10 - v). Solve d*s = -5*g - 20, -2*g = -s - 0*g + 11 for s.
1
Let x(j) = j**2 - 31*j + 155. Let z(q) = 3*q + 124. Let d be z(-33). Let s be x(d). Solve 0*h + 25 = s*u + 2*h, -u = -h + 2 for u.
3
Let j be (5/(-4) - 4/(-16))*-308. Let g be (j/(-6))/(-7) + 6/9. Solve i + 0 = p - g, 0 = -2*p - 2*i + 4 for p.
5
Let k = -3255 - -3260. Solve -7 = 2*x - 3, 0 = c + k*x + 12 for c.
-2
Let i be (-28451)/(-299) + 6/(-39). Solve -2*d = 3*m - 10, 5*m = i*d - 100*d + 20 for d.
2
Let o = -2546 + 2550. Solve -o*d + 8 = 0, -h - 2*h + 4*d - 29 = 0 for h.
-7
Let t = -18361 + 18372. Solve -t*o = -3*k - 14*o + 6, 0 = 5*o - 15 for k.
-1
Suppose 3*r - 1618*o + 1613*o = 70, 3*r - 77 = -2*o. Solve r*m - 4*w = 28*m + 3, 4*m = 2*w - 26 for m.
-5
Suppose -w + 605 = -4*v, -6*w = -10*w + 4. Let i = v - -154. Solve -3*b = -4*a - 32, b - i*b + 13 = -a for b.
4
Suppose 144 = 625*v - 553*v. Suppose 3*p - 3*m = 36, 16 = -2*p - 2*m + 56. Solve -v*s + 20 = 4*u + 2*s, -2*u + p = 4*s for u.
2
Let r(d) = -d**2 + 3*d + 1. Let c be r(-1). Let t be -4 + (6 - c) - (-1 - 0). Suppose -44 = -t*g - 14. Solve f + 4*f + 45 = -g*b, -4*b = 2*f + 28 for f.
-4
Let f be 19/8 - (-39)/(-104). Suppose -40*p = -i - 43*p, 2*p = -f. Solve 10 = 5*k - i*a, -3*k - 5*a = -0*a - 6 for k.
2
Let w(f) = -2*f**3 - 48*f**2 - 11*f - 234. Let z be w(-24). Solve 35 = q - 5*m + 15, z = -q - 5*m for q.
-5
Suppose 5*b + 2*i = 1345 + 259, 4*i = 2*b - 632. Let g = 350 - b. Solve -r + 10 = -p, -5*r + g = 5 for p.
-5
Let q(a) = -a**2 - 94*a - 605. Let i be q(-87). Solve 0 = 2*h + i*w - 14, 0 = 3*h + w + 15 - 26 for h.
3
Let r(u) = 10*u - 22. Let d be r(5). Suppose 87*b = 85*b + d. Solve -4*n + 2 = b, -1 = 2*c + 3*n for c.
4
Suppose 461*n - 352*n - 2180 = 0. Solve -4*s + 4 = 3*l, l + 4*l + n = 0 for s.
4
Suppose 3*f + 71 = 65. Let m be (-5 - f)/(7/(-189)). Let l = m + -77. Solve 2*c + 5 = -3*c - 5*v, -l*c - 6 = 2*v for c.
-2
Let v be ((-2)/(-3))/(12/108). Let a = 14 - v. Suppose a*p - 2*p - 18 = 0. Solve -p*z + 0 + 3 = 3*l, -3 = -3*l + 3*z for l.
1
Let z(d) = 71*d**2 - d. Let p be z(2). Let k = p + -278. Solve m = -k*r - 7, 0*m = -4*m - r + 2 for m.
1
Let n = -534 - -589. Suppose -30 = 45*w - n*w. Solve w*r = s - 5, 5 = s + r + 3*r for s.
5
Let y be ((-2)/3)/((-2120)/(-180) - 12). Solve 0 = 4*k - 0*k + y*s - 14, 0 = -2*s - 4 for k.
5
Suppose -800 = 270*k - 1391 - 2649. Solve -22*u = -21*u, -3*w + 3*u + k = 0 for w.
4
Suppose -44*p + 42*p = 5*z - 34, 0 = -3*z + 4*p + 10. Solve 0 = l - 4*b - 12, 11*l - 9 = z*l + 3*b for l.
0
Let m(d) = -d**3 - 7*d**2 + 5*d - 8. Let v be m(-8). Suppose 15*y - v*y = -11. Solve 2*u = 4*g + y - 1, 4*g = 4*u - 16 for g.
-1
Let f be -6*6/63 + (-106)/(-14). Suppose f*k = -5*k + 60. Let i = 0 + 3. Solve -h - 20 = 4*v - k*h, -i*v + 13 = 4*h for v.
-1
Suppose -l = 6, -3*l = 4*o - 7*l - 44. Solve 2*q - 3*f = 12, -3*f - 4 = o*q - 2*f for q.
0
Suppose 21*x - 486 = 15*x. Let n = -81 + x. Suppose n*v + v = -3, -5 = 4*k + 3*v. Solve q = 3*u - k, -4*q - u = -2*q - 5 for q.
2
Let u = -2577 - -2602. Solve -3*h + 40 = 5*z, z - 4*h + u = 2*z for z.
5
Let p = 7 + -5. Let r be p/(-3) + (-2)/(-3). Suppose -50*s - 21 = -4*v - 55*s, -16 = -5*v + 4*s. Solve -4*x + r = 4*l + 4, -11 = x - v*l for x.
-3
Suppose 16*y + 47*y = 20*y + 129. Let i be 5*((-2)/1 - -1). Let r = 0 - i. Solve -y*d - 13 + 0 = -r*n, 4*n - 3*d = 8 for n.
5
Let k = 111 + -102. Suppose 19*x - 200 = k*x. Solve -5*s - x = 0, 4*s + 0 = -5*r - 36 for r.
-4
Let w be (242/55)/(-11) - 44/(-10). Solve -4*s - 4*g - 12 = 0, 2*g - 4 = s + w*g for s.
-2
Let d = -61 + 80. Suppose -d*r = -29*r + 110. Solve 3*a = 2*c - r, a + 4*c = 6*c - 5 for a.
-3
Let b = 3914 - 3914. Solve 14 = -3*d - 2*x, b = -17*d + 18*d + 4*x + 8 for d.
-4
Let y(q) = q**2 + q + 18. Let c be y(-6). Suppose -14*n + c = -11*n. Solve 6*t + 2*d + n = 3*t, 6 = -3*d for t.
-4
Suppose 2*r - 5*z - 10 = -7*z, -2*r - 4*z = -16. Suppose -3*g - r*k - 2*k = -9, -2*g - 3*k = -6. Solve 0 = -4*x - d - 0 + 4, 0 = g*x - 5*d - 3 for x.
1
Let q be (-122)/549 - (-1 - (-3118)/(-18)). Let d = q + -165. Solve -5*y + 6*f - 4*f = -d, -5*y + f = -12 for y.
3
Let y be -1 - (42/(-3) + -4). Suppose 0 = y*c - 16*c. Suppose c = t + 3*t - 12. Solve 0 - 6 = -3*q - t*o, -5*q - 4*o + 5 = 0 for q.
-3
Let q = 147 + -135. Let j(h) = -7*h + 88. Let g be j(q). Solve g*v - 18 = -f, 3*v = 4*f + v for f.
2
Suppose -38 + 22 = -8*r. Let i be -43 - -46 - -1*r. Solve 0*t = -3*p + 3*t + 12, 0 = -i*t - 15 for p.
1
Let t be 36/(-48)*(1 - -391). Let f = -292 - t. Solve -f*w = -k - 2*k - 2, -w = -4 for k.
2
Let v(u) be the first derivative of -u**4/4 + 8*u**3/3 - 3*u**2 - 4*u - 218. Let l be v(7). Solve r - 8 = l*r + 5*h, 3*r + 5*h = -7 for r.
1
Suppose -472 = 42*y - 556. Let w be 0*2/4 + 2. Solve 0 = 5*o - w*a, y*a = 4*o - 0*o for o.
0
Let h = -18885 - -18903. Solve -7*a = -11*a + 3*b - h, 5 = a + 4*b for a.
-3
Let q(d) = -d**2 - 8*d - 28. Let v be q(-11). Let p = v + 65. Solve -3*r + 17 = 2*o, 3*o - 14 = -3*r + p*o for r.
5
Let z be -5 - 47/(-9) - 1628/36. Let j = z + 47. Solve -3 = r + t, 5*r = -j*t - 3 - 12 for r.
-3
Let y = -396 - -516. Let m be y/(-48) - 70/(-4). Solve 2*o - 3*q - m = -o, -4*q + 4 = 4*o for o.
3
Suppose -2*g = -0*i - i - 4, 9 = 5*g - 2*i. Suppose -42*k - 1052 = -1220. Solve -q - v - g = -2*v, -v = -k*q + 2 for q.
1
Let w(f) be the second derivative of -f**4/12 - 4*f**3 - 61*f**2 + 135*f. Let i be w(-14). Solve 0 = 4*b - v - 10, -5*b - 3*v + i = -b for b.
3
Let t be 1/(-2)*(-177 - -171). Solve -t*u = 3*z - 27, 2*u + 2*z = -u + 22 for u.
4
Suppose 2*c - 3*c = k - 45, -252 = -5*k + 4*c. Let y = k - 45. Solve -4*x = 3*w + 2, 0 = -y*w + 6*w - x - 8 for w.
2
Let j = 9543 + -9538. Solve -2*i = 4*w - 10, -4*w - j*i = -6*i + 5 for w.
0
Let v(j) = -9*j + 40. Suppose 0 = -4*m - 5*x + 16, -3*m - x + 12 = x. Let i be v(m). Solve 2*y + y = -i*n + 7, -4*y + 5*n - 32 = 0 for y.
-3
Let h = 104 + -107. Let i be ((-3)/1 - h)/(-3). Suppose -2*b - 4 = i, -5*u - 5*b - 8 = -4*u. Solve -l - 20 = -6*l + a, 12 = 3*l + u*a for l.
4
Suppose -226 = -h - 2*i, i = -3*h - 3*i + 682. Suppose -4*p + 230 = h. Solve -2*c + t = -p*t - 14, 5*c - 5 = -5*t for c.
5
Suppose 2 + 10 = -6*b. Let x be (0*b/(-4))/(-2) + 0. Solve 2*a - 15 = 4*v - 5*v, x = 4*a - 5*v + 5 for a.
5
Let k = -3188 - -3192. Solve -2*p - 9 = 4*l - 21, 4*p = -k*l + 4 for p.
-4
Let s be (-1 - -2)/((-4)/(-8)). Let j = 121 + -77. Suppose 8 - j = -12*q. Solve -s*u - q*y - 8 = 7, -3*u + 10 = -2*y for u.
0
Suppose -261*u + 8 = -259*u. Solve 24 + 0 = 4*y + 4*s, -20 = -u*s for y.
1
Let s(p) = p**3 - 141*p**2 - 4*p + 567. Let j be s(141). Solve 4*y - 5*i = 37, -j*y - 11*i + 13*i = -19 for y.
3
Let t = 65 - 65. Suppose 0 = -t*u - 2*u. Suppose 0 = -3*b - 3*i - i, u = -3*b + i. Solve 4*w + 4 = 4*p, 3*w - 2*p - 3*p + 11 = b for w.
3
Let l be (-32)/36*(-18)/4. Suppose l*u - 128 = -u - h, -3*u + 78 = h. Solve 3*z - 3*r + 0*r = -27, 5*r - u = 0 for z.
-4
Let w(t) = 52*t**2 + 8*t + 4. Let n be w(6). Let r be (-4)/(-26) + n/676. Solve 3*c - 5*o = -10 + 3, -r*c - 5*o + 13 = 0 for c.
1
Let c(i) = -i**3 - 24*i**2 - 4*i - 22. Let l be c(-24). Let u = -66 + l. Solve 5*r + b + 14 = -2*b, 5*r + b + u = 0 for r.
-1
Let h = -1002 + 1004. Solve -h*b = 5*k + 3*b + 25, 6 = -4*k + 3*b for k.
-3
Let q = 26888 - 26884. Solve v - 8 = -q*m, -5*m + 2 + 8 = 3*v for m.
2
Suppose 0 = 2*g - 8*g. Suppose 0 = -g*h + 2*h + 2, y + 26 = 4*h. Let r = 31 + y. Solve 3*z + 3*k = 7*z - r, 3*k = 3*z + 3 for z.
4
Suppose 144*k - 152*k = -1288. Let m be (k/(-28) - -5)*-4. Solve -b + 3*h = -7, -2*b - 2*b = m*h + 2 for b.
1
Suppose 0 = 5*v - 0 - 10. Let l be (v + (-7)/3)/(4/48). Let k be (l - -43)/1 - 4*1. Solve -5*x - 4*g = k, -5 = 2*g + 5 for x.
-3
Suppose -r = 4*g - 25, -333*r + 35 = -328