se 5*z + 3*s - 31 = 4, 4*s + 7 = z. Solve 0 = 4*o - y - 12, 12 = z*o - 3*o + 3*y for o.
3
Suppose h + 4 = 1. Let b be -3 - 4/h*6. Solve -w - 3*q = -12, -b*q - 3 + 15 = -w for w.
3
Let j be -2*6/3*1. Let u = j + 6. Solve -g + l + u = 0, 0*g + 4*l = -3*g + 27 for g.
5
Let h be ((4/10)/1)/((-2)/(-10)). Solve 0 = h*n - 3*t - 25, 2*t = -11 + 1 for n.
5
Let t be 14/7*3/2. Suppose s - t = -0. Solve -2*y - 3 = -s*c, -5*y + 2 + 10 = -c for c.
3
Let b = -11 - -8. Let d = 0 - b. Solve 4*i - d*r + 4 = -5*r, -r - 3 = i for i.
1
Suppose -14 = -4*a + l - 4, 0 = 4*a + l - 6. Suppose -a*x = -4*x + 4. Let b be 3 - 2 - (-3 + x). Solve 8 = b*j - 2*h, -2*j - 2 = -j + 5*h for j.
3
Suppose -4*f + 4*y = -y - 60, -16 = 4*y. Solve 5*p - 1 = -2*o - f, -p = -3*o + 12 for o.
3
Let g(r) = 2*r - 6. Suppose k + 3*k + 5 = x, 4*x - 20 = 5*k. Let z be g(x). Let o be ((-10)/6)/(1/(-3)). Solve -6 = 2*w, z + 1 = -5*p + o*w for p.
-4
Let m be ((-10)/(-6))/((-10)/(-30)). Suppose 5*u - 35 = 3*l + 2*l, -m*u = l - 23. Solve -4*j + 23 = u*b - 3*j, -3 = 3*b - 5*j for b.
4
Suppose -2*j + 3 = r, j + 4*r + 0*r = -9. Let b = j - 4. Let x = b + 5. Solve 5*v - 21 = -x*n, 2*n - n = -5*v + 24 for v.
5
Let u be (-15)/20*-4*1. Let k be 1 - (u + 16)*-1. Let f be 72/5 - 8/k. Solve -3*z = -15, 2*i = 5*z - 1 - f for i.
5
Suppose 5*i - 1 = 14. Solve 0*j - j = -g + 2, i*j = 5*g - 2 for g.
-2
Let y(d) = -d - 4. Let w be y(-4). Let f(m) = 8 + m + 3 - 11. Let q be f(0). Solve u - 4*b - 21 = q, u + 0*b - 5*b - 25 = w for u.
5
Let s(o) = o**3 - 4*o**2 - 3*o - 7. Let d be s(5). Solve -4*c = -5*p - 2, 3*p + d*c = 8*c - 9 for p.
2
Suppose 3*u = u - 2, 0 = -3*c + 5*u + 35. Solve -3*p - c - 5 = -3*r, -3*p - 5*r = 15 for p.
-5
Let g = 10 - -8. Let n(i) = i**2 - 4*i - 7. Let v be n(6). Solve 0 = -v*h + r - 24, -2*h - h - g = 3*r for h.
-5
Suppose -5*h - 3*k = -37, -4*h + 40 = k + 4*k. Suppose -u = h*q - 4*u, -q + 4*u = 0. Suppose q = -z - 1 + 5. Solve -5*a = 2*t - 28, 5*t - a - 12 - z = 0 for t.
4
Let z be (-2 + 16/10)*5. Let g = z - -2. Let f = 8 + -3. Solve 4*u = f*u - k, g = k - 5 for u.
5
Let b be (-24)/(-3) - (1 - -1). Suppose -5*m + b*m - 5 = 0. Let g be (-7)/(-3) + (-4)/12. Solve -2*y = -2*r + 7*r - m, 2 = -4*y + g*r for y.
0
Let z = -191 - -191. Solve 1 = g - 3*b, 2*g + b + z*b + 12 = 0 for g.
-5
Suppose 40 = -24*w + 26*w. Solve 14 = -3*h + 2*t, w = -4*h + 3*t + t for h.
-4
Let n be (-2)/(-7) + 23/(-7). Let j = -10 - n. Let d = 20 + j. Solve y = 4*r + d, 2*y - 3*r + 0*r = 11 for y.
1
Suppose k = -13 + 37. Suppose 36 + k = 3*y. Solve 20 = 4*o - 2*o + 3*c, 5*c = y for o.
4
Let a(b) = b**3 + b**2 - b + 2. Let j be a(0). Let t = 3 + j. Solve 0 = -h - 2*c, 0*h + t*h - 5*c = 0 for h.
0
Suppose -y + 5*y = 8. Suppose -d + 1 = -a, 3*d = 5*d + 4*a - y. Solve -3*g + 2*u = d, 3*g + 3*u + u + 7 = 0 for g.
-1
Suppose 0 = 5*n - 4*z + 6, 2*z - 7 - 1 = 0. Suppose -9 = -n*j + 3. Let m be j - -1*2*-1. Solve 2*p - 31 = 3*t - 8*t, -m*t + 17 = -p for t.
5
Let y = -26 + 39. Let n = y - 7. Suppose 2 = -2*w + 8. Solve -o - w*p = 0, -3*o - n*p = -3*p - 6 for o.
3
Let c(b) = -4*b - 1 + 10*b + 4*b - b. Let p be c(-1). Let y = -8 - p. Solve y*g + 2*k + 0 = -6, 0 = 2*g - k - 6 for g.
1
Let s(j) = -j**3 + 7*j**2 - 7*j + 1. Let f be s(5). Suppose -f = 2*h - 46. Solve -5*r - 5*l + h = 0, 0 = 5*r - 0*l + 2*l - 21 for r.
5
Suppose 0*h + 12 = 4*h. Suppose 5*m = -2*i - 9, -2*m + h*m + 6 = i. Solve i*q - 4*d + 2 = -1, -2*q + 4*d = 2 for q.
-1
Let u(w) = -2*w + 6. Let o be u(5). Let g = 30 - o. Suppose 2 = -4*f - 3*d + g, 3*f + 1 = 4*d. Solve f*r + 0*i = i + 2, -4 = -3*r + 2*i for r.
0
Suppose 4*t + 2 = 10. Suppose t*q - 13 = -4*l + 1, -4*q - 4*l = -24. Solve -4*j - 10 = -3*j + 5*k, q*k = 2*j - 25 for j.
5
Let w = 23 - 11. Solve 5*p - 20 = 5*g, 4*g = -3*p - 0*p + w for g.
0
Let z = -8 + 10. Solve -5*o = 0, 4*b + 4*o = -z + 6 for b.
1
Suppose -n - 3*x = -12, -4*n + 5*x + 2 - 22 = 0. Solve -y - 2*l + 5 = -n*l, 15 = 3*l for y.
-5
Suppose -4*l - 2*u + 22 = -0*u, -4*u + 23 = l. Solve 0 = l*m - 3*r, 2*m - r + 4 = 2*r for m.
4
Let s be 2/(-1)*2 - (-12 - -6). Solve 6*v + 4*g = 3*v + 3, -v + s*g = 9 for v.
-3
Suppose 5*l - 27 = 3*q, -l + 5*l - 20 = 2*q. Solve 0 = 2*v + 2, -6*o + 2*v = -l*o - 14 for o.
4
Suppose 3*w + 2*n - 12 = -w, -4*n = -5*w + 28. Suppose w*o = o + 9. Suppose 3 = -6*p + o*p, -3*a + p = -52. Solve -3*s = -9, a = -2*i + 2*s + s for i.
-4
Let b(j) = -5*j + 1. Let r be b(-1). Suppose -2*g + 12 = -5*g - 3*z, -2*z - 12 = 4*g. Let l be (-8)/12*6/g. Solve d = 2*s - r, 3*s = l*s - 5*d + 14 for s.
4
Suppose 0 = -6*p + 3*p + d - 1, 2 = 3*p + 2*d. Let l = 11 + 1. Suppose p*w + l = 3*w. Solve 0*r - j + 19 = -5*r, 18 = -w*r - 2*j for r.
-4
Let w(r) = r**3 - r**2 + r + 5. Let g be w(0). Let l be g - 0*1/(-2). Suppose 0 = -3*h + 6 + 18. Solve -2*j + 3*t + 12 = j, -l*t + h = 2*j for j.
4
Let k be -1 + (0 + -1)*-6. Suppose 5*h - 18 = 32. Solve -h = -p + 4*p - a, a = -k*p - 30 for p.
-5
Let w = 2 - 3. Suppose 0 = 2*b - 10. Let l = b + w. Solve -3*o + 2*a - l = 0, o + 5*a = 4*a + 2 for o.
0
Suppose 0 = -2*s + 16*s - 98. Let i be ((-2)/(-2))/1 + 1. Solve -2*f = -i*y - 4, 2*f - s*f + 5 = 0 for y.
-1
Let g = 3 + -3. Suppose g = 5*k - 2*k. Let j be k/(1 - 0) - -1. Solve l + 1 = -2*h + h, j = l - h for l.
0
Suppose v + 2*v = 6. Let b = 3 + v. Solve -2*o + 4*u + 15 = 3*o, o = -b*u + 3 for o.
3
Suppose 6*l = 3*l + 6. Suppose -c + 8 = j - l*j, -3*c + 28 = -4*j. Let f be (2/j)/((-1)/8). Solve 3*a = -x + 12, 2*x - 21 = -x - f*a for x.
3
Suppose 5*j + 4*n = -0*n, -5*j + n + 25 = 0. Suppose 0 = 5*a - 14 + j. Suppose -a*v = v. Solve r + v*w = -4*w - 11, r + 2*w = -5 for r.
1
Let m = -12 + 9. Let g(t) = -3 + 3*t - 2*t - 3*t**2 + 4*t**2. Let l be g(m). Solve -l*w + 2 = -4*f, 6*f - 3*f = -5*w - 16 for w.
-2
Suppose 0 = l + l - 10, 0 = -5*m - 5*l + 85. Let y = 20 - m. Solve -5*j = -a - 0 + 2, -2*a - y = 2*j for a.
-3
Suppose j + 20 = -3*j. Let h = j + 8. Suppose -5*z + 4 = -2*z + 2*d, -2*d - 4 = z. Solve 4*q = z*v + 16, -4 = v - h for q.
3
Suppose -5*x = -2*x + 30. Let p = 14 + x. Suppose -5*h + 6 = -p. Solve 7*n - h*n + 3*a - 25 = 0, -n + 4*a = 18 for n.
2
Suppose 0 = -m - m + 6. Let q be (-51)/(-12) + m/(-12). Solve q*n - 5*i = -23, 2*n + 2 = -2*n - 2*i for n.
-2
Suppose -c - 40 = -4*c - 5*r, -2*r + 15 = c. Solve -w = 4*f - 5*w, -c*w = f + 18 for f.
-3
Let r(x) = -x**3 - 5*x**2 - 3. Let k be r(-5). Let y be 0/(1 + (k - -1)). Suppose y = -3*c + 4*c. Solve b = 5*b + p - 12, c = 5*b - 4*p + 6 for b.
2
Suppose 0 = 3*j - 36 - 24. Solve p + 3*g + j = 0, -2*g = 4*p + 2*g + 40 for p.
-5
Let w(v) = v**2 - 6*v + 4. Let a be w(5). Let c be a/(66/34 - 2). Solve -2*n = -4*q - 0 - 4, 5*n - c = 3*q for q.
1
Let p = 8 - 6. Suppose 1 = -p*m + 7. Suppose -13 - 7 = -5*u. Solve u*z - 2*z + 3 = c, -m*c - 4*z = 31 for c.
-5
Suppose -2*j + 0*z = 3*z - 7, -2*j + 8 = 4*z. Suppose 3*u = j*u. Solve u = 5*i - 7*q + 4*q + 1, -i + 4 = -2*q for i.
-2
Suppose -n = -0*n - 5. Suppose -13 = -n*r + 22. Solve -b = -3*l + 2*l + r, 5*l - 27 = b for b.
-2
Let v(i) = -i + 13. Let y be v(10). Suppose z - 8 = -y*z. Let k be 2/((-12)/(-39))*z. Solve 0 = -5*a - 2*c - c - k, 2*a + 30 = 5*c for a.
-5
Let p = -103 - -106. Solve -2*r = -4*r - 2, -p*w - 3*r + 3 = 0 for w.
2
Let n be 5 + 8/(-1) - -8. Solve 3*v + n*d + 0 = 1, -2 = -3*v - 4*d for v.
2
Suppose 4*c = -2*o + 18, -o = -0*o + 3*c - 11. Let q = 10 - 5. Solve o*d + 30 = q*x, -d = d + 6 for x.
3
Let s = -40 + 49. Suppose 0 = l - 4*g + 8*g - s, 0 = 5*l + 4*g - 13. Let h = -3 - -14. Solve 3*y = -5*m - h, 0*y + m = y + l for y.
-2
Let z be (-3)/(-3) - (7 - 1). Let w = 8 + z. Solve 0 = 4*f + w*x + 4, 0 = 4*f + x - 1 + 5 for f.
-1
Let v be -3 + 1 + 6 + -4. Suppose 0 = -v*u - 3*u, 3 = s - u. Solve 5*z - 6 = 2*o - 3*o, 2*z - s = -o for o.
1
Suppose 2*l - 4 = 5*x, 5*l - 4 = -5*x + 6. Solve -l*z - 2*h - 2*h - 28 = 0, 5*z = 5*h + 5 for z.
-4
Suppose -3*j = -4*c - 7 - 27, 2*j + 2*c = 4. Let p be (-2)/j - (-4)/(-6). Let w = p + 4. Solve a = -2*l - 3, 2*a + w*l = -6 - 0 for a.
-3
Let i = 29 + -36. Let a be i/(28/(-12)) + 1. Solve 5*g = -a*b + 1, -3*g - g = 5*b + 1 for g.
1
Suppose 0 = 4*m - 4*u + 7*u - 21, 2*u = m + 3. Solve 6*b = 3*b + 5*a - 5, -m*a = -5*b + 13 for b.
5
Let z = 7 + -1. Let m be (-27)/z*(-2)/3. Let y = -1 - -6. Solve y*t - 1 = s, -m*t = 2*t for s.
-1
Let