 k. Is z a multiple of 41?
True
Let a be (6/(-8) - 0)/((-12)/32). Suppose -5*w - 72 = -0*k - k, -a*k + 2*w = -176. Is 13 a factor of k?
False
Let b = -2562 - -6033. Does 54 divide b?
False
Let o = -5678 + 8167. Is o a multiple of 27?
False
Suppose 0 = -21*t + 8 + 55. Suppose -440 - 547 = -4*o - t*c, -952 = -4*o + 4*c. Is o a multiple of 21?
False
Suppose -27*d + 574 = 1789. Does 20 divide (-54432)/(-78) + (-1 - d/39)?
False
Let m(y) = 1201*y - 595. Is m(4) a multiple of 69?
True
Let d(b) = b + 34. Let z be d(0). Let p = 2 - 0. Suppose 0*j = p*j - z. Is j a multiple of 6?
False
Let w(j) = -3*j**3 + 8*j**2 - 11*j + 27. Let u(c) = -3*c**3 + 8*c**2 - 12*c + 29. Let h(n) = -7*u(n) + 6*w(n). Does 22 divide h(3)?
True
Let x = 4886 - 2982. Suppose 0 = 14*b + 3*b - x. Is 16 a factor of b?
True
Let m = 83 + -80. Let p be 14/(m + -1) + (-36)/(-12). Does 14 divide (p/(-2))/((-10)/84)?
True
Suppose 0 = z + 4*o + 4015 - 24958, -3*o = -4*z + 83829. Is 4 a factor of z?
False
Suppose f + 4 = 6. Let j be (-13 - -85) + (-20)/(-2). Suppose 3*d - 87 = -3*b, f*d - 5*d - 4*b = -j. Is 18 a factor of d?
False
Let p = 413 + -102. Suppose -4*o + 93 = -p. Does 32 divide o?
False
Suppose -30*x = -6*x - 61488. Does 183 divide x?
True
Let x(y) = -241*y + 506. Is 21 a factor of x(-4)?
True
Let h(a) = 27*a**2 - 44*a + 856. Does 108 divide h(14)?
False
Suppose -17*x = -21*x - 16. Does 2 divide (-9)/((-90)/40)*(-46)/x?
True
Let h(x) = x**3 - x**2 + 2*x - 79. Let r be h(0). Let t = 250 + r. Suppose 249 + t = 5*c. Is c a multiple of 28?
True
Suppose -42*n + 4*k = -45*n + 5850, -5*k = 0. Is 78 a factor of n?
True
Suppose 25*f - 23*f + 2*o - 10708 = 0, -26779 = -5*f + 4*o. Is f a multiple of 7?
True
Suppose -4*x + 5*l - 8 = 0, 3*x + 2*l = -x + 20. Let o be (2 - x - 2) + 13. Suppose o*t - 140 = 3*t. Is t a multiple of 5?
True
Let b(x) = 10*x - 78. Let g be b(8). Suppose 27*a - 131 = 23*a - 3*j, 134 = 4*a + g*j. Is a even?
False
Let d(c) = -5*c**2 + 9*c - 10. Let u(o) = -o**2 + 1 - 2*o + 7 - 7 + o. Let w(t) = d(t) - 4*u(t). Does 3 divide w(8)?
False
Let o(v) = -v**3 + 8*v**2 + 32*v + 13. Let a be o(11). Suppose -2*h + 194 = -s - 107, -319 = -a*h - 5*s. Is 27 a factor of h?
False
Let j be ((-38)/(-3))/((-4)/(-18)). Suppose 4*b = 12, -118 - j = -2*v + 3*b. Is v a multiple of 3?
False
Let j(v) = 78*v - 540. Is j(33) a multiple of 3?
True
Suppose 2*c = -5*s - 11, -c + 3 = -s - 2. Suppose -5*t = f - c, 5*f - 4*t = t + 10. Suppose -h - 115 = -2*i, 63 = 2*i + f*h - 43. Is i a multiple of 8?
True
Let n be (-3)/((63/(-224))/3). Suppose 26*b + 324 = n*b. Is 54 a factor of b?
True
Suppose -2*c - 4*z + 3 = -z, c = -5*z - 16. Let o(t) = -3 + 15 + 16 + t**2 + 0*t**2 + c*t. Is 4 a factor of o(-9)?
True
Let k be ((2 - 3) + -1)/(-1). Suppose p - 18 = 4*r + 216, -3*p = 2*r - 758. Suppose k*n + p = 4*n. Is 13 a factor of n?
False
Suppose -2 = -2*z, 0*x + 5*x - 3*z = 17. Suppose -7*u + 231 = -x*u. Is 16 a factor of u?
False
Suppose 3*m + m - 3*f = 48, 0 = -4*m + 4*f + 44. Suppose -33 = -m*v + 4*v. Suppose 0 = -v*i + 5*i - 276. Is 22 a factor of i?
False
Suppose -16 = -3*y + 5*s, y - 2*y = -3*s. Let f = y + 39. Let u = 60 - f. Does 2 divide u?
False
Let w(p) = 14*p + 236. Let i be w(-16). Suppose 11944 + 2984 = i*h. Is 40 a factor of h?
False
Suppose 16*q - 13*q - 21 = 0. Suppose 2*t - q*t = 10, 0 = 3*b - 4*t - 14. Is 1 + b - (9 + -78) a multiple of 9?
True
Suppose -4*d = 644 - 132. Let q = d + 138. Is q a multiple of 7?
False
Suppose p = 3*p - 6. Let g be (-67920)/(-88) + -6 + 272/44. Suppose -4*z - s + g = z, -5*s + 450 = p*z. Is z a multiple of 33?
False
Does 71 divide (2/(-4))/(-4*11/88)*213?
True
Suppose -148*c = -1810216 - 1137429 + 398493. Is 95 a factor of c?
False
Let z(w) = -w**3 + 3*w**2 + 4*w + 3. Let x be z(4). Is 69 a factor of (-92)/x*1260/(-40)?
True
Let o(s) = s**2 + s - 12. Let p be -1*(-3 - (-4 + 4)). Let v be o(p). Suppose -3*h - 5*q + 65 = -19, v = 4*h - q - 135. Does 22 divide h?
False
Let x(h) = h**3 + 4*h**2 - 4*h + 25. Let g(k) = 2*k**3 + 6*k**2 - 9*k + 50. Let p(o) = -2*g(o) + 5*x(o). Is 3 a factor of p(0)?
False
Let f(q) = -34*q + 5. Let w be f(20). Let v(b) = 4*b**2 + 3*b - 2. Let z be v(1). Is (w/(-2))/z + (-8)/(-16) a multiple of 17?
True
Let p(i) = 79*i - 80*i + 33*i + 43*i. Does 30 divide p(2)?
True
Does 48 divide -1 + 1045 + (-6 - -7) - -7?
False
Let g be (-6)/(-36)*-20*(-498)/10. Let k = -158 + g. Is 2 a factor of k?
True
Does 34 divide (-117)/(-1 + -12) - -3221?
True
Does 68 divide 15/(-10) - (-135)/81 - (-62159)/6?
False
Let q be 5/(-5 + 8337/1666). Suppose i = 15*i - q. Does 17 divide i?
True
Let l = -18 - -22. Suppose 4*c + 3*a = l*a - 25, -3*c - 5 = 2*a. Let f(o) = -2*o**3 - 7*o**2 - 4*o + 5. Is 20 a factor of f(c)?
True
Let n be 2 - 2 - (-7 + 9). Let p be ((n + 9)/1)/(-1). Let v(t) = -t**2 - 13*t - 7. Is 35 a factor of v(p)?
True
Let d = 178 + 4894. Is d a multiple of 16?
True
Let f(m) = m**2 - 13*m + 44. Let v be f(6). Is 22 a factor of 903 - (231/189 + v/(-9))?
True
Let m(w) = -w**3 - 6*w**2 - 4*w + 9. Suppose 3*f + 16*o + 29 = 14*o, -3*f - 5 = -4*o. Is m(f) a multiple of 43?
True
Suppose -3*z + 143894 = -2*q, -2*z - q + 56692 = -39235. Is z a multiple of 28?
True
Does 12 divide ((-63)/105 - 9741/15)*186/(-15)?
False
Suppose -10*d + 241 = 41. Suppose -4*v + d*v - 1200 = 0. Is v even?
False
Let l be ((-8)/(-3))/((-10)/(-15)). Let h = 260 + 76. Suppose -l*u - h = -2*x, x - 171 = 3*u + 2*u. Does 14 divide x?
False
Let b be ((-15)/(-4) + -3)/((-75)/(-200)). Suppose -5*k = b*k - 1988. Is k a multiple of 4?
True
Let m(u) = -5*u - 36. Let f be m(12). Let q = -60 - f. Suppose -2*c - c = -q. Is 3 a factor of c?
True
Let f(w) = 3*w**2 + 54*w - 59. Let n(c) = 2*c**2 + 54*c - 58. Let k(z) = -3*f(z) + 4*n(z). Is k(45) a multiple of 14?
True
Let d(n) = -9*n**3 - 2*n**2 - 5*n - 9. Let f be d(-3). Suppose 0 = -l - r + f, l + 3*r - 319 + 86 = 0. Does 10 divide l?
True
Let g = -534 - -131. Let v = g + 505. Does 11 divide v?
False
Suppose 5*y = -2*p - 22, -27*p + 23*p + 4*y - 16 = 0. Let o(m) = -4*m**2 - 16*m + 4*m**2 - 11 + 3*m**2 + m. Does 11 divide o(p)?
True
Let u(t) = -29*t**2 - 7 + 15*t**2 - 7*t + t**3 - 8*t + 16*t**2. Let h be u(-11). Is h/(-4) - 3/4 a multiple of 11?
False
Let l = 15 - 5. Suppose 12*f = l*f + 6. Suppose -2*n - 169 = -f*n. Is n a multiple of 29?
False
Let y(f) = f**3 - 10*f**2 + 15*f + 10. Let n be y(8). Suppose -4*r + 10 = n. Suppose -r*p = 4*a - 50, -3*p + 4*a = -0*p - 85. Is 5 a factor of p?
False
Let i(m) be the third derivative of 0 - 1/60*m**5 + 4/3*m**3 + 1/2*m**4 + 0*m - m**2. Is 14 a factor of i(10)?
True
Let a = 72 - 50. Suppose -6*z = -14 - a. Is ((-18)/(4 + -3))/(z/(-8)) a multiple of 12?
True
Is (-20 - (-123 + -1))*110 a multiple of 40?
True
Suppose -4*y + y - 36 = 0. Is (-5 - -4)*-2*(-1254)/y a multiple of 21?
False
Let i = 18 - 13. Let z = 1801 - 1646. Suppose -2*b - 3*b = -5*t + 255, 0 = 3*t - i*b - z. Does 11 divide t?
False
Let b(n) = 4*n**2 + 8*n - 9. Let g(i) = -8*i - 73. Let c(w) = -9*w - 72. Let t(f) = -3*c(f) + 2*g(f). Let j be t(-7). Is b(j) a multiple of 26?
False
Suppose 0 = p + 3*g - 3372, g - 3126 = -2*p + 3598. Does 96 divide p?
True
Let g(n) = n + 396. Let w(f) = -2*f**2 - 30*f - 16. Let z be w(-15). Is g(z) a multiple of 20?
True
Suppose 0 = 70*a - 372*a + 2006186. Is 20 a factor of a?
False
Suppose -8*u = -7*u - 256. Let j = u + -90. Suppose -j - 1234 = -10*n. Is n a multiple of 14?
True
Suppose -717037 = -21*s - 255457. Is s a multiple of 10?
True
Suppose -7*l - 4 = -39. Suppose 4*m = -l*t + 208 + 765, m = 2. Does 48 divide t?
False
Let i = 9732 - 6615. Is 67 a factor of i?
False
Suppose -36*t + 16*t = -456940. Is t a multiple of 22?
False
Let s = 17731 - 4267. Is s a multiple of 187?
True
Let v be 15*1/3*1. Suppose 3*x - 530 = -4*k + v*x, -5*k + 670 = -5*x. Is 5 a factor of k?
False
Let i = 3336 - -3334. Is i a multiple of 16?
False
Let v(c) = -4*c**3 - c**2 + 6*c + 11. Let r be v(-3). Let z = -74 + r. Suppose 0 = -16*k + z*k - 308. Is k a multiple of 22?
True
Suppose 0 = 3*i - 135. Let r = 16 + i. Is 61 a factor of r?
True
Let a = -184 + 219. Does 69 divide (-5053)/(-7) - (-5)/a?
False
Suppose -165989 = -65*f - 60364. Is 13 a factor of f?
True
Let s = -102 - -108. Let o(v) = v**3 - 6*v**2 + 12*v - 47. Is o(s) a multipl