= -t + 7. Let x be z(5). Suppose x*l - 6 = -l. Let n be l/((-28)/(-6))*7. Solve -2*w - b + n = -w, w + 5*b = 15 for w.
0
Let f be 4 - ((-1 - -2) + 0). Suppose 0 = 4*x - 9 - f. Let n = -1659 - -1662. Solve 3*u - n*w = 0, -2*u + x*w = 3*u + 6 for u.
-3
Suppose 6*q - 9*q = 6*q. Solve -4*m + 4*l + 1 + 15 = q, 2*l + 3 = m for m.
5
Suppose -14*l + 8*l + 168 = 0. Let j(r) = -r - 2. Let n be j(0). Let x be 4/1*n/(-4). Solve 4*i - l = -4*v, -13 = -2*i - x*i + v for i.
4
Let m = -698 + 703. Solve -d - 5 = -0*d - 3*s, -m*d - 4*s = -32 for d.
4
Let q(u) = u**2 - 20*u + 5. Let l be q(20). Solve l*t + 3*h = -23, -5*t + h - 24 = 5*h for t.
-4
Suppose 0 = 13*q + 10 - 62. Solve 16 = -k + q*n, 0 = -k + 5*k - n + 4 for k.
0
Suppose -4*n + 7*n - 102 = 0. Suppose -n + 10 = -3*m. Solve -3 = o - 3*l, 2*o + 2*l - m = 2 for o.
3
Suppose 29*o = 22*o + 42. Solve 3*d + d - 16 = 2*t, o = -t + d for t.
-4
Let c(u) = 8*u - 24. Let j be c(3). Let l(m) = m**3 - 3*m**2 - m + 8. Let a be l(j). Solve 2*x + r - a = 0, -2*x + 2*r + 8 = -0*x for x.
4
Suppose -3*g = -97 + 49. Solve -4*o = -4*d - g, 3*o + 9 = 4*d + 4*o for d.
1
Let z be 2/3 + ((-504)/54)/14. Solve u + z*g = 2*g + 8, 5*u + 2*g - 16 = 0 for u.
4
Let s(w) be the first derivative of -w**3/3 - 7*w**2/2 + 2*w + 1. Let l be s(-7). Suppose 8797*v = 8810*v - 156. Solve l*q - q = -x - 4, 3*x = -q - v for x.
-4
Suppose -3*s + 23 = 4*q + q, -s + 2*q - 7 = 0. Let u = -52 + 46. Let p(m) = -m**2 - 6*m + 4. Let d be p(u). Solve -d*g + 1 = 5*f - s, g = 4*f + 11 for g.
3
Let i = -383 + 388. Solve 0*r - r - 4*w - 13 = 0, i*r - w = 19 for r.
3
Let s be (-3 + 0 - -3) + 4. Suppose -f + 4*v = -4, -2 = 4*f + s*v + 2. Suppose f = -4*j + j. Solve 3*d = -0*u - 2*u + 6, j = 4*d - 4*u - 8 for d.
2
Suppose -16 = j - 3*t, -3*j = -0*j - 2*t + 41. Let c = 18 + j. Solve 3*a + 24 = 2*a - 4*l, -c*l - 25 = 0 for a.
-4
Let t = 321 - 312. Let b(r) = 2*r**2 + 2*r + 1. Let k be b(-1). Let m(d) = 2*d**2 + d - 1. Let w be m(k). Solve s = 3*g + t, -3*g + 8*g = -w*s - 15 for s.
0
Let h(d) be the third derivative of d**4/6 - 2*d**3 - 13*d**2. Let f be h(13). Solve -5*w = -2*w + 2*j + 1, 5*j + f = 5*w for w.
3
Let r(g) = -g**3 + g**2 + 4*g - 3. Let w be r(2). Let p(b) = 8*b**2 - 2*b + 2. Let k be p(w). Solve 3*j - k = c, -2*j + 2*c = -j + 4 for j.
4
Suppose -4*x - 27 = 2*d + 11, -15 = 2*x + 5*d. Let z(p) = -5*p + 8. Let y be z(4). Let m = x - y. Solve -4*b - 22 = m*r - 2, r - b = -1 for r.
-4
Let s = -33 - -35. Solve -b + 2*j = 3, 3*b = s*j - 6*j - 19 for b.
-5
Suppose 3*q = 2*y + 9, -5*q + 10 + 5 = 0. Solve 0 = 2*l - 2, 4*g + l + y*l + 3 = 0 for g.
-1
Let i = 50 + -52. Let b be 12/(-7)*(-7)/i*-2. Solve 0 = u - 2*s - 2, 3*u = -3*s - b - 9 for u.
-4
Suppose 109*a - 3 = 108*a. Solve -2*f = a*f + 3*l + 10, 0 = 2*f - 5*l - 27 for f.
1
Suppose 3*w + 4*s + 6 = 0, -11*w = -14*w - s + 3. Solve 4*g + h = 23, -h + 22 = w*g + 3*h for g.
5
Suppose -37 = -2*p + i, 0 = 4*p - i - 2*i - 75. Solve -3*v = -c + 2*c - 10, -3*v + p = -3*c for c.
-2
Let m = -2 - 2. Let g be (-12)/(-15)*(-10)/m. Solve -g*s + 9 = -3*z - 4*s, 3*s + 9 = 0 for z.
-1
Let u(n) = 3 + 0*n + n**3 + 2*n + 41*n**2 - 38*n**2. Let q be u(-2). Solve -5*k = q*h + 22, -4*k - 5*h - 5 = -2*k for k.
-5
Let g be 4/(-6)*5/(5/(-63)). Let m = g + -37. Solve 2*j = m*p - 9, -4*j + j = -p + 7 for p.
1
Let m = -10 + 10. Let k be (m + 0/2)*1. Suppose k = 4*o - 2*o - 22. Solve y - 31 = 5*h - o, 0 = -5*y - 3*h + 16 for y.
5
Let g = -651 - -662. Solve -5*y + 3*a = g, -10 = -5*a - 0 for y.
-1
Suppose 43*x - 240 = -17*x. Solve -x*n - 4*v = 32, 4*v + v = 4*n + 5 for n.
-5
Let l be ((-2)/3)/((-8)/(-264)). Suppose -34 = -b + 3*b. Let t = b - l. Solve 0*h - 26 = -h - 5*x, t*x = -3*h + 28 for h.
1
Let i be 3*-1*(3 - 8/3). Let b be i*((-7)/(14/60) - 1). Solve -8 = 2*p, -5*x + 2*x = -4*p - b for x.
5
Suppose -42 = -16*s + 54. Solve -2*f + 2 - s = 5*o, -3*o = 6 for f.
3
Let a be -5 - 9/(-27)*21. Solve 2*k + 0*t = -t + 6, -4 = 4*k - a*t for k.
1
Let n be 8/(-16) - (-9)/2. Solve -n*t + 5*w - 15 = -35, 3*w + 12 = -t for t.
0
Let m = -459 + 460. Solve x - m = 2*x - v, -2*v + 6 = 0 for x.
2
Let j = -100 - -132. Suppose c = -3*w + 8, 0*w + 3*w - 5*c = j. Solve 3*r + 5*m + 10 = 4*r, 29 = 5*r - w*m for r.
5
Let l(v) = 3*v**2 + 2*v - 6. Let q be l(-5). Let m = 62 - q. Solve 4*b - 7 = -5*x, 0 = -4*b - m*x + 10 - 1 for b.
3
Suppose -28 = 21*c - 25*c. Solve -11 = o + 3*q, -3*o + 2 = -5*q + c for o.
-5
Let f(r) = 41*r - 570. Let v be f(14). Solve 5*a + 29 = d, -5*d + v*a + 40 = -0*a for d.
4
Let b = 101 + -141. Let j = 43 + b. Solve -3*n + j = -2*c, 4*c + 5*n + 0*n - 5 = 0 for c.
0
Let i = -7 + 11. Suppose -4*s - 2*c + 5 = -9, -8 = 2*s + i*c. Let v = s - 3. Solve -4 = -v*u - 4*g, 5*g = 3*u + 3 + 2 for u.
0
Let w be (-4)/(((-4)/(-1))/(-40)). Let x = -38 + w. Solve -3*o = -x*i + 16, 5*i - 16 = -3*o + 3 for i.
5
Let w(a) = -a**3 - 7*a**2 - a - 6. Let t be w(-5). Let u = t + 52. Let r = -6 + 9. Solve -r*p - 5*b + 6 - u = 0, 0 = 4*p + 2*b - 16 for p.
5
Suppose -2*z = -5*z + 3. Suppose -z + 19 = 6*g. Solve a + 0*c - 2 = -2*c, -g*c + 29 = -5*a for a.
-4
Let w be (12/(-5))/((-2)/10). Let n(t) = t**3 - 13*t**2 + 11*t + 15. Let l be n(w). Solve -4*h + l = 3*p - 9, 5*h = -3*p + 15 for p.
0
Let a be 4 + -5 + 1 + 2. Suppose 0 = -v - a*t + 7, -t = -0*v - v - 5. Let p = v - -1. Solve p = -3*m - 2*w + 15, -3*m = -2*m - w for m.
3
Let z(n) = -n**3 - 8*n**2 + 8*n - 5. Let a be ((-36)/24)/((-1)/(-6)). Let o be z(a). Solve -2*u + 4*p - 2 = 0, -u - 4*p = -o - 1 for u.
1
Let d(f) = f**2 - 7*f - 16. Let y be 9 + (2 - 2)/(-4). Let n be d(y). Solve k - 6*k - 13 = -3*z, 0 = -z + n*k + 5 for z.
1
Let t be 1/(3/(-198)*-6). Solve 5*n - 23 = x, t = -2*x + 3*n - 0 for x.
2
Let a be (-2)/3*18/6. Let h = a - 7. Let d = 14 + h. Solve 3*g = 4*c + d, -3*c - 9 = -4*g - 0*g for g.
3
Suppose -2*o = -0*a + 2*a, -3*o + 5 = 4*a. Solve -2*j = -3*x - 5, 0*j - a*x - 11 = -2*j for j.
-2
Let s = 731 - 729. Solve 2*f + s = 0, -b - 5*f = b - 1 for b.
3
Let g = 13 + -5. Suppose 3*j = -j - 8. Let x be 1 - (-1 - j - 2). Solve o - g = -3*f, x*f + 0*f = -4*o + 2 for f.
3
Let p be 3 - (4 - 1 - 4 - -1). Solve p*z + 8 = s, s - 3*z = 4*s + 24 for s.
-4
Suppose -11*p = -10*p - 10. Let d = p - 10. Solve 0 = 5*g - d*g - 4*x - 27, x = 2*g - 9 for g.
3
Let i = -789 + 800. Solve 3*n - s = 17, -i*s = -5*n - 16*s - 5 for n.
4
Suppose -26*m + 372 = 320. Solve -5*i + 3*y + 17 = 0, -2*i = -y + m - 8 for i.
1
Suppose -5*b + j + 4 = 0, 2*j - 6 = -0*b - 4*b. Suppose 2 = k + b. Let v be k + -2 + 1 + 2. Solve -x - 4 = -4*n, -5*x + 0*x - 2 = -v*n for n.
1
Let k be -1 - -10 - (0 - -6). Solve -v = 5*x, 0 = -4*x + k*v - v for x.
0
Let h be (-2 + -4)*(2/3 + -1). Solve -5*m - z + h = -3*z, 12 = 4*m + z for m.
2
Suppose 4*b + 5*i - 84 = 0, -b - 5*i = 4 - 25. Suppose 9*z = 6*z + b. Solve z*m - 3*m - 20 = -2*x, 3*m - 15 = -3*x for x.
0
Let x(w) = -w**2 - 6*w - 3. Let i be x(-4). Suppose 3*a = 3*f - 6, 0 = -i*f + a + 2 + 12. Solve 0 = -5*m + f*o + 30, m + 3*o + 15 = 3 for m.
3
Suppose 1036*l = 1044*l - 32. Solve -2*a + 4 = 5*z, 4*a + 0*z + 20 = l*z for a.
-3
Let h = -1280 + 1299. Solve 5*b = j + h + 3, -2*b = -j - 10 for j.
-2
Let m(q) = 3*q**2 - 81*q + 80. Let h be m(26). Solve -3*c - 12 = -y, -h*c - 2*y - 8 = -0 for c.
-4
Let s = -4 + 18. Let r be 1/(-7) - (-2)/s. Let z be 6 + r + 0 + 2. Solve o + 4*w = 11 - 2, 0 = 4*o + 2*w - z for o.
1
Let j = 132 + -130. Solve j*s - 10 = 2*t, -4*t = -5*t - 3*s - 5 for t.
-5
Suppose -2*c + 260 = 60. Suppose 3*y + 2*y - c = 0. Suppose 28 - 38 = -5*t. Solve 2*q + 4*z = y, 5*q + 4*z = t*q + 24 for q.
4
Suppose 5*r = 5*u + 30, -6*u = -2*r - 3*u + 14. Suppose 10 = 3*d - x - 10, 2*d + r*x = -10. Solve -3*b + 6 + 8 = d*l, 4*l = 4*b - 8 for l.
1
Suppose 0 = 3*y - 5*v - 1, 2*y - 11*v + 15*v = 8. Solve 2 + 10 = 4*n - y*q, 18 = 5*n - q for n.
4
Suppose 0 = -3*a - 3*o + 21, 2*a = 3*a - 5*o - 19. Suppose -5*p + a*p + 16 = 0. Let m be 20/8*p/(-5). Solve u + 7 = 2*b, m*u - u - 13 = -2*b for u.
3
Let n = -3 + 15. Solve -t + 3*t - 12 = -5*m, -5*t - 2*m = n for t.
-4
Let v = -777 + 781. Solve 4*o - 7*o + 14 = -v*s, -5*s - 31 = 3*o for s.
-5
Suppose -22*j + 8*j = -28. Solve -j*p = 3*r + 7, 0*r + 5*p + 22 = -3*r for r.
1
Suppose -17 - 13 = 2*k. Suppose -4*l = 4, -2*x - 2*l - 10 = 2*x. Let u be x/(-6) + (-115)/k. So