 0. Is 6 a factor of i?
False
Let m(y) = -11*y + 45. Let u be m(-16). Let s = 328 - u. Is s a multiple of 11?
False
Let g(y) = y**3 + 24*y**2 + 22*y - 28. Let q be g(-22). Suppose q = 6*w - 0*w. Does 19 divide w?
True
Is ((-8)/(-80)*10)/((-2)/(-772)) a multiple of 11?
False
Suppose -4*g - 2*d + 160 = d, -2*g - 4*d = -70. Does 22 divide g?
False
Let m = 1 + 11. Suppose m*d - 136 = 8*d. Let z = d + -22. Does 4 divide z?
True
Is 33 a factor of 18/(((-48)/(-2112))/(1/6))?
True
Let q(k) = 77*k + 55. Does 22 divide q(3)?
True
Let z = -128 + 354. Suppose -353 = -3*n + k, 4*k = -4*n + 2*n + z. Is n a multiple of 7?
False
Let z be 8 + 0/(5 - 2). Let x be 10/4 + z/16. Suppose h - x = 18. Is 8 a factor of h?
False
Let y = -58 + 41. Let j = 102 - 56. Let v = y + j. Is 29 a factor of v?
True
Is 10*20/4 + 2 a multiple of 13?
True
Suppose 0 = -8*d + 21*d + 52. Suppose -3*z + 12 + 3 = 0. Is 1 + (d - -3) + z a multiple of 5?
True
Does 26 divide -2 + (11970/24 - (-2)/8)?
False
Let c be (0 - -6) + (-2 - 0). Let w(v) = v**2 - 4*v**2 + 4*v**2 - c*v + v**2. Is 10 a factor of w(4)?
False
Let g(r) be the second derivative of -r**5/20 + r**4/2 + 2*r**3/3 - r**2 + 4*r. Let t be g(6). Suppose 2*n - 66 = t. Does 20 divide n?
False
Suppose -8*v = -7398 + 814. Does 44 divide v?
False
Suppose -6*c + c = 20. Let k be c/((-1)/((-117)/(-6))). Let r = -21 + k. Does 18 divide r?
False
Let f = 3 - -23. Suppose -g = -6*y + 4*y, 5*g - y - 18 = 0. Suppose l + 4 = 0, -2*p + 0*p - g*l = -f. Is p a multiple of 9?
False
Suppose -3*i + 4 = -2*r - 2*r, 0 = 2*r - i. Suppose -5*x + 3*w + 18 = -2*x, r*x - 5*w = -3. Is 3 a factor of x?
False
Suppose 560 + 1210 = 3*y. Is y a multiple of 37?
False
Let m = 490 - 347. Is m a multiple of 15?
False
Let q(y) = 164*y - 62. Let r be q(10). Is (2/6)/(2/r) a multiple of 28?
False
Let g(y) = 8*y - 86. Does 24 divide g(34)?
False
Let z(b) = -9*b - 4. Is z(-10) a multiple of 6?
False
Let f = 211 + -161. Is f a multiple of 10?
True
Let x(r) = 65*r**2 + 169*r - 1115. Does 16 divide x(7)?
False
Let o = -40 + 66. Let p = o + 6. Is 12 a factor of p?
False
Let a(c) = 22*c - 19. Let b be a(-2). Let l = b + 96. Is 20 a factor of l?
False
Let c = 18 + 660. Is c a multiple of 35?
False
Let v = 1736 - 1394. Is v a multiple of 26?
False
Let t(f) = -4*f - 5. Suppose 4 = -2*n + 3*j, -6*j = -2*n - 2*j - 4. Let x = n + -1. Is 2 a factor of t(x)?
False
Suppose -4*h + 2*t + 2552 = -0*t, -h - 5*t = -638. Is 22 a factor of h?
True
Let l = -152 - -414. Let h = l + -171. Does 7 divide h?
True
Suppose 4*t = 2*v + t - 761, 0 = -5*v - 2*t + 1931. Does 55 divide v?
True
Let t = 9 - 9. Suppose t = -u - 3*u + 4*g - 336, -4*g = -5*u - 415. Let m = u - -113. Does 18 divide m?
False
Suppose -1331 = -5*h - 3*s, -88 = 2*h - 3*s - 612. Does 6 divide h?
False
Let z(r) = -6*r**3 - 2*r**2 + r + 1. Let l be z(2). Let d = -39 - l. Is d even?
True
Let s(w) = 12*w - 1. Let t be 15/12*24/6. Does 10 divide s(t)?
False
Let p be 2 + 2 + (-200)/(-4). Suppose -q - q + p = 0. Let d = q + -18. Is d a multiple of 8?
False
Let d(u) = u**2 + 1. Let n be d(2). Suppose g - n - 5 = 0. Is 364/g + (-10)/25 a multiple of 12?
True
Does 9 divide 10/90 + (-5824)/(-72)?
True
Suppose -49*d = 1273 - 23372. Is 18 a factor of d?
False
Suppose -5*k + 10*k - 10 = 0. Suppose 2*d = -4*x + 8*x - 118, -2*x + k*d = -56. Is x a multiple of 30?
False
Suppose -26*l = -24*l - 20. Suppose 3*u + 649 = 4*z, l = -0*u + 2*u. Does 25 divide z?
False
Let f be 72/33 - (-2)/(-11). Let r(h) = -9 + 0*h**2 - h + f + 0*h**2 + 4*h**2. Does 16 divide r(-3)?
True
Let c = -122 + 134. Is 10 a factor of (2/10)/((-4)/(-110))*c?
False
Let y(c) = -2*c - 3. Let g be y(-6). Suppose 0 = 3*q - 0*q - g. Suppose 4*x - 27 = -q. Does 3 divide x?
True
Suppose -6*m - 21 = 33. Suppose 270 = -3*k + 3*v, -443 = 5*k - 2*v + 4*v. Let n = m - k. Is 40 a factor of n?
True
Let n be 2 + -3 + 15/5. Let m = -2 - n. Let p = 15 - m. Is p a multiple of 4?
False
Let x(d) = 16*d. Suppose -4*y + 5 = -9*y. Let p be x(y). Let o = 27 + p. Does 11 divide o?
True
Suppose -17 = 2*k - 23. Let c(s) = 2*s**3 + 3*s**2 + 2*s + 4. Is c(k) a multiple of 18?
False
Let j(g) = g**2 - 4*g + 9. Let b be j(6). Suppose -r + 47 = -b. Suppose -r = -2*p - 2*p. Does 12 divide p?
False
Let d = -291 - -1675. Is d a multiple of 98?
False
Let u(h) = -15*h + 20. Does 11 divide u(-6)?
True
Is 58 a factor of 116/(((-30)/25)/(-3))?
True
Suppose -5*o = 1 - 16. Suppose o*r - 2 = 10. Suppose r*f = 34 + 22. Is f a multiple of 10?
False
Let g = 10 + -7. Suppose 0 = g*s + 2*n - 202, 2*s - 222 = -s + 3*n. Let r = s + -45. Does 10 divide r?
False
Let o(l) = -l**3 + 8*l**2 + 16*l + 12. Is 15 a factor of o(-6)?
True
Suppose -4*c = 8, -2*r - 5*c - 31 = -3*r. Does 20 divide (77/21)/(1/r)?
False
Let y(j) = 5*j**2 + j**2 + 2*j - 4 - j + 2*j**2. Does 4 divide y(-3)?
False
Is 57*((-40)/12 + 4) even?
True
Let r(p) = 3*p - 9. Let n be r(5). Let s(u) = u + n - 6 + 2. Is s(4) a multiple of 5?
False
Suppose -3*q + 20*t - 22*t + 4100 = 0, 0 = 2*q - 5*t - 2746. Does 19 divide q?
True
Let a(b) be the third derivative of b**6/120 - b**5/120 + b**4/4 + 4*b**3/3 + 4*b**2. Let i(p) be the first derivative of a(p). Is 15 a factor of i(4)?
False
Let k(v) = 18*v**2 + 3*v + 15. Let q(r) = -16*r**2 - 4*r - 16. Let j(x) = -3*k(x) - 4*q(x). Does 11 divide j(-3)?
True
Let g = 294 - 167. Suppose q - 3*x - g = x, 0 = -2*q - 3*x + 221. Is q a multiple of 13?
False
Let n(x) = x + 3. Let k be n(-2). Is (k*-2)/((-4)/(-416)*-2) a multiple of 26?
True
Let i = -25 - -92. Let b = 106 - i. Suppose 5*h + s = 120, -2*h + b + 9 = -2*s. Is h a multiple of 9?
False
Let z = -250 + 758. Is z a multiple of 25?
False
Suppose 0 = -3*q - 167 + 512. Let o = -24 + q. Does 12 divide o?
False
Let y(t) = -9*t - 18. Suppose -7*m - 168 = -4*m. Let x be (m/42)/(2/9). Does 6 divide y(x)?
True
Let u be -7*(-10)/175*45/3. Is u/((-258)/(-51) + -5) a multiple of 16?
False
Suppose 5*d + 36 + 4 = 0. Is (d - -11)/(2/(292/3)) a multiple of 17?
False
Suppose -5*y - 5*z = -8 + 33, -5*y - 25 = z. Does 2 divide (-2)/y - (-936)/60?
True
Let s be (-118)/(-3)*(-9)/6. Let p = s + 112. Is p a multiple of 13?
False
Let h(z) = -2*z + 39. Let y be h(0). Let x = y - 23. Is 8 a factor of x?
True
Suppose 5*r + 234 = 2*j, 3*r - 2*r + 51 = -j. Let b = -7 - r. Is b a multiple of 32?
False
Let y(o) = 42*o**2 - 38*o - 14. Does 10 divide y(4)?
False
Let l(k) = k + 12. Let b be l(-8). Let p = 16 + -13. Suppose -b*z + p*o - 2*o = -140, 86 = 3*z + 4*o. Does 7 divide z?
False
Let i(o) be the third derivative of -71*o**4/24 + 5*o**3/2 - 9*o**2. Does 13 divide i(-4)?
True
Suppose 5*d - 100 = 4*q, -4*d - 2*q = -7*q - 71. Let m be d*(-4 + 32/6). Let v = m - 2. Is v a multiple of 6?
True
Let f(k) = 2*k**3 - 6*k**2 - 10*k + 6. Let m(q) = q**2 - 1. Let x(r) = f(r) + 3*m(r). Let h be x(4). Let j = h - 25. Is 18 a factor of j?
True
Suppose 3*m + 6 = 0, 2*x + 5*m + 0*m + 10 = 0. Suppose x = c - 0*c - 45. Suppose -4*d + c = -d. Is 6 a factor of d?
False
Let k(o) = -2*o + 54. Let b be k(26). Suppose -b*p + 660 = 2*p. Is p a multiple of 37?
False
Let s be -2*(-9)/(-6) - -13. Let t = s + -8. Suppose t*n - 120 = -n. Does 12 divide n?
False
Let v = 275 + 96. Is v a multiple of 53?
True
Let j = -29 + 29. Suppose j = 7*z - 3*z - 4*w - 116, 4*w = -4*z + 84. Is 6 a factor of z?
False
Let m be (0 - 1)*(-10)/1. Suppose -m*y + 1875 = -395. Is 22 a factor of y?
False
Suppose u = -4 + 6. Suppose 0*g - u*a = 5*g - 258, 5*a + 265 = 5*g. Does 5 divide g?
False
Let v(c) = -c**2 + 8*c - 13. Let q be v(5). Let r = 34 + q. Does 12 divide r?
True
Let k(z) be the first derivative of 3*z**2/2 + 12*z + 4. Let a be k(-5). Is (a - -2) + 43 - -3 a multiple of 9?
True
Does 13 divide -13 + 12 + -3 + 222?
False
Let x = 26 + -18. Let h = x + -5. Suppose t + 88 = h*t. Does 22 divide t?
True
Is (-30*(-1)/3)/((-2)/(-6)) a multiple of 5?
True
Let s(y) = 2*y**3 - 2*y**2 - 2*y. Let k be s(-3). Let h = 168 - 65. Let p = k + h. Is 11 a factor of p?
False
Suppose 0 = -22*w + 28*w - 2430. Is 17 a factor of w?
False
Let u = 31 - 68. Is (u + -3)*6/(-4) a multiple of 20?
True
Let z(b) = -b**3 - 17*b**2 + 12. Let f be z(-17). Let x(j) be the second derivative of j**3/2 + j**2 + 10*j. Does 19 divide x(f)?
True
Suppose c + 2*j = 105, -209 = -2*c - 5*j - 4. Is 2 