. Solve 0 = 4*k + 8, -2*k + 7*k - 10 = g*a for a.
-5
Let j(o) = 2*o**2 - 4*o - 1. Suppose 8*l - 3*l - 4*m - 31 = 0, -5*m = -5*l + 35. Let n be j(l). Solve 2*i - n*d = 17, -2*d = -1 + 7 for i.
1
Suppose -5*i = -4*i - 6. Let x(b) = b**3 + 2*b**2 - 2*b - 2. Let p be x(-2). Let z be 1/(-9) - (-368)/72. Solve n - y = p*n + i, 0 = y + z for n.
-1
Suppose 0 = j, 5*f - 3*j + 0*j - 20 = 0. Solve 3*g + 5*a - 37 = 0, -f*g - a + 21 = -0*a for g.
4
Let r = -72 - -84. Solve 4*f + r = 4*w, 4*f = -f - 2*w - 29 for f.
-5
Suppose 0 = -4*f + 3*q + 12, 0*q = -3*f - 5*q + 38. Solve 5*w = r - 30, -4*r = f*w - 2*w for w.
-5
Let o(m) = -2*m + 41. Let q be o(18). Solve q = -t - 2*x, -3*t + 2*x + x = -3 for t.
-1
Let b be 80/(-20) - (-5 + -1). Solve b*a - 7 = 3*p, 5*p + 4*a = -0*p - 41 for p.
-5
Suppose 3*x = -4*f + 5*f - 34, x - f = -14. Let c be (2 - 1)/((-2)/x). Solve 0*q + 6 = -2*u + 3*q, c*q - 10 = -3*u for u.
0
Suppose 4*a = -2*j - 2, 3*a + 3*j + 9 = -0*a. Solve -m = -3*g - 12, -3*g + a*m = -6 + 21 for g.
-3
Suppose 13*o = 3 + 49. Solve 4*k = -o*n + 3 + 9, -2*k + 6 = -4*n for n.
0
Let v = -8 - -18. Let d(c) = c**3 + c**2 - c. Let t be d(1). Let k = v - t. Solve 0 = -4*w - p - 29 + k, 0 = 3*w - 3*p for w.
-4
Let v = 1 + 0. Suppose 9*n = 4*n + 3*c + v, 4*c - 12 = 0. Solve 2*s + 4 = -2*t, 0*t - 4 = n*t for s.
0
Suppose 4*z = 4*i - 6 - 2, 2*z - 3*i = -9. Solve 0 = 3*c - 5*r - 10, 2 = 4*c - z*c - r for c.
0
Suppose 0 = 2*l - 4*l + 4. Let v be (1/l)/((-2)/8). Let c = 0 - v. Solve c*a - p - 1 = 0, -2*a - 7 = -5*p + 12 for a.
3
Suppose 5*g - 15 + 0 = 0. Solve -5*u + 4*b = g*b + 9, 20 = 5*b for u.
-1
Suppose 6 = -2*z + 4*z. Suppose -2 = z*y - 8. Suppose a + y*p + 2*p = 19, 2*a - 29 = -5*p. Solve 0 - 22 = 5*u - 4*n, 3*n - a = -u for u.
-2
Let o(v) = 3*v - 4. Let d = -6 - -9. Let s be o(d). Solve s*k + w + 23 + 2 = 0, -k - 5 = 2*w for k.
-5
Suppose -5*w + 1 = -9. Suppose -y = -1 - 1. Let p be (37 - y) + 1*3. Solve 2*k + 2*f = -w, 5*k - f = -p + 9 for k.
-5
Suppose 3*o = n + 2*n + 45, -o + 2*n + 20 = 0. Suppose 8 = -2*v + 3*v. Suppose -z = 2, 4*u - 2*z + 4 = v*u. Solve 4*k + 4*b + 3 + 1 = 0, -o = -u*k + 4*b for k.
1
Let j(x) = -x**3 - x**2 + 1. Let l be j(-2). Solve 3*o - 8*m + l*m = -12, 5*m - 28 = -3*o for o.
1
Let h(y) = y - 1. Let o be h(4). Let x(z) = 10*z - 67. Let l be x(8). Solve s - t = -1, -5*s + l = t + o*t for s.
1
Suppose -o + 4 = -0. Solve 3*h - o*r + 10 = -2*r, -h - 4 = -r for h.
-2
Suppose 3 = x - 1. Suppose x*k - 13 = 7. Solve -2*f + k = a, a - 1 = 2*f - 0*a for f.
1
Suppose 3*d = -2*l + 16, -l - 4*d + 14 = -d. Let a = l + -2. Solve -5*r - 6 = 3*j, 5*j + a*r + 4*r + 10 = 0 for j.
-2
Suppose 3*j - 30 = -0*j. Let b = 13 - j. Solve -3*k - 35 = 5*a, 0*a - 5 = 5*a - b*k for a.
-4
Let w = -4 + 7. Solve 3*j - 15 = -2*j, -w*a = 2*j + 3 for a.
-3
Suppose 5*m - 67 - 3 = 0. Solve c - 3*b = m, -2*b - 1 = -3*c + 6 for c.
-1
Let y = -5 + 17. Let r be (-2)/12 - (-38)/y. Suppose -3*v - 16 = -4*z, -2*z - 3 = -11. Solve -i + 4*w - 14 = 0, v = 6*i - r*i - 5*w + 14 for i.
2
Let b(t) = t**2 - 8*t - 4. Let i be b(-2). Solve 2*v + 5*q - i = 0, -4*v - 4*q + 8 = -0 for v.
-2
Suppose -9 = -3*w + 6. Solve 2*v = v + 3, 0 = 4*u + w*v + 5 for u.
-5
Let i(z) = -z**3 + 13*z**2 + 2*z - 22. Let q be i(13). Solve 2*j - 8 = -q*v, -5*j + 10 = 5*v - 0*j for v.
2
Suppose -3*r + 15 = -k, r + 7*k + 11 = 2*k. Solve 2*x + r = 3*h, h + 4*x + 9 = -13 for h.
-2
Let v(t) = -4*t**2 + 0 - 3*t - 2*t + t**3 + 3 + 2. Let c be v(5). Solve -5*p + 33 = -2*w, 1 - 41 = -4*p + c*w for p.
5
Let c = 4 - 0. Suppose -x = 5*w - 20, 3*x = -2*x + w - c. Solve 3*b + 1 = 3*n - 2, x = 4*b + 5*n - 41 for b.
4
Suppose 3*z = -18 - 3. Let f be z/14*0/(-1). Solve -4*u + 5*s + 2 = 6, 4*u - 4*s + 4 = f for u.
-1
Let i(t) be the first derivative of -t**2 - 7*t + 3. Let u be i(-6). Solve -5*w = 4*v - 2*v - 12, 0 = u*w + 3*v - 8 for w.
4
Let z(i) = 4*i - 2*i - 5*i + i - 4. Let t be z(-5). Let p(l) = -l**2 - 7*l + 3. Let g be p(-7). Solve -t = -3*h, -4*d + g*h - 6 = d for d.
0
Suppose 5*l - 12 = 18. Let m = -5 + 7. Suppose 0*d - m*d = -4. Solve 2*j - d*q = 8, -j + 2*q = 3*q + l for j.
-1
Suppose -5*o + 10 = -15. Suppose d + 2*k - 7 = 0, o = -d + k + k. Let q(v) = 11*v - 1. Let f be q(d). Solve -5*p - 4*l + f = -9*l, -2*l - 8 = 2*p for p.
-1
Suppose 3 + 3 = 2*p. Let c be ((-12)/(-8))/(1/8). Suppose y + 2*y - c = 0. Solve z - 2*v + y = -z, 2*z = -p*v - 19 for z.
-5
Let s be 110/35 - 2/14. Solve -i = j + 4, s*i + j = 4*j for i.
-2
Let o(f) = -11*f - 6. Let s(c) = -5*c - 3. Let d(t) = -6*o(t) + 13*s(t). Let r be d(6). Solve -2*u + u + 5 = 3*i, 5*i = r*u - 1 for i.
1
Suppose b - 6 = -4. Let f(s) = 7*s - 3 - 6 - b*s + 3*s**2 - 2*s**2. Let d be f(-7). Solve -y - d*j = 3 + 7, 2*y - 8 = 4*j for y.
0
Let z(y) = -11*y - 66. Let m be z(-8). Solve 4*f - 15 = -g + 3, -4*f + g = -m for f.
5
Let m be 10/6 + 2/6. Let j = 152 - 149. Solve -5*t + m = -x - 8, -5*x - j*t = -6 for x.
0
Suppose -3*v = -2*v. Suppose 2*r - 6*r = v. Solve -m - 19 = -3*w - r*w, -2*w = -m - 14 for m.
-4
Let r(w) = 2*w**2 - 3*w. Suppose -q - 2 - 8 = -4*f, -5*q - 18 = -4*f. Let n be r(f). Let k(m) = m. Let z be k(n). Solve 2*p = 4*p - t + 5, z*p - 5 = -t for p.
0
Let z be 9 + -9 - 55*1. Let g be (-1165)/z + 4/(-22). Solve 3 - 18 = 3*o + 2*c, g = -5*o - 2*c for o.
-3
Let f = 53 - 47. Solve -6*c = 2*j - 2*c - f, -3*c = -5*j + 2 for j.
1
Suppose 0*m + 2*m - 6 = 0. Let a be (0 + 0)*(-1)/(-2). Suppose k + b - 1 = a, -k + 4 = k + b. Solve m*l = u, -7*u + 13 = -k*u + l for u.
3
Let g be ((-4)/(-8))/((-2)/24). Let t be 15/g*4/(-5). Solve -4*l + 4*v + 8 = 0, -3*l + 3 = 2*l + t*v for l.
1
Suppose -27 = -g - 2*g. Let q(w) = w**2 - 7*w - 12. Let l be q(g). Let f(r) = r - 1. Let p be f(l). Solve 0 = -p*d, 0 = -s - 4*s - d + 5 for s.
1
Let w be (-3)/2 - (-12)/(-8). Let d be (-6)/3*w/6. Solve c = -3*l - 0*c + d, -5 = -3*l - 2*c for l.
-1
Suppose -3*c + c + 4 = 0. Solve c*r + 3*u = 2, -5*r + 5*u - 33 = 3*u for r.
-5
Let h = 4 + -5. Let m = h + -6. Let t(f) = f**3 + 8*f**2 + 6*f - 5. Let n be t(m). Solve -6*p = -a - n*p + 2, 3*a + 4*p = 6 for a.
2
Let z(p) = p + 3. Let q be z(5). Let s = 33 - 21. Solve 5*c = -r + q, -4*r + 2*c = -0*r + s for r.
-2
Let z(w) = -2*w - 9. Let q be z(-7). Suppose -q*v + c + 147 = 2*c, -89 = -3*v - c. Solve -2*l = 5*m - m + 22, -4*l - v = 5*m for m.
-5
Suppose -21 = -5*i + 2*i. Suppose -i*t + 5*t = -34. Solve 4*l + t = -3*m + 2*m, 5*m + 34 = -3*l for l.
-3
Let a be ((-5)/10)/((-1)/4). Suppose 0 = 4*q - 21 - 11. Solve -3*x - 2*v = 4, x + 5*v + q = -a for x.
0
Suppose -5*u + 10 = -0. Let q be 0*(7/(-3) + u). Let p(a) = -a**3 - a + 15. Let n be p(q). Solve 2*d + d + n = -3*f, 5*d - 7 = 3*f for f.
-4
Let d = -16 + 7. Let m = d + 12. Solve 3*h = 5*c + 30, m*c - c = 2*h - 16 for h.
5
Let z be ((-18)/(-15))/((-4)/(-10)). Suppose r = -4 + 1. Let c = r + z. Solve -4*l + 4 = c, -l = -0*b + 2*b + 7 for b.
-4
Let y(z) = 3*z - 2*z + 2*z + 3*z + z**2 - 8. Let p be y(-8). Solve -3*f = -2*v + 3 - 2, -f + p = v for v.
5
Let p be (-12)/(-6) + 1 + -1. Suppose 4*n - 10 = p, 0 = f - 2*n + 3. Suppose -4*d + f*d = -2. Solve 5*m - 10 = 0, d*m - 4*m + 10 = -3*t for t.
-2
Let y(l) = -l**3 + 9*l**2 + 2. Suppose 27 = 3*s - m, 0*s - s = m - 9. Let v be y(s). Suppose -v*a = -7*a. Solve -2*r - u - 3 + 6 = a, 3*r + 2*u = 2 for r.
4
Let s(d) = 2*d**2 - 6*d + 3. Let a be s(4). Solve 4*p = 5*j + 11, -j + 3*p = -0*j + a for j.
1
Let k(d) = d**2 + 4*d - 3. Let f be k(-5). Solve -4*r + 5*o + 25 = 0, 12 = f*r + o + 3 for r.
5
Suppose -2 = -2*v - 5*n - 10, -n = 4. Let j = 6 - v. Let p = 5 + j. Solve p*d + b - 2 - 12 = 0, -d + 2*b = -5 for d.
3
Let c(t) = -t**3 - 5*t**2 + t + 7. Let x be c(-5). Let u(g) = 2*g**2 - 4*g**2 + 3*g**2 - 3*g. Let i be u(5). Solve m + x*m - i = f, 4*m = 5*f - 5 for m.
5
Let d = -17 + 17. Solve -4*z + 3*z - 4*q - 1 = 0, d = -3*z + q + 10 for z.
3
Suppose -2*y + 4*l = 3*y - 15, -3*y + 3*l = -9. Let n = y + -1. Solve -3*i - n*h - 2 = -4*h, i = -2*h - 14 for i.
-4
Suppose 2*h - 14 = -0*h. Let c = 13 - h. Solve -2*w + c*w - a = 11, 0 = 4*w - 2*a - 10 for w.
3
Let n = -10 - -14. Let y(q) = q**3 - 8*q**2 + 7*q - 2. Let p be y(7). Let g be ((-10)/4)/(1/p). Solve -n*l + 6 = -g*j + 2, -3*j = 12 for l.
-4
Let x be 4/12 - (-94)/6. Solve 12 = -3*v, 5*k + v + x = 2 for k.
-2
Let b(g) = g - 9. 