True
Let g = 338 - 489. Let b = 253 + g. Is 14 a factor of b?
False
Suppose 6*o = 10*o - 8. Suppose v - 4*v + 4*f + 323 = 0, o*v - 3*f - 215 = 0. Is 12 a factor of v?
False
Let k = 17488 - 5188. Is 12 a factor of k?
True
Suppose -4*d - 12 = 0, 4*x + 19 = -2*d + 61. Suppose 2*z = -4*q - 2*z + 1508, -4*z = -x. Is q a multiple of 34?
True
Let v be (-4)/(14/(-4) - -4)*-2. Suppose -10548 = -v*h - 2100. Does 16 divide h?
True
Let g = 171 + -168. Let i = 235 + -151. Suppose -2*o - 5*u + i = -97, 0 = g*o - 2*u - 262. Does 22 divide o?
True
Let v = -60 - -132. Suppose 65*i = 71*i - v. Suppose -3*r - i = 0, -2*z - 1416 = -6*z + r. Is z a multiple of 41?
False
Suppose 272 = -4*y - 3*r + 2349, 0 = -2*y - r + 1039. Is y a multiple of 5?
True
Let j(a) = 14*a + 19*a + 5*a - 10*a - 63. Let w be j(7). Suppose -2*p + 161 = m, m - 2*p = 3*p + w. Is m a multiple of 17?
True
Let h(u) = -u**3 - 6*u**2 + 5. Let w be h(-4). Let c = 24 + w. Does 17 divide 0 - c/((-15)/(-340))?
True
Let j = 9 - -59. Suppose j = p - b, 4*p - 2*p = -5*b + 150. Does 14 divide p?
True
Is 16 a factor of (2368/80)/((-282)/(-280) - (-9)/(-9))?
True
Does 14 divide (87 - 94)*(1 - 42)?
False
Suppose -2*q - 4 = 0, 9*m + 1106 = 10*m - 3*q. Let c = m - 770. Suppose -2*v - 14 + 233 = 3*j, 0 = 3*v + 4*j - c. Is 13 a factor of v?
False
Let r = 25 - 14. Suppose -2*a - a - 4*d = r, -a = d + 2. Suppose -k - 4*p + 12 + 28 = 0, 2*p = a*k - 106. Is 18 a factor of k?
True
Let b = 3741 + -2311. Is 55 a factor of b?
True
Suppose 0 = 29*n + 588 - 12507. Let l = -7 - -12. Suppose 354 = l*k - n. Is k a multiple of 17?
True
Let p(d) = 7*d**2 + 2 + 3*d**3 + 8 - d**3 + 8*d. Let w be p(-4). Let u = w - -55. Does 13 divide u?
False
Let x(i) = 165*i**2 + 264*i - 1540. Is 16 a factor of x(6)?
True
Let t be (2/(-8) - (-10)/8)*4. Let d = t + -8. Is 5/((-20)/12)*d a multiple of 12?
True
Let l(h) = h**3 + 13*h**2 - 16*h - 32. Let q(g) = -2*g**3 - 12*g**2 + 16*g + 31. Let t(k) = 3*l(k) + 2*q(k). Is 51 a factor of t(10)?
True
Suppose 52*v + 371 = -2027 - 3582. Let k be -1 - (-186)/(-1*2). Let l = k - v. Does 7 divide l?
True
Suppose 3*c + 10*c = -884. Let f be (-4042)/(-10) - c/85. Let b = f - 210. Is 39 a factor of b?
True
Suppose -d + 256 = 481. Is 4/18 + -3730*10/d a multiple of 15?
False
Suppose -15213*y + 15206*y + 24794 = 0. Does 40 divide y?
False
Let i(s) = -1060*s + 214. Does 23 divide i(-3)?
False
Let f be -808 - (-2)/(-2) - (3 + -1). Let h = -540 - f. Is h a multiple of 24?
False
Is 130 a factor of 1 + (-18)/22 - 420262/(-22)?
False
Let d = 281 - 274. Suppose -b - 2 = -0*b. Does 53 divide 110 - (d - (b - -5))?
True
Let x be (-13)/(-2) + 18/(-12). Suppose -4*o + w - 7 = -7*o, x*o = -3*w + 9. Suppose o*j = 3*a + 49 + 41, -j + 20 = a. Is 4 a factor of j?
False
Let q = 127 + -52. Let r = q + -70. Suppose -v - 71 = -2*v - r*i, -4*v + i = -200. Is v a multiple of 8?
False
Let l(u) = u**2 - 20*u + 64. Let f be l(5). Let a(p) = -p**3 - 13*p**2 - 26*p + 16. Is 3 a factor of a(f)?
True
Let u = -222 + 5294. Is 16 a factor of u?
True
Let f = 48 - 80. Let i = f + 40. Let y = i - -12. Is y a multiple of 3?
False
Suppose -z + 58*w = 60*w - 3408, 3*w - 16991 = -5*z. Is 3 a factor of z?
False
Suppose -5*z = -v + 7137, -3*v - 379*z = -383*z - 21444. Does 104 divide v?
False
Suppose -5*i + 445*b + 145187 = 442*b, 145169 = 5*i - b. Is i a multiple of 19?
True
Suppose -8532*c + 8549*c = 133807. Is 17 a factor of c?
True
Suppose 3*b + 2088 = 5*b. Suppose b = -0*n + 2*n. Is n a multiple of 30?
False
Suppose 119070 = -206*u + 233*u. Is 9 a factor of u?
True
Is 4 a factor of (-38)/(-19) + 14 + 87?
False
Suppose -5*j + a + 36640 = 0, 34*j - 4*a - 36640 = 29*j. Does 14 divide j?
False
Let i(w) = -w**3 + 5*w**2 - w - 1. Let o(m) = -m - 20. Let f be o(-24). Let u be i(f). Suppose -7*x - 40 = -u*x. Is 5 a factor of x?
True
Suppose -4*z - 29 - 3 = 0. Let n be (-3)/((9/(-60))/((-50)/z)). Let f = n + -80. Is 10 a factor of f?
False
Suppose 3*j + 177 = -0*d + 3*d, -j - 63 = 3*d. Let u = -70 - -85. Is (u/j)/((-2)/344) a multiple of 42?
False
Let f(p) = -5*p - 8. Let a(v) = -v - 1. Let k be a(3). Does 12 divide f(k)?
True
Suppose 33*k - 10 = 28*k. Suppose 0 = k*b - 211 - 53. Does 22 divide b?
True
Let w(j) = -5*j + 1904. Does 5 divide w(66)?
False
Let w be (-62)/(-8) + 5/20. Suppose -g = -w*g. Suppose g = o + 2*o - 162. Is o a multiple of 9?
True
Let t = -204 - -202. Does 13 divide t/(-12) - (-6238)/12?
True
Let u(j) = j**3 - 8*j**2 - 9*j + 53. Let x be u(9). Let d be 2 - (2 - 36 - 1). Let m = x + d. Is m a multiple of 9?
True
Let q = -5526 + 15928. Is q a multiple of 232?
False
Let t be 544 + (143/117 - 2/9). Let m = t + 66. Does 13 divide m?
True
Let l(t) = -4568*t - 747. Does 30 divide l(-3)?
False
Suppose 5*z - 120 = 9*z. Let f = 35 + z. Suppose f*g = 812 + 363. Is g a multiple of 15?
False
Suppose 0 = -12*u + 21 + 27. Suppose 2*c - u*h - 139 - 13 = 0, 10 = -2*h. Is c a multiple of 33?
True
Let m = 14867 + -4189. Is m a multiple of 20?
False
Suppose 20*t + 29587 = 9947. Is (-2 - 0) + (-60 - t) a multiple of 11?
False
Suppose c - 120 = -2*c. Let o(z) = 10*z - 274. Let d be o(24). Let q = d + c. Is 6 a factor of q?
True
Suppose -4874*w + 4872*w = -l - 77829, 0 = 5*l + 35. Does 124 divide w?
False
Let c be 6*(-8)/72 - 10589/(-3). Suppose -25*q = -c - 3271. Is 16 a factor of q?
True
Suppose j + 19 - 31 - 10 = 0. Suppose 0*i - 4*i - 2 = -2*g, 2*g + 5*i = 11. Suppose 2*a + 3*l = l + j, a - 3*l = g. Is 2 a factor of a?
False
Suppose -2*j + 469 - 469 = 0. Suppose -70*d + 77*d - 2184 = j. Is 78 a factor of d?
True
Does 36 divide -6 + (-69672)/(-42) + (-54)/63 - -4?
True
Is 116 a factor of (-6)/22 - (-3824253)/297?
True
Suppose 226948 = 15*l + 25288. Is 35 a factor of l?
False
Let u = -4 - 30. Let x = 45 + u. Let i = 7 + x. Is i a multiple of 6?
True
Let k(n) = 60*n + 15. Let s be k(7). Let o(v) = -v**3 - v**2 + 2*v - 8. Let w be o(-3). Suppose -5*h + s = 5*l, 2*h + w*l = h + 90. Is 6 a factor of h?
False
Is (-15 - 3470/(-10))*50 a multiple of 83?
True
Let m = -30261 - -33749. Does 12 divide m?
False
Let x(y) = 57 - 57*y + 24*y + 27*y. Let o be x(9). Suppose 5*q + 2*p - 502 = 0, -o*q + p + 32 = -278. Is 17 a factor of q?
True
Let l(u) be the second derivative of -u**5/20 + 23*u**4/12 + 13*u**3/3 + 24*u**2 - 65*u. Is l(24) a multiple of 6?
True
Suppose 11*d = -2 + 68. Suppose -134 = d*m + 160. Let i = m - -124. Is 15 a factor of i?
True
Let v(l) be the second derivative of -l**5/10 - 41*l**4/12 - 49*l**3/6 - 11*l**2 + 20*l - 5. Is 31 a factor of v(-20)?
True
Let f(y) be the second derivative of -1/12*y**4 + 0 - 15/2*y**2 + 13/6*y**3 + 9*y. Is f(8) a multiple of 5?
True
Let b = 5637 + -1633. Is b a multiple of 4?
True
Let w = 9034 - 4452. Does 58 divide w?
True
Suppose 17*v + 27 = 20*v. Suppose v*f - 75 = 6*f. Does 16 divide (-80)/f*((-45)/3)/1?
True
Let h = 19539 - -1170. Does 177 divide h?
True
Let m(k) be the second derivative of -k**5/20 + 13*k**4/12 - 2*k**3 - 9*k**2/2 + 4*k. Let t be m(12). Does 8 divide (-1274)/(-18) + (-2)/t?
False
Let d = 13355 - 13300. Is d a multiple of 3?
False
Let c(u) = -u**2 - 18*u - 51. Suppose 0 = 5*j + 21 + 14. Is c(j) a multiple of 26?
True
Let k(i) = 5*i + 26. Let u be k(0). Is (-3)/((-18)/u)*54 a multiple of 9?
True
Suppose 4*m = 45*m - 106354. Is 13 a factor of m?
False
Suppose -v - 25137 = -4*y + 16529, -3*v = -18. Is 8 a factor of y?
False
Let y = 1940 + 469. Is y a multiple of 11?
True
Let l(x) = x**3 + 17*x**2 + 17*x + 1. Let c be l(-12). Let r = c + -325. Suppose s + 2*j = 5*j + 97, 2*s - r = 4*j. Is 12 a factor of s?
False
Let k(v) = v - 6. Let f be k(5). Does 4 divide f/(-2)*(1 - -17)?
False
Let g(v) = -1. Let u(x) = 9*x - 1. Let f(k) = -14*g(k) + 2*u(k). Suppose 164 = 3*s + 66*s + 13*s. Is f(s) a multiple of 11?
False
Let a be ((-2)/(-4))/(-2*5/900). Let x = -44 - a. Is 6 + (0 - 0)*(-2 + x) a multiple of 2?
True
Let q(m) = -451*m - 110. Suppose 4*c = 200 - 208. Is 18 a factor of q(c)?
True
Let a(u) = u**3 - 3*u**2 + 2. Let d be a(3). Is (123/d + -1)/((-33)/(-132)) a multiple of 11?
True
Let v(p) = 42*p - 180. Let x(r) = -r**3 - 11*r**2 - 2*r - 12. Let k be x(-11). Does 16 divide v(k)?
True
Let n(u) = -u**3 - 4*u**2 + 101*u + 12. Is n(-13) a multiple of 4?
True
Suppose -21*r + 72 = -24*r. Let x = 27 + r. Sup