= -9 + n*t**2 - 2*t - 5*t**2 - 6*t + 3*t. Is z(9) a multiple of 8?
False
Let k(b) = -b**3 + 7*b**2 + 24*b - 4. Let i be k(10). Let d = 75 - i. Is d a multiple of 29?
False
Let n = 311 - 182. Is n a multiple of 5?
False
Suppose -13*s + 3*s - 240 = 0. Is 10 a factor of 18/(-8)*(s - 4)?
False
Let l = -416 - -1061. Is 8 a factor of l?
False
Let k = -16 - -14. Let b be 124*(-1 - k)*1. Let c = b - 52. Is c a multiple of 18?
True
Let q be (-3)/1 + 2 - -5. Suppose q*o + 4 = -2*u, -5*o = u + 5 - 15. Let g(a) = a**2 + 10*a + 14. Does 9 divide g(u)?
False
Let c be 1*(-1 - (-544 + -3)). Let n be ((-4)/14)/((-6)/c). Let k = -4 + n. Is k a multiple of 8?
False
Suppose -5*w + 3*n + 11495 = 8*n, 25 = -5*n. Does 8 divide w?
True
Suppose 267*g - 282*g + 46755 = 0. Is 12 a factor of g?
False
Suppose 38*n + 2074 = 55*n. Does 52 divide n?
False
Suppose -3*k = -4*q - 25, -18 = -2*k + 3*q - 0. Let w(h) = h**2 + 3*h - 35. Let o be w(-9). Suppose -p - 2*y + k*y + o = 0, 4*y = p - 19. Is 14 a factor of p?
False
Does 4 divide (-28)/(-12) + (-1877)/(-3)?
True
Let c = -53 - -56. Suppose -45 = -c*k + 9. Is 18 a factor of k?
True
Suppose 4*k - 12 = 8. Suppose -g = -k - 40. Is (228/10)/(18/g) a multiple of 16?
False
Suppose 3*y + 1448 = 7*y. Is 5 a factor of (-14)/42 + y/6 - 2?
False
Let w = -163 + 337. Suppose -c + y + 2*y = -w, 5*c + 5*y - 950 = 0. Let g = c - 119. Does 12 divide g?
False
Let l(j) = 95*j. Let f be l(1). Suppose -7*g + 4*g + f = 4*y, y + 3*g - 35 = 0. Is y a multiple of 4?
True
Let r(p) = -p**2 + 14*p - 8. Let c be r(13). Let w = c + -1. Is 26 a factor of w + -6 + 103 + 3?
True
Let u = 14 - 12. Suppose -3*h + 15 = u*i, 4*h - 20 = i + 4*i. Suppose -3*a = -6, -a - 2 = -h*w + 3*a. Is w a multiple of 2?
True
Let d be (15/6)/((-2)/76). Let z = 164 + d. Does 12 divide z?
False
Let s(n) = -n**2 + 57*n - 18. Is 7 a factor of s(12)?
False
Let x(p) = 8*p**3 + 2*p**2 - 3*p + 4. Let j(g) = -g**3 - 2*g - 1. Let l be j(-1). Let h be x(l). Suppose -4*q - q = -h. Is q a multiple of 7?
True
Let f = 39 + 14. Suppose -j = d - f, j - 109 = -2*d - 4*j. Does 13 divide d?
True
Suppose -64 = -0*y - 4*y. Let l = y + 48. Suppose 3*v - 2*k - 99 = k, 3*v + 4*k - l = 0. Does 8 divide v?
False
Let b(o) = -o**2 - 11*o - 6. Let i be b(-10). Suppose -4*l = -i*g + 35 + 81, -145 = -5*g - l. Suppose 2*x - 3*x - 5*j = -g, 3*x + 4*j = 43. Is 9 a factor of x?
True
Let w be (-1 - 1)/(3/(-6)). Suppose -2*v = -w*d + 2*v + 424, 5*v = 2*d - 200. Is d a multiple of 17?
False
Let z(t) = -t**2 - 5*t. Let w be z(-4). Let u(j) = -9*j**2 - 7*j + 4. Let d(i) = -9*i**2 - 6*i + 3. Let f(b) = w*u(b) - 5*d(b). Is 14 a factor of f(2)?
False
Let m(z) = 8*z**3 + 3*z**2 - 5*z - 1. Let s be m(2). Let a = s - -5. Is 8 a factor of a?
False
Is (-28860)/(-100) + (-4)/(-10) a multiple of 26?
False
Let h(a) = -3*a - 16. Suppose -3*k = 45 + 30. Let y = k - -16. Is h(y) a multiple of 9?
False
Suppose 3*v - 169 = -2*p, 5*v + 5*p - 157 = 2*v. Does 6 divide v?
False
Let q(a) = -a + 8. Let t be q(5). Let f(o) = o + 12 - t*o + 4*o + o. Is 15 a factor of f(6)?
True
Let m = 743 - 269. Is 17 a factor of m?
False
Let a be (24 + 2)/(-3 + 1) - 1. Let y(p) = p**3 + 12*p**2 - 32*p - 16. Is 10 a factor of y(a)?
True
Suppose -2*r + 742 = -718. Suppose 4*s + 580 = 3*f, -3*s - 2*s = -5*f + r. Does 12 divide (0 - -2)*s/(-4)?
False
Suppose -5*m = -19*m - 854. Let j = -23 - m. Is 9 a factor of j?
False
Let x = 237 - 210. Is x a multiple of 9?
True
Let h = -39 - -278. Let m = h + -110. Is 46 a factor of m?
False
Let m = -45 + 36. Let f be 1*51*(-6)/m. Suppose -2*h + f + 68 = 0. Does 17 divide h?
True
Let c(x) = 33*x. Let o be c(-2). Let t(q) = -109*q + 1. Let d be t(-1). Let a = d + o. Is a a multiple of 11?
True
Suppose a = -2 - 4. Is 4/a*((-11556)/(-8))/(-9) a multiple of 17?
False
Let j = 6 - 9. Let o(t) = 4*t**2 - 6*t. Does 18 divide o(j)?
True
Let f be (-7)/((-14)/230) - (-12)/(-3). Let x = f + -27. Is x a multiple of 7?
True
Is 11 a factor of ((-2)/(-7) - 0) + 126453/1281?
True
Suppose 8*i = 6*i + 6. Let z(t) = t + 2*t**2 + 2 - i*t**2 + 11. Is 3 a factor of z(0)?
False
Let q = 6 - 16. Let s(j) = j**2 + j - 8. Let t be s(-6). Let g = q + t. Does 12 divide g?
True
Does 5 divide 737/9 - (-3 - 182/(-63))?
False
Let v(u) = 8*u**2 - u + 7. Let l be v(9). Let h = l + -913. Let b = -156 - h. Is b a multiple of 37?
True
Is 12 a factor of 120/80*(-338)/(-3)?
False
Is 15 a factor of -474*11/((-176)/40)?
True
Let k = 9 + -2. Let q(x) = x**3 - 7*x**2 - x - 17. Let a be q(k). Let v = a - -42. Does 6 divide v?
True
Let t = -35 + 53. Is 19 a factor of (1 - -1)/(t/333)?
False
Suppose 2*b + p - 15 = 0, -p - 2 = p. Suppose b*w = 4*w + 88. Is w a multiple of 3?
False
Let x(j) = -12*j - 44. Does 8 divide x(-9)?
True
Let n = 1103 - -199. Is 62 a factor of n?
True
Let k(t) = -20*t - 2. Let j(l) = 38*l + 4. Let x(d) = -3*j(d) - 5*k(d). Suppose 0 = -u - 5*r - 27, -2*u - 3*r = -3*u + 13. Is 10 a factor of x(u)?
False
Suppose 5*s + 26 = 3*b, b - 18 + 0 = 3*s. Let l(r) = -2*r**3 - 15*r**2 - 6*r + 7. Let j be l(s). Suppose j*i - 2*i + 162 = 0. Is 15 a factor of i?
False
Is (-3 + -17)*(-27)/6*6 a multiple of 54?
True
Is 19 a factor of 288/(-240) - 1342/(-10)?
True
Suppose 0 = n + 3*n - 68. Let a = -6 - -14. Suppose -a = -f + n. Is 25 a factor of f?
True
Let a = 70 - 38. Let q be ((-5)/3)/(4/12). Let j = a + q. Does 9 divide j?
True
Suppose 0 = 12*r - 11*r. Suppose p + p - 24 = r. Is 4 a factor of p?
True
Let p(q) = 4*q**2 - 20 - 18 + 40. Is p(2) a multiple of 2?
True
Let v(d) be the second derivative of -8*d**3 - d**2 - 5*d. Let x be v(-4). Suppose 3*w = l + 134, 2*l - x - 15 = -5*w. Is 14 a factor of w?
False
Suppose 516 = h + h + 3*v, -v = -5*h + 1256. Is 9 a factor of h?
True
Let s = -229 - -502. Is 39 a factor of s?
True
Let b = -159 - -483. Is 36 a factor of b?
True
Suppose -1571*d = -1582*d + 2431. Is d even?
False
Let y(z) = 89*z - 16. Is y(10) a multiple of 46?
True
Suppose 0*l = 5*l - 10. Let r(m) = -m**3 + 2*m**2. Let c be r(l). Suppose -4*p = -4*t + 288, -t + 3*p + p + 87 = c. Is t a multiple of 19?
False
Suppose 5*a = 3*m - 21, -3*a - 1 = m - 22. Suppose 0 = n + 4*f - m, f = 4*n - 4*f - 111. Does 13 divide n?
False
Suppose 87*r - 123*r + 74052 = 0. Is 31 a factor of r?
False
Let z(s) = -2*s - 9. Let f be z(-7). Suppose f*w - 5*x - 4 = 3*w, 0 = 2*w + 3*x - 4. Suppose 4*k = -u, 0*u = 4*u - w*k - 18. Is u a multiple of 4?
True
Let p(o) = o - 46. Let s be p(22). Let d = 48 + s. Is d a multiple of 6?
True
Let l = 72 - -2075. Is 19 a factor of l?
True
Suppose -70 = -17*c + 3755. Is 15 a factor of c?
True
Let m(j) = 25*j**2 + j + 27. Let d be m(-6). Suppose 5*n - d = -2*o - 224, 4*n = -4*o + 548. Is 31 a factor of n?
False
Let b = -32 - -38. Let f(y) = -y**3 + 10*y**2 - 13*y + 10. Is 10 a factor of f(b)?
False
Let r be (2/(-6))/((-4)/36). Suppose 4*x + r*v - 2*v = 197, 44 = x + 2*v. Is 19 a factor of x?
False
Does 12 divide -4 - (-2370)/12 - (-3)/2?
False
Is 4 a factor of 61 + (-3)/2*76/114?
True
Suppose -18*k - 15736 = -26*k. Is 10 a factor of k?
False
Let r be ((-2)/15 + 33864/180)/1. Is (10 + -7)/((-2)/(r/(-6))) a multiple of 11?
False
Suppose 4*j - 40 + 407 = x, 0 = -2*x - j + 752. Is x a multiple of 5?
True
Let t(o) = -37*o - 27. Let s be t(-18). Suppose q + 1 = -c + 163, c - s = -4*q. Suppose 0 = 5*a + 2*j - 435, 4*j + 446 = 3*a + q. Does 27 divide a?
False
Let a(f) = f**2 - 13*f - 14. Let o be a(14). Let m(t) be the second derivative of t**5/20 + t**4/12 + t**3/3 + 59*t**2 + 12*t. Is m(o) a multiple of 25?
False
Let s = -31 + 42. Let p = 2 + s. Is 17 a factor of 440/p - 6/(-39)?
True
Let r(t) = t**2 + t. Suppose 0 = -4*n - 3*a - 7, -5*n - 3 = -2*a - 0*a. Let g be r(n). Suppose -v - 3*l = -4, -2*v = -g*l + l - 28. Does 11 divide v?
False
Let l be (-4)/(-6) + (-67)/(-3). Let b = -65 + 140. Suppose w - b = -l. Is 13 a factor of w?
True
Let r(f) = -6*f + 7. Suppose 5*l = 3*w + 1 + 3, 3*l + 20 = -w. Does 11 divide r(w)?
True
Let q be (-10)/(-35) + (-19)/(-7). Suppose q*h + h = g - 132, 2*g - 3*h - 259 = 0. Does 27 divide g?
False
Let o be (2 - 314)*1/(-2). Suppose -6*g + 7*g + 2 = 0, 0 = -t + 3*g - 50. Let k = t + o. Is 15 a factor of k?
False
Let h(b) = b - 14. Let z be h(17). Suppose z*t - 5*t + 54 = o, -4*t - o + 110 = 0. Is t a multiple of 7?
True
Let 