et t be a(-5). Let u be (-1)/((10/(-52))/(-5)). Let o = t - u. Is 16 a factor of o?
True
Let l be 0*(2 + (-15)/6). Suppose -3*h = -4*q + 330, -q - 2*h + 37 + 51 = l. Does 22 divide q?
False
Suppose 16 + 4 = 4*r. Suppose 0*k + k - 10 = 2*w, r*w + 4*k + 12 = 0. Does 13 divide 3/(-12) - 61/w?
False
Let k be 6*(45/3 - -2). Let z = k + -72. Is 12 a factor of z?
False
Is ((-1)/(-2))/((-1084)/272 + 4) a multiple of 7?
False
Let z(f) = -2*f**2 + 6*f - 2. Let i be z(4). Let w = i - -16. Does 6 divide w?
True
Let m = 152 + -76. Let j = m - 38. Is j a multiple of 11?
False
Let r be (3/(-6))/(1/(-10)). Suppose 34 = 3*s + 2*q - 0*q, -r*s - 4*q = -56. Does 12 divide s?
True
Let o be 0 - (4*-9)/2. Does 11 divide (-3)/(-1 - o/(-20))?
False
Let k be (2 - 8)*(-210)/18. Let t = k + -49. Does 7 divide t?
True
Suppose z = 5*s + 10, 3*z - 3*s = -0*s + 6. Let b = z - 6. Is 14 a factor of 14/b*4*-3?
True
Let k(s) be the second derivative of s**4/12 + s**3/6 + 5*s**2/2 + 4*s. Is 11 a factor of k(6)?
False
Let b be 3/((-3)/(-2)) + 0. Suppose -3*a = b*a - 55. Is 3 a factor of a?
False
Suppose 6*b - 5*b - 48 = 0. Is b a multiple of 15?
False
Suppose -5*s + g - 8 = -73, -s + 4*g = 6. Is s a multiple of 6?
False
Suppose 0 = -5*v + 4*v. Let o = v + 2. Suppose -o*u = -5*x + 38, -6*x = -x - 4*u - 36. Is x a multiple of 3?
False
Let u = 11 - 6. Does 5 divide u?
True
Let c be (-11 - -9)*(1 - 3). Suppose m = -c*o + 40, -160 + 6 = -5*m + 3*o. Does 16 divide m?
True
Does 16 divide (6/4)/(6/(-872)*-1)?
False
Suppose 0 = n - 4, x + 3*x = 3*n + 24. Let b be (3 - 2/(-2)) + 0. Suppose -b*p - 30 = -x*p. Is 4 a factor of p?
False
Let w be (-147)/((-5)/((-80)/(-12))). Does 15 divide (w/(-1))/(-4) - 0?
False
Let b = -337 + 592. Is 10 a factor of b?
False
Suppose -4*b = -2*b - 94. Does 16 divide b?
False
Suppose -a - 5 + 55 = 0. Is a a multiple of 13?
False
Suppose -2*y + 3 = p, 2*p + 2 - 10 = -5*y. Suppose 8*h - 4*h - 40 = 0. Suppose -h + 42 = y*t. Is t a multiple of 14?
False
Suppose -n - 145 = -6*n. Suppose n + 9 = j. Is j a multiple of 19?
True
Is (-5)/(-5) - (-511 + -2) a multiple of 29?
False
Let g(x) be the third derivative of 0*x + 0 - 4*x**2 - 1/24*x**4 + 10/3*x**3. Is g(0) a multiple of 16?
False
Let h(j) = -j**3 - 8*j**2 + 6*j - 2. Is 8 a factor of h(-9)?
False
Let k = 117 + -63. Suppose -3*n - k = -5*n. Suppose -b = 2*b - n. Does 9 divide b?
True
Let l = -6 + 9. Suppose 5*z = w - l*w - 10, -5*z - 4*w - 10 = 0. Is 11 a factor of 1 + z/3*-15?
True
Let s = 4 + -1. Suppose 0 = 8*a - s*a - 125. Let d = 5 + a. Is 10 a factor of d?
True
Suppose 0 = -0*q - 3*q + 69. Is 7 a factor of q?
False
Suppose 2 + 7 = 3*u. Let d = -7 + u. Let l = d + 14. Does 10 divide l?
True
Let u(z) = -z**3 - 11*z**2 - 16*z - 30. Is u(-10) a multiple of 4?
False
Let w(q) = -8*q - 5. Let f(t) = 4*t + 2. Let o = -10 + 5. Let s(y) = o*f(y) - 2*w(y). Does 8 divide s(-2)?
True
Let o = 98 - 59. Is o a multiple of 13?
True
Suppose 2*z - 16 = -v, 3*v + v - 58 = -5*z. Suppose 2*w = -4*y + v, -w - y - 4*y + 9 = 0. Suppose -3*l + w*l - 6 = 0. Is l a multiple of 3?
True
Suppose -4*o + 6 = -t, -3*o + 5 = -2*t + t. Is -1 + (o - 51/(-3)) a multiple of 17?
True
Suppose i = 0, -2*f + i + 43 + 29 = 0. Suppose 3*s + f = 4*s. Is s a multiple of 18?
True
Let k = 104 + -53. Is k a multiple of 17?
True
Let y(x) = x + 4. Let h be y(-5). Let o(c) = 9*c**2 - c. Is o(h) a multiple of 4?
False
Suppose -2*i = 3*h - 0*i - 39, -4*h + 3*i + 52 = 0. Is h a multiple of 2?
False
Let s(l) = -l**3 + 8*l**2 - 11*l - 4. Is 8 a factor of s(5)?
True
Does 5 divide -118*(-3)/36 - 4/(-24)?
True
Let o(x) = 2*x**2 - x - 1. Is 3 a factor of o(-2)?
True
Suppose -3*u + 4*s = -307, 0*u - 372 = -4*u - 4*s. Does 14 divide u?
False
Suppose -r + 2 = q, -4*q + q = 0. Suppose -r*l - 2*l = -16. Suppose -t = -0*t - 4*w - 32, 2*w = l*t - 198. Is 14 a factor of t?
False
Let a(b) = -b**2 + 14. Suppose l + 0 = -3*q + 2, -3*q = -5*l + 10. Is 5 a factor of a(q)?
False
Let b(l) be the second derivative of l**4/6 + l**3/3 + 7*l**2/2 - l. Does 22 divide b(-5)?
False
Suppose 0*o = -3*o + 45. Does 6 divide o?
False
Let w be (-2)/(-5) - (-52)/20. Suppose 2*a + 2*m = 3*a, -5*a + 7 = -w*m. Does 6 divide (2/(-4))/(a/(-28))?
False
Let p(h) = -h + 2*h + h - 3*h + 1. Let m be p(-9). Suppose -4 = -f + m. Does 7 divide f?
True
Let t = 195 + -56. Does 19 divide t?
False
Let y(s) = -s**3 - 3*s**2 + 4*s + 3. Let u be y(-3). Let j be (-3)/u - 202/(-6). Let d = -24 + j. Does 4 divide d?
False
Let q = -73 + 154. Is q a multiple of 27?
True
Does 15 divide 2/(-3) - 3952/(-24)?
False
Suppose -f = -2*w + 2*f + 15, -4*f + 31 = 3*w. Let z be 20/6 - 3/w. Suppose 0 = -0*x + z*x - 48. Does 13 divide x?
False
Let y = 13 + -4. Is y a multiple of 8?
False
Suppose -d + 17 + 67 = -5*r, -5*d - 3*r + 364 = 0. Does 16 divide d?
False
Suppose -43 = -2*n - 5*i + 73, 0 = 5*n + i - 336. Does 17 divide n?
True
Let d(h) = h**3 + 7*h**2 + 5*h - 1. Let p be -1 + (-21)/(-6)*-2. Let b = p - -3. Is d(b) a multiple of 12?
True
Suppose 0 = 52*s - 56*s + 120. Does 6 divide s?
True
Suppose 3*l + 1 - 13 = h, -20 = -5*l + 3*h. Let y be 1 - l/((-8)/(-10)). Let b = y - -11. Is 7 a factor of b?
True
Let h(m) be the second derivative of m**8/840 + m**6/360 - m**5/120 + m**4/12 + m. Let t(w) be the third derivative of h(w). Does 9 divide t(1)?
True
Let l(s) = 2*s - 1. Let z be l(-2). Let t be ((-2)/z)/((-4)/(-20)). Suppose t*c - 6*d + 7 = -d, 0 = -5*c + 2*d + 14. Is 4 a factor of c?
True
Suppose -5*a - 45 = -3*d, 0 = -d + 7*a - 2*a + 25. Suppose -p + d = -0*p. Does 6 divide p?
False
Let h(r) = -13*r + 1. Is h(-1) a multiple of 5?
False
Suppose -5*k - 4*n = 21, 3*k + 0*n + 7 = -n. Let c = 31 - 18. Let y = c + k. Is 12 a factor of y?
True
Let o(r) = 9*r**2 + 5*r + 3. Let w be o(-3). Suppose -2*j - p = -8, 0*p = -2*p. Suppose -55 = -j*l + w. Is 13 a factor of l?
False
Let b = -1 + 7. Suppose -3*o - b = -24. Is o a multiple of 6?
True
Let b be (-8)/12 + (-64)/(-6). Suppose -5*w + c = -c - 60, 2*w + 2*c - b = 0. Is 5 a factor of w?
True
Let h = -79 + 147. Does 12 divide h?
False
Suppose 3*o - 98 + 2 = 0. Is 16 a factor of o?
True
Suppose 5*u - 1 = 14. Suppose -u*v + 9 + 6 = 0. Is 5 a factor of v?
True
Let v(f) = 10*f - 35. Does 35 divide v(14)?
True
Suppose -60 = -8*q - 7*q. Does 4 divide q?
True
Let x = 7 + 6. Is x a multiple of 7?
False
Let n = 8 - 8. Let u = n + 4. Suppose 3*l + w = 4*w + 87, l + u*w - 4 = 0. Is l a multiple of 8?
True
Let w(q) = -q**3 + 4*q**2 - 5. Let r be w(4). Let y be 5*(0 + r) - -2. Let u = y + 35. Does 4 divide u?
True
Let h be (-3)/5 + (-54)/(-15). Suppose -l + 51 = h*c, 2*c = 2*l + c - 116. Does 15 divide l?
False
Let u = -6 - -4. Let t be (-33)/u*2/(-3). Is 4 - 3 - (t + 1) a multiple of 3?
False
Let h be (0 + 4)*2/4. Suppose -4*s + 3*w + 1 = -h*s, 2*w = 3*s - 4. Suppose 4*j - 27 = -2*r + r, s*j - 36 = 4*r. Is j a multiple of 4?
True
Let v(z) = -z**2 - 4*z + 5. Let s be v(-6). Let l = 44 + s. Is 6 a factor of l?
False
Let q = -1 - 3. Let t be (1*-8 + -1)*q. Let g = t + -18. Is g a multiple of 9?
True
Suppose -2*a = 3*l - 21, 0 = -5*a + 11 + 4. Suppose 3*j + 114 = l*j. Is j a multiple of 19?
True
Suppose -y - 261 = 3*y - 5*n, 0 = -2*y + 2*n - 132. Does 23 divide y/(0 - (-9)/(-6))?
True
Suppose 2*c = -2, 5*h + 0*c - 5*c - 325 = 0. Is 27 a factor of h?
False
Let f(w) = -w**2 + 1. Suppose 3*y - m + 3*m + 3 = 0, -4*y = 5*m + 11. Let x be f(y). Suppose x = -4*r - r + 10. Does 2 divide r?
True
Let p be -1 + 30/(-1 + 3). Suppose 0*i + 2*i + 2*s = p, 5*s = -3*i + 31. Let h = 32 - i. Does 18 divide h?
False
Let l = 50 + -20. Does 12 divide l?
False
Let z be (5 - 4) + (1 - 0). Suppose -3*a + z*a + 70 = 0. Suppose 14 = -4*y + a. Is 9 a factor of y?
False
Suppose -5*z = -6*z - 2. Is z/(-2) + (9 - 1) a multiple of 9?
True
Let f be (-5)/(-3)*(-3 + 6). Suppose -f*p + 62 = -18. Is p a multiple of 10?
False
Let n = -4 + 6. Is n/(-2) + 22/1 a multiple of 7?
True
Let d = 60 - 30. Is 12 a factor of d?
False
Suppose -2*a - 4*w + 3 = -5, 3*a - 5*w = -10. Suppose -1 = -2*o - c, 5*o + 3*c - 3 = -a. Does 15 divide (o/1)/3 + 29?
False
Suppose 5*q - 20 = 0, 2*o - 4*q = o + 11. Does 12 divide o?
False
Suppose -74 = -5*b + 4*r + 142, -4*b = -r - 164. Is b a multiple of 15?
False
Let z be ((-2)/(-3))/(6/(-9)). Is 18 a factor of (-12 