 Let a(v) = v. Let z(s) = -4*a(s) + y(s). Let n = 71 + -65. Let i be z(n). Solve i*h + 13 = -t - 3, 15 = -3*h for t.
-1
Suppose 0*q - q - 7*q = 0. Solve -4*x - g + 2*g - 16 = q, 3*g - 16 = 4*x for x.
-4
Let i(r) be the third derivative of r**6/120 - r**5/12 - r**4/8 - 4*r**2. Let o be i(3). Let v = 49 + o. Solve -b = 2*q + 2*q - v, -5*q - 2*b + 29 = 0 for q.
5
Suppose n - 4*n = -9. Solve 5*h + b - 17 = 0, h + n*b + 3 = 4*h for h.
3
Let p = 392 - 384. Solve 6*c - p*c = -5*g - 9, -12 = -4*c + 4*g for c.
2
Let s(v) = v**3 - 18*v**2 - 19*v + 27. Let w be s(19). Suppose -23*n - 56 = -w*n. Solve c = 5*r - 16, n = -2*c + 5*r - 3 for c.
-1
Suppose 38 = -4*b - 58. Let p = b - -26. Solve -p*t = -3*u - 2, 1 = -5*u - t + 15 for u.
2
Suppose q + 45 = 6*q. Suppose -q = 5*f + 5*z - 44, z = 2*f - 2. Solve -o + 6 = -f*m, m + 21 = -m - 5*o for m.
-3
Let y = -449 - -452. Solve 4*f - y*f = -5*t + 6, -5*t - 5*f - 10 = 0 for t.
2
Let r(g) = 2*g + 11. Let p(q) = 1. Let u(c) = 5*p(c) + r(c). Let x be u(-5). Solve 3*i - x = 0, 0 = -5*w + 4*w - i for w.
-2
Let p = 7 + -5. Suppose 3*x = 2*x + p. Solve -2*w + 19 = -5*z, -x*z + 6*w = 2*w + 14 for z.
-3
Let n(r) = -r**3 + 14*r**2 - 13*r + 2. Suppose 2*u + 2*u - 52 = 0. Let o be n(u). Solve -3*q = 2*a, -3*q - o*a = a for q.
0
Let o be 0/3 + 5 + -1. Suppose 4*b = -2*h + 20, -o*h + 8 = -b - 5. Suppose d - 2*d = -h. Solve d*s = l - 11, -2*s - 3*l + 2*l = 13 for s.
-4
Let w be (7 + -8)*(-40)/(5 - 1). Solve 5*o + 8 = -3*y, 0 = -5*y - o - 4*o - w for y.
-1
Let a(h) = -h**3 + 10*h**2 - 8*h - 6. Let d be a(9). Suppose -4 = -d*t + 2. Let z be 0 + 4 + -2 - -3. Solve -3*o + 22 = -z*n, 0 = 4*o - o - t*n - 16 for o.
4
Let d = 66 - 178. Let u = 116 + d. Solve u*n + 15 = 5*j - 0*j, 9 = 3*j + 2*n for j.
3
Suppose 7*t - 5*t = 10. Suppose -a - 116 = -3*a. Suppose 5*k - 5*v = 80, a = 4*k - v + 3*v. Solve 2*o + 7 = -t*w + 28, 3*w - k = 0 for o.
-2
Let m be (4/(-2))/(1/(-6)*3). Solve -2*z + m*x = 16, 2*x + 14 = -2*z + 5*x for z.
-4
Suppose 3*a - 1 = 5*h + 8, 12 = -h + 4*a. Solve -2*b - 4*t - 20 = 0, h*t - 23 = 5*b + t for b.
-4
Suppose -w = 2*f - 18, -w = -3*f + 21 + 6. Let r = -2 + f. Suppose 0 = -4*x + 1 + r. Solve 0 = 4*p + 4*i - 8, -2*p + x*i + 4 = -i for p.
2
Suppose 5*h - 4*z - 67 = -0*z, 0 = 5*h + 3*z - 46. Suppose 215*d + 36 = 211*d. Let q = h + d. Solve 2*a - 3 - 3 = -w, 22 = 5*w + q*a for w.
4
Let u(q) = -20*q - 140. Let m be u(-7). Solve -4*g - s - 10 = m, -5*s - 12 - 2 = 2*g for g.
-2
Suppose 5*j = 10, 9 = -r + 5*j + 1. Suppose -9 + 17 = r*u. Solve g - 2*g = -2, -12 = 5*x + u*g for x.
-4
Let p(v) = -26*v + 159. Let f be p(6). Solve -f*j + 1 = -4*t - 0*t, -4*t - 2*j = 6 for t.
-1
Suppose 0*h - 3*h = 2*a - 21, h + 5*a = 7. Suppose -8*v = -5*v - 15. Solve -2*g + 3*g + 7 = 3*z, -v*g - h = -z for g.
-1
Let c(o) = o**2 - 11*o + 9. Let z be c(11). Suppose 0 = -2*q + 10, -4*m + z = 4*q - 23. Solve m*a = -15, 5 = -i - 2*a - 8 for i.
-3
Let a(j) = j**2 - 3*j**3 - j + 44 - 43 + 3*j. Let f be a(-1). Solve -l - 5*u - 4 = 3*l, f*u = 5*l - 32 for l.
4
Suppose -2*x + 24 = 14. Let m be (-2)/(-3) + x/(-3). Let t = 4 - m. Solve t*k - 12 = 4*r, 2*k - 20 = -2*r - 2*k for r.
2
Let m(r) = -r**3 + 5*r**2 + r - 1. Let v be m(5). Suppose -v*f + 26 = -2*f. Suppose 0 = 55*l - 59*l + 24. Solve 4*q + 5*w = -31, 3*w - l*w - f = q for q.
-4
Suppose 4*a = 5*w + 15, 2*w = 3*a - 5*a - 6. Let o be a - (-2 + (-2 - -2)). Suppose 10 = 3*c + o*c. Solve 3*j + 16 = 3*h + c*h, -4*h + 14 = -2*j for h.
5
Suppose 9 - 19 = -2*w. Suppose w*i = -f - 23, 3*f - 3 = i + 8. Solve 4*k + 1 = 3*t, 5*k - f*t + 2 = t for k.
-1
Let s be 2*(42/(-4))/7 + 4. Solve -c + s = 0, c + 2*c = 2*x - 7 for x.
5
Suppose -12*i = -6*i - 30. Solve i*f = -y + 3*y + 18, 0 = f - 4 for y.
1
Suppose x + 9 = 2*x. Let y be 6*(6/x - 0). Solve -5 = h, 4*d - h = y*h + 41 for d.
4
Suppose -6*i - 2*g + 20 = 0, 7 = 5*i + 4*g + 2. Solve 20 = -i*h, -6*z = -2*z - h for z.
-1
Let z(o) = 24*o + 100. Let t be z(-4). Solve s + 1 - 12 = -2*g, 0 = 5*s + t*g - 25 for s.
1
Suppose -2*a - 5*h + 4 = 0, -44 = -5*a - 6*h + 2*h. Suppose 11*m = a*m - 12. Solve 4*v + 24 = 4*s, 5*v + 3*s + 2 + m = 0 for v.
-4
Suppose -2*l = -5*q - 6, -34*l + 35*l = 3. Solve 2*k = -2*s - 6 - 8, -3*k + 3*s - 9 = q for k.
-5
Let i = -8 + 25. Suppose -5*o = 3*v + i + 5, -o - 14 = 3*v. Let h be (-165)/(-35) + o/(-7). Solve -4*y = -9*y - 5, 2*g - h*y = -5 for g.
-5
Suppose 0 = -2*d - 5*d. Suppose d = -9*s - 9 + 27. Solve 0 = 2*n - 2*z - s, z = 6*z + 10 for n.
-1
Let h = 3 - 0. Suppose -5*k = -h*k - 64. Suppose 5*i - 6*a - k = -2*a, -2*a = 6. Solve 2*y + o - 2*o = 4, 0 = y - 2*o + i for y.
4
Let z(p) = -2 + 0 + 5 - 13*p. Let t be z(-1). Solve -4*f - 20 = -4*l + t, -2*f + 3*l = 22 for f.
-5
Suppose 0 = -19*m + 25*m - 18. Suppose 7*s - 8*s = -m. Solve -4*o + 2*o + 4*c - 18 = 0, s*c = -3*o + 9 for o.
-1
Suppose 68 = 65*u - 63*u. Suppose -j - u = -37. Solve 6 - 3 = -2*i - q, -j*i + 3 = 4*q for i.
-3
Suppose x + 2*t + 6 = 0, 0 = 2*x + 63*t - 67*t - 20. Solve 0 = -x*n + z - 3*z, 0 = 2*n + z + 5 for n.
-5
Suppose -4*s + 96 = 4*i, -4*s + i + 41 + 35 = 0. Solve s = 5*p + 5*q, -q + 5*q = p - 4 for p.
4
Suppose 4*u = u + 4*a + 17, -2*a = -2*u + 10. Solve 0 = -2*i - 4, 3 - 2 = 5*o - u*i for o.
-1
Let n = -3088 - -3091. Solve 5*f = 3*y - 6, 0 = -2*y + n*f + 2 + 1 for y.
-3
Let q = 17 + -13. Suppose x + 2*j + q = -6, x = -5*j + 5. Let u = x - -28. Solve -2*k = -5*g + u, -5*g - k + 3 = 7 for g.
0
Suppose -40 = -5*q - 0*q - 5*h, 40 = 5*q + h. Suppose -16 = -4*f - q. Solve 3*k = -5*d - 6, -f*d = -3*k + 3*d + 24 for k.
3
Let m = -73 - -137. Suppose -2*r + 24 = 2*h, 4*r = 3*h - 23 + m. Solve -x - 3*x - w + r = 0, x - 2*w = 14 for x.
4
Suppose -53*x + 77 = -82. Solve -o = x*b + 10, 5*o + 13 + 7 = 0 for b.
-2
Let w be 320/(-24)*12/(-5). Suppose 2*b = -3*g + 48, -5*b - w = -0*g - 2*g. Solve 3*k + 19 = z + z, 2*k = 2*z - g for z.
5
Suppose 0*r = -4*r - 3*b + 15, 3*b - 15 = -5*r. Let f be ((-5)/6 + (-7)/(-14))*r. Solve 3 = -3*k - i - 2*i, -k - 2*i - 3 = f for k.
1
Let q = -24 - -12. Let k(m) = m + 13. Let r be k(q). Let f be -3*r*(1 + -2). Solve -3*v - 2*w = 4, f*v - 4 + 0 = 2*w for v.
0
Let h(k) = 21*k - k**2 - 47*k + 25*k + 22. Let j be h(4). Solve -3*w + 30 = -5*y, -5*w = -j*y + 4 - 35 for w.
5
Let m = -49 + 52. Suppose -m*x = -4*s + 10, s - 6*s = 2*x - 24. Let r = -11 + 16. Solve -r = c, -5*l = -x*c - 0*c - 25 for l.
3
Suppose c = -5*t + 3, -c + 5*t - 29 = -4*c. Let a = -11 + c. Suppose 13 = -5*s - a*v + 42, -v - 3 = -s. Solve 3*o = l + 5, s*o + 5*l + 4 = 39 for o.
3
Let q = -1494 + 1506. Solve 4*m = -u + 4*u - 5, -q = -3*u - 3*m for u.
3
Let f(x) = 6*x**2 - 43*x + 13. Let h be f(7). Solve -3*y = -5*t + 3, h*y = 2*y + t - 4 for y.
-1
Let i(j) = j**3 + 5*j**2 - 7. Let w be i(-7). Let g = w + 108. Solve 3*h - g*o = -3, h - 5 = -2*o + 3 for h.
2
Let i = -143 - -153. Solve i = 3*d + 4, -7 = -5*m + 4*d for m.
3
Let w be 8/3 + 8/(-12) + -1. Suppose -3*c = -0*t + t - 14, t - 2*c = -6. Let y be 0 + -3 + 4 + 2. Solve -w - t = -y*b, b - 4 = m for m.
-3
Suppose g = 4*h + 3*g - 28, 0 = -4*h - 5*g + 28. Let x be (-1 - 17)*48/(-72). Solve -4 = m, h*z = 2*z - 2*m + x for z.
4
Let y = -141 + 139. Let i be (-3)/(-2 + (-2)/y). Solve 16 = 4*n - v, 4*n - 3*v = 21 + i for n.
3
Let c(o) = o**3 + 7*o**2 + 10*o + 2. Let r be c(-4). Suppose p - r = -p. Solve 3 + 16 = p*s + 3*x, 0 = 3*s - x - 3 for s.
2
Let v = -1101 + 1104. Solve v*m = -8 - 4, 5*d + m = 16 for d.
4
Let u = -41 + 43. Suppose u = 8*r - 30. Solve 5*j + 3*k = k + 2, -r*j - 4*k - 8 = 0 for j.
2
Let a be 4/8*4 - -1. Suppose i = a*i - 10. Let w = 7 - i. Solve 3*r + 3*y + 9 = 0, -w*r + y - 1 = -7*r for r.
1
Suppose -3*t + 4*z + 4 = 2*t, z = 2*t - 4. Let s be (0 - 2/2) + t. Suppose -3*j + 9 = -s. Solve y - 4*y + 10 = 5*c, -j*y - 20 = 0 for c.
5
Let y(l) = -l + 8 + 14 + 5 - 30. Suppose 0 = -3*m - 5 - 7. Let p be y(m). Solve -p = -j + 3*d - 7*d, -2*j = 3*d + 3 for j.
-3
Suppose -6*h + 1 = -251. Suppose 5*f + 7 - h = -3*m, 5*m + 5*f - 45 = 0. Solve 5 = m*t, 4*d - 2*d + 2*t = 12 for d.
5
Suppose 3*k = 2*w + 22, 0 = -5*w + k - 19 - 23. Let x = w + 13. Solve -x*l - 2 + 22 = 0, -4*d = 5*l - 28 for d.
2
Let u be 12 - 10 - (-4 - 13). Solve -u = -4*h - 3*m, 12 - 34 = -2*h - 4*m for h.
1
Let i be (-2 - 12*3/6) + 0. Let t be 3/(6/(-2)*i/16). Solve 3*u + 