+ 1. Let l be s(1). Solve 4*h - l = 4, 4*g - 4*h = 4 for g.
4
Let x = -20 - -15. Let m be x*2/(-5) - -1. Suppose -m*y + 4*d = -5, -5*y - d + 18 = 2*d. Solve -v + 2*u + y + 5 = 0, 0 = -3*v - 5*u - 9 for v.
2
Let r be 3 - (-4)/6*-6. Let t be (-2)/(r*6)*45. Let p = t - 10. Solve 0 = p*u + v - 16 - 0, -5*v - 10 = -5*u for u.
3
Let y be (-3 - 1) + 8 + -1. Suppose y*q - 2 = -q + n, q - 2*n = 4. Solve q = -2*m + 7*m - c - 3, -4*m - c = -6 for m.
1
Let c(i) = i**2 + 5*i - 3. Let t be c(-6). Suppose -5*v + 16 = x - 6, 0 = 3*x - t*v + 6. Solve -s + 0 = 3*o + 2, 4*o - x*s = -16 for o.
-2
Suppose 47*g = 395 + 169. Solve -3*o - 3*b + 5*b = 10, -o + 5*b = g for o.
-2
Suppose 4*i - 24 = -4*i. Solve 0 = -2*z + 6*z - 3*b - 7, i*b = -3*z for z.
1
Let q = 39 + -30. Suppose -2*g + q = 2*y - 1, 4*g = 12. Solve -3*c - 9 = 3*x, -2*x + 2 = -y*c - 0*c for x.
-1
Suppose -2*i = -3*t + i + 3, -t - 5*i = -1. Suppose v + 2*u = -3*u + 8, u = t. Solve -g + 4 = v*f, -2*f + 5*f + 2 = -4*g for g.
-2
Let u be (3 - 4) + (-2)/(-2). Suppose u = 2*z + 2*z. Suppose 0 = -z*j - j + 4. Solve 4*o - 4*h - 4 = -12, -17 = j*o - h for o.
-5
Suppose -2*a + 3*a - 5*x + 1 = 0, 50 = 2*a + 3*x. Solve o - 5*g = a, -o - 3*g - 14 = o for o.
-1
Let h = 40 - 26. Suppose 4*s = 42 - h. Solve -3*b = 2*d - 0*d + s, 0 = 5*b - d + 29 for b.
-5
Let m(h) = h + 17. Let g be m(-15). Suppose 3*x - s = -x + 36, g*s + 32 = 3*x. Solve -4*a + x = -4*j, -3*a = 2*j - j - 10 for a.
3
Let h be 0/((-1)/((-2)/(-4))). Suppose 4*k - 11 - 9 = h. Suppose u - 2*q = -2, -3*u = 2*u + q - 12. Solve 7 = u*l - k*y, -3*y = l - 2*l + 5 for l.
-4
Suppose 2*a - h - 3*h - 22 = 0, -5*h = -5*a + 40. Suppose a*d = -3*i, d + i = 6*d. Let r be 2 - -2*(-3)/(-6). Solve d = r*n - 5*w + 34, w + w - 22 = 4*n for n.
-3
Suppose -5*s = g - 23, g + 49*s = 46*s + 15. Solve -5*l + 5*b = 50, 0 = -l - 2*l - g*b for l.
-5
Let f(d) = d**2 - 12*d - 3. Let o be f(15). Suppose n + 2*n = o. Let p(z) = z**2 - 13*z - 13. Let v be p(n). Solve -h + 2*y = v - 10, 3*y + 15 = 0 for h.
-1
Let u = -18 + 21. Suppose 3*c + 26 = 2*i - 0, u*c + 46 = 4*i. Solve 0 = -5*p, -4*p = 2*m - 5*p + i for m.
-5
Let p(u) = 6*u + 1. Let x(z) = 7*z + 2. Let y(t) = 6*p(t) - 5*x(t). Let h be y(4). Suppose -o - 2*o = h. Solve 0 = 5*r + 15, -2*c + 10 = -2*r - o for c.
2
Suppose 0 = 123*k - 42*k - 486. Solve 12 = 4*r - 4*t, 3*r = k*r + 2*t + 6 for r.
0
Suppose -15*g + 21*g = 18. Solve 7 = 5*z - d, 0*d - 3 = -g*z + d for z.
2
Let h(l) = 6*l**2 + 18*l + 5. Let c be h(-4). Solve m = -0*m + s + 4, -5*m + c = 4*s for m.
5
Let b = -209 + 212. Solve 0 = b*c - 2*n - 9, 10 + 2 = 4*c - n for c.
3
Let j(u) = -u**2 - 6*u - 7. Let v(d) = d**2 + 18*d - 23. Let z be v(-19). Let r be j(z). Solve 4*l - r + 9 = 4*t, 34 = -5*l - 3*t for l.
-5
Let j be (48/64)/((-2)/(-8)). Let x = 2 - 0. Solve -5*u + j*o + x*o = 15, o - 7 = 2*u for u.
-4
Let n(o) = -o**2 + 3*o + 4. Let i be n(4). Suppose -3*x + 22 = 2*x + l, 14 = 5*x - 3*l. Solve i = -x*k - 16, 4*w - w - 18 = 3*k for w.
2
Let i be 1/((-7)/(4*-14)). Solve m = 4*z - 7, -z + i = 3*m - 10 for m.
5
Let q(k) = k**3 - 24*k**2 + 26*k - 66. Let n be q(23). Solve -n*p + 6*p + 4*c + 21 = 0, 4*p + 2*c = -18 for p.
-3
Let o = 191 - 189. Solve o*s + 3 - 9 = 5*d, -9 = -3*s - d for s.
3
Let i(a) = -4*a - 11. Let u be i(-4). Solve -3*r - t = -r - 1, t = -u for r.
3
Let h(p) = p**3 - 12*p**2 + 20*p + 2. Let m be h(10). Solve -5*w = -3*r - 12, -m*r - 5*w = 5 + 3 for r.
-4
Let o be (6/8)/(237/6004). Solve 5 = 2*i + 15, -2*n - 5*i - o = 0 for n.
3
Let l = -33 - -26. Let j be (2/6)/(l/(-42)). Solve h - j*x = 0, 4 - 34 = 5*h + 5*x for h.
-4
Suppose 2*z - 10 = 2*r, 5 + 5 = -3*z - 2*r. Suppose z*t = -3*t, -t - 14 = -2*k. Solve -8 - k = -5*c - a, -12 = -4*c + a for c.
3
Let k(i) = 3*i - 4. Let a be k(0). Let y be -7*6/(-42)*a/(-1). Solve -y*d + 12 = 0, -3*d - 2*d = -f - 18 for f.
-3
Suppose 0 = -2*o - 5 - 3. Let v be -2 + (-6)/(2 + o). Solve m + 11 = -4*g - v, 2*m = 4*g for m.
-4
Suppose -6 = -c - 3*o - 3, o + 6 = 2*c. Let i be 3/(-7) - 62/(-14). Solve 2*u - 20 = -5*d - i, -3*d + c = -u for u.
3
Let f(s) = -2*s**2 + 62*s + 66. Let z be f(32). Solve 2*d = -d - 12, -2*c - z*d = 6 for c.
1
Suppose -3*k = -4*d - 11, k - d + 1 = 4. Let v be (0 - (-1)/(-3))*-3. Suppose l - v = k. Solve 0 = 3*q - c + 3, 3*q - 5*q - l = c for q.
-1
Let p = 29 - 35. Let g be ((-45)/25)/(p/20). Suppose 0 = -3*v - h + 14, 9*v - h = g*v + 4. Solve -5*s - 16 = -2*c + 5, 0 = -v*c - 2*s + 3 for c.
3
Let p = 163 - 8. Suppose -12 = 152*l - p*l. Solve -6*o = -l*o - 2*k - 2, 0 = -4*o + 5*k + 1 for o.
4
Let t = 33 + -28. Suppose u = 5*u. Suppose -2*l + 5*o - o + 30 = u, l + 4*o = -15. Solve 0 = -l*c - 3*z + z - 15, 0 = z - t for c.
-5
Let y = 14 - 10. Let b be 3 + -1 - (-7 + y). Let h(i) = i - 2. Let a be h(b). Solve -5*j - 14 = a*q, 3*j + 3*q = 1 - 7 for j.
-4
Let a be (36/(-60))/(2/(-30)). Solve -4*g = -a*g - 15, 0 = 3*c + 5*g + 3 for c.
4
Let u(a) = 2*a + 25. Suppose 4*j - 7*j = -27. Suppose -3*b + j*b = -66. Let k be u(b). Solve -h + 3*h = 5*t + 7, k*h - 1 = -2*t for h.
1
Let i = -543 - -544. Solve -4*x + 3*v = -i, 4*v - 4 = 5*x + 2*v for x.
-2
Suppose 26*b - 18 = 24*b. Suppose -b = -5*i + 11. Solve 0*n - 6 = 5*z - i*n, 4 = -4*z + 3*n for z.
2
Let z(s) = -s**2 + 6*s - 3. Suppose 2*f = 13 - 3. Let u be z(f). Suppose -x = d + 4*x - 19, -u*x + 2 = -d. Solve -3*o + d*i - 1 = -18, 0 = -5*o + i + 17 for o.
3
Suppose 8*i - 78 = -6. Suppose 2*f = x - i, -f - 2*f = -3*x + 21. Solve -x*j + 13 = 3*a, -2*a = -5*j - 4*a + 17 for j.
5
Let j be 96/(-45) + 2 + (-1551)/(-495). Solve 5*t - 8 = 2*n, -j*n + 10 + 1 = 4*t for n.
1
Suppose 6*k - k + 3*d = 6, 4*d = -4*k. Solve 5 = -k*b + 2*i, -i - i = 5*b + 19 for b.
-3
Let r = 543 - 540. Solve -9 = r*i + 4*o, 3*o = i - 8 - 2 for i.
1
Let g = -262 - -164. Let v be (-756)/g - (8/14)/(-2). Solve 3*z + 13 = -2*y + v*z, -2*y = -2*z + 4 for y.
1
Let z(l) = l**3 + 5*l**2 - 2*l - 8. Suppose b = k - 4, b + 4*k + 6 = 3*k. Let m be z(b). Solve 5*v - y - 15 = 0, -y - 9 = -v - m*y for v.
4
Suppose -5*h + 18 = m, 2*m = 3*h + m - 6. Solve 0 = 2*p + h*u + 1, -4*u + 7 + 1 = 5*p for p.
4
Suppose -1077*z + 32 = -1075*z. Solve -5*r = -y - z, -4*y + 31 = r + 11 for y.
4
Let u(p) = -5*p + 33. Let l be u(6). Solve l*m = 5*a + 15, m = -4*m - 5*a - 15 for m.
0
Suppose -4*j + 2 = -2*x - 10, -2*x = 3*j - 16. Suppose j*r - 2*r = 4. Let n be r/(-6)*(1 - 1). Solve -4 = y - 3*a - n, -5*y - 3*a - 20 = 0 for y.
-4
Let x(a) = a**3 + 13*a**2 - 2*a**3 - 20 - 6*a**2 + 19 - 4*a. Let z be x(3). Solve p - 5*h - z = -8, -3*p = 5*h - 5 for p.
5
Suppose 6*r = 17 + 13. Let j be 5 + -1 + -1 + -2. Solve -h = -r*b - 10, 0*b - j = b for h.
5
Suppose 0*d = 3*d - 6. Suppose -5*h + 2*u + 27 = -0*h, 7 = h - d*u. Solve 2*i = h*y + 4*i + 28, -y = 4*i + 20 for y.
-4
Let t be 30/(-9)*(-6)/4. Suppose 3*u + 26 - 35 = 0. Solve -t*x = 4*n + 27, n - u*x - 5 = 1 for n.
-3
Let g = 3 - 13. Suppose 9*b + 15 = 4*b. Let w = b - g. Solve 4*f - 3*f + 1 = 5*q, 3*q = -f + w for q.
1
Let n(f) = -2*f. Let m be n(-1). Let y be ((-27)/(-18))/(m/4). Solve -5*x = s + y*s + 10, 0 = 3*x - 6 for s.
-5
Let j(k) = -10*k - 138. Let a be j(-14). Solve 5*l = z - 15, a*l + 0*z - 2*z + 14 = 0 for l.
-2
Let s = 705 - 702. Solve 8*j = 5*j + w + 7, 0 = 2*j - s*w for j.
3
Suppose -8*i + 3*m - 15 = -9*i, 2*i - 10 = -2*m. Solve 4*u + 2*l - 5 - 13 = i, 3*l - 9 = 0 for u.
3
Let f(i) = i**2 - 6*i - 37. Let n be f(-4). Solve 0*c + c + m = n, 0 = 5*c - 5*m - 15 for c.
3
Let l(q) = 10*q - 10 - 4*q - 5*q. Let j be l(13). Suppose 4*x + x - 3*b - 58 = 0, b + 38 = j*x. Solve 4*g = -4*w - 16, x - 2 = -4*w - 3*g for w.
0
Let z = 611 + -604. Solve -4*d - z*x = -12*x + 7, 0 = -3*d - 2*x - 11 for d.
-3
Let n = 24 + -14. Let p = n + -9. Let x be 8/(-10)*(-20)/p. Solve 2 = -4*l - 3*z, 7*l - 2*l + x = 3*z for l.
-2
Let o be ((-6)/9*3)/(1/(-1)). Solve -6*g + o*g + 12 = r, -20 = -5*g for r.
-4
Let u = 9 - 4. Let l be -18 - (-5 + 14 + -29). Solve 0 = -4*q + u*o + 17, 0*o + 10 = -l*o for q.
-2
Let z = 83 - 79. Solve 0 = s, z*s - 2 - 3 = j for j.
-5
Suppose 2*m + 2*m = 20. Let w be (8 - 2)/3 - 0. Suppose 4*a - 7 = 2*p + a, 2 = -2*p + w*a. Solve 2*z - 2*s - p = 0, 0 = -5*z - m*s - 0*s - 30 for z.
-2
Let n(a) = a**3 - 8*a**2 + 10*a + 7. Let p be n(7). Let y = p - 24. Suppose -4*o - 6 = -0*w + w, o + 2 