Solve 5*k + 5 = 2*f, -6*k + 4*k - 3*f + o = 0 for k.
1
Let h(j) = 24*j**2 + 341*j + 73. Let t be h(-14). Solve 0 = 2*f + t*v + 8, -32*f + 31*f = -5*v + 4 for f.
-4
Let k(l) = 5*l - 16. Let n be k(5). Let z(g) = -15 - 4*g + 20 + 31. Let s be z(n). Solve 5*o = -25, s*j = 4*j + 3*o - 1 for j.
4
Suppose -4884 = -378*c - 122*c - 1384. Solve -16 = c*g - 11*g, -3*g + 6 = 3*d for d.
-2
Suppose -16*q - 140 = -6*q. Let u = q + 16. Solve -5*o + u*o + m + 10 = 0, 2*m - 4 = -2*o for o.
3
Suppose 5*w + 2*w + 5*r = 5*w, 3*r = 4*w. Solve 4*y = w, 0 = -25*p + 28*p + 3*y - 12 for p.
4
Suppose -16 = i - 12, 3*i = 5*h - 102. Solve h*j - 35 = 3*w + 14*j, 0 = 5*w + 2*j + 15 for w.
-5
Let h(g) = 9 - 5*g - 7 + 40. Let o be h(8). Suppose -o*b + 12*b = 50. Solve 3 = 3*m + 2*y, -36 = -b*m + 5*y - 6 for m.
3
Suppose -34*c = -29*c - 3*u - 13, -2*u = 5*c - 8. Solve -k - 4 - 3 = -c*y, 3*y = -3*k - 12 for y.
1
Suppose 134*l - 130*l = 0. Suppose 5*g - 3*n - 10 = l, 30 = 5*g + 4*n - 3*n. Let v be (4 - 0)*(-5)/(-4). Solve g*b - 18 = 2*i, v*i = 4*i - b + 5 for i.
1
Suppose 6*f - 134 = -26. Let u be f/108 + (-3)/18. Solve m + 2*a + 2*a = 6, -4*a + 8 = u for m.
-2
Let y = 1757 - 1755. Solve 6 = -3*c - 3*h, 3*h = -y*c + 6*h + 16 for c.
2
Let a = -125 + 127. Suppose a*n + l - 37 = -2*n, 0 = -l + 1. Suppose 4*h + 2*f - f - n = 0, h = -f. Solve d = 6*d - 25, 5*j = h*d - 35 for j.
-4
Let h = 4598 - 4598. Let i be (-1)/(1*2/(-4)). Let n be (1 + i - 6)*-1. Solve h = -n*v + w - 2 - 9, 2*w - 10 = 0 for v.
-2
Let w(k) = 13*k**3 - k**2 - 255*k + 254. Let z be w(1). Solve 11 = 3*d + r, 0 = 7*d - z*d + r + 24 for d.
5
Suppose 48 = 2*d + 4*t, 133*d = 137*d - 5*t + 8. Solve -2*r + d*o - 3*o = -16, 4*r = -o + 10 for r.
3
Suppose -3*p = -c + 344, -7*p + 4*p - 332 = 5*c. Let v = p - -118. Solve -i + q - 9 = 0, 3*q - 23 = v*i - 2*i for i.
-4
Let v = -81 - -89. Let j be ((-38)/38)/((-2)/v). Solve -a + j*a = -q - 10, 3*a = -3*q - 6 for q.
2
Let u(q) = -q**2 + 6*q - 4. Let b be u(5). Let a(h) = 27 - 4*h + 20*h - 17*h. Let s be a(22). Solve -p + 2*r = b + 9, -s = -p - 3*r for p.
-4
Let n(f) = 7*f + 44. Let m be (3/(-1))/(12/(-32)). Suppose -2*u + 10 = -p, 3*p + 7*u + m = 2*u. Let d be n(p). Solve 2*k - 3*c = 13, 1 + d = k + 2*c for k.
5
Suppose 14*u - 1327 = -7123. Let o = 414 + u. Solve 4*h = 4*n + 8, -3*n + o*n - 6 = 4*h for h.
0
Let c(o) be the third derivative of 0*o - 3/2*o**3 - 1/8*o**4 + 14*o**2 + 0. Let m be c(-6). Solve 7 = -v + 2*t, 0 = -v - 2*v - 4*t + m for v.
-1
Let j = 2224 + -2220. Suppose 0 = 2*a - 2*n, 0 = 3*a + 5*n - 0*n - 24. Suppose 30 = -j*p - a*m + 80, 0 = m + 2. Solve 0 = -0*u - 5*u - 5*q, 2*q = 5*u + p for u.
-2
Let d be 3*-2 + 46 + -35. Suppose d*u + b - 20 = 0, b = u - 23 + 13. Solve 5*h + c = -22, -2*h = -u*h + 3*c - 6 for h.
-4
Let x(y) = y**2 - 24*y - 78. Let b be x(-3). Solve p = 3*o + 2, 5*p + 14 = b*o - 0*o for o.
-2
Suppose 6*p - 12 = 2*p. Suppose -18836*n - 3*i - 11 = -18841*n, -4*n - i + 19 = 0. Solve 2*s = p*g + 23, n*s - 5*g + 8 = 49 for s.
4
Suppose 4*k + p = 28, 24*k = 20*k - 5*p + 44. Solve -3*i - m = -4*i + k, 15 = -5*i - 4*m for i.
1
Suppose 3*z + 173*n - 2 = 171*n, -3*n = z + 18. Suppose 0 = 3*g + 2*u - 44, 7 + 21 = 3*g - 2*u. Solve -4*h + 3*a + z = 0, -2*h - 5*a + g = -4 for h.
3
Let i be 481/74*(-30)/(-39). Solve 20 = 5*s - i*w, -w = 16 - 15 for s.
3
Let u be (7 + 172/(-24))*-150. Solve 2*c - 19 = 5*r, r - 22*c = -u*c - 14 for r.
-5
Suppose -32 = 616*p - 624*p. Solve 2*h + p = 0, -23 = 5*l - h - 0*h for l.
-5
Let i(c) = -45*c + 812. Let v be i(18). Solve 14 - 30 = -v*t + 4*s, -20 = 5*t + 2*s for t.
-2
Suppose -z + 4 - 8 = 0, -3*t - 3*z - 9 = 0. Solve 3*j + 10 = -4*h, -5*j - 3*h - t - 12 = 0 for j.
-2
Suppose 13 = 3*l - 11. Suppose -33*d + 32*d = -36. Let q be (1 - d/6)/(-2 + 1). Solve -4*b + 37 = -5*p, 4*p - 5 = l*p + q*b for p.
-5
Let o = -466 - -472. Let m(h) = -h**3 + 6*h**2 + 7*h - 37. Let j be m(o). Suppose -27 - 13 = -5*q. Solve -w = -7*d + 4*d - j, 4*d = -q for w.
-1
Let d be (92/(-12) + 6)*-3. Let m be (5 - -9) + -12 + 2 + d. Solve -k - m = 2*s, -5*s + 3*s = 2*k + 10 for k.
-1
Let l = 31885 + -31881. Solve -4*a + 4*h - 1 = 11, -l*a - h + 18 = 0 for a.
3
Let d = 30 - 25. Suppose -3*o = 4*g - 20, 25 = d*o - 0*o + 5*g. Suppose f = -2*a + 1, -17 = -4*a - o*f + 3*f. Solve 0 = -3*x - 12, x - a*x = -j + 3 for j.
-1
Let s be 4/(-6)*145/(-14) - 1926/(-20223). Solve -5*l - h = -s*l - 11, 2*l - 2*h = -12 for l.
-5
Let x be (-1 - (-12)/(-8))*-2*11. Let g = x - 55. Solve 3*b - 19 = 2*h, g = -6*h + 3*h - 15 for b.
3
Suppose 2*p + 124 = 3*j - 2*p, 3*j = 5*p + 122. Suppose -14*q = 8*q - j. Solve -h = -6*h + 20, -q*i - 4*h = -26 for i.
5
Let k(h) = -5*h - 20. Let v be k(-12). Suppose 54 = 7*o + v. Solve f = 2*l + 5*f + 10, 17 = 3*l - o*f for l.
3
Let s = 13 + -21. Let f(h) = h**2 + 8*h - 1014. Let y be f(-36). Let b be ((-60)/s)/(-5)*y. Solve 5*m + 4*v = -b, 5*v - 5 = 15 for m.
-5
Let c(x) = 84*x**2 + 3109*x + 47. Let g be c(-37). Solve 0 = 2*y - 3*v, -2*v - g + 3 = y for y.
-3
Let n(m) = 5*m - 121. Let u be (1/(-1) - -2)*25. Let p be n(u). Solve 0 = -w - 5*a - 26, -2 + 25 = -3*w - p*a for w.
-1
Let m(r) = -r**3 - 6*r**2 + 16. Let l be m(-5). Let h be 44/14 - l/(-63). Suppose 6*b - 12 = h*b. Solve 0 = 4*z + 2*u - 16, -b*z - 3*u + 8 = -5*u for z.
3
Let h(x) = -3*x**2 - 110*x - 523. Let p be h(-31). Solve 20*t - 16*t - 4*s + 16 = 0, 4*t + s = p for t.
0
Let a be (2*6/8)/((-171)/(-342)). Solve 0 = d + 3*n + 16, -a*d = d + n + 20 for d.
-4
Let b be -1 + (4 + -2)/((42/9)/7). Solve b*m - 4 = 2*i, -2*m - 3*i = -m + 2 for m.
1
Let i = 189 - 189. Solve 3*x + 2*j = 8, -2*x - 2*j = -i*x - 4 for x.
4
Suppose 0*v = 2*i - 2*v - 10, i + 3*v + 3 = 0. Let o be i/39*24 - (-4)/26. Solve -4*s + 14 = 3*n, 6 + o = 4*n for s.
2
Suppose -14*f + 1488 + 192 = 0. Suppose 16*k + 8*k - f = 0. Solve -4 = 4*x + p, k*x + 4*p = 1 - 6 for x.
-1
Let b = 29 - 25. Let j = 58 - 62. Let y be j - (-7 + (3 - 1)). Solve 4*p - b*s = 8, -s = y - 3 for p.
4
Suppose 10 = r + 2*s, -23*s + 21*s = -2*r - 4. Solve 11 = -r*z + g, 120*g - 121*g = z + 4 for z.
-5
Suppose 3*x = -p + 5, 3*p + 19*x = 17*x + 8. Solve 4*j - 18 = r - 39, -j - p = 3*r for j.
-5
Suppose -8*y = -y - 210. Suppose -42 = -18*x + y. Solve -5*g + 26 = 4*k, -k + x*k + 5*g = 22 for k.
4
Let t be (3 - (-10)/(-25)) + 3/(-5). Let p = -3 + 8. Let d be (14 - (-5)/(-1))*3/9. Solve -p*j - 2*a = -j + t, -d*j - a = 2 for j.
-1
Let w = 44 - 66. Let c = 727 + -739. Let d = c - w. Solve 3*y - 12 = 3*i, -y = -4*i - 0*y - d for i.
-2
Suppose -96*w + 44*w + 31*w + 32*w = 0. Solve 5*u - 4*x + 14 = 0, -u + 2*x - 4 = -w*u for u.
-2
Let f = 3760 + -3756. Solve 0 = -4*d + f*n - 28, 2*n + 8 = -3*d - 3 for d.
-5
Let v be (25 - -2)*1 + (-3)/(-1). Suppose v - 6 = 8*m. Suppose -m*k + 5*b + 27 = 2*b, k - 2*b - 13 = 0. Solve -5*y + 11 = 2*o, 0 = -o + k*y - 5 - 12 for o.
-2
Suppose 0 = 5*f, -3*o - 24 = -13*f + 8*f. Let s be -3*(-4)/12 - o/8. Solve 5*u = -k - 28, -3*k - 5*u = s*k + 40 for k.
-3
Suppose -7*u = 11*u - 36. Let p be (-315)/(-99) - (-4)/(-22). Solve -29 + p = 5*d + u*g, -3*d + g - 9 = 0 for d.
-4
Let m be -6*1/30 - 160/(-50). Solve -17 = m*a - 3*o - 23, -4*o = -4 for a.
3
Let h = 16810 - 16797. Solve 5*t - 14*y + h*y = 20, y = 3*t - 12 for t.
4
Let f = -22 - -6. Let k be ((-8)/(-14))/(f/(-56)). Solve -5*x + 5*u + 5 = 0, -4*u - 13 = -k*x - 3 for x.
-3
Suppose -3*t + 110 = -7. Let b = 81 - t. Let x = -37 + b. Solve x*f - 13 = -z - 2*z, 25 = 5*f for z.
-4
Let o(l) = 6 + 6*l + 2 - 32*l + 28*l. Let n be o(-3). Solve -s + 2*a + a = -14, -n*s - 2*a - 12 = 0 for s.
-1
Let g = -16864 + 16869. Solve 10 = -g*w - 2*f + 1, 3 = -5*w + f for w.
-1
Let g be (10 + -15)/(((-6)/302)/(-3)). Let u be ((-1 - 1)*1)/(302/g). Solve -2 + 0 = -4*v - u*d, -v + d - 4 = 0 for v.
-2
Suppose 3*v + 21 = -2*g, -4*v - 28 = 50*g - 55*g. Solve 40 - 3 = 3*u + 5*x, -5*u - 5*x + 45 = g for u.
4
Let y = 129 + -138. Let t = 34 - -17. Let f be t/12 - y/12. Solve 5*l = -3*r - 22 - f, -4*r = -5*l + 1 for l.
-3
Let g = 40 - 40. Suppose 0 = -g*b - b. Suppose b = -4*q - 3*t + 31, 0*t - 3*t = -q - 11. Solve -2*c = 2*h + q, 2*c - h + 5*h + 10 = 0 for c.
1
Let c(q) = -7*q**3 + 8 + 2*q**3 + 7*q**2 + 3 + 6*q**3 + 12*q. Let d be c(-5). Let i be 5 + (-2 - -5) + d. Solve 4*m = 3*n + m + i, -5*n = -2*m for n.
2
Let d be