y, 3*h = y - 5. Does 9 divide 18 + 1 + h/2?
True
Let a be (-10)/55 + 128/(-22). Let y = a - -11. Is y a multiple of 5?
True
Suppose -3*j = -7*u + 4*u - 6, -3*u - 12 = -5*j. Suppose 2*m - 15 = -y + 16, 3*m = j*y - 75. Is y a multiple of 9?
True
Suppose 4*n = -p - 5 - 0, -2*p = -3*n + 10. Suppose 0*m + 2*m - 140 = -4*u, 4*u + 3*m - 144 = n. Is 10 a factor of u?
False
Suppose 0 = -2*l + 8 - 2. Suppose -5*v + 4*w + 217 = 0, l*v - 43 = -w + 77. Let y = v + -15. Is 13 a factor of y?
True
Suppose 0 = -10*o + 5*o + 115. Is 23 a factor of o?
True
Let j be 2 - 0*(-1)/3. Suppose 9*c - 135 = 4*c - 5*d, j*d = 10. Is (-2)/((-48)/c - -2) a multiple of 11?
True
Suppose 0 = -l + 3*b + 143, 0*b + b + 5 = 0. Does 16 divide l?
True
Suppose -4*x + 35 + 465 = 0. Is 15 a factor of x?
False
Let u be 88 + (-1 + 2 - 0). Let o = u - 59. Does 18 divide o?
False
Suppose 5*m - 290 = -5*z, -5*m + 281 = 2*z - 0*z. Is m a multiple of 6?
False
Suppose 4*i - 6*i = -6. Suppose -i*n + 24 + 48 = 0. Is 4 a factor of n?
True
Let q(h) = -18*h**3 - 7*h**2 - 2*h + 5. Let s(u) = -37*u**3 - 15*u**2 - 4*u + 11. Let a(c) = 13*q(c) - 6*s(c). Is a(-1) a multiple of 4?
True
Let u(m) be the third derivative of -m**6/120 + m**5/15 + m**4/6 - m**3/6 - 2*m**2. Let p be u(5). Is (-6)/27*15*p a multiple of 7?
False
Let j = -50 + 126. Is 9 a factor of j?
False
Suppose s - 4*v = 0, 0 = 2*s + v - 0*v. Let k(c) = -c + 14. Does 7 divide k(s)?
True
Let p(n) = 98*n**2 + 1. Let r = 21 + -22. Is p(r) a multiple of 26?
False
Suppose -2*h - 2 = 0, h + 4*h - 7 = -4*l. Let m = l - -18. Let n = 3 + m. Is n a multiple of 11?
False
Does 39 divide (6/(-9))/((-2)/234)?
True
Suppose -16 = -2*j + 34. Let y = j - 43. Does 13 divide (y/5 - -3)*-65?
True
Suppose 3*d + 4*u - 16 = 4*d, d - 2*u + 6 = 0. Suppose i + 5*f = 22, 4*i - f - d = -0*i. Suppose -4*l = -i*h + 6, -21 = -3*h - 0*l + 2*l. Does 5 divide h?
False
Let n(m) = -54*m + 1. Is n(-1) a multiple of 10?
False
Let w = -30 - -147. Is w a multiple of 42?
False
Let i(x) = -1 + 9*x**2 - 2*x + 22*x**2 + 4*x. Let w be i(1). Let n = w + -1. Is n a multiple of 8?
False
Let m(p) = 3*p**2 - p. Let t be m(2). Suppose -4*c + 14 = -2*r, -5*c + 13 = -3*r - t. Let v = 15 + r. Does 4 divide v?
True
Let r(q) = q + 2. Let o be (-2 - -2)*1/2. Suppose -3*x - 3 + 18 = o. Is 7 a factor of r(x)?
True
Let w be (-46)/(-5) - 2/10. Let b = 7 - w. Does 6 divide (12/9)/(b/(-15))?
False
Let o be ((-15)/4)/(9/24). Let t = 13 + o. Is 2 a factor of t?
False
Is 10 a factor of (-5)/20 - (-4)/(48/1083)?
True
Let h be 0*3/9 - -2. Suppose -n + 36 = h*n. Is 11 a factor of n?
False
Let q(a) = 3*a**2 + a. Let r be q(-2). Suppose 0*y + x - 26 = -2*y, -5*x + r = 0. Suppose 0*f = f - y. Is f a multiple of 12?
True
Suppose 90 = 5*d - 20. Is d a multiple of 22?
True
Let w = -9 + 36. Does 9 divide w?
True
Let z(n) = n**2 - 3*n - 4. Let g be z(3). Let s(u) = u**2 + 3*u - 1. Let d be s(g). Suppose -r - d*r = -44. Is r a multiple of 6?
False
Let d(n) = -n + 2. Let h be d(6). Let y be (-6 + 2)/(h/22). Let k = 38 - y. Does 6 divide k?
False
Suppose -b = -4*b. Suppose 12 + b = w. Does 12 divide w?
True
Is (-2 - 4*-1)/((-2)/(-17)) a multiple of 3?
False
Let z = 20 + 51. Is z a multiple of 13?
False
Suppose -4*m + 10 = -2*m. Suppose 0 = 2*o + 5*n - 29, -4*n + 44 = m*o + 14. Does 8 divide (o - 1) + -2 + 14?
False
Suppose 4*k = -0*k + 356. Is k a multiple of 22?
False
Let z be (-1)/3 + (-30)/18. Does 5 divide (15/z)/((-3)/6)?
True
Let m = -46 + 84. Does 12 divide m?
False
Let v = -6 - -3. Let s(h) = -3 - h + h**3 + 2 + 6*h**2 - 3*h**2. Is s(v) even?
True
Suppose -3*g - 18 = -4*o, 2*o - 2 = -0*g - 2*g. Suppose o*f - 48 = f. Does 8 divide f?
True
Suppose s + 3*s - 4 = 0. Let k be 7/(-2)*2/s. Does 3 divide k/(-3) + 8/12?
True
Let m(z) = -z**3 + 9*z**2 - 6*z + 9. Let v = -11 + 19. Does 14 divide m(v)?
False
Suppose k = 3 - 2. Let y(p) = 36*p**3 - 2*p**2 + p. Let u be y(k). Suppose u = 5*g - 30. Is g a multiple of 10?
False
Suppose -4*i = -5*l - 169, -l = 2*l + 15. Is i a multiple of 8?
False
Let w = -17 - -31. Is w a multiple of 5?
False
Let x be (-11 + 1)/((-7)/28). Suppose -p - 4*p + x = 0. Does 4 divide p?
True
Let j = -44 + 25. Let m = 2 - j. Is m a multiple of 7?
True
Suppose 3*n + 4*t - 5 = 0, 3*n - 4*t - 1 = 12. Let l be 35 + n/3*-1. Let q = 82 - l. Is 16 a factor of q?
True
Let u(h) = 4*h**3 - 3*h**2 + 2*h - 3. Does 4 divide u(2)?
False
Let g = 90 - 64. Is g a multiple of 2?
True
Suppose -3*i + 3*s = -24, 0*i + i - 2*s = 10. Suppose -5*n = r + 12, -5*n - i - 3 = 2*r. Suppose r*p - 19 = 23. Is 6 a factor of p?
False
Suppose 0 = 2*w - 0*w - 6. Is 9 a factor of 11*1/(w/3)?
False
Suppose -4*i - 36 = -i. Let g be 3/i - 530/(-8). Let d = -42 + g. Is 8 a factor of d?
True
Suppose -4 + 10 = y. Is (-1)/2 - (-87)/y a multiple of 7?
True
Let y be 12/8*24/9. Suppose -y + 26 = k. Is 7 a factor of (k - (1 - 2)) + -2?
True
Let b = 1 + 3. Suppose -35 = -b*q + x, 0 = 2*q + q + x - 28. Let s = 18 - q. Does 4 divide s?
False
Suppose 4*f - f - 123 = 0. Is f a multiple of 12?
False
Suppose -4*m + 665 = -2*p - 3*m, 5*p - 2*m = -1660. Is 6 a factor of p/(-18) - (-1)/(-3)?
True
Let d = -26 + 60. Does 7 divide d?
False
Let u(k) = 3*k - 4. Let b be 195/21 + (-4)/14. Let f = 17 - b. Is u(f) a multiple of 11?
False
Let m = -7 - -12. Let t = -9 + m. Let u = 15 - t. Is u a multiple of 15?
False
Let o = -81 + 158. Is o a multiple of 41?
False
Suppose 5*v + 48 = 18. Let z = v + 15. Is z a multiple of 9?
True
Suppose 4*n - 2*n + 5*t = 27, -n + 21 = 4*t. Is n + 0 - 328/(-4) a multiple of 21?
False
Let g(i) be the second derivative of i**3/6 - 7*i**2/2 - i. Let f be g(6). Is ((-140)/8)/(f/2) a multiple of 12?
False
Let j be (3/2)/(4/8). Let k(p) = p**2 - 10*p + 8. Let a be k(9). Does 4 divide j*(16/6 + a)?
False
Let d = 5 - 11. Let v(j) be the third derivative of j**5/60 + j**4/6 - j**3/2 - 3*j**2. Does 5 divide v(d)?
False
Let d(o) = -2*o**3 - 8*o**2 - 2*o + 4. Let a be d(-5). Suppose 4*n = a + 4. Does 17 divide n?
True
Let w be -1 + 2 + 0 - -24. Suppose q - w = 5*m + 4*q, -4*q - 30 = 5*m. Does 8 divide 1 - -15 - 2 - m?
True
Let v(n) = -8*n**3 + 2*n. Let s be v(3). Let c = 311 + s. Let z = 146 - c. Does 15 divide z?
True
Suppose -4*s - 144 = -8*s. Does 9 divide s?
True
Let k(i) = -17*i**2 + 4*i - 3. Let z be k(2). Let c = z + 97. Is 13 a factor of c?
False
Suppose 5*h - y = 79, -85 = -4*h + 2*y - 17. Is 15 a factor of h?
True
Is 24 a factor of (18/(-4) + 0)*-10?
False
Let w be (-2)/(-6) - (-1881)/27. Let o = w + -37. Is 9 a factor of o?
False
Let j = -4 + 25. Does 3 divide j?
True
Let j = -110 + 305. Is j a multiple of 10?
False
Suppose 5*y + r - 1038 = 5*r, -3*r = 3*y - 612. Is 10 a factor of y?
False
Let p(q) = 14*q. Let k(t) = -t**3 + 3*t**2 - t. Let u be (3/(1*-3))/(-1). Let w be k(u). Is p(w) a multiple of 14?
True
Suppose b + 28 = 5*c, 2*c + 40 = 7*c + 5*b. Suppose 4*g - 34 - 63 = -5*n, -25 = -5*n. Let u = g - c. Is u a multiple of 12?
True
Let l(j) = 1 - 3*j**3 + 3*j**3 + j - j**3 + 4. Does 3 divide l(0)?
False
Suppose -4*q + 254 = 2*w, -325 = -4*w - 5*q + 171. Is 17 a factor of w?
True
Suppose 0 = -6*b + 692 - 44. Does 24 divide b?
False
Let o(a) = 6*a + 1 - a + 3. Suppose -y - 1 = -3, -2*i + 4*y - 2 = 0. Does 11 divide o(i)?
False
Suppose h + 270 = 6*h. Is 7 a factor of h?
False
Let n = -4 - -8. Suppose t = n*t. Is 17 a factor of (-17)/((t - -1)/(-1))?
True
Let y(m) be the third derivative of m**6/120 + 7*m**5/60 - m**4/12 + m**3/3 + 4*m**2. Is y(-7) a multiple of 8?
True
Suppose 5*g - 175 = 5*u, 4*g - 3*u = 3*g + 27. Does 13 divide g?
True
Let r(m) = 5*m**3 + m**2 + m - 2. Let b be r(2). Let i = b - 22. Is 11 a factor of i?
True
Let g(o) = o**3 + o**2 - o + 2. Suppose -5*n = -w, 3*w = -n + 4*w. Let b be g(n). Suppose -2*y + 40 = b*y. Does 3 divide y?
False
Suppose -2*m = -5*p + 6, m - 5*p + 8 = -0. Let z(o) be the first derivative of 2*o**2 - 3*o + 1. Is z(m) a multiple of 5?
True
Let t(c) = 3*c. Let p be t(-2). Let x = p + 10. Suppose x*b = 2*i + 154, 3*i = -15 - 0. Does 17 divide b?
False
Suppose 0 = 4*b - 7*b + 15. Suppose 0 = -v - 5*p - 35, 7 = b*p + 22. Let c = -13 - v. Is 4 a factor of c?
False
Let n(v) = v**3 - 4*v**2 + 6*v - 2. Is 11 a factor of n(4)?
True
Let d(p) = 6*p - 27. Is d(7) a multiple of 12?
False
Let l = -1 - -4. Su