/(-4). Let u(y) = 6*y - t - 3*y + 5*y + 6*y**2 - y**3. Let v be u(7). Solve v*x - 6 = -a + 7, 0 = 3*x - 6 for a.
5
Let n(z) = -z**2 + 27. Let h be n(0). Suppose -2*x - 4 = 2*f - 2, -5*f + h = -3*x. Solve -p + 3 = -k - f, 2 = p + k for p.
4
Let n(s) = -s**2 + 5*s + 4. Let d be n(6). Let y(r) = -2*r. Let w be y(d). Let v = -3 + 7. Solve f + 2*q = -2*f - v, -4*f - 2*q - w = 0 for f.
0
Let h be (9 + -1)*39/12. Let d be (-1 - -1)/(5 - 4). Suppose d = 3*v - v - p, 5*v + p - 14 = 0. Solve v*s + 17 = -3*a, h = -4*a - 3*s + 2 for a.
-3
Let a(f) = -3*f - 11. Let y(u) = u + 4. Let x(q) = 6*a(q) + 17*y(q). Let t be x(-7). Let o = 11 - t. Solve -24 = -4*m - 4*r, 0 = -o*m + 3*r - 5 + 12 for m.
5
Suppose -3*v - 6 + 18 = 0. Suppose 0 = v*d - 7 - 9. Let u = 11 - 8. Solve -d*f = 20, b + 1 = -f - u for b.
1
Suppose 7 = 3*u - k, 2*u + k = -0*k + 3. Solve -3*q - i + 0 = 2, u*q + 4*i = 12 for q.
-2
Let q be 2*(-4 + 3 + 2). Solve x - 6 = q*u, -6*x + u = -x - 3 for x.
0
Let v = 28 - 25. Solve 0*n + 2*y = 3*n + 12, -v*y - 4 = n for n.
-4
Let c = -9 + 11. Solve 2*p - 8 = -3*h, -c*h = 3*h + 4*p - 16 for h.
0
Let f be -2 + 7/1 + -3. Suppose -5*i + 4*p + 54 = 0, -34 = i - f*i - 5*p. Solve -5*g + 2*r = -21 - 2, 2*g - 2*r = i for g.
3
Suppose -2*k = -z + 1, -5*k + 3 - 6 = -3*z. Solve -2*j + z = -o, 2*o + 3*o = -3*j + 21 for j.
2
Let b be ((-20)/(-6))/(6/9). Suppose -1 = b*p - 3*r - 4, -4 = 3*p + 4*r. Let l be 5*(2 - -2 - 1). Solve p = -4*a - 4*k - k - l, 0 = -3*a + 3*k + 9 for a.
0
Suppose v - 5*a + 25 = 0, -25 = 2*v - 5*a - 0. Solve -3*s + 3 = 0, -3*s + v - 5 = 2*n for n.
-4
Suppose 5*t - 2*b = 3*t - 2, -4*b = 2*t - 4. Suppose t = -4*i - 0 + 8. Suppose 1 = -3*k + 13. Solve 3*u = i*g + 8, g + k*g + 5*u = 30 for g.
2
Suppose -25 = -0*s - 5*s. Solve 5*y + s = 0, 3*t = -0*t - 5*y + 4 for t.
3
Suppose -5*b - 3 = -2*b. Let c(k) = -25*k**3 - 2*k - 1. Let j be c(b). Solve 4*f = -2*x - j, 0*f - 35 = 5*f + 3*x for f.
-4
Let b(o) = -22*o - 16. Let s(p) = -7*p - 5. Let f(m) = -3*b(m) + 10*s(m). Let d be f(-1). Solve -v - 2*g - 15 = 2*g, -4*v - 4 = d*g for v.
1
Let i be (-4)/(-2) + 3/(-2)*-2. Solve i*a - 7 = -2*l + 9, 0 = 5*a + 4*l - 12 for a.
4
Let o(q) = q - 6. Let y be o(5). Let x = -1 - y. Suppose -s - s + 8 = x. Solve 0 = 2*a - 3*d - 4, -7 - 21 = 3*a + s*d for a.
-4
Let u(j) = -j**2 - 17*j + 3. Let y be u(-17). Solve -y*n = -5*k - 4 + 5, 5 = k + n for k.
2
Suppose 20 = 5*d + 10. Solve -2*s - d*b = 8, -4*s + 2*b = -s - 3 for s.
-1
Let w = -59 - -62. Solve -h + 1 = -a, -4*a + 3*h + 2 = w for a.
2
Let a(r) = -2*r - 7. Let p be a(-5). Let d(c) = -3*c**2 + 43*c + 34. Let n be d(15). Solve 3*q - p*z + 4 = -8*z, 0 = n*q + 5*z + 2 for q.
2
Let o(a) = 2*a**3 - 2*a**2 + 5*a. Let q(f) = -5*f**3 + 4*f**2 - 11*f. Let w(j) = 13*o(j) + 6*q(j). Let x be w(-1). Solve 3*s = -z - 9, -4*z = -0*s + x*s for s.
-4
Let m = -7 - -7. Suppose 5*q - 13 - 7 = m. Solve 5*t + 3*x = -4, 0 = 3*t - 3*x + 16 - q for t.
-2
Let h(f) = f**3 + 8*f**2 - f - 8. Let v be h(-8). Suppose -5*c - 4*l = -58, -c + 2*c + 3*l - 16 = v. Solve -12 = 4*k, 0 = m - 3*k + 5*k + c for m.
-4
Let y = 5 - 1. Suppose -12 = -y*k + 20. Suppose 2 = 2*s - 8. Solve 5*n + s*o = -20, 2*o = 4*n - 2*o - k for n.
-1
Suppose 3 = -4*a - 3*l, -a + 4*l + 4 = 4*a. Suppose 2*o + 4*b = o, o + b - 6 = a. Solve o + 1 = -4*z + d, 0 = 3*z + 3*d + 18 for z.
-3
Let j = 18 + 15. Solve -5*v = 2*s - j, -3*v + s = -4*v + 9 for v.
5
Let g(w) = w + 1. Let j be g(4). Solve 0 = -4*u + 4*p, p + 1 = j for u.
4
Let g be ((-9)/(-6))/((-2)/8). Let i = g - -9. Solve 0 = -i*h - y + 8, 0 = -3*h + 2*y - 3 - 4 for h.
1
Let t = 26 - 14. Let h = t + -7. Solve 2*b - 14 = h*l, -4*b - 11 = -l + b for l.
-4
Suppose 4*c - 7 = -5*g + 23, -5*c = -3*g - 19. Solve c*z = m + 3*z - 3, -5*m + 4 = z for m.
1
Let l(f) = 6*f + 3. Let h(z) = 3*z + 1. Let b(u) = 5*h(u) - 3*l(u). Let y be b(-3). Solve -5*o + 9 = -1, -y*o + 6 = -c for c.
4
Let v be 27/9 - (0 - 4). Solve 4*i - 2*l - l + v = 0, 5*l - 17 = 4*i for i.
2
Suppose 5*z + 3*g - 26 = 0, -z - 4*g = 4*z - 28. Solve 4*r - 13 = -3*j + 3*r, -z*r + 1 = -5*j for j.
3
Let t(x) = x**2 - 5*x + 2. Let b be t(6). Suppose 5*i + b - 33 = 0. Solve i*f - 3*n + n = -30, -f = -5*n + 29 for f.
-4
Suppose 35 = 5*u - 4*r + 10, -5*u + 25 = 3*r. Suppose -2*a = -4*z + 66, 2*a = 2*z + z - 51. Solve 5*c = -5*h + z, -c + 0*c = u*h + 1 for c.
4
Let u(i) = -i**3 + 3*i**2 + 3*i + 8. Let t be u(4). Solve -5*y - 5*q = 25, 3*q - 3 - 3 = t*y for y.
-3
Suppose 5*y - 20 = 0, 44 = 4*p - 2*y + 7*y. Suppose 24 = 13*g - 12*g. Solve -5*s = -j + 17, 4*s - 3*j + g - p = 0 for s.
-3
Suppose 85 = 5*i - 5*k, 2*k - 64 = -5*i - 0*k. Solve -2*l + 3*x = i, 5*l + 0*x + 16 = -2*x for l.
-4
Let k be (-2)/8 - 30/8. Let x be (k - -3) + 2 + 1. Solve x*m - 2*d = -4*d - 10, -15 = m + 3*d for m.
0
Let g be (-2)/(-4) + (-42)/(-4). Solve -9 = 4*a - n, 2*a - g + 3 = -2*n for a.
-1
Let v(j) = 4*j - 1. Let k(u) = 7*u - 2. Let w(d) = -6*k(d) + 11*v(d). Let o be w(1). Suppose -4*y + 2*y = 0. Solve 3*z = -q - z, y = o*q - 5*z - 17 for q.
4
Let m be (7/(-14))/(2/(-48)). Suppose 7*d - 3*d - 20 = 0. Solve 5*p - 21 = 2*h - 0*p, d*h = -p - m for h.
-3
Suppose y + 3*y - 8 = 0. Solve 2*t - 2 = 3*v, y*t + 2*t - 4 = 0 for v.
0
Suppose k = 0, 12 = -3*i + i + k. Let q be 18/4*(-4)/i. Suppose -1 = -2*a + s + 9, s - 20 = -4*a. Solve -l = a*f - 7 - q, -f = 4*l + 17 for l.
-5
Let a(g) = g**2 + 5*g + 14. Let d be a(-6). Solve s = -0*s + 3*u - 13, -4*u + d = -2*s for s.
-4
Let q = 7 - 3. Suppose 2*p - q = -v - 1, 3*p + 3*v = 0. Suppose 2 = -x + k, p*x - 2*k - 19 = -4*k. Solve -2*c - 4*n = -0*n, -x*c + 20 = -4*n for c.
4
Let u(s) = 6*s**2 - 1. Let i = -6 - -2. Let v be (-6)/i*(-2)/(-3). Let m be u(v). Solve -4*o - m*f + 13 = 0, 3*o - 2*f + 9 = -10 for o.
-3
Let f be (1/5)/(1/15). Solve 3*x + f*p + 20 = -2*x, 5 = -p for x.
-1
Suppose 3*s = -3*b + 75, 115 = 5*s + b + 2*b. Solve -5*h + s = u, 0*u = -4*u - 3*h - 5 for u.
-5
Suppose -2*g - 4 = 0, g - 6*g = -2*c + 94. Suppose -2*s - c = -n + s, -5*n = 2*s - 142. Let b = -1 + 3. Solve 5*y - n = -5*p, 5*p + 5*y - b*y = 20 for p.
1
Let g = -7 + 14. Solve -3*t - 5*x = -18, -g*x = -4*x - 9 for t.
1
Let b = -18 - -28. Solve -3*j + g - b = 2*g, 4 = -g for j.
-2
Let g = 5 - -2. Let k = -7 + g. Solve z - 3 = -t - 0, k = -2*z + 2*t - 14 for z.
-2
Let q = -13 - -15. Let x = q + 1. Solve 0*a = a - c + 2, c = -x for a.
-5
Suppose -3 = -k - 4*m, 4*k - 26 = 4*m + 26. Solve -4*l = 1 + k, 2*j = 5*l + 13 for j.
-1
Let u be (-86)/(-10) + 6/(-10). Let w = u - 3. Solve 19 = -4*j - 3*l, -25 = w*j - 0*l + 5*l for j.
-4
Suppose -5*x + 0*x = -55. Let q = x + 7. Solve -3*l + q = 2*l + m, m = -2*l + 6 for l.
4
Let d(m) = m**2 + 4*m + 2. Let r be d(-5). Suppose 4*s - 8 = 4*u, -2*u + 4*s - r - 3 = 0. Let k = 1 - u. Solve 15 = -0*f + 5*f - 4*y, k = -2*f - 2*y - 12 for f.
-1
Suppose 0 = -5*s - 0*s - w + 18, 3*w = 9. Solve 3*c = -k + 19, -2*k + s*c - 12 = -c for k.
4
Let q = 6 - -12. Solve 3*r = d + 13, -2*d + 0 = -4*r + q for d.
-1
Let w(o) = o - 1. Let r be w(8). Solve -4*t = -r*t + 9, -u = -2*t + 3 for u.
3
Let w be 57/21 + 2/7. Suppose 20 = q + w*q. Solve q*z = -4*d + 1 + 29, -3*d + 17 = z for d.
5
Let m be 57/7 - 8/56. Suppose -m*b - 2 = -9*b. Solve -2*r - j - 3 = 4, 0 = 5*r - b*j + 4 for r.
-2
Let o = 17 - 9. Solve -5*w + o*x - 4*x = -4, 3*w - 5 = 5*x for w.
0
Suppose w + 2*n = 12, -4*w + 1 = 2*n - 17. Let u = 45 + -45. Let b be (-2)/(-6) + (-14)/(-3). Solve u = -5*f + 5*h + b, -3*f - 2*h = w*h - 3 for f.
1
Let z be 4 - 82/((-8)/(-4)). Let r = -21 - z. Solve -4*o - 5*s - 19 = 0, -3*o - r = o + 4*s for o.
-1
Let o be (-3 - -3) + 1 - -1. Let u be (o/(-6))/((-1)/102). Solve -3*f = 2*f - 2*a + 5, -5*a - u = 3*f for f.
-3
Let k(f) = -f**3 + 8*f**2 + 3*f + 4. Let t be k(8). Let l = 12 - 6. Solve i = -u + l, -u - 4*u + t = 4*i for u.
4
Let b = 128 + -74. Suppose 4*p = 16, -n + b = 5*p + 12. Let x = 5 + -3. Solve -3*h = c - 10, x*c + c = -5*h + n for c.
4
Let y = -5 - -10. Suppose -3*g + 3 = -9. Solve 41 = -g*i + y*k, 2*i + 0*k = k - 13 for i.
-4
Let v(l) = -l**3 + 2*l**2 + 5*l - 3. Let x be v(3). Solve 4*q + 6 = q - 2*u, 5*u = x*q + 27 for q.
-4
Let h be (1*-3)/((-6)/8). Let u(t) = -19*t - 3. Let x be u(-2). Suppose -3*n + 4*a + x = 0, -h*a = 3*n + 3 + 2. Solve d + 3*z = -n, 4*d - 3*z = -0*z - 5 for d.
-2
Suppo