4 for z.
3
Suppose -5*z = -4*z - 5. Let n(g) = -4*g + 44. Let q be n(11). Solve -z*r = p - q*r - 14, -p = r - 2 for p.
-1
Let a = 375 - 372. Solve x + 2*c - 3 = c, -a*x + 2*c - 16 = 0 for x.
-2
Suppose -1 - 6 = -5*y - 2*g, 3*g - 3 = -5*y. Suppose -18 = -y*v - 0*v. Solve 0 = 5*n, -2*w - v*n + 2 = -n for w.
1
Suppose -66 + 78 = 2*z. Let t = -55 - -60. Solve -t*s - z = -s + 2*d, 4*s - 9 = d for s.
1
Suppose 4*o = 19*o. Solve -2*q = -q + 2, -4*d + 4*q = o for d.
-2
Let t(y) = y**3 - 2*y**2 - 3*y + 2. Let m be t(0). Suppose -37*p = -35*p - m. Solve -p = -5*d + 4*h - 24, -3*d - 4*h - 1 = 0 for d.
-3
Let a = 576 + -566. Solve -u - 2*u - 4*q = -7, 5*u + 5*q = a for u.
1
Suppose 0 - 6 = 3*p - 4*v, 3*v - 4 = 2*p. Let g = 5 + p. Let r be ((-20)/(-6) + -3)*6. Solve 4*i - r*i = 2*q + 2, -5*q + g*i = 11 for q.
-4
Let z(h) = 48*h + 242. Let d be z(-5). Solve -6 = 2*s, 0*x + 4*x + d*s = -22 for x.
-4
Let c = 1348 - 1348. Solve a + a + g + 5 = c, -a - 2*g + 5 = 0 for a.
-5
Let m(c) = -c**2 + 10*c - 9. Let s be m(9). Suppose q + s = 3. Let p be q/(-5) - (-65)/25. Solve 7 + 14 = -5*b + f, -2 = b + p*f for b.
-4
Let r(q) = -q**2 - 6*q + 7. Let j be r(-7). Suppose 0 = -n - 2*c - 10, 3*c = 2*n + n - 15. Solve n = -2*w + 4*d - 18 - j, -3*d + 17 = -5*w for w.
-1
Let j(l) = -36*l + 108. Let i be j(3). Solve i = b + u + 5, b + 3*u + 5 + 6 = 0 for b.
-2
Let g be ((-21)/(-28))/(9/48). Let w(y) = y**2 - y. Let n be w(g). Solve 3*o + 5*r + 12 = 0, 3*o + 2*r + n = -r for o.
-4
Suppose -22 = q - 2*q. Let b = -16 + q. Solve 5*a = 8*u - 4*u - b, -4*a - 5 = -3*u for a.
-2
Suppose 0 = -s + 3, 2 + 7 = -3*q + 4*s. Let k(a) = 31*a - 1. Let x be k(q). Solve 10*r + x = 5*r - 5*j, -5*j = -5*r + 20 for r.
-1
Let a(k) = -k**2 + 10*k - 3. Let h be a(4). Suppose m - 3 = -q + 2*m, -2*q + h = -5*m. Let p = 0 - q. Solve 0 = -p*y + t, 3*y + 0*y - 2*t = 2 for y.
-2
Suppose -f - 17 = -5*f - 3*a, -2*a = -2*f + 12. Solve 4*k = -2*q + 4, f*k + 4*q - 4 = q for k.
2
Let c(m) = -2*m + 5*m - 11 - 4*m - m. Let i be 36/(-3) - (-5 + 1). Let g be c(i). Solve -6*b - 8 = -2*b + 2*a, 0 = g*b - 2*a + 10 for b.
-2
Suppose -2*q = -3*m + 15, -4*m + 5*q - 4*q = -20. Suppose 0 = 3*j - 5*z - 127, 51 + 26 = 3*j + 5*z. Solve 4*t - 11 = 3*p, -j = -m*t + p - 4*p for t.
5
Let x(i) = i**3 - 8*i**2 - i + 23. Let y be x(8). Solve 3*m - y = -h, -m = 3*h - 7*h - 5 for h.
0
Let t(w) = -15*w - 238. Let s be t(-16). Solve -h - 3 = -4*j, -h + 7 + s = 2*j for j.
2
Let z(o) = 2*o + 41. Let i be z(-19). Solve -5*q - 2 + 9 = -4*y, -2*y = -i*q + 3 for q.
-1
Suppose -57 = -5*s + 63. Solve 6*o + s = 4*x + 3*o, -3*x - 11 = 5*o for x.
3
Let j(k) = -k**2 + 15*k - 54. Let n be j(9). Solve -5*v + 5 = 5*p, n = p + 2*v - 7*v - 1 for p.
1
Let q = -284 + 287. Solve 2*s + 4 = 3*v - q, 15 = 3*s + 4*v for s.
1
Suppose -2*x = -0*x + 3*i, 3*x = -4*i. Suppose 10*f - 5*f = x. Let p(n) = 2*n + 14. Let a be p(f). Solve m + 24 = c + 3*c, m + a = 2*c for m.
-4
Let j = 6 - 3. Suppose u - 1 - j = 3*f, -5*u - 3*f + 20 = 0. Solve -c = u, 0*g + 5*c + 22 = 2*g for g.
1
Suppose 4*i = -4*z + 392, -5*z + 2*i + 469 = -0*z. Suppose 5*r + z = -0*r. Let o = -17 - r. Solve -o*q = -4*c + 2*c + 14, q + 19 = 5*c for q.
-4
Let j = 4 - -27. Suppose -j*i - 15 = -34*i. Solve s = -5*v + 3 + 2, -i*s = -4*v - 25 for v.
0
Suppose 0 = 2*d + d - 3*u, -4*d - 2*u = -24. Suppose 3*r + 4*t = -8, 4 = r - 5*r - d*t. Solve r*o = -g + 5*g - 16, -o = -3*g + 8 for o.
-2
Suppose 15*d - 19*d = -8. Suppose n = 2*c + 2, -d*n + 0*n = -5*c - 4. Solve -5*b + 0*j - j = -19, 2*j + n = 0 for b.
4
Let o = -1 - -1. Let u(s) = s**3 - s**2 - s + 2. Let b be u(o). Suppose -4*h = -0*h. Solve m - b = -5*i + 4*m, 3*i - 3*m = h for i.
1
Suppose 2459 - 2574 = -5*n. Solve -5*i - p - n = 0, -3*p - 1 = -i + 4 for i.
-4
Let y be (280/(-22))/(-7) + 8/44. Solve -2*u - 12 + 3 = -q, -12 = -2*q + y*u for q.
3
Let o be 174/54 + (-6)/27. Let x(k) = 5*k**2 - o + 3*k**2 + k**3 - 2*k**3 - 3*k. Let n be x(7). Solve -5*r = -n, -q - 3*r + 15 = -4*q for q.
0
Let f(t) = t. Let r be f(-2). Let u = 2 + r. Suppose 5*v - 15 = 2*b, b - 3*v + 9 = -0*v. Solve -4*s + 2*w + 18 = -b*w, -4*w - 4 = u for s.
4
Let n be 8*2/6*-3. Let v be 4/n - 55/(-10). Solve 5*w = v*m + 25, -3*w = -2*m - 22 + 9 for m.
-2
Let o be -3*50/(-18) - 8/24. Suppose o*g - 9 = 5*g. Solve 10 + 6 = -g*w + k, -5*w + 5*k = 30 for w.
-5
Suppose 0 = 4*q - 14 - 2. Suppose -q*j - w + 65 = 0, 2*j + 3*w - 7 - 28 = 0. Let o be (-4)/(-3)*120/j. Solve 3*p - 6*r + 26 = -2*r, 0 = 2*r - o for p.
-2
Suppose 7*d - 13 - 1 = 0. Solve d*i + 3*j = -0*i + 7, -2*j = i - 6 for i.
-4
Suppose -38 = -2*t - 28. Solve -x = -2*a - 4*x + 10, 5*x + 25 = t*a for a.
5
Let q be (-22)/(-4) - 5/(-10). Suppose -3*v = k + 6, -2*v + 10 = -5*k - 7*v. Let u = 100 + -89. Solve 0 = -3*t + q - k, 5*a - 3*t = -u for a.
-1
Suppose 2*n - r + 2 = 7, 2*n = -4*r + 30. Suppose -10 + 0 = -n*t. Solve -2*d = -4*c - 8, -3 = -c - d - t for c.
-1
Let w(b) = b + 11. Let z be w(-5). Let f(o) = o**3 - 5*o**2 - 7*o + 8. Let c be f(z). Suppose 6 + c = 4*x. Solve 3*g = -k + 7, -4*k + 2*g + x*g = 20 for k.
-2
Let m = 146 - 141. Suppose 9*o - 8*o - m = 0. Solve o*p - 4*k - k = -20, 18 = 3*p + 3*k for p.
1
Let r be 78/21 - (-4)/14. Let l = -12 + 14. Let v be l/(-4)*(-3 - 3). Solve -d = -v*u + 19, -u + 2*d + r = -9 for u.
5
Let n(b) = 9*b - 190. Let w be n(22). Solve -w = -2*c + 3*u, 0*u = -5*c - u - 14 for c.
-2
Let d be (6 + -9)*5/((-15)/2). Solve 0 = -d*s - 3*r, 2*r = -3*s + 5 - 0 for s.
3
Let s be (-9)/(-3)*4/3. Solve -5*w + 4 = -g - 1, -s*g = 5*w - 30 for g.
5
Let q(g) = 2*g - 8. Let n be q(6). Suppose -2 + 6 = -n*o + 3*l, -l - 6 = -5*o. Solve 3*m - 11 = -4*j, 5*j + o*m + 15 = 4*m for j.
-1
Suppose -65*s + 148 = -63*s. Let g = s + -70. Solve -9 = -0*y - g*y + 5*o, 4*o = 2*y - 12 for y.
-4
Suppose -3 = -5*h + 2. Suppose -3*u - h + 8 = -p, p = -3*u + 11. Suppose -2*m + 12 = -5*y + u, 5*m - 2*y = 12. Solve 2*g = 0, m*s + 5*g - 15 = -s for s.
5
Let h(a) = -2*a**2 + 75*a - 265. Let r be h(4). Solve -2 = q, 0 = -i + r*q + q + 12 for i.
4
Let y be 9/27*(-2 - -17). Solve 6*b - y*t + 10 = b, 0 = 4*t + 8 for b.
-4
Let q = -8 + 10. Let l(y) = -5 - y**2 - y - 7*y - q. Let m be l(-5). Solve -2*h + 3*n = -16, 5*n - n + m = 0 for h.
5
Suppose 0 = 487*t - 489*t + 4. Suppose -5*k = 8*m - 5*m - 33, 3*m - 3*k = 33. Solve z = -5*l + 6 + 4, m = t*l - z for l.
3
Let y = 992 + -359. Let q be -4 - y/(-33) - 4/22. Solve 3*v + 2*t - 14 = -4, q = 4*v + 3*t for v.
0
Let q be (630/(-75))/((-15)/25). Solve 0 = -5*k - v - 13, 2*k - 10*v + 6*v + q = 0 for k.
-3
Let s = 95 + -93. Let z be (12/8)/(s/4). Solve 0*a + z*d - 5 = 2*a, 2*d = -a + 1 for a.
-1
Suppose 0 = -246*p + 214*p + 160. Solve -i - 12 = 2*i - n, -p*i - 28 = n for i.
-5
Suppose -p - l + 0 + 7 = 0, l - 13 = -4*p. Solve -16 = 4*n, -n - 4 = p*f - 4*f for f.
0
Let y = 46 - 29. Let o(v) = -2*v**3 + 35*v**2 - 18*v + 22. Let f be o(y). Solve 0 = f*q - 4*t + 9, -4*q - t - 1 - 2 = 0 for q.
-1
Suppose b + 48 = 3*r - 25, 0 = -3*b - 12. Suppose 4*i + 3 = r. Solve 2 = 5*u - 2*c - 6, 0 = 4*u - i*c - 20 for u.
0
Suppose 0*v + 80 = 10*v. Solve -3*f + 2 = -r, 11*f = -4*r + 13*f - v for r.
-2
Suppose -2*d + 41 = 3*r, -4*d - r + 92 = 3*r. Solve 0 = -2*x + 4*g - d, 3*g = -4*x + g - 6 for x.
-4
Let k(q) be the third derivative of q**5/60 + q**4/24 + 2*q**3/3 - 21*q**2. Let p be k(-2). Solve -31 = o - 4*v - p, -5*o - 30 = -v for o.
-5
Let q be 22/99 + (-40)/18. Let r be (-288)/(-80) + q/(-5). Let y(a) = -a**2 - 4*a + 1. Let m be y(-3). Solve -2*n - n + 30 = 3*d, -m*n + r*d = 0 for n.
5
Let x = 121 - 120. Solve z + x - 2 = r, 4*z - 2*r = -4 for z.
-3
Suppose 55*g - 192 = -27. Solve 3*d = 5*a - 20, -4*d - 4*a = -g*a - 4 for d.
0
Suppose -8 = -2*h + 2*b, 9 = 5*h - 2*b - 14. Let x = 8 - 6. Suppose 1 - 17 = -5*o - 4*i, -x*i = 2. Solve -c - h = 5*j, 4*c - o + 1 = 3*j for c.
0
Let x = -51 - -41. Let a be (-1)/(2/6) - (3 + x). Solve f = -g, -20 = -a*f - g + 2*g for f.
4
Suppose -2*n - 2 + 18 = 2*b, 0 = -4*b + 12. Suppose 4*y - 5 = 7. Suppose y*r = -0*t - t, -n*t + 19 = -4*r. Solve 5*k = -t*w + w + 31, 0 = 3*k - 5*w for k.
5
Suppose -4*c - 5*y - 2 - 5 = 0, 5*y = 5*c - 25. Solve 3*d - 3*f = -8*f - 13, -c*f = 4*d - 6 for d.
4
Let q(o) be the first derivative of -o**4/4 + o**3 + o**2 + o + 2. Let m be q(3). Let j be 4*3*238/714.