es 10 divide f?
False
Let m(j) = -2*j + 62. Let c be m(-9). Let y = 300 - c. Is y a multiple of 11?
True
Let t(m) be the second derivative of -m**5/20 + 19*m**4/12 + m**3 - 17*m**2/2 - 6*m. Let f be t(19). Suppose -f = -4*l + 335. Does 12 divide l?
True
Suppose -59 = -28*o + 25. Suppose m = -2*f - o*f + 2121, 3*m = 4*f - 1712. Is 25 a factor of f?
True
Let r = -253 - -199. Is 9*4*(-81)/r a multiple of 27?
True
Let g = -4098 + 5963. Is 10 a factor of g?
False
Suppose 5*j - 40 = 3*q + q, q + 9 = j. Suppose j*z = -g - 3*g - 12, 4*g + 11 = -5*z. Is ((-546)/(-4) - 1) + 6/g a multiple of 53?
False
Suppose 0 = -0*m - m + 267. Let i = m - 137. Is 10 a factor of i?
True
Suppose 0 = 143*j - 10*j + 170*j - 131805. Does 2 divide j?
False
Let m(x) = 12*x + 163. Let n be m(0). Let p = 423 - n. Does 4 divide p?
True
Let x be 21*((-55)/(-15) - 3). Suppose 3*n - x*n = -77. Is (7/n)/(2/(-444)*-1) a multiple of 10?
False
Let d(p) = -40*p - 4. Let f be d(-4). Let r be (-342)/(-8)*(-384)/(-48). Let t = r - f. Is t a multiple of 31?
True
Suppose -3*i + 4*q + 506 = 0, i = 5*i - 5*q - 674. Let n = i + 181. Is 29 a factor of n?
False
Let n(k) = -51*k - 4. Let y be n(-4). Suppose -5*u + 2*p + y = 0, -3*u + p + 79 = -u. Suppose 0 = -5*m - 5*z + 115, 2*z + 101 = 5*m - u. Is m a multiple of 21?
False
Let t(y) be the first derivative of 12 - 2*y**2 - 1/4*y**4 - 7*y**3 - 27*y. Does 21 divide t(-21)?
False
Let b(x) = -4*x - 10. Let o(l) = 7*l + 21. Let h(n) = -n**2 - 7*n - 17. Let y be h(-4). Let f(m) = y*b(m) - 2*o(m). Is 10 a factor of f(7)?
True
Let u be 12/42 - (-4 - (-153)/21). Is 14 a factor of u*42/10*-10?
True
Suppose -5*f = 3*v - 84920, 30*v - 34*v = -4*f - 113248. Is 53 a factor of v?
False
Suppose -16*p + 114 = -13*p. Let a = -33 + p. Let h(l) = 39*l - 29. Is 26 a factor of h(a)?
False
Let w be 41/2 - (-1 + (-15)/(-10)). Suppose -w*g + 8*g = 2112. Let p = 272 + g. Is p a multiple of 12?
True
Let k(z) = 2*z**2 + 11*z + 16308. Does 12 divide k(0)?
True
Let b = -23 - -20. Let j = b - -8. Suppose 57 = 2*f + j. Is 10 a factor of f?
False
Let l = 7519 + 7709. Is l a multiple of 18?
True
Suppose 25*w - 26*w = 2*d + 67, 0 = -4*w - 3*d - 283. Let j = w + 115. Is j a multiple of 4?
False
Suppose -5*k = -8*k + 3*r + 21, 0 = -5*k + r + 15. Suppose x - 94 = 4*z, -3*x + 296 = -0*x + k*z. Suppose 11*u + x - 450 = 0. Is u a multiple of 3?
False
Suppose -33*y + m = -38*y + 3123, -y + m = -627. Does 8 divide y?
False
Let c(o) = -o**3 + o**2 + 1. Let h(d) = -5*d**3 + 9*d**2 + 8*d - 3. Let i(n) = 6*c(n) - h(n). Let u be i(-7). Let y = -132 + u. Is 43 a factor of y?
True
Suppose 4*x = 4*v + 2464, -5*x + 7*x - 1262 = -4*v. Is 23 a factor of x?
True
Let w(q) = q**2 - 4*q - 3. Let j be w(-3). Let d = j - -44. Suppose -65*u = -d*u - 72. Is 4 a factor of u?
True
Suppose -3*d - 6 = 0, -2*d - 39 = -5*k - 0*d. Suppose -k*g + 649 = -646. Does 37 divide g?
True
Let r = -53 + 55. Suppose -3*g + r = 4*n, -2*g - 9 = -5*g + 3*n. Suppose -93 = -g*m - 43. Is 17 a factor of m?
False
Suppose 0 = 11*r - 246 + 15 + 132. Let z = -36 + 150. Suppose 0 = r*f - z - 39. Is f a multiple of 13?
False
Let l = 1799 - 1726. Does 16 divide l?
False
Let u = 170 + 8. Suppose 4*x - u - 126 = 0. Does 19 divide x?
True
Suppose -2*z - 4*u + 182334 = 45486, -z - 3*u = -68428. Does 26 divide z?
False
Does 9 divide 4 - ((-32521)/85)/((-1)/(-5))?
True
Is (-8 - -14202 - (-15)/3)*1 a multiple of 37?
False
Suppose -5*u + 5 = 3*b, 10*u - 7*u - 3 = 4*b. Let w(o) = 3*o**3 - 2*o**2 + o. Let x be w(u). Suppose 0 = x*s + 37 - 117. Does 4 divide s?
True
Let n be ((27/(-2))/9)/((-3)/8). Suppose 0 = -2*p + n*m + 24, 2*m = -p + 3*m + 7. Is 11 a factor of (p - -38) + (-9 - -5)?
False
Let c(m) = m**3 + 11*m**2 + 8*m + 30. Suppose 4*o + 10 = -s + 8*o, 5*s - 4*o + 50 = 0. Is 8 a factor of c(s)?
False
Let v = 8098 - 20028. Does 4 divide 46/299 - v/26?
False
Suppose 0 = 42*b + 2936 + 1936. Suppose 4*k - 737 = 3*v, 0*k - 4*k = 4*v - 772. Let s = k + b. Is s a multiple of 13?
False
Let h = 51 - 59. Does 4 divide 6/h + (4 - 1150/(-40))?
True
Suppose -341*r + 100 = -346*r. Let o(a) = a**2 + 11*a - 69. Is o(r) a multiple of 6?
False
Suppose 52 = 2*x - 3*x + 3*u, 3*u + 59 = -2*x. Let l = 36 - 43. Let z = l - x. Does 17 divide z?
False
Suppose -169 = -9*x + 4*x - 2*p, -2*x + 3*p = -79. Let a be x/14*(-12)/(-10). Suppose 2*u - a*y - 68 = 0, -u - y - y + 20 = 0. Is 14 a factor of u?
True
Let f = -7111 - -8206. Is 15 a factor of f?
True
Suppose -311*g - 1067286 + 3629615 = 0. Is g a multiple of 7?
True
Let k(m) = 291 - 23*m**2 + 13*m + 3*m**3 + 23*m**2 - 5*m**3 + 3*m**3. Does 8 divide k(0)?
False
Is (-297)/(45 - 18) - -44651 a multiple of 45?
True
Suppose 6*z - 5*h + 379 = 4*z, 0 = -z + 5*h - 202. Let y = z - -217. Is y a multiple of 8?
True
Let g be (-30)/(-75) - 3573/(-5)*1. Suppose 12*d = -d + g. Let v = d - -10. Is v a multiple of 9?
False
Let f = 416 + -411. Suppose -o - 769 = -f*w, -34*o + 33*o = 4*w - 608. Is 3 a factor of w?
True
Suppose -8*h = -2441 - 35283 - 4516. Is h a multiple of 4?
True
Suppose 12 = -8*n + 28. Suppose 5*y - 3*i = 2*y + 471, 0 = 5*y - n*i - 791. Does 32 divide y?
False
Let i = -80 + 42. Let l = i + 35. Does 10 divide (9 - l)*(-20)/(-6)?
True
Let j be (-8)/6*6/(-4). Let z = -448 - -546. Suppose z = -0*t + j*t. Is t a multiple of 15?
False
Suppose 0*o - 2*o + n + 8 = 0, -2*o - n + 16 = 0. Let r be (o - 3)/(1/(-7)). Let s(d) = -d**3 - 22*d**2 - 22*d - 1. Is s(r) even?
True
Let r = -1591 - -2863. Let b = 2190 - r. Does 18 divide b?
True
Let a(s) = -1187*s + 4470. Is 22 a factor of a(-15)?
False
Let d = 10141 - 7273. Does 6 divide d?
True
Let y = -1649 + 2666. Is y a multiple of 3?
True
Let w(d) = -14*d**2 - 155*d + 129. Is 13 a factor of w(-9)?
True
Suppose 124*q - 38*q - 315018 = 0. Is 36 a factor of q?
False
Suppose 0 = 4*g - 3*g - x - 1, 5 = 5*x. Let h(p) = 187*p**2 - 17*p + 28. Does 42 divide h(g)?
False
Let w be 2/((-1734)/(-432) + -4). Does 24 divide (w/(-15))/(2 - (-184)/(-90))?
True
Let k(n) = -8*n**2 - 11*n + 2. Let h(g) = -g**2 - 1. Let q(u) = -2*h(u) - k(u). Is 18 a factor of q(-3)?
False
Let j be 4/(-18) - 272*5/(-45). Is ((-36)/72)/((-1)/j + 0) a multiple of 3?
True
Let i = -8215 + 12895. Is i a multiple of 60?
True
Suppose 0 = f - 3*j + 165 + 274, 5*f - 2*j = -2156. Is (-4)/(-10) - 90128/f a multiple of 10?
True
Suppose f + 1145 = 2*h, 1715 = h + 2*h - 2*f. Does 3 divide h?
False
Suppose 33307 = 2*i - 5*h + 8*h, -5*i + 83227 = 3*h. Is i a multiple of 208?
True
Suppose 8*w - 492 = 14*w. Let k = w + 34. Let g = k - -61. Is g a multiple of 5?
False
Suppose -7*n + 4150 = -4425. Let u = n - 742. Is 21 a factor of u?
True
Let z(w) = -w**3 + 10*w**2 - w + 8. Let u be z(10). Let h be (25/u)/((-3)/(-24)). Let d = -60 - h. Does 8 divide d?
True
Suppose 10*q - 9*q - 118 = 0. Suppose -2*x = 3*l + 160 - 534, x = l - q. Is l a multiple of 32?
False
Let v(c) = c**2 - 10*c - 22. Let g = 16 - 4. Let x be v(g). Suppose y = 6*y - 3*u - 306, x*y - 2*u - 120 = 0. Does 17 divide y?
False
Let z be (-3*2)/(-2) + 4. Suppose 174 = z*s - 99. Suppose -3*w = b + 4*b - 79, s = 3*b - w. Is 10 a factor of b?
False
Let c(v) = -1128*v - 456. Does 9 divide c(-2)?
True
Suppose j = -5*r + 871, -3*j - 3*r + 2574 = -r. Let c = -592 + j. Does 12 divide c?
True
Let m be (-64)/(-6) + 0 + 3/9. Suppose -m*q + 2400 = -8*q. Does 80 divide q?
True
Let t(b) = -b**2 - 2*b + 12. Let n be t(-5). Let s be (n + (-22)/(-6))*3. Suppose s*w = 3*h + 1 - 87, -109 = -4*h - 3*w. Is 17 a factor of h?
False
Let x = 60 - 46. Suppose -x*h + 10*h + 136 = 0. Is 34 a factor of h?
True
Let p be 93/5*(-45)/(-9). Let t be ((-2)/6)/((-1)/p). Suppose 0 = -4*c - t + 223. Is 6 a factor of c?
True
Is 0 + (-2)/(-19) - (-6741585)/855 a multiple of 83?
True
Let k(z) = z**2 + 3*z + 5. Let c be k(-2). Suppose -c*q - 3*l = -2106 + 336, 4*l = -3*q + 1772. Does 42 divide q?
True
Does 61 divide ((-76755)/(-140) - (-3)/4)*90/10?
True
Suppose 2*j - s + 11 = 0, 6 = -6*j + 3*j - 2*s. Does 10 divide (1 - j - 246)*-1?
False
Let k be (0/(-7))/(-2) - -2. Suppose 4*c - s - 5295 = -c, k*c + 2*s = 2130. Is 20 a factor of c?
True
Suppose 0 = 15*z - 19*z + 32. Suppose k - 5 = -z. Let w(a) = -a**3 + a**2 - 2*a + 2. Is w(k) a multiple of 10?
False
Suppose 0 = -2*w + 6*w + 4. Let c(u) = -1. Let l(v) = -44*v 