 202 + 45 = 0. Is f a multiple of 4?
False
Suppose 9*w + 104 = 1751. Suppose -4*y - w = -499. Is y a multiple of 7?
False
Suppose 0 = 5*q + i - 5*i - 197, 113 = 3*q - 5*i. Suppose -3*x + 2*k = 1, x + 3*k - 4*k + 2 = 0. Suppose -31 = -x*v + q. Does 4 divide v?
True
Suppose 5*c - 15 = 0, -2*c + 1001 + 1525 = -5*q. Let k = q + 639. Is 27 a factor of k?
True
Let d = -33 - -242. Let v = 249 - d. Is 40 a factor of v?
True
Let n = -716 - -21650. Is 18 a factor of n?
True
Suppose 3*n = 5748 - 2094. Is 24 a factor of n?
False
Suppose 3*l = -l + 20, -7 = b - 5*l. Let a(f) be the first derivative of -f**2/2 + 28*f + 276. Is 4 a factor of a(b)?
False
Let q be (-3*305/(-6))/(2/4). Suppose 5*c = -2*b + q, 4*b = 4*c - 324 + 52. Does 7 divide c?
True
Is (-429)/(-11)*(13 + 669) a multiple of 143?
True
Suppose 91*k = -104*k + 171*k + 712320. Is 112 a factor of k?
True
Let g be (4 + 80/(-15))*(-54)/(-4). Let r be 2356/12 - (-6)/g. Suppose -2*s + m = -r, 4*s + 4*m = 279 + 89. Is s a multiple of 24?
True
Let f = 263 + -30. Suppose -3*b = -f - 877. Is b a multiple of 10?
True
Let m = -26454 + 42622. Is m a multiple of 56?
False
Suppose -9*o = -3*o - 324. Suppose -2*y - 2*x - o = 0, x + 4 = -0*x. Let q = 44 + y. Is 7 a factor of q?
True
Suppose r + 4*p - 3*p = 3, 0 = 3*r - 4*p + 5. Suppose -4*f + 3*l = -167, 2*l + r + 125 = 3*f. Is 11 a factor of f?
True
Suppose 4*j + 4*z = 0, j + 4*z + 5 = -4. Suppose -4*k + 144 = j*q, 1 = 5*k - 14. Does 22 divide q?
True
Let q(a) = 383*a**2 - a - 1. Let z be q(1). Suppose -z = 10*w - 981. Is 4 a factor of w?
True
Suppose -o - 3*y + 459 = 0, 6*o + 3*y - 1383 = 3*o. Let p = o - 166. Is 37 a factor of p?
True
Is (-14)/12 + (-31087309)/(-3498) a multiple of 35?
False
Suppose -2*m - 4*a + 2752 = 0, 5*m + 778 - 7673 = 5*a. Suppose -m - 1812 = -10*d. Is d a multiple of 15?
False
Suppose 2*b - b - 3*h - 18 = 0, -2*b - 4*h = -66. Suppose 0 = j + 2*w + b + 5, 0 = -5*j + w - 204. Is (100/j)/(1/(-18)) a multiple of 14?
False
Suppose 2*g = 5*g + 594. Let a = 228 + g. Is a a multiple of 19?
False
Let y = -13 - -31. Let p be 1/(-2 + 38/y). Suppose 0 = 5*j - p - 336. Is 17 a factor of j?
False
Let y = -204 + 111. Let i = 143 - y. Is i a multiple of 8?
False
Let u = -24578 - -39188. Is u a multiple of 4?
False
Suppose -4*f = 1076 - 1092, 0 = -5*r - 4*f + 48196. Does 22 divide r?
True
Let u be (-177)/(-3) + 1/(-1). Let o(p) = -291*p + 865. Let t be o(3). Let g = u - t. Does 22 divide g?
True
Suppose a - 3958 = 2*f, 53*a - f = 55*a - 7941. Is 11 a factor of a?
False
Let q = 132 - 122. Let t be (-1 + 4)/(q/30). Suppose -1107 = -t*j - 126. Does 18 divide j?
False
Let z(w) = 13*w - 4. Let h(y) = 6*y**2 - 4*y - 5. Let f be h(-1). Let p be z(f). Suppose 0 = 2*s + 3*i - 33, 4*s + i - p = -0*s. Does 11 divide s?
False
Let i(f) = f**3 + 9*f**2 - 30*f + 149. Does 11 divide i(21)?
True
Let z(w) = -497*w + 2452. Does 36 divide z(-5)?
False
Let v(b) = -b**3 + 26*b**2 + 103*b - 65. Does 21 divide v(29)?
True
Let h(m) = 1943*m + 224. Is 13 a factor of h(6)?
True
Suppose 122 - 32 = 2*b + 4*q, 2*q + 95 = 3*b. Suppose -14*p = -b*p + 11760. Is 15 a factor of p?
False
Let f(l) = 4*l**3 + 2*l**2 + 7*l + 3. Let x(q) = 7*q**3 + 5*q**2 + 13*q + 6. Let i(u) = 5*f(u) - 3*x(u). Let g be i(-6). Let y = g + -48. Is y a multiple of 9?
True
Let o(a) = a**3 + 3*a**2 - 7*a - 17. Let s be o(-3). Suppose 0 = 2*k + s, -3*n = -7*n - k + 970. Does 15 divide n?
False
Let a = 184 + -188. Does 21 divide (0 + -108)*2/a?
False
Let a(n) = -2*n + 18. Let j be a(-4). Let c(d) = 23*d - 35 + 7 - 72*d + 2*d**2. Does 7 divide c(j)?
False
Let v be -39 + 44 + (-1 - -470). Let p = 960 - v. Is 54 a factor of p?
True
Let y be 865/50*-4 + (-4)/5. Is 152/(-95)*y/4 a multiple of 6?
False
Let c(p) = 4*p + 78. Let f(r) = r + 26. Let q(j) = 3*c(j) - 8*f(j). Let a be (-3)/((-90)/24) - (-62)/10. Is 11 a factor of q(a)?
False
Let z be ((-24)/15)/(1/(-10)). Is (268/z)/(-1 - (-27)/24) a multiple of 4?
False
Let y(j) = 62*j**2 + 14*j + 164. Does 25 divide y(7)?
True
Let p be (1 + 1/(-2))*(20 + -14). Suppose p*l - 8*c = -3*c + 63, 5*c = 5*l - 115. Let j = 95 - l. Is j a multiple of 19?
False
Let v be ((-9)/(27/6))/(-6)*0. Let g(t) = -t**3 - 2*t**2 + 1260. Is g(v) a multiple of 28?
True
Suppose 3 = 3*a + 3*v, v - 5*v = 2*a - 4. Let n(m) = 8*m + 95. Let b be n(a). Let i = b + 25. Is 20 a factor of i?
True
Let g(r) = 9*r - 158. Let f be g(18). Suppose -5*l - 2*n + 565 = -2268, -l = -f*n - 571. Does 27 divide l?
True
Let v(n) = n**3 - 2*n**2 - 2*n - 3. Let z be v(0). Let s be ((-12)/z + -12)*2/(-2). Suppose -s*k + 7*k = 3, 79 = 4*l - k. Is 2 a factor of l?
False
Let j(i) = 42*i**2 - 30*i + 349. Does 7 divide j(10)?
True
Let s(z) = 15*z - 78. Let o be s(7). Suppose -22*u + o*u - 2*r = 4389, 0 = 5*u - r - 4392. Is 11 a factor of u?
False
Let t = -15168 + 30489. Is t a multiple of 11?
False
Suppose -24 = -4*u, -172*q - 12445 = -177*q - 5*u. Does 182 divide q?
False
Let k(a) be the third derivative of a**6/120 + 7*a**5/20 - a**4/24 + 19*a**3/6 - 41*a**2. Is k(-21) a multiple of 4?
True
Suppose -35*b = -14536 - 19597 + 4173. Does 4 divide b?
True
Let y(x) = 5*x**2 - 2*x - 1. Let g be y(1). Suppose -3*v - t = t - 1819, -g*v = 4*t - 1226. Does 14 divide v?
False
Suppose -p + 16 = 2*w, 0 = -5*p - 3*w + 72 + 1. Suppose -p*y + 39*y - 3625 = 0. Is 2 a factor of y?
False
Let w be -7*24/(-112)*16/6. Suppose 2*t + m + w*m - 706 = 0, 0 = 4*t + 4*m - 1436. Is 13 a factor of t?
False
Suppose 5*c - 3*z = 963, -115*c - 2*z - 578 = -118*c. Is c a multiple of 24?
True
Let i = 1841 + -26. Is i a multiple of 9?
False
Let k = -75 + 77. Let u(i) = -13*i - 9 + i**3 - 8 - 355*i**2 - 14*i + 380*i**k. Does 3 divide u(-26)?
True
Let q = -8905 - -16057. Is 8 a factor of q?
True
Suppose -14*i = -9*i - 195. Let c = i + 250. Suppose -5*r - 295 = -7*s + 2*s, -r + c = 5*s. Is 12 a factor of s?
False
Let q = -620 - -1015. Let b = q - 242. Is 3 a factor of b?
True
Let y be 4/(-5) - (71/5 - 4). Let c(f) = f**2 + 11*f + 28. Does 28 divide c(y)?
True
Suppose 9 + 151 = 4*m. Suppose 1622 + 1178 = m*l. Does 14 divide l?
True
Suppose 5*m + 3*g = -1 - 8, 3*m = g - 11. Does 14 divide (m/(-1))/(-8*15/(-3040))?
False
Let w = 44 + -36. Let m(v) = -v**3 + 7*v**2 + 11*v - 20. Let h be m(w). Is h/10 + 4430/50 a multiple of 14?
False
Suppose -8 - 12 = -4*x, 5*x - 58 = -3*d. Suppose 0 = -6*w - d*w + 2822. Is w a multiple of 9?
False
Let g = 63 + -78. Let v(r) = 2*r**3 + 29*r**2 - 27*r + 19. Does 13 divide v(g)?
False
Suppose -4*r = 76*s - 79*s + 20832, -5*s + 34710 = -5*r. Is s a multiple of 3?
True
Let n(r) = 666*r + 666. Let f(o) = -46*o - 46. Let j(u) = -72*f(u) - 5*n(u). Is j(-17) a multiple of 36?
True
Let h = 6744 - 2069. Does 8 divide h?
False
Suppose y + 12 = 3*o + 6, 0 = 2*o - 2*y. Suppose 4*i - 1278 = o*x - 6*x, 2*i = -3*x + 642. Does 53 divide i?
True
Let g(f) = 2*f**2 + 13*f - 810. Is g(36) a multiple of 25?
True
Suppose 7*f - 4456 = -4211. Is f a multiple of 5?
True
Let h = 12872 + -6347. Is h a multiple of 11?
False
Suppose -3*v + v + 4 = 2*x, 0 = -3*x + v - 10. Is ((-65)/(-13) + -7)*877/x a multiple of 9?
False
Let c = -4899 + 22931. Is 166 a factor of c?
False
Let l(d) = -2*d**3 + 24*d**2 - 11*d + 13. Let b be l(10). Let i = -213 + b. Does 18 divide i?
True
Suppose -3*u = j + 3705, 3*j + 4*u - 11180 = 6*j. Is 51 a factor of (34/5)/((-62)/j)?
True
Suppose 181*p - 2314851 = 4121. Does 32 divide p?
False
Let m(f) = 5*f**3 - 37*f**2 - 62*f - 3. Does 14 divide m(14)?
False
Let p(b) = 4214*b - 449. Is p(2) a multiple of 55?
False
Let y = 180 - 396. Let m be 40/6*y/(-45). Let u = m + 2. Is 34 a factor of u?
True
Let u(l) = 12*l**2 + 22*l - 66. Let s = -437 + 446. Is u(s) a multiple of 16?
True
Let m(s) = -3*s + 3. Let p be m(-7). Suppose 284 = -3*z - 5*b, 10*z - b + 260 = 7*z. Does 10 divide (18/(-32))/(18/p)*z?
False
Suppose u = -2*u + 30. Suppose u*l = 7*l. Is (13 - 16) + l + 192 a multiple of 27?
True
Let n be 108/(-180) + (-128)/(-5). Suppose 3*q = -y - 2*q + n, -2*q = 3*y - 88. Does 10 divide y?
True
Suppose 5*q + 4780 = -5*o, -5*o = 133*q - 132*q + 4776. Let s = -321 - o. Is s a multiple of 14?
False
Suppose -23*m + 42180 = -m + 16*m. Is m a multiple of 44?
False
Let a(r) = 568*r - 1594. Is 23 a factor of a(7)?
False
Let s be (2 - 0 - 2)/(-10 + 11). Sup