f 8?
True
Suppose 233 = 2*i - 5*a, -7*i - 5*a = -11*i + 491. Does 18 divide i?
False
Let z = 16 - 12. Suppose -z*c = -18*c + 3136. Is 47 a factor of c?
False
Let s(z) = -3*z**3 - 6*z**2 - 3*z + 3. Is 5 a factor of s(-4)?
False
Let x = -20 + 26. Suppose 208 = x*z - 110. Is z a multiple of 15?
False
Let p be -5 + 3 - 3*1. Is p/15*-543 + -1 a multiple of 9?
True
Suppose 3*o = 9, 4*o + 756 = 5*t - 2*t. Is 16 a factor of t?
True
Suppose 4*i - 5*g - 138 = -41, 75 = 5*i + 3*g. Suppose 0 = -5*w + 8*w - i. Is 5 a factor of w?
False
Let f = -359 + 2669. Is 33 a factor of f?
True
Suppose -2*f - 376 = -5*p, 4*p - 957 = 5*f - 0*p. Let k = -121 - f. Does 12 divide k?
True
Let b(f) = -139*f + 125. Is b(-13) a multiple of 42?
True
Suppose 4*i + 13*b = 9*b + 3176, -5*i + 3958 = -b. Does 33 divide i?
True
Let p = 372 - 90. Suppose 16*m = 19*m - p. Is 10 a factor of m?
False
Let p = 31 - 12. Suppose 5*n - 9 = -5*b + 2*n, 5*b - 2*n = p. Suppose 4*z - 54 = 2*z + b*a, 4*a = 2*z - 52. Does 15 divide z?
True
Suppose -32*w + 4842 = -14*w. Suppose -6*k = -2*k - 16. Suppose -w = -k*j + 5*i, -i - 254 = -4*j + i. Is 17 a factor of j?
False
Let k(z) = 5*z**2 - 38*z + 24. Does 16 divide k(20)?
True
Let a(o) = -4*o - 16. Let x be a(-7). Let g be (-35)/(-2)*x/10. Suppose -7*i = -4*i - g. Is 2 a factor of i?
False
Let m = -25 - -48. Let w = -19 + m. Does 3 divide w?
False
Suppose -3 + 1 = -x. Does 7 divide ((-1)/x)/(13/(-1456))?
True
Let h = -2 + 6. Does 16 divide 114/(-1 + 10/h)?
False
Let v = 910 - 544. Is 21 a factor of v?
False
Suppose -2*f + 4*f - 48 = -5*k, 4*f + k = 60. Let q = -12 + f. Does 17 divide 2*(q - (-39)/6)?
True
Suppose -24*z + 9216 = 8*z. Does 8 divide z?
True
Suppose 0 = -c - 3, 0*t + 2297 = 2*t + 3*c. Is 5 a factor of t?
False
Suppose 3*r - 20 = -5*g, -g - 4*r + 4 = -2*r. Let t(w) = w**2 + 3*w - 2. Is t(g) a multiple of 11?
False
Let o(y) = -16*y + 13. Let p(n) = -2*n**3 - 12*n**2 + n + 3. Let j be p(-6). Is o(j) a multiple of 14?
False
Let u = 1709 - 1269. Does 53 divide u?
False
Let m be (14/(-4))/(5/20). Let o = m + 28. Is 2 a factor of o?
True
Let k(v) = 344*v**2 - 5*v + 3. Is k(1) a multiple of 26?
False
Let h(n) = 2*n**2 + n - 8*n - 3 - 2*n**3 + 8*n. Let o be h(3). Let c = 75 + o. Is 13 a factor of c?
True
Is 24 a factor of (144/(-56))/(3/(-84))?
True
Let n(p) = 5*p**2 + 19*p + 283. Is 125 a factor of n(-10)?
False
Let n = 7 + 1. Let j = 1 + n. Let u = -2 + j. Is 3 a factor of u?
False
Let r(i) = -4*i**2 + i + 10. Let q(c) = -11*c**2 + 3*c + 29. Let w(t) = -3*q(t) + 8*r(t). Let s be w(-4). Suppose 12*y + 9 = s*y. Is 9 a factor of y?
True
Let u(h) = 7*h**2 - 81*h - 57. Is u(23) a multiple of 17?
False
Let a = -4 + 7. Let j(b) = 5*b - 6. Does 3 divide j(a)?
True
Let y(l) be the first derivative of 5*l**2 + 60*l + 14. Does 15 divide y(18)?
True
Let w = -73 - -49. Is (w/21)/4 - (-680)/28 a multiple of 19?
False
Let k(v) = -v**3 + 6*v**2 - 5*v + 5. Let a be k(5). Suppose -3*u + 0*u = a*s - 231, -5*s = -3*u + 231. Is 18 a factor of u?
False
Let z(v) = -6*v - 8. Is 4 a factor of z(-28)?
True
Suppose -10920 = -20*b - 6*b. Is b a multiple of 30?
True
Suppose 0 = -2*q + 6*q - 272. Suppose 2*b + q = 4*m, 4*m + 3*b = 2*b + 74. Is m a multiple of 6?
True
Is 21 a factor of ((-2 - 14) + 0)/((-33)/198)?
False
Suppose 3*l + 3 = -3*r, 2*r - 4*l - 32 = -r. Suppose -8 = -3*x - 5*o - 3, 4*x - 28 = r*o. Suppose 2*u - 5 = -k + u, -x*k = -4*u - 34. Is 5 a factor of k?
False
Let o(i) = i**3 + 9*i**2 + 7*i - 7. Suppose -12 = 14*l - 12*l. Is 10 a factor of o(l)?
False
Let s be ((-4)/(-6))/((-3)/(-36)). Suppose 4*w - 2*w = s. Suppose 2*p - 71 = -w*q + 87, 5*q + 5*p = 205. Is q a multiple of 12?
False
Let y = -13 + 19. Suppose 0 = y*c + 61 - 265. Is 17 a factor of c?
True
Let y = -296 - -627. Does 17 divide y?
False
Let r = -55 - -57. Does 11 divide (180/r)/((2 - 5) + 4)?
False
Let g(y) be the third derivative of y**5/5 - y**4/24 + y**3/2 - 2*y**2. Is 20 a factor of g(-2)?
False
Suppose -5*u + 698 = 3*m - 3214, 0 = 3*u + 3*m - 2346. Is 27 a factor of u?
True
Let x = -24 + 73. Suppose -3*j - 43 = -m, 5*j + m = -21 - 56. Let o = j + x. Is o a multiple of 14?
False
Let g = -13 - -14. Let c = -44 - -20. Is 14/(-8)*c/g a multiple of 14?
True
Let m = 64 + -98. Let z = 6 + m. Is 6 a factor of (-1)/(-3)*-3 - z?
False
Let f = 15 - 11. Suppose 0 = 3*o - f*b - 174, -4*o + 4*b = -2*o - 120. Suppose g + g = o. Does 7 divide g?
False
Let h be ((-10)/(-6) + -1)/(6/603). Let r = -11 - -15. Suppose o - h = -p + 13, 0 = p - r. Is o a multiple of 33?
False
Let p be 20/6*15/10. Suppose -5*f + 580 = p*m, -2*m = -2*f - 0*m + 232. Is f a multiple of 14?
False
Suppose 5*p = -5*p - 0*p. Suppose 5*r + 277 = 2*t, p = -t - 0*r - 2*r + 116. Does 21 divide t?
True
Let r(k) = -10*k**3 - k**2 - k. Let u be r(-1). Suppose 0 = 3*x + u + 2. Let i(m) = m**3 + 6*m**2 + 3*m. Is 14 a factor of i(x)?
False
Let m be ((-4)/(-5))/(18/225). Let u = -5 + m. Does 4 divide u?
False
Let u(s) be the second derivative of 11*s**4/6 - s**3/3 + s**2/2 + 14*s. Is 17 a factor of u(2)?
True
Let z = 29 + -19. Let h be 102/(-9)*(-15)/z. Let o = -5 + h. Does 6 divide o?
True
Suppose 0 = 5*o + 10, 0 = -q + 19*o - 17*o + 786. Is q a multiple of 34?
True
Let y = 277 + 114. Is y a multiple of 17?
True
Let z(u) be the first derivative of -u**4/4 + 14*u**3/3 + 21*u**2/2 - 20*u - 22. Does 32 divide z(14)?
False
Suppose -15*n - 1671 = -6951. Is 16 a factor of n?
True
Suppose -o = -6*o - 4*g - 7, 0 = -3*o - 4*g - 1. Let q be (o + -1 + 1)*13. Let n = q + 81. Does 21 divide n?
True
Let f be 1/(-5) - 11272/40. Let i = f + 57. Is (-3)/(i/(-78) - 3) a multiple of 11?
False
Let u(t) = t**3 - 8*t**2 + 2. Let k be u(8). Let l be k - (-9)/(1 - -2). Is (-6)/10*l*-13 a multiple of 13?
True
Let i be (-4)/(-4)*(3 + 1). Suppose 2*z = n - 2*z - 63, i*n - 3*z = 291. Is n a multiple of 15?
True
Does 2 divide 125 + ((-1224)/324 - (-2)/(-9))?
False
Let d = -6 - 10. Let w = 17 - d. Does 13 divide w?
False
Let v = -1558 - -1884. Does 33 divide v?
False
Suppose 0 = 4*i - 2*p - 9846, -4*i = -3*p - 13406 + 3559. Is 23 a factor of i?
True
Let o = 63 - 147. Let s = -48 - o. Is s a multiple of 36?
True
Does 54 divide (-2256)/9*-12 - (-70)/10?
False
Let o = -5 - -7. Suppose -45 = -5*u - o*k + 45, -u - 4*k = 0. Suppose -4*l - u + 135 = q, q - 5*l = 142. Is 33 a factor of q?
False
Suppose 3*j = 3, -2*j + 1 = 2*t - 3*j. Let b be t/(-1)*-1*2. Suppose -3*f + 189 = -5*d, 0 = -2*f + 3*d - b*d + 133. Does 17 divide f?
True
Suppose -8 = -2*a + 3*c + 2*c, 5*a = -3*c - 42. Let j be 0 + 245 - (2 + a). Suppose -m + 4*m = j. Is 28 a factor of m?
False
Let c = 2280 + -1280. Is 11 a factor of c?
False
Let m = -25 + 28. Suppose -5*d - 199 = -4*f, -m*d = 3*f + 2*d - 158. Does 24 divide f?
False
Let i(j) = j**3 + 27*j**2 - 162*j + 9. Is i(6) a multiple of 24?
False
Suppose 2 - 8 = 3*x. Is 11 a factor of (-2)/6*x*2247/14?
False
Does 7 divide (1/(-2) + 2)/((-8)/(-1152))?
False
Is ((-407)/74)/((-1)/78 - 0) a multiple of 13?
True
Let t = 96 + -29. Suppose x = 2*j - 21 - 14, 4*j - 5*x = t. Is j a multiple of 4?
False
Let t(m) = -m**2 - 5*m - 20. Let h be t(-6). Let f = 26 - h. Does 12 divide f?
False
Suppose -h - 28 = -33. Suppose h*d - 214 - 186 = 0. Is 16 a factor of d?
True
Let b(p) = 23*p. Let h be b(6). Let r = h - 54. Is 28 a factor of r?
True
Suppose 5*w - 290 = 160. Suppose -6*k - 366 - w = 0. Let l = k - -116. Is 10 a factor of l?
True
Suppose -294 = -p - 2*i, 4*p + 3*i - 518 = 683. Is 8 a factor of p?
True
Let b = 13 - 1. Suppose -b = 3*x - 5*x. Does 5 divide (x + -1)*133/35?
False
Let m be (-3 + 0)*1/(-1) - 357. Is -2 + (-33)/(-15) + m/(-5) a multiple of 12?
False
Let w = 10 - 7. Let x be w/5 + (-21)/35. Suppose -7*d + 10*d - 108 = x. Does 9 divide d?
True
Let k(a) = -a**2 + 16*a - 73. Let x(l) = -4*l + 18. Let g(o) = -2*k(o) - 9*x(o). Is g(6) a multiple of 9?
False
Let l(p) = -p**3 - 20*p**2 + p + 23. Let x be l(-20). Suppose -3*r = -2*g + 20, -x*r = 4*g - 0*g - 76. Does 3 divide g?
False
Let q = 60 - 156. Let n = q - -125. Is 11 a factor of n?
False
Let o = -511 - -801. Is o a multiple of 10?
True
Let c(n) = -6 - 3*n + 2 - 1 - 4. Let b be (-8)/(1/2*2). Does 5 divide c(b)?
True
Suppose 60075 + 46565 = 62*k. Does 10 divide k?
True
Suppose 0 = 4*o - 156 - 992. Is 12 a factor of o?
