c?
False
Let i = 10 - 7. Suppose -2*o + 39 + 4 = i*k, -66 = -3*o - 4*k. Is o a multiple of 14?
False
Let u(n) = 35*n + 10. Let w be u(-4). Let d = w - -188. Does 17 divide d?
False
Suppose -y + 9 = 1. Suppose 3*i - 2 = -5*g, -2*i + 22 - y = -3*g. Is i even?
True
Let r = -11 - -22. Is 4 a factor of r?
False
Let y(o) = 5*o**3 - o**2 - 3*o - 10. Let c(u) = 14*u**3 - 4*u**2 - 9*u - 30. Let x(l) = 6*c(l) - 17*y(l). Is 8 a factor of x(-7)?
False
Suppose -5*u = 18 - 3, -3*h = 5*u. Suppose -h*a + 2*a + 30 = 0. Does 3 divide a?
False
Suppose -3*u = -n - 123, 3*n + 169 = 4*u + 10. Does 14 divide u?
True
Let p = -21 + 26. Does 2 divide p?
False
Let i(a) = -a**3 + 11*a**2 - 9. Does 26 divide i(8)?
False
Does 23 divide (-2686)/(-8) + (75/(-20) - -4)?
False
Suppose -3*u + 8*u + 5*r + 5 = 0, 0 = -u - 5*r - 5. Suppose y + 30 = 3*h, u = h - 3*h + 5*y + 33. Is 4 a factor of h?
False
Suppose 2*v - 1 = 3. Suppose 0 = 3*t + v*t - 20. Is t a multiple of 4?
True
Let l(t) be the third derivative of t**5/30 + 11*t**4/24 + 5*t**3/6 - 2*t**2. Does 15 divide l(-8)?
True
Let q = -36 + 70. Suppose -266 = -5*h - 2*w, h + q - 96 = 4*w. Is 17 a factor of h?
False
Let t = -94 + 127. Does 33 divide t?
True
Suppose -5*y = -4*g + 1119, -306 = -g - 5*y + y. Is 30 a factor of g?
False
Let g = 225 + -131. Let a = g - 67. Is 13 a factor of a?
False
Let v(f) = -f**2 - 28*f + 72. Does 9 divide v(-27)?
True
Does 17 divide (0 + -1)*(-68 + 1)?
False
Let h = 24 + 0. Is (-18)/h*36/(-1) a multiple of 16?
False
Suppose 4*a - a = 117. Is 14 a factor of a?
False
Let u(x) = x**3 - 7*x**2 + 9*x - 9. Let b be u(6). Suppose -5*z = -0*z + 3*f - b, 5*f - 15 = -2*z. Suppose z*m + 3*m - 42 = 0. Does 14 divide m?
True
Let b(z) = 2*z**2 + z + 2. Let g be b(2). Does 2 divide g/8*2/1?
False
Suppose -90 = -3*v - 6. Is v a multiple of 8?
False
Suppose 0 = -4*l - 3*p + 8, 5*l + 0*p = -4*p + 9. Suppose -214 = -l*g - 34. Is g a multiple of 12?
True
Let d(h) = -h**2 - 25*h + 2. Is 47 a factor of d(-13)?
False
Suppose -5*f - 2*p = -216 - 3, 2*p - 174 = -4*f. Is f a multiple of 13?
False
Let k(b) = 13*b + 4. Is k(3) a multiple of 10?
False
Let k be 0 - (1 - (0 + 5)). Let s(g) = -4 - 30*g + 6*g + k. Is 24 a factor of s(-1)?
True
Let p(l) = 3*l**3 + l**2 + 3*l - 3. Let b(v) = -2*v**3 - 2*v**2 - 2*v + 4. Let q(s) = 4*b(s) + 3*p(s). Let c be (-63)/(-12) - (-1)/(-4). Is 12 a factor of q(c)?
True
Let x(u) = 3*u**2 - 18*u - 32. Is x(-8) a multiple of 16?
True
Let h be (3/(-4))/((-4)/96). Suppose -6 = -3*v + h. Does 3 divide v?
False
Suppose 5*u + 380 = 4*s, 3*s + 2*u = -3*u + 320. Is 15 a factor of s?
False
Let p(u) = -20*u - 3. Let n be p(-2). Suppose -2*w = n - 91. Does 13 divide w?
False
Let q = -36 - -14. Is 2 a factor of 4/q - 315/(-99)?
False
Let c be (-2 - -3) + (3 - 7). Is 3 a factor of 4 - (-2)/((-2)/c)?
False
Let x(o) = -o**3 - 2*o**2 + 2*o - 3. Let k be x(-3). Suppose k*d - d + 5 = 0. Suppose d*j = 178 - 68. Is 22 a factor of j?
True
Let m be ((-6)/4)/((-2)/60). Suppose 4*l + a = m, 3*l - 3*a - a - 29 = 0. Suppose -3*c + l + 55 = 0. Does 10 divide c?
False
Let z be (42/4)/(6/(-32)). Let k = z + 33. Let b = k - -41. Is 6 a factor of b?
True
Let h = 93 - 45. Does 8 divide h?
True
Let c(z) = z**2 + z + 24. Is c(-13) a multiple of 10?
True
Is 20 a factor of (4 + 1)/((-8)/(-360)*5)?
False
Let v(k) = -k**3 - 5*k**2 + 6*k + 5. Suppose x - 15 = 6*x. Let o be (-27)/6*(-4)/x. Is v(o) a multiple of 3?
False
Let t be (-2)/(-4) + 470/20. Let h = 56 + t. Is h a multiple of 18?
False
Suppose -4*g + 12*g = 2200. Is g a multiple of 53?
False
Let h(r) = -r - 8. Let s be h(-11). Suppose 0 = -3*a + s*w + 165, -2*a + w = 25 - 132. Is 26 a factor of a?
True
Let u(v) = -2*v - 13. Let q be u(-9). Suppose -q*i + 6 = -4. Does 11 divide (i/6)/(1/99)?
True
Suppose 17 = y - 3*m, m - 2 = -y - 1. Suppose y*r - 171 = 149. Suppose 0 = -5*z - 24 + r. Does 4 divide z?
True
Let g(l) = -l**3 + 5*l**2 - 2*l - 4. Let y be g(4). Suppose y*p + 3*q + 70 = 210, -70 = -2*p + 5*q. Is p a multiple of 35?
True
Let u = -6 - -8. Is (-137)/(-2) + u/(-4) a multiple of 14?
False
Let a(r) = r + 3. Let d be a(-8). Let o(w) = -w**2 - 6*w - 1. Let m be o(d). Suppose 0*p + 20 = -m*p, 59 = 2*l - 3*p. Does 11 divide l?
True
Let h be 72/27 - (-1)/3. Suppose 0*c + m + 98 = 4*c, 21 = c - 2*m. Suppose -3*x - 42 = -h*k, -k + c = -3*x + 1. Does 7 divide k?
False
Suppose 0 = -4*l + 2*l + 4. Let v(k) = 2*k**2 - 4 + 6 + 0*k**l. Is v(-4) a multiple of 17?
True
Suppose -r - 2 = -5. Suppose r*n - 44 = -w, 0*w - 100 = -5*n + 5*w. Is n a multiple of 8?
True
Suppose -137 = -4*b + 91. Is 30 a factor of b?
False
Suppose -430 + 13 = -3*w. Is 30 a factor of w?
False
Suppose -4*z - 4*x + 17 + 3 = 0, z - 3 = x. Suppose 0 = -3*j + 5*a + 7, 0*j + 4*j - z*a - 12 = 0. Suppose -j*n + 0*n = -20. Is n a multiple of 2?
False
Let h(u) be the second derivative of 0 + 4/3*u**3 + u - 1/2*u**2. Does 12 divide h(2)?
False
Is -1 + 7 - (2 + 1) a multiple of 3?
True
Let f(y) = 22*y**3 + 2*y**2 + 2*y + 1. Let q be f(-1). Is (-585)/q - (-1)/7 a multiple of 20?
False
Let v(z) = z**3 + 10*z**2 - 13*z - 11. Let y = 18 + -29. Is v(y) a multiple of 11?
True
Let i = 5 - 8. Is (-1)/i*(58 + -1) a multiple of 16?
False
Suppose 0 = -5*a - y + 192, a + 4*y = 24 + 3. Does 6 divide a?
False
Let c be 1/(-2)*0/(-1). Suppose 0*u - 4*u + 12 = c. Suppose -d + 11 = -5*p, u*p - 29 = -d + 2*p. Does 8 divide d?
False
Let a(o) be the first derivative of 21*o**5/20 - o**4/12 + o**3/3 - o**2/2 - o - 2. Let r(y) be the first derivative of a(y). Is r(1) a multiple of 21?
True
Let s(r) = -2*r**2 - r + 3. Let g be s(6). Let j = 108 + g. Is 7 a factor of j?
False
Let h = 36 + -3. Does 11 divide h?
True
Let y(c) = c**3 + 19*c**2 - 4*c - 10. Is 11 a factor of y(-19)?
True
Let t(v) be the third derivative of v**5/30 + v**4/12 + 4*v**2. Let j = 5 - 8. Is 10 a factor of t(j)?
False
Let q = 600 - 327. Does 13 divide q?
True
Let n(a) be the third derivative of 29*a**7/840 - a**5/120 + a**3/3 + a**2. Let z(r) be the first derivative of n(r). Is 14 a factor of z(1)?
True
Suppose l = -l + 48. Suppose -3*n + n + l = 0. Is n a multiple of 12?
True
Suppose -5*d - 3*d + 360 = 0. Is 14 a factor of d?
False
Suppose 2*r = -0*r. Suppose -4*i + 163 - 43 = r. Does 15 divide i?
True
Let x(r) = r**2 + 14*r - 43. Does 14 divide x(6)?
False
Suppose r + 0*r - 646 = -4*w, 3*w - 5*r = 473. Does 28 divide w?
False
Let f = 164 - 9. Suppose -f = -3*o - 2*o. Is 26 a factor of o?
False
Suppose -4*t - 11 + 83 = 0. Is 2 a factor of t?
True
Suppose 3*m + s = 2*m + 102, 2*m = -5*s + 204. Is 21 a factor of m?
False
Let i be 112/(-6)*(-126)/49. Suppose -4*k + i = -2*k. Does 8 divide k?
True
Suppose -5*b + 0*y = 2*y - 236, -4*b + 5*y + 169 = 0. Is 23 a factor of b?
True
Let r(z) = -z**3 + 7*z**2 - 4*z - 3. Let w(y) = y**3 + 5*y**2 - 2*y - 4. Let n be 10*(-1 - -2)/(-2). Let q be w(n). Is 4 a factor of r(q)?
False
Let a(x) = -x - 3. Let j be a(-3). Suppose -53 = -5*l - o, j = 3*l - 2*l + 4*o - 3. Is 10 a factor of l?
False
Let c be (-15)/(-10)*(0 + 68). Suppose 3*s = 12 + c. Does 19 divide s?
True
Let b be (-297)/(-6) - (-3)/(-6). Let z = b + -22. Does 8 divide z?
False
Suppose 14 - 63 = -y. Suppose 5*x - x - 2*h - 138 = 0, -126 = -4*x - 2*h. Let a = y - x. Is a a multiple of 8?
True
Let i = -7 + 11. Suppose 0 = -5*b - 2*y - 2*y + 68, i*y + 12 = 0. Is b a multiple of 8?
True
Suppose 4*r - 4*s - 795 = -5*s, 2*r - 410 = 2*s. Let i = -134 + r. Does 20 divide i?
False
Let n(b) be the third derivative of b**6/120 + 7*b**5/60 + b**4/24 - b**3/2 + b**2. Let h = 2 - 8. Is 10 a factor of n(h)?
False
Suppose -4*b = 83 + 49. Let p be (-6)/b - 224/22. Does 9 divide ((-66)/p)/(2/10)?
False
Let w be 1 - (0 + (-2 - -4)). Does 6 divide (24 - -2) + -1 + w?
True
Let k(s) = 3*s**2 + 15*s + 28. Is k(-5) even?
True
Let j = 83 + -67. Does 8 divide j?
True
Suppose k + 3*q - 11 = 0, -5*k + 0*k - 5*q = -25. Suppose 48 = k*m + 16. Is m a multiple of 16?
True
Suppose -3*g + 6*g = -5*w - 97, 0 = -3*g + w - 121. Is 13 a factor of (g/2)/(-3)*4?
True
Let w be (21/6)/((-3)/96). Let j = w + 211. Let q = -56 + j. Is 17 a factor of q?
False
Does 11 divide 2/3 + (-124)/(-12)?
True
Let d(j) = 7*j + 2. Let x be d(-11). Is 20 a factor of ((-20)/(-15))/((-2)/x)?
False
Let q(h) = h - 2. Let k be q(6). Suppose k*