x(-6). Suppose -2*v = -u*v. Suppose 0 + 5 = m. Solve -4*y + 2*h - 12 = m*h, y - 5*h - 20 = v for y.
0
Let y(t) = t + 2*t**2 - 3*t - 8 + 10 + 2*t**2. Let p be y(1). Solve z - 6 = -p*z - 3*x, 4*z - 4 = -2*x for z.
0
Let l = 729 - 727. Solve 4 = 4*j - l*f, 0 = 2*j + 7*f - 4*f - 2 for j.
1
Let f = 35 - 32. Suppose 0 = -2*l + f*m + 69, m + 2*m - 129 = -4*l. Solve 5*a - 4*w = -2*w - l, -3*w - 8 = 4*a for a.
-5
Let j = 368 - 364. Solve -5*h + 2*t = -0*h + 5, -t + 9 = j*h for h.
1
Let y(o) = 23*o - 567. Let f be y(26). Solve -2*t + 5*l - f = 0, t = -2*t + 3*l - 24 for t.
-3
Let q(x) = -4*x - 2. Let d(w) = -w**2 - 5*w - 3. Let m(p) = -2*d(p) + 3*q(p). Let s be m(1). Solve 4*o + 8 = n, s*n = -n - 4 for o.
-3
Let k be (17 + -18)*(-2 + -9). Solve 2 = -p, 5*p - 4 - k = -5*t for t.
5
Let j = -126 - -72. Let t = j + 58. Solve -t*f + 3*a + 3 = 0, -3*f = -7*f - 5*a - 5 for f.
0
Let c be ((-62)/(-4) - 3)*(-84)/15. Let h = c - -78. Solve p = -m + 9, -3*m + 5*m = h for p.
5
Let t = -13 - -22. Let l be (t/(-45))/(2/25)*-2. Solve -3*u = 2*o - 1, l*o - 20 = 3*u + 14 for u.
-3
Let j be -9*1/((-9)/2). Let a(b) = b**3 + 3*b**2 - 20*b - 60. Let v be a(-4). Solve 4*x - v*t = 16, -j*x - x = 5*t - 12 for x.
4
Suppose 4*g + 20 = -4*v, 4*v - 5 - 5 = 2*g. Solve -i + s = 2, 4*s - 4 = 3*i - v*i for i.
-4
Let a = 83 - 147. Let c = a + 67. Solve 4*y = -x + 5, 0 = -2*y - 5*x + 4 + c for y.
1
Suppose -6*t = 1 - 1. Suppose 3*r + t*r - 9 = 0. Solve -d = r*x - 10 + 1, -2*d = -6 for x.
2
Let l be (-4)/(-10) - 3/(15/2). Solve l = 4*p - 2*c - 6, -10*p + 18 = -9*p + 5*c for p.
3
Suppose 20 = 5*t, 27*t = 5*v + 26*t - 11. Let c be 1/1 - (-6)/2. Solve -c*u + z - 8 = 2*z, v*u + 3*z = -6 for u.
-2
Let s(x) = x**3 + 22*x**2 + 20*x - 10. Let y be s(-21). Suppose 6 = -3*t, -3*o + 4*t + 0 + y = 0. Solve 4*r + 8 = 0, -2*r + 0 - o = d for d.
3
Let j be (-4)/(8/(-2) + 2). Suppose j*y = -2*y + 84. Let m = y + -17. Solve -7*x - 27 = -t - 2*x, 5*t - m*x = 30 for t.
2
Let r(q) = -q + 14. Let v(b) = -2*b**2 - 6*b + 4. Let t be v(-5). Let z = t - -25. Let d be r(z). Solve -4*x - j = -3*j - 20, 0 = 2*x - d*j - 10 for x.
5
Let z be (6/(-15))/((4/80)/(-1)). Suppose s + z = -2*p + 5*s, 2*p - s - 4 = 0. Solve -2*i - p*c + 8 = 0, 18 - 5 = -2*i + 3*c for i.
-2
Let w(z) = -z**2 + 9*z - 10. Let m be w(7). Suppose -c = 2*k - 6, k - m + 1 = 0. Let u be (c/2)/(-2 + 3). Solve 3*f - 2*y - y = u, 4*f + 12 = y for f.
-4
Let h(b) = b**3 + 6*b**2 + 3*b - 4. Let p = 1 - 5. Let f be h(p). Suppose -5*a + f = -a. Solve -5*q + 2*v = -q - 16, 0 = -a*q + v + 12 for q.
2
Let l = -417 - -418. Solve s - 14 = -4*n, 4*n - l = 4*s + n for s.
2
Let p = -10 + 14. Suppose 3*z - 5*z = -5*h + 10, 2*h - p = -2*z. Let m be (-1)/(((-2)/10)/1). Solve b - 3 = -c + 2*c, z = 4*c + m*b + 21 for c.
-4
Let c = 255 - 247. Solve -3*s - 9 - c = 2*t, s + 2*t = -11 for s.
-3
Let t be (-10)/(2*3/(-6)). Suppose 22 = t*d - 8*d. Solve -n - 11 = -3*l, n = -5*l - n + d for l.
3
Suppose -1464*b + 1447*b + 34 = 0. Solve 3*r = 2*z - 1, 6*z - 2*z = b*r - 10 for r.
-3
Let x = -5 - -5. Suppose 3*r - 2*r = 0. Suppose r*b - 4*b + 24 = 0. Solve l + x*g + 4*g = -8, -3*g = -2*l + b for l.
0
Let u be 12/96 - ((-234)/16)/3. Let p = -2 + 1. Let k be 3 + 2 + p + 0. Solve 2*z - 3 = -x, k*z + 3*x = -0 + u for z.
2
Suppose -5*z + 20 = 3*i, -z - 1 = -i + 3. Suppose -47 = -i*q - 0*q - 4*t, 3*q + 2*t = 27. Suppose 6*k + 3 = q*k. Solve 2*o + 0 - k = 5*h, 3 = -5*o + 2*h for o.
-1
Suppose 7 = 2*q - a - 26, -5*a - 53 = -3*q. Let j = q - 12. Let n = j + 0. Solve 2*l = -4*x + n, 6 = 2*l - 0*x + 2*x for l.
4
Let b(t) be the third derivative of t**4/12 + 2*t**3/3 - 4*t**2. Let h be b(-1). Solve 0*r - h*v - 6 = 5*r, 4*r + 10 = v for r.
-2
Suppose 3*z + 2 = 20. Suppose -2*y - 16 = -z*y. Solve -y*f + 8 = -4*i, 3*i + 6 = 4*f - 2 for f.
2
Let o be (-6 + 2)/(-4) - -4. Suppose k = -o*j, 3*k + j = -j. Suppose k = 2*f - 15 + 3. Solve m = -m + 2, m - f = -x for x.
5
Suppose 5*z = r - 2*r + 16, -2*r = 2*z. Let y = -26 + 26. Suppose 2*s = -3*m + 13, y = m - 5*m - s + 14. Solve 4*a - z*i - 8 = 0, -m*a + 2*a - 4 = -3*i for a.
5
Suppose 3*b - 5*b = -60. Let t = b - 20. Solve -4*o = -4, 3*n + 5*o = -2*n - t for n.
-3
Suppose 2*j = -3*d + 7, 0 = -0*d + d + 4*j + 1. Solve d*s + 27 = 3*l, -5*s + 1 - 16 = l for l.
5
Suppose 54 = 4*r + 42. Suppose 18 = 2*k - 2*u, 2*k + r*k - 55 = -5*u. Solve -4*t - p - k = 0, t - 3*p = -t + 2 for t.
-2
Let i(f) = -f**3 + 14*f**2 + 16*f - 12. Let m be i(15). Let t be (1/((-1)/4))/(-1). Solve -2*d + t*u = 24, m = 2*u - 5 for d.
-4
Let l be 1/(-3) + 32/6. Suppose 3*t - 13 = a, 0 = 4*a + 54*t - 55*t - 3. Solve -a*r - 31 = 2*r - 5*i, -11 = -r - l*i for r.
-4
Suppose 0 = 6*n + 7 - 13. Let m be 10/4*(n + (-3)/(-15)). Let f be -6*2/(-6)*2. Solve -3*g + 3 = m*y, -2*y = -5*y - f*g for y.
4
Let f(b) = -b - 15. Let c be f(-21). Solve -r - k = k - c, -5*k = r - 21 for r.
-4
Suppose -5*s = 5*v - 25, -5*v + 3*s + 14 = -3. Solve 1 = -t - m, 2*t + 7*m + v = 3*m for t.
0
Let h = -1015 + 1022. Solve -t - 3*m + 4 = 0, -h*t = -2*t - 5*m for t.
1
Suppose -b - 3*b = l - 7, -l - 5 = -2*b. Suppose 3*z - 23 = -4*q, z + 3 - 4 = 2*q. Suppose 7*y = z*y + b. Solve 0 = 5*s - 2*c + 16, -y = -c - 3 for s.
-4
Let i = 68 + -62. Suppose -3*x = 2*r - 8*x + 2, 5*x = 4*r - i. Solve -3*y + 0*y + 4 = -4*w, 0 = r*y - w + 12 for y.
-4
Suppose 2*t + f + 0*f + 1 = 0, t = -f - 1. Solve c = -5*v - 13, -c - 2 - 1 = t for v.
-2
Let u(z) = -19*z - 549. Let g be u(-29). Solve -12 = 2*t - g*d, 0 = 2*t - 5*d + 2*d + 14 for t.
-4
Let n(c) be the second derivative of -c**5/20 - c**4/6 + 3*c**2/2 - 4*c. Let i be n(-2). Solve i*t = k - 14 - 0, -t - 3 = 0 for k.
5
Suppose -4*d = 8, o + d - 52 = 2*d. Let c = -50 + o. Solve -20 = -t + a + 3*a, 3*t + 3*a = c for t.
4
Let q be ((-5)/(10/(-4)))/1 + 2. Solve 31 = -3*z - 4*f, 7*z + q*f = 9*z - 6 for z.
-5
Let p = -42 - -42. Suppose -3*u - 4 = -2*u - 3*b, u - b = p. Solve -18 = -4*o - u*c + 4*c, 3*o = -4*c - 3 for o.
3
Let a be (-8 + 10)/(2/(-3)) + 3. Suppose 2 = -2*z - 0. Let b be 0 + a - (z - 1). Solve 4*l = -8, -3*u + 5 + b = 4*l for u.
5
Let c be 10/(-4)*(-40)/(-4). Let y = -12 - c. Suppose 3*k - 2*k = y. Solve -r - 3*g = -k, 52 - 21 = 4*r + 5*g for r.
4
Let b = -13 - -13. Suppose -t - 5*m - 9 = b, 3*t = 7*t - 4*m + 36. Let n = 10 + t. Solve 2 = 4*s - a - a, 3*s + n = a for s.
-2
Suppose -4*q = -5*q + 4. Suppose -5*n + 10 = -4*u - 10, -n = u - 13. Let a = n - q. Solve 3*r = j + 14, -3*j + a*r - 2 = 3*r for j.
1
Let j(x) = -x**2 + 21*x - 20. Let w be j(1). Solve -2*l - 3 + w = -o, -10 = 4*o + 3*l for o.
-1
Let c(n) = -4*n**2 + 34*n - 38. Let b be c(7). Suppose 5*u - 93 + 13 = 0. Solve -5*f + 4*w = 16, -2*f + b*w - u = -4*f for f.
0
Suppose r = -3*j + 11, -r = -2*j + 2*r. Let z be (j - -3) + -4 + 1. Solve -4*y = -0*w + 3*w - 23, -y = -w + z for y.
2
Let g = -483 - -486. Solve 0 = 4*n, 0 = g*d + 2*d + 4*n for d.
0
Let r(n) = -n - 3. Let w(c) = 4. Let a(z) = -3*r(z) - 2*w(z). Let p be a(-1). Let q = 2 + p. Solve q = -4*v - 2*j + 2, -2*v - 2*j - 5 = j for v.
2
Suppose 3*m + 3*q - 54 = 3, -4*m = -2*q - 58. Solve -2*v = 5*n + 37 - 4, -4*v = m for n.
-5
Suppose 1 = -o + c, 25 = -7*o + 12*o + 5*c. Suppose -6 = 3*y - 3. Let q = y + 6. Solve v = -0*v + 3, q*k = o*v + 9 for k.
3
Let g be (-8)/(-36) - 20/9. Let j be g/(-10) - (-147)/15. Let t be (-247)/(-7) + j/(-35). Solve -5*r + t = 5*f, 0*r + 2*f - 4 = 3*r for r.
2
Suppose -3 = -4*p + 3*p, 0 = 2*b - p - 59. Let x = -31 + b. Solve x = 4*l + 5 - 1, -3*l = 5*v - 7 for v.
2
Let x be (-2)/13 + (-2140)/(-52). Let u = 46 - x. Solve -4*i = 2*g + g - u, -3*g - 35 = -4*i for i.
5
Let s be 0*(8/(-12) + 1). Suppose s = 20*m - 23*m + 6. Solve 3*l = -o + 11, -2*l + 2*o = -m*o - 26 for l.
5
Let a = -1618 - -1623. Solve -3*n - a*l + 34 = 0, -4*l = -n - 5*l + 8 for n.
3
Let g = 47 - 44. Let z be 9/(-2)*(-1)/(3/2). Solve -z*m + 4*m + 8 = -g*c, -c - 3*m - 16 = 0 for c.
-1
Suppose -4*r = -2*r. Suppose 0 = z - 1, -3*p = -r*p + 2*z - 86. Suppose 4*m - p = 4*u, -2*u = 6*m - 4*m + 2. Solve -2*k - m*w = 16, 0 = 2*k - 2*w - 4 - 0 for k.
-2
Suppose 11 = -3*m - 4, -2*f + 3*m - 27 = 0. Let v = f - -17. Let q be ((-8)/(-2))/(v/(-2)). Solve -25 = -k - 5*t, -q*k - 20 = k - 4*t for k.
0
Let f(h) = h - 10. Let g be f(12). Suppose 0 = -3*p - 2*m + 7, -g*m = 5*p + 2*m - 11. Solv