- w**6/120 + w**5/15 - w**4/6 + 2*w. Let c(r) be the third derivative of h(r). Is c(7) a multiple of 15?
True
Let l(q) = -4*q**3 + 11*q**2 + 21*q + 3. Let i(r) = -r**3 + 4*r**2 + 7*r + 1. Let j(v) = -7*i(v) + 2*l(v). Let s be j(-5). Let n = -6 + s. Is n even?
False
Is (-2)/1 + 78 + -9 a multiple of 16?
False
Let f(y) = -12*y - 1. Let k(o) be the second derivative of -23*o**3/6 - o**2/2 - 3*o. Let h(q) = -11*f(q) + 6*k(q). Is 16 a factor of h(-6)?
False
Let t(q) = -q**2 - 2*q - 1. Let y be t(-1). Let v = 6 - y. Is v a multiple of 4?
False
Let m be 2/(-2) + 8/2. Suppose 0 = -m*q + q. Suppose -2*s + 80 = -4*h, 2*h = -q*s + 2*s - 74. Does 17 divide s?
True
Let w(f) = 2*f**3 + 4*f**2 + 4*f - 6. Let v(i) = -5*i**3 - 12*i**2 - 12*i + 18. Let h(r) = 3*v(r) + 8*w(r). Is 5 a factor of h(5)?
False
Let k = 14 + -23. Let t = -6 - k. Let b(z) = 9*z**2 + 2*z - 4. Is 28 a factor of b(t)?
False
Suppose -3*z - 4*i = -i + 9, i = 2*z + 3. Let r = z - -6. Does 2 divide r?
True
Suppose -190 = -5*p + 5*w, -7*p = -2*p - 2*w - 184. Is 12 a factor of p?
True
Let c = -29 + 49. Is c a multiple of 2?
True
Let w(i) be the second derivative of i**4/12 + i**3/6 - 3*i. Let k be w(0). Suppose -5*y + f + 139 = k, f - 85 = 2*y - 5*y. Is y a multiple of 14?
True
Let l(p) = -3 + 8*p**3 + 3 - p**2 + p. Let y be l(1). Does 7 divide ((-15)/(-6))/(1/y)?
False
Let z = 1 + 0. Suppose 0 = -3*c + z + 5. Suppose 4*g - 3*i + 10 = 107, -3*i = c*g - 35. Is g a multiple of 11?
True
Suppose 0*j = 2*j - 72. Does 5 divide j?
False
Let v be 8/(-6)*27*1. Let h = v - -66. Is h a multiple of 20?
False
Suppose 2*g - 5*k = g - 5, -2*g + 1 = k. Suppose -6 = -g*i - i. Is i a multiple of 3?
True
Let j(n) = n + 10. Does 4 divide j(0)?
False
Let q(v) = -v**3 - 5*v**2 - 3*v + 5. Is 2 a factor of q(-5)?
True
Suppose -10 = -3*n + 2. Suppose 0 = -b + 2*b - n. Suppose -5*s + s = b*m - 128, 3*s = m + 80. Does 14 divide s?
True
Let w = -6 + 12. Suppose -2*q + w = -0. Is 434/21 + (-2)/q a multiple of 10?
True
Let o(p) be the second derivative of 3*p**3/2 - 5*p**2/2 + 2*p. Is o(6) a multiple of 19?
False
Suppose 3*l - 2*j = 70, 0 = 2*j - 4*j - 10. Let h = -7 + l. Does 13 divide h?
True
Let k(v) = v**2 - 8*v + 10. Let j be k(7). Suppose 0 = -j*a + 5*x + 36 + 71, 3*a = 3*x + 99. Is a a multiple of 8?
False
Let a(p) = -11*p - 11. Is a(-5) a multiple of 11?
True
Let f = 174 - 140. Is 34 a factor of f?
True
Suppose -5*i + 204 + 89 = 4*x, -3*x = i - 63. Is i a multiple of 19?
True
Let g(p) = 13*p + 5. Let l be g(5). Let t = 121 - l. Is 17 a factor of t?
True
Suppose -4*n - 5*n + 189 = 0. Does 12 divide n?
False
Let n = 160 + -85. Is 15 a factor of n?
True
Suppose 2*f + 32 = 2*p - 2*f, 0 = -5*f + 5. Is 6 a factor of p?
True
Is 6/(-42) + 239/7 a multiple of 24?
False
Let i(m) = -m**3 - 5*m**2 + m + 5. Suppose 3*q + z + 18 = 0, -q + 4*q = z - 12. Let y be i(q). Suppose y = 2*n - 16. Does 7 divide n?
False
Suppose 2*x - 7*g = -2*g + 555, -3*x + 819 = -3*g. Does 15 divide x?
True
Let h = -76 + 36. Is (48/h)/((-1)/10) a multiple of 12?
True
Suppose 4*p - 5*p = 0. Suppose 2*o + o - 141 = p. Is o a multiple of 25?
False
Suppose 0 = g + 4*w - 27, 2*w - 54 = -2*g + 5*w. Does 10 divide g?
False
Let i(p) = -p**3 + 7*p**2 - 3*p - 8. Let r be i(6). Let g be r*((-1)/2)/(-1). Suppose -2*x = -g - 3. Is 2 a factor of x?
True
Let d(c) = c**3 - 2*c**2 - 5*c + 4. Let v be d(3). Is 4 - -2 - v/(-2) a multiple of 5?
True
Suppose 27*x = 32*x - 385. Does 7 divide x?
True
Suppose 4*x + 137 = 5*h, x + 37 = h - 3*x. Suppose -h + 3 = -2*r. Let d = 20 - r. Is d a multiple of 7?
False
Let t be 2/6 + (-102)/(-18). Suppose -9 = -3*w + t. Suppose -2*g + 0*i + 4*i + 42 = 0, -4*g = w*i - 149. Does 11 divide g?
False
Let k(g) = g**3 + g**2 + g + 15. Does 15 divide k(0)?
True
Let b = -31 + 18. Let k = b - -34. Is 21 a factor of k?
True
Suppose -w = -2*y - 26, y + y + 4*w = -16. Does 2 divide 4/y*(-8 - 1)?
False
Suppose 5*b - 192 = 2*b. Let c(z) = 3*z**2 - z. Let g be c(1). Suppose g*y = -4*q + b, 5 = q - 5*y - 0. Does 11 divide q?
False
Suppose 4*y = 3*i - 5, 5*i - 6 = 4*y + 5. Suppose t = i*t + 18. Let n = t - -23. Is 7 a factor of n?
True
Let o(u) = -9*u + 9. Let d(w) = 10*w - 9. Let f(a) = 4*d(a) + 5*o(a). Does 27 divide f(-9)?
True
Let i be (10/3)/((-2)/(-6)). Suppose -i - 10 = 5*o. Does 4 divide 6/(-1)*o/6?
True
Let t(h) = 5*h - 9. Suppose m - 1 = -2*k + 15, m = k + 1. Does 8 divide t(m)?
False
Let t(z) = z**2 + 15. Let v be t(0). Suppose 3*b = v, -4*q + 2*b + 33 = -41. Is q a multiple of 21?
True
Let s be (14/(-2))/((-8)/(-16)). Let o = s + 27. Does 6 divide o?
False
Suppose 0 = 11*n - 6*n - 320. Does 16 divide n?
True
Let z be (-38)/(-3) + 10/(-15). Let o = z - 9. Does 2 divide o?
False
Let x(u) = u**3 - 4*u**2 - u + 1. Let w be 20/(-6)*12/10. Let k be x(w). Let l = -87 - k. Does 12 divide l?
True
Suppose -5*a - 2*d + 183 = 0, a - d = -6*d + 55. Does 7 divide a?
True
Is 27 a factor of (45/(-10))/(3/(-18))?
True
Suppose -4*i - 3*w - 2 = 0, 0 = -4*i + 3*w - 2 + 12. Suppose 4*a + 4*n = -n + 7, 3*a + 5*n = -i. Let m(k) = -k**2 + 11*k - 12. Is 12 a factor of m(a)?
True
Suppose -1 - 8 = -3*x. Let g(o) = -o**3 + 6*o**2 + 4. Let t be g(x). Suppose 3*s - 36 = -2*r, 2*r = -4*s + t + 3. Is r a multiple of 21?
True
Suppose s + 1650 = 6*s. Is 22 a factor of s?
True
Let i = 108 + -61. Let o = -19 + i. Does 11 divide o?
False
Suppose -43 = -2*t + 43. Is 5 a factor of t?
False
Let i(z) = 3*z**2 - 7*z**2 + 1 + 5*z**2 + 2*z. Does 13 divide i(6)?
False
Let k(u) = -u + 49. Is 7 a factor of k(0)?
True
Let b be 1*(-2 + -2 + 0). Let w = b - -18. Is 3 a factor of w?
False
Let t(v) = v**3 + 5*v**2 - 9*v - 5. Suppose -3*i = i - 52. Let q = i + -19. Is t(q) a multiple of 12?
False
Suppose -5*c + 9*c - 60 = 0. Suppose -2*j + 11 = -c. Does 5 divide j?
False
Suppose 4*q = -3*n - 12, -2*q - 9 = 3*n + q. Let c be 22*(3/(-6) - n). Let g = 13 - c. Does 12 divide g?
True
Suppose 4*v = 7*v - 51. Is v a multiple of 5?
False
Suppose -d + 1 = -2, -4*g - 3*d = -21. Suppose -n + 1 = -0. Is 21 a factor of n*g + 2 + 22?
False
Let a(n) = n**2 - 8*n + 5. Let q be a(8). Suppose 58 = -2*l + 5*l - 2*o, 0 = q*l + 5*o - 130. Is l a multiple of 11?
True
Let f(w) = 9*w**2 + 4*w. Does 15 divide f(2)?
False
Suppose 5*o = -10, -4*o + 132 = -8*t + 4*t. Does 13 divide (4 - t)/(-1 - -2)?
True
Let l(d) = 10*d - 10. Does 14 divide l(8)?
True
Is 21 a factor of (2 - -2)/((-8)/(-92))?
False
Suppose -6*k + 3*k = -408. Is 30 a factor of k?
False
Let j = 8 - 5. Suppose -4*v - 17 = j, 0 = 2*s - 4*v - 120. Does 4 divide s/6 + (-4)/12?
True
Let l = 38 + -14. Is l a multiple of 12?
True
Let u be (12/(-8))/(3/16). Let b = u - -22. Does 7 divide b?
True
Suppose 24 = -3*y - y. Let f = 0 + y. Is 4/f + (-64)/(-6) a multiple of 5?
True
Let i = -12 + 17. Let y = i - 21. Let a = y - -27. Is a a multiple of 11?
True
Suppose 2*z = 2*t - 24, 8*z = 3*z - 15. Suppose -3*v + 5*q + 92 = t, -5*v = -5*q - 145. Does 11 divide v?
False
Let v = 277 - 81. Does 23 divide v?
False
Let o(s) = 27*s - 36. Is o(8) a multiple of 15?
True
Let l = -92 + 152. Is l a multiple of 20?
True
Suppose 5*j - i = 30, 2*j + 0*j - 12 = -5*i. Suppose -k + 12 = -g, 4*g = k - 3*k - j. Is k a multiple of 5?
False
Suppose -2*g = -0*g. Suppose 5*j - 4*v - 240 = g, 4*v = -4*j - 0*v + 156. Is ((-2)/(-2))/1*j a multiple of 15?
False
Suppose -2*c + 4*h = h - 42, -3*c + 82 = 5*h. Suppose 6*q - 2*r = q - 54, 2*q + 5*r + 39 = 0. Let p = c + q. Does 4 divide p?
True
Let y be (-54)/(-7) - 6/(-21). Suppose 2*q = 4*t - y, 0*q + 3*t - 7 = q. Does 14 divide (-224)/(-10) + q/(-5)?
False
Suppose 0 = -s - n - 14 + 5, 0 = 5*n. Let u = -4 - s. Does 5 divide u?
True
Let z(a) = a**3 + 2*a + 6. Does 26 divide z(4)?
True
Suppose -5*p + 24 = -2*m - 4*p, -66 = 5*m - 4*p. Let h(v) = 7*v - 6. Let z be h(7). Let o = m + z. Does 13 divide o?
False
Suppose 2*s = -s - 33. Let f = s + 16. Suppose -2*g - 30 = -f*g. Is 9 a factor of g?
False
Let i(q) = 6*q**2 + 3*q. Let f be i(-2). Is 16 a factor of 164/3 + (-12)/f?
False
Let g(n) = 2*n**3 + 3*n**2 + n. Let q be g(-2). Let t(m) = -m**2 - 6*m + 2. Let w be t(q). Suppose -6*j + 112 = -3*j + 2*b, -w*j - b + 74 = 0. Does 13 divide j?
False
Let l = -289 + 419. Is 18 a factor of l?
False
Let c be (4 - 2) + -2 + 4. Suppose -c*f + f + 126 = 0. Does 14 di