10?
True
Suppose -3*t + 4*v = -290 - 1911, 2*v - 2920 = -4*t. Suppose -9 = 5*k + 6, m = k + 242. Suppose -5*c + t = -m. Is c a multiple of 16?
False
Let g = 1323 - 2297. Does 7 divide g/(-6) - (-9)/(-27)?
False
Let t(a) = -21*a**2 + 1046*a + 70. Is 21 a factor of t(48)?
False
Let x be (-351)/(-65) - (2 + (-8)/5). Suppose 4*u + 3*c = 333, -3*u + x*c + 217 + 69 = 0. Does 26 divide u?
False
Let t(o) = -5*o**3 - 25*o**2 - 8*o + 14. Let b(n) = 5*n**3 + 21*n**2 + 9*n - 15. Let j(w) = 6*b(w) + 5*t(w). Is 31 a factor of j(4)?
True
Let d(o) = 3*o - 5. Let b be d(19). Suppose -b = 3*c - 2*v, -c - 5*v = -6*v + 19. Let f = c + 26. Does 3 divide f?
True
Let a(s) = -s**2 + 6*s - 15. Let w be a(12). Let r = 611 + -520. Let h = r + w. Is h a multiple of 2?
True
Let p = 429 - 1125. Let d = 1074 + p. Is 27 a factor of d?
True
Let p = 996 - 1926. Let g = -638 - p. Suppose -8*y = -g - 428. Is 30 a factor of y?
True
Let y(i) = 3*i**2 + 22*i - 697. Is 68 a factor of y(21)?
True
Suppose -15*o = 11*o - 156. Suppose 4*l + 2022 = 11*c - 9*c, 0 = 2*l + o. Is c a multiple of 28?
False
Suppose 0 = 5*t + 5*w - 8470, 1090 + 609 = t - 4*w. Suppose -2*c = 2*c - 8, 5*c + t = 5*i. Does 11 divide i?
True
Let k(w) = -2*w**2 - 14*w + 36. Let g be k(-8). Is 615*-4*(-3)/g a multiple of 41?
True
Let u be ((-20)/30)/(8/3 - 2). Let p be 8/2*u + 7. Suppose 2*b + 2*r - p*r = 228, -592 = -5*b - 3*r. Does 9 divide b?
False
Suppose 4*d + 2*j - 1578 = 0, j - 33 = -36. Is 36 a factor of d?
True
Suppose 5*b + 20 = -y, 5*b + 2*y + 11 = -4. Let i(k) = -k**2 + 12. Let r be i(b). Is (2 - r - 3)/((-3)/(-6)) a multiple of 13?
False
Let u(z) be the second derivative of 0*z**4 + 0 + 3*z**2 - 2/5*z**5 - 7*z + 5/6*z**3. Is u(-2) a multiple of 12?
True
Let c = 510 + 144. Suppose -h - 596 = -2*n, -2*h + 54 = -2*n + c. Is 8 a factor of n?
True
Let f(k) = 23*k**3 + 2*k**2 - 34*k + 53. Is f(5) a multiple of 39?
True
Suppose -3*x - 5*p = 80, 0*x = x - 5*p. Let n be (-1)/(-1*(-4)/x). Does 46 divide 1/((-2)/(-292)) + n?
False
Let o(g) = 7*g + 11. Let l = -26 + 26. Let k be o(l). Does 10 divide (-1 - k/3)/((-18)/432)?
False
Let v(z) = z**2 + 5*z. Let x be v(-4). Let n be 161 - 4 - (-2 - -2)/x. Suppose -n = 4*l - 577. Is 13 a factor of l?
False
Let l(q) = -131*q - 41. Let w be l(-3). Is 34 a factor of (w/(-3))/(-4)*(-33)/(-22)?
False
Let w(t) = -17*t**3 - t**2 + 5*t - 13. Let y be w(3). Let s = -247 - y. Is 18 a factor of s?
False
Let o(d) be the third derivative of 0*d - 10*d**2 - 7/24*d**4 + 0 - 7/3*d**3. Is o(-5) a multiple of 7?
True
Let r(x) = -3*x**2 - 24*x - 9. Let b be r(-7). Suppose 3*c - i - 14 = 0, c + 4*i - 8*i - b = 0. Let h(m) = 14*m - 3. Does 21 divide h(c)?
False
Suppose -122*d = -67*d - 75900. Is d a multiple of 5?
True
Let i(z) = z**3 - 2*z**2 - 4*z + 4. Let u be i(3). Let g be (u + 4)/((-5)/(-80)). Does 9 divide (-2 - 0 - 1)*g/(-6)?
False
Suppose -12*b = -5*b - 4*b - 11385. Does 55 divide b?
True
Is 99 a factor of -4 + ((-13)/(130/(-75702)) - 1/5)?
False
Suppose 0 = 3*n - 302 - 799. Let u = -215 + n. Is u a multiple of 31?
False
Let y(f) = 2*f**2 + 7*f + 10. Let c be 50/12*(-10)/(-25)*3. Let j be y(c). Suppose -4*n - j = -2*u - 7*n, 3*u + 2*n = 150. Does 26 divide u?
True
Does 7 divide (-440850)/(-1000) - 6/(-40)?
True
Suppose 0 = -26*f + 29*f - 6. Suppose 12*d - f*d = 2420. Does 11 divide d?
True
Suppose 71*t - 5*m - 21207 = 70*t, 2*t = -5*m + 42459. Is 23 a factor of t?
False
Let m(q) be the first derivative of 107*q**3/3 - q**2 - 3. Let f be (-6)/8 + (-273)/(-156). Is 21 a factor of m(f)?
True
Suppose -b - 7 = -11. Let q(i) = 2*i**2 - i + 4. Let x be q(b). Does 9 divide (-114)/(-4)*x/24?
False
Suppose a - 47158 = -4*i, a + 58952 = -21*i + 26*i. Does 15 divide i?
True
Let v = -298 - -301. Suppose -v*g + 426 = -6. Is g a multiple of 16?
True
Let r = 99 - 41. Let v = r - 65. Does 12 divide 10/(-35) + (-499)/v?
False
Let h = -2576 - -3842. Suppose -3*n - h = -3*u, -5*u - 3*n + 878 = -1232. Is 21 a factor of u?
False
Suppose -24*y + 22*y = 28. Let z be (-1 - -7)/(21/y). Is z/16 + (2 - 1066/(-8)) a multiple of 10?
False
Let c = -5263 - -10450. Does 21 divide c?
True
Suppose -2*y + 3975 = -545. Does 42 divide y?
False
Suppose -19*v - v + 36300 = 0. Is v a multiple of 17?
False
Let i(o) = o**2 - 42*o + 156. Is i(50) a multiple of 3?
False
Let z(f) = f**2 + 6*f + 10. Let h be z(-2). Does 11 divide (41 - -3)*(h - 0)?
True
Let a(w) = -34*w + 138. Let z be a(4). Suppose -z*v - 4*d + 1742 = 0, 3*v - d = 758 + 1869. Is 25 a factor of v?
True
Let q = 2 + 10. Let m be (-30)/(7/((-112)/q)). Suppose -m = -5*c + c. Is c a multiple of 5?
True
Suppose 13 = -6*h + 133. Let i be (-3)/4 - 845/h. Does 21 divide -3 - (1 + -3 + i)?
True
Is 65 a factor of (2381771/1062 + (-4)/18)*(-4)/(-6)?
True
Let m(g) = -g**2 + 32*g - 109. Let z be m(28). Suppose 238 = -z*j + 1081. Does 41 divide j?
False
Let j be (-20)/70 - ((-25190)/14 - 0). Suppose 0 = -3*m - 4*w + 1076, j = 6*m - m + w. Is 23 a factor of m?
False
Suppose -34*o = -133581 - 244420 - 75559. Is 20 a factor of o?
True
Let w(v) = -v**2 + 115*v - 796. Does 4 divide w(48)?
True
Let f(b) = -b**2 + 13*b + 2. Let c be f(14). Let u be (c/(-18))/(1/(-18)). Does 27 divide 6/(-4)*232/u?
False
Let k be 2/(-4) - (-31311)/42. Let w = -370 + k. Is w a multiple of 5?
True
Let l(x) = 16*x - 174. Let s be l(11). Is 28*((-19)/(-2) + s) a multiple of 14?
True
Suppose 6546 = 18*v - 730 - 2948. Is 13 a factor of v?
False
Let k(v) = v**2 + v - 27. Let u(j) = -j**2 + 6*j + 10. Suppose 10*i = 2*i + 64. Let b be u(i). Is k(b) a multiple of 3?
True
Suppose v + 5*r = 3*r + 9728, 4*v = 5*r + 38925. Is 10 a factor of v?
True
Suppose -2*w + 19*w - 276983 = 262240. Does 138 divide w?
False
Is 41 a factor of -1338*(-29)/348*(1 + 35)?
False
Let y = 108 - 76. Suppose y = 5*j - 3*v - 266, 3*v = -j + 56. Suppose -d = -3*i + 97, 2*d - j = -i - 3*d. Is 17 a factor of i?
True
Is 9 a factor of 138192/56*6 + 18/(-63)?
False
Let r(j) = 4*j**3 - 3*j**2 - 2*j - 3. Let x be (-18)/(-4)*(-20)/(-30). Let m be r(x). Suppose i - m = 4*o, -4*i + 74 + 114 = 4*o. Is 13 a factor of i?
True
Let h(i) = -5*i + 16. Let u be h(2). Does 10 divide u/(-21) - (-10872)/126?
False
Suppose -5*d = -0*u - 2*u - 2009, 2*d + 3*u - 815 = 0. Suppose -3*r + 4*j - d = 0, j - 546 = 4*r - 0*j. Let f = 289 + r. Is 38 a factor of f?
True
Suppose -5*l = 3*x + 3, -2 = -7*l + 2*l + 2*x. Suppose l = 19*h - 20*h + 94. Is 38 a factor of h?
False
Suppose 5*g - 1729*w - 12540 = -1724*w, -4*g - 5*w = -10041. Is 2 a factor of g?
False
Let q(k) = -16*k**2 - 44. Let a be q(6). Let w = -114 - a. Is w a multiple of 11?
True
Let p(j) = -6*j + 436. Let o be p(25). Suppose -27*l + 5789 + o = 0. Does 3 divide l?
True
Let v(o) = o**2 - 5*o + 8. Let g be v(4). Suppose -8*h = -g*h. Suppose h = 26*b - 9*b - 289. Is 5 a factor of b?
False
Let t = 8 + 21. Suppose t*y + 272 = 33*y. Does 17 divide y?
True
Suppose -428*q - 382188 = -479*q + 101445. Is q a multiple of 109?
True
Let s(a) = -3*a**2 + 41*a. Let b be s(6). Let t = b + -52. Is t a multiple of 17?
False
Let k = -7 - -9. Suppose 0*u - 3*u - 2715 = -4*o, 0 = -2*o - k*u + 1340. Suppose 0 = 122*l - 119*l - o. Does 15 divide l?
True
Let a = -54 + 59. Let b(v) be the first derivative of -3*v**4/4 + 6*v**3 - 3*v**2 - 5*v + 40. Is 4 a factor of b(a)?
True
Let a = 269 - 244. Is 25 a factor of a*(-4 + 7 + 7)?
True
Let v(b) = -31*b + 4. Let c be v(2). Let s = -56 - c. Suppose 6*f - f = 4*m - 115, 0 = 5*m - s*f - 131. Is 3 a factor of m?
False
Let w(y) = y**3 + 53*y**2 + 40*y + 300. Does 7 divide w(-45)?
True
Suppose -w = 2*o + 14, 2*w - 8*o + 25 = -13*o. Let k(n) = -2*n**2 - 44*n + 60. Is k(w) a multiple of 14?
True
Let c = 78 + -41. Let r = 32 - c. Let p(k) = k**3 + 6*k**2 - 4*k - 4. Is p(r) a multiple of 15?
False
Suppose 4*s - 5*k + 692 = 0, -5*k + 870 = -2*s - 3*s. Let o = s + 399. Does 13 divide o?
True
Let c(h) = h**2 - 3*h. Let o(y) = -15*y + 1. Let f(b) = 104*b - 8. Let n(v) = 3*f(v) + 20*o(v). Let w be n(1). Is 20 a factor of c(w)?
True
Let d = 34 - 32. Suppose 148 = d*a - 40. Is 4 a factor of a?
False
Suppose 60*y - 247924 + 48724 = 0. Is 5 a factor of y?
True
Suppose -29*k + 266455 - 82508 = -115217. Does 149 divide k?
False
Let n = -36 - -36. Let d be 0 - -7 - (3 + n). Suppose -d*c = c - 135. Is 24 a fac