101 + k/((-21)/(-12))?
True
Suppose 0 = -2*o + 21*o - 7106. Does 10 divide o?
False
Suppose 5*m - 520 = 4*m. Is 31 a factor of (-3)/((-15)/m) - 0?
False
Suppose 5*z = -0*z + 350. Does 21 divide z?
False
Let o(l) = 4*l - 4*l**3 - 2*l**2 - 13*l + 12*l**2 + 3*l**3 - 3. Let a be o(9). Is 6 a factor of 24 - 1/a*0?
True
Suppose -22 = -10*s + 18. Let a(c) = -13*c - 8. Let k be a(-7). Suppose m + k = 2*y, -s*y + 154 = 5*m - 3*m. Does 15 divide y?
False
Suppose -6*v + 8*v = 3*c - 17, 10 = -v + 3*c. Let d be ((-8)/(-14))/((-2)/v). Suppose 2*k - d = -2*l, -5*k = -4*l + 7 + 24. Is 2 a factor of l?
True
Suppose -27*o = -40*o + 15119. Is o a multiple of 9?
False
Suppose 0 = -5*m + 4*x + 2583, m + m - 1044 = -2*x. Does 14 divide m?
False
Let t = -249 - -1284. Does 45 divide t?
True
Let y = -387 + 420. Does 5 divide y?
False
Let o = -17 + 19. Let b(h) = h**2 + 0*h + 0*h**o - 2*h. Is 2 a factor of b(3)?
False
Let x(j) = -2*j**3 - 2*j**2 + 3. Let d be x(-4). Let u = -56 + d. Suppose 2*l + 4*y = 170, u = l + 4*y - 46. Is l a multiple of 27?
True
Let a be 0 + (25/(-5))/(-1). Suppose 2*n + a*r = 105 - 421, -3*n - 2*r - 452 = 0. Is 3 - -2*n/(-8) a multiple of 10?
True
Suppose 41 = 4*z + o, z + 4*o = 15 - 1. Let j(a) = -18 - 5*a + 9*a**2 - a + z + 0*a**3 - a**3. Does 4 divide j(8)?
True
Suppose 74*f - 80*f = -1890. Does 50 divide f?
False
Let f(u) = u**2 - 6*u - 18. Is 9 a factor of f(15)?
True
Let a = 73 + -33. Is 13 a factor of 208*(-5)/(a/(-6))?
True
Is (-803)/(((-35)/21)/5) a multiple of 48?
False
Suppose -t = -4*j + 4*t + 22, t = j - 5. Suppose q = -0*q + j. Suppose 4*n = -f - 1, 0*f = f + q*n - 4. Does 19 divide f?
True
Let d(i) = 13*i**3 - 19*i + 69. Is 11 a factor of d(4)?
True
Suppose 3*y + y = 2*w + 6, 3 = w. Suppose 0 = -h - y*h - 8. Is 11 a factor of (-1)/(-2)*h + 50?
False
Let o be -3 + (-4)/4*1. Let y be (-172)/(-22) + o/(-22). Let q(b) = 4*b - 2. Does 10 divide q(y)?
True
Let c(h) = 4*h**2 + 9*h - 16. Is 8 a factor of c(-5)?
False
Suppose -w + r + 0*r = -14, 0 = w - 3*r - 24. Is 2 a factor of w?
False
Suppose -2*g + 544 - 38 = -4*f, 4*f = 4*g - 1004. Suppose q + 3*q = 3*d + g, 289 = 4*q + 5*d. Does 11 divide q?
True
Let c(x) = -17*x + 925. Does 18 divide c(-61)?
True
Suppose p - 6 = u - 5, -3*p - u = -7. Suppose a = -2*n + 92, -17 = -p*n - 2*a + 77. Is 15 a factor of n?
True
Let x be (28/8 - 4)*38. Let p = x - -22. Suppose 4*t = 5*c - 12 - 62, -31 = -2*c + p*t. Is c a multiple of 5?
False
Is 216/(-42)*(-154)/33 a multiple of 3?
True
Is 14 a factor of (14 - 15)/(2*(-3)/1344)?
True
Suppose -2*n + 131 = 615. Let k = 508 + n. Suppose 4*m - 3*q = 2*q + k, -m + 61 = -4*q. Is m a multiple of 16?
False
Let g(u) = 88*u + 91. Does 22 divide g(8)?
False
Let n = 105 + 54. Is n a multiple of 11?
False
Let m(r) = 1867*r - 42. Is m(1) a multiple of 142?
False
Suppose 3*l + l = 8. Suppose -9 = -l*k - 1. Is k even?
True
Suppose 10*t - 5*t = 0. Suppose -d + 25 + 40 = t. Is d/4 + (-5)/20 a multiple of 4?
True
Let k = 6 + -5. Does 9 divide (-21 - -72)/(k/3)?
True
Let j be (-33)/(-4) + 1/(-4). Suppose -2*l - 8*l + 30 = 0. Suppose 0 = -j*o + l*o + 210. Is 14 a factor of o?
True
Suppose 44*x + 8608 - 46800 = 0. Is x a multiple of 28?
True
Let u(f) = 3*f - 17. Let v(p) = p**3 + p**2 - 3*p + 1. Let a be v(2). Let l be u(a). Suppose -l*r = -3*c + 79, -r + 50 = 3*c - 54. Is c a multiple of 19?
False
Suppose -5581 - 271 = -14*c. Is 19 a factor of c?
True
Is 18/(134/64 - (-2)/(-1)) a multiple of 8?
True
Let k = -11 - -87. Does 19 divide k?
True
Does 12 divide -3 + 1 + 1492 + (2 - 1)?
False
Let h = -67 - -77. Is 3 a factor of (-1022)/(-70) + 4/h?
True
Let o(r) = r - 14. Let z be o(6). Let i(q) = -q**2 - 15*q - 2. Is 8 a factor of i(z)?
False
Let u = 15 + -14. Let c(o) = 7*o**2 - 19 + 11 + 9. Is c(u) a multiple of 5?
False
Suppose 0 = -k - 5*t - 8, -3*t = -2*k - 5 + 15. Let c = k - 49. Let s = c + 96. Is s a multiple of 18?
False
Suppose -3*k - 69 = -3*n, n + 2*n - 2*k - 69 = 0. Suppose -5*f = t - n, 3*f - 2*t = -0*f + 19. Suppose -5*w = -5*i - 75, i - 45 = -f*w + 2*w. Does 15 divide w?
True
Let c(d) = d**3 - 4*d**2 - 19*d - 6. Let g be (-6)/12 + 15/2. Is c(g) a multiple of 2?
True
Suppose -2*n - 11 = -3. Let h(d) = d**3 - d + 5. Let b be h(n). Is -7 - b - (2 - -2) a multiple of 11?
True
Let r(a) be the first derivative of -a**2/2 + 20*a - 11. Is r(17) a multiple of 3?
True
Let i(m) = m**3 - 2*m**2 - 3*m + 3. Let c be i(3). Suppose s + 3*s + 2*n - 654 = 0, c*n + 307 = 2*s. Does 38 divide s?
False
Let p(v) = -262*v - 110. Is 90 a factor of p(-5)?
False
Let y be 4 - (-1 - -28) - -1. Does 5 divide (y/66)/(1/(-90))?
True
Suppose 315*g + 8660 = 320*g. Does 38 divide g?
False
Let k(h) = -3*h + 2. Let x(i) = -8*i + 6. Let r(d) = -11*k(d) + 4*x(d). Let u be r(1). Suppose 2*z = -g + 4, 0 = g + u*g + 2*z - 22. Is g a multiple of 6?
True
Does 77 divide ((-35660)/(-50))/(1/5)?
False
Let b be 4095/13*(-4)/6. Let k = 463 + b. Is k a multiple of 11?
True
Does 13 divide ((-1320)/140)/((-2)/182)?
True
Suppose 4 = -2*b + 10. Suppose 3 - 6 = -b*j. Does 5 divide 101/4 + j/(-4)?
True
Suppose -2*u = d - 286, -d + 431 = -2*u + 137. Is d a multiple of 29?
True
Let m(q) = q**2 - 9*q + 7. Let y be m(8). Let f = y - -4. Suppose -f*t + 86 = -t. Is 34 a factor of t?
False
Suppose -q = -2*c + 4 - 0, -5*c = -10. Let n be (-5)/5 + 5 - 0. Suppose n*l - 122 + 50 = q. Is l a multiple of 10?
False
Suppose b + 1 = 0, -5*c + 6570 = -b - 4726. Does 21 divide c?
False
Let g(d) = 12*d + 67. Is 12 a factor of g(15)?
False
Suppose -2*r - 3*r = 65. Is 8 a factor of 1*r/((-4)/4)?
False
Let v = -436 - -463. Does 22 divide v?
False
Suppose -3*o = -o + 5*d - 5, -4*o + 5*d = 5. Suppose 118*b - 113*b - 390 = o. Is 13 a factor of b?
True
Let j(t) = -15*t + 110. Let h be j(7). Suppose 2*a = -0*x + x - 60, -3*x + 152 = a. Suppose -h*r = -197 + x. Is r a multiple of 8?
False
Suppose -k + 6*k - 36 = z, -k = z - 6. Suppose -2 - 1 = f + i, -i = 3*f + k. Is -3 + 5 + 25 + f a multiple of 5?
True
Suppose -176*h = -203*h + 4239. Is 36 a factor of h?
False
Suppose -2*j - 2*j = 0. Suppose -q + 3*a + 62 = -a, -a + 333 = 4*q. Suppose q = -j*z + 2*z. Is 16 a factor of z?
False
Let p be -2 + 28/8*2. Let h = 27 - p. Suppose -38 = -5*b + h. Is 4 a factor of b?
True
Suppose 4*p = 5*h + 536, -3*p - 2*h = -3*h - 391. Does 14 divide p?
False
Let n(j) = -j**2 + 7*j - 5. Suppose v + 28 = 3*t + 2*t, t - v = 8. Does 2 divide n(t)?
False
Let p(q) = 2*q**3 - 7*q**2 + 7*q + 5. Let j be 7/28 - 75/(-20). Does 49 divide p(j)?
True
Suppose 3*g - 4 - 11 = 0. Suppose 5*o - 871 = -2*b - 239, b = g*o - 629. Is 21 a factor of o?
True
Suppose -4 = j + 2*x - 5*x, -4*x - 13 = -5*j. Suppose 85 = -j*i + 235. Is 2/3 + 1180/i a multiple of 7?
False
Let p(g) = -2*g - 3. Let k(l) = l + 1. Let o(u) = -9*k(u) - 4*p(u). Let x be o(-10). Does 14 divide (-530)/(-6) - x/39?
False
Suppose b = 6*b, -298 = -2*h + 2*b. Let z = h + -89. Does 20 divide z?
True
Let d(k) = 46*k - 622. Does 28 divide d(33)?
True
Let d = 1215 + -726. Is d a multiple of 20?
False
Let w = -76 - -81. Suppose -5*m + 159 = -3*u, 3*u = w*m + 2*u - 163. Is m a multiple of 3?
True
Let z(c) = 2*c + 12. Let t(x) = 2. Let j(a) = -1. Let w(r) = -7*j(r) - 4*t(r). Let m(p) = -40*w(p) - 4*z(p). Is m(-7) a multiple of 24?
True
Suppose 7*p - 9*p + 114 = 0. Let a = -36 + p. Does 12 divide (-2 - 48/(-9))*a?
False
Let q = -11 + 14. Suppose -q*u = u - 4. Does 11 divide (41 + -11)/(u + 1)?
False
Let s be ((-1)/3)/(9/(-270)). Suppose -s*b - 2*b = -432. Is 5 a factor of b?
False
Let q(l) = -3*l - 2. Suppose 3*g + 4*a + 125 = 0, 2*g = g - 5*a - 60. Let w be (g/(-10))/(2/(-4)). Is 19 a factor of q(w)?
True
Suppose 74*b - 72*b = 654. Is b a multiple of 37?
False
Let l = -791 + 851. Is l a multiple of 10?
True
Let b = 20 - 15. Suppose b*d = 52 - 212. Let l = d - -68. Is 9 a factor of l?
True
Let s = -8 + 28. Suppose -5*c - s = 20. Is 29 a factor of 1746/15 + c/20?
True
Suppose -4*u + 9*u = -645. Does 8 divide u/(-3) - 6*4/8?
True
Let c(r) = 2*r + 4. Let w be c(1). Let b(s) = -s**3 + 7*s**2 + 3*s + 5. Is 9 a factor of b(w)?
False
Let h(d) = -d**3 + 23*d**2 - 67*d + 38. Is h(19) a multiple of 11?
True
Let f = 1810 + -1605. Is f a multiple of 3?
False
Is 43 - (-1 + -9 + 2) a multiple of 5?
False
Let g(w) = 3*w - 2*w - w - 20*w - 43. Do