e (-46)/(-6) + g/6?
False
Suppose 4*o - 4 = 4. Let c = 22 + o. Let y = c - 13. Is y a multiple of 11?
True
Let t(k) = -k + 6. Does 3 divide t(-3)?
True
Let v = 59 + 37. Is v a multiple of 32?
True
Suppose g + 4 = 3*o, -2*g - 2*g = -3*o - 2. Let w = 3 + o. Let f(b) = b**2 + 3*b - 6. Is 17 a factor of f(w)?
True
Let d(t) = t**3 - 3*t**2 - 6*t + 4. Let m be d(4). Let c = m + 0. Let k(p) = p**2 + 2*p. Is k(c) a multiple of 8?
True
Let t = 7 - 15. Let s = -3 - -17. Let y = s + t. Is 6 a factor of y?
True
Let v be ((-452)/(-6))/(2/3). Let m = 8 + -5. Suppose -4*t + v + m = 0. Is t a multiple of 14?
False
Let k = -3 + 33. Does 3 divide k?
True
Suppose 4*s - 60 + 0 = 0. Is 15 a factor of s?
True
Does 3 divide ((-4)/(-12))/((-2)/(-18))?
True
Let i = -163 + 80. Let q = -59 - i. Does 12 divide q?
True
Suppose -7*r = -3*r. Suppose 4*f = z + 2 + 8, r = f + 5*z + 8. Suppose f*w = 21 + 39. Is w a multiple of 15?
True
Let r(k) = k**3 + 16*k**2 - 3*k - 39. Is r(-16) a multiple of 3?
True
Let h(i) = -24*i - 14. Let b(r) = 5*r + 3. Let n(g) = 14*b(g) + 3*h(g). Is 4 a factor of n(-2)?
True
Let a = 12 - 6. Suppose a = u + u. Suppose -4*c - 4 = -2*c, u = r + c. Is r a multiple of 2?
False
Let k(m) = -m**3 + 10*m**2 + 2*m + 13. Is 28 a factor of k(9)?
True
Let z = 40 - 11. Is z a multiple of 13?
False
Let f(s) = -16*s + 4. Let r be f(4). Let m be (r/16)/((-2)/(-8)). Is (-15)/(-2)*(-12)/m a multiple of 6?
True
Suppose 0 = 4*d - 383 - 21. Suppose 4*s + 16 = 0, 3*a + s - d = -2*a. Is 9 a factor of a?
False
Suppose 0 = 5*l - 180 + 45. Is l a multiple of 5?
False
Suppose -p - 52 = 4*f - 2*p, -68 = 4*f - 5*p. Let z(k) = k**3 + 12*k**2 - 6*k + 11. Is z(f) a multiple of 23?
False
Is 25 a factor of 3 + 78 + -4 - 2?
True
Let n = -15 - -20. Does 5 divide 2 + -3 - (-30)/n?
True
Suppose 0 = -5*v - 3*c + 29 - 4, -5*c - 65 = -5*v. Does 3 divide v?
False
Let d = 38 + -22. Does 7 divide d?
False
Let j = 5 - 0. Suppose -j*h = -5 - 5. Is 6 a factor of (1 - (h + 6))*-2?
False
Suppose -r + 2*r = 75. Suppose 25 = 5*v - r. Is v a multiple of 6?
False
Suppose 0 = 4*j + 2*x - 292, -3*j - 4*x = -146 - 73. Suppose -137 = -5*m + j. Is 14 a factor of m?
True
Let q(s) = s**2 + 13*s + 9. Let f be q(-6). Let b be (-194)/4 - 8/(-16). Let c = f - b. Is c a multiple of 15?
True
Let o(p) = 5*p**2 - 17*p + 4. Let i(q) = 9*q**2 - 33*q + 8. Let n(g) = -4*i(g) + 7*o(g). Is 15 a factor of n(10)?
False
Let y = 1 - -2. Suppose -11 = -y*f + 1. Let z(s) = 2*s - 2. Is z(f) a multiple of 6?
True
Let s = 1 - 1. Suppose s = x - 4 - 11. Is x a multiple of 15?
True
Let s = 9 - 8. Let n(i) = 14*i**3 - i**2 - i + 1. Is n(s) a multiple of 7?
False
Let l(g) be the third derivative of -1/2*g**3 + 0 - 1/8*g**4 + g**2 + 0*g. Is 6 a factor of l(-3)?
True
Let r(w) = w**3 + 7*w**2 - 9*w + 7. Let p be r(-8). Does 9 divide (-1)/((-5)/9)*p?
True
Let t = 118 + -81. Is 10 a factor of t?
False
Is 2/((-24)/(-3)) + 503/4 a multiple of 18?
True
Let h = -3 - -7. Suppose 2*f - 4*u = -22, h*f - 2 = -4*u - 22. Let i = f + 18. Is 11 a factor of i?
True
Let q = 10 + -7. Suppose 7 + q = 5*s. Let t = s - -7. Is t a multiple of 5?
False
Suppose -132*r + 128*r + 320 = 0. Does 20 divide r?
True
Let o(u) = -u**3 - 2*u - 5. Is o(-4) a multiple of 18?
False
Suppose 0 = -5*r - 4 + 69. Let j = r - -21. Is j a multiple of 13?
False
Suppose 0*b - 9 = -3*b. Suppose 2*s = s + b. Suppose s*a + a - 64 = 0. Does 6 divide a?
False
Suppose 3*f = -4*c + 60, 0 = 5*c + 4*f - 0*f - 75. Suppose -s + 94 = s. Let x = s + c. Does 25 divide x?
False
Let q = 232 + -198. Is q a multiple of 2?
True
Let b be (-1)/(-1 - 0) + 41. Suppose 0*g - b = -2*g. Is g a multiple of 12?
False
Is 5/(-10) + 218/4 a multiple of 9?
True
Let t be (-35)/(-11) - (-10)/(-55). Suppose o = 5*k - 75, -5*k + k - t*o = -41. Does 9 divide k?
False
Let x(y) = -3*y**3 - 1. Let r be x(-1). Let t = 8 + r. Is t a multiple of 4?
False
Let i(u) = -4*u**3 - u**2 + 5*u + 6. Is i(-3) a multiple of 30?
True
Let h(n) = -7 + 40*n**2 - 10*n - 1 - 41*n**2. Is 4 a factor of h(-7)?
False
Suppose 9*t - 20 = 4*t. Suppose m = -3*c - 2*c - 1, 3*c + 4*m + t = 0. Suppose c*p = p - 14. Is p a multiple of 13?
False
Let w(i) = i**3 - 7*i**2 - 7*i + 1. Let t be w(8). Let o = 6 + t. Let s = o + -2. Does 6 divide s?
False
Let m be (110/15)/(2/3). Let x = -8 + m. Suppose x*k - 15 = 0, p - 34 = -3*k + 1. Is p a multiple of 10?
True
Let i = -1 - -1. Suppose i*b = 2*b + 6. Does 6 divide (14/b)/((-2)/6)?
False
Is 1/7 + (6216/49 - -1) a multiple of 8?
True
Suppose 0 = -3*c - 4*m + 112, 0*m + 147 = 4*c + 3*m. Suppose 2*i = -j + c + 54, 0 = 5*i + 3*j - 225. Does 15 divide i?
True
Let v be ((-4)/8)/((-1)/4). Let c be (4 - v)*(-4)/2. Is c/14 - (-270)/14 a multiple of 8?
False
Suppose -11*r = -8*r. Suppose 3*y - 15 = -r*y. Is y even?
False
Let c(f) = -f**3 + f**2 + 5*f + 8. Is c(-4) a multiple of 17?
True
Suppose 0*b + b = 2. Let w be -3 - ((-84)/b)/2. Suppose 2*r - w = 26. Does 16 divide r?
False
Let g(i) = -11*i - 3. Let t(l) = 5*l + 2. Let x(s) = 4*g(s) + 9*t(s). Does 17 divide x(11)?
True
Let u = 201 - 30. Is 19 a factor of u?
True
Let h(c) = c**2 - 12*c - 2. Let o be h(12). Is ((-3)/2 - o)*4 a multiple of 2?
True
Suppose -2*q - 2 - 2 = 0. Is 16 - (q - (2 + -3)) a multiple of 13?
False
Let s = -5 + 8. Suppose -3*c - p = -s*p - 4, 4*c - 6 = 2*p. Suppose 4*g = 20, y - 52 = -2*y - c*g. Is 6 a factor of y?
False
Let t = 3 + -1. Let o be t/2*-2*-13. Suppose 3*j - 5*f - o = 10, 4*j = 5*f + 48. Is 9 a factor of j?
False
Suppose -2*r + 34 = 2*f + f, 2*r + 4*f - 32 = 0. Does 19 divide r?
False
Let n = 16 - -52. Does 13 divide n?
False
Is 74 - (-3 + (2 - 0)) a multiple of 25?
True
Let s be (-11)/(-4) - 5/(-20). Does 10 divide s - -10 - 9/3?
True
Suppose 3*r = 5*g + 4 - 1, -3 = -5*g - 3*r. Suppose 0 = 2*p - 20 - g. Is p a multiple of 3?
False
Let y(f) be the third derivative of f**5/60 - f**4/4 + f**3/2 + f**2. Let d(w) = w + 11. Let j be d(-5). Is y(j) even?
False
Let k(z) = z**3 - 10*z**2 + 3*z - 4. Is 3 a factor of k(10)?
False
Suppose -225 = -15*a + 10*a. Is a a multiple of 12?
False
Let i(q) = q**2 - 1. Let k be i(-3). Is 6 a factor of 1 + k + -1 + -2?
True
Let h(r) = -4*r**3 + 11*r**2 + 0*r**3 - 6*r + 12 + 3*r**3. Does 13 divide h(10)?
True
Suppose -4*a + 42 = 2*o, 0 = -3*a + o + 17 + 2. Does 4 divide a?
True
Suppose -6*c - 90 = -11*c. Is c a multiple of 9?
True
Suppose 0 = -o - 3 + 18. Suppose -3*p + 5*q + o = 0, 4*p - 12 = 2*p + 4*q. Suppose p = 5*a - 13 - 87. Is a a multiple of 10?
True
Suppose 3*t + 4*x = 12, 0*t - 12 = -3*t + x. Suppose b - t*b = -45. Is 5 a factor of b?
True
Let h be (1 + (0 - 4))/(-1). Let x = 113 - 29. Suppose z = -h*z + x. Is 7 a factor of z?
True
Suppose -3*q + h + 30 = 0, -3*q - 3*h + 49 - 7 = 0. Let w(n) = 2*n**2 - 17*n + 6. Does 15 divide w(q)?
False
Is 6 a factor of (1/3)/((-3)/(-324))?
True
Let j = 42 - 25. Does 17 divide j?
True
Let s(o) = o + 2. Suppose -3*g - g + 16 = 0. Is 6 a factor of s(g)?
True
Let b = -5 + 9. Suppose 4*m = -4*v + 24, m = -v + b*v - 2. Suppose 5*i = -v*u - 2*u + 68, -4*u + 72 = 4*i. Is u a multiple of 11?
True
Let p(y) = y**2 + 4*y + 4. Let l be p(-3). Let g = 10 + l. Is 8 a factor of g?
False
Suppose 0 = o - 2, 4*g + 2*o = 260. Is g a multiple of 10?
False
Suppose 3*h + 0*h + 2*d = -3, 2 = 5*h + d. Suppose -4*c + 3 + h = 0. Is 12*(0 - (c - 2)) a multiple of 9?
False
Suppose 2*q = -4*p + 258, p + 687 = 5*q - 3*p. Does 45 divide q?
True
Let u = 97 - 77. Does 5 divide u?
True
Suppose -42 = -6*k + 3*k. Is 14 a factor of k?
True
Let z(q) = -19*q - 10. Is 3 a factor of z(-2)?
False
Suppose 5*r + 5 = 3*a - 2, -5*r + 29 = a. Suppose 4*l = a*l - 20. Is 2 a factor of l?
True
Let n be -3 - -4 - (0 + 0). Suppose 2*q - 8 = 2*z, 0 = -3*q + 5*z - n + 5. Let p = q - -1. Is p a multiple of 8?
False
Let d be 12 - (1 - (0 + 3)). Let y be (12/5)/(1/10). Let s = y + d. Is 19 a factor of s?
True
Suppose 3*b + 263 = 2*k + 62, -5*b = -2*k + 207. Is 32 a factor of k?
True
Suppose -5*p + 55 = -2*x - 4, -3*x = -p + 17. Is p a multiple of 3?
False
Let j be 9/(-2) - 9/6. Is 7 a factor of ((-3)/(-6))/(j/(-252))?
True
Let v(m) = -m**3 + m**2 + m - 2. Let j be v(2). Let u(h) = -h**3 - 6*h**2 - 2*h + 1. Let n be u(j). Let o = 34 + n. Does 9 divide o?
False
Let i(x) = 3*x**3 - 2*x + 1. Let p be (8/(-10))/((-4)/