)/(((-20)/1404)/(-5)). Suppose -35*g + q = 4*g. Is g a multiple of 27?
False
Let b(n) = 3*n**2 + 237*n + 204. Let m be b(-78). Let l be (-2)/8 + (-142)/8. Let t = l - m. Does 12 divide t?
True
Let h(w) = 54 + 71*w - 39 - 80*w + 213*w + 48. Is h(6) a multiple of 99?
True
Let u(q) = -16*q - 9. Let p(o) = -3*o + 19. Let z be p(7). Is u(z) a multiple of 3?
False
Suppose -3*y - 4*a + 24 = -25, 3*y + 3*a - 45 = 0. Let v be ((-8)/(-6))/(y/33). Is (4 - (-4 + v))*6 a multiple of 5?
False
Let i = 164 - 159. Suppose 5*o - 185 - 225 = i*p, -o = 5*p - 52. Is o a multiple of 11?
True
Let y(q) = q**3 - 7*q**2 + 8*q + 3. Let x be 76/24 - 1/6. Suppose -b = -0*b - x*m + 5, b = 2*m - 1. Is y(b) a multiple of 9?
False
Suppose 813 = x + 3*y, x = 6*x + 13*y - 4081. Is 11 a factor of x?
False
Suppose 73*w = 54518 + 64954 - 3767. Is 10 a factor of w?
False
Suppose -2*p = -344 - 1106. Let r = -3192 - -2693. Let s = p + r. Does 22 divide s?
False
Suppose -2*t = d - 10, -5*d = 7*t - 3*t - 8. Suppose -11 - 3 = -t*s. Suppose s*w + 2*j = -2*w + 464, -2*w = -3*j - 240. Is 20 a factor of w?
False
Let w(g) = 1635*g + 1623. Is 213 a factor of w(5)?
True
Let o(x) = 24*x**2 - 79*x + 156. Does 6 divide o(-18)?
True
Let u(x) = 3*x**2 + x - 1. Let l be u(1). Let r(q) be the third derivative of 3*q**6/40 - q**5/15 + q**4/12 - 3*q**3/2 + 49*q**2. Is r(l) a multiple of 17?
True
Let u = 391 - 385. Let z(f) = 6*f**2 - 8*f - 9. Is z(u) a multiple of 3?
True
Suppose -2439 = -i - 2*p, -4*p + 4898 = 2*i - 5*p. Is 40 a factor of i?
False
Let y(k) = -4*k**2 + 24*k - 38. Let d(r) = 7*r**2 - 48*r + 75. Let x(p) = -3*d(p) - 5*y(p). Is 9 a factor of x(13)?
True
Let n = -31 + 10. Let j be 6/n + (-32)/(-14). Suppose -m = -j*q + 63, 0 = 4*m - 2 + 6. Is 8 a factor of q?
False
Suppose -2*y = -3*w + 9172 - 28270, 19074 = 2*y + w. Is y a multiple of 30?
True
Is 126 a factor of ((-64)/48 + 2)*13092/8?
False
Suppose -26*m + 20*m = -102. Is (29/(-2))/(((-119)/350)/m) a multiple of 24?
False
Let w(j) be the first derivative of 3*j**2 + 123*j - 84. Does 15 divide w(-13)?
True
Let q = -21 + 26. Suppose 0 = -q*f + 171 + 69. Suppose -4*o = -4*a - 620, -3*o + f = -a - 415. Does 11 divide o?
True
Let y(a) = 5*a + 3. Let u be y(-1). Let f be (1 - (-35 - (-6)/u))*-4. Let i = f + 221. Is 9 a factor of i?
False
Let k(w) = -71*w**3 - w**2 + w - 5. Let b(s) = -72*s**3 - s**2 + 2*s - 4. Let l(o) = -3*b(o) + 2*k(o). Does 13 divide l(1)?
False
Suppose d - 3*h - 436 = 0, -d - 46*h = -42*h - 408. Is 5 a factor of d?
False
Let o = 48166 - 34086. Is o a multiple of 80?
True
Suppose -5*p + 3220 = -3*n, 5*p + 4*n = -1925 + 5110. Let v = 913 - p. Does 16 divide v?
True
Let t(p) = -6281*p + 1066. Is 26 a factor of t(-5)?
False
Let v be (168 - -2)/(10 - 11). Let j = v - -341. Does 15 divide j?
False
Let n(k) = -279*k - 796. Does 17 divide n(-15)?
False
Let y(z) = -9*z**3 - 4*z**2 - 6*z - 4. Let f be y(-2). Let t = f - 23. Suppose 4*l - 3*l = 3*v + t, 0 = l - 4*v - 41. Does 6 divide l?
False
Suppose -5*x = 0, -3*b = -8*b - 3*x - 2880. Let u = 106 - b. Is 13 a factor of u?
False
Let p(u) be the second derivative of -u**4/12 + 31*u**3/6 - 9*u**2/2 - 31*u. Does 16 divide p(9)?
False
Suppose 0 = -9*v + 62 - 26. Suppose 0 = v*j - 2*o - 150, j - 60 = -4*o. Is 10 a factor of j?
True
Let z = 2098 + 2900. Is 28 a factor of z?
False
Let b(g) = -3507*g**3 + 2*g**2 - 50*g - 52. Is b(-1) a multiple of 28?
False
Let h = -12 - 14. Let u = 28 + h. Let l = u - -10. Is 12 a factor of l?
True
Let h = 235 + -230. Suppose h*p = 2*q + 310, 12*q + 62 = p + 17*q. Is 21 a factor of p?
False
Let t(k) = 5*k - 36. Let y be 1*(-8)/(-5)*5. Let m be t(y). Does 13 divide (m - 5)*52*1*-1?
True
Let z(r) = -r**2 - 17*r + 4. Let t be z(-17). Suppose -3*v - 507 = -3*l, -3*l - 47 = -t*v - 557. Suppose 4*i = 6*i - l. Is 23 a factor of i?
False
Let t be -9 + -9 + 1 + 3. Is 19 a factor of (71 + t)/((-3)/(-2))?
True
Let a be 3*(0 + 1616/(-24)). Let c = 1684 + a. Does 19 divide c?
True
Suppose 12 = -2*y + 5*t, -4*t - 20 = -9*t. Suppose 2*d - 47 = -y*k + 135, 5*k = -d + 76. Does 3 divide d?
False
Let g be 10/6 + (-13)/(-39). Suppose -m - g*m = 90. Is 237/(m/(-6)*6/20) a multiple of 11?
False
Suppose -6*w + 8*w + 397 = s, -5*w - 970 = 5*s. Let v = w + 410. Does 9 divide v?
False
Suppose -41*w - 114*w + 857600 = 45*w. Is 64 a factor of w?
True
Let d(k) = -5*k - 148. Let l(p) = 2*p + 49. Let g(j) = -4*d(j) - 11*l(j). Let s be g(19). Is (2 + s)/(1/7) a multiple of 17?
True
Let d be (-1 + 2)/(-1) - (0 + -1). Suppose -12*s + 0*s + 1152 = d. Is s a multiple of 32?
True
Let i = 5477 - 3285. Suppose -43*a + 27*a + i = 0. Is 6 a factor of a?
False
Let c be 0/(-2) + (0 - -102). Let t be 1496/28 - (2 - (-90)/(-35)). Suppose -2*s = -4*d - c, d + t = -2*s + 3*s. Is s a multiple of 9?
False
Let i(q) = -15 + 16 + 15*q - 6 + 2*q**3 - 30. Is i(7) a multiple of 14?
True
Let l(b) = 203*b**2 + 101*b + 298. Is l(-3) a multiple of 13?
False
Suppose 183 = 8*p + 55. Let z be 9384/p*(-12)/(-9). Suppose 3*l = 5*u - z, l + 4*l = -5*u + 750. Is u a multiple of 11?
True
Suppose -c - t + 1 = -0*t, 0 = -3*c + 3*t + 21. Suppose 2*l = -2, 0 = -2*h + c*l - 2*l + 90. Does 20 divide h?
False
Let d(k) = -k**3 - 6*k**2 + 5*k - 7. Let r be d(-7). Let l(c) = -6*c**2 + 16*c + 13 + r*c**2 + 0*c. Is 5 a factor of l(-17)?
True
Let u be (-1)/(1 - (3 + -1)) + -1. Suppose -t = 3*r + 50, u = -2*r - 3*t - 59 + 14. Does 7 divide (70/(-3))/(5/r)?
True
Let v = -51 - -79. Let s = 18 - v. Is s/(-25)*(4 + 11) a multiple of 4?
False
Let u(c) = 16 - 212*c + 10 + 254*c. Is u(2) a multiple of 22?
True
Let h = 16462 - 14542. Is 128 a factor of h?
True
Suppose -4*j = -21 - 3. Suppose 68 = h - 3*m, j*m - 5*m + 151 = 2*h. Let s = h - 62. Does 5 divide s?
True
Is 19 a factor of 0 - -10895 - (22 - 34 - -21)?
False
Let y(m) be the third derivative of 0 - 17/120*m**6 - 7/6*m**3 - 1/4*m**4 - 7*m**2 - 1/30*m**5 + 0*m. Does 12 divide y(-2)?
False
Let i(s) = -13*s + 111. Let g be i(9). Is 22 a factor of ((-1)/3)/((-7)/(-1617))*g?
True
Suppose 8*z - 14*z + 84 = 0. Let v be 24/(-36) - z/6 - -42. Let q = v + -32. Is 3 a factor of q?
False
Let x = -81 + 1. Let f be (75/20)/((-6)/x). Let h = f - 20. Is h a multiple of 6?
True
Let i = 63391 - 33585. Does 7 divide i?
True
Let l = -4386 + 8471. Does 10 divide l?
False
Is 3369 - ((-11)/(-5) - 4)*(-10)/6 a multiple of 66?
True
Let s(i) = -199*i - 1778. Does 69 divide s(-56)?
False
Does 153 divide (17/2)/((-5)/(-6))*16920/24?
True
Let n(w) be the second derivative of w**4/12 + w**3/6 + 63*w**2 + 260*w + 1. Suppose 2*t = 7*t - 5*q + 15, -2*t + 3*q = 9. Does 9 divide n(t)?
True
Suppose -3797 = -8*j + 7075. Is j a multiple of 11?
False
Suppose -106*z + 108*z - 1522 = 0. Suppose -b + 375 = 4*f, -z = -2*b + 4*f - f. Does 15 divide b?
False
Let d(y) = 10*y**2 - 16*y + 4. Let a(q) = -q**3 + 31*q**2 + 33*q - 27. Let r be a(32). Does 25 divide d(r)?
False
Suppose -1228891 - 3467493 = 28*f - 204*f. Does 9 divide f?
False
Let l(k) = -k**3 + 18*k**2 + 71*k + 1. Is l(19) a multiple of 7?
False
Let a = -30 - 103. Let o = a + 173. Is o a multiple of 10?
True
Let b be (0 - -1564) + 48/(-3) + 15. Is 10 a factor of (-79 - -76) + b*1?
True
Let i(j) = j**3 - 14*j**2 + 14*j - 11. Let s be i(13). Suppose -s*q + 2 = 0, -2*n + 0 + 11 = q. Suppose -c - n*c + 180 = 0. Does 10 divide c?
True
Let g = -6179 + 6586. Let f be 4/14 - 69/21. Is 1/f - g/(-33) a multiple of 8?
False
Suppose -2*x - 14*n = -3*n - 3427, 10 = -2*n. Does 28 divide x?
False
Let o(b) = 30*b + 24. Let v be o(9). Let m be (-2)/3*v/(-28). Suppose -2*p = 5*g - m, -p - g = -3*p + 25. Is p a multiple of 11?
True
Let j = -2272 - -5383. Is 30 a factor of j?
False
Let a = 46 + -44. Suppose -2*r + r = -a*w + 360, 0 = -2*w - 3*r + 360. Suppose 24*g - 27*g + w = 0. Does 12 divide g?
True
Let y be (14/(-3))/((-273)/234). Let i(x) be the third derivative of x**6/60 - 3*x**5/20 + x**4/2 + x**3/6 + x**2. Does 12 divide i(y)?
False
Does 152 divide ((-105)/210)/((3/(-15808))/3)?
True
Let h(k) = 106*k**2 + 10*k + 26. Let u = 545 + -548. Is h(u) a multiple of 25?
True
Suppose -795*p - 123228 = -809*p. Is p a multiple of 36?
False
Suppose -890*r - 10540 = -924*r. Is r a multiple of 10?
True
Let m = -30 - -30. Let c be (-52)/(-6) + 4/(-6) + m. Is 7 a factor of 2*(c + (0 - 1))?
Tru