+ 5. Let a be r(0). Let l = 17 + -14. Solve 5*y = -a*j - 10, -l*y - 28 = -j + 2*y for j.
3
Suppose -24 = -10*l + 7*l. Suppose 16 = l*f - 8. Suppose 0 = -3*j + 6, 5*q - j - 32 = 3*j. Solve -y - f*s - q = 0, 2*y = -s + 5*s + 24 for y.
4
Let l = -1 + 2. Let v be (l/2)/((-2)/(-24)). Suppose -25 = h - v*h. Solve -5*o - 27 - 10 = -3*a, -25 = h*o for a.
4
Let x be 9/5 - (-13)/65. Suppose -5*b - 2 + 20 = x*q, b + 5*q = 22. Let z = -18 - -25. Solve 0 = 4*m - 2*o - 24, b*o = -5*m - z + 28 for m.
5
Suppose -s + 9 = 3*z, 2*z - 2*s - 6 = -s. Let a = 16 + -11. Let v be 8/(-10)*(-75)/30. Solve -v*f + 1 = -2*u + z, 5*f + a*u = -15 for f.
-2
Let g = 4 - -33. Let r = g - 17. Solve 3*d - 7*d - 4*w - r = 0, 0 = 3*w for d.
-5
Let f be ((-2)/3)/((14 + -5)/(-54)). Solve n = 2*a + 9, -f*a - 5*n = -7*a - 24 for a.
-3
Let p be (3/(-6))/(4/(-48)). Let u = p + 17. Let g = 9 + -6. Solve g*f = 2*y + u, -5*y + f - 12 = 13 for y.
-4
Let u be ((-1)/1*-3)/3. Suppose 2*m = -u + 17. Suppose 160 - 136 = 8*t. Solve t*v + 9 = 0, -3*f - 4*v + m = 2*f for f.
4
Suppose -151*f - 10 = -156*f, -4*s - f + 18 = 0. Solve 2*b - 6 = s*l - 0, -5 = l + 3*b for l.
-2
Let z(f) = 3*f - 53. Let d be z(23). Solve 4*x = n + 9 + d, 4*n = -20 for x.
5
Let g(x) = x**3 - 2*x**2 + 2*x - 2. Let l be g(2). Let t(q) = 3*q + 8. Let h be t(-4). Let y be (20/(-6))/(h/6). Solve 15 = -w - l*s - s, -5 = -5*w + y*s for w.
-3
Let c(i) = -i**2 + 11*i + 16. Let x be c(0). Solve 20 = -3*u - 2*u, 4*j + x = -u for j.
-3
Let o be 9 + ((-81)/15 - 4/(-10)). Solve 3*q + 4*k - 28 = 0, q + 17 = o*k + 5 for q.
4
Let f = 692 + -689. Solve -d + 2*g = 0, -5*d = f*g - 14 + 1 for d.
2
Let g be 429/52 + 1/(-4). Let h(u) = -7*u**2 + 1. Let z be h(1). Let t be z/(-3) - -1 - 3. Solve 5*a + 32 = 3*x, t*x = -x - 3*a - g for x.
4
Let d = 103 - 96. Let g = -2 + d. Solve g*r - 20 = -5*p, 4*r - 2 = p + 2*p for p.
2
Suppose -2*v = 2 - 12. Let x = v - 10. Let d = x + 6. Solve -2*y - 3*h = -y - 5, -5*y - 2*h = d for y.
-1
Suppose 404 - 420 = -z. Solve -x - 4*d + z = 0, x = 4*x - d - 9 for x.
4
Let h be (5/(-10))/(((-21)/30)/7). Solve 0 = 3*v + 2*s + 13, -5*v + h*s = -3*v + 15 for v.
-5
Let b be (-36)/(-15) - ((-216)/(-30))/(-12). Suppose -25 = 5*k, 3*s - 4*s = 4*k + 10. Solve -b*v - 26 = -4*p, -4*p = -0*v + 5*v - s for v.
-2
Let n(b) = -15*b - 741. Let d be n(-51). Let u be (2/2)/((-2)/(-8)). Solve 4*z + g = -g + d, -3*z + 4*g - u = 0 for z.
4
Let i = 33 + -33. Suppose i = y - 3*y. Solve -2*w + 0*w + 14 = -3*v, y = 3*v - w + 10 for v.
-2
Let y be ((-312)/260)/(3/(-5)). Solve -2*t = -4*t + y*k - 6, 5*t + 3*k = -23 for t.
-4
Let y be (-6)/((-24)/34)*10. Let i = -82 + y. Solve i*o - 5*p + 3*p + 8 = 0, 0 = -4*p + 4 for o.
-2
Let r = -304 - -329. Solve r = 4*y - i, -25 = 2*y - 4*y + 3*i for y.
5
Suppose -7*s + 6 = -22. Solve 2*l - 2*q + s = -l, -5*l = -5*q for l.
-4
Let b be 4/(-14) - 1278/(-63). Let j be ((-1)/(-2))/((-1)/16). Let w = -3 - j. Solve -b = -5*y - 3*c, -17 = -3*y - c - w for y.
4
Let g be 12/84 + (-1)/7. Suppose -2*y - 5*d + 27 + 67 = g, 2*y = 5*d + 54. Solve -2*q - 3*r + 1 = -6, 3*q + y = 5*r for q.
-4
Suppose -4*z + 31 = 143. Let a be (-8)/z - (-27)/(-21). Let p be -2 - (-2 - a) - -4. Solve 0 = -3*o - 9 + p, -j - 1 = 3*o for j.
5
Suppose -3337 + 958 = -183*o. Suppose -x + 3 = -0*x. Solve f + x*f - y = -o, -f - 10 = 2*y for f.
-4
Let i = -9 + 0. Let k = i + 21. Solve 3*o - 17 = -5, 4*v - 4*o + k = 0 for v.
1
Suppose 5 = -2*c + 9. Suppose -b = 3*b. Let o = b - -17. Solve 2*m + m + 13 = -s, c*s + o = -3*m for s.
-4
Let v(q) = -q**2 + 11*q - 29. Let s be v(6). Let k be 1/4 - (-22)/8. Let w = k - s. Solve 5*n + 9 - 1 = -w*x, n = 2*x + 8 for x.
-4
Suppose 7*d + 6 = 9*d. Suppose -4*c + 28 - 6 = 2*v, -d*v + 51 = -3*c. Solve 0 = -x - 4*x - 5*z + v, 2*z = 2*x - 2 for x.
2
Let o(t) = -4 + 4 - 4*t. Let s(m) = 9*m - 1. Let w(h) = 13*o(h) + 6*s(h). Let g be w(4). Solve g*x = -0*x - 4*v + 16, 2*x - 4 = -v for x.
0
Suppose -3*x - 29 = -4*x. Let w = -29 + x. Solve w = 5*i + 3 + 12, 3*v - i = 0 for v.
-1
Let o(a) = a**3 - 3*a**2 - 16*a + 1. Let f be o(5). Let j = f + 31. Solve 0 = -2*z - 2*l - 14, -2*z = -4*l - 0*l + j for z.
-5
Suppose m - 6*m + 84 = a, 0 = 4*a - 5*m - 336. Let v be (-3)/(-15) + a/30. Let q = 5 + -2. Solve -5 = -v*j + c - 3*c, -q*j + c = -11 for j.
3
Suppose -v - 4*d + 21 + 1 = 0, -2*v + 37 = d. Let l = v + -8. Suppose -l = -k - 4*k. Solve 5*j + 24 = -2*f, -4*j + 5*f - k = 4 for j.
-4
Let d = -631 - -632. Let p(j) = -j - 1. Let i be p(-3). Solve i*c + 3*t - 16 = 0, 3*c - 2*t = d - 3 for c.
2
Let r(n) = 4 + 3 - 3 + n + 0. Let q be r(3). Suppose -5*u - 2*j + 22 = 0, -4*u = 3*j - q - 12. Solve 3*k + 17 = -4*f, -u*k + f - 14 = 2*f for k.
-3
Suppose -5 = -i - j + 2, -2*i + 4*j = 16. Solve 4*l + 1 = w, i*l = 7*l + w - 1 for l.
0
Let a be 18/2*(0 - (-6)/9). Suppose -a = -3*c - 2*t, -c = -3*c - 5*t + 4. Solve 0 = -i - 4*n - 9 - c, -i - 1 = -n for i.
-3
Let t(h) = h**3 + 20*h**2 - 47*h + 20. Let s(k) = -k. Let y(g) = 4*s(g) - t(g). Let r be y(-22). Solve 0 = 5*p - 2*p + 3, -z = r*p + 7 for z.
-5
Let r = -2 - -14. Suppose -5*z + r = 2. Solve a = 4*q - 0*a + 7, z*a = -q - 13 for q.
-3
Let z = -29 + 31. Let m = -150 - -261. Let r be m/21 - z/7. Solve 2*d + 30 = -r*f, -3*d + 3 - 38 = 5*f for f.
-4
Suppose -b - 3*r = -17, -4*b = 5*r + 23 - 77. Suppose 4*h - 5*c = b, -h + 1 + 4 = c. Solve 4*w - 22 - 9 = 5*o, -4*o + 4 = h*w for o.
-3
Suppose -2*u + 2 + 4 = 0. Let x(l) = 6*l - 12. Let q be x(4). Solve 0 = u*s + q, 0 = 5*m - s + 3*s + 33 for m.
-5
Let o(z) = z + 6. Let q be o(-8). Suppose -2*j = -10, 4*t + 2*j + 0 - 22 = 0. Let g be (t/q)/(1/(-10)). Solve 3*i - g = 2*f, 3*i + 0*f - 15 = f for i.
5
Suppose -q - 36*w + 19 = -39*w, 20 = -5*w. Solve 0*u + 3*h + 19 = -2*u, -h = u + q for u.
-2
Suppose 3*u = o - 2*o + 6, 5*u - 30 = 5*o. Suppose -46 = 4*h + 2*f, 4*h - u*f = 2*f - 67. Let r = h + 15. Solve -4*n + 28 = 4*x, -x = r*n - 12 + 2 for x.
4
Suppose j - 21 - 36 = -x, 163 = 3*j - 5*x. Suppose -j = -5*d - 6. Suppose 4 = -3*o + d. Solve 5*k + 20 = 0, u = -o*u + 4*k + 13 for u.
-1
Let u(x) = x**2 - 9*x + 15. Let m be u(4). Let r be (-2)/m + 48/(-120). Solve r = -t + 5*n - 16, -2*t - 6 = -4*n + 8 for t.
-1
Suppose -24*k - 10*k = -136. Solve -2*i + 25 = -5*n, -k*n = -n - 3*i + 15 for n.
-5
Let i(o) = o**3 - 4*o**2 - 3*o - 6. Let v = -25 + 30. Let y be i(v). Suppose -12 = -5*z + 2*n, -5*z + n + 7 = y*n. Solve 3*x - w + 1 = x, -z*w - 7 = -x for x.
-3
Suppose 2*c + 44 = -2*q - 66, 0 = 4*q + 20. Let s = -43 - c. Solve 0 = 4*a + 3*j - s, 0*j - 4*j = -20 for a.
-2
Let j be (12 - 2) + (-11)/(-11). Solve 0 = -4*t + 2*c + 2, -4*t - 4*c + j = -9 for t.
2
Let l(s) = 4*s + 22. Let t be l(-5). Let o = 46 + -18. Solve -2 = -2*r - 3*j, t*r + 2*r - 2*j = -o for r.
-5
Let l be 0 + (-12)/4 + 8. Let v(s) = s**3 + s**2 - s - 11. Let b be v(0). Let m = -8 - b. Solve q = -y + 2 + 2, -l*q = -m*y - 4 for q.
2
Suppose 4*g + 3*f = 14, g + 22 - 31 = 2*f. Solve 2*a = -10, 27 = -2*k - 0*k - g*a for k.
-1
Let z(m) = -m**2 - 10*m - 15. Let u be 15/(-2) + 3/6. Let a be z(u). Suppose -4 = -a*c + 14. Solve 0*o + 2*o - 19 = 5*x, 2*o + 5 = -c*x for o.
2
Suppose 0*m + 2*m + 4*a = 10, 4*m + 3*a = 20. Let k(n) = -n + 5. Let i be k(m). Solve -4 = -i*f + 4*f, -2*d - 3*f - 5 = 0 for d.
-1
Suppose 3 = -m + c - 1, -2*m = -4*c + 8. Let u be 60/m*7/(-21). Solve -4*w + 9*w = -10, 18 = -u*s - 4*w for s.
-2
Let n = -367 - -375. Solve 3*w = -4*c + n, 2*w + 5 + 5 = 5*c for c.
2
Suppose 0 = -0*j + j - 3. Suppose -2*i = j*i. Suppose -3*c + i = -9. Solve 3*t - c*q - 6 = -0, t - 4 = 3*q for t.
1
Let p(t) = 19*t - 11*t**2 + 18 - t**3 - 18*t - 3*t**2. Let m be p(-14). Solve -m*d + 2*v = -0*v - 4, -d + 4*v = -15 for d.
-1
Suppose 0 = -o - 49 - 2. Let q = o + 55. Solve -24 = 4*b + q*z, -16 = -2*b + 5*z + 7 for b.
-1
Suppose -12 = -7*b + 23. Solve 0 = -3*v + 2*f + 2*f, -f = -b*v for v.
0
Suppose -5*u - 85 = -5*d, -4*d + 13 + 10 = 5*u. Suppose 15 = -5*p, -9 = -2*c + 5*p + 10. Solve 3*v - d = c*l, 0*v - 2*v + 2*l = -8 for v.
4
Let b(a) = a**3 + 4*a**2 - 2*a - 4. Let t = -29 + 25. Let z be b(t). Solve 4*v + 2*r = v - 11, -z*r + 3 = v for v.
-5
Let u be (-1)/((-6)/(-9)) - 19/(-2). Solve -2*b = -t - 2*t + 21, t - b - u = 0 for t.
5
Let n be (4 + -3)/((-2)/(-6)). Suppose -n*p + p = -4. Solve -4*l + 3 = -1, -p*x + 3*l 