-20))?
True
Let y be -2 + 3/(6/(-16)). Does 4 divide (8/5)/((-4)/y)?
True
Let t(k) = 3*k - 15. Is t(7) a multiple of 2?
True
Suppose 0*l + 126 = 3*l. Does 14 divide l?
True
Suppose -4*v = -13 - 115. Let d = v - 2. Does 10 divide d?
True
Let n(x) = 11*x - 5. Is 7 a factor of n(6)?
False
Let d(i) = -21*i**3 - i**2 + i + 1. Is d(-1) a multiple of 10?
True
Suppose -11*w = -6*w - 50. Does 5 divide w?
True
Suppose 8 = -4*a, -4*x - 4*a - 15 = 1. Let b = x - -8. Is 3 a factor of b?
True
Let u(z) = 8*z - 18. Does 3 divide u(7)?
False
Let k(j) = j**3 - 11*j. Let g(n) = 2*n**3 + n**2 - 23*n - 1. Let o(m) = 6*g(m) - 13*k(m). Suppose -2*h + 0*h + 10 = y, -5*h + 32 = -y. Does 9 divide o(h)?
False
Let p(h) = -h**3 + 6*h**2 + 9*h + 6. Let m be (3 - (-2 + 0)) + 2. Does 10 divide p(m)?
True
Suppose -3*x - 5*l = -2*x - 17, -60 = 5*x - 4*l. Let y(f) = f**2 + 7*f + 10. Is y(x) a multiple of 10?
False
Is (58 - -44) + (1 - (-1 - -1)) a multiple of 14?
False
Let t(f) = -f**3 + 2*f - 3. Let k(q) = -3*q**2. Let o(w) = w + 5. Let b be o(-6). Let y be k(b). Does 9 divide t(y)?
True
Let z(y) = -y**3 - 8*y**2 - 13*y + 2. Is z(-8) a multiple of 40?
False
Let q be 4 - 5/(5/2). Let g = 36 - 16. Suppose -5*m + q*d = -48, -3*m - d + g = -0*m. Does 8 divide m?
True
Let w be (-18)/4*(1 - 65). Suppose c + w = 3*c. Suppose c = 5*u - u. Is 18 a factor of u?
True
Let s(b) be the third derivative of -b**5/60 - 5*b**4/24 + 5*b**3/6 - 2*b**2. Let i be s(-6). Does 6 divide i*(-7)/((-21)/(-18))?
True
Let a(y) = 2*y - 13. Let r(u) = u**3 + 4*u**2 + 4*u + 3. Let k be r(-2). Let f be k*(2 + -3) - -13. Does 4 divide a(f)?
False
Suppose 0 = -3*p + 59 + 10. Let h = p - 8. Is 5 a factor of h?
True
Suppose -3*y = -4*g - 87, -113 - 32 = -5*y - 3*g. Is y a multiple of 6?
False
Let v(o) = o + 25. Is 5 a factor of v(-4)?
False
Let i = -4 + 6. Suppose -28 - 16 = -i*k. Is k a multiple of 10?
False
Let v(g) = 2*g**2 - g - 1. Let m be v(-1). Suppose 2*y = -m*j + 8, 0 = -2*y + 8. Suppose -18 = -2*t - 3*z + 53, 5*t + 5*z - 170 = j. Is t a multiple of 15?
False
Let t be (-4)/14 - (-16)/7. Suppose 56 = -6*v + t*v. Is 6 a factor of (-7)/(v/12) - 0?
True
Let s be 1 - -6 - (-3 + 0). Let x be (3 + s/(-3))*-9. Suppose -3*g + 62 + 49 = x*v, 110 = 3*g + 2*v. Does 12 divide g?
True
Does 8 divide (-2)/4 - (141/(-6) - 1)?
True
Let u = 9 - 6. Is 20 a factor of (-2 - -18 - -1) + u?
True
Let q = -36 - -86. Does 25 divide q?
True
Suppose 0 = 2*q - 27 - 65. Suppose 0 = 5*u + 2*x - 31, 5*u - 3*x - 40 = -8*x. Suppose u*m = q + 34. Does 7 divide m?
False
Let y be -2 - -5*(-2)/5. Does 32 divide (y*1)/(2/(-23))?
False
Let n(a) = a**2 - 4*a - 6. Let w be n(6). Let z(g) = g**2 - 6*g + 2. Let o be z(w). Suppose 2*k - 4*v - 74 = -0, -3*v = -o*k + 69. Is k a multiple of 23?
False
Let h = 44 + -501. Is 4/(-14) - h/7 a multiple of 22?
False
Let h be (3/9)/(2/6). Is 11 a factor of h/((-1)/(-66)*2)?
True
Suppose -10*y + 8*y + 18 = 0. Is 9 a factor of y?
True
Suppose 3*i = -i - z + 41, 2*i - 2*z - 28 = 0. Let u = 36 - i. Is 25 a factor of u?
True
Let k = -1 - -8. Suppose -f + k = -2. Suppose 2*u - 42 = -2*m, -m = 4*u - 12 - f. Is 13 a factor of m?
False
Suppose -3*r + g = 230, -3*r + 4*r = -4*g - 81. Is 158/22 - (-14)/r a multiple of 4?
False
Suppose 343 = 2*a - 157. Does 23 divide a?
False
Let n = -172 + 352. Is n a multiple of 8?
False
Suppose 0 = -3*p + a + 2, 3*a - 18 = p - 2*a. Suppose -p*i + 4*i - 4 = 0. Suppose 8 = -3*j + j, -302 = -5*d - i*j. Does 23 divide d?
False
Let x(q) = -q + 20. Is 3 a factor of x(8)?
True
Is 12 a factor of -1 + (10 - -5 - (-1 - -2))?
False
Let w = 20 - -2. Is w a multiple of 9?
False
Let h = 92 - -4. Is 48 a factor of h?
True
Suppose 0 = -2*w + 4*i + 14, 9 = w + 5*i - 12. Let l = w + 12. Is l a multiple of 7?
False
Let u(s) = -4*s**3 + 12*s**2 - 2*s + 9. Let x(g) = 3*g**3 - 12*g**2 + 2*g - 10. Let v(z) = 2*u(z) + 3*x(z). Is v(12) a multiple of 5?
False
Suppose 8 + 8 = f - d, f = 3*d + 18. Suppose -l + g + 11 = 0, 2*g = l - f - 0. Does 6 divide (l/(-2))/((-3)/6)?
False
Let b(f) be the first derivative of -f**4/2 - f**3 - f**2/2 - 4*f - 3. Does 15 divide b(-3)?
False
Let x(o) = o**3 + 13*o**2 + 21*o + 16. Is x(-8) a multiple of 24?
True
Let x = 0 + 3. Suppose a + 2*a - 15 = x*q, 2*q = -2. Is (8/(-8))/((-2)/a) a multiple of 2?
True
Let j = 33 + -31. Suppose 40 = h - 4*f + f, 3*h - 50 = -5*f. Suppose -h = 5*z, 2*z + j*z = -4*p + 148. Does 21 divide p?
True
Let c(y) = 2*y**2 + 6*y + 49. Is c(-6) a multiple of 17?
True
Let x = -1 - -2. Suppose 2*o - 5 = x. Let u = 0 + o. Is u even?
False
Let w = 61 - 46. Is w a multiple of 3?
True
Let j = 10 - 7. Suppose 0 = b - 5*b - 20, -5*s + 255 = j*b. Is 18 a factor of s?
True
Let f(p) = 336*p**3 + p**2 - 1. Let c be f(1). Let h = c - 548. Does 15 divide h/(-8) - 2/4?
False
Let s = -36 - -74. Does 19 divide s?
True
Does 7 divide 2 + 3/((-12)/(-100))?
False
Let f(d) be the third derivative of d**5/60 + d**4/4 + 2*d**3 + 3*d**2. Is 14 a factor of f(-8)?
True
Suppose -4*r - 11 = 1. Does 25 divide (r - 7)*30/(-4)?
True
Let h(x) = x**3 + 2*x**2 - 3*x + 4. Let p be h(-3). Suppose u + 18 = 2*q, 2*u = u + p*q - 26. Let f(z) = -z**3 - 10*z**2 - 3*z - 4. Is 13 a factor of f(u)?
True
Let j(p) = p**3 + 9*p**2 - 6*p + 20. Is 8 a factor of j(-9)?
False
Let v(m) = m**2 - 13*m - 31. Is v(18) a multiple of 14?
False
Suppose -3*m - 2*m + 170 = 0. Does 23 divide m?
False
Let t(x) = -3*x**3 + 11*x**2 - 10*x - 17. Let q(n) = -2*n**3 + 6*n**2 - 5*n - 9. Let m(p) = -5*q(p) + 3*t(p). Does 3 divide m(-3)?
True
Let s = -34 - -118. Is s a multiple of 28?
True
Let z = 1 + -5. Suppose 0 = 3*u + 2*s - 22, -3*u - 14 = -6*u + 2*s. Is 13 a factor of ((-26)/u)/(z/12)?
True
Suppose 0 = 2*r + 5*q - 14, -2*q = -3*r - 1 + 3. Let p(h) = 3 - h**2 - 5 - r + 9*h. Is 10 a factor of p(7)?
True
Let s(l) = l**2 + l. Let c be s(0). Suppose r + 4*r - 110 = 0. Suppose c*m + m - r = 0. Does 22 divide m?
True
Suppose 2*p + 3*p + s + 50 = 0, -2*s = 0. Let o = p - -19. Suppose -7*d + 4*d = -o. Is d even?
False
Suppose 5*m = -2*a + 14, -6*a - 8 = -5*a - 5*m. Is 13 a factor of a*2/(-4) + 27?
True
Suppose 70 = -5*v + 30. Does 4 divide (32/6)/(v/(-12))?
True
Let h(x) = 2*x - 72. Let j be h(0). Let k = -43 - j. Is 12 a factor of k?
False
Suppose 4*i + 4*n = 18 + 214, 0 = -3*i - 2*n + 179. Is 21 a factor of i?
True
Suppose v + v - 7 = 3*z, -5*v - z = -9. Suppose u = -3*l - 12, 2 = v*u - 3*l - 10. Does 5 divide u + -1 + -1 + 10?
False
Suppose -4*k + 5 = -43. Suppose -k*v + 13*v - 12 = 0. Is v a multiple of 3?
True
Suppose 4*n - 8 = -0*h + 2*h, 3*n = 3*h + 6. Let l be (h + -5)*(-8)/(-20). Is 9 + (3 + l)*-1 a multiple of 3?
False
Let f(y) = -4*y + 2. Let j be f(-5). Let p = j + -8. Does 7 divide p?
True
Let s(z) = 10*z. Suppose 4*p = -4*d + 8, 0 = 4*p + 2*d - 3 - 5. Is s(p) a multiple of 10?
True
Let t(v) = 4*v - 10. Does 6 divide t(19)?
True
Let w(l) = l + 15. Let y be w(-15). Suppose y = h + 11 - 21. Does 5 divide h?
True
Let d be (-1)/(-2*2/4). Is 13 a factor of 35 - 1*(d + -2)?
False
Suppose 4*q - 3*x = 991, -2*q + 4*x + 89 = -419. Is 54 a factor of q?
False
Let f(a) = -a**2 + 2*a + 7. Let n be f(5). Let j = n - -38. Is 10 a factor of j?
True
Suppose -4*o - o = -3*m - 146, 5*o - m - 142 = 0. Does 14 divide o?
True
Let q = 5 - 1. Suppose 0 = -q*c + 24 - 64. Let p = c + 15. Is 4 a factor of p?
False
Let b be 2*((-14)/(-4) - 1). Suppose 5*m = b + 20. Suppose 11 = 3*d - 5*t, m*t - 1 = -5*d + 4. Does 2 divide d?
True
Let k(f) = -2*f - 13. Let x be k(-9). Let n(g) = -g**3 + 7*g**2 - 4*g - 6. Is n(x) a multiple of 12?
True
Let n(c) = 4*c**3 - c**2 - c + 1. Let m be n(1). Suppose 4*y + 132 = -3*k + 8*k, k - m*y - 33 = 0. Does 12 divide k?
True
Let y = -5 + 20. Suppose -g - y + 57 = 0. Suppose -16 = -4*z, 0*z = -k - 2*z + g. Is k a multiple of 13?
False
Let i(f) = 2*f**2 - f - 2. Let m be i(-2). Let y be 1/4 - 47/(-4). Is 309/y + 2/m a multiple of 13?
True
Suppose w - 3*u = 6, -u - 4 = 3*w - 12. Suppose -5*t = -4*n + 12 + 3, -5*n = -t - w. Suppose -4*b + 68 = -n*b. Is 7 a factor of b?
False
Let l = -115 - -195. Suppose 3*r + 12 = 3*u - 0, -3*r - 9 = 0. Suppose 5*x = 5*y - l, -x + 0 + u = 0. Is 11 a factor of y?
False
Let x(s) = s**2 + 22*s - 25. Is 13 a factor of x(-24)?
False
Let p = -43 - -143. Does 4 divide p?
True
Let j = -13 + 9