/(-8) - 826/(-8) a multiple of 8?
False
Suppose n = 3*l - 2975, -17*n = 4*l - 12*n - 3973. Suppose 4*u - 4*q - l = 0, -u + 245 = -0*q + 2*q. Does 13 divide u?
True
Let y be (-18)/6 - 2/2. Is ((-6930)/(-27))/(y/(-6)) a multiple of 7?
True
Is 105/(240/16) + 1023 a multiple of 2?
True
Let v(q) = 7*q**2 - 29*q - 118. Is v(-13) a multiple of 3?
False
Suppose 44574 = 4*q + r, -5*q + 3*r + r = -55728. Is q a multiple of 14?
True
Suppose 0 = -7655*k + 7649*k + 1020. Is 2 a factor of k?
True
Let o(a) be the third derivative of -19*a**4/24 - 8*a**3 - a**2 - 31. Let y be (-12)/20 - (-141)/(-15). Is 17 a factor of o(y)?
False
Let h = 18908 - -24436. Does 84 divide h?
True
Let r = -7393 + 13815. Is 12 a factor of r?
False
Let u = 738 - 1538. Is ((-13)/((-104)/u))/(6/(-39)) a multiple of 18?
False
Let m be 530/(-7) + (-2)/7. Let y be (9 + (23 - 9))/(2/10). Let v = y + m. Does 39 divide v?
True
Let p = -188 - -192. Suppose -m + p*v = -345, -4*m - 3*v + 1326 = 3. Is 7 a factor of m?
False
Let z(v) be the second derivative of v**4/3 + 77*v**3/6 - 9*v**2/2 + 3*v - 11. Is 12 a factor of z(-23)?
True
Let x be 1/10 + (-164)/40. Is 12 a factor of 375/x*256/(-48)?
False
Does 56 divide -4 + (-4)/((-1772)/590 + -14 + 17)?
True
Suppose -159*t - 34459 + 277729 = 0. Is t a multiple of 7?
False
Let p(k) = 7*k**2 - 106*k - 10. Is p(-10) a multiple of 50?
True
Let g be ((-33895)/140 + (-2)/14)*4. Is 6 a factor of (-4 + 3)*6*g/34?
False
Let r be (-3)/4*(-1)/((-3)/(-12)). Suppose w - 5*m + 27 = 0, 0*w + 54 = -2*w - r*m. Is (-2679)/w + 4/(-18) - 4 a multiple of 19?
True
Does 82 divide 4755360/(-200)*(-5)/3?
False
Suppose 131*n - 849528 = -76*n. Does 76 divide n?
True
Let l be 15*6/(-36)*(-32)/5. Suppose 2*i + g + 0*g + l = 0, 5*i + 54 = g. Is 7 a factor of (32/i)/(14/(-315))?
False
Suppose -4*p = 3*k + 44, p + k + 11 = -0*k. Let q(h) = -3*h + 46. Let s be q(p). Suppose -u + s = -0*u. Is 6 a factor of u?
False
Suppose 78*r + 405 = 63*r. Let k be 20/2 - (3 - 2). Let w = k - r. Is w a multiple of 9?
True
Suppose 4*i = -3*l + 6919, -l - 24*i + 2323 = -26*i. Does 16 divide l?
False
Let k = 2283 + 445. Is (-1 + k/(-56))*-28 a multiple of 11?
False
Let u = 21 + 115. Suppose -141 = -2*k + 3*w, 5*k - 3*w = 475 - u. Is k a multiple of 22?
True
Let t = -5158 - -22006. Is t a multiple of 16?
True
Let r(f) = -f**3 - f**2 + 1. Let h(u) = 22*u**3 + 8*u**2 + u - 8. Let l = 81 - 82. Let c(z) = l*h(z) - 5*r(z). Is c(-2) a multiple of 12?
False
Suppose 77 = 3*h + 3*x - 559, 3*x - 12 = 0. Suppose -h*d + 214*d = 6594. Does 63 divide d?
False
Let h(w) = w**3 - 15*w**2 + 19*w + 2. Let c be h(14). Suppose -5*t = -2*i - 42, t + 2*t = -3*i + 21. Suppose 0 = -t*q + 5*q + c. Does 12 divide q?
True
Suppose 0 = -5*q + 6 + 14. Suppose 0 = p - 3*p - 4*t - 4, -t = -q*p + 37. Does 2 divide p?
True
Let m(i) = 8*i**3 - 10*i**2 - 4*i + 9. Let t(z) = z + 3. Let r be t(1). Let u be m(r). Suppose 0*o + 5*o - u = 0. Is o a multiple of 23?
True
Let m(x) = 19*x - 4. Let g be m(3). Suppose 0 = 5*h + 5*u - 255, 0*u - 4*u + 94 = 2*h. Let o = g + h. Is o a multiple of 24?
False
Does 14 divide (-686)/4*36708/(-399)?
True
Suppose -5*r - 7189 = -10489. Is 20 a factor of r?
True
Let v = 4208 - 3528. Does 4 divide v?
True
Suppose -122 = -5*g + 3*b, g - 2*b - 18 = 5. Suppose -g*d + 32 = -17*d. Is 11 a factor of 136 + (10 - 11)*(d - 0)?
True
Let r(h) = h**2 + 30*h + 7. Let a = 35 - 30. Does 21 divide r(a)?
False
Let r = -6 - -9. Suppose 0 = r*o + 3, 3*o + 49 = -s - 3. Let x = 110 + s. Does 16 divide x?
False
Let u(g) = 21*g**2 + 18*g - 17. Let d be u(4). Let w = -133 + d. Does 43 divide w?
True
Let i(t) = -13*t**3 + 3*t**2 - 8*t - 18. Suppose 4*j - 61 = -69. Is i(j) a multiple of 36?
False
Suppose 2*x - 4 = 0, 0 = j - 4*x + 543 - 1935. Does 13 divide j?
False
Let s be 106/9 + -1 + 44/36. Suppose -17*a + s*a = -1080. Is a a multiple of 7?
False
Suppose -c + 5*g = -4122, 3*g = -4*c + 3944 + 12682. Does 8 divide c?
True
Let x = 151 + -157. Is 7 a factor of 36*((-2)/x)/((-3)/(-42))?
True
Suppose 4 + 4 = -4*n. Suppose -p + 7 = 6*p. Does 19 divide (n - -3)/(p/166)?
False
Let c be ((-1)/(-1))/((16 + -7)/4707). Suppose -9*l + c = -809. Does 4 divide l?
True
Let z = 45 - 113. Let k = z - -76. Does 19 divide (-1)/k - (-63)/56 - -152?
False
Let m(j) = -9*j + 17. Let s(d) = d + 41. Let o(l) = -20. Let c(w) = -7*o(w) - 3*s(w). Let q be c(8). Is m(q) a multiple of 17?
False
Let m = -38 + 41. Suppose 24 - 7 = 3*k - 4*c, -5*k + 9 = m*c. Does 9 divide -5 + 3 + k + 133 + 1?
True
Let s(z) = -z**3 - 3*z**2 + 4*z - 4. Let t be s(-6). Let f be 0 + (t/4)/4. Suppose 139 = -f*y + 729. Is y a multiple of 59?
True
Suppose u + 3*r = 5238, -u = -2*r - 2069 - 3144. Suppose 10497 = 24*q - u. Is 15 a factor of q?
False
Let f(d) be the first derivative of d**4/2 - 2*d**3 + 6*d**2 - 10*d + 13. Does 11 divide f(4)?
False
Let w(q) = 183*q**2 + 54*q + 277. Is w(-8) a multiple of 15?
False
Let d(g) be the first derivative of -7*g**2/2 + 70*g + 103. Is d(-12) a multiple of 14?
True
Is 11 a factor of 7528 + (-2 + 2 - 4)?
True
Let i = -257 - -280. Suppose -i*t = -19*t - 2208. Is t a multiple of 12?
True
Suppose -x + l + 1519 = 0, -112*x = -116*x + 2*l + 6078. Is 80 a factor of x?
True
Let j = 69 - 59. Suppose -3*m = -4 + j, 5*m + 878 = 4*g. Let p = g - 153. Does 9 divide p?
False
Let h(o) = 7 + 9 - 501*o + 3 - 4. Is 15 a factor of h(-1)?
False
Suppose 3*j - 21*j = 126. Does 42 divide 340/(j - (4 - 12))?
False
Let v = 102 + -85. Suppose v*p = -2*p + 7410. Does 26 divide p?
True
Let s be (2 - 1)*2 + (2628 - 1). Suppose -5*w + 1088 = -4*k - s, 0 = -w + k + 743. Suppose -5*a + w = -0*a. Is a a multiple of 32?
False
Let w(l) be the third derivative of l**4/12 + l**3/3 + 5*l**2. Let c be w(-1). Is (-60 - 3)/(-3) - c a multiple of 3?
True
Let g be (6*-1)/(-2) + 0. Let f(i) = -2*i**2 + 115*i - 357. Let s be f(53). Suppose -g*x + 0*y + 372 = -2*y, x = 2*y + s. Does 9 divide x?
True
Let l be (4/(-4)*18)/((-9)/12). Suppose l*z - 22*z = 0. Does 6 divide (z - 2)*(-7)/2?
False
Suppose 3*m = 5*r - 241840, 116573 + 28531 = 3*r + 3*m. Does 190 divide r?
False
Is 21 a factor of (-49173)/(-18) + -2 + (-68)/(-408)?
True
Let l(c) = c**2 - c - 1. Let v(t) = 7*t**2 - 18*t - 1. Let m(q) = 6*l(q) - v(q). Is m(9) a multiple of 2?
True
Let h = 741 + -407. Let y(s) = s**2 + 7*s - 2. Let b be y(-8). Suppose -b*c + 266 + h = 0. Does 17 divide c?
False
Let k = -614 - -1926. Let l = 1839 - k. Is l a multiple of 31?
True
Let i(u) = 6*u + 37. Let a(r) = 17*r + 36. Let c be a(0). Is 11 a factor of i(c)?
True
Let o = 2925 - 2545. Does 20 divide o?
True
Let y be 126*(26/(-91) - (-25)/14). Suppose -l + y - 112 = 0. Is 13 a factor of l?
False
Let w be (7070/(-63))/(-10) + 6/(-27). Suppose -1 = -4*z + 7. Suppose w*d - z*d - 234 = 0. Is d a multiple of 13?
True
Suppose 5*u - 11 = -p, -u = 8*p - 12*p + 2. Suppose t = 2*d + d + 105, u*d = t - 106. Is t a multiple of 20?
False
Suppose -31 = 7*d + 214. Let m be 448/d*35*1/(-2). Let g = 342 - m. Does 25 divide g?
False
Suppose -a - 15 = -2*a - 5*l, 0 = a + 2*l - 6. Suppose -4*c = -a*c + 3*t - 246, 3*t = 2*c - 114. Suppose 0 = -4*u + 5*u - c. Is u a multiple of 6?
True
Let j(z) = -z**2 + 25*z - 14. Suppose 3*w = 7*w - 120. Suppose 0 = 3*i - d - 67, -3*i = -4*d - w - 31. Is j(i) a multiple of 11?
False
Let n(r) = -2*r - 11. Let s be n(-10). Let g(c) = 4*c - 1. Let k(b) = 36*b + 21. Let t(h) = 15*g(h) - k(h). Does 15 divide t(s)?
True
Is (-14)/(-63)*18 + (-9)/3 - -7839 a multiple of 14?
True
Let n(a) = -a + 5. Let c be n(3). Let y = 6835 + -6832. Suppose 2*v - j = 4*j + 143, -205 = -y*v - c*j. Is 7 a factor of v?
False
Let c(i) = -i**2 - i + 6. Let l be c(-3). Suppose 0 = -4*n + 5*a + 47, l*n - 2*a = n - 28. Does 2 divide n?
True
Suppose 5*q + 84 = q. Let z(d) = -d**3 - 18*d**2 - 20*d + 230. Let a be z(-16). Is a - (6/21 + (-36)/q) a multiple of 9?
True
Suppose 0 = 30*f - 38*f + 24. Is (2 - (f + 0))*-737 a multiple of 75?
False
Suppose -3*n + 156 = 3*g - 567, 2*n + 958 = 4*g. Suppose 0 = -6*s + 11*s - g. Is s a multiple of 6?
True
Suppose -w = -6*w - 280. Let h = w + 61. Let v = 58 - h. Does 14 divide v?
False
Is 10 a factor of (1770 - (-12)/(-3))*(189/18)/3?
False
Let x = 5125 + -2853. Is 79 a factor of x?
False
Let i(q) = q**3 + 4*q**2 - q + 23. Let l be i(-5).