4*w = -d*h for h.
-2
Let y be (-737)/(-5) - 14/35. Let k be (-7)/2*(-84)/y. Solve 3*w = k*c + 23, 5*w - 2*w + 1 = -4*c for w.
5
Let n be 24/84*-21 - -8. Solve -4*a - 8 = -8*a, -n*a = 3*y + 2 for y.
-2
Let g(y) = -y**3 + y**2 - y. Let x(o) = -12*o**2 - 34*o + 11. Let u(h) = g(h) + x(h). Let r be u(-6). Solve 10*w = 5*w - 4*p + r, 4*p - 16 = 0 for w.
5
Let n be 984/2214 + (-50)/(-9). Solve n = -j - 2*x, -x = -2*j - 17 + 30 for j.
4
Let j be (-46)/(-14) + (-6)/21. Let h be 1 + (-1 + -2 - 2). Let d(z) = -16*z - 57. Let p be d(h). Solve 3*a + 3*l - 20 = p*l, -j*a = -2*l - 10 for a.
0
Let v be -22 + -15 + 14 - -25. Solve -4*s = 74*h - 76*h - 14, h = -v*s - 3 for h.
-5
Suppose -22*q - 6*q = -8*q - 80. Solve q*g = -c - 15, 25 = -0*c + 5*c for g.
-5
Let p(n) = -2*n**2 - 157*n + 244. Let o be p(-80). Solve g + 4 = -b + 2, 4*b - o*g = -32 for b.
-5
Suppose 4*l - 3*o + 30 + 9 = 0, 8 = 2*l + 4*o. Let j(u) = -5*u - 26. Let s be j(l). Solve -4*w + 8 = -s*r - 4, -4*w = 2*r + 6 for r.
-3
Suppose 51*t - 78 = 75. Let a(y) = y**2 - 11*y + 3. Suppose 44 = 11*n - 7*n. Let h be a(n). Solve -h*s - w = -9, -3*w = -s + 4*s - t for s.
4
Suppose -5*s - 9 = 11, 5*y - 4*s = -129. Let u = 31 + y. Let g = -62 + 64. Solve -u*q + 18 = -2*j, -g*q = -7*q + 20 for j.
-5
Suppose 2*r = -2*f + 22, 3*f - 23 = -2*r + 2*f. Suppose 0*z + r*z - 48 = 0. Solve -z*m + 4 = -2*n, -2*m - 3*m + 8 = -n for m.
2
Let a(b) = 18 + 19 + 12 - 2*b - 1. Let g be a(18). Let v = 14 - g. Solve z - v = -u, -3*u = 2*u + 3*z - 2 for u.
-2
Let r be ((-6)/(-5))/((-2)/10). Let x(f) = -8*f - 6. Let o be x(r). Let b = 46 - o. Solve -d - 4 - 3 = a, -3 = b*a - d for a.
-2
Let d(u) = 15*u**3 + 33*u**2 - 8. Let r be d(-2). Solve -2*g - 12 = -4*x, x - 6 = -r*g + 6*g for x.
2
Suppose 28*t - 25 = -13*t + 57. Solve 11 = 3*m - 2*g, -m - t*g - 16 = -1 for m.
-1
Suppose -31*x + 32*x - 400 = -5*u, -4*x = u - 80. Suppose 0 = -4*i - 30 + 350. Let o = i - u. Solve -2*y - 3*g + 5 = o, g - 6 = -g for y.
-2
Let k = -41 + 43. Suppose 4*f = t - 1, 3*t + 3*f - 1 = k. Suppose -3*r = t - 13. Solve 0 = 2*u + 2*p + r, -3*p = -5*u - 5 + 19 for u.
1
Let c = -522 - -527. Suppose 0 = -c*m + 9*m, 5*q + 2*m - 15 = 0. Solve -5*n = -5*o - 5, -n + q*o - o = -3 for n.
-1
Let s(v) = -293*v - 289. Let f be s(-1). Solve 3*b + 2 = c, 0 = 5*b - 2*b + 2*c - f for b.
0
Let c be 14*(-11)/(-6) - (-22)/66. Suppose 62 = 9*t + c. Solve 3*f + 0*f = 4*r - 5, -5*r = -t*f - 7 for r.
-1
Let r(l) = -4*l**2 + 102*l + 163. Let q be r(27). Solve -s + 2*b = -q, b + 1 = 2 for s.
3
Let t be (5 - (-51)/(-9)) + -5*(-6)/45. Solve -34*l + 33*l + r - 3 = t, 3*l = 2*r - 11 for l.
-5
Let n(v) = -151*v + 8193. Let g be n(54). Solve -4*d = -5*k - g + 16, 3*d = -2*k for k.
-3
Suppose -158*g = -156*g + 10. Let d be (18/g)/((-2)/(-5) - 0). Let w be (d/(27/12))/(-2). Solve -w*i + 0*v - 3*v = 17, -2*i + 3*v + 13 = 0 for i.
-1
Let d(t) = 3*t**3 - 118*t + 5*t**2 - 2*t**3 + 115*t - 7. Let b be d(-5). Solve 0*y = 3*y - 5*r - 2, -3*y + 2*r + b = 0 for y.
4
Let p be 4/(-6) - 1518/18. Let d = p - -97. Suppose 2*l - d = -2*c, 2*c + 2*l = 5*c - 8. Solve 5*j + 2*b = 1, -c*b = -3*j + j + 10 for j.
1
Let i be -2 - ((-2)/(-2) - 8). Let b = 1196 - 1356. Let z = b + 174. Solve -i*f + 0*g = 3*g + z, 6 = -2*f - g for f.
-4
Let q(y) = -16 - 31*y - y**2 + 3*y**2 - 4*y**2 - 3 + 12*y. Let d be q(-8). Solve 5*i = d*r + 30, 3*r + i + 2*i = 12 for r.
-1
Let d be 23/((-253)/(-110)) - 7. Solve -8 = 4*m + 2*w, -d*m + 44 - 36 = 5*w for m.
-4
Suppose -3*f = -i - 36 + 57, 0 = 4*i + f + 7. Solve 21*j - 16*j - 4*g + 35 = 0, i = 4*j - g + 17 for j.
-3
Let u = -1804 - -846. Let f = 966 + u. Solve 0 = 2*b - l - 1, -f*b = -3*b - 2*l - 2 for b.
0
Let c = -39 - -52. Let x = -11 + c. Suppose -2*i - x*i + 3*d + 13 = 0, 21 = 5*i + d. Solve g - 16 = 4*y, -2*g = i*y + 2 + 2 for g.
4
Suppose 3*z - 1 = 8. Suppose 70*w - 134 = 3*w. Solve r + 4 = -o, w*r = 5*o - 18 + z for r.
-5
Let d = -132331 - -132336. Let x = 1 - 1. Suppose -4*i - 6*p + 7 = -p, -3*i + 3*p + 39 = x. Solve -i*a + d*k + 10 = -3*a, 4 = -a + 3*k for a.
5
Let j = -30943 - -30960. Solve -3*a + 15 = 4*s, -j*s + 5*a - 20 = -22*s for s.
3
Let s(h) = 11*h + 577. Let c be s(-52). Solve -1 = 3*x + 2, -2*t = -c*x - 3 for t.
-1
Let b(z) = z**2 - 4*z. Let j = -164 - -169. Let x be b(j). Solve 5*v + 4*n + 28 = 6*n, -12 = x*v + 2*n for v.
-4
Let k be ((-162)/30 + 3)*(-135)/36. Solve 35 = 4*a - 3*y, a - 8*y + k*y = 0 for a.
5
Suppose z - 3*j - 70 = 0, 3*z + j + 22 = 192. Suppose -13*q - 16*q = -z. Solve -2*k + 10 = 4*r + 36, -5*r = q*k + 31 for r.
-5
Let u be (51/(-102))/(2/12). Let y be 68/3 + (-2)/(-6). Let a be (y/u)/(-2 + (-5)/(-3)). Solve -3*o = -4*b - a + 3, -5*b - 25 = 0 for o.
0
Let p = -806 + 1272. Let l = p + -930. Let b be (-4)/(-26) + l/(-26). Solve 2*r - 4*k + b = -k, -5*k + 11 = 3*r for r.
-3
Suppose 2*d - 3 = 1. Let t be -4 - (-3 + d)*10. Solve 0 = 4*j + 2*s - 9 - 1, -j - 4*s + t = 0 for j.
2
Let c(t) = -3*t**3 - 3*t**2 - 4*t - 5. Let n be c(-2). Suppose 3*a - n = -0. Solve -4*r + 2*i - 31 = -11, -4*i + 25 = -a*r for r.
-5
Suppose 0 = -492*j + 480*j + 480. Solve -5*b = -x - 20, -j + 32 = 3*x - 2*b for x.
0
Let h be ((-2)/(-6))/((14 + -6)/408). Solve -4*x - 5*d = -2*x - h, 4*x = 4*d - 8 for x.
1
Let q(b) = -b**3 + 4*b**2 + 2*b - 8. Let o be q(4). Suppose 5*j - 21 = -3*u, -3*j = -9 - o. Solve u*h + 10 = 5*t + 1, 4*h = 5*t - 3 for t.
3
Let q = 787 + -782. Solve v - 6*v - 35 = q*s, -7*s + 6 = -4*v for s.
-2
Let h = -1156 + 1158. Let j(p) = p**3 - p**2 - p. Let i be j(2). Solve h = o, i*f - 5*o + 2 = -10 for f.
-1
Suppose -1684*k + 1683*k + 3 = 0. Solve -o = -k*p + 9, -7 + 22 = -2*o + 5*p for o.
0
Suppose 22 = 3*i + 61. Let s(k) = 2*k + 30. Let j be s(i). Solve -c - 2*a + j = c, 0 = -2*c - a - 1 for c.
-3
Let z(y) = 80 + 8*y + y**2 - 41*y + 14*y. Let j be z(13). Solve -2*k - 3*a = -5, 1 = -j*k - 2*a + 3 for k.
-2
Let u be (-20)/(-6) + 2/3. Suppose 0 = -5*f + 4*n + 100, 489*f - 9*n = 488*f + 61. Solve -q + 3*r - r + 7 = 0, -u*q + f = -5*r for q.
-1
Let m = -3757 + 3788. Solve 2 = -t + o, -33*t = -m*t + 2*o - 4 for t.
0
Let y(i) = i**2 + 71*i + 888. Let k be y(-16). Solve 4*j = -5*d + 28, k*j = -5*d + 3*j + 30 for d.
4
Let z = -1 - -1. Suppose -16*g + 13*g = -2*a - 5, 4*a - 14 = -2*g. Suppose z = m + a*m - 42. Solve -m = -4*l + 2*h, -2*l - h = -0 - 5 for l.
3
Let z be (-1 + -1)*(1 + (-42)/12). Suppose 2*v - 2*d - 173 = 3*d, -5*v = -d - 421. Suppose 3*l - v = 6. Solve -3*o + 16 = -4*f - 2*o, 2*f = -z*o - l for f.
-5
Let t(o) = -o**2 - 143*o - 277. Let z be t(-2). Solve -z*f - 5*b - 40 = 0, -252*f + 1 = -249*f - 2*b for f.
-3
Let i be 9747/54 + 9/(-6). Let q = i + -177. Solve -3*s - 17 = -2*z, q*z - 23 = -2*s + 7*s for z.
4
Let s(k) = -2*k**2 + 134*k - 381. Let f be s(64). Suppose -p = p - 10. Solve 1 = f*v + p*q, 13 + 7 = -4*v + 4*q for v.
-3
Suppose -6*b - 12 = -9*b. Solve -2*d = -f + 3, -11*d = -13*d - b*f - 28 for d.
-4
Let h = -16799 + 16803. Solve -l = -5*g + 21, 19 + 12 = h*l + 3*g for l.
4
Let h(s) = -2*s**2 + 18*s - 2. Let y be h(9). Let g be (7 - 2)/(y*(-3)/6). Let u(o) = o. Let z be u(g). Solve -11 - 14 = -z*f, 2*w = f - 15 for w.
-5
Let w(z) = -8*z - 4. Let y be w(-3). Suppose 4*c = -0*c + y. Let f be ((-14)/8)/(-1) + (-5)/(-20). Solve c*j = -3*p - 1, p + 0*j + 4*j = f for p.
-2
Let d = 5598 + -5593. Solve 9*c = 8*c - d, 5*k - 3*c + 10 = 0 for k.
-5
Let x(p) be the first derivative of p**4/4 - p**3/3 + p**2 - 6*p - 7. Let y be x(2). Suppose 3*j = y*j + 5. Solve 0 = -j*d - a + 18, 4 = 2*d - a - 6 for d.
4
Suppose -13*d + 385 = -2*d. Suppose d - 5 = 10*h. Suppose -4*g + g + 12 = 0. Solve -l - 2 = h*s, 0*s - 4*s = g*l for l.
1
Suppose 2*w = -14*w + 497 - 449. Solve -16 = -4*x - x - 3*k, x - 8 = -w*k for x.
2
Suppose -2*u - 8 = -b - 0, 5*u = -2*b - 29. Let l = 269 - 245. Let t be (16/l)/(b/(-9)). Solve -2*v - 8 = -t*m, -3*m + 0 = 4*v - 2 for m.
2
Let p(g) = 10*g**3 - 1125*g**2 - 564*g - 109. Let c be p(113). Let k be (-2)/5 + 83/(-5). Let t = -9 - k. Solve c*b - 25 = n - t, 5*b = n + 22 for n.
3
Let w be 9/6*(3 + -1). Suppose -1 = -2*p + 7. Suppose -i + 9 = 4*g + 4*i, -w*g - p*i = -7. Solve -11 = 5*v - z + 3*z, -z = -4*v - g for v.
-1
Suppose -5*m - 47 = -62. Suppose 0 = -4*g + m*g. Suppose q = -g*q. Solve 4*r - 5*z = -q*r + 2, -z + 8 = 2*r for r.
3
Suppose 3*r