e 31 = -4*x + 5*j, 2*x + 2*j + 0*j + 2 = z for x.
-4
Suppose 2*c + 36 = 4*c. Solve 4*k - 6*k + c = -3*l, 3*k - 3*l - 21 = 0 for k.
3
Let z(q) = -4*q - 51. Let g be z(-14). Solve 3*i = 9, g*i - 4 = 2*t + 15 for t.
-2
Let b(f) = f**2 - 3*f + 3. Let d be b(3). Suppose -u + d*s - 1 = 0, u + 5 = 2*u + 3*s. Solve 5*o - 23 = -u*j, -o = -2*j + 7*j for j.
-1
Let p be (-1 + 0)*(-13 + -1 + 3). Solve -5*o - p = -w - 3*w, w - 6 = -2*o for o.
1
Let p be (6/18)/((-2)/(-36)). Solve -23 = 4*z - 3*g, 3*z = z - 2*g + p for z.
-2
Suppose -2 = 2*j - 3*f - 8, 0 = -j - 2*f + 3. Suppose 23 = 5*h + j. Solve -h*u - 4 = p, 4*p + p = 4*u - 20 for u.
0
Suppose 50 = -4*q + 2. Let c = q + 16. Solve p + 4*h + 2 = 2*p, 0 = -c*h for p.
2
Let f be 1/(-2) - (-21)/2. Suppose -5*v = -f*d + 7*d - 3, 4*v + 3*d = -3. Solve s + p = -1, v*p + 7 = -s + 2*p for s.
-3
Let g = -7 - -3. Let z = g - -8. Solve 8 = z*x, -4*h + h - 3 = 3*x for h.
-3
Suppose -5*m - 15 = -10*m. Solve 3*i - 2*q - 2*q = -11, i - m*q + 12 = 0 for i.
3
Let w = 0 - 2. Let d be 2 - (-2 + w + 1). Solve -3*c = -d*i + 22, 1 = -4*c - 4*i - 7 for c.
-4
Let w(d) = -d**2 - 5*d + 11. Let n be w(-5). Let r = 14 - n. Solve 5*q - 12 = r, -4*q = 2*m - 6 for m.
-3
Suppose 3*y + 2 - 14 = 0, -3*y - 24 = -3*i. Let j = -9 + i. Solve o = -t + j - 5, -o + 5*t - 14 = 0 for o.
-4
Suppose 22 - 14 = 2*x. Solve 0 = i + m - 5, -x*m + 2 = -i - 13 for i.
1
Let w(n) = n**2 - 4. Let b be w(-3). Solve 3*k + 2*f - 11 = 0, b*k - k + 3*f - 14 = 0 for k.
5
Suppose 5*x + p = 60, -2*x = -0*p - 5*p - 24. Suppose -3 = 3*l - x. Suppose -2*v = -l*v. Solve -2*q - 7 = b, 0 = -v*q - q - 3*b - 6 for q.
-3
Let i(q) = -q**2 + 3*q + 1. Let d be i(2). Suppose 0 = d*o - 6. Suppose -w = 3*w + 2*v - 32, 5*v - 8 = o*w. Solve -w = -2*x, -3*s + x - 5*x = -12 for s.
0
Let z = 20 - 15. Solve 0 = s + s + x - z, -s + 8 = -5*x for s.
3
Let f be 10/(-3) - 4/6. Let p = -1 - -3. Let d be f + p - 6*-1. Solve 7 = 5*r + d*y, 0 = -5*r - 3*y + 9 - 0 for r.
3
Suppose 3 = -2*s + 3*s. Suppose -s*a = a. Solve 3*c = -4*j + 27, 3*c - 3*j + 6*j - 24 = a for c.
5
Let c(v) = v**2 - 10*v + 11. Suppose 5*x - 35 = -2*f + 7*f, -24 = -2*x - 3*f. Let k be c(x). Solve -5*s - 28 = -k*z, 16 = -z - 5*s - 0*s for z.
4
Let d be 4/(-2) + -3 + 2. Let j = d + 3. Solve 2*f + 2*k = -j*f - 18, k + 5 = 0 for f.
-4
Suppose -j = -4*j + 36. Suppose -3*x + 12 + j = 0. Let q = -2 - -4. Solve 4*g - 2*y + x = 0, 0*y = -q*g + 5*y + 4 for g.
-3
Let p(j) = -5*j - 46. Let h be p(-10). Solve 4*l - 2*v = -0*v - 12, 3*l - 4*v = -h for l.
-4
Suppose -23 = -5*l - g, l - 14 = -l + 2*g. Solve -j - 1 = 2*z - 0*z, 4*z = l*j - 23 for j.
3
Let i be 6 + 1 - 2 - 2. Let q(f) = f**i - 1 + 1 + 7*f**2. Let j be q(-7). Solve -4*u - m + 4 = j, 0 = -4*m + m for u.
1
Let y be (-1 - (0 - (0 - -2)))*5. Solve 2*f + 3*g + 8 = f, -y*f = -2*g - 28 for f.
4
Let r(x) = -2*x - 19. Let l be r(-12). Solve -l*c - 10 = 2*v, -3*v + c = 2*v - 2 for v.
0
Let o(m) = -m**3 + 29. Let z be o(0). Solve 0 = 3*u + 4*n + 21, 3*u - 5 + z = -5*n for u.
-3
Let i = 2 + 13. Solve -2*r + i = -5*u, 0*u - 4*r = 3*u + 35 for u.
-5
Let s(x) = -x + 8. Let i be s(6). Let w(y) = -2*y - 9. Suppose 20 = -5*m - 10. Let q be w(m). Solve 0 = -r - 5*t - 15, 19 = q*r + i*t - 3*t for r.
5
Let v(z) = -6*z**3 + z**2 - 2*z + 1. Let j be v(1). Let t be (-4)/j*(6 - 3). Suppose -8 = -3*a - 2. Solve 4*q + 12 = 5*f, a*f + t*q = -5 - 1 for f.
0
Suppose -2*x + 0 = 5*m + 3, -8 = 2*x. Solve 5*l - 3 = l - 5*k, -m = 2*l + 5*k for l.
2
Suppose -16*j + 5 = -11*j. Solve -m + j = 5*c - 14, 6 = 2*c for m.
0
Let d(v) = -3*v**3 + 2*v**2 - v**3 - 4*v**3 + 2*v + 7*v**3 - 1. Let c be d(2). Solve 0*o = -2*h - o + c, 2*h + 4*o - 18 = 0 for h.
-1
Suppose -p + 3 + 0 = 0. Let n be 6/(-4)*4/(-3). Suppose n*j - 6 = -j. Solve 8 = x - p*o + 22, -2*o - 4 = j*x for x.
-5
Suppose 10*j - 12*j + 10 = 0. Solve 5*c - j = 0, 13 = -4*x - 4*c + c for x.
-4
Suppose 3*x - x - 5*g = 45, -2*x + 42 = -2*g. Suppose -2*p + c = -x, -3*c = 5*p + c - 76. Solve -y = 4*w - w - 4, 3*y = -2*w + p for w.
0
Suppose 5*x - 19 - 6 = 0. Let p(r) = r - 3. Let v be p(x). Solve -2*w - 31 = -2*y + 7*y, 5*y = v*w - 19 for w.
-3
Let f be -1 - (-8 - (-2)/1). Suppose 3*w + 6 = f*w. Solve 0 = -h - 2*j + 3, -2*h + 5*j - 15 + w = 0 for h.
-1
Suppose -2 - 1 = -k. Suppose 0*f - 3*f = -k. Solve -4*g + 2*m - f + 7 = 0, -3*g + 6 = -2*m for g.
0
Let z = -1 + 1. Suppose -c = 3*h - 2*h - 16, z = -3*c - 9. Solve -5*g = q + 7, -3*q + 0*q + 5*g + h = 0 for q.
3
Suppose -s + 2 = -0*s. Suppose 6*f - s*f - 8 = 0. Let x = f + 2. Solve -2*t + 4*c + x = 7*c, -3*t = -5*c - 25 for t.
5
Let h(x) = -x**2 - 7*x - 6. Let q be h(-4). Let w be 80/12*(-6)/(-4). Let o be (-3)/(q*(-1)/w). Solve o*d = 4*l + 35, 0*d + 2*d - 4*l = 26 for d.
3
Let f(p) = 3*p**3 - 1. Let g be f(1). Let v be (9/(-6))/(g/(-4)). Solve -d = v*j + d + 1, -4*j = 2*d + 4 for j.
-3
Let x(i) = -2*i + 1. Let z be x(-2). Solve 2*o - 4*a = 16, 5 = -o + z*a + 19 for o.
4
Let m = -8 - 1. Let x = m + 15. Solve 0 = q + 3*d - x*d - 8, 3*d = -4*q + 2 for q.
2
Let f(p) = -p + 1. Let b be f(-2). Let j be -12*(-1*3)/b. Let z(u) = u + 12. Let x be z(-9). Solve -j = x*t + 3*v, -t + 2*v = -6*t - 11 for t.
-1
Suppose -4*u = -3*d + 4 - 8, 0 = 5*d - 2*u + 2. Solve -4*p + 11 = -3*c, -5*p + 3*c + c + 13 = d for p.
5
Let i(f) = -9*f. Let g be i(-1). Let t be g/6 + (-2)/(-4). Solve 0 = -4*b - t*n + n + 2, 2*n - 4 = 0 for b.
0
Let n(m) = -m**3 + 6*m**2 + 2*m - 7. Let w be n(6). Suppose -w*h - v = -6*v - 5, -2*v = -4. Let i = 10 - 5. Solve i = -2*y + 2*z - h*z, -3 = -z for y.
-4
Let a(k) = -k + 1. Let y be a(-3). Let r = 22 + -20. Suppose -8 = -2*q - v, 2*q = -r*v + 1 + 5. Solve 0 = -3*f - 9, y*c - c - q*f - 9 = 0 for c.
-2
Let w = 1 + 2. Suppose w = l + 1. Solve 0 = -4*p + 2*i - l, -5*p + 2*i - 1 = i for p.
0
Suppose -2*k - 28 = -0*k + p, 16 = -4*p. Let h be k/8*20/(-3). Solve x - 4 = -5*r + 2, -2*x + r = h for x.
-4
Let l(m) = m**2 - 6*m - 4. Let s be l(7). Let o = s + -1. Solve 5*x - n + 32 = -4*n, -o*n = -4*x - 8 for x.
-4
Let t = 1 - 1. Let x(f) = f**2 - 14*f + 11. Let a be x(13). Let w = t - a. Solve 17 = 5*j + 3*n, -3*j - 3 = 2*j - w*n for j.
1
Let y(h) = h + 15. Let n be y(-12). Solve -1 = 3*o + j, -o + n*o - 4*j = -10 for o.
-1
Let v be (-3 - (-2 - 1))/(-2). Solve 0 = -4*b - 5*d - 22, -2*d = b - v*b + 7 for b.
-3
Let k be (-93)/(-9) + (-2)/(-3). Suppose 5*x = -3*i - 0*i - 16, -10 = -5*i - x. Solve 4*q = 8, -k = i*b - 4*b - 3*q for b.
5
Let m be (1 - 2) + -8 + 8. Let h = m + 4. Suppose -5*o - 2*v + 4*v = -26, 0 = -h*o - 4*v. Solve 4*n - c = -6, -o*n - 3*c = 2*c + 18 for n.
-2
Let o(p) = p**2 - 3*p - 6. Suppose -37 = v - 5*t, -5*v - 7*t + 2*t - 35 = 0. Let w = -7 - v. Let j be o(w). Solve 3*f - 9 = c - 26, 2*c + 6 = -j*f for f.
-4
Let o(i) = i - 1. Let h be o(5). Solve 2*p - 5*b = 5*p - 12, 4*p + h*b - 8 = 0 for p.
-1
Let f(b) = 2*b + 17. Let u be f(-7). Solve 4*l = -3*i - 17, -2*i + u - 1 = -4*l for l.
-2
Suppose 3 = -0*u + u. Solve -16 = -d - 4*g, -3*d + 0*g - u*g + 12 = 0 for d.
0
Let h be (-8)/10*(-2 + -8). Let q = -5 + h. Suppose 0 = q*u + 2*u. Solve 11 = 3*f - 2*c, u = 6*f - f + 3*c + 7 for f.
1
Suppose 0*o - 32 = 4*w + 2*o, -3*w - 19 = 4*o. Let j be w/3*4*-1. Suppose -3*c + 3 = -j. Solve 5*q + c*u - 5 = 0, 3*q - 3 = u - 2*u for q.
1
Let k be (-3)/(((-2)/(-1))/(-2)). Suppose -k + 1 = -l. Suppose 0 = 4*h - 8*h + 12. Solve -h*x = -4*m + m - 6, -3*x + 5*m + l = 0 for x.
4
Let q = 3 - -2. Suppose q*f - 84 = f. Solve 2*s + 29 = 5*c, 4*c + c + 2*s = f for c.
5
Let m = -180 + 182. Solve 0*n = -n + f + 2, -m*n - 20 = 4*f for n.
-2
Let j(o) = o**2 + 2*o - 3. Let s be j(-4). Suppose 2*u = s*u - 3*l + 3, 3*l + 1 = 4*u. Solve -f + 3 = -3*x - u*f, 3*f - 5 = x for x.
-2
Let k(j) = 2*j. Let q be 2 + 4/(-2) - -1. Let a be k(q). Solve -a*w + 3*y = w - 6, 5*w + y + 20 = 0 for w.
-3
Let v be 14 - (2 - (-1 + 1)). Let m(b) = 2*b - 6. Let h be m(v). Solve -4 = 3*g + 5*p, 3*g - 3*p - h = -6 for g.
2
Let n(h) = h**3 - 9*h**2 + 8*h + 8. Let p be n(8). Let r = p + -7. Solve i - m = -3, 5*m - 11 - r = 2*i for i.
-1
Let n be 1 + -4 + 6 - -2. Solve 2*g = 5*d - 10, -n*d + 2*d + 6 = -g for g.
0
Suppose 3*j = 6*j - 12. Suppose -2*y = -j + 2, 2*y = 3*c - 16. Solve 0 = 3*m - c*m + 2*n - 20, -3*m + 5*n - 32 = 0 for m.
-4
Let n(b) = -7*b - 13. Let g be n(-3).