 - 5*u - 6, 0 = 4*s - 5*u - 17 for s.
-2
Suppose 92*m - 17*m + 57*m = 660. Let w be 19/7 + 4/14. Solve 5*v = m*h + 4 - 34, 0 = -h - 2*v - w for h.
3
Let z = -9 + 15. Suppose -13*a + 12 + 14 = 0. Suppose r + 2 = -a*l, -3*r + 3 = l - z. Solve -x = 2, -5 = -r*q + x + 17 for q.
5
Suppose z = -4, -8 = -5*q - 4*z - 9. Solve 3*u = -3*c + 24, q*u = 2*c - 4*c + 19 for c.
5
Suppose -d = -6 - 4. Let c = 158 + -156. Solve 0*r - 5*o - 8 = -r, c*r - 4*o - d = 0 for r.
3
Suppose 8*q - 71*q = -630. Solve 3*u = -v - 6, -5*u - v = -6*v + q for u.
-2
Let d be 4 - (0 - 2/1). Suppose 0 = -3*c - 4*o - 3 + 4, -3*o = d. Suppose -1 = 5*z + 4*y, 9 + 2 = -c*z - 5*y. Solve u + 3 = z*j, 3*j = 4*u + 3 - 0 for j.
1
Let l = 4 - 1. Let g be 4 - ((-12)/4 - -1). Suppose b + l = g. Solve 23 + 2 = y - 5*x, -4*y = -b*x - 32 for y.
5
Let q be (-1)/4 + 94/(-8). Let r = 2053 + -2047. Let u be 15/6 - r/q. Solve 4*l - u*t = -t + 8, 10 = 5*t for l.
3
Let d = 254 - 254. Solve 2*g - 7*i + 5*i = 2, d = 3*g + i + 9 for g.
-2
Suppose 6*w + 4*p = 2*w + 48, 2*w - 12 = -5*p. Solve 2*s = -3*t + 19, 3*t + 3*s - w = 5 for t.
5
Let v(h) = h**3 - 5*h**2 - 8*h + 13. Let q be v(6). Suppose -4*a + q = -19. Let d be (-9)/(-12) + 9/4. Solve -d*t + a*o - 2*o + 27 = 0, t - 25 = 5*o for t.
5
Suppose 991*f - 989*f = 16. Solve 5*v = 2*j - 17, -5*v = -2*v + j + f for v.
-3
Let n(p) = p + 13. Let q be n(-7). Suppose 0 = 2*r + 4*d - 20, -d + 6*d = -2*r + 25. Solve -4*g = 3*v + q, -g + 4*g + 2*v + 5 = r for g.
-3
Let f(b) = -2*b**3 - 37*b**2 + 17*b - 38. Let p be f(-19). Solve p = -4*x + 5*c + 28, -4 = 2*c + 4 for x.
2
Suppose 6*c + 6 = 3*c. Let w be (-646)/95*5/c. Suppose 4*f - 2*s + 7*s = w, 0 = -5*f - 4*s + 19. Solve -5*t + 23 = -t - f*v, -v = 4*t - 19 for t.
5
Let c(g) = g**2 - 8*g + 7. Let k be c(7). Let p(w) = 2*w - 1. Let d be p(3). Suppose t - d = -k. Solve z - 2*j - 4 = 0, j = t*z - 3 + 1 for z.
0
Let p(l) = 16*l + 226. Let v be p(-14). Solve -5*j = -v*m - 12, -2*m + 4*j = 2*m for m.
4
Suppose y + 40 = 9*y. Suppose 2*q = y*f, 0*f = -4*f - 5*q. Solve -a - 4*d + 3 = f, d = a + 3 + 4 for a.
-5
Suppose t + 216 = -2*t. Let q be (25/(-20))/(2/t). Suppose -q = -5*z + 45. Solve 0*m + 5*g = -2*m + z, m + 17 = 4*g for m.
-1
Let a be 1 - -1 - (2 + -2). Let h = 4 - a. Solve z + 1 = 3*g + h, -5*z - 3*g = 31 for z.
-5
Let t(g) = -4*g**2 - 46*g + 29. Let p be t(-12). Solve -p*u - 4*q - 6 + 29 = 0, 18 = 4*u + 3*q for u.
3
Let j(q) = 4*q**2 + q - 1. Let s be j(1). Let k = 11 + -8. Let i = -2471 - -2478. Solve 3*l - 1 = -2*o - 6, -k*l - i = s*o for o.
-1
Let o be (-1 + 4/8)*14. Let r = -5 - o. Suppose -r*i = 2*b - 0*i, b - 5*i = 0. Solve 0 = -2*n, 2*h + 0*h - 2*n + 8 = b for h.
-4
Let z(h) = 2*h - 8. Let g be z(4). Solve g = -5*m - x + 15, 0*m = -m + 4*x + 24 for m.
4
Let m(r) be the first derivative of -r**4/4 - r**3/3 + 3*r**2/2 - 6*r - 8. Let a be m(-3). Solve -3*d - 5*o - 16 = 0, -a*o - 4 = 4*d + 10 for d.
-2
Let a = -3 + 3. Suppose 11*p - 8*p = a. Solve p = k + t + 1, 2*k = t + 10 + 3 for k.
4
Suppose 4*u + 4 = 0, 3*c - 6 = 2*c + u. Let t(w) = -w**3 + 4*w**2 + 2*w - 9. Let f be t(4). Let v = 11 - f. Solve c*s - p = -v, 4*s + 4 = -p - p for s.
-2
Let k be 1/1 + -3 + 24 + -18. Solve 0 = -k*p + 12, 0 = f + 5*p - 1 - 15 for f.
1
Let j = 62 + -81. Let q = 23 + j. Solve -5*x = q*a, x + 2 = -a + 3 for x.
-4
Suppose 0 = -0*z + z + 1. Let b be (13 - -11) + (z - -1 - 0). Solve -2*n + 3 = -2*o - 3*n, 4*o - 4*n = b for o.
1
Let h = 1918 + -1913. Solve 0 = -h*t - 4*c, -4*t + c + 41 = -4*c for t.
4
Let j be -4 + 5 - 5/1. Let b be j*((-4)/(-1) - 5). Solve o + 17 = -0*o + b*k, 3*o = 4*k - 19 for o.
-1
Let l = -474 + 479. Solve -2*w + 5*z = 26, -l*w + 3*z - 14 = 13 for w.
-3
Let v be (-4 - (-52 - -3)) + 4. Let b be (-4)/14 + 112/v. Let n be (15/10)/(6/16). Solve -b*r + 2*m = 8, r - n*m = -0*r - 10 for r.
-2
Suppose 4*v + 0 = 20. Suppose v*k + 10 = 4*h, 3*k - 2*h = 2*h - 14. Solve 18 = 2*q - 4*c - c, -2*q + 4 = k*c for q.
4
Let u(d) = -d**3 - 2*d**2 + 4*d + 5. Let l be u(-3). Solve 4*k = -4*a + 4, -l*a - 3*k - k = -4 for a.
0
Let v = 105 + -74. Suppose 8*w - 1 - v = 0. Solve 3*k = -3*m + 3, -m - 7 = -w*k + 9*k for k.
-2
Let j be ((-6)/(-3))/((-2)/(-3)). Let n be -1 - -4 - ((-88)/(-1))/(-2). Let h = n + -42. Solve -2*l - d + 6 = 0, 5*l - j*d = -h - 2 for l.
1
Suppose -6*w - 55 = -w. Let r = 14 + w. Solve -3*p - 5*n - 22 = 0, 5*n - r*n = 2*p + 4 for p.
-4
Let u(a) = 3*a - 24. Let s be u(10). Let z be (-54)/(-10) + s + (-96)/15. Solve 0 = -b + 2*l + 13, z*b = -l - l + 5 for b.
3
Suppose 3*k + 0 = 3*x + 33, 0 = -2*k + x + 24. Solve 2*z = f - k, 4*f - 32 = -2*z + 6*z for f.
3
Let j(m) = -3*m + 3*m + 34 + 4 + 2*m. Let v be j(-19). Solve v = 4*p - p + 2*z - 12, -5*p + 20 = 3*z for p.
4
Let v = -214 + 220. Solve 0 = -2*w - 8, 0 = b - v*b - 3*w - 22 for b.
-2
Suppose 0 = -9*c + 6*c - 2*h + 17, 3*c - 5*h - 10 = 0. Solve 0*t = -5*t + q - c, 2*t - 5*q = -25 for t.
0
Let n(m) = m**2 + 2*m - 4. Suppose -a = -4*b - 21, -4*b - 2*a - 2 - 4 = 0. Let l be n(b). Solve -15 = -5*x + 2*w, 22 + 18 = 4*x + l*w for x.
5
Let a be 16 + -6 + -2*1. Let z(p) = p**2 - 8*p + 4. Let m be z(a). Suppose m = 5*w - 4*d - 22, -w = -d - 6. Solve -w*y + 5*y - 12 = -2*x, -8 = -x - 2*y for x.
0
Let j = -813 + 816. Solve 0 = 2*h - j*y + 11, 0*h - 10 = -2*h - 4*y for h.
-1
Let q be (60/(-48))/((-1)/4). Suppose -33 = q*s - 43. Solve -2*w = -s*o, -24 = -0*o - 2*o - 4*w for o.
4
Let f = 698 + -696. Solve -4*w + f*n = -10, -10 = 3*w - 5*w + 2*n for w.
0
Let r(q) = -21*q - 11 - 2 - 6*q**2 + 1 + 5*q**2. Let f be r(-21). Let g be (-5 + 1)*9/f. Solve 4*b - g*b = -5, b = u - 10 for u.
5
Suppose -5*p + 3*w = -94, -2*p + 6 = -3*w - 37. Solve -t = 5*b - p, 4*b = -4*t + 7 - 3 for b.
4
Suppose -5*s - 3*d = -9, -10 + 5 = s + 4*d. Solve -2*u - a = a - 4, -s*u = -3*a for u.
1
Suppose 0*a - 2 = 2*a, 5*q - 20 = 5*a. Solve -2*s + 2 = q*x, -3*s + 2*x = 27 - 4 for s.
-5
Let j = 179 + -171. Solve 2*l + j = 5*b - 12, 0 = 2*l - 2*b + 14 for l.
-5
Suppose 2*n - 3 = 29. Suppose -1130*w + 30 = -1120*w. Solve 4*y + 3*v - 19 = 0, -4*v + 0*v + n = w*y for y.
4
Suppose 128 = 67*p + 128. Solve -3*s - 5*a - 22 = 0, -2*a - 5 = 5*s - p*s for s.
1
Let m be (-14)/49*(-10 - -3). Solve -n + m = 3*v, -2*v + 3*n + 7 = -2*n for v.
1
Let z be 4/5*(65 - 45). Solve 1 = -c - 2*x, 2*c - 3*x - z = -4 for c.
3
Let z(x) = -x**3 + 121*x + 5. Let p be z(11). Solve -p*a + 4*c + 28 = 7*c, -5*a = c - 26 for a.
5
Let h be (-6)/(-12) + 5/10. Solve 4*v = -4*g - 4, 4*g + h = -3*v - 3 for g.
-1
Suppose -24 + 9 = -5*m. Let i(k) = -k**3 + 17*k**2 + 20*k - 38. Let g be i(18). Let z be -8 + 4 + 26 + g. Solve 5*q = 12 - 32, m*h - 2*q = z for h.
4
Suppose -6*l - 12 = 4*u - 3*l, -l - 4 = 3*u. Suppose u = -7*t + 5*t + 40. Solve 0 = -5*c - 5*f - t, 3*c = -2*f - 3*f - 10 for c.
-5
Let n(o) = 2*o**3 + o**2 - o. Let i be n(1). Let x be (-255)/34*(4 + 152/(-20)). Solve -5*z - 2*r - x = 0, i*z + 5*r = -4 - 11 for z.
-5
Suppose 0*v - 40 = -2*v. Suppose i - 39 = -v. Solve 2*a - n - i = -2*a, -n - 3 = 0 for a.
4
Let n = 63 - 34. Let z = -31 + n. Let r be z/(-2)*3/1. Solve m - 7 = -4*h + 5, 2*m = -r*h + 4 for m.
-4
Suppose 57 = 4*r - 43. Let w = r + -29. Let k be w - (3 + -7) - -4. Solve k*q = 5*m - 0*q - 16, 0 = 5*m + 2*q - 22 for m.
4
Let k be 36/63 - (-188)/14. Let w be 2/((k/(-4))/(-7)). Solve 0 = 3*x - 4*t - 11, 4*x - 2*t - w = 14 for x.
5
Suppose -8*g + 72 = -3*g - 3*b, -5*g + 2*b = -73. Let v be 2 - 1/(-3)*0. Suppose -f - 4*p = -7, -v = f + 2*p - 7. Solve y = -u - u - 11, -f*u = y + g for y.
-3
Let u = -75 + 74. Let d be (-1 + u/3)/(44/(-528)). Solve -m + d = -3*c - c, -4*c - 5*m - 16 = 0 for c.
-4
Let p = 142 + -139. Solve g - o = 4, p*o + 12 = 4*g - 1 for g.
1
Let t be 2*(-2 - ((-10)/4 - -3)). Let p be (-12)/20*t - (0 + -9). Solve -3*c - p = -4*v, -4*c + 10 - 26 = -v for c.
-4
Let m = 1505 - 1503. Solve -2*z - 10 = z + 5*c, -3*z = m*c + 4 for z.
0
Let f = -355 - -359. Solve 2*u - f*r = -0*r - 6, -3*r = -4*u - 7 for u.
-1
Suppose -36 = -4*s + 3*f, -s - s = f - 18. Suppose 0 = -4*k + 5*g + 7 + s, 0 = k + g - 13. Solve 3*q = -o - k, 0 = 3*o - 4*q - 25 for o.
3
Suppose -3*k + 6*k + 183 = 0. Let q = k - -88. Suppose 7 = -5*n + q. Solve -3*v + 2*w + 5 = 0, 0 = -2*v + n*w - 2*w + 2 for v.
3
Let b = 38 - -12. Let f = b + -46. Let o = 29 - 19. Solve -