*p, -c + 2*p + 662 = 214. Is 48 a factor of c?
False
Is 254 - ((-28)/(-21))/(4/6) a multiple of 10?
False
Let f(c) = c**3 + c**2 - 29. Does 119 divide f(10)?
True
Let i = -26 + 4. Let t be 16/88 + (-128)/i. Does 3 divide (-9)/3 + t/1?
True
Let c = 196 + 224. Does 21 divide c?
True
Let y = 20 + -13. Suppose -y*t + 11*t - 40 = 0. Is 5 a factor of t?
True
Let t(l) = 10*l**3 - 12*l**2 + 7*l - 3. Let v(y) = -3*y**3 + 4*y**2 - 2*y + 1. Let o(j) = 2*t(j) + 7*v(j). Let s = -7 + 10. Is o(s) a multiple of 8?
False
Let v(z) = -3 - 82*z - 1 + 10 + 21. Is v(-3) a multiple of 24?
False
Suppose 2*d - 267 = d. Suppose -5*a - o + d = 0, -5*a + o = -a - 219. Is a a multiple of 18?
True
Let j = -78 - -75. Is 13 a factor of (-2 - -6 - 40*j) + 1?
False
Let z = 180 - 64. Suppose -z = -2*f + 26. Does 14 divide f?
False
Let w = -11 + 11. Suppose s - 2 + 12 = w. Is 2 a factor of (-2)/s + (-272)/(-40)?
False
Suppose 3*a + 1939 = 2*s, -1352 = -4*s - 2*a + 2486. Does 26 divide s?
True
Let c(d) = -d**3 + 7*d**2 + 9*d + 6. Let g be -1 + -2 + 18 + -15. Suppose 2*b + 2*b = -3*v + 24, g = -4*b. Is c(v) a multiple of 14?
True
Let u = -3912 - -7880. Does 62 divide u?
True
Suppose 3*w + 3*w = 18. Let m(l) = -3*l**2 + 9*l**3 - 3*l - 10*l**w + 1 + 11*l**2. Is 15 a factor of m(5)?
False
Let v = 92 + -85. Suppose 0 = -v*p - 7 + 56. Does 3 divide p?
False
Suppose 0 = 2*i - 6*i + 12. Is 22 a factor of 10/30 - (-65)/i?
True
Let g(s) = 2*s**2 + s - 7. Let u(v) = v. Let l be u(-3). Let w be 2/(-3) + 13/l. Does 20 divide g(w)?
False
Suppose 0 = 4*z + 26 - 2. Let b = -4 - z. Suppose 4*g = b*o + 2*o + 340, 0 = 5*o + 20. Is 27 a factor of g?
True
Let m(q) be the second derivative of 0 - 6*q + 1/3*q**3 + 5/2*q**2. Is m(7) a multiple of 4?
False
Let u(k) be the second derivative of k**4/6 - 5*k**3/3 + 5*k**2/2 + 3*k. Let h be u(5). Is (-4)/(4 - h) - -17 a multiple of 4?
False
Let q(c) = -c**3 + 2*c**2 + 5*c + 2. Let y(l) = 2*l - 8. Let n be y(6). Let m be q(n). Is ((-24)/m)/((-10)/(-125)) a multiple of 15?
True
Let a(w) = w + 1. Let b be a(0). Let o be (8/12)/(b/9). Does 11 divide -47*(o/2 + -4)?
False
Let g = -1062 + 1134. Is g a multiple of 6?
True
Suppose 0*g + 2*q = 3*g - 2, 0 = -4*g + q + 6. Suppose 2*a + 2*n - 4*n = 4, -a + 2*n = -6. Does 23 divide g/(12/a)*-231?
False
Suppose 2*o - 3*i = 565, 4*o - 2*i = 2*i + 1120. Is 6 a factor of o?
False
Let h = -33 - -43. Does 33 divide 24/h*1680/63?
False
Let j = -69 - -17. Let r be -4 - -4 - (1 + j). Let a = -22 + r. Is a a multiple of 22?
False
Suppose -3*m - 9 = 0, 0 = -v + 5*m + 12 + 7. Let d(i) = i + 1. Is d(v) a multiple of 5?
True
Suppose -6*y + 304 = -2066. Is y a multiple of 79?
True
Let c = 2511 - 1736. Is c a multiple of 11?
False
Suppose 5*w + 0*q - 65 = 4*q, -5*w - 2*q = -65. Let s = w - -26. Does 5 divide s?
False
Suppose 0 = -c - 3, -2*i = -2*c - 32 - 16. Let b(s) = 2*s**2 + 7*s + 2. Let x be b(5). Let q = x - i. Does 19 divide q?
False
Let q = -46 + 1. Let o = -43 - q. Is o even?
True
Let o(n) = -2*n + 35. Let d be o(15). Does 29 divide 1/((d/(-345))/(-1))?
False
Let m = -2853 + 4558. Is 44 a factor of m?
False
Let h(u) = -u + 8. Let a be h(8). Let m(v) = 2*v. Let r be m(a). Suppose 12 = 3*c, r*c - 2*c = 3*l - 92. Does 28 divide l?
True
Let f(k) = 5*k**2 + 11*k. Suppose -a - 10 + 5 = 0. Does 7 divide f(a)?
True
Suppose -5*r = -4*r + 18. Let o be r/(-5) - (-60)/(-100). Suppose o*n + g - 3*g = 129, -6 = -2*g. Does 8 divide n?
False
Suppose 3*h = -1296 + 1908. Is h even?
True
Let v be 0/(-4) - (2 - 5). Is 56/(-4)*(-4*3)/v a multiple of 9?
False
Suppose -13368 = -56*u + 78472. Does 82 divide u?
True
Suppose 4*n = -2*d, -5*n + d = 6*d. Suppose m = 5 - n. Suppose 4*u = m*o - 293 + 86, -4*o + 3*u = -165. Does 13 divide o?
True
Suppose 2*c - q = 347, 271 = 2*c + 2*q - 67. Is c a multiple of 4?
True
Suppose f + 271 = -2*w, 4*w + 0*f = -3*f - 537. Let x = 274 + w. Does 35 divide x?
False
Let q be 0/3 + 5/1. Suppose -q*r = -5*g + 5, -g + 0*r = 2*r - 13. Suppose -g*c + 2*c = -126. Does 6 divide c?
True
Suppose -10 - 50 = -2*c. Let w = 60 - c. Let r = w + -3. Does 5 divide r?
False
Let s(k) = -4*k**3 - k**2 - 7*k + 10. Let q(r) = -3*r**3 - 2*r**2 - 8*r + 10. Let f(j) = -5*q(j) + 4*s(j). Does 11 divide f(6)?
False
Let x(n) = n**3 - 13*n**2 + 13*n - 13. Let y be x(12). Let w = y + -2. Is (w + 1 - -12) + 0 a multiple of 10?
True
Suppose 4*r = 266 - 986. Is ((-3)/2)/(5/r) a multiple of 8?
False
Let k(p) = p - 2. Let j be k(5). Suppose j*r + 0*r - 135 = 0. Does 9 divide r?
True
Let i(n) be the second derivative of -7*n**3/3 + 8*n**2 + 7*n. Let y be i(6). Let x = y - -98. Does 6 divide x?
True
Let h = -1867 + 2199. Is h a multiple of 22?
False
Suppose -2*a = -7*a + 25. Suppose -2*u + 38 = -2*g + u, -4*u = a*g + 72. Let w = 19 + g. Is w a multiple of 3?
True
Let n be (485 - 5) + (-2 - 1). Suppose -6*w + 9 = -n. Does 9 divide w?
True
Let h = -1 + -3. Let y(z) = -2*z**2 - 9*z - 1. Let d be y(h). Suppose -d*i = -i - 54. Is i a multiple of 9?
True
Let n(y) = y**3 - 16*y**2 - 16*y - 14. Let h be n(17). Suppose -5*j = -i - 122, -i = -h*j + 6*j + 98. Let z = -46 - i. Is 16 a factor of z?
False
Suppose 2*a + 60 = 6*a. Let c be (12/(-8))/(a/20). Let x = 16 + c. Is 7 a factor of x?
True
Suppose 774*p - 2394 = 765*p. Does 14 divide p?
True
Suppose -17*n + 76*n = 74104. Does 6 divide n?
False
Let o = 5 + 2. Let c(q) = -3*q - 14. Let d be c(-6). Suppose -54 = d*v - o*v. Does 11 divide v?
False
Let m be 9 + (1 - 2)*1. Let w(z) be the third derivative of z**4/24 + 11*z**3/6 + 2*z**2. Does 14 divide w(m)?
False
Let a be (1 + 1)*(-36)/(-18). Suppose a*s + 12 = 3*n + 780, -4*n = 5*s - 991. Does 13 divide s?
True
Suppose 0 = -d - 2 + 7. Suppose d*w = x + 11, -5*x + 3*w + 15 = 4. Suppose m = -x*m + 335. Is m a multiple of 16?
False
Let m(l) = 69*l + 3. Does 3 divide m(3)?
True
Let b be 8/(-5)*(-45)/18. Is ((-14)/b)/(-7)*12*9 a multiple of 18?
True
Suppose 4*m + 3*b = -2*b + 454, -b = -2*m + 234. Does 29 divide m?
True
Let t(l) = l - 15. Let z be t(14). Let m be z/2 - (-382)/4. Suppose 0 = -5*c - 0 + m. Does 19 divide c?
True
Let v = -74 + 89. Suppose -v*y + 507 = -2*y. Does 9 divide y?
False
Let o be 2/((-12)/(-3))*0. Suppose o = 5*z + c + 202, 3*c + 116 = -3*z + 2. Let r = z - -67. Is r a multiple of 8?
False
Let n(m) = -m**2 + 10*m - 12. Let b be n(8). Let h be (2/3)/(b/18). Suppose -3*k = -a - 28, -h*k - 4*a + 5 = -18. Is k a multiple of 3?
True
Let k = 1069 + 53. Is 21 a factor of k?
False
Let c = 2324 - 1515. Does 56 divide c?
False
Is 9/(-6)*28/63*-675 a multiple of 15?
True
Let c(a) = 174*a**3 - 6 + 2*a**2 - 172*a**3 - 5*a**2 - 5*a. Is 36 a factor of c(5)?
True
Suppose 3*p = -x + 8, 0*p + 3*p = -5*x - 8. Suppose 0 = -v + p + 5. Suppose 0 = 5*w - 3*d - 438, 2*w + 5*d - v = 160. Is 23 a factor of w?
False
Suppose -17 = -8*c + 7. Suppose s - 4*p - 67 = 0, c*p = 2*s - 215 + 71. Is s a multiple of 15?
True
Let y(n) = n**2 + 15*n + 2. Let s be y(-15). Let t be (-12)/(-4) + (3 - s). Suppose -2*d + t*d = 42. Is d a multiple of 21?
True
Suppose -2*d = 3*d + 10, h - 237 = 5*d. Suppose -7*r + h + 179 = 0. Is r a multiple of 29?
True
Let z(u) = 36*u + 3. Let b be ((-2)/5)/(24/(-60)). Is z(b) a multiple of 24?
False
Is 4*(-7)/(56/(-820)) a multiple of 55?
False
Let z = 5 + -2. Let d(p) = 14*p**2 + 20*p + p**3 + 9 + 0*p**z - 9*p. Does 14 divide d(-13)?
False
Let q = -308 + 1939. Suppose 0*i - q = -5*i - u, -3*i = 4*u - 965. Does 17 divide i?
False
Suppose -4*a = a - 20, 0 = p + 3*a - 146. Does 3 divide p?
False
Let z be (-6)/(-3) - 5 - -1. Is 4 a factor of z - 1 - (-46 - -5)?
False
Suppose -100 = -3*l + 5*u, 3*u - 111 = -5*l + 101. Suppose -12*d - l = -13*d. Is d a multiple of 4?
True
Let h = -1639 + 4337. Is 11 a factor of h?
False
Suppose -16*i + 13300 = 12*i. Is i a multiple of 5?
True
Suppose 5*i - 670 = -l, 0 = 2*l + 2*i - 1673 + 341. Does 35 divide l?
True
Let c(u) = u**3 + 7*u**2 - 44*u - 2. Is c(-10) a multiple of 11?
False
Let v(s) = -51*s - 52. Does 19 divide v(-9)?
False
Suppose 6*t - 25 = 11. Suppose -a + t = -8. Does 2 divide a?
True
Suppose -8*i + 9*i + 485 = 3*f, -3*i - 477 = -3*f. Is f a multiple of 10?
False
Is (23*-3)/((-35)/385) a multiple of 11?
True
Let b(k) = k**3 - 35*k**2 + k - 9. Let a be b(35). Suppose 0 = 5*i - 3 - 7. Suppose i*c = 110 - a. Does 