/((-1)/3) a multiple of 14?
False
Let h = 92 + 34. Is h a multiple of 18?
True
Is 2 + (95 - (4 - 3)) a multiple of 16?
True
Let j(z) = 5*z - 15. Is 8 a factor of j(11)?
True
Let y(v) = 2*v**2 + 2*v + 5. Let m(h) = -h**2 - h - 3. Let o(n) = -9*m(n) - 4*y(n). Is 6 a factor of o(0)?
False
Let s(m) = 3*m**2 + 8*m - 8. Does 4 divide s(-7)?
False
Does 10 divide 2/(-1*4/(-82))?
False
Let z = 501 - 339. Is z a multiple of 18?
True
Suppose -4*s - 881 + 334 = -5*q, -2*s = 6. Is 14 a factor of q?
False
Suppose 2*r = s - 26, 5*s - 141 = -6*r + 5*r. Does 12 divide s?
False
Let q(z) = 3*z**2 - 5*z - 1. Is 33 a factor of q(5)?
False
Let q be (-6)/(-14) + 4683/49. Suppose 4*z + 4 - q = 0. Is z a multiple of 13?
False
Let f = -55 - -103. Does 12 divide f?
True
Let d(x) be the third derivative of -7/24*x**4 + 0 - 1/60*x**5 + x**2 + 0*x - 1/2*x**3. Is d(-3) a multiple of 9?
True
Does 22 divide (110 - 0)/(-8 + 9)?
True
Let z = 10 + -6. Let x(f) = 4*f - 2. Is 14 a factor of x(z)?
True
Suppose -2*h - h = 0. Suppose -5*x + 5*t + 30 = h, -x + 12 = x - t. Is x even?
True
Let j(z) = 96*z - 1. Let r be j(1). Let d = r + -33. Is 18 a factor of d?
False
Suppose 3*v = u - 0*u - 45, 104 = 2*u + v. Is u a multiple of 17?
True
Let f be (-319)/(-4) + (-1)/(-4). Suppose -3*q = q - f. Let b = 54 - q. Is 9 a factor of b?
False
Suppose -l + 5*z + 10 = -29, 0 = -l - 4*z + 39. Is l a multiple of 7?
False
Let v be (-3)/4 + (-161)/(-28). Suppose -2*d - 32 = -4*k - 4*d, -3*k + 24 = v*d. Is 5 a factor of k?
False
Is 15 a factor of 135/2*(-8)/(-12)?
True
Is 13 a factor of 795/20 + 1 - 6/8?
False
Suppose 5*r = 155 + 175. Is r a multiple of 13?
False
Let g(o) = o**3 - 13*o**2 + 7*o - 32. Does 12 divide g(13)?
False
Suppose 344 = -3*l - 4*d, 2*d + 463 = -4*l + d. Let m = -74 - l. Is m a multiple of 14?
True
Suppose 5*v = 4*v + 60. Does 12 divide v?
True
Let o(c) be the second derivative of -c**4/24 + 5*c**3/6 + c**2/2 + 2*c. Let j(r) be the first derivative of o(r). Is j(-4) a multiple of 9?
True
Suppose -2*r - 5*f = 5, 4*f + 1 = 3*r - 26. Let w(u) = 7*u - 2. Let d be w(r). Suppose o + 2*o - d = 0. Is o a multiple of 5?
False
Suppose 18 + 45 = 3*z. Does 4 divide z?
False
Let n = -6 + 4. Let q = 5 + n. Is 2 a factor of q?
False
Let x(c) = -6*c**3 - c**2 + 1. Let q be x(-1). Does 6 divide (2/q)/(4/72)?
True
Let y(v) = v**3 + 16*v**2 + 28*v + 9. Is 36 a factor of y(-13)?
False
Let q = 429 - 165. Is 33 a factor of q?
True
Let g be (4/8)/(2/4). Let k be ((-116)/(-1))/(1 + g). Let s = k + -34. Does 12 divide s?
True
Let c(s) = 46*s**3 - 3*s**2 + s + 1. Is 15 a factor of c(1)?
True
Let r(w) be the third derivative of w**5/60 + 5*w**4/24 - 7*w**3/6 + 3*w**2. Is 2 a factor of r(-7)?
False
Let j(w) = w**3 + 7*w**2 + 8*w + 5. Let y be j(-6). Let m = y - 5. Let u = m - -29. Is 7 a factor of u?
False
Suppose -c = -5 - 5. Let j be ((-12)/10)/((-2)/c). Let a(g) = g**3 - 5*g**2 - 2*g + 6. Is a(j) a multiple of 15?
True
Let w(u) = u**3 - 4*u**2 - 5*u - 2. Let j be w(5). Let m be j*(-2)/4*2. Does 5 divide (-8)/4 - (-32)/m?
False
Suppose -427 + 7 = -6*m. Does 14 divide m?
True
Suppose 1 + 1 = j. Suppose -5*r - 24 = -j*d + 113, r = 3*d - 199. Is 14 a factor of d?
False
Let p = -1 + 3. Suppose -94 = -3*q - p*j, 2*q - 3*j = 9 + 58. Suppose -3*u + 143 = q. Does 17 divide u?
False
Let q(h) = -h**2 - 19*h + 29. Does 5 divide q(-20)?
False
Let g be (-1 - -2)*(6 - 8). Let h(l) = 6*l**2 + 3*l. Does 6 divide h(g)?
True
Let y be 0 + 2 + 4/(-1). Let a be y/2 + 0 + 5. Let v = 0 + a. Is v a multiple of 3?
False
Let j = 34 - 64. Is 8 a factor of (j/8)/(2/(-8))?
False
Let c(v) be the first derivative of v**4/4 - 5*v**3/3 + 5*v**2/2 + 5*v + 5. Is c(5) a multiple of 10?
True
Let o(h) = -h**3 + 5*h**2 - 2*h - 5. Does 7 divide o(-4)?
True
Let w(c) = -6*c - c**3 + c**3 - c**3 + 6*c**2 - 3 + 4. Let d be w(5). Is (d - -24)/(-1 - -2) a multiple of 20?
True
Suppose -4*s + 2*z = -2*z - 324, -4*s + 321 = -z. Is s a multiple of 12?
False
Suppose 2*l = -r + 36, -4*l - 32 = -3*r + r. Does 8 divide r?
False
Suppose w - 4*w - 21 = 0. Let s = 12 + w. Suppose 0 = -2*m - 4*n + 12, -4*n - 24 + 84 = s*m. Does 8 divide m?
True
Suppose q + 2*q - 18 = 0. Is 3 a factor of q?
True
Let a be (16/3)/(3/(-9)). Let t = 23 + a. Let f(h) = h**2 - 5*h - 3. Does 10 divide f(t)?
False
Let h(p) = 3*p - 10. Let n(r) = -r**3 - 2*r - 1. Let a be n(-2). Does 9 divide h(a)?
False
Let s = 10 + -5. Suppose q - s*f - 7 = 0, -q + 2 = -4*f - 2. Let p = 0 - q. Does 8 divide p?
True
Let m(b) = 2*b**3 - 3*b**2 + b + 4. Does 13 divide m(3)?
False
Let s(l) = l**2 + 0*l**2 - 2 - 2*l**2 - 6*l. Suppose -5*t - 22 = 4*b - 1, 2*t + 5*b = -5. Is 3 a factor of s(t)?
True
Let f be ((-9)/(-12))/((-1)/36). Does 4 divide 1/4 + f/(-4)?
False
Let i(h) = -h - 7. Let x be i(-5). Let p(j) be the first derivative of -3*j**2 + j - 6. Does 13 divide p(x)?
True
Let l(o) be the third derivative of -o**6/30 - o**5/60 - o**4/24 - o**3/6 - o**2. Let r be l(-1). Does 10 divide r*((-66)/(-9) + 0)?
False
Let k(t) = 44*t**2 + t + 1. Is 35 a factor of k(-2)?
True
Let q(d) = 4*d + 4. Let t be q(-4). Let i be t/(-20) - 4/(-10). Suppose 21 = 3*p + 3*w - 0*w, -4*w = p - i. Is p a multiple of 7?
False
Let s = 41 - 38. Is s a multiple of 2?
False
Let u be 1*94/2 - 1. Suppose -4*l - 3*q = 125, -l - 29 = 2*q + q. Let c = u + l. Does 14 divide c?
True
Suppose 0 = -2*q + q + 5*d + 95, 4*d = -4*q + 260. Is q a multiple of 5?
True
Suppose 2*l = 3*f - 4*f - 4, 5*f + 20 = 0. Suppose -3*p = -3*n, l = n + 6*p - 2*p. Suppose n = -2*d + 33 + 1. Is d a multiple of 10?
False
Let b = 28 + -14. Does 14 divide b?
True
Let u(k) = 2*k. Let b be u(1). Let y be b + (0 - 0 - -4). Suppose -2*o - y + 66 = 0. Is 15 a factor of o?
True
Suppose 4*g = 0, -2*g - 58 = -6*t + 4*t. Is t a multiple of 6?
False
Suppose 719 = 5*j - 4*o, 2*o = -4*j - 0*o + 570. Does 31 divide j?
False
Let l = 205 + -125. Is l a multiple of 12?
False
Let o = -1 - -5. Suppose 38 = o*p + 5*l, 0*p - 10 = -2*p + 2*l. Let m = 7 + p. Does 14 divide m?
True
Let j = 7 + -4. Suppose j*i = -12 - 15. Let l = i - -18. Does 7 divide l?
False
Let u(x) = x**3 + 8*x**2 + 2*x - 5. Does 15 divide u(-5)?
True
Suppose -3*z + 2*p + 185 = -2*z, -3*p = 3*z - 555. Suppose -4*s + g = s - z, 0 = -5*s + 2*g + 180. Is s a multiple of 19?
True
Let j(f) be the first derivative of f**2/2 + f - 4. Suppose m - 20 = -4*m. Is j(m) a multiple of 5?
True
Suppose -3*q + 11 + 4 = 0, -s + 5*q - 9 = 0. Does 4 divide s?
True
Let q(z) = -2*z + 48. Is q(13) a multiple of 5?
False
Suppose l = 25 + 1. Is l a multiple of 25?
False
Let i be (1 - 1)*2/(-4). Suppose 0*z - z = 0, -5*a - 5*z + 20 = 0. Suppose 0*x - 5*k = x - 3, i = -5*x + a*k + 73. Is x a multiple of 5?
False
Let b = 10 + -16. Is -24*(-3 - 9/b) a multiple of 18?
True
Does 19 divide 1*(5/1 + 419)?
False
Suppose -3*t + 5*t - 402 = -5*k, 3*k = 5*t - 1005. Does 11 divide t?
False
Let n(a) = 2*a**2 - a + 17. Is n(-5) a multiple of 24?
True
Let k = -180 + 270. Is 18 a factor of k?
True
Let j = -4 - -10. Is j a multiple of 5?
False
Does 32 divide -16*(-11 - -3)/2?
True
Suppose -r - 14 = 4*l, 0 = -3*r + 8*r + 3*l + 2. Suppose 0 = 4*q + 3*s - 35, -3*s - s = -r*q + 34. Let a = q - -1. Is 12 a factor of a?
True
Let l = -33 - -60. Let f = l + 9. Is f a multiple of 12?
True
Let c = -48 + 80. Does 9 divide c?
False
Suppose -q = -111 + 23. Is q a multiple of 22?
True
Let v = 47 + -30. Let s be 2*1/((-1)/v). Let n = -23 - s. Is n a multiple of 4?
False
Let p(s) = s**2 + 2*s + 7. Let m = -5 + -1. Let d be p(m). Suppose -d + 89 = 2*c. Is 13 a factor of c?
False
Let a = -70 - -103. Suppose 4*z = 3*z - a. Is (-6)/z + 1576/44 a multiple of 12?
True
Does 14 divide 4/(16/92) + 0?
False
Is 17 a factor of 845/25 - (-2)/10?
True
Suppose -4*v + 2163 = 3*x, -2*x + 1075 = 2*v - 7*x. Is (-8)/6*v/(-24) a multiple of 14?
False
Let o(c) = 4*c + 7. Is o(4) even?
False
Suppose 5*r = -4*j + 3, 7*j - 3*j = 2*r + 10. Suppose 4*c = j*b + 146, 161 = 4*c - 5*b - 0*b. Is 17 a factor of c?
True
Let s(n) = 41*n**2 + 2 - 2 + 1. Does 14 divide s(-1)?
True
Suppose 3*l + l - 3*i - 67 = 0, 0 = -4*l + 2*i + 66. Suppose -c - l = -3*c. Does 7 divide c?
False
Suppose -5*r = -t - 149, 0*t = 4*r - 3*t - 117. Is r a multiple of 10?
True
Let p(l) = 9*l + 7. Let b(d) = -19*d - 15. Let k(r) = 6*b(r) +