3*l - 1 = 0 for a.
1
Let x(o) = 2*o + 41. Let s be x(-20). Suppose 9*c - s = 44. Solve -w + 2*l = -11, 0 = -w + c*l - 2 + 22 for w.
5
Suppose 32 = 3*h - 10. Let r be (6 + 679/(-14))/(1/(-2)). Suppose 318*g - 301*g - r = 0. Solve h = 2*z + 2*s, 2*z - 31 + 11 = -g*s for z.
5
Let n(c) = -c**2 - c + 97. Let g be n(-9). Solve -5*y + g = 5*w, -6*w + 10*w + 4 = 2*y for y.
4
Let p be (-1)/(50/40) - 424/(-5). Suppose 0 = -23*r + 16*r + p. Let f = 18 + -16. Solve -3*q - 4 = f*u + r, -u - 2*q = 10 for u.
-2
Let c be ((-1269)/126 + 10)*-4 - (-66)/14. Solve 0 = 4*s + 2*w - 0*w + 14, 7 = 4*s - c*w for s.
-2
Let z = 2910 + -2905. Solve -2*n + 23 = z*g, 3*n + 7 = n + g for n.
-1
Let m be (-35)/(-21) - 2/(-6). Suppose 0 = -4*l + 5*r - 1 + 6, -3*r - 11 = -4*l. Suppose 9*c = 8*c + l. Solve 2*n = -2*b + 10, m*n - 10 = -2*b + c*n for b.
5
Let c be 2 - 2 - (-1 - 1). Suppose 20 = -c*u + 7*u. Suppose -3*y - 44 = 4*n - 23, 23 = y - 2*n. Solve t - y*t + 32 = u*s, -5*s = -5*t - 10 for s.
5
Let t = -9 + 11. Suppose -t*k = -3*k - 7*k. Solve 0 = r - 0*r + 2*z, k = r + z + 2 for r.
-4
Let n(z) = -z**3 - 16*z**2 - 14*z + 7. Let d be n(-15). Let r be (d + 32/5)/((-2)/5). Solve 2*o + r*c - 4 = 2*c, o - 5 = -2*c for o.
-1
Let x(h) = -3*h + 4. Let v be x(8). Let l be ((-12)/(-8))/(-3)*v. Suppose -62 - l = -18*k. Solve 1 = 4*n + p - 3, -k*p = -3*n + 22 for n.
2
Suppose 2*x + 5*h = -5, 39*x - 35*x - 4 = 4*h. Solve 3*c = -6, -26*f + 28*f + 3*c + 2 = x for f.
2
Let h = 164 - 160. Suppose -3*t + 2*m = -8*t, -m = h*t. Solve t*v - 4*v - 4*s + 4 = 0, -4*s = -5*v + 41 for v.
5
Let u be (-1)/(-3) - (-22)/6. Let i be 8/(-16)*100/(-10). Let o = 40 + -25. Solve u*k - i*c + 0 - 15 = 0, k - 5*c = o for k.
0
Let p be (17/1 - (-76)/(-76)) + -7. Solve 0 = i - j + 7, 4*j + 25 = -3*i + p*j for i.
-5
Suppose u - 11*j = -16*j + 25, 2*u = -7*j + 59. Solve 0*d - 4*d + x = -25, 4*x + u = 4*d for d.
5
Let s(p) = -p**3 + 12*p**2 + 4. Let t be s(12). Solve 2*b = -4*d + 18, 43 = -t*b + 2*d + 49 for b.
3
Let r(u) = u**3 - 29*u**2 - 62*u + 4. Let i be r(31). Let b = 61 - 50. Let h(g) = -g**2 + 12*g - 11. Let t be h(b). Solve 6 = z - 4*z + 4*l, t = i*l for z.
-2
Suppose -4*c = -69 - 147. Solve 5*s + 71 - c = -4*y, -4*s = -y + 22 for s.
-5
Let q = 232 + -248. Let o be ((-27)/(-72))/((-2)/q). Solve -3*y = o*u + 18, -15 = 4*y - u + 4 for y.
-5
Let t be 1/(10/(-50)*(-15)/6). Suppose 3*p = -t*w + 6*p + 3, w = p + 2. Solve -28 = w*v + v - 4*c, 11 = -v + 3*c for v.
-5
Let k(r) = r**3 + 4*r**2 + 2*r - 2. Let f = -24 - -34. Suppose f = -4*o + 2. Let s be k(o). Solve 0 = -5*t + s*p, 5*t + 3*p - 13 = 12 for t.
2
Let k(w) = w**3 + 32*w**2 + 141*w + 32. Let z be k(-5). Solve -4*g + 5 = -5*q, -98*g + 99*g - z*q = -1 for g.
5
Suppose 9 = -16*a + 57. Suppose a*d = -4*h + 17, 3*h - 7*d + 4*d + 3 = 0. Solve 5*g + 3*p = -1 + 23, g - p = -h for g.
2
Suppose 3 = -2*q + 4*y + 27, -5*q - 5*y = -45. Suppose 3*p + 5*t + 10 = 0, -36*t + q = 4*p - 34*t. Solve 2 = r, -f = -0*f + r - p for f.
3
Let s(o) = -13 - 101*o + 3*o**2 + o**2 + o**2 + 122*o. Let u be s(-5). Solve -y - 2*x + x = -3, -u = -3*y - 5*x for y.
4
Let p be ((-8)/(-12))/((-14)/6 + 2). Let q be (-2 + (-30)/12)*(p - 0). Suppose 2*d + q = 3*d. Solve 5*z = -4*u - 2, -d = -4*u + 5*z + 9 for u.
2
Suppose 3 = -3*m + 15. Suppose -6*p = -1179 - 345. Let y = p - 252. Solve -2*k + k + 10 = -3*i, m*k + 16 = -y*i for i.
-4
Suppose f - 208 = 5*q, 11*q - 8*q = -f - 128. Let g be (-70)/q + (-8)/12. Solve 0*n + g = -3*n - 5*m, 3*m = -3*n - 3 for n.
-2
Let y = 319 + -301. Suppose -y*m + 15*m + 6 = 0. Solve -g = -q - 6, -2*g - m*q = -0*g + 4 for g.
2
Let c = -2240 - -2242. Solve c*y - 7 = -3*x, 0*y + 12 = -3*y for x.
5
Let c(z) = 9*z + 49. Let q be c(-11). Let f = q + 162. Let r = -110 + f. Solve -r*s = 2*k, 3*k - s = 5*k + 3 for k.
-3
Suppose -424 = 2*z + 4*f - 454, 5*f - 70 = -5*z. Solve -3*j + 10 = -5*n, -17 = 16*n - z*n - 4*j for n.
1
Let v(n) = -n**2 - 2*n**2 + 28*n + 62 + 5*n**2 - 3*n**2. Let w be v(30). Solve -t - 2*z = -1, t - 4*z = -w*z + 9 for t.
5
Let m = 1879 - 1876. Solve 5*f - m*t = -33, -4*f - 3 = -9*f - 3*t for f.
-3
Let i(q) be the first derivative of 2*q**3 - 7*q**2 - 3*q + 39. Let y be i(3). Solve 2*f - 3*n - y = 0, n + 8 = -f - 0*f for f.
-3
Let l = -7460 - -7487. Solve 5*w - 22*h + l*h = -35, -3*w = 2*h + 16 for w.
-2
Let j(s) = -26*s - 140. Let v be j(-6). Let h be (2/v)/(-1) + (-957)/(-232). Solve 0 + h = 4*b - 2*m, -b + 7 = m for b.
3
Suppose 14*p = 2*p - 60. Let o be p*(6/1 + -8). Solve -w = -2*d + o, 2*w + w = 3*d - 15 for d.
5
Suppose 8 = 16*a - 14*a. Solve -a*y = -4*i + 16, 4*i - 8*y - 21 = -3*y for i.
-1
Let k = 21 + -17. Suppose 4*u + 8 = -2*i, 5*u + 23 = k*i - 26. Solve i*g = 3*g + 2*p, -4*p + 16 = 2*g for g.
2
Suppose 0 = 3*d - 6, 7*k + 3*d = 3*k + 26. Suppose 19*f + 65 = 32*f. Solve 0 = 3*h - 0*m + k*m + 23, -4*h + f*m + 16 = 0 for h.
-1
Let k = 110 + -110. Suppose k = -2*n + 5*r + 24, 0 = 6*n - 10*n + 4*r + 72. Solve 2*g + n = -0*z - 3*z, -z + 3*g = -11 for z.
-4
Let p be (-87 + 86)*(4 + -4). Solve p = -5*r + 3*s + 31, -21*r - s + 23 = -16*r for r.
5
Suppose -5*z + 10 = -4*f, -2*z - 2*f + 14 - 10 = 0. Solve 11*b + 24 = 14*b + 3*u, z*u - 6 = 0 for b.
5
Suppose 4*a = 3*q - 12, -53 = a - 50. Solve q = -i - 2*g - 7, -3*i - 6*g - 18 = i for i.
3
Suppose 0*z + v - 17 = -z, 0 = -4*z + 5*v + 50. Suppose -z + 13 = -g. Let t be (-2 + g)*(21/6 + -4). Solve t = -5*i - 10, f - 4*i = -4*f + 28 for f.
4
Let r(u) = 2*u**3 - 43*u**2 + 35*u - 268. Let g be r(21). Solve 0 = 4*l - 2*y - g, 5*l + 6*y - 40 = 10*y for l.
4
Suppose -4*w - d + 626 = -w, 2*d - 834 = -4*w. Let c = 216 - w. Solve 2*b + 3 = 2*g - c, -4*b = 4 for g.
4
Let i = -3185 + 3264. Solve -d + 24 = -4*v, -52 + i = 3*d - 3*v for d.
4
Suppose 26*v - 220 = -168. Solve o - 3*o + 8 = 0, 4*q - v*o = -8 for q.
0
Let r be -5 - -3 - (9/3 + -47). Let h be ((-1)/6)/1 - (-133)/r. Solve -30 = 5*s - 5*w, 21 = 2*s + h*w + 8 for s.
-1
Let a = -4283 - -4288. Solve -2*q = a*l + 35, -2*l + 4*q + 40 = -6*l for l.
-5
Suppose 4*m + 5*m = 36. Let b(t) = t**2 - 4*t + 3. Let v be b(m). Suppose -n - 8 = w + v*n, -2*n = 5*w - 14. Solve -w*o = 5*z, -3*o - 5*z = 2*o - 5 for o.
5
Let z be 8/4 - 1*2. Let b = 119 + -119. Suppose -g - 4*s + 30 = b, 5*g + 5*s = s + 70. Solve -4*q - g = -2*p, p + 2*q = -z*q - 3 for p.
1
Suppose 0 = 9*i - 112 + 94. Suppose i*q = -2*t - 2, t = -4*q + 4 - 20. Solve -d + 4*b + 20 = 0, 16 = -d - b - t*b for d.
4
Let g = -308 - -311. Let v be 63/6 - (-2)/(-4). Let k be 5/v - (-9)/6. Solve -2*l - o = g, -5*l - 2 = -k*o - o for l.
-1
Let b be 0 + (2*-1 - -2). Let f be (((-10)/35)/(10/(-49)))/(-2*6/(-240)). Solve 4*p + f = -5*o, b*p = -p - o - 6 for p.
-2
Let r be (-10)/(-8)*(-4 - (-168)/6). Suppose 11*c - 6*c = 5*z - 75, 2*c + 2*z + r = 0. Let b be 3 - (-2)/(10/c). Solve -4*o - 4 = -b*o - j, -4*j = o + 1 for o.
-1
Let q(x) = -x**3 + 18*x**2 - 32*x + 5. Let n be q(16). Suppose 0 = -4*b - n*d + 28, -3*b - 3*d + d + 14 = 0. Solve b*f = -v - 1, -f = -5*v - 0*v - 16 for v.
-3
Let u = 216 - 86. Let f be u/8 - 2/8. Let r = -11 + f. Solve -5*j + 3 = 4*w - 1, 0 = -r*w - j + 5 for w.
1
Let r(g) = g**2 - 3*g + 4. Let z be r(0). Suppose -368 = p + 4*o, -z*o = 5*p + o + 1900. Let i be 2/14 + p/(-56). Solve i = h - 4*s, -h = s - 1 - 1 for h.
3
Let k be 2/(-9) - 11135/153. Let y(c) = -77*c - 2. Let l be y(-1). Let v = k + l. Solve 4*x = -v*s + 6, -3*s + 2*s + 3 = 4*x for x.
0
Let u = -31 - -29. Let i(r) = -2*r**3 + r**2 + 6*r - 3. Let q be i(u). Solve q*p - 5*m - 10 = 0, -p + 4*m + 2 = p for p.
3
Let n = 1002 + -449. Let c = 563 - n. Solve 0 = 3*w + m + 10, -w + 6*w = 5*m - c for w.
-3
Suppose 3*o - 18 = 2*w, 2*w + 26 = 2*o + 3*o. Solve -5 = 2*s + d, -s - o = -6*s + 3*d for s.
-1
Suppose -p - p + 28 = -p. Solve -5*q = -5*m - 15, 2*q = -p*m + 24*m - 18 for m.
-4
Suppose 48*i = 49*i. Suppose 5*u + y = 26, 3*u - 2*y + i*y - 26 = 0. Let g be (-836)/(-57)*(u/4 + 0). Solve 3*d - g = -5*h, -h = 2*d - 2*h - 6 for d.
4
Let f(n) be the second derivative of n**5/20 + n**4/3 - n**3/2 - 4*n**2 + 5*n + 2. Let l be f(-4). Solve -2*d + l*j + 1 = -3*d, -2*d - 4*j = 6 for d.
-5
Let k(w) = 77*w - 3303. Let n be k(43). Solve 4*g + 4 = 2*x - n, -g - 6 = -2*x for g.
-2
Let l = 30 + 95. Let p = -135 + l. Let d be (-54)/(-12) + 5/p. Solve -2*v = 4*z - 10, -