 a multiple of 12?
True
Does 44 divide (440/(-176))/((-6)/23232)?
True
Let f(k) = -k**3 + 17*k**2 - 39*k + 2. Let a be 5945/533 + 4/(-26). Does 9 divide f(a)?
False
Suppose 2293 + 11972 = 5*d. Is d a multiple of 47?
False
Let h(b) = -3*b**3 - b**2 + 2*b + 85. Let q be -5 + 0 - (-46 + 48). Does 30 divide h(q)?
False
Suppose 50*d - 106784 = -92*d. Does 10 divide d?
False
Let r = -20 - -22. Suppose r*n - 418 = -8*t + 3*t, -3*n = t - 94. Suppose -2*s + 80 = -t. Is s a multiple of 15?
False
Let z = 56 + -40. Suppose -8*r - 9*r = -782. Suppose -z = -4*q - 4, -r = -5*f - 2*q. Is f even?
True
Let k = 1062 + -883. Does 3 divide k?
False
Suppose -48 = 13*j - 25*j. Suppose 2*y - l - 2*l = 485, 4*l = j*y - 980. Is y a multiple of 25?
True
Let h(f) = f**3 - 20*f**2 - 16*f + 35. Is h(21) a multiple of 8?
False
Suppose -18 = -3*y - 30. Does 8 divide y + 1645/5 + -3?
False
Suppose 172*i + 42*i - 2039292 = -8*i. Is 135 a factor of i?
False
Let w = -6026 - -6734. Does 176 divide w?
False
Let m(l) = -21*l - 197. Let f be m(-13). Suppose -f*x = -77*x + 259. Is x a multiple of 37?
True
Is (((-62000)/(-120))/50)/(2/2214) a multiple of 25?
False
Let o(p) = -3*p**2 + 26*p + 9. Let m be o(9). Suppose 4*t - 899 - 581 = m. Is 47 a factor of t?
False
Let o be (-3)/((-12)/68) + -1. Let u be (((-10185)/(-10))/7)/(6/o). Suppose -182 - u = -5*c. Does 19 divide c?
True
Let w(u) = 10*u**3 + 8*u**2 - 62*u - 16. Does 26 divide w(7)?
False
Suppose z - 6*z - 6638 = -7*z. Is 23 a factor of z?
False
Let r(q) = 45*q + 2330. Is r(45) a multiple of 101?
False
Suppose 120235 + 2453 = 28*q + 20*q. Does 6 divide q?
True
Let q(w) = w**2 - 38*w + 168. Let t be q(33). Suppose -13*x + t*x = -5280. Does 66 divide x?
True
Let x = -68 - -115. Let z = x + -45. Suppose z*m = 242 - 48. Is 25 a factor of m?
False
Is 20 a factor of ((-286)/4 - 2)*280*(-64)/224?
True
Suppose 21888 = b - 3*o, b + o - 11708 = 10156. Is 270 a factor of b?
True
Let f be ((-14)/(-8))/(0 + 2/(-48)). Let i = f + 72. Is 6 a factor of i?
True
Suppose 4*m - h - 95 = 0, 2*m = 4*h + 5 + 39. Suppose 4*l - 2*u - 74 = 66, -3*u + 12 = 0. Let w = l - m. Is 13 a factor of w?
True
Let m = 4784 - 2719. Is m a multiple of 59?
True
Suppose 4*m = -2*s + m + 4239, 0 = -s + 4*m + 2092. Let o = s - 1306. Is 13 a factor of o?
True
Let a = -247 + 251. Suppose -2*h = -u - 480, 7*h - 10*h = a*u - 698. Does 15 divide h?
False
Let w = 26 - 26. Suppose w = -2*p + p - 72. Let k = p + 98. Is 19 a factor of k?
False
Does 294 divide (1/2 + -1)/(30/(-952860))?
False
Let p = 3 - -43. Suppose -178 = 2*v + p. Let z = v + 385. Is 34 a factor of z?
False
Does 38 divide -152*(-30)/40*66/9?
True
Let y = 913 - -11044. Does 59 divide y?
False
Let p = 575 - 280. Suppose -8*i + p + 825 = 0. Is 20 a factor of i?
True
Let y(c) = -c**3 - 97*c**2 + 256*c - 290. Does 42 divide y(-101)?
True
Let i = 456 + -219. Suppose -c - 2 = -3*w - 12, -5*c + w = -22. Suppose 0 = c*s - i - 71. Is s a multiple of 32?
False
Let c be ((-1)/(-2))/(3/(13 - 1)). Suppose -v + 228 = q, -4*v = 5*q - c*v - 1128. Let k = 328 - q. Is 13 a factor of k?
True
Let b = -77 + 87. Is 25 a factor of (-8 + 233)/(15/b)?
True
Suppose -92110 = -5*p + 5*f, -3*p - 37*f + 32*f + 55266 = 0. Does 17 divide p?
False
Let x be 1*65*117/15. Let g(i) = 28*i**2 - 7*i - 8. Let w be g(-1). Suppose 30*f - w*f = x. Is 13 a factor of f?
True
Let r = 46 + -32. Let o(p) be the first derivative of p**3/3 - 11*p**2/2 - 3*p - 56. Does 13 divide o(r)?
True
Suppose 5*z = 5*c - 75 - 30, c - 29 = -z. Suppose -5*i + 2*h + 3210 = 0, 2*h + c = 7*h. Does 23 divide i?
True
Let l be 50/8 + (-20)/16. Suppose 28 = -j + 3*j. Let q = j + l. Does 2 divide q?
False
Let n(k) = k**2 - 11*k + 28. Let y be n(6). Is (y/3)/((-7)/(4914/4)) a multiple of 8?
False
Let n = 3992 + -2054. Is 69 a factor of n/4 + 56/112?
False
Suppose 4*w + 4*f - 4291 - 3929 = 0, 4*w - 8215 = -3*f. Suppose 7*o - w = -580. Is 15 a factor of o?
True
Let a = 134 - 168. Let h(t) = 2*t**2 + 59*t + 16. Is h(a) a multiple of 46?
True
Let i(m) = 11*m**3 - 5*m**2 + m - 17. Let b be i(4). Suppose 0 = -6*z + b + 1783. Is 21 a factor of z?
True
Let y = 576 + -588. Does 28 divide (-42)/((-6)/y + -5 + 4)?
True
Let v be -2*14*-4*2. Is (-24)/((-7)/(v/12)) a multiple of 44?
False
Let z(m) = -10*m + 15. Let x be z(0). Let j(o) = 5*o**2 - 70*o + 6. Is 9 a factor of j(x)?
True
Suppose -4442 = -22*b + 15446. Is b a multiple of 9?
False
Let z(s) = 27*s - 72. Suppose 0 = -3*i + 22 - 10. Is z(i) a multiple of 3?
True
Suppose 155 = 3*d + 4*p, -51 = -d - 11*p + 10*p. Suppose d*t + 421 = 50*t - v, -5*v = -15. Does 92 divide t?
False
Let n(b) = -43*b + 178. Let w be n(4). Does 14 divide (-2688)/((-4)/2)*3/w?
True
Let h = 4225 - 2578. Suppose -z + 0 = 4*n + 4, -z + 4*n = -4. Suppose z = 4*j - 13*j + h. Is 12 a factor of j?
False
Let f(p) = -4392*p + 243. Is 59 a factor of f(-2)?
True
Let p(i) = -i - 44. Let w be p(-21). Let q = w + 2. Let r(n) = -n**3 - 21*n**2 + n + 40. Is 9 a factor of r(q)?
False
Let j = -26 + 35. Suppose -q - 4216 = -j*q. Suppose q = 4*v - 49. Is v a multiple of 24?
True
Let s be (-2)/(-4)*(2762 + 38). Suppose 0 = 10*k - 15*k + s. Is 56 a factor of k?
True
Is (1 - -7) + (-4514)/(-2) a multiple of 3?
True
Let m = -40844 + 43915. Is 37 a factor of m?
True
Suppose 2379 + 817 = 4*g. Let n = g - 481. Is 24 a factor of n?
False
Suppose 5*j + 1915 = -4*w + 654, -w = 5*j + 1264. Let x = j + 451. Is 15 a factor of x?
False
Let h(y) = 2*y**3 + 25*y**2 + 4*y - 5*y**3 - 29*y**2 + 2. Is h(-3) even?
False
Let t(o) = -7*o - 19. Let k be t(-3). Suppose k*f = -3*f - 200. Is 43/((-7)/(-5) + 16/f) a multiple of 20?
False
Let b(o) = 9*o + 2. Let c(y) = -26*y - 6. Let t(u) = 17*b(u) + 6*c(u). Let x be t(-2). Suppose 0 = x*i - 5*q - 145, i + 3*q - 6 = 9. Does 3 divide i?
True
Let d(t) = 26*t**3 - 8*t**2 - 3*t - 45. Does 115 divide d(9)?
False
Let b = 11003 + 4982. Is b a multiple of 14?
False
Let p be (-1)/(8/(-36)*6/(-8)). Let j be ((-4164)/20 - p) + (-1)/(-5). Let c = j - -358. Does 26 divide c?
True
Let x(q) = -99*q + 5. Let l = 63 - 66. Let i be x(l). Let g = 510 - i. Is g a multiple of 39?
False
Is 33 a factor of ((-2331)/(-2))/(-4 - ((-810)/264 - 1))?
True
Let m(g) be the first derivative of 55*g**2/2 + 39*g - 17. Let q be m(-5). Is 10 a factor of 0/(-3) - 7/(7/q)?
False
Let h = -8714 - -17060. Is 107 a factor of h?
True
Suppose 9*o - 1438 - 16418 = 0. Is o a multiple of 32?
True
Suppose 3*u + 554 = 284. Let r = u + 213. Does 8 divide r?
False
Let f be (5/((-125)/10))/((-2)/(-170)). Let r = 14 - f. Let b = r + -22. Is 8 a factor of b?
False
Suppose 49*s - 48*s - 54 = 0. Suppose 53*q = s*q - 86. Let i = -9 + q. Does 14 divide i?
False
Suppose 2*i + 69312 = 5*a, -a - 92*i + 13902 = -88*i. Is a a multiple of 50?
False
Suppose 0 = -52*r - 56568 + 295853 + 422363. Is r a multiple of 169?
False
Let f be (0/1 - (7 - 9))*2. Suppose f*t - b + 5*b = 392, -b + 302 = 3*t. Suppose -3*z + 366 - t = 0. Does 8 divide z?
True
Suppose 0 = -7*i - 0 - 14. Let w be (9 - 7)*77/i. Let k = w - -145. Is 18 a factor of k?
False
Does 8 divide (-153096)/(-120) - 48/(-40)?
False
Suppose -10*h + 92 = 42. Suppose -3*w + h*j + 25 + 14 = 0, 2*j = 0. Is 13 a factor of w?
True
Let l be 2/14 - 1/(-7)*-8. Does 49 divide 5/(-20)*(-2)/l*-562?
False
Let z = -16645 - -22275. Is z a multiple of 10?
True
Suppose 0 = 33*q - 44*q + 5313. Suppose 8*w - q = 109. Is w a multiple of 37?
True
Let k = 20344 - 14085. Does 72 divide k?
False
Let o be (108/30 - 4)*-35. Suppose 3*v - o*v - 1606 = 0. Let x = -130 - v. Is 5 a factor of x?
False
Let x be ((2 + 1)/((-7)/7))/1. Let l(z) = -38*z - 2. Is l(x) a multiple of 4?
True
Suppose 0 = 5*y - 3*j - 88399, -y + 4*j = -7324 - 10383. Is y a multiple of 101?
True
Let h(r) = 27*r**2 - 5*r - 81. Let q be h(-6). Let w = -891 + q. Is 8 a factor of w?
False
Suppose 5*x - 3*q - 2429 = 0, -3*x + 204 = -5*q - 1263. Does 7 divide x?
False
Let m(k) = -27*k - 63. Let v be m(-10). Suppose 39*w = 36*w + v. Does 5 divide w?
False
Let b be -1*(2 + -7 - 0). Suppose -b*p - 10 = -3*t + 1, -2 = 2*p. Suppose -5*n = 2*s - 18 - 0, 4*n = t*s - 36. Is s a multiple of 3?
False
Let w(x) = -7*x - 16. Let t be w(-4). Let u = -7 + t. Is 3 a factor of (-3)/2*(29/(-3) - u)?
False
Suppose 95*i - 1027380 - 182901 = 44*i. Is i a multip