- 19, 5*g + 40 = -3*n - 2*n for g.
-3
Let m(c) = -c**3 + 27*c**2 - 91*c - 17. Let r be m(23). Solve -5*g = -2*g + r, 4 = -f - g for f.
-2
Suppose -4*o - 70 = -90. Suppose -o = -n, -2*l - 4 = -5*n + 21. Solve -3 = -4*g - r, 5*g + l*r - 4*r = 30 for g.
2
Suppose 2*n + 16 = 3*i, -2*i + 2*n = 6*n + 16. Suppose 15 = -i*p + 5*p. Solve d + d - q = 0, 3*d + q = p for d.
1
Let f(a) = 2*a**2 - 4*a + 10. Let x(j) = -3*j. Let n be x(-1). Let l be f(n). Solve -4*p + 28 = -3*g, -3*p + l = 3*g - 4*g for p.
4
Let b(o) = -o**3 + 12*o**2 - 25*o - 10. Let j be b(9). Solve -2*c + 4*z = -14, -4*z = -j*c + 9*c - 1 for c.
5
Let v = -1 + 4. Suppose 2*g - 23 = -l + g, 0 = -3*g + v. Suppose 19*p = -3*p + 352. Solve 5*x + l = 4*n, -2*x + n + 3*n = p for x.
-2
Let a = -764 - -769. Solve -2*n = -7*z + 3*z - 24, 31 = -a*z + 3*n for z.
-5
Let f = 343 - 339. Solve -d - 8 = -u, 2*d = f*u - d - 27 for u.
3
Let v = -17 + 29. Suppose -9*x = -6*x - v. Suppose 0 = -2*k - 0*k. Solve 4*n + 0*n - 5*b = -3, -4*n + x*b = k for n.
3
Suppose -c = 8*c - 333. Suppose -37 = -5*b - c. Solve b = 4*x, 2*x + 9 + 3 = -3*p for p.
-4
Let h(c) = c - 2. Let p be h(2). Suppose 48*z = 54*z - 60. Suppose 2*n - z + 6 = p. Solve 0 = -5*i - a + 15, -n*i = -0*i + a - 3 for i.
4
Let d(f) = 6*f + 6. Let u be d(-1). Let v be (u*(-1)/(-2))/1. Solve v = -3*l + 3*o - 24, -5*l - o + 11 = 33 for l.
-5
Let i(j) = -2*j**2 + 25*j - 25. Let a be i(10). Solve -x + a = d + 4*x, 5*x - 20 = 0 for d.
5
Let g(b) = -19*b - 590. Let r be g(-32). Solve 0 = -5*l - 2*a - r, 3*l = a + 3*a - 16 for l.
-4
Suppose -6*o + 8*o - 5*a = -14, -3*o - 5*a = -29. Solve v = -3*h - 11, 0*h + o*h + 10 = -2*v for h.
-4
Let p be -4 + 1/5 + 290/50. Solve 2*y = -2*m - 28 + 12, p*y - 4*m = 14 for y.
-3
Let m be ((-18)/(-4))/((-3)/(-12)). Let o(i) = -8*i - 2. Let y be o(2). Let h = m + y. Solve h = -3*d + 2*q + 5, -3*d - d - q + 3 = 0 for d.
1
Suppose -24 = 8*q - 7*q. Let i = q - -24. Solve -5*n + s - 3*s - 28 = i, 5*n + s + 24 = 0 for n.
-4
Let g be 6/(-12) - 2*(-38)/8. Suppose -5*k - 5*u + 4 = g, -k = -4*u - 19. Solve k*d + 9 = 3*s, -3*s - 23 = d + 4*d for s.
-1
Let x = 832 + -829. Solve -2*h - 6 = -i + x, -4*h = -i + 13 for h.
-2
Suppose -6*d = -473 + 155. Let k = d + -48. Solve 0*y - k*w = -2*y - 26, -w - 8 = 4*y for y.
-3
Let p be 1*(4/16 - (-15)/4). Let j be (-1)/p*(-14 - 14). Solve -3*w - t = -0*w - 16, 3*t = 2*w - j for w.
5
Let i(s) = -5*s + 6. Let j(n) = 6*n - 7. Let z(y) = 7*i(y) + 6*j(y). Let t be z(9). Let x = -5 + t. Solve -3*p - 23 = -x*v, -5*p - 1 = -v + 9 for v.
5
Suppose -2*b = -4*b + 8. Suppose 4*o + 4*g - 76 = 0, -4*o + g = -28 - 33. Suppose o*c - 19*c = 0. Solve c = -0*n - 2*n + 8, -5*n = b*s - 28 for s.
2
Let t = -18 - -20. Suppose 4*m + 3*x - 17 = -3, x - 8 = -t*m. Solve -m*k - 15 - 15 = -3*y, y - 5*k - 20 = 0 for y.
5
Suppose 0 = -4*a - 5*f + 10, 4*f + 92 = 84. Solve -2*b = 10*x - a*x + 12, -x = b + 3 for x.
-2
Let l = 46 - 42. Suppose -4 - l = -4*z. Solve -6*y = -3*y - z*j - 6, -6 = -2*j for y.
4
Let c(m) = -m**2 - m + 2. Let n(r) = 3*r + 11. Let o be n(-5). Let w be 1/(-2 + (-6)/o). Let z be c(w). Solve 3*j = 3*u + 15, -u = j - z*j + 5 for u.
-5
Let y(o) = -o**3 - 2*o**2 + o + 4. Let j be y(-1). Suppose 0*c - 3*b + 36 = 3*c, 5*c + b - 72 = 0. Solve 7*r - 4*q = j*r - 15, -c = 5*r - 5*q for r.
-3
Let y be (6/18)/(2/12). Suppose 0 = -5*q + y*q - 3*x + 12, 0 = 5*q + 3*x - 16. Solve 19 = 5*n + 5*w - q*w, 4*n - 20 = -4*w for n.
2
Let g(s) = -s**3 - 2*s**2 + 21*s + 7. Let f be g(3). Solve 2*h + f - 10 = 5*t, -4*t - 5*h = 21 for t.
1
Suppose -4*h - 81 = -4*t + 11, 61 = 5*t + 4*h. Suppose 4*s - 3*j = 4, s = 5*s + 4*j - 32. Solve -4*i = -3*i - s*z - 11, -3*i = -4*z - t for i.
3
Let o = -12 + 12. Suppose -v = -3*x + v - 4, 4*x - 5*v + 17 = o. Let w(j) = -2*j - 36. Let r be w(-20). Solve -4*d + 20 = 0, 0*g - r*d + 12 = x*g for g.
-4
Let n be ((-4)/(5 + -1))/(-1). Let g be n/(3 - 46/16). Suppose -g = -5*v + 17. Solve 0 = k - 5 - 0, -v*x = k for x.
-1
Let m = 3 + 1. Let o be (-6)/(-15) - (-12)/20. Let r = m + o. Solve 3*f + 0*f + r*i + 17 = 0, 4*i + 20 = 4*f for f.
1
Suppose -5*x - z + 26 = 0, -57*z + 56*z = -2*x + 16. Solve -2*o - 31 = 5*k, 3*o - k - x = 2*k for o.
-3
Let c be (-6)/(((-18)/(-4))/(-3)). Let h(f) = f**3 + 4*f**2 - 11*f + 2. Let j be h(0). Solve 0 = j*g - 4*i + 12, 0 = -2*g + c*i + i - 16 for g.
2
Let d(z) = 2*z + 1. Let w be d(4). Suppose 2*x + 3 = w. Suppose -2*s - 2 = -3*s. Solve -x*n - 11 = -0*q + s*q, 14 = -4*n - 3*q for n.
-5
Let i be (-1)/(-8*(-5)/50)*-4. Solve -3*n = 4*q + 9, -i*n + q - 2*q = -2 for n.
1
Suppose -5*x + 6 = 1. Let b be x/(2 - 75/39). Suppose 3*q = 4*q - b. Solve -5*g - 18 - 7 = -5*a, 5*g - 2*a + q = 0 for g.
-1
Let o = -17 + 32. Let u = o + -11. Solve 0 = -5*r + j + 15, 4*r + u*j - 45 = -9 for r.
4
Suppose 0 = -5*g + 8*g - 9. Solve 3*w = -g*m + 4*w - 9, 4*m = -w - 19 for m.
-4
Let g(l) = -l - 22. Let n be g(-26). Suppose 1 = -3*b - 0*b - n*c, 4 = 5*b + c. Solve 0 = r - o + b, 0 = -5*r - o + 4*o + 1 for r.
2
Let v = 132 + -130. Solve 5*r - 4 = 4*u + v, 2*u + r + 10 = 0 for u.
-4
Let c = 56 - 52. Suppose 0 = x - 4*b - c, 2*x - 3*b + 8 = 4*x. Solve 5*l + v - 2 = x*l, 3*v - 8 = -2*l for l.
-2
Suppose 0 = 18*b - 26*b + 16. Solve -4*n - n + 5 = 5*a, 2*a + 18 = b*n for n.
5
Let h be ((-10)/14)/(13/(-91)). Let g be -1 + (-4 - -1)/(-3). Let d = 11 - g. Solve 18 = 2*w - 4*y, -d = -w - 2*y + h*y for w.
5
Let s be 99/15 + 15/(-25). Suppose y = s*y - 25. Suppose -32 = -7*a + 3*a - y*r, a = 2*r - 5. Solve t + 2*h = -t, 4*t - 14 = a*h for t.
2
Let p(t) = -t**3 - 13*t**2 + 13*t - 7. Let g be p(-14). Solve 5*i - 29 = h + 2*h, g = -2*i - 5*h for i.
4
Suppose 2*f = 13 - 5. Suppose -3 + 15 = 3*w. Suppose w*s - 4*o = -o - 15, 25 = -s + 5*o. Solve 5*j - f*g + 2*g - 1 = s, -j = -2*g + 3 for j.
1
Let z(s) = -s**3 + 2*s**2 + 3*s + 3. Let b be z(3). Suppose -b*p - 3 - 3 = 0. Let n be 1 + (1 + p)*1. Solve n = 5*x, -3*o = -2*o - 3*x - 5 for o.
5
Let j = 10475 - 10472. Let l = 16 - 6. Solve 0 = -j*y + 4*b + 2, 3*y = -6*b + 2*b + l for y.
2
Let d = 250 + -246. Solve -5*y + 8 = -y, -d*y = -5*h + 7 for h.
3
Let a(n) = -10*n**3 - n**2 + 2*n - 1. Let b(q) = -q + 13. Let z be b(12). Let y be a(z). Let k = 15 + y. Solve 0 = -k*j - 2*r + 16, -2*j = 3*j - 2*r - 24 for j.
4
Let t(l) = -3 + 2 - 4*l**2 - 3*l - 2*l**3 + 3*l**3. Let i be t(5). Solve 3*z + n - 2*n = i, 5*z - 2*n - 14 = 0 for z.
4
Let u = 95 + -4. Suppose 3*y + 16 - u = -5*l, -4*y - 3*l = -111. Solve -3*k - 2*k + y = -o, -2*k = -5*o - 35 for o.
-5
Suppose -4*s = 20, 0 = -2*z + 6*s - 8*s - 2. Solve 0 = c + 4, -t - z*t - c = -1 for t.
1
Let f(t) = -6*t. Let q be f(0). Suppose 7*y + q*y - 112 = 0. Solve 5*v = -g - 3 + 19, -y = -4*v for g.
-4
Let g(d) = -9*d + 6. Let n be g(-4). Suppose 2*w + n = 52. Solve -5*y = 5*s - 25, 2*y - 4*s + w = 3*y for y.
5
Let v be -10*(-15)/(-6)*7/(-7). Solve 5*g - v = -m, -3*g + 4 = -2*g for m.
5
Let a(h) = -h**3 + h**2 + 4*h + 4. Let b be a(-1). Solve -b*k + 3*m + 9 = 0, -10 = -m + 3*m for k.
-3
Let w = -49 + 9. Let i = 40 + w. Solve 8 = k - i*k - 3*h, -k + 5*h + 12 = 0 for k.
2
Let s(j) = 2*j + 31. Let m = -8 - 6. Let x be s(m). Solve d + 3*y = -0*d + 10, x*d + 5 = -2*y for d.
-5
Let u be (-11)/(-154)*7 + 34/4. Solve 3*r + r + 5*i = u, 2*i = 5*r + 30 for r.
-4
Suppose 3*s + 4*r - 57 = 0, -5*s - 2*r + 130 = -7*r. Suppose 0 = s*c - 21*c - 4. Solve 2*f - 24 = 3*v - 3*f, c*v = 2*f - 12 for v.
-3
Let g(o) = -o**2 + 6*o - 1. Let n be g(5). Let x(y) = 2*y**2 - 10*y + 3. Let v be x(5). Solve -3*b - n*p = -v - 3, 5*p = 2*b - 4 for b.
2
Let b(n) = 2*n + 2*n**2 - n**2 - 8*n - 7. Let p be (-118)/118*(-7 + 0). Let c be b(p). Solve -f + 4*q = -2*f + 19, c = 5*f + 3*q - 27 for f.
3
Let y be (2 + -46 + -1)*(-9)/27. Suppose q + 15 = 4*m, -y = -5*q + q + m. Solve 2*g + 2*g = 20, 0 = b + q*g - 23 for b.
-2
Let a(z) = -z**3 + z**2 + 4*z + 2. Suppose 2 = -5*c + 22. Let t be a(c). Let q be ((-160)/t)/((-2)/(-3)). Solve -5*u + 5 = -n - 2*u, 0 = n - 4*u + q for n.
4
Let x be (9/(-12))/((-35)/140). Solve 2*v + 8 = 4*s, -x*s + 9 + 0 = 0 for v.
2
Let b(x) = x**3 - 12*x**2 + 15*x + 10. Let z be b(11). Suppose 4*d + z = 13*d. Solve 0 = y + 2*y + 2*j - d, -y = -4*j + 12 for y.
0
Suppose -4*k - 11 = 157. Let w be 2*((-18)/k)/((-2)/(-7)). Solve 2*q = -i + 8, -w*i + 16 = -0*i