rue
Suppose 4*w = 109 + 243. Suppose 0*r - w = -2*r. Suppose 4*k - 4*i = -8*i + r, -3*k + 5*i + 41 = 0. Is k a multiple of 8?
False
Let b = 0 + 1. Suppose -l - b - 2 = 0. Is 5 a factor of l*1 + 21 + -8?
True
Let c(q) = q + 0*q - 15*q**3 - 18*q**3. Let y(a) = 2*a + 1. Let p be y(-1). Does 16 divide c(p)?
True
Let x = -5 - -9. Suppose -x*n = 20, -5*p + 0*n + n = -15. Suppose p*c = -c, -3*q + 30 = c. Is 5 a factor of q?
True
Suppose 4*z + 3*b - 18 = 5*z, -z - 18 = -5*b. Let a = 15 - z. Is 14 a factor of a?
False
Let x = 6 + -4. Suppose c + x*c = 0. Suppose c = m + 2*j - 3, -j = -0*m + 2*m - 18. Is m a multiple of 11?
True
Suppose -365 = -7*t + 265. Is t a multiple of 18?
True
Suppose 4 = -5*f + 19. Suppose -f*h - m = 4*m - 44, h - 2*m - 11 = 0. Is h a multiple of 8?
False
Suppose 5*c = -0*c + 95. Is c a multiple of 7?
False
Suppose -351 = -8*x + 81. Does 16 divide x?
False
Let j(h) = 5*h**3 - 7*h**2 - 8*h - 2. Let x(s) = s**3. Let v(b) = j(b) - 6*x(b). Let g = 21 - 27. Is v(g) a multiple of 5?
True
Let u be 2/(-3) - (-175)/15. Suppose u = 5*f - 94. Is f a multiple of 21?
True
Suppose 15 = l - 3*x + 1, 0 = -x - 4. Let i = 4 - l. Suppose -g + i*g = 5. Is g a multiple of 5?
True
Suppose -2*a = 0, -2*u + a = -44 - 12. Is 14 a factor of u?
True
Suppose 1100 = 5*w + 6*f - 2*f, -1100 = -5*w + 4*f. Suppose -3*a = -8*a + w. Does 11 divide a?
True
Let t(h) = h**3 + 5*h**2 - 7*h + 4. Let l be t(-6). Let n be (-2)/(-10) - (-18)/l. Suppose -n*x + 21 = 1. Is x a multiple of 9?
False
Let g be (2/3)/(2/18). Let n(m) = m - 4. Let b be n(g). Suppose 0*r + 16 = 3*o - 2*r, o = b*r. Is o a multiple of 8?
True
Let j be ((-20)/(-6))/(1/66). Suppose -3*x + j = x. Is x a multiple of 14?
False
Suppose -4*c + 24 = -c. Is c a multiple of 2?
True
Let p = 14 - 10. Does 8 divide (1 - p) + 8 + 8?
False
Let r(j) = j**3 - 4*j**2 + 3*j + 4. Let v be r(3). Suppose -q + 21 = 4*y - 54, -v*q - 6 = -y. Is 9 a factor of y?
True
Suppose 8 = -4*z - 12. Let l(p) = -2*p**3 + 7*p**2 - 6*p - 5. Let c(i) = 3*i**3 - 11*i**2 + 9*i + 7. Let r(h) = z*c(h) - 7*l(h). Is r(3) a multiple of 6?
True
Let k be 6*(-2 + 1) + 0. Let p be 3*(-2)/k + -5. Is 2 a factor of 10/(-4)*p/5?
True
Let v = -25 - -15. Is (-888)/(-20) - (-4)/v a multiple of 22?
True
Suppose -2*a - 5*j + 195 = 0, 4*a - 5*j = a + 230. Does 17 divide a?
True
Suppose -25 - 7 = -3*z + j, 5*z - 2*j - 55 = 0. Let d be (3 + 0)/((-3)/z). Let i = -3 - d. Is 3 a factor of i?
True
Is 11 a factor of (2/(-4))/((-7)/658)?
False
Let g(a) = 4*a**2 - 9*a + 7. Let i be g(7). Suppose i = s + s. Suppose 4*f = -f + s. Is f a multiple of 7?
True
Let i(c) = 4 + 7*c + 3*c**2 - 3*c - 9*c**2 + c**3. Does 15 divide i(6)?
False
Suppose -o = 5*o - 108. Does 6 divide o?
True
Let u(d) = 8*d**2 - d. Let a be u(-2). Is a/8 + 4/(-16) a multiple of 4?
True
Let w(h) = -h**3 - 6*h**2 - 4*h + 7. Let u be w(-5). Let p(d) = u*d**2 + 3*d - d + d - 2. Is p(-3) a multiple of 3?
False
Suppose -3*x - q = 227, -54 = -4*x + q - 345. Does 5 divide (-9)/(-12) + x/(-8)?
True
Let h(o) = 16*o**2 + 4*o + 3. Does 14 divide h(-2)?
False
Suppose -5*i + 85 = -3*f, 0 = 4*f - f - 3*i + 75. Is 2 a factor of (-45)/f + (-1)/4?
True
Let u = -8 - -5. Let o be (0 - u)/3 + 2. Suppose -2*y + o*y = 9. Is 4 a factor of y?
False
Let k(x) = -x**3 + 7*x**2 - 5*x - 6. Let u be k(6). Let s = u - -5. Suppose -s = -0*b - b. Does 5 divide b?
True
Let f = -2 - -13. Is f a multiple of 3?
False
Suppose -2*f - 5*u + 16 = 0, -3*u + 32 = 4*f + 2*u. Suppose 0 = -4*x - 2*v + f + 102, -113 = -4*x - 3*v. Does 26 divide x?
True
Let v = -37 - -11. Let t = 38 + v. Is 6 a factor of t?
True
Suppose 2*k = 3*k - 89. Does 32 divide k?
False
Suppose 108 = 3*w - w + 2*f, -8 = -4*f. Is w a multiple of 13?
True
Suppose 4*y + 12 = -76. Is (1 - 2)*(y - 0) a multiple of 11?
True
Let n(k) = k - 4. Let t be n(6). Suppose -x = 3*z - t*z - 1, -5*z + 25 = 0. Is 14 a factor of 2/8 - 115/x?
False
Let o = 8 + 5. Is 13 a factor of o?
True
Let b(q) = -4*q**3 + q + 2. Suppose 3*h - 5*z = -9 - 0, 4*z - 4 = 4*h. Suppose -o - h = -0*o. Does 13 divide b(o)?
False
Let x be 4 - 2/(-3)*-3. Let t be (x - (-36)/(-15))*-10. Suppose -5*u + t*h + 34 = -41, 2*u - 12 = -2*h. Is 4 a factor of u?
False
Suppose -5*x = -5*g + 201 + 109, 0 = x - 2. Is g a multiple of 20?
False
Let h(l) = -4*l**2 + 16*l**2 + 6*l**2. Is h(1) a multiple of 9?
True
Let r(n) = 30*n**2 - 3*n + 3. Let s be r(3). Let w = -140 + s. Suppose -36 = -5*h - 2*x + w, -2*h = -5*x - 64. Does 11 divide h?
False
Suppose 680 = 14*v - 4*v. Is v a multiple of 9?
False
Let k be 85/20 - 1/4. Suppose 0 = 3*a + 2*s - 52, 2*s + s + 41 = k*a. Does 12 divide a?
False
Let l be (-1)/(-5) - 272/10. Is 10 a factor of (-762)/(-27) - (-6)/l?
False
Let r(n) = n**2 + 16. Let q be r(0). Let v = 24 - 4. Suppose 0 = -5*d + v, 0*h = -3*h - d + q. Does 4 divide h?
True
Suppose 5*j - 26 - 59 = 0. Is 3 a factor of j?
False
Let f(y) = -y + 24. Is 14 a factor of f(10)?
True
Let u be (-2 - -3)*(-11 - 3). Let k = -10 - u. Is k a multiple of 4?
True
Suppose -3*t - 6*m + 3*m = -15, 0 = 3*t - m - 19. Suppose -84 = -t*r + 3*r. Is r a multiple of 14?
True
Suppose 21 = 2*d - p, -3*d - 5*p - 1 = -0*d. Is 7 a factor of d?
False
Let n(w) = w - 3. Let k be n(6). Suppose 3*q = -2*c + 55, 2*q + 143 = 4*c - k*q. Is 16 a factor of c?
True
Suppose 21*p = 16*p + 470. Is 7 a factor of p?
False
Let b be 521/1 - (5 + -4). Suppose 6*o = o + b. Is o a multiple of 30?
False
Let q = -256 - -456. Is q a multiple of 50?
True
Suppose -4*j = -8*j + 1020. Is j a multiple of 26?
False
Suppose 5*n + 0*n = 240. Suppose 0 = -6*b + 3*b. Suppose 2*h = -b*h + n. Does 13 divide h?
False
Let c = 94 + -22. Is 24 a factor of c?
True
Let p(b) = b**3 + 10*b**2 - 6*b - 11. Is 14 a factor of p(-10)?
False
Let h(b) = 2*b**3 + 10*b**2 + 12*b + 10. Let w(v) = -v**3 - 5*v**2 - 6*v - 5. Let p(k) = 3*h(k) + 5*w(k). Let y be p(-4). Is 0 + 2 - 108/y a multiple of 21?
False
Let c(u) be the first derivative of -u**4/4 + 8*u**3/3 - 2*u**2 + u + 3. Does 8 divide c(7)?
False
Suppose 0 = -3*y + 5*y - 40. Suppose 0 = 5*k - 2*a - 171 - 0, -45 = -k - 5*a. Let f = k - y. Does 15 divide f?
True
Let p(m) = -m**3 - m**2 + 185. Let q be p(0). Let y = 57 + q. Suppose 82 = -5*b + y. Does 16 divide b?
True
Let t = 26 - 52. Let v = -15 - t. Is v a multiple of 2?
False
Let d(h) = 2*h**3 - 2*h**2 - h + 2. Let c(s) = 11 - 4 + 3*s - s**2 - 3*s + 4*s. Let p be c(5). Is d(p) a multiple of 3?
False
Let w be ((-154)/(-4))/(2/(-4)). Let m = 3 - w. Let z = -32 + m. Does 17 divide z?
False
Let h = -1 + 5. Suppose -8 = 4*g, u = -2*u - h*g + 34. Is u a multiple of 8?
False
Let h(x) = 7*x + 13. Is 35 a factor of h(4)?
False
Suppose -5*y + 6 = -p, p + 2*y = -0*p + 1. Is 8 - 6/(p + 4) a multiple of 3?
True
Suppose -k - 6 = q, 0 = -3*q - 0 - 3. Let p(i) = -i - 5. Let a be p(k). Suppose 11 = m - a*m. Is m a multiple of 5?
False
Suppose -13*u = -9*u - 36. Does 9 divide u?
True
Suppose 4*l = 5*g - 514, 0*g + 528 = -4*l - 2*g. Let i = -62 - l. Is 14 a factor of i?
False
Let w(i) = i**3 - 2*i**2 + 2*i + 1. Let s(c) = 2*c**3 - 3*c**2 + 4*c + 3. Let z(g) = -2*s(g) + 5*w(g). Let l = 19 + -15. Is z(l) a multiple of 3?
False
Suppose -5*d + 16 = -s, 4*d - 3*s - 5 = 10. Suppose 23 - 139 = -d*m + 2*n, m + n = 42. Is m a multiple of 13?
False
Suppose 4*h + 5*x = 491, 5*h + 2*x = 2*h + 370. Is 17 a factor of h?
False
Suppose 2*o + 3*l + 2*l - 18 = 0, 5*o - l = 18. Let k(a) = -a**3 + 5*a**2 - 3*a + 1. Let d be k(o). Suppose 0 = d*g - 30 - 60. Does 18 divide g?
True
Suppose 2*y = 72 + 48. Does 15 divide y?
True
Is 16 a factor of (-1)/9*-2 - 27616/(-144)?
True
Let n(w) = -9*w + 5. Does 5 divide n(-3)?
False
Let f = -13 - 61. Let t = -52 - f. Is t a multiple of 18?
False
Suppose 4*p = 5*p. Suppose m - 29 = -d, 4*d = -p*m - 5*m + 112. Is d a multiple of 13?
False
Let n(r) = 2*r. Suppose 0 = -2*f + 5*f - 3. Let k be (1/f)/((-4)/(-8)). Is n(k) a multiple of 4?
True
Does 24 divide 25 - ((-1)/3)/(3/(-9))?
True
Let r(s) = -s - 1 + 7*s**2 - 2*s - s. Suppose 3*y = 3*p - 18, 4*p - y = 5*p. Is 14 a factor of r(p)?
False
Let x = -53 + 21. Let b = -22 - x. Is 6 a factor of b?
False
Suppose 0 = 3*o - 4*o + 3. Suppose 5*x = 10, -o*x = -4*c - x + 44. Is 3 a factor of c?
True
Let o be 108/30 - 4/(-10). Let d(t) = -6 - o + t + 9. Is 3 a factor of