(t) = 3*t - 5. Let s be v(f). Suppose 0 = -3*h + 8*h - s. Solve -3*l - n - h*n - 3 = 0, 2*l = 2*n - 18 for l.
-5
Let b = 9 + -5. Suppose 14 = -3*c + 10*c. Suppose 0 = c*h + 5 - 9. Solve h*z - 24 = 5*f, b*f - z + 8 = -5*z for f.
-4
Let r be 1 + 36/21 + (-10)/(-35). Suppose -w + r*i - 2 = 5, -2*w + 5*i - 11 = 0. Solve 2*k + 3*n = 13, -3 = -4*k - n - w for k.
-1
Let f be ((-56)/42)/((-2)/6). Suppose -9 = -f*k + 11. Solve -15 = d + 5*n + 1, 5*d = k*n + 10 for d.
-1
Suppose -2*i = -9*i + 14. Solve 3*x - 5*x - 2*a = -2, -i = 5*x - 2*a for x.
0
Let j = 273 - 270. Solve -3*i + j*u - 2*u = 0, -7 = 4*i + u for i.
-1
Let u(d) = -5*d + 1. Let x(k) = 4*k. Let i(v) = 3*u(v) + 4*x(v). Let f = -93 + 93. Let h be i(f). Solve -r - 22 = -c - h*c, -21 = -2*r - 5*c for r.
-2
Let w(u) = -u**3 + 14*u**2 + 12*u + 50. Let b be w(15). Solve -3*i - 12 + 0 = 3*k, 2*i - b*k = -15 for i.
-5
Let p = -172 + 182. Solve -2*s + 0*s = 3*k - 2, 0 = 5*k + 5*s - p for k.
-2
Suppose n - 8 = -2*u + 22, -3*n + 76 = 5*u. Let g be u/(-42) + (-7)/(-3). Solve 0 = -5*b, -g + 7 = z - 3*b for z.
5
Let t(l) = -27*l + 82. Let n be t(3). Solve -n = v - 3*v + 3*d, -3*d + 13 = 5*v for v.
2
Let o be 10*(4 - 28/8). Suppose 40 = 3*h + 4*u, 0 = 4*u - 3*u - 4. Solve 4*t = -4*b - 16, -b + h = o*t + 24 for t.
-3
Suppose -1 + 8 = n. Let c(v) be the first derivative of -v**3/3 + 7*v**2/2 - 3. Let r be c(n). Solve -3*i - 2*j + 1 = r, 2*i + 0*i = -2*j + 4 for i.
-3
Let i(s) = 1 - 4 + 4*s + 0 + 1 - s**2. Let w be i(2). Suppose 2*v - 6 = 0, -l + 13 + 2 = 4*v. Solve l*a - 6*a = -y - 14, y + 11 = w*a for a.
3
Let s be (-205)/(-164)*(0 - -72)/3. Solve 0 = 3*f - h + 10, 0*f - 5*f - s = h for f.
-5
Let p(q) = -q**3 - 14*q**2 + 9. Let r be p(-14). Suppose -2*c - 5*c = -14. Solve -c*t + 3 = -v - r, 3*t = 4*v + 23 for t.
5
Let u be 119/11 + 2/11. Let v be (u/((-33)/90))/(-2). Let a = -13 + v. Solve -n + 16 = -5*s, a*n = -n - 2*s - 20 for n.
-4
Let h = -3 - -6. Solve 0 = -5*q + 4*c - c + 3, 0 = -2*q + h*c + 3 for q.
0
Let k(q) = -40*q + 406. Let o be k(10). Solve a + 1 - 3 = 3*b, 5*b + a = -o for b.
-1
Let w be (-5)/(-4) - 27/12 - -4. Solve v = 2*l - 5, v + 5 = w*l - 5 for l.
5
Let d(s) = -5 + 3*s + 6*s + 3*s**2 + 7 - 3 - 2*s. Suppose -2*m + 4 = -4*y, 16 = -7*m + 3*m. Let k be d(y). Solve 0*n - 2*a + k = 5*n, 0 = 5*n - 4*a + 25 for n.
-1
Let i(q) = -15*q - 2. Suppose 0 = -11*f + 6*f - 10. Let x be i(f). Suppose m + 3*m + x = 2*k, -2*k - 12 = 4*m. Solve 4 = -b - g, -k*g + 3 = -5*g for b.
-1
Suppose 0 = p - 0*p - 2. Let u be (-4 - p)*12/(-24). Suppose -3*n + 1 = -5*z, -z = -5*n + 6 + u. Solve -5*t - 2*s + 10 = 0, 3*s - 16 + z = -4*t for t.
0
Let f = 8 + 13. Suppose 0 = f*w - 20*w - 4. Solve 0 = -j, -5*m + 3*j + 25 = w*j for m.
5
Suppose -s - t = 3*s - 15, 0 = 4*s + 4*t - 12. Suppose -2*v - 1 - 1 = 0. Let w be (-2 - v)*(-7 + s). Solve 5*x - 23 = -4*k + w, 0 = 2*k + 3*x - 14 for k.
4
Let n = 38 - 29. Let d(z) = z**2 - 10*z + 13. Let f be d(n). Solve t + f = -2*v - 1, -v = -4*t + 25 for v.
-5
Suppose -36*t + 24*t = -180. Solve -3*w + 11 = 3*a - 7, -3*a = -t for w.
1
Let n(d) = d - 5. Let g be n(9). Solve -4*w - 12 = -g*k, -2*k - 21 = 3*k + 4*w for k.
-1
Suppose -4*n - 4 = -3*n. Let q = n + 3. Let g(j) = -17*j**3 - 2*j - 1. Let s be g(q). Solve 3*h - 5*u - 3 = -2, s = -4*h - 3*u for h.
-3
Suppose 17 = 28*c - 11. Solve 0 = 4*t + 3*j + c, -t + 7*j - 4*j = -11 for t.
2
Let c(g) = g**2 + 10*g - 79. Let i be c(6). Solve -2*z = -5*m - i, -4*m + 4 - 16 = 0 for z.
1
Suppose 4*h = -128*g + 126*g - 10, -4*g = 20. Let d be 39/(-2)*8/(-6). Solve 4*o = -r + 19, 0 = -h*r - r + 5*o - d for r.
-1
Let l be 180/72 - 3/(-2). Solve 4*q - i + 5*i = 0, l*i = 5*q - 36 for q.
4
Let t = 104 + -101. Let h be (-1 + -2)*(-2)/t. Solve 2*o + h*b - 12 = 0, 4 = 4*o + 2*b - 18 for o.
5
Let y = -4 - -3. Let u be 3/6*y*-8. Suppose 2*t - 127 = -117. Solve -t*z + z - 4 = u*v, 0 = z + 2 for v.
1
Let l be (1 - (-21)/(-12))/(1/76). Let a = l - -66. Solve 6*d - d = 2*o - 9, a = 5*o + d for o.
2
Suppose 2*m = -m + 6. Let c be ((165/35)/11)/((-2)/14) - -3. Solve 2 + m = -n, c = 4*b + 2*n + 8 for b.
0
Let h be 216/(-81)*(-6)/4. Suppose -16 = -4*c - h. Suppose -4*j = 3*s + 9, -c*j + 2*s + 6 = -0*s. Solve -2*r + 4*p - 1 - 9 = j, -5*r - 25 = -p for r.
-5
Let b(k) = 3*k**2 - 5*k + 1. Let m(h) = 4*h**2 - 6*h + 1. Let n(a) = -6*b(a) + 5*m(a). Let x be n(-1). Solve 3*v + x = 2*c - c, 7 = -5*v - c for v.
-1
Let b be (-23)/(-4) - (-2)/8. Suppose 3*f = f - 78. Let c = f + 58. Solve -u - c + 1 = 4*z, -z = -5*u - b for z.
-4
Suppose 147*b = 126*b. Solve n = 3*n - 3*c - 25, 4*n - 5*c - 45 = b for n.
5
Let b be (-16)/(-5 - -3)*14/8. Solve o + b = -3*d, -4*o - 2 = -d + 2 for o.
-2
Suppose 0 = 5*o - 6*f + 5*f + 48, 3*f + 6 = 0. Let y = 12 + o. Let q(i) = i**2 + 10*i + 11. Let k be q(-9). Solve -2*n - k*z + z = 0, y*z = 3*n + 14 for n.
-2
Let q = 333 - 329. Solve -q*x - x + 16 = -4*u, -5*u = 20 for x.
0
Let c(z) = -z**3 + 15*z**2 + 2. Let j be c(15). Suppose 7*t - 90 = j*t. Suppose t = 5*x + 3. Solve -3*o = -2*d - 17, 21 = x*o - d - 2*d for o.
3
Let h = -603 - -629. Solve 7 + 23 = -5*x + 2*c, 4*x - 2*c + h = 0 for x.
-4
Let a(g) = -4*g**2 + 23*g + 9. Let d be a(6). Solve c - 12 = 3*u, -c = -2*u - d*c for u.
-3
Suppose -4*b = -13*b. Let s(x) = -x**2 + 7*x + 11. Let w be s(8). Suppose 2*v = -w*v. Solve -d + 4*j + 0*j + 15 = v, -5*d - j + 12 = b for d.
3
Let x be 21/9 - 6/(-9). Suppose -3*a + 8 = 5*p, -x*p = -5*a + p + 38. Solve h + 2*h - 2*t - a = 0, 2*h = t + 3 for h.
0
Let i = 506 + -504. Solve 0 = r - i*s + 1, -3*r - 1 = -6*r + 4*s for r.
3
Let l(j) = j + 2. Let p be l(3). Suppose 8 = p*f - 7. Suppose -2*a = -5*x - 31, -3 = 4*a + f*x - 0. Solve -4*t - 12 = -4*m, 0 = 3*t + a*m - 2 + 17 for t.
-4
Let m = 1141 - 1125. Solve 5*n + b - 3*b = -5, 0 = 4*n - 4*b + m for n.
1
Let w = 35 + -35. Suppose 22 = 3*m - c, -4*m - c - c + 26 = w. Suppose 6*u - m*u = -2. Solve u*v - 20 = b - 3*b, -b + 5*v = 20 for b.
5
Let x(r) = 5*r**2 + 2*r + 1. Let p be x(-1). Solve 6*j - 5*s + 33 = 4*j, 8 = 3*j + p*s for j.
-4
Let q(s) = -s**3 + 3*s**3 + 3*s**3 - 4 - 4*s**3. Let v be q(2). Solve 3*z = v*h - 16, -4*h - 11 = 4*z + h for z.
-4
Suppose 4*m + 2*l = -31 + 45, -4 = 4*l. Solve -2*i = 2*h + 4, -2*h - h - i = m for h.
-1
Let t be 2 + -3 - -7*3. Suppose 2 - t = -6*q. Suppose 2*h - 3 = q. Solve -h*y - 7 = 2*y - k, 5*k = 2*y - 11 for y.
-2
Let f be (24/(-30))/((-2)/10). Suppose 14 = -3*c + 4*j, f*c - 3*j = 1 - 8. Suppose 0 = -c*m - m + 30. Solve 23 = -k - 5*q, 0 = 5*k + 5*q + m + 5 for k.
2
Let z be -3 - -2 - (-32)/(-8). Let g = z - 9. Let j = 16 + g. Solve 0 = 5*c - p - 5, 18 = 4*c - j*p + 4*p for c.
2
Let g(z) = -3*z - 1. Let f be g(-5). Let k be 164/f - (-14)/49. Solve b = 4*b + k, 3*b - 3 = 3*u for u.
-5
Let v be 48/22 + 164/(-902). Let z be (0 + 0)/(1 - 2). Suppose z*n + 45 = 5*n - 5*t, 17 = 2*n - t. Solve k = 2, 4*j + v*k + 2*k + n = 0 for j.
-4
Let v = 58 + -53. Solve -u = w - 5*w - 10, -v*u + 18 = -4*w for w.
-2
Suppose -4*b = -9*b. Solve b*g = 4*u + 4*g - 12, -3*g + 9 = -4*u for u.
0
Suppose 0 = -12*t + 16*t - 8. Suppose -t*w + u + 5 = 4*u, -5*w - 2*u = -18. Solve 5*a = -w*m - 35, -2*a = -4*m + m - 9 for a.
-3
Suppose 3*b = -1 + 25. Let f = 10 - b. Suppose -4*v - 4 = -5*v. Solve 0*x = -v*x - 5*j - 13, 2*j + 4 = -f*x for x.
3
Let d = -2 - -2. Suppose 0 = -d*s + 3*s - 15. Suppose 9 = -3*h, -s*l + 3*h + 31 = h. Solve -g = -2*b + 7*b - 21, 3*b - l*g = 35 for b.
5
Let y = -815 - -815. Solve 3*g - 4*l + 20 = 0, -2*g - 4*l = -y*g for g.
-4
Let r(a) = a**2 - 7. Let d be r(3). Suppose y + 4*l + 0*l = -13, -2*l = -4. Let u = y + 25. Solve -u = -3*q + d*z, q = -q + z + 2 for q.
0
Suppose -18*f + 13*f + 22 = -u, 3*f = u + 14. Solve -2*c + 8 = 5*p + c, -f = p - 5*c for p.
1
Suppose 3*j = -193 + 31. Let m = j + 65. Solve -2*z - 3*q + m = 0, 4*q = -4*z + 8*z + 28 for z.
-2
Let q(p) = 10*p**3 - 15*p + 14. Let y be q(1). Suppose 0 - 6 = -3*l. Suppose 3 = -l*m + y. Solve -k = w + m, k + 3 = 3*w - 2*w for w.
0
Suppose 86 = 3*a - 22. Let p = a + -34. Solve -8 - 2 = 5*c - p*l, -5*l - 6 = 3*c for c.
-2
Let n(g) = g**2 - 19*g + 10. Let z be n(19). Suppose 7*r = 6*r + z. Solve -4*m + 5*v - 12 = 0, 4*v - 2 = 4*m + r for m.
-3
Let o = -428 + 431. Solve -o*t - 15 = -2*t - 3*s, -4*s + 20 = -3*t for t.
0
Suppose -2*d - 2*d =