. Is 7 a factor of w?
False
Let i(z) = 174*z**2 - 13*z - 7. Is 17 a factor of i(2)?
True
Let d(r) = -r**3 - 3*r**2 + 13*r + 14. Let v be d(-7). Suppose -85 - v = -c. Does 51 divide c?
True
Suppose -8*w - 1042 = -2234. Does 37 divide w?
False
Suppose -9 = -4*d + 7. Suppose -d*z - 668 = -6*z. Is 18 a factor of z?
False
Let g(b) = -b**2 + 13*b - 9. Let h be g(9). Suppose w - 3*o = -2*w + h, -15 = -2*w + 3*o. Is 2 a factor of w?
True
Suppose -10*m = m - 4609. Is m a multiple of 10?
False
Let r be (80/(-15))/(-4)*6/4. Suppose 2*f - h = 6*f - 515, -r*h - 634 = -5*f. Is 16 a factor of f?
True
Let t(w) = -22*w - 274. Is t(-29) a multiple of 7?
True
Let r be (4/(-6))/((-12)/(-18))*-2. Suppose -5*p - 2*w = -50, -r*p - 63 = -6*p + 3*w. Is 3 a factor of p?
True
Let w = 62 + -60. Is w/(-4)*6/(-12)*284 a multiple of 39?
False
Let k(c) = 4*c + 54. Let o = -23 - -32. Is k(o) a multiple of 10?
True
Let i = 139 + 85. Is i a multiple of 8?
True
Let d(h) = 44*h**2 + 9*h - 110. Does 69 divide d(6)?
False
Let x be 15/((-1)/(-2) - 2). Let l = -48 + 64. Does 16 divide (l/x)/(6/(-60))?
True
Is 79 a factor of (-133)/(432/(-84) + (7 - 2))?
False
Suppose -3*b + 29 + 60 = 4*a, -3*b - 2*a + 97 = 0. Suppose 32*f - b*f + 324 = 0. Does 18 divide f?
True
Suppose d = 2*j + 232, 0*d - 2*d + 488 = 4*j. Is d a multiple of 30?
False
Suppose 2*f + 3*f = -15. Does 19 divide (3/2)/(f/(-80))?
False
Let h = -90 + 95. Suppose -635 = -4*r - 4*b - 19, -h*r - b = -778. Is r a multiple of 31?
False
Suppose 5*u - 8564 = 4*b, 6058 + 810 = 4*u + b. Does 26 divide u?
True
Let l(t) = -t**3 + 12*t**2 - 2*t - 5. Let i be l(5). Let n = -107 + i. Is n a multiple of 9?
False
Let q(d) be the first derivative of d**3/3 - 9*d**2/2 - 27*d + 11. Is q(-13) a multiple of 37?
True
Let c = -2681 - -4224. Does 60 divide c?
False
Is (59 + 0)/((-10)/(-50)) a multiple of 44?
False
Let z(l) = 2*l**2. Let b be z(2). Let y(a) = 16*a - 26. Is y(b) a multiple of 34?
True
Is 37 a factor of (-2067)/(-26) + ((-6)/4 - -2)?
False
Suppose 5*m + 84 = m. Let p = m - -11. Is 3 a factor of ((-2)/3)/(p/270)?
True
Is (-3)/(-8) + 10 + 16635/120 a multiple of 5?
False
Suppose 147 = 3*u + 4*c - 88, -c = 5*u - 386. Let j = u - -8. Let s = j + -19. Does 30 divide s?
False
Suppose j = 136 - 1. Suppose -5*d = -3*o - 2*o + j, -2*d = -5*o + 132. Does 9 divide o?
False
Let z(w) = 39*w - 15. Is 2 a factor of z(1)?
True
Let w(q) = 10*q + 104. Does 14 divide w(19)?
True
Suppose -z = 7*z - 4824. Suppose 14*p + z = 17*p. Is p a multiple of 38?
False
Let m(z) = z**3 - z**2 - 1. Let j be m(0). Is (19 - 2)*(0 - j) a multiple of 13?
False
Let z(u) = 38*u**2 - 3*u + 91. Is z(7) a multiple of 21?
True
Let y(j) = 3*j**2 - j + 2. Suppose -3*h = 5*b + 71, 2 = 4*b - h + 52. Let m(a) = a**2 + 11*a - 23. Let o be m(b). Does 7 divide y(o)?
False
Suppose 4*y - 1171 = 5*f, -197 = -4*y + 3*f + 968. Does 50 divide y?
False
Suppose 10 = 5*w + 4*u, w + 3*u - 3 = -2*w. Suppose s - f + 21 = -w*f, 4*f = -3*s - 8. Suppose 5*y = 2*v - 78, 0*v + 2*v = -s*y + 78. Does 13 divide v?
True
Let a be 4/10 + (1 - 282/5). Is a/(-45)*6*21*1 a multiple of 22?
True
Let y(z) = 5*z + 29. Let v be y(-5). Suppose -5*b + v*o + 0*o + 727 = 0, 12 = -4*o. Is 13 a factor of b?
True
Let o(h) = -2*h**2 + 21*h - 23. Let a be o(9). Suppose -132 - 132 = -a*x. Is 7 a factor of x?
False
Let g be (0/12)/((-1)/(-1)). Suppose 0 = 7*j - g*j - 630. Is j a multiple of 9?
True
Let d be 4/5*(-25)/10. Let q be (-15)/d*(-90)/27. Is 19 a factor of (570/q)/((-6)/15)?
True
Let c(j) = -3*j**2 - 22*j + 30. Does 2 divide c(-6)?
True
Suppose -2*j + 5*g - 45 = 0, -4*g - 129 = 2*j + 3*j. Let b = 17 + -26. Let y = b - j. Does 8 divide y?
True
Suppose 5*o = 4*y - 4942, -5*y + 5851 = -5*o - 329. Does 18 divide y?
False
Suppose 0 = 3*a + 6, 2*d + 2*a = -2*d + 76. Suppose 21*f = d*f + 204. Is f a multiple of 17?
True
Let b be (-5 - -487 - 4) + 2. Does 36 divide ((63/12)/(-7))/((-2)/b)?
True
Let o be 8/(-6)*(-17 + 14). Is 1 + -2 + 45 + (o - 6) a multiple of 11?
False
Is 69 a factor of ((-568)/(-426))/((-2)/(-1242))?
True
Let h be (-39)/(1/12*(-40)/30). Suppose 3*v = 12*v - h. Is 13 a factor of v?
True
Let i = 392 + 64. Is i a multiple of 76?
True
Let g be ((-3)/9)/((-1)/81). Let i = -23 + g. Suppose -t - i*d - 8 + 49 = 0, d = -2*t + 89. Is t a multiple of 9?
True
Let f(j) = j**3 + 6*j**2 - 8*j - 3. Let q be f(-7). Let k be (-1 + q)*1/(-3). Is 8 a factor of -1 + 26 - (-2 - k)?
False
Let q = 91 + -63. Suppose -240 = -q*i + 13*i. Does 16 divide i?
True
Let r = 45 - -144. Is 63 a factor of r?
True
Let i(k) = -23*k**3 + 93*k**2 + 37*k + 44. Let l(z) = 8*z**3 - 31*z**2 - 12*z - 15. Let v(r) = 6*i(r) + 17*l(r). Is 41 a factor of v(16)?
True
Let d(t) = -t**2 + 5*t + 6. Let g be d(5). Is ((-36)/3)/(g/(-24)) a multiple of 12?
True
Let c(z) = -47*z**2 + 3*z + 3. Let r be c(-2). Let w = -133 - r. Suppose d - w = -d. Does 17 divide d?
False
Let r(y) = y**3 - 6*y**2 - 7*y + 4. Let g be r(7). Suppose -2*v + 4*v - 2*n - g = 0, 4*v = 2*n + 4. Does 22 divide v + 66 + (1 - 1)?
True
Let a = -10 - -10. Suppose a = -4*z - 1 + 13. Suppose z*x = 6*x - 45. Is x a multiple of 15?
True
Suppose -2*v + 2 + 30 = 0. Let c be v/9 - 4/(-18). Suppose 70 = c*b + 4*t, 0 = -2*b + 5*b + 3*t - 108. Does 18 divide b?
False
Suppose 5*w = -c - 3*c + 656, 0 = 3*c - 3*w - 492. Suppose 0 = 5*s - c - 216. Is 19 a factor of s?
True
Let f(z) = 338*z**3 + 2*z**2. Does 15 divide f(1)?
False
Let r(o) = -o**3 + 18*o**2 - 39*o + 27. Is r(13) a multiple of 5?
True
Let d(o) = -2*o - 6. Let z be d(-4). Let n = z - -6. Suppose -56 = -n*x + 6*x. Is x a multiple of 14?
True
Let t be (2/4)/(5/20). Suppose 2*y - t = 6. Suppose -y*d = -65 + 5. Is 5 a factor of d?
True
Let w = 204 - 35. Is w a multiple of 76?
False
Let d(j) be the third derivative of j**4/24 + 2*j**3 + 4*j**2. Let v be d(-5). Is 348/v + 8/28 a multiple of 29?
False
Let v be -2*2/(-12) + (-15)/(-9). Suppose -575 + 228 = -2*m - 3*p, v*p + 501 = 3*m. Is m a multiple of 13?
True
Let p = -393 - -581. Is p a multiple of 47?
True
Let l = 920 - 358. Suppose 3*x + 202 = l. Does 12 divide x?
True
Suppose 0 = -2*j - 3*o - 3, 13 = -2*j - j + 4*o. Let u be j + 1 - -3*18. Suppose -3*s + 2*n = n - u, 5*n + 20 = 0. Is s a multiple of 16?
True
Suppose 0 = 4*s - a + 66, -3*a - 72 = 5*s + a. Let i = -21 - s. Does 16 divide (134/7)/(i/(-35))?
False
Suppose 5*o - 147 = 2*o. Suppose w + 13 = o. Suppose 3*g + 0*g = w. Is 6 a factor of g?
True
Suppose -v = 2, -5*a + 2*v = 453 - 1257. Is a a multiple of 21?
False
Suppose 0 = -2*l + 1 + 9. Let t(h) = 3*h**3 + 4*h**2 - 6*h + 1. Let z(q) = -4*q**3 - 3*q**2 + 6*q. Let m(x) = 5*t(x) + 4*z(x). Is 25 a factor of m(l)?
True
Let j(x) = -x + 6. Let r be j(-6). Suppose r*u = 8*u + 520. Does 7 divide u?
False
Suppose -52*h + 19*h + 64152 = 0. Is h a multiple of 9?
True
Let f(i) = 5*i**2 + 2. Let y be (0 - 0)/(-1 + 3). Suppose 0 = -5*q - 3*o - 25, -4*q - 3*o + 2 - 25 = y. Does 11 divide f(q)?
True
Suppose -10*a - 636 = -4416. Does 63 divide a?
True
Let n(o) = 32*o**2 + 9*o - 11. Let q be n(-8). Suppose 2*h = -3*h + q. Suppose -y - 5 = -2*x - 88, -5*y = x - h. Is 21 a factor of y?
False
Let n = 1214 - 339. Does 35 divide n?
True
Let t = -5 - -25. Suppose 12 = -33*j + 39*j. Let s = j + t. Is s a multiple of 4?
False
Suppose -4*o + 8 = 0, 2*d + 2*o - 158 - 782 = 0. Is d a multiple of 14?
False
Let a(h) = -h - 15. Let k be a(-14). Does 10 divide -1 + k + (-415)/(-5)?
False
Let c = 16 + -16. Suppose 4 = 4*w - 4*s, 3*w + 4*s + s - 35 = c. Suppose -w*q + 150 = -2*j, -103 = -2*q - 3*j - 24. Is 13 a factor of q?
False
Suppose 2*c = -3*f + 1032, c + 1067 = 4*f - 298. Is f a multiple of 8?
False
Suppose 2*d = 5*f - 18 - 1, 0 = -5*d + 3*f. Suppose -4*a + 383 = -5*v, 2*v - 143 - 71 = -2*a. Let r = d + a. Is r a multiple of 21?
True
Suppose 15 = 16*n - 13*n. Let z be 11*-1*(-3 + n). Let g = z - -104. Is g a multiple of 17?
False
Let w(b) = -b**2 - 30*b - 32. Suppose -3*h - 56 + 14 = 0. Does 28 divide w(h)?
False
Suppose 5*m - 4*f - 879 = 0, f + 3*f - 171 = -m. Is 9 a factor of 1*2 - m/(-7)?
True
Let q(s) = -5*s - 2. Let t be q(-1). Suppose 2*d = -5*h + 3 + 36, 2*d - 15 = t*h. Is (-18 - 0)/(d/(-8)) a multiple of 3?
True
Let q(u) = -9*u**2 + 9*u + 21. Let o(n) = 5*n**2 - 5*n - 11. Let v(h) = -7*o(h) - 4*q(h). Is v(