. Suppose -3*g - 4*w = w - 33, 4*w - 42 = -5*g. Does 10 divide p(g)?
False
Let s be 12*-8 - (6 + -3). Let c = -18 - s. Suppose 0*x + c = 3*x. Is x a multiple of 9?
True
Suppose 3*w = -2*w + d - 198, 0 = -2*w + 3*d - 74. Let c = 94 + w. Is c a multiple of 21?
False
Let o(t) = -t**3 + 4*t**2 + 3. Suppose b = -3*b - 2*s + 22, -12 = -3*b + 3*s. Suppose 0 = 5*r + 2*q - b, -r = r + 5*q + 19. Is o(r) a multiple of 6?
True
Let y(g) be the first derivative of 7*g**2 - 21. Does 14 divide y(9)?
True
Suppose 23*s = -5*u + 27*s + 3610, -3*s + 2193 = 3*u. Does 22 divide u?
True
Let c(q) = -27*q - 3. Let b be c(3). Is (170/(-8))/(21/b) a multiple of 5?
True
Let h(q) = q**2 - 8*q - 9. Let x be h(9). Suppose 2*z - 4*o - 18 = x, 3*z - o = 2*o + 18. Suppose 2*f + z*f = 40. Does 4 divide f?
True
Let y be (-2)/(-6) + 2/(-6). Suppose 34 = -3*v - v - w, 2*v + 4*w + 24 = y. Let j = 17 + v. Does 4 divide j?
False
Let k(z) = -z**3 + 7*z**2 - 6*z. Let q be k(4). Suppose -2*f + q - 4 = 0. Is f a multiple of 5?
True
Let t be -2 - (-8)/(8/2). Suppose -2*u - 2*k - 10 = 0, -2*u + t*u + 2*k = -6. Is 11 a factor of 29 + (u - -4) - -1?
True
Suppose -18*n + 15*n = 0, -5*i = -n - 190. Is i a multiple of 19?
True
Let k = -737 + 1104. Is k a multiple of 21?
False
Suppose 3*y = -2*l + l + 34, 0 = -5*y - 10. Let r = 72 - l. Is r a multiple of 8?
True
Let t be 6/(-18) + (-20)/(-6). Suppose 23 = t*u + 8. Suppose u = 5*d - 30. Is d even?
False
Let k = -22 - -34. Does 7 divide 4*(-3)/k + 43/1?
True
Suppose 0 = 89*o - 372006 + 93258. Does 27 divide o?
True
Suppose -7*z - q + 170 + 2019 = 0, 4*z + 3*q = 1246. Is 30 a factor of z?
False
Let g = 793 + -121. Does 14 divide g?
True
Suppose 4*g + 1608 = -5*x + 9416, 2*g + 2*x - 3904 = 0. Does 15 divide g?
False
Let r(q) = q**3 + q**2 - 6*q. Let d(f) = -f + 1. Let j(v) = 6*d(v) - r(v). Let x(n) = -n**2 + 8*n - 7. Let g be x(7). Does 3 divide j(g)?
True
Let y(p) = 25*p**3 - 5*p**2 + 6*p - 10. Let b(h) = 24*h**3 - 4*h**2 + 5*h - 9. Let n(o) = 4*b(o) - 3*y(o). Does 28 divide n(2)?
False
Suppose f + l - 117 = 0, 2*l - 9 = -3. Let v = f - 98. Is 6 a factor of v?
False
Let u = 1166 - 822. Suppose -20*x = -16*x - u. Does 14 divide x?
False
Let j be (-7)/35 + 81/5. Let y be 260/j - 6/(-8). Suppose 0*p - p = -y. Does 7 divide p?
False
Let b be (-422)/(-22) - 2/11. Let o = b - -4. Is o even?
False
Let n = 63 - 58. Let a(m) be the third derivative of -m**5/60 + 7*m**4/24 + 2*m**3/3 + m**2. Is 14 a factor of a(n)?
True
Suppose -7*w + 2*p = -17573, 0 = -4*w - 2*p + 6*p + 10036. Is 9 a factor of w?
True
Let y be (12/(-30))/((-4)/(-10)). Is 2 a factor of ((-2)/4)/(y/24)?
True
Let f(i) = i**3 - 2*i**2 - 6*i + 2. Let o = 2 - -2. Does 5 divide f(o)?
True
Let r be (-8 + 0)*(38 - 18). Let d = 5 - r. Is 11 a factor of d?
True
Let s = -8 - -12. Let i(y) = 4*y - 11. Let t be i(s). Suppose -t*w = -2*w - 45. Is 3 a factor of w?
True
Let d(m) = -m**2 - 3*m + 3. Let a be d(5). Let s = 81 + a. Suppose -5*l = 0, -4*k + 196 + s = -5*l. Is k a multiple of 15?
True
Let w(i) be the second derivative of i**5/20 + 2*i**4/3 - i**3/6 + 2*i**2 - 44*i. Does 60 divide w(-7)?
True
Let f be 2/8*4 - -2. Let x(j) = -3*j**3 + 5 + j**3 + 24 - j + 3*j**f. Is 18 a factor of x(0)?
False
Suppose -2*o + 3 = -3*o. Let l(m) = m**3 + 4*m**2 + 2. Let u be l(o). Is 11 a factor of u/(1 - (-6)/(-7))?
True
Let y = -1953 + 1922. Suppose 0 = -5*h - 0*w + 2*w + 284, -3*h - 4*w + 186 = 0. Let z = h + y. Is z a multiple of 27?
True
Let i(g) = 6*g**2 - 30*g + 20. Let d(l) = l**2 - 6*l + 4. Let b(n) = 11*d(n) - 2*i(n). Is 2 a factor of b(-3)?
False
Let k(i) be the second derivative of -i**4/12 - i**3/6 + 32*i**2 - 14*i. Is k(0) a multiple of 12?
False
Suppose -v + 3*s = -4, -4*v - 2*s + 3*s = -60. Suppose 2*n - 68 = -2*u, 0 - v = 4*u. Is n a multiple of 38?
True
Let s = -195 + 470. Is 4 a factor of s?
False
Suppose 0 = -l + 2*i + 594 - 110, -4*l + 3*i + 1936 = 0. Does 22 divide l?
True
Let j be (9/6)/(1/2). Is ((-21)/7 - -72)*1/j even?
False
Let u(n) = 5*n - 238. Let x be u(48). Let c = -14 + 64. Suppose -x*k = -c - 62. Is 14 a factor of k?
True
Let k(t) = -t**2 + 6*t + 17. Let p be k(9). Let w(u) = -u**2 - 7*u + 23. Let g be w(p). Is 40 a factor of 105 + (-7)/(g/(-3))?
False
Let r(g) = -g**2 + 2*g + 38. Let z be r(7). Does 16 divide (z - -253)/(2 - 1)?
True
Let g(s) = 13*s - 2. Suppose -2*r + 9 = r. Is 6 a factor of g(r)?
False
Let a = 1 + -5. Let r(x) = 3*x**2 - x + 3. Let w be r(a). Suppose 4*y + 5*s - w = -0*y, 0 = 4*y - 5*s - 65. Is y a multiple of 6?
False
Let y(f) = 4*f**3 - 2*f**2 - 3*f + 3. Let g be 15/(-10)*(-16)/12. Let k be y(g). Suppose 5*i = -2*u + 89, -4*i + 95 + k = 3*u. Is 9 a factor of u?
False
Suppose 3*g + 0*g = 9. Suppose g*w = 5*l - 70, w + 1 = 5*l - 9. Let h = -9 - w. Is 4 a factor of h?
False
Let m = 11 - -22. Suppose -m = -d + 140. Let h = -83 + d. Does 30 divide h?
True
Suppose 3*b + 2*b + 4*i = -300, -b + 4*i = 36. Is 5 a factor of ((-60)/14)/(12/b)?
True
Let g be 412/3 - 8/168*7. Let q = g + -107. Is q a multiple of 6?
True
Let j(i) = -31*i**3 - 3*i**2 + 2*i. Let y be j(1). Let w = -2 - y. Is w a multiple of 15?
True
Suppose -4*p + 44 = -i - 3*i, p - 19 = 5*i. Let a(o) be the second derivative of -o**5/20 + 2*o**4/3 + 3*o**3/2 + 3*o**2 + 41*o. Is a(p) a multiple of 5?
False
Suppose -5*j + 324 = -0*j + 3*k, 0 = -3*j + 4*k + 206. Let q be (8/(-24))/((-2)/j). Let w(g) = -g**3 + 12*g**2 - 10*g + 8. Is w(q) a multiple of 6?
False
Let r = 21 - -15. Is 6 a factor of r?
True
Suppose 254 = 2*y - 70. Does 18 divide y?
True
Let h = -94 + 248. Let p = -10 - -15. Suppose 5*q - w - w - 184 = 0, 4*q = p*w + h. Does 12 divide q?
True
Does 21 divide 3 + (4/4)/1 - -214?
False
Let m be ((45/6)/(-5))/(8/16). Is 24 a factor of (19312/102)/((-2)/m)?
False
Let c be (-4)/18 + 6702/27. Suppose -325 = -11*k + 918. Suppose 4*b - 195 = -5*a + k, 4*b - c = -4*a. Does 30 divide a?
True
Suppose 5*q - 235 = -5*k, 6*q - 4*q + 221 = 5*k. Does 15 divide k?
True
Let f be (-4)/(1/2*-4). Suppose -4*b + f*s = -186, b + 0*s = 3*s + 39. Let v = 83 - b. Is 14 a factor of v?
False
Suppose 0 = 578*x - 586*x + 9000. Is x a multiple of 75?
True
Let c(x) = -936*x - 4. Does 8 divide c(-1)?
False
Let h(d) = 8*d**3 + 3*d**2 - 12*d + 66. Does 10 divide h(6)?
True
Let d(z) = -z + 7. Let v be d(4). Suppose 0 = -v*b + 56 + 109. Is b a multiple of 11?
True
Suppose 5*g + 18 = -2*x, 2*g + 10 = 5*g - 4*x. Let z be 25 - (2 - (-1 - -1)). Let u = g + z. Is 8 a factor of u?
False
Let p = 223 - 82. Let n = p + -54. Is 22 a factor of n?
False
Is 40 a factor of 0/1 - (14 + -17 + -2507)?
False
Let o(p) = 7*p**3 + 3*p + 5. Does 29 divide o(3)?
True
Suppose 0 = -3*v + 5*k + 294, -4*v - 13*k + 360 = -9*k. Is 31 a factor of v?
True
Let x(q) = 9*q - 5. Let b be x(3). Let g = -26 - b. Let t = g - -83. Does 5 divide t?
True
Suppose 38*b - 3200 - 30 = 0. Does 5 divide b?
True
Suppose c = 4*x + 136 - 30, -3*c + 4*x = -278. Suppose -5*w + 264 = -c. Is 14 a factor of w?
True
Suppose 0 = -5*b + 2*b. Suppose b = -4*l + 162 - 38. Suppose -5*z + l = 4*f, -5*f = z - 24 - 41. Is f a multiple of 2?
True
Suppose -49 - 2399 = -16*p. Let l = p + -128. Is l a multiple of 11?
False
Suppose -3 = -4*n + 13. Suppose p = n*p - 240. Is 40 a factor of p?
True
Let i = 106 - 31. Does 15 divide i?
True
Suppose -4*k = -2*n + 16, 5*n = -3*k + 9 + 5. Let m be (k + -1 - 6)*1. Let z(y) = -3*y + 15. Does 10 divide z(m)?
False
Suppose -396 = -7*p + 3*p. Does 21 divide p?
False
Let b(m) = -3*m**2 - 76*m + 123. Is b(-26) even?
False
Is 5 a factor of 11/((-33)/6) - (-48)/1?
False
Suppose 6*q + 20 = 2*q, -2*f + 4*q + 2176 = 0. Is f a multiple of 63?
False
Suppose -2924 = -5*l + 2*c, 3*l = 5*l + 4*c - 1160. Suppose l + 325 = 9*x. Does 17 divide x?
False
Let w be 5/(10/2) + -1. Suppose -4*c + w*c = -408. Is 34 a factor of c?
True
Let c(t) = 7*t + 1. Let z be c(4). Let i(r) = -2*r**2 - 15*r + 118. Let v be i(-13). Let g = v + z. Does 4 divide g?
True
Suppose -5*f = q - 1010, -q = f - 3*q - 202. Let s = f - 67. Is s a multiple of 27?
True
Let c be 10/(-8)*(-72 - 0). Let l = c - 52. Is l a multiple of 11?
False
Suppose -18*w = -11*w - 1568. Does 14 divide w?
True
Let x = -3108 + 4803. Is 15 a factor of x?
True
Let s = -36 + 40. Suppose -5*x = -3*v + 45, 0 = -4*v - x + s*x + 60. Is 15 a fac