t a multiple of 40?
True
Suppose 22*g + 8*g = 64590. Is 17 a factor of g?
False
Let m = -28100 + 31098. Is m even?
True
Suppose -29*m = -5*m - 2712. Let a = 379 - m. Is 14 a factor of a?
True
Let h = 199 + -201. Is h/(-4)*526 + -2 a multiple of 9?
True
Suppose 2*b - 4*n = -2*n - 2, -2*b + 10 = n. Suppose 3*j + 16 = b*w + j, -5*j = -w + 27. Suppose w*z + 4 = z, 31 = 3*c - z. Is 3 a factor of c?
True
Let p(h) = 8*h**2 - 9*h - 3. Let z be p(-8). Let k = z + -157. Is k a multiple of 8?
True
Let b be 4/(-10) + (-1808)/(-20). Let p be -1352*(245/(-40) - -6). Let v = p - b. Is v a multiple of 4?
False
Suppose -a + 9 - 17 = 4*y, 5*y + 10 = 5*a. Is 324 + 2 + (-4)/y a multiple of 41?
True
Let m be (-261)/(((-90)/48)/5). Suppose 0 = 7*l - 11*l + m. Does 23 divide l?
False
Let o(k) = 21*k + 32. Let h(b) = -4*b + 13. Let t be h(2). Does 10 divide o(t)?
False
Does 8 divide (3 - (-1 + 10)) + 11/((-77)/(-26670))?
False
Let b = 594 - 594. Suppose 10*d - 13*d + 15 = b, 0 = 2*x - d - 271. Is x a multiple of 3?
True
Suppose -2*l = 5*r - 20, -6*r + l + 12 = -3*r. Suppose 7*x = r*x + 426. Does 7 divide x?
False
Let t = 78 - 77. Let p be ((-81)/36 - t/(-4)) + 5. Suppose -3*u = 2*b + p*b - 132, -124 = -5*b - u. Is 2 a factor of b?
True
Let l(s) be the second derivative of s**6/360 + s**3 - 21*s. Let j(c) be the second derivative of l(c). Does 16 divide j(5)?
False
Suppose 2*j = -4*i - 92, 5*i - 160 = 5*j + 25. Let c = -39 - j. Let s(y) = 17*y**3 - 2*y**2 + 2*y + 1. Is s(c) a multiple of 4?
False
Suppose -u = a - 242 + 808, -4*u = -3*a - 1670. Let y = 841 + a. Let v = 474 - y. Is 39 a factor of v?
True
Suppose -2*d - 5*y + 94142 = -812, d - 47473 = -2*y. Is d a multiple of 168?
False
Suppose 4*o = 3*l - 1, -5*l + o + 15 = -3*o. Is 25 a factor of l - (-411 - (-7)/(-1))?
True
Let w(d) be the second derivative of -33*d + d**3 + 2*d**2 + 1/20*d**5 + 0 + d**4. Does 13 divide w(-7)?
False
Suppose -4*u + 4311 = -3*t, 9*t = 14*t - 15. Is 45 a factor of u?
True
Let f(c) = 4025*c - 185. Does 58 divide f(3)?
True
Let v = -7408 - -8121. Does 18 divide v?
False
Let z(x) = -2*x - 6. Let t be z(-12). Let s be t/(-8)*48/(-12). Suppose -567 = -s*q - 27. Is 20 a factor of q?
True
Let u be (-3 + 5/2)*0. Suppose 0 = 3*x - 5*d - 366, 5*x + d = -u*d + 582. Is x a multiple of 15?
False
Suppose -q = -2*n + 39, -2*q - 118 = n - 45. Let t = 658 - q. Does 6 divide t?
False
Let x(b) = -169*b + 869. Is x(-30) a multiple of 50?
False
Suppose 144*n - 149*n - 7781 = -2*h, -h + 3*n = -3889. Is h a multiple of 41?
False
Let k(u) = 37*u**2 - 31*u**2 - 6 - 5*u**2 - 29*u + 1. Is k(34) a multiple of 15?
True
Let i be 1*3 + 0/(-4) + -3. Let d(j) = j**2 + i*j**3 - j**3 - 610*j + 2*j**2 + 630*j. Is 5 a factor of d(6)?
False
Suppose -67 - 18 = 5*r. Let j = r + 22. Suppose -5*h = 25, 8*i = 3*i + j*h + 325. Is i a multiple of 15?
True
Let g be 2413 - ((-2)/(-5) + 91/35). Suppose 49*i - 39*i = g. Does 7 divide i?
False
Suppose 0 = 5*z - 2*u + 112, -u - 3 = 3*z + 73. Let i be (-14 - z) + (-5)/((-10)/(-8)). Does 17 divide (1364/33)/(4/i)?
False
Suppose 4*f = 5*h - 25858, -3*h = 3*f - 292 - 15185. Is 18 a factor of h?
True
Let k(o) = o**3 - 31*o**2 + 58*o - 272. Is 8 a factor of k(42)?
True
Let p(i) = i**3 + 71*i**2 - 204*i - 694. Does 6 divide p(-73)?
True
Let k(y) be the first derivative of -23*y**2 + 16*y - 1. Let c be k(-7). Let o = -167 + c. Is 32 a factor of o?
False
Is -11 + 42/6 - (-5 + -4730) a multiple of 11?
False
Let u(p) be the third derivative of p**5/15 + p**4 + 21*p**3 + 22*p**2. Is u(-6) a multiple of 7?
True
Does 10 divide 48 - (24 + 2) - -53612?
False
Let f = -2713 + 7718. Is f a multiple of 13?
True
Let f(h) = 4*h - 31. Let r(p) = -2*p + 16. Let m(t) = -2*f(t) - 5*r(t). Let l be m(13). Is 13 a factor of (6 - l)*(-1 - 12)?
True
Is (132/(-297))/(2/(-20133)) a multiple of 32?
False
Let j = 459 + -162. Let a = j - 177. Does 24 divide a?
True
Let z(o) = -4*o**2 + 19*o - 18. Let u be z(4). Suppose -6*y + 3*y = -24. Is u/y*(-15 - 9) a multiple of 9?
True
Suppose 6*z - 565 = -2*x + z, z = -3*x + 828. Let d = 228 + -385. Let a = x + d. Does 20 divide a?
False
Is (1415/2)/(422/844) even?
False
Let v(l) = l**3 - 2*l**2 - l + 3. Let z be v(0). Let p be -3 - -23*z/(-3). Is 617/15 + p/195 a multiple of 41?
True
Let l(d) = -d**3 + 34*d**2 + 36*d + 46. Let s be l(35). Let t = 164 - s. Is t a multiple of 7?
False
Let f(g) = 8*g**3 - 2*g**2 - g + 3. Let u be f(-3). Let y = u - -258. Is 16 a factor of y?
False
Let f = -654 - -830. Suppose -7839 = -185*v + f*v. Is v a multiple of 8?
False
Suppose 0 = -5*a - 4*g - g + 35, -4*a = -2*g - 34. Suppose -a*z + 113 = -567. Let o = z + -18. Does 19 divide o?
False
Let c(l) = -1472*l - 2046. Does 14 divide c(-8)?
True
Suppose -3290 = -34*h + 27*h. Suppose 28*d - 23*d - h = 0. Does 9 divide d?
False
Let i(y) = 2*y**3 - 20*y**2 + 8*y - 29. Let m be i(10). Let a = 291 - m. Is a a multiple of 4?
True
Does 14 divide 26/169 + (0 - (-26631)/39)?
False
Let j be (-13)/91 - (-43)/7. Let i be (-1 - -1)*3/j. Suppose 0*b - d + 58 = b, i = 4*b + 5*d - 230. Is 10 a factor of b?
True
Suppose -8 = -4*d - 4*h, 0 = -0*d - d + 3*h + 14. Suppose d*s - 240 = -5*n, -3*s - 28 - 16 = -n. Is 16 a factor of n?
False
Let q(z) = z**3 + 13*z**2 + 16*z - 61. Let w be q(-11). Suppose -3*u + 1974 = 2*k + 50, -k = w*u - 948. Does 11 divide k?
True
Suppose -26*k + 32*k - 30 = 0. Suppose -d - f = -133, -4*f + k*f = -1. Is d a multiple of 67?
True
Suppose 4*j - 3*h - 3 - 17 = 0, -h = j - 5. Suppose 0 = g - 5*z - 6, 3*g - 3*z = j*g - 64. Does 26 divide g?
True
Let p = -1067 - -1826. Let g = p + -409. Is g a multiple of 5?
True
Suppose -17*y - 179*y + 2426872 = 0. Does 115 divide y?
False
Let f(x) = 164*x - 173. Is 15 a factor of f(7)?
True
Suppose -39437 = 13*y - 22*y + 17866. Is 180 a factor of y?
False
Let u(b) = -2*b**3 + 61*b**2 + 19*b + 30. Is u(26) a multiple of 17?
False
Is 145 a factor of 3/4*(-47884334)/(-1113) + (-4)/56?
False
Suppose 690 = -88*s + 42*s. Let o(c) be the first derivative of c**4/4 + 5*c**3 - 9*c**2 + 10*c + 3. Is o(s) a multiple of 14?
True
Let x(f) = -2*f**2 + 37*f - 55. Let c be x(16). Is 4 a factor of (24/(-4))/6 + c?
True
Suppose -146*s + 143*s = -15. Suppose -s*z + 5*o = -2500, 4*o = 64*z - 63*z - 497. Is z a multiple of 27?
False
Let z = -11 - 35. Let d = z - -49. Is -1 + (51 - 4/(4/d)) a multiple of 18?
False
Suppose 3*z + 1194 = -2*s, 0 = 7*s - 6*s + 2*z + 598. Is 26 a factor of (-12179)/(-11) + 108/s?
False
Suppose 2*v - 312 = -3*k, -3*v + 288 = -2*k - 154. Does 71 divide (-7 + v/18)*639?
True
Suppose 9*w - 38 = 7. Suppose w*d = d + 708. Let q = d - 110. Does 11 divide q?
False
Suppose 9*j + 11 = -43. Let m(f) = -4*f**3 - 9*f**2 - 6*f - 24. Let w be m(j). Suppose -b = -7*b + w. Is b a multiple of 32?
False
Suppose -13*v + 48620 = -5590. Is 139 a factor of v?
True
Let v(y) = -5*y + 1. Let j be v(-1). Is 44 a factor of j/(-4)*(28/4 - 229)?
False
Let p = -4175 + 5085. Is p a multiple of 7?
True
Let u(n) = n**2 - 6*n - 9. Let f be u(-3). Suppose f*h = 8*h + 4630. Is h a multiple of 24?
False
Let y(d) be the first derivative of -d**3/3 + 17*d**2/2 - 16*d - 2. Let r = -1666 - -1676. Does 10 divide y(r)?
False
Let k be 45/4 + -7*(-8)/(-224). Is 26 a factor of (12430/(-4))/k*(-4 - -2)?
False
Let d(a) = 11*a**2 - 14*a + 191. Let o(y) = -5*y**2 + 8*y - 96. Let t(l) = 6*d(l) + 13*o(l). Is 6 a factor of t(-34)?
False
Let l(u) = 30*u**2 - 12*u + 19. Let v be l(6). Suppose 4*m - 2*i - 323 = 497, v = 5*m - 2*i. Is m a multiple of 18?
False
Suppose 6*p + 26 + 154 = 0. Let m = -45 + 87. Let b = p + m. Is b a multiple of 4?
True
Let b = 1646 - 954. Suppose 2*z - g = -3*z + 1753, -2*z + 5*g + b = 0. Does 27 divide z?
True
Suppose r + o - 147 = 0, -2*r = 3*r + o - 739. Suppose 2*l - 97 = -21*a + 22*a, -3*l + 4*a + r = 0. Is l a multiple of 16?
True
Suppose 0 = 2*p + 2*s - 28058, 406*p - 407*p = -3*s - 14057. Is p a multiple of 58?
True
Let o = 48 - 133. Let w = o - -265. Suppose 3*c + 3*c = w. Does 10 divide c?
True
Let w(o) = -8*o + 145. Let n be w(10). Is 33 a factor of (-2)/(-13) + 25730/n + 0?
True
Let w be (25 + (1 - -3))/1. Suppose -u = k - 5*k - w, 5*u + 4*k - 145 = 0. Let q = 57 - u. Does 13 divide q?
False
Does 31 divide 608624/104 + (-50)/325?
False
Let f(y) be the first derivative 