vide n/4 + (-5)/20?
True
Suppose -3*i - a = -0*a - 6974, -5*i + 11642 = -3*a. Is i a multiple of 2?
True
Let y(n) = 32*n - 241. Let k be y(8). Suppose k*o + 26 = 20141. Is o a multiple of 73?
False
Let k(s) = 143*s + 6. Let n be k(8). Is (-2)/((-20)/n) - (3 - 0) a multiple of 38?
False
Let i be -1 + (-1)/1 + (-6 - -10). Suppose 21 = i*r + 5*r. Suppose r*v + 3*f = 342, 2*f = -3*v + f + 338. Is v a multiple of 14?
True
Is 134 a factor of 10160/(-50)*670*5/(-20)?
True
Does 52 divide 1 - (-16331 + -2) - (-15 + (54 - 33))?
True
Let i(s) be the second derivative of -s**3/3 - 2*s**2 + 2*s. Let k be i(-4). Does 10 divide 109/k - 6/24?
False
Let a(m) = 8*m**2 - 26*m + 16. Let r be a(11). Let j = 1082 - r. Does 12 divide j?
True
Let r(v) = 9*v + 167. Let a be r(-17). Is 5 a factor of (-6)/a - (-10 - 864/7)?
False
Let f(h) = -3 + 7 + 7*h - h**2 - 5*h - 9*h. Let u be f(-7). Suppose u*a + 36 = w - 32, 2*a + 184 = 3*w. Does 25 divide w?
False
Suppose 7*c = 10 + 18. Let a be (-2 + c - 3) + (-102)/6. Let v(q) = q**3 + 17*q**2 - 19*q - 8. Is v(a) a multiple of 2?
True
Suppose 116*c - 6*c - 154618 - 293302 = 0. Is 13 a factor of c?
False
Suppose 5*d - 55 = 5*r, -56 = -5*d + 3*r + r. Suppose d = 4*g + g + z, 2 = z. Suppose -m = 5*b - 389, 3*m + 239 = 3*b - g*m. Is b a multiple of 7?
False
Let l(k) = -1 - 1 + 4 - k - 1 + k**3 + k**2. Suppose 0 = -2*u - 5*q + 16 - 12, 0 = -5*u + q + 10. Does 2 divide l(u)?
False
Let f(t) = -t**3 - t**2 + 4*t + 12. Suppose 6*v - 4*v - 8 = 0, 2*r + v - 12 = 0. Suppose r*o = o - 15. Is f(o) a multiple of 9?
False
Let o(p) = p**3 + 6*p**2 + p - 20. Let x be o(-5). Suppose -10*i + 5*i = x. Suppose j - 2*j + 2 = i, 4*w - 638 = j. Is 20 a factor of w?
True
Suppose -24*l + 26026 + 83007 = -37631. Is l a multiple of 24?
False
Let n = 7 + -17. Is 60 a factor of (-297)/(-1) - (n - -7)?
True
Suppose 2 = 3*k + 14. Let p be (6 - (7 + k))/(0 + 1). Is p/12*1 - 118/(-8) a multiple of 6?
False
Suppose -4*i - 9*j = -11*j + 1862, -3*i + j - 1398 = 0. Let r = i + 862. Suppose -5*l = 5*y - r, -y + 3*y - 2*l = 138. Is 14 a factor of y?
False
Let h be -2 + (-13)/(-2)*2. Let s(k) = 19*k - 223. Let b be s(11). Let j = h - b. Is 10 a factor of j?
False
Let i = 23098 + -18932. Does 67 divide i?
False
Suppose -2*p + 5*b = -65, 45 = p - b + 8. Does 10 divide (p/2)/(((-10)/5)/(-4))?
True
Suppose -18*n = -24*n - 42. Let r(h) = -2*h - 11. Let a be r(n). Suppose 6*i = a*i + 198. Is 11 a factor of i?
True
Suppose 107 = -9*x + 8*x. Is 3 + 2 - (x + 4/(-2)) a multiple of 38?
True
Let s = -70 - -74. Suppose x - 185 = -4*k, 0 = 4*k - x + s*x - 179. Is 3 a factor of k?
False
Let l = -6295 - -6949. Is 3 a factor of l?
True
Suppose 0 = 4*c - a - 5, 6*a = 3*a + 9. Suppose -2*i = p - 5, 4*p - 7 = -3*i - c. Suppose 4*l - 2*l - i*f = 55, -4*f = -4. Is l a multiple of 3?
False
Let x(m) be the first derivative of 3*m**2/2 - 38*m + 157. Is x(26) a multiple of 9?
False
Suppose 4*l - l = 9, -2*i + 55 = l. Let o be (16 - 17)*i/(-3 - -1). Suppose 14*m = o*m + 113. Is 28 a factor of m?
False
Let i(g) = -g**3 - 11*g**2 + 11*g - 150. Does 114 divide i(-27)?
False
Suppose 4 = -11*b + 10*b, -2604 = -4*t - b. Suppose 15*q = 10792 - t. Is q a multiple of 16?
False
Let a(o) = -23*o + 57. Suppose -z = 3*j + 14, 3*z - 42 = 5*j - 0*z. Is a(j) a multiple of 15?
True
Let c(o) = -23*o + 6. Let l(p) = -4*p + 72. Let r be l(17). Let m(h) = -7*h + 26. Let k be m(r). Is c(k) a multiple of 8?
False
Suppose -14*d = -18*d + 236. Suppose d*c = 63*c - 396. Is 33 a factor of c?
True
Let m(o) = 264*o + 243. Is m(13) a multiple of 35?
True
Suppose -2*o = 3*o - 10, -2*p + 5*o + 2 = 0. Suppose -3*b + 9 = p. Is ((-34)/2*b)/(19/(-76)) a multiple of 6?
False
Let d = 199 + -7. Let g(u) = -64*u - 116. Let k be g(-7). Let t = k - d. Is t a multiple of 10?
True
Let w(t) be the first derivative of 12*t**2 + 10*t - 2. Let m(j) = -2*j**3 - 44*j**2 - 41*j + 27. Let f be m(-21). Is w(f) a multiple of 14?
True
Let m(k) = -k**3 + 43*k**2 + 150*k + 238. Is 11 a factor of m(28)?
False
Let p(j) = 309 + 277*j**2 - 152 - 154 + 7*j. Is p(2) a multiple of 25?
True
Let h(v) = v**3 + 13*v**2 + 16*v - 18. Let d = 384 + -394. Is h(d) a multiple of 29?
False
Suppose 4*c = -w + 2570, 118 = -4*w - c + 10323. Is w a multiple of 34?
True
Is 16 a factor of -3 - (3974/(-4))/(33/66)?
True
Let w(i) = 17*i**2 + 33*i + 72. Is 5 a factor of w(-2)?
False
Let v(n) = -1233*n - 362. Does 7 divide v(-4)?
False
Let y = -49 + 5241. Does 22 divide y?
True
Let u be 2 + (-8)/3 - (-10)/15. Suppose c = 2*t, -2*t - 3*c + 14 + 2 = u. Suppose -3*d + z + t*z + 357 = 0, -z - 5 = 0. Is d a multiple of 33?
False
Suppose 4*q - 4*j - 44404 = 0, 5*q + 14533 = -3*j + 70094. Does 20 divide q?
False
Suppose 0 = 12*f - 13*f - 5*x + 1803, 0 = -4*f - 4*x + 7180. Does 31 divide f?
False
Let n(w) = -124*w**3 + 25*w**2 + 13*w - 3. Is 91 a factor of n(-4)?
True
Suppose -2*r = g - 0*r - 37, 5*r = 25. Suppose -g*o - 10*o = -28046. Is 32 a factor of o?
False
Let w = -322 - -325. Suppose -t + 339 = w*m - 834, -2 = -m. Does 10 divide t?
False
Let r be 4/(-38) - (-38)/361. Is 12 a factor of 5*-1 - (-221 + 22) - r?
False
Let t = 4 + -8. Let n(l) be the third derivative of -l**6/120 + l**5/15 - l**4/8 - 3*l**3/2 + 8*l**2 + 120*l. Does 16 divide n(t)?
False
Let u = 2284 - 16. Is u a multiple of 4?
True
Is 2/(-12)*-15*6232 a multiple of 19?
True
Let p be (22 + -1)*220/66. Suppose 0 = p*o - 68*o - 812. Is o a multiple of 58?
True
Suppose 3*i + 5 = 4*i, 4*o + 5*i = 25. Suppose o*n = n - 2*c + 398, 4*n + 5*c = -1618. Is n/(-9) + 20/(-12) a multiple of 10?
False
Suppose -2*y + 13191 + 3305 = 2*k, -6*y = -12. Is k a multiple of 14?
True
Suppose -991*g + 996*g = 30. Let h(c) = 24*c**2 - 33*c + 145. Is 55 a factor of h(g)?
False
Let p(w) = w**3 + 9*w**2 - 38*w - 21. Let t(d) = 7*d + 72. Let c be t(-12). Let o be p(c). Suppose 0 = 4*l + o*f - 658 - 698, 2*l + 4*f = 688. Does 56 divide l?
True
Suppose -w = 3, -4*x + 6*x - 4*w = 16. Suppose n + p = -7, 3*p - 1 = x. Let u(j) = -7*j - 9. Does 17 divide u(n)?
False
Let m = 9223 - 5839. Does 8 divide m?
True
Let m(k) = 40*k**2 + 31*k - 5. Let u be m(7). Suppose u = -5*l - 328. Is 17 a factor of l/(-15) - 1 - (-3)/(-9)?
False
Let w be 7/3*798/14. Let m(p) = 4 + 1 - 4*p**2 - 8*p - w*p**3 + 134*p**3. Is 24 a factor of m(7)?
True
Suppose -3*o = -14*t + 12*t + 15402, -5*o = -4*t + 30810. Is t a multiple of 48?
False
Suppose -56*g + 182952 = -127706 - 212830. Does 228 divide g?
True
Suppose -33 = -10*n + 17. Suppose n*f - 599 = -r + 1263, -4*f - 4*r + 1480 = 0. Is f a multiple of 64?
False
Suppose -4*z + 302 = -4*r - 70, -277 = -3*z + 4*r. Suppose -9*o + 4*o + z = 0. Suppose 379 = 4*j - 3*k, 416 = 4*j + 3*k + o. Is 12 a factor of j?
False
Let z(y) = -4*y**2 + 23*y + 42. Let d(i) = 2*i**2 - 12*i - 19. Let s(c) = 9*d(c) + 4*z(c). Let m be (-33)/(-55) + (-42)/(-5). Is s(m) a multiple of 3?
True
Let n be 22*((-54)/12)/9. Let d(u) = -39*u - 39. Is 39 a factor of d(n)?
True
Let s be -2 + 34 - (-75)/(-25). Is 62 a factor of s/(-174) + (-2402)/(-12)?
False
Let i be 37/(-5) + (-4)/(-10). Let l(j) = j**3 + 12*j**2 - 13*j + 16. Let u(m) = m**3 + 13*m**2 - 15*m + 22. Let o(w) = 6*l(w) - 5*u(w). Is 3 a factor of o(i)?
False
Suppose 21 - 5 = 2*j, 0 = 5*s + 2*j - 5581. Is 21 a factor of s?
True
Let a = -4792 - -9602. Is 130 a factor of a?
True
Suppose 4*q = -s + 3980, 3*s = -q + 859 + 136. Is 199 a factor of q?
True
Suppose k + 4*a = 0, 4*k + 4*a = k - 24. Let z(g) = 7*g**2 - 3*g - 36. Let b(o) = -20*o**2 + 8*o + 108. Let i(x) = -6*b(x) - 17*z(x). Does 7 divide i(k)?
False
Let r be ((-7)/(21/90))/1. Let j = r - -761. Is 43 a factor of j?
True
Suppose 4*j = 5*m - 41613, 16698 = 2*m - 8*j + 13*j. Does 12 divide m?
False
Let i(r) = 3*r**2 - 5*r + 40. Does 16 divide i(-31)?
False
Is 71 a factor of ((-2)/(-10))/(6/(-8) + (-12853360)/(-17137600))?
False
Let l be (1 + 0)*10/(-2). Let a(y) = -4*y - 5. Let u be a(l). Let j = u - -7. Is 4 a factor of j?
False
Let h be 297/6*(0 + 12). Let c(t) = t**2 + 4*t + 5. Let l be c(-5). Suppose h = -i + l*i. Is 28 a factor of i?
False
Suppose -26*p = -19*p - 21. Suppose -3*z + 2*u = -157, 0 = p*z - 5*u + 2*u - 162. Does 49 divide z?
True
Let u(a) = a**3 - 5*a**2 + 3*a + 11. Let r be u(3). Suppose 0 = -5*w - j - 3*j + 230, 2*w = r*j + 74. 