(d)?
False
Suppose -41 = 3*a - 128. Let q(o) = 9*o - a*o + 8*o - 6. Is 18 a factor of q(-5)?
True
Let o = 127 + -125. Is 4 a factor of (o/4 - 0)*96?
True
Does 5 divide (-264)/30*(-1 - 24)?
True
Suppose 6 = -w - 13. Let t = w + 21. Suppose -4*g + 184 = -5*f, 209 = 5*g + t*f - 21. Is 11 a factor of g?
False
Let q = -7 - -21. Let k = -14 + q. Suppose k = 2*h - 7*h + 180. Does 18 divide h?
True
Let f be (-167)/(-5) + 4/(-10). Suppose 16*t = s + 15*t + 3, -4*s + 5*t = 9. Does 18 divide (0 - f)*4/s?
False
Let c be (-2)/(-6) + (1340/(-6))/1. Let q = -91 - c. Does 12 divide q?
True
Let v be -806*2*(-4)/16. Let h = v + -165. Is 14 a factor of h?
True
Suppose 0 = 3*m + 4*c - 121, -4*m + 7*m - c = 101. Suppose 4*t = -3*r + 8*r + 77, r - m = -2*t. Suppose -t + 68 = 5*o. Is o a multiple of 3?
False
Let v = 28 + -26. Suppose -v = -y - 0. Suppose 2*t - 89 + 13 = -3*w, 4*t = y*w - 72. Does 7 divide w?
True
Suppose 5*o - c = 596 + 1328, -5*o + 1936 = -4*c. Is 6 a factor of o?
True
Let s(j) = 5*j**3 - 27*j**2 + 19*j + 13. Let k(n) = 2*n**3 - 13*n**2 + 9*n + 6. Let l(f) = -7*k(f) + 3*s(f). Suppose -3*u - 13 = 17. Is 15 a factor of l(u)?
False
Let v = -67 - -67. Suppose -9*k + 12*k - 309 = v. Does 14 divide k?
False
Suppose -5*k + 5*a + 405 = 0, k = -9*a + 4*a + 57. Suppose 3*q - 770 = -k. Does 13 divide (-3)/(-9) + q/9?
True
Suppose 0*f - 17*f + 476 = 0. Does 7 divide f?
True
Let s = 12 + -8. Suppose -d = s*d - 25. Suppose -4*z + x + 152 = 0, -5*z - d*x + 213 = -2. Is 12 a factor of z?
False
Let z be (-1)/4*17*-12. Let k be (1 - 4)/(z/(-85)). Is 30 a factor of 1/k + 1495/25?
True
Let g = 358 - 64. Is g a multiple of 21?
True
Let w(f) = -f - 1. Let p be 5 + -3 + -8 + -2. Let b be w(p). Suppose -11*j = -b*j - 96. Is j a multiple of 8?
True
Let v = 11 - 7. Suppose 4*o - 76 = q, 44 = 3*o - 2*q - 2*q. Is (-15)/o + 139/v a multiple of 9?
False
Let n = 301 + -204. Suppose 5*d - 54 = 3*o + n, 2*o = -3*d - 69. Is (2 + -22)/(12/o) a multiple of 12?
False
Let c(y) = y**2 - 541 + 541. Let l be c(1). Does 23 divide (-3)/l + 120 + -2?
True
Suppose 6*a = 4*a + 6. Suppose a*y + 336 = 9*y. Does 8 divide y?
True
Let q(c) = 4*c - 20. Suppose 7*u = 8*u - 6. Is q(u) a multiple of 4?
True
Let m(p) = -43*p - 28. Is m(-7) a multiple of 39?
True
Let k be (-342)/(-30) - (-3)/5. Suppose b = k + 6. Is 2 a factor of b?
True
Let k(p) = -25*p + 5. Let b be k(-4). Suppose b = 12*x - 7*x. Does 6 divide x?
False
Let i(x) = -4*x**3 - 4*x**2 + 14*x + 80. Is 7 a factor of i(-6)?
False
Let g = -915 - -2186. Is 24 a factor of g?
False
Let g be (-1318)/(-6) + 9/27 - -2. Let o = g - 46. Is 16 a factor of o?
True
Let o(q) be the first derivative of 1/3*q**3 - 3 - 5/2*q**2 + 10*q. Is 19 a factor of o(-6)?
True
Let s(z) = 5*z**2 + 2*z + 5. Let q be s(4). Suppose q = -7*b + 863. Is 10 a factor of b?
True
Does 13 divide (-14)/119 + 1991/17?
True
Let f = 7632 + -3957. Does 75 divide f?
True
Let q(s) = -69*s - 111. Is q(-3) a multiple of 8?
True
Let b = 14222 - 9951. Is 43 a factor of b?
False
Suppose -4*d + 12 = -0*d. Suppose r = -2 - d, -2*c = -r - 9. Let t(o) = o + 5. Is t(c) even?
False
Let z be (-14)/(-28) + 5/2. Is (9/2)/z*(-1 + 69) a multiple of 18?
False
Suppose 26810 = 109*z - 74*z. Is z a multiple of 15?
False
Let p(n) = -6*n**3 - 7*n**2 - 12*n - 23. Does 17 divide p(-8)?
False
Let w = 528 + -238. Is w a multiple of 29?
True
Suppose 5*g = 4*h + 388, -g + 5*h = 4*g - 385. Is g a multiple of 20?
True
Suppose -33*l = -51332 - 46480. Is 12 a factor of l?
True
Let f(i) = i**2 - 5*i - 29. Let a be f(13). Suppose -a = -3*o + 3*u, 9*o - 4*o = -u + 149. Is o a multiple of 23?
False
Let p be -11 - (-9)/(18/32). Suppose 1293 = 5*s + 3*k, -2*k = s - 3*s + 514. Suppose s = p*m + 4*z, 146 = -3*m + 6*m - 2*z. Is m a multiple of 27?
False
Let l = 5 - -205. Is l a multiple of 9?
False
Suppose 3*q - 4*l = -0*l + 1766, 2*q = l + 1184. Is 33 a factor of q?
True
Suppose c - 3*w + 6 = 0, -8 = -2*c - 8*w + 4*w. Suppose -m + 100 + 43 = c. Is m/4 + 2/8 a multiple of 6?
True
Suppose w - 3*i - 2*i = 1240, -1248 = -w + 3*i. Is 32 a factor of (15/(-6) - -2)/((-6)/w)?
False
Let q = 20 + 113. Is 40 a factor of 1*18/21*q?
False
Let o(j) = 129*j**2 + 14*j - 15. Is 18 a factor of o(3)?
True
Let w be (-1 + (-1)/(-3))/((-40)/180). Is (w - -2) + (1 - 3) a multiple of 3?
True
Let y be (-14)/(-4) + (-5)/10. Suppose y = -3*m + 4*m. Suppose -x - 68 = -m*x. Is 9 a factor of x?
False
Let f be (-1)/(-4 - (-6 - -3)). Let i be (-3)/f - (-15 - -179). Is 11 a factor of 4/(-10) + i/(-5)?
True
Let h(d) = -2*d**3 - 5. Let y be h(-6). Suppose 8*q - y = 357. Does 7 divide q?
True
Let h(n) = 2*n**2 - n + 8. Does 53 divide h(-8)?
False
Let q(d) = -189*d - 1569. Is 69 a factor of q(-24)?
True
Suppose 3*g + 2*a = 130, -2*g + 100 = -0*g - 2*a. Let b = 26 + g. Is b a multiple of 12?
True
Suppose 0 = -2*l + 410 + 2074. Is l a multiple of 23?
True
Let r = 52 + -7. Is 27 a factor of r?
False
Let g(z) = -2*z**3 - 8*z**2 - 7*z + 7. Does 21 divide g(-6)?
False
Suppose -37 + 133 = 8*n. Let m be 6/5*(-30)/(-9). Suppose 4*o = -n, -4*o - 8 = m*h - 20. Is 6 a factor of h?
True
Let w = 29 - -91. Is w a multiple of 12?
True
Suppose -1 = 3*v - 16. Suppose 0*s + 5 = -v*s. Is 27 + (1 - (s + 1)) a multiple of 14?
True
Is 5 a factor of (-27*6/45)/((-2)/35)?
False
Suppose 2300 = 11*z - 6*z. Is z a multiple of 18?
False
Does 26 divide (13 + 0)/((-3)/(-252))?
True
Suppose 0 = -4*z + t + 6 - 25, -3*t = 2*z - 1. Let q(s) = -7*s + 13. Let f(a) = -105*a + 196. Let m(h) = -6*f(h) + 91*q(h). Is 9 a factor of m(z)?
False
Let c be 2/8 - ((-345)/(-12))/(-5). Is (23/(-2))/(c/(-12)) a multiple of 2?
False
Let d(s) = -s**3 + 7*s**2 + 9*s + 4. Let n be d(8). Let z = 19 - n. Does 10 divide z/((-14)/4) + 32?
True
Suppose g - 5*y + 7 = -10, 5*g + 3*y = -1. Is 14 a factor of (-286)/(-6) + g/3?
False
Suppose -11*u + 0*u = 319. Let o be (1/2)/((-2)/264). Let b = u - o. Is 9 a factor of b?
False
Suppose -3*u = 2*w - 40, 4*u - 3*w = 2*w + 61. Let d(y) = -y**3 + 15*y**2 - 10*y + 5. Is 24 a factor of d(u)?
False
Let g be ((-12)/5)/((-16)/7880). Suppose -15 = 5*p, -3*v = 3*p - 5*p + g. Is 5 a factor of 2/5 - v/10?
True
Suppose 5495 = -c + 6*c - 3*t, -3*c - 4*t = -3297. Is c a multiple of 25?
False
Let r = 793 + -513. Does 16 divide r?
False
Let x(p) = 411*p - 208. Does 9 divide x(3)?
False
Suppose 4*k - 120 = -4*n + 36, -k + n + 33 = 0. Let z = 50 - k. Suppose -3*y + z + 22 = 2*i, 0 = -2*i + 5*y + 52. Does 12 divide i?
False
Let q(f) = 102*f - 47. Is q(9) a multiple of 17?
False
Let g = 14 + -13. Let w be (g*-1)/(11/(-330)). Let h = w + 28. Is 29 a factor of h?
True
Suppose -4*b - 971 - 553 = 0. Let s = -187 - b. Does 16 divide s?
False
Suppose 2*k = -2*l + 461 + 161, 3*l = k - 323. Let q = k - 173. Is q a multiple of 12?
False
Suppose 7*r - 3837 - 1021 = 0. Is 23 a factor of r?
False
Let y = -5067 - -8686. Is y a multiple of 77?
True
Let u(n) = 30*n**2 - 18*n + 34. Does 13 divide u(4)?
True
Suppose 2*p - 4*u + 61 + 47 = 0, 0 = 2*p - u + 96. Let f = -30 - p. Does 8 divide f?
True
Suppose 4*t - q - 2155 + 740 = 0, 3*t - 1060 = q. Is 71 a factor of t?
True
Let i = -561 - -1056. Is 9 a factor of i?
True
Is 7 a factor of 8/6*(-756)/(-144)?
True
Let v(r) be the third derivative of -r**6/120 + r**5/6 + r**4/24 + 2*r**3/3 + 12*r**2. Does 2 divide v(10)?
True
Suppose -17*h + 769 = -914. Is 80 a factor of h?
False
Let v(f) = -f**3 - 8*f**2 + 8*f - 16. Let g be v(-9). Let l = 59 - g. Is l a multiple of 44?
False
Does 29 divide (-1089361)/(-637) - 6/(-7)?
True
Let a be (-1704)/9*27/(-12). Let z = -166 + a. Suppose 5*g = -0*g + z. Does 26 divide g?
True
Suppose 5*c - q - 8839 = 0, 2*q + q = -4*c + 7075. Is c a multiple of 19?
False
Let v = -66 - -362. Does 13 divide v?
False
Let a(h) = 79*h + 36. Is a(10) a multiple of 14?
True
Suppose -3*j = -3*b - 123, -5*j = 3*b - 201 - 28. Does 4 divide j?
True
Let o(y) = 2*y**2 + 80*y + 33. Does 4 divide o(-40)?
False
Let n = 115 + -94. Does 36 divide (n/(-1))/((-66)/32 - -2)?
False
Is (-9 - -623) + -6 + -2 a multiple of 7?
False
Let a(i) = -3 + 0*i**3 - 9 + 4*i + 5*i**2 - i**3. Suppose 3*w + 2*y = 5*y + 21, 5*w = -2*y + 21. Is a(w) a multiple of 6?
False
Let n(h) = -h**3 + 6*h**2 + 22*h - 64. Is n(7) even?
False
Let h = 4 - 2. Suppose -u = -2*f - 8, 0 = 2*u + 4*f + 13 