 -883. Does 14 divide y?
False
Let l = -152 - -95. Let b = 53 + l. Is 4 a factor of 1*17 + -7 + b + 7?
False
Suppose -1 = -o + s + 82, 337 = 4*o + s. Suppose 6*d = 2*d + o. Let b = 44 + d. Is 13 a factor of b?
True
Is 1/(-27)*-32139*9 a multiple of 3?
True
Let r = -7493 + 12045. Does 10 divide r?
False
Let n(b) = -128*b - 832. Does 44 divide n(-8)?
False
Is (6/12)/((-1)/138744*-9) a multiple of 60?
False
Let m be 4/22 + (239733/(-33))/9. Let l = 1269 + m. Does 22 divide l?
True
Suppose -342*q = -316*q - 2756. Is q a multiple of 2?
True
Suppose 211540 = 29*n + 6*n. Suppose 0 = 11*d - n - 5737. Does 21 divide d?
True
Let i(a) = -17*a + 120. Let w be i(7). Is 3 a factor of (216/162)/(((-2)/(-21))/w)?
False
Suppose 67*p = 8*p + 31*p + 77532. Does 71 divide p?
True
Suppose h = -3*h. Suppose 5*t + 0*b = 3*b, -37 = -4*t - 5*b. Suppose h*w - w = 0, 2*o - t*w - 112 = 0. Does 14 divide o?
True
Suppose -4*a - a - 82 = -2*f, -f = a - 55. Suppose 0 = 49*j - f*j + 1344. Does 6 divide j?
True
Let m(q) = 58*q - 39. Suppose b = -2*k + 5 + 3, k - 5*b + 18 = 0. Is m(k) a multiple of 6?
False
Suppose -1620*z = -1628*z + 34544. Is 15 a factor of z?
False
Let l(s) = -13*s + 11. Suppose -3*x - 8 = 28. Let i be l(x). Suppose 4*a + i = 711. Is a a multiple of 17?
True
Suppose 0 = -8*m + 10*m + 6. Let f(p) = -p - 3. Let s be f(m). Let w = 11 - s. Is w a multiple of 9?
False
Suppose -202*d + 1786104 = 125*d - 111*d. Is d a multiple of 116?
False
Suppose -232*g + 231*g = 5. Let c(h) = 2*h**3 + 5*h**2 + 11*h + 5. Let m(t) = t. Let v(u) = -c(u) + 5*m(u). Is v(g) a multiple of 18?
False
Suppose 396 = -4*h - 5*h. Let f be (-784)/h + (-6)/(-33). Suppose -78 = f*l - 21*l. Is l a multiple of 11?
False
Suppose -39*n + 7*n = 736. Does 7 divide n/69 + (-2342)/(-6) + -2?
False
Let z(p) = -3*p**2. Let u be z(-1). Suppose 66*r - 54 = 63*r + 4*s, s - 3 = 0. Let j = r + u. Does 5 divide j?
False
Let q = 7214 - 596. Is 4 a factor of q?
False
Let i be (-6)/8*320/(-48). Let a be i/1 + (-4 - -2). Let u(k) = 50*k - 6. Is u(a) a multiple of 16?
True
Let i be 22 + -5 + 3/((-6)/8). Suppose 3*w - 5*l + i = 0, 2*w + 3*l - 4 = 19. Suppose w*u + 96 = 5*f + 3*u, -f + 8 = -3*u. Is f a multiple of 14?
False
Suppose -3 = -3*i + 126. Let c = i + -41. Suppose -c*j + 86 = -0*j. Is j a multiple of 9?
False
Suppose -2*z - v - 3*v = -28, -z = -2*v - 2. Is 24 a factor of 695 + 4 + 4/z*-10?
False
Is 58 a factor of (-6)/(-2 - (4 - -2) - (-463940)/58000)?
True
Suppose -5*j + 625 = g - 627, -3*g + 3756 = 5*j. Suppose i + 4*x - 618 = 0, 2*i - 5*x = -9*x + g. Does 10 divide i?
False
Let w be -1 - (13 + -2)/(-1). Let s(h) be the third derivative of 5*h**4/12 + 2*h**3/3 + 208*h**2. Is s(w) a multiple of 12?
False
Suppose 0 = 111*q - 113*q + 392. Suppose -q = 22*v - 4222. Is 31 a factor of v?
False
Suppose 5*t - 2*o - 45555 = 0, -10*o + 5*o + 25 = 0. Is t a multiple of 66?
False
Suppose -3 = -l + 1, -m + 3*l = -121. Let a = 347 - m. Is 36 a factor of a?
False
Suppose -16*h + 13*h = -252. Let m be 2 - (h - -2 - -2)/1. Let q = -65 - m. Does 21 divide q?
True
Suppose -13*v = 2*v. Suppose l - 5*k - 6 = v, -3*k + k + 165 = 5*l. Does 13 divide l?
False
Is ((-35000)/120)/(222/1584 - 2/11) a multiple of 7?
True
Let q be (1 - 2)/(13/143). Suppose -3*h - 1 = 2. Does 10 divide (h - -3) + -3 - q?
True
Suppose 26*t = 81364 + 22480. Is 21 a factor of t?
False
Suppose 0 = 19*n - 21*n + 12. Let a be (-1 + n)*(-15)/25. Is 3 a factor of (6/4)/(a/(-6))?
True
Let s(n) = 11*n**2 - 80*n - 1239. Is 23 a factor of s(49)?
True
Suppose 5*n + 59928 = 9*n - 4*u, -3*u - 9 = 0. Does 74 divide n?
False
Does 206 divide 11330*((-210)/28 - -12)?
False
Suppose 2*p - 5 = -9. Let y be (6/5)/(16/(-10) - p). Suppose -3*i + 75 = -0*i + 3*z, 0 = y*z - 6. Is i a multiple of 12?
False
Let g be (-1984)/(-6) + 4 + 77/(-21). Let i = g + -510. Let t = i + 263. Does 12 divide t?
True
Let f = 1608 + 5650. Is 19 a factor of f?
True
Is (-131176650)/(-2750) + 3/(-5) a multiple of 30?
True
Let j(f) = -59*f**3 - 2*f**2 + 1. Let c be j(1). Let d = 68 + c. Suppose -3*x + b = -d, -x + 12 = -0*x + 2*b. Is 3 a factor of x?
False
Let d(q) = -6891*q - 1090. Does 19 divide d(-4)?
False
Let g(u) = u**3 - 8*u**2 - 8*u - 4. Let m be g(9). Suppose m*a + 8*a = 6448. Is a a multiple of 16?
True
Let w be (4 - (-4 + 4))*1. Suppose 0 = -w*b - 2*l + 117 - 21, -b + 24 = 4*l. Suppose 4*q - b = 20. Does 11 divide q?
True
Suppose w + 3*w = 4*d + 2120, -w = 5*d - 500. Suppose -w = -27*y + 22*y. Is 23 a factor of y?
False
Suppose 21*p - 33*p + 15941 = -1615. Is 77 a factor of p?
True
Suppose 16 + 2 = -3*x. Let k be (-75)/(-27) + x/(-27). Suppose -k*b = r + 4*r - 126, 0 = 4*r - 3*b - 117. Is 5 a factor of r?
False
Suppose 7*k - 80*k + 1527680 = 87*k. Does 9 divide k?
False
Suppose 6 = 5*t + 21, -8*g + 251242 = 2*t. Is 16 a factor of g?
False
Suppose -194 = l - 5*h, -l + h = 6*h + 174. Is 13 a factor of ((-1505)/(-140))/((-2)/l)?
False
Suppose -a - h = -6, 5*a + 3*h = 17 + 9. Suppose a*x - 72 = -2*x. Is (-3)/4 - (-4 - 249/x) a multiple of 7?
False
Let y = -133 + 134. Let g(m) = 2*m**2 + 2*m + 7. Let f be g(6). Suppose -x - y = -f. Does 10 divide x?
True
Let q be (-24)/72*(-150)/2. Suppose 17*l = q*l - 856. Is 23 a factor of l?
False
Let p = 454 - 832. Let o = -252 - p. Is o a multiple of 6?
True
Suppose -135200 = -5*n - 5*h, -2*n - 516*h + 54080 = -511*h. Is 169 a factor of n?
True
Let r be 0 - (0 - 1 - -26). Let p = r + 30. Let l = p - -47. Is 15 a factor of l?
False
Let h be ((-4)/(-7))/((-52)/(-182)). Suppose 0 = -4*f - l + 11, -h*f - 4 = -4*l + 4. Does 8 divide 70/4*(-4)/(-5) + f?
True
Is 26 a factor of ((-89)/3)/(5*(-13)/5070)?
True
Let h(q) = -17*q**2. Let o be h(2). Is 36 a factor of (63/28)/((o/(-576))/17)?
True
Let i = 53 + -23. Suppose 0 = 4*y - 6*y - i. Let a = 0 - y. Does 9 divide a?
False
Let q = 8792 + -6062. Is 78 a factor of q?
True
Suppose 8*g - 6*g - 3*o - 43 = 0, 0 = 5*g + 5*o - 145. Suppose -g*m - 124 = -28*m. Is m a multiple of 4?
False
Suppose 262*j + 232*j - 1214252 = 0. Is j a multiple of 3?
False
Let t(y) = -y**2 - 23*y - 25. Let d be t(-26). Let h = 130 + d. Is 7 a factor of h - -1 - (-7 - -5)?
False
Let w = -119 + 119. Suppose -u = -0*u - 4*y - 360, -u - y + 365 = w. Is u a multiple of 41?
False
Suppose -6 = 3*x, 2*z - 10 = -3*x + 5*x. Suppose -z*t - 98 = -263. Let s = t - 45. Is s a multiple of 2?
True
Let r(b) = 40*b**2 + 2*b + 38*b**2 + 5*b - 9 - 16*b**2. Does 10 divide r(2)?
False
Let o(g) = 7*g**2 - 74*g - 8. Let d(r) = 2*r**3 + 15*r**2 + 20*r + 24. Let h be d(-6). Is 14 a factor of o(h)?
True
Let l(y) = y**2 + 7*y - 18. Let o be l(-9). Suppose 2*p + 2 = o, p - 2 = 2*n + n. Let h(w) = 76*w**2 - 1. Is h(n) a multiple of 21?
False
Suppose 40*f - 17*f = 8602. Let r = f - 140. Is 26 a factor of r?
True
Let u be 3/(-27) + (-21604)/(-198). Suppose -5*t = z - 111, t + 3*t = -z + u. Is 11 a factor of z?
False
Let y(j) = 4*j**2 + 28*j + 2. Let s be y(-7). Suppose 0 = -3*i - 3*u + 2679, -3*u - 1783 = -s*i - 6*u. Is i a multiple of 64?
True
Let f be ((-20)/(-6))/((-42)/63). Let t be ((-10836)/30)/(2/f). Suppose 4*n - t - 321 = 0. Does 24 divide n?
False
Let w(j) = 3*j**2 - 5*j - 2. Suppose 0 = -6*h - 33 + 111. Does 8 divide w(h)?
True
Let b(q) = -89 + 7 - 58 - 3*q**2 + 5*q**2 + 5*q. Is b(-14) a multiple of 91?
True
Let d = 37 + 47. Suppose d = 4*y - y. Suppose y = 4*h - 3*h. Is h a multiple of 18?
False
Suppose 39746 = 12*j + 5546. Is 95 a factor of j?
True
Let d be 3/(-5 + -1) - 893/38. Does 42 divide d/(126/300 - (-3)/(-6))?
False
Is 33 a factor of 327075/56 - ((-39)/72 + (-5)/(-30))?
True
Does 5 divide 2/(-8) - (4573/3)/((-24)/162)?
False
Let q(u) = -2*u**2 + 68*u + 19. Let k be q(33). Suppose 4*h = -16, -5*h = -3*p - k + 1617. Is p a multiple of 36?
True
Suppose -4*l - 2*z = -7*l + 10, 3*l - 4*z - 14 = 0. Suppose 117 = l*j - 135. Does 14 divide j?
True
Suppose -3551 = -2*b + 4*l + 10045, 5*b - 33963 = l. Suppose 0 = -13*j + 1073 + b. Is 26 a factor of j?
False
Does 34 divide 90342/144 + -15 + (-6)/16?
True
Let s(c) be the second derivative of -c**4/6 - 17*c**3/6 + 13*c**2/2 + 12*c. Let p be s(-9). Suppose -p*y + 2*y = -96. Does 30 divide y?
False
Let z(c) = 16*c + 210. Let l be z(-13). Suppose 0 = l*q - 187 - 387. Is q a multiple of 22?
False
Suppose -13*h + 17*h + 