or s.
-1
Let y = 8 + -4. Suppose k = y*f - 14, 0*k = -3*k + 5*f - 7. Let h(j) = -j**2 + 7*j - 4. Let r be h(k). Solve 2*l = 3*p - 4*p + 4, -r*l - 5*p + 12 = 0 for l.
1
Let v(s) = 3*s + 67. Let n be v(-20). Solve 4*h = 5*b + 29, 2*h - n*h + 5*b = -30 for h.
1
Let c = -18 - -35. Solve -5*m + 3*v = -c, 6*m = m - 2*v + 22 for m.
4
Let h be 410/100 + (-1)/10. Solve 4*f + l = -l - 8, 0 = 3*f + l + h for f.
0
Suppose 4*u - 5*f = -9*f + 16, -4*u + 3*f + 2 = 0. Solve u*t = -a + 6, 4*a + 6 = -t + 3*t for t.
3
Let v = 16 + -12. Suppose -d - 2*b + 5 = -0*b, v*b = 0. Solve -5*k + k - 13 = j, -d = -j + 5*k for j.
-5
Let b(v) = v**3 + v**2 - 3*v + 4. Let a be b(0). Let z(l) = 2*l**2 - 2*l - 2. Let p be z(2). Solve 0 = 5*f - a*q - 20, p*q = -3*q for f.
4
Let d = -6 + 8. Suppose 0 = -4*f - d + 10. Solve 25 = 5*u - n + 1, -f = -2*n for u.
5
Let s be 5/(-5) + (4 - 1). Suppose -4*m = -5*r + s, -5*r + 17 = 2*m + 3. Solve 5 = m*o + d, 3*d = -0*d + 9 for o.
1
Suppose 32 = 5*g + 3*v, -g + 6 = -3*v - 4. Let f = 9 - g. Solve 3*b + 7 = s - 0*s, f*s + 1 = b for s.
-2
Let g be 4 - -5*(5 + -3). Solve -4*x - 5*l = -28, 0*x + 5*l - g = 3*x for x.
2
Let n = 6 + -4. Solve 0 = -w + 2*r - 15 + n, -w - 5*r = -15 for w.
-5
Let a(c) = -c - 2. Let h be a(-4). Suppose 0 = -k - h*k + 15. Solve -15 = -3*d, k*w + 26 = 4*d - 9 for w.
-3
Suppose -4 = -m - k, 6 = -m - m + 5*k. Solve -2*x - h - 7 = -2*h, -12 = 3*x - m*h for x.
-2
Suppose -2 - 2 = 2*s. Let t be (2/(-3))/(s/9). Let a be (8/6)/(2/t). Solve 2*m + 5*x + 3 = -16, 8 = -m - a*x for m.
-2
Suppose 5*c + 10 = v, c + 4 = 2. Solve 2*t - y - 5 = v, 2*t - 5*y + 0 = -15 for t.
5
Suppose -2 = 6*c - 32. Solve 2 = -4*m - 2*x, -3*m + c*x + 12 = 33 for m.
-2
Let d = -75 + 37. Let w = d - -58. Solve 5*a = w, 3*s - 3*a + 6 = -15 for s.
-3
Let f be ((-4)/3)/(16/72). Let m(u) = u**2 + 7*u + 8. Let p be m(f). Let i(h) = h**2 - h - 2. Let y be i(2). Solve 5*l = -y*n - p*n - 19, 2*n = -3*l - 9 for n.
3
Let n = -7 - -12. Suppose -n*m + 39 = 4*l - 16, l - 7 = m. Let y = l - 5. Solve 0 = -3*g - y*r - 1 - 1, -4*r - 4 = 3*g for g.
-4
Let r(i) = -i**2 - 6*i + 19. Let c be r(-8). Solve 2*q + 5*z - 3 = 0, -c*q - 4*z + 9 = 1 for q.
4
Let c be (-99)/(-3) - (1 + 0). Suppose 28 + 7 = 5*h + 3*u, -3*h - 4*u = -c. Solve -4*a - 3*l + 6 = -0*l, -h*a + 2 = l for a.
0
Suppose 6*w + 36 = 4*w. Let t be 12/30 - w/5. Solve -2*j - 4*u = -8, -t*j + 5*u - 25 = j for j.
-2
Suppose -2*s + 75 = -5*b, 2*b + 2*s = -2*b - 78. Let q be (-3 - b/5)*-15. Let l be 2/q*(6 + -12). Solve -g - l*p + 4 = 3*p, 4*g + 9 = 5*p for g.
-1
Let p be 68/5 - (-8)/20. Solve c - 6*w = -w - 8, 2*w = 4*c + p for c.
-3
Let f(x) = x - 10. Let o be f(7). Let s = o + 7. Solve g + s*a - 12 = 0, 0 = 5*g - 2*g - 5*a - 2 for g.
4
Suppose 3*z = k - z + 5, 3*z = 5*k + 93. Let b be 2/(-6) - 49/k. Solve -b*m - 5*g + 9 = -0*g, -5*m - 5*g = 0 for m.
-3
Let y be 1 + (1 - 3 - -1). Suppose n - 5*n + c = -60, -4*n + 44 = 3*c. Solve 1 = -z + 2*t - 9, 3*z + 5*t - n = y for z.
-2
Let d = -5 - -32. Let f = d - 24. Solve -3*n - f = 3*h, -1 = -4*n + 2*h + 1 for n.
0
Let f = 32 - 32. Solve 3*g + 3*x + 6 = f, x = g + 4 + 4 for g.
-5
Let a be (4/6)/((-8)/6)*-10. Solve -2*o + a + 5 = 2*d, 0 = d + 2*o - 6 for d.
4
Suppose 0 = 4*m + t - 4*t - 12, -5*t + 32 = 2*m. Suppose -s - 10 = -m*s. Solve -l - 2 = -4*b + 4, 5*b - 9 = s*l for l.
-2
Suppose -a = -2*f - 12, 3*a = -2*a + 2*f + 76. Let j = 24 - a. Solve 5*h + j = -s, -3*h - 3*s = -0*s for h.
-2
Let i(w) = -w + 7. Let l be i(0). Solve 5*u = 3*x - l, -u + 5*u - 4 = 0 for x.
4
Let b = 17 - 14. Suppose -18 = -5*l - b. Solve l*x = -2*x + o - 4, 0 = -3*x + 3*o for x.
-1
Let u be ((-4)/5)/((-8)/180). Solve -u = -l + 4*i + i, l - 15 = 4*i for l.
3
Let g = 3 + -3. Suppose g = -j - 5*b, 0 = -2*j + 4*j - 2*b. Solve -5*s = -x - x - 8, j = -5*s + 4*x + 6 for s.
2
Suppose 0 = 4*h - 7 - 1. Solve -2*k - 4*f + 4 = 0, 0 = -5*k + h*f - 0*f - 14 for k.
-2
Let u be 3*4 - 4/(-4). Let l be (-2 + u)/1 + 3. Solve -2*x = -4*o - l, 1 = 4*o - 3*o - 5*x for o.
-4
Suppose 8 = 3*s - 4. Solve -4*y = 2*b - 2*y - 8, 5*y = -s*b + 19 for b.
1
Let r(n) = -n**3 + 5*n**2 - 4*n + 2. Let a be r(4). Let t be -1 + (a - -3 - 2). Solve -4*d + t*c + 25 = 7, 0 = -c - 1 for d.
4
Let g = -1 - -3. Let v be 22/6 - g/3. Suppose -3*a + 9 = 5*h, 4*a + 0*h = h + 12. Solve -5*b + 37 = -a*f, 5*f + v*b + 3 = -2 for f.
-4
Let m be ((0 + 1)/((-8)/32))/(-2). Solve -m*z - 2*z + 4*u + 20 = 0, 5*z - 22 = 4*u for z.
2
Let d(k) = -k**3 - 2*k - 2. Let j be d(-3). Suppose -4*b = -20, -r = r + 5*b - j. Solve r*a + 10 = -n - 0*a, -9 = 3*a for n.
-1
Let c = 7 - 7. Suppose c = -w - 4*w. Solve -j - 5*k - 2 - 7 = w, 3*j - k - 5 = 0 for j.
1
Suppose x + 15 = 4*k, 3*x = -4*k + 2*k + 11. Let b be (-36)/(-8) - x/(-2). Solve b*d = 2*z + 18, -5*z = -3*d + 6 + 1 for z.
1
Let u be (-1)/(-3)*2*6. Suppose -5*d - 4*y - 70 = y, 3*d + 44 = -u*y. Let o be (-8)/d*(9 - 0). Solve -4*v + 13 = w, o*w - 3*w - 9 = -2*v for v.
3
Let g = -4 - -4. Solve -2*y - 5*q + 28 = g, 5*y - q = 3*q + 4 for y.
4
Suppose 2*b + 16 = 2*l, 3*b - b - 5 = -5*l. Suppose l*o = -o + 8. Solve 6 = -v - o*u, -u + 35 = 5*v - 4*u for v.
4
Let z(n) = n**2 - 10*n + 5. Suppose g - 3 - 7 = 0. Let a be z(g). Solve 0 = 3*o + 2*h - 4, -3*h = -o + a*o - 6 for o.
0
Let i(m) = m + 13. Let u be i(13). Solve 2*v = 4*j - 14, 4*v - u = -4*j + 6 for v.
3
Suppose -4*r + 4*o = -20 + 4, -3*r = -5*o - 10. Solve 3*g + r*u - 3 = 0, 7 = 4*g + 3*u + 3 for g.
1
Let q be 0 + 0/(2/1). Suppose -3*x - 5*k + 35 = 0, 0*k + 4*k - 16 = 0. Solve -x*v + 4*u + 1 + 4 = q, -4*v = 5*u + 37 for v.
-3
Let r be (-13)/(-2) - 3/6. Suppose 4 = -z + r. Solve -2*v + 3*v = 2*c - 7, -3*v - 5 = -z*c for c.
4
Let a = 17 - 12. Suppose -a*h + 59 = -16. Solve 0 = -5*t + 3*l + 24, 0*t - 2*l = -3*t + h for t.
3
Suppose -4*u = -14 + 6. Solve 0 = j - 1, -19 = 3*s + u*s + j for s.
-4
Suppose 66 = 4*u + 10. Let o = u + -10. Suppose o*p = 2*k - 14, -2*k - p + 8 = 4. Solve -8 = -k*s - a, 2*a = -2*a + 8 for s.
2
Let n be 0 - (0 + -1 + 1). Let m be -8 + 2/(-6)*-3. Let x = -4 - m. Solve 5*r - 3*g - 8 = n, 0 = -3*r + 4*g - x - 1 for r.
4
Let d(r) = -r**3 - 5*r**2 - r + 1. Let p be d(-5). Suppose -i - p = -3*i. Let x = -64 + 74. Solve -2*j = 4*c - x, 4*j - 11 = -i*c + 4*c for c.
1
Let k(c) = c**2 + 4. Let u be k(-2). Solve 3*i + d = 6, -2*i - 2*i + u = 3*d for i.
2
Suppose 0*m + 4*c + 19 = -m, 2*c = -2*m - 26. Let o = 16 + m. Solve 3*k + 10 = -o*t, 18 - 7 = -3*k - 4*t for k.
-5
Suppose -20 = -5*p + 3*y - 8*y, 4*y + 2 = -p. Suppose -5*z + 5*x = 3*x - 26, 0 = x + 3. Suppose z*n = n + p. Solve 4*d = -a, n*d = -0*d + 2 for a.
-4
Suppose 0 = -4*r - 0*u - 5*u + 61, -3*u - 3 = -2*r. Solve 2*a + 5*o - r = 3, 0 = 2*a - 5*o + 8 for a.
1
Let k = -8 - -28. Solve 0*u + 4*u = -k, 2*u = 2*x - 2 for x.
-4
Let s(z) = -z - 1. Let o be s(-6). Solve -o*a + b - 10 = 0, 2 + 3 = b for a.
-1
Suppose 5*d - 3*j = 39, 3*j + 45 = 5*d - 2*j. Solve 4*z + 7 = 5*f - 22, f - z - d = 0 for f.
5
Suppose -5*k - 443 = -y, 189 = -2*k - y + 16. Let r = k - -136. Let i = r + -22. Solve -3*s + i = -4*t, -4*t + s - 22 + 0 = 0 for t.
-5
Let p be 48/(-40)*(-10)/4. Let x(s) = s - 1. Let l be x(6). Suppose 4*i - g = l, -4*i + 3*g - 6 = -21. Solve 0 = 3*a + 5*j + 17, 4*a + i*j - 16 = p*j for a.
1
Let h(n) = -n**3 + 5*n**2 + 2*n - 10. Let v be h(5). Suppose v = -2*a - 2*a + 12. Solve -5*l - 18 = -2*l + a*s, l - 2*s = 0 for l.
-4
Suppose -5*v = -16 - 4. Solve 3*u = -5*m - 3, -v*u + 5 + 5 = 2*m for u.
4
Suppose 2*q - 6 = -0. Let g be 3/6*(2 + 0). Suppose -2*z - z = -45. Solve -5*n - g = -2*t, 3*n - z - q = -5*t for t.
3
Let t = 32 + -2. Suppose 3*u + 9 = 0, p + p - t = 4*u. Solve 0 = -3*b + 4*k + p, -5*b = -b - 3*k - 5 for b.
-1
Let f(j) = -j + 2. Let b(i) = -i**2 - 6*i + 8. Let p be b(-6). Let n be (-50)/p + (-2)/(-8). Let z be f(n). Solve -4*y + 14 = 2*u, -z*y + 4*u = -4*y - 8 for y.
3
Suppose u + 16 = -3*u + 3*b, 0 = -2*u - b + 2. Let f(i) = -17*i - 1. Let q be f(u). Solve 0 = -z + 1, 3*p - z = 8*p - q for p.
3
Suppose r = 2*s + 22, -2*r = -5*r - 3*s + 30. Suppose 3*q = r - 2. Suppose 0 = -5*h + 26 + q. Solve -2*b + 2 = -4*j, j - 4*j + h = -3*b for j.
-3
Let s = 8 + -4. Suppose -2 = -s*t + 10. Suppose 3*v - 3*z = -0*v + 75, -157 = -5*v - t*z. Solve -4*q + 2*n + 11 - v = 0, -14 = 2*q + 4*n for q.
-5
Let h(m) = 3*m*