*f, -5*f - t = 2*z + 3 for z.
0
Let m = -1744 - -1766. Solve -5*y = o + m, -6*y = -2*y - 5*o + 6 for y.
-4
Let u(s) = 3*s**3 - s. Let c be u(1). Solve c*y = -24*i + 26*i - 4, -5*i + 22 = -y for y.
3
Suppose 0*d - 5*p + 18 = 4*d, 5*p - 10 = 0. Solve -2*w = -4*q - 0*q + 14, 5*w = -q - d for q.
3
Let l(h) = h**3 - 2*h**2 + 4*h - 4. Let d be l(2). Suppose -5*s - 40 = -3*p, 2*p - d + 14 = -4*s. Solve -c = -3*c - p*x + 9, 0 = 2*c + 2*x for c.
-3
Let h(u) = 2*u - 37. Let f be h(20). Solve -5 + f = -x - 3*y, 0 = x - y - 2 for x.
2
Let f(t) = 4*t - 141. Let b be f(36). Suppose 5*c - 2*s = 2, 3*s = -4*c + 7*s + 4. Solve 5*m + 5*o - 5 = c, -3*o - 12 = -b*m + 9 for m.
4
Suppose -4*g + 3 - 19 = 0. Let u = g - -6. Suppose -u*n - 15 = -7*n. Solve -n - 1 = 2*p, 2*m - 4*p = 16 for m.
4
Let k be (-104)/(-6) - 18/(-27). Suppose -4 = o - k. Solve -4*x - q - 7 = -20, -3*x - o = -4*q for x.
2
Let y(r) = r**3 + r**2. Let i(l) = -5*l**3 - 14*l**2 + 5. Let b(t) = i(t) + 4*y(t). Let u be b(-10). Solve 3*m + k = -2*m - 7, -k = 4*m + u for m.
-2
Suppose 2*z + 210 = 2*n, 4*z = -3*n + 322 - 7. Let b be 3/(-24) - n/(-8). Solve 2*i + 2 = q + 1, 4*i = 5*q + b for i.
-3
Suppose 5*i - 2*y = -11, -3*y + 5 = -4*i - 8. Let l be (i/4)/((-5)/80). Solve 0 = 4*k + 2*c - 20 + 2, 5*c - 27 = -l*k for k.
3
Let h = 555 + -547. Solve i - 5*q = -9, h = 4*i - 3*q + 5*q for i.
1
Suppose -8 = 4*q - 2*y - 2, 2*y + 26 = -4*q. Let f be q/(-5) + -4 + 52/10. Solve f*o + 2 = 5*c + 25, -2*c - 13 = 3*o for o.
-1
Let m = 124 - 120. Solve -4*g + 10 = -2*w - 2, 0 = -g - m*w - 6 for g.
2
Let m be (50/(-20))/(10/(-8)). Solve -2*k = -3*f - 17, -m*k - 3 - 4 = 5*f for k.
4
Let z = -29 + 74. Suppose 0*h - z = -9*h. Solve -h*a = -3*o + 22, 3*o - 3*a + 6 = 6*o for o.
4
Suppose 0 = -10*x + 119 + 451. Suppose -x*l + 5 = -56*l. Solve -a + 5*d = 4*a + 50, -3*a - l = 2*d for a.
-5
Suppose l + s = 4, -4*s + 2 = -2*l + 4. Solve -10 = 4*v + 5*g, -v - l = 2*g + 1 for v.
0
Suppose -4*y = -4*w + 36, 18 = 4*w - y - 27. Let z = w + -21. Let f be (-17)/(-3) - (-6)/z. Solve 2*a + 12 = 4*b, -f*b + 5*a = -10 - 0 for b.
4
Let z be 28/6 + -1*5/(-15). Let k be (-4)/(3*z/(-45)). Solve -5*s - 13 = 4*q, -5*s - k = q + 10 for q.
3
Let z be 42/9*(-5 - -2). Let j = -14 - z. Solve -4*n + 2*m + 14 = 0, j*m = 4*n - m - 15 for n.
4
Let h(j) = j**2 + 5*j - 1. Let f be h(-5). Let r(i) = 6*i**2 + i + 1. Let t be r(f). Suppose -t = -c - 4. Solve 0 = 4*p, -4 = c*z - 6*p + 2*p for z.
-2
Suppose 2*w + 120 = -3*w. Let y be ((-3)/4)/(6/w). Let m = 15 + -11. Solve 5*x = -m*z - 21, 5*x - 2*x + 12 = -y*z for x.
-5
Let z(h) = -h**2 - 6*h - 5. Let l be z(-4). Suppose l*b = -3*b + 24. Solve -b*i + 0*w + 3*w - 7 = 0, -3*i = 4*w - 26 for i.
2
Let g(h) = h**3 + 3*h**2 - 2*h + 3. Let x be g(0). Let i(c) = -c**3 - 14*c**2 - 13*c + 2. Let q be i(-13). Solve 25 = -5*y, 0 = -s + x*y + q*y + 21 for s.
-4
Suppose 23*f = -41*f + 192. Solve f*w - 5*t - 5 = -10*t, -t - 21 = 5*w for w.
-5
Let a be (-9)/(-12) + 29/4. Let h be -4*1*(-14)/a. Suppose -h*d - 20 = -12*d. Solve b = 3*f + 5, 0*b - 3*b - 2*f + d = 0 for b.
2
Let m be 4 - 0 - 91/(-7). Suppose -4*h + m = -15. Let u(t) = t**2 - 8*t + 4. Let c be u(h). Solve -b - c = -0*z + 2*z, -2*b - 5*z = 12 for b.
4
Let t = 33 - 18. Let o be 29/3 - (-5)/t. Solve -4*g - b - o = 10, 0 = -5*g + b - 25 for g.
-5
Let c(h) = 4*h**2 - 2*h - 4. Let v be c(3). Let p = 41 - v. Solve 3*f = 4*d + 20, 2*f - d - p = 2*d for f.
0
Suppose 14*l - 84 = -0. Suppose 25 = 7*g - 2*g. Solve 2*t - g*x = -9, -3*x = -0*t - 5*t + l for t.
3
Let c(y) = -5*y**3 + y**2 + 5*y + 4. Let s be c(-1). Solve -4*f + k - 3*k = 30, -s*k = -5*f for f.
-5
Suppose -87*y + 221 = 47. Solve y*i + 3*d - 10 = 7*d, 3*i - 5 = -4*d for i.
3
Let o(m) = 18*m**2 - 2*m + 1. Let n be o(1). Suppose 4 = -5*j + 49. Let c = n - j. Solve 4*z - 2*h + h = -c, 3*z + 7 = h for z.
-1
Let w = -21 - -39. Let v = -4 + w. Let h be 4/v - 6/21. Solve -3*d + 16 = 5*m, 2*d + 5*m = -h*d + 14 for d.
2
Suppose 0 = 4*v - 2*f - 10, 4*v - 45 = -0*f - 5*f. Suppose 269*q = 261*q + 16. Solve 4*b = 3*s - 25, -5*s - 11 = v*b - q*s for b.
-4
Let m(x) = 2*x**2 - 17*x + 6. Let n be m(8). Let s be (n/(-5))/((-18)/(-45)). Solve -a = -0*a - 1, -5*o - a = -s for o.
0
Let w be (2/8)/((-1)/(-16)). Suppose w - 9 = -j. Solve 6*d - 19 = z + 2*d, 0 = -d + j for z.
1
Let v be 7 + -5 + 4/4. Solve 4 = l + 4*c, 4*c = v*c + 2 for l.
-4
Let u = 79 + 49. Let c = 60 - u. Let m be (-2)/(8/c)*1. Solve 5*s = -3 - m, -4*j = -3*s - 20 for j.
2
Let t be -9*(-1 - (-8)/(-6)). Let c = t + -17. Suppose 0 = -c*o + 19 + 1. Solve -19 = -o*j + a, 3*j + j + 2*a = 4 for j.
3
Suppose 3*q - 5*d + 2 = 0, -4 = -8*q + 3*q + d. Let m(r) = -37*r + 3. Let z be m(q). Let u = -31 - z. Solve -u*l + a + 3 = 0, 0 = 4*l - 4*a - 6 + 2 for l.
1
Suppose i = -i + 6. Suppose -3*g - 4*v - 14 = 0, -3*g - 3*v = -5*v + 2. Let d be (6 + g)*30/4. Solve 2*j - 1 = i*j - o, d = -2*j - 5*o for j.
-5
Suppose 0 = 4*m - 4*w, -3*m - 2*w = m - 30. Suppose 2*v + m*f - 40 = -1, -2*f - 54 = -5*v. Let d = -17 - -20. Solve i + v = d*i + 5*s, 3*i + 2*s = -4 for i.
-4
Let l(f) = f + 4. Let b be l(14). Suppose 6*x = 4*x + b. Let c be 2/4 - x/(-2). Solve 7*d - 4*d - 4 = -m, -20 = -c*m - 2*d for m.
4
Let p = 59 + -56. Let w(b) = b**2 + 4*b + 1. Let f be w(-4). Let o be f - (-1)/((-1)/(-2)). Solve 2*i - 19 = -0*i + o*s, -p*i + 2*s + 21 = 0 for i.
5
Suppose -81*u = -55 - 269. Solve 0 = 5*g + b + u, -9 = -0*g + 5*g - 4*b for g.
-1
Let b = -17 - -21. Suppose i = 2*i + v - 8, 24 = b*i + 2*v. Suppose i*s = -4*p + 4, 4*p = 6*s - s - 23. Solve s*o - 5*f = 36 + 1, 5*f + 41 = 4*o for o.
4
Suppose -2*s - w - 80 = -91, -41 = -5*s + 2*w. Solve s*o = 2*o - 4*g - 6, 5*o = 3*g - 13 for o.
-2
Let b be (0/(-2))/(3 - 6). Solve -w = 3*i - 2*i + 2, b = -3*i - 2*w - 8 for i.
-4
Let x(h) = -3*h + 20. Suppose 2*k - 5*k = -18. Let f be x(k). Solve 0 = m + f*m + 6, 0 = 4*d + 3*m + 22 for d.
-4
Suppose 68 - 88 = -10*n. Suppose 2*o - 16 = -h, 5*o - 2*o = 4*h - 86. Solve h = -4*x + n*x - 4*i, x = i + 5 for x.
0
Let d = -5 - -7. Let i(z) be the first derivative of z**3/3 + 5*z**2/2 + 2*z + 14. Let q be i(-5). Solve d*h = -5*n - 27, -h - q*h + 7 = -2*n for n.
-5
Let v = -148 + 145. Let d be (-6)/18*v + 1. Solve -2*u = -2, -h = -0*u + u + d for h.
-3
Let a be ((-14)/6 - -2)*-12. Let u = 83 + -78. Solve -2*k - 10 = -4*k + a*v, -u*v - 14 = -4*k for k.
1
Let x(d) = -30*d + 182. Let s be x(6). Solve -l - 8 = 3*z, -s*l = z - l for z.
-4
Suppose 15 = 5*v - w + 7, -2 = 2*v - 3*w. Suppose -q - 5*q + q = 0. Solve q = -o - v*r - 1 - 5, -4*o + 9 = -3*r for o.
0
Let g = -13 - -27. Let b(m) = m - 12. Let y be b(g). Suppose -y*a - 6 = 0, -4*n + 3 = -0*n - a. Solve n = -h - 3*s + 2, h + 6 = -3*h - 5*s for h.
-4
Suppose -4*a + 225 = -63. Suppose -5*c + a = 52. Solve j - c*w - 11 = 0, 5*w + 33 + 12 = -5*j for j.
-5
Let v(r) = r**3 + 36*r**2 + 180*r + 2. Let s be v(-6). Solve 3*q + 14 = -i, -i + s*q + 12 = -3*i for i.
-2
Let d = 4 - 2. Let v be (d - (-5)/(-2))*-6. Suppose 4*z = -v*f + 3, -z = z - f - 9. Solve 14 = -0*w - z*w - 5*t, 0 = 5*w - 3*t - 22 for w.
2
Let j = 9 + -12. Let p be -4 - j/(-1)*-3. Let u be (2 + -4)*p/(-2). Solve 8 = 3*o + x, -2*o - u*x - 28 = -4*o for o.
4
Suppose -6*c = 16*c - 26*c. Solve v + 5 = 0, c = p - 2*p - 5*v - 26 for p.
-1
Suppose w - f - 4 = 0, -5*w - f - 6 = 4. Let d = 11 - w. Suppose 3*q - d = -b, -q + 2*b = 2*q - 12. Solve -z = 2*z + 2*c - 12, 5*c - q = -z for z.
4
Let r(q) = q**2 + 7*q + 6. Let w be r(-6). Let l be -2*(w - 3/(-6)). Let h be 10/15*(4 + l). Solve -5*k + 23 = h*a, k = 5*a - 2*k + 20 for a.
-1
Suppose -4*i + 65 = -211. Suppose -4*s + 27*s + 1058 = 0. Let k = s + i. Solve 2*y + 3 + 1 = 0, -4*y = -5*t + k for t.
3
Let k = -904 + 908. Solve 4*z + 8*n = 3*n - 20, -k*z - 2*n - 8 = 0 for z.
0
Let f be (-145)/(-11) - 22/121. Solve 5*b - 11 = u, -f - 1 = -5*b + 4*u for b.
2
Let i(a) = -a**3 + 6*a**2 - 5*a + 6. Let r be i(5). Suppose -8 = 2*m - r*m. Solve 0 = 2*w + m*q - 10, q + q = 2 for w.
4
Suppose -15 - 6 = -3*z. Let d = -4 + z. Solve -5*q = -2*b + 11, -3*q + d*b = 1 + 2 for q.
-3
Let c = 7 - 3. Suppose c*b = 7 + 17. Let h(s) = -s - 17. Let j be h(-24). Solve 3*o - j*o - b = -v, o - 7 = -4*v for o.
-1
Suppose 7*n - 10*n - s = -4, -12 = 2*n - 3*s. Solve 4*c = -3*q + 22, 0*q + 5*q - 3*c + 2 = n f