*w = 285. Is 19 a factor of ((-2 - -3) + -2)/((-3)/n)?
True
Let v(a) be the third derivative of a**7/2520 + a**6/80 - a**5/20 + a**2. Let l(u) be the third derivative of v(u). Is l(4) a multiple of 17?
True
Suppose -14*y + 13*y - c = -1800, 5*c = 0. Is y a multiple of 75?
True
Suppose -58 = -4*w - 0*m + 3*m, -5*m = -4*w + 54. Is 18 a factor of (-21 - -56)*w/10?
False
Let r(n) = n**3 + 8*n**2 - n - 10. Let c(s) = s**2 - 5*s - 14. Let o be c(6). Let w be r(o). Is 2 + 1 + w + 17 a multiple of 12?
False
Suppose -20*y = -3595 - 725. Does 24 divide y?
True
Let y(z) = 2*z + 23. Let u be y(-11). Let k be (-3 - -2) + 49*u. Suppose k = 5*o - 3*o. Is o a multiple of 18?
False
Suppose 2234 = 3*j + 284. Is 19 a factor of j?
False
Let m(z) = 5*z - 8. Let l = -17 - -22. Is 17 a factor of m(l)?
True
Let a = -73 + 33. Let m = 81 + a. Is m a multiple of 8?
False
Suppose 3*h + 5*a - 136 = 0, 5*h + 3*a - 56 = 144. Suppose 3*z = -2*u + 323, -4*u - 66 = -z + h. Is z a multiple of 29?
False
Suppose 149 = 5*v - 5*b + 39, 0 = b + 4. Suppose -9*n + v = -7*n. Does 7 divide n?
False
Let p = 595 - 255. Is 4 a factor of p?
True
Suppose 3*a + 3*q = 375, 0*a - 4*a + 2*q + 500 = 0. Suppose 0 = -8*t + 123 + a. Does 10 divide t?
False
Suppose u - 3*n + 17 = 2*u, n - 35 = -4*u. Let r = 12 - u. Suppose r*a - 11 = -v - 0*a, -5*a + 31 = 2*v. Is 8 a factor of v?
False
Let o be ((-54)/3)/(-2) + -1. Suppose s - 5*f + 10 = 0, -s + 4*f = -5*s + o. Suppose s = -x - 2*x + 21. Does 7 divide x?
True
Suppose 403 = 3*b - 182. Is 15 a factor of b?
True
Is 18 a factor of 9 + -13 + 108 + 2 + 2?
True
Suppose 0 = -k - 11 + 1. Let p be ((-8)/5)/(k/25). Suppose 65 = p*f - 15. Does 5 divide f?
True
Suppose -558 = -j - d, j - 4*d + d - 574 = 0. Is 7 a factor of j?
False
Suppose 20 = -2*y - 2*y. Let d(o) be the second derivative of -19*o**3/6 - 11*o**2/2 + 24*o. Does 21 divide d(y)?
True
Let m be (4/(-10))/(7/(-770)). Let w = m - 8. Suppose s - w = 37. Is s a multiple of 16?
False
Let a(w) = 3*w**2 - 10*w + 18. Let u be a(8). Suppose -u = -6*v + 146. Is v a multiple of 17?
False
Suppose -16093 = -5*t - 2*h, 7617 - 1199 = 2*t - 4*h. Is 14 a factor of t?
False
Suppose -k + a + 123 = 2*a, 5*k + a = 595. Is k a multiple of 22?
False
Let c = 208 + -145. Is c a multiple of 63?
True
Suppose 4*f - 3506 + 482 = o, -2*o + 3024 = 4*f. Is 36 a factor of f?
True
Let h be 46/(-14) + (-11)/(77/(-2)). Is 20 a factor of 21/(-9)*180/h?
True
Let a(o) = o**2 + 4*o - 10. Let j be a(-7). Let l(w) = w**2 - 22*w - 48. Let g be l(24). Let m = j - g. Does 3 divide m?
False
Let u be -5 + 2 + 0 + 0. Let n be (-3)/(1/2*u). Suppose 3*i + 15 = 0, -n*k + 104 = k - i. Is k a multiple of 13?
False
Let j = -70 - -63. Does 9 divide 1 + j + 17 - (-3 + 1)?
False
Let n(f) = f**3 + 5*f**2 + f + 5. Let x be n(-7). Let t = -67 - x. Is 6 a factor of t?
False
Let j be 6369/(-99) - 2/(-6). Is 23 a factor of (-3)/(-2)*j/48 - -167?
False
Suppose -4*a - 12 = 0, -1417 = -5*x - 5*a - 277. Is x a multiple of 11?
True
Let f = -119 + 27. Let c = 164 + f. Does 24 divide c?
True
Suppose 478 = 3*h + m - 2*m, 488 = 3*h + 4*m. Does 6 divide h?
False
Suppose 5*f + 6 = 2*f, 0 = -4*m - 4*f + 744. Suppose 0 = -5*n - 8 + m. Is 18 a factor of 9/n - 143/(-4)?
True
Let m(z) = z + 11. Is m(-4) a multiple of 7?
True
Suppose 4*g - 1467 = -3*h + 829, 0 = 2*h + g - 1524. Does 8 divide h?
True
Let v(w) = 4*w + 148. Is v(-27) a multiple of 5?
True
Let l be (-4)/(-3)*75/20. Suppose c + 540 = l*c. Suppose 7*q = 12*q - c. Is 8 a factor of q?
False
Suppose 6*y - 2*y = -24. Let c(l) = l**3 + 5*l**2 - 8*l - 7. Let t be c(y). Suppose -10 = -2*d - 6*z + 3*z, t*z + 2 = -d. Is d a multiple of 3?
False
Does 66 divide (279/36 - 8) + (-16839)/(-12)?
False
Let v be (580/14 - 0)*(-11 + 18). Suppose 62 = 4*m - v. Is 44 a factor of m?
True
Let l(g) = 5*g**2 - 7. Suppose 2*t + 0 = 8. Suppose 2*y - 8*r + 4*r = 14, -t*r - 5 = -5*y. Is 18 a factor of l(y)?
False
Does 19 divide 1 + 450 - (-3)/(-4 + 7)?
False
Let y(m) = 4*m + 7 - 8 - 14. Let o be y(6). Let s = o + 7. Is s a multiple of 8?
True
Let u = -664 - -1183. Does 64 divide u?
False
Let l = -44 + 84. Suppose 0 = 4*f - 3*b - 80, 5*f + 2*b - l - 60 = 0. Is f even?
True
Let b be 0/(-11) + (-3)/(-1). Suppose 295 = b*d - 242. Does 29 divide d?
False
Let g = 24 + -20. Suppose 21 = l - 3*k, -g*l + k - 6*k - 1 = 0. Is 19 a factor of l/4*(-184)/(-3)?
False
Let u(c) be the second derivative of -5*c**3/3 - 5*c. Does 10 divide u(-7)?
True
Let k(p) = -p**3 - 8*p**2 + 19*p - 5. Let z be k(-10). Suppose h - 5*w = 44, h = z*h + 3*w - 130. Is 17 a factor of h?
True
Let v = 56 + -53. Suppose 0 = -6*f + v*f + 303. Is 10 a factor of f?
False
Let n(w) = -w**3 - 17*w**2 + 19*w + 40. Suppose -2*s - 5*o - 46 = 0, 0 = -0*s - s - 2*o - 22. Is n(s) a multiple of 2?
True
Suppose -a = -3*z - 22, 0 = 4*z - z + 12. Suppose 10 = t - a. Is 20 a factor of t?
True
Let w(a) = a**2. Suppose 4*c = 20, 3*f - 16 = 5*c - 4*c. Let n = -4 + f. Is 2 a factor of w(n)?
False
Suppose -124*s + 119*s = -15915. Does 43 divide s?
False
Let q(h) = h + 9. Let n be q(-7). Suppose n*c = a - 82, 85 = 2*a - 2*c - 69. Does 18 divide a?
True
Let v(m) = m**3 + 4*m**2 + 4*m + 6. Let q be v(-4). Let b be (-1 - 1)*(-52)/8. Let k = b + q. Is k even?
False
Suppose 14*u - 3*p = 16*u - 2229, p = -u + 1116. Is u a multiple of 40?
False
Let n(l) = -l**3 + 8*l**2 - 6*l + 6. Is 5 a factor of n(6)?
False
Let a(s) = 130*s**2 - 38*s + 174. Is 18 a factor of a(5)?
False
Suppose -9 = 3*k + 3. Let l be ((-15)/9)/(k/12). Is (2 - 21/(-15))*l a multiple of 14?
False
Suppose -2352 = -4*s - c, -c = 3*s - 4*c - 1764. Does 28 divide s?
True
Let p be 6/(-8) - (-5432)/32. Is 13 a factor of p/52*(-4)/(-1)?
True
Suppose 123 - 3812 = -4*j + 3*w, 0 = 4*w + 12. Does 10 divide j?
True
Suppose g + 4*p + 87 = -2*g, 5*g + 3*p + 134 = 0. Let o = 7 - g. Let j = o - 8. Is j a multiple of 6?
True
Let s(h) = h**3 + 18*h**2 + 8*h - 3. Let j be s(-9). Suppose -5*r - 226 = j. Does 22 divide r/12*9/(-6)?
True
Let a(u) = u**2 + 13*u + 23. Is a(11) a multiple of 41?
True
Let i(y) = -35*y**3 + 3*y**2 - 2. Let v(s) = -s**2 - 6*s - 6. Let x be v(-5). Is i(x) a multiple of 8?
False
Let u = 2701 - 1444. Is 3 a factor of u?
True
Suppose -732 = -21*k + 17*k. Is k a multiple of 33?
False
Suppose 5*j = -r + 19 + 28, -r - j + 59 = 0. Let c = 9 - 19. Let l = r + c. Does 9 divide l?
False
Suppose -4*u = -2*u - 42. Let y = u - 11. Is 4 a factor of (-24)/5*y/(-3)?
True
Suppose s - 225 = 6*s. Let b = 86 + s. Suppose -w = -0*w - b. Does 12 divide w?
False
Let k = -112 + 124. Suppose -4*j + 1104 = 4*u, -6*u + 3*u + k = 0. Is 17 a factor of j?
True
Suppose -3*x = 4*c - 12 - 0, -3*c + 9 = -5*x. Suppose -c*z = -z + 44. Is 15 a factor of 319/z*4/(-2)?
False
Let j(y) = -200*y**3 + 3*y**2 + 11*y + 11. Does 21 divide j(-3)?
False
Let z(o) = o**3 + 7*o**2 - o + 12. Let a be z(-6). Suppose 2*v = v + a. Is v a multiple of 18?
True
Suppose 798 = 2*v - 1500. Is v a multiple of 29?
False
Let i(t) = 4*t**2 + 9*t - 488. Does 95 divide i(20)?
False
Let u = 4319 - 2115. Does 58 divide u?
True
Let q = 58 + 140. Is q a multiple of 30?
False
Suppose i - 37 - 113 = 0. Is i a multiple of 5?
True
Let v = -4 - -7. Suppose -k + v*k - 10 = 0. Suppose k*o - 138 = -43. Does 5 divide o?
False
Let l(z) = 8*z + 10. Let j be l(9). Let h = j + 142. Is 32 a factor of h?
True
Is (1*1314/12)/(3/2) a multiple of 15?
False
Does 47 divide (-2)/21 + 634134/1071?
False
Let l = -239 + 259. Is 10 a factor of l?
True
Let g be (9/(-21))/((-5)/35). Suppose 0 = 2*o - g*w + 5, o + 0*w = -w - 15. Is 13 a factor of 3/(-5) + (-526)/o?
True
Suppose 13*n - 12576 = -3*n. Suppose 66*m = 60*m + n. Is m a multiple of 24?
False
Suppose k + 295 = 6*k. Let y(h) = 2*h - 25 + k - 30. Is y(7) a multiple of 6?
True
Suppose 4*i - 27 = 3*v, 4*i - v - 22 = v. Let l(y) = -y**2 + 1. Let d be l(1). Suppose 5*b + 188 = 4*c - i, c + 2*b - 64 = d. Does 18 divide c?
True
Let n(v) = 4*v. Let w be n(1). Let b = w - -24. Is 13 a factor of b?
False
Suppose -3*q + 3*u + 20 + 37 = 0, 5*u - 25 = 0. Is q even?
True
Suppose 2*r + c - 34 = -3*c, -4*c + 72 = 4*r. Let w = r + -7. Does 2 divide 4/12*-3 + w?
False
Let w(k) = 8*k + 48. Let n(p) = -175*p - 1055. Let q(i) = 2*n(i) + 45*w(i). Is 5 a factor of q(5)?
True
Suppose 6 = l + 7. Let o b