False
Let f = 394 + 784. Is f a multiple of 9?
False
Does 21 divide (36*2/(-10))/(60/(-1400))?
True
Let v(h) = 7*h**2 + h**3 + 4*h - 13*h - 10 + 6. Let u(q) = 8*q**3 + 2*q**2 + 2*q + 1. Let i be u(-1). Is v(i) a multiple of 20?
False
Suppose 0 = 11*c - 8*c - 16911. Does 12 divide c?
False
Suppose 4*n + 45 = 3*r, n + 2*r - 46 = 5*n. Let k = 14 + n. Suppose -4*t + 0*m + 3*m = -24, 5*t - k*m = 30. Is t a multiple of 6?
True
Suppose 0 = 4*m, -5*m - 1010 = -3*t - 20. Suppose 0 = 4*f + 90 - t. Is f a multiple of 15?
True
Suppose n = -n - 2. Let h be (4 + 6)*1*3. Is ((-10)/4)/(n/h) a multiple of 15?
True
Suppose -6*h = 18 + 114. Does 10 divide (-2 - -1)*(h + -1)?
False
Is 18/24 - 754/(-8) a multiple of 25?
False
Suppose 0 = -4*a + 378 + 138. Let h = -69 + a. Is 22 a factor of h?
False
Let w(y) = -2*y**2 - 40*y + 2. Let g be w(-20). Suppose 4*s - 20 = 0, -g*b + 2*s - 93 + 411 = 0. Is 41 a factor of b?
True
Suppose -918 + 2154 = 3*f. Is f a multiple of 25?
False
Suppose 91 - 103 = -4*r. Suppose -2*b = r*b - 3*q - 295, 0 = 3*q + 15. Does 4 divide b?
True
Let g = -6 + 9. Let n be 176/24 - (2 - (-16)/(-6)). Let v = n + g. Is 11 a factor of v?
True
Let f be (126/(-35))/((-12)/200). Let t = 77 - f. Is 6 a factor of t?
False
Suppose -5*n - 9 = -2*b, -2*n = -4 - 2. Let y = b + -10. Does 11 divide (-26 + 4)*y/(-4)?
True
Suppose 5*s + 3 = q, -s + 4*s = -2*q + 6. Suppose 3*z = x - 21, s*x - 4*z - 105 = -5*x. Is x even?
False
Suppose -3*d + 1127 = 2*d + 2*s, -4*s - 470 = -2*d. Suppose 0*n + d = 2*x - 3*n, -2*x = n - 223. Does 27 divide x?
False
Suppose -n - 613 = -3*v, 31*n = -2*v + 26*n + 403. Does 9 divide v?
False
Does 5 divide 8/60 - 23840/(-75)?
False
Let x(u) be the third derivative of -7*u**4/24 - 8*u**3/3 - 4*u**2 - 3. Is x(-10) a multiple of 27?
True
Let o = 1013 + -602. Is 17 a factor of o?
False
Let k = -374 - -485. Does 37 divide k?
True
Let j(q) = -8*q**3 + q**2 + 3*q - 2. Let f(s) = -2*s - 6. Let x be f(-4). Let d be j(x). Let n = -21 - d. Is 12 a factor of n?
False
Suppose 0 = -2*m + m - 1, 4*j - 4*m + 48 = 0. Let c = -11 - j. Suppose 0 = 3*l - c - 19. Does 2 divide l?
False
Let r(i) = 118*i**2 + 5*i + 1. Does 57 divide r(-1)?
True
Let t(b) = 34*b - 52. Is 6 a factor of t(8)?
False
Let a be 168/(-14) - (1 + 3). Does 20 divide a/3*1296/(-64)?
False
Suppose -2*t - 2*q = -633 - 47, -2*q = 0. Does 5 divide t?
True
Suppose -4*y + 13 = 5*h, h - 2*h - 2*y - 1 = 0. Suppose c = 2*o + 8, 29 = 3*c - 4*o - h. Is c a multiple of 3?
True
Let n(f) be the first derivative of f**2 + 11*f + 5. Let u be n(-5). Is 15 a factor of u/3 - (-293)/3?
False
Is ((-288)/40)/(3 + (-47)/15) a multiple of 3?
True
Let k be (-95)/3 + (-1)/3. Let u = 37 + k. Is u a multiple of 5?
True
Suppose 5*a - q - 400 - 1043 = 0, -2*a + q = -579. Is 36 a factor of a?
True
Let h(s) = 6*s**2 - 10 + 27*s + 2 - 30*s. Is 25 a factor of h(-4)?
True
Let m(u) = 2*u**3 - 3*u**2 + 3*u + 1. Let p be m(2). Suppose -3*c + 27 = -a, -a - c - p = -0*c. Does 5 divide (-2 + a)/((-3)/6)?
False
Let n(l) be the second derivative of -l**5/20 - l**4/2 - 2*l**3/3 - 3*l**2 - 2*l. Let c be n(-6). Suppose 2*p + 6 - c = 0. Is 4 a factor of p?
False
Suppose -3*l - 5*z = -353, -10*l + 14*l - 4*z = 428. Is 2 a factor of l?
False
Let s be 1 - (7 - -2 - 0). Let g be s*(0 + 4)/(-16). Is 14 a factor of (g + 4)*24/6?
False
Let o(j) = 3*j**2 + 7*j + 3. Let w be o(-8). Suppose m = 4*s - w, -3*s + 89 = 2*m - 7. Is 8 a factor of s?
False
Let q(r) = r**3 - 38*r**2 + 70*r + 121. Does 22 divide q(37)?
True
Let v(m) = m**3 - 6*m**2 + 3*m - 7. Let y(w) = w**3 - 6*w**2 + 4*w - 7. Let u be 3/((-6)/(-16)*-2). Let r(s) = u*v(s) + 5*y(s). Is 5 a factor of r(5)?
False
Let f = -133 - -358. Is 15 a factor of f?
True
Let n be 4*(-2)/(-8)*-2. Let v(k) = -7*k - 11. Is v(n) a multiple of 2?
False
Let p = -91 + 70. Suppose -4*k - 3 = -2*g - 1, -3*k = -4*g + 4. Is g + (0 - p) - 1 a multiple of 7?
True
Let k(a) be the third derivative of 11*a**4/12 + a**3/6 + a**2. Let z = 12 - 10. Does 9 divide k(z)?
True
Suppose 0 = 7*y - 18*y - 110. Is 1*15 - (-30)/y a multiple of 4?
True
Let y = 563 - 156. Is y a multiple of 8?
False
Let j = -184 + 472. Is j a multiple of 48?
True
Let j(o) = 4*o**2 - 10*o - 8. Let y be j(-7). Suppose -25 = 3*q + 5*i - y, 4 = i. Is q a multiple of 17?
False
Let g = -118 - -79. Let h = g + 75. Suppose -4*v - 34 = -w, -w + 3*v = 2 - h. Is w a multiple of 15?
False
Let x(z) = 2*z**2 - 28*z + 63. Does 5 divide x(15)?
False
Let u(w) = 80*w**2 + 9*w - 13. Is u(2) a multiple of 13?
True
Suppose -2*o = -3*o - p + 1, -5*p - 23 = -2*o. Suppose -o*r = 3*r - 1071. Is r a multiple of 17?
True
Let h(s) = 2*s**2 + 5*s - 3. Let p be h(4). Let r be (14/2)/(12/9 - 1). Suppose -l = -p + r. Is 14 a factor of l?
True
Suppose 5*n = -v + 16, -5*v + v - 20 = -n. Suppose n*k = 12*k - 240. Does 6 divide k?
True
Suppose 1 = 5*q - 39. Suppose q*w = 13*w - 860. Suppose 5*l - l = w. Does 10 divide l?
False
Suppose -6*z = -18 + 6. Suppose 21 = y + z. Does 11 divide y?
False
Suppose -4*w = -0*w + 20, 4*w = 5*p + 10. Let f be 0*(-2)/p - -25. Is (30/f)/(2/70) a multiple of 14?
True
Is 172360/186*6/4 a multiple of 103?
False
Let t(g) = 8*g + 3. Let w be -1 - -5 - (-50)/10. Let s(q) = 16*q + 7. Let b(n) = w*t(n) - 4*s(n). Is b(5) a multiple of 15?
False
Is (1 - 2)*-70*(-437)/(-46) a multiple of 35?
True
Suppose 5*t - o = -385 - 373, -4*t = 5*o + 589. Let j = 29 - t. Does 4 divide (1/(-1))/((-12)/j)?
False
Let g(q) = 315 - 7*q - 630 + 28*q**2 + 0*q + 330. Is 13 a factor of g(2)?
False
Let i(m) = 2*m**3 + 16*m**2 + 5*m + 13. Let k be i(-7). Is 5 a factor of -1*(2 + k)*1/(-2)?
False
Suppose -r - 3*r = -240. Suppose -38 = 3*p + 5*h - 2, 5*h + r = -5*p. Let s(u) = -u**2 - 17*u - 9. Does 17 divide s(p)?
True
Suppose 2*n - 4*i - 695 = n, 3*n - 2*i - 2135 = 0. Suppose 3*b + 2*b - 5*k - n = 0, -b = k - 153. Is 37 a factor of b?
True
Let o be (9/(-6))/(5/(-10)*1). Let a(v) = 4*v - 4*v + 6*v. Does 6 divide a(o)?
True
Let r = -11 + 10. Let t = r - -100. Suppose -4*w + t = -w. Does 10 divide w?
False
Suppose -o - 4*o - 5*h = 165, 3*h - 66 = 2*o. Is 3 a factor of (-12)/66 - 996/o?
True
Let u = -21 - -12. Let g be (12/u)/((-2)/(-24)). Let z = g - -22. Does 6 divide z?
True
Let f be 1 + 0 + (-1 - -1). Suppose 5*g - b - 100 = 0, b - 100 = -6*g + g. Let d = g + f. Is d a multiple of 8?
False
Suppose 0 = 4*h - 6*h - 4. Is 26 a factor of h/6 - (-626)/6?
True
Suppose -4 = n - 3*x + 6, -3*n - 8 = 2*x. Let r(b) = -17*b**2 - b - 4. Let m(o) = 34*o**2 + 2*o + 9. Let d(u) = n*m(u) - 9*r(u). Is d(1) a multiple of 18?
True
Suppose -2*h + 6*h + 5*g = -145, 2*h + 4*g + 80 = 0. Let b = 111 + h. Suppose 42 + 95 = 5*z + 3*m, 3*z = -3*m + b. Is z a multiple of 18?
False
Let z(v) = -v**2 - 14*v - 23. Let c be z(-12). Let u be 4 - (1 + -1)*c. Suppose 9*o - 270 = u*o. Does 23 divide o?
False
Let n = 69 + -77. Let l(d) = -2*d**2 - 21*d + 5. Is l(n) a multiple of 15?
True
Suppose 2*d + 16 = 5*p, 5*p - 7 = -0*p - d. Suppose 0 = i - 5*u + 9, -35 = -2*i - p*u - 5. Is 3 a factor of i?
False
Let d(r) = -28*r + 13. Is 11 a factor of d(-3)?
False
Suppose -2*p - 6527 = -3*d, -1948 + 10666 = 4*d + 5*p. Is 36 a factor of d?
False
Let a(d) = -d**3 + 10*d**2 - d + 7. Let r be a(10). Is 948/(-24)*(r + 1) a multiple of 35?
False
Let b = 6 - -21. Is b a multiple of 9?
True
Let z = -15 + 17. Let y = 0 - z. Is 4 a factor of ((-8)/(-12))/(y/(-45))?
False
Let s = -258 + 303. Does 10 divide s?
False
Let m(o) = o**3 - 5*o**2 + 2*o - 10. Let k be m(5). Suppose x + v - 18 = k, 3*v + 6 = -3. Does 13 divide 2/6 + 1904/x?
True
Let r = 12 + -13. Let g be (-3 + (-2 - -2))*r. Suppose 54 = -2*l + g*l. Does 27 divide l?
True
Let b(t) = -t**3 + 33*t**2 + 22*t + 72. Is 48 a factor of b(18)?
True
Suppose -23*x - 20 = -28*x. Suppose -x*h + 432 = -0*h. Is 27 a factor of h?
True
Suppose 0 = 7*k - 5*k + 4*s - 1356, 2*k - 1396 = 4*s. Is k a multiple of 83?
False
Let s(f) = f - 1. Let p be s(-3). Let x be (-1 + -4)*(-5 - p). Is (255/25)/(1/x) a multiple of 17?
True
Suppose 344*g = 342*g + 524. Is 10 a factor of g?
False
Let c = -2902 - -6178. Does 12 divide c?
True
Suppose -5*w + 1652 = -t - 1814, -t - 694 = -w. Does 20 divide w?
False
Is (-3)/18 - (-29768)/48 a multiple of 41?
False
Suppose 0 = 9*i - 3*i - 2190. Let d = -155 + i. Is d a mul