t m be g(31). Is 37 a factor of (m/117 + (-16)/(-18))*389?
False
Let x(a) be the third derivative of 73*a**9/60480 - a**8/10080 + a**6/720 + 17*a**5/60 + 18*a**2. Let k(c) be the third derivative of x(c). Does 9 divide k(1)?
True
Suppose -7593 = -2*l - 8*w + 3*w, -4*l - 5*w = -15181. Does 15 divide l?
False
Suppose 18*v = -7 + 7. Suppose v = -5*f - 4*j + 534, -3*j + 5*j + 8 = 0. Is f a multiple of 22?
True
Let h(u) = u**3 - 42*u**2 + 41*u - 74. Let b be h(41). Let y = 802 + b. Is y a multiple of 10?
False
Is (-54)/(((-1)/(-168))/(5*4/(-90))) a multiple of 28?
True
Suppose -40*w = -21936 - 314224. Suppose -28*m + w = 844. Is 5 a factor of m?
True
Is 40 a factor of (-658546)/(-49) - (-12)/210*5?
True
Let a(b) = -2*b**3 + 20*b**2 - 44*b + 11. Let m be a(7). Does 2 divide (-3 - 78/m)*5 - 2?
False
Let h(s) = -3*s**3 - 37*s**2 + 86*s - 27. Is 20 a factor of h(-20)?
False
Let k(c) = 3*c**2 + 16*c + 27. Let q be k(-5). Suppose 16*f + 1080 = q*f. Does 15 divide f?
True
Let b(k) = 20*k**2 + 12*k - 45. Let j be b(7). Let s = -632 + j. Is s a multiple of 10?
False
Let v(f) = -13*f - 5. Let a(m) = -4*m**2 - 6*m - 4. Let g be a(-2). Let b be v(g). Let x = b + -9. Is x a multiple of 30?
True
Suppose -3*f + 16876 = 2*h, -h + 5*f + 5407 = -3005. Is h a multiple of 17?
True
Suppose -11*v + 3*v + 1889 = -5791. Is v a multiple of 80?
True
Let x = -79 - -84. Suppose 465 = -x*w - 4*i, 77 = -w + 2*i - 6*i. Let g = w - -122. Is 14 a factor of g?
False
Let t be 90/(-240) - (-1546)/(-16). Let c = t + 198. Is c a multiple of 9?
False
Does 11 divide (-1022 + 5 + (-119)/7)*-22?
True
Let t(w) = 10*w - 48. Suppose 19 = 7*x - 2*x - 2*f, 0 = 2*x + 2*f - 16. Let r be t(x). Suppose -r*v + 0 = -94. Is v a multiple of 13?
False
Let i = 77 - 82. Let r be 4/3*(-75)/i. Suppose -6*p + r = -1264. Is 12 a factor of p?
False
Suppose 0 = -2*h, -4*h = -5*s - 180 - 25. Is (s + -2)*6/(-3 - -1) a multiple of 19?
False
Suppose -9 - 9 = -2*p + 4*w, 5*p = -3*w + 19. Suppose 10 = 5*v, 3*r + p*v - 4614 = 37. Is r a multiple of 91?
True
Let n = -15 + -41. Let w = -20 + -54. Let b = n - w. Is 4 a factor of b?
False
Suppose 23*q - 539994 = -63*q. Is 4 a factor of q?
False
Suppose 0 = 19*g - 14*g - 75. Suppose 0 = -5*k + 3*w + 2535, 5*w = -10 - g. Is 8 a factor of k?
True
Suppose -5*k + 2*k = 2*c - 9, -2*k = 2*c - 4. Is 25 a factor of (-20618)/(-130) + (-3)/k?
False
Suppose 4*x + 5*x - 33712 = -34*x. Does 49 divide x?
True
Let g be 0*(-3)/15 - 17. Let t = -39 + g. Let j = t + 175. Is 12 a factor of j?
False
Let q be 30/(-10) - (-7)/1. Suppose 2*p - 848 = -2*p + q*n, -p + 208 = 3*n. Does 2 divide p?
False
Suppose 0 = -5*j - 107 + 2. Let a(i) = 2*i**2 + 38*i - 28. Does 2 divide a(j)?
True
Let r(x) = 4*x**2 - 226*x - 99. Is r(58) a multiple of 21?
False
Suppose -17*l + 9195 = -186713. Does 86 divide l?
True
Suppose -156 = 5*c - 18*c. Suppose -3*b + 2145 = c*b. Suppose i + 30 = -3*a + 136, 4*a + 3*i = b. Is 2 a factor of a?
False
Let a(i) = -2*i - 23. Let d be a(-17). Suppose -o - d = 4*c - 107, 5*o - 480 = 4*c. Is o even?
True
Suppose 0 = 2*g - 24 + 6. Suppose -g*h = -29 + 11. Suppose -2*f + h*v - 42 = -5*f, 21 = 2*f - v. Is f a multiple of 5?
False
Let i = 210 - 322. Let m = 496 + i. Is 16 a factor of m?
True
Let p(g) be the second derivative of -g**5/20 + 7*g**4/12 - 4*g**3/3 + 6*g**2 + g. Suppose 159*k = a + 162*k - 11, -28 = -4*a - 4*k. Does 11 divide p(a)?
True
Does 30 divide (-9 - -19 - 11)*(-10920)/2?
True
Suppose 813151 = 60*w - 87749. Does 21 divide w?
True
Let w be (5 - 6)/(114/(-24) - -5). Is 10 a factor of ((-448)/6)/(-7)*(-222)/w?
False
Let q be (8/(-10))/((-28)/70). Let l be 207/(q + 1) + -4. Suppose -d = j - l, -51 - 23 = -d + 2*j. Is d a multiple of 17?
True
Let t = -121 + 105. Is 33 a factor of (-3528)/t*(-12)/(-9)?
False
Is (156/126)/(-13) - (-378088)/42 a multiple of 75?
False
Let g(k) = -k**3 + 17*k**2 + 37*k + 30. Let n be g(19). Suppose n*w - 1872 = 2638. Is w a multiple of 41?
True
Let b = -139 + 196. Does 4 divide 0 - -2 - (19 - b)?
True
Suppose 3*o = -0*o + 18. Let l(p) = 5*p**2 - 4*p + 57. Let m(v) = -6*v**2 + 4*v - 72. Let q(z) = 5*l(z) + 4*m(z). Is 5 a factor of q(o)?
False
Let i(f) = 302633*f - 302639*f - 3 + 0. Let w(h) = -h + 3. Let t be w(8). Does 5 divide i(t)?
False
Suppose 0 = 3*j + 3*s + 645, 0*j - 5*j - 1078 = 2*s. Let o = -129 - j. Is 29 a factor of o?
True
Is 79 a factor of 3/(-12) + (-12 - (-174824)/32)?
True
Let m = -28917 + 63477. Is 9 a factor of m?
True
Let z(m) = -3*m**3 + 148*m**2 - 28*m - 288. Is z(47) a multiple of 148?
False
Suppose 55*s - 60979 = -23*s + 26537. Is 11 a factor of s?
True
Let i(k) = -13*k**2 + 10*k + 16*k + k**3 - 44 + 4*k + k. Is 23 a factor of i(14)?
False
Let r(m) = 3*m**2 + 4*m - 2. Let u(l) = -l**2 + 8*l + 21. Let z be u(10). Let t be r(z). Suppose -2*w - 74 = -t*o, o + w = 14 + 5. Is 8 a factor of o?
True
Let a(q) = 16*q - 17. Let b be (-8)/10 + (-21)/15*-2. Suppose b*u + 3*p - 24 = -u, 0 = -2*u + 4*p - 2. Is a(u) a multiple of 9?
True
Suppose -2*p + b + 1084 = -2*b, 0 = -5*p + 5*b + 2720. Suppose m - 796 = -2*m + q, 2*m = 5*q + p. Is m a multiple of 10?
False
Suppose t + z - 392 = 0, 2*t + 5*z = 1121 - 313. Is 36 a factor of t?
False
Suppose 7*m + 2*m = -5*m + 21546. Is m a multiple of 9?
True
Suppose 27370 = 3204*q - 3190*q. Does 30 divide q?
False
Let q = -206 + 212. Suppose -q*b + 576 = 10*b. Does 4 divide b?
True
Suppose -21*c + 2*c + 88213 = -55123. Does 92 divide c?
True
Let h(a) = -a**2 + 7*a + 48. Let x be (-9*(-1)/3)/(-2)*-6. Does 6 divide h(x)?
True
Let n(m) = 4*m - 140. Let t be n(34). Is t/(-6) - 4706/(-78) even?
False
Suppose -4*b + 2*s = -30872, -102*b + 3*s + 38593 = -97*b. Does 79 divide b?
False
Suppose -12*d + 23 = -25. Is ((2 - d)*-1 - 3) + 616 a multiple of 41?
True
Let z be 3/(-2)*(-289 + 11). Suppose -4*p = -2*t - 638, z + 65 = 3*p + 2*t. Does 23 divide p?
False
Suppose 1380027 = 30*n - 887493. Is 32 a factor of n?
True
Suppose 3*y + 3 = 21. Let b = 45 + 7. Suppose -y*l - 4 + b = 0. Does 6 divide l?
False
Let q be 6/9*(-9)/(-2). Suppose 2*h - 3*h - 1 = -o, -5*o + q*h + 13 = 0. Suppose 0 = -3*s - t - 2*t + 57, -2*t = -o*s + 95. Does 7 divide s?
False
Suppose 0 = 13*u - 9*u - 1792. Suppose -10*j = -12*j + u. Suppose v + 7*v - j = 0. Is 3 a factor of v?
False
Let m = -301 + 156. Let j = 311 + m. Suppose 5*w = 24 + j. Does 8 divide w?
False
Let w(d) = 71*d**2 - 7*d + 3. Let r be w(-5). Let s = r - -1731. Does 12 divide 9/21 - (s/(-28) + -2)?
False
Does 49 divide (2 - 2 - 0) + (-1666)/51*-237?
True
Suppose 3*h + 108741 = 3*b, 59*b + 217510 = 65*b + h. Is b a multiple of 101?
False
Let d(n) = -4*n - 27. Let a be d(-13). Is 13 a factor of (-2574)/((-10)/a*5)?
True
Let y be 15004/434 + (-8)/14. Suppose -y*l + 32*l = -1064. Is l a multiple of 28?
True
Does 69 divide (5668/(-14) + 2)*(-6930)/660?
False
Let q = -106282 + 156339. Is q a multiple of 40?
False
Let n = 1963 - 55. Is 106 a factor of n?
True
Let q = 10398 + -5285. Is q a multiple of 11?
False
Let f = 13400 - 11544. Is 20 a factor of f?
False
Let b(c) = 9*c**2 + 11*c + 12. Let n(h) = h - 1. Let t(p) = b(p) - 5*n(p). Let z(i) be the first derivative of t(i). Is z(4) a multiple of 13?
True
Suppose 0 = 71*i + 59172 - 71440 - 142796. Is 6 a factor of i?
True
Suppose 173 = 2*z + 3*q, -5*z + q = 5*q - 450. Suppose -2*j - 5*o + z = -82, -5*j - 2*o + 461 = 0. Is 4 a factor of j?
False
Let g = 1632 - 839. Does 13 divide g?
True
Let q(i) = 119*i**2 + 3*i - 4. Let a be q(1). Let h = a + -114. Suppose 2*m - h*t - 509 = -m, 2*m - t = 346. Is 35 a factor of m?
True
Let g(m) = 54*m + 227. Is g(5) a multiple of 22?
False
Does 16 divide ((-384)/(-10))/(-8*14/(-102480))?
True
Let s = -520 + 217. Let p = 90 - s. Does 12 divide p?
False
Suppose 20*n - 191 - 9 = 0. Is 73 a factor of (-146)/(-5)*n/4?
True
Suppose -212*t + 5*l = -210*t - 13421, 5*t - 33626 = 2*l. Does 8 divide t?
True
Is (-1487)/(6/60 + (-63)/330) a multiple of 164?
False
Does 16 divide ((-10)/5)/((-17183)/(-2864) - (-210)/(-35))?
True
Let c(w) = 21*w**3 + 12*w**2 - 18*w + 85. Is c(9) a multiple of 11?
False
Let n(a) be the third derivative of a**4/8 - a**3/3 - 48*a**2. Let y be n(2). Suppose 0 = 3*l - y*f - 240, -5*l + 2*f = -0*l - 414. Is l a multiple of 28?
True
Let z(t) = -t**3 - 41*t**2 - 2*t + 56. Let h = -