e of 16?
False
Is (26/1)/(12/6606) a multiple of 132?
False
Does 41 divide -68*(-4)/(112/5803)?
False
Let c(z) = 2159*z + 640. Is c(4) a multiple of 137?
False
Let n = -5404 + 3058. Let s = n - -3731. Is 20 a factor of s?
False
Suppose -2*m + 3*m = 3*l - 47, l = -5*m + 5. Suppose 0 = -3*z - l*z + 9720. Is z a multiple of 30?
True
Let n = -1118 + 20. Let q = -462 - n. Does 26 divide q?
False
Suppose -314*m - 27855 = -329*m. Does 25 divide m?
False
Suppose -r = 3*r + 16, 27 = f + 2*r. Let w = 306 - f. Does 5 divide w?
False
Suppose -7*d = -5*d + 5*h - 488, 0 = -5*h + 10. Suppose -q + d + 186 = 0. Is q a multiple of 17?
True
Let g be ((-54)/21)/((-45)/1050)*-1. Does 36 divide g*((-165)/(-25))/(-11)?
True
Let y(m) = 67*m**2 - 86*m - 449. Is y(-6) a multiple of 37?
True
Suppose 3*x + 14*x - 17892 = 8*x. Does 28 divide x?
True
Let r = -3795 - -6011. Is r a multiple of 35?
False
Let x(z) = 18*z**3 + 5*z - 32*z**2 - 37*z**3 + 36 + 14*z**3. Let w(l) = l**3 + 8*l**2 - l - 9. Let i(d) = 9*w(d) + 2*x(d). Does 17 divide i(7)?
False
Suppose 0 = -b + 2*j + 8792, 4*j = 146*b - 148*b + 17528. Does 21 divide b?
True
Let y be (8 + -5 - -3)/1. Suppose -y*k = -16*k + 4860. Does 18 divide k?
True
Is 12 a factor of (-14 + (-893)/(-76))/((-6)/16864)?
True
Let j(z) be the third derivative of 11*z**5/60 + 17*z**4/8 + 2*z**3 + 3*z**2 + 53. Is j(-8) a multiple of 11?
True
Let a be (1/3)/(3/47169). Let l be a/5 - 1/(-5)*-1. Does 19 divide (-6)/9 - l/(-24)?
False
Suppose -44*l + 346983 = 17775. Is 58 a factor of l?
True
Let r be (-6)/12*-2*628. Suppose 3*m - z - r = 0, 5*m - 4*z = -0*z + 1035. Does 15 divide m?
False
Let o(r) = -10*r**2 + 77*r**2 - 16 - 9*r + 6*r**2 + r - 4*r. Does 15 divide o(4)?
False
Let c = -1332 + 6570. Is c a multiple of 18?
True
Let u(v) be the third derivative of v**7/1680 + 11*v**6/240 + 19*v**5/60 - 21*v**2. Let j(p) be the third derivative of u(p). Is 18 a factor of j(9)?
False
Let y = 4739 - 1102. Is 8 a factor of y?
False
Let z(y) = y**3 - 15*y**2 - y + 21. Let s be z(15). Is 14/(((-22)/55)/(s/(-10))) a multiple of 21?
True
Suppose -52 = 9*f - 214. Let m be 4036/f + (-38)/171. Suppose m = 5*s - s. Is s a multiple of 20?
False
Suppose -8*v + 987 = -12901. Does 124 divide v?
True
Let i(h) = 21*h + 5. Suppose -1 - 9 = -4*y + 5*k, 5 = -y + 5*k. Suppose -18 = -3*m - 3*o - 3, -2*m = -y*o - 10. Is 28 a factor of i(m)?
False
Suppose -81 = -10*c + 9*c. Suppose 7*h + 251 = 3*h + b, 4*h + 256 = -4*b. Let u = h + c. Is u a multiple of 9?
True
Suppose x + a - 2139 = 0, a = -5*x + 1303 + 9380. Is 9 a factor of x?
False
Let f(y) = 194*y**3 + 3*y**2 - 4*y + 2. Let g be f(1). Let i = g + 119. Is i a multiple of 8?
False
Let x(p) = 2*p**2 + 43*p - 273. Is 15 a factor of x(28)?
False
Let b be 7/(-2)*5428/(-161). Let o = b - 62. Is 4 a factor of o?
True
Suppose -3*c - 9084 = -4*x, 0*c - 11332 = -5*x - 2*c. Is 27 a factor of x?
True
Let l = 9 + -2. Suppose 9 = 4*v - l. Suppose 13*n = v*n + 324. Is n a multiple of 12?
True
Let x(k) be the second derivative of -16*k**3/3 - 63*k**2 - k - 37. Is 35 a factor of x(-28)?
True
Suppose -j = 4*d + 754, 3*d - 5 + 8 = 0. Let c = -100 - j. Is c a multiple of 5?
True
Suppose -2*r = r - 9. Let d = 372 + -370. Does 5 divide (-10*d)/(1 - r)?
True
Let g(s) = -106*s - 3. Let p(f) = -2*f**2 - 32*f + 1. Let i be p(-16). Let y be g(i). Let a = y - -189. Does 20 divide a?
True
Suppose 0 = -4*k + 4640 - 64. Suppose -6*a + k + 176 = 0. Suppose -13*l + a = -2*l. Is 10 a factor of l?
True
Suppose 2*a = -4*o + 14, -2*o - 1 = -3. Suppose 2456 = a*p - p. Let f = p - 435. Is 43 a factor of f?
False
Let p be (-1 + 3)/(2/183). Let l = p + 57. Suppose -2*w + 7*w = l. Is w a multiple of 16?
True
Suppose -3*y = 146 - 179. Let f(g) = 7*g - 24. Is f(y) a multiple of 5?
False
Let i(f) = -f**3 - 33*f**2 - 61*f + 34. Let t be i(-31). Suppose t*j + 4*m - 786 = 0, -1612 = -4*j + 3*m - 539. Is 38 a factor of j?
True
Let h = 9802 - 1508. Does 45 divide h?
False
Let o be 3/(-4) + (-44)/(-16). Let x be (-30)/(-3)*(0 + 1 - o). Is 10 a factor of (0 - x)/(3/21)?
True
Let w(m) = m**3 + 4*m**2 - 13*m - 45. Let u be w(-3). Is (3624/8 + 3)*(u + -2) a multiple of 25?
False
Let c(u) = u**3 + 2*u**2 - 16*u. Let a be c(-5). Suppose -2066 = -3*w - 2*w - 4*p, a*p + 800 = 2*w. Is w a multiple of 5?
True
Let h(i) = 7*i - 31. Let u be h(4). Is 66 a factor of (-30312)/(-20) + u/5?
False
Suppose 0 = 7*c + 8*c - 60. Suppose 2*i - 12 = -c. Let n = i + 5. Is 9 a factor of n?
True
Let y(z) = -8*z + 10*z**2 - 4*z**2 + 5*z - 8*z + 6. Let d be y(8). Suppose 3*k = -4*q + d, 3*q + q = 4*k + 288. Is q a multiple of 37?
True
Suppose 10*z = 5*z + 2*n + 16, -2*z + 16 = -4*n. Let w(c) = -9*c - 12 + 12*c - 9*c**z + c**3 + 0*c**2 + 9*c. Is w(9) a multiple of 12?
True
Let n = 55 - 39. Let v = 114 - 113. Let u = n - v. Is 4 a factor of u?
False
Suppose -162*x - l - 32329 = -166*x, 0 = 2*x - 2*l - 16172. Does 26 divide x?
False
Let j(d) = -176*d**2 - d. Suppose -2*f + 4 - 6 = 0. Let y be j(f). Let n = y - -303. Is n a multiple of 18?
False
Suppose -68*u = -61*u. Suppose j + 2*x = -u*x + 614, -j + x + 620 = 0. Does 40 divide j?
False
Does 115 divide 3/14 - 2089244/(-2632)?
False
Let l = -5302 + 6063. Is l a multiple of 11?
False
Let t = -10 + 19. Let v be 2/(1 + t/(-15)). Suppose -500 = -2*f + 5*m, -3*f + 5*m = -v*f + 460. Is f a multiple of 10?
True
Is 59 a factor of ((-14)/98)/(8/(-67144))?
False
Suppose -x + 10 = -5*i, -4*x = i + 13 - 11. Suppose -3*h + 4*h = 5, x = -5*o - 5*h + 40. Is o even?
False
Suppose 3 = -o + 4*z + 6, -o = -3*z - 3. Suppose 223 = 11*c + o. Is 12 a factor of c?
False
Let y = 51628 - 22359. Is 317 a factor of y?
False
Let f(j) = -4*j**3 - 3*j**2 - 3*j - 1. Let u be f(-1). Let s(m) = -16*m**2 + 0 + 19*m - 24 - 13 + m**u. Does 23 divide s(15)?
True
Let o = -4701 + 4706. Suppose -4*t + 374 = 10. Suppose 4*x = -0*x - 2*m + 62, 2*m + t = o*x. Is x a multiple of 4?
False
Suppose 9*n - 831481 = -111*n - 95641. Is 42 a factor of n?
True
Let t = -112 + 33. Suppose -249 = 2*j - 17. Let s = t - j. Is s a multiple of 8?
False
Suppose k + 30912 = 4*k + 13*k. Is 85 a factor of k?
False
Suppose 11 = -n + 3*f, 3*n + f - 3*f - 2 = 0. Suppose -5*u + 26*o - 21*o + 945 = 0, n*u = 3*o + 758. Does 2 divide u?
False
Let g = 85 + -70. Let j = g + -18. Is 41 + (-2)/(-2)*j*1 a multiple of 3?
False
Let t = -10603 + 16445. Does 23 divide t?
True
Let a(w) = 18*w. Let o be a(3). Let p = 127 - o. Suppose 115 = d - p. Is d a multiple of 20?
False
Suppose 8*p = 9*p - 4. Suppose 0 = -0*s + s - p. Suppose 0 = 4*d - 3*h - 687, -d + s*h - h = -165. Is d a multiple of 15?
False
Suppose 0 = -27*k + 11 + 97. Suppose -8*n + 2004 = k*n. Is n a multiple of 13?
False
Suppose 2*g + 2*g - 8 = 0. Suppose -360 = -g*m - 4*k, 6*m + k = 9*m - 526. Does 20 divide m?
False
Suppose -4744 - 11876 = -20*a. Does 23 divide a?
False
Suppose -21375 = 62*l - 67*l. Does 15 divide l?
True
Suppose 5*q - 1191 = -1186, 0 = -f + q + 2886. Is f a multiple of 162?
False
Let x(p) = 8*p**2 - 165*p - 147. Is x(68) a multiple of 10?
False
Let g(l) = l**2 + 20*l + 32. Let i be g(-16). Let t be (-8)/i - ((-86)/8 + -1). Let u = t + 87. Does 33 divide u?
True
Let h = 24 + -12. Let s be h/(-30) + (-122)/(-5). Let i = s + 0. Is 8 a factor of i?
True
Let g(k) = -4*k**3 - 5*k**2 - 19*k - 24. Is g(-4) a multiple of 38?
True
Let i(t) = -1133*t - 481. Is 5 a factor of i(-14)?
False
Let z(u) = -3*u**3 - 7*u**2 - 50*u. Is z(-5) a multiple of 9?
True
Let m(g) = g**2 + g. Let p(c) = 5*c**2 + 25*c - 11. Let o(w) = -4*m(w) + p(w). Let b(f) be the first derivative of o(f). Is b(-3) a multiple of 6?
False
Let f = -270 + 640. Let u = f - 58. Is 24 a factor of u?
True
Is (1 - 0)*(-38 - (-909112)/19) a multiple of 320?
False
Let t(d) = d**3 + 83*d**2 + 246*d + 142. Does 71 divide t(-71)?
True
Let u(h) = h**3 - 2*h**2 + 7*h + 2. Let q(w) = w + 2. Let j(x) = -x**3 + 4*x**2 - x - 4. Let d be j(3). Let i be q(d). Is 13 a factor of u(i)?
False
Suppose 5*y + 3*s + 2 = 7, 4*s = 0. Is -1 - y/(-2) - (-979)/22 a multiple of 2?
True
Let k(d) = d**3 + 10*d**2 - 2*d - 81. Let m be k(-9). Let r(i) = 2*i**2 + 2*i - 126. Is 62 a factor of r(m)?
True
Let w = 276 - 7. Let g = w + -69. Let f = 398 - g. Does 29 divide f?
False
Let z(s) = 3*s + 23. Let o be z(14). Let t = 44 - o. D