e 1 + (-3)/((-9)/57). Suppose o = 6*o - q. Is b(o) a multiple of 8?
False
Let g(p) = 11*p - 107. Let a(y) = 4*y - 36. Let x(f) = 8*a(f) - 3*g(f). Is x(0) a multiple of 19?
False
Suppose 3*z - 14 = 2*z. Is 7 a factor of z?
True
Is 5/25 + 972/15 + -2 a multiple of 7?
True
Is (-6)/(-27) + (-2368)/(-36) a multiple of 22?
True
Let q be ((-4)/(-10))/(7/35). Suppose 0 = q*r + 5 - 3. Let j = 16 - r. Is 17 a factor of j?
True
Suppose -2*x + 7*x = 20. Let y = x - 8. Is 5/y*16/(-4) a multiple of 3?
False
Suppose -2*d = 43 - 141. Is 19 a factor of d?
False
Let q(m) = -m**3 - 4*m**2 + 5*m + 2*m**2 - 3*m**2 + 3*m**2 + 2. Let x(n) = -n - 11. Let y be x(-7). Does 14 divide q(y)?
True
Suppose 0 = -k + 4*k - 15. Suppose b - k = 5. Is b a multiple of 10?
True
Is 3*5/3*8 a multiple of 20?
True
Suppose -p - 2*p - 3*r + 24 = 0, -5*r + 13 = 2*p. Is 3 a factor of p?
True
Let h be ((-1)/(-1))/((-3)/(-114)). Let r = 54 - h. Does 3 divide r?
False
Let h(v) = 2*v**3 - 3*v**2 + v + 2. Is 2 a factor of h(2)?
True
Let y(s) = 10 - 2*s - 10 + 14*s**2. Is 14 a factor of y(2)?
False
Is 556/9 - 28/(-126) a multiple of 20?
False
Is (-4)/14 - (-1608)/42 a multiple of 8?
False
Let f = -20 + 28. Is 8 a factor of f?
True
Let x(b) = b - 14. Suppose -4*q + 3 = -45. Let h be x(q). Let c(r) = 7*r**2 - 3*r - 2. Is 16 a factor of c(h)?
True
Suppose -f + p = 4*f + 38, 2*p = 3*f + 27. Let q(a) = a**3 + 7*a**2 - a - 5. Let s be q(f). Suppose -b - r = -23, -s*b = -b + 3*r - 33. Is 9 a factor of b?
True
Let h(a) = -a**2 - a + 26. Suppose -3*l = x + 5, l = 4*x - 3*l - 28. Suppose 0 = f - x*k + 6*k, 3*k = 3*f. Is 13 a factor of h(f)?
True
Let l be (-24)/(-2)*84/16. Suppose 175 = 4*r + l. Is 12 a factor of r?
False
Let f = -2 + 11. Let n = -5 + f. Suppose 0*x - 12 = -2*x + n*w, -30 = -5*x - 3*w. Is x a multiple of 5?
False
Let z = -12 - -24. Suppose 2*s + 4*u - 9 = 1, z = 5*s - 3*u. Suppose -s*r = 4*o - 34, o = -0*o - 2. Is 9 a factor of r?
False
Suppose 2*z + r - 302 = 0, -3*z - 2*r = -5*z + 308. Is z a multiple of 8?
True
Let y be -2*(2/4)/(-1). Let j be 4 + 1 + -4 + y. Is 6 a factor of 2/1*9/j?
False
Suppose 14 = 5*j + 4. Suppose 0*c + 66 = j*c. Is 7 a factor of c?
False
Let z(w) = -w**3 - 6*w**2 + w + 8. Let t be z(-6). Suppose -3*x - t*x = -415. Suppose x = 4*p + 11. Is 9 a factor of p?
True
Is 40/(-25)*130/(-4) a multiple of 6?
False
Suppose 2*g - 4*x = 36 + 52, -4*g + 4*x + 160 = 0. Is 4 a factor of g?
True
Suppose -q = -7*q + 1500. Suppose -3*r + q = 2*r. Does 25 divide r?
True
Let w be 15 + 3 - (1 - -2). Suppose -2*z - 18 = 3*q + q, -3*q - z = w. Let o = 5 - q. Does 5 divide o?
False
Suppose 6*o - o - 5 = 0. Suppose -f = -o - 3. Suppose 18 = -f*t + 50. Is t a multiple of 8?
True
Is 11 a factor of (1 + (-41)/3)/((-4)/18)?
False
Let m(d) = -d**3 + 4*d**2 + 5*d - 4. Is m(-4) a multiple of 13?
True
Suppose -m - 37 = -2*m. Let t be ((-1)/2)/((-5)/(-170)). Let h = t + m. Is h a multiple of 10?
True
Suppose -4*s = -j - 21, j = -4*s - 2*j + 1. Suppose 0 = 3*p - s*p. Suppose -2*l - l + 72 = p. Is l a multiple of 12?
True
Let f(q) = 52*q**2 + 1. Is f(-1) a multiple of 12?
False
Let f(h) = 5*h - 3. Let y be 192/14 - (-4)/14. Let s = -8 + y. Does 19 divide f(s)?
False
Suppose 2 + 26 = 7*y. Suppose 4*s - 2*v - 172 = 3*v, 0 = -5*s - y*v + 256. Is s a multiple of 16?
True
Suppose 3*p + 3*r - 216 = 0, -r - 132 = -2*p - 0*p. Is 10 a factor of p?
False
Let i(g) = 7*g + 0 - g**3 - 8*g**2 - 2 + 0*g**3. Let h be i(-9). Suppose 44 - 101 = -5*m + 4*a, 5*a + h = 2*m. Is m a multiple of 7?
False
Let r(i) = 11*i**2 - 9. Is r(-3) a multiple of 15?
True
Let y(d) = 4*d + 1. Let h be y(2). Let c = 21 - h. Does 5 divide c?
False
Suppose -4*u + u = j - 9, -4 = u - 2*j. Let k(p) = -2*p**u + 4*p**2 + 0*p + 2*p. Is k(3) a multiple of 24?
True
Suppose -3*f - 23 = -5*x - 3, 0 = 5*f + 25. Suppose 4*v + 3*g - 43 = 0, g + 15 = 3*v - x. Is 3 a factor of v?
False
Let c be 1 - 6 - (-1 - -2). Is -3*22/c*2 a multiple of 12?
False
Let x(d) = 2*d**2 - 2*d. Let s be x(3). Suppose 4*o + 0*o = s, 8 = -2*m + 2*o. Does 11 divide (-4)/8*38*m?
False
Let w be 0/(3/(-6)*-4). Suppose d + 0*d = w. Suppose d = 3*i - 14 - 43. Is i a multiple of 8?
False
Let p = 115 + -70. Does 7 divide p?
False
Suppose -8 = 5*d + 4*l + 4, 3 = -d - l. Suppose 3*c + d*c + 5*j = 20, 3*c - 3*j = 60. Is c a multiple of 8?
False
Let q = 251 + -119. Is 11 a factor of q?
True
Let v be -9 - (0 - 2)/2. Let z = v + 15. Does 12 divide (-6)/5*(-70)/z?
True
Let m be (-4)/2 - (-2 - -12). Let d be (-1)/(15/m)*5. Suppose p - d = 11. Is 4 a factor of p?
False
Let n(k) = k**3 + 13*k**2 - 5*k - 13. Suppose 2*l + 54 = -4*w, w - 6*w = -4*l + 61. Is n(w) a multiple of 32?
False
Let o(j) = j**2 + 6*j + 16. Is o(-9) a multiple of 9?
False
Is 13 a factor of 52/(-16)*2*-8?
True
Let z = 5 - 3. Let m be -3*((-4)/3 - z). Let v = m - 6. Is 3 a factor of v?
False
Let t(l) be the third derivative of -l**6/120 - l**5/60 - l**4/24 - l**3/2 + 6*l**2. Does 4 divide t(-3)?
False
Let a = -169 + 277. Does 6 divide a?
True
Suppose 2*g = 4 - 0. Suppose -g*q + 1 = 3. Is (0 + q)/((-3)/81) a multiple of 10?
False
Let n(t) = t**2 - 13*t + 17. Let b be 11 - 1/(2/(-2)). Does 5 divide n(b)?
True
Let o(d) = d**2 + 7*d. Let i be o(-7). Suppose i = -3*m + 16 + 8. Is 4 a factor of m?
True
Let o(x) = -5*x - 7. Let j(g) = 5*g - 2. Let z be j(2). Let d = z + -13. Is o(d) a multiple of 6?
True
Let n = -46 - -52. Is 4 a factor of n?
False
Let w(o) = -54*o**3 - o - 1. Is w(-1) a multiple of 16?
False
Suppose u + 5 = -4*b - 2, -3*u + b + 18 = 0. Suppose 3*g - u = 10. Suppose 8 = a + g*w, -4*w = -w + 3. Is 13 a factor of a?
True
Suppose 25*c - 350 = 20*c. Is c a multiple of 35?
True
Suppose 2*i = -k + 3*k + 44, 0 = 2*i. Let h = -16 - k. Does 4 divide h?
False
Suppose 0 = -9*z + 10*z - 84. Does 23 divide z?
False
Suppose 5*q + 1 + 4 = 0. Let l = q + 11. Does 5 divide l?
True
Let o(s) = 2*s**2 + 19*s + 7. Is o(-14) a multiple of 5?
False
Let o be 3/(-2)*(-2 - -6). Let g(t) = 2*t**2 + 2*t + 3. Does 21 divide g(o)?
True
Let k(t) = -t**3 + t**2 + 4*t. Suppose 1 = -l + 8. Let o = l + -10. Is k(o) a multiple of 8?
True
Suppose 3*q = 7*q - 60. Suppose -2*m + 2 = 0, -2*c = -2*m + 7*m - q. Is 10 a factor of (54/15)/1*c?
False
Let m(x) = -29*x - 12. Let h be m(-5). Suppose 4*r - h = -p, 2*r + 4*p = -p + 53. Is 9 a factor of r?
False
Let j = 102 - 33. Is j a multiple of 16?
False
Suppose -5*c + t = -721, 3*c - t - 435 = 2*t. Does 44 divide c?
False
Let w = 4 - -1. Suppose w = -d - 1. Let h(q) = q**3 + 7*q**2 + 5*q - 1. Is 4 a factor of h(d)?
False
Let i(j) = 2*j**2 + 8*j - 3. Does 10 divide i(-6)?
False
Suppose 2*o = 7*o - 35. Let l(x) = -x**3 + 6*x**2 + 10*x - 8. Let f be l(o). Let a = f + -3. Is a a multiple of 4?
False
Suppose 140 = 2*j + 28. Suppose -4*w = 5*i - j, 2*i - 7*w + 4 = -2*w. Is i a multiple of 4?
True
Suppose -35 = 5*h + 2*l - 5*l, -15 = 3*l. Let r(b) = -2*b - 2. Is 9 a factor of r(h)?
True
Suppose g - 4 = -0*g. Suppose -4*o + 4 = 0, -g*o + 64 = 3*x + 2*x. Suppose 0*h - 3*n + 21 = 3*h, -4*h + 4*n = -x. Is 2 a factor of h?
False
Suppose 0*d + d = 4*u - 24, -3*u = -15. Is ((-22)/d)/((-3)/(-6)) a multiple of 4?
False
Let u be (-1 - -1)*(-1)/(-2). Suppose u*n = -n - 2. Is 2 + n + 10/2 even?
False
Let q(k) = 217*k**3 + k**2 - k + 1. Let y be q(1). Suppose 81 - 287 = -5*t - i, -2*i = -5*t + y. Does 14 divide t?
True
Suppose -8*r + 2*r = -156. Is r a multiple of 11?
False
Suppose -q = -2*c + 2, -3*c + c = q - 2. Suppose -9*k + 8*k + 44 = q. Is 11 a factor of k?
True
Let d(o) = o**2 - 3*o + 46. Let f(r) = r**2 - 2*r + 45. Let g(x) = -3*d(x) + 4*f(x). Let y = -25 - -25. Is g(y) a multiple of 19?
False
Suppose 2*u - 3*w - 18 = 0, 13 = -3*u + 6*u - w. Suppose -u*b - 2*n - 40 = 0, 3*n - 18 = -0*b + 2*b. Is 13 a factor of -1 - 5*b/3?
False
Suppose r + 0*r - 2 = 0. Suppose 3*z + 19 = 5*n, 5*z + 15 = r*n - 4. Is n even?
True
Let k(q) = 52*q**2 - q + 2. Does 18 divide k(1)?
False
Suppose 2*s - 30 = 26. Does 3 divide s?
False
Suppose -g - i + 12 = 0, 0 = -4*g - i + 6 + 30. Let w = -6 + g. Is w + -10*3/(-6) a multiple of 7?
True
Suppose 2 = -4*i - 2*x + x, -2*i - x = 2. Suppose i = j + 4*j - 10. Suppose -98 = -3*f - 5*p, -j*f = 5*p - p - 64. Is 18 a factor of f?
True
Suppose -o = -0 + 3. Let t = -3 - o. Suppose -h - h + 16 = t. Does