*3 + 7*c - 7. Let r(t) = n(t) - 5*w(t). Does 20 divide r(y)?
False
Let m(l) = 17*l**2. Suppose 5*v - 2 = 3*v. Does 4 divide m(v)?
False
Suppose -3*p = -2*p + 4*d - 94, -p = -4*d - 78. Suppose -4*s + 184 = 4*a, 4*s + 18 + p = 2*a. Does 24 divide a?
True
Suppose -16 = -5*k + 3*i, 0*i = -5*k - 3*i + 4. Let w be k/(-7) + (-1355)/35. Let t = -25 - w. Does 6 divide t?
False
Suppose 4*d - 5 = 3*d. Suppose 0*b = -d*b - 50. Is 14 a factor of (1 - 4)*b - 2?
True
Let m(f) = -5*f**3 - 6*f**2 - 7. Let i(a) = -9*a**3 - 12*a**2 - 14. Let z(k) = -4*i(k) + 7*m(k). Is z(-5) a multiple of 16?
True
Let z = 2 + 4. Suppose 3*m + z + 9 = 0. Does 13 divide (-772)/(-20) + (-2)/m?
True
Suppose -3*o + 12 = 33. Is 15 a factor of 120/(-28)*o/1?
True
Let m(q) = 3*q**2 - 6*q + 10. Is 5 a factor of m(6)?
False
Let k be (2 + (-5)/3)*105. Let w = -1 - -1. Suppose w*l = -l + k. Is 16 a factor of l?
False
Suppose -6*d = 2 - 176. Is d a multiple of 5?
False
Let h(m) = m - 3. Suppose -4*x + 16 = 2*l, l - 20 = -x - 3*x. Let i be h(x). Suppose 0 = -2*u + i*u - 2. Is u a multiple of 2?
True
Let k(o) = -11*o - 2. Let x = 26 + -27. Does 2 divide k(x)?
False
Let l(i) = i + 2. Let t = -6 - -15. Let m = t + -4. Is 5 a factor of l(m)?
False
Let g(k) = 4*k**3 - 2*k + 1. Let a be g(1). Suppose -f - a*i = 2*f - 39, 3*i - 15 = 0. Is f a multiple of 6?
False
Is 37 a factor of (-11)/(-55) + (-924)/(-5)?
True
Let u(b) = b**3 + 8*b**2 + 6*b - 5. Let w = -3 - 4. Let h be u(w). Suppose 4*p + 6*d - h*d = 32, -d = 5*p - 44. Is p a multiple of 6?
False
Let k(t) = -t**2 + 19. Let h(p) = 2*p - 4. Let a be h(4). Suppose y + 0*s = -a*s - 12, 3*s + 9 = -4*y. Does 9 divide k(y)?
False
Suppose 4*k - 20 = 0, -3*o + 39 = -3*k + 12. Is o a multiple of 14?
True
Suppose 0 = 3*g - 0*g - 123. Is 19 a factor of g?
False
Let d(q) be the first derivative of 7*q**3/3 + 3*q**2/2 + 2. Let h be d(-4). Suppose 2*c - 40 = l, 5*c - 3*l = 2*l + h. Is c a multiple of 10?
True
Let j = 24 - -18. Is j a multiple of 13?
False
Let i be 29/2 + 6/(-12). Is -2 - (-1 - -2 - i) a multiple of 11?
True
Suppose 2*r - 21 = r. Does 7 divide r?
True
Suppose 0 = 5*s + 3*o - 212, s - 4*o - 24 = -0*o. Is 23 a factor of s?
False
Let v = 15 + -30. Does 7 divide 54/v*10/(-4)?
False
Let p(f) = f**2 + 2*f - 4. Let h be p(4). Let s = 30 + h. Does 18 divide s?
False
Let m = -2 - 0. Let c be -1*(75/(-3) - m). Suppose -c = -4*g + 17. Does 7 divide g?
False
Let f = 462 - 235. Let d = -125 + f. Let j = d + -62. Does 14 divide j?
False
Let b(h) = h**2 - 7*h + 8. Let k be b(6). Suppose -2*c + 5*d - 15 = 0, -4 = -k*c - d - 1. Suppose c = -0*j + 2*j - 60. Does 10 divide j?
True
Let l be 4/(-8)*6*-1. Suppose 56 + 40 = l*v. Suppose -2*m - v = -3*f, -3*f - f + 35 = 5*m. Is f a multiple of 5?
True
Let w be (-6)/(-9)*6 - 2. Does 2 divide (w/(-4))/(2/(-12))?
False
Let o(c) = c - 1. Let d be o(5). Suppose -5*a = -d*j + 57, 0 = 2*j + j + 3*a - 9. Is j/(-28) + 368/14 a multiple of 13?
True
Suppose 0 = 5*l - 5*q - 145, -101 = -5*l - 4*q + 89. Is l a multiple of 17?
True
Suppose 3*l + l + 40 = 0. Let r be 11/3 - l/(-15). Suppose -29 = -4*p + s, 0 = r*s + 2 - 11. Is p a multiple of 3?
False
Let l(v) = v**3 + 5*v**3 - 6 + 7*v - 5*v**2 - 3*v**3 - 2*v**3. Is l(5) a multiple of 18?
False
Let o be (-3)/12 + 50/8. Let l(p) be the third derivative of -p**6/120 + 3*p**5/20 - 3*p**4/8 + p**3/6 + 3*p**2. Is l(o) a multiple of 15?
False
Let c be (-9)/(4 + (-37)/10). Let v = 87 + c. Is v a multiple of 14?
False
Suppose -5*j + j = -5*i - 193, -j + 52 = -2*i. Does 14 divide j?
True
Suppose -5*z + 86 = -3*z. Is 7 a factor of z?
False
Let d = -25 - -110. Suppose 0 = -p + 6*p - d. Suppose q - 2*u = p, -3*q = 2*q + 5*u - 25. Does 9 divide q?
True
Let x = -6 - -12. Let f = 0 + x. Is f even?
True
Let o(v) = -v**2 - 3*v + 4. Let c be o(-3). Suppose -c*h = 20, -8*h - 165 = -5*t - 3*h. Suppose 0*g - 2*g = -t. Is 11 a factor of g?
False
Let q(r) = r + 2. Let g be q(0). Let v(d) = -2*d + 11. Let h be v(-9). Let y = h - g. Is y a multiple of 11?
False
Let h(o) = o**2 + 8*o - 1. Let w be h(-8). Is 6*w*(0 + -1) a multiple of 6?
True
Suppose -2*l - 2 = -8, -3*l = 2*h - 137. Is h a multiple of 30?
False
Suppose z = -5*a + 2*z + 57, -3*z + 21 = a. Is a even?
True
Let t be -18*3/(-2) - 3. Let y = -9 + t. Is 15 a factor of y?
True
Let h = 8 + -6. Suppose h = -q + 17. Does 8 divide q?
False
Suppose 0 = -k + 6. Let c = k + 0. Does 3 divide c?
True
Let c be 2*(-1 - -12) + -2. Let n = -7 - -27. Suppose -n = -a - 0*f - 2*f, -c = -5*f. Is a a multiple of 12?
True
Let t be 2/(-8) + 26/8. Does 15 divide 31 - (2 + t + -4)?
True
Let l = 4 + 0. Suppose 0 = -n + 2*m + 2*m - 2, 2*n = -5*m + 35. Does 24 divide l/n + (-1390)/(-25)?
False
Let x(z) = 2*z + 84. Is x(0) a multiple of 27?
False
Let q = 0 - -1. Let a(t) = -10*t. Let j be a(q). Is 18 a factor of 4/10 + (-396)/j?
False
Let m be (-390)/(-91) - (-2)/(-7). Suppose -m*z = -4*p + 220, -162 = -3*p + 4*z - 0*z. Is p a multiple of 29?
True
Let g(w) = -w - 5. Let o be g(-6). Is 2 - 10/(o + -2) a multiple of 6?
True
Let w = 7 + -4. Suppose -3*x - n = -60, -x - w*n + 20 = 2*n. Suppose -4*r + x = 0, -3*y - r + 65 = 3*r. Does 15 divide y?
True
Suppose 3*a + 66 = 5*a. Is a a multiple of 8?
False
Let s = 4 + 1. Let n(x) = 7*x + 7. Is n(s) a multiple of 14?
True
Let x(v) = 2*v**2 - 4*v - 10. Does 15 divide x(7)?
True
Let l(g) = -g**3 + 7*g**2 - 7*g + 7. Let d be l(6). Suppose 18 + 12 = 2*r + 4*q, r + 3*q = 18. Let v = d + r. Is v a multiple of 6?
False
Let r(n) = n**3 + 12*n**2 - n - 12. Let c be r(-12). Suppose c*q - q = -18. Is 6 a factor of q?
True
Suppose 0 = -6*p + 144 + 54. Does 33 divide p?
True
Let x = 69 - 41. Suppose -2*z + 2*n + 32 = 0, z + 3*n - n - x = 0. Suppose 0 = 2*y - 4*y + z. Is y a multiple of 5?
True
Let u(z) = -6*z**3 + z**2 + 2*z + 1. Suppose -1 = 5*y + 4. Let m be u(y). Let b = m + -3. Does 3 divide b?
True
Let z = 319 - 212. Is z a multiple of 16?
False
Let p(w) = 6*w**3 - w**2 + 3*w - 3. Is 22 a factor of p(2)?
False
Suppose -6*o + 5*l + 288 = -3*o, -3*l + 480 = 5*o. Let p = o - 62. Does 17 divide p?
True
Suppose 27 = 4*d + 5*f, 0 = -4*d + 2*f + 45 - 11. Is d/28 + 40/7 a multiple of 6?
True
Let l be 2/6*-3*1. Let g be (-12)/8*(l + 3). Does 2 divide (-15)/(g - 0)*1?
False
Is 22 a factor of (1 + 1)/((-1064)/(-352) + -3)?
True
Let y(m) = m**2 + 8*m - 13. Is 12 a factor of y(-11)?
False
Let r(a) = -39*a - 11. Is r(-3) a multiple of 32?
False
Let a(g) = 21*g + 1. Let w be a(1). Let l = w - 5. Does 6 divide l?
False
Suppose -2*y = -0*y + 14. Let s = y - -12. Is 13 a factor of s*(48/15 - -2)?
True
Let h = 5 + 12. Suppose -h = -t + 3. Is t a multiple of 10?
True
Suppose 24 = 2*i - m + 172, -5*m = 0. Let w = i - -105. Suppose -w = -3*u + 35. Does 11 divide u?
True
Let v(o) = -o**3 - 8*o**2 - 7*o + 14. Does 3 divide v(-7)?
False
Let f(u) = u**2 - 2*u - 3. Let x be f(8). Is 3/(x/102)*5 a multiple of 11?
False
Let y = -8 - -6. Let h(k) = 1 - 2*k**3 - 2*k + 0*k**2 + 0 - k**2. Is h(y) a multiple of 5?
False
Let r(l) = 5*l**3 + 5*l**2 - l - 2. Let o be r(3). Suppose -3*b + o = -68. Does 27 divide b?
True
Let z(m) = 3*m**2 - 7*m + 10. Let c be z(10). Suppose -3*w = -7*w + c. Is w a multiple of 23?
False
Let v(y) = -y**2 + 7*y - 2. Let u be v(6). Does 16 divide (-75)/((-12)/u) - 2?
False
Suppose 0 = 6*n - 4*n - 502. Is n a multiple of 23?
False
Suppose -2*a + 6*a - 73 = -t, 5*a - 335 = -5*t. Is 34 a factor of t?
False
Let d(s) = -7*s - 14. Let p = 24 + -31. Does 16 divide d(p)?
False
Is 1*1*28/4 even?
False
Let o(c) = c**3 - 7*c**2 + 3*c + 3. Let y be o(6). Let w = -9 - y. Is 4 a factor of w?
False
Let i = 83 + -14. Does 13 divide i?
False
Let p(z) = -z**3 + 4*z**2 + 4. Let u be p(4). Suppose u*g + 14 = -2*d - g, -d - 9 = 3*g. Suppose 5*v = 2*w + 155, 2*w = 2*v - d*v + 43. Is 12 a factor of v?
False
Let m be (-1)/(22/7 + -3). Let i be 2/(-1 + 1 + -1). Let c = i - m. Is 2 a factor of c?
False
Let k be (6/(-4))/(28/56). Let x(p) be the second derivative of 7*p**4/12 + p**3/2 - 3*p**2/2 - p. Does 17 divide x(k)?
True
Let r(x) = -x**3 + 13*x**2 - 10*x + 8. Does 21 divide r(12)?
False
Suppose -q - q + n + 8 = 0, 21 = 5*q - 2*n. Does 2 divide q?
False
Let q be -12*(-3)/3*17. Suppose 3*k - 120 = -3*a, 0 = -0*k + 5*k + a - q. Does 17 divide k?
False
Let v = 247 - 157. Do