5*q - 13, y*h = 4*h - 2*q - 52. Does 11 divide h?
True
Let b = 24 + -12. Suppose -82 - b = -2*k. Is k a multiple of 16?
False
Let o be 0 + 2 + -1 + 1. Let d(v) = 6*v + 2. Let i be d(-2). Does 7 divide ((-8)/5)/(o/i)?
False
Suppose k + 3*r - 82 = 0, -3*k - 2*r + 107 + 104 = 0. Let h = k + -41. Is 18 a factor of h?
False
Let o = 57 - -73. Let d = o - 61. Is 5 a factor of d/5 - (-3)/15?
False
Suppose m + 7 = 2*m. Let n = 12 - m. Is n a multiple of 5?
True
Suppose 0*y + y - 2 = 0. Is y/(-11) - 158/(-22) a multiple of 5?
False
Let c = 9 - 7. Suppose c*x = -10 + 36. Does 5 divide x?
False
Suppose -4*m + 4*y + 51 = -y, -33 = -5*m - 4*y. Let c(r) = r - 1. Is c(m) a multiple of 4?
True
Let h(s) = -2*s**3 - 2*s**2 - 4*s - 3. Let q be h(-3). Let r = q - 74. Let u = 43 + r. Is 6 a factor of u?
False
Suppose -37 + 5 = -4*b. Let a(v) = -v**3 + 7*v**2 + 8*v + 3. Let h be a(b). Suppose -15 = -f - 4*f - h*n, f + 2*n - 3 = 0. Does 2 divide f?
False
Let n(l) = -3*l - l + 3*l - l**3 - 4. Is n(-3) a multiple of 11?
False
Let x(z) = -13*z**2 - 9*z + 3. Let q(v) = -19*v**2 - 13*v + 4. Let m(d) = -5*q(d) + 7*x(d). Let n = 8 - 6. Is m(n) a multiple of 10?
False
Let a(q) = 5*q**3 + 2*q - 3. Let m be a(2). Suppose -3*o = -0*o + 63. Let i = m + o. Is i a multiple of 15?
False
Suppose 12*r - 270 = 6*r. Is r a multiple of 16?
False
Let u(k) = 3*k**2 + 3*k - 2. Let x = -2 - 1. Does 16 divide u(x)?
True
Let n be 16 + 0/(-1 - 2). Let h = 34 - n. Is 7 a factor of h?
False
Suppose 2*j - 38 = 5*a - 0*a, 0 = 4*j + 3*a - 128. Does 5 divide j?
False
Let a(l) = 13*l**2 - 1. Let z be 3/2*(-8)/(-12). Let b be a(z). Let y = b + -7. Is y a multiple of 2?
False
Suppose -3*t + z = 4*z - 24, 5*t + 2*z = 28. Suppose -t*s + 118 = 3*d - 5*s, -130 = -3*d - 5*s. Does 12 divide d?
False
Let r be (-47 - -5) + 0 + -1. Let l = -23 - r. Suppose -g - n + l + 4 = 0, -3*g - 5*n + 68 = 0. Is g a multiple of 13?
True
Let l(n) = n**3 + 7*n**2 + 6*n + 8. Suppose 0 = 2*x + z + 14, -4*z + z = -x. Does 6 divide l(x)?
False
Let t(o) = -14*o**2. Let i be t(3). Does 5 divide ((-2)/6)/(3/i)?
False
Suppose 5*f - 5*i = 160, -5*f - i - 83 + 261 = 0. Does 9 divide f?
False
Suppose 4*g = -u + 44, -12 = 5*g + 2*u - 67. Is 10 a factor of g?
False
Let u be 2 - (-2 - (5 + -4)). Suppose -2*a - u + 23 = 0. Is a a multiple of 6?
False
Is 34 a factor of (-32)/(-80) + (-676)/(-10)?
True
Let o = 10 - -6. Suppose -3*h + 5*m = -2*h - o, -2*m - 34 = -5*h. Is 5 a factor of h?
False
Let m = -55 + 143. Suppose -2*u - 25 = -y, -4*y + m = -2*u - 3*u. Does 6 divide y?
False
Suppose 4*b + o - 426 = 0, -b - 5*o - 331 = -4*b. Suppose 5*a = -y - 1, -3*a = -2*y - 3*y + b. Is 19 a factor of y?
True
Let h(k) = k**3 + 7*k**2 + k + 2. Suppose 2*u = 0, 0 = -x + u - 2 - 4. Let j be h(x). Suppose 5*b + j = 132. Is b a multiple of 20?
True
Suppose 0 = -4*l - 8 - 8. Let q be 5 - 2 - -3 - -2. Let d = q + l. Is 3 a factor of d?
False
Suppose -y = -1 - 1. Suppose 4 + 3 = h + 4*l, 0 = 4*h - y*l - 64. Is h a multiple of 10?
False
Let h = 5 - 2. Suppose -h*q + 12 = -0*q. Does 3 divide 3/(-12) + 17/q?
False
Suppose -4*q = -9*q + 55. Is q a multiple of 4?
False
Let a(x) = -3*x - 1. Let h be a(2). Let l be (-204)/(-15) + (-4)/(-10). Let y = l + h. Is y a multiple of 4?
False
Let a(v) = -v**3 + 8*v**2 + 9*v + 5. Let b be a(9). Suppose -3*c + n = 27, -5*c + b*n = n + 45. Let f = c + 21. Is f a multiple of 6?
True
Suppose -6*f + 67 = -287. Does 30 divide f?
False
Let k(p) = -5*p + 6. Let z(q) = q**3 + 10*q**2 + q + 4. Let u be z(-10). Is 28 a factor of k(u)?
False
Let c(w) = 4*w + 2. Let z be c(5). Let p = z - -7. Does 18 divide p?
False
Let b = 43 + -27. Is 10 a factor of b/(-1 - -3) + 2?
True
Let n(k) = -k - 7. Does 3 divide n(-11)?
False
Suppose -a - 4 = 5*h, -a + 4 + 1 = -4*h. Let u = h + 4. Suppose 0*y + l = -y + 16, 0 = u*y + l - 58. Is 15 a factor of y?
False
Let a be (-87)/(-7) - 12/28. Suppose 40 = 2*h + a. Is 7 a factor of h?
True
Let d be (10 + -1)*106/6. Suppose 0 = 4*i + 4*n - 108, -2*n - d = -5*i + n. Is 11 a factor of i?
False
Does 4 divide ((-56)/(-9) - -2) + 4/(-18)?
True
Is (9 - -7)/((-4)/(-6)) a multiple of 6?
True
Let x = 13 + -10. Suppose 0 = -5*o - x*f + 215, 2*f - 18 = o - 74. Is 12 a factor of o?
False
Let u = 0 - -11. Suppose -5*t + u = -14. Suppose -3*b = -t*b + 48. Is b a multiple of 8?
True
Suppose -5*d + 125 = -0*d. Is d a multiple of 7?
False
Suppose -4*v + 0 + 8 = 0. Let x(f) = 6*f**2 + 5 + 3*f - 9*f + 0*f**v - 4*f**2. Is x(4) a multiple of 6?
False
Suppose k = -9 - 5. Let f = 3 - k. Is f a multiple of 6?
False
Let w(f) = 3*f**2 - 4*f + 4. Is w(3) a multiple of 8?
False
Suppose 0 = -3*l - 2*l - 190. Let j = -27 - l. Let u = j + -8. Does 2 divide u?
False
Let y(w) be the third derivative of w**6/120 + w**5/10 + w**4/8 - 7*w**3/6 - 2*w**2. Let d be y(-5). Does 4 divide ((-1)/d)/(3/(-81))?
False
Suppose 280 = 2*n - 88. Is 10/(-25) - n/(-10) a multiple of 18?
True
Is 6 a factor of (-2 - 3)/(27/15 - 2)?
False
Let t = 140 + -65. Is 5 a factor of t?
True
Let o(v) = 4*v - 5. Let y be o(6). Is 9 a factor of (-6)/3 + 3 + y?
False
Is ((-44)/(-6))/((-26)/(-1209)) a multiple of 21?
False
Let a be (8/5)/((-1)/5). Let x = -5 - a. Is x a multiple of 3?
True
Suppose -3*a - u + 5*u - 16 = 0, -3*u = -12. Suppose 5*q + 4*l - 2 = 62, q - 3*l - 28 = a. Is 8 a factor of q?
True
Let o = 2 - -2. Let g(y) = -4*y - 3*y - o - 1 + 2*y. Is 5 a factor of g(-4)?
True
Let j be (-1 - -2)*(-2 - 1). Let l be (j + 2 - 1)*-1. Is ((-17)/2)/(l/(-4)) a multiple of 9?
False
Let w(o) = -o + 14. Let y be w(6). Suppose -h - y = -2*h. Is h a multiple of 8?
True
Suppose -21 = 2*k - 5*k. Let f be k/(-3) + 1/3. Let j = 37 - f. Does 15 divide j?
False
Let v be 0 + (0 + 6)/(-3). Let h be v/5 - 22/(-5). Suppose -h*y = 2*m - 32, -2*y - 4*m = -19 - 3. Is 5 a factor of y?
False
Let y(i) = -2*i + 13 + 4*i + 9*i**2 - i - 4*i**3 + 3*i**3. Does 22 divide y(9)?
True
Let l = -7 + 11. Suppose l*c - 2*c - 18 = 0. Is 9 a factor of c?
True
Suppose 8*m - 72 = 7*m. Is 24 a factor of m?
True
Let p be 5/((-15)/(-6))*1. Suppose -7 - p = -3*g. Suppose -g*o - 5*z - 1 + 2 = 0, -15 = -5*o - 5*z. Is 3 a factor of o?
False
Suppose 0 = 6*r - 27 - 171. Does 2 divide r?
False
Let l = 1 + 3. Let n be l*(2 - (2 + -4)). Suppose 3*s - n = -s. Is s even?
True
Suppose -x + 8 = 3*x. Let v(t) = -3*t**2 + 2 - x*t**3 - t + 2*t**2 + t**3. Is v(-3) a multiple of 11?
False
Let t = -310 - -471. Is t a multiple of 13?
False
Let b = 118 - 39. Suppose 4*v = -5*g + 5*v + 255, -b = -2*g + 5*v. Is g a multiple of 13?
True
Let b(u) be the third derivative of 7*u**4/12 - u**3/6 - 3*u**2. Let n be b(2). Is n + (-1 - 0) - 2 a multiple of 12?
True
Suppose -y - 9 = -2*p, -p - 3*p + 5*y = -9. Suppose 0 = n - 2*n + p. Does 4 divide n?
False
Is (-12)/(-10)*(-11180)/(-78) a multiple of 35?
False
Suppose 4*o = 5*s - 12, 2*s + 2 = 3*o + s. Suppose 3*z - 13 = -o*n, 14 = 4*z - 0*z + n. Is 2 a factor of z?
False
Let b be (-6)/4*(2 + -4). Suppose -b*n - 288 = -6*n. Suppose -5*a = -n - 44. Does 14 divide a?
True
Suppose -4*i - 5*x = -3*x - 24, 4*x = 16. Let s be 0 + 36 - i/(-2). Suppose s + 13 = 3*m. Does 7 divide m?
False
Let m(q) = q**2 - 4*q + 8. Does 15 divide m(7)?
False
Let s = -16 - -45. Is s a multiple of 8?
False
Let y(b) = b**2 - 2. Suppose -13 = -z + 2*u - 2, -z + 5*u + 20 = 0. Is y(z) a multiple of 22?
False
Let w(z) = 5*z - 3. Suppose -4*c = -3*c - 4. Let y be w(c). Is y/6 - 3/(-18) a multiple of 3?
True
Is (3 - 4)*(-138)/2 a multiple of 23?
True
Let a = -6 - -8. Does 14 divide 18 + -2 + a - 0?
False
Suppose 0 = -4*a + 83 + 53. Suppose -g + 5 = -a. Does 12 divide g?
False
Let t = -4 - -2. Let c(r) = r**3 - 4*r - 1. Let q be c(-3). Does 4 divide (q/(-10))/(t/(-10))?
True
Suppose -4*q + 4*h = -h - 152, 5*q - 3*h - 203 = 0. Suppose -q = -3*k + 5. Is k a multiple of 16?
True
Let b(k) = 3*k**2 - 26*k + 17. Is 19 a factor of b(10)?
True
Suppose 116 = 3*f - 2*r, 5*f = 2*r + 22 + 178. Is 3 a factor of f?
True
Let v(b) = b**2 + 8*b - 21. Is v(-11) a multiple of 3?
True
Let y(q) = 23*q - 4. Let d be y(3). Let c(t) = 3*t - 10. Let m be c(-11). Let a = m + d. Is a a multiple of 11?
True
Let y be (-1)/(3 - 248/84). Let q = 57 + y. Is q a multiple of 9?
True
Suppose 0 = 5*d - 3*y + 115, 2*d + 3*y + 30 = y. Let r = d + 36. Does 16 divide r?
T