?
False
Let i be ((-495)/(-10))/(2 + (-9)/6). Let b = -40 + i. Is 14 a factor of b?
False
Suppose -4*l = i - 448, i = 5*l - 3*l - 218. Is l a multiple of 3?
True
Let m = -79 - -39. Let x be (-3)/(12/m - 0). Let u = x + 1. Does 4 divide u?
False
Let v(m) = -m**2 + 6*m + 7. Let g be v(8). Let j = g - -10. Does 17 divide 1*-1*(j - 21)?
False
Let i = 20 + 58. Let z = -47 + i. Is 11 a factor of z?
False
Let k be 4*-2*(-5)/5. Let h(f) = 0*f**3 + 2*f**3 - 7*f - 3 + 9*f**2 - 3*f**3. Does 3 divide h(k)?
False
Suppose 2*j + 11*i - 1718 = 9*i, 5*i = 20. Is 45 a factor of j?
True
Let n = -35 - -55. Suppose 4*o + n + 15 = 3*r, o = 3*r - 47. Let m = r - 7. Is 6 a factor of m?
False
Suppose -8*c + 1568 = -3*c + a, -4*a = c - 325. Does 9 divide c?
False
Let q be 4/2 + (-2 - (-4)/1). Suppose -500 = -q*s + 5*k, -508 = -4*s + 9*k - 6*k. Is s a multiple of 10?
True
Let d be ((-138)/(-8))/((-2)/32). Let p = d - -388. Let o = p + -61. Is o a multiple of 17?
True
Suppose 0*t + 3*t = 75. Let i = 78 - t. Is 18 a factor of i?
False
Suppose 0 = -223*m + 216*m + 23163. Is m a multiple of 22?
False
Let s = 194 + -116. Suppose -2*i - i = -s. Does 17 divide i?
False
Let w(c) = c**3 - 7*c**2 + 16*c + 16. Is w(8) a multiple of 26?
True
Let z(a) = -43*a + 9. Does 39 divide z(-2)?
False
Does 23 divide 22380/(-45)*(-6)/8?
False
Let i = 6 + -21. Let m(d) = -3*d - 26. Is 6 a factor of m(i)?
False
Suppose 17 = 2*y + 13. Let s be ((-69)/(-6) + -3)*4. Suppose 3*z - t + 3*t - 65 = 0, y*z - t = s. Is 5 a factor of z?
False
Suppose 0 = -4*w + 9*w + 470. Let j = -57 - w. Is j a multiple of 10?
False
Suppose -4*y - 284 + 340 = 0. Is y a multiple of 7?
True
Suppose 15 = 3*s - 2*s. Let r be (3 - 2)*1*(-4 - 2). Is 8 a factor of 32/r*s/(-10)?
True
Let p be ((-3)/(-9))/((-1)/(-15)). Suppose 3*c = p*j - j + 29, -5*c + 4*j = -35. Suppose c*z = 3*o - 42 - 87, -o = -4*z - 37. Is o a multiple of 15?
True
Let k = -100 + 51. Let b = k + 81. Does 8 divide b?
True
Let t(r) be the second derivative of -r**3/6 + 3*r**2 + 6*r. Let x be t(14). Is -1*(-2 + x + 2) even?
True
Let a = -19 + 87. Does 33 divide a?
False
Let p = 2258 + -2215. Is 40 a factor of p?
False
Let j = 201 - 193. Does 5 divide j?
False
Let l be (-66)/(-154) - 6/14. Suppose 3*n + 167 = 4*t, l*t = -t + 5*n + 63. Is t a multiple of 20?
False
Let q = -540 - -1916. Is 32 a factor of q?
True
Let j = -95 - -239. Is 17 a factor of j?
False
Let s(c) = c**3 - 10*c**2 + 22*c + 19. Let p be s(8). Let d be (2 - 1)*(0 - -109). Let l = d - p. Is l a multiple of 14?
True
Let i(a) = -a**2 + 3*a + 2. Let m be i(2). Suppose c - 4*c + 5*o = 12, 0 = -c + 4*o - m. Does 3 divide c/(4/(-1)) - -11?
True
Let t be ((-2)/(-6))/(5/15). Let g = 3 - t. Is g a multiple of 2?
True
Let l = 83 - 104. Is 19 + l - 89*-2 a multiple of 22?
True
Suppose -5*h - 4*f = -450, 3*h = 2*f - f + 287. Let z = -54 + h. Let q = -24 + z. Is 8 a factor of q?
True
Let u(a) = 6*a**2 + 15*a - 86. Is u(-8) a multiple of 11?
False
Let o = 25 + -36. Is ((o/(-3))/1)/(10/390) a multiple of 28?
False
Suppose -38730 - 7580 = -22*o. Is o a multiple of 17?
False
Suppose 14 = 5*i - o - 67, 5*o + 21 = i. Let r = 30 - i. Does 18 divide (-4)/r - (-512)/28?
True
Suppose -27 + 15 = -4*f. Let k(w) = -w**2 + 2*w - 4. Let h be k(f). Does 9 divide (-5)/3*(h + -2)?
False
Is (-5306)/(-10) + 118/295 a multiple of 27?
False
Suppose -160 = -4*z - z. Is 16 a factor of z?
True
Does 35 divide 1300/5 + -2 + (1 - -1)?
False
Suppose 0 = -4*z - 41 - 7. Let h(b) = -b**3 - 13*b**2 - 13*b - 15. Let p be h(z). Is p + 4 - (-1 + -22) a multiple of 6?
True
Suppose -105 + 9 = -3*k. Does 14 divide k?
False
Suppose 22 = 5*x - 3. Suppose -5*k = -10, 3*c - 149 = x*k - 0. Is 11 a factor of c?
False
Suppose -6*l = -2*l + z + 29, 2*z - 8 = 3*l. Does 11 divide 3758/18 + l/(-27)?
True
Suppose -4*u - 5 = 11. Let x(h) = 2*h**2 + 6*h - 6. Let v(o) = -5*o**2 - 11*o + 11. Let t(n) = u*v(n) - 9*x(n). Is 19 a factor of t(7)?
True
Is 17 a factor of (-114378)/(-99) - 4/(-6)?
True
Let h(q) be the first derivative of -q**5/12 + q**4/6 - 4*q**3/3 + 1. Let x(b) be the third derivative of h(b). Is 14 a factor of x(-3)?
False
Let g = -93 - -138. Let o = 25 - g. Let i = o + 40. Does 3 divide i?
False
Let b = 23 + 2036. Is b a multiple of 14?
False
Let f be (4/6)/(8*(-9)/(-3132)). Let y = f + -14. Does 12 divide y?
False
Let n be (-8)/6*((-567)/14)/9. Let j(a) = -a**3 - 2*a**2 - 3*a + 1. Let y be j(-3). Let t = n + y. Does 8 divide t?
False
Let o(t) = -22*t**2 - 3*t - 3. Let p(a) be the second derivative of 11*a**4/12 + a**3/3 + a**2 + a. Let q(i) = -6*o(i) - 11*p(i). Is 16 a factor of q(-2)?
True
Suppose 3*s - 3162 = -28*s. Does 10 divide s?
False
Let n = 107 + -47. Let d = n + -16. Is 22 a factor of (d/(-10))/((-2)/10)?
True
Let o be 0/(-1) - (21 + -19). Let f be o/(-6)*-3 - -4. Suppose f + 7 = y. Is 8 a factor of y?
False
Let v be (-10)/(-8) + (-12)/48 + 4. Suppose -1449 = -5*h + 4*a, 0 = -v*h + a - 0*a + 1461. Does 27 divide h?
False
Suppose -4*g - 1998 = -41*g. Does 3 divide g?
True
Let n = -19 - -91. Let a = n + -19. Is a a multiple of 6?
False
Let h = -534 + 565. Is 15 a factor of h?
False
Suppose 1874*x - 1872*x = 3056. Does 7 divide x?
False
Let z(b) = -8*b + 41. Let s be z(5). Is 10/(6 - s) + 182 a multiple of 6?
False
Let g(b) = -b**3 + 21*b**2 - 39*b + 64. Is g(16) a multiple of 48?
True
Suppose -34*k + 1188 = -28*k. Is k a multiple of 3?
True
Suppose 0 = 9*r + 676 + 134. Let t = r + 186. Is t a multiple of 6?
True
Suppose 3*x + 39 = 8*x - 2*d, 37 = 5*x - d. Let n(g) = 8*g - 24. Is n(x) a multiple of 30?
False
Let k = -804 + 850. Is 3 a factor of k?
False
Let y be (-3)/27*2 - 4620/108. Let z = y - -95. Does 9 divide z?
False
Let i(x) = -x**3 + 77*x**2 + 95*x + 522. Does 13 divide i(78)?
False
Let f(m) = 2*m**2 - 3*m - 16. Is f(-8) a multiple of 17?
True
Let d(s) = -s**2 + 7*s. Let b(u) = u**2 - 8*u. Let z be (12 + -13)*(4 - 1). Let v(t) = z*d(t) - 2*b(t). Does 12 divide v(8)?
True
Let d = 13 - 6. Let b(m) be the first derivative of 4*m**2 - 6*m - 105. Is b(d) a multiple of 26?
False
Let u(s) = 7*s**2 + 9*s - 16. Let r be u(7). Suppose -6*c + 9*c - r = 0. Does 16 divide c?
False
Let g(u) = 76*u**2 + u + 1. Let f be g(-2). Suppose 0 = 5*l - 4*n - 505, -2*l + 5*l - 5*n - f = 0. Does 30 divide l?
False
Let m(k) = k**3 + 14*k**2 + 13*k - 3. Let v be m(-9). Let q = v + -200. Is q a multiple of 17?
True
Is 48 a factor of ((-186)/36)/(3/(-9))*58?
False
Let h = -58 + 52. Let f(c) = -20*c + 25. Does 25 divide f(h)?
False
Suppose -2*t + 255 = 5*p, -p - t = -5*p + 191. Is p a multiple of 5?
False
Let f be 1*2 - (6 + -20). Let x(u) = -10 - 7*u + 6*u - f*u. Does 29 divide x(-4)?
True
Suppose 6*y - 11*y = 65. Let g(t) = -6*t + 2. Does 16 divide g(y)?
True
Suppose -2*q + 18 = 4*o, -3*o + 4*q + 6 = 3*q. Suppose 2*s = 2*d - 138, -123 = -4*d + 2*d - o*s. Does 6 divide d?
True
Suppose 7*l - 29 - 48 = 0. Let w = l - 5. Is 374/w + 4/(-12) a multiple of 24?
False
Let o(q) = q**3 - 8*q**2 + 10*q - 7. Let m be ((-4)/(-6))/((-4)/(-42)). Suppose -t = -2*t + m. Is o(t) a multiple of 13?
False
Suppose 76 = -2*w + 246. Is 5 a factor of w?
True
Does 29 divide (-42)/(-8)*((-68)/(-6) + -2)?
False
Suppose -5 = -5*f + 4*o, o + 1 = 4*f - 14. Let h(c) = -c + 2*c**2 + 3 - f - 22*c**3 - 17*c**3. Is 9 a factor of h(-1)?
False
Let c = 16 - 20. Let d be c/(-3) + 4/6. Suppose 0 = d*r + 17 - 149. Is r a multiple of 22?
True
Suppose 5985 = 4*m + 5*s, -12*m + 11*m = s - 1497. Is m a multiple of 75?
True
Let a(k) = -84*k + 7. Suppose -10*t - 8 = -2*t. Is a(t) a multiple of 11?
False
Does 102 divide 60/8*(-31096)/(-69)?
False
Let l(x) = -x + 4. Let y be l(-3). Suppose 0 = -3*w + y*w - 648. Suppose 6 = 2*r, -5*h + 0*r = -r - w. Is h a multiple of 11?
True
Suppose 8*x + 1346 - 6474 = 0. Is x a multiple of 50?
False
Let p be (358/(-10))/(3 + 32/(-10)). Suppose 5*s = 739 - p. Does 14 divide s?
True
Suppose -3*s = -3*f + s - 1700, f = -s - 555. Let b = 936 + f. Does 47 divide b?
True
Let y be 3/12*4 - -3. Suppose 0 = -l - y*l - 40. Let k = l + 17. Is k a multiple of 9?
True
Let u(a) = -a + 19. Let k be u(19). Suppose -9 + k = -3*o. Is 12 a factor of 37/o - (-2)/(-6)?
True
Suppose 0 = -3*c + 475 + 41. Suppose 6*n + c = 2*n. Does 14 divide 3 - ((-2 - -1) + n)?
False
Let p(j) = 5*j**2 - 25*j - 7