pose 5*h - 84 - q = 0. Is h a multiple of 3?
False
Let q(a) = 3*a**2 + 35*a + 47. Let u(h) = 4*h**2 + 36*h + 46. Let w(j) = 5*q(j) - 4*u(j). Does 31 divide w(24)?
False
Let w(m) = m**3 + 37*m**2 + 25*m + 9. Is 27 a factor of w(-36)?
True
Let m be 0 - ((-14)/(-21) + (-4)/6). Suppose -2*g - 415 = -2*j + 3*g, m = -4*j + 2*g + 870. Does 44 divide j?
True
Let i(p) = -p**2 - 11*p - 13. Let w be i(-9). Suppose -w*q + 4*q + 44 = 0. Is 22 a factor of q?
True
Let y(p) = -p**3 - 14*p**2 - 7*p - 32. Is y(-14) a multiple of 21?
False
Let h be (-8)/(-52) + (-3504)/(-39). Suppose 2*d - 10 = h. Is 10 a factor of d?
True
Suppose -2*y = -7*y + 3*r + 66, 3*r = -5*y + 54. Suppose -8*u = -y*u + 64. Does 4 divide u?
True
Does 10 divide (-29)/(348/(-8880)) - (0 - 2)?
False
Let o = -34 - 113. Let z = 153 - o. Is z a multiple of 17?
False
Suppose -4*z + 17 + 1518 = g, -3*z + 4*g = -1137. Suppose 134 = -3*y + z. Is 26 a factor of y?
False
Let o(p) = p - 5. Let h be o(7). Suppose 4*u - 3*y - 56 = -h*y, 3*u + 2*y - 42 = 0. Let t(l) = 3*l + 8. Is t(u) a multiple of 25?
True
Let r = -445 + 961. Does 43 divide r?
True
Suppose t = -4*r + 28, -t - 2 = -r - 0. Let v(p) = 4*p**2 - 2*p - 8. Is v(r) a multiple of 28?
False
Let r be (6/(-5))/((-42)/980). Let g(i) = -i + 12. Let m be g(6). Let n = r - m. Is n a multiple of 9?
False
Does 10 divide (-98)/(-34) + -3 - 44216/(-136)?
False
Suppose -m + 3*c = 6, 0*m - 3*m + 4*c = 3. Let j(g) = 2*g**2 + 7*g - 11. Is j(m) a multiple of 4?
True
Let p(b) = -b**2 - 1 - b**3 + b - b**2 + b - 4*b**3. Let r(q) = -14*q**3 - 5*q**2 + 5*q - 3. Let m(k) = -8*p(k) + 3*r(k). Is m(-1) a multiple of 3?
True
Let t = 27 - 25. Suppose -6*i = t - 32. Suppose 0*z - 395 = -i*z. Is 18 a factor of z?
False
Let n(y) = 2*y + 5*y**2 + 7 - 6*y + y**3 + 9*y. Let p be n(-4). Suppose 92 = p*g - 43. Does 15 divide g?
True
Suppose -210 = -16*w + 62. Is w - (6 + -5)*-1*3 a multiple of 10?
True
Let m(o) = -o**3 + 5*o**2. Let a be m(5). Let h be (-1 - a)*1 - -14. Let w = h - 5. Is 4 a factor of w?
True
Let u = 84 + -32. Suppose d + 65 = 6*d - 3*m, -u = -4*d - 3*m. Does 3 divide d?
False
Let w = -69 + 74. Suppose -7*h - w*h = -816. Does 17 divide h?
True
Suppose -4*o + 5*y + 29 = 0, 0 = -0*o - 4*o + y + 25. Is (16/(-32) - o/(-4))*48 a multiple of 12?
True
Suppose 4*r + 2783 = 11383. Is r a multiple of 8?
False
Let x = 1 - 33. Let n = 140 + x. Suppose n = -4*b + 6*b. Is 16 a factor of b?
False
Suppose -3624*o + 3623*o + 2171 = 0. Does 65 divide o?
False
Let g(p) be the first derivative of p**5/60 + p**4/12 + p**3/3 + 5. Let k(y) be the third derivative of g(y). Is k(13) a multiple of 10?
False
Let v = 20 - 15. Suppose v*u - 310 = -5*l, 65 = 3*l - u - 113. Suppose m - l = -2*q, -3*q - 2*m + 90 = 2*m. Is 9 a factor of q?
False
Suppose 21*p - 3362 - 481 = 0. Is 3 a factor of p?
True
Let h be 10/15*(3 - 48). Does 31 divide 0/6 - (h + -1)?
True
Suppose 5*c - 5*d + 20 = 0, 2*d = -c + 5 + 3. Suppose 4*o + 5*s + 0*s - 10 = c, 4*o = 4*s - 8. Suppose o = -0*i - i + 21. Does 7 divide i?
True
Let q be (-1*1)/((-10)/(-1140)). Let l = q + 170. Is l a multiple of 15?
False
Let u(b) = 58*b**2 - b - 119. Is 30 a factor of u(-7)?
True
Is 9 a factor of (-3 - (6 + -635)) + 8?
False
Let b = -111 + 51. Let q = -35 - b. Is q a multiple of 25?
True
Suppose 0 = -4*x + 16*x - 2844. Is 6 a factor of x?
False
Let f(r) = -r**2 - 4*r + 10. Let q(o) = -o**2 - 4*o + 11. Let a(g) = -5*f(g) + 4*q(g). Let w be (-988)/169 + 4/(-26). Is a(w) a multiple of 4?
False
Let f = -1 + 4. Let s(r) = 8*r**2 + 3*r**2 - 3*r - 3 - 5*r**2 - r**f. Does 9 divide s(3)?
False
Let d = -472 - -483. Does 11 divide d?
True
Let h(d) = -d**3 + 50*d**2 + 7*d - 189. Does 2 divide h(50)?
False
Is 17 a factor of 3808/17 + 5/(-5)?
False
Let v be (-27)/((6/(-3))/2). Let j(q) = -8 + q + v*q**2 + 9 - 30*q**2 + 54*q**2. Does 17 divide j(-1)?
True
Suppose j - 2*u - 182 = 0, 2*j - 366 = 7*u - 5*u. Is 8 a factor of j?
True
Let o = 77 - -820. Does 25 divide o?
False
Suppose 0 = -7*o + 6*o. Suppose 4*x + o*m = -m + 148, -2*x = 4*m - 88. Is x a multiple of 9?
True
Let q be 8048/56 - 2/(-7). Is ((-3)/6)/((-3)/q) a multiple of 10?
False
Let l = 309 - 137. Let f = 250 - l. Suppose 5*x + 4*a - 25 = 114, -3*a = -3*x + f. Is 9 a factor of x?
True
Suppose -b - 5 = -0*b, 21 = -2*d + b. Does 6 divide (-154)/d + 2/13?
True
Suppose -q + 5*q + 180 = 0. Let z = -31 - q. Does 7 divide z?
True
Let c(m) = -24*m**3 + m - 2. Let v be (-8)/(-2) - (-6 + 9). Let p be c(v). Let x = -19 - p. Is 4 a factor of x?
False
Let g(a) = -a**3 + 13*a**2 - 17*a + 24. Let d be g(11). Suppose o + d = 3*z - 2*z, -4*z = o - 321. Is 40 a factor of z?
True
Suppose y + 5 = -4*y, -2*y - 50 = -4*z. Let m = 65 - z. Is m a multiple of 10?
False
Let d(y) = -364*y - 632. Is 62 a factor of d(-8)?
False
Let k(t) = -2*t**2 + 438. Is 10 a factor of k(0)?
False
Let z(x) = -37*x + 26 + 23*x + 15*x. Is z(9) a multiple of 13?
False
Let b(m) = -m**3 - 2*m**2 - 4*m + 4. Let f be (-3)/((-3)/(-12)*-6). Let h be (-9)/1 - (-6 + f). Is b(h) a multiple of 16?
False
Let z be (-691)/(-3) - 0 - 24/(-36). Suppose z = 10*f - 3*f. Does 7 divide f?
False
Suppose 0 = 6*i - 3*i + 330. Let q = i - -155. Does 8 divide q?
False
Let x(y) = 2*y - 32. Let q be x(18). Suppose -h + 211 = 5*b, q*h - 3*b - 1392 = -479. Is h a multiple of 31?
False
Let d = 518 - 138. Let r = d - 157. Suppose 4*k - 260 + 82 = -3*b, -3*b + 5*k + r = 0. Does 22 divide b?
True
Let d(p) be the third derivative of 13*p**8/20160 - p**6/720 + p**5/20 - 8*p**2. Let s(i) be the third derivative of d(i). Is s(-1) a multiple of 6?
True
Suppose -5*z - 5*y + 1020 = 0, -404 = -3*z - 5*y + 202. Is 2 a factor of z?
False
Let t(m) = 2*m**2 + 2*m + 2. Let y be t(-1). Let x be (2/(-4))/(y/(-100)). Is 18 a factor of (x - -2) + (-4 - -1)?
False
Let p(k) = -2*k + 896. Is 109 a factor of p(29)?
False
Let j be (-27)/1 - (-3 - 1). Suppose 5*g = 277 + 103. Let w = g + j. Is w a multiple of 29?
False
Suppose 2784 = -15*q + 47*q. Is q a multiple of 7?
False
Let i be ((-1)/(-3))/(16/144). Let s be ((-6)/(-9))/(i/(-2061)). Is 19 a factor of 2/(-8) + s/(-8)?
True
Suppose 793 - 225 = 2*g - 4*f, 0 = -5*g + 2*f + 1460. Is g a multiple of 6?
True
Suppose 2*d = 4*m + 252, 0 = 2*d + 4*m - 9*m - 251. Is d a multiple of 5?
False
Let c(b) = -9*b**3 + 21*b**2 + 52*b + 10. Is 12 a factor of c(-6)?
False
Suppose 2*x - 6*x = -444. Suppose 0 = 4*p - 3*m - 209, -5*p + m + x + 142 = 0. Suppose 2*o + 0*z + 2*z = p, 3*z + 25 = o. Is o a multiple of 14?
False
Suppose -5*n + 7*n = -5*n. Is ((-20)/1 - n/5)*-2 a multiple of 39?
False
Let b(s) = -10*s + 330. Does 8 divide b(29)?
True
Suppose 70*l + 27*l - 13192 = 0. Is l a multiple of 8?
True
Let b(u) = 33*u**3 + 3*u**2 - 14*u - 8. Is 16 a factor of b(4)?
True
Let b be (6/36)/(3/18). Let f be b/1*22*-2. Let q = f - -76. Is q a multiple of 5?
False
Let w(u) be the second derivative of u**4/6 + 5*u**2/2 + 3*u. Is 7 a factor of w(4)?
False
Suppose 0 = 5*z - 6*z + 539. Let g be (-3)/2 - z/14. Does 3 divide g/(-3*8/12)?
False
Let x(r) = r**3 + 5*r**2 - 5*r + 12. Let w be x(-5). Let j = 139 - w. Does 13 divide j?
False
Let i be (-6)/(-21) + (-30)/7. Let z be 6/i*(-16)/3. Suppose -58 = -5*n - z. Is n a multiple of 3?
False
Let x = 257 - -56. Does 22 divide x?
False
Suppose 16*t = 26*t - 2350. Is t a multiple of 20?
False
Is 3 a factor of (-1)/1*(-3)/(3/25)?
False
Let n(c) = c**3 - 7*c**2 + 2*c + 7. Let d be n(8). Let a = 181 - d. Does 22 divide a?
False
Let m = -952 - -1388. Is 54 a factor of m?
False
Let q(c) be the first derivative of -5*c**2 - 14*c + 13. Is q(-3) a multiple of 12?
False
Suppose -16 = 4*f, 7*a + 4*f = 10*a - 1657. Does 11 divide a?
False
Let s(l) = 3*l**2 + 4*l - 4. Let t be s(-4). Suppose -u + t = u. Suppose b - u = 2*p + 2*p, 0 = -2*p + 10. Is 14 a factor of b?
False
Suppose -952 = -11*g + 104. Is g a multiple of 4?
True
Suppose 594 = 4*o + 2*r, -2 = 2*r + 4. Is o a multiple of 5?
True
Let b = -41 - 72. Suppose -7*m - 220 = -2*m. Let k = m - b. Is 16 a factor of k?
False
Suppose -2*g - 2*g + 12 = 0, 5*q + 150 = 5*g. Let n = 130 + q. Is 11 a factor of n?
False
Let i = 1508 + -954. Is 17 a factor of i?
False
Let r = 100 - 6. Suppose -2*l = -0*l - r. Is 17 a factor of l?
False
Suppose 4*r + 4 + 44 = 0. Let n(t) = t**2 + 9*t + 6. Does 1