of 9?
False
Let u be (-16)/(-6) + (-8)/(-24). Let x = u + 57. Is x a multiple of 4?
True
Let t(b) = -b**3 + 20*b**2 + 24*b - 12. Is t(21) a multiple of 3?
True
Does 20 divide 2/((-2)/(-1)) + 5 + 434?
True
Suppose 0 = 18*p - 13*p - 2135. Suppose -2*b - 5*k + 27 = -174, -4*b - 5*k = -p. Is 23 a factor of b?
False
Is 6/(-39) - (0 - (-9752)/(-13)) a multiple of 10?
True
Suppose g + 5*s - 91 = 0, -5*g + 493 = 3*s - 50. Is g a multiple of 3?
True
Is 21 a factor of (-12366)/(-270) + (-2)/(-10)?
False
Let o = 205 + -488. Let b = -94 - o. Suppose 122 + 67 = 3*y - 5*d, -3*y + b = 4*d. Does 21 divide y?
True
Suppose -5*t + 6*r + 1264 = 4*r, -2*r = -6. Does 21 divide t?
False
Let h = 15 + -15. Let m be 37 - (h - (-2)/(-1)). Suppose 0 = 2*o + o - m. Does 10 divide o?
False
Let g(o) = -o**3 - 13*o**2 + 13*o. Let p be g(-14). Suppose 5*v - 1 - p = 0. Suppose 5*n + 27 = 3*l - l, -4*l - v*n = -41. Is 6 a factor of l?
False
Let a be ((-5)/(-4))/((-3)/228). Let i = 251 + -60. Let y = i + a. Does 32 divide y?
True
Suppose 5*z = 2*z + 120. Suppose n + 0*n = z. Does 20 divide n?
True
Let o(m) = -77*m - 105. Is 14 a factor of o(-5)?
True
Suppose -652*x = -647*x - 1235. Is 19 a factor of x?
True
Let n be -9 + 11 - (-1)/1. Suppose n*o + 9 = -5*p, -o + 2 = p + 5. Suppose -3*k - k - 54 = -2*t, -t + 4*k + 19 = p. Is t a multiple of 8?
False
Let h(x) = -101*x - 270. Does 17 divide h(-19)?
True
Let t = 14 - 12. Suppose -t*h + 14 = -30. Does 13 divide h?
False
Suppose 11*a = 6*a - 150. Let o = a + 32. Suppose 0 = -o*c + 4*c - 110. Does 11 divide c?
True
Suppose 0 = 23*v - 18*v - 615. Let d = -88 + v. Does 7 divide d?
True
Let d = -324 - -416. Is d a multiple of 4?
True
Suppose 140 = b + 371. Let w = b - -461. Is 46 a factor of w?
True
Suppose 0 = -5*z + 87 + 148. Let i = z - 29. Is i a multiple of 6?
True
Let m = -1 - -4. Suppose 2*l = 5*d - 0*l + 153, 0 = -3*d - l - 94. Is 7 a factor of (m - d)/((-4)/(-2))?
False
Let v = 11 + -10. Let s = v - 7. Does 7 divide (s/(-10))/(8/200)?
False
Suppose -16 + 1 = -5*j. Let m be 86*(j + 21/(-6)). Let d = m + 64. Is 18 a factor of d?
False
Suppose -4*q = -5*u - 606, 2*q - 342 = 4*u + 144. Let n = -78 - u. Does 20 divide n?
False
Let d(a) = 371*a**2 - 4. Let u be d(-2). Suppose -10*f = 150 - u. Is f a multiple of 9?
False
Suppose -69 = -2*w + 171. Let b = 181 - w. Is 33 a factor of b?
False
Let x = 12 - 10. Let f(v) = -2*v + v**3 + 4*v**2 - v - 5 + 0*v**3 + 7*v**x. Does 15 divide f(-11)?
False
Suppose 7 - 14 = -a. Let i(n) = 18 - 7*n**2 + 6 - 18 + n**3 + 3*n. Is 11 a factor of i(a)?
False
Suppose t - 4*t + 66 = 0. Suppose 5*o - 2*u - 5 + 56 = 0, 3 = -o + 4*u. Let l = t + o. Is l a multiple of 11?
True
Let d(w) be the third derivative of -w**6/24 - w**5/30 + w**4/24 + w**3/3 - 10*w**2. Let v be d(-1). Suppose 0 - v = -k. Does 4 divide k?
True
Suppose -f - 5 = -2, 0 = -u - 5*f - 2. Let b(h) = -h**2 + 10*h - 13. Let k be b(9). Let y = k + u. Does 9 divide y?
True
Suppose -4*l = -4*z + 16752, 1218 = z + 2*l - 2973. Does 12 divide z?
False
Let m = -77 + 48. Let n = m - -25. Is 9 a factor of (n + 4)/(-3) + 27?
True
Let t = 7 + -73. Let z = t - -130. Does 16 divide z?
True
Suppose f - 5*h + 19 = 0, 0*f + 2*f = 2*h - 46. Let j be (-13 - -1)*678/f. Suppose 0 = 2*d + 5*w - 123, -d = 4*d + 2*w - j. Does 23 divide d?
True
Suppose 11*j = 6*j - 410. Let q = j + 207. Is q a multiple of 20?
False
Let j be 9/(-3) - -8 - 1. Suppose j*z - 3*z - 1 = -4*h, 10 = 5*h. Is 14 a factor of (-3)/z - 855/(-63)?
True
Let o = 105 + -28. Suppose 5*b = 3*k - 0*k + o, -2*k - 49 = -b. Let x = k + 41. Is 8 a factor of x?
False
Let a(q) = 4*q**2 - 6*q + 48. Is 4 a factor of a(4)?
True
Does 30 divide (6 + -14)/(-8) + 239?
True
Let d(w) = -w**3 - 4*w**2 - 7*w - 10. Let z be d(-3). Let y(x) = 34*x**2 - 2*x + 1. Is 19 a factor of y(z)?
True
Let b = -56 - -385. Is b a multiple of 65?
False
Let c = -814 - -974. Does 10 divide c?
True
Suppose 0 = -15*b + 34*b - 20197. Is 51 a factor of b?
False
Suppose 85*z = 29*z + 71400. Does 17 divide z?
True
Suppose -3*f = -l - 12, -f = -4*f + 3*l + 12. Suppose 0 = -f*a + 322 + 98. Is 15 a factor of a?
True
Let a = -13 + 15. Suppose -3*r - 20 = -a*u - 0*r, -3*u + 4*r = -31. Does 5 divide u?
False
Suppose -3 = -5*j + 27. Is 64/j*(-105)/(-10) a multiple of 23?
False
Suppose -120*w + 79265 = -37*w. Does 9 divide w?
False
Let c be (-270)/(-20)*2/3. Suppose 4*s - 11 = c. Suppose -j = -0*j + 3*h - 7, 2*h = s*j - 35. Does 3 divide j?
False
Let b(g) = -4*g - 7. Let o be ((-60)/(-35))/((-3)/21). Let v be b(o). Suppose -5*u + 351 = v. Is u a multiple of 31?
True
Let z(k) = -k**2 - 4*k - 10. Let r be z(-10). Let p = r + 106. Is p a multiple of 12?
True
Let n = -31 + 28. Let d = 14 + n. Does 4 divide d?
False
Let v be (-42)/(-15) + (-1)/(-5). Let b(s) = s**2 + s - 5. Does 7 divide b(v)?
True
Let j = 9 + 4. Let b(t) = t - 15. Let g be b(j). Is 6 a factor of (-21)/9*(-5 - g)?
False
Let w be ((-1162)/(-3))/7 - 1/3. Let n = -31 + w. Is n a multiple of 3?
True
Let f(i) = i + 14. Let m be f(-17). Does 7 divide 1/m + (-98)/(-6)?
False
Let p(j) be the third derivative of -j**6/120 - j**5/20 + j**3/3 + 3*j**2. Let f be p(-3). Suppose 0 = 2*t + 10, f*t - 7 = -w + 7. Does 9 divide w?
False
Let d(q) = q**3 - 3*q**2 - 7*q - 5. Let c be -3 - (-1 - -1*4). Let j(t) = 2*t**3 - 7*t**2 - 14*t - 10. Let g(o) = c*j(o) + 13*d(o). Is 2 a factor of g(-4)?
False
Suppose s = -3*k + 4, s - 9 = 2*k + 4*s. Suppose 69 = a - 5*i + 4*i, 0 = -2*a - k*i + 123. Does 11 divide a?
True
Let y = -1802 + 2616. Is y a multiple of 11?
True
Suppose 3*r + 22 = -2. Let h = r - -9. Let z(s) = 6*s**2 + 2*s - 2. Is z(h) a multiple of 2?
True
Let l(p) = 2*p + 28. Let o(k) be the second derivative of -k**3/6 + k**2/2 + 8*k. Let y be o(1). Is l(y) a multiple of 7?
True
Suppose -2044 - 3551 = -5*h + 7*w, -3*h + 3361 = -5*w. Is h a multiple of 51?
False
Does 4 divide 309 + (-1)/(1/(-7))?
True
Let u = -12 + 2. Let r(h) = -3*h + 10. Let j be r(u). Suppose -6*z + 3*f = -2*z - j, 3*f = z - 19. Is z a multiple of 3?
False
Suppose 3*o - 91 = 5*m, 4*o - 3*m = 2*o + 59. Does 5 divide o?
False
Suppose 7*f = 6 - 55. Is 29 a factor of (f*6/(-21))/(2/29)?
True
Suppose 3*o + 85 = -2*v, -v = 4*o - 3*v + 118. Let l = 27 - o. Is 6 a factor of l?
False
Let y(g) = -5*g**2 - g. Let w be y(2). Let r = w - -25. Suppose 4*l - 72 = -a, 3*l + 7*a - r*a = 54. Does 3 divide l?
True
Suppose -2*s - 7 = 11. Let m = s + -12. Let a = 69 + m. Is 12 a factor of a?
True
Suppose -2*d + 26 = -4*n, -d + 4*d = -2*n - 9. Is 4/n - (-715)/15 a multiple of 9?
False
Suppose -4*y + 0*j + 3*j = -5, 6 = 5*y - 4*j. Suppose -2*c + 90 = y*l + c, 3*l - c - 157 = 0. Is 3 a factor of l?
True
Suppose -u + 2*q = 6*q - 27, -4*u = 5*q - 75. Suppose 3*t = -2*d + u + 55, 3*d = t - 38. Is 7 a factor of t?
False
Suppose 0 = -2*f - h + 4*h - 6, -23 = -5*f - 2*h. Suppose 0 = -f*y - 122 + 347. Does 25 divide y?
True
Let o = -198 + 311. Does 25 divide o?
False
Let m = -319 + 367. Is 48 a factor of m?
True
Suppose 0 = 11*r - 6*r. Suppose m - 1 - 4 = r. Suppose 0 = m*w - w - 144. Is w a multiple of 12?
True
Let a(c) = c**3 - 4*c**2 + 4*c + 4. Let m be a(4). Let d = m + -17. Suppose -d*l + 69 = -0*l. Is l a multiple of 23?
True
Suppose 5*p = 2*h - 5*h + 11961, 15925 = 4*h - p. Is 11 a factor of h?
True
Let q(u) = 9*u - 8. Let v be q(2). Is 24 a factor of 3 - 5/(v/(-234))?
True
Let n(y) = -y**3 - 8*y**2 - 10. Let i be n(-9). Let r = 172 - i. Let x = r + -29. Is x a multiple of 12?
True
Let k(b) = -38*b + 10. Let h be k(3). Let x = 147 + h. Does 24 divide x?
False
Suppose -1 = -i - 0. Let o(y) = -y**3 - y**2 + 1. Let t(h) = -29*h**3 + 7*h**2 - h - 5. Let c(d) = -6*o(d) - t(d). Does 17 divide c(i)?
True
Let z(t) = 73*t + 23. Does 15 divide z(4)?
True
Let k(m) = -17*m**3 + 4*m**2 - 6*m - 5. Let s(t) = 33*t**3 - 7*t**2 + 12*t + 10. Let p(l) = -5*k(l) - 3*s(l). Does 17 divide p(-2)?
False
Let i(q) = 5*q**2 - 12. Let v(s) = -4*s**2 + s + 13. Let r(x) = -3*i(x) - 4*v(x). Is r(-9) a multiple of 17?
False
Let g(u) be the first derivative of -u**2/2 + 45*u + 10. Does 32 divide g(13)?
True
Let f = -11 + 11. Let a = -3 + 28. Let z = a - f. Is 5 a factor of z?
True
Suppose 3*c = 2*c + 12. Let o be (c/30)/(1/10). Suppose 5*b + o*k - 74 - 85 = 0, 4*b = 2*k + 122. Is b a multiple of 3