Suppose -4*y - 174 = -2*t, -y + 4*t - a = 3. Let m = -23 - y. Is 9 a factor of m?
False
Suppose 16*l + 5 = 21*l. Does 4 divide ((1 - l) + -1)/(1/(-25))?
False
Suppose 8 = -2*d, i + 15*d = 11*d - 2. Does 14 divide i?
True
Suppose 25641 = 8*b + 3577. Does 59 divide b?
False
Let o = 1824 - 1821. Is o a multiple of 2?
False
Suppose -2*t + 80 = -47*b + 43*b, 5*t + b = 255. Is 24 a factor of t?
False
Suppose 0 = -4*k + 9*k - 80. Let i = 17 - 13. Suppose i*g = 6*g - k. Is g a multiple of 8?
True
Let n = -1029 - -1250. Does 13 divide n?
True
Let a be 5 - 0 - (-3 - -3). Does 4 divide a/((-5)/2) - -16?
False
Let l be (7 - 6)/((-2)/(-198)). Let j = 167 - l. Is 14 a factor of j?
False
Suppose -8*z + 13 = 173. Let k = -7 - z. Is 10 a factor of k?
False
Is 12*7/168*9302 a multiple of 20?
False
Let b = 4 - 0. Suppose t + 2 = b. Suppose -80 = -t*n + i, n - 3*i - 24 = 21. Is 17 a factor of n?
False
Suppose -36*k = -8*k - 4620. Is 55 a factor of k?
True
Let w be ((-1)/(-1))/(7/14). Suppose 0 = w*b - 0*i - i + 1, -4*i = b - 22. Suppose -4*o = -b*o - 18. Does 4 divide o?
False
Is 12 a factor of 3/((-3)/2) + 6 - -1479?
False
Suppose 0*j + 91 = 3*j + z, -2*j + 54 = 2*z. Let v be (-62)/16 + (-4)/j. Is 4 a factor of (5/2)/(v/(-8))?
False
Suppose 0 = -3*i + 4 + 2. Is 21 a factor of (i/3)/(18/2511)?
False
Let f(x) = -2*x**3 + 4*x**2 + 4*x - 2. Let v be f(4). Let b be (-3 - -6)/(-3) - v. Let g = 1 + b. Is 29 a factor of g?
False
Let a(u) = 4*u**2 + 3. Let q be a(-4). Suppose -z - 11 = 3*y - 0*y, -q = 5*z + 3*y. Let x = z + 63. Does 13 divide x?
False
Suppose -7 = -4*o - 3. Suppose 4*n - 2*w - 5 = o, -3*n + 24 = 5*w. Suppose -n*k = 2*c - 27, -2*c = -7*c + 3*k + 57. Is c a multiple of 3?
True
Let r be (7/(-3))/((-2)/12). Suppose 0 = 3*u - 5*u + r. Suppose -2*o = -u*o + 10. Is 2 a factor of o?
True
Suppose -5*f + 3*t + 13 = 0, -4*t = -f - t + 5. Suppose u + 3*s - 1 - 15 = 0, -f*u = -5*s + 23. Let j(g) = 29*g**2 + g. Is j(u) a multiple of 15?
True
Suppose 5*q - 10 = 0, -4*p - 3*q + 762 = -44. Suppose -g = -3*g + p. Does 29 divide g?
False
Let o be 5/((0 + 0 + -3)/(-3)). Let c(z) = 5*z**2 - 2*z + 1. Is c(o) a multiple of 24?
False
Suppose -469*m - 59500 = -503*m. Is 13 a factor of m?
False
Let l = -107 + 357. Suppose -2*r + 4*g + l = 0, 3*r - 8*r - 2*g + 589 = 0. Does 10 divide r?
False
Is (-12)/(-28) + 15447/21 a multiple of 16?
True
Suppose 4*c - 6873 = -345. Does 8 divide 6 + c/21 + 2/7?
False
Let p(r) = 24*r + 12. Is p(24) a multiple of 49?
True
Let g = -2 - -12. Let p be ((-6)/4)/((-5)/g). Let y(r) = 2*r**3 - 2*r**2 + 3*r - 3. Is y(p) a multiple of 21?
True
Suppose u - 2*q = -8, -4*q = -5*u + 4*u - 6. Let y(o) = -o**2 - o + 1. Let j(l) = -3*l**2 - 14*l. Let r(z) = j(z) - 2*y(z). Is 18 a factor of r(u)?
True
Let q = -98 + 103. Suppose 5*c - 320 = -0*c - 2*r, r = -q. Is c a multiple of 11?
True
Let d(w) = -w**2 + w - 3. Let i be d(-4). Let y = i + 57. Is 17 a factor of y?
True
Suppose 2*a - 2775 = 1785. Is a a multiple of 6?
True
Let a = 81 - 87. Let h(s) be the third derivative of -5*s**4/24 + 4*s**3/3 + s**2. Is h(a) a multiple of 20?
False
Let z = 265 + 19. Let b be 2/(-7) + z/14. Let f = 15 + b. Does 9 divide f?
False
Suppose 49*b - 2*b + 188 = 0. Suppose 0 = 3*o + 7 - 4. Is -60*(-2)/b*o a multiple of 5?
True
Let n = -9 - -2. Let w = 68 + n. Suppose 0 = 3*a + 7 - w. Does 16 divide a?
False
Suppose 3*p + 57 = -6. Let v be ((-3)/6)/((-2)/4). Let x = v - p. Does 6 divide x?
False
Suppose 88*o = 43*o + 29790. Is 54 a factor of o?
False
Suppose 3*x = 5*b + 783, -285 = 4*b - 4*x + 343. Does 17 divide (-5280)/b - 2/(-13)?
True
Let j = 5 - 5. Let t(a) = 3*a + 1. Let g be t(j). Does 4 divide 2 - g - -17 - 2?
True
Suppose -5*o = -8*o + 324. Let l be o/30 + (-4)/(-10). Suppose 4*x = -3*i + 159, 0 = -l*x + i + 4*i + 119. Does 13 divide x?
False
Suppose j - 9 = -2*t + 16, -3*j = -2*t + 13. Suppose -3*f - 2*w + t = 2*w, -5*f + w + 26 = 0. Is f a multiple of 4?
False
Let c(u) = u**2 - 11*u. Let x be (4/(-10))/((-8)/240). Let t be c(x). Does 6 divide (-80)/(-6)*t/8?
False
Suppose 4*i - 692 = -4*u, -2 = 4*i + 10. Is 12 a factor of u?
False
Let s(v) = -v**3 - 17*v**2 + 35*v + 39. Is 48 a factor of s(-19)?
True
Let y(v) = -v**3 + 4*v**2 + v - 4. Let k be y(4). Suppose 3*l + 0*l = k. Let j(x) = x + 11. Does 4 divide j(l)?
False
Let w be 1/(-3) + (-4)/(-3) + 1. Is ((-77)/14 + 4)/(w/(-44)) a multiple of 4?
False
Suppose 0 = 3*l - 262 - 1013. Let t = 19 + -14. Suppose -10*y + l = -t*y. Is y a multiple of 14?
False
Let m(j) = 10*j - 2. Let l be (-1)/(-3) + 246/(-9). Let u = -20 - l. Is m(u) a multiple of 17?
True
Suppose -3*x + 5*o = -520 - 256, o = 3*x - 772. Is 15 a factor of x?
False
Suppose 6*g = g, d = 2*g + 46. Is d a multiple of 9?
False
Suppose 0 = -3*p - p. Suppose -4*c + 40 = -p*c. Does 7 divide (-24 + c)/((-2)/4)?
True
Let m = 74 + -73. Is 11 a factor of 21 - m/(-1)*1?
True
Suppose -4*l + 22 = 6. Suppose -2*a - 2*a + 4*h = 32, l*h = 3*a + 22. Let x(n) = -n**3 - 9*n**2 + 8*n - 4. Does 16 divide x(a)?
True
Let h(z) = -z**3 - 2*z**2 + z + 1. Let p be h(1). Let i(b) = -106*b. Does 20 divide i(p)?
False
Let x = -41 - -105. Let a = 56 + x. Is a a multiple of 8?
True
Let g = -242 + 575. Is g a multiple of 31?
False
Let h(b) = 2*b + 3. Let y(c) = 4*c + 5. Let p(g) = 10*h(g) - 6*y(g). Let x be p(-7). Suppose 0 = -2*l + x + 46. Is 13 a factor of l?
False
Suppose -251 - 618 = -3*t + 4*u, -2*t - 2*u = -584. Suppose -10*s + 3*q = -6*s - 383, 0 = -3*s + 3*q + t. Is s a multiple of 9?
False
Let y(x) = -26*x**3 - 2*x - 1. Let s be y(-1). Is 4 a factor of -6 + 8 + (s - -1)?
False
Let z be (3 - 3/1)/(3/(-1)). Suppose z = q + 9*q - 3580. Does 17 divide q?
False
Suppose -3*m + 2*m = 4*w - 452, 0 = -w - 5*m + 94. Does 10 divide w?
False
Let q(t) = -10*t**2 + 4*t + 5. Let h(c) = -11*c**2 + 4*c + 4. Let j(k) = -7*h(k) + 6*q(k). Let o be j(2). Suppose 0 = -3*x + o - 2. Is x a multiple of 20?
True
Let v = -181 + 212. Is v a multiple of 2?
False
Suppose -5*s - 5 = 10, -2*s - 1 = y. Suppose -y*g + 76 = 301. Let o = -18 - g. Is o a multiple of 9?
True
Let t(x) = -x**2 - 10*x + 9. Let m be t(-8). Let j = m - 39. Let n = 41 + j. Does 9 divide n?
True
Let z(v) = v + 1. Let t be z(5). Let u(i) = 5*i - 21. Does 2 divide u(t)?
False
Suppose s + 5*t = -43, s - 80 = 3*s + 4*t. Does 13 divide (-4)/s + 4848/152?
False
Let c(x) = -200*x - 24. Is 4 a factor of c(-1)?
True
Suppose -9*g + 1767 + 1230 = 0. Does 9 divide g?
True
Let v = 1590 + -447. Suppose 0 = -6*s + v - 207. Does 7 divide s?
False
Let y be (-6 - -9)*4/6. Suppose u + 3 = y*u. Suppose -a = -3, 3*v - a - 123 = u. Does 19 divide v?
False
Suppose -4*c - 2*h + 1164 = 0, 4*c - 4*h = 742 + 422. Does 13 divide c?
False
Let i(a) = -a**3 + 3*a**2 + 3*a. Let u be i(4). Is (5/u)/5 + (-837)/(-36) a multiple of 4?
False
Let n = -299 + 1003. Does 44 divide n?
True
Suppose 3*j = -5*q + 20, -2 = -2*j + 2*q + 6. Suppose j*m - m = -4. Is 95 - (0 + m + 4) a multiple of 23?
True
Let x be (-1 + 5 + -14)/(2/(-192)). Does 27 divide ((-27)/(-6) + -3)/(18/x)?
False
Let r(w) = -w - 1. Let n(a) = a**2 - 3*a - 13. Let t(p) = n(p) - 6*r(p). Let b(z) be the first derivative of t(z). Is b(4) a multiple of 6?
False
Suppose 3*s = k - 520, k - 17 - 499 = s. Suppose -3*g = 2*m - k, -5*g = -3*m - 365 - 460. Is g a multiple of 12?
True
Let i = -45 - 86. Let j = -7 - i. Is 25 a factor of j?
False
Suppose -1 = -5*v + 19. Suppose 2*c = 2*q + 10, v*c - 18 = 6*q - 3*q. Is c even?
False
Suppose -85 = -4*d + 411. Let r(g) = 13*g - 5. Let c be r(15). Let x = c - d. Does 21 divide x?
False
Suppose 0 = -0*x - 4*x + 12, 0 = -q + 5*x - 10. Suppose 0 = -q*p + 13 + 2. Is (60/(-5))/((-2)/p) a multiple of 18?
True
Suppose -19 - 8 = 3*g. Is 3/(g/(-5))*4*15 a multiple of 25?
True
Suppose -3*x + 24 = 3*g, -g = -0*x - 3*x + 12. Suppose -432 = -4*m - 4*s, -x*m = -m - 2*s - 408. Is m a multiple of 13?
True
Is 15 a factor of 6 - 1 - (-2760)/24?
True
Suppose 5*k - 254 = -3*z, 4*k + k - 20 = 0. Is z a multiple of 13?
True
Is 14/(-189) + (-608600)/(-270) a multiple of 46?
True
Suppose 29*l = 2239 + 835. Is l a multiple of 3?
False
Let u be (-4)/20 - (-76)/5. Let h be ((-1*u)/(-5))/1. Suppose h*a - 104 = -2*k, -4*a - 306 = -6*k + k. Is 29 a factor of k?
True
Suppose t - 5*b - 2 - 6 = 0, 3*t - 4*b = 13. Suppose 0 = 