y(18)?
False
Let y(l) = -l**2 + 22*l - 12. Does 35 divide y(9)?
True
Let y(t) = -2*t**3 - 9*t**2 + 8*t - 2. Let a be y(-7). Let f = a + -103. Does 12 divide f?
True
Let s = -91 + 137. Suppose 0 = -k + s - 18. Does 17 divide k?
False
Let q = -32 - -33. Suppose l - q - 4 = 0. Does 3 divide l?
False
Suppose -15*o = 23 - 1658. Does 14 divide o?
False
Suppose 29 + 15 = -4*s. Let n(z) be the third derivative of -z**6/120 - z**5/5 - z**4/2 + 13*z**3/6 - 36*z**2 + 2*z. Is n(s) a multiple of 14?
False
Let r(y) be the second derivative of -y**5/20 - y**4/6 + 69*y**2 - 3*y. Let h be r(0). Suppose -4*j = -42 - h. Is 16 a factor of j?
False
Let v = 415 + -307. Is v a multiple of 9?
True
Let y be (-3 - 8/(-4))*102/(-2). Suppose -3*v + y = -33. Is 14 a factor of v?
True
Is 1*-4 - (-21)/7 - -20 a multiple of 19?
True
Suppose 5*k = 2*k - 2*f + 2033, 0 = k - 3*f - 696. Let x = k + -369. Suppose -x = -4*o - 0*o. Is 13 a factor of o?
True
Suppose 3*n = 43 - 7. Let x(l) = 21*l - 1. Let j(f) = 52*f - 2. Let v(g) = n*x(g) - 5*j(g). Is v(-7) a multiple of 27?
True
Let h(l) be the first derivative of -l**3/3 + 9*l**2/2 + 2*l + 51. Does 16 divide h(7)?
True
Let y = 1 + -2. Let m(q) = -6*q - 2. Let t be m(y). Suppose -4*v - 5*z = -153, -v + 219 = t*v - 3*z. Is 9 a factor of v?
False
Let q(t) = 2*t**2 + 3*t - 8. Suppose -a = 8*a - 54. Is 13 a factor of q(a)?
False
Suppose -r - 2*m + 1251 = 0, -7*m - 3780 = -3*r - 4*m. Is r a multiple of 98?
False
Let z(l) = 417*l + 2 + 0 + 10*l**2 - 415*l. Does 6 divide z(-3)?
False
Let q(y) = -49*y + 1. Let c be 98/8 + (-6)/24. Let d be 4 + -1 - c/3. Is 18 a factor of q(d)?
False
Let a be ((-6)/(-5))/(14/(-35)). Let u = a - 0. Does 3 divide (-1)/u - (-186)/9?
True
Let c(w) = 3*w**2 + 2*w - 1. Let d(r) = -12 + 19*r - 18*r + 3. Let y be d(7). Is c(y) a multiple of 7?
True
Suppose h - 451 = -15*l + 14*l, h + 1799 = 4*l. Does 10 divide l?
True
Let d = -23 - -16. Let y be 2/(-7)*98/d. Does 6 divide 4*(-3)/((-6)/y)?
False
Suppose 3*o - 1568 = -4*x, -5*o = -x + 485 - 3129. Is 16 a factor of o?
True
Let t = 558 - 270. Is t a multiple of 22?
False
Let b = -3205 + 8389. Does 54 divide b?
True
Let w be (-240)/(-2) + -4 + 4. Suppose 5*g + 4*t = 236, 4*g - 3*t = g + w. Is 22 a factor of g?
True
Let u(z) be the second derivative of z**6/180 + z**5/40 - z**4/8 + z**3/2 + 2*z. Let b(t) be the second derivative of u(t). Is b(-3) a multiple of 6?
True
Let q be -13 + (-1)/(2/(-6)). Let s = 20 + q. Is 6 a factor of (s + -12)*58/(-4)?
False
Suppose -3*b - 3*g + 5346 = 0, -2*b + 7088 = 2*b - 4*g. Is b a multiple of 16?
False
Suppose -30*w + 31*w = 481. Does 37 divide w?
True
Let t = 79 + -101. Suppose -2*p + 3*p = 14. Let r = p - t. Is 30 a factor of r?
False
Let g = -144 + 157. Let z(a) = a**3 - 6*a**2. Let w be z(4). Let r = g - w. Is r a multiple of 15?
True
Suppose 3*y - 68 = -l - l, 5*y + l - 111 = 0. Is 11 a factor of y?
True
Let p = -22 - -27. Suppose p*t = 4*u - 446, -u - 3*t = -5*u + 450. Is u a multiple of 15?
False
Let o be 3180/55 + (-6)/(-33). Suppose -o*u = -61*u + 207. Is u a multiple of 11?
False
Suppose 0 = -12*v + 31*v - 16416. Does 16 divide v?
True
Let h(a) = -22*a - 231. Is 16 a factor of h(-28)?
False
Let t be -2 - 1098/(-6 + 5). Suppose -168 = 8*a - t. Is a a multiple of 11?
False
Let u(v) = v + 1. Let t be u(-5). Let h = t - -14. Let o = 14 - h. Does 4 divide o?
True
Suppose -2*w - w + 174 = -3*v, 4 = -v. Let n = 47 - 74. Let t = n + w. Is 9 a factor of t?
True
Let l = 1 - -2. Suppose -192 = -2*z - 3*m, z + l*m + 78 = 2*z. Is z a multiple of 30?
True
Let b = -132 - -189. Let d = b + -48. Is 3 a factor of d?
True
Let n be 212/26 - 10/65. Suppose -4*z - 4*k = -n*z, 0 = 5*z + 3*k. Suppose z = 2*o + 2 + 4, -2*w - 2*o = -118. Is 31 a factor of w?
True
Suppose i - 15 = -3. Does 6 divide (0 - i)/((-11)/33)?
True
Is (-90)/(-12)*-161*-2 a multiple of 5?
True
Let g be (-3321)/(-45) - (-2)/10. Suppose g = m + 5*j, -40 = 2*m + j - 215. Suppose 3*t - 269 = -m. Is t a multiple of 30?
True
Suppose 99 = 2*k + k. Let u = 155 + k. Suppose 0 = -2*f - 2*f - 2*z + u, -155 = -3*f - 5*z. Is 21 a factor of f?
False
Let w(y) = 4*y**2 + y - 2. Let v = -13 + 16. Is w(v) a multiple of 13?
False
Let t(g) = 33*g + 20. Let v be t(-6). Let d = v + 333. Does 18 divide d?
False
Let g(o) = -48*o + 1. Let y(h) = h - 6. Let q be y(5). Let t be g(q). Let d = t + -13. Is 9 a factor of d?
True
Suppose 5*g + 15*d - 295 = 10*d, -2*d = 4*g - 246. Is 18 a factor of g?
False
Let z(l) = 313*l**2 + 10*l + 9. Does 8 divide z(-1)?
True
Let g = -25 - -24. Let b = 19 + g. Let w = b + -10. Does 2 divide w?
True
Let q be ((-706)/7)/((-12)/84). Let t = q - 484. Does 37 divide t?
True
Let f = 3 - -2. Suppose -5*q + 35 = -f. Is q a multiple of 3?
False
Suppose 7*b + b = 4688. Is b a multiple of 23?
False
Is 31 a factor of 95190/174 + 12/(-174)?
False
Let g(j) = j**3 + 10*j**2 - 13*j - 18. Let r be g(-11). Suppose 5*x - r*q = 28 + 220, -223 = -4*x - 5*q. Does 3 divide x?
False
Let t = 53 + -57. Is (t + 3 - -2)*79 a multiple of 11?
False
Let b = 134 + -92. Let y = 1 + b. Does 30 divide y?
False
Suppose 0 = 2*y + w - 648 - 11, -2*w - 971 = -3*y. Is 33 a factor of y?
False
Suppose 4*t = 0, 2*t = 5*c + 3*t - 2240. Is c a multiple of 28?
True
Let g(v) be the second derivative of v**4/6 + 5*v**3/6 + 5*v**2/2 + 11*v. Let r be g(-3). Suppose -r*b + 260 = -3*b. Does 26 divide b?
True
Let q(i) = -11*i - 17. Let w be q(-7). Does 12 divide (122/(-5))/((-24)/w)?
False
Let o(k) = k**2 - 2*k - 5*k - 2*k**2 + 2*k**2 - 17. Is 10 a factor of o(-6)?
False
Is 21 a factor of 28*-11*252/(-72)?
False
Let j be (201 + 1)/(-2) + -2. Let l be 8/(-5)*(j + 18). Suppose -3*m - 84 = -3*g, m - l = -4*g - m. Is g a multiple of 16?
True
Let z(v) be the second derivative of v**4/12 - v**3/6 - 3*v**2/2 + v. Is 22 a factor of z(-8)?
False
Let y = -5563 + 3000. Let a = 949 + y. Is 6/27 + a/(-27) a multiple of 12?
True
Let v be (-1)/2 - 18/(-12). Suppose 0*g - g + v = 0. Suppose 0 = 2*l - 2*k - 40, -k - 43 = -2*l - g. Does 13 divide l?
False
Let l(k) be the first derivative of -11*k + 1 + 5/2*k**2. Is 9 a factor of l(7)?
False
Let d(p) = 167*p + 141. Does 15 divide d(12)?
True
Suppose -13*i + 15*i - 1034 = 0. Does 33 divide i?
False
Suppose 4*d = -5*t + 133, -3*t + 81 = 5*d - 69. Is 13 a factor of d + 1/3*-3?
True
Suppose 0 = 2*o + 84 + 4. Let k = 23 + o. Let f = k - -66. Does 15 divide f?
True
Let f be (4 - 2)/(16/(-216)). Is -6*48/f + 8/(-12) a multiple of 5?
True
Suppose -w = 2*k - 4*k + 12, 5*k = -5*w + 60. Suppose -k*v + 5*v + 702 = 0. Is v a multiple of 39?
True
Let y = -1771 - -3979. Does 39 divide y?
False
Suppose -4*p = 2*g - 8, 4*g = 2*p - 0 - 4. Suppose -p*c + 30 = n - 3*n, 5*c + 5*n = 75. Suppose 0 = r - 24 + c. Is 2 a factor of r?
False
Suppose 0 = 3*z - 9, 2*r - 5*r + 234 = z. Suppose -r = -2*d - p, 0 = -5*d - 2*p - 2*p + 185. Does 8 divide d?
False
Let b = 1056 + 624. Does 35 divide b?
True
Let f be (2/6)/((-2)/(-738)). Suppose -a + f = -126. Is 33 a factor of a?
False
Let a(t) = -17*t**2 + 2*t + 1. Let y be a(2). Suppose 4*n + 2*m = 4 + 392, -3*n + 300 = 3*m. Let p = n + y. Is p a multiple of 12?
False
Suppose -r = 2*n - 20, -3*n - 27 = -r + 2*n. Suppose 0 = -2*k - 2*v - r, k + 4*v + 6 = 2*v. Let z = -7 - k. Is z a multiple of 6?
False
Suppose -25 = 5*v, -76 + 421 = 4*y - 5*v. Does 8 divide y?
True
Let z = -537 - -378. Is z*(-5)/35 - 4/(-14) even?
False
Let f(r) = -506*r**3 - r - 2. Let b be f(-1). Let m = 835 - b. Is 15 a factor of m?
True
Let h(g) = 11*g + 154. Is h(6) a multiple of 55?
True
Let o = -1248 + 2103. Suppose -20*y = -25*y + o. Does 9 divide y?
True
Let s = 13886 - 6229. Does 13 divide s?
True
Does 42 divide (-504)/50*40/(-12)*5?
True
Let l = 818 - -18. Does 44 divide l?
True
Let l = -98 - -125. Let o = 49 - l. Does 11 divide o?
True
Let s(u) = -2*u**2 + 12*u + 3. Let p be s(6). Suppose p*o - 232 = 2. Does 11 divide o?
False
Suppose -28 = -3*f + f + 5*x, -2*f + 4*x + 24 = 0. Suppose 100 = q + f*q. Let c = q + 1. Is 10 a factor of c?
False
Does 5 divide -55 - -94 - ((-8)/(-2) - 0)?
True
Let c(a) = 7*a**3 + a**2 + a + 4. Let u(f) = -8*f + 35. Let q be u(4). Is c(q) a multiple of 12?
False
Let i be 732/1*(-4)/(-6). Suppose -5*g + 92 = -i. Suppose 4*n + 28 = g. Does 6 divide n?
False
Suppose -g = -