2. Let n = y + 0. Is n a multiple of 8?
True
Let o(l) = -38*l - 1. Is 8 a factor of o(-2)?
False
Let d(o) = -5*o**2 + 6 + 4*o**2 + 10 + 13*o + 2*o**2. Let u be d(-13). Is ((-14)/(-4))/(8/u) a multiple of 7?
True
Let q be 586/(-7) + 10/(-105)*3. Is (q/(-35))/((-3)/(-10)) a multiple of 2?
True
Suppose -i = -2*c - 79, -89 = 2*c - 0*c - 3*i. Let w = c - -115. Is w a multiple of 13?
True
Let q = -6 - -15. Let v be (-36)/8*(-6)/q. Suppose 0*o + 72 = v*o. Does 14 divide o?
False
Let k(l) = 7*l**2 + 56*l + 440. Does 12 divide k(-9)?
False
Suppose 3*b - 149 = -4*n, -2*n + 94 = -b + 17. Suppose -3*y + 10 + n = 0. Is y a multiple of 3?
False
Suppose -4*j + 0 + 8 = 0. Suppose -j*l - 2*l - 2*t + 106 = 0, 44 = 2*l + 4*t. Does 5 divide l?
False
Let s = -2 - -7. Let h(w) = w - 8. Let x be h(s). Is 22 a factor of (-144)/x + 0 + 0?
False
Is -1 + 10 - (1 - (4 + 0)) a multiple of 6?
True
Let m be 1 - 1 - (-18)/6. Let d(c) = c**3 + c + 1. Let y(l) = -2*l**3 + 6*l**2 - 9*l + 3. Let k(f) = m*d(f) + y(f). Is k(-6) a multiple of 11?
False
Suppose 2*m + 0*m - 630 = 0. Suppose -7*y = -8*y + m. Does 45 divide y?
True
Let v(p) = 2*p**3 - 13*p**2 + 10*p + 8. Suppose 3*z - 15 = -2*s, -8*z = 4*s - 4*z - 28. Is v(s) a multiple of 16?
True
Let c be (-7)/(-1) + (1 - 1). Let n(y) = y. Let d be n(3). Suppose d*w = 4*f - c*f + 66, -5*f = w - 10. Is w a multiple of 25?
True
Let f(s) be the third derivative of s**5/60 - s**4/6 - s**3/2 - 6*s**2. Let y be f(5). Suppose 60 - 22 = y*v. Does 19 divide v?
True
Let b = 393 + -269. Suppose -4*o + b = -4*p, -2*o = -5*p - 30 - 23. Is 27 a factor of o?
False
Let f(d) = -d**3 + 5*d**2 + 3*d - 14. Let o be f(5). Is o/(-3) + 320/24 a multiple of 6?
False
Suppose -9*d - 17 + 8 = 0. Let g(i) = -65*i - 5. Is 30 a factor of g(d)?
True
Is 6 a factor of 115 - 30/(20/(-4))?
False
Suppose 0 = -5*v - 94 + 204. Let o(m) = 3*m**3 + m**2 - 2*m. Let d be o(-2). Let b = v + d. Is 2 a factor of b?
True
Let k be 3 - -1 - (3 - 10). Let c = 41 - k. Is c/(-1 - (0 - 2)) a multiple of 10?
True
Suppose 0 = c + 5*c - 30. Suppose -c*w - 2*h - 34 = -0*w, -10 = 3*w - 4*h. Is ((-94)/4)/(w/12) a multiple of 16?
False
Suppose -3*q + 1125 = 2*q. Suppose -q = -5*r + 2*r. Is 13 a factor of r?
False
Let i = 101 + -66. Let l = 75 - i. Suppose -4*t - 4*b + 30 = -2*t, -l = -4*t + 2*b. Does 7 divide t?
False
Suppose -u = q - 28, 7*u = 10*u + 2*q - 82. Is 25 a factor of u?
False
Let h(o) = 17*o**2 - 16*o + 19. Does 83 divide h(7)?
False
Suppose 0 = -36*a - 8*a + 2244. Is a a multiple of 3?
True
Let b be 2/(1240/(-9072) - 2/(-14)). Suppose 4*f - 152 = b. Does 17 divide f?
True
Suppose -535 + 191 = -8*c. Let y = c + -13. Does 11 divide y?
False
Suppose 256 - 40 = 2*u. Let k be (1 - 49)*(-4)/(-8). Let l = u + k. Is 12 a factor of l?
True
Let c(s) be the third derivative of -s**4/12 + 11*s**3/6 + 4*s**2. Let v be c(-6). Let w = 16 + v. Is w a multiple of 11?
False
Suppose -4*l - 4*s = -8, -3*s = 1 + 8. Let r(d) = 2*d**2 - 4*d - 3. Is r(l) a multiple of 7?
False
Let o(y) = 5*y**2 - 55*y + 34. Is 16 a factor of o(42)?
True
Let c = 375 - -522. Does 23 divide c?
True
Let s(a) = 2*a**2 + 8*a + 3. Suppose 4*b + 3*i - 9 = 5*b, -4*b - 27 = -3*i. Let m be s(b). Suppose -m = -4*u - 3. Is 3 a factor of u?
True
Let w(q) = 21*q**2 + 4*q + 40. Is w(-9) a multiple of 55?
True
Let n be 1/(-6) + (-115)/(-6) + -3. Is 23 a factor of n/(-6) - -2 - (-1150)/6?
False
Let i(a) = 5*a + 38. Let z(p) = -9*p - 76. Let d(h) = -11*i(h) - 6*z(h). Is 8 a factor of d(14)?
True
Let k = 160 - 300. Suppose 16 = 2*g + 128. Let v = g - k. Is v a multiple of 21?
True
Let z = -2882 - -5236. Is 22 a factor of z?
True
Suppose 21*g + 24 = 25*g. Suppose g*b - 45 - 123 = 0. Is 21 a factor of b?
False
Let n be (-3)/(-2 + 5)*14. Suppose 2*w = -2*w - 96. Let y = n - w. Is 5 a factor of y?
True
Let y(t) = t**3 - 9*t**2 + 5*t - 5. Let k be y(9). Suppose 14 = c - k. Is 12 a factor of c?
False
Let r = -28 + 44. Suppose 62 = 3*g - r. Let y = 6 + g. Does 16 divide y?
True
Suppose 0 = -5*r - 20, -3*r = -64*h + 66*h - 378. Does 15 divide h?
True
Suppose -20*s + 30312 = 6432. Is 18 a factor of s?
False
Suppose b = 5*g - 51, -g - 2*b = 3*b - 31. Suppose -g*l = -8*l - 15. Does 3 divide l?
False
Suppose 14 = 5*h - 4*o, 5*o - 2 + 11 = 2*h. Suppose 5*k + 3*r - 270 = 0, -h*k + 2*r = -2*r - 108. Is k a multiple of 9?
True
Let u = -50 + 57. Suppose -u*r + 150 = -2*r. Is 30 a factor of r?
True
Let o = -910 + 2950. Suppose -23*u = -29*u + o. Is u a multiple of 20?
True
Let w(i) = -2*i**3 + 2*i**2 - 2*i + 0*i**2 - 8*i**2 + 5. Let k be w(-4). Suppose -k = -6*u + u. Is 3 a factor of u?
True
Is ((-20)/1)/((-120)/(-12) + -11) a multiple of 6?
False
Let b be ((-192)/(-36))/(2/3). Suppose 0*t - 32 = -2*v - 2*t, v - b = t. Does 3 divide v?
True
Suppose 997 - 4357 = -80*o. Is 23 a factor of o?
False
Let k be -8 - (4*-1 + 2). Let v = k - -11. Let f = v + 12. Is f a multiple of 10?
False
Let l be 542/(-8) - (-1)/(-4). Let y = -7 - l. Is y a multiple of 17?
False
Let o(m) = 8*m**2 + m - 2. Let t be (3 - 5) + (-2 - 0). Is 23 a factor of o(t)?
False
Let n(m) = 1 + 1 - 19*m - 2 - 2. Is 3 a factor of n(-1)?
False
Let x(d) be the second derivative of 3*d + d**2 + 1/6*d**4 + 3/2*d**3 + 0. Is x(-7) a multiple of 14?
False
Let d = 6 - -12. Suppose k - 380 = -5*c, -5*c - d + 388 = -k. Let a = c + -47. Is a a multiple of 10?
False
Let w = -679 + 840. Does 4 divide w?
False
Suppose -5791 = 28*b - 56359. Does 42 divide b?
True
Suppose i - 5 = 28. Suppose 117 - i = -6*j. Let y = j - -26. Does 6 divide y?
True
Suppose 0 = -3*b + 32 - 23. Let c(x) = 5*x**2 + 5*x + 5. Is 14 a factor of c(b)?
False
Suppose -26*u = -17*u - 504. Is 28 a factor of u?
True
Suppose 6396 = 4*s + 3*z, -4*z - 113 - 1467 = -s. Does 14 divide s?
True
Let j(a) = a**2 + 11*a - 27. Let w be j(-11). Let l = 48 + w. Suppose -190 - l = -3*m + 4*x, m + 2*x - 67 = 0. Does 23 divide m?
True
Let c(v) = v**2 + 8*v - 2. Let h be c(-9). Let q be 4 - 1 - (0 + h). Is 14 a factor of (q + (-28)/(-6))*36?
False
Let z = -9 + 17. Let j(a) = -a**2 + 8*a + 3. Let i be j(z). Suppose i*h - h = 72. Is h a multiple of 12?
True
Suppose 30 = 3*h + 5*w, -h + w - 1 = -19. Let d = 43 - h. Is d a multiple of 7?
True
Does 19 divide -40 + 35 + (1 - -6) + 1841?
True
Let m = -1101 + 1861. Does 10 divide m?
True
Let s be 2/(-6)*165/(-11). Suppose -2*c = 3*y + c - 75, -s*c = -2*y + 29. Is 22 a factor of y?
True
Let w(b) be the first derivative of b**2/2 + 24*b - 4. Let i be w(-11). Suppose 27 = 5*n - i. Is n a multiple of 6?
False
Suppose -70 = 2*q + r + 3*r, 3*r = -12. Is 20 a factor of (-6)/q + 1706/18?
False
Is 1087/((3 - 4 - -2)*1) a multiple of 30?
False
Suppose -j = -290 - 155. Does 15 divide j?
False
Suppose 4*m = 3*u + 22 + 6, -12 = m + 4*u. Suppose 2*c - 8 = -h - 2*c, -2*c = -m. Suppose d + 0 - 57 = h. Is 23 a factor of d?
False
Let g(a) be the third derivative of 5*a**2 + 0 - 1/3*a**3 + 0*a + 1/8*a**4. Is 28 a factor of g(10)?
True
Let q be 7 - ((6 - 3) + 0). Let m be (12/8)/(2/q). Suppose 4*d + 5*t = 3*t + 94, m*d - t - 78 = 0. Is d a multiple of 17?
False
Suppose 2*a = 4*a + 12. Let m = a + 23. Let s = m + -11. Does 3 divide s?
True
Let k(c) = -c**3 - 12*c**2 - 10*c + 11. Let t be k(-11). Suppose -21*y + 17*y + 64 = t. Is 8 a factor of y?
True
Let a = 41 - -50. Suppose m + 5 - a = 0. Is 25 a factor of m?
False
Let q be 2/(-1) - (-40)/10. Suppose -4*r - q*j - 139 = -7*r, -r + 33 = 2*j. Does 6 divide r?
False
Let s = -1231 + 2071. Is 12 a factor of s?
True
Suppose 5 = -5*x + 15. Is (x - -59)/(9/18) a multiple of 12?
False
Is 29 a factor of -1*(-13540)/(-6)*12/(-10)?
False
Is 10 a factor of 36*1161/(-36)*2/(-3)?
False
Let r = -138 - -338. Is r a multiple of 24?
False
Suppose 2430 = -9*q + 21150. Does 15 divide q?
False
Let d(w) = -3*w**2 + 413. Is 33 a factor of d(0)?
False
Let i(t) = -4*t - 21. Let v be i(-10). Suppose -v*n = -15*n - 216. Does 11 divide n?
False
Let o(q) = q**2 - 2*q - 2. Let l be o(-2). Let t be (-2 + 2)/(0 - -1). Suppose t = 3*y + 3*s - 21, 0 = -2*y + l*s - 2*s - 10. Is y a multiple of 2?
False
Suppose -2*f = t - 36, 5*t + 0*t - 2*f = 144. Is t even?
True
Suppose -3*r = 4*y - r - 38, 0 = -5*y - 3*r + 48. Is (48 + 12)*y/4 a multiple of 23?
False
Let i = -248 + 468. Suppose 5*s = -4*j + i, -132 = -2*s - s + 4*j. 