- 5 = 4*f, 2 = d*f + 2*q for f.
-2
Let w = 12814 + -12810. Solve 0 = w*a - 4, 2*a + 6 = -l + 4*a for l.
-4
Let d = -48 + 96. Let q be 48 + (6 - (-9 + 17)). Let a = d - q. Solve 6*g + 7 = -j + a*g, -5*g = 5*j - 10 for j.
5
Let q(m) = 4*m**2 + 3*m - 1. Let l be (35/10 + -4)*-30. Suppose -l = -5*d - 10. Let z be q(d). Solve k = 6*i - 2*i + 3, -3*i - z = -2*k for k.
3
Suppose -4*o + 66 = -o. Suppose 0 = -92*a + 144 + 316. Solve 5*s - a = 5, -4*v + s - o = 0 for v.
-5
Suppose -5 = 3*l - 10*l + 2*l. Solve -16*r + 12*r + 16 = -2*o, -r = o - l for o.
-2
Suppose -19*q - 296 + 505 = 0. Let n = 9 - -27. Suppose -q*p - p = -n. Solve 3*a + p = 0, 24 - 4 = -3*f - 5*a for f.
-5
Suppose -4*l - 59*c + 56*c = -65, 0 = -3*l + 2*c + 70. Solve -3*z - 14 = 2*n - l, 2*n = 0 for z.
2
Let i(r) = 3*r - 2. Let b be i(2). Suppose -2*h - 10*l - 266 = -7*l, 2*l - 684 = 5*h. Let q = 142 + h. Solve k = b*p + 5, -p = -q*k + 4*k + 10 for k.
5
Let o be 1/(-4) - 123/(-12). Let l = 1895 - 1893. Solve 4*r + 3*q = o, l*q + 2 = 5*r + 1 for r.
1
Let c = -488 - -490. Suppose -2*k + 20 = 3*t, -2*k + 4*k + 8 = 4*t. Solve 0 = -b - d + k, -5*d + 21 = c*b + 7 for b.
2
Let o be (4/6)/((8/15)/4). Let p = 114 + -54. Let n = p + -50. Solve 0 = -o*r - 3*h - 13, r - 4*h + 11 + n = 0 for r.
-5
Suppose -2*d + 4 = -0. Suppose 5*c = 5*h + 1910, 9*c - 1942 = 5*h + 12*c. Let x = 386 + h. Solve d + x = -2*g, -g - 16 = 5*k for k.
-3
Let d(y) = -y + 301*y**2 - 299*y**2 - 4*y + 3*y. Let g be d(1). Solve -4*m - 4*t - 8 = g, 28 = 2*m + 2*m - 5*t for m.
2
Let n(z) = z**3 - 7*z**2 - 7*z - 3. Let v = 22 + -14. Let g be n(v). Let l be 1 - -1*(3 + 1). Solve r = -2*c - 2*r + 21, g*c = 4*r - l for c.
3
Let a(y) = -4*y**2 + 68*y + 16. Let f be a(16). Let v be (1/(-4))/((-5)/f). Solve -3*l - 4*k + 5 = 19, -3*l = -v*k - 26 for l.
2
Let f = -83 - -61. Let r(u) = -u**2 - 24*u - 40. Let i be r(f). Solve 3*x - i*t + 1 = 0, -4*x = x - 5*t + 5 for x.
-3
Let m = -3 - -3. Let f = 230 - 222. Suppose t + 3*i = 14, 10*i = f*i + 8. Solve c + t = -2*o - 2, m = -o + 2*c + 3 for o.
-1
Let s = -54 - -175. Let u = s + -116. Solve 10*n - u*n - 5*l = -25, -n + 4*l - 11 = 0 for n.
-3
Suppose 268*c - 12 = 263*c + u, 14 = 3*c - 4*u. Let o = -11 - -21. Solve -2*z = 2*z - c*x - 2, 3*x + o = -z for z.
-1
Let s(b) = 3*b**2 + 46*b + 16. Let f be s(-15). Suppose -3*p = -2*r + 2*p - f, 0 = r + 4*p - 6. Solve -5*x = 2*z + 13 - 4, r = -2*z + 2*x for z.
-2
Let q(n) = 572*n - 1595. Let i(f) = 15*f - 42. Let s(k) = 77*i(k) - 2*q(k). Let r be s(4). Solve d - 5 = 0, 5*d = -r*h + h + 24 for h.
1
Let k be (-56)/(-4) + (-5 - 4). Solve 3*y = 5*s - 37 + 35, -2*s + k*y + 16 = 0 for s.
-2
Let p(j) = -j**3 - 9*j**2 + 17*j - 48. Let y be p(-11). Solve -1 = z + 8*x - 7*x, -z + x = y for z.
-4
Let f(b) = b**3 + 13*b**2 + 99*b + 589. Let c be f(-9). Solve -2*u + c = -4*p + 4, 2*p + 6 = 4*u for p.
-5
Suppose -g - 13 = 2*p, 3*p - 55 + 91 = 4*g. Solve t - g = 2*r, -3*t + 72 = 4*r + 53 for t.
5
Suppose 5*t - 283 + 81 = 3*l, 174 = 5*t + 4*l. Suppose -t - 4 = 14*b. Let g be (-1 - (3 + -16 - -4)) + b. Solve 1 = 3*q + m, 2*q - g*m - 12 = -0*q for q.
1
Let b = 130 - 221. Let s = 99 + b. Solve 0 = -t - 5*i - 7, -t - t - s = 4*i for t.
-2
Let o(n) = 413*n - 8667. Let p be o(21). Solve -p*w - b = -2*w + 1, b + 6 = w for w.
1
Suppose 775 = 13*l + 138. Suppose 48*s - l*s + 4 = 0. Solve -2*o - s = 3*w - 12, 4*w = 3*o + 5 for w.
2
Let g = -85 + 103. Let h = 20 - g. Suppose -h*a - n = -5, 0 = -a + 2*n - 3*n + 2. Solve -5*v = i + a, v = -3*i + 2*v + 7 for i.
2
Let y = 2 + 0. Suppose -17 + 2 = -y*l - b, 2*l + 3*b = 25. Let n = 715 + -713. Solve -l*t - 16 = -2*k + 1, -n*t = 3*k + 3 for k.
1
Let x be 22/(-4)*(6 + (-936)/143). Let d = 9 + -1. Let p be (-1)/4 + 18/d. Solve -3*u + x*m - 5 = u, -2*m = p for u.
-2
Let a(n) = n + 19 + 4 - 10 + 8. Let o be a(-9). Let k(t) = -t**3 + 8*t**2 + t - 3. Let g be k(8). Solve -5*m - 2 - 8 = 0, g*z - 4*m + o = 0 for z.
-4
Suppose -20 = -5*s, -3*z - 7*s + 14 = -11*s. Solve -9*m + z*m + 2*k = -12, -3*m - 2*k = 16 for m.
-2
Let c be 0 - (12*7)/2. Let u = -42 - -87. Let f = u + c. Solve -f*s - 5 = 4*t - 0, 3*t + 15 = 0 for s.
5
Suppose -110*c = -91*c - 95. Solve 4*m - 8 = -3*z, c*m = 8*m - 2*z - 23 for m.
5
Let m be 15/(-45)*(-289 - 2). Let d = m + -95. Solve 10 = b + 2*i, b - 4*i + 10 - d = 0 for b.
4
Suppose 45*x = 49*x - 140. Suppose 6*c - x = -c. Suppose c*a = 6*a - y - 1, -2*a + 4*y = 6. Solve 6*w = w - 3*s + 9, -a*w + 15 = 5*s for w.
0
Suppose -r - w = -15, r + 4*w - 175 = -178. Solve -5*l + r = -3*x, 27 = 3*l + 11*x - 8*x for l.
6
Let l = 583 + -592. Let o(s) = s**3 + 9*s**2 - 3*s - 23. Let t be o(l). Solve d - 8 = -v, v + t*d - 10 = 10 for v.
4
Let s(g) = -204*g - 1222. Let q be s(-6). Solve -t - 2*v - 4 = 0, -8*v - 1 = q*t - 11*v for t.
-2
Suppose 4*n - 3*d + 25 = 0, 2*n + 3*d + 1 - 2 = 0. Let u be 2 + (4/n - 37). Let v = u - -40. Solve 19 = v*z + m, 4*z - 10 - 11 = m for z.
5
Let o be 5/(-40) - 50/(-16). Solve 0 = l - o*l + v + 4, 0 = -l + 4*v + 9 for l.
1
Let h(s) be the second derivative of -s**3/6 - 19*s**2/2 - 6*s. Suppose 5*m - 133 = 12*m. Let t be h(m). Solve -4*v - v = 2*c + 35, -2*v - 3*c - 25 = t for v.
-5
Suppose -2*g = 53*g - 495. Suppose 0 = -0*o + 3*o, 3*d - 4*o = -12. Let h(b) = -b - 4. Let l be h(d). Solve 2 = -2*f + j, l*j = f + 2*j - g for f.
1
Let l = 1406 - 1401. Solve -12 = 3*t + l*b, 2*t + 1 = 4*b - 7 for t.
-4
Let b be -13*(6 + 11)/(-17). Solve 2*y + 4*d + 21 = b, 4*y = -2*d + 8 for y.
4
Let y(d) = 41*d - 164. Let i be y(4). Solve -4*w = -8, i = -3*g - 3*w - 2*w + 25 for g.
5
Let d(k) = 4*k**2 - 14*k + 3773 - 3*k**2 - 3787. Let i be d(15). Solve 5*b - i - 4 = 4*f, -5*b = -3*f for f.
-5
Suppose -5*k - 6 = -2*b - 5, 0 = -5*b + 5*k + 10. Suppose -z + 2 = -1. Let g(d) = -3*d - 16. Let i be g(-6). Solve z*a + 8 = -u, u + b = -i*a - 4 for a.
-1
Let v = 31 + -31. Suppose -3*i - 3 + 9 = v. Suppose 5*t - 50 = -0*t. Solve i*h = 3*q - t, 5*q - 25 = 2*h - 7*h for h.
1
Let k be 0/(-146)*(2 + 2 + -5). Solve k = 2*v - s - 8, 5*s + 12 = -3*v + 37 for v.
5
Suppose 5*a - 3*x = -1, 0 = -5*x + 10. Suppose -y - 4 = -a, 3*t = -5*y + 135. Suppose -9*s + 4*s + t = 0. Solve s = -5*j - k, -3*k + 6*k + 15 = 0 for j.
-1
Suppose 4*y = -3*n - 122, 2*n + n = -5*y - 127. Let q(w) = -2*w**2 - 8*w + 10. Let k be q(-7). Let j = k - n. Solve 2*c = -j*c - 3*p - 2, 2*p + 8 = 4*c for c.
1
Suppose -31*x = -76*x + 80 + 145. Solve 3*u - z - 4 = 0, x*u - 10*u = -5*z for u.
2
Let g = 429 + -412. Suppose g*j = 16 + 18. Solve -3*z - 4 = -j*u - 11, 0 = 4*u + 3*z - 13 for u.
1
Let o(h) be the first derivative of h**2 + 30*h - 40. Let j be (-12)/(-162)*3 - (-148)/(-18). Let b be o(j). Solve b = 4*z - 2*d, 3*z - 4*d - 10 - 13 = 0 for z.
1
Let s be 12/72*(9 + -3). Solve -3*c = -z - s, 23*c - 17 = 4*z + 24*c for z.
-4
Suppose 3120*v = 3107*v + 39. Solve f = -m + 51 - 54, 1 = -v*f + 5*m for f.
-2
Let w(s) = -5*s**2 - 319*s + 100. Let o be w(-64). Solve -203*j = -207*j - 4*p + o, 2*j - 3 = p for j.
4
Suppose 0 = -4*h - 0*h + 32, -16 = 4*p - 3*h. Solve 8 = 3*s + p*d, 5*d - 20 = -0*s + 3*s for s.
0
Let n(x) = -6*x**2 + 47*x + 11. Let q be n(8). Solve 4*i - 5*i - 18 = 3*h, 16 = q*i - 5*h for i.
-3
Suppose -4*l - 190 - 798 = 0. Let z = l - -173. Let c = -52 - z. Solve -5*r = 3*y - c, 3*y - r + 0*r - 10 = 0 for y.
4
Let a(t) = -t**3 - 13*t + t**2 + 19*t + 8 - 4*t**2. Let l be a(-4). Solve l = 3*o + n + 5 + 2, -4*o - 9 = n for o.
-2
Let a = -309 - -309. Suppose 2*o - 3*u - 5 = 0, 0 = o + 2*u - 9 - 4. Solve -4*p - 4*k = 20, a*p + 4*p = 5*k + o for p.
-2
Suppose -l - 4*s = 222, -8*l + 4*l - 924 = 4*s. Let t = l + 236. Solve -6 = 4*k + 2*d, k = -d + 1 - t for k.
-2
Suppose -d + 96 - 93 = 3*r, -d + r = -3. Solve -d*z - 9 = 5*p, -5*p - 18 + 12 = 2*z for z.
-3
Suppose 7 = c + 2*g, -2*g - 272 + 270 = -2*c. Solve -14*w + 17*w - l - 19 = 0, c*l = -12 for w.
5
Suppose -4*n = 21*y - 24*y + 255, 185 = -3*n - 4*y. Let s = n + 63. Solve -4*g = 2*t - 0*t - 22, s = 2*t - 5*g + 23 for t.
1
Let d(b) be the second derivative of -b**3/6 + 43*b**2/2 - 12*b - 5. Let o be d(30). Solve 5*i = 2*a - a - o, 3*a + 21 = -5*i for a.
-2
Let z(h) = -224*h + 3588. Let u be z(16). Solve 5*f - 5 = -2*y - 20, 3*y + u*f + 12 = 0 for y.
0
Let v = -166 - -208. Let z(d) = d**2 - 12*d - 13. Let c be z(9). Let m = v +