 0. Suppose -3*m = 2*s + 18, -4*m + 68 + 8 = -4*s. Let n = g - s. Is n a multiple of 7?
False
Let j be (-3)/((-12)/10 - -1). Let q = j + -7. Is q a multiple of 4?
True
Let s be 2/7 + (-248)/(-14). Suppose 2*n = 4*n - s. Is n a multiple of 4?
False
Let t = -63 + 176. Let k = -65 + t. Does 11 divide k?
False
Does 4 divide (-7 + 6)/((-45)/21 - -2)?
False
Let w be ((-34)/5)/((-1)/10). Let t = 132 - w. Does 19 divide t?
False
Let f be (10 + -12)*(-22)/(-4). Let x = 14 + f. Suppose x*g - 43 - 35 = 0. Is g a multiple of 13?
True
Let g = 15 - -34. Suppose -2*k - 3*b = -k - 25, 0 = -5*k + 4*b + g. Is 13 a factor of k?
True
Let w(o) = -6 + 5*o - 2*o - o. Let y be w(5). Let d(h) = -h**3 + 3*h**2 + 6*h - 4. Is d(y) a multiple of 2?
True
Let b be ((-16)/(-12))/((-2)/(-3)). Suppose b*o + o = 0. Suppose 116 = 4*s - o*s. Is 15 a factor of s?
False
Suppose -5*v = -11 + 1. Is (7 - v)/((-1)/(-2)) a multiple of 5?
True
Suppose y + d - 3 = 4, -d - 11 = -2*y. Is y even?
True
Let q(r) be the second derivative of -r**3 - 4*r**2 - r. Let i(a) = -5*a - 7. Let t(o) = 4*i(o) - 3*q(o). Is 9 a factor of t(-8)?
False
Suppose -4*l - 5*h + 525 = -78, -5*h + 147 = l. Is l a multiple of 41?
False
Let u = 34 - 16. Is 9 a factor of u?
True
Suppose -2*a - 204 = 114. Does 20 divide 2/8 + a/(-4)?
True
Let o = 112 + -84. Does 9 divide o?
False
Suppose -u + 243 = 2*u. Suppose 0 = -0*o + 3*o + 5*z - 89, -o = -2*z - 37. Suppose -o + u = 3*g. Is g a multiple of 13?
False
Let u(b) = 2*b + 1. Let k be u(-1). Let c(a) = -19*a. Does 16 divide c(k)?
False
Let j(i) = i + 11. Is 5 a factor of j(14)?
True
Let o(a) = a**2 - 2*a + 2. Suppose -24 = -0*q - 4*q. Suppose -h = h - q. Is o(h) even?
False
Let x(v) = -v - 4. Let c be x(-6). Suppose -c*d - 4*z + 60 = -3*z, -30 = -d + 4*z. Is d a multiple of 15?
True
Suppose -5*d - 3*g - 273 = -768, -5*g = 0. Is 9 a factor of d?
True
Let k = 48 + 50. Let i = k - 67. Is 12 a factor of i?
False
Let n = 20 + -60. Let b be -22*(9/1)/(-3). Let c = n + b. Is 13 a factor of c?
True
Let p = 2 - 8. Does 5 divide (-20)/(-3) + p/9?
False
Let h(b) be the first derivative of -7*b**4/4 - b**3/3 + b**2 + 2*b - 2. Let i be h(-2). Suppose c = -4*c + i. Is c a multiple of 7?
False
Let s = 3 - 6. Let x = 6 + s. Is 6 a factor of (-13 + 1)*x/(-6)?
True
Is (-31 + -2)/(0 + -1) a multiple of 11?
True
Let s = 156 + -58. Is s a multiple of 17?
False
Suppose 11*x = 13*x - 66. Does 11 divide x?
True
Suppose -3*n = -24 - 102. Let z = n - 12. Is 14 a factor of z?
False
Let l(a) = 14*a**2 - 2*a - 1. Suppose 3*b + 2 = -1. Is l(b) a multiple of 15?
True
Suppose 4*r - 69 + 25 = 2*n, -4*r - 4*n + 56 = 0. Let g(p) = 3*p + 2. Does 23 divide g(r)?
False
Let l(g) = -g**2 - g. Let j(s) = -5*s**2 - 7*s + 1. Let i(c) = -j(c) + 6*l(c). Let w(v) = -3*v**2 - v - 12. Let z(h) = -4*i(h) + w(h). Is z(7) a multiple of 3?
True
Suppose -3*x + 7*x - 12 = 0. Suppose 6*v - x*v = 36. Is v a multiple of 6?
True
Is 6 a factor of 506/12 + (28/(-24) - -1)?
True
Let m = -10 + 68. Does 26 divide m?
False
Suppose -k = -0*k - 27. Does 3 divide k?
True
Let c be (-592)/14 - (-4)/14. Suppose v + 177 = 4*v. Let n = c + v. Is n a multiple of 7?
False
Suppose 0 = 2*r + 4 + 2. Let o be 14/(-4)*(-6)/r. Is 5 a factor of (6/o)/(1/(-14))?
False
Suppose -45*j + 41*j + 160 = 0. Is 20 a factor of j?
True
Let w(k) = 2*k - 14. Let q be w(10). Let u(b) = -b**3 + 5*b**2 + 6*b - 4. Let d be u(q). Is 14 a factor of (-10)/d*84/15?
True
Suppose 0 = 3*k - 5*k + 2. Let q(b) = 32*b**3 - b**2 + b - 1. Is q(k) a multiple of 11?
False
Let n = 21 + -33. Is 5 a factor of (-112)/n*(-6)/(-4)?
False
Let c(h) = -h**2 + 21*h - 9. Is 25 a factor of c(13)?
False
Suppose 2*r + 2*p + 2*p + 10 = 0, 3*r - 3*p = 21. Suppose -n = -3*z + n + 56, -r*n + 68 = 5*z. Is 8 a factor of z?
True
Let k = 2 + -2. Suppose k*f - 3*o + 70 = 5*f, -4*o = -4*f + 56. Is 7 a factor of f?
True
Suppose 5 = -5*s - v, 3*s + 5 = s - v. Suppose s = -r - 3 + 21. Is 8 a factor of r?
False
Let c(f) = -58*f**2 - 3*f + 2. Let n(t) = -233*t**2 - 13*t + 9. Let l(o) = -9*c(o) + 2*n(o). Let q be l(-1). Suppose -5*w + q + 5 = 0. Is 4 a factor of w?
True
Let j(y) = 2*y**2 + 3*y - 5. Is j(-4) a multiple of 15?
True
Let c be 0 - ((1 - 2) + 4). Let u = 2 - c. Suppose -i = i - 4, 2*i - 169 = -u*r. Is 14 a factor of r?
False
Let y = -101 - -236. Is y a multiple of 9?
True
Let u be (11 + 4)*(-3)/(-9). Suppose -m = 3*n - 0*m - 91, -72 = -2*n + u*m. Is n a multiple of 10?
False
Suppose 0 = -3*s - 12, 24 = 4*i + 4*s - 88. Suppose -40 = 3*o + 2*m, -o + i = -4*o + 2*m. Does 2 divide (-3)/(-18) - 82/o?
False
Let d be -2 - ((-10 - -1) + -2). Suppose o = -d + 3. Does 7 divide ((-28)/o)/((-4)/(-6))?
True
Is (-9*(-3 + 0))/(3/2) a multiple of 10?
False
Suppose h - 47 = 3*b, -5*b - 63 - 30 = -2*h. Is 6 a factor of h?
False
Let z(b) = b - 3. Let x be z(10). Let k(j) = j - 7. Let u be k(x). Suppose 3*p - 6 = u, 3*a - 59 = 2*p + 3. Is 11 a factor of a?
True
Let b(d) be the second derivative of 5*d**4/24 + 2*d**3/3 + d**2/2 - 2*d. Let c(o) be the first derivative of b(o). Is 16 a factor of c(5)?
False
Suppose 0 = -n - 4*n. Let k(j) = -j**3 - 7*j**2 + 3*j + 10. Let g be k(-8). Suppose 4*u = w + g, -u + 3*u - 5*w - 16 = n. Does 13 divide u?
True
Suppose -20 = 5*f, b + 2 = 6*b + 2*f. Suppose b*g - 2*s + 0*s = 96, 216 = 4*g + 4*s. Suppose 2*y = -3*p - y + g, 0 = p - 4*y - 37. Is p a multiple of 16?
False
Is 7 a factor of 392/18 + (-2)/(-9)?
False
Suppose 4*v = 2*i - 96, 3*v - 136 = -2*i - v. Is 14 a factor of i?
False
Let i(x) = -12*x + 6. Is i(-5) a multiple of 11?
True
Is ((-6)/10)/((-15)/225) even?
False
Let s = -8 + 13. Suppose -32 + 7 = -s*n. Suppose -n*u - 5*y = -15, 5*u + 4*y = 6*y + 43. Is u a multiple of 4?
False
Let n = 11 - 17. Let i be (4/(-6))/(4/n). Let j = i + 18. Is j a multiple of 7?
False
Let j(f) = f - 3. Let w be ((-2)/6)/((-3)/27). Let d be j(w). Suppose 2*i + 0*i = q - 16, d = -2*q + 2*i + 34. Is 9 a factor of q?
True
Let j(n) = 8*n**2 - 2*n - 1. Is 6 a factor of j(-1)?
False
Let r(b) = -4*b. Let k(c) = c**3 - 2*c**2 - 3*c - 4. Let a = 6 - 3. Let q be k(a). Does 16 divide r(q)?
True
Let a = -28 - -103. Is 8 a factor of a?
False
Let q(m) = 25*m**2 - 1. Let l be q(-1). Let k be 2/12 + 20/l. Let y = k - -7. Does 8 divide y?
True
Suppose 0 = -5*f + 10, -k - 2*f + 72 = f. Is 27 a factor of k?
False
Suppose 3*j = -9, 2*j = -2*z + j + 17. Is 11 a factor of (-8)/z*130/(-4)?
False
Suppose 15 = 5*k - 4*m, -12 = -5*k + 3*m - 2. Let t = k + 5. Suppose -3*r - 197 = -t*l - 34, -157 = -4*l - 3*r. Does 15 divide l?
False
Suppose -22*b = -23*b + 131. Does 5 divide b?
False
Let y(h) = h**3 - 19*h**2 + 23*h - 15. Is 15 a factor of y(18)?
True
Does 6 divide 41 - (-4)/(7 + -3)?
True
Let t be (-6)/10 - 10416/(-60). Let x = t - 64. Is 31 a factor of x?
False
Suppose 5*v + 2*r = -3*r + 55, 2*v + r = 20. Suppose 2*z + v = 25. Does 4 divide z?
True
Suppose -195 - 231 = -3*k. Is k a multiple of 39?
False
Let k(d) = -d**2 - 12*d + 5. Let s be ((-1)/(-2))/(-1)*-10. Suppose -5*r = -i + 5*i + 16, 3*i - s*r = -47. Is 16 a factor of k(i)?
True
Let t = -107 - -198. Is t a multiple of 9?
False
Does 6 divide 5*(-3)/(-3)*3?
False
Let k = 88 - 52. Is 10 a factor of k?
False
Let u = 71 + -49. Is 546/u + (-4)/(-22) a multiple of 6?
False
Let f(k) = -2*k + 6. Let b = 12 - 18. Is f(b) a multiple of 6?
True
Suppose 3 = 5*f - 12. Let o = -1 + f. Suppose 0 = o*x + 2*q - 10, -2*q - 10 = x - 3*x. Is 5 a factor of x?
True
Is 16 a factor of 561/17 + 1*-1?
True
Let m(l) = -l**2 + 10*l + 3. Let y be m(9). Suppose -x + 3*r = -13 - y, -3*r = 5*x - 71. Does 6 divide x?
False
Let q(k) = 4*k + 11. Does 15 divide q(15)?
False
Suppose -3*f + 2 = -4. Let k(m) = m + 2 + 10*m**f + 10*m**2 - 16*m**2. Is k(-2) a multiple of 10?
False
Is -3 + (-74)/6*-3 a multiple of 17?
True
Let f be 60/14 + 6/(-21). Let u = f - 2. Is 1/1 + u + 2 even?
False
Let h = 324 - 227. Is 21 a factor of h?
False
Let h be (-4)/10 - (-2)/5. Suppose -5*s + 4*v + 92 = h, -62 = -2*s + 4*v - 18. Does 6 divide s?
False
Is 13 a factor of -13*(-1 + 8/(-4))?
True
Let i(x) = x**2 + 8*x + 10. Let s be i(-8). Let o be 1*-25*(-48)/s. Suppose 5*a - o = a. Is a a multiple of 15?
True
Suppose 4*p + 268 + 18 = 3*c, 3*c - p - 301 = 0. Is c a multiple of 14?
False
Suppose 5*i - 212 = 5*k - 907, -k + 5*i