oes 14 divide q?
False
Let u = -4 + 2. Does 21 divide u + 1 + 44 + -1?
True
Suppose 0 = 2*s - 3 - 5. Does 4 divide s?
True
Suppose -b + 2*k = -6, -5*b - 2 = -b + 5*k. Let i(o) = -6*o**3 + 2*o**2 - o - 1. Let s be i(b). Let g = s - -72. Does 12 divide g?
False
Let s = -208 - -307. Does 21 divide s?
False
Let o be (1 - 0)*(-3 + 0). Is (-2)/o + 1088/24 a multiple of 15?
False
Suppose c = 0, 23 = -2*d - c - 129. Let p = d - -133. Is 19 a factor of p?
True
Suppose 0*p + 8 = 4*p, -4*p - 48 = 2*g. Let o = -14 - g. Is 7 a factor of o?
True
Let c(u) be the first derivative of u**5/12 + u**4/24 + 2*u**3/3 - 3. Let k(x) be the third derivative of c(x). Does 4 divide k(1)?
False
Let z be 18/(-12)*56/6. Let b = z + 50. Is b a multiple of 18?
True
Let f(a) = -37*a**3 - a**2 + 1. Is f(-1) a multiple of 37?
True
Suppose 473 = 5*u + 63. Suppose 94 = q + 2*q - 5*s, 0 = 4*q + 2*s - u. Is 8 a factor of q?
False
Suppose 37 = -4*t - 3. Let b be t/(-25) - (-234)/(-10). Let o = 67 + b. Does 21 divide o?
False
Suppose -56 - 52 = -3*r. Is r a multiple of 7?
False
Let v = 67 + -37. Does 13 divide v?
False
Let b be (-1374)/(-15) + 2/5. Suppose -w - b = -5*w. Is 7 a factor of w?
False
Let m be 8/(3 + -1 + -1). Let r = -2 + m. Suppose -p - a + 19 = 0, -4*p + r = -3*a - 49. Is p a multiple of 6?
False
Let b = 11 - 6. Suppose 0 = 3*w - b*s + 10, -2*w + 2*s = -6*w + 30. Is w a multiple of 4?
False
Suppose 0 = 5*d + 4*n + 3, -2*d + 7*d = 4*n + 13. Let f = 15 - d. Does 7 divide f?
True
Let w = 126 - 57. Let v = -105 + w. Let y = v - -60. Is 24 a factor of y?
True
Let a(k) be the third derivative of k**5/60 + k**4/4 - 11*k**3/6 - 5*k**2. Let c(s) = s**3 - 8*s**2 + 5*s + 4. Let w be c(7). Does 12 divide a(w)?
False
Let q be -3 + 15*(-2)/(-6). Is 37 a factor of (q + 3/(-1))*-45?
False
Suppose -5*r - 5347 + 247 = 0. Is 15 a factor of r/(-27) - 2/(-9)?
False
Let r be (-3)/((-6)/98) - 1. Suppose 4*j - b + r = 5*j, 2*j - b = 81. Does 16 divide j?
False
Does 14 divide 4 - 29/(-1 - 0)?
False
Suppose 3*v + 0 = 6. Suppose 0 = -v*c + 4*c - 52. Is 13 a factor of c?
True
Let c(b) = -b**3 - 11*b**2 + 2. Let k be c(-11). Let z = k - 1. Does 18 divide z + 40 - (-3 + 1)?
False
Suppose 0 = -n - 2*n + 15. Let b be 2992/18 - (-4)/(-18). Suppose 0 = -n*g + 3*d + 531 - b, -g = d - 65. Is g a multiple of 24?
False
Let x be 2/(-4) - (-1)/2. Is -1 + x + 22 + 0 a multiple of 7?
True
Let j(l) = -l**2 - 4*l + 7. Let k be j(-5). Let y(s) = 2*s**2 - 2*s + 1. Let h be y(k). Suppose 110 = 5*g - 2*w - 0*w, w + h = 0. Does 10 divide g?
True
Is 5 a factor of 8/28 - 472/(-14)?
False
Is 6 a factor of (4 - (-1 + -3))*3?
True
Suppose p - 22 = -q - 0*p, -3*q - p + 70 = 0. Suppose -4*f = y - 3*y + q, -4*y = -4*f - 44. Suppose m + m = -4*j + y, 4*m - 30 = 2*j. Is m a multiple of 5?
False
Let b(v) = 0*v + 4*v + 6 + 0*v. Let r be b(-4). Is 7/(r/6 - -2) a multiple of 9?
False
Let d be 18/(-12) + (-7)/2. Let b be d/((-5)/34) + 0. Let h = b + -4. Is h a multiple of 15?
True
Let m = 64 - 93. Let x be (61/3)/((-9)/27). Let v = m - x. Is v a multiple of 16?
True
Suppose 0 = d + 2 - 8. Let n = d + 1. Is n a multiple of 7?
True
Let u = -13 - -18. Suppose -u*o - 2*j + 11 = 0, 2*o - 2*j + 5 = 5*o. Suppose -5*m = -4*a - 6, -5*a + 4 = m - o*a. Is m even?
True
Suppose 253 = 4*b + 45. Suppose 5*i - b = 38. Does 14 divide i?
False
Suppose -3*g + 6 + 6 = 0. Suppose 0 = 5*x + g*k - 355, -3*x - 4*k + 273 = 60. Does 18 divide x?
False
Suppose 3*t + 23 = 71. Let o = 45 - t. Is o a multiple of 12?
False
Let c be ((-93)/(-6))/(-1)*-2. Suppose -k + c = 5*f, -2*k + 32 = -5*f - 60. Does 7 divide k?
False
Let f(r) = -r + 18. Let y be f(13). Suppose 5 = y*q - 175. Is q a multiple of 18?
True
Let q = -19 + 20. Is (0 + 61 + 3)/q a multiple of 19?
False
Suppose 0 = 4*g - 173 + 65. Is 9 a factor of g?
True
Let l = 95 - 49. Does 23 divide l?
True
Let h(q) = 3*q**2 - q + 1. Let f be h(1). Suppose -3*n = -3*v + 183, 0 = -v + f*n + 77 - 20. Does 22 divide v?
False
Suppose 4*z - 153 = -3*b, -3*z + 3*b + 176 - 35 = 0. Is z a multiple of 21?
True
Let a(m) be the third derivative of 13*m**4/24 - m**3/3 - 4*m**2. Does 24 divide a(2)?
True
Let m(c) = -c**3 - 2*c + 2. Let u be m(-3). Let h = 1 + u. Suppose b - 2*n - 16 = -n, -5*n - h = -b. Does 5 divide b?
False
Let c be 6/2 - 9/3. Suppose 3*x + h = x - 6, h + 4 = c. Is x + 3 + 5 + 0 a multiple of 7?
True
Let r = 157 + -24. Is 7 a factor of r?
True
Let m be (-111)/(-2)*-2*-1. Let y = -53 + m. Is y a multiple of 15?
False
Let l = -143 + 239. Is l a multiple of 16?
True
Let t(g) = -4*g + 4. Is t(-6) a multiple of 24?
False
Let d = -18 + 23. Is d even?
False
Suppose 2*l = -3*r + 253, -r + 0*r = 4*l - 91. Is r a multiple of 12?
False
Let j = -7 + 12. Let p be 79/4 - 4/(-16). Suppose -j*t + p = -3*t. Is 10 a factor of t?
True
Suppose -f = 3*c - 4 - 5, 0 = 5*f + 2*c - 19. Is 4 + (f - 4) - -6 a multiple of 2?
False
Suppose -5*x + x = -72. Is 6 a factor of x?
True
Suppose y + 1 = 5. Suppose -y*h = 5*t - 65 - 30, -h = -t + 28. Does 10 divide t?
False
Let b(t) = -3*t**3 - 4*t**2 - 3*t - 1. Let a(i) = -7*i**3 - 8*i**2 - 6*i - 2. Let z(v) = -2*a(v) + 5*b(v). Is 6 a factor of z(-4)?
False
Suppose 5*d + n - 4 = 3*d, 0 = -2*d + 2*n + 16. Suppose 30 = -3*z + d*z. Is 10 a factor of z?
True
Suppose 21 = -5*a - 19. Is 3 a factor of ((-18)/(-4))/((-4)/a)?
True
Let w(r) = -r**3 - 9*r**2 + 4*r + 5. Let b be w(-9). Let p = b + 175. Suppose 5*m = -z + p, -4*z + 27 + 17 = m. Is 8 a factor of m?
False
Is 8 a factor of (16/(-8))/(-1 - -2) - -26?
True
Suppose 25 = 7*q - 2*q. Suppose -49 = -q*v + 1. Let p(j) = j**3 - 11*j**2 + 10*j + 7. Is 7 a factor of p(v)?
True
Let a(i) be the third derivative of -i**7/840 + i**6/72 + i**5/120 - i**4/6 - i**3/3 + 2*i**2. Let u(l) be the first derivative of a(l). Does 11 divide u(4)?
False
Suppose -3*r = -5*t - 6*r + 486, -5*t - 4*r = -483. Is t a multiple of 9?
True
Suppose 218 = 2*u + 8. Is 35 a factor of u?
True
Let m = 11 + -12. Is 14 a factor of (-13 + m)/(4/(-8))?
True
Let d(p) be the second derivative of -p**5/120 - p**4/12 - p**3/6 + p. Let u(t) be the second derivative of d(t). Is 2 a factor of u(-6)?
True
Let t(j) = j**3 - 4*j**2 - 5*j + 8. Is 7 a factor of t(6)?
False
Let a(p) = -p**3 - 6*p**2 + 6*p. Let m be -28 - 0 - (-6)/2. Let b = m - -18. Is 2 a factor of a(b)?
False
Is 12 a factor of (-4)/20 + (-492)/(-10)?
False
Let w(t) be the third derivative of 23*t**4/24 - 2*t**3/3 - 8*t**2. Is w(2) a multiple of 14?
True
Let t = -9 - -4. Let i(z) = -z + 9. Does 7 divide i(t)?
True
Is (-18)/3*(-2)/3 a multiple of 4?
True
Let h(r) = -r**3 + 12*r**2 - 8*r + 9. Let f be h(5). Suppose q = -q + f. Is 32 a factor of q?
False
Let m = 379 + -150. Is m a multiple of 20?
False
Suppose 144*s - 387 = 141*s. Is 12 a factor of s?
False
Let d(l) = -4*l - 4. Is 3 a factor of d(-13)?
True
Suppose 0 = 6*x - 0*x - 660. Does 10 divide x?
True
Suppose u - 176 = -3*u. Suppose 13*m = 9*m + u. Is m a multiple of 3?
False
Let c(f) be the second derivative of -f**5/20 - 7*f**4/12 + 2*f**3/3 + 6*f**2 + 2*f. Is c(-8) a multiple of 22?
True
Is (18/8)/((-15771)/2632 - -6) a multiple of 47?
True
Let d be 6/9 - (-2)/6. Suppose -5 = -3*w + d. Suppose w*i = -0*i + 18. Does 9 divide i?
True
Is 22 a factor of (6/(-4))/(9/(-852))?
False
Let h(r) be the first derivative of -11*r**2 - r - 3. Let n be h(-2). Let f = n - 27. Is 8 a factor of f?
True
Suppose 42 = 4*p - 2*v - 68, -3*p + 72 = 2*v. Does 13 divide p?
True
Suppose 3*t + 13 = 79. Is t a multiple of 9?
False
Let q(t) = 3*t - 3. Suppose 4 = -2*w + 3*w. Is q(w) a multiple of 9?
True
Let j be (-6 - -4) + 2/1. Suppose j = k - w - 4*w + 17, 15 = 3*w. Is 3 a factor of k?
False
Let j(c) = 2*c**2 + 1. Let x be j(-3). Let s = 32 - x. Suppose s = -2*i + 35. Does 11 divide i?
True
Suppose -66 + 316 = 5*s. Does 15 divide s?
False
Suppose -4*i = 4*j - 180, -6*j + 15 = -j. Is 9 a factor of i?
False
Let r(p) = -p**3 + 4*p**2 + 6*p - 1. Let n be r(5). Suppose -n*y + 2*b + 297 = 3*b, y - 78 = -b. Does 19 divide y?
False
Let w be (-6)/(-12) + (-7)/(-2). Let p = 1 + w. Suppose -p*z = -56 - 234. Is 27 a factor of z?
False
Let v(x) = 2*x + 1. Suppose -2*f + 40 = 3*f. Let m = f + 1. Is 13 a factor of v(m)?
False
Suppose 2*f - 5 = f. Is 2 a factor of f?
False
Let j(b) = -4*b + 6. Is 17 a factor of j(