t f(u) = u**3 - 11*u**2 + 30*u - 9. Let t be f(9). Is 40 a factor of (1 - -140)*330/t?
False
Let h be 24/(-84) + (2628/7)/(-2). Let s = h - -496. Is 5 a factor of s?
False
Let q(u) = -2*u**3 - 41*u**2 + 115*u - 162. Is 42 a factor of q(-33)?
True
Let s = -4415 - -9783. Is s a multiple of 22?
True
Let q(j) = -157*j + 55. Let t be q(-7). Let y = t - 605. Does 9 divide y?
True
Suppose 0 = -5989*r + 5967*r + 136136. Does 28 divide r?
True
Let a(i) = -5*i - 15. Let h be ((-2)/8)/(24/(-384)). Let j be a(h). Is (826/j)/((-4)/10) a multiple of 11?
False
Suppose -36*n + 32*n = 2336. Let o = n + 647. Is o a multiple of 9?
True
Let f(n) = -3*n - 3. Let a be f(-1). Let g be a + 4/(-4) + -20. Let d = 17 - g. Is d a multiple of 19?
True
Suppose 13 - 7 = 3*s. Suppose 3*p - 3*m = 2376, s*m + 2*m = 3*p - 2377. Is p a multiple of 14?
False
Is (1 - (-2 + (-90)/42))/((-9)/(-714)) a multiple of 2?
True
Let k(v) = v**3 + 27*v**2 - 11*v + 35. Let r be k(-28). Does 72 divide (-98)/r - 646/(-9)?
True
Let n(v) = 2*v**3 - 38*v**2 - 208*v + 45. Is n(36) a multiple of 39?
True
Suppose 0 = 5*n - 2*n - 150. Let y = n + -37. Suppose -6*r = -7*r + y. Is r a multiple of 2?
False
Let g(j) = -12*j**2 + 9*j + 25. Let s be g(-5). Suppose 5*x - 2316 = 2*l, 4*l = -3*x + 2*x + 450. Let i = s + x. Does 31 divide i?
False
Let j(s) = -171*s - 2927. Does 65 divide j(-27)?
True
Suppose 15972 = -12881*y + 12892*y. Is y a multiple of 46?
False
Suppose -193 + 201 = 4*g. Is (g/((-8)/3))/((-4)/96) even?
True
Suppose -544*s + 589*s - 274365 = 0. Is 7 a factor of s?
True
Let i(d) = -2663*d + 1833. Does 14 divide i(-5)?
True
Suppose 4*s - 711 - 717 = 0. Let x = 799 - s. Does 34 divide x?
True
Suppose -5*g - 2 = -3*g - s, 5*s - 10 = 2*g. Suppose -2*t + 7*p - 6*p + 633 = g, t + p = 324. Does 12 divide t?
False
Let u(t) be the first derivative of -t**4/4 + 7*t**3 + 6*t**2 + 78*t - 9. Is u(12) a multiple of 69?
True
Let n(k) = k**2 - 4*k + 15. Let d be n(13). Let z = d - 88. Suppose 0 = -3*r + 106 + z. Is 50 a factor of r?
True
Suppose 3*u + 0*y - 12540 = 3*y, 2*u - 8350 = 4*y. Is u a multiple of 135?
True
Let y be 0 + -2 + 0 + (4 - -87). Suppose -y = -5*x + 331. Is x a multiple of 7?
True
Suppose 15*z + 12 = 9*z. Let l = -17 + 7. Does 20 divide (-2)/(l - z) - (-3075)/20?
False
Suppose -4*w + 64110 = 2*q, 3*w - 2061 + 2064 = 0. Is 30 a factor of q?
False
Let p = 1 + 31. Let w = -34 + p. Does 20 divide 1 + 262/6*(w + 5)?
False
Let m(a) = -4*a + 8. Suppose -51 = -u + 4*h, -4*u + 0*h + 204 = 5*h. Let n = -54 + u. Is 10 a factor of m(n)?
True
Suppose -11580 = 7*j - 1864. Let t = j - -2268. Is t a multiple of 20?
True
Suppose 5*h - 27*h = 3344. Let n = h + 200. Is 4 a factor of n?
True
Let y(d) = -5*d**3 + 68*d**2 - 17*d + 58. Is 51 a factor of y(-10)?
False
Let k be 444 - 165/(210/(-14)). Suppose -8 = 4*f - 20. Suppose -f*w = 56 - k. Is 7 a factor of w?
True
Suppose -f = 1, 8 = -2*i - 2*f - 14. Let l be ((-42)/(-35))/(-1*(-1)/i). Is 7 a factor of l*((-20)/4 - -3)?
False
Let p = -2073 + 3136. Is 9 a factor of p?
False
Let z = -58 + 60. Suppose -z*u - 3*u = -10. Suppose -u*k + 148 = 22. Is 5 a factor of k?
False
Suppose -51*b + 23142 = -71*b + 41*b. Is b a multiple of 38?
True
Suppose -19*r + 11*r = -68877 - 16611. Is 13 a factor of r?
True
Let a = 129 + -129. Let s(k) = -k**3 - 2*k**2 - k + 2. Let m be s(-2). Suppose 3*h + m*l = 2*h + 96, h + 3*l - 92 = a. Is 8 a factor of h?
True
Let d(a) = -9*a**3 + 2*a**2 - 45*a - 461. Is 10 a factor of d(-10)?
False
Let m(j) = -j**2 + 12*j + 61. Let d be m(15). Let x(w) = 14*w + 64. Is 24 a factor of x(d)?
True
Suppose 12*j = 24*j + 37*j - 1519. Let a(z) = -5*z + 4. Let i be a(3). Let o = j - i. Is 21 a factor of o?
True
Let z = 183 + -118. Suppose -6*i - z + 929 = 0. Is 8 a factor of ((-8)/(-16))/(2/i)?
False
Let x(c) = c - 11*c + c - 173 - 17*c. Is x(-47) a multiple of 59?
False
Let d = -10 - 50. Let p be ((-6)/(-4))/(d/80). Is (612/90)/(p/(-25)) a multiple of 51?
False
Suppose -9*g - 25 = -4*q - 4*g, 25 = -q - 5*g. Suppose 0 = n - q*n - 48. Let b = -32 + n. Does 8 divide b?
True
Let m(y) be the second derivative of -5*y**3/2 + 173*y**2/2 + 8*y - 4. Is m(-17) a multiple of 70?
False
Let i(s) = 5*s**3 - 13*s**2 + 33*s - 638. Is i(11) even?
False
Suppose -46*z + 117524 = -0*z - 62060. Is 16 a factor of z?
True
Is 7 + (6/(-12))/(5/(-74270)) a multiple of 23?
False
Suppose r - 5*h = -47, -4*r - 121 = -r + 5*h. Let l = -37 - r. Suppose -2*q - 198 = -4*s, -l*s + 3*q = -q - 240. Is 13 a factor of s?
True
Let m = 32103 - 15202. Is 230 a factor of m?
False
Let l be 1*(-8 - (0 - 0))/(-2). Suppose l*h - 719 = 457. Is h a multiple of 42?
True
Suppose 95*a = 91*a - 4*p + 118052, -a + 29527 = -p. Is a a multiple of 48?
True
Suppose 0 = 17*n - 20*n + 75. Let c = 30 - n. Suppose 169 = 5*t - 2*q + c*q, -3*q = 3*t - 99. Does 6 divide t?
False
Suppose -3165 = -3*r + 4*w, -2*w + 5245 = 5*r - 30. Suppose 2*a + 2*j - 748 = 0, -2*a - 299 + r = 4*j. Is a a multiple of 10?
True
Let f(d) = 4*d**2 + 69*d + 65. Let g(l) = -11*l**2 - 207*l - 195. Let z(m) = 8*f(m) + 3*g(m). Is z(-50) a multiple of 6?
False
Let r = -67 + 114. Let y = 138 - r. Does 16 divide y?
False
Let w be (-582)/(-8) - (184/32 + -5). Suppose -3*v = 3*u - 24, 0*u = 2*v - 2*u. Suppose h - v*h = -w. Does 3 divide h?
True
Suppose 753 - 2445 = -4*u. Let m = u - 647. Let k = m - -348. Does 25 divide k?
False
Let b(q) = -2*q + 33. Suppose 41*m + 96 = 45*m. Let l be b(m). Does 3 divide 6 - (l/7 + 9/63)?
False
Let b(x) = -x**2 - x + 2. Let j be b(0). Let l be -55*10/(-50) - -30. Suppose j*a + v - 74 - l = 0, 2*a - 2*v = 112. Is 4 a factor of a?
False
Let n = 277 - -4363. Suppose 89*b - 81*b - n = 0. Is b a multiple of 35?
False
Suppose 82*r - 197357 - 758803 = -r. Is r a multiple of 13?
False
Let d = 27 + 86. Suppose s = -4*w - d + 507, 4*w = 5*s + 382. Does 14 divide w?
True
Let p = -38 - -38. Suppose p*u - 2*u + 236 = -2*j, 5*j = -u + 136. Suppose 0 = 5*a - 4*w - 362, -3*a = 5*w - u - 74. Is a a multiple of 14?
True
Let b(x) = x + 10. Let q be b(-11). Let d be (-1 + 1)*1/q. Suppose d = -4*c + 4*l + 352, -c + 0*l = -5*l - 88. Is c a multiple of 22?
True
Let i(g) = 5*g + 80. Let a be i(-9). Suppose -m + 327 = -a. Is 6 a factor of m?
False
Let m(v) = -4*v + 9*v - 3*v + 47 + v. Let i be m(-15). Let j(q) = 72*q + 6. Is 25 a factor of j(i)?
True
Let l(v) = 2*v**3 + 16*v**2 + 8*v - 22. Let i be l(-7). Suppose i*p - 1854 = 18*p. Is p a multiple of 7?
False
Suppose -l - 807 + 8857 = 0. Is l a multiple of 161?
True
Let x(y) = -y**2 - 5*y. Let k(o) = -o**3 - 4*o**2 + 6*o - 5. Let j be k(-5). Let a be x(j). Let q = -22 - a. Is 19 a factor of q?
False
Suppose 15 = 17*u - 12*u. Suppose u*f + 24 = 11*f. Suppose 5*k - 369 = -4*n, -k + f*n + 72 = 2*n. Is k a multiple of 8?
False
Let p = -1353 - -3702. Is p a multiple of 32?
False
Suppose -27*k - 1343570 = -48*k - 37*k. Is 274 a factor of k?
False
Let r = -328 - -348. Is 8 a factor of (576/r)/(3/15)?
True
Suppose 22*p - 24*p = -3*d + 1399, -3*d - p + 1393 = 0. Let s = -301 + d. Is s a multiple of 41?
True
Suppose 0 = 8563*m - 8564*m + 4680. Is m a multiple of 18?
True
Suppose -u + 4*i - 333 = 0, -2 = -4*i + 6. Let t = -20 - u. Let k = t - 196. Does 23 divide k?
False
Suppose 97*n = 105*n - 5800. Suppose -9*q + 14*q = n. Is 4 a factor of q?
False
Let c(l) = 2*l**3 - 180*l**2 + 216*l - 207. Does 10 divide c(89)?
False
Let q(j) = -j + 13. Let g be q(5). Suppose 7*c + g*c - 7380 = 0. Does 13 divide c?
False
Let i(h) = h**2 - 6*h - 10. Let t = 60 - 99. Let f = t - -33. Does 10 divide i(f)?
False
Let z = 88371 - 41182. Is z a multiple of 10?
False
Let c = 334 - 320. Is -7 - (-140)/c - (-1012)/2 a multiple of 11?
False
Suppose 3*y - 464 - 1408 = -3*d, -3*d - 1896 = -3*y. Let s(c) = c**3 - 59*c**2 + 171*c + 4. Let b be s(3). Suppose 0 = b*l - y - 503. Does 15 divide l?
False
Suppose 5 = -c, 4*l + c - 351 = -4*c. Suppose 5*t + 2*p = 21, -4*p - 1 = -5*t + 2. Suppose -295 = -4*y - t*n + l, 5*y - 3*n = 520. Is y a multiple of 17?
False
Let b = 128 + -130. Is (2 + 5/(-2))/(b/1388) a multiple of 24?
False
Let v = 145 - 167. Is 24 a factor of (-280)/10*(-1 - v/(-14))?
True
Suppose -2*c + 473 - 83 = 4*z, 0 = 3*c - 4*z - 585. Suppose 1173 = 19*w - c. Does 7 divide w?
False
Suppose -2*u + 2614*s = 2613*s - 5438, 