14*s. Is o(p) a multiple of 15?
False
Let t(d) = 147*d - 938. Does 23 divide t(14)?
False
Let m(n) = 47*n + 237. Is m(16) a multiple of 18?
False
Let d be (-2)/(-9) + (-474)/(-54). Let k = 2 - d. Is 7 a factor of (2 - 1)/((-1)/k)?
True
Let a(q) = q**2 - 3*q + 61. Is a(-15) a multiple of 6?
False
Let x(h) = 16*h**2 - 3*h + 2. Does 55 divide x(-3)?
False
Let p = -3 - -3. Suppose -2 - 21 = 4*g + 5*j, p = -5*g + j - 7. Is (g/4)/((-7)/294) a multiple of 21?
True
Suppose 13*w - 5812 = 519. Is 35 a factor of w?
False
Is 16 - (2/(-8) - 182/(-56)) a multiple of 7?
False
Suppose -m - 4*z = 6, 2 - 3 = m + 3*z. Let x = m - 12. Suppose 2*d - j = -x*j + 66, 4*d = 3*j + 122. Is 16 a factor of d?
True
Suppose 7 + 13 = -5*z + 4*i, 4*z + 25 = 5*i. Suppose 2*b - 18 = -5*k - 0, -3*b + 4*k = -4. Suppose 4*p - b*r - 74 - 14 = z, p + r = 24. Does 6 divide p?
False
Let h be ((0/2)/2 - -3)/(-1). Does 9 divide ((-3)/(-5))/(h/(-45))?
True
Let u(s) = -7*s**3 - s**2 - 2*s + 4. Is 25 a factor of u(-3)?
False
Let t = -544 + 787. Is t a multiple of 30?
False
Let p = 123 - 75. Suppose 3*q + 29 = 5*z - p, 5*q + 20 = 0. Does 13 divide z?
True
Suppose 2 = -2*y + 36. Suppose 0 = -x + 5*o + y, 0 = 3*x - 8*o + 4*o - 40. Is x a multiple of 12?
True
Let f(u) = u + 121. Let s be f(0). Suppose 0 = 3*r - 332 - s. Is 26 a factor of r?
False
Let m = -70 + 248. Suppose -10 + m = 2*t. Is 14 a factor of t?
True
Let u = -16 - -25. Let m(b) = 0 - 3*b + 9*b - 3 - 2*b + u*b**2. Does 17 divide m(2)?
False
Let q = 55 + -30. Suppose -4*j = -2*j - 5*v - 6, -j = 3*v - q. Is 9 a factor of j?
False
Let b(r) = -3*r - 6. Let a be b(-3). Suppose -3*x = -4*q - 121, -x + a*x - 122 = 4*q. Let t = q - -79. Is t a multiple of 12?
True
Let n = 6 + -2. Suppose -n*s + 7*s = 72. Is 24 a factor of s?
True
Suppose 2448 = p + 5*q - 3*q, -3*p + 7349 = q. Is 25 a factor of p?
True
Let v = -1360 + 2328. Does 4 divide v?
True
Let v = 13 + -44. Let t = v - -48. Is t a multiple of 4?
False
Let j(k) = k**2 + 0*k**2 + 4*k + 8 - 21. Does 23 divide j(9)?
False
Suppose -2*x - 2150 = -4*n, -18*n - 4*x = -15*n - 1629. Is 12 a factor of n?
False
Suppose 14*a = -17*a + 14415. Does 15 divide a?
True
Let y = 3091 + -1341. Is 35 a factor of y?
True
Let x(o) = -o**2 - 4*o + 7. Suppose -2*c - 10 + 0 = 0. Is x(c) a multiple of 2?
True
Let o(h) = h**2 + h - 9. Suppose -m - 10 = m. Let p be o(m). Suppose -4*j + 5*b + 116 = 0, -3*j - 4*b + 45 = -p. Is 8 a factor of j?
True
Let h(v) = v**3 + v - 1. Let u(q) = -2*q**3 - 3*q**2 - 7*q - 4*q**3 + 3 + 2*q**3 - q. Let r(x) = -6*h(x) - u(x). Is r(-2) a multiple of 7?
False
Let t(j) = -137*j + 84. Is 18 a factor of t(-5)?
False
Let j = 1549 + -793. Is j a multiple of 14?
True
Suppose -2*z = 4*b - 3708, -16*z + 17*z + b - 1854 = 0. Does 31 divide z?
False
Let g be (-8 - -3)*(-2)/2. Suppose 19 = g*c - 21. Is 10 a factor of (-68)/(c/(-4) + 0)?
False
Suppose -15*l + 2*l = -14508. Does 18 divide l?
True
Suppose -10 = 3*v - 52. Suppose z + v = 3*z + o, -3*z + 18 = 3*o. Is 16 a factor of 486/15 - z/20?
True
Let k(m) = -m**2 - 98*m - 37. Is k(-16) a multiple of 17?
True
Let p(m) be the third derivative of -4*m**2 + 5/3*m**3 + 0*m + 0 - 1/24*m**4. Is p(7) even?
False
Let t = 72 + -73. Is t*1*(-74)/2 a multiple of 10?
False
Suppose -399 = -6*g - g. Is 4 a factor of g?
False
Suppose 0 = -8*r + 5*r - 3*l + 450, -2*r - 4*l + 304 = 0. Is r a multiple of 24?
False
Let x(y) = -y**3 - 2*y**2 + 2*y. Let g be x(1). Does 15 divide 60 - (2 - (1 - g))?
True
Let w = 108 + -48. Is 15 a factor of w?
True
Is (20/5 - 3) + 139 a multiple of 7?
True
Let f(g) = g**3 - 6*g**2 + 3*g + 10. Suppose -9*b + 42 = -3*b. Does 19 divide f(b)?
False
Suppose 2*l + 5*h + 45 - 718 = 0, 5*h - 1645 = -5*l. Is 9 a factor of l?
True
Suppose 0 = 3*r - 4*h - 234, -33*r - 219 = -36*r - h. Does 37 divide r?
True
Let y(z) = 2*z**2 + 47*z + 189. Is y(-27) a multiple of 27?
True
Suppose -4*m - 6 = -u, -5*u + 6 = -3*m + 10. Is 6 a factor of (-4)/((8/48)/(u/8))?
True
Let s be 9*((-2)/9)/(-1). Suppose -p - 3*t + 33 = -s*t, 0 = -5*p + 4*t + 129. Is p a multiple of 14?
False
Suppose -51 = 9*d - 6*d. Let o(s) = -2*s - 22. Is o(d) a multiple of 2?
True
Suppose 0 = 3*j - 3*r - 1596, 4*j - r - 2126 = 2*r. Suppose -z - j = 4*z. Is 15/(-5)*z/6 a multiple of 18?
False
Suppose -4*f - 3*t = 13, 0 = 5*f - 2*t - 2*t + 24. Let a(u) = -10*u + 8. Does 18 divide a(f)?
False
Let q(j) = -j**2 - 4*j + 1. Let a be q(-3). Suppose 0 = 3*t - x + a*x - 222, 3*x = 15. Suppose 0 = -m - 4*d + 5, -5*m + 0*m + t = -2*d. Is m a multiple of 13?
True
Suppose 8 - 4 = a. Suppose -3*q + 4*o = -2*q - a, -4*q + 16 = -4*o. Suppose 420 = 5*l - 3*k, -q*l + 241 = 4*k - 95. Is l a multiple of 28?
True
Let r(c) = 16*c. Let n be r(3). Let g be 12/n + 13/(-4). Does 10 divide ((-364)/42)/(2/g)?
False
Let o(r) = r**2 - 2*r**2 + 210*r**3 - 101*r**3. Is 20 a factor of o(1)?
False
Suppose 3*m = 6*m - 27. Let r(p) = p**3 - 9*p**2 + 5. Let w be r(m). Suppose 0 = w*h - 26 - 109. Does 9 divide h?
True
Let s be (3/24*-4)/(1/(-6)). Suppose 4*k - 299 = -p, 0*p = -s*p - 5*k + 925. Is 20 a factor of p?
False
Suppose 24 = -c - 8. Let p = c - -120. Is 5 a factor of p?
False
Suppose -5*p - o + 69 = 0, 27 = -p + 3*p + o. Suppose 0 = 3*k + 4*n + 27, 4*k + 18*n + 36 = 13*n. Let j = k + p. Is j a multiple of 2?
False
Let s = -44 - -26. Let h = s - -24. Suppose x + 320 = h*x. Is x a multiple of 13?
False
Let g(x) = -4*x**2 - 11*x + 10. Let o(v) = 9*v**2 + 21*v - 19. Let i(f) = 7*g(f) + 3*o(f). Let m be i(-15). Is (-38)/4*1*m a multiple of 5?
False
Suppose -150*t + 415226 = -52*t. Is t a multiple of 108?
False
Let u(x) = x - 5. Let v be u(8). Suppose 0 = z + 4*z, -3*d = v*z - 15. Suppose 29 = d*f - 26. Does 8 divide f?
False
Suppose 0 = 2*f - 204 - 444. Is f a multiple of 12?
True
Suppose 0 = 4*u - 3*k + 4*k - 284, 0 = -3*u + 4*k + 194. Suppose -5*c + 0 = 25, 3*c = r - u. Is 33 a factor of r?
False
Let t(u) = -3*u. Let w(x) = x. Let s(m) = t(m) + 2*w(m). Let j be s(-2). Suppose j*g = 5*p - 30, p + g = 4*g + 6. Is p a multiple of 4?
False
Let f(w) = -w**2 - 9*w - 5. Let l be f(-6). Let b = l + 7. Is 10 a factor of b?
True
Suppose -5*y + 155 = -5*a, 88 = -6*y + 9*y - 4*a. Is 6 a factor of y?
True
Suppose -2*s = -1 - 1, n - 2*s - 22 = 0. Suppose -8*k = -2*k - n. Suppose d - k*d = -66. Is 11 a factor of d?
True
Let w(j) be the third derivative of -j**5/60 - 3*j**4/8 - 2*j**3 - 36*j**2. Is 3 a factor of w(-6)?
True
Is (-3 + 149 - -4)/((-2)/(-4)) a multiple of 12?
True
Let i be 2/9 + 6460/90. Suppose 2*y - 87 = m, 2*y - i = -m - m. Let x = 68 - y. Is x a multiple of 6?
False
Let i(o) be the first derivative of o**6/120 + o**5/12 + o**4/12 - o**3/3 - 5*o**2/2 - 4. Let l(f) be the second derivative of i(f). Is l(-4) a multiple of 6?
True
Suppose 5*k - 3*n + 4*n = 88, -4*k + 82 = -5*n. Suppose 2*m = -2*a - 3*m + k, 0 = 5*a - 5*m + 25. Let c = 13 + a. Does 6 divide c?
True
Let g be 2 + -1 + -1 + (3 - -73). Let o = g - 64. Is 2 a factor of o?
True
Let r(v) = 4*v**2 - 2*v + 2. Let i be r(2). Suppose -3*k + 25 = -i. Is 2 a factor of k?
False
Is (2 - (-807)/15)/((-3)/(-10)) a multiple of 35?
False
Suppose -216 = 5*b + 2*l, -2*l + 6*l - 96 = 2*b. Does 66 divide 1/(5/(-6))*10670/b?
False
Let i(b) = -6*b - 14. Let r be i(-5). Let z = 33 - r. Does 13 divide z?
False
Let o(u) = -u**2 - 2*u + 7. Let f be o(-3). Suppose n + 75 = 2*j, -f*j + 0*n = 3*n - 135. Is j a multiple of 3?
True
Let v be (-196)/(-16)*160/4. Is 34 a factor of (0 - 2) + v/7?
True
Suppose c + 134 = -21. Let f = -107 - c. Is 8 a factor of f?
True
Let p(t) = 14*t**2 + 2*t + 9. Let b(f) = -15*f**2 - f - 10. Let h(m) = 3*b(m) + 4*p(m). Suppose -3*r - 3 = -4*j - 5, -4*j - 18 = 5*r. Is 20 a factor of h(r)?
True
Let r(v) = -4*v**3. Let d be r(-1). Suppose -4*h + 32 = d*n - 204, 0 = 4*h. Let j = 88 - n. Is 19 a factor of j?
False
Let k = -321 - -861. Is 94 a factor of k?
False
Let g = 22 - 16. Let t = 38 - 36. Suppose y = -t, 7*y - g*y = -3*m + 19. Is m a multiple of 7?
True
Is 17 a factor of ((-48)/30)/((-6)/5100)?
True
Is ((-39)/(-2))/((-45)/(-3000)) a multiple of 100?
True
Let r(h) = -64*h**2 - 3*h + 1. Let s(f) = 128*f**2 + 7*f - 2. Let c(d) = -5*r(d) - 2*s(d). Suppose m + 3 = 2. Is 31 a factor of c(m)?
True
Let z(p) = -p**2 + 14*p + 17. Let l be z(15). Suppose 0 = n - 2*o +