 = o + 8. Let t be z(-6). Let w be t/5 - (-716)/10. Suppose 0 = -3*u + w + 9. Is 9 a factor of u?
True
Is 53 a factor of (2/6)/((-10)/90) + 1805?
True
Let m = 514 - 330. Suppose 52 = -3*n + m. Is n a multiple of 11?
True
Let d(a) = a**3 + 14*a**2 + 19*a + 6. Is d(-9) a multiple of 20?
True
Let d(k) = -k**2 + 82*k - 305. Is d(75) a multiple of 11?
True
Suppose 10 = -3*u + 3*b + 1, 5*u + 2*b + 50 = 0. Let h(q) = -9*q + 2. Is h(u) a multiple of 37?
True
Suppose 0 = 5*o - 2*t - 403, -2*o = -3*o - 5*t + 59. Suppose l = -5*b + 425, -l + 0*l - o = -b. Is b a multiple of 12?
True
Let i(r) = 5*r**2 - 13*r - 4. Let o be i(5). Suppose -k + 3*b = 47, 2*b = 3*k + o + 113. Let d = 139 + k. Is d a multiple of 16?
True
Suppose 40*a = 35*a + 395. Is 2 a factor of a?
False
Let h(z) = 2*z**2 - 9*z + 1824. Is 38 a factor of h(0)?
True
Let y = 44 - 15. Let k be (-2)/1*y/(-2). Suppose -k - 1 = -3*j. Does 10 divide j?
True
Let x = -230 - -432. Suppose x*g = 199*g + 288. Does 6 divide g?
True
Suppose 76 = -4*a - s, -16 + 108 = -4*a + 3*s. Is 10 a factor of 9/(-15) + 1 + (-552)/a?
False
Suppose -12*z - 24219 = -21*z. Is z a multiple of 70?
False
Suppose 27*k - 8 = 25*k. Suppose -87 - 465 = -k*x. Does 19 divide x?
False
Suppose -665*m + 661*m + 480 = 0. Does 60 divide m?
True
Suppose -5*q - 48 = 547. Let n = -80 - q. Does 7 divide n?
False
Suppose -4 = 14*q - 15*q. Suppose -4*g + r + 2*r = -22, -3*g = q*r - 4. Suppose c + g*c = -4*s + 245, 0 = c - 2*s - 63. Does 10 divide c?
False
Suppose 0 = -3*t - 15, 3*d - t + 2*t = 1474. Is 34 a factor of d?
False
Let g(r) = 2*r**2 + 5*r - 7. Let y be g(-3). Let h = 6 + y. Suppose 203 + 1 = h*p. Does 13 divide p?
False
Suppose -34*h + 28*h + 2838 = 0. Is h a multiple of 15?
False
Let g = 13 + -11. Suppose 2*o = -g + 4. Does 9 divide (o - -23) + (-3 - -6)?
True
Suppose -18*k - 23 = -1355. Does 7 divide k?
False
Let l be -1 - -3 - 0/2. Let i(v) = 2*v. Let p be i(l). Suppose p*g + 0*g = 44. Is 4 a factor of g?
False
Suppose 0*k = b - k - 10, 3*k = b - 6. Let l be ((-6)/15)/(1/10). Let x = l + b. Is 4 a factor of x?
True
Let u(m) be the third derivative of 17*m**4/8 - m**3 - 375*m**2. Let a = 1 - -1. Is u(a) a multiple of 24?
True
Let r = 12 + -24. Is 160/r*12/(-5) a multiple of 8?
True
Let j be ((-12)/10)/(12/(-40)). Suppose 93 = 5*t - 2*m, 2*t + j*m + 25 = 67. Does 10 divide t?
False
Let d be -2 - 2/((-4)/(-26)). Let b be d*(14/(-3) + 3). Let c = 57 - b. Does 8 divide c?
True
Suppose -4*f = 2*g - 3294, 70*g - 71*g - 4128 = -5*f. Is 55 a factor of f?
True
Suppose -3*a + 839 = 5*u, 0 = 4*a + 3*u - 907 - 197. Is 39 a factor of a?
True
Let j be 56/(-21)*(-141)/4. Suppose b = p - j, 5*b = 3*b + 4. Is 15 a factor of p?
False
Let t(n) be the third derivative of n**4/24 + 4*n**3/3 - 3*n**2. Let u be t(-5). Does 15 divide 0 + u/3 + 42?
False
Suppose -4*y = 4*n - 16, 2*y - 6 = -4*n + 3*y. Suppose 8*s - n*s - 60 = 0. Suppose -2*f = -0*f + s, 0 = 3*q - 5*f - 85. Is q a multiple of 10?
True
Suppose 7*f - 202 = -125. Is 6 a factor of f?
False
Is 40 a factor of (-2)/4*-1 + (-73953)/(-162)?
False
Let f(k) = -4*k - 34. Let o be f(-9). Suppose o*q - 109 = 3*a, -q = 2*a - 62 + 18. Does 18 divide q?
False
Suppose -12*q + 3740 = -1180. Is q a multiple of 24?
False
Let s be 24*(-1 - (-1)/2). Let o(m) = -m**3 - 11*m**2 - 5*m - 8. Let i be o(s). Suppose -5*v - 66 = -i. Is 6 a factor of v?
False
Let f(h) = h - 2. Let n be f(4). Suppose 6 = -n*w - w. Is 8 a factor of w*(-3)/(-18)*-24?
True
Let u = 72 + 204. Does 46 divide u?
True
Let o(p) = p**2 - 2*p - 4. Let x be o(4). Suppose x*u + 2*a + 181 - 33 = 0, 2*u + 58 = -5*a. Let t = u + 48. Is t a multiple of 3?
True
Let q(f) = f**2 - 4*f - 8. Let o be (-2 + 32/12)*-15. Does 12 divide q(o)?
True
Suppose -4*k + 30 = 10. Let h be ((0 - 0) + 29)*1. Let b = h + k. Does 11 divide b?
False
Suppose 2*p - 5*v + 54 = 0, -v = 4*p + v + 60. Let m = p + 36. Suppose -3*w - m = -109. Is 10 a factor of w?
True
Let w be ((-4)/7)/((-16)/56). Suppose 42 = 4*a - w*m, -2*a + 18 = m + m. Suppose a = 4*i - 3*i. Is i a multiple of 5?
True
Let u(f) = -30*f**3 + 2*f**2 - 1. Let h be u(1). Let v = h - -69. Is 4 a factor of (-72)/30*v/(-6)?
True
Let t = 33 - 31. Suppose -11 = t*m - 43. Is m a multiple of 3?
False
Let u = 20 - 14. Suppose 2*h = -u*z + z + 43, -3*z + h + 17 = 0. Let q = 11 - z. Does 4 divide q?
True
Let y(c) = 1506*c**2 + 2*c - 3. Does 78 divide y(1)?
False
Let w(f) = 57*f**2 + 24*f + 16. Is 18 a factor of w(5)?
False
Let t(o) = -o**3 - 3*o**2 + 4*o + 5. Let s be t(-4). Suppose -10 = -y - s*f + 2, -3*y + 2*f = -2. Suppose -y*r + 28 = -r. Does 18 divide r?
False
Suppose 2*p + 4 = 3*p. Let q = p - -21. Is 25 a factor of q?
True
Suppose 18*w - 18 = 12*w. Suppose 2*p - c = 4, p + 5*c + 6 = 19. Suppose 2*i + 23 = w*t, p*i = -3*t + 8*i + 26. Does 5 divide t?
False
Does 47 divide 8582/12 - 1/6?
False
Let a(s) = 636*s + 9. Is 59 a factor of a(1)?
False
Let t(c) = 10*c**2 - 8*c + 6. Let q be t(5). Suppose 3*r + 134 = 4*k - 154, -3*k = -4*r - q. Is k a multiple of 24?
True
Suppose -c + 1 = -13. Suppose 12*m + 144 = c*m. Is m a multiple of 12?
True
Suppose 36 + 19 = 5*b. Does 2 divide b?
False
Let s = 10 + -7. Suppose 5*w - 40 = s*w. Does 20 divide w?
True
Suppose 0 = 2*c - 4*m, -3*c - 3*m + 2*m + 28 = 0. Suppose -294 = c*l - 11*l. Suppose -a + l - 27 = 0. Is a a multiple of 14?
False
Suppose 0*s = -s + 2. Suppose -s*h + 218 + 282 = -2*t, 4*t = 0. Suppose 4*f - 254 = -2*p, f + 3*f - 2*p = h. Is 14 a factor of f?
False
Let p(w) = -w**3 - w**2 - w - 4. Let g be p(-2). Let x = 2 + -2. Suppose -g*l - 6 = 4*j - x, 2*l - 5*j - 30 = 0. Is 5 a factor of l?
True
Let g(w) = -9*w**2 + 81*w + 14. Is 18 a factor of g(6)?
False
Let f(r) = 1073*r + 666. Is 67 a factor of f(4)?
True
Let y = 17 + -7. Let h = y + -10. Does 4 divide 5 - (1 + h/(-1))?
True
Let o(j) = j**3 - 23*j**2 + 4*j - 5. Suppose -9*f = 9 - 216. Is o(f) a multiple of 29?
True
Let d(f) = f**3 - 6*f + 3 + f - 3*f**2 + f + 0*f**2. Let m be d(4). Suppose m*o + o = 40. Does 9 divide o?
False
Is 14 a factor of (-2)/7 + (0 - 3824/(-7))?
True
Let y be (1/2)/(9/108). Let q be (-50)/14 - y/14. Let p = q + 9. Does 4 divide p?
False
Let x(j) = 6*j**3 - 8*j**2 + 8*j + 2. Does 74 divide x(5)?
True
Suppose -5*b + 5 = 0, -5*z = -b - 668 - 916. Suppose 5*h = -q + z, 2*h - 140 = 6*q - 2*q. Suppose -i + 5*o = i - h, o + 35 = i. Is 15 a factor of i?
False
Is -6 + (-8928)/(24/(-6)) - -6 a multiple of 11?
False
Let p(q) = -q + 4. Let w = -86 - -87. Is p(w) even?
False
Is 34 a factor of (-133)/(-57)*8472/28?
False
Suppose -2973 = -3*h + 819. Does 14 divide h?
False
Suppose 0 = -3*v + n + 5, -3*n = 2*n - 5. Let j(w) = 54*w - 2. Is j(v) a multiple of 13?
False
Suppose 17*j - 22*j = -45. Suppose -j*h - 479 + 2108 = 0. Is 26 a factor of h?
False
Let s(d) = -d**3 + 28*d**2 - 27*d + 55. Is 23 a factor of s(27)?
False
Suppose -3*t + 8*t = 3*p - 10, 2 = p - t. Suppose p = 5*k - 4*z - 1, 5*k - 3*z = -4 + 1. Let h(d) = -5*d + 1. Is h(k) a multiple of 16?
True
Is -2*(3 - 4) + 30 + 3309 a multiple of 13?
True
Let u(m) = -m - 4. Let o be u(6). Let q = 18 + o. Let w = 18 - q. Is w a multiple of 3?
False
Suppose -5*a - 605 = -c, -a - 589 = -c - 4*a. Is 35 a factor of c?
True
Let j be 6/18*6*62. Suppose -j = -5*r + r. Does 3 divide r?
False
Suppose -7 = -2*c - 3. Is 3/c*(-160)/(-30) a multiple of 2?
True
Let z be ((-4)/6)/(4/(-24)). Suppose -z*c - 2 = 14. Is 14 a factor of 1*c - (-65 - 4)?
False
Is (-21632)/(-13) + 15/(-3)*1 a multiple of 48?
False
Let m(s) = -2*s**2 + 2*s + 15. Let c be m(-9). Let j = c + 237. Is 18 a factor of j?
True
Suppose -5*h - 76 = -3*h. Let c = -2 - h. Is 3 a factor of c?
True
Let j(y) = y**2 - 1. Let a(r) = 4*r**2 - 4. Let w(f) = 2*a(f) - 7*j(f). Let t be w(-1). Suppose 2*i = -4*b + 188, t*i = -4*i - 2*b + 364. Is i a multiple of 15?
True
Let x = 116 + -79. Suppose 5*r - 23 = x. Is 4 a factor of r?
True
Suppose 0 = 22*w - 5251 - 18421. Does 4 divide w?
True
Suppose 2*k + 48 = 2*y, -3 = -k - 2. Let w = -22 + y. Suppose -x - 4*n + 95 = 0, w*x - 3*n - 29 - 211 = 0. Does 24 divide x?
False
Let j(l) = -l**3 + 5*l**2 - 2*l - 2. Is 11 a factor of j(-10)?
True
Let z = -272 - -155. Let s = z + 216. Does 13 divide s?
False
Suppose 270*n = 259*n + 396. Does 34 divide n?
False
Let m = 9 - -31. Is 1354/1