= m**2 - 24*m + 54. Suppose -b - 2*b = -69. Is 6 a factor of t(b)?
False
Suppose 4 - 5 = -y. Let n(m) = 48*m**3 - m**2 + m. Is 16 a factor of n(y)?
True
Let f = 4227 + -655. Is 38 a factor of f?
True
Let w be 1 + -17 + (2 - 0). Let h = w - -17. Is -21*h/(63/(-6)) even?
True
Suppose 0 = -4*q + 13 + 51. Is 60*-10*(-4)/q a multiple of 13?
False
Let y(b) = 5*b**2 + 2*b - 318. Let i(a) = -a**2 + 1. Let n(g) = -6*i(g) - y(g). Is 39 a factor of n(0)?
True
Let q(c) = -c**2 + 10*c - 1. Let r be (2 + -1)/((-2)/(-28)). Let t = -6 + r. Does 5 divide q(t)?
True
Let t = -114 - -162. Let h be (-15 - -3)/4 - -51 - 3. Let k = h + t. Is k a multiple of 14?
False
Let b be 3/(2/(-12)*(-4)/(-6)). Let k = b + 178. Is k a multiple of 19?
False
Let g(l) = 7*l**2 - 158*l + 19. Is g(25) a multiple of 74?
True
Let f be (-10)/4*-1*108. Suppose 2*b - 450 = -5*z, -3*z + 5*b - b + f = 0. Is 9 a factor of z?
True
Suppose -q + 3118 = 2*v - 2246, v - 2660 = 5*q. Is v a multiple of 134?
True
Let p(s) = 3*s - 20. Let y be p(7). Suppose 0 = -j + 2 + y. Does 3 divide j?
True
Does 39 divide (-232)/(-60) + -4 + (-21021)/(-45)?
False
Suppose 0 = 4*j - 16, -2*d - 5*j = 3*d - 8625. Does 58 divide d?
False
Suppose -16 = -8*s + 4*s. Suppose 135 = 5*d - 3*u, s*d = -2*u - 2*u + 108. Is 33 a factor of 18/4*396/d?
True
Suppose -3*d + 1333 + 3541 = p, 8142 = 5*d - 3*p. Is d a multiple of 44?
False
Does 35 divide (22/(-8))/11 + (-3921)/(-4)?
True
Let r(g) be the third derivative of g**8/20160 - g**7/840 + 13*g**6/720 - g**5/30 - 5*g**2. Let c(q) be the third derivative of r(q). Does 20 divide c(9)?
True
Let w be 36/14*1*42. Is ((-3)/2)/((-9)/w) a multiple of 7?
False
Let j = -28 - -32. Suppose 4*k = i - 54, -2*i + k = -j*i + 72. Is i a multiple of 5?
False
Let m(d) = -6*d - 1. Let y(p) = 9 - 6*p**2 + 7*p - 7*p**2 - 4 + 14*p**2. Let x be y(-4). Is 11 a factor of m(x)?
False
Suppose -5*i - l - 55 = 0, 4*i - 3*i = -2*l - 20. Let x = -3 - i. Suppose x = -n + 31. Is 12 a factor of n?
True
Let m be 37 - ((3 - 1) + -3). Let d = 64 - m. Let q = 37 - d. Is q a multiple of 10?
False
Suppose 0 = -3*v + 4*o + 22, 4*v + 5*o - 67 = v. Let u(z) = -z**2 + 21*z - 4. Does 13 divide u(v)?
False
Suppose 2*x + 2*c = -3*x - 13, 2*x + 5*c + 22 = 0. Let k be (3 + x - 1) + 1. Does 6 divide ((-19)/(2/k))/(-1)?
False
Let n = -113 + 156. Let s(o) = -2*o**2 - 4*o + 5. Let f be s(-5). Let c = n + f. Is c a multiple of 10?
False
Let d be -4*3/(-36)*3. Let u be -4*d + -4 + 7. Let n(r) = -50*r**3 + 2*r**2 + r. Does 9 divide n(u)?
False
Suppose 4*t - 3100 = -2*w - 3*w, 2*t = -5*w + 1540. Is 15 a factor of t?
True
Let d = -82 - -404. Does 46 divide d?
True
Let s(r) be the second derivative of r**3/2 - r**2/2 + 4*r. Let c be (4/(-6))/((-3)/36). Is 14 a factor of s(c)?
False
Let y = 653 - 194. Is y a multiple of 8?
False
Let b = 280 - 245. Does 2 divide b?
False
Let r = 3101 - 1661. Is 96 a factor of r?
True
Let d = 90 + 368. Is d a multiple of 26?
False
Let l(h) = -h - 9. Let x be l(-10). Let a = 1 - x. Let j = 36 + a. Is j a multiple of 10?
False
Let n(l) be the first derivative of -l**3/3 + 19*l**2/2 + 2*l + 7. Is 9 a factor of n(14)?
True
Suppose -2*w + 4 = 0, -3*a - 5*w = -162 - 175. Let j(h) = 14*h + 2. Let u be j(-5). Let b = u + a. Is b a multiple of 13?
False
Suppose 2*x + 2 = 3*x. Let c(h) = 9*h**3 - 3*h**2 + 4*h - 1. Let u be c(x). Suppose -u = -2*w + 5*q, 4*q - 3 = 1. Is w a multiple of 7?
False
Let k(m) = -16*m - 14. Let v = -6 + 11. Let x(h) = -8*h - 7. Let u(p) = v*x(p) - 2*k(p). Does 14 divide u(-9)?
False
Let z(v) = 82*v**2 + 9*v + 48. Does 69 divide z(-3)?
True
Let u = -31 - -19. Let a = 30 + u. Is a a multiple of 2?
True
Let u = 32 - 100. Let z = u - -121. Is z a multiple of 16?
False
Suppose -25 = 2*d - 7*d. Suppose 2*j = -d*w + 97, 4*j = -5*w + j + 93. Suppose -4*x - 48 = -p, -p + 5*x - w = -2*p. Is p a multiple of 12?
True
Suppose 29*w - 632 = -3*i + 25*w, 0 = -3*i - 3*w + 627. Is i a multiple of 3?
True
Suppose 10 = 2*y + 2*o, 10 = -4*y + 6*o - 4*o. Suppose y = -5*l - 3*j + 49, l = 2*l + 4*j - 3. Does 2 divide l?
False
Suppose 15*k - 12*k - 4*s - 693 = 0, -1163 = -5*k + 4*s. Is k a multiple of 36?
False
Suppose -z + 653 = 3*s, -13*z + 8*z - 1055 = -5*s. Is 27 a factor of s?
True
Let j(q) = -q**3 - 10*q**2 + 12*q + 15. Let f be -1 + (1 - 2) - 9. Let c be j(f). Suppose o - c*o = -30. Is o a multiple of 2?
True
Suppose -2 = 2*k + 22. Let z(a) = a + 17. Let g be z(k). Suppose r - 2*x = 21, g*r + 0*x = 5*x + 115. Is r a multiple of 5?
True
Let s be 390/25*15/6. Suppose 0 = 5*c + s + 261. Let w = -34 - c. Is w a multiple of 7?
False
Let o = 46 - 21. Let l = o - -13. Is 12 a factor of l?
False
Suppose -46*o + 60*o - 15428 = 0. Is o a multiple of 58?
True
Let j(n) = 63*n**2 - 62*n - 5. Does 14 divide j(5)?
True
Let m(z) = z**3 - 10*z**2 + 3*z + 4. Let t(p) = -p**2 - 12*p + 4. Let x be t(-12). Suppose 2*i + 0*i + 4*g = 32, 3*i - 18 = x*g. Does 10 divide m(i)?
False
Suppose -d = g - 410, -g - 5*d + 422 = -0*g. Is 9 a factor of g?
False
Suppose -2*l - 2*l + 464 = 0. Let p = l - -66. Suppose 0 = 3*z + b - 287, -2*z + 2*b - 5*b + p = 0. Is z a multiple of 23?
False
Let s(v) = 3*v**3 - 3*v**2 - 5*v + 16. Is s(4) a multiple of 5?
True
Suppose -13*r = 14*r - 51030. Does 18 divide r?
True
Let j(t) = 2*t**3 + 3*t**2 + t + 4. Let h(o) = -3*o**3 - 2*o**2 - o - 3. Let m(u) = -4*h(u) - 3*j(u). Does 23 divide m(2)?
True
Let y be (-7)/(63/(-438)) + (-6)/9. Suppose 4*m - 2*m = 3*c - 34, 4*c - 4*m - y = 0. Is 2 a factor of c?
True
Suppose -5*l = -8*l + 6. Suppose 7*q = l*q - 270. Let b = 18 - q. Does 12 divide b?
True
Is 64 a factor of ((-792)/(-231))/((-2)/(-224))?
True
Suppose 4*z - 121 = 3*z. Let f = z + -42. Is 31 a factor of f?
False
Suppose 3*k - 2*y = 4*k - 1858, k - 1873 = -5*y. Is k a multiple of 44?
True
Let q(y) = 42*y + 126. Let p(g) = 7*g + 21. Let v(u) = -35*p(u) + 6*q(u). Is 30 a factor of v(22)?
False
Let q be (29 - 0)*(1 - 0). Suppose -q = -3*s - 2. Let m(p) = -p**2 + 12*p - 10. Does 7 divide m(s)?
False
Let r(h) = h**2 + h - 6. Suppose 3*z - 4 - 11 = 0. Is r(z) a multiple of 6?
True
Suppose -2 = -3*v + 4. Suppose -80 = v*i - 0*i. Let m = 69 + i. Does 23 divide m?
False
Let d = -1082 - -2119. Is d a multiple of 5?
False
Let t be (-245)/(-14)*12/(-15). Is ((-11)/(-2))/((-7)/t) a multiple of 8?
False
Let k be 3619/5 + -3 - (-1)/5. Suppose 4*x - 287 = k. Is x a multiple of 18?
True
Let b be 6/6 + 16/2. Suppose -1193 = -b*n - 77. Is 6 a factor of n?
False
Suppose 3 - 6 = -3*n, 5 = -4*o + 5*n. Suppose o = 3*u - 5*b - 23, -u = 2*u + b - 17. Is u a multiple of 4?
False
Suppose 0 = 2*f + 3 - 13. Suppose -2*r = -f - 61. Does 4 divide r?
False
Let i(y) = y**2 - 6*y - 11. Suppose 3*d - 26 = -2. Let l be i(d). Suppose -4*b = -n + 4, -2 + 88 = l*n + 2*b. Is 8 a factor of n?
True
Let r be (1/3)/(2/618). Let p = r - 57. Does 9 divide p?
False
Suppose 1322 = 9*s - 3808. Is 10 a factor of s?
True
Let v(j) = 7*j**2 + 7*j. Suppose 0 = 4*g - 12. Is v(g) a multiple of 21?
True
Suppose 13 = 3*z - 4*l, -11*l + 2 = -z - 16*l. Is z a multiple of 3?
True
Let z(v) = -7*v + 21. Let a be z(3). Suppose a = 5*w - w - 5*f - 344, -4*w - f + 368 = 0. Is w a multiple of 3?
False
Suppose 5*u = -20, 3*v - 2*u + 3 = 26. Suppose -3*f + 344 = 4*g, 4*g - v*f + 2*f - 344 = 0. Does 23 divide g?
False
Suppose 25*w = 29*w - 12. Suppose -2*j - w*j = -280. Does 14 divide j?
True
Let l = -134 + 167. Is l a multiple of 12?
False
Suppose 2*j + 0 + 34 = 0. Suppose -z - 12 + 59 = 0. Let i = z + j. Does 14 divide i?
False
Let x = -25 + 23. Let i(w) = -4*w**3 + w**2 + 6*w + 4. Let p(h) = 3*h**3 - h**2 - 5*h - 3. Let f(d) = -2*i(d) - 3*p(d). Is 7 a factor of f(x)?
True
Suppose -2*u - 7 = -1. Is u + 9 + -3 - -82 a multiple of 18?
False
Is ((-6)/(-10))/(21/26565) + -6 a multiple of 3?
True
Let s(n) = n**3 - 3*n**2 + 4*n + 8. Let f be s(5). Suppose 0 = -4*a + 2*a + f. Does 2 divide a?
False
Let c(w) = -2*w**3 - 3*w**2 + 2*w. Let h be c(3). Let b = h - -127. Is b a multiple of 13?
True
Suppose 3*o = -4 - 2, -2542 = -5*t - 4*o. Is 51 a factor of t?
True
Let p be (-596)/6*15/(-10). Suppose 0*a - y = 5*a - p, 2*y = 5*a - 137. Does 29 divide a?
True
Let x(d) = 2*d**2 - 6*d - 22. Does 43 divide x(9)?
True
Let c = -45 + 70. Is c a multiple of 12?
False
Let j(k) = 4*k**2 + 8*