 10. Let t be v(-9). Let u be 6 + (0 - 2)/t. Solve u = 4*j - 4*y, -j + 5*y = -2*j + 7 for j.
2
Let d(a) = -a**2 + 9 + 0 - 4*a + 3*a. Let j be d(0). Suppose 5*p - 20 = 2*g, 3*p + 4*g = -2*p + 20. Solve -j = b + 4*h - 3*h, -41 = 5*b + p*h for b.
-5
Suppose r = -0*r + 3. Solve -l - 4 = 0, l + 8 = 2*v - r*v for v.
-4
Let x(g) = 2*g - 7. Let p be x(6). Let i(n) = -n**2 - 13*n - 10. Let c be i(-12). Solve 2*f = t - c + 7, p*t + 25 = 3*f for t.
-5
Let r(d) = d**3 - 6*d**2 + 6. Let z be r(6). Suppose 4*y = -2*n - 24, 7*y = 2*n + 3*y. Let a be z + (n/2 - -1). Solve -l - a*l = 2*j - 8, 2*l - 5*j = -20 for l.
0
Let u be 16/6 + 4/12. Suppose -68 = -u*x + 7. Solve -4*l = 5*g - x, -4*g = 4*l - 9*g - 15 for l.
5
Let k(r) = -r**3 - r**2 + r + 6. Let n be k(0). Solve 0 = -2*y + 3*b + 13, 4*y - 2*b = -n*b - 24 for y.
-1
Let k(r) = -r - 9. Let c be k(-9). Suppose -s + 0*s + 12 = c. Suppose -5*o - 5*u = 1 - 6, -s = 4*u. Solve 2*a = 4*y - o, 3*y + 0*y - 3 = 3*a for a.
0
Let d(s) = s**3 - 5*s**2 + 6*s - 3. Let m be d(4). Let t = 16 - 8. Suppose t = -y + m*y. Solve -10 = 2*n - y*p + p, -2*n - 4*p = -10 for n.
-3
Let q(d) = d**2 - 10*d + 11. Let h be q(9). Suppose -w = h*x - 6, 3*x + 35 = 5*w - w. Solve 0 = 3*r - 2*i + 4*i + w, 0 = -2*i + 4 for r.
-4
Let w = 21 + -16. Suppose -4*x = 4*u - 12, -2*u - u = -w*x - 9. Solve 3 + 4 = j + 2*i, u*j + 29 = 4*i for j.
-3
Let k(r) = -r**2 + 9*r - 5. Let o be k(8). Suppose o*z + 6 = 3*n, -3*n + 2*z = n - 12. Solve 3*c = -3, -n*u = -0*c - 2*c + 6 for u.
-2
Suppose -2*v = v. Let r be 3/3 + v + 3. Let z be -3*-6*r/18. Solve z*m = 3*b - 7, -2*b = 2*b + 3*m - 1 for b.
1
Let l = 14 - 6. Solve -4*f = 2*i + 2*i - 24, l = f + 2*i for f.
4
Let c(s) = 7*s - 19. Let r be c(3). Solve -5*x - 5 = -d - 30, 0 = r*d + x - 5 for d.
0
Let q(n) = n**2 + 2*n - 3. Let v(t) = t**3 - 4*t**2 - 4. Let g be v(4). Let f be q(g). Solve 3*j - 5*i + 18 = 0, -f*j - 4 = -4*i + 13 for j.
-1
Let y(v) = 2*v**3 + 4*v**2 + 3*v - 3. Let k(h) = h**3 - h**2 - h + 1. Let f(b) = -k(b) - y(b). Let q be f(-2). Solve 2*t = -4*n + q, t + t - 4*n = -6 for t.
3
Let y(d) = -d**3 - 8*d**2 - 9*d - 9. Let h be y(-7). Let g = 10 - h. Solve -16 = g*t + 3*k - 2*k, -2*t - 4*k = -8 for t.
-4
Let w be -4*(-1)/(-10)*-10. Solve 4*q = -p + 16, w*q - 2 = -4*p + 2 for q.
5
Let d(f) = -f**3 + 3*f**2 + f - 1. Let s be d(2). Suppose -s = -m + 9. Suppose 2 = 5*w - 8. Solve -w*k + m = -3*i, -5*k - 9 = -4*i - 30 for i.
-4
Let f(i) = -i**2. Suppose 2*j - 16 = q - 2*j, -3*q + 4*j = 16. Let y be f(q). Solve y*t = -3*t - b - 14, 2*b + 12 = -2*t for t.
-4
Suppose 32*j = 29*j + 12. Solve -2*c = -c - j, 3*c = -4*x - 8 for x.
-5
Let n be (-4)/14 + 92/28. Suppose a - 2*b - 2 = 0, a - 12 = -n*a + 4*b. Solve 3*h - a*r - 5 = 0, 0*h + 4*h + 4*r = 16 for h.
3
Let n = 12 + -10. Solve 0 = -2*c - n*q - 2, 5*c + q + 3*q = -8 for c.
-4
Suppose 4*h - 6*h + 6 = 0. Let r(o) = 5*o - 7 + 0*o**2 + 3*o - o**2. Let u be r(7). Solve x - 4 = -5*z - u*z, x = h*z - 4 for z.
1
Let w(m) = m**2 + 2*m - 1. Let r be w(-3). Suppose -6*q + 4*q = -14. Suppose -r*o + q*o = 25. Solve -2*n = -3*k - 3*n - 2, o*n = -k + 4 for k.
-1
Let g(v) = -11*v**3 - v**2. Let i be g(-1). Suppose -8 - i = -2*n. Let f = 3 + n. Solve 2*u = -4*r, -3*u = 4*r + 2*u - f for r.
-2
Let v = -14 - -14. Suppose -c - 3*h + 3 = v, -6*h = -h. Solve c*n - 17 = 4*z + 12, 2*z = n - 13 for z.
-5
Let j be -6*4/56 + 76/14. Let l(o) = -o**2 - 6*o - 4. Let q be l(-5). Let h be -1 + q/(1/12). Solve -h = 3*f - 6*f + b, 4*f + 17 = -j*b for f.
2
Suppose -r - 2 = -2*r. Solve -35 = 5*c - 5*o, 11 = -3*c + r*o - 6 for c.
-3
Suppose 2*c - 7*c - 4*f + 35 = 0, -5*c + 30 = 3*f. Solve -c*y + y - 2 = a, 4*a = -y - 15 for a.
-4
Let l be ((-10)/4)/((-6)/12). Solve -h + 3*g = 2*g, -l*g = 2*h for h.
0
Let o be (11 - -1) + -3*(6 - 5). Solve -3*l - s = -2*s - o, -3 = -l + 2*s for l.
3
Let g be (-8 + 2)/((-3)/2). Solve 2*n - p - g*p = -17, -17 = 5*n - 4*p for n.
-1
Suppose -15 = 5*d - 75. Suppose d = -0*r + 4*r. Solve o - 5*s + 25 = 0, 0 = -2*o + r*s - 8*s + 25 for o.
0
Let n(y) = -y + 1. Let w be (6/9)/(6/9). Let p be n(w). Suppose p = -2*a + 10. Solve 0 = v + z + 3, a*v - 2*z + 12 = -3 for v.
-3
Suppose i + 4 = 2*p, 8*i = 5*p + 3*i - 10. Solve -2*q = 2*s + s - 8, -2*s = 5*q + p for s.
4
Suppose -15 = -5*n + 3*x, 3 = -0*n + n + 5*x. Let p = -7 + 11. Solve -4*r = -2*f - 2, f + p*r - n = 8*r for f.
-5
Let s(n) = 16*n - 1. Let m be s(-1). Let f = -11 - m. Solve 2*d - 3*d - 3*h = f, 0 = 3*d - h - 2 for d.
0
Suppose 2*j + 124 = 132. Solve -5*t + 3*u + 12 = 0, -t + 5*t - 16 = j*u for t.
0
Let l be ((-4)/(-10))/((-4)/(-20)). Solve -4*q + 13 = -3*o - l, 5 = -o - 3*q for o.
-5
Suppose -4*l - l + 25 = 0. Let r(c) = -c**3 + 6*c**2 - 5*c + 3. Let t be r(l). Solve t*y = -5*n - 2, 2*n + 2*y + 0 + 4 = 0 for n.
2
Let y be (-43)/(-9) - (-4)/18. Solve -4*b - y*f - 10 = 0, 4*b + 3*f + 13 = -1 for b.
-5
Let l = -11 - -14. Solve -8 = l*d - 2*d + 2*x, -3*d - 9 = 3*x for d.
2
Let i = -23 - -26. Solve -5*h + 35 = -5*v, -i*v - 6 = 3*h - h for v.
-4
Let x = 43 + -30. Suppose -o + 42 = -5*y, 3*o - 43 - x = y. Let r = o + -12. Solve s - r*s - 8 = -5*d, 0 = 2*d - 4*s - 8 for d.
0
Let d be (-4)/(-2*1 + 0). Suppose -d*s - 2*s = -8. Suppose 0 = s*x - 11 + 3, 0 = 4*f + 2*x - 16. Solve 5*j + 21 = -o, f*j - 32 = 6*j - 3*o for j.
-5
Suppose 2*w + w = -2*c + 47, -w = -c - 19. Suppose 0 = 9*y - 6*y - 12. Solve 0 = 5*p - y*q + 33, -5*p - q - 3*q = w for p.
-5
Let t = -32 - -48. Solve f + h = 5*h + t, -3*h - 13 = -f for f.
4
Suppose -5*l + 0 = -10. Solve 4*v = -3*q - 17, v + q + 6 = l for v.
-5
Let m = 20 + -18. Let i be (-18)/(-12) + 45/m. Solve 0 = 5*a - a + 3*s + 31, a + 4*s = -i for a.
-4
Let q be (-1 + 7)*(-4)/(-3). Suppose -q*i = -3*i - z - 22, -i - 3*z - 2 = 0. Solve -i*y + 4*a = 0, 2*a - 6 = -4*y + 4*a for y.
3
Suppose 0 = -2*t + 6*t - 8. Let f = 5 - 5. Solve -v + 6 = t*v + s, f = 3*s for v.
2
Let k = -48 - -52. Suppose 2 = -g + 6. Solve 3*m = 0, -r + m + g = k*m for r.
4
Let j(r) = 7*r + 0*r - 4 - 6*r. Let d be j(4). Solve d = n + n + 5*a - 19, -4*n - 32 = -4*a for n.
-3
Suppose -2*h - 8 = b, 1 = -5*b + h + 5. Suppose 27 = u - b*u. Solve -3*d + 5*g + u = 0, -20 = -5*d + 3*d + 4*g for d.
4
Let g be 16/2 + -1 + -4 + 3. Let j(o) = 2*o - 2. Let t be j(6). Solve -3*n + t*v + g = 5*v, 0 = -n + v for n.
-3
Suppose -2*h + 2*j - 2 = 7*j, 3*h - 31 = j. Suppose 4*m - 4 = 3*b + 52, -5*m - 5*b + 35 = 0. Let a = m - 8. Solve v + v = -f + h, 4*f - a = 3*v for v.
3
Suppose 4*p - 3*b + 69 = 2*p, 5*b - 165 = 5*p. Let t = 61 + p. Solve 4*k = -3*f - t, 18 = -5*k - 2 for f.
-5
Suppose 5*u = -5*p + 2*u + 20, 5*p + 4*u - 20 = 0. Let g = p + 0. Let t(i) = i**2 + 8*i + 10. Let x be t(-7). Solve 2*z + x*n = 8*n + 5, z = n + g for z.
5
Suppose 2 = -y - t + 16, y - 26 = -4*t. Solve 3*s - 4*s - 3*a = -y, -a + 14 = 3*s for s.
4
Let q be 6/(-3) + (-7 - -11). Solve 0 = -4*c, 2*n + 4 = 3*c + q*c for n.
-2
Let u(j) = j**2 + 7*j + 6. Let d be u(-4). Let c = d + 6. Let a = 6 + c. Solve a = -4*z - 3*f - 0*f, 2*z = 5*f - 16 for z.
-3
Let m(f) = 4*f - 31. Let c be m(9). Solve -5*v = 2*a - 6, 3*v - 5 = c*a + 11 for v.
2
Suppose 16 = -10*c + 14*c. Let s(r) = -r**2 + 5*r + 7. Let o be s(6). Solve 8 = -c*a - 4*x, -2*a = -7*a - 2*x - o for a.
1
Let z = -8 + 12. Suppose 5*d - 8 = d. Let u = -4 - -7. Solve z*o = -d*w + 22, -u*o = -0*o - w - 14 for o.
5
Suppose 2*h - 12 = -2*h - 2*l, -3*h + 3*l = -27. Solve -h*k + 4*q + 4 = 1, 4*q = -k - 9 for k.
-1
Suppose 2*j = -4*y - 12, -3*j + 2*y + 14 = -0*j. Solve -j*b = -3*s + 10, b - 2*b + 21 = 5*s for b.
1
Let f be 2*(-2 - -3)*1. Solve -4 = f*i, -4*i - 5 = -o + 6 for o.
3
Let f be ((-18)/15)/(4/(-10)). Suppose 0 = j + 4*a, f*a - 5 = -2*j - 0*a. Solve 0*l - 2*x = -l + 4, -2*x = 3*l + j for l.
0
Suppose -18 + 2 = -4*i. Solve -5*y + 5*n = -15, -4*y = -2*n - i + 2 for y.
-2
Suppose 4*w - 5*s = -3 - 0, -2*s = -4*w + 6. Suppose 2 = 2*f - 4. Solve 3*z + 4*c + 2 = 0, w*z + f*c = 7*c - 10 for z.
-2
Let y be ((-13)/(520/(-224)))/(4/10). Solve -5*k - 3*p + 20 = -4*p, 3*k = p + y for k.
3
Let r be (2/3)/(4/(-42)). Let t = r - -10. Solve -p - t = 3*q, 2*p + q = -0*q + 4 for p.
3
Let c(i) = -3*i - 2. Let g be c(-2). Suppose -2*m - 4*o + g = 0, 0 = -5*m - o - o + 42. Solve 13 = -4*y + 4*f - 3*f, m = 2*f for y.
-2
Let h = -5 - -11. Suppose -t