4*n = -2*x - z, -x = -2*n - 6*x - 23 for n.
1
Let i be (-9)/45 - 2/(-10)*76. Solve i = -4*z - 5*l, 3*l + 0*l + 9 = -5*z for z.
0
Let g be -4*(-3)/(-21) - 156/(-28). Solve -g*c - 4*h = h + 15, 13 = -2*c + 5*h for c.
-4
Let v be 3*(-3)/(18/(-40)). Suppose -3*b + 4 = -5*b - 4*r, 4*b + 14*r + 14 = 0. Solve -4*h + 2 - v = 2*p, b = 5*h + 2*p + 23 for h.
-5
Let d(l) = -l + 0*l - 3*l + 3*l + 10. Let a be d(7). Suppose z = 2*z - a. Solve -h - 3 = -2*m, -6*m + z*m - 4*h - 12 = 0 for m.
0
Let y(z) = -z**3 + 4*z. Let i be y(2). Suppose -3*l - n - 10 = i, l + 2*n = 5*l. Let g be -4 - (0 - -3)*l. Solve -s + p = -6, -4*s + 18 = -g*p + p for s.
4
Let u(z) = -z**3 + 6*z**2 + 8*z + 3. Let y(g) = 3*g - 29. Let x be y(12). Let d be u(x). Solve -3*s - 12 = -a, a - 25 = 4*s - d for a.
3
Suppose 0 = 3*q - 3, 5*d = -17*q + 15*q + 22. Solve 0 = -2*j - 4*s - 8, 0 = -d*j + 5*j + 3*s + 6 for j.
0
Let p(n) = n**2 - 3. Let r be p(-3). Solve -4*w + 21 = 5*b, 2*w + 3 = -b + r for w.
-1
Let c = 78 + -73. Suppose 2*n + 60 = c*n. Solve -3*u + 12 = -0*u - 5*p, 5*u + n = -5*p for u.
-1
Let r = 2723 - 2715. Solve 12 = -3*q, q = -y - r + 2 for y.
-2
Let a = 276 - 275. Let z(m) = -2*m + 8*m - m. Let d be z(a). Solve -8 = 3*k - k, 3*y + 8 = -d*k for y.
4
Let i = -7 - -12. Suppose 0 = -2*f - w - 4, 5*w + 20 = f - 0*w. Let m = f - -5. Solve -2*t + 4 = 2*c + 2, i*c - m*t + 15 = 0 for c.
-1
Let r = 88 - 94. Let c(n) = -n - 4. Let b be c(r). Solve -b*a + 3*a - p = -7, 3*p - 25 = 4*a for a.
-4
Let v(f) = f**2 - 31*f - 312. Let o be v(39). Solve 2*i = -o*i - 4*u, 3*i = -5*u for i.
0
Suppose 377 - 428 = -17*j. Suppose -2*y + 4 = -42. Solve 2*n - y = -5*i - 0*n, -5*i + j*n = -28 for i.
5
Let x be (-34)/(-10) + (-26)/65. Suppose -31 - 59 = -3*v. Let f = -2 + 4. Solve -f*p - 5*l = -2, -2*p + 5*l - v = x*p for p.
-4
Let w = 416 - 406. Solve -5*b + 3*m + 10 + w = 0, 5*b - 5*m - 20 = 0 for b.
4
Let c = -7 - -5. Suppose -3*m + 7 = 16. Let b be (4 - (m - -2)) + c. Solve -4*z - 6 - 3 = -n, -3 = b*z + 3*n for z.
-2
Let y(t) = -t**3 + 3*t**2 + 4*t + 4. Let s be y(4). Suppose 0 = 37*f - 12277 + 11907. Solve k = -s*m - f - 4, -4*k = 4*m + 20 for k.
-2
Let s be (4 + -3)/(-10) - 306/(-60). Solve -j = -2*d - 6, -s*d - 9 = -0*j - j for j.
4
Suppose 0 = -12*k - 21 - 3. Let p be -106*1/(-22) + k/(-11). Solve p*q + s = -17, 5*s - 27 + 4 = 2*q for q.
-4
Let c(m) = 2*m + 110. Let d be c(-50). Solve -2*o = o - 15, r = -3*o + d for r.
-5
Let n(b) = b**2 - 7*b - 13. Let y be n(9). Suppose 0*c + 4*c - y*o - 137 = 0, 3*o + 15 = 0. Solve -r - 3*k = 17, r + 4*k + c = -3*r for r.
-2
Suppose 0 = 3*u - 7 - 5. Suppose 5*i = 0, 10 = 5*w - 3*i - 0*i. Let a be w + (-2 + 3 - -1). Solve -4*f + 20 = -2*q + a, 2 = 5*q + u*f for q.
-2
Let q = -6 + 4. Let p(s) = 2. Let c(k) = -k + 10. Let h(y) = -c(y) + 6*p(y). Let m be h(q). Solve 2*l + 2*l + v + 3 = m, 2*l = -5*v + 21 for l.
-2
Let c(u) = u**3 - 14*u**2 - 22*u + 110. Let g be c(15). Solve -o - 8 = -4*o - 2*w, -10 = g*w for o.
4
Suppose 3*p = 2*t - 0*t + 100, t = -2*p - 50. Let g = t - -64. Solve s - 5*s + g = -i, -2*s = -8 for i.
2
Let t be (-2 - (-12)/2) + 0. Let c(k) = -k**3 - 5*k**2 + k + 4. Let a be c(-5). Let j = a + 6. Solve 0 = t*u - j - 11, u = s + 4 for s.
0
Let s = 7 - -5. Let g be 1/2 - (-366)/s. Solve 0 = -3*f + 4*i + g, 17 = f - 4*i + i for f.
5
Let r be ((-1 - 1) + 1)/(-1). Let q = 4 + r. Solve -q*d - t = -25, -5*d - 2*t + 25 = 3*t for d.
5
Suppose -5*d = -5*u, -4 = -5*d + 8*u - 4*u. Solve d*m + 17 = 5*i + 2*m, i = -3*m for i.
3
Let k(z) = -z + 9. Let j be k(4). Let u = 59 - 41. Suppose -l + 3*l = u. Solve -5*n - b + 19 = 0, j*n - l - 8 = -3*b for n.
4
Let s = -3 - -5. Let k be (-18 - (1 - 5))/2. Let l = s - k. Solve -y + 3*v = -19, -v - 26 = -3*y - l for y.
4
Suppose 3*c = 15, -c = -y - 6*c + 10. Let x = 8 - 28. Let r be (-87)/y + (-4)/x. Solve w - 2*s + r = 2*s, -4*w - 3*s = -14 for w.
2
Let d = 14 + -12. Let s be (14 - d) + (1 - 1). Let p(r) = 2*r**2 + 2*r - 5. Let i be p(-4). Solve -4*n - i + 3 = -2*b, -b = 2*n + s for n.
-5
Let o = 125 - 121. Let s(z) = z**3 - 8*z**2 + 6*z + 12. Let b be s(7). Solve -3*k = p + b, 3*p + o*k = -p - 20 for p.
-5
Suppose -2*f + 22 = 3*u, -4*u + 8 = -0*u. Suppose c + 8 = 2*c - o, 0 = -c + 2*o + f. Let y be c/(-12)*-3 + 1. Solve -3*l + y*n = -l + 15, -3*n + 9 = 0 for l.
-3
Let y be 0/((-16)/4) + -3. Let k(o) = -o**3 - 5*o**2 + 2*o + 3. Let w be k(-5). Let i = y - w. Solve 4*b - 2*b - i = 2*s, b - 10 = -3*s for b.
4
Let z(h) = -h**2 + 5*h - 4. Let o be z(4). Let x(q) = -q**3 - q**2 + q + 3. Let i be x(0). Solve 0 = n + 4*b + 7, 2*n + i*n - 2*b - 31 = o for n.
5
Let g(c) = 2*c**3 - 2*c**2 - 5*c + 5. Let t be g(1). Solve 2*d + b - 2 = 0, t*d - 5*d - 13 = -2*b for d.
-1
Let h(o) = 13*o + 18. Let f be h(-4). Let i be (f + 36)/(1 + (-2)/4). Solve 0 = 2*y - 2*a, 0 = i*y + 3*a + 8 + 20 for y.
-4
Suppose 0 = -10*x + 30. Solve g - 2 = -p, 0 = 5*p + x*g - 13 + 1 for p.
3
Suppose 17*m + 76 = 21*m. Let d be ((2 - 3)*2)/(-1). Solve 3*q + 0*v = 2*v - m, 4*v - 18 = d*q for q.
-5
Let x = -1299 + 1299. Solve -5*f + 4*p + x*p - 41 = 0, 4*p = -f + 11 for f.
-5
Suppose 2 = -4*o - 2*g + 6, -3*g + 11 = o. Let z = o - -10. Suppose -z*a + 20 = -5*a. Solve l + 3*l - 12 = -2*d, -a*l + 15 = -d for d.
0
Suppose -2*h + 18 = 2*h - 5*x, -5*x - 8 = h. Solve -q + 20 = -5*q + 2*v, -v - h = 2*q for q.
-3
Let l = 4 - 3. Let a be 75/(-6)*(-12)/15. Let i be (-9)/(-15) + 44/a. Solve -q = 3*j + 3, -2*j - l = -j - i*q for j.
-1
Suppose 30 = 5*w + 5. Let u = 10 - w. Let j(r) = 4*r**2 + 5*r + 7. Let x be j(-2). Solve 3*f - 4*c - x = -38, -u*f - 3*c = 3 for f.
-3
Let f = -7 - -17. Let u be 2 + 3 - (-1 + 4). Suppose -u*g = -3*g + 4. Solve -b - 4*b = g*q + f, -3*b = 3*q + 9 for q.
-5
Suppose 36 = 8*z + 12. Solve p = 5*g - 9, -z*p - 4 = -g - 5 for p.
1
Let l = -18 - -58. Let f be l/3 - (-1)/(-3). Solve 5*v - s + 6 = -f, -5*s = 2*v - 14 for v.
-3
Let b = 171 - 170. Solve 13 = -3*p + u, -2*u = 3*p + b - 0 for p.
-3
Let r = -159 - -164. Solve 4*u + 6 - 18 = -4*o, 0 = -2*u - r*o + 3 for u.
4
Let a(m) = 24*m + 268. Let b be a(-11). Solve 12 = -b*n, 5*q - 2*q - 9 = 4*n for q.
-1
Let v = -1 - -5. Suppose -22*a + v*a = -90. Solve 7 = -f - a*o - 0, -2*o + 2 = 2*f for f.
3
Let u = 4 - 2. Suppose 5*o + u*g - 1 = 6, o + g = 2. Solve j + q = -3*j + 9, o = q for j.
2
Let w(m) = -m**3 + 8*m**2 + 9*m - 2. Let x be w(9). Let g be 3*(64/(-12))/(-4). Let k be (-2 + 14)/g - x. Solve -q - 10 = -5*b - 3, q - 3 = -k*b for q.
-2
Let j = -1592 - -1592. Solve j = 4*a + f, f + 4*f = 0 for a.
0
Suppose 0 = 4*x + x + 20. Let t(g) be the second derivative of -g**3/3 - 4*g**2 + 43*g. Let a be t(x). Solve -4*d - j = 25, a = -2*d + 6*d - 2*j + 10 for d.
-5
Suppose -2*a - 5 = -17. Suppose 0*w - a = -2*w. Solve -w*u + 12 = -3*k, -u = -5*k - 3*u - 20 for k.
-4
Suppose -5 + 61 = 14*q. Solve x + t = -0*x + q, -4*t = 3*x - 11 for x.
5
Suppose 5*g - 2*o = 2*o + 104, 5*o - 15 = -g. Let w(t) = 4*t + 30. Let r be w(-7). Suppose 0 = -0*l + l - 3. Solve r*n + 3 = h + 13, -l*h = 4*n - g for n.
5
Let t be (-38)/(-12) - (53/(-6) - -9). Solve -r - 8 = -p, 2*r + t*r + p = -10 for r.
-3
Let a(f) = 2*f**2 + 14*f + 7. Let y be a(-6). Let j = y + 5. Solve 5*o + t + 15 = -2*t, -o + 5*t + 25 = j for o.
0
Suppose -31 + 103 = -6*p. Suppose 3*z + 24 = 5*z. Let y be ((-16)/z)/(p/45). Solve -5*m = s - m - 10, s - 12 = -y*m for s.
2
Suppose 3*y + 60*y = 882. Solve -3*d - 13 = -2*s, 0 = -4*s - 5*d - y - 15 for s.
-1
Let y be (26/10 - 3)/(3/(-45)). Let d be ((-1)/(-3))/(y/162). Solve 3*f = -2*c + d, c - 4*f = -20 - 3 for c.
-3
Suppose -4*t + 0*t + 5*r = -5, 2*r - 6 = 0. Solve 2*s + 12 = -4*v, 0 = 3*v + 4*s - t*s - 1 for v.
-1
Let l(n) = -n**2 + 7*n - 8. Let i(b) be the first derivative of b**2 - 12*b + 3. Let w be i(8). Let c be l(w). Solve -c*r = o - 5*o, -4*r = -3*o - 1 for r.
1
Let y be (-1)/(-4) - 140/(-16). Solve -11 = -a + 3*p, 0*a = -5*a - p - y for a.
-1
Let u(h) = -2*h + 40. Let k be u(0). Solve -4*l + 2*n = 24, 5*l - 2*n + k = 3*n for l.
-4
Let q be (-4)/(-10)*(-325)/(-130) - -1. Solve 0 = 5*i + x - 9, q*x = -2*i + 4 - 2 for i.
2
Suppose -5*o - 4 = 4*v, -3*v - 5*o + 3*o = -4. Let h = v + -3. Let r be -6*(-4)/6*h. Solve 31 = -2*i - i - r*k, -2*i + 4*k = -6 for i.
-5
Let v = -34 + 8. Let s = -23 - v. Solve 2*r = 2*y + 2, 2*r + s = 