 + 0*(-2)/4. Suppose k + 0 - u = 0. Solve -k*c + c - 3*x + 7 = 0, 3*c - 3 = -3*x for c.
4
Let n = 29 - 29. Let t be -3*(-2 + 3 + -2). Solve k = -x + t, k + 2*x - 6 = -n*k for k.
0
Let m = -43 + 43. Solve 0*t + t = 2*f, m = 2*f - 4*t - 12 for f.
-2
Let v(j) = -j**3 + 9*j**2 + 9*j + 13. Let m be v(10). Solve -3*t - 1 - 14 = m*c, 5 = 3*c - t for c.
0
Let u be (3 - 2) + 2/2. Solve a = -u*h - 3*a - 4, -a = 4*h + 8 for h.
-2
Let s = -4 + 6. Suppose a = -0*a. Solve a = 3*q + s*p + 25, -q + 2*p - 5 = 2*q for q.
-5
Let s(l) = l**3 + 2 - 2 - l + 0. Let q be s(0). Solve q = 5*u - m + 5, -m - 5 = -5*u - 2*m for u.
0
Let l(i) = i**2 - i - 6. Let c be l(3). Solve 2*n + n - t + 4 = c, 0 = -4*n + t - 5 for n.
-1
Let a = -3 - -1. Let y be ((-1)/(-3))/(a/(-30)). Suppose -13 = -y*d + 2. Solve -2*w - 3 = w + 2*j, 0 = d*j for w.
-1
Suppose 0 = -r - 2 + 5. Suppose -103 = -4*d + r*g - 2*g, 5*d - 4*g - 126 = 0. Solve 22 - 6 = 3*h + 5*s, -4*s = -2*h - d for h.
-3
Let c(n) = -6*n + 44. Let g be c(5). Solve 0 = 4*r - 2*u - g, -7 - 6 = -4*r + 3*u for r.
4
Let q(z) = -z + 1. Let a be (-1 - 7)*3/6. Let h(l) = 3*l - 15. Let o(x) = a*q(x) - h(x). Let d be o(-7). Solve 5*k + 5*w + 10 = 0, -k + d*w = k + 4 for k.
-2
Let u be (-2)/8 - (-84)/16. Solve 8*h = 5*h + 2*b - 1, -13 = -3*h - u*b for h.
1
Suppose 0 = -5*t + 6 + 84. Solve -12 = -3*d, 0 = 5*m - 0*d + 2*d - t for m.
2
Let l(y) = -y**3 - 9*y**2 + 12*y + 7. Let v be l(-10). Let r = -9 - v. Solve -5*h + 18 + 14 = -r*x, 0 = -x - 2*h + 5 for x.
-3
Let g = -94 - -101. Solve 4*l - a - 10 = -3*a, -2*l + g = 3*a for l.
2
Let c(z) = 1. Let m(b) = -b - 5. Let i(a) = -20*c(a) - 4*m(a). Let d be i(3). Solve -7 + 1 = -3*u + 5*r, -u + 5*r = -d for u.
-3
Let c = 6 - 1. Solve q - p + 8 = p, -c*q = p + 18 for q.
-4
Let x = -36 + 38. Solve -o - x*c - c = -4, -o + 10 = 5*c for o.
-5
Let q be 3 + 13 + (-2 - -3). Let g = q + -17. Solve -2*y + 4 = 4*h, y - 5*h - 1 - 8 = g for y.
4
Let w(f) = 5*f**3 + f**2 - f. Let y be w(1). Solve 16 = -y*a - o, a + 3*o - 2 = 6 for a.
-4
Suppose 8*k = -2*k + 500. Solve 5*q - k = 5*g, -2*g + 8 - 3 = 3*q for q.
5
Suppose p + 2*p + p = 0. Solve 5*z - 2*n = -p*n + 16, 2*z - 4*n - 16 = 0 for z.
2
Suppose 6 = 3*a, -a + 11 = r + 3*a. Suppose -2*l = -1 - r. Solve -l*g = -5*g - 4*c - 18, -2*c - 16 = 5*g for g.
-2
Let a(i) = -i**2 + 14*i - 40. Let c be a(5). Solve 0 = -c*h + 4*l - 7*l - 9, -5*l = -h + 15 for h.
0
Suppose 109 = 5*x + 4*j, -x - 19 = -2*x + 2*j. Suppose 0 = b + 4 - x. Solve -3*u + 0*u = -2*m + 7, -3*m - 2*u = -b for m.
5
Suppose 16*z - 2 = 14*z. Solve -3*y + z = -f + 4, -2*f - 2*y = 2 for f.
0
Suppose i = 73 - 43. Solve -3*d + d = 4*o + 6, -5*d = -5*o - i for d.
3
Suppose 0 = 2*z - 6*z. Solve -3*f - 5*p + 4 = z, -3*p + 9 + 0 = 4*f for f.
3
Let i be (-1)/(-4)*0*-1. Solve i = 2*k - 4*t - 18, 2*k - t - 2 = 4*k for k.
1
Let l = -13 + 18. Let o(z) = -z**3 - 2*z**2 - z + 3. Let x be o(-3). Let n = 16 + -3. Solve -5*i = n + 12, -l*p - x = -2*i for p.
-5
Let p(t) = t**3 + t**2 + 2*t + 2. Let l be (-1 - -1)/(-2 + 3). Let v be p(l). Solve v*g = -0*g - 3*z - 10, 3*z - 20 = 4*g for g.
-5
Let n be ((-15)/(-1))/((-30)/(-100)). Suppose 2*w + 3*w = n. Solve -4*g - 2*z + w - 4 = 0, -g - z = 1 for g.
4
Suppose 2*w = 3 + 1. Suppose -1 + 37 = 2*y. Suppose 0 = -4*t + 7*t - y. Solve t*h - h = w*c + 20, 8 = -h - 2*c for h.
2
Suppose 0*i - 6 = -3*i. Suppose -2*z - i = h, -5*h = -0*z - 4*z + 24. Let w = h + 6. Solve -3*t = -m - 7, 2*m - w*t - 5 = -3 for m.
5
Let h be (4/(-2))/((-4)/6). Let a(n) = 11*n**3 - 2*n + 1. Let t be a(1). Suppose 8*w - 70 = 6*w. Solve 3*f + w = 2*r - 2*f, -h*r + t = f for r.
5
Suppose -2*l = -30 - 18. Let u(w) = -w - 6. Let c be u(-6). Solve c = 4*z - 4*p - l, 3*z + z + 3*p = 10 for z.
4
Let j = -5 + 7. Solve r - c + 1 = 0, j*c - 2 = 4*r - c for r.
1
Let h(i) = 2*i**2 + 7*i - 1. Suppose -3*v - 11 = 4. Let m be h(v). Solve 3*x + m = -0*y + y, 0 = -4*y + 2*x + 26 for y.
5
Suppose 2*p - 6*p - 20 = 0, w + 4*p + 16 = 0. Solve w*n + 5*v + 30 = 0, -n - 14 = n + 2*v for n.
-5
Let o(a) = 0*a - 4 - 2*a + 5*a - a**2 + 0. Let u be o(3). Let p = -2 - u. Solve -5*g - 2*b = 5, g - p*b - 1 = 2*g for g.
-1
Let x be (-2 - 10/(-4))*24. Let k be (8/(-6))/((-8)/x). Let s be ((-6)/10)/(-6 - 238/(-40)). Solve -2*g = -k*j + 4 - 0, -g - 4*j = s for g.
-4
Suppose -g = 0, -2*g - 21 = -h - 0*h. Solve -2*f = -2*i, -2*f - 7*i + 2*i - h = 0 for f.
-3
Suppose 2*l = 5*x - 34, x + 0*l + 3*l - 17 = 0. Solve 0 = -3*j - 4*o + 19, 4*j - 8*j - o = -x for j.
1
Let s(l) be the first derivative of -l**2/2 - 6*l - 2. Let j be s(-7). Solve 0 = -d + 2*v - 5*v - j, 2*v - 18 = 4*d for d.
-4
Suppose o = 6*o. Let i be 1*2*12/(-8). Let p be -5*1*(i + 2). Solve -4*b + p*x - 7 = -o*x, -b - 2*x = 5 for b.
-3
Let u = 10 - 5. Solve -u*m + 4*a + 14 - 1 = 0, 0 = 2*a - 6 for m.
5
Suppose 4*n - 9 = -3*h + 3*n, -2*h - 4*n - 4 = 0. Let z be h/6 + 4/(-6). Solve -5*o + z*o = p - 12, 6 = 3*o + p for o.
3
Let g be (-2)/3 - 4/(-6). Suppose -4*t + 2*t + 4 = g. Let s be ((-1)/t)/(1/(-6)). Solve -3*f = f - 5*d - 15, -s*f - 2*d = -17 for f.
5
Let l be 0 + (-3)/((-3)/19). Let j be (1/(-3))/((-1)/9). Suppose -6*g + 30 = -j*g. Solve t + 5*c = -g, -4*t = -0*c - c + l for t.
-5
Let h(o) = -o**3 + 3*o**2 + 3*o - 3. Let n be h(3). Suppose -7*w = -16 - 26. Solve n = 2*u - w*u + g, u - g = 0 for u.
-2
Suppose -4*z + 0*z + 2*n = 4, 5*n - 10 = 0. Solve 3*c - 17 = b - 7, -5*c + 25 = z for b.
5
Let u be (-16)/2*2/(-8). Solve l = 4*o - 21, 15 = u*o + o for l.
-1
Let s = -72 - -76. Solve -3*y + 2 = -2*r - 4, 4*r - 2*y = s for r.
3
Suppose -5*u - 31 = -2*r, -3*r + 6*r = -4*u - 11. Let s = u - -8. Solve -g + 2*g + 13 = -s*w, -6 = 2*w for g.
-4
Let w be (1 + 5)*(-1)/(-1). Suppose 6 + w = 4*y. Solve -5*b + 45 = 5*s, b - y*s - 1 = -12 for b.
4
Let h be 27/45 + 6/(-10). Solve 3*k + 5 = 2*k - s, h = -5*k + 2*s + 3 for k.
-1
Let s(w) = -w + 11. Let c be (-4)/18 - (-202)/18. Let a be s(c). Suppose u + u = a. Solve 0 = 2*t - u*m - 2*m - 4, m = 3*t + 2 for t.
-2
Suppose 3*j - 8*j = -10. Solve 5*a + 11 = 2*f, -5*a - j = -0*a + f for a.
-1
Let a = 0 + 3. Suppose -2*d + 6*h = h + 1, 0 = 2*d - a*h - 1. Solve -4 = -2*v + d*b, -2 - 1 = -3*v + 4*b for v.
5
Let u(z) = 1 + 11*z - 12*z + 2. Let w be u(0). Solve -3*c - 6 = -c - 2*l, w*c + 4*l - 19 = 0 for c.
1
Suppose 5*i + 5*p = 14 + 26, 0 = 5*i + p - 28. Solve -5 = -3*u + i*o + 5, 5*u = -5*o - 50 for u.
-5
Let o(s) = -s**2 + 5*s. Let l be o(5). Let j = 12 - -10. Let z be 114/j - (-16)/(-88). Solve l = -g + 3*f - 1, 2*g + g - z*f - 1 = 0 for g.
2
Let w(x) = -x**2 - 6*x - 7. Let i be w(-3). Solve -9 = -2*t + 5*v - 2*v, -i*t - v + 5 = 0 for t.
3
Let r be 5*(9/5 - 1). Suppose 0 = m - 4*i - 8, -3*m + 2*i = i - 2. Suppose -16 = -m*s - 4*s. Solve s*j = 2*o - 8, -3*j + 1 = -r*o + 2 for j.
-3
Let n = 0 - -4. Let o(k) = k**2 + 2*k - 3. Let l be o(2). Suppose 3 = n*m - l. Solve 4*h = 4*f + 6*h - 6, m*f - 5*h - 33 = 0 for f.
4
Suppose 2*k = -4*n + 32, 5*n - 10 = -k + 21. Suppose u - 19 = -k. Solve 2*o + 0*q - 3*q = 17, -3*q - u = -o for o.
4
Suppose 2*o - 1 = v + 3, 2*o + 2*v + 8 = 0. Suppose -h + 2 = -o. Solve -3*u = -h*u + 5*r + 24, 5*r = 4*u - 4 for u.
-4
Let y(o) = 6*o**2 + 3*o - 2. Suppose 6*f + 10 = f. Let v be y(f). Solve 0 = -r + 2*r - g + 4, g = -4*r - v for r.
-4
Suppose -2*w - 11*w = -26. Solve w*y + 9 = u, -3*y - 3*u + 7*u - 11 = 0 for y.
-5
Let h = -14 + 19. Solve -2*s + h*z = 3*s + 30, -5*z + 22 = 3*s for s.
-1
Suppose -l + 6 = l. Let v(d) = d**2 - 1. Let j be v(-3). Let n = j + -4. Solve -u + 0*z - 1 = z, -n*u + l = -3*z for u.
0
Suppose -d - 24 + 15 = 0. Let w(k) = k**2 + 10*k + 9. Let z be w(d). Solve -5*s - 5 = 5*v, z*s + 21 = 4*s - v for s.
4
Let t(l) = -l**3 + 4*l**2 + 2*l - 6. Let p be t(4). Let f(g) = 8*g + 2. Let m be f(p). Solve -20 = 4*y, -3*u = -y + 4*y + m for u.
-1
Let w(b) = b**3 + b**2 - b + 2. Let i be w(0). Suppose 10 = 5*h - 4*d - 2, 8 = h + 2*d. Solve -4*s = -q - 8, -i*s = -4*q - 0*s - h for q.
0
Suppose 0 = -3*c + 4*v - 16, -v - 8 = 5*c - 3*v. Solve -l - 3 = 3*j, -4*l - 1 + c = j for j.
-1
Let q(s) = s**3 - 8*s**2 + 7*s + 3. Let y be q(7). Suppose -y*v - 8 = v. Let m be v/(-7) - (-2)/(-7). Solve 2*k - b = -0*b - 2, 2*k - 3*b - 2 = m for k.
-2
Suppose -3*a = -2*a - 4. Solve -19 = 2*h + i - 4, 2*h + a*i + 30 = 0 for h.
-5
Suppose -26*x