(-4 - 21) a multiple of 20?
True
Let x be ((-12)/8)/(6/8) - -1. Let y = 6 + x. Let o(f) = 2*f**3 - 5*f**2 - 4*f + 15. Is o(y) a multiple of 12?
True
Suppose -3*h = -p - 7*h + 53, 0 = -p + 4*h + 21. Suppose -x - z + 63 = 0, -x + 115 = -4*z + p. Suppose 3*c - 30 = x. Is c even?
True
Let z = 18838 + -13126. Is z a multiple of 12?
True
Let w(d) = -d**3 - 7*d**2 - 36*d - 92. Does 37 divide w(-16)?
False
Suppose -2*f - 1855 = 5*u, -24*u + 5*f + 1501 = -28*u. Let r = -1321 + 1858. Let y = u + r. Is y a multiple of 8?
True
Suppose -4 = -2*m + 4*y, 2*y = -m - 4*m + 34. Suppose 5*t - 3*b = -108, -5*t + 5*b = 6*b + 124. Is 63/4*t/((-36)/m) a multiple of 9?
True
Let s(g) = -111*g + 4322. Does 197 divide s(-64)?
True
Is (7172160/(-600))/(4/(-10)) a multiple of 241?
True
Is 20525 - (6 + 11 - 3) a multiple of 20?
False
Let x = 128 - 135. Let l(s) = -3*s**2 - 21*s - 2. Let q(o) = -3*o**2 - 22*o - 3. Let m(w) = -7*l(w) + 6*q(w). Is 19 a factor of m(x)?
True
Let z = -136 + 173. Suppose -q = -3*j - 47, 2*q + 3*j - 102 - z = 0. Is 31 a factor of q?
True
Let o(c) = -646*c - 272. Does 4 divide o(-4)?
True
Suppose -7*z = -0*z + 42. Let o be 102/(1/(z/(-9))). Suppose -2*b + k + 33 = -b, 0 = -2*b + 4*k + o. Is 10 a factor of b?
False
Let i be (1*-26)/((-19)/494). Suppose 3*c = -5*m - c + i, 2*m - 267 = -5*c. Is 17 a factor of m?
True
Suppose -3*n = 83 + 61. Let t = n + 62. Suppose -4 = -3*z + t. Is 4 a factor of z?
False
Let u be 1106/56 - (3/4 - 1). Suppose -u*o + 244 = -19*o. Is o a multiple of 15?
False
Is 38 a factor of ((-2)/7)/(-1) + (-18700902)/(-3591)?
False
Let m = -4376 - -4451. Suppose 3*t + 3*y + 22 = 4*t, 0 = -y - 1. Let f = m - t. Is f a multiple of 28?
True
Let y be 5550/675 - (-4)/(-18). Does 16 divide y - ((-6)/2 + 5) - -458?
True
Suppose j = -4*p + 2892, -5*p - 1210 = 2*j - 6985. Is j a multiple of 24?
True
Let f(t) = 12*t**2 + 40*t - 3145. Is 33 a factor of f(52)?
True
Let p(o) = -333*o - 2772. Does 39 divide p(-28)?
True
Let x = -437 + 136. Let y = x - -568. Does 13 divide y?
False
Let o be (-4)/14 - 2/14*-2. Suppose -b = -2*b - 3*k + 14, 2*b + 2*k - 12 = o. Let i = 28 + b. Does 7 divide i?
False
Suppose 0 = -2*x + 103 + 35. Let o = -3931 + 4111. Suppose x*t - 64*t = o. Is t a multiple of 13?
False
Does 9 divide ((-9765)/(-14))/(-31)*(-12 - 2)?
True
Let h(k) = 26*k - 62*k + 9*k**2 + 23*k + 23*k - 35. Does 42 divide h(-7)?
True
Let k be 50/10 + (0 - -406). Let o be k/45 - 10/75. Is (o/(-3))/((-2)/20) a multiple of 13?
False
Let v = 415 + -457. Does 7 divide (172/8 - 2)/((-7)/v)?
False
Suppose 22*i = -20*i + 7*i + 166810. Is 4 a factor of i?
False
Is -1910*(30/12)/(-5)*2 a multiple of 5?
True
Let a(x) = 1438*x - 3206. Is a(13) a multiple of 55?
False
Let o = -136 - -202. Suppose -46 - o = -2*a. Is 2 a factor of a?
True
Let c = 26960 - 13426. Does 101 divide c?
True
Let h(y) = 5*y**2 + 362*y + 276. Does 198 divide h(-84)?
True
Let f(c) = -37*c**2 + 27*c**2 + 9*c**2 - 12 + 21*c. Is 5 a factor of f(16)?
False
Suppose 0 = 2*a - 10, -v = -2*a - 1544 - 560. Is v a multiple of 18?
False
Suppose -60976*q + 60960*q + 59584 = 0. Does 81 divide q?
False
Let q(k) = -105*k + 526. Is 17 a factor of q(-108)?
True
Let k be (-108)/(-15) + 1 + 8/(-40). Let c = k - -139. Is 21 a factor of c?
True
Let c be 15*-2*(-2)/(-6). Does 3 divide 7*(7 + -8)*c?
False
Let g be ((-435)/(-6) + -3)/((-2)/(-4)). Let x = g + -107. Does 4 divide x?
True
Suppose -44*c + 257253 = -49945 - 68034. Is 8 a factor of c?
True
Let z(y) = y**2 + 28*y + 94. Let i be z(-24). Does 30 divide (2 - i)*((-675)/(-2))/9?
True
Let b = 531 - 477. Suppose 5*x - 2*c = 270, 8*x - 7*x + 3*c = b. Is x even?
True
Suppose -5*d - 2*g = -16, -g = g - 6. Suppose -d*u = -4*y + 3130, -5*y - u + 1567 = -3*y. Is y a multiple of 29?
True
Let s = 14839 + -14687. Is 10 a factor of s?
False
Let r = -78 - -180. Suppose 27*b = 39*b - 48. Suppose -4*m - b*l + 199 = -177, m + 5*l = r. Does 36 divide m?
False
Let x be ((-17)/68)/(2/(-16) + 0). Suppose 144 = -2*z + 6*z - l, x*z - 4*l - 86 = 0. Does 2 divide z?
False
Suppose 344322 = 84*n + 39*n + 75*n. Does 24 divide n?
False
Suppose -7*j = -8*j + 198. Suppose 11*c = -j + 1034. Is 5 a factor of c?
False
Let k = 4864 - 4207. Is k a multiple of 80?
False
Suppose 5*a = 5, 0 = -b + 10*a - 12*a + 3082. Is 40 a factor of b?
True
Let s be -8 - (34 + -8)*-4. Is (s/36)/(1/42) a multiple of 7?
True
Let k = 648 - 136. Is k a multiple of 4?
True
Suppose 28 + 156 = -2*m. Let f = 98 - m. Is 4 a factor of f?
False
Is (12826/66 + 1)*45 a multiple of 5?
True
Let s = 395 + -390. Suppose -3*y + 2*p = -2091, s*y - 4*p - p = 3485. Is 17 a factor of y?
True
Suppose 5*q = 5*m - 2175, -4*m = -4*q - q - 1737. Is 9 a factor of m*((-10)/(-10) + (-1)/(-2))?
True
Suppose -212 = -4*w + 3*f, -2*f = -w + 10 + 38. Let h = 232 + w. Is h a multiple of 11?
False
Suppose -2*f + 420 = f. Let m = f - 293. Let t = -108 - m. Does 5 divide t?
True
Let p(d) = d**3 - 9*d**2 + 8*d + 3. Let h be p(8). Let q be 18*(52/12 + h). Suppose -3*k + 44 = -4*z - q, 0 = 2*k + 3*z - 140. Does 12 divide k?
False
Let q(z) = z**2 + 8*z + 17. Let k be q(-5). Suppose -g + 2*c - 38 = -4*g, -k*g = 4*c - 36. Is 10 a factor of (8/g)/((-204)/(-50) - 4)?
True
Let j(m) = m**3 - 11*m**2 - 28*m + 28. Let r be j(13). Suppose f - r*f = -39. Suppose p = -2*n + f, 0 = -5*n + 2*p - 0*p + 84. Is n a multiple of 15?
False
Let h(p) = 33*p - 103. Let y be h(23). Suppose 4*s - y - 244 = 0. Does 17 divide s?
False
Suppose 11*c - 7*c = -5*s + 17, -3*s + 3*c = -21. Suppose -s*u + 312 = 3*a - 60, -2*a + 248 = u. Does 62 divide a?
True
Suppose 4 = 4*v + 4*h, 4*h + 15 = v + 4. Let b(r) = 7*r**3 + r**2 - 4*r - 2*r**2 + 4 + r**3 - r**v. Is b(2) a multiple of 24?
True
Let g(f) = f**3 - 70*f**2 + 80*f - 221. Does 22 divide g(69)?
False
Let j(y) = -5*y**3 + 6*y**2 - 15. Let z(g) = -7*g**3 + 5*g**2 - 14. Let r(l) = 4*j(l) - 3*z(l). Let n(t) = 4*t. Let a be n(-2). Is r(a) a multiple of 13?
False
Let j be ((-12)/(-10))/((-18)/(-45)). Suppose j*k + 6 = 3, 2*q + 3*k - 1023 = 0. Is 57 a factor of q?
True
Let l = -225 + 234. Suppose -l*v = -464 - 3469. Does 26 divide v?
False
Let t(c) = -c**2 - c + 1. Let w(m) = 19*m**2 - 7*m + 14. Let r(k) = 5*t(k) + w(k). Is 17 a factor of r(2)?
True
Let t = -781 - -2741. Suppose -3*h + t = 4*h. Is 35 a factor of h?
True
Suppose 67 = -2*g - 7. Let k = g + 221. Is 24 a factor of k?
False
Suppose 2*u + 4572 - 854 = 2*o, -o + 4*u + 1856 = 0. Let p = -1178 + o. Is 11 a factor of p?
True
Let d(c) = c**2 + 1. Let q(i) = -4*i**2 - 13*i - 13. Let t(z) = 2*d(z) + q(z). Let h be t(-5). Suppose 2*l - 924 = -h*l. Is 22 a factor of l?
True
Let n(v) = 3*v**2 + 27*v + 39. Let t be n(-24). Suppose -9*f + 2238 = -t. Does 16 divide f?
False
Suppose -2594175 = -159*o + 41084 + 60427. Is o a multiple of 14?
True
Let s(g) be the third derivative of -17*g**5/60 - g**4/8 + 7*g**2. Let v be s(-2). Let x = v - -89. Is 8 a factor of x?
False
Suppose 4*c - 7537 = 185*m - 182*m, -5*m + 1936 = c. Is c even?
False
Suppose 6*j - 63 = 5*j. Let r = j + -66. Does 2 divide (-42)/((r/6)/((-3)/(-9)))?
True
Let l = 10 - 8. Suppose -9*p + 46 + 8 = 0. Suppose -l*z = 4*f - 288, p*f - 4*f - 138 = 2*z. Is f a multiple of 4?
False
Let v(p) be the first derivative of 185*p**4/4 - p**3 + p**2 + 4*p + 132. Does 18 divide v(2)?
True
Let h be 0/(5 - 8) - -127. Suppose -53*w + 58*w - 385 = 0. Let a = h - w. Does 50 divide a?
True
Let t = -14 - -23. Is 23 a factor of ((-1012)/(-66))/(2/t)?
True
Suppose 242*w = 249*w - 1806. Does 3 divide w?
True
Let r(f) = 17*f - 398. Let y(q) = 8*q - 198. Let v(g) = 2*r(g) - 5*y(g). Is v(7) a multiple of 19?
True
Suppose -3*r - 13*r + 1224351 = 13*r. Does 9 divide r?
True
Suppose -2*j + 4*y + y + 607 = 0, -3*j + 5*y + 908 = 0. Let o = j + -168. Is o a multiple of 19?
True
Suppose a + 21*a + 176 = 0. Suppose -1980 = 2*b - 3*b. Is 18 a factor of (4/a)/((-5)/b)?
True
Let s be 345/(-12) + (-8 - (-105)/12). Let z(m) = m**2 + 39*m + 341. Is 13 a factor of z(s)?
False
Let j(b) = -2*b**3 - b**2 - 40. Let l be j(0). Is l/(-4)*(73 - -10) a multiple of 10?
True
Suppose 8138 = 4*i + 5*k - 19809, 3*k - 6999 = -i. Is i a multiple of 26?
False
Let y(o) = -o**2 - o - 1. Let n(h) = h**3 + 12*h**2 + 12*h + 10. Let u(l) = n(l) + y(l). Let d be u(-10). Is 36 a factor of -6 +