= -30*y + 512. Is y a multiple of 16?
True
Let x(j) = -j**3 + 26*j**2 - 60*j + 104. Does 18 divide x(22)?
True
Let b be (-2)/(-7)*7 + 108/2. Suppose b*m = 55*m - 452. Does 42 divide (-9)/(-27) + m/(-3)?
False
Let u(l) be the second derivative of -5*l**3/2 + 95*l**2/2 - 3*l - 5. Is 29 a factor of u(-24)?
False
Let x(i) = -248*i - 15. Does 97 divide x(-6)?
False
Let t be 12/7 - (-20)/70. Let l be t/19 - 6382/(-19). Suppose 36 = -5*n + l. Does 44 divide n?
False
Let q(b) = 3*b**2 - 9*b - 9. Let m be q(-1). Suppose -m*h = 557 + 430. Let v = h + 549. Does 10 divide v?
True
Let c = 206 + -101. Suppose f - 5*o + 0*o = 102, -f + 2*o = -c. Let t = f + -43. Does 16 divide t?
True
Suppose -80 = 2*p + 204. Let q = 14 - p. Suppose 0 = 11*n - 14*n + q. Is n a multiple of 4?
True
Let x be (-2 - -1)/(0 + (-5)/365). Let j = x + -23. Is j a multiple of 5?
True
Let i = 8259 + -2712. Is 37 a factor of i?
False
Suppose 13*b - 9457 + 201 = 0. Suppose -b - 4918 = -10*m. Is 50 a factor of m?
False
Let i(w) = 12*w + 74. Let u be i(-8). Let j = u + 49. Is j a multiple of 2?
False
Suppose 0 = 41*p - 229558 - 452723. Is p a multiple of 65?
False
Let o(t) = -t**3 + 9*t**2 + 3*t - 26. Let j be o(9). Does 19 divide -19*j*((-35)/7 - -4)?
True
Let j(q) = 27*q + 1011. Does 30 divide j(-23)?
True
Is 3298204/168 + (-14)/12 a multiple of 67?
True
Let c(g) = g**3 + 4*g**2 - 4*g - 13. Let n be c(-3). Let x = n - -8. Suppose -x*v - 532 = -20*v. Does 37 divide v?
False
Is ((-13)/((-455)/6244))/(0 - 14/(-245)) a multiple of 7?
True
Suppose -2801*c = -2810*c - 2988. Let t = -683 - -1164. Let l = c + t. Is l a multiple of 23?
False
Suppose -r - 111 = -726. Suppose 2*c - c - 3*i = 591, c - r = -5*i. Is 12 a factor of c?
True
Suppose 2*g + 72 = 76. Suppose 0 = g*w - 4, -y + 3*w = 4*y - 104. Is y a multiple of 22?
True
Let l = 52 + -47. Suppose 0*m - 40 = l*m. Does 16 divide 7/(196/m) + (-342)/(-21)?
True
Let x(f) = 91*f**2 - 38*f + 968. Is 172 a factor of x(18)?
False
Is 154 a factor of (6/16)/((-2)/4)*(-519 - 22017)?
False
Let w(g) = 192*g. Let y be w(8). Suppose 6*u - y = -10*u. Is u a multiple of 12?
True
Let u(c) = 751*c**2 - 50*c + 34. Is 79 a factor of u(4)?
True
Let j(s) be the third derivative of -s**5/60 - 19*s**4/24 + 7*s**3/6 + 2*s**2. Let r = -1211 + 1196. Is j(r) a multiple of 35?
False
Let o(n) be the first derivative of n**4/4 + 13*n**3/3 + 6*n**2 - 8*n + 15. Let k be o(-12). Is 6 a factor of 69/92 + (-186)/k?
True
Let a(t) = -t**2 - 48*t + 870. Is 53 a factor of a(-35)?
True
Suppose 0*k + 2*k - 16 = 0. Let d(l) = -11 + 10 + 32*l + k + 17*l. Is d(2) a multiple of 15?
True
Let m(h) = 8*h - 24. Let y(r) = -r**3 + 9*r**2 + 10*r + 8. Let x be y(10). Suppose 0*s - 4*n = -2*s - x, n = 5. Is m(s) a multiple of 6?
True
Does 15 divide 7/((-140)/(-51032)) - 6/10?
False
Let f = -17243 - -29149. Is 83 a factor of f?
False
Is 14841/(-4 + 5) - (3 + -2) a multiple of 10?
True
Suppose 121*i = 126*i - 2*a - 142430, 0 = 5*i + a - 142445. Is 30 a factor of i?
False
Suppose 0 = u + 2, 442*g - 443*g + 2*u + 754 = 0. Does 10 divide g?
True
Let h = 145160 + -76520. Is 66 a factor of h?
True
Let z(c) = -10*c + 120. Let w be z(13). Is 19 a factor of (19768/(-280))/(2/w)?
False
Let p(r) = 29*r**2 + 13*r + 8774. Is 107 a factor of p(0)?
True
Let a(d) = -d**3 + 87*d**2 + 89*d + 207. Does 75 divide a(87)?
True
Suppose -6 = 2*k, n - 7 = -4*n - k. Suppose 4*x - 24 = n*i - x, -27 = 3*i - 3*x. Let r(s) = -13*s - 71. Is 3 a factor of r(i)?
False
Suppose 34*d = 20 + 14. Is 5 a factor of (2 - d)/((-5)/(-40))?
False
Let a(p) = -5*p**2 - 104*p - 16. Let s be a(-16). Let y = -63 + s. Is y a multiple of 61?
True
Suppose -24377 = -178*p + 85644 + 38431. Does 9 divide p?
False
Suppose 50369 = n - 55*k + 52*k, -n + 5*k + 50367 = 0. Is n a multiple of 14?
True
Does 279 divide 3/((-6)/(-30500)) - (80 + -73)?
False
Suppose -21 = -21*v + 18*v. Let p(f) = 47*f - 90. Does 46 divide p(v)?
False
Let y(c) = 236*c**2 + 2906*c - 19. Is y(-18) a multiple of 19?
False
Suppose -o + 2*k - 263 = 0, 1315 = -5*o + 10*k - 15*k. Let h = -155 - o. Is h a multiple of 9?
True
Let v be (21/(-6) + 2)*-2. Suppose -2*n + 1 = v. Is 10 + 34 - (n - -3) a multiple of 6?
True
Let z be (18/24)/((-1)/(-10))*-10. Let m = z + 71. Does 23 divide (1192/m)/(-2 - 0)?
False
Let g(x) = 21*x + 10. Let p be g(0). Suppose -13*n = -p*n - 252. Is n a multiple of 12?
True
Let w be (-1577)/3 - 80/240. Let x = 886 + w. Does 9 divide x?
True
Let g(c) = 346*c**2 + 43*c - 3. Is g(2) a multiple of 17?
False
Let l be (0 - 2*-16) + -2. Let g = 300 + -257. Suppose -g*y = -42*y - l. Is 5 a factor of y?
True
Suppose -787 = 2*v + 199. Let c = -331 - v. Is c a multiple of 9?
True
Suppose -4*q = -2*i, i + 3*q - 28 = -2*q. Let r(g) = -g**2 + 10*g - 9. Let z be r(i). Suppose -z*c + 9*c - 12 = 0. Does 6 divide c?
True
Does 17 divide (-2 + -1)/(-18) - (-5 - 85095/54)?
True
Let w = 20602 + -14026. Does 6 divide w?
True
Let s(a) be the third derivative of -a**6/120 + a**5/6 - 7*a**4/12 + 13*a**3/6 + 13*a**2. Let p(r) = -26*r + 7. Let z be p(0). Does 8 divide s(z)?
False
Let b = -209 - -265. Is ((-2960)/b)/(3/(-42)) a multiple of 10?
True
Let u(c) = 1906*c**3 - c**2 - 6*c + 8. Is 14 a factor of u(1)?
False
Suppose -21*j + 3*a = -19*j - 12204, 0 = 3*a. Is j a multiple of 3?
True
Let p = -3766 - -4422. Does 8 divide p?
True
Let l(w) = w**3 - 16*w**2 - 66*w + 30. Is 56 a factor of l(27)?
False
Let y(l) = -l**3 + 22*l**2 + 27*l + 53. Let t be y(23). Is 15 a factor of (t/58)/(1/54)?
True
Let f = 89 - 70. Suppose -16*q + f*q = 162. Is 35 a factor of q?
False
Is 183 a factor of (23912/(-168))/(1 - 435/432)?
True
Let y = 353 + -329. Suppose 13 = 2*o + 5, -4*s + o = -y. Is 3 a factor of s?
False
Let n = 704 - -15561. Is n a multiple of 10?
False
Is 2 a factor of ((-6715)/(-158))/((-3)/(126/(-87)) + -2)?
False
Let b(p) = -4*p + 1. Let o be b(-1). Suppose -14*f + o*f + 1782 = 0. Does 22 divide f?
True
Let g = -77 + 91. Suppose -g*i + 13860 = 742. Does 74 divide i?
False
Suppose -97*h + 6102 = -548735 - 201084. Does 29 divide h?
False
Suppose -5*z - 518 = -j - 11, 2*z = -4*j + 2072. Suppose -4*v - 3*s + 155 + j = 0, 0 = 3*v - s - 491. Is v a multiple of 11?
True
Let g(c) = -c**2 + 7*c + 51. Let y be g(11). Suppose -y*f + 880 = -3124. Is 26 a factor of f?
True
Let m = 2536 - 356. Suppose -m = -25*t - 580. Is t a multiple of 32?
True
Let m be 3689/63 + 32/72. Suppose -i + 203 - m = 0. Is i a multiple of 3?
True
Suppose -7 + 15 = 3*t - o, 0 = -4*t - 4*o. Let l be t + 162 - (-6 + 1 + 1). Does 7 divide (-4 - l/5)/(6/(-15))?
False
Suppose 3*x + 3*b + 4178 = 23705, 5*b = -15. Is 8 a factor of x?
True
Suppose -609*h + 156902 = -862564. Is h a multiple of 18?
True
Let v = -2221 + 1223. Let k = 1503 + v. Does 6 divide k?
False
Let f(h) = h**2 - 2*h - 3. Let v be f(4). Let x(i) be the second derivative of i**4/12 - 2*i**3/3 + 7*i**2 - 199*i. Is x(v) a multiple of 2?
False
Suppose 3*q = -27 + 135. Let g = q + -145. Let n = 132 + g. Does 23 divide n?
True
Is 8 a factor of (-2934)/12*(17 + -27)?
False
Suppose 5 - 37 = -16*n. Is (n + 19)/((-3 - 0)/(-60)) a multiple of 21?
True
Suppose -3*w = -5*t + 306, t + 2*w = -31 + 100. Let u = t - -123. Does 18 divide u?
False
Let r = -2245 + 19717. Is r a multiple of 14?
True
Let j(i) = 32*i**3 + i**2 + 3. Let s be j(2). Suppose -3*u = 3*b - s - 610, -5*b = -4*u + 1182. Does 14 divide u?
False
Let z(g) = -242*g + 75. Let v be z(-5). Let y = -151 + v. Does 14 divide y?
True
Suppose -x + 27 + 3 = -3*k, 5*k - 22 = -x. Suppose -j + x = 4*w - 5, -48 = -4*w - 5*j. Suppose 228 - 74 = w*i. Is i a multiple of 3?
False
Let a(f) = -f**3 - 5*f**2 + 11*f + 1. Let n be a(-5). Let t be 9/(-15) + n/(-15). Suppose -o - 74 = -t*q, -3*q + 11 = o - 59. Does 8 divide q?
True
Let y(s) = 9*s**3 + 11*s**2 - 43*s - 47. Let w(p) = 5*p**3 + 5*p**2 - 21*p - 24. Let h(j) = 11*w(j) - 6*y(j). Is h(15) a multiple of 27?
True
Let f(d) = 24093 - d**3 - 3*d**2 + 7*d - 2*d**3 - 24093. Is f(-4) a multiple of 10?
False
Suppose 47*z - 47*z = -54*z + 1383480. Is z a multiple of 70?
True
Let k = -17 - -17. Let q be (k - -1) + (-42)/(-14). Suppose 4*m + s - 37 = 0, m + 13 = 2*m + q*s. Does 2 divide m?
False
Suppose -u + 7433 = 2*x, 4*x - 2*u + 794 = 15672. Does 26 divide x?
True
Let w = -5 - -8. Suppose -14