Suppose 4*l - 4 = -2*q, 4*q + 2*l = q + 10. Does 11 divide k(q)?
False
Let d = 28 + -23. Suppose 5 + d = 5*z. Suppose 4*u - z*u = 64. Is u a multiple of 32?
True
Does 13 divide -21 - 3781/(-38) - (-1)/(-2)?
True
Let q = 8 + 0. Let w(v) = -4*v**2 + 31*v. Let h(s) = s**2 - 8*s. Let d(t) = -9*h(t) - 2*w(t). Does 7 divide d(q)?
False
Suppose 0 = -v + 4 - 0, -3*v = -4*p - 4. Suppose -16 = -4*o - 4*c, 0 = -4*o - c - p*c + 19. Suppose -o*m + 248 = -3*m. Does 16 divide m?
False
Suppose -9*s + 5597 + 1882 = 0. Does 24 divide s?
False
Suppose -3*o = -o - 104. Does 4 divide 132/10*130/o?
False
Let q(r) = 5*r + 3. Let n(i) = i**2 - 7*i + 7. Let h be n(6). Let m be 8 - (-2 - (h + -4)). Is 19 a factor of q(m)?
True
Let u(r) = 9*r**2 + 2*r + 4. Let a(m) = -10*m**2 - m - 4. Let z(o) = 4*a(o) + 5*u(o). Is z(-4) a multiple of 30?
True
Suppose 5*z = -5*d + 10, -4*z + 0*z = 12. Suppose -966 = -5*k - s + 2*s, 5*s - 990 = -d*k. Is k a multiple of 31?
False
Suppose 14*t + 1212 = 18*t. Is 4 a factor of t?
False
Suppose -2*i - p + 84 = -1, 3*p = 3*i - 150. Is 15 a factor of i?
True
Let z be 1 + (-3)/(-2 + -1). Let q = 1 + z. Suppose 0 = -q*u - 83 + 239. Is u a multiple of 26?
True
Suppose 0 = -2*c + 4*r + 20, 15 = -3*r - 2*r. Suppose 0 = t - 2*q - 94, -c*q + 80 = t + q. Does 9 divide t?
True
Let u be 9/(-6) + (-3)/6. Let g be 56/21 - u/(-3). Suppose g*x - 48 = -x. Is x a multiple of 8?
True
Suppose -154 = -7*x + 77. Does 3 divide x?
True
Let d be (20 - (-4 + 8))/2. Let x = d - -12. Is x a multiple of 17?
False
Suppose -245 = 2*u + 2*l - 3*l, 0 = -2*l + 10. Does 10 divide ((-24)/9 + 0)/(4/u)?
True
Let x = 1936 + -613. Is x a multiple of 24?
False
Let z(n) be the second derivative of 2*n + 0 + 2/3*n**3 + 4*n**2. Is z(10) a multiple of 13?
False
Let q = 20 + -11. Let u be (-16)/6 + (-3)/q. Is 36/(-5)*10/u a multiple of 12?
True
Let y = -771 - -1626. Is y a multiple of 45?
True
Suppose -11*i = -i - 10440. Is i a multiple of 58?
True
Let y(d) = 5*d + 215. Is y(0) a multiple of 16?
False
Suppose 10*x - 491 + 131 = 0. Is 2 a factor of x?
True
Suppose -9*n = -12*n + 144. Let t = n + -26. Is 2 a factor of t?
True
Suppose 0 = 6*n - 7*n + 2*g + 310, -3*n = 5*g - 952. Is n a multiple of 4?
False
Suppose 0 = 5*g + 7*p - 3*p - 1002, 0 = -g + 5*p + 183. Let m = g + -115. Is 27 a factor of m?
False
Suppose -2*k - 2*k = 0. Suppose -4*l - 12 = k, 2*q - 6*q + 261 = l. Suppose 0*p + 4*p + 4*t - 240 = 0, p - q = 5*t. Is p a multiple of 27?
False
Suppose 2*m = -m + 9. Suppose 5*g + m*r - 13 = 0, -3*g + 25 = -3*r - 2. Suppose -b + g + 23 = 0. Is b a multiple of 14?
True
Let g(v) = v**3 - 10*v**2 + 10*v - 6. Suppose -10 + 37 = 3*y. Does 2 divide g(y)?
False
Let j(q) = 7*q**3 - 2*q**2 + 1. Does 5 divide j(2)?
False
Let l be 38/10 + 1/5. Suppose -7*a + 5*a = -l. Suppose -x = a*x - 12, -64 = -5*f - x. Is 4 a factor of f?
True
Let i(z) be the third derivative of -z**5/60 + 5*z**4/24 + z**3/6 - z**2. Let x = 199 + -196. Is i(x) a multiple of 3?
False
Suppose 0 = 2*z + 225 - 1217. Suppose 1 - 17 = 4*b. Is 6/b*z/(-12) a multiple of 31?
True
Suppose 2*f + f + 3*t - 1374 = 0, -5*f + 3*t = -2322. Is 42 a factor of f?
True
Let q = 194 + -70. Is q a multiple of 26?
False
Let p be (4/(-8)*2)/1 - -94. Suppose -p = -2*n + 103. Is 14 a factor of n?
True
Let t(j) = 1136*j + 112. Is 110 a factor of t(3)?
True
Let i(c) = c**2 - 29*c + 93. Is 9 a factor of i(28)?
False
Let u be (-467)/(-7) + (-8)/(-28). Let o be ((-18)/4)/(6*5/(-20)). Suppose 2*z = 4*h + o*z - u, z - 85 = -5*h. Is 9 a factor of h?
True
Let l(t) be the third derivative of t**5/60 + 11*t**4/24 - 8*t**3/3 - 2*t**2 - 32. Does 13 divide l(12)?
True
Let n = -375 + 625. Is n a multiple of 20?
False
Let c(a) = 2*a**2 - 7*a + 4 + 0 - a**2 - 3*a. Is c(11) a multiple of 13?
False
Suppose 31*f - 61 - 435 = 0. Is f a multiple of 4?
True
Suppose 2*m - 21 = -4*r + 9, -4*m + 40 = 4*r. Suppose -4 = -6*x + m*x. Does 8 divide (-78)/x*8/(-12)?
False
Let l be (-18)/(-27)*9/6. Is 12 + -7 + l*13 a multiple of 14?
False
Let m(q) = -2*q + 2. Let s be (4 - -14)*(-1 + (-3)/(-6)). Does 4 divide m(s)?
True
Let l(g) be the first derivative of 1 + 20*g + 2/3*g**3 - 11/2*g**2. Is l(8) a multiple of 30?
True
Suppose w = -f + 607, 1053 = 2*f + 4*w - 155. Is f a multiple of 10?
True
Suppose -2*x + 0*x + 4 = 0. Let v(g) = -1 + x + 15*g**2 - 12*g**2. Is 13 a factor of v(2)?
True
Let n = 620 + -448. Is n a multiple of 17?
False
Let q be ((-8)/(-16))/((-2)/(-12)). Is -2*(33 + -3)*(-2)/q a multiple of 17?
False
Suppose -2*i = -4*h + 50, -h - 4*i - 5 = -i. Let q = 12 - h. Let b(k) = 21*k - 3. Is b(q) a multiple of 10?
False
Suppose 0 = -5*v - 3*p + 673, 2*p + 524 + 144 = 5*v. Suppose -3*g + g + v = 0. Suppose -g = -4*r - 3. Does 8 divide r?
True
Let g(z) = 11*z**2 - 13*z - 26. Does 8 divide g(-6)?
True
Let l be (-6 - -6)/(0 + -1). Suppose 4*d - d - 4*a + 5 = l, -4*d - 4*a - 16 = 0. Is (1 - 2)/(d/72) a multiple of 6?
True
Suppose 5 = -p + 6*p, p = -z + 58. Suppose -z = -2*l + 37. Is 22 a factor of l?
False
Suppose 0 = -0*u + 4*u - 2*u. Suppose 2*q - 4 - 24 = u. Is q even?
True
Let g(u) = -4*u - 19. Let a be g(-6). Suppose -2*i + 3*l = -44, -2*i = -a*i + 4*l + 64. Does 5 divide i?
False
Suppose 149*w = 192*w - 39818. Is w a multiple of 8?
False
Let c(a) = a**2 + 8 + 6 + 4*a - 11. Is 4 a factor of c(-7)?
True
Let i(c) = -c**2 - 8*c - 8. Let p be i(-6). Suppose -p*n + 2 = -l - 4*l, -3*n = -3*l - 3. Suppose -l*m + 324 = 4*m. Does 21 divide m?
False
Let r = -504 + 1293. Is r a multiple of 56?
False
Let f(i) = 2*i + 4. Let w be f(-8). Let m(c) = -c**2 - 16*c. Is m(w) a multiple of 8?
True
Let y(j) = j**3 + 2*j**2 + 7*j - 2. Let h be y(-5). Let o be h/(-21) + 2/(-6). Is 25 a factor of (-137)/(-2) + o/(-10)?
False
Let y(u) = -u**2 - 8*u. Let o be y(-8). Suppose -2*w + 238 = 4*m - 2*m, -4*w - 3*m + 477 = o. Does 8 divide w?
True
Suppose -3*u - 621 = -5*y, -9*u + 8*u = -4*y + 494. Does 41 divide y?
True
Let r be 4/1*(-49)/(-28). Let m = 93 - r. Is m a multiple of 27?
False
Is 6*451/(-132)*(0 - 98) a multiple of 41?
True
Let j be 10/25 - (-327)/(-5). Let v = j - -95. Suppose 3*f - f = v. Is f a multiple of 6?
False
Let l(p) = 3*p + 8. Let y be l(-2). Suppose -4*i + y*n + 35 = n, 5*i = 4*n + 41. Is 2 a factor of i?
False
Suppose -5*h + 6215 = t, -2*h - 3*h - 5*t = -6235. Is h a multiple of 57?
False
Let t(i) = 15*i**3 - 3*i**2 - 3*i + 8. Is 47 a factor of t(2)?
False
Let c(r) = 281*r**2 - 128*r - 251. Is c(-2) a multiple of 8?
False
Let d be (-2 - -1 - (11 - 10))*16. Is 11 a factor of (33/(-4))/(-2 - 61/d)?
True
Suppose 4*l + 585 = -l. Let g = -77 - l. Is 6 a factor of g?
False
Let d be (0 - -4*(-6)/(-28))*-91. Is 22 a factor of (-5 - d)/(1 + 0)?
False
Suppose 0 = -g + 4*g - 111. Suppose -i - 11 = g. Let q = -29 - i. Does 5 divide q?
False
Is (-114)/19 + 6*57 a multiple of 16?
True
Let a(z) = z + 18. Let t be a(0). Is (10/4)/(9/t) a multiple of 4?
False
Let y be (6 - 1)*2/5. Suppose 4*v - 3*v + 3*c - 73 = 0, y*v + c = 141. Does 23 divide v?
False
Suppose -6 = 4*o - 2*f, 4*o + f + 2 = -13. Let p be 1/(o/(-6)) - -2. Let g(j) = -j**3 + 4*j**2 + 4*j. Does 8 divide g(p)?
True
Suppose -17*a + 22*a + 891 = p, 0 = 4*a + 12. Does 33 divide p?
False
Let i(u) = u + 5. Let v(q) = -3*q - 16. Let o(m) = -11*i(m) - 4*v(m). Let f be o(-9). Let g(p) = -p**2 + p + 16. Is 16 a factor of g(f)?
True
Let z be (3/6)/(6/60). Let k(o) be the third derivative of 7*o**4/24 - o**3 + o**2. Is k(z) a multiple of 7?
False
Let y = 19 - 14. Suppose 2*h - y = -17. Does 2 divide (2/6)/((-1)/h)?
True
Suppose -5*v = p - 3*p + 25, -3*v - p = 15. Suppose 5*s = 3*w + 22, -7*s + 3*s = -2*w - 16. Let m = s - v. Does 6 divide m?
False
Let f be (-48)/(-15) - (-2)/(-10). Suppose 105 = 2*s + f*s. Is 3 a factor of (-2)/(-7) + 57/s?
True
Is 2 a factor of 3 + (-18156)/(-36) - (-2)/(-6)?
False
Let f(d) = 2*d**2 - 4*d + 3. Suppose q + 4 = 3*q. Let r be f(q). Suppose 3*z - 2*z - 65 = -g, -r*z - 5*g + 187 = 0. Is 23 a factor of z?
True
Suppose 13*w = 17*w - 28. Let d = -6 + 13. Let o = d + w. Is 7 a factor of o?
True
Let w be (-8)/(-4*(-3)/(-90)). Suppose -12 + w = 4*n. Let i(s) = s - 5. Is i(n) even?
False
Let z = -6 - -8. Suppose 0*k + 5*k + z*j = -2, -4 = 2*k + 4*j. Suppose 3*l + 5*r - 59 = k, 0*l - 4*l - 2*r + 88 = 0. Is l a multiple of 9?
