25 = -8*h + w. Solve 4*t + 15 = h, -4*a - t = 14 for a.
-3
Let w = -41 - -19. Let y = w + 24. Solve 4*l + 6 = y*l + 2*u, l + 5*u = -15 for l.
-5
Suppose c + c + 6 = 0. Suppose -4*z = -2*z - 52. Let y be -1 - z/(c - -2). Solve 0 = 5*l - y, 2*l + 17 = -3*h + 3*l for h.
-4
Suppose -g - 15 = 11. Let q = g - -26. Solve 5*y = 4*v - 11, -5*v - 2 + q = -y for y.
-3
Suppose 0 = q - 0*q - 4. Suppose -5*j + 6 = -p, -4*p - 6 = j - 6*p. Solve 5*f = 3*b - q*b + 1, -j*b = 4*f - 2 for f.
0
Let a = -47 - -53. Solve 2*q + 0*q + 3*j = a, q = 3*j - 15 for q.
-3
Suppose -4*l + 28 = -3*l. Let q be 6/12*(-1 + 11). Suppose -q*z + l = -37. Solve 5*f + 20 = 0, -f + 4 = -5*r + z for r.
1
Let r be -14*(2 + 1 + -4). Let q = r + -12. Suppose -q = -n + 1. Solve n*b + 18 = -5*d - 12, 2*d = 2*b + 4 for b.
-5
Let o(i) = -2*i**3 + 55*i**2 + 28*i + 2. Let h be o(28). Solve -h*m = 4*f, -8 = -4*m + 4*f + 16 for m.
4
Let c = 3 + -1. Let o(k) = 20*k - 220. Let m be o(12). Let b = 15 - 11. Solve -2*g + c*q = -q + m, -b*q + 12 = g for g.
-4
Suppose -225*i = -217*i - 56. Solve n + 3*q - 6 = -i, -3*n - 3 = q for n.
-1
Let v = -404 + 418. Solve 2*k = f + 8 - v, 0 = -f - 4*k - 6 for f.
2
Let t(r) = r + 3. Let f be t(1). Suppose -j = f*j + 5. Let q be (1 + j)*4/(-16). Solve 2*b + 3*k - 7 = 0, 5*b + 3*k + q = 22 for b.
5
Suppose m + 5*j + 7 = 0, -11*j + 13*j = -m - 1. Solve 0 = 3*x + g + m, g + 11 = -x + 4*g for x.
-2
Let j(f) = f**3 + 21*f**2 - 5*f - 35. Let n be j(-21). Suppose 0 = p + 13*p - n. Solve -5*b = -3*t + 5, -2*t - 3*b = -p*t + 3 for t.
0
Let w be 72/12 - (-6)/2. Suppose 14*k - w*k = -1200. Let y be ((-4)/(-10))/((-8)/k). Solve 3 = -v - 3*p, v + 3*v + y = 3*p for v.
-3
Let d = 0 - 0. Suppose 0 = -3*i + 2*b + 167, 5*i = -4*b + 167 + 104. Let r = i - 52. Solve -9 = -s + r*f, 9 = -2*s - d*s - 3*f for s.
0
Let o = 9 - 13. Let m be -3 + -4*(-1 + o). Let v = 22 - m. Solve -c - c = -z - 5, -v*c - 3*z = -29 for c.
4
Let p(b) = b**2 - 4*b + 2. Suppose -3*s = -3*v - 18 - 0, 0 = 3*s - 9. Let w = 7 + v. Let r be p(w). Solve 3*i - c + 5 = r, c + 3 = -3*i for i.
-1
Suppose v - 5 = 0, 2*x + v - 39 = -2*v. Let q(t) = -8*t - 7. Let y be q(4). Let j = -30 - y. Solve -2*d = -5*k - j, -3*k + d - x = 2*k for k.
-3
Suppose -f + 12 = 1. Suppose 3 = n + f. Let x be (-13 - -1)*18/n. Solve -4*h = q + 9, 7*q - 4*h - x = 2*q for q.
3
Suppose -32*o - 246 = -342. Solve 3*t + t = -4*z - 4, 4*z + o*t + 3 = 0 for z.
0
Let f(x) = -x**3 - x**2 + 30. Let q be 0/((-3)/(1 - -2)). Let w be f(q). Suppose -6*p = -3*p - w. Solve -2*k + 4*j - 7 = j, 3*k + p = 5*j for k.
-5
Suppose m + 2*j + 24 = 0, -5*m - 4*j - 134 = -14. Let s(k) = -k**2 - 26*k - 45. Let u be s(m). Solve u*v - 5*g - 19 = 0, 4*v + v + 3*g = 9 for v.
3
Let i(x) = -x**3 - 2*x**2 + 4*x - 1. Let c be i(-4). Solve k + 5*d = -c, 0*k + 3*k + 1 = -4*d for k.
5
Let h = -3 + 21. Let p = 20 - h. Solve p*w - 5*j = -w - 15, 4*j = -w - 5 for w.
-5
Let y = 17 + -8. Suppose -f + 12 = y. Solve 4*m - f*p + 12 = 31, -7 = -2*m + p for m.
1
Let g(l) = -8*l**2 + 49*l - 3. Let h be g(6). Solve w + j = -h*w + 5, -2*w + 2*j - 10 = 0 for w.
0
Let n(l) = l**3 - 5*l**2 - l + 1. Let t be n(5). Let w be 2*((-14)/t - 2). Solve w*k + 2 = -2*i + 1, -4*i - 5*k = 1 for i.
1
Suppose 510*t - 521*t = -55. Solve -5*q = -2*d + d + 14, 0 = -t*q - 5*d + 10 for q.
-2
Let k be (-2)/(-3)*9 - 2. Suppose -2*y - v = k - 31, -6 = -2*v. Let r be ((-8)/y)/(2/(-15)). Solve -5*p = -4*b - b + 40, -p - 20 = -r*b for p.
-5
Let i = -34 - -42. Solve 3*m + 7 = 2*g - 4, 2*g - 2*m = i for g.
1
Suppose u - 2*u = 2*u. Solve j + 3 = 2*l, -3 = -j - u for l.
3
Let b = -1664 + 1671. Solve -b*j + 7 = -5*j + 5*w, -5*w + 4 = -j for j.
1
Suppose -j - 2*u = 1, -u = -4*j - 2*u + 3. Solve -9 = -5*q - o, -3*q + 14 = 3*o - j for q.
1
Let w(z) = -10*z + 4. Suppose -6*n + 5*n - 9*n = 0. Let g be w(n). Solve g*r = 3*a - 1, -2*a + r = -a for a.
-1
Let d = 35 + -25. Let b(z) = 2*z - 18. Let o be b(d). Solve 0 = -g + 3*x - 1, 0*x + o = x for g.
5
Let m be 6/8*(3 + 1). Suppose -d = -2 - m. Suppose d = -2*i + 2*c + 1, 0 = -i - c + 2. Solve p - 11 = 6*p + w, i = 2*p + 2*w + 6 for p.
-2
Let s(q) = -q**2 - 6*q + 5. Let l be s(-6). Suppose 25 = l*p, -y - p = 2 - 10. Solve 3*i - 3*f + 9 = 0, -1 = -y*i + 2*f - 7 for i.
0
Suppose 2*r - 22*r = -100. Let a be -1 + -1 - (-20)/(r/1). Solve 30 = 5*u + 2*h, -4*u + h = a*h - 21 for u.
4
Suppose -3*y + 6*y + 308 = -4*h, -4*y - 154 = 2*h. Let z = -66 - h. Solve 5*u - 5 + 0 = -3*k, -4*u - k = -z for u.
4
Let v = 693 - 681. Solve 3*f = -v, 3*j + 6*f + 23 = f for j.
-1
Suppose 0 = -5*x - 4*j + 11, 0 = x - 5*x - 3*j + 8. Let p be (6/(-5))/(x/5). Solve 3*l - 4*d + 11 = 0, 4*d - p = 4*l - 6*l for l.
-1
Let c(d) = d**2 - 3*d - 105. Let y be c(12). Solve 0 = g + y*u + 11, 3*g + 0*g = 4*u - 7 for g.
-5
Let x = 15 + -4. Suppose x*h - 7*h - 8 = 0. Let b be h + (0 - (-2 + 2)). Solve -3*r + 2*p + 19 = 0, b*r - p = -6*p for r.
5
Let v = -225 - -230. Solve 5*a + v = a - 3*k, 0 = -3*a - k for a.
1
Let j(g) = g**3 - g**2 + 3*g - 1. Let z be j(2). Suppose -z*m + 55 = -4*m. Let b = m + -8. Solve -4*o = b*i + 18, -2*i - 17 = 2*i + 3*o for i.
-2
Let c = -8 + 4. Let y be 4/((-10)/c - 2). Suppose -p - y = -5*p. Solve -3*l = u + 8, l = -4*l + 4*u - p for l.
-2
Suppose -4*g + 5*b - 2*b - 28 = 0, -5*g = 5*b. Let k(i) = -4*i - 13. Let j be k(g). Solve h - m + 2 = 0, -3 = j*h - 2*m + 3 for h.
-2
Let b(c) = -2*c - 14. Let n(k) = -2*k + 6. Let d be n(8). Let z be b(d). Solve 2*v - 12 = -2*r, 5*r - 3*v - z - 16 = 0 for r.
5
Let c(x) = x**2 + 5*x + 13. Let z be c(-5). Suppose 5*n - 23 = -z. Solve 4*b + 2 - 12 = 2*l, n*l = 3*b - 10 for l.
-5
Let l be (2 + 16/(-6))*-3. Let s(g) = -g**2 - 33*g + 242. Let q be s(6). Solve -2*r + 9 = -3*i, r + r - l*i - q = 0 for r.
3
Suppose 2*q = -7*r + 3*r + 54, -3*q = -r + 3. Suppose r*a - 19 - 17 = 0. Solve -3 = -d - w, -a*d + 5*w + 12 = d for d.
3
Let m be -3 + (-8)/(-24)*15. Solve 10 = -n - 3*n - m*p, 5*n = -p - 8 for n.
-1
Let a be (1/(-2))/((-3)/18). Solve -2*q + v = 5, -a*q + 3*v + 5 = -v for q.
-5
Let o be ((-1)/((-5)/12))/(10/50). Suppose -o*r + 17*r = 0. Solve -2 = -3*q - 4*n - 0, r = -4*q + 2*n - 12 for q.
-2
Let m(j) = -3*j - 3. Suppose 4 + 21 = 5*b. Suppose 6 = 2*l - b*l. Let o be m(l). Solve 3*p - 3*w = 3, 3*p - 6*p - 5*w = -o for p.
1
Let l(p) = 3*p - 31. Let w(m) = -m**2 + 13*m + 11. Let t be w(13). Let k be l(t). Solve 12 = 3*h - 3, -k*i = -2*h + 6 for i.
2
Let y be (0 - 0) + -4 + 4. Suppose y = -3*c - 2*g + 8, -c + 4 = c + g. Solve 3*d = 9, c = -5*a - 5*d + 3*d + 21 for a.
3
Let c(t) = t**3 + 7*t**2 - 13*t - 28. Let o be c(-8). Solve o = 2*u + 5*b, b - 4*b + 11 = 5*u for u.
1
Let m be (-57)/(-76) + 3/(-4). Suppose 0 = -2*p - m*p. Solve -2*t - 2 + 4 = -3*l, p = 2*t + 3*l + 22 for t.
-5
Suppose -2*m = -c + 3, 1 = -9*m + 10*m. Solve c*q = -5*f - 15, 1 = -f - f + 3*q for f.
-2
Let y be (-14)/4*8/(-14). Suppose d - y*d = -4*d. Solve -2*o = 2*x - 12, d = x - 3 for o.
3
Suppose 6*n - 6 = 4*n. Suppose 2*t + n + 12 = 3*b, 0 = -b + t + 5. Solve 16 = -4*o - 4*q, -b*o - 10 = -o + q for o.
-2
Let o(u) = u + 8. Let k be -3 + (-1 + -2 - -1). Let i be o(k). Let a be -1 - 6*i/(-6). Solve -w + 3*c - 9 = 0, a*w + 1 = -5*c + 5 for w.
-3
Suppose 0 = 5*l, 0 = -2*v - 5*l + 7 + 1. Let u be -6*v/(-12) - 2. Solve u*p - 6 = 4*p - 5*s, -p - 4*s = -9 for p.
1
Suppose 403*i = 410*i - 14. Solve 0 = -4*q + i*p + 4, 3*q - 7*q = 5*p - 32 for q.
3
Let x = 229 - 224. Solve -x*n - 30 = -d, 0*n + 3*d = -5*n - 10 for n.
-5
Let l(i) be the first derivative of i**4/4 + 3*i**3 - 6*i**2 + 4*i + 10. Let d be l(-10). Solve -4*q - 2*h + 25 = 3*h, -d = -4*q - 4*h for q.
5
Let h = 1185 - 1161. Solve c + x = -5, 8*c - 4*c = -5*x - h for c.
-1
Let a(x) = -7*x - 185. Let b be a(-27). Solve -2*n + p + 14 = 0, -b*n - p = 2*p - 8 for n.
5
Suppose -2*g + 12 = 2*g. Let p be g/((-1)/((-16)/12)). Solve -5*s - j = p*j - 10, -4*s + 8 = -4*j for s.
2
Let z be -6*(26/(-6) - -4). Let n = -18 - -19. Let i be n*(5 + 3) - 0. Solve 4*h = j - z*j + i, -5 = -h - j for h.
1
Let p(w) = w**2 - w - 2. Let z be p(-3). Suppose -a - a + 4*l + z = 0, l - 11 = -4*a. Solve -u - a = -4*u + 3*r, -r = -4*u + 13 for u.
4
Let y = -606 + 613. Solve 0 = 3*g + m, -2*m = -g - y*m - 14 for g.
1
Suppose 3*v - 72 = -v. Suppose 93 = 9*n - 33. Let w = v - n. Solve 5*d - 