 - 8*z = -5*m + t for z.
-4
Let p be 9/(25/(-20) + 2) - 7. Solve -2*f + 5*t = 2*f - 19, -2*f + t = -p for f.
1
Let q = -246 + 248. Solve -r - 18 = -q*y + 3*r, -3*y + 7 = 4*r for y.
5
Let k = 18 - -3. Suppose 3*v + v - 3*b = k, 2*v - b = 9. Let w(i) = i**2 + 5*i - 3. Let f be w(-6). Solve 0 = f*u, x - v*u = -x + 6 for x.
3
Suppose 0 = -2*g + 17 + 23. Let i be ((-6)/(-12))/(2/g). Let j = 11 - 9. Solve i*h = 4*p + 5, -5*p + j = -4*h - 3 for h.
5
Suppose -98 = -4*s + 5*h + 22, -4*h = 0. Let q = 34 - s. Solve q*c - 3 = -w - 0, 0 = -3*w - 4*c - 7 for w.
-5
Let o(h) = 2*h**2 - h - 5. Let i be o(-2). Solve 4*m = -i*l - 14, 9*m = 4*m - 2*l - 9 for m.
-1
Suppose -18 = 3*p + 5*x + 1, -p - 3*x = 13. Solve -4*t + o = 20, 4*t + 0*t = p*o - 24 for t.
-4
Suppose 2*q + h - 3 = 0, 5 = 3*q + 3*h - 4. Suppose 6*a - 3 = 2*l + 3*a, q = 5*l - 4*a + 4. Solve l = 4*x - 2*f + 24, -4*f - f + 5 = x for x.
-5
Let l = 683 + -676. Solve -u + 11 = u + 5*d, -2*u - d + l = 0 for u.
3
Suppose 13*j - 62 = -36. Solve f - 4 = -j*u, -u + 5*u - 16 = 0 for f.
-4
Let z be -3*(-1)/(-6)*-8. Suppose z*v - 15 = -3. Let w(o) = 2*o - 3. Let i be w(v). Solve p = 2*g - i*g + 9, 5*g = 5*p - 5 for p.
5
Let y = 1 - -1. Let t(s) = -2*s + 42. Let z be t(11). Suppose -y*m - 2*m + z = 2*w, 2*m = w + 2. Solve u + d = -4 - m, 3*u = -4*d - 25 for u.
-3
Let t(a) = 11*a**3 + a**2 + 2*a - 1. Let w be t(2). Suppose -5*d + 5 = -w. Solve -p - 4*i = i + d, i + 4 = 0 for p.
0
Let d = 23 - 15. Let o(y) = y**2 - 6*y - 1. Let q be o(d). Suppose 0 = -j + 3*j - 8. Solve -i = -2*s - s, -j*i = 3*s + q for i.
-3
Suppose 4*d + 38 = 3*w, 5*w + 2*d + d - 15 = 0. Solve 0 = 2*c - 2*q + 4, c + 2*q - w*q + 5 = 0 for c.
-1
Suppose 36*c - 39*c - 45 = -3*b, -3*b - 5*c + 5 = 0. Solve -2*p = -2*u - p + 7, -3*p = 5*u + b for u.
1
Let m be (-6)/12*(-24)/4. Solve -2*r = -2*l + 6*l - 8, m*l = 2*r + 13 for l.
3
Suppose 0 = f + 4*a + 15, -4*f - 2*a + 5 = -5. Let l be (-4)/4 + 5 + -2. Let s be (-4)/((-6)/(-4) - l). Solve 4*o - 2*i + 4 = -0*o, -o + f*i + s = 0 for o.
-2
Let g(k) = k**3 - 6*k**2 + 8*k + 3. Let t be g(4). Let r be (-1)/(-5)*t - (-7)/5. Solve 0 = h + 4*q - 13, r*q + 0 = h + 5 for h.
1
Let w = 1405 + -1403. Solve -3*f = -5*h - 30, -w*f + 16 = -21*h + 19*h for f.
5
Suppose 5*o + 2*j - 30 = 0, -5*j + 17 = o - 3*o. Let w = 1835 + -1829. Solve n + w = 4*h + 4*n, 4*n = -o*h + 8 for h.
0
Let a(q) = -q**2 + q + 1. Let h(m) = 10*m**2 - 6*m - 11. Let c(j) = 18*a(j) + 2*h(j). Let n be c(-4). Solve 3 = y, -r + n*y - 9 = 5 for r.
-2
Suppose 2*y + 0*x + 3*x = -15, -25 = -2*y + 5*x. Let p be y + (4 - ((4 - -2) + -4)). Solve -g + 5 = p*g - l, -5*g + 7 = -3*l for g.
2
Let k = -35 + -40. Let u = k + 78. Solve -u*f + 2*t = -t + 21, 12 = 4*t for f.
-4
Let m = -71 + 71. Solve 2 = -m*l + 2*l - 5*i, 4 = 4*l - 4*i for l.
1
Let z(u) = 60*u + 63. Let m be z(-1). Solve -3*l + r = -r - 10, -m*l - 4*r = 2 for l.
2
Suppose 3*p - 214 = 209. Suppose -4*f - 53 = -p. Suppose -4*k - 3*d + 10 + 10 = 0, 3*k = -5*d + 26. Solve 2*q = -5*m - f, -6 = -k*q + 6*m - 4*m for q.
-1
Let n(a) = a**3 - 15*a**2 + 39*a - 6. Let u be n(3). Solve z - 6 = 4*w, -u*z = -6*w + 2*w - 2 for z.
-2
Suppose 3*d - 44 = -8*d. Let l(m) = -2*m - 3. Let h be l(-4). Suppose 0*t - 20 = -h*t. Solve d*w - t*i - 20 = 0, 3*w = -2*w + i + 5 for w.
0
Suppose 0 = -u + 4*u - f + 44, 5 = f. Let z = 13 + u. Solve -b - 3 = 2*g, z = g + 4*b + 16 - 4 for g.
0
Let k = -4313 - -4318. Let u(y) = y**2 - 5*y + 5. Let v be u(6). Solve 0*m = -4*m + 2*j + 20, 0 = k*m + j - v for m.
3
Suppose -2*h = -12*k + 16*k - 96, 0 = -2*k + 5*h + 24. Solve x = -4*g - 5 - 2, 0 = -g - 5*x + k for g.
-3
Let p be 9 + (11 - 8) + (0 - 0). Suppose 11*u = 7*u + p. Solve -u*o - 19 = -5*z, z - 6*z - 2 = 4*o for o.
-3
Let q(z) = -2*z**2 - 45*z - 20. Suppose -k + 76 = -5*k - 4*c, -119 = 5*k - 3*c. Let v be q(k). Solve 4*j = 5*b - 12, -4*j + 3*b - 2 = v for j.
2
Suppose 15*i - 3*h = 13*i - 9, 5*i = -5*h + 40. Solve -l + i*m + 4 = -m, -4*m = 5*l - 20 for l.
4
Suppose 4*n = 9*n - 45. Let b(t) = 3*t - 22. Let w be b(n). Solve p - 17 = -w*c, p + c = 4*c - 7 for p.
2
Suppose -4*q - c + 20 = -26, q + c = 13. Solve -q*v + 6*v + 2*k + 23 = 0, -2*v - 10 = 4*k for v.
3
Let r(g) = -10*g + 110. Let b be r(11). Solve 2*j - 2*w + 4 = b, 3*j = 5*w + 2 - 16 for j.
2
Suppose 0 = 5*v - 6*v - 0*v. Solve -3*s - 9 = -2*n - v, 2*s = 2*n - 6 for n.
0
Let o = -537 + 541. Solve o*y - 4*g + g = 3, -5 = 4*y + 5*g for y.
0
Let y = 649 - 639. Solve o + 11 = -7*a + 4*a, 5*o + y = 0 for a.
-3
Let a = 7 - -5. Suppose 5*m - 2*m - a = 0. Solve -2*q - m*i + 29 = i, 3*q + 3*i = 21 for q.
2
Let t = 55 + -27. Suppose -2*g + 4*g + 1 = -u, -g = -5*u + t. Solve 0*z = z - u*o + 16, -o = -z for z.
4
Suppose 3*j - 17 = -2*m + 6*m, -2*j = 2*m - 2. Solve j*y = -2*b + 15, 5*y - y - b - 20 = 0 for y.
5
Suppose -4*v - 5 = -5*j - 42, -2*v + 2*j + 16 = 0. Let y be (v + -1)*1/2*2. Solve o + y*o - 16 = -4*x, -2*o = 5*x - 13 for o.
4
Suppose 5*r + 1 = 4*r, 2*v - 3 = 3*r. Solve v = 3*p - 3*f + 4*f + 14, 0 = -4*p - 2*f - 22 for p.
-3
Suppose -3*o + 1 = -3*b - 5, -b + 2 = 0. Let g(l) = l**3 - 24*l**2 - 2*l + 51. Let h be g(24). Solve 0*n - 5*x = 5*n + 50, -o*n - 35 = h*x for n.
-5
Let y(t) be the second derivative of 2*t**3/3 - 8*t**2 + 8*t. Let h be y(5). Solve -2*a + l = -14, -3*l - h = a + 3 for a.
5
Let i be 219/45 + 20/150. Solve 12 = 5*w - w - z, 6 = i*w + z for w.
2
Let p = -38 + 39. Let d be ((-4)/4)/(p/(-4)). Solve -3*n - 16 = 2*v, -d*n - 3 = -v - 0 for n.
-2
Let d(l) = l**3 + 14*l**2 + 22*l - 21. Let r be d(-12). Solve -g + 2*g - 11 = r*k, -4*g + 5*k + 9 = 0 for g.
-4
Suppose -g + 12 = 5*l - 0*l, l + 5*g = 12. Solve 0 = -5*k - 3*s + 14, -l*k + 11 = -5*s - 7 for k.
4
Suppose -2*k + 5*k = 9. Suppose -3*b + 17 + 4 = 0. Let v be 19/b - (-6)/21. Solve -u = 2*g + 9, -v*u - 3*g - k = -5*g for u.
-3
Suppose 4*q = 7 + 49. Let l = q - 7. Let i be (11 - -1) + (-12)/4. Solve 0 = -4*o + 5*g + l, -5*g - i = -2*o - o for o.
-2
Let c = -11 - -13. Let v be 0/(5/((-10)/4)) + 2. Solve 3*k - 12 = 0, c*k - 9 = y - v*y for y.
1
Let f(o) be the first derivative of o**3/3 - 4*o**2 + 15*o - 10. Let j be f(6). Solve 4*p - j*p + 4 = 2*l, 3*p + 8 = 2*l for l.
1
Suppose -28 = -5*c - 4*f, -23*c - 3*f = -25*c + 25. Solve 5*i - 3 = 2*x, -2*i + 6*i - c = 3*x for x.
-4
Suppose 0 = 13*q + 8 - 21. Solve -h - 2 + q = 0, -2*h = -n for n.
-2
Let s = -8291 + 8293. Let w be (-45)/6*2/(-3). Solve 0 = 4*d + s*h - 2, d + 2*d = w*h - 18 for d.
-1
Let s(r) = -27*r - 210. Let n be s(-8). Solve -4*l = -2*f - 14, 4*f = 4*l + 6*f + n for l.
1
Suppose -2 = -2*t + t. Suppose -t*m = 2*m - 2*m. Solve m = -2*d - 3*h, 6*h = -d + h for d.
0
Let s(q) be the first derivative of -3*q + 7/2*q**2 - 1/3*q**3 + 6. Let o be s(6). Solve o*a = -y + 2, -2*y + 5*a + 10 = -7*y for y.
-4
Let c(q) = 16*q - 43. Let y be c(3). Solve y*s + 3*z - 6 = 4, -4*z - 30 = -2*s for s.
5
Suppose -26 = -4*r - 10. Let x(s) = -s - 3. Let p be x(-5). Let v = p + 1. Solve l - 3*m - r = 0, -v*l = 7*m - 2*m - 12 for l.
4
Let q = 443 + -440. Solve -q*o - 2*n - 20 = o, -2*n + 10 = -2*o for o.
-5
Let v = 23 + -25. Let w = 26 + v. Let d = -22 + w. Solve -r - 6 = -0*r - s, -d*r - 2*s = 0 for r.
-3
Suppose 5*y - 2*h = 45, y - 2*h + 43 = 44. Solve -5*l + 13*g - 10 = y*g, -4*l - 8 = -g for l.
-2
Let n(d) = -d**3 - 15*d**2 - 15*d + 1. Let b be n(-14). Let j be 1*10 + b + -16. Solve 0 = -3*u + j, 2*u = 5*l - 3*u + 5 for l.
2
Let u(t) = t**2 - 23*t + 47. Let m be u(2). Solve 4*w - m*n - 28 = -2*n, 5*w = -5*n for w.
4
Let i be -8 - -5 - 1*-1. Let b = i - -4. Solve b*o = 4*n + 6, n = 2*o + 2*o - 12 for n.
0
Suppose -7 = -5*v + 8. Let m be -3*v/(-9) + 2. Let h(q) = -25*q + 79. Let b be h(3). Solve -b*f = -2*d, -f = -m*f for d.
0
Let t(r) be the second derivative of r**4/4 + r**3 + r**2/2 + 9*r. Let d be t(-3). Suppose 3*g + d = 8*g. Solve -2*o + 20 = -4*c, 0 = -g*c - o - 0*o - 10 for c.
-5
Suppose -363*s + 373*s = 80. Solve -2*r - 2 + 6 = -a, 4*r - s = 3*a for a.
0
Suppose -4*b + 3*q = -3, -4*q + 0*q = 4. Suppose 3*k = 2*z + 37, 5*z + 10 = -b*z. Solve -2*r + 5 + 7 = 4*a, -4*r + 5*a = -k for r.
4
Suppose 19*w - 6*w + 507 = 0. Let l = w - -64. Solve -5*r = -4*y - l, -r = -2*y + 6*y + 19 for y.
-5
Let l(o) = -3*o**3 + 4*o**2 + 1. Let g be l(2). Let r be 10/(-35) - 2/g. Solve -3*t + 6 =