oes 13 divide n(15)?
True
Let u = 12 + -5. Let h = 1 - u. Is (56/h)/((-8)/12) a multiple of 9?
False
Let p = -318 + 335. Does 5 divide p?
False
Suppose -2*h = 5*i - 265 + 80, 0 = -5*h - 2*i + 410. Let u = 84 - h. Does 4 divide u?
True
Let q(i) = -2*i**3 - 3*i + 40. Is 20 a factor of q(0)?
True
Let a(j) = -j**3 - j + 1. Let h(b) = 7*b**3 + 5*b**2 + 3*b - 10. Let s(z) = 6*a(z) + h(z). Is 4 a factor of s(-4)?
True
Suppose 2*d = -3*g + 331 + 664, 0 = -2*d + 5*g + 955. Is d a multiple of 49?
True
Suppose 49 = 4*h - 251. Is 7 a factor of h?
False
Suppose -4*u = -19 + 11. Suppose 12 = 2*q + u*h, 0 = q - 2*h - 5 - 10. Is q a multiple of 9?
True
Let x(y) be the second derivative of y**5/20 - y**4/12 - y**3/3 + 6*y**2 + 4*y. Let z be x(0). Is 63 - 4/(16/z) a multiple of 20?
True
Let m(i) = -i**3 + 13*i**2 - i + 19. Suppose 4*b - 20 = -b + 5*k, b = -5*k + 16. Suppose -59 = -5*z - 3*c, z = b*z - 3*c - 71. Does 3 divide m(z)?
True
Let m(z) = -3*z**2 - 4*z - 1. Let a be m(-1). Suppose a*u - u - 345 = -2*g, g - 185 = -2*u. Does 25 divide g?
True
Let p(c) = -c**3 + 27*c**2 - 17*c + 16. Let a be (-6)/4*-1*364/21. Does 25 divide p(a)?
True
Suppose -21 = -3*y + 3. Let o be (-28)/20 - y/(-20). Let p = 33 + o. Does 16 divide p?
True
Suppose -2*x - x = 4*w - 88, 2*x - 4*w - 52 = 0. Let t = x - 22. Does 3 divide t?
True
Let m(d) = d**3 - 35*d**2 - 9*d + 48. Is 30 a factor of m(36)?
True
Let z = -2842 + 4168. Does 37 divide z?
False
Suppose 1856 = 2073*r - 2065*r. Is r a multiple of 2?
True
Suppose -2*g - 142 = -c - c, 260 = 4*c + 4*g. Is 7 a factor of c?
False
Let l = 343 + -110. Suppose u - 18 = -3*m, -11 = 3*m - 4*m - 2*u. Suppose -5*b + 2*j + 125 + 103 = 0, 3*j = -m*b + l. Is 23 a factor of b?
True
Let a(y) = -36*y + 288. Is 12 a factor of a(7)?
True
Let n be (-2)/7 + (-40)/7. Let l(b) = -6 - b**3 + 67*b - 70*b - 6*b**2 + 0*b**3. Is 6 a factor of l(n)?
True
Suppose 3*c + 0*c - 117 = -z, -c + z + 43 = 0. Suppose 4*y = -c + 172. Does 10 divide y?
False
Suppose 1194*u + 21879 = 1207*u. Is u a multiple of 99?
True
Suppose 0*t - t = 0. Suppose 4*x - 5 + t = -3*c, 4*x - 2*c - 30 = 0. Suppose k - 4*k + 45 = 5*z, 5*k = x*z + 35. Is k a multiple of 10?
True
Let z = 1113 + -1078. Is z a multiple of 15?
False
Suppose -j - 9 - 20 = 0. Let f = j - -40. Is f/(-3*3/(-54)) a multiple of 22?
True
Suppose -8 = -w + 3*a + 9, -19 = 3*w + 5*a. Suppose 5*c = -5*b + 3 + 2, -4*b = c + w. Is b - -4 - (-6 + -42) a multiple of 11?
False
Let h(m) = m**3 + 9*m**2 + 10*m + 12. Let s be h(-8). Let t be (-45)/(-3) + -4 - 4. Let y = s + t. Is y a multiple of 3?
True
Suppose 2*h - 3*h + 52 = 0. Let l = 88 - h. Suppose 0*c - 3*c + l = 0. Does 6 divide c?
True
Suppose 108 = 18*q - 6*q. Suppose 0 = q*u - 7*u - 80. Does 10 divide u?
True
Let j be ((-48)/(-36))/(2/(-6)). Let h(o) = -3*o**3 - 3*o**2 + o - 3. Let c(s) = -s**3 - s**2 + s + 1. Let k(r) = -2*c(r) + h(r). Is k(j) a multiple of 23?
False
Is 36 a factor of (-43387)/(-301) - 1/7?
True
Let j = 102 - -207. Does 24 divide j?
False
Suppose 3*o = 15, -12*o = -g - 7*o + 3011. Does 48 divide g?
False
Let u = -1892 - -3079. Is 29 a factor of u?
False
Let h = 17 + -29. Let t(m) = -3*m + 15. Does 17 divide t(h)?
True
Let z be 106/(-371) - (-312)/14. Let n be 2/(18/16 + -1). Let q = z - n. Is 2 a factor of q?
True
Let y(a) = -11*a - 30. Let c(i) = -7*i - 20. Let s(t) = -8*c(t) + 5*y(t). Is 6 a factor of s(17)?
False
Let z = 860 + 442. Is z a multiple of 21?
True
Suppose 0 = -k - 4 - 1, 4*z + 5*k = 2135. Does 10 divide z?
True
Suppose -4*v = -593 - 23. Suppose v + 20 = 2*g. Is g a multiple of 15?
False
Let g(u) = -50*u**3 - u**2 + 3*u - 2. Let c be g(1). Let n = 46 - c. Is n a multiple of 33?
False
Suppose 0 = -2*q + 6*q - 24. Let z = -2 + q. Suppose -z + 52 = c. Does 14 divide c?
False
Suppose 9*o = 22177 + 10547. Is 120 a factor of o?
False
Is 30 a factor of 338*1 + 15/(-7 + 12)?
False
Suppose 0 = -4*b - 225 + 2365. Let h = b - 269. Is h a multiple of 33?
False
Let g(s) = s**2 + 2*s - 4. Let m be g(-4). Let a be m/30 + 58/15. Suppose -a*y - 22 = -5*y. Does 22 divide y?
True
Suppose -2 = -4*i + 14, 5*c = -i + 34. Is 11 a factor of (-4*2/c)/((-2)/18)?
False
Is (-7 - -3) + (2 - -362) + -2 a multiple of 30?
False
Let o = 10 - 7. Suppose 35 - o = s. Suppose -22 = -h - j - 0*j, 2*h - s = 4*j. Is h a multiple of 12?
False
Let a = -18 - -3. Let j(q) = -q**3 - 17*q**2 - 30*q + 16. Does 2 divide j(a)?
True
Suppose 2*z = -0*o - 3*o - 20, 5*o - 3*z + 8 = 0. Is 1 + (1/o - (-489)/4) a multiple of 41?
True
Let c be (-1 - -1)/(-2 - -1). Suppose -5*s = -c*s - 1200. Suppose -4*g + 0*g + s = 0. Is g a multiple of 20?
True
Let x = 70 - -60. Is 4 a factor of x?
False
Let p = 9 - -31. Suppose 0*k + 5*k = p. Is k a multiple of 3?
False
Let k(f) = -23*f + 5. Let r be k(7). Does 11 divide (32/12 - 3)*r?
False
Is 3 - (-8 - 1 - 588) a multiple of 30?
True
Suppose 23*m - 3 = 24*m. Does 6 divide 14/(-12)*(-27)/m*-2?
False
Let i = 3080 - 2762. Is i a multiple of 33?
False
Let n be (0/2)/(6/3). Suppose n = 5*w - 2*w - 21. Let f(x) = x + 7. Is f(w) a multiple of 7?
True
Suppose 4*v = 7*v - 516. Suppose -24*y + v = -22*y. Let o = y - 46. Is o a multiple of 6?
False
Let x(h) = -h**3 + 14*h**2 - 14*h + 37. Is x(12) a multiple of 42?
False
Let s = -1012 - -1844. Is s a multiple of 8?
True
Suppose 7*h + h = -64. Let z = h + 38. Is 4 a factor of z?
False
Let p = 2637 - 608. Is p a multiple of 110?
False
Let q(t) = 2*t**3 - 7*t**2 - 2*t + 8. Let g(v) = 4*v**3 - 14*v**2 - 3*v + 15. Let h(w) = 6*g(w) - 11*q(w). Is h(5) a multiple of 17?
False
Let s(m) = 19*m**2 + m - 2. Let q be s(1). Suppose -3*i = 42 + q. Is (6 + -1)*(-84)/i a multiple of 5?
False
Let z be 5*((-24)/(-15) - 2). Let g = 0 - z. Does 7 divide (-2 - -1) + 17 - g?
True
Suppose -10*s + 180 = -5*s. Suppose -11 = 5*w - s. Suppose -2*n = -4*b - 4, 13 + 17 = n + w*b. Does 5 divide n?
True
Let l = 1085 + -1008. Is l a multiple of 7?
True
Let u(d) be the first derivative of 2*d**3/3 + 19*d**2/2 - 9*d + 3. Is u(-11) a multiple of 15?
False
Let o = 5 + 8. Suppose -9*r = -o*r + 176. Is 66/r - (-26)/4 a multiple of 6?
False
Does 9 divide 122 - -3 - (1 - (-6 + 3))?
False
Suppose 2*d + 15 = 5*d. Suppose 3*y = 4*l + 18, d*l = -y + l + 22. Does 5 divide y?
True
Let q(n) = -11 - 2 + 1 + 8*n. Does 27 divide q(15)?
True
Let w(u) = u**3 + 19*u**2 + 12*u + 24. Suppose 0 = g + 18. Is w(g) a multiple of 16?
False
Suppose -3*y = -15, -3*t + 90 = 5*y - 2*y. Suppose 4*v - t = 3*s, 5*s + 35 = 5*v - 0*s. Is 18 a factor of v*1*(-168)/(-8)?
False
Let h(p) = p**3 + 9*p**2 + 20*p + 15. Let k be h(-6). Let l = -10 - -20. Let f = l + k. Does 13 divide f?
True
Let c be 6 - (3/1 - 0) - -96. Let z = c + -16. Does 19 divide z?
False
Let m(p) = 14*p - 10. Let s be m(5). Suppose s = -2*i + 6*i. Does 3 divide i?
True
Let q = 2 + -11. Let s be (-264)/q + 6/9. Does 21 divide (-216)/(-10) + (-18)/s?
True
Suppose k + 0*c = -3*c + 43, -c - 179 = -3*k. Is 29 a factor of k?
True
Let r be 0 - (1 + 1 + -5). Suppose q = r*q. Suppose q*o - 68 = -2*o. Is o a multiple of 14?
False
Let b(p) = -28*p - 35. Is 43 a factor of b(-12)?
True
Let y = 1830 + 966. Suppose 24*q - y = 12*q. Is q a multiple of 33?
False
Let k be (74/26 - (-2)/13) + -1. Is (-14644)/(-133) + k/(-19) a multiple of 12?
False
Suppose -4*p + 175 = b, -3*p + 141 = -0*p + 4*b. Is 22 a factor of (p - 10)*(2 + 1 + -1)?
True
Let k be 0 + 3 + -3 - 6. Let o = -6 - k. Suppose o*t = 2*t - 106. Is t a multiple of 13?
False
Let m be (-42)/4 - 2/4. Let n(t) = t**3 - 6*t**2 + 6*t + 10. Let p be n(5). Let s = p + m. Is 4 a factor of s?
True
Let q = 598 + -248. Suppose -q = -a - a. Is a a multiple of 14?
False
Let o be ((-24)/(-18))/(2/3). Suppose o*v - 168 = 3*f - 33, f - 115 = -2*v. Is v a multiple of 9?
False
Let x = 28 + -34. Does 8 divide (-4 - x)*14 + 4?
True
Is 105/((-78)/48 - -2) a multiple of 56?
True
Let h(c) = c**3 - 18*c**2 + c - 16. Let d be h(18). Let q be -4 - 39/(-6)*d. Suppose 0 = -q*l + 40 + 158. Does 22 divide l?
True
Let h be 1118/(-1)*3/6 + 1. Let s = -230 - h. Is s a multiple of 41?
True
Suppose 0 = 2*l + 8, 4*l = 2*m + 17 - 39. Suppose m = -3*d + 18. Suppose -d*b = -9*b + 68. Is b a multiple of 11?
False
Let x(z) = 27 - 3*z + 39 - 58. Let o = 14 + -19. Does 15 divide x(o)?
False
Suppose 0 = -d + 4*d + 30. 