 = h*i, 2*z - 3*i = -i - 16 for z.
-4
Let w(z) = 2*z - 14. Let f be w(9). Let c(g) = -10*g - 4. Let p be c(-3). Solve -4*n = -2*i - p + f, 12 = 3*n for i.
-3
Suppose 22 + 51 = d. Suppose -4*u + 52 + 6 = -3*g, d = 5*u - 4*g. Let k = -9 + u. Solve -33 = 2*c + 5*s - 0, -k*c + s - 11 = 0 for c.
-4
Let s(i) = -5*i**2 - 6 + i**2 + 0*i + 3*i**2 - 9*i. Let l be s(-7). Solve 4*t - 2*j - 12 = 0, -28 = -5*t + 4*j - l*j for t.
4
Suppose -3*d + 6*d - 9 = 0. Let h(x) = -x**3 - 7*x**2 - 8*x - 8. Let z be h(-6). Solve -d*l = 3*c + 3, -z*c - 25 = c - 5*l for c.
-3
Let c = -32 + 35. Solve 5*u = c*w + 2*w - 5, 5*w + 16 = -2*u for u.
-3
Let c be 2 - (-1 + 6/(-2) + 3). Solve 3*y - f = -y, -3*y = c*f - 15 for y.
1
Suppose -5*z - 7 + 27 = 0. Solve y + 5*w = 11, z*y = -0*y + w - 19 for y.
-4
Suppose 34 + 26 = 5*z + 5*v, -3*v - 24 = -z. Suppose 0 = 6*a - a + z. Let k be -2 + 3 + (-6)/a. Solve k*d = 2*i + 17, 3*d - 12 = i - 4*i for d.
5
Let w = 51 + -47. Solve -2*i + 3 = -k, 5*k = -w*i - i + 15 for k.
1
Let x(m) = m**3 + 5*m**2 + 2*m - 4. Let h = -6 - -2. Let t be x(h). Suppose -t = -n, c = -2*c - 4*n + 46. Solve 6*k = k + 3*a - c, -k - 5*a - 30 = 0 for k.
-5
Suppose 0 = 10*f + 3*f - 39. Solve -f*z - 1 = 4*g + 5, 3*g = 5*z - 19 for z.
2
Let j(x) = x**3 + x**2 + x + 5. Let z be j(0). Suppose 10 = 5*l - z. Suppose -4*y + 25 + 87 = 0. Solve -6*s + l*w = -s + 2, -5*w = 4*s - y for s.
2
Let u(b) = -b**3 + 5*b**2 - 4*b + 2. Let i be u(4). Suppose 0 = -11*d + 6*d. Suppose q - 3 = -d. Solve q*y - 7 = 2*j, 3*y - 3*j - i*j + 5 = 0 for y.
5
Let r be 2 - (0/3 - 3). Let i be 4/r*(4 - -1). Solve 0 = 4*a - i*w + 24, 0 = -3*a - 0*w - 2*w + 7 for a.
-1
Suppose r + 4*r + 4*m - 18 = 0, -4*r + 2 = -3*m. Let v be (0 - r)*2/(-2). Suppose -2 = g - v*g. Solve -g*a + 3*q = -14, 3*a = -q + 5*q + 19 for a.
1
Let n(i) = i**3 - 9*i**2 - 2*i + 18. Let g be n(9). Suppose 0 = -4*u + u + 15. Solve g = -2*f + 2*b, -8 = -2*f + u*b - b for f.
-4
Let g(n) = 7*n**2 - 2*n + 1. Let b be g(2). Let d be ((-6)/(-9))/(2/(-36)). Let q be ((-15)/d)/((-1)/(-4)). Solve 5*w = q*i - b, 2*i = 5*i - w - 11 for i.
3
Let z(q) = -2*q**2 - 18*q - 33. Let y be z(-6). Solve 12 = -v - y*k, -5*v - 2*k + k = 18 for v.
-3
Let u = 142 - 138. Let s(x) = x**3 - x**2 - 2*x - 1. Let f be s(3). Suppose -i + 3*j - 1 = 0, j = -3*i - 2*i + f. Solve i*a - 9 = -h, u*a - 19 = -3 for h.
1
Let p = 15 - 12. Suppose 0 = 2*h + 1 - p. Let t(l) = l**2 - 2*l + 3. Let b be t(2). Solve -a + h = -w, a - w + b = 2*a for a.
2
Suppose 0 = w - 2 - 2. Suppose 0 = 3*y + d - w, y = -y + d + 11. Solve -y*l = 4*n - 15 - 12, -5*l + 3*n + 16 = 0 for l.
5
Let z(a) = -2*a**2 + 2*a. Let s be z(-2). Suppose 8 = -4*t + 3*i - 16, -t - i = -1. Let d be t + 6 - (-1 + s). Solve -k = 4*o - 21, k = -2*o + d - 3 for o.
4
Suppose 0 = 10*i - 5*i. Solve 2*y - 3*y + 2*x = -8, -4*y + 4*x + 12 = i for y.
-2
Let q(a) = 3*a + 10. Let h be q(2). Solve -4*y = 3*u - 5*u - 8, u + 3*y - h = 0 for u.
4
Let o(w) = 4*w - 3. Let n be o(4). Let s be (-2 + 2 - 2) + n. Solve 0 = 2*b - x - s, -5*x = -x + 20 for b.
3
Let i(p) = -p**3 + 23*p**2 + 50*p + 3. Let k be i(25). Solve -3*v = f + 2*f - 18, k*v - f = 10 for v.
4
Suppose -2*t = -2, -3*x - 2*x + 1 = t. Solve 5*d - 5 = 0, -j + x*j = -4*d + 8 for j.
-4
Let k be -8 + 0/(1 - -3). Let t = 21 + -13. Let g be 30/t + 6/k. Solve -5*h + r - 12 = 0, 0 = -0*h + h - 2*r - g for h.
-3
Let t = -21 - -9. Let o be ((-3)/(-6))/((-2)/t). Solve 5 = -3*g - 5*p, 2*p + o = -5 for g.
5
Let y = 92 - 90. Solve 2*r - 2 = -y*d + 14, 0 = 5*r + 2*d - 25 for r.
3
Suppose -2*s - s + 12 = 0. Let z be (-4 - 0)*(-2)/s. Solve -3*a = 4*i + 20, -z*i - 4*a - 10 = -a for i.
-5
Suppose -2*d - 9 = -3*b, -5*d + 2*b = 4*b + 32. Let q(c) = -c**2 - 6*c + 2. Let p be q(d). Solve 0 = -a + 2*a - 5*g - 2, 3*g = -p*a + 4 for a.
2
Let h = -13 + 15. Let k be (-9 + -1)*(-1)/h. Solve -12 = k*d - o - o, d - 2*o + 4 = 0 for d.
-2
Let l be (-26)/(-7) - (-20)/70. Let v(x) = x**2 - 6*x - 6. Let c be v(7). Solve -5*n + l*j + c - 3 = 0, -4*j = 5*n + 18 for n.
-2
Let i = 3 + 2. Suppose 20 + 0 = -i*y. Let c(l) = l**2 + 4*l + 3. Let p be c(y). Solve -p*k = -5*k - 10, -4*j = k - 3 for j.
2
Let i(q) = q**3 - q + 1. Let w be i(-2). Let b = -5 - w. Solve 4*u = 2*o + 2, b = 4*u - 2*u + 5*o + 17 for u.
-1
Let p = -3 + 3. Suppose 0 = 3*g - p*g. Suppose 3*n - 3 = -g, 11 = 5*w + n. Solve 3*k - 3 = 0, w*k + 10 = 3*m - 3*k for m.
5
Suppose 0 = -c - 2 + 7. Let t = c + 1. Let o(x) = x - 2. Let n be o(t). Solve -l - 20 = -4*f - 3*l, 0 = 5*f + n*l - 25 for f.
5
Let m be 4/((-12)/(-9)) + 0. Solve -3*j - m = 3*c, -3*c - 14 = 5*j - 3 for c.
3
Suppose 0 = 5*p - 3*l, -7 = -4*p - 0*l + l. Solve 3*j = -2*o - 4 - 1, o = -p*j - 10 for o.
5
Suppose 2*t = -r + 8, -3*r + 14 - 2 = 2*t. Let c be 13/t - (-4)/6. Solve 0 = -0*n - 3*n - c*p - 22, n + 3*p + 14 = 0 for n.
1
Let a(p) = p**3 + 6*p**2 + 2*p. Let t be a(-5). Let n = -11 + t. Solve 20 = n*x + 2*u, -15 = 2*x - 5*x + u for x.
5
Let u(x) = -x**3 + x**2 + x + 2. Let m be u(0). Solve 0*a - m*a = 5*q + 10, -4*q - 8 = -2*a for a.
0
Let q = -1 - -1. Suppose -g + 2*f + 10 = q, -3*g - 2*f + 3*f + 30 = 0. Let r = 225 + -214. Solve 4*o - 28 = j - r, 0 = -2*j - 3*o + g for j.
-1
Suppose -25*g + 10 = -23*g. Solve -f + 3*f + z = 12, 23 = g*f - z for f.
5
Suppose -4*a = 5*g - 15, -4*a + 0*g = 3*g - 9. Let r be (-1 + 4 - a)/1. Solve 5*f + 25 = 5*l, l + r = -5*f + 4*f for l.
1
Let q be (-2)/(-6) + 40/(-12). Let p be (-10)/q - (-1)/(-3). Suppose 6*y + 12 = 4*i + 2*y, 3*i = -p*y + 21. Solve c = 2*s - 13, 3*c = -c - i*s for c.
-5
Suppose -3*p = 4*k + 2, 0*p = 3*p - 3*k - 12. Solve 0 = -2*u + p*g - 6, g = -4*u + 3*g - 6 for u.
0
Let s(b) = -b - 1. Let c be s(-1). Suppose -3*l = -0*t + 2*t - 27, 3*t + 3*l - 33 = c. Solve o = 3*k + 7, -t*k + k + 3*o - 9 = 0 for k.
-3
Let t be -6*(-1)/((-9)/(-12)). Let v = -5 + t. Solve -v*n = q + 2*q - 15, -3*n + 3 = -q for n.
2
Suppose 11*d - 33 = -0*d. Solve -4*m = -4*r - 12, -m - 5 = 4*r - d*r for m.
-1
Let t = -58 - -61. Solve -z + 2*f + 12 = 0, t*z + 2*f - 7*f - 31 = 0 for z.
2
Let m(v) = -4*v. Let y be m(-5). Let a = y + -14. Suppose -o - 10 = -a*o. Solve -3 = 3*k + 2*j + o, 0 = 4*k - 2*j + 16 for k.
-3
Let t be ((-12)/(-7))/((-24)/(-112)). Solve 0*v = 2*v - t, 4*v = 3*y + 1 for y.
5
Let x be -3 + 4 - (-3 + 1). Solve x*o - 4*f = 1, -3*f - 37 = -0*o + 5*o for o.
-5
Let o be (-7)/2*(-24)/42. Solve 3 = -2*n + c + o*c, -3*n - 7 = -2*c for n.
-3
Let a be (14/3)/(-7)*-6. Solve 0 = a*s + 2*x + 4 + 6, -25 = 5*x for s.
0
Let g = 56 + -132. Let j be (g/(-8))/((-3)/(-6)). Solve 0*l + 13 = -3*b - 2*l, -b + 4*l + j = 0 for b.
-1
Suppose 15*w = -2*w + 68. Solve 3*t + 16 = 2*d - 6*d, 0 = -5*t - w*d - 16 for t.
0
Let x(n) = -n**3 - 5*n**2 - 3*n + 7. Suppose 3*r + 4 = -11. Let a be x(r). Solve -2*q - 2*q + a = -l, 2*q - 5*l = 20 for q.
5
Suppose 4*q + q = -5*l + 45, 5*l - q - 27 = 0. Suppose l*n - n = 2*b - 50, 5*b - 102 = n. Solve 0*u + w - b = 4*u, -4*u + 2*w - 20 = 0 for u.
-5
Let s(r) = -r**2 + 5*r + 14. Let b be s(7). Solve b = 5*m - 25, 0*m - 3*m + 3 = -4*z for z.
3
Suppose -2*y + 2*l - 4*l = 6, 2*y - l - 3 = 0. Let k(v) = -15*v - 13. Let u be k(-1). Solve 5*n + 3 = -y*n - 4*z, -3*z - 4 = u*n for n.
1
Let m be 2/(-1 - 1)*-2. Let n be -2 - (1 - m) - -1. Solve -v = -b + v - 6, 3*b - 5*v + 17 = n for b.
-4
Suppose 4 = 2*t + 2*x, -2*x + 5*x = -9. Suppose -t*p + 2*n = -48, 2*p + 60 = 7*p - 5*n. Let u = p - 5. Solve -2*o = -u*r - 12, o + 2*o - 16 = 4*r for o.
0
Let j(z) = -z**2 + 1. Let x be j(-1). Suppose 0 = -x*k + 3*k - 15. Solve -2*n - 8 = -4*n + 4*h, k*n = -2*h - 4 for n.
0
Let g be (-82)/(-3) - 88/66. Solve 8 = i + 2*s, 2*i + 2*i + 5*s - g = 0 for i.
4
Let y = 11 - 6. Let l(k) = k**3 - 4*k**2 - 5*k + 3. Let q be l(y). Solve -j + 3 = -2, -q*v = -j - 4 for v.
3
Suppose -5*d + 35 - 10 = 0. Solve 0*f + 8 = 3*f - k, d*k - 20 = -5*f for f.
3
Suppose 3*x + 128 = 4*i, -11 = -i + 5*x + 21. Suppose y + 20 = 2*c - 3*y, 5*c = 4*y + i. Solve 2*l + 10 = 2*p, p + p - c = -4*l for p.
4
Let d = 6 - 12. Let f = -4 - d. Solve -3*p + 31 = 2*p - f*s, -p = -s - 8 for p.
5
Let u be (20/5)/(-4) + 4. Solve 4*n + u*a + 24 = 0, 2*n + 5 = a + 3 for n.
-3
Suppose -3*u + 4*u = 0. Suppose 3*s - 4*r = r - 5, u = 4*s - 4*r + 20. Let g be 4/5*s/(-4). Solve 3 + g = -h + 4*n, 1 = -h + 2*n for h.
3
Let a