. Is 20 a factor of m(2)?
True
Let l be (-1 + 3)/(1 - 3). Is (3 - -99)*l/(-3) a multiple of 9?
False
Let r(q) = 9*q. Suppose 0 = -4*o - 4*g + 24, 4*o - 6 = -o + 3*g. Let i be r(o). Let a = 7 + i. Is 17 a factor of a?
True
Suppose 6 + 12 = 2*x. Suppose 3*d = -x, -3*d - 9 - 25 = -5*k. Does 5 divide k?
True
Let n be (-1 - 0)/(-1)*-2. Is n/(-3)*(-15)/(-1) a multiple of 5?
True
Suppose 5*i = -2*a + 63, -i - 2*a = a - 10. Let d(t) = 5*t - 16. Does 17 divide d(i)?
False
Let p(c) be the first derivative of -8*c**2 + c + 2. Let z be p(-8). Is (-2)/(-3 - (-381)/z) a multiple of 15?
False
Let w(u) = u**2 - 11*u + 36. Does 23 divide w(18)?
False
Let q(s) = -2*s + 23*s**2 + 2 - 1 - 2. Let c be q(-2). Let u = -57 + c. Is u a multiple of 14?
False
Suppose 4*q - 2 + 10 = 0. Let n = -5 - q. Is 12 a factor of 27 + (-1)/(n/(-3))?
False
Suppose -9 = -4*k + 87. Is 6 a factor of k*((-2)/3)/(-1)?
False
Let o(j) = 3*j - 3. Let m be o(3). Is 8 a factor of m + 3 - (0 - -1)?
True
Let u(y) = -y**2 - y - 1. Let s = -3 + 3. Let l be u(s). Is 14 a factor of 1 - 8/l*2?
False
Let l(x) = x - 7. Let n be l(7). Suppose n = -3*p + 175 - 1. Does 14 divide p?
False
Let i be (-2)/(-9)*-3*15. Does 12 divide (-4)/i + (-372)/(-20)?
False
Let t(v) = -20*v - 1. Let s = 2 - 4. Let x be t(s). Let n = x - -9. Does 17 divide n?
False
Suppose -j + 6 = -4*r, -5*r - 2*j - 13 = -6*j. Let u = r + 30. Is u a multiple of 12?
False
Let i(y) = -43*y - 1. Let d be i(-3). Suppose -5*u + 13 + 39 = 2*l, 4*l - d = -4*u. Is 18 a factor of l?
True
Let c(g) = 2*g**2 - 4*g - 1. Let b be (14/(-4) + 2)*-2. Let w be c(b). Suppose 7 - 27 = -u - 2*z, 5*u + w*z = 90. Is 7 a factor of u?
False
Is 1/(-6) + 316/24 even?
False
Let c be (-4)/(-18)*15*-9. Let b = -2 - c. Is b a multiple of 14?
True
Suppose 0*x + 8 = -c + 3*x, 3*c - 4 = 2*x. Is c a multiple of 3?
False
Suppose -3*g = 5*a + 12, g = -3*a + 2*a - 4. Suppose -4*t - 32 = -a*t. Is 5 a factor of t/(-10)*(-50)/(-4)?
True
Does 20 divide (-3)/(-5) + 1773/45?
True
Let h be 2/(-8) + 28/(-16). Is ((-4)/(-1))/(-2)*h a multiple of 3?
False
Suppose -2*x + 6 = -4*x. Let c be (3 - x/(-1)) + 0. Suppose -40 = -2*y - c*y. Is 7 a factor of y?
False
Suppose -5*j + 248 = -2*x, 3*j - 201 = -x - 50. Does 16 divide j?
False
Suppose -z - q + 26 = -3*q, 41 = z + 3*q. Is 4 a factor of z?
True
Let i(t) = -10*t + 2. Suppose -5 = -j - 4*j. Let v be 2*(2 + -2 - j). Does 11 divide i(v)?
True
Suppose c - 8 = 11. Is 14 a factor of (2 - c)*-1 + 2?
False
Suppose 4 = -3*f + 79. Is 5 a factor of f?
True
Let k(c) = -6*c**2 - c. Let j be k(1). Let y(p) = -p**3 - 6*p**2 + 6*p + 10. Is 8 a factor of y(j)?
False
Let h(l) = 6*l**3 + 2. Let f = 4 + -2. Does 18 divide h(f)?
False
Let b = 62 - 22. Is 7 a factor of b?
False
Let p(o) = 4*o. Let a be p(1). Suppose 2*d = -a*v + 22, 0 = -2*d + 6*d - v - 17. Suppose 3*g = 9, -5*s + 17 = d*g - 63. Does 6 divide s?
False
Suppose -3*h = -k - 3*k + 14, 5*h = 2*k. Suppose -7 = z - h*z. Does 6 divide z?
False
Let u(f) = -5*f + 42. Is 27 a factor of u(-6)?
False
Let z(j) = -j**3 + 7*j**2 - 7*j + 4. Let x = -4 - -8. Is z(x) a multiple of 17?
False
Let w(n) be the third derivative of 7*n**6/120 - n**5/60 - 3*n**2. Is w(1) a multiple of 6?
True
Let u(q) = 5*q**2. Let d be u(-1). Suppose 2 = -d*i - 23. Let l = 9 + i. Does 2 divide l?
True
Let k be 3/12 + (-11)/(-4). Let b = k + 2. Suppose 32 = -i + b*i. Does 4 divide i?
True
Let c(m) = -m**2 + 9*m - 1. Let y = 12 - 7. Does 11 divide c(y)?
False
Let p(d) = -154 + 8*d**2 + 170 - 21*d**2 + d**3. Is 5 a factor of p(13)?
False
Suppose -3*n - 222 = -3*z, -4*n + z = -n + 214. Does 23 divide -1*(1/1 + n)?
True
Suppose -77 = -3*x + 160. Is x a multiple of 6?
False
Let l = -16 + 30. Is 14 a factor of l?
True
Let i = -20 - -143. Is 32 a factor of i?
False
Suppose -5*f - 5*d + 45 = -50, 3*f - d - 73 = 0. Does 3 divide f?
False
Let i = 179 - 255. Let v = -31 - i. Suppose 4*g = -20, -2*o + 6*g - g + v = 0. Is 5 a factor of o?
True
Suppose 11 = r - 81. Is r a multiple of 23?
True
Let v(f) = 2*f - 29. Is v(17) a multiple of 2?
False
Let f(c) = c**3 + 9*c**2 + 6*c - 6. Does 10 divide f(-7)?
True
Is -3*((-116)/12 - (5 + -3)) a multiple of 3?
False
Let o(p) = p**3 + 5*p**2 - 9*p - 11. Is 3 a factor of o(-6)?
False
Suppose 3*n + 20 = 65. Let r be -5*((-36)/n - -2). Suppose r*l - 1 - 7 = 0. Is 4 a factor of l?
True
Let n(r) = -r**3 + 6*r**2 - r + 1. Is 5 a factor of n(4)?
False
Let n(b) = 5*b + 6. Let z be n(3). Suppose 0 = -2*j - 5*r - z, 2*j = -0*j - r - 1. Is 2 a factor of j?
True
Suppose 0 = -4*b + 49 + 291. Is 46 a factor of b?
False
Let k = 95 + -8. Is 7 a factor of k?
False
Suppose 5*r = w + w + 29, -4*r + 12 = 4*w. Let p(k) = -k**3 + 3*k**2 + 3*k + 2. Is 9 a factor of p(w)?
False
Suppose -4*n + 5*n + 4 = s, -n = 5*s - 14. Let k = n - -3. Does 3 divide (-9)/(k + (-14)/4)?
True
Suppose 9*c - 185 = 4*c. Is c a multiple of 8?
False
Let i(r) = -5*r + 12. Let v be i(-11). Suppose -2*x + 97 + 1 = 4*q, -5*x - v = -3*q. Does 8 divide q?
True
Suppose -3*q = -5*m - 247, 8 = m + m. Is q a multiple of 11?
False
Does 13 divide (-1)/((-4)/(-3 + 875))?
False
Let h(d) = -d**3 - 5*d - 6 + 66 + 6*d. Is h(0) a multiple of 10?
True
Is 12 a factor of (-4)/(-6) + 954/27?
True
Suppose -d + 38 = -p, -2*p - 5*d = -d + 82. Let g = -28 - p. Is g a multiple of 7?
False
Is 1 - 0/1 - -7 a multiple of 5?
False
Suppose 0 = -5*k + 94 + 31. Does 9 divide k?
False
Let u(v) = -v + 2*v + 2 - 3*v + 3*v. Let a be u(4). Suppose -o - 65 = -a*o. Is o a multiple of 13?
True
Let c(y) = y**2 - 11*y + 10. Is c(13) a multiple of 6?
True
Let n(r) = r**2 - 6. Let b(v) = v**2 + 8*v + 7. Let x be b(-6). Does 13 divide n(x)?
False
Let y(z) = z**3 - z**2 + 3. Let f be y(0). Let p = -3 + f. Suppose -2*v + 13 + 13 = p. Does 6 divide v?
False
Let f(p) = -p + 1. Let w be f(-9). Let r = 0 + w. Does 7 divide r?
False
Suppose 2 = j + 20. Is 2 a factor of (j/21)/(1/(-7))?
True
Let q(g) = -g**3 - 7*g**2 - 7*g + 2. Let a be q(-6). Suppose -n - a = -2*n. Does 4 divide n?
True
Let d = 98 + -30. Does 17 divide d?
True
Let y(q) = -q**2 - 7*q + 2. Let a be y(-7). Suppose -4 = -l + 3*x + 3, -5*x = -a*l + 15. Is 5 a factor of l?
True
Is 11 a factor of 28/(-2)*(-72)/14?
False
Let s = -23 + 9. Let g = s - -38. Is 12 a factor of g?
True
Does 13 divide 2 + (-3 - 0) + 14?
True
Suppose i - 54 = 4*s, 2*i - 54 = i - 3*s. Is 27 a factor of i?
True
Let h(r) = -r**3 + 2*r**2 + r + 1. Let q be h(2). Let a be (1 - q/3)*1. Suppose a*x = 3*x - 99. Is 13 a factor of x?
False
Suppose 3*g = 5*r + 22, -4*g = 2*r + 2*r - 8. Suppose -2*t + t - 4 = -5*u, -g*t + 60 = -u. Does 8 divide t?
True
Let r = -1 - -3. Is 14 a factor of r*(-2 + 1)*-14?
True
Let a(r) = -r**3 - 2*r**2 + r + 2. Let z be a(-3). Let i = 0 + z. Suppose 0 = -4*k + i. Does 2 divide k?
True
Let k = -14 + 10. Let t(z) = -z**3 - 2*z**2 + 3*z - 5. Is 15 a factor of t(k)?
True
Let f = -21 + 23. Suppose f*j + 4 = 8. Is j a multiple of 2?
True
Suppose 2*j + j = 0. Suppose f - 19 = -j*f. Does 19 divide f?
True
Suppose 2*r - 3 = -5*j - 17, 4*r = 5*j + 32. Let v = 13 - r. Is v a multiple of 3?
False
Let c(v) = v**2 - v. Let j(r) = -r**3 - 9*r**2 + r + 5. Let t(g) = 6*c(g) + j(g). Is t(-5) a multiple of 16?
True
Suppose 2*c = -0*c + 50. Let j be c/3 + (-2)/(-3). Let q = 29 - j. Does 13 divide q?
False
Suppose 2*g + 1 = l, 4*g + 3*l - 9 = -36. Let p(f) = -8*f + 1. Is p(g) a multiple of 7?
False
Let i(j) = 17*j**2 - j - 1. Let f be 4*-1*1/4. Is 14 a factor of i(f)?
False
Let z = 0 - 4. Is 4 a factor of (1 - -1)/((-1)/z)?
True
Let k = -51 - -29. Let a = -6 - k. Is a a multiple of 8?
True
Suppose -m - 3 = -2*h, -3*h + 30 = 5*m - 4*h. Let f(x) = x + 5. Let z be f(m). Let o = 20 - z. Does 4 divide o?
True
Does 12 divide 121 + (20/15 - 3/9)?
False
Suppose -3*u - 4*j + 122 = -0*u, j - 175 = -5*u. Does 8 divide u?
False
Suppose -g + v = 0, 0*v = -5*g - 3*v - 32. Does 16 divide 1 + g + -1 + 36?
True
Let g(k) = -46*k + 1. Is 37 a factor of g(-4)?
True
Let m(k) = -4*k + 6. Let i be m(6). Let b be -7*(-5)/((-105)/i). Suppose l + 45 = b*l. Does 5 divide l?
False
Let j = -7 - -7. Suppose -3*q + 4*q + 1 = j, 0 = -2*d - 2*q + 8. Suppose -k + 2*k = -f + 17, d*f - 76 = 4*k. Is 8 a factor of f?
True
Suppose 0 = -9*r + 3*r + 108. Is 18 a factor of r?
True
Suppose 26 = 2*g - 2*o, 4*g + 5