e -2*q + 5*o + 36994 = 0, 42*o = 3*q + 38*o - 55463. Does 59 divide q?
False
Let f be -3 + (6/(-39) - (-93)/13). Suppose 3*m + w - f*w = 21, -2*m = 5*w + 14. Suppose 5*j + 14 = -11, 4*u + m*j = 525. Does 27 divide u?
True
Let b = 9054 + 7239. Is 70 a factor of b?
False
Suppose -1112 + 12512 = 6*m. Suppose -178*y + m = -176*y. Is 38 a factor of y?
True
Suppose 4*f - 38*f = -175197 - 27103. Does 170 divide f?
True
Let a be 6*-1*70/(-6). Let d = 14828 + -14734. Let v = d - a. Is 17 a factor of v?
False
Let q(g) be the first derivative of -g**2/2 + 46*g + 150. Is q(-27) a multiple of 5?
False
Suppose 5*j + s = -0*j + 1891, -395 = -j + 4*s. Suppose n - 987 = 164. Suppose -n = -4*y - j. Is 28 a factor of y?
False
Is (-20)/180 - (-642430)/90 a multiple of 83?
True
Let y(m) = -m**3 + 15*m**2 - 3*m + 9. Let l be y(12). Let s = l - -255. Is 44 a factor of s?
True
Let j be (((-32)/12)/(-8))/((-3)/(-18)). Suppose 6*q = j + 190. Is q a multiple of 32?
True
Let a = -10261 + 18031. Is 14 a factor of a?
True
Suppose w + 3*g - 2450 = -710, -w + 5*g + 1748 = 0. Suppose 352 = y + 3*l, 5*y - l - w = l. Does 17 divide y?
False
Suppose 21*d - 12350 = 11590. Does 23 divide d?
False
Let v(w) be the second derivative of w**4/6 + 5*w**3/6 + 77*w**2/2 + w + 12. Is 13 a factor of v(-12)?
False
Suppose 137*w + 83421 = 279*w - 129*w. Does 43 divide w?
False
Let c = 37 + -34. Suppose -3 + 179 = m - 4*i, -2*i = -c*m + 558. Suppose h - 2*p - m = -0*p, 2*h = -4*p + 344. Does 36 divide h?
True
Let l be 3 - (10/4)/((-3)/18). Suppose -l*x + 27*x = 7407. Is x a multiple of 61?
False
Let c = 24807 + -6422. Is c a multiple of 14?
False
Suppose 0 = k, 2*i + 358 = -7*k + 4*k. Let l = 627 + i. Is l a multiple of 32?
True
Let s be (5/(-12)*-9)/(3/(-8)). Let k(m) = m**3 + 12*m**2 + 18*m + 42. Is 34 a factor of k(s)?
False
Let s = 368 + -375. Let y(n) = -4*n**3 - 4*n**2 + 27*n + 39. Does 57 divide y(s)?
True
Let m(u) = 3*u - 5. Let n be m(6). Suppose n*q = 8*q - 20. Is 3 a factor of 6 + q + 7 + -1?
False
Is 30 a factor of 3/(-7 + (-21010)/(-3000))?
True
Let l(q) = 50*q - 70. Let j be l(21). Suppose 9*t - 5354 = -j. Does 70 divide t?
False
Let j = 122 + -69. Let z = 53 - j. Suppose 2*w + 3*w - 75 = z. Is w a multiple of 15?
True
Suppose 0 = 6*l - 15*l + 423. Suppose -l*n = -45*n - 336. Is 7 a factor of n?
True
Let d = -1987 + 3517. Is 9 a factor of d?
True
Let g(f) = -7*f**2 - 8 + 22*f**3 - 8*f**3 + 4*f - 13*f**3. Let l be g(7). Let j(w) = -w**2 + 22*w - 27. Is 13 a factor of j(l)?
True
Suppose -212124 = 183*d - 249*d. Is 113 a factor of d?
False
Suppose -3*p - 6 = -m - 0*m, -p = -4*m + 24. Let f be 42/9*m/4. Suppose -u - f*u + 528 = 0. Is 22 a factor of u?
True
Suppose 28 = -19*r + 26*r. Is (2/r)/(1/54) a multiple of 9?
True
Suppose 36*u - 475 = 41*u. Let d = 98 + u. Suppose x - c - 11 - 63 = 0, -d*c + 246 = 3*x. Does 3 divide x?
True
Let g(k) = -2*k**3 + 91*k**2 + 7*k + 138. Does 147 divide g(39)?
False
Does 7 divide (-10155)/(-6) - (-45)/(-36)*-2?
False
Let r be -550 - 6*8/(-12). Does 28 divide 3*2/(-9)*r?
True
Let g be (-2)/(-15) + 4*121/(-30). Let z = 98 - g. Is 19 a factor of z?
True
Let d = -784 - -813. Suppose -242 = -3*b - d. Does 33 divide b?
False
Suppose 9*p + 56 = 11*p. Let l(x) = -35 - 49*x + 25*x + p*x. Is 25 a factor of l(15)?
True
Suppose -29*t - 2 = -30*t. Is 1192 + t + -4 + -2 a multiple of 25?
False
Let p = -63 - -446. Suppose x - 7*o + 5*o - p = 0, -2*o + 8 = 0. Is 32 a factor of x?
False
Suppose 7 = b - 4*w, -4*w - 19 = -4*b - 3. Let j be ((-2)/1 - -8)*14/b. Does 14 divide (-20)/(-35) - (-1160)/j?
True
Let r(s) = -s**2 + 9*s - 19. Let h be r(6). Does 17 divide (374/110)/(h/(-55))?
True
Let k(q) = 5 - 2*q + 2 + 3*q - 2*q. Let v be k(7). Suppose v = -3*p - 45 + 267. Does 12 divide p?
False
Let v(h) = -91*h + 23. Let n(a) = a**2 - 24*a - 5. Let o be n(19). Let k = o + 98. Is 26 a factor of v(k)?
False
Suppose 5*p - 829 = -u, -5*p = 8*u - 9*u + 799. Let r = -518 + u. Is 37 a factor of r?
True
Let x(c) = 37*c**2 - 179*c - 2. Let s be x(5). Suppose -18*o + s*o = 1240. Is o a multiple of 39?
False
Suppose 60*c - 32*c - 109256 = 0. Does 9 divide c?
False
Suppose -2*z + c - 17 = 0, 0*c - 23 = 3*z - 4*c. Let w be (12/z*-1)/((-16)/(-72)). Is 8 a factor of 90/(-4)*(-3 + -5 + w)?
False
Let k be 320/55 + -6 + 70/22. Suppose 5*t - 2605 = -0*t - k*j, -1582 = -3*t + 2*j. Is t a multiple of 21?
False
Suppose -10*c + 5*g = -8*c - 303, -3*c + g + 435 = 0. Suppose 0 = 6*s - c - 78. Suppose 4*y - s - 95 = 0. Is 2 a factor of y?
False
Let w = 2 - -11. Suppose w - 1 = 4*j, 5*o + 5*j - 30 = 0. Is 5 + 38 - o*4/(-6) a multiple of 4?
False
Let m be (-30)/(-20)*((-2080)/12)/(-2). Suppose m*d = 129*d + 559. Is d a multiple of 13?
True
Let r(w) be the third derivative of 31*w**5/60 + 13*w**4/24 + 23*w**3/3 - 238*w**2. Is 22 a factor of r(-3)?
True
Suppose -2*t = -3*w - 314 - 17, -5*w = -5*t + 560. Let n = 43 - w. Is 20 a factor of n?
False
Let t(j) = -j**3 - 9*j**2 - 17*j - 51. Let n be t(-9). Let v = n + -54. Is 2 a factor of v?
True
Let u(r) = -r - 8. Let w be u(-25). Suppose w*k - 3913 = 4*k. Is k a multiple of 13?
False
Let q = 400 + -830. Let o = -292 - q. Let r = -66 + o. Is 6 a factor of r?
True
Let b(o) = -o**2 - 8*o + 110. Let m be b(-10). Does 44 divide (-14328)/m*(-4 - 1)?
False
Suppose 881582 + 1500613 = 109*l. Does 10 divide l?
False
Suppose d = 2*d + 48. Let n(a) = -6*a + 286. Let x be n(46). Is (3 + d)*(-6)/x a multiple of 6?
False
Let m(k) = 2*k**3 - 3*k**2 - 2*k - 7. Let w be m(3). Let i(x) = -w*x + 5 + 6*x - 34*x. Is i(-3) a multiple of 28?
False
Let n(d) = 4*d**3 - 82*d**2 - 25*d + 74. Is n(21) a multiple of 11?
False
Let l(d) = 10*d - 81. Let k be l(9). Does 21 divide (k - 9) + (0 - 2) + 212?
True
Let k = -10 - -27. Let y = 15 - k. Is (-2 + -3)*(-22 - y - -1) a multiple of 19?
True
Let o be (-23 - 131) + -1*(2 + 0). Let a = o - -225. Is 4 a factor of a?
False
Let s(p) = p**3 - 9*p**2 + 11*p - 11. Suppose 32 = 8*v - 4*v. Let a be s(v). Suppose -a = -i + 14. Does 9 divide i?
True
Does 42 divide 6 - (-2710 - (-15 - -8))?
False
Is 14 a factor of 607 - 35 - (15 - 3)?
True
Let y(z) = z**2 - 93*z + 30. Is 4 a factor of y(-20)?
False
Let d = -700 - -1358. Let g = d - 318. Is 65 a factor of g?
False
Let o(h) = 6*h**2 - h + 10. Let n(x) = -x**3 - 2*x**2 + x - 3. Let b be n(-3). Suppose b*u - r = 19, -3*u - r + 7 = -4. Is o(u) a multiple of 21?
False
Let w(d) = -24*d**3 - 2*d - 6. Let b be w(-3). Let y = b - 468. Is 20 a factor of y?
True
Suppose -2*i - 352 = -4*w, -5*w - 3*i - i + 466 = 0. Suppose 4*g + w = 9*g. Is g a multiple of 18?
True
Suppose 3*c = -3*k - 6, k + 2 = 3*c - 0*k. Suppose 4*i - x + 28 = 0, c = -i + 2*x + 3*x - 26. Is 7 a factor of (-287)/(-3) - (-4)/i?
False
Suppose 4*b + b = -2*z - 20, 2*z = 3*b - 36. Is -2*225*(z + 14) a multiple of 15?
True
Suppose -45*h = 69*h - 1070916. Does 122 divide h?
True
Let z = -245 - -368. Suppose -g + 402 = -3*j, -j + z = -2*g + 947. Does 46 divide g?
True
Suppose 4*w = -5*k - 15, 0 = 4*w - 5*k - 15. Suppose w = 11*t - 1132 - 1288. Is t a multiple of 44?
True
Let h(d) = d**3 - 43*d**2 + 59*d - 1468. Does 19 divide h(44)?
False
Suppose 2*y + 2*y + 4*r = 4996, -y + 1255 = -5*r. Is 10 a factor of y?
True
Suppose 27*f + 135*f - 43*f = 1453228. Does 38 divide f?
False
Suppose 74*c = 2*f + 77*c - 1539, 2*c + 2289 = 3*f. Is f a multiple of 45?
True
Let g(w) = 31*w + 195. Let o be g(-39). Let h = o - -1478. Is 8 a factor of h?
True
Suppose 4*y + 3*z - 2*z = 11354, 4*y = -5*z + 11330. Is 10 a factor of y?
True
Let c be 2 - (-7 - (-5 - -6)). Suppose -c*i - 31*i + 1640 = 0. Is i a multiple of 8?
True
Suppose 2898 = 5*j + 778. Let i = 555 - j. Is i a multiple of 7?
False
Is 5 a factor of (-5)/((-70)/(-28)) + 2 + 1094?
False
Let n(s) = 18*s**2 + 17*s + 142. Does 55 divide n(-14)?
False
Suppose 0 = -23*y + 19354 + 13559. Does 10 divide y?
False
Suppose -34*f - 4*p = -29*f - 30912, -2*p = 2*f - 12362. Is f a multiple of 39?
False
Suppose 183 = -2*g + 3*r, 49 + 129 = -2*g + 4*r. Suppose 4*j - 527 = -5*s, -j + 136 = 2*s - 73. Let n = s + g. Is n even?
True
Let k = 315 + -725. Is (k/30)/((-1)/15) a multiple of 4?
False
Suppose 38*c - 1076 + 88 = 0. Let t = 128 + -17. Let m = c + t. Is 22 a factor of m?
False
Suppose 4*t = -3*h + 11724, 5*t - 3*h - 12011