*-1. Let b be ((-7)/2 + -1)*j. Let k = b + 3. Is 22 a factor of k?
False
Let c(b) = -12*b**3 + 10*b**2 + 12*b + 36. Is c(-9) a multiple of 51?
True
Is 6/(18/1) - 629985/(-45) a multiple of 50?
True
Does 53 divide (2 - (-10 + (-23496 - -8)))*(-1)/(-2)?
False
Let g(y) = 2*y**3 + 7*y**2 + 9*y - 20. Let t(f) = 6*f**2 - 19*f - 9*f**2 - 11*f**2 + 40 - 3*f**3. Let l(q) = -5*g(q) - 3*t(q). Does 7 divide l(8)?
False
Suppose 0 = -4*j + 6688 - 1788. Is 6 a factor of j?
False
Is 560/6*-679*(-57)/532 a multiple of 194?
True
Suppose -65671 + 1470471 = 100*k. Is k a multiple of 13?
False
Suppose -13244 = -2*v - 4*z, 5*z = 24*v - 19*v - 33125. Does 24 divide v?
True
Suppose 0 = 3*l - 2*u - 18320, 6137 = 315*l - 314*l - 5*u. Does 9 divide l?
True
Let j = 37 - 368. Let f = j + 539. Is f a multiple of 26?
True
Suppose -161*t + 79987 = -210296. Is t a multiple of 4?
False
Suppose -407 = -4*b - 503. Does 2 divide ((-882)/b)/((-21)/(-28))?
False
Suppose 2*k = -5*l - 0*k - 8, 12 = -3*k. Let r be (-6 + 4 - -2) + (l - -2). Suppose r*u - 290 = -u - 4*j, -5*u + 472 = j. Is u a multiple of 23?
False
Let x = 213 - 212. Is (-5 - -53) + -7 + -2*x a multiple of 3?
True
Suppose -j - 20*y = -17*y - 1082, 2 = -y. Is j a multiple of 64?
True
Let k = -90 + 44. Let n = -49 - k. Let i(f) = f**2 - 2*f + 1. Does 8 divide i(n)?
True
Let h be (-2 + 4)*((0 - -6) + 121). Suppose 5*u - h + 19 = 0. Suppose 183 + u = 5*m + x, -3*m + x = -130. Is 7 a factor of m?
False
Let m(c) = -5*c**3 + 81*c**2 + 29*c + 118. Is m(12) a multiple of 5?
True
Let x = -2 - -7. Suppose -269 = 2*c - x*o - 694, 3*c + o - 629 = 0. Suppose 3*t - c = -r, t = -r - r + 440. Is r a multiple of 35?
False
Let a(v) = -18*v + 24. Let g be a(-19). Let o = g - 116. Is o a multiple of 15?
False
Let g = -101 - -175. Let w = 247 + g. Is 23 a factor of w?
False
Is 5 a factor of 6 - (-22520 + 8 + -12)?
True
Does 6 divide 20/5 + (-20920)/(-3) + (-2)/(-3)?
True
Let a be (7/(196/(-48)))/((-4)/112). Suppose 52*m - a*m = 612. Does 27 divide m?
False
Let c(i) = -i**2 - 14*i - 40. Let o be c(-9). Let u(s) = 3*s**2 + s - 8. Does 9 divide u(o)?
True
Let w be ((-55)/2 + 1)/(4/(-8)). Let i = w - 51. Suppose 153 + 147 = i*d. Is d a multiple of 15?
True
Is (5 + (-21)/6)*17814/9 a multiple of 90?
False
Let u = -8617 + 20433. Does 62 divide u?
False
Let q = -660 + 1124. Suppose -f = 3*r - 1718, r = -4*f + 116 + q. Is 22 a factor of r?
True
Suppose -808 = -4*o + 40. Let j = o + -145. Is 49 a factor of j?
False
Is 87 a factor of (40341/476)/((-3)/(-116))?
False
Let m = -5 + -9. Let r be (-14)/(-49) - (-46)/m. Is 2 + r*(4 - 8) a multiple of 2?
True
Let g = 123 + -197. Let a = g - -91. Does 8 divide a?
False
Let x(a) = 3*a**2 + 4*a - 1. Let w be x(5). Let n(l) = l**2 - l + 14. Let o be n(-9). Suppose k + 2*k - o = -4*f, w = 3*k - f. Does 4 divide k?
True
Let j(y) = y**3 + 38*y**2 + 73*y + 23. Let p be j(-36). Let g(w) = -22*w - 136. Does 10 divide g(p)?
True
Let g(i) = 115*i + 132*i - 18 - 285*i. Let a = 68 + -74. Does 35 divide g(a)?
True
Suppose 5*w = 7*w - 6. Suppose w*h - 2*h - 1 = 0, 0 = p - 4*h - 187. Does 12 divide p?
False
Let c(t) = 4*t**3 - 8*t**2 - 18*t. Let j(l) = -l**3 - l. Let x(y) = -2*y - 15. Let k be x(-7). Let v(h) = k*c(h) - 3*j(h). Does 12 divide v(9)?
True
Let z = 21 + -25. Suppose 26 + 94 = 5*u. Is u - 8/z*-2 a multiple of 5?
True
Let f = 103 - 105. Let m be f/(-5) + (-1694)/35. Is (m/(-1) + 3 - -4) + -3 a multiple of 7?
False
Let a(y) = -y**3 - 3*y**2 + 197*y - 22. Is 13 a factor of a(-26)?
False
Suppose 40*b + 3*h - 130998 = 35*b, -4*h + 78590 = 3*b. Is 7 a factor of b?
False
Let a = -60 + 65. Let n(z) = -3*z + 18. Let l be n(a). Suppose 5*h + 53 = 4*x, -6*x + 5*x = -l*h - 15. Is x a multiple of 6?
True
Let t(j) = -j**3 + 35*j**2 + 9*j + 213. Is 64 a factor of t(33)?
True
Let k = -2020 - -3474. Let q = -644 + k. Is q a multiple of 15?
True
Let g(o) = -7*o - 26. Let h be g(-6). Let b = h + 218. Suppose -2*u - u = -2*i - b, 390 = 5*u + i. Does 6 divide u?
True
Suppose -5*q = -j + 510, 1013 = 2*j + 219*q - 222*q. Is j a multiple of 12?
False
Is 16 a factor of (248/3)/(-1)*(-5 + 4 + -5)?
True
Suppose -57*c = -8*c - 160132. Let k = c - 1528. Is k a multiple of 29?
True
Suppose 18*v - 241494 = -6*v + 13*v. Is 86 a factor of v?
False
Let h = -19818 - -28564. Does 9 divide h?
False
Let h(l) = -l**3 + 84*l**2 - 162*l - 209. Is 290 a factor of h(67)?
True
Let r(m) = 4*m**3 + 2*m**2 + 2 + 6*m + 2 + 14 - 9. Let k be r(-3). Let p = 199 + k. Does 8 divide p?
False
Let f = -3599 - -9169. Does 9 divide f?
False
Suppose 74275 = 215*q - 580400. Does 56 divide q?
False
Let a be (-6)/4 - (-378)/28. Let b be 1568/a - (-8)/6. Suppose 0*q = 4*q - b. Does 10 divide q?
False
Let u be 1/(-3)*(2 + (-4)/2). Suppose -4*b + 5*d + u*d + 1529 = 0, -5*b + 1900 = -4*d. Does 12 divide b?
False
Let n(k) = k**3 - 8*k**2 + 7*k - 20. Suppose -d + 29 = -6*t + t, -d + 4 = 0. Let f be 7 + (-1 + -4)/t. Does 9 divide n(f)?
True
Suppose -42*r = -30*r - 122*r + 1389960. Is 117 a factor of r?
True
Let v(s) = -593*s - 455. Is v(-7) a multiple of 33?
True
Let y(q) = 660*q**3 + 15*q**2 - 10*q. Does 4 divide y(2)?
True
Let d = -293 + 295. Is (d/4)/((-6)/(-4320)) a multiple of 10?
True
Suppose 0 = -3*q + 2*v + 22, 0 = -2*q + 4*v + 10 + 10. Suppose -52 = 5*y - q*c + 4*c, 5*y = -2*c - 68. Let f(z) = -z**2 - 12*z + 30. Is f(y) a multiple of 15?
True
Let l be (-148 + -8)*21/(-28). Suppose -3*j + l = -75. Is 2 a factor of j?
True
Let y = -2012 + 3594. Is 49 a factor of y?
False
Suppose 0 = -22*v + 20*v + 2, -3*h + 15199 = v. Suppose 3*p = -31*p + h. Is 7 a factor of p?
False
Does 62 divide (15 - (-2240)/(-15))*-18?
True
Let b = -6 - -11. Let p(u) be the second derivative of -u**5/10 + 11*u**4/12 + u**3/3 + 7*u**2/2 - 177*u. Is 6 a factor of p(b)?
True
Let n = 4203 + -4110. Does 2 divide n?
False
Is 30 a factor of (-450116)/(-22) - ((-4440)/660)/37?
True
Suppose -10*y + 15*y + 20375 = 3*c, 5*y + 33965 = 5*c. Does 14 divide c?
False
Suppose 12*m = -42*m + 3888. Does 36 divide m?
True
Let s = 69475 + -35879. Does 74 divide s?
True
Suppose -3*c = -3*h + 3, -c - 5 + 4 = h. Let j(k) = k**3 + 10*k**2 + 25*k + 8. Let m be j(-6). Suppose m*q + h*q - 122 = 0. Does 27 divide q?
False
Suppose -5*d = -3*z - 11126, -5*d + z + 2334 + 8788 = 0. Suppose 7*a - d = 597. Is 16 a factor of a?
False
Let o(v) = 25*v**3 - 2*v**2 - 4*v + 5. Let h(s) = 3*s + 8. Let x(y) = -4*y + 26. Let a be x(7). Let d be h(a). Is o(d) a multiple of 21?
True
Let l be -658*(0 + 46/(-7) - -4). Suppose -2*a = 3*m - l, -a + 6*m - 3*m = -828. Is 14 a factor of a?
True
Let c be (-6)/9 + 55602/54. Suppose 32 = -h - 2*f + 299, 0 = -4*h + 5*f + c. Is 3 a factor of h?
True
Let m = 14114 - 12824. Is m a multiple of 30?
True
Suppose -7*h = 4*h. Suppose -4*z - 8*t + 7*t + 1007 = 0, 2*z - 4*t - 508 = h. Does 12 divide z?
True
Let u = -11 + -6. Suppose -i - 54*x + 75 = -58*x, 5*x = -2*i + 137. Let p = u + i. Does 9 divide p?
True
Let f = -17119 + 28828. Is f a multiple of 34?
False
Let p(s) = 7*s - 14. Let u be p(4). Suppose -7*k - 308 = -u*k. Is k a multiple of 4?
True
Suppose 4*t - 21239 = -5*n + 215, -5*n + 26810 = 5*t. Is t a multiple of 26?
True
Suppose -d + 18 = -5*u, -3*u - 7 = d + 7. Let i be 0/d + 3 - -2. Suppose 3*n = -2*g + 86, 2*n - i*n + g + 83 = 0. Does 14 divide n?
True
Let r be (0 + -2)*(-3)/2. Let g(y) = -y**2 + 29*y + 137. Let z be g(33). Suppose a = z, -2*s - r*a = -198 - 259. Does 17 divide s?
True
Suppose 242*c - 94*c = 120*c + 226212. Does 12 divide c?
False
Let n(w) = -w**3 - 7*w**2 - w - 1. Let q be n(-7). Let t be (-8)/28 + (-1 - (-9)/7). Suppose t = 4*i - 50 + q. Does 3 divide i?
False
Suppose a + 5*g = 13444, -33*a = -32*a - 4*g - 13435. Is 151 a factor of a?
True
Let y = -353 + 712. Suppose -3*p + y = 2*c - 0*c, 3*p = 5*c - 929. Is c a multiple of 9?
False
Suppose a + 3*m = 424, 3*m = -2*a + 813 + 47. Does 4 divide a?
True
Let b = -12 + 26. Suppose 19 - 67 = -4*d. Let p = b + d. Is 4 a factor of p?
False
Is (-8 - 630/24)/(12860/3216 + -4) a multiple of 12?
False
Let b be 6/(-1 - -3 - 0). Suppose b = -0*w - w + 3*x, -4*x = 5*w - 4. Does 32 divide (w - -1) + -4 + 125?
False
Suppose 4*h + d = 8*h - 20601, h - 5*d = 5136. Does 26 divide (-3)/18 - h/(-18)?
True
Suppose -190*z + 195*z = -4*s + 7071, -s = z - 1