9 = -3*c, 3*w + 4 = p*c for w.
-3
Let l be 6*(342/19)/90*(-20)/(-3). Let h be 2/1 - -2*1. Solve -h*c - 2*p + 0*p + l = 0, -3*c = 3*p - 9 for c.
1
Suppose 2 = 5*d - a - 19, 5*d = 4*a + 9. Let o be 56/((30/9)/d). Suppose -o = -15*k - 9. Solve 0*y = -t - y - k, -5*y - 16 = 2*t for t.
-3
Let u(i) = 3*i**2 + 44*i + 33. Let t(h) = h**2 - 24*h - 39. Let p be t(25). Let m be u(p). Solve -x = 3*q - 6, 15 = m*x + q - 1 for x.
3
Let h(i) = i**2 - 2*i + 4. Let d be h(3). Suppose d*b + 78 - 106 = 0. Solve -5*f + 0 + 20 = 0, 0 = y - b*f + 14 for y.
2
Let b = -4054 - -4058. Solve -50 = 5*x - 3*r - 58, 0 = b*x + 5*r - 36 for x.
4
Let j = 30266 - 30261. Solve -k = 4*r - 23, -4*r - 7 = j*k - 26 for r.
6
Let t(w) = -w**3 - 16*w**2 - 19*w - 63. Let k be t(-15). Let p be 3 - (-1 - -2) - k. Solve -2*y + i = 7, 0 = y + 3*i - p - 2 for y.
-2
Let q be 238/3 + (-18)/216*-8. Solve -4 = -3*y - 2*h, 85*y + 2*h - 4 = q*y for y.
0
Let w be -6*(-11 + (-623)/(-56))*-12. Solve 3*q + l = w, -q + 36*l - 33*l + 13 = 0 for q.
4
Let s(a) = -a**2 + 8*a - 4. Let x be s(9). Let o = 19 + x. Let g = 358 + -333. Solve -4*h - 3*n = -o - 13, 0 = 5*n - g for h.
1
Let d(m) = m**2 - 543*m + 13502. Let c be d(26). Solve -3*l - 19 = 2*o, 57*o = c*o - 5*l - 19 for o.
-2
Let y be (0 + -3)/(9/(-6)). Let r = -8981 + 8984. Solve h - 2*l + r - y = 0, 3*l = 2*h + 2 for h.
-1
Let g be (176/12)/(-11) + 314/6. Let v = g + -49. Solve -4*z = -2*z + v, 2*o + 7 = z for o.
-4
Suppose -3*k - 7*r = -4*r - 12, 5*r - 10 = -3*k. Suppose 0*y - y + 2 = 2*g, k*y = -20. Solve -g*p = -3*o + 18, -7*p - 5*o = -4*p + 2 for p.
-4
Let s(h) = h**2 - 17*h + 30. Let f be s(2). Solve 0 = 5*i + 3*u + 12, f*i + 4*i = 5*u + 20 for i.
0
Suppose s - 10 = -16. Let w be (s - -9) + 0/(-1). Suppose 4*k + 1 = 2*v + 3*k, w*v + 3*k = -3. Solve 0 = -4*f - 2*i - 8, -4*f + v*i = -i + 2 for f.
-1
Suppose -75*p = -65*p - 5710. Let a = p - 569. Solve -i - 2*s - 7 = -a*i, -10 = 5*s for i.
3
Let w = 10285 - 10280. Solve 0 = -4*f + 12, f + 3*f - 32 = -w*m for m.
4
Let v be 55/66 + (-1)/(-6). Suppose -v = -27*s + 134. Solve 2*n + 21 = 4*n + s*q, -3*q = 4*n - 21 for n.
3
Suppose -2*o + 3*q + 3 = 0, -5*o + 4*q - 24 + 28 = 0. Solve 0 = -2*f + 4*h + 4, -5*f - 2*h + 17 - 43 = o for f.
-4
Let x = 3589 + -3586. Solve -14 + 6 = -s + 3*u, 3*s + x*u + 24 = 0 for s.
-4
Let u(h) = -8*h + 17. Let z be u(-1). Solve 5*o = -4*f + z, 5*f - 22 = f - 2*o for f.
5
Let a = 956 + -924. Solve 0 = -4*r - 2*f - a, 0 = -5*r - 7*f + 2*f - 55 for r.
-5
Let l = 362 - 360. Let q(s) = s**3 + s**2 + 3*s - 143 + 150 - 7*s. Let k be q(l). Solve 0 = 2*b - 3*w + 5, 2*b + w - k = 5*b for b.
-4
Let j be 2*(15/(-5))/6. Let s be 6 + (1 - 4) + j. Solve 5*h + l - 4*l - 32 = 0, 16 = 2*h - s*l for h.
4
Let k be ((-651)/(-4340))/((-2)/(-40)). Solve 2*d = 5*p - k*d - 40, -p = 5*d + 22 for p.
3
Let y be 1 + -181 + (-8 - -13). Let m be (-3)/5 - 5355/y. Let o be (-22)/(-4) - (-2)/(-4). Solve o*t = -j + m - 7, 0 = -4*j - 8 for t.
5
Let x be 0 + (-2 - (-6)/4)*-10. Suppose s + 4*s + x = 0. Let t be 171/76 + s/4. Solve -3*j - t*j - 31 = 2*m, 0 = 2*j - 2*m + 4 for j.
-5
Let j = 35 + -33. Suppose b + 4 = 4*i, j*b - 2*i = 5*b - 2. Suppose b = 5*f - 15 - 35. Solve -3*s - f = 2*x, 0*s = -3*x - 3*s - 12 for x.
-2
Let o(z) = -z**2 + 11*z - 22. Let i be o(4). Suppose 26 = -f - 4*j + i*j, -2*j + 122 = -4*f. Let b = f - -57. Solve -4*v - 2*n = n + b, 4*v - 3*n + 7 = 0 for v.
-4
Suppose 10 = 3*o + 9*b - 7*b, 3*b = -3*o + 9. Solve -27*q + 15 = -i - 22*q, o*i + 26 = 3*q for i.
-5
Suppose -38*m - 179 = 59*m - 664. Solve -12*f + 10*f = m*n - 12, 3*n - f = 5 for n.
2
Let x = 995 - 992. Let b be (-1)/(3 + (-10)/3). Suppose -4*h = -2*m + 18, m + b*h - 14 = -3*m. Solve -2*l + x*o - 8 = 0, -2*l + 1 - m = -o for l.
-1
Let j be (12 - (-20 - -35)) + 3*2. Solve -j*l = -k + 1 - 9, 5*k + 4 = -3*l for k.
-2
Let u = -671 + 677. Solve 2*h = 5*i + 6, 3*i = 23*h - 21*h - u for h.
3
Let m = -2119 - -2119. Solve -3*z + 5*o + 28 = m, 0 = -2*z + o - 14 + 21 for z.
1
Let v be 16 + (-2)/(-3)*3 - 2. Suppose 12*g - 10*g = v. Let a(u) = u - 1. Let l be a(6). Solve -2*o + g = -l*o - t, 0 = -3*t - 6 for o.
-2
Let a be -2 + (-30)/(-18) - 98/(-6). Suppose -3*b = b - a. Suppose 0 = 3*i - b*u - 14, i + 2*u + 4 = 2. Solve -y + f - 1 = 0, -y + i + 6 = 2*f for y.
2
Let n = -6719 - -6734. Solve -5*a - 32 = 2*j - 10, 4*a = j - n for j.
-1
Let f = 20 + 97. Let k = f - 74. Let h be k/5 - (-4)/10. Solve 4*x + 11 = 4*a - h, 5*a = -3*x + 25 for a.
5
Let b(m) = 11 - 11*m - 1 - 5*m**2 + 17*m. Let f(q) = q**2 - q - 2. Let p(k) = 2*b(k) + 11*f(k). Let i be p(-2). Solve -r - 3*j = 9, j + 16 + i = 4*r for r.
3
Let s = 15637 + -15626. Solve s - 15 = 4*p + 2*o, -30 = 5*o for p.
2
Suppose -1 = -10*p - 1. Let f(h) = h**3 - h**2 - 2*h + 6. Let y be f(p). Suppose 56 = y*x + 32. Solve -2*g - 4 = x*n, n + 2*g = 1 - 2 for n.
-1
Suppose 8*f - 9 = 7. Suppose n + w = 28, -n - 4*w = -f*n + 28. Solve -4*u + 5*l = -0*l - 6, 4*l - n = -5*u for u.
4
Suppose -s - 16 = -3*s. Suppose -6*z - 62 = -s. Let d = 11 - z. Solve 4*y = a - d, 2*y - 4*a + 5*a + 10 = 0 for y.
-5
Let l(n) = n**2 + 146*n - 1029. Let y be l(8). Solve h = -d + 8, 3*d + y = -5*h + 235 for d.
4
Let t be (57 + -59)/((-4)/6) + (-2)/(-1). Solve -t*x - 2*o - 10 = 0, -127*x + 5*o - 33 = -125*x for x.
-4
Let f be (12*3/12)/((-2)/(-2)). Let w be (3/(f - 0))/((-1)/(-11)). Suppose 2*t = 3*t - w. Solve 0*y + y = -4*k + 16, -y = 3*k - t for k.
5
Let t = -1 - -4. Let h(p) = -p**2 + 32*p + 475. Let u be h(43). Solve -u*w - w = -v - 7, -2*w = -t*v for v.
2
Suppose -77*h - 120 = -74*h. Let v be h/220 - 70/(-22). Solve i + 23 = -4*a, 1 = 2*a - v*i + 2 for a.
-5
Let a be 5*1/((-10)/(-4)). Suppose 2*z = -a*z - 8*z. Solve -5*w + 1 = d, z = 3*w - d - 7 for w.
1
Let x = -4366 - -4368. Solve -2*c + x*n + 23 = -3*n, -5*c = 3*n - 11 for c.
4
Let t be (138/230)/(3/5)*5. Solve 3*w - 5 = 6*x - 5*x, t*w = 0 for x.
-5
Suppose -2 + 1 = -x. Let c = -1619 + 1624. Solve 0 = -5*i - 14 - x, -c*i = -o + 20 for o.
5
Let k(i) = -6*i + 51. Let l be k(8). Suppose -l*g - 15 = 0, 2*x - g - 39 = 30. Solve 0 = 4*s + 4*c + 32, 8*s - 3*s + x = -3*c for s.
-4
Suppose 3*y + 9 = 0, 23*s - 21 = 20*s + 5*y. Solve -2*z + 9 = 5*v - 6, -s*v = 3*z - 6 for z.
0
Let z(y) = 2*y**2 + 15*y + 14. Let u be z(-1). Let c be u + 3 + (-7)/21*-48. Solve 4*a - 8 = -n, c = 4*a - n - n for a.
3
Let o = 5 - 2. Let r be (2 - (-18)/(-10)) + 869/55. Suppose 3*k - 3 = 6. Solve 0 = -4*d + k*q + r, -5 = o*d - 2*q - 17 for d.
4
Let b(a) = -70*a + 778. Let l be b(11). Solve 4*s - 23 = -5*j, -13*j + 9*j + l = -2*s for s.
2
Suppose 4*g = -16, -6 = 2*h - 5*g - 36. Suppose 23 = h*w + 3. Solve 4*p - 4 + 8 = 4*t, 0 = w*p + 4*t + 28 for p.
-4
Let r be (-9)/(-36) + 19/4. Suppose -69*f + 65*f = 4, 3*f = -2*k + 1. Solve -g + 6 - 2 = m, 0 = m + k*g - r for m.
3
Let c(g) = -4*g - 9. Let y(m) = -m**3 - 7*m**2 + 17*m - 13. Let s be y(-9). Let q be c(s). Solve -3*n + q = -4*i, 6*i - 4*i - 4 = 4*n for n.
-3
Suppose -d = 2*i + 4, 321 = d - i + 304. Solve 9*r - d*r - 17 = 4*c, -c + 3*r + 12 = 0 for c.
-3
Let h be 0*2/(-36)*2 + 10. Solve -10 = 5*x - 5*m, -x - 3*m + 0 = -h for x.
1
Suppose -4*s - d - 4 = 0, -20 = -4*s + 6*d - d. Suppose s = -348*v + 351*v - 21. Solve -2*f = -h + 6, h - 2*h = -3*f - v for h.
4
Let t = 494 - -23. Let p = t - 515. Solve 17 = -p*z - 5*u, -2*u - 7 = 3 for z.
4
Let y be 90/(-12 - -18) + -10. Solve y*b = -5*q - 5, 4*q - 23 = 2*q + 3*b for q.
4
Suppose 333*a + 50 = 338*a. Suppose 5*c - 16 = -4*v, -5*c = -v - a*c + 4. Solve 3*w = 2*d + 6 + 2, -2*w = v*d for w.
2
Let z(m) = -3*m**2 - 58*m + 661. Let x be z(-27). Solve -4*n - x = 5*g, 4*n + g = 2*n - 14 for n.
-5
Let w(r) be the second derivative of 5*r**3/6 + 185*r**2/2 - 262*r. Let l be w(-32). Solve -3*t = 2*j - 2*t - 15, 0 = -5*t + l for j.
5
Let l = -7136 + 7138. Solve 2*j + 5*y = 11 + l, 3*j + 5*y = 17 for j.
4
Suppose 33 = 5*c + 2*u, -29 = -3*c + u - 18. Suppose -x - 2 = 6*o - 5*o, 0 = 5*o + 25. Solve 2*g - x*q - 14 = 0, -3*g - 5 = -c*q - 27 for g.
4
Let c be (1 - (-6)/6) + 3. Suppose 0 = -3*l + 9*i - c*i - 8, 3*i - 6 = 2*l. Solve l*u - 5*u - 3*b = -2, -1 = -5*u - 4*b for u.
1
Let x = 3602 + -3599. Solve 2*h = -4*q - 24, q + x = -5*h - 12 for h.
-2
Let g be (-16)/(-7) + ((-26)/42 - 2/(-6)). Solve -12*l + 16*l + 20 = -5*d, -g*d 