se c + 40 = 3*c. Let g(x) = -x**3 + 24*x**2 - 2*x + 54. Let f be g(24). Suppose -f = -3*h, 2*b + 5*h = 3*b - c. Does 7 divide b?
False
Let m(h) = -h**3 + h**2 + 2*h - 4. Let r be m(0). Let j be (-1690)/52 - 6/r. Let x = j + 107. Is 15 a factor of x?
False
Let l(u) = -1172*u - 126. Does 9 divide l(-1)?
False
Let l(w) = 37*w - 1. Let q be l(-1). Let f = 42 + q. Suppose i - 48 = 3*j, -5*i + f*j + 82 + 103 = 0. Does 11 divide i?
True
Suppose 43*a = 1200243 - 38082. Is 77 a factor of a?
True
Let w be (-6)/14 + (-208)/(-28). Suppose 1900 = 2*s + 3*m, 11*s = w*s + 2*m + 3800. Does 25 divide s?
True
Suppose -3*x = 3*w - 5268, x = 4*x + 4*w - 5267. Suppose 0 = 8*q - 1483 - x. Does 45 divide q?
True
Is (-109 - 7)*((-37521)/22)/9 a multiple of 29?
True
Suppose -4 = 2*v - 6*v. Suppose -3*z + 4*z - v = 0, -5*g = -3*z + 108. Let d(j) = j**2 + 21*j + 9. Does 3 divide d(g)?
True
Let a(l) be the first derivative of l**5/24 - 19*l**4/24 + 37*l**3/3 - 2. Let p(w) be the third derivative of a(w). Is 6 a factor of p(6)?
False
Suppose 5*c - 8*c = -27. Suppose 12*j - 144 = c*j. Suppose 2*s + j = 5*s. Is 2 a factor of s?
True
Is (7596/27)/(1/(90/4)) a multiple of 97?
False
Suppose 0*d = 5*d - 10. Suppose -4*b = -2*a + 8, -3*a + 8*a = d*b + 4. Is -2 + (-1132)/(-8) - b/4 a multiple of 35?
True
Let h(m) = m**2 - 15*m - 2. Let q be h(16). Let x = q - 8. Is 24 a factor of (0 - -42)*(6/(-3) + x)?
True
Let b = -379 + 381. Suppose b*u + 4*q = 206, 0 = 2*u - 7*q + 9*q - 214. Is u a multiple of 24?
False
Is -37*((-6)/168*511)/((-1)/(-20)) a multiple of 5?
True
Let s = 50 - -3. Let r = -25 + s. Suppose -r*v = -29*v + 36. Is 24 a factor of v?
False
Suppose 5*a - 3*j - 2*j - 45 = 0, -3*a + 4*j = -31. Suppose -9*k + 5*k = -a*r - 665, 5*k - 3*r - 841 = 0. Does 10 divide k?
True
Suppose i - 2*m = 1, i = 10*m - 5*m + 4. Let g(d) = 12*d**3 + d + 2. Let p(f) = 59*f**3 + 6*f + 11. Let y(u) = -11*g(u) + 2*p(u). Does 2 divide y(i)?
False
Suppose 3*f = 4*m + 1983, 135*f - m = 131*f + 2618. Is f a multiple of 7?
False
Does 17 divide (-52866)/(-16) - 16*(-1)/(-128)?
False
Let z = 37 - 37. Suppose 2*u - 86 - 16 = z. Is u a multiple of 12?
False
Let q be (110/(-90)*-6)/(1/3). Let w(t) = t**3 - 18*t**2 - 62*t + 19. Is 23 a factor of w(q)?
False
Let r be 1/3 + 6956/111. Suppose r*j + 2335 = 67*j - 3*q, -2*j - q + 1155 = 0. Is 14 a factor of j?
False
Let o = 4099 - 2968. Is 13 a factor of o?
True
Let n be (-65)/(6/4*(-16)/(-24)). Suppose -2*i = 10*i + 180. Let q = i - n. Is 25 a factor of q?
True
Let s(m) = -7*m**2 - 35*m + 3. Let r be s(-5). Suppose -r*d + 565 = -185. Is 20 a factor of d?
False
Let b(l) be the third derivative of 59*l**4/24 - 43*l**3/6 - 77*l**2. Is b(5) a multiple of 14?
True
Let l = -10 + 91. Suppose 88*f - l*f = 70. Is 3 a factor of f?
False
Suppose -1519*t - 50511 = -1550*t + 132823. Does 106 divide t?
False
Let k = 3246 + 6699. Does 128 divide k?
False
Let l be (-68)/14 + (-35)/245 - -844. Let z = l + -71. Does 45 divide z?
False
Let d = -55 + 102. Let w = d - 37. Does 6 divide ((-4)/w*-1)/(15/450)?
True
Does 21 divide (-76)/(-133) - 36150/(-21)?
True
Is 89/(-89) + ((-2)/8 - (-57925)/20) a multiple of 193?
True
Suppose 23705 = 3*v + 5*p, -2*v + v + 4*p + 7896 = 0. Suppose -29*a + 3729 = -v. Is a a multiple of 51?
False
Let s(z) be the second derivative of -z**5/20 - 13*z**4/4 - 47*z**3/6 - 147*z**2/2 + 34*z + 1. Is s(-38) a multiple of 65?
True
Suppose 38*a + m = 35*a + 36517, -4*m + 12176 = a. Is a a multiple of 32?
False
Let y(c) = -34*c**3 + 2*c**2 - 12*c - 31. Let d = -19 - -16. Is y(d) a multiple of 59?
False
Suppose 0 = 103*q - 108*q + 1980. Suppose 2*n + n = q. Does 11 divide n?
True
Let f = 122 + -120. Suppose -3*s + 34*n - 30*n = -1975, -f*n - 2640 = -4*s. Does 13 divide s?
False
Suppose -5*j + 411 = 341. Is 7/2*2036/j a multiple of 39?
False
Let l = 16242 - -14273. Is 260 a factor of l?
False
Let q = -49 - -215. Suppose -4*g + 670 = q. Is g a multiple of 18?
True
Suppose 3*p - 27 = 7*p - 5*u, 9 = -p + 2*u. Let k(d) = -d**3 - 3*d**2 + 3*d - 1. Let l be k(p). Is 16 a factor of (1 + 975/l)/(1/(-2))?
False
Let f be 3 + 5 + -4 + -1 + -1. Suppose -3*j + 1254 = -2*o, -4*j + 1741 = f*o + 55. Is j a multiple of 21?
True
Let h(s) = -4*s**2 - 7*s + 9. Let a(w) = 5*w**2 + 6*w - 8. Let p(c) = 4*a(c) + 3*h(c). Let x(k) = 7*k - 37. Let y be x(6). Is 15 a factor of p(y)?
True
Let w(m) = -m**3 + 12*m**2 - 7. Let q(r) = -11*r - 154. Let f be q(-15). Is 71 a factor of w(f)?
False
Let z(b) = -21*b**2 - 16 + 3*b - 21*b**2 + b**3 + 40*b**2. Let y be z(3). Suppose -2*a + 276 = y*p - 7*p, 0 = -3*a - 4*p + 368. Is a a multiple of 50?
False
Let n(g) = g**2 - g + 1. Let o(a) = 4*a**2 - 15. Let m(w) = -5*n(w) + o(w). Let x be m(0). Let j = x + 24. Is j a multiple of 2?
True
Suppose 3*y + 108 = 3*x, -5*x + y + 0*y + 156 = 0. Does 2 divide x?
True
Let t = -19169 - -77290. Is 361 a factor of t?
True
Let x(v) = 35*v**2 - 2*v - 10. Let k be x(4). Let r = k - 234. Is 28 a factor of r?
True
Suppose 1122136 + 1252725 = 75*u - 66689. Is 49 a factor of u?
False
Let f = -545 + 1254. Let b = 1084 - f. Does 75 divide b?
True
Let f = -1516 - -16705. Is f a multiple of 212?
False
Let g(a) = 6*a + 6 + 104 + 110*a. Is 13 a factor of g(6)?
True
Let y = 5660 - 4184. Is y a multiple of 2?
True
Let x = 1027 - 1022. Let n(u) = -2*u**3 + u**2 + 4*u + 3. Let o be n(-2). Suppose o = 2*y + 5, -x*i + 285 = 4*y. Is 7 a factor of i?
False
Let c(m) = 6*m + 129. Let i be c(-22). Let b(s) = 7*s**2 + s + 11. Is b(i) a multiple of 13?
False
Let z(p) = 16*p - 93. Let l be z(7). Suppose 4*a = l*a - 1365. Does 4 divide a?
False
Let j(c) be the third derivative of -c**4 - 6*c**3 + 59*c**2. Does 9 divide j(-8)?
False
Suppose 3*u + 157080 = 5*u + 20*u. Is 28 a factor of u?
True
Let s(q) = 2*q**3 - 11*q**2 + 14*q - 3. Let w(k) = -k**2 + 2*k - 1. Let z(u) = s(u) - 6*w(u). Let v be z(3). Is 326*(12/v)/((-4)/(-3)) a multiple of 34?
False
Suppose 3*s - 3*w - 21 = 0, -4 = -4*s - 5*w + 6. Suppose 3*v + 4*q + 2 = 2*q, -s*v - q = -6. Suppose v*b = -2, 5*u - 147 - 335 = -3*b. Is u a multiple of 6?
False
Let k(t) = -4*t**3 + 5*t**2 + 9*t + 1. Let p be k(4). Suppose -20 = -5*o + 10. Let i = o - p. Does 48 divide i?
False
Let j(r) = -r**3 + 2*r**2 + 4*r. Let z be j(-2). Suppose -z*h + h + 3402 = 0. Is h a multiple of 27?
True
Suppose 0 = -27*d + 284*d - 141864. Is 25 a factor of d?
False
Let h(g) = -g**2 + 10*g + 23. Let u be h(13). Suppose 0*p - 4*p = 12. Is 15 a factor of (-227)/(-4) - p - 4/u?
True
Suppose -649*a + 5897077 = -492*a. Is a a multiple of 39?
False
Let j(y) = 2*y**2 - 43*y - 2343. Does 34 divide j(-50)?
False
Suppose -m = -5*l + 16, 0 = 2*m - 0*l + l - 12. Suppose 2*h - 4*h + 3*g = -209, -m*h = 2*g - 394. Does 29 divide h?
False
Suppose -2*v + 5*p = -71247, 8*p = 4*v + 6*p - 142502. Is 19 a factor of v?
False
Suppose 1279 = 4*p + 3*n, -4*n + 640 = 5*p - 960. Let b = -108 + p. Is b a multiple of 8?
True
Suppose -f + 3*k = -603, 4*f - k - 1476 - 936 = 0. Suppose 9*y = f + 81. Is y a multiple of 19?
True
Let f = -24020 - -42610. Is 130 a factor of f?
True
Let p(w) be the second derivative of -w**5/20 - w**4/2 + 4*w**2 + 142*w. Does 34 divide p(-8)?
True
Suppose 70*c + 1848600 = 60*c + 484*c. Is 25 a factor of c?
True
Suppose 269 = -12*h + 89. Let w = h - -19. Suppose j - 191 = -4*a + 89, -2*a + 122 = -w*j. Is 46 a factor of a?
False
Suppose -a + 24 = -3*a. Let w be 3 - 5 - a/2. Suppose -157 = -4*b + l, -b - w*l - 6 = -41. Is 13 a factor of b?
True
Let y(q) = -1713*q + 4. Let g be y(-1). Suppose g = 11*j - 659. Is 12 a factor of j?
True
Let r be 7/(140/5625)*(-15 + 11). Let n = 2565 + r. Is n a multiple of 20?
True
Let s(d) be the second derivative of -d**5/20 - 7*d**4/6 - 11*d**3/3 - 10*d**2 + 5*d - 9. Is 14 a factor of s(-14)?
False
Let t(h) = 28*h + 28. Let l be t(-1). Suppose l = -4*q - 459 + 1539. Is 15 a factor of q?
True
Let g(q) = -8*q**2 - 20*q - 7. Let c(s) = -7*s**2 - 19*s - 6. Let z(a) = 6*c(a) - 5*g(a). Let t be z(-5). Suppose 5*h + t = 454. Is 10 a factor of h?
False
Let z(c) = -3*c**3 - 20*c**2 - 23*c - 76. Let s(q) = 7*q**3 + 39*q**2 + 48*q + 151. Let d(k) = -2*s(k) - 5*z(k). Is d(-20) a multiple of 6?
True
Is ((-62619)/(-6) + 2)*88/66 a multiple of 64?
False
Let u(y) = -y**2 + 21*y - 6. Let m = 166 - 155. Is 2