Let i be 3 - 3 - -3 - -241. Suppose 6*p = 2*p + i. Let u = -36 + p. Is 9 a factor of u?
False
Let j = -5 - -4. Let q be 2 - 2 - (-2 - j). Does 8 divide -2 - -17 - (q + -2)?
True
Let g(w) = 8*w + 0*w - w. Is g(1) a multiple of 7?
True
Let i(w) = -w**3 - 5*w**2 + 2*w - 4. Let r be i(-5). Let u be (-4)/r + (-116)/14. Let c(q) = q**2 + 3*q - 1. Is 15 a factor of c(u)?
False
Let o(g) be the third derivative of -g**6/120 - 3*g**5/20 - g**4/3 - 5*g**3/6 - g**2. Let w be o(-7). Let v = w + 78. Is v a multiple of 16?
False
Let m be (10/25)/(2/10). Let z(g) = 2*g**2 - 2*g**3 - 4*g + 3*g**3 - 5*g**2 + 5*g**2 + 2. Is z(m) a multiple of 5?
True
Let j = 30 - 12. Suppose j = -0*v + v. Does 15 divide v?
False
Suppose 3*v - 4*u - 16 = 0, 4*v - u + 4*u - 13 = 0. Let a(m) = -m**2 + 2. Let t be a(0). Suppose 2*x + 3*f - 20 = 0, t = 3*f - v. Does 7 divide x?
True
Let p(b) = -6*b**3 - b**2 + b. Is 15 a factor of p(-3)?
True
Let q = 132 - 81. Does 7 divide q?
False
Let g = -9 - -15. Let s be (4/g)/(2/9). Let z = 9 - s. Does 6 divide z?
True
Suppose 12*z = 18*z - 552. Is z a multiple of 23?
True
Let g(v) = v - 5. Let s = -19 - -29. Is 5 a factor of g(s)?
True
Let b(x) = x**3 - 3*x**2 + x - 3. Let w be b(3). Let f(j) = -j**3 - j**2 - j + 6. Does 3 divide f(w)?
True
Suppose -45 - 35 = 5*b. Let x be (15/(-10))/(6/b). Suppose -3*c + x*m + 27 = -90, 5*m = -3*c + 144. Is 19 a factor of c?
False
Let j = 180 - 124. Is 28 a factor of j?
True
Suppose 7*h - 2*h - 65 = 0. Suppose 2*w - 61 = z, -4*z - 1 = -h. Is 12 a factor of w?
False
Suppose 4 = 2*b - 0. Let x(d) = -b*d**3 + d**3 - 4*d**2 - 8 - 6*d + 3. Is x(-4) a multiple of 9?
False
Let w = -75 - -16. Let k = -32 - w. Is k a multiple of 9?
True
Suppose -28 = -2*x + 78. Let h = x - 27. Is h a multiple of 14?
False
Suppose 4*m - 6 = 2. Let h(a) = 2*a**2. Is h(m) a multiple of 4?
True
Let o be (-3)/(-1)*(3 + -4). Let x(p) = -p**3 - p**2 + 4*p + 3. Does 2 divide x(o)?
False
Suppose 5*c = 2*c + 9. Is (285/10)/(c/4) a multiple of 13?
False
Suppose z + 2 = 0, -97 = -s + 3*z + 19. Suppose s = 5*i - 4*j, -2*i = i + 3*j - 66. Is i a multiple of 11?
True
Let i(b) be the third derivative of -5*b**4/24 + 5*b**3/6 + 3*b**2. Let m(n) = 3*n - 2. Let c(v) = -6*i(v) - 14*m(v). Is c(-3) a multiple of 17?
True
Let r = 220 + -149. Is r a multiple of 15?
False
Is (-42)/63 - 308/(-3) a multiple of 17?
True
Let n = 5 + -8. Let o = 4 + n. Is (-63)/(-3)*(0 + o) a multiple of 6?
False
Suppose 3*u - 23 = -k - 3, -5*k + 20 = -u. Let c be -3*k/((-15)/(-14)). Let n = 28 + c. Is n a multiple of 12?
False
Suppose 0*o = -4*o + 252. Is o a multiple of 13?
False
Let r(t) = -4*t - 10. Is r(-7) a multiple of 7?
False
Let m(y) = y**3 + 11*y**2 - 10*y + 12. Let b be m(-12). Let a = 48 - b. Let t = a - 20. Is 20 a factor of t?
True
Let i(d) = -d**3 + 7*d**2 + 14*d. Does 12 divide i(6)?
True
Suppose 3*y + 7 - 1 = 0, -2*y = 3*h - 221. Is 22 a factor of h?
False
Suppose q + 0*q = 2*a - 11, 2*a - 3*q = 1. Let c(v) = v**3 + 2*v**2 + 2*v - 5. Let u be c(-4). Is u/(-12)*a*1 a multiple of 15?
True
Is 21 a factor of (-1 - -26) + 5 + -9?
True
Suppose -5*d - 7 - 17 = -2*x, 3*d + 6 = 0. Let i = 11 - x. Is 2 + i/((-4)/(-11)) a multiple of 9?
False
Let u(y) = -227*y. Let c be u(-2). Suppose 3*b = 0, -b - c = -5*o - 174. Does 21 divide o?
False
Suppose 0*w = -8*w + 1400. Does 19 divide w?
False
Suppose 532 - 182 = 7*p. Does 10 divide p?
True
Let x(g) = -g**2 - 6*g + 2. Let o be x(-6). Suppose n + 4*t = 2*t - 3, 3*n - 23 = o*t. Does 5 divide n?
True
Suppose 5*b - 219 = 2*r + 2*r, b + 3*r - 40 = 0. Is b a multiple of 43?
True
Let f = 54 - 1. Suppose -3*w + f = 4*s, 2*s = -4*w - 3*s + 69. Does 4 divide w?
False
Suppose 5*w = -5*r + 5, w - 5*r - 45 = -4*w. Let u = w - 4. Suppose 0 = z - 6 - u. Is z a multiple of 7?
True
Let g(o) = o**3 + 4*o**2 + o - 3. Let s be g(-3). Let u be (s/(-2))/(1/(-2)). Suppose u*t - 58 = 4*j, 0 = -2*t + 2*j + 47 - 9. Is t a multiple of 11?
False
Suppose 2*g + g = -5*t + 25, -4*t + 3*g + 47 = 0. Let f = -13 + 9. Let i = t + f. Is i a multiple of 4?
True
Let c(d) = -4 + 3*d**2 + 5 - 3*d - d**2. Does 5 divide c(3)?
True
Let w = -3 - -5. Suppose -w*u - 4 = -38. Is 12 a factor of u?
False
Let k(a) = -193*a**3 - 2*a**2 - 2*a - 1. Is k(-1) a multiple of 34?
False
Suppose 2*w - t + 10 = 0, 6 + 8 = 2*w + 5*t. Let v(o) be the third derivative of -7*o**4/24 - o**3/2 + 2*o**2. Is v(w) a multiple of 11?
False
Suppose 0 = -s + 2*u + 2, 4*s + u + 4*u - 73 = 0. Does 2 divide s?
True
Let i(u) = u**2 + u - 4. Let y be i(-3). Suppose -5*c = -c + 5*g - 16, y*c = -2*g + 8. Is 3 a factor of c?
False
Let f(d) = d**3 - 6*d**2 + 7*d - 6. Let q = 3 + 2. Let h be f(q). Suppose 3*r = -z + 50, h*r - 66 - 4 = -3*z. Is 8 a factor of r?
True
Suppose -80 = -2*f + 8. Suppose 0*u - 4*u = -f. Let s = u - 4. Is 4 a factor of s?
False
Suppose 0 = 3*a - 3*s - 168, 9*a - 4*a - 3*s = 284. Is a a multiple of 7?
False
Suppose 4*w + z - 548 = -63, 0 = -3*w + 5*z + 335. Suppose 2*n - 7*n = -w. Is n a multiple of 8?
True
Suppose 0 = -4*n + 4, -3*l + 5*n = -0*l - 2746. Is l/28 + 2/8 a multiple of 16?
False
Let y be 1 - ((40 - 2) + -2). Let m = y - -51. Is m a multiple of 8?
True
Let z(f) = 6*f + 40. Let a(r) = -4*r - 27. Let h(o) = -7*a(o) - 5*z(o). Let y be h(-8). Suppose -y*v - 9 = -24. Is v a multiple of 3?
True
Suppose 0 = -3*g - 3 - 6. Let r be 18 + g + 0 + -2. Suppose -5*w + 27 = -r. Is w a multiple of 4?
True
Suppose j - 79 = -5*v - j, 2*j - 34 = -2*v. Suppose -5*i = v, -h - h = -5*i - 101. Is 14 a factor of h?
False
Let o be (-2 + -3)/(2 - 1). Let h(j) = -9*j - 3. Let m be h(o). Suppose m - 5 = g. Is g a multiple of 14?
False
Let l = -37 - -79. Is (l - -1)*7/7 a multiple of 12?
False
Let b(w) = -2*w - 7. Let t be b(-5). Suppose 0 = -2*k + t*d + 35, 3*d + 4 = -d. Is k a multiple of 8?
True
Suppose -4*x = 2*z - z - 125, 5*x + 4*z = 148. Is x a multiple of 13?
False
Is -3 + 4 + -4 + 26 a multiple of 23?
True
Suppose -4*n + 12 = -n. Suppose -o + 0 + n = 0. Suppose -l + 3*k + 7 = -3, -o*l + 40 = -3*k. Does 5 divide l?
True
Let w(t) be the third derivative of -t**6/60 + t**5/30 + t**3 - 2*t**2. Let x(r) = -r**3 - r - 1. Let p(b) = -w(b) - 3*x(b). Is p(2) a multiple of 12?
False
Suppose 4*q = 2*q + 70. Does 3 divide q?
False
Let w be (-1 - 0) + 2/2. Suppose -v + w*v + 1 = -5*l, 5*l + 12 = 2*v. Does 7 divide v?
False
Let m be -4*((-7)/(-4) - 3). Suppose m*d + 4*i = 440, -d + i = -19 - 60. Is d a multiple of 31?
False
Suppose -13*q + 1378 = -0*q. Is 21 a factor of q?
False
Suppose 0 = g + 3*c - 5*c + 172, -2*c = -4*g - 658. Let u = -107 - g. Is u a multiple of 18?
False
Let w = -73 - -159. Suppose -5*s + 0*k + 2*k = -224, -3*k = 5*s - 239. Let v = w - s. Is 18 a factor of v?
False
Suppose -r = r - 224. Does 28 divide r?
True
Let t = -2 - -8. Does 3 divide t?
True
Does 18 divide 64 - (4 - (-1 + 1))?
False
Does 22 divide 5/1*138*(-6)/(-15)?
False
Let g = 60 - -36. Is 32 a factor of g?
True
Let q(t) = t**2 + 10*t + 13. Let v be q(-9). Suppose v*y = y + 18. Does 6 divide y?
True
Suppose 3*b - 47 = 2*b. Let t be 4/18 + 16511/99. Suppose -b = -v - 2*n - 2*n, 5*v + 3*n = t. Does 17 divide v?
False
Let f be 16/5 - 2/10. Suppose -6*d - 284 = -c - d, 1364 = 5*c + f*d. Suppose 0 = -4*t + c - 66. Does 18 divide t?
False
Suppose v - 4 = 1. Suppose -2*y = 3*c + 7, 0*y + 36 = -y + v*c. Let r = y - -19. Is 8 a factor of r?
True
Let n(g) = 27 - 20 + 3*g + 0*g. Is 12 a factor of n(11)?
False
Is 16 a factor of (-474)/(-24) + 3/12?
False
Let c(k) = k**2 + 5*k - 6. Suppose 0 = -4*i - f - 20, -i = -f + 5 + 5. Let y be c(i). Suppose 0 = -2*v - y*v + 44. Is v a multiple of 14?
False
Suppose -4*i + 2*p - 39 = 41, 100 = -5*i + 3*p. Let m = -8 - i. Does 11 divide (-398)/(-12) + (-2)/m?
True
Suppose -4 = 2*c, -4*f + 5*c - 4 = -154. Let p = f - -35. Does 10 divide p?
True
Suppose 4*f - 192 = -2*d, 4*f = -4*d + 3*f + 412. Is d a multiple of 26?
True
Let y(o) = -o**2 + 7*o + 3. Let a be y(7). Suppose -4*h + 4 = -l, 0 = -a*l + 4*h + 18 + 10. Is 16 a factor of l?
True
Let h(j) = 2*j**2 + j + 268. Is h(0) a multiple of 22?
False
Let d(p) = -2*p**3 - 6*p**2 - 2*p + 3. Let v be d(-4). Suppose -4*f + 125 = -v. Is f a multiple of 14?
True
Let k be 5/(2*(-1)/4). Let s = 28 + k. Is 9 a factor of s?
True
Let g(a) = 3*a**2 + 3*a. Let n(p) =