
False
Let n = 154 - 49. Does 6 divide n?
False
Let v be 2/(-4) + 198/12. Suppose 2 + v = 3*m. Is 6 a factor of m?
True
Suppose c + 0*c = 3. Suppose n = -c, -2*d - n = -6*d + 67. Is 7 a factor of d?
False
Is (-3)/(-9) - 1967/(-21) a multiple of 24?
False
Suppose -180 = -9*u + 351. Is 15 a factor of u?
False
Suppose -325 = -2*g - 3*g. Let v = g - 38. Let d = -11 + v. Is 16 a factor of d?
True
Suppose -4*j = 3*f - 54, f - 12 = -2*j + 6. Is f a multiple of 9?
True
Let s(n) be the second derivative of -n**3/6 - 11*n**2/2 - 3*n. Let c be s(-8). Does 16 divide 16/(1/(c + 4))?
True
Let o(r) = 24*r + 11. Is o(11) a multiple of 25?
True
Suppose -49 = -3*v - y, -v - 87 = -5*v + 3*y. Let c(g) = g**3 - 7*g**2 + 6*g + 2. Let j be c(6). Is (-1)/j*(-4 - v) a multiple of 3?
False
Suppose -5*x = -2*c + 34, 5*x + 29 = 5*c - 71. Does 10 divide c?
False
Let g = 13 + 67. Is g a multiple of 40?
True
Suppose -4 = -2*r + 4. Suppose 3*j = 4*l + 32, r*j + 4*l + 3 = -1. Let w = j - -7. Is 3 a factor of w?
False
Does 14 divide ((-56)/(-12))/((-2)/(-6))?
True
Let r(k) = k**3 + 5*k**2 - 3. Let a be r(-5). Is 22 a factor of 3 - (0 - (-150)/a)?
False
Let b(i) = 4*i**2 + i - 7. Does 31 divide b(5)?
False
Let p(y) = 15*y**2 + 13*y - 9. Let u(f) = 7*f**2 + 7*f - 4. Let o = -38 + 25. Let r(z) = o*u(z) + 6*p(z). Is 10 a factor of r(-11)?
True
Let f be 1/(-2) + 6/4. Let l be (5 + f)*(-2)/(-4). Suppose -l*c = -3*j + c + 25, -2*j - 3*c - 6 = 0. Is 3 a factor of j?
True
Let g(j) = -6*j - 5. Let i(z) = -21*z - 18. Let r(f) = -18*g(f) + 5*i(f). Is 6 a factor of r(6)?
True
Let r be 20*(0 + -8 + 0). Let q be 4/(-14) - r/(-28). Let i = q + 28. Is 11 a factor of i?
True
Let z(n) = n + 5. Let v be z(-7). Let l(d) = -12*d + 2. Is 13 a factor of l(v)?
True
Let p(d) = -d + 10. Let n be p(7). Does 10 divide 2 + (-1 - -3*n)?
True
Let o be -18*2/((-6)/1). Does 12 divide (o + 0/(-3))*6?
True
Let u(o) = 21*o**2 - 1. Let d be u(-1). Let g be ((-18)/15)/((-6)/d). Let l = 3 + g. Does 3 divide l?
False
Let f(b) = 2*b**2 - 8*b - 1. Suppose -4*k + 9*k = 10. Let m = k - -4. Does 11 divide f(m)?
False
Suppose -20 = 5*y, 0 = 4*t - t + 3*y + 15. Let v be t/(-1*(-2)/(-4)). Suppose -v*k = 3*k - 85. Is 17 a factor of k?
True
Let u = 8 - 8. Let c(x) = 3*x - 5. Let o be c(5). Let g = o - u. Is 5 a factor of g?
True
Suppose -t + 28 = -3*t. Let u = -2 - t. Does 12 divide u?
True
Let j be ((-2)/3)/((-4)/6). Let r be 2 - j - (-72)/4. Does 11 divide -2 + 1 + r + -2?
False
Let m(g) be the second derivative of -2*g + 0 - 1/2*g**2 - 7/2*g**3. Does 20 divide m(-1)?
True
Let h(f) = 4*f + 4. Let s be h(5). Let y = 48 - s. Is 8 a factor of y?
True
Let q(s) = -s**2 + 6*s - 2. Let n be q(5). Let v = n - 2. Is v + 7/(21/54) a multiple of 8?
False
Let p(s) be the second derivative of -s**5/20 - 5*s**4/6 - 13*s**3/6 - 5*s**2 + 2*s. Let l be p(-8). Let f = l + 74. Does 20 divide f?
True
Suppose -h - 2 = -4. Let w(m) = 3 + m**h + 5*m + 0 + 4*m**2. Is w(-3) a multiple of 14?
False
Does 9 divide 54/(0/(-2) + (0 - -1))?
True
Suppose 5*f - 35 = -10. Suppose h - f = 11. Is h a multiple of 5?
False
Suppose 0 = -y + 1, 6*y - 11 = -3*v + y. Let q(b) = v*b**2 + 4*b - b - 10 + 5*b + b. Does 15 divide q(-7)?
False
Let d be 1 - (0 + 1/1). Suppose v - 3*q - 5 = 0, -5*v - q + 78 - 5 = d. Is v a multiple of 5?
False
Let j(q) = 16*q - 7. Is j(7) a multiple of 19?
False
Suppose 0 = -6*o + 3*o + 75. Does 5 divide o?
True
Let x = 8 - 8. Suppose 3*l - 3*m - 26 = -5*m, l + m - 9 = x. Does 4 divide l?
True
Suppose 0 = -3*x - 22 + 85. Does 6 divide x?
False
Let k(r) = 3*r + 22. Is k(-3) even?
False
Let u = 6 + -8. Is 4 a factor of (2 - 7/u)*2?
False
Suppose -5*j = 2*d - 3*j - 178, 247 = 3*d - 2*j. Is d a multiple of 17?
True
Suppose -3*y - 1 = x, 4*x + 4 = -0*y - 2*y. Let i = y + 22. Suppose -t + i = t. Is t a multiple of 10?
False
Suppose 0 = 3*l + 6*n - 3*n - 15, -5*l = -3*n - 9. Suppose 4*v = 0, 5*d = -l*v - 242 + 22. Is 11 a factor of d/(-6)*(-12)/(-8)?
True
Let t(s) = -s + 50. Let m be t(0). Let a = 79 - m. Is a a multiple of 9?
False
Suppose 732 + 268 = 4*c. Is c a multiple of 32?
False
Suppose 2*g + 13 = 1. Is (-6)/((-4)/((-32)/g)) a multiple of 8?
True
Suppose -3*o + 124 = 3*u - 5*u, -2*o + u + 81 = 0. Let w = -19 + o. Is w a multiple of 19?
True
Suppose -2*u + 16 = -2*k, -2*u + 3*k - 12 = -5*u. Let n(o) = o**3 - 5*o**2 - 5*o - 3. Is n(u) even?
False
Suppose -2*b - 2 + 3 = w, 0 = -5*b - 5*w - 10. Suppose -2*q = -b - 1. Suppose -q*k + s + 16 = -3*s, 4*k - 57 = 3*s. Is k a multiple of 9?
True
Let w be 4/6 + (-592)/(-12). Let i = w + -15. Is 9 a factor of i?
False
Suppose 0 = -b + 1, 2*y + 2*b + 22 = -22. Let s = 50 + y. Is 11 a factor of s?
False
Let s = -46 - -128. Let c = 149 - 201. Let f = s + c. Is 10 a factor of f?
True
Let w = 572 - 403. Let g = -84 + w. Suppose 0*b - g = -5*b. Does 6 divide b?
False
Suppose 44 + 64 = 4*v. Is v a multiple of 7?
False
Is 526/10 - 4/(-10) a multiple of 24?
False
Let o be 15/10*32/12. Suppose -o*l + 5*i + 85 = -7, 0 = -l + i + 22. Is l a multiple of 4?
False
Let s(k) = -k**2 + 4*k + 2. Let d be s(5). Is (-1)/(-1*d/(-24)) a multiple of 8?
True
Let n be 7 + 2 + -1 + -2. Suppose i = n*d - 2*d - 8, 12 = 4*d. Suppose i*a = -a + 170. Is a a multiple of 15?
False
Suppose -11 = -x - 2*p - p, 0 = -x + p + 7. Suppose 2*y - j - 10 = y, -2*j = x. Is 3 a factor of y?
True
Suppose -2*f + 0 = -6. Let l(y) = y**f + 6*y**2 + 1 - 7*y - 9 - 4*y. Is 8 a factor of l(-7)?
False
Let w = -3 + 7. Suppose -2*y - 234 = -w*i, -5*y + 19 = -i + 55. Suppose -4*d = -i + 13. Is 12 a factor of d?
True
Let b = 26 + -21. Suppose 4*h = -2*a + 146, b = 3*a - 2*a. Is h a multiple of 14?
False
Let q(g) = 2*g**2 - 6. Let a(w) = -w**3 - w**2. Let s be a(-2). Suppose 2*i + s*j - 5 = -23, -2*i - 8 = -j. Is q(i) a multiple of 17?
False
Suppose -4*f + 18 - 2 = -x, -3 = -3*x - 5*f. Let g = x - -27. Is g a multiple of 11?
False
Let z be (-4)/10 + 1056/(-10). Let h = -63 - z. Does 23 divide h?
False
Let x be 2/4 + (-20)/8. Let f = 2 + x. Suppose t + 3*s = -f*t + 25, 3*s = 3*t - 87. Is 10 a factor of t?
False
Let m be -1*(7 - 3) + 9. Let z = -6 - -8. Suppose 0*r + m*g - 39 = -4*r, 2*r = z*g + 42. Is r a multiple of 16?
True
Is 6 a factor of 58/4*(-4 - -6)?
False
Let k(z) be the second derivative of z**4/3 - 2*z**3/3 + z**2 - 4*z. Is 5 a factor of k(2)?
True
Suppose 9 = 3*v - 3. Suppose 0*g = g - v. Is (3 + 1)*10/g a multiple of 6?
False
Suppose -j + 8 = -3*j + 5*s, -2*s + 8 = -2*j. Suppose -o - 2*o + 114 = 0. Is 16 a factor of (o/j)/((-3)/12)?
False
Suppose 5*n + 3*o - 22 = 7, 1 = -2*n + 3*o. Suppose -3*m = 5*z - 42, -n*m - m - 4 = -4*z. Is z a multiple of 4?
False
Suppose 3*r - 2*r - 8 = 0. Is 4 a factor of r?
True
Let a(o) = -o**2 + 10*o - 11. Let w be a(8). Let h(k) = k**3 - 4*k**2 - 3*k + 5. Does 15 divide h(w)?
True
Suppose d + d = 2. Let q be (-6)/(-4)*2 - d. Is (-18)/(2 - q - 2) a multiple of 4?
False
Is 4/(1*(-3)/(-18)) a multiple of 8?
True
Let p(x) = 4*x**2 - x - 2. Is p(-2) a multiple of 7?
False
Suppose -3 - 7 = -2*h. Suppose 4*o - h*u - 115 = -0*u, 0 = -5*u - 15. Is 8 a factor of o?
False
Is (-19)/95 + (-41)/(-5) even?
True
Suppose -6*s + 3*s = -171. Suppose -4*y = -5*c - s, -5*y + 35 = c - 0*c. Is ((-44)/8)/((-2)/y) a multiple of 8?
False
Let o = 11 + -7. Let g(c) = 2*c**2 - c**2 + 0*c**2 + 1. Is g(o) a multiple of 17?
True
Let m = 15 - 18. Let x = 18 + m. Is x a multiple of 3?
True
Let z(l) = -l + 1. Let v be z(-1). Suppose 6 = 4*o - v*o. Suppose 0*w = -o*f + 5*w + 161, 4*f + 2*w = 180. Does 19 divide f?
False
Suppose 4*f = -4*n - 208, -4*n = -2*f - 129 + 31. Let t = f + 11. Is (t/(-5))/((-1)/(-2)) a multiple of 8?
True
Let d(n) = n**2 + n + 3. Let w(v) = -v**2 - 7*v - 9. Let r be w(-7). Let y = r + 4. Is d(y) a multiple of 8?
False
Let w(y) be the second derivative of y**4/12 - y**3/3 - 2*y**2 + 2*y. Let r be w(5). Is 4 a factor of -2 + (1 - 2) + r?
True
Let f(c) = -c**3 - 4*c**2 + 5*c + 3. Let j be f(-5). Suppose 0 = j*h + h - 60. Let p = -5 + h. Does 4 divide p?
False
Let j = 2 - 7. Let a(c) = -c**2 - 5*c + 2. Is a(j) even?
True
Let y be -9*(-4)/(1 - 2). Let q = 70 + y. Is q a multiple of 17?
True
Suppose -u - 3*u - 8 = 0. Does 7 divide 28/(-4*1/u)?
True
Suppose 5*b - 2 = -12, -2*b - 2440 = 4*p. Let l be p/(-4) + 1/(-4). Suppose m = -3*m 