7?
False
Let c = 109 + -57. Does 23 divide c?
False
Let z(h) = -h**3 + 6*h**2 + 12*h + 3. Let y be z(9). Let f = -75 - y. Does 20 divide f?
False
Let y be (-4)/(-18) - 47/9. Let o = -10 - y. Is 372/30 - (-2)/o a multiple of 12?
True
Let r(i) be the first derivative of 3*i**5/40 - i**4/24 + 2*i**3/3 - 2. Let k(l) be the third derivative of r(l). Is 4 a factor of k(1)?
True
Let p(b) be the third derivative of b**6/120 - 7*b**5/60 - 11*b**4/24 - b**3/3 + b**2. Does 21 divide p(9)?
False
Suppose 2 = -d + 4. Does 8 divide d/2 + 5*2?
False
Let o be (-2)/4 + (-88)/(-16). Suppose -4*u = 2*p - 16, 16 = -u - o*p + 38. Is u*(-1)/((-4)/86) a multiple of 19?
False
Let z(r) = r**3 + r**2 - r - 2. Let t be z(3). Let x be (55/15)/((-1)/(-3)). Let q = t - x. Is q a multiple of 10?
True
Let u(v) = -6*v - 14. Let x be u(-5). Suppose -4*y - 3*r = -14, 3*r = -r - 8. Suppose 3*z + 4*k - 7 = x, -y*k + 30 = 4*z. Does 5 divide z?
True
Let t(k) = -3*k + 6. Let i(l) = -10*l**2 + l. Let h be i(1). Let a be t(h). Is (2/6)/(1/a) a multiple of 11?
True
Let h(s) = 7*s + 3. Let u be h(6). Does 27 divide (-2 + u + 3)*1?
False
Let v(s) = 2*s**2 - 2*s. Let p be v(4). Suppose -h = 8 - p. Is h a multiple of 6?
False
Let x(l) = l**2 - 6*l + 6. Let s = 11 - 4. Is x(s) a multiple of 9?
False
Let a be 95 - (3 + -2 - 1). Suppose 6*k = 2*g + 2*k - 38, -5*g - 4*k = -a. Is 10 a factor of g?
False
Suppose 0 = -2*c + 6*c - 2*l - 126, 2*c + 3*l - 75 = 0. Is 11 a factor of c?
True
Is 3 a factor of 7/7 - (1 - 12)?
True
Let n(v) = -v**3 - 6*v**2 - 7*v + 2. Is 20 a factor of n(-7)?
True
Let q(d) = d**3 + 10*d**2 - 12*d + 9. Does 5 divide q(-11)?
True
Let u(c) = -15*c**3 - 2*c**2 - c. Is 3 a factor of u(-1)?
False
Let d be ((-9)/(-12))/(2/(-24)). Let z = 18 + d. Let j(o) = -o**2 + 10*o + 3. Is 12 a factor of j(z)?
True
Let y(s) = -s**3 - 2*s**2 + 4*s + 5. Let l be 16/(-12)*1*3. Does 12 divide y(l)?
False
Suppose -k = 3*r - 3, 0 + 3 = k. Suppose r*s - 59 = -s. Is 14 a factor of s?
False
Let a = -36 - -63. Is a a multiple of 7?
False
Is 27 - (-6)/(-9)*3 a multiple of 25?
True
Suppose 0*c - 4 = 3*c + 5*p, p = 3*c - 8. Suppose -c*v + 76 = -s + 1, 4*v - 144 = -4*s. Does 15 divide v?
False
Let u(h) = 21*h**3 + h. Let n be u(-1). Let s(y) = y - 50. Let k be s(0). Let o = n - k. Is o a multiple of 12?
False
Let m = 20 - 17. Is (12 - 2)*m/6 even?
False
Let q = 247 - 135. Is 28 a factor of q?
True
Let c(a) = 2*a - 2. Let p be -2*(-2)/2 - -8. Is 9 a factor of c(p)?
True
Let b(c) = -c + 2. Let y be b(5). Let d = y - -11. Is 4 a factor of d?
True
Suppose 4*u - 63 = 13. Is u a multiple of 8?
False
Does 33 divide (-2)/14 - 3700/(-28)?
True
Let y be -2 - -25*1*1. Suppose 4*s = 5*s - y. Is 14 a factor of s?
False
Let y = 90 - 71. Is y a multiple of 14?
False
Is 20 a factor of -12*((-40)/(-6))/(-2)?
True
Suppose 3*d + 5*t - 67 = 0, 0*t = 3*d + t - 71. Is 8 a factor of d?
True
Suppose -2*l + 3*i = -2*i + 7, 5*i - 19 = -l. Suppose 2*b - 5*h - 35 = 0, -l*h = 9 + 11. Is b a multiple of 4?
False
Suppose -16 = -4*v, -6 = 5*z - 3*v - v. Suppose 0 = n - z*n + 155. Suppose 5*b - 175 = -3*o - 2*o, 0 = 5*o - 5*b - n. Does 12 divide o?
False
Suppose u + 2*p - p = -13, u + 9 = -5*p. Let t = -9 - u. Suppose -t*d + 2 = -33. Is d a multiple of 3?
False
Let z(j) = -j**3 + 5*j**2 + 7*j - 6. Let r be z(6). Let b(s) = s + 5*s**2 - 4 + 2 + r. Is 8 a factor of b(-2)?
True
Let q = -2 + 7. Suppose w = 2*y - 5, 4*w + 20 = 4*y - 0*w. Suppose -q*k + y*k + 70 = 0. Is k a multiple of 7?
True
Suppose 4*f = 2*f - 2*b + 6, 4*f - 12 = 4*b. Suppose -2*p = -f*r - 45, 2*r + 0*r - 20 = -2*p. Is 15 a factor of p?
True
Suppose 0 = 4*o - 0*o - 72. Is 9 a factor of o?
True
Let s(q) be the first derivative of -q**3/3 + 4*q**2 - 3*q + 1. Let y be s(5). Suppose -z - y = -5*z. Is z a multiple of 2?
False
Let p = 49 - -6. Does 4 divide p?
False
Let w(s) = -s**3 + 6*s**2 - 4*s - 5. Let t be w(5). Suppose 5*d = q - 51, 2*q = 2*d - t*d + 62. Does 13 divide q?
True
Suppose -u - 4*i = 13, -3*u + i + 40 = 2*u. Is u even?
False
Let g = -15 - -26. Is 11 a factor of g?
True
Let r(v) = -2*v**2 + 10*v - 2. Let a be r(4). Let x = 20 - a. Does 14 divide x?
True
Let n be -1 - (32/2)/(-2). Suppose s - 5*f = -2*s - 2, 0 = 2*s + 5*f - n. Suppose -2*b + 9 = -s. Does 5 divide b?
True
Is 10 a factor of (70/21)/(2/30)?
True
Suppose -g = -2*g - 46. Let k = -27 - g. Is k a multiple of 11?
False
Suppose 3*y - 38 = -i, -135 = -4*i - i - 4*y. Does 6 divide i?
False
Let r(v) = 14*v + 2. Let o be r(8). Suppose 282 = 4*s + o. Is 21 a factor of s?
True
Suppose 0 = 4*c - 5*c + 5*j + 147, 660 = 4*c - 2*j. Is c a multiple of 7?
False
Let w be 69/9 + 4/(-6). Let z = w + 2. Is z a multiple of 5?
False
Suppose 34*k - 41*k + 1890 = 0. Does 15 divide k?
True
Suppose 5*r - 34 = 306. Does 25 divide r?
False
Let m(k) = 15*k + 4*k + 8*k + 1. Is m(1) a multiple of 15?
False
Let d(i) = -291*i**3 + 2*i + 1. Is d(-1) a multiple of 29?
True
Let b(h) = 4*h + 1. Let f be b(-1). Let d(t) = -6*t - 1. Is d(f) a multiple of 6?
False
Let w(a) = -a**3 + a**2 + 1. Let c be w(0). Let p(s) = 0*s + c + 11*s - 2. Is p(1) a multiple of 10?
True
Let a = 152 - 47. Suppose 4*u - 156 = -3*y, 4*u - a = -2*y + 3. Suppose -y = -4*i - 0. Is i a multiple of 6?
True
Suppose -r + 4*r = 93. Let o = r - 13. Is 6 a factor of o?
True
Let h = -212 + 316. Does 13 divide h?
True
Let m(l) = -5*l**3 - 4*l**2 - 2*l + 2. Suppose -1 = 3*s - 10. Suppose 10 = -2*q - s*q. Is m(q) a multiple of 15?
True
Suppose -g + 904 = 3*g - 2*f, -3*f + 444 = 2*g. Suppose -5*x + 3*c + g = -x, -3*x + 185 = c. Does 15 divide x?
True
Suppose -32 = -2*a - 0*v + 5*v, 48 = 3*a + 5*v. Suppose 4*z + 3*u - 2*u = 32, 0 = 2*z - u - a. Is 8 a factor of z?
True
Let i be 3*2/6 + 69. Let r = i - 48. Is r a multiple of 11?
True
Suppose 2*f = 113 + 39. Is f a multiple of 33?
False
Does 11 divide (-1)/((-220)/(-74) + -3)?
False
Does 31 divide (-4)/(-6) - (-13)/((-195)/(-1190))?
False
Does 8 divide ((-24)/(-20))/((-6)/(-120))?
True
Let f(l) = 7*l - 3. Let w be f(5). Suppose -b - 2 + w = 0. Is 10 a factor of b?
True
Suppose -2*r - 108 = -4*h, -h - h - 3*r + 46 = 0. Let q = -8 + h. Is 13 a factor of q?
False
Suppose -4*g = -6*g. Suppose -5*s + g*s + k = -440, 0 = -5*s - 3*k + 420. Suppose 0*d + s = 3*d. Is 12 a factor of d?
False
Let j(i) = -34*i + 1. Is j(-1) a multiple of 9?
False
Let s(b) = -b**2 + 5*b - 8. Let l(w) = 15 + 5*w**2 - 9*w - 2*w**2 - w**2. Let f(m) = -2*l(m) - 5*s(m). Is f(8) a multiple of 18?
True
Let d = 33 + -60. Let u = d + 75. Let f = 67 - u. Is 13 a factor of f?
False
Let k = -8 - -18. Does 13 divide (-7)/35 - (-302)/k?
False
Suppose 5*h = -4*r - 46 + 271, -3*r = -3*h - 135. Does 15 divide r?
False
Let y(g) = -2*g + 3. Let r be y(6). Let m(s) = -s - 18. Let a be m(r). Is ((-12)/a)/((-2)/(-39)) a multiple of 13?
True
Let o(a) = 13*a**3 + 2*a - 1. Let r be o(1). Suppose -j = j - r. Is (j*1)/(6/12) a multiple of 7?
True
Suppose -4*r = -2*p, 3*p = 2*p - 2*r. Suppose p*j + j = 11. Is j a multiple of 5?
False
Suppose 4*p - p = -v + 2, 0 = -5*p + 2*v + 7. Is 3 a factor of (-39)/(-6) + p/(-2)?
True
Let n(p) be the first derivative of -2*p**2 + 11*p - 1. Let z = 1 + -10. Does 12 divide n(z)?
False
Suppose 3*k = -8*w + 3*w + 9, -3*k = 2*w - 9. Suppose m + 5*r + 6 = 0, -36 = -3*m + k*r - 0*r. Is m a multiple of 3?
True
Let g be ((-2)/(-3))/(14/(-105)). Let t(s) = 2*s**2 + 5*s + 11. Is 16 a factor of t(g)?
False
Suppose -5*h = 72 - 317. Does 36 divide h?
False
Let n be (690/12)/(1/2). Suppose 0*y - y - 4*c + 123 = 0, 0 = -3*y + 3*c + 339. Suppose n = 5*w - y. Is w a multiple of 23?
True
Let r = -20 + 43. Let p = r + -3. Is (-2)/(-2 - (-38)/p) a multiple of 10?
True
Suppose -z = -2*z - 14. Let t = 35 + z. Is t a multiple of 6?
False
Let r(w) = -w - 9. Let z be r(-11). Suppose 5*s = z*s. Suppose x - 4*x + 54 = s. Is 10 a factor of x?
False
Let a(j) = -5*j - 2*j + 0*j. Let u be a(-1). Let v = u - 4. Does 3 divide v?
True
Is (-267)/(-2) - (5 - 21/6) a multiple of 33?
True
Suppose 88 = 2*a - 116. Is a a multiple of 25?
False
Suppose 4*h = 5*h - 10. Suppose -v + 0*v + h = 0. Is v a multiple of 10?
True
Let p = 56 - 36. Is p a multiple of 10?
True
Let x(h) = h**3 + 11*h**2 - 15*h - 9. Suppose -7*d - 48 = -3*d. Is x(d) a multiple of 9?
True
Let g = -191 + 399. Suppose 4*c 