e d?
False
Let i be ((-3 - -1) + -7)*15. Let w be (-2)/8 - 5/(-4). Is 18 a factor of i/(-3) - 3/w?
False
Suppose -j + 5 = -2*n + 4*n, 3*j - 3*n = 15. Is 3 a factor of j?
False
Let w(b) = 15*b + 5. Suppose -t = -c + 1, -3*t + c - 1 = -8. Is w(t) a multiple of 20?
False
Let m = 0 + 1. Let t(y) = -102*y + 1. Let s be t(m). Let x = -58 - s. Does 21 divide x?
False
Let g(v) = -v**2 + 40*v - 36. Does 21 divide g(27)?
True
Let h = 5 + -1. Let n = 14 - h. Is 10 a factor of n?
True
Let n be (-2)/(-5) - (-46)/10. Let g = -4 + n. Suppose q = g + 25. Is 13 a factor of q?
True
Let y = 11 - 43. Let f(l) = -l**2 + 3*l + 5. Let n be f(7). Let p = n - y. Does 9 divide p?
True
Let y(a) = a + 3. Let u be y(-6). Let k = u + 7. Is k/(-6) - 44/(-3) a multiple of 14?
True
Is 28 a factor of 16/6 - 16/24 - -334?
True
Let g(h) = -2*h**3 + 6*h - 2. Let j be g(4). Let a = j - -152. Is 23 a factor of a?
True
Suppose -2*k - 2 = -4*k. Suppose k = -z + 3. Suppose -3*s + z = -13. Is s a multiple of 3?
False
Suppose -4*f + 120 = 2*f. Is 10 a factor of f?
True
Does 10 divide (1 + -26)*336/(-120)?
True
Suppose -5*l = 0, 5*s + 5*l + 3 = 153. Is 5 a factor of s?
True
Let p(n) = n**3 - 9*n**2 - 13*n + 5. Does 26 divide p(11)?
True
Suppose 8*y - 20*y + 960 = 0. Is y a multiple of 16?
True
Let s = 17 + -10. Let z = s - 3. Suppose -2*v - 4*i + z = 0, 11 = 5*v + 4*i - 11. Is 2 a factor of v?
True
Suppose -3*n + 0*n = -5*f + 24, f + 3*n = -6. Suppose -f*j = -5*t - 44, j + 3*j - 3*t - 44 = 0. Is 3 a factor of j?
False
Let t(b) = b**3 + 6*b**2 + 3*b + 4. Is t(-4) a multiple of 11?
False
Let f be (3/(-1))/(4/(-4)). Suppose -f*l + 83 = -55. Does 19 divide l?
False
Suppose w = -5*u + 64, 3*w - u - 202 = 22. Suppose 0 = 2*s + 4*f - w, s - 95 = -2*s + 2*f. Suppose -a + 3*y - s = -4*a, 3*y + 3 = 0. Is 9 a factor of a?
False
Is 40 a factor of (8 + -48)/(2/(-4))?
True
Suppose 5*m = -2*f + 20, -4*f = -f - 4*m - 76. Suppose 8*n - f = 4*n. Suppose -8 = -n*p + 92. Does 10 divide p?
True
Suppose 0 = 4*o - 0*o - 36. Does 17 divide o/(-12) + 969/12?
False
Let s = 403 - 284. Does 17 divide s?
True
Suppose -5 + 1 = -d. Suppose -d*a + 112 = -20. Does 13 divide a?
False
Let m(s) = 3*s + 0 + 0 + 36*s**2 - 4*s. Is 11 a factor of m(1)?
False
Let o(z) = -z**3 - 11*z**2 + z + 15. Let g be o(-11). Let w be 6/2*8/12. Suppose 2*r = w*h + g, 3*r - 5 - 4 = 2*h. Does 3 divide h?
True
Suppose 0 = 7*k - 9*k + 6. Is 3 a factor of k?
True
Suppose 0 = -3*g + 9 + 9. Does 4 divide 138/9 + g/9?
True
Let x = 323 - 26. Is x a multiple of 47?
False
Suppose 6*l - 2*l = -4*w + 80, 0 = -5*w - 4*l + 98. Is 4 a factor of w?
False
Let k be (-87)/(-9) - (-4)/(-6). Let j(f) = -2*f - 2. Let a be j(-4). Let t = k - a. Is 3 a factor of t?
True
Suppose -8*o + 405 + 299 = 0. Is 5 a factor of o?
False
Let q = 20 - 7. Suppose z = -6 + 24. Let r = z - q. Is 4 a factor of r?
False
Suppose -10*r + 11*r = 59. Does 38 divide r?
False
Is (-1)/(6/4*(-16)/5496) a multiple of 22?
False
Suppose 228 = -0*r + 4*r - 4*o, -2*r + 115 = -3*o. Is r a multiple of 10?
False
Let r(u) be the second derivative of -u**4/12 - 5*u**3/3 + 6*u**2 - 3*u. Let h be r(-11). Is h/(1/13) + 3 a multiple of 6?
False
Let d(j) = -7*j**2 + 3*j - 4. Let m(a) = 14*a**2 - 7*a + 9. Let u(l) = -13*d(l) - 6*m(l). Is u(2) a multiple of 12?
False
Let b = 15 + -9. Is b a multiple of 4?
False
Suppose 0 = -c - 5*i + 36, 0*i - 3*i - 98 = -4*c. Let b = c + -15. Is b a multiple of 11?
True
Let l(y) be the third derivative of -y**6/60 - 7*y**5/60 - 5*y**4/24 + y**3/3 - 6*y**2. Does 21 divide l(-5)?
False
Let s be (-2)/(0 + (-2)/(-7)). Let g = s - -9. Does 2 divide g?
True
Let q(w) = -3*w + 42. Is q(-6) a multiple of 20?
True
Let p be (34/7)/((-2)/(-14)). Suppose 4*b - p = 38. Is 4 a factor of b?
False
Suppose -u - 254 = -0*s - 2*s, -2*s = 5*u - 278. Is 43 a factor of s?
True
Suppose -14 + 6 = -4*g. Let l(o) = 13*o + 2. Is l(g) a multiple of 11?
False
Let q(n) be the second derivative of n**7/2520 - 13*n**6/720 + 3*n**5/20 - n**4/12 - 3*n. Let o(s) be the third derivative of q(s). Does 5 divide o(13)?
False
Let v = 1 - -10. Is v even?
False
Suppose -2*r + 12 = 5*h, -h + 6 = -4*r - 14. Is h a multiple of 4?
True
Let p = -1 + 5. Let v(b) = 19*b - 1. Let l be v(p). Let x = l - 53. Does 11 divide x?
True
Let i(t) = -2*t + 27. Does 9 divide i(-18)?
True
Let c(z) = z**2 + 6*z + 7. Let t be c(-6). Is -1 + -1 + t + 0 a multiple of 2?
False
Let l(w) = 5*w - 19. Does 13 divide l(13)?
False
Let i(k) be the first derivative of 5*k**2/2 - 10*k + 2. Does 10 divide i(8)?
True
Let c(s) = -3*s + 1. Let a be c(-5). Let z = 35 - a. Let j = 44 - z. Is 16 a factor of j?
False
Suppose r = 2*r - 17. Is 3 a factor of r?
False
Suppose -37 = -5*u - 12. Suppose 5*d + o = -0*d + 102, 2*d + u*o - 50 = 0. Does 10 divide d?
True
Let w(m) = -m + 3. Let k be w(7). Let r be (12/15)/(k/(-10)). Suppose r*n - 7*n = -25. Is 3 a factor of n?
False
Suppose -190 + 22 = -6*y. Is y a multiple of 6?
False
Let z(x) = x + 1. Let c(m) = -2*m - 1 - 2*m + 6*m. Let s(u) = c(u) - z(u). Does 2 divide s(4)?
True
Suppose 5*p + 16 = -2*q + 167, -2*p = -4*q - 70. Suppose 4*v - p = 57. Is 10 a factor of v?
False
Let u(m) = -m + 49. Let j be u(0). Let y = j - -13. Is 17 a factor of y?
False
Let d = -12 + 3. Is (-326)/d - 6/27 a multiple of 12?
True
Let l(y) = -2*y**2 + 3*y - 3. Let r be l(2). Let q = r + 7. Is 2 a factor of q?
True
Let q(d) = d - 2. Let c(o) = -2. Let p(l) = 3*c(l) - 2*q(l). Let j be p(-2). Suppose -s = 4*f - 11, 2*f = 4*s - j*f - 144. Does 13 divide s?
False
Is (7/2)/(10/120) a multiple of 14?
True
Let u = -38 + 23. Let h = 0 - u. Is 14 a factor of h?
False
Let a(j) = -16*j - 80. Is a(-18) a multiple of 31?
False
Let b = 10 + 15. Does 9 divide b?
False
Suppose g - d = -0*g + 30, 0 = 2*d - 2. Is g a multiple of 10?
False
Let x = -7 + 11. Let s(y) = 2*y**3 - 6*y**2 + 3*y - 4. Let o be s(x). Suppose -i - 4*t = -o, 4*i = 3*i - 5*t + 45. Is 10 a factor of i?
True
Suppose -3*o = -5*s + 470, -4*s + o + 383 = -0*o. Suppose s - 25 = 4*x. Is x a multiple of 9?
True
Let j(t) be the first derivative of t**4/4 - t**3/3 + t**2 + 2*t + 1. Let g be j(4). Suppose g = 2*d - 12. Does 12 divide d?
False
Let u(c) = -5*c - 3. Let y = -10 + 5. Let j be u(y). Suppose -4*l + j = -14. Does 7 divide l?
False
Let a(w) = -w + 16. Let l be a(11). Suppose -2 = -l*z - u + 2, -4*z = -2*u - 6. Suppose -z = 2*y + 3*g - 9, 3*g = -6. Is y a multiple of 2?
False
Let s(n) = -27*n**3 + 2*n**2 + n + 1. Let t(w) = w**3 - w**2 - w - 1. Let a = -6 + 5. Let y(v) = a*t(v) - s(v). Does 13 divide y(1)?
False
Let t(y) = 74*y + 1. Let n be t(2). Suppose -29 = -5*w - n. Is ((-2)/(-4))/((-2)/w) a multiple of 6?
True
Let w = 105 + -45. Suppose 3*l = 6*l - w. Does 20 divide l?
True
Let w be (1 + 1)*6/4. Let k(i) = -4 - i**2 + 4*i**w + i**2 + 3. Is k(1) a multiple of 2?
False
Let c(q) = q**2 - 7*q + 1. Let z be c(9). Let m = 34 - z. Is m a multiple of 4?
False
Let w(t) = -4 - 14*t**2 + 6 - 2*t**3 - t**3 - 12*t + 4*t**3. Is 21 a factor of w(15)?
False
Let l = 37 + 11. Is 8 a factor of l?
True
Let u = 164 + 61. Does 45 divide u?
True
Let b(x) = 3*x**2 - x + 3. Suppose -h + 6 = 1, 5*k + 30 = 3*h. Is 21 a factor of b(k)?
False
Is 6 a factor of 1/(1/(57/3))?
False
Suppose 7*y = 2*y + 220. Is 11 a factor of y?
True
Let q(f) = -f**2 + 9*f + 4. Let p be q(9). Is p/14 - 351/(-21) a multiple of 17?
True
Let n be -1 + 0 + -1 + 8. Is 7 a factor of ((-24)/9)/((-1)/n)?
False
Let v(p) = -3*p + 29. Is 8 a factor of v(-5)?
False
Suppose -522 = -12*c + 414. Does 4 divide c?
False
Suppose 4 = -2*y + y, 3*g + y = 5. Suppose 0 = -d - g*d - 184. Let w = d - -79. Is 15 a factor of w?
False
Let o(y) = -5*y**3 - 9*y**2 + 5*y + 11. Let k(l) = l**3 + 2*l**2 - l - 3. Let p(n) = -9*k(n) - 2*o(n). Does 3 divide p(0)?
False
Let k(v) be the first derivative of v**3/6 - 2*v**2 - 2*v + 2. Let p(g) be the first derivative of k(g). Is 2 a factor of p(8)?
True
Let u(w) = -w**2 - 10*w + 5. Let v(p) = -8*p + 1. Let o be v(1). Does 14 divide u(o)?
False
Suppose -k = -1 - 1. Let z be 1/k - (-134)/(-4). Does 11 divide z/(-3 - (-6)/4)?
True
Let d be (0/(-1))/(-4 + 6). Does 17 divide 19*((-6)/(-3) - d)?
False
Suppose -4*h - 3*w = 108, h + 3*w - w = -22. Let b = 44 + h. Is b a multiple of 7?
True
Let v(l) = -l**3 - 7*l**2 + l + 