uppose -2*l - l = -t. Is 11 + 4/((-12)/l) a multiple of 5?
True
Let m = -431 + 650. Let i = m - 64. Does 48 divide i?
False
Suppose 4*u = -5*i + u + 125, -94 = -3*i + 2*u. Is 28 a factor of i?
True
Let c = 1333 - 848. Does 6 divide c?
False
Let w be (-2)/((8/(-26))/2). Suppose -6*a = -w*a + 105. Does 11 divide a?
False
Does 11 divide 118272/(-140)*(1 + (-13)/3)?
True
Let h(x) = x**2 - x. Suppose -7*a + 70 = -2*a. Suppose -61 = -4*z + 4*p - 17, z + 4*p + a = 0. Does 8 divide h(z)?
False
Let j be 6/(-2 + -1) - -1. Let r be 112/j + 4 + -1. Let o = -71 - r. Is 19 a factor of o?
True
Let j be (-15)/((-9)/(-12)*-2). Let f(w) be the third derivative of w**6/120 - 3*w**5/20 - 3*w**4/8 + 7*w**3/6 - 6*w**2. Is f(j) a multiple of 17?
True
Let s be 88/4 - -3 - 1. Suppose -v + s = v. Does 4 divide 3*(-1 - (-28)/v)?
True
Suppose -2*s + 0*s = 0. Suppose x = -3*k + 49 - 4, -x - 4*k + 46 = s. Is x a multiple of 8?
False
Let b(w) be the second derivative of 11*w**4/12 + w**3/2 - w**2 + 24*w. Suppose 8 = 2*t + 2*t. Does 16 divide b(t)?
True
Let i = -6 + 8. Is 9 a factor of (-575)/(-15) - i/6?
False
Let g(d) = d**3 - 2*d**2 + d + 1. Let h be g(2). Suppose 15 = -5*o, -a + h*o = 5*o + 19. Let t(z) = -6*z - 14. Is 14 a factor of t(a)?
False
Let c(q) be the first derivative of -q**4/4 + 4*q**3 + 5*q**2 + 15*q + 6. Let n be c(13). Is n*3/(-6) + 0 a multiple of 6?
True
Suppose -2*s + 5*o = -15, s + 5 - 14 = 3*o. Suppose 100 = 3*p + 2*i, -3*p + 3*i = -s*i - 105. Is p a multiple of 17?
True
Let s = 137 + -19. Let k = -81 - -86. Suppose f - 4*f = k*b - 67, 5*f + 2*b = s. Is f a multiple of 24?
True
Is 43131/75 - 4/50 a multiple of 23?
True
Let w = -120 - -312. Is w a multiple of 6?
True
Let d = 4357 + -2839. Is 46 a factor of d?
True
Let n(a) = 22*a**3 - 8*a**3 + 1 - 2*a + 35*a**3 + 11*a**3. Is 9 a factor of n(1)?
False
Suppose 66*n = 69*n - 912. Does 8 divide n?
True
Suppose -h + 3*t - 115 = 0, 2*t + 118 = -h + 4*t. Let o = -28 - h. Is 24 a factor of o?
True
Suppose -6*n + 9*n - 1170 = -5*d, 5*d + n - 1160 = 0. Suppose 203 = 3*o - 2*y - d, -5*o - 2*y + 734 = 0. Is 23 a factor of o?
False
Suppose 9*v = 4*v + 2*p + 1002, 4*v + 3*p - 797 = 0. Is 8 a factor of v?
True
Is (-5)/(-15) - 7608/(-18) a multiple of 47?
True
Let w be (2 + 1)/((-3)/(-4)). Let d(u) be the second derivative of 7*u**3/6 + u**2 + 2*u - 26. Is d(w) a multiple of 10?
True
Let x(d) = -3 - 2*d**2 + d**2 - 2*d**2 + 6*d. Let k be x(-7). Let y = -99 - k. Is y a multiple of 16?
False
Suppose 3 = 14*y - 11*y. Let b be y*(-2 + 4 + 0). Suppose 0 = -r + b*r - 5. Is 5 a factor of r?
True
Let h(g) = -g**3 - 11*g**2 + 9*g - 1. Let b be h(-12). Let c = 44 - b. Is c a multiple of 7?
False
Let y be 1 - 1*(-3 - (0 - 3)). Does 6 divide 324/20 - y/5?
False
Suppose -13*o + 11*o + 1986 = 0. Is o a multiple of 11?
False
Let i(s) = -13*s**3 - 2*s**2 + s + 2. Let j be i(-1). Does 8 divide (-4)/j - (1 - (-118)/(-3))?
False
Let l = 36 - -57. Suppose l = 4*b - 7. Is 25 a factor of b?
True
Let t be 5 + (3/(-3) - 3) - 1. Suppose t = -3*q - 2*r + 100, -80 = -q - 2*q + 2*r. Is 5 a factor of q?
True
Let g = -120 + 151. Does 26 divide (6 + (-2)/(-1))*(g + -6)?
False
Suppose -4 + 12 = 2*k. Suppose 94 = v + j, -k*j - 48 = -v + 26. Is v a multiple of 18?
True
Does 3 divide 30/(-26) + 1 + (-4064)/(-52)?
True
Let m be 9/6 + (-4)/(-8). Suppose 0 = -4*o - m*r + 18, -18 = -4*o - 4*r - 6. Is o a multiple of 6?
True
Suppose 0 = 2*c + 4*w - 76, 4*c - 217 = 75*w - 70*w. Is 12 a factor of c?
True
Let l(t) = -5*t + 5*t - 4 - 4*t + 43. Does 8 divide l(-5)?
False
Suppose -5*p - 33*p + 12502 = 0. Does 7 divide p?
True
Let m = -66 - -120. Does 27 divide m?
True
Suppose 6*t + 20 = t. Let z = t + 7. Suppose -97 = -z*x + 11. Is x a multiple of 17?
False
Suppose 19131 = 10*z - 1019. Is 28 a factor of z?
False
Suppose -4*p + m = -2*m - 81, -4*p + 5*m + 79 = 0. Suppose -p = 3*c - 6*c. Let h = 21 - c. Is h a multiple of 14?
True
Suppose 5*a + 3*r - 107 = 187, -54 = -a - 3*r. Let m = a + 14. Does 26 divide m?
False
Let q(b) = b**2 - 3*b + 4. Let p(y) = -y**2 + 12*y - 23. Let h be p(10). Is 14 a factor of q(h)?
False
Suppose -c - 4*m = -0*c - 4, -m = 5*c - 20. Let i(w) = 4*w + 7. Let k be i(8). Suppose 3*l = c*l + 3*y - 15, 3*y = -2*l + k. Is l a multiple of 7?
False
Let n(f) = -15*f - 13. Let w be n(6). Is 26 a factor of 4 - ((-12)/(-4) + w)?
True
Let v = -478 + 1471. Is 19 a factor of v?
False
Suppose 1587 = 5*x - 1313. Does 46 divide x?
False
Let m = 327 + -145. Does 26 divide m?
True
Suppose 4*d = -4*j - j - 7, 5*j - 5*d - 20 = 0. Let l be 2 + (2 + -2)/j. Suppose -5*u - 4*r + 12 = 0, l*u + 0 = r + 10. Is 4 a factor of u?
True
Suppose 5*t - 902 = -a - 156, 304 = 2*t - a. Does 6 divide t?
True
Suppose -2*w + 328 = -2*y, -4*w + 2*w + 3*y = -333. Let l = w - -41. Is l a multiple of 25?
True
Suppose 20 = 4*n - 4*q, -3*n = q - 0*q - 15. Suppose 2*f = -n*f + 910. Is 13 a factor of f?
True
Suppose 2*h + 3*w = -5, 2*w = -2*w - 12. Let z(b) = -h*b - 4*b - 5 + 0*b + 5*b + b**2. Does 13 divide z(6)?
False
Let l = 13 - -16. Let t(h) = -h**2 - 80 + 10*h + 31 + l. Is t(6) a multiple of 3?
False
Suppose -9*x = 10 + 8. Let w be (-104)/(-2 - x/2). Suppose -7*y + w = -3*y. Does 24 divide y?
False
Suppose 3*q + 8 - 29 = 0. Suppose 5*t = q - 97. Does 6 divide (-616)/t + (-2)/9?
False
Let a be (-4 + 0)*-1 + -43 + 42. Does 6 divide 25 - (1 - -5 - a)/3?
True
Let u = -45 - -81. Let b = 24 + u. Does 12 divide b?
True
Suppose 0*b = b - 2. Suppose -b - 6 = 4*n. Does 8 divide ((-17)/n)/(2/4)?
False
Suppose 29 = 10*x - 1. Is (-2 - (x - 1)) + 34 a multiple of 10?
True
Let j(h) = -130*h**2 - h - 6. Let i(t) = 65*t**2 + t + 4. Let u(z) = -5*i(z) - 3*j(z). Let q be 3/((-3)/(-2)) + -3. Is u(q) a multiple of 11?
False
Let t(b) = 10*b. Let p(w) = -w + 6. Let i be p(-9). Is t(i) a multiple of 43?
False
Does 6 divide (-270)/(-45)*(20*1)/2?
True
Does 15 divide ((-25)/5 + 4)/(1/(-386))?
False
Let n(f) be the second derivative of -f**4/12 - f**3/6 + 5*f**2 - 2*f. Let d be n(0). Let h = -5 + d. Is h a multiple of 4?
False
Suppose 29*z - 13*z - 7280 = 0. Is z a multiple of 65?
True
Suppose -3*j + 0*q = -3*q + 135, 0 = -3*j + 5*q - 145. Let v = j + 88. Let i = -32 + v. Does 8 divide i?
True
Let f = 2035 - 1321. Is f a multiple of 119?
True
Let h(i) = 2*i**2 - 7*i - 41. Is 5 a factor of h(-7)?
False
Let i be 3/2 + (-7)/(-14). Let l be (-28)/i - (3 + -1). Let y = 28 - l. Is y a multiple of 22?
True
Let o be 15/(-12) - (-30)/24. Is 9 a factor of o*6/18 + 45?
True
Suppose -7*l = -8*l - 4*d + 1008, -d = -5*l + 5103. Does 60 divide l?
True
Suppose 0 = -2*n + 169 + 211. Does 8 divide n?
False
Let c(h) = -3*h + 5. Let n(q) = 4*q - 8. Let s(b) = 8*c(b) + 5*n(b). Let y be s(1). Is 3 a factor of -3 - -1 - 24/y?
False
Let t be 5/15 + (-74)/6. Is t*(-55)/(-5)*-1 a multiple of 11?
True
Let o(z) = 23*z**2 + 10*z + 13. Is 8 a factor of o(-3)?
False
Suppose 5*h - 364 = -5*p - 94, 0 = -2*h + 8. Is p a multiple of 25?
True
Let q(x) = 31*x**2 + x + 3. Let f(m) = 30*m**2 + m + 4. Let a(y) = -3*f(y) + 4*q(y). Let z = -16 + 15. Does 16 divide a(z)?
False
Let l = 224 + -148. Is l a multiple of 48?
False
Let r = 61 - 58. Suppose 10*p + 6 = u + 11*p, u - r = -4*p. Does 2 divide u?
False
Let l be 2/22 - 3780/77. Let w = l + 148. Is 19 a factor of w?
False
Let t = -63 + 37. Is 8 a factor of 72/(-108) - t/3?
True
Suppose -2249 + 17869 = 44*y. Is y a multiple of 8?
False
Let w(m) = 758 - 807 + 8*m**2 - m - 12*m. Is w(-5) a multiple of 36?
True
Let d = 903 + -563. Is d a multiple of 20?
True
Is (-12)/(12 + (-15020)/1250) a multiple of 30?
True
Does 121 divide (-6)/(-16) + (2359665/120)/11?
False
Let x be 3/(2 + 1156/(-584)). Let a = x + -51. Is 11 a factor of a?
False
Let f(l) = -7*l - 3. Suppose -2*b = -1 + 7. Is 5 a factor of f(b)?
False
Suppose -4*n - 2*g + 14 = -0*n, 2*g = -3*n + 11. Is 21 a factor of 4*(n/8)/((-3)/(-458))?
False
Let l(j) = -j**2 + 24*j - 5. Let s(f) = f**2 - 12*f + 56. Let g be s(7). Is l(g) a multiple of 19?
False
Suppose 10*u - 5*u + 14 = 2*c, 5*c - 16 = 3*u. Let o be (c - 3 - -2)*1. Is 4/6*9*o a multiple of 3?
True
Let w = 3 - -2. Suppose 34 = w*q - 6. Suppose l - 12 = q. Is l a multiple of 5?
True
Let j(h) = 3*h - 3*h + 4*h - 9 - 3*h. Let d be j(15). Suppose -d*f + 248 + 40 = 0. Does 16 divide f?
True
Sup