tiple of 39?
False
Does 11 divide 30559 + (-1 - 3)*(198/24)/(-33)?
False
Let r = 834 + -492. Does 8 divide r/3*2 + 17 + -19?
False
Let k(l) = l. Let r(z) = 17 - 6 - 4*z - 9. Let o(u) = 3*k(u) - r(u). Does 18 divide o(8)?
True
Let h = -684 - -105. Suppose 0 = 38*w - 40*w - 680. Let a = w - h. Is 24 a factor of a?
False
Let i be 8/3*6/(-8). Does 29 divide i/6 - 3732/(-18) - 4?
True
Let f(i) be the third derivative of -1/6*i**4 - 32*i**2 + 14/3*i**3 + 0 + 0*i. Is 8 a factor of f(3)?
True
Let u(a) = -a**2 - 7*a - 6. Let k be u(-6). Let t(v) = k*v + 58 - v - 19. Does 4 divide t(-16)?
False
Let m be (-1)/(5/320) - 2*1. Let n = m + 64. Does 17 divide -3*(1 + -6) - (n - 0)?
True
Let l(f) = -5*f**3 - 25*f**2 - 103*f + 6. Let p(i) = 4*i**3 + 24*i**2 + 103*i - 6. Let s(t) = -3*l(t) - 4*p(t). Is s(-7) a multiple of 41?
True
Let n(s) = -s**2 - 14*s + 17. Let p(b) = 2*b**2 - 14*b + 28. Let o be p(9). Let i be (1 - o/12)/((-2)/(-6)). Is n(i) a multiple of 10?
True
Is ((-131480)/57)/4*(-27)/5 a multiple of 18?
True
Suppose -45984 = -53*y - 2*y + 564846. Is y a multiple of 18?
True
Let o(d) be the first derivative of d**3/3 - 27*d**2/2 - 98*d + 58. Is 3 a factor of o(31)?
False
Suppose -15962 = -31*m + 12341. Suppose 11036 + m = 21*q. Does 22 divide q?
False
Let w = -1618 + 8393. Is w a multiple of 50?
False
Is (48/(-32) - (-15)/18) + (-33074)/(-3) a multiple of 16?
True
Let r(s) = 9 - s**2 + 5*s**3 + 2*s**3 + 2*s**3 + 5*s + 10*s**2 - 4*s**2. Does 74 divide r(5)?
False
Let p = 4323 + -2537. Is 38 a factor of p?
True
Is 69 a factor of (-14)/((-182)/14755) - -7?
False
Let m(p) be the first derivative of -p**3/3 - 4*p**2 - 9*p + 4. Let g be m(-6). Suppose 5*d - g*u - 325 = -76, -d - 2*u + 42 = 0. Does 13 divide d?
False
Suppose -153120 = -16*y - 133*y + 33*y. Is 2 a factor of y?
True
Let y = -3 - -7. Let z = -15 - -12. Is 31 a factor of (z + 52/12)*186/y?
True
Suppose -193*m + 188*m + 115 = 0. Suppose m*u - 27*u + 288 = 0. Is 24 a factor of u?
True
Is 122930055/2160 + (-1)/16 a multiple of 16?
True
Let q(x) = -18*x**3 - 2*x**2 + x + 1. Let y be q(-2). Suppose -l + 54 = -y. Is 32 a factor of l?
False
Let a be (-42)/35 - (-7172)/10. Is (2/(-8))/((-1)/a) a multiple of 10?
False
Let b be 2/(-6) - ((-9)/27 + 6). Is -2 - b - (-133*2 - -5) a multiple of 14?
False
Suppose 7*o - 1759 = 5045. Is 12 a factor of o?
True
Suppose 2*a - 4408 = -4*h, 5*a - 9*a - 2*h + 8798 = 0. Is 14 a factor of a?
True
Let c(f) = 7385*f**2 - 2*f - 16. Is c(1) a multiple of 42?
False
Let z = -13786 - -16369. Is z a multiple of 245?
False
Let i be (525/(-20))/(-15) + (-1)/(-4). Let q(d) = -6*d + 4 - 10*d + i*d + d. Is 6 a factor of q(-8)?
True
Suppose -40 + 38 = -q. Suppose -q*j + 6 = -4*t - 2, 3*t = j. Is 13 a factor of 2/j + (-622)/(-12)?
True
Let v(c) = -2*c**3 - 29*c**2 - 64*c - 192. Is v(-23) a multiple of 222?
False
Let f(x) = 1833*x**3 + 59*x**2 + x - 3. Does 18 divide f(1)?
True
Let w be ((-34)/(-4))/(3 - (-3082)/(-1028)). Suppose -11*f + 28*f - w = 0. Is f a multiple of 17?
False
Let k be (1*(-4)/(-7))/((-24)/(-84)). Suppose -4*t = -4*f - 852, 5*t - f = k*f + 1059. Is t a multiple of 10?
True
Suppose 0 = -232*c + 2663621 + 2563339. Does 111 divide c?
False
Let s be (-10374)/28 + (-2)/4. Let i = 404 + s. Does 11 divide i?
True
Let p = 14444 + -7289. Does 135 divide p?
True
Let n be (30/45)/(0 + 1/756). Suppose 17*x - 19*x = -n. Suppose 6*j = 3*j + x. Is 28 a factor of j?
True
Let y(j) = 17*j**3 - 8*j**2 + 6*j - 18*j**3 - 28 + 13*j**2. Is 14 a factor of y(-7)?
True
Is 16 a factor of (4 + (-11739)/14)*(1 - 5)?
False
Let a(i) be the first derivative of i**3/3 + 7*i**2 - 67*i + 50. Is 2 a factor of a(-20)?
False
Let p = 12180 + -10812. Is 76 a factor of p?
True
Suppose 4 = 20*w - 24*w, -5*r - 5*w = -1000. Suppose 11*f - 6608 = r. Is 12 a factor of f?
False
Let g = 89 + -106. Let r be g/(-4) + -5 - 958/(-8). Suppose 10*w = -r + 439. Does 4 divide w?
True
Let x be (-20*2/(-5))/1. Suppose 0 = d - 4*o - 141 - 391, -x = 2*o. Does 53 divide d?
False
Let r(i) = 2*i**3 - 9*i**2 + i. Let v(k) = -k**2 + 11*k + 48. Let m be v(14). Is 3 a factor of r(m)?
True
Suppose 5*t + 0*t - 4*w = 19, 0 = 4*t - 5*w - 17. Suppose 500 = 5*c - 4*q, 15 = 6*q - t*q. Suppose -458 = -2*z + 2*v, -z + 121 = -5*v - c. Is 23 a factor of z?
True
Suppose -105*u + 16*u = 115246 - 479701. Does 21 divide u?
True
Let g be -4*(1/(-6) + (-10035)/(-108)). Let v = g - -531. Does 14 divide v?
False
Let t(v) = -87*v - 66. Let p = 248 - 255. Is t(p) a multiple of 15?
False
Let t(a) = a**3 - 3*a**2 + 4*a + 4. Let u be t(4). Let g = -2244 + 2248. Suppose -g*s + 8 + u = 0. Is s a multiple of 3?
False
Suppose 0 = 4*u + 4, 11*h + 4*u = 7*h + 92. Suppose 0 = 4*g + h - 76. Is g a multiple of 2?
False
Let n(h) = 2 - 3*h**2 + 5*h**2 + 3*h - 13*h. Is 27 a factor of n(-3)?
False
Is 37 a factor of (-24)/(-5 + 1 - 33402/(-8436))?
True
Let z = -404 - -173. Let f = z + 251. Is f a multiple of 10?
True
Does 8 divide 19/(133/(-56)) + 3768?
True
Let i(f) = -93*f**3 - f**2 + 10*f + 28. Does 100 divide i(-3)?
True
Suppose -3*f = g - 7484, 2*g - 15040 = 4*f + 2*f. Does 10 divide g?
False
Let d(z) = 5 - 30*z + 58*z - 29*z. Let r be d(0). Suppose -j = -4*u - 68, -r*j = -u - 0*u - 245. Is j a multiple of 12?
True
Suppose -4*q + 40 = -2*q. Suppose 0 = -12*o + 29 + 31. Does 8 divide 31/(4*o/q)?
False
Let k = 2522 + 5960. Is 4 a factor of k?
False
Let w(z) = -4963*z**3 - 7*z**2 - 87*z - 157. Does 101 divide w(-2)?
True
Let t(m) = -5*m**3 - 10*m**2 - 7*m + 82. Is 8 a factor of t(-10)?
True
Let m(o) = -5*o**3 + 20*o**2 + 15*o + 10. Let s(x) = -2*x**3 + 7*x**2 + 5*x + 3. Let f(y) = -4*m(y) + 11*s(y). Let q = -173 - -169. Is f(q) a multiple of 31?
True
Suppose -2*l - 19612 = -4*y, 677*y - 674*y - 14706 = l. Is y a multiple of 100?
True
Let l(v) = v**2 - 6*v - 38. Let i be l(10). Suppose p + i*g = 23, 2*g = 4*p - 2*p - 34. Is 7 a factor of p?
False
Suppose 4*h - 2*z = -144, -3*h - 180 = 2*h - 2*z. Let o = -34 - h. Suppose 3*q = -2*w + 256, o*q + 2*q - 5*w - 303 = 0. Is q a multiple of 14?
False
Let u(o) = o**3 - 28*o**2 - 45*o + 45. Suppose 42*b - 3*b = 1170. Does 9 divide u(b)?
True
Is (-36)/48 - 12777/(-12) even?
True
Let f(b) = b**2 - 36*b - 108. Let d be f(39). Does 5 divide -8*(d/(-2) + (1 - 5))?
False
Let b = 211 + -67. Let l = b + -4. Is l a multiple of 35?
True
Let k be 9 - (-21)/(-6) - 2/4. Suppose -d = 5*q - 385, 7*q - 2*q + k*d = 405. Is 48 a factor of q?
False
Let i be (-2)/(-5)*(6 - 4301)*4. Is 33 a factor of (-64)/10 - -6 - i/5?
False
Let j(a) = a**2 + 10*a - 10. Let u be j(-11). Is 4/18 + -12981*u/(-27) a multiple of 13?
True
Suppose -3*t + 9 = -t + 3*q, 2*q = 4*t - 26. Suppose -2895 = -t*b + 1083. Is 13 a factor of b?
True
Suppose -2*m + 2864 = -s, 9*m - 5*s = 6*m + 4289. Suppose 998 = 17*c - m. Is 6 a factor of c?
False
Suppose -4*r = -10*r - 7*r. Is 16 a factor of 3 + 65 + 1 + (4 - r)?
False
Let p(t) = -26*t. Let y be p(-1). Suppose 5*o - 51 + y = 0. Suppose k + 320 = o*k. Is 40 a factor of k?
True
Let q be 22 - 15 - (-966 - 2). Suppose 2267 = 4*b + h, -5*b + 1858 + q = 2*h. Does 9 divide b?
True
Let y = -252 - -256. Suppose 70 = -2*t + 9*t. Does 3 divide ((-2)/y*33)/(t/(-20))?
True
Suppose -c - 1215 = -3*v - 0*v, 3*c = v - 405. Suppose 0*g = 5*g - v. Does 3 divide g?
True
Let l(z) = z**3 - 7*z**2 - 2*z. Let k be l(7). Let m(b) = 2*b**2 + 17*b + 7. Does 16 divide m(k)?
False
Let t(u) = 28*u**2 + 25*u - 23. Is t(9) a multiple of 19?
True
Suppose -5*c + 7821 = p, 6527 - 283 = 4*c + 4*p. Does 4 divide c?
False
Let d(t) = 5*t**2 + 62*t - 28. Is d(-16) even?
True
Suppose 3*u = -5*v + 22416, -3*u - v + 29211 = 6819. Is 13 a factor of u?
True
Does 9 divide -4 - (1 + 4 + -1057) - (17 - 16)?
False
Let q(j) = 13*j**2 - 3*j - 4 - 1207*j**3 + 1208*j**3 + j. Is q(-13) a multiple of 3?
False
Let z be (-7)/((-14)/(-53))*-2*1. Suppose 4*i = 5*s - 88, 0 = -4*i - 3*s + z - 141. Is 7 a factor of (-1126)/i + (-14)/77?
False
Let l = -1044 + 1742. Is 18 a factor of l?
False
Let k(u) = 2*u**3 + 88*u**2 + 17*u + 216. Is 71 a factor of k(-34)?
False
Suppose 199*v + 152*v = 14335191. Is v a multiple of 8?
False
Suppose 2*a + 6 = 3*c + 2, 5*a - 20 = 0. Suppose 3*w = -5*d + 1465, 0*w + 2*w = c*d + 1006. Suppose 3*o - 12*o = -w. Is 3 a factor of o?
False
Suppose -h - 3*u - 4 = 