 - 8, 3*k + 1 + 0 = -4*c for k.
1
Let g = -163 + 179. Solve -2*n = t - 8, 2*n + 2*n = -4*t + g for n.
4
Suppose -6 + 3 = -i. Let w be 1 + 9/(-2 + i). Suppose x - 2 = w. Solve -6*r + 9*r = -x, 3*v - 3*r = 9 for v.
-1
Let v(b) = 82*b - 491. Let h be v(6). Solve 0 = 3*x + q + 17, 0 = -5*x - 2*q - h - 28 for x.
-5
Suppose -3*o + 1 = 4*h, -2*h + o + 3 = -0*o. Solve 6 = -4*c - 5*d - 9, 0 = d - h for c.
-5
Let s = -98 - -44. Let w be (3 + s/12)*(-4)/3. Solve 3*l - 2*f = 3 - 17, -5*l - w*f = 18 for l.
-4
Suppose 4*c = 4*v - 24, 4*v - 16 = 4*c - 2*c. Suppose -7*x = -54 - v. Solve -k - 4*k - 3*j + x = 0, -j + 1 = 0 for k.
1
Let q = -406 - -406. Solve -5*p - 4*d = 20, q*d = 4*p - 4*d + 16 for p.
-4
Let c be (1/1)/((-4)/(-40)). Solve -c = s - 0*s - 5*g, 5*s - 31 = -2*g for s.
5
Suppose 4*g - 5 = z, -3*z - 7 - 8 = 0. Suppose -2*p + g + 20 = 4*f, -f + 11 = 2*p. Solve -p*d = -r - 24, 3*d + 3*r = 7*r + 31 for d.
5
Let d = 1543 - 1536. Suppose 0*w + 4*w + 41 = 5*u, -3*u + 5*w = -35. Solve -u*r + d = -2*o - 9, 0 = 4*r + 5*o + 7 for r.
2
Let w = -73 - -83. Suppose -12 = 2*q - 5*q. Let z be (10 + -9)/(2/12). Solve -b = 6*x - q*x - z, 5*b = w for x.
2
Suppose 5*y - 27 + 7 = 0. Suppose 3*k = -3*h + 51, -3*h = k - 4*k + 51. Suppose 8*n + k = 49. Solve -14 = 4*i + y*x - 2, 0 = n*i - 2*x + 12 for i.
-3
Let j be -57*(-2 + 1)/3. Suppose 36*l - 144 = 30*l. Let a = l - j. Solve -5*z - 40 = a*u - 0*z, -5*u - 2*z - 31 = 0 for u.
-5
Let n = -187 - -192. Solve -q - 4*p - 8 - 4 = 0, -3*p - 26 = n*q for q.
-4
Let q be ((-24)/(-14))/((-14)/(-245)). Let v = q - 21. Solve -v = a + 4*x, -a = a - 4*x - 6 for a.
-1
Let b be (-35)/7*(-6)/5. Let m be b*(-2 - 8/(-3)). Let j be (0/(-1) - -6) + 2. Solve 2*z - m = -p + 2*p, -2*p - j = 4*z for p.
-4
Let b = 84 - 69. Solve 0*d = -3*w - 4*d + b, 5*w + 2*d - 25 = 0 for w.
5
Let j be -1*8/3*(-48)/32. Solve j*o = 6*o + t + 9, o - 2*t - 3 = 0 for o.
-3
Suppose -13*t = -24 - 15. Solve -k - 2*k - 6 = t*p, 2*p = k - 13 for k.
3
Let b(a) = -11*a - 5 - 2 + 13*a - 4. Let k be b(8). Solve -k*s + 3*f + 5 = 10, 3*s + 4*f = -3 for s.
-1
Suppose -36*b + 84 = -8*b. Solve b*d - 22 = 4*n, 0*d - 20 = 4*n - 2*d for n.
-4
Let s(r) = -6*r + 2. Suppose 0 = -3*z + 5*w, -5*z + w + 3*w = 0. Suppose z = 5*u - 0*u + 15. Let b be s(u). Solve -4*n - h - b = -3*h, -n - 5 = 3*h for n.
-5
Let a = 11 - 21. Let s = a + 11. Let z = -8 - -13. Solve -3*m = -0*n + n + s, 0 = 2*m + z*n - 8 for m.
-1
Let o be ((-2)/(-6))/((-2)/(-48)). Let y = 28 - o. Let g be (-3)/(-2)*y/15. Solve -5*a = g*r - 17, -10 = 2*a - 0*r + 5*r for a.
5
Suppose 13 = 59*b - 58*b. Let w = 15 - b. Solve -3*y - 8 - 1 = -5*u, -3*y + w*u = 0 for y.
2
Let u(z) be the third derivative of -z**4/12 - 2*z**3/3 - 13*z**2. Let a be u(-2). Solve 4*b + q - 12 = a, 3*b - 4*q - q - 32 = 0 for b.
4
Let l(g) = g**2 - 7*g + 5. Let m be l(7). Let i be (2/1 + 1)*-1. Let z be -2*(-1 - i/(-6)). Solve 3*h - z*q = 9, 5*q = -m*h - 2 - 23 for h.
-1
Suppose -4*g + 5 = -11, -5*q = -2*g - 92. Solve 5*d - 4*z + q = 3, 3*z = 5*d + 19 for d.
-5
Let r(m) = m**2 + m + 2. Let v be r(0). Let u be (-4)/(-14) - (-186)/(-651). Solve 3*z = -2*n - 0*n + v, u = -n + 4 for z.
-2
Suppose -5*p = -2*j + 5, 0*p - 4*p = j - 9. Suppose 2*o - 15 = -o, o = -2*b + 3. Let d be 0*1*b/2. Solve 5*k + 10 = j*l, d = -k - 2*l + l for k.
-1
Suppose -3*l + 9 = c, -8 = -4*l + c + 4. Solve t - l*i + 2*i = 1, -31 = -3*t - 4*i for t.
5
Suppose 14*q = 139 - 125. Solve 4*x = -2*i + 4, i + 0 = -x - q for x.
3
Let y(v) be the third derivative of 0 + 9*v**2 + 1/12*v**4 + 4/3*v**3 + 0*v. Let t be y(-3). Solve 0 = -c - 4*c - j, j = -3*c - t for c.
1
Suppose 90 = 5*k - 5*p, -5*p + 6 = k - 3*p. Suppose k*i = 18*i. Solve -5*a + 5*t - 5 = 0, -a + 2*t + 3 = -i*t for a.
-5
Let b(q) = 3*q - 25. Let y be b(9). Solve w = -c - 1, 5*w + 23 = -y*c + 3*c for c.
3
Let r be -18*-2*4/(-12). Let j be (9/3)/(-3) - r. Suppose -10*b = -j*b + 21. Solve -m + 3*z = 2*m - b, 27 = 5*m - 3*z for m.
3
Let l be (1 - 2/4)*(63 - 63). Suppose -4*r + 28 + 20 = -5*f, 0 = r - f - 11. Let k = l + r. Solve -5*s + k = -u - 0*s, 3*u + 4*s = -2 for u.
-2
Suppose 0 = -3*k - 0*k + 12. Let q be (1544/(-20) - 3) + (-1)/(-5). Let t = q + 84. Solve 0 = -k*f - 16, 0 = t*p + f + f for p.
2
Let v = -65 - -62. Let o = v - -6. Solve o*x = -3*h, h + 2 = 2*x + 11 for x.
-3
Let t = 161 - 149. Solve q + 2*a + t = -0*q, -8 = -q + 3*a for q.
-4
Suppose -1 = 4*p - 17. Solve 0*q + 4*c = p*q - 4, 5*q - c = 1 for q.
0
Let p be (-38)/2 + (-4)/2. Let q = -19 - p. Solve -5*h = -q*a, h - 29 = 5*a + 3*h for a.
-5
Let n be (-7)/(-1) - (-33)/88*-8. Let c(f) = f**3 - 3*f**2 - 4*f. Let q be c(4). Solve 0*s + 2*s + 20 = -n*z, q = -2*z - 6 for s.
-4
Suppose -4*x + 20 - 2 = q, -q = -4*x + 14. Solve 4*g = q*y - 16, 3*y - 4*g = 7*y - 8 for y.
4
Suppose -22 = -3*n - 4. Solve -2*o - q = 7, -2*o + 19 = -n*o + 3*q for o.
-4
Suppose 2*s = -4*o + 10, -15 = o - 2*s + 6*s. Solve 4*j = -3*i + 20, -3*i - j + 5 = -o*i for i.
0
Suppose 15*a - 14*a = 0. Suppose -4*q - 5*l = -25, q = -l - a + 7. Solve 0 = 3*y + 5*m - q, -6*y + 3*m - 20 = -5*y for y.
-5
Let a be 8/(-32) - 3/24*-2. Solve h = -2*m - a + 4, 4*h = 2*m + 16 for m.
0
Let l = 12 + -16. Let p(m) = -2*m**3 + 5 + 3*m + 2*m**2 + 3*m**2 + 3*m**3. Let i be p(l). Solve 3*w - i = -3*y, -8 = -5*w - 3*y - 1 for w.
-1
Let t = -24 + -192. Let y be t/(-120) - (-2)/10. Let f = 33 + -18. Solve 8 = -3*p - b, 5*b = y*b - f for p.
-1
Let n = -61 + 67. Solve x + x - c = 0, -5*x + 4*c + n = 0 for x.
-2
Let j be 18*(1/21 + 2/7). Solve 4*q - 26 = -2*h, -5*q + 4 + j = -2*h for h.
5
Let c be 5 + (8 - 13) - -3. Solve 2*j + 3 = -c*h + 5*j, 4*j + 14 = -5*h for h.
-2
Let i(r) = -2*r**3 + 111*r**2 + 54*r + 116. Let c be i(56). Solve -4*t - 5*p + c = -p, 5*p + 27 = 3*t for t.
4
Suppose -5*m = f - 20, 4*m - 3*m + 22 = 5*f. Suppose 20 = f*p - p. Let k be (1540/66)/(4/6). Solve -2*n - 23 = -i + 3*n, p*n = -5*i - k for i.
-2
Let y = 2 + 18. Suppose f - l - 5 = 0, y = 8*f - 4*f + 2*l. Solve -z - z = 2*x + 10, -x = 2*z + f for z.
0
Suppose d = -d + 2. Let a be (-3)/(-3) - -2*d - 1. Solve -a*q - 2*g - 6 = 0, -15 = -q - q + 5*g for q.
0
Let s be 24 - (5 + -5) - (-6)/2. Let j = 28 - s. Solve l = -u + 2, 2*l + 4*u - 5 + j = 0 for l.
2
Let x be (-33)/(-2)*26/39. Suppose 4*l - x = 1. Suppose -u + 12 = -5*d, -u + d + l = -1. Solve -f + 2*j = 11, -u*f - 13 = -j - 0*j for f.
-5
Let h be -6*(-4)/(-8)*-1. Suppose -h*w - 12 = -4*x, -3*x + 3 = -2*x - w. Let j be ((-3)/1 + 3)/(-2). Solve -d + 4 = j, -x*n - 3*d = n - 8 for n.
-1
Let j = 2470 - 2468. Solve -j = p + 3*l, p - 3*l - l = 5 for p.
1
Let u = -61 + 36. Let d be (-10)/u + (-8)/(-5). Solve 0*f - f - 1 = h, -5*f - 11 = d*h for h.
2
Let h(s) = -5*s**3 + 3*s**2. Let c be h(2). Let i be c/(-6) + 4/(-6). Let a be (i/2 + -1)*18. Solve 3*j - f + a = 0, 2*f + 4 + 10 = -4*j for j.
-5
Let t be 8/1 + -11 + 8. Solve 4*w + t*f + 1 = 9, 0 = w + 3*f - 9 for w.
-3
Let g = -475 - -478. Solve -3*r = 2*y - 14, 0*y - 12 = -g*y for r.
2
Let h be (-10 + 4)*3/(-2). Let u(a) = 2*a**2 - 16*a - 13. Let j be u(h). Solve 0 = g + 3*n + j, 4*g + 5*n - n = -4 for g.
1
Let k(j) = -j**3 + 7*j**2 + 9*j - 2. Let v be (80/15)/((-8)/(-12)). Let u be k(v). Solve 0 = 4*d + 3*b + 27, 5*d = 5*b + u + 4 for d.
-3
Let x be -3*((-80)/12 + -4). Let u = 35 - x. Solve 3*o - 3*w = -o - 20, 0 = -u*o - w - 15 for o.
-5
Let g(a) = a**3 - 5*a**2 + 5*a + 7. Let s be g(3). Suppose -q + 2*r = 4*q - 27, 0 = -s*q + r + 21. Solve q*f - d - 2 = 0, -2 + 6 = -2*f + 2*d for f.
1
Let q be 2 + 0 + (-11)/(33/6). Solve 4*s - 36 = -5*y, q = -s + 2*y - 7*y + 24 for s.
4
Let b be 3 - 4/(-8)*0. Let f = 9 - b. Let i be 0 - 1/(1/(-2)). Solve -c = -f*c - i*h - 9, c = -4*h + 9 for c.
-3
Suppose 3*u = -2*q - 34 - 45, -4*u = 5*q + 96. Let b = -15 - u. Solve 3*i - 13 = -2*c, -4*i + b = -4*c - 2*i for c.
-1
Let z(l) = l**3 - 24*l**2 - 6*l + 144. Let w be z(24). Solve -d = -3*h - 2*d + 11, w = -3*h - 4*d - 1 for h.
5
Let d(r) = r + 21. Let n be d(-11). Let h = 18 - n. Solve -5*z - h = 4*m - 2, z - 2*m + 4 = 0 for z.
-2
Let n = -3834 + 3838. Let v = -1 - -1. Solve -m + 0 = 5*r - 11, -2*r + n = v for m.
1
Let q be (-2 - (-688)/20) + (-6)/15. Suppose -2*s + q = 6*s. Solve -s*a + 3 = -3*o, -a - 4 = 3*o + 14 for o.
-5
Let k(y) = -y**2 - 7*y + 35. Let f = 14 - 24. Let x be k(f). 