u + x + 85. Is 11 a factor of u?
False
Let v = -2560 - -64156. Is v a multiple of 59?
True
Let k(f) = -30*f - 2. Let p(z) = -29*z - 2. Let v(t) = 6*k(t) - 5*p(t). Does 11 divide v(-12)?
True
Is 11 a factor of 2/4 + 1/1 - (-5934)/4?
True
Let f be -182*(4 + (-12)/4 + -8). Suppose o = -12*o + f. Is o a multiple of 14?
True
Let m(b) = b**3 + 8*b**2 - 11*b - 15. Let w be m(-9). Suppose r + 0 - w = 0, 2*r = -5*z - 404. Let k = 123 + z. Is 41 a factor of k?
True
Is 19 a factor of 456/(-60)*1560/(-4)?
True
Suppose -5*z - 1665 = 3*p, 2*z + 8*p - 3*p + 685 = 0. Let k = z - -480. Is 18 a factor of k?
False
Let l = -68 + 70. Suppose 3 = -3*u, -l*x - 1 = 5*u + 22. Let z = 29 + x. Does 8 divide z?
False
Let k = 242 + -240. Suppose -5*s + 527 = -4*s + 2*d, 0 = -5*s + k*d + 2623. Is 7 a factor of s?
True
Suppose 11*z - 3762 + 1078 = 0. Let h = 68 + z. Does 12 divide h?
True
Is (-313476)/(-27) + -2 + (553/63 - 9) a multiple of 18?
False
Suppose -44880 = -6*x - 20*x + 2*x. Is 28 a factor of x?
False
Suppose -8*y + 18*y = -9*y + 2793. Let d = -273 + 606. Suppose d + y = 5*g. Is g a multiple of 16?
True
Let q = 16499 - 14894. Is q a multiple of 15?
True
Let d = 922 + 1740. Let n = -1878 + d. Suppose 15*m = 19*m - n. Does 28 divide m?
True
Let y(c) = 90*c + 1164. Let i be y(-13). Let z(p) = p**2 + 5*p - 3. Let k be z(-5). Is 15 a factor of (2 + k)/(i/114)?
False
Suppose -24*n - 790 = -21*n + b, -n - 282 = 5*b. Is (-5)/(30/18) - n a multiple of 17?
False
Suppose 0 = 5*z - n - 68, -63 = -5*z - 5*n + 17. Suppose -l = -696 + z. Is l a multiple of 11?
True
Suppose -569*s = 109*s - 25841970. Does 33 divide s?
True
Let u(l) be the first derivative of 95*l**3/3 - 5*l**2/2 + 5*l + 51. Does 12 divide u(1)?
False
Suppose -1198*x = 5*a - 1195*x - 7509, 0 = -3*a - 5*x + 4499. Does 4 divide a?
False
Let d be ((-28)/(-8))/(9/21150). Suppose d + 700 = 17*v. Does 7 divide v?
True
Suppose 109*n - 116*n = -3479. Suppose f = -5*t + 2078, -3*t + 1743 = f + n. Is 13 a factor of t?
True
Let v = 1490 + 28397. Is 209 a factor of v?
True
Let q(o) = 6*o**2 - 8*o + 41. Let t be q(-9). Suppose -d + 20 = 2*r - t, 4*r + 16 = 0. Does 57 divide d?
True
Let b(i) = i**3 + 4*i**2 + 1. Let n be b(-3). Suppose -4 = 3*s - n. Suppose 5*o - 116 = o + s*l, 0 = -o + 5*l + 20. Does 30 divide o?
True
Let j(i) = -i**3 + 93*i**2 - 252*i + 208. Is j(89) a multiple of 52?
True
Let c(n) = -n**2 + 9*n - 4. Let y(q) = -3*q**2 + 6*q + 4. Let l be y(6). Let w = l - -72. Is 8 a factor of c(w)?
True
Let f = -206 - -74. Let h = f - -165. Does 3 divide h?
True
Let u(h) = h**3 + 9*h**2 + 16*h - 9. Let z be u(-6). Suppose -d = z*c - 6*c + 307, -c - 3*d = -119. Does 8 divide c?
True
Let u = 69978 + -14721. Is 12 a factor of u?
False
Suppose s - 455 = -r - 2*r, 2*s - 4*r = 880. Let y = 1111 - s. Let v = -473 + y. Is 12 a factor of v?
True
Let x(b) = -b**3 + 16*b**2 - 27*b + 35. Let u be x(13). Suppose -4*k + u = t, -t - 3*k = -132 - 63. Is t a multiple of 9?
True
Is (4 + -6)/(4/2868*(-30)/35) a multiple of 2?
False
Let k = 14785 - 9640. Is k a multiple of 49?
True
Let k = 182 - 176. Suppose j - 786 = 4*c, -k = 5*c + 19. Is 21 a factor of j?
False
Let u = 62 - -9. Suppose u = 3*o - 505. Is 9 a factor of o?
False
Suppose 0 = -10*y + 5*y + 3*c + 16445, 5*c = 3*y - 9883. Does 31 divide y?
True
Let z = 13196 - 9338. Is 6 a factor of z?
True
Let g(x) be the third derivative of -x**6/60 - x**5/10 - x**4/8 - x**3/6 + 70*x**2. Is 5 a factor of g(-4)?
False
Let h(j) = j**3 - 10*j**2 + 8*j - 36. Suppose 0 = -3*m + 199 - 166. Is 4 a factor of h(m)?
False
Suppose 4*g - 2*m - 76 = 0, 5*g + 5*m + 9 = 89. Suppose -2*b + g = 4*b. Suppose -26 = b*j - 164. Is j a multiple of 6?
False
Let f(s) = s**2 - 10*s + 9. Let t(u) = 1. Let i(z) = -2*f(z) + 14*t(z). Let k be i(9). Does 51 divide 1784/7 + 2/k?
True
Suppose 2*a = -z - 3*z + 918, -4*z + 915 = 3*a. Suppose z = 4*g + 3*x, 3*x = 5*g - x - 281. Is 14 a factor of g?
False
Let i(h) = h**2 + 2*h + 1. Let f be i(0). Let z be (0 - 9)*4*f/(-12). Suppose -2*y - z*s = -204, 176 = 3*y - s - 152. Is 27 a factor of y?
True
Is 53 a factor of ((-680)/(-34) + 2378)*((-10)/4)/(-5)?
False
Let r(u) = -2130*u - 7950. Does 20 divide r(-5)?
True
Suppose 3*o = 2*a + 5*o - 12, 9 = 3*o. Suppose -a*v - v = -1020. Suppose 0 = 9*u - 501 - v. Is 22 a factor of u?
False
Suppose -5*d - 24 = 3*g - 1, -d - 75 = 5*g. Let c = g + 15. Is 17 a factor of (-260)/(-4) - 3/c?
True
Suppose -3*a - 14445 = -2*w, 28933 = 4*w - 5*a + 42. Does 56 divide w?
True
Let t = 34652 - 21422. Does 9 divide t?
True
Let c(f) = f**3 + 3*f**2 + f - 4. Let a be c(-4). Let v be 4/6*-1 + (-64)/a. Is 14 a factor of (v/8 + 4)/(3/24)?
False
Let f(r) = 2*r**2 - 2*r + 1. Suppose -z = -14 + 12. Let a be f(z). Suppose 0*c = -c + 5*n + 70, -410 = -a*c - 5*n. Does 16 divide c?
True
Let w(x) be the second derivative of x**6/360 + x**5/40 + 2*x**4/3 - 7*x**3/3 - 17*x. Let s(z) be the second derivative of w(z). Is 37 a factor of s(-12)?
False
Let j be (-8 - -11) + 12*-1. Let m(v) = -v**3 - 10*v**2 + 3*v + 12. Let y be m(j). Let d = 261 + y. Does 33 divide d?
True
Let h = 211 + -187. Is 8 a factor of (h/(-40) - -3)*30*1?
True
Let i = 176692 - 118739. Does 140 divide i?
False
Let v be ((-6)/(-4))/(303/42 - 7). Suppose v + 2 = -3*w. Is w/(12/16) + 39 a multiple of 35?
True
Let h = -5178 + 5294. Is 91 a factor of h?
False
Let u = 12998 + -8974. Does 4 divide u?
True
Let o(h) = -h**2 - 4*h - 6. Let j be o(-4). Let c be (2/j)/(15/(-945)). Suppose c + 0 = l. Is l even?
False
Let p = 22 + 10. Let f = -32 + p. Suppose q - 87 - 46 = f. Is q a multiple of 17?
False
Suppose 5 + 17 = 2*c. Let k = c + 9. Is k a multiple of 6?
False
Suppose 10*w + 396 = 21*w. Let t = 90 + w. Is 17 a factor of t?
False
Let k(z) be the first derivative of 42*z + 11/2*z**2 + 34. Is k(0) a multiple of 3?
True
Let d(n) = -70 - 20 + 42*n + 41 - 73. Is d(6) a multiple of 10?
True
Let l(m) = -3*m**3 - 5*m**3 + 3*m**3 + 3*m**3 - 2*m + 3*m**3 + 3. Let j be -2 + 4*2/4. Is 3 a factor of l(j)?
True
Let o(a) = -15*a - 230. Let u be o(-15). Let g(f) = f - 1. Let n(z) = 11*z + 5. Let i(m) = g(m) - n(m). Does 4 divide i(u)?
True
Let j(z) be the first derivative of 8*z**3/3 - 3*z**2/2 + 4*z + 113. Is j(3) even?
False
Let l = -420 - -424. Is 43/l*2108/31 a multiple of 43?
True
Let o be 2*7/((-84)/186). Let v = o + 63. Is 4 a factor of v?
True
Let o be 18/126 - 264/(-14). Suppose 4*c = 183 - o. Does 5 divide c?
False
Let t be 4/10 - 98/(-5). Suppose 62*j + 486 = 8*j. Let y = t - j. Is y a multiple of 13?
False
Let b = 16 + -16. Suppose b = a + a - a. Suppose -8*r + 201 + 103 = a. Is 8 a factor of r?
False
Let h = 2212 + -1087. Is 2 a factor of h?
False
Let p = -30872 - -45273. Is p a multiple of 15?
False
Suppose -55*g - 514 = -57*g. Let p = g - -239. Is p a multiple of 15?
False
Suppose 2149 = 2*r + 2*r - 3*f, 3*f = -5*r + 2666. Suppose 0 = c - 2*i - r, 2*c - 3*i + 146 = 1213. Is c a multiple of 23?
True
Let h = 31 + -29. Let b(m) = -8*m + 23*m**h - 29 + 2 - 3*m**3 + m**3. Does 6 divide b(11)?
True
Suppose 3500 = 5*h + 5*d, -25*h + 29*h + 5*d - 2801 = 0. Let t = h - 635. Does 32 divide t?
True
Let i = -15 + 3. Let v be (213/i)/(3/(-60)). Let f = -229 + v. Is 21 a factor of f?
True
Let f be -4 + (-1 - (-4)/2). Let y(p) be the second derivative of -37*p**3/6 - 3*p**2/2 - 4*p - 36. Is 21 a factor of y(f)?
False
Let a be (-7)/14*(0 - 2 - 2). Suppose 21 = a*i + 17. Suppose 0 = 5*x - 20, x + 3*x - 172 = -i*l. Is l a multiple of 6?
True
Let c be (-16)/2*(-1 - (-2 - -3)). Suppose 2*z = 10, -4*j + 4*z + 0*z = c. Is (47*-1)/((-4)/j - -3) a multiple of 22?
False
Let i(g) = 53*g + 229. Let f be i(-12). Let o = 722 + f. Is o a multiple of 33?
False
Suppose 0 = 4*o - 1149 - 255. Suppose -8*i - o = 5*i. Is 13 a factor of (-1 + i)*13/(-4)?
True
Suppose 2*z - 75711 = -5*x, 5*x - 117*z - 75717 = -116*z. Is x a multiple of 19?
True
Let n(b) = -3 + 2349*b**2 + 10*b - 2343*b**2 + 1 - 3. Is 33 a factor of n(8)?
False
Suppose 10*m = 9*m - 57. Let t = m + 59. Suppose 4*r + t*h - 334 = 3*h, -h = -2*r + 166. Is 29 a factor of r?
False
Let u = 134 - 131. Suppose 2203 = 2*f + u*f + j, 5*f + 4*j = 2197. Is f a multiple of 7?
True
Suppose -3*a = -39 - 84. Suppose 3*n - 154 = a. Suppose 0 = 3*m - 157 - n. Is m a multiple of 9?
False
Suppose -