 d be (2 - 3)*(-2 - -2). Let o = d + 11. Does 9 divide o?
False
Suppose -3*a = o - 2*o + 80, 4*a - 362 = -5*o. Is 2 a factor of o?
True
Let p = 158 + -67. Is p a multiple of 13?
True
Let z(i) = 11*i + 8. Let t(o) = o**2 + o + 1. Let k(j) = -t(j) + z(j). Let v be k(10). Suppose 9 = v*b - 6*b. Is b a multiple of 5?
False
Let h(t) = 21*t. Let w be h(1). Suppose 5*r = -3*d - 14 + 49, -4*r + w = d. Suppose d*m = -4*p + 51 + 112, 3*p = -5*m + 126. Is p a multiple of 12?
False
Suppose -4*s + 3 = -s. Suppose 3*i + 8 = -0*c - 2*c, c = -s. Does 8 divide i/(-8) - (-3346)/56?
False
Let a = -11 + 14. Suppose -a*l + 552 = 3*l. Does 23 divide l?
True
Is 14 a factor of ((-1 - -1359)*-1)/(-1)?
True
Let x(q) = 10*q**2 - 4*q - 1. Let r be x(2). Let t be (r + -1)*(-80)/(-12). Suppose z + t = 5*z. Is z a multiple of 16?
False
Let r(j) = 746*j + 3. Is 26 a factor of r(1)?
False
Let t(w) = -39*w - 29. Let c be t(-10). Suppose 5*f = -3*y + c, f + 42 = 4*y + 128. Does 5 divide f?
False
Suppose 4*u + 0 = 8, 0 = -5*w - 3*u + 211. Is 3 a factor of w?
False
Let f = -32 + 1923. Is f a multiple of 34?
False
Let o(g) = g**2 - 2*g + 2. Let q be o(0). Suppose 0*p - 96 = -q*p + 5*a, -3*a = 0. Is 8 a factor of p?
True
Let j be 10/(-45) + (-20)/(-9). Suppose -9*a + 483 = -j*a. Is 23 a factor of a?
True
Suppose 944*f - 2380 = 934*f. Is 32 a factor of f?
False
Let d be -3*2*(-3)/6. Let q be 12/8*8/d. Is 2*18 + q/4 a multiple of 8?
False
Let p = 58 - 19. Suppose 0 = -4*w - 2*f + 74, 0 = -5*w + w + 5*f + p. Suppose 3*d - 50 = w. Does 11 divide d?
True
Suppose o + 5*y + 9 = 0, -3*o + 24 = 4*y - 6*y. Let m(d) = 3*d**2 - 9*d + 6. Is m(o) a multiple of 11?
False
Suppose -142*k + 137*k = 4*i - 383, -97 = -i - k. Does 25 divide i?
False
Suppose 5*r - 151 = 974. Let m(l) = -l**2 + 32*l + 4. Let p be m(32). Suppose 8*w + 5*u - r = 3*w, -20 = p*u. Is w a multiple of 25?
True
Suppose 11*k + 6*k - 7837 = 0. Is 10 a factor of k?
False
Let c = -34 - -37. Suppose -g = 5*s - 185, -c*g = -4*s + 5*s - 51. Is s a multiple of 9?
True
Let g(b) = 2*b**2 - 3*b + 1. Let u be g(2). Let h(d) = 48*d. Is 16 a factor of h(u)?
True
Suppose 44 = 66*y - 62*y. Suppose -y*h - 5*h = -2704. Is h a multiple of 13?
True
Does 16 divide (-7 - 25)/((5/1)/(-100))?
True
Is 26 a factor of 2 + 571 + -1 - 0/10?
True
Let g be 6 + (-6 - -3) + 4/2. Suppose 6 = -g*v + 326. Is v a multiple of 13?
False
Suppose -13530 = -16*q - 14*q. Does 13 divide q?
False
Let x(j) be the second derivative of 11*j**4/12 - j**3/2 - j**2 + 12*j. Is x(-2) a multiple of 24?
True
Suppose -20*d = -23*d + 108. Suppose -8*v + d = -7*v. Is 9 a factor of v?
True
Let b(k) = -k**2 + 9*k - 8. Let j be b(8). Suppose 44 = t - j. Does 11 divide t?
True
Let v = 137 + 98. Let d = 362 - v. Is 11 a factor of d?
False
Let x(u) = -127*u - 395. Does 11 divide x(-9)?
True
Suppose 4*y - 40 = -3*b, y + 50 = 3*b - 0*b. Suppose 4*s + b = -56. Let n = s - -56. Is n a multiple of 20?
False
Suppose -3*m = 12, 2*z - z - 20 = 5*m. Suppose -a = -4*s - 27, z = -4*a + a + 2*s + 71. Is a a multiple of 8?
False
Suppose 9*t = -21*t + 54750. Is 73 a factor of t?
True
Let n(f) = f**2 - 7*f + 6. Suppose -3*c - 5 - 4 = 0. Does 12 divide n(c)?
True
Suppose -702 = 5*b - 3502. Does 16 divide b?
True
Let w(v) = -2*v**3 + 2*v**2 + v. Let y be w(-1). Let f(q) = -q + 1. Let u be f(-2). Is -1 + 16 + y/u a multiple of 8?
True
Suppose -2*h + h + s = -1, 4*h - 7 = 5*s. Is (-1328)/(-8) - (2 + h + 2) a multiple of 41?
True
Let d(s) = -36*s - 22. Let j be d(-2). Suppose -3*i + j = -1. Is i even?
False
Suppose 4*x + y + 21 = 0, -41 = x + 4*y - 17. Is 32*(5/20 - x) a multiple of 20?
False
Suppose -x = 3*x + 2*b - 268, -2*x - 3*b = -126. Let q(s) = -s**3 + 4*s**2 - s - 4. Let y be q(3). Suppose c + y*c - x = 0. Does 9 divide c?
False
Let b = -3 - -7. Suppose 3*k = -6*n + 3*n + 300, 0 = 2*k - b*n - 230. Does 21 divide k?
True
Let z be -2*15/(-12)*(-242)/(-55). Suppose -z*c = -15*c + 720. Is 15 a factor of c?
True
Suppose -4*z = -7*z - 15, 0 = 2*m + 4*z - 1020. Is m a multiple of 20?
True
Let b(a) = 2*a - 1. Let m be b(4). Let o be ((-2)/4)/((3 - -1)/(-32)). Suppose y - 73 = -2*i, o*y - 27 = -m. Is i a multiple of 7?
False
Suppose -4 - 2 = -3*i. Suppose 5*x = i*y - 11 + 40, 23 = 3*x - 4*y. Suppose -7*q + 76 = -2*q - 3*f, 0 = -x*f - 10. Is q a multiple of 3?
False
Does 3 divide -1 - (-5 - -7) - (-2 - 31)?
True
Suppose -6*j - 600 = -11*j. Suppose j = -4*g + 3*p, g + 5*p = 3*g + 60. Let f = g - -38. Is f a multiple of 2?
True
Suppose 3*o + 256 = -2*t, o - 5*t = 4 - 61. Let h be 1 + 0 + 1 + -120. Let d = o - h. Is d a multiple of 9?
True
Suppose r + 7*c = 4*c + 160, -c = 3*r - 520. Does 25 divide r?
True
Suppose -29 = -26*c + 101. Is 4 a factor of c?
False
Let p(z) = -29*z - 5. Let h be p(2). Let k = h - -109. Is k a multiple of 21?
False
Let s = -947 + 545. Let h = 594 + s. Is 32 a factor of h?
True
Suppose 2*l - 6*l - 48 = 0. Let p be (35/(-21))/((-2)/l). Let k = 16 + p. Is 3 a factor of k?
True
Let j(s) = 5*s + 189. Is j(-6) a multiple of 22?
False
Let w(d) = -d**3 - 10*d**2 + 6*d - 4. Let t be w(-11). Suppose h - 3 = -0*h, 4*b + t = 5*h. Let m = b - -63. Does 19 divide m?
False
Let b(c) = 20*c**2 - 2*c + 2. Let r be (6/(-4))/(9/(-12)). Suppose 4*s + 3 = 3*u, 0*u = r*u + 2*s - 2. Is 9 a factor of b(u)?
False
Let s(w) = 3*w**2 - 68*w - 3. Does 12 divide s(27)?
True
Is 38 a factor of 70*19*24/60?
True
Let r = -256 - -375. Let v be (3/(-2))/((-1)/2). Suppose 10*k - r = v*k. Is 17 a factor of k?
True
Is 18 a factor of 8/(-16)*-1 - (-5398)/4?
True
Is 47 a factor of (-14817)/(-22) + (-3)/(-2)?
False
Suppose -8*l + 55 - 15 = 0. Suppose 7*t + 330 = 5*k + 2*t, -l*t = 5*k - 300. Is k a multiple of 9?
True
Let s(z) = -17*z + 11. Let o(t) = 28*t - 22. Let c(m) = -3*o(m) - 5*s(m). Suppose -4*y + 4*h - 3 = 13, 2*y + 4 = h. Is c(y) a multiple of 2?
False
Let b(p) = p**3 - p**2 - 6*p + 6. Let v be b(3). Let k(t) = t**2 + 5*t + 6. Does 9 divide k(v)?
True
Let d(n) = -59*n + 265. Does 30 divide d(-7)?
False
Suppose 0 = -6*n + 2*n + 8. Suppose 4*t + n*d - 6 = 0, 3*t + 0*d = 2*d + 15. Suppose -t*z + a + 2*a = -51, -3*a = -2*z + 33. Is 18 a factor of z?
True
Let z(v) = 3*v**2 - 2*v + 2. Let f be z(-8). Let d = -91 + f. Is 36 a factor of d?
False
Suppose -5*f + 191 = -5*n - 459, 5*f + 5*n - 630 = 0. Suppose 3*a - 184 = f. Suppose -3*c + 5*c - a = 0. Is 18 a factor of c?
False
Let p(s) = -3*s**2 - 2*s + 2. Let t be p(-2). Is 2 a factor of ((-15)/t)/((-1)/(-2))?
False
Suppose 0 = 8*g - 6*g - 6. Suppose w + 12 = g*u + 35, w + 2*u - 13 = 0. Is 3 a factor of w?
False
Let c(j) = 66*j - 16. Is 25 a factor of c(1)?
True
Suppose 3*i - 5*k - 1028 = 0, 0 = i + 2*k - 269 - 59. Does 28 divide i?
True
Suppose 5*r + j + j = 22, 0 = 5*r - j - 19. Does 8 divide (-2)/r - 66/(-4)?
True
Suppose -4*j - 3 = -3*b - 7*j, 5*j + 5 = 0. Let a(i) = 45*i - 6. Is a(b) a multiple of 12?
True
Let g(u) = 2*u**3 - 27*u + 3. Does 14 divide g(5)?
False
Let t be (10 - 24)*(-3)/21*90. Let p = t - 122. Does 6 divide p?
False
Let b = -5 - -14. Suppose 0 = -b*v + 1042 + 578. Is 17 a factor of v?
False
Let d = -126 + 208. Is 37 a factor of d?
False
Suppose -121 = -16*h + 151. Let j be (-4)/6*3/2. Is 10 a factor of (3/(-1))/j + h?
True
Suppose -25 = -6*r + r. Suppose 3 = -4*b + 15. Suppose 8*h + r*g - 165 = b*h, -129 = -4*h - g. Does 8 divide h?
True
Let k(u) = 16*u + 5. Let x(l) = 31*l + 9. Let n(b) = -7*k(b) + 4*x(b). Let z be n(-1). Let f = 4 - z. Is 5 a factor of f?
True
Let x = 390 + -363. Does 13 divide x?
False
Let q be 12/8*24/9. Let j be ((-10)/q)/((-4)/104). Suppose 4*y - j = -1. Does 16 divide y?
True
Is 31 a factor of 10*(-3 + 196/20)*2?
False
Let p(g) be the first derivative of -7*g**4/24 + 5*g**3/2 + 9*g**2/2 + 8. Let b(f) be the second derivative of p(f). Is 42 a factor of b(-6)?
False
Suppose 2*j - 5*d = 53 - 3, 3*d - 18 = -2*j. Is j a multiple of 2?
False
Let y(z) = -58*z**3 + 6*z - 9. Is y(-3) a multiple of 9?
True
Suppose -q - 16*q = -1428. Is q a multiple of 20?
False
Let i(v) = -v**3 - 18*v**2 + 16*v - 27. Suppose 0 = -2*l + 3*l - p + 16, -3*p = -l - 10. Is i(l) a multiple of 10?
True
Let i(j) = 61*j + 2. Let o(m) = -m**3 + 12*m**2 - m + 13. Let u be o(12). Is 21 a factor of i(u)?
True
Let l(c) be the second derivative of c**4/12 + 3*c**3/2 + c**2 +