= -175. Suppose i - 144 = -5*a. Is a a multiple of 6?
True
Suppose -q + 10*t = 8*t - 38671, -3*q - 3*t + 115941 = 0. Does 72 divide q?
False
Suppose 5*z + v - 439 = 0, -5*v - 102 = 2*z - 273. Suppose 4*i - s = 3*i + z, 3 = -s. Is 15 a factor of i?
False
Suppose 3*f = -2*p + 1449, 2*p + 2*f - 1446 = -0*f. Is 15 a factor of (p/84)/((-3)/(-21))?
True
Let j(q) = 3*q + 24. Let f be j(-8). Suppose f = 54*i - 57*i - 57. Let d = i + 64. Does 6 divide d?
False
Let f = -190 - -195. Suppose 0 = f*d + s - 2696, -752 = -2*d + 3*s + 340. Is 27 a factor of d?
True
Let v = -1395 - -1755. Is 40 a factor of v?
True
Let n = 29 - 24. Suppose -5*s = 3*f + 10, 4*s + 2 = n*f - 43. Suppose -5*h + 595 = f*z - 0*h, -2*h = 5*z - 595. Is 17 a factor of z?
True
Let z(q) = -7*q - 10. Let w(b) = 17*b + 4. Let f(p) = p + 1. Let s be f(-2). Let j be w(s). Is z(j) a multiple of 27?
True
Let a(n) = -2*n**3 + 2*n**2 - n - 3. Let m be a(-1). Suppose 2*u + m*u - 4202 = 5*v, 5263 = 5*u - v. Does 46 divide u?
False
Let r be ((-8)/5)/((-2)/5). Suppose 0 = r*m - 3*x - 17, 0 = 2*m - 7*m + x + 13. Suppose -2*j + 198 = 3*f, -2*f = m*f + 2*j - 264. Is f a multiple of 5?
False
Let z(k) = 5*k**2 + 19 + 2*k + 0*k**2 - 6*k**2. Let u be z(-5). Is 3 a factor of u/(-2 - (-20)/15)?
True
Suppose -148 = -2*p - 2*p. Suppose -14*t + 2166 = -8*t. Suppose t = 4*z + p. Is z a multiple of 9?
True
Let x = 60 + -57. Suppose -x*a - 13266 = -25*a. Is a a multiple of 25?
False
Let j = 67 + -67. Suppose j = -12*c - 26 + 86. Suppose 2*u + w - 32 = 0, -3*u - 22 = -c*u + 4*w. Does 2 divide u?
False
Let m(r) = 2*r + 19. Let n be m(-6). Suppose n*v - 10*v = 0. Suppose x = f - 93, -2*f - 2*f - 2*x + 372 = v. Does 22 divide f?
False
Let i be (4/18)/(13 - 14)*-9. Suppose 4*r - i*a - 8 - 14 = 0, -4*a - 32 = -5*r. Suppose -70 = -r*c + 2*c + 3*k, -42 = -c - 2*k. Does 4 divide c?
False
Let t = 173 + -323. Suppose 0 = 2*r - 2*y - 420, -4*r + 8*r + 5*y = 840. Let o = r + t. Does 12 divide o?
True
Let u = -89 + 79. Let r(d) = d**3 + 12*d**2 - 11*d + 63. Is 21 a factor of r(u)?
False
Suppose -35*s + 32*s + 7836 = 2*w, -2*w + 5*s + 7820 = 0. Is 9 a factor of w?
True
Let n be (30 + -33)/(6/(-4)). Suppose 3*o - 575 = 5*k, -n*o = 5*k - 153 - 272. Is 8 a factor of o?
True
Let p(h) = -4*h + 36. Let f be p(9). Suppose f = 11*i - 18*i + 42. Suppose 14*w - i*w - 536 = 0. Does 6 divide w?
False
Let y = -5936 + 8230. Does 21 divide y?
False
Let x(f) = -f**3 + f**2 - 1. Let n(w) = 7*w**3 + 5*w**2 + 11*w + 118. Let g(t) = -n(t) - 6*x(t). Does 21 divide g(-14)?
True
Let t be 5 - (-1)/(2/9110). Suppose -t = -32*z + 15536. Is z a multiple of 17?
False
Suppose -2 - 24 = f. Let s be (f + -1)/(1/3). Let h = s + 90. Does 9 divide h?
True
Let q(y) = y**3 - 13*y**2 + 41*y - 37. Let f be q(17). Suppose -5*c + 10*o - 15*o = -2980, 0 = 3*c - 4*o - f. Is 49 a factor of c?
False
Let y(v) = -96*v + 1294. Is y(-45) a multiple of 7?
True
Let k(u) = u**3 - 19*u**2 + 38*u - 2. Let f be k(24). Suppose -4*q + 3*p = -0*q - f, 0 = 2*q + p - 1890. Is 22 a factor of q?
True
Suppose 38*c = 12185 - 36809. Let l = c - -684. Is 18 a factor of l?
True
Suppose 5*v - r - 3932 = 72, -3*r + 3 = 0. Does 3 divide v?
True
Suppose 8 = 14*b + 8. Suppose 15*p - 419 + 119 = b. Is p a multiple of 2?
True
Let v = 1734 + 98. Suppose 0 = 5*k - v - 1818. Is 73 a factor of k?
True
Let j = -4504 - -10086. Is 131 a factor of j?
False
Let u(l) = 14*l - 6 - 23 + 3 + 150*l**2 - 20*l**2. Is 10 a factor of u(2)?
False
Suppose 27499 = a + i, 2*a + 7*i = 8*i + 54986. Does 65 divide a?
True
Let r = 14929 + -10393. Is 14 a factor of r?
True
Let f(w) = -w**3 + 9*w**2 - 10*w + 19. Let p be f(8). Suppose 5*m = -p*z + 2*z - 20, 0 = 2*z - 3*m - 12. Suppose z = -y + 44 + 3. Is y a multiple of 5?
False
Suppose -m - 3*h = -555, -22*m + 27*m - 4*h = 2680. Suppose -33*j + m = -21*j. Does 9 divide j?
True
Let z(u) = 108*u - 4050. Is z(55) a multiple of 42?
True
Suppose 3*y = p - 985, 756 = -5*y - 5*p - 859. Let v = -178 - y. Is v a multiple of 15?
False
Let q(v) be the first derivative of v**4/4 - 2*v**3/3 - 3*v**2/2 - 20*v + 104. Does 25 divide q(10)?
True
Let v = -20 + -56. Let y = v - -110. Let l = 102 - y. Is 34 a factor of l?
True
Let m = 8436 - 5820. Is m a multiple of 10?
False
Let f = 64 + 960. Does 2 divide f?
True
Suppose -u = 3*u - 2928. Let f(y) = -y**3 + 25*y**2 - 44*y - 47. Let h be f(23). Does 41 divide (-2 - h)*u/(-3)?
False
Suppose -21*a - 31 = -598. Suppose 52 = 2*r - 5*n, 3*r - 23*n = -a*n + 124. Is 36 a factor of r?
True
Let h(k) = 7*k**2 + 76*k - 2. Let c(v) = 4*v**2 + 39*v - 1. Let i(o) = 5*c(o) - 3*h(o). Is i(-24) even?
False
Suppose 5*b + 422775 = 21*b + 29*b. Does 5 divide b?
True
Let k(f) = 175*f**2 + 457*f + 24. Is 9 a factor of k(-6)?
True
Suppose x - 768 = -0*x. Let b(h) = -6*h - 64. Let y be b(-11). Suppose -5*u + u = -4*o - x, y*u + 2*o - 400 = 0. Is u a multiple of 37?
False
Let m = 584 - 1195. Does 11 divide -1*4 - m/1?
False
Suppose -4 = -2*y + 4*y, -3*a + 5*y = -10. Suppose 11*c + 5*c - 448 = a. Does 16 divide c?
False
Let x = 30 + -22. Let h(s) = 31*s - 44. Is h(x) a multiple of 12?
True
Suppose 0 = -3*y - 6*q + 11*q + 150920, 0 = 4*y + 4*q - 201312. Is y a multiple of 80?
True
Let a = 25405 + -9493. Suppose u = -33*u + a. Is 9 a factor of u?
True
Suppose 3*a - 9945 = 6591. Is 53 a factor of a?
True
Let z be -102*(1/4)/((-21)/112). Let s = 40 + -104. Let n = z + s. Does 12 divide n?
True
Let w(t) = -155*t - 886. Is w(-61) a multiple of 3?
False
Suppose -5*z + 76321 - 5824 = -x, -z + 5*x + 14061 = 0. Does 59 divide z?
True
Let m(w) = -93*w + 6 + 12 + 10 - 7. Let h be m(3). Let r = -154 - h. Is 26 a factor of r?
True
Suppose 4*c - 360 = 2*q, -265 = -2*c - 4*q - 95. Let y = c + -34. Is 19 a factor of y?
False
Let i(g) = -41*g**2 + 31*g + 6. Let t(s) = 40*s**2 - 30*s - 7. Let u(z) = 4*i(z) + 5*t(z). Is 23 a factor of u(5)?
True
Suppose -476*k + 2409612 = -137*k. Is k a multiple of 41?
False
Let p(y) = 3210*y**2 + 6*y + 2. Let a be p(-2). Let g be 1 + (-1)/4 + a/(-40). Does 13 divide (g/6)/4*-6?
False
Does 4 divide 1 - (-15)/(-12) - -10129*(-9)/(-36)?
True
Suppose -50 = -9*l + 4*l - 5*k, -3*l = -3*k - 24. Suppose -5*b + 260 = 5*r, -r + 3*b + l = -31. Suppose r*h - 18 = 47*h. Is 2 a factor of h?
False
Let i(v) = v**2 - 16*v + 64. Let m be i(4). Suppose 6*h = m*h - 4760. Is h a multiple of 20?
False
Let c(i) = -i**2 - 6*i + 7. Let p be c(-7). Let m(t) = 321 - 129 - 158 + t. Is 12 a factor of m(p)?
False
Let w(v) = 2*v + 9. Let y be w(5). Suppose -140 = -y*n + 14*n. Is 2 a factor of n?
True
Let o = 2 + 2. Suppose 4*n = -5*q + 1122, o*n = -2*q + 480 - 24. Let k = q + -157. Is 13 a factor of k?
True
Let o = -2334 + 5449. Does 72 divide o?
False
Suppose 4*y - 1 = 3, 5*u - y = 22309. Is u a multiple of 20?
False
Let w(l) = l + 34. Let n(b) = 3*b + 101. Let j(y) = -4*n(y) + 11*w(y). Let f(d) = 2*d + 90. Let o(v) = -5*f(v) - 14*j(v). Is o(13) a multiple of 10?
False
Let r(w) = 895*w**2 + 11*w + 39. Is 35 a factor of r(-4)?
True
Suppose 15*z + 11*z = -4056. Let i = 364 + z. Does 13 divide i?
True
Suppose -17*d + 7*d + 640 = 0. Suppose 5*p - d = 4*p. Is p a multiple of 11?
False
Let v = 632 + 17. Is v a multiple of 2?
False
Let i be (-124)/(-10) - 2/5. Let d(c) = 2*c**3 - 22*c**2 - 16*c + 2. Let k be d(i). Suppose k = 5*o - 182. Is o a multiple of 18?
False
Let d be 2*(-3 - (-85)/2). Let j = 81 - d. Suppose j*o - 600 = -4*o. Does 20 divide o?
True
Let x(i) = -10*i**3 + i**2 - 19*i - 13. Let j(f) = 5*f**3 + 9*f + 6. Let a(m) = -9*j(m) - 4*x(m). Let q be 4 - (12/6 - -5). Is 20 a factor of a(q)?
False
Suppose 0*w - 3*w = -330. Suppose -4*z = -6 - w. Suppose g - c - z = 0, -3*c - 155 = 5*g - 10*g. Is g a multiple of 34?
True
Suppose 4 = 2*d - 5*n, -5*d + 2*n + n + 10 = 0. Let t = 21 + -27. Does 16 divide d/t - (-3465)/27?
True
Does 15 divide (-5 - -2187) + (36 + -4)/4?
True
Let s be (4 - 32/5)/(6/(-20)). Let l(c) = 5*c - 29. Let w be l(s). Suppose -w*n + 5*n + 834 = 0. Does 32 divide n?
False
Let c = 307 + -924. Let r = -281 - c. Is r a multiple of 55?
False
Let c = 10391 + -1925. Does 166 divide c?
True
Suppose -24*c - 771 = -4*z - 21*c, -4*c + 380 = 2*z. Is 4 a factor of z?
True
Suppose 4*y = 7*y + 3. Is 22 a factor of ((-6)/(-4)*y)/((-21)/8288)?
False
Suppose 12*g = 10*g + 70. Suppo