k). Let v = -4 + y. Does 14 divide v?
False
Let t(y) = 52*y**3 - y**2 + y - 1. Let f be t(1). Let b = 97 - f. Suppose o - 5*r - 4 = 0, -5*r - b = -5*o - 6*r. Is o a multiple of 9?
True
Is (120/(-14))/(26/(-455)) a multiple of 36?
False
Suppose z - 2 = 4. Is 6 a factor of z?
True
Suppose 0 = 5*q - 2*j - 25, 4 = -4*q - j + 11. Suppose -q*b + 6*b - 108 = 0. Is 18 a factor of b?
True
Let f(h) be the first derivative of -h**3/3 + 11*h**2/2 + 15*h + 1. Let d be f(11). Let m = 5 + d. Is m a multiple of 10?
True
Let m = 8 + 2. Let h be m*(1/(-2) + 0). Does 10 divide ((-1 - -2) + -6)*h?
False
Let j(r) be the third derivative of r**4/6 - r**3/3 - 3*r**2. Is 12 a factor of j(10)?
False
Let k = -85 - -142. Suppose -3*s - 6 = -k. Is s a multiple of 7?
False
Let v = 5 - 4. Suppose -v = -3*j + 2*j. Does 25 divide 1*-1 + j + 50?
True
Suppose 0 = 2*r - 3*r + 3. Suppose 0*k - r*m = -5*k + 62, -4*k = 2*m - 32. Is 4 a factor of k?
False
Does 7 divide -1 + 67 - (16/4 - 6)?
False
Suppose -3*j = -5*j - 3*s + 267, 3*s = -j + 135. Does 12 divide j?
True
Let a(p) = p**3 - 7*p**2 + 7*p - 3. Let c be a(6). Suppose -c = -2*m - 5. Does 5 divide (2 + m)*(5 + 0)?
True
Let c = -6 + 5. Let b be 6/12 + c/(-2). Is 23 a factor of (-1 + 0)*b + 42?
False
Suppose -2*j - 1 = -7. Suppose 4*k + 3*n = 571, j*k = 3*n + 189 + 234. Suppose 4*o - k = -w, 0*w + w = -2. Does 18 divide o?
True
Let k = 5 - 0. Suppose 0 = k*v - 3*s - 0*s + 11, 3*v + s = -15. Let c = v - -8. Does 2 divide c?
True
Let l(w) = -w**3 + w + 1. Let o(a) = -5*a**3 + 5*a**2 + 5*a + 4. Let s(j) = -6*l(j) + o(j). Let c = 3 + -7. Does 9 divide s(c)?
True
Let n = 284 - -36. Suppose -3*j = 2*j - n. Is j a multiple of 18?
False
Let x be (-2 - -5)/9*30. Suppose -4*t + x = -2*t. Suppose -v + t*v = 72. Is 9 a factor of v?
True
Let x = 0 + -2. Let a be (-8)/x*(-12)/(-8). Suppose 21 = c - 2*u, -a*c + c + 60 = 5*u. Is c a multiple of 11?
False
Suppose -m + 2*m - 39 = 0. Is m a multiple of 29?
False
Let f(r) be the third derivative of -r**4/24 - 13*r**3/6 - 3*r**2. Let x be f(0). Let g = x + 19. Is 3 a factor of g?
True
Let i be 32/12*(8 - -1). Does 20 divide (-2)/4*4 + i?
False
Suppose -4*y - w - 3*w = -152, 2*y = -4*w + 78. Suppose -90 - 40 = -5*d. Let j = y - d. Does 11 divide j?
True
Suppose 6*c - 5*c - 25 = 0. Is 5 a factor of c?
True
Suppose -3*f + 44 = -f. Does 8 divide f?
False
Suppose -5*r + u + 3 = 0, -3*u - 9 + 0 = 5*r. Suppose -m + 2*m - 1 = 0, x - 1 = m. Is 6 a factor of x/1 + (r - -4)?
True
Suppose -131 = -2*j + 3*f - 30, 5*j - 3*f = 230. Is 21 a factor of j?
False
Does 8 divide 0 + (-435)/(-18) + (-1)/6?
True
Suppose 2*z = 123 - 5. Is 19 a factor of z?
False
Suppose f = 6*f - 120. Is f a multiple of 4?
True
Suppose -3*m + 57 = -5*c, m + 3*c - 17 = 4*c. Is 14 a factor of m?
True
Let q(m) be the first derivative of 2 - m + 1/3*m**3 + 2*m**2. Does 6 divide q(-6)?
False
Suppose 0 = 5*f - 0*i + 3*i - 11, -5*i = -5*f + 35. Does 3 divide f?
False
Is 25 - (-2 - 1 - -4) a multiple of 17?
False
Suppose -3 = -2*v + 5. Suppose v*z - 2*z = 8. Is z a multiple of 4?
True
Suppose 4*o = 3*o + 25. Let z = o + -4. Does 21 divide z?
True
Let z(m) = 1. Let i(f) = -f - 6. Let y be i(-5). Let j(c) = c - 26. Let p(x) = y*j(x) + 3*z(x). Is p(0) a multiple of 11?
False
Suppose 3*h - h = 150. Is h a multiple of 12?
False
Suppose 33 = -4*k - 59. Let h = -9 - k. Does 9 divide h?
False
Suppose 0 = 15*z - 19*z + 424. Is 14 a factor of z?
False
Let l = 148 - -94. Is 11 a factor of l?
True
Let b be ((-1 + 1)*-1)/(-1). Let o be (b + 1)*(-1 + 4). Suppose 77 = o*f + 4*c, 2*f = -0*c + c + 33. Is f a multiple of 12?
False
Let p = 23 + -33. Does 16 divide (-15)/p*(-34)/(-3)?
False
Suppose -296 = v - 5*v. Let i = v + -26. Is i a multiple of 16?
True
Let o(y) be the first derivative of -y**4/4 + 5*y**3/3 + 7*y**2/2 - 4*y - 3. Let l be o(6). Suppose 0*p - l*p = -36. Is p a multiple of 5?
False
Suppose -5*u = -20, -5*a - u + 381 = -2*u. Is 11 a factor of a?
True
Let r(f) = 7*f + 7. Let y be (1 + 3/(-2))*-10. Does 14 divide r(y)?
True
Suppose 2*t + 2*u - 32 = 6*u, -t - 2*u + 4 = 0. Let c(n) = 1 - t*n + 3*n - 10*n. Does 18 divide c(-1)?
True
Suppose 5*y - 2*v - 4 = 0, 0 = 2*y + 4*v - 11 - 5. Let o(m) = 3*m**2 - 2*m + 3. Is o(y) a multiple of 11?
True
Suppose f + 188 = 4*s + 5*f, -4*s + 233 = -5*f. Does 15 divide s?
False
Let l(w) be the second derivative of w**5/20 - w**4/6 + 3*w**2/2 - 2*w. Suppose 3*f - d = 11 - 2, -3*f = -5*d - 9. Does 4 divide l(f)?
True
Let n = -59 + 39. Is 13 a factor of (n/(-25))/(2/155)?
False
Suppose 30 = 5*c + 2*t, 4*t + 19 = 5*c - 11. Let o = c + 0. Does 3 divide o?
True
Let y(d) = -9*d - 6. Is y(-12) a multiple of 17?
True
Let c be 3669/9 + (-2)/(-6). Is (6/4)/(18/c) a multiple of 28?
False
Let x = -10 - -37. Is 7 a factor of x?
False
Suppose 2*g = 4*b + 50, 3*g + 2*g + 5 = -3*b. Let r(v) = v**2 + 5*v - 8. Does 14 divide r(b)?
True
Suppose 0*c + 4*c = -20, -5*t = 5*c. Suppose -t*v = -2*y - 9, 4*v = -2*y - 3*y + 60. Is y a multiple of 8?
True
Let l(t) = -t**2 + t - 4. Let b(p) = -2*p**2 - 3. Let k(x) = -3*b(x) + 2*l(x). Suppose 2 = 3*q + 8. Is k(q) a multiple of 7?
False
Let l(f) be the second derivative of -f**4/6 + 7*f**3/6 + 7*f**2/2 + 3*f. Let q be l(7). Let x = -29 - q. Does 13 divide x?
True
Suppose 3*j + 15 = 0, -q - 3*j = 57 + 33. Let l = -54 - q. Does 14 divide l?
False
Let t = -96 - -167. Let q = t - 20. Is 17 a factor of q?
True
Let k = 54 + -21. Does 30 divide k?
False
Suppose 5*j + 5 = -5. Suppose -4*y = y - 4*n - 100, -3*y - 3*n + 60 = 0. Is ((-4)/5)/(j/y) a multiple of 8?
True
Suppose -i - 235 = -4*i + 2*r, r - 220 = -3*i. Is 15 a factor of i?
True
Suppose 6*k - 4*k = 320. Is k a multiple of 40?
True
Let r be (-23)/(-4) + (-1)/(-4). Let b(m) = -3*m - 3. Let x be b(4). Is 5 a factor of (20/r)/((-10)/x)?
True
Let r = -10 + 6. Let c(s) = -s**3 - 6*s**2 + 6*s + 2. Let q be c(r). Let j = 85 + q. Is j a multiple of 15?
False
Suppose z - 3*k = 59, -187 = -3*z - 3*k + 2*k. Is 6 a factor of z?
False
Suppose -26 + 278 = 2*o. Is o a multiple of 6?
True
Let t be 1 - (-1 - -3) - -1. Suppose t = -5*k - 111 + 416. Is 18 a factor of k?
False
Let r(y) = -58*y + 3. Let m be 1 + -1 - (9 + -8). Is r(m) a multiple of 16?
False
Let t = 12 - -3. Does 3 divide t?
True
Let i = 2 - -1. Suppose 3*k - 2*j = 21, 0 = i*k - 2*j - j - 21. Is 2 a factor of k?
False
Let i(n) = n**3 - 7*n**2 + 8*n - 6. Let x be i(5). Let v = x + 31. Is v a multiple of 15?
True
Let x = 93 + -35. Does 29 divide x?
True
Is 33 a factor of (208/(-14) - 4)*-7?
True
Let p = 168 - 81. Is p a multiple of 29?
True
Suppose 0 = x + 4*j - 0 - 11, 4*j = 2*x + 2. Is x a multiple of 2?
False
Suppose 3*n + 37 = 5*b + 163, -5*n + 200 = -5*b. Is n a multiple of 37?
True
Let j be (119 - -3) + (-12)/(-4). Let s = -80 + j. Does 17 divide s?
False
Let y(p) = 15*p**2 + 2*p + 1. Is y(-1) a multiple of 7?
True
Let u(s) = s**3 - 2*s**2 - 4*s - 1. Let v be u(3). Let t be (-9)/(-7) - v/(-14). Is 2*2 + (t - 0) a multiple of 3?
False
Let m(z) = z + 3. Let i(t) = 1. Let v(c) = -14*i(c) + 6*m(c). Let f be v(3). Let b = 62 - f. Is 14 a factor of b?
False
Let h(m) be the first derivative of -m**3/3 - m**2/2 + 2*m + 1. Let f be h(-2). Suppose f = 3*w - 5*w + 46. Does 8 divide w?
False
Suppose x - 220 = -7*j + 4*j, 3*j = x + 230. Is 19 a factor of j?
False
Suppose 4 = n - 0*n - 2*f, 2*n - 23 = -f. Is 10 a factor of n?
True
Let u(n) = -2*n + 14. Is u(-8) a multiple of 24?
False
Suppose 5*t + 195 = g, -5*t = -2*g + 137 + 268. Suppose 5*m - g = -0*m. Is 21 a factor of m?
True
Let r(j) = j**3 + 8*j**2 + 3*j + 9. Let v be r(-6). Let a = v - 7. Does 28 divide a?
True
Let c be (1 - 2) + 1 + 32. Suppose 2*s + 0*s - c = 0. Is s a multiple of 8?
True
Let s(d) = -3*d - 8. Let m be s(10). Let v = m - -67. Does 19 divide v?
False
Let u = -56 - -127. Is 49 a factor of u?
False
Suppose -2*k = 3*k. Let j = -21 + 21. Does 8 divide (-6 - j)*-4 - k?
True
Suppose 2*w = -8, 3*w - 5 = -5*k - 2*w. Suppose 4*z - 50 = -z - 4*i, -3*z = k*i - 30. Is 4 a factor of z?
False
Suppose 25*r - 22*r = 93. Does 2 divide r?
False
Let c = 699 - 478. Is c a multiple of 28?
False
Let b = 53 - 25. Is b a multiple of 4?
True
Let s be (1 + 4)*(4 + -3). Let m = -8 + s. Is m + (-3)/(-1) - -38 a multiple of 12?
False
Suppose -3*n - n = 20. Let z = 