a multiple of 9?
False
Suppose 17*a - 903 = 14*a. Is 22 a factor of a?
False
Suppose -4*s = -3 - 5. Let a = 23 + s. Does 15 divide a?
False
Suppose 2*n - 7 = -3. Suppose n*m + 124 = 4*j, -j + 2*j - 2*m - 28 = 0. Does 4 divide j?
True
Does 9 divide (33/2)/((-3)/(-144))?
True
Suppose 4*j - 4*m - 864 = 0, -4*j + 3*m + 866 = -0*j. Is 20 a factor of j?
False
Let r(s) = 8*s - 60. Let v be r(10). Is 36 a factor of (-2)/5 + 1508/v?
False
Suppose -408 = -5*h + 872. Is 14 a factor of h?
False
Let l(r) = -r**3 + 2*r**2 - r + 3. Let g be l(3). Let f be 4/10 + 98/5. Let u = g + f. Does 6 divide u?
False
Let b(s) be the first derivative of s**4/4 + 8*s**3/3 + 5*s**2/2 - 16*s + 37. Does 6 divide b(-6)?
False
Suppose -2*r - 5*a = -35, 0 = -3*r + 6*r - 5*a - 40. Suppose -r*q = -21*q + 1710. Does 20 divide q?
False
Suppose r = -3 - 3. Is -6 + 2 - 246/r a multiple of 8?
False
Let g(q) = 3*q**2 + 7*q + 8. Let c be g(-3). Suppose -c*p + 138 = -758. Is 16 a factor of p?
True
Suppose 2*n - 4*u - 20 = 0, -n + 5 + 15 = -4*u. Let a = -3 - -14. Let m = a - n. Does 11 divide m?
True
Let r(h) = -3*h - 3*h + 5*h + 4*h - h**2. Let d be r(3). Suppose d*y = -2*y + 68. Is 18 a factor of y?
False
Suppose -6*p + 8 = 32. Let k be (9/(-6))/(p/288). Suppose -z = 2*z - k. Is z a multiple of 9?
True
Suppose 48 = 9*s - 42. Is 25 a factor of ((-135)/s)/9*-58?
False
Let h = 22 + -15. Suppose -h = -v + 27. Suppose -4*u = -5*u + v. Is 17 a factor of u?
True
Is -4 + 210 - 2/(5 - 4) a multiple of 23?
False
Let j = 5 + -1. Suppose -2*c + 5*c - 19 = -j*x, 0 = 2*x - 5*c - 29. Let m = 47 - x. Does 12 divide m?
False
Let m(s) = -s**3 - 5*s**2 - 7*s + 31. Is m(-7) a multiple of 35?
False
Is 19/((-133)/(-2)) + (-2049)/(-7) a multiple of 16?
False
Let k be -8*((-21)/(-12) + -2). Suppose -s + 4*b - k*b = -98, -5*s = -2*b - 490. Is 14 a factor of s?
True
Let q be (-3*29)/3*-1. Let o = 127 + q. Is 38 a factor of o?
False
Let x = -5332 - -8456. Does 70 divide x?
False
Let h(k) = -k**3 - 12*k**2 + 15. Let w be h(-12). Let o = 35 + w. Let b = o - -14. Is 16 a factor of b?
True
Suppose 19*w - 11781 = -14*w. Is 15 a factor of w?
False
Is 3 a factor of 4*441/28 + 7?
False
Let r = 8 + -23. Let f(b) = -9*b + 1. Is f(r) a multiple of 17?
True
Let f be (-73)/(-4) + (-2)/8. Let z = 46 + f. Suppose -y + z = 3*y. Is 8 a factor of y?
True
Suppose 65 = 7*n - 26. Let i(d) = 12*d - 10. Is i(n) a multiple of 20?
False
Suppose w + x = -0*x - 54, -234 = 4*w - 2*x. Let o = -368 + 266. Let i = w - o. Does 26 divide i?
False
Is 11 a factor of 51*(-22)/33*-26?
False
Suppose 2*i = -u + 1799, -3*i - 7*u + 2698 = -5*u. Does 56 divide i?
False
Suppose -4*y + 3*p - 11 = -5*y, 0 = -5*y - 2*p + 42. Suppose 5*z = 2*i + 433, 5*z - 445 = y*i - 3*i. Does 17 divide z?
True
Let m = 157 + -124. Suppose 6*y + m = 183. Does 25 divide y?
True
Let t = 421 + -174. Is t a multiple of 10?
False
Let r = -602 + 887. Is 19 a factor of r?
True
Suppose 0 = 3*x + 2 + 4. Let c be 0 - (5 + -1)/x. Suppose 2*n - 14 - c = 0. Is n a multiple of 6?
False
Let a be (6*(-66)/(-108))/((-2)/(-6)). Let v(w) be the third derivative of w**5/60 - w**4/24 - 5*w**3/3 - w**2. Does 25 divide v(a)?
True
Suppose 9*l - 14*l - 1115 = 0. Let n = -73 - l. Does 30 divide n?
True
Let l be (-42)/(-9) + (-4)/6. Suppose -l*y + y + 4*o = -274, 0 = -3*y - 4*o + 242. Suppose 4*i = -5*c + y, -2*i - 3*c - 7 + 51 = 0. Is 16 a factor of i?
False
Let g(h) = -h**2 + 25*h - 46. Let b be g(22). Suppose i + b = 80. Does 11 divide i?
False
Suppose -3*g - 5*x = -4930, 0 = 2*g - 0*x + x - 3282. Is g a multiple of 82?
True
Let y = -21 - -26. Suppose -4*n = -y*v - 27, 15 = n - 3*v + 3. Is n even?
False
Let s(d) = -d**2 + 16*d + 22. Let b be s(17). Does 7 divide 2*((-140)/b)/(-4)?
True
Let j = -28 - -51. Let t = 33 - 58. Let c = j - t. Is c a multiple of 24?
True
Let o(u) = 8*u**2 - 24*u - 400. Is 10 a factor of o(-17)?
True
Let t = -2233 + 5946. Is t a multiple of 79?
True
Does 22 divide (3 - -338)/((-2 - -3)/2)?
True
Suppose 4*b = 4*v + 12, 3*v = -3*b + 5*b - 9. Suppose 0 = -z - b*z + 9. Is z a multiple of 3?
True
Suppose 0 = -17*a + 15*a + 4. Is 4 - (-2 - a - 305) a multiple of 58?
False
Let j(n) = -n**2 + 4*n + 9. Let x be j(5). Let m be 0*(14/x - 3). Suppose 47 = -m*g + g. Is g a multiple of 14?
False
Suppose -5*g = -4*z - z - 35, -5*g - 1 = -2*z. Let c be 3*z/9*11. Let w = 28 - c. Is 24 a factor of w?
True
Let x = 2110 - 922. Does 66 divide x?
True
Suppose 6*d + 0*d = -468. Let p = 141 + d. Does 16 divide p?
False
Let h(o) = -20*o**3 + o**2 + 2*o - 1. Let n be h(1). Let w = n - -81. Does 4 divide w?
False
Let t be 8 - -3*((-2)/(-3) + -2). Suppose 438 = -t*o + 10*o. Is o a multiple of 36?
False
Let y be 102/(4/10 + 0). Suppose -3*f + y = 2*k, -4*f - 189 + 529 = -5*k. Is 18 a factor of f?
False
Let u be (4/3)/((-2)/(-66)). Let z be (-7 - -4) + (0 - -79) + -1. Let r = z - u. Does 10 divide r?
False
Let g be -141 + 1 + 1/1. Let y = g + 307. Is y a multiple of 11?
False
Let t = -20 + 29. Let u = 15 + -16. Let f = u + t. Does 4 divide f?
True
Suppose -3*f = -14 - 1. Suppose b - f = 5*j, -3*b = 2*b + 5*j - 25. Suppose -3*g + b = -2*l + 2*g, -3*l + 2*g = -20. Is l a multiple of 5?
True
Suppose 1542 = 3*q - 3*z, 2054 = 4*q - 9*z + 7*z. Does 2 divide q?
False
Let c(x) = -41*x - 343. Is 23 a factor of c(-29)?
False
Let a(w) be the first derivative of -w**5/120 + 3*w**4/8 + w**3/3 + 5. Let i(c) be the third derivative of a(c). Does 7 divide i(-5)?
True
Let l(d) = -2*d**2 + d + 7. Let k be l(3). Is 11 a factor of k/2*(2 + (-37)/2)?
True
Suppose -x = -29 - 15. Suppose 42 = 5*i - 0*d - 4*d, 2*d = -4*i + x. Is 3 a factor of i?
False
Is 48*(-1 - 35/(-14)) a multiple of 36?
True
Let h = 35 + -31. Suppose -3*z + 74 = 5*p, h*z + 3*p - 7 = 77. Is 6 a factor of z?
True
Let p = -82 + 48. Let q = -6 - p. Does 5 divide q?
False
Let y(p) be the third derivative of -p**4/24 - 2*p**3 + 2*p**2. Let t be y(-9). Let d = t + 10. Is d even?
False
Let r(b) = -b - 1. Let f be r(-4). Suppose 5*u = f*j - 46, -5*j + 26 = 2*u - 30. Is 9 a factor of j/(-16) + (-78)/(-8)?
True
Let u = 602 - 218. Is u a multiple of 7?
False
Let s(x) = x**2 + 16*x + 115. Is s(-29) a multiple of 13?
False
Suppose 0 = 4*j + 20, 4*d - 621 = 2*j - 47. Does 47 divide d?
True
Let c be (-68)/(-5)*(13 + -8). Suppose 3*b = 7*b - c. Is b a multiple of 5?
False
Suppose 0*d + 51 = -3*d. Let z = -9 - d. Let u = z + -1. Is 2 a factor of u?
False
Suppose -3818 = -6*v + 184. Does 23 divide v?
True
Let j(v) = -259*v - 278. Is j(-12) a multiple of 42?
False
Let v(x) be the first derivative of -6*x**2 + 4*x - 50. Does 52 divide v(-4)?
True
Let h(k) = 859*k + 333. Does 21 divide h(2)?
False
Suppose v - 12 = 7*v. Is v/(-11) + ((-7360)/(-55) - 3) a multiple of 7?
False
Let b(v) = -v**2 - 8*v - 3. Let m be b(-7). Suppose -12 = -o + m*o, -o = 4*z - 12. Is z a multiple of 4?
True
Suppose l - t - 287 = 0, -3*l = -4*t + 6*t - 856. Is l a multiple of 11?
True
Let h = -46 - -48. Suppose 0 = -h*w - 3*w, 0 = g + 3*w - 120. Is g a multiple of 24?
True
Suppose -86*g + 89*g - 672 = 0. Is 14 a factor of g?
True
Let h(d) be the third derivative of 7*d**6/120 - 5*d**4/24 + d**3/2 - 21*d**2. Is 7 a factor of h(2)?
True
Let v(d) = 17*d - 46. Does 64 divide v(14)?
True
Suppose -5*i - 3*w + 6 = -0*i, i = -w + 2. Suppose 0*p - p + 21 = i. Is p a multiple of 17?
False
Let q(i) = -5 + 22 - 37*i - 8. Is q(-3) a multiple of 30?
True
Let s = 50 + -41. Suppose 0 = l - s*l + 72. Does 9 divide l?
True
Let a = -22 + 43. Is 6 a factor of a/105 - (-64)/5?
False
Let h = -53 + 61. Suppose h*c + c = 675. Does 17 divide c?
False
Let b(i) = 2*i - 4. Let u be b(0). Let c(w) = -w**3 - 8*w**2 + 11*w + 8. Let f be c(-9). Let k = u - f. Does 2 divide k?
True
Let w = 960 + -360. Does 15 divide w?
True
Suppose 5*k + 0*k = -15, -51 = -4*r + k. Let b = -6 + r. Let n(h) = h**2 - 2*h + 3. Does 10 divide n(b)?
False
Let o(d) = -d**2 + 12*d - 18. Let p be o(8). Let k = p + -45. Let i = k + 56. Is 19 a factor of i?
False
Let t be -4 - 122/(-18) - (-2)/9. Suppose -t*r = 10*r - 1508. Does 24 divide r?
False
Let h = 1786 - 1306. Is 25 a factor of h?
False
Let g = -2111 - -3517. Does 19 divide g?
True
Let l(c) = -c**2 - 8*c + 10. Let m be l(-8). Let k = 19 - m. Does 2 divide k?
False
Let d(v) = v**2 + 6*v - 8. Let c be d(