be (x/(-10))/4*5. Is 5 a factor of w(n)?
False
Let f(b) = 8*b**2 - 37*b + 25. Is f(6) a multiple of 9?
False
Let i(w) = -w**2 - 6*w + 7. Let h be i(-7). Suppose x - j - 21 = h, 2*j + 3*j - 10 = 0. Is x a multiple of 7?
False
Let q = 6 - 2. Suppose 3*j - 108 = -4*d, 0 = -d - q*j + 9 + 5. Let h = 44 - d. Is h a multiple of 14?
True
Let k(u) = -u**2 + 11*u + 12. Let d(a) = -2*a - 13. Let p be d(-6). Let q be 0 - (p + 5) - -14. Does 12 divide k(q)?
False
Suppose -2*s - 4*l = -2208, -46*s - 4*l = -41*s - 5508. Does 10 divide s?
True
Is (-552)/30*(3 - (0 + 18)) a multiple of 12?
True
Let o(f) = 76*f + 9. Let c be o(-1). Let r = c - -92. Does 10 divide r?
False
Is 5 a factor of 10802/110 + (-3)/15?
False
Suppose 4*s = b + 1203, -4*s + 1205 = 6*b - 5*b. Is 5 a factor of s?
False
Suppose -3*x = 5*a - 360, x - 309 = -4*a - 21. Does 4 divide a?
True
Let m = -1596 - -3072. Is 30 a factor of m?
False
Let q(k) = -25 - 7 + 47*k - 2*k**2 + 20. Does 18 divide q(21)?
False
Let g be (170 + (-20)/5)/(-2). Let z = 230 + g. Does 12 divide z?
False
Let r = -459 - -587. Does 32 divide r?
True
Let o(k) = 3*k**3 + 4*k**2 + 2. Let v be o(3). Let b = -209 + v. Let q = -61 - b. Is q a multiple of 6?
False
Let m be (5 + 1)*(-3)/(-6). Is m*-16*(1 - 2) a multiple of 16?
True
Let n = 51 - 63. Let y(v) = 5*v - 6. Let o be y(6). Let c = o + n. Is 4 a factor of c?
True
Let o = 2015 - 728. Does 33 divide o?
True
Let i = -34 - -51. Let l = -15 + i. Suppose 2*c - 120 = -l*c. Does 10 divide c?
True
Let m be (0 + 1)/((-6)/18). Does 3 divide (-17)/(-2) + m/6?
False
Let f be (-155)/30 + (-1)/(-6). Let j = f - -32. Is 11 a factor of j?
False
Let a(f) = -f. Let v(w) = -2*w**2 + 6*w + 2. Let m(q) = 2*a(q) - v(q). Let t be m(6). Suppose -3*l - 6*r = -5*r - t, 17 = 3*l - 4*r. Is l a multiple of 4?
False
Suppose -2*c + 2633 = j, 3 = j + 6. Is c a multiple of 94?
False
Suppose 4*t = 5*t - 2. Suppose 0 = -t*n + n + 440. Suppose 65 = -5*s + n. Is s a multiple of 39?
False
Let j(m) be the third derivative of -m**6/120 + m**5/6 + 11*m**4/24 + m**3 + 9*m**2. Let y be j(11). Suppose -20 = -x - 3*n + y, 12 = 3*n. Is 7 a factor of x?
True
Suppose x - 736 = -45*x. Let c(q) be the first derivative of -q**3/3 + 19*q**2/2 - 7*q + 1. Is 20 a factor of c(x)?
False
Suppose -3500 = -3*h - 3*x + 8*x, -h - x = -1172. Is h a multiple of 65?
True
Is 38 a factor of (156/9)/((-10)/(-210))?
False
Let m = -2 + 13. Suppose -13 - m = -6*k. Suppose 2*t = 4*o - 80, -5*o + k*t = -4*o - 34. Does 4 divide o?
False
Let j(h) = h**2 - 6*h - 9. Let p be j(8). Let x be 429/77 + 3/p. Let b = 19 - x. Is 13 a factor of b?
True
Let y = 94 + -67. Suppose y = r - 2*r. Let a = 39 + r. Does 4 divide a?
True
Let m = 18 - 19. Is (-230)/(-6) - 2*m/3 a multiple of 13?
True
Suppose -5 = -4*j - 5*x, -3*j = -j - 3*x + 25. Let k = -6 - j. Is 4/k - 6/(-1) a multiple of 2?
True
Suppose 4*w - 22 = -134. Let u be (-8)/w - 36/(-21). Is 16 a factor of 12*(u - (-27)/6)?
False
Let n = 139 + 45. Suppose 28*q = 30*q - n. Is 17 a factor of q?
False
Suppose -2*v + 9*v + 98 = 0. Let w = v - -31. Does 4 divide w?
False
Let x = -10 - -5. Let m(a) = -a**2 + 12*a - 38. Let v be m(7). Is 25*(9/x - v) a multiple of 7?
False
Let x(p) be the third derivative of p**5/20 + p**4/12 - p**3/6 - p**2. Let y(k) = -k**3 - 7*k**2 + 9*k + 6. Let u be y(-8). Is x(u) a multiple of 6?
False
Suppose -5*l = 4*u, 0 = 2*l - 5*u - 0*u. Suppose l = r + 72 - 18. Is r/15*20/(-6) a multiple of 6?
True
Let s = 75 + 105. Does 20 divide s?
True
Let d(p) = p**2 - 15*p - 11. Let v be d(16). Suppose -v*s - 7 = -47. Is 2 a factor of s?
True
Let h(g) = -g**3 + 10*g**2 + 15*g - 22. Let y be h(11). Suppose 2*m - 3*m + 1 = -2*q, 0 = m + 3. Is q + y/(8/4) a multiple of 3?
True
Let y = -4 - -7. Suppose -2*o - 16 + 122 = 0. Suppose 5 = f + y*l, -f - l + o = 4*f. Is 3 a factor of f?
False
Let v(i) = -i. Let l(j) = 20*j + 4. Let o(b) = -l(b) - 12*v(b). Suppose p + 52 = -3*p - 4*z, -5*p - 45 = z. Does 12 divide o(p)?
True
Suppose 5*m - 342 = 2*m. Let y = 174 - m. Does 10 divide y?
True
Let d(k) = -3*k - 15. Let m be d(-5). Is 7 a factor of -1 + m + 18 - 1?
False
Let c(t) = 7*t. Let f be c(16). Let l = -39 + f. Does 17 divide l?
False
Let r(g) = g**2 - 7*g + 4. Let o be r(3). Let z be (12/o)/((-3)/(-8)). Is 13 a factor of (-1 - z) + 23/1?
True
Suppose d - 10 = -4*u, 5*u - 10 = -3*d + 55. Let r = d + 90. Suppose 0 = 7*a - a - r. Is a a multiple of 20?
True
Let b(i) = i**2 - 1. Let q(w) = -12*w**2 - w + 3. Let l(v) = -5*b(v) - q(v). Let z be l(2). Suppose r + t - 69 = z, 3*r + t = 313. Is r a multiple of 27?
False
Let f = 158 + -97. Let c = 115 - f. Is c a multiple of 4?
False
Suppose -b = 2*g + 49, b = 3*g + g + 83. Does 9 divide (g/(-6) + (-2 - -1))*9?
False
Let n(b) = b**3 + 12*b**2 - 17*b + 40. Is 32 a factor of n(8)?
True
Let v(z) = -83*z**3 - 3*z**2 + z + 3. Is 5 a factor of v(-1)?
False
Suppose -397 = -3*s - 103. Let z = s + -53. Is z a multiple of 9?
True
Let z = -14 - -14. Suppose -5*j + 2*q - 13 = 0, -q + z*q = 5*j + 16. Is (2 - -3)*(-3)/j even?
False
Suppose -2*z - 4*r + 28 + 36 = 0, -r = 5*z - 151. Is 20 a factor of z?
False
Let b(a) = 26*a**2 + a - 19*a**2 + a - a**3. Let j be b(4). Suppose -j = -3*p - r, -5*p = -r - 27 - 61. Is p a multiple of 9?
True
Let n = 337 - 141. Is n a multiple of 14?
True
Let b = -38 - -67. Suppose -b*a + 96 = -26*a. Is a a multiple of 6?
False
Let f = 471 + -105. Does 4 divide f?
False
Suppose 16*x - 8*x = 5400. Is x a multiple of 45?
True
Let c = 322 + -63. Is 31 a factor of c?
False
Let o(b) = 2. Let k(h) = -h**2 - 1. Let m(a) = -k(a) - o(a). Let g be m(-1). Suppose -5*d - 3 = y - 32, y + d - 9 = g. Is 4 a factor of y?
True
Let s(k) = 9*k**3 + 12*k**2 - 14*k + 13. Is 36 a factor of s(5)?
True
Suppose 4095*s = 4104*s - 12384. Is s a multiple of 140?
False
Suppose -5*n - 2*m + 56 + 41 = 0, 0 = -2*m + 2. Let r = n + -16. Suppose p + x - 14 = 0, 4*p + 5*x - r*x = 60. Does 4 divide p?
True
Suppose -2*d + 0*d - 116 = -3*o, 3*d + 48 = o. Is 9 a factor of o?
True
Suppose -3*z + 129 = 42. Suppose 5*p = 4*p - 2*d - 1, -z = 2*p - 5*d. Is 20 a factor of (30/p)/((-5)/35)?
False
Let p(k) be the second derivative of -3*k**3/2 - 2*k**2 - 3*k. Let q be p(-6). Suppose 2*c = 10 + q. Does 15 divide c?
True
Suppose -4*q + 11 = -1. Suppose 12 = -4*u, -5*a - 8 = -u - 31. Suppose -q*v = a*v - 280. Is 5 a factor of v?
True
Let f(p) be the third derivative of p**6/120 + 2*p**5/15 - p**4/3 - p**3/6 + p**2. Let l be f(-9). Is 14 a factor of (l/(-25))/(2/110)?
False
Let k(b) = -b**3 - 25*b**2 - 3*b - 50. Does 5 divide k(-25)?
True
Is (15/30)/((-2)/(-268)) - -1 a multiple of 4?
True
Let y be -22 + (-2 - -2) + -1. Does 12 divide (-1 + 2)*1 - y?
True
Let j = -200 + 296. Suppose -117 = -5*q + 2*q. Let s = j - q. Is s a multiple of 17?
False
Let n = -2146 - -3893. Does 11 divide n?
False
Let r = 991 + -295. Does 8 divide r?
True
Suppose 46236 - 10196 = 34*l. Is l a multiple of 5?
True
Suppose 200*s + 532 = 202*s. Is s a multiple of 14?
True
Is 76 a factor of (192/240)/(1/3895)?
True
Suppose -12*j + 15420 + 12348 = 0. Is j a multiple of 13?
True
Let k(z) = -3*z + 42. Let c be k(15). Is (-154)/((c + 2)*1) a multiple of 14?
True
Suppose 4*y + i = -0*i + 21, -3*y = -2*i - 2. Let j be (-7)/14*(-8)/1 + -3. Does 24 divide y + -3 + 70 + j?
True
Suppose 14*w - 18*w = 0. Let n be 3/6 + 3/2. Suppose -7*s + n*s + 130 = w. Is 13 a factor of s?
True
Let k be (11/22)/(2/16). Let r = 54 - 52. Suppose 22 - 99 = -r*p + b, 0 = -k*p - 2*b + 134. Is 18 a factor of p?
True
Let c(v) = 3*v**2 - 53*v + 8. Let w(b) = b**2 - 18*b + 3. Let r(a) = 3*c(a) - 8*w(a). Is r(16) a multiple of 8?
True
Let w be -2 - 111 - (1 + -2)*2. Let p = w - -211. Is p a multiple of 20?
True
Suppose -19*w = w - 8800. Does 10 divide w?
True
Suppose -3*m - 1049 + 440 = 0. Let d = m - -313. Is d a multiple of 22?
True
Suppose 0 - 4 = k. Let f = k - -8. Suppose -175 + 7 = -f*g. Is 14 a factor of g?
True
Let y(w) = -23*w - 57. Is y(-9) a multiple of 5?
True
Let x(i) = i**2 + 10*i + 210. Is 18 a factor of x(-35)?
False
Let n be (352/56)/((-4)/(-14)). Let u = n + -26. Is 23 a factor of 71/3 + u/6?
True
Let q(z) = -z**3 + 18*z**2 - 26*z - 36. Is 5 a factor of q(16)?
True
Suppose t + 2*j = -2*j + 39, -270 = -5*t + 5*j. Is 15 a factor of t?
False
Let