4) - 16/56 a multiple of 29?
True
Is (2 + -1 - 0)/(3/189) a multiple of 27?
False
Let t(s) = 6*s**3 + s**2 + s - 1. Let u be (-1 - 0) + 1/(-1). Let d be (1/u)/((-2)/4). Does 7 divide t(d)?
True
Suppose 5*l - 5*n = -3*n + 98, 5*n - 5 = 0. Does 8 divide l?
False
Let z(h) = -7*h**2 - 8*h + 8. Let l(q) = 21*q**2 + 23*q - 23. Let c(f) = 6*l(f) + 17*z(f). Does 11 divide c(2)?
False
Let o(r) = r**3 + 6*r**2 - 2*r + 4. Suppose -21 = 4*g - 1. Is o(g) a multiple of 13?
True
Let h be -26 - 0 - -1 - 1. Suppose -5*p + 125 = 3*k, 178 = 4*k - 2*p + 20. Let j = h + k. Does 14 divide j?
True
Let n be 16/32 + (-129)/(-2). Let m(h) = h**3 - h**2 - 3*h - 2. Let x be m(3). Suppose -2*k = -x*k + n. Is 13 a factor of k?
True
Let c(v) = v + 4. Let x be c(4). Suppose x*l - 10 = 3*l. Suppose r + 0*r = h - 6, 0 = 5*h - l*r - 39. Does 6 divide h?
False
Suppose 0 = 19*l - 25*l + 1266. Does 13 divide l?
False
Suppose g + 4*k - 7 = 0, 4*g + 5*k = -0*k + 17. Let d be (-2)/(g/(-3)) - 2. Let w = d - -20. Does 10 divide w?
True
Suppose 4*n = 5*o - 6, -5*n - 20 = -n + 2*o. Is (-2)/n - 14/(-4) a multiple of 3?
False
Is 18 a factor of (2 - 6) + 4*26?
False
Let i = 28 - 20. Suppose 5*q = -s + 146, 138 = -3*q + i*q + 3*s. Is 5 a factor of q?
True
Let s be (-1)/(-4) - 38/(-8). Suppose 3 = -s*n + 3*z - 2, -3*n + z + 1 = 0. Suppose j - 4 = -n*h, 2*h = 3*j - h - 12. Is j a multiple of 2?
True
Let f be 2*1/(-4)*-8. Is (13 - 4)*f/3 even?
True
Let f = 9 + 0. Is 4 a factor of f?
False
Let o = 64 - 28. Is o a multiple of 9?
True
Let x = 297 - 186. Is x a multiple of 13?
False
Let f = 3 - -6. Let d(a) = -a**2 + 9*a + 8. Does 6 divide d(f)?
False
Suppose -3*p - 180 = -8*p. Is 10 a factor of (-8)/p - 202/(-18)?
False
Let r = -25 - -50. Let d = r - 18. Is d a multiple of 4?
False
Let h(r) = r**3 + 11*r**2 + 9*r - 11. Let c be h(-10). Is (c - -33)/((-8)/(-12)) a multiple of 24?
True
Let w = 72 - 35. Suppose 4 = -3*c + w. Is c a multiple of 11?
True
Let q be (12/18)/(2/15). Suppose q*a + 0*a = 60. Does 8 divide a?
False
Suppose -w + 7 = 2*v, -30 = -2*w - 3*v - 12. Is 15 a factor of w?
True
Suppose -3 - 27 = 6*j. Let b = 7 - j. Is 4 a factor of b?
True
Suppose 0*i - 60 = -3*i. Let u = -12 + i. Is 8 a factor of u?
True
Suppose -2*l + 202 = 2*f + l, 4*f = 5*l + 382. Is 14 a factor of f?
True
Let g(x) = x**2 + 4*x - 1. Let m be (-4 + 1)/(3/4). Let j = -1 - m. Does 7 divide g(j)?
False
Suppose -4*j = -3*j - 1. Suppose 4*b - 23 = j. Is 3 a factor of b?
True
Is 4 + 32*(4 - 2) a multiple of 17?
True
Is 2 + 23 + 2 - 3 a multiple of 24?
True
Suppose -v - 3 + 5 = 0. Suppose t - 21 = v*a, -5*a + 15 + 10 = 0. Is 8 a factor of t?
False
Let r be (5/(-2))/((-8)/208). Suppose 0*i - r = -5*i. Is i a multiple of 10?
False
Suppose 3*i + 5*n + 18 = 6*i, 2*i + 3*n = 12. Does 2 divide i?
True
Let u(o) = o**3 + 7*o**2 + 7*o + 9. Let v(m) = -m**2 + 7*m - 6. Let q be v(7). Let a be u(q). Suppose 2*r - a*n = 4, n + 1 = r - n. Is r a multiple of 5?
True
Let y be (-1 - (-4 - 2)) + 0. Suppose -y*q = -14 - 1. Suppose -f - f - s = -44, -q*s = -2*f + 60. Does 11 divide f?
False
Let v = 43 + -16. Suppose -3*h + v = -2*h. Let w = -10 + h. Does 7 divide w?
False
Let f(p) = -p**3 + 5*p**2 + 5*p + 6. Let o be f(6). Let b = -1 - o. Is 11 a factor of (b/3)/(2/(-102))?
False
Let x = -19 + 8. Let z = x - -19. Is (-60)/2*(-4)/z a multiple of 12?
False
Let p(k) = -k**2 - 24. Let w be p(0). Let q = w + 16. Let c = 28 + q. Is 9 a factor of c?
False
Let h(g) = -g + 2. Let n be h(3). Is 8/(-10)*n*35 a multiple of 8?
False
Let r = 190 + -136. Is 27 a factor of r?
True
Suppose 0 = -5*w - 0*w + 4*g - 22, -w = 4*g - 10. Let l be (34/(-8))/(w/8). Let n = l + -10. Is 5 a factor of n?
False
Let r(h) = -h**2 - 10*h - 5. Let x be 40/18 + 2/(-9). Let m be -1 + (-2)/x + -2. Does 11 divide r(m)?
False
Suppose 5*o = h + 13 - 3, o = 4. Suppose -h*q + 11*q = 9. Is 4 a factor of q?
False
Let v(p) = -p**3 - 5*p**2 - 6*p - 2. Does 14 divide v(-5)?
True
Let g = -6 + 9. Suppose 4*y - 25 = g*y. Does 13 divide y?
False
Suppose -a - 51 = -4*a. Let d(n) = n**2 - 15*n - 12. Is d(a) a multiple of 11?
True
Let t(l) = l**2 + l - 6. Does 24 divide t(-6)?
True
Let r = -36 - -86. Is r a multiple of 10?
True
Let n = 5 - 1. Suppose -n*u + 68 = -2*u. Is u a multiple of 13?
False
Suppose -5*c + r + 421 = 0, 2*c + 171 = 4*c - 3*r. Is c a multiple of 7?
True
Let j(h) = 3*h + 11. Let u be j(-8). Let t = 26 + u. Is 9 a factor of t?
False
Let m = 1 + -3. Let y be (-2)/(-9) + m/9. Suppose -21 = -r + 2*d, 2*r + y*r + d - 47 = 0. Is r a multiple of 8?
False
Let y be 1/((1 - 0)/1). Suppose -15 = -4*o + y. Suppose 0*a = 4*a - o*t - 64, 0 = -4*t + 20. Is 21 a factor of a?
True
Let j(l) = -9*l - 3. Does 14 divide j(-5)?
True
Let p(z) = 8*z**2 + 2*z - 6. Let m be p(-5). Suppose -4*d + 4*k = -m, -2*k - 2*k - 4 = 0. Suppose 3*c = 27 + d. Does 8 divide c?
True
Does 39 divide (2 - -88) + (15 - 13)?
False
Let h(t) = t - 3. Let a be h(0). Let c = a - -8. Suppose -84 = -c*u + u. Is u a multiple of 6?
False
Let u(w) = -2*w - 7. Let x be u(-8). Is 10/1*x/18 a multiple of 3?
False
Suppose -z + 2*p + 242 = 0, 0 = -z + 6*z - 3*p - 1203. Is z a multiple of 37?
False
Let t = 7 + -3. Suppose t*l + 20 = 8*l. Does 2 divide l?
False
Suppose -4*f - 27 = -d, 2*d = 4*d + 3*f - 10. Does 4 divide d?
False
Let u = 14 - 12. Let b = -61 + 97. Suppose -b = -u*y - y. Does 6 divide y?
True
Let c = -1 + 55. Suppose -2*h = -0*h - c. Is 11 a factor of h?
False
Suppose 0 = -3*w + 3 + 6. Let z(j) = -j**3 - w - 3*j**2 + 1 - 4*j**2 - j. Is z(-7) a multiple of 2?
False
Let g(m) = -m**2 + 8*m + 8. Let n be g(9). Does 2 divide n - (-17 + 12/4)?
False
Suppose -z + 8*f + 61 = 3*f, f + 281 = 5*z. Is z a multiple of 28?
True
Let j = 42 + 14. Is 28 a factor of j?
True
Let n(k) = -k**3 + 12*k**2 + 12*k - 19. Let m be n(13). Let y = -6 - m. Does 13 divide y?
True
Is 7 a factor of 36*(1 - 3)/(-4)?
False
Let v(s) = 26*s. Let c(a) = -a + 5. Let m be c(3). Does 11 divide v(m)?
False
Suppose 0 = -0*l - l - m + 12, l = -2*m + 13. Let f = l - 3. Is f a multiple of 4?
True
Let w(v) = 9*v + 1. Let i be w(2). Let a = i + -13. Is a even?
True
Let h = 28 - -13. Let b = h - 17. Is b a multiple of 12?
True
Suppose -3*m = -8*m + n + 78, -5*n = -3*m + 38. Is 4 a factor of m?
True
Suppose 4*h = 5 + 3. Let w(q) = 48*q + 3. Let c(a) = -16*a - 1. Let u(d) = 8*c(d) + 3*w(d). Does 9 divide u(h)?
False
Let g(d) = -d**3 - 11*d**2 + 2*d + 13. Let z be g(-11). Let t be ((-3)/z)/(2/(-6)). Is 4 a factor of ((-2 - t)*8)/(-2)?
True
Suppose 3*m + 0*m - 2*v - 102 = 0, -v + 61 = 2*m. Let o be (9/4)/(4/m). Suppose 0*u = 4*u - 2*x - 96, x = -u + o. Does 11 divide u?
True
Suppose 3*k + 12 = 48. Does 6 divide k?
True
Suppose 4*k = 11 + 9. Is k a multiple of 3?
False
Suppose -5*d - 2*y = -17, 2*y - 13 = -5*d - y. Does 4 divide (-36)/(-10) - (-2)/d?
True
Suppose 37 = 7*l - 355. Is 4 a factor of l?
True
Let k(w) = -w**2 - 20. Let l be k(0). Let g = 46 + l. Does 9 divide g?
False
Let u(o) = 8*o**3 - 23*o**2 - 7*o + 32. Let m(b) = -3*b**3 + 8*b**2 + 2*b - 11. Let c(i) = 11*m(i) + 4*u(i). Does 29 divide c(-5)?
False
Is (-24)/(-9)*(1 - (-26)/4) a multiple of 4?
True
Let h be (-4)/(-6)*66/4. Let f(t) = 3*t - 5. Is f(h) a multiple of 14?
True
Let w(p) = -p**3 - 4*p**2 - 2*p - 4. Let n(b) = b**3 + b**2 + b + 1. Let j(v) = -n(v) + w(v). Let r be j(-5). Suppose -r + 33 = -3*k. Does 13 divide k?
False
Is 392/5 - 32/80 a multiple of 13?
True
Is 17 a factor of 40 - (2 + 1) - 3?
True
Let y = -2 - 2. Let q = 3 + y. Is q/3 + (-74)/(-6) a multiple of 12?
True
Let u be (63 + 1)/(-10 + 9). Let x = -34 - u. Is 10 a factor of x?
True
Let z(l) = 8*l - 2 + 0 + 0 - l. Is 9 a factor of z(3)?
False
Let k(b) = 5*b + 14. Is 14 a factor of k(4)?
False
Suppose -m = 2, 3*q + 4*m - 50 = -m. Is q/(-110) + 376/11 a multiple of 10?
False
Let x = 4 - 48. Let y = x - -126. Is y a multiple of 22?
False
Suppose 2*s - 504 = -4*s. Is 42 a factor of s?
True
Suppose -w + 40 = 3*x + 1, 0 = 3*w - x - 77. Suppose y - 5*q = w, -4*q = -3*y + 48 + 11. Is y a multiple of 11?
False
Let h = 49 - -44. Suppose -4*p + p + h = 0. Does 16 divide p?
False
Let d(q) = 2*q**2 + 3*q + 2. Let o be d(-2). Suppose 4*j + 5*i - 83 - 50 = 0, o*i - 20 = 0. Suppose n - 3*m - j = 0, n = 4*n - m - 41. Does 12 divide n?
True
Let k = 95 + -53