ple of 16?
False
Let q = 416 - 8. Does 8 divide q?
True
Let a be ((-9)/(-9))/((-3)/(-684)). Suppose -2*p = 4*q - 187 - 53, 0 = 2*p - 2*q - a. Is 27 a factor of p?
False
Suppose -5*f + b = 3*b + 2, 4*b = -4. Suppose f = s + 3*z + 4, 15 = 2*s - 3*z - 4. Suppose 2*g + 3 = -5, 193 = s*m + 3*g. Does 12 divide m?
False
Suppose 4 = -k + 3*q - 0*q, 2 = -k + 2*q. Suppose -4*m - k = -6. Is 14 a factor of 41 - ((-6)/3 - m)?
False
Let j(a) = 3*a**3 + a**2 - 7*a + 4. Does 17 divide j(6)?
True
Let q = -111 - -337. Is 14 a factor of q?
False
Suppose 2*f + 4*i = 9*i + 115, 4*i - 90 = -f. Does 6 divide f?
False
Let v(b) = b**2 + 5*b + 1. Let s be v(-5). Let k be (s - -4 - 2) + -2. Does 13 divide (-1 - -2)*k*59?
False
Let u be ((-12)/14)/(-3 - (-169)/56). Let h = u - -60. Does 11 divide h?
False
Let c = 95 + -54. Suppose c = 2*g + 5*x, g = 4*g + 2*x - 34. Is g a multiple of 6?
False
Let z(o) = 1 + 36*o**2 + 4*o**3 - 6*o**3 - 40*o**2. Let i be -3 - -3 - (2 - -1). Does 12 divide z(i)?
False
Suppose 753*k - 751*k - 232 = 0. Is k a multiple of 4?
True
Suppose 2*b - 2*p - 2*p = 678, 3*p = 2*b - 673. Is b a multiple of 7?
True
Suppose -d - 3*q + 923 = 0, 3*q + 0*q = -5*d + 4651. Is 11 a factor of d?
False
Suppose -19956 = -21*d + 7869. Is d a multiple of 20?
False
Let d(y) = y**3 - 24*y**2 + 35*y - 64. Is 14 a factor of d(26)?
True
Suppose -2*r - 1 = -m - 3, 2*r + 5*m + 22 = 0. Is (-1 - (-1 + r)) + 65 + 0 a multiple of 6?
True
Let z(x) = -7*x + 21. Let y be z(-18). Suppose 0*p + y = 3*p + s, -3*p + 129 = -5*s. Does 16 divide p?
True
Suppose -18*l + 829 = -143. Does 18 divide l?
True
Let w = -11 - 38. Let g = -41 - -10. Let n = g - w. Is 11 a factor of n?
False
Let l = 335 + -321. Does 4 divide l?
False
Is 26 a factor of ((-81)/(-36))/(-4 - 835/(-208))?
True
Suppose -6*v - 3*y = -8*v + 4506, y = -2*v + 4514. Does 16 divide v?
True
Suppose 145 = -4*m - 3*u + 726, -2*u + 139 = m. Suppose -521 - m = -2*a. Suppose -3*t - a = -2*h - 2*h, 3*t + 15 = 0. Is 16 a factor of h?
True
Suppose -15876 = 36*z - 57*z. Is z a multiple of 25?
False
Suppose 0 = -0*i + i. Suppose q + q = i. Let j(f) = f**3 - f + 5. Does 5 divide j(q)?
True
Let q = -2 - -8. Let b be q/(-4)*(9 + -11). Suppose -b*t + 30 = -33. Is t a multiple of 21?
True
Suppose 4*r + 37 = 225. Is r a multiple of 2?
False
Let b(t) = 5*t + 115. Is 15 a factor of b(7)?
True
Suppose 0 = 4*l, -2*d + 0*l = 5*l - 8. Let h be (-12*3)/(-3 - 36/(-16)). Suppose -d*a + h = -a. Is a a multiple of 5?
False
Suppose 948 = 5*i + 4*d, -i = -2*d + d - 195. Does 3 divide i?
True
Suppose 3*w - 8 = -v, -4 = -4*w - 2*v - v. Is (-900 + w)/(-4) + (-3)/(-1) a multiple of 20?
False
Suppose -20*m + 216 + 684 = 0. Does 8 divide m?
False
Suppose -81 = -5*l + 79. Let h = 276 - 186. Let t = h - l. Is 10 a factor of t?
False
Let q = -240 - -338. Does 7 divide q?
True
Let a = -789 + 1089. Is 20 a factor of a?
True
Let w(l) be the first derivative of -l**3/3 - 3*l**2 - 6*l + 7. Let b be w(-4). Does 19 divide 16*2 + (b - 5)?
False
Let a = -9 + 13. Let s = -4 - a. Let j(h) = h**3 + 8*h**2 - 2*h - 2. Is j(s) a multiple of 7?
True
Let j = -104 + 96. Does 18 divide ((46/j)/(-1))/(15/540)?
False
Let a = -80 - -83. Suppose 2*z + x = 36, 0 = -a*x + 6*x + 12. Is z a multiple of 12?
False
Suppose -173*h + 164*h = -567. Is h a multiple of 21?
True
Let z(b) = b**3 - 12*b**2 - 20*b + 9. Is 3 a factor of z(14)?
False
Let z(y) = -2*y**3 + 6*y**2 - 8*y - 5. Let m be z(7). Let f be 6/39 - m/13. Let k = 1 + f. Is 17 a factor of k?
False
Suppose -96 = 3*q + 6*m - 2*m, -4*q - 4*m = 124. Let p = -19 - q. Is p even?
False
Let f(q) = 25*q**2 - 15*q + 13. Is 59 a factor of f(6)?
False
Let y = 33 + -32. Let a(c) = 15*c + 2. Let d be a(y). Let s(g) = g**2 - 15*g - 4. Is 6 a factor of s(d)?
True
Suppose m = 2 - 3, -4*j = 4*m - 16. Let x(c) = -14*c + 5. Let p(k) = 27*k - 11. Let o(a) = 6*p(a) + 11*x(a). Is o(j) a multiple of 7?
False
Let j(r) = -5*r + 5. Let k be j(8). Let y be ((-28)/k)/((-4)/(-10)). Let w(u) = 30*u - 4. Does 28 divide w(y)?
True
Let h(l) = -2*l**2 + 5*l + 5. Let s be 450/105 - (-2)/(-7). Let w be h(s). Let o = w + 21. Is o a multiple of 3?
False
Suppose 59*l + 119991 = 414283. Is l a multiple of 116?
True
Suppose 0 = -u - 4*k + 12, 4 = -4*u - 5*k + 41. Suppose 10*x = u*x + 130. Is x a multiple of 13?
True
Let f(k) = k**2 - k + 1. Let g be f(-2). Suppose -16*m = -432 + 112. Let z = m - g. Is z a multiple of 8?
False
Suppose 2 - 14 = -12*y. Is 7 a factor of (-4 + y - (7 - 188)) + 3?
False
Let n(k) = -3*k**2 + 2. Let i be n(2). Let m be ((-52)/(-8) + -5)*2. Is 6 a factor of ((-42)/i - m)*15?
True
Suppose 3*z - 15 = 33. Suppose -w + 46 = -3*a, 0*a + 2*a + z = -3*w. Let y = 12 - a. Is 13 a factor of y?
True
Let x be 21/4 + 4/(-16). Suppose -x*k - 8 = -z - 0, 4*z - 127 = k. Does 33 divide z?
True
Let k(t) = -t**3 + 9*t**2 - 4*t + 10. Let n be k(8). Suppose -15*z + n = -12*z. Suppose -2*o - z - 33 = -3*b, 5*b - 73 = -2*o. Is b a multiple of 3?
True
Suppose -y - 110 = -256. Suppose u - 152 = -4*q + 140, 2*q - y = -2*u. Let x = q - 5. Does 17 divide x?
True
Let s be (3 + -2)*-2 - 0. Let n = s + 4. Suppose 2*a - 83 = t, 5*a + 0*a - 194 = -n*t. Is 16 a factor of a?
False
Is 50 a factor of (-1 + 1170)*-3*4/(-12)?
False
Let z = -30 + 34. Suppose -z*w - 27 = -171. Is 12 a factor of w?
True
Let i be (-4)/(-6) + 4086/(-54). Is 18 a factor of 4 - (1 + 1*i)?
False
Suppose -4*q - 131 - 158 = -5*y, 4*y - 229 = q. Suppose 0 = 3*j - y - 255. Does 8 divide j?
True
Let g = -69 + 64. Is 4 a factor of g + 6/((-6)/(-43))?
False
Suppose -6*v + v - g + 520 = 0, v = -2*g + 95. Is v a multiple of 3?
True
Suppose -m + 5*s = 4*m - 645, -5*m + 2*s = -642. Suppose p - m = -p. Is p a multiple of 16?
True
Let p(z) = z**3 - 5*z**2 - 2*z. Let a be p(6). Let y = -24 + a. Suppose 3*r + 4*b - 86 - 33 = y, b + 160 = 5*r. Is 11 a factor of r?
True
Let a(f) = 2*f + 1. Let r be a(1). Let p be (24/15)/(4/150). Suppose r*o - o = p. Does 15 divide o?
True
Let p(b) = b**2 + b + 1. Let j be p(2). Suppose -5*n = 4*k - 13, -5 - j = 4*k. Suppose 5*h + 3*m = 78, -m = -n*h - 0*h + 94. Does 9 divide h?
True
Suppose 4*p - 16 = 224. Let n be (2 + p)*(3 + -2). Suppose k + n = 3*k. Does 5 divide k?
False
Let o be 7/(-4) + 4/(-16). Let v(p) be the third derivative of p**5/12 + p**4/6 + p**3/3 + 107*p**2. Is 14 a factor of v(o)?
True
Let w(b) = b**3 + 12*b**2 - 13*b + 28. Is w(-12) a multiple of 8?
True
Let s be (-4)/6*(1 - 4). Suppose j + 116 = 2*h, 42 + 70 = s*h - 2*j. Suppose -2*c = -0*c - h. Is c a multiple of 12?
False
Suppose -43790 = 15*n - 3890. Does 23 divide n/(-56)*(1 + (-1)/(-5))?
False
Let u = -186 + 723. Does 10 divide u?
False
Suppose 3*a + y - 200 = 0, 0 = -0*a - 4*a + 3*y + 258. Suppose -a = -5*s + 3*s. Is 33 a factor of s?
True
Suppose 3*x + 90 = 4*x. Let g = 150 - x. Does 10 divide g?
True
Let c(n) be the first derivative of -1/2*n**2 + 0*n**3 - n - 1 - 11*n**4. Is c(-1) a multiple of 12?
False
Let g = -50 - -210. Let w = g + -24. Is w a multiple of 34?
True
Let s be (5 - 4)*-2 - 12. Suppose 0 = -3*c + 2*t + 2*t + 51, 3*c = 5*t + 48. Let g = s + c. Is 4 a factor of g?
False
Let i(g) = 31*g**2 + 7*g - 7. Is 40 a factor of i(-5)?
False
Suppose 27*l = 29*l - 3300. Is l a multiple of 67?
False
Let z(w) = -12*w + 219. Is 37 a factor of z(-28)?
True
Let b(a) be the first derivative of a**4/4 - 4*a**3/3 - 15*a**2/2 - 2*a + 1. Let q = 78 - 71. Does 9 divide b(q)?
False
Let a(s) = s**2 - 3*s + 2. Let p(t) = t**3 - 14*t**2 + 2*t - 5. Let d be p(14). Let n = d + -14. Does 10 divide a(n)?
False
Let u(m) = 4*m + 63. Is u(23) a multiple of 4?
False
Let o(r) = -123*r + 22. Does 61 divide o(-4)?
False
Suppose 2*r = 3*n + 17, 2*n = -2*r + 2 - 0. Suppose 3*u = r*l + l - 229, 3*l + 3*u - 147 = 0. Is l a multiple of 25?
False
Let v = -4 - -7. Suppose -13 = 2*g - v*g. Let t(l) = -l**2 + 17*l - 13. Is t(g) a multiple of 13?
True
Let f(l) = 1833*l + 113. Is 32 a factor of f(1)?
False
Suppose -548*b + 541*b + 903 = 0. Does 3 divide b?
True
Is 13 a factor of (17 + -9 - 8) + 1144?
True
Is 17 a factor of (4413 - 26/13) + 9?
True
Let j be 48/20 - 2/5. Suppose -5*p - j*c + 18 = 102, 0 = -3*c - 6. Does 11 divide (-2)/p - (-1404)/32?
True
Let c = 1652 - 1067. Is 15 a factor of c?
True
Let t(x) be the third derivative of -x**6/30 + x**5