-s*u + 6 for o.
0
Let z(l) = -65*l - 258. Let j be z(-4). Solve -a - j*u - 3 = -0, 0 = -2*u for a.
-3
Let u(a) = -12*a - 6. Let r be u(8). Let l = 107 + r. Solve -13 = -5*n + 2*o, -o - 2 = l*n - 3 for n.
1
Let t = -94 - -99. Solve -3*s - 2*l = 5 + t, -12 = 4*s + 4*l for s.
-4
Suppose 2*g + 3*g - 4*p - 46 = 0, 0 = -2*p - 8. Suppose 9 = 5*t - g. Solve 14 = a - 2*j + t, -5*a = -4*j - 37 for a.
5
Suppose -2*j + 52 = 11*j. Solve -j*u + 5*b = 12, 4*u + 7*b - 9*b = 0 for u.
2
Let g be (-1 + -2)*2/(-2). Suppose -k = z - 4, g = -3*z + k + 7. Solve i = p - 5*p + 23, -21 = -z*i - 3*p for i.
3
Suppose -58 = -5*j - 4*p - 0*p, -22 = -3*j + 4*p. Suppose 11 = y + j. Solve 2*i = 2*t - i - y, -t = -i - 1 for t.
2
Let o be 225*56/(-40)*4/(-14). Let n = o + -87. Solve 2*q = 3*r - 7, -4*r - 18 = -r + n*q for r.
-1
Let i be 279/15 - (-4)/10. Let z = i + -14. Solve -4 = 2*t, -3*x + 0 = 5*t - z for x.
5
Let a = -11 + 14. Let d be (2 + a/(-6))*2. Suppose -5*m = d*j, -2*m = j + 3*m. Solve -f + 4*h + 3 = j, 9*h - 4*h + 5 = 0 for f.
-1
Let d(p) = p**2 + 6*p - 22. Let l be d(-9). Solve 3*t + 2*h + 6 = 0, -l*t = -0*t + 3*h + 11 for t.
-4
Let j(t) = t**3 - 7*t**2 + 7*t - 3. Let r be j(6). Suppose -9*p = -r*p - 30. Solve -5*w - 2 = p*b - 3*w, -4*b + 2*w - 16 = 0 for b.
-2
Suppose 2*b = 1 + 3. Suppose -2*k - b = -4. Let t(r) = 9*r**2 + r. Let d be t(k). Solve x = -5*y - d - 3, -10 = -y + 4*x for y.
-2
Let z be (-3)/(-9)*-1*-15. Let x = 4 - 4. Suppose x = a + 2, -b + 0*a = 2*a. Solve -4*t = -z*j + 2, -b*j - t - 17 = 2*t for j.
-2
Let s(x) = -x + x**3 + 3*x - x - 6 + 0*x - 6*x**2. Let v be s(6). Suppose v = -2*h + 1 + 9. Solve h*r + 8 = -a - 1, 2*r = 3*a + 10 for a.
-4
Suppose -58 = 4*f - 3*c, c + 61 = -5*f - c. Let o = f + 17. Suppose 86*y - 28 = 82*y. Solve 0*s + 4*l = s + y, o*l = 2*s + 2 for s.
5
Let d = 11 + -14. Let n = d - 2. Let k(b) = -b**2 - 5*b + 2. Let t be k(n). Solve -5*g = -5*s + s + 36, -s + 12 = -t*g for s.
4
Suppose -678*w = -661*w - 34. Solve -w*n + 23 = 3*d - 0*n, -9 = -d - n for d.
5
Let o be ((-8)/(-20))/((-1)/(-35)). Solve 0 = 4*s - g + o, -5*s + 0*g - g - 13 = 0 for s.
-3
Suppose 11 = 5*z - 69. Suppose -14 - z = -6*o. Solve -3*b + 3*y = 2*b + 3, -4*b - o = -5*y for b.
0
Suppose 9*n = -5*g + 4*n + 85, 5*g - 86 = -4*n. Suppose u = -2*u + g. Solve 2*p + 4*j - u = 0, -j + 12 = 4*p - 4*j for p.
3
Suppose -4*o - 12 = -4*a + 8, 0 = o + 5*a - 25. Let w be 1/(-2)*-2*16. Solve 4*n + 3*m - w = o, n - 3*n + 8 = -5*m for n.
4
Suppose 138 = -19*h + 13*h. Let f = -18 - h. Solve 4*n = -5*w + 5*n - 15, f*w + 15 = -2*n for w.
-3
Suppose -90 = 22*z - 67*z. Solve -4*l + 4*a = 20, -3*l - 7 = z*a - a for l.
-3
Let d be 6/6 - (-15)/(-3). Let o be (-2 + 7)/(5 + d). Let v = -2 + 4. Solve o*j + 10 = -3*x, x + 0 = -3*j - v for j.
1
Let u be ((-24)/9)/(1/(-3)). Solve -2*z = -2*p, -p + 3*z + 4 = u for p.
2
Let d be (-12)/(-10)*(-80)/(-12). Let a(b) = -b**3 + 8*b**2 + 3*b - 20. Let w be a(d). Solve -3*z - 2*s = -0*s + 13, w*z + s = -14 for z.
-3
Suppose 0 = -2*z - k + 1 + 9, -4 = k. Solve -8*u = -z*u + 5, 5 = -2*a + u for a.
-5
Suppose 9*u = 10 + 17. Suppose 4*s + 4*k = 0, k = -u*s + 7 + 3. Solve -w = -s*z - 5 + 10, -3*w - 4 = -4*z for z.
1
Let v(q) = -q**3 + 9*q**2 - 17*q + 31. Let z be v(7). Solve 2*b + r = 8, 3*b - z = r + 7 for b.
5
Suppose 32 = 4*t - 16. Suppose 0 = 3*l - l - t. Suppose -2*s + 5*s - l = 0. Solve -m = s*m - 15, -5*z - m + 5 = 0 for z.
0
Suppose 43 = 24*b - 77. Solve 2*t + 3 = -b*k - 1, -k = 2 for t.
3
Let w = 1091 + -1079. Solve n + 5 = -2*b, 0*b - w = 4*n + 4*b for n.
-1
Let b be (-19)/(-5) + 16/(-20). Solve -4*c + 4 = -3*c, 3*w - b = 3*c for w.
5
Let r = -35 + 108. Suppose 0*m + 65 = 3*q - 2*m, 4*m = 3*q - r. Solve 3*u + 0*u - q = -z, -4 = -z for u.
5
Suppose -3*f + 2*k + 9 = k, k + 13 = 4*f. Solve z + f*h = -7, 0 + 30 = 3*z - 5*h for z.
5
Let m be -1*5/((-5)/(-2)). Let q = 1 - m. Suppose q*k = -k + 12. Solve a - 4*a = 6, k*p - 7 = -a for p.
3
Let j(m) = 2*m**2 - 15*m + 13. Let l be j(7). Solve 4*h - 1 = -2*o + 1, -5*h = -o - l for h.
1
Let n = 205 + -202. Solve -y = -5*b + 3, 0*b + n*y = 3*b - 9 for b.
0
Let c(u) = 3*u - 12. Let r be c(-4). Let h be (15/(-6) + 2)/(4/r). Solve 5*w - j = -15, -j = 4*w - h*j + 12 for w.
-3
Suppose 5*d - 25 = -5*c, 3*d - 3 = -5*c + 2. Suppose 5*x + 2*n - 64 - 15 = 0, -5*n = -d. Solve 2*m - 11 = -6*l + l, -x = 3*m - 3*l for m.
-2
Suppose -2*c = -8*c + 96. Let t = 30 - c. Solve 2*q = -4*i + t, -4*q + 23 = 3 for i.
1
Suppose -4 = -f + 4*j, 0 = 5*f - 2*j - 3*j - 50. Suppose 5*x = 3*x + 22. Let v = 24 - 19. Solve 0 = -2*p + v*q + x, 3*p - 3*q - f = -0*p for p.
3
Let a = 9 + -6. Suppose a*z = -0*z. Suppose z = -3*v + 8 + 7. Solve 0*i + 13 = 4*i + 5*f, 5*i - v*f + 40 = 0 for i.
-3
Let b = -16 + 14. Let p be 4 - 2*3/b. Let h be ((-4)/p)/((-12)/42). Solve 0 = -4*v - 20, -5*g = -h*v + 3*v + 10 for g.
-1
Let w be ((-1)/(-3)*-23)/((-2)/6). Suppose -10*t + 17 = -w. Solve -3*q - 1 = 3*j + 8, -t*j = 8 for q.
-1
Let r(j) = j**3 - j**2 - j - 11. Let u be r(3). Solve -u*a - 1 = -3*a + 4*b, 4*b + 13 = 3*a for a.
3
Let k = 151 + -148. Solve -24 = -2*n - 4*l, -k*n = 4*l - 3*l - 11 for n.
2
Let f be 2 - (3 + -2)*-3. Suppose 0*x + 4*x = -f*z + 10, x = 2*z - 4. Suppose 9 = -z*n + 13. Solve -p - 8 = n*o, -o - p + 1 = 5 for o.
-4
Let j = 75 - 103. Let z = 33 + j. Solve -4*k + 0*k = z*i - 5, 5*i - 20 = -k for i.
5
Suppose 54 - 12 = 21*z. Solve h = -y - 1, z*h - 15*y + 13*y = -2 for h.
-1
Suppose 0 = t - 124 + 119. Suppose m + p = -2*m + 28, 24 = 5*m - 4*p. Let q = m - 5. Solve -2*s - 2 = t*k + 6, k = q*s + 12 for s.
-4
Let z(a) = a**2 + a - 48. Let n be z(0). Let i = n - -50. Solve 3*x = 2*r + 15, -3*x + 5*r + 5 = -i*x for x.
5
Let r = -12 - -18. Let p = 35 + -33. Suppose 0 = -5*q + q + 8. Solve p*b - 2*i + 18 = 6*b, -2*i = -q*b - r for b.
2
Suppose 3*p + 12 + 94 = 4*d, 2*d - 4*p = 58. Suppose -d*t + 75 = -10*t. Let b = 5 + -2. Solve 40 = -5*o + t*c, -o + 6 = -b*c + 24 for o.
-3
Let r = -117 + 80. Let w = 41 + r. Solve -5*c + 11 = -w*v, 5*v = -4*c + c - 23 for v.
-4
Suppose -18 = -4*c - 2*y, 8*y - 3*y = 2*c - 15. Let g = 10 - c. Let b be (3 - 3) + (3 - 1). Solve 2*o = 2*h - h - g, -b = 2*o for h.
3
Suppose -5*s + 0*s - 4*d = 730, 0 = -3*s + d - 455. Let w be 3/((-1)/5*s/20). Solve -27 = 5*c - w*n, -5*c + n - 30 = -4*n for c.
-5
Suppose w = -4*d + 14, -4*d - 6 = 3*w - 16. Let y be (-32)/d - -3 - -6. Solve i - y = -o + 1, 0 = -3*o - i + 2 for o.
0
Suppose -30 = -4*v - 4*a + 2*a, 2*a + 15 = 5*v. Suppose 14 = 3*u - u + 3*w, 4 = w. Solve 2*r + h = 2, r - v*h = -2*h + u for r.
1
Suppose w = -3*x + 194, 3*w - 2*x - 604 = -0*w. Let n be (1/4)/(10/w). Solve 4*b = -5*u - 21, -n*u - 3*b = -3*u + 14 for u.
-1
Let m(h) = h - 24. Let r be m(28). Solve -r*s - 2*c = 0, 2*s + 1 = -3*c + 5 for s.
-1
Suppose i - b - 1 = 0, 0*i + b - 3 = -i. Suppose z + 21 = -4*n, -i*z - 4*n + 2*n = 18. Let x = 15 + z. Solve 5*q + 2*l = x, 0 = -2*q - 0*l + 3*l + 4 for q.
2
Suppose 2 = -11*v + 10*v. Let o be v*1/9 - 140/(-63). Solve -o*z = 2*p + 18, p + 3*z + 14 = -3 for p.
-5
Let s = 126 + -124. Solve -2*z - 8 = s*y, -7*z + 8 = -3*z - 2*y for z.
0
Suppose -12*z + 105 = 9*z. Solve z*j - 5*l = 45, 21 = 4*j + l + 5 for j.
5
Suppose -19*u + 14 = 5*c - 17*u, 3*u - 6 = 0. Solve 5*p - l = -c, 5 = -0*p - 2*p - l for p.
-1
Let z(u) = -56*u - 256. Let y be z(-5). Solve -s + 3*o = 8 - y, -5*o = 4*s + 4 for s.
4
Let b be (((-336)/35)/(-6))/(6/75). Solve 5*j = 5*s - b, j + 0*s - 2 = -5*s for j.
-3
Let l(u) = u**3 + 4*u**2 - 7. Let d = 14 - 17. Let w(k) = 4*k + 9. Let z be w(d). Let b be l(z). Solve -2*a + 19 = -5*q, -b*a = -3*a + 2*q + 8 for a.
2
Let y = -338 + 340. Solve -a + 2*l = a + y, -2*a = l + 5 for a.
-2
Let h(d) = d**2 - 5. Let p = -36 - -39. Let z be h(p). Solve 5*k - 2*w = 2, -k + 3*k = 4*w + z for k.
0
Let n = 1068 - 1068. Solve r - 5*r + 3*f + 18 = n, -r + 3*f = -9 for r.
3
Suppose 0 = 1056*v - 1068*v + 120. Solve -6*o + 11 = -3*y - 5*o, o + v = -4*y for y.
-3
Let c = 267 - 265. Solve 5 = 5*m - 3*s, -c*m + 10 = 3*m - 2*s for m.
4
Let h(k) = -k**3 - 7*k**2 - 18*k - 21. Let v be h(-4). Solve 0 = 4*a - 2*w + 2, -2*a + 4 = -v*w - 1 for a.
-2
Let x = 31 - 26. Suppose -90 = -i - x*i. Solve -5*k = -0*k - 2*q + i, 5*q = -k - 3 for k.
-3
Let q = -26 - -38. Let b(s) = s**2 - 13*s + 12. Let z be b(q