ose f - 2 = -0. Let o(s) = 3*s**2 + 5*s - 2. Does 20 divide o(f)?
True
Let z be 4/(-6)*(-1 - 5). Let v(r) = r**2 - 7*r - 57. Let a be v(-6). Suppose -z*s + s = -a. Is s a multiple of 2?
False
Let h(o) = -o**2 - o + 5. Let g be h(0). Suppose 5*r + 4*b + 19 = 460, 0 = 5*b + g. Let z = 149 - r. Is 15 a factor of z?
True
Suppose 4*m - 5*s = 215, s + 160 = 3*m - 3*s. Suppose 10*f - m = 8*f. Is f a multiple of 10?
True
Suppose -15 = -2*v + 7. Let f = 5 + -3. Suppose v = f*k - 141. Is k a multiple of 17?
False
Let v(p) = 21*p. Let a be v(-1). Let n = a + 63. Is 40 a factor of n?
False
Let g(i) = -3*i - 12. Let a be g(-5). Suppose -42 = -2*q - a*d, 59 = 4*q + q - 4*d. Is q a multiple of 3?
True
Let r(l) = l**2 - 27. Let k = -20 + 33. Is r(k) a multiple of 15?
False
Suppose -5*p = 4 - 44. Let n be p + -8 - 2/(-1). Suppose n*a - 19 = a. Is a a multiple of 19?
True
Let s(g) = 4*g - 52. Is 6 a factor of s(19)?
True
Is 13 a factor of ((-1875)/45)/(2/(-6))?
False
Let m be (-9)/6*68/(-6). Suppose -m = -5*s + 3. Is 2 a factor of s?
True
Let x = 3 + -1. Suppose -9 - 19 = -x*u. Let q = u + 22. Is q a multiple of 9?
True
Let c(h) = h**3 + 2*h - 4. Let s be c(0). Is (-57)/(9/(-3)) + s a multiple of 4?
False
Let n(t) = -t**3 - t**2 + 5*t - 3. Let p be 1/2 + 132/(-24). Is n(p) a multiple of 12?
True
Let l(h) = 4*h**3 - 5*h**2 + 3*h - 2. Let a be l(3). Let b(c) = -c**2 - 8*c - 5. Let p be b(-5). Is 74/p - 28/a a multiple of 7?
True
Let h(k) = 9*k**2 - 6*k - 13. Is h(6) a multiple of 49?
False
Suppose -3 = -2*t + 13. Suppose -t = -4*k + 8. Suppose r - k*r = 3*p - 126, -5 = r. Does 9 divide p?
False
Suppose -2*r - 8 = -3*r. Is 0 + (4 - r) + 88 a multiple of 21?
True
Let c(u) = -u**3 - 25*u**2 - 33*u + 36. Is 14 a factor of c(-24)?
True
Let l(j) = 623*j - 445. Does 82 divide l(4)?
False
Is ((-3)/(-5))/(13/455) a multiple of 2?
False
Let w(u) = u**2 - 2*u + 7. Let b be w(8). Suppose 3*d + 3*a - 27 = 0, 5*d - 8*a = -3*a + b. Suppose -2*t = -3*q + 117, 68 = 2*q - 5*t - d. Is 13 a factor of q?
True
Let h(a) = -2*a**2 - 4. Let x be h(3). Let u = x + 25. Suppose -3*b = -3*g + 57, 4*g + 8*b - 94 = u*b. Does 7 divide g?
True
Let r = -376 + 531. Let h = -108 + r. Is h a multiple of 7?
False
Let a(o) = -4*o**2 - 5*o - 7. Let s be a(-6). Let n = -79 - s. Let b = -22 + n. Does 20 divide b?
True
Is 69 a factor of 2466 + (-7 - -8)/1?
False
Let v = -82 + 305. Does 41 divide v?
False
Let g = -11 + 14. Suppose -4*q + 3*c = -99, 0 = -5*q + 4*q - g*c + 36. Suppose -k + 0*k = -q. Is k a multiple of 8?
False
Let d be (-5 + 4)/((-4)/(-16)). Does 15 divide d/6 + 1222/6?
False
Is 71 a factor of (-4)/(192/18)*-8 - -511?
False
Suppose -30*d + 1986 = -27*d. Is d a multiple of 23?
False
Let q(u) = 19*u**2 - 3*u + 3. Let c be q(-4). Let b = c + -215. Is 13 a factor of b?
True
Suppose -3*i - 14 = 2*h - 0*i, i - 1 = 5*h. Let f be -1*(-2*33)/h. Let n = 97 + f. Does 23 divide n?
False
Suppose 5 = o - 2*o + 5*y, 2*o + 3*y = 3. Is 24 a factor of o + (12/(-3) - -111)?
False
Suppose 4*p - 43 = 857. Is p a multiple of 3?
True
Let r(j) = 3*j**2 + j + j + 10 - 2*j**2 + j. Is r(-7) a multiple of 13?
False
Let j(a) = 10*a**2 - 3*a - 14. Does 2 divide j(-3)?
False
Let a = -4 + 8. Let o(k) = 16*k**3 - k**2 + 11*k - 11. Let c be o(1). Suppose 9*p = a*p + c. Does 3 divide p?
True
Let a(k) = 323*k - 21. Does 13 divide a(2)?
False
Suppose -c + 0 = 4*a - 19, 0 = 3*c - 2*a - 1. Suppose -476 = y - 5*y + 4*q, c*q = 6. Let r = -83 + y. Does 8 divide r?
False
Is (-96)/24 + 0 + 472 a multiple of 26?
True
Suppose 25*b - 13*b = 11196. Is b a multiple of 12?
False
Let p(n) = -2*n**2 + 12*n. Let q be p(-7). Let z = -144 + 18. Let l = z - q. Does 8 divide l?
True
Suppose m - 16 = -2*m - u, -4*m = -4*u - 16. Suppose 2*c = -m*n + 159, -4*n - 227 = c - 4*c. Suppose 4*h - c = 7. Is h a multiple of 3?
True
Let k(h) = h**3 + 8*h**2 - 2*h - 3. Let l be k(-8). Let g = l - 28. Is 16 a factor of (-5)/g - 47/(-3)?
True
Let l = -3633 - -5299. Does 20 divide l?
False
Let o = -1243 - -1444. Does 85 divide o?
False
Is 21 a factor of 158/(-10*(-9)/450)?
False
Let d be -1 + -7 - (-2 + 2). Let r be 9 + d + 2/1. Suppose -r*j + 65 = -4*f, -2*j - f + 116 = 3*j. Does 6 divide j?
False
Let x(c) = 3*c**2 - 10*c + 20. Suppose -4*o - 2*n + 34 = 0, -3*n + 33 = 3*o + 3. Is 27 a factor of x(o)?
False
Does 31 divide 2/16 + (-6 - 136037/(-88))?
False
Let k = -178 - -296. Let c = k - 88. Is 10 a factor of c?
True
Let k be -1 - (-2 + (-15 - -3)). Let r be (-2)/k - 1722/(-39). Suppose -m + 80 = 4*m - 5*l, -4*l = 2*m - r. Is m a multiple of 8?
False
Suppose d + 3 = 2*x - 2, -5*d = x + 47. Does 19 divide (38/3)/((-2)/d)?
True
Let q be 12/(-3) - (-121)/1. Suppose 81 = -6*f - q. Let g = f + 73. Does 11 divide g?
False
Let w(z) = z**2 - z - 4. Let i be w(3). Suppose i*v = g + 3*v - 81, 5*v - 5 = 0. Suppose l + 5*t = g, t - 4*t + 303 = 4*l. Is l a multiple of 25?
True
Let j = -194 - -938. Is j a multiple of 12?
True
Suppose -5*p + 3*h + 848 = 139, -4*h + 408 = 3*p. Let o = p - 106. Is 18 a factor of o?
False
Suppose u - 5 = -h, 3*h + 12 = 5*h + 3*u. Is h + (-2)/((-8)/92) a multiple of 7?
False
Let q(x) = -290*x + 105. Does 55 divide q(-4)?
True
Suppose 0 = -4*x + x. Suppose i + 5*z - 1 = -16, x = -3*z - 15. Does 4 divide i*(-1 - (-1 + -2))?
True
Let o = -59 - -89. Does 5 divide o?
True
Let q(p) = p**3 + 12*p**2 + 8. Let y be q(-12). Is 15 a factor of 1815/20 + 2/y?
False
Let y = 4166 + -1887. Is 43 a factor of y?
True
Let z = 1213 + 1041. Does 98 divide z?
True
Let n(r) be the first derivative of r**4/2 - 2*r**3 + r**2/2 - r - 6. Is n(4) a multiple of 6?
False
Let x(m) be the first derivative of 15*m**4/4 - 2*m**3/3 - m**2/2 + 3*m - 19. Is x(2) a multiple of 52?
False
Let m(i) be the third derivative of -25*i**4/24 + i**3/3 - i**2. Let o(b) = -12*b + 1. Let y(n) = -3*m(n) + 7*o(n). Is y(-1) a multiple of 3?
False
Suppose 2*g + 3*z = -0*z + 29, 4*g = -5*z + 61. Is g a multiple of 4?
False
Suppose 0 = -26*z + 28*z - 178. Let j = z - 59. Is 20 a factor of j?
False
Suppose -4*z + 16 = 3*b, -5*z - 4*b + 20 = -0*b. Suppose 2*n + z = -0, 3*n = 4*p - 382. Is p a multiple of 12?
False
Let m be -2 + (1 - -2 - -29). Suppose m = 3*v - 15. Is 4/(-2) + v + 2 a multiple of 5?
True
Let h be 3 + (78 - (-16)/4). Let c = h + -70. Is c a multiple of 2?
False
Let j be ((-45)/27)/(2/(-72)). Suppose j = d + 4*d. Is 4 a factor of d?
True
Let s(a) = a**3 + 11*a**2 + 10*a + 4. Let l be s(-10). Suppose -q + 20 = l*q. Suppose -2*t + 188 = q*h, 3*t = -4*h + 99 + 91. Does 14 divide h?
False
Let q(x) = -x**3 + 9*x**2 + 13*x - 5. Let a be q(10). Let l = 28 - a. Is l a multiple of 2?
False
Let h = 161 + -110. Let o = h + -32. Let k = o - 9. Does 6 divide k?
False
Let n(b) = 19 + b**3 + 7*b**2 + 2*b - 12*b - 32. Is 2 a factor of n(-8)?
False
Suppose -1012 = -5*o - 2*q + 432, 2*q = -o + 292. Suppose -s - s + o = 0. Does 24 divide s?
True
Let s(f) = -5*f - 2. Let u be s(4). Let q = 14 + u. Is 4 a factor of 4/(-6)*(q + -10)?
True
Suppose j = -j + 8. Suppose 0 = -g + j*g + 5*m + 31, 2*m - 8 = 0. Let u = g + 53. Is 6 a factor of u?
True
Suppose -2*k + 5*w + 636 = 0, -5*k + 1258 = -k - 3*w. Suppose 2 = 2*p, -3*p = -c - 3*c + k. Does 27 divide c?
False
Let b(t) = -t**3 + 18*t**2 - 19*t + 35. Let u be b(17). Let n(c) = 199*c**3 - c**2 + 2*c - 2. Is 19 a factor of n(u)?
False
Let t be ((-16)/6 - 0)*(-12)/8. Suppose 261 = 2*y - 3*q, 4*y + 147 = 5*y + t*q. Is y a multiple of 45?
True
Suppose 4*m - 1535 = -3*d, -2*m + 780 = d + 3*d. Does 19 divide m?
True
Let k be (147/98)/((-6)/28). Let w(o) be the second derivative of o**4/12 + o**3 + o. Does 3 divide w(k)?
False
Let g(i) = -45*i**3 + 2*i - 1. Is 5 a factor of g(-2)?
True
Let s be 52/(-91)*14/(-4). Suppose s = -k - 0, 0 = 4*i + 3*k - 142. Is i a multiple of 10?
False
Let s(j) = -j**2 - 8*j - 2. Let a be s(-6). Let r = a - 0. Does 4 divide r?
False
Suppose h = 5*v + 2*h - 153, 5*v = 4*h + 163. Let r = v - 51. Is 8/20 + (-352)/r a multiple of 12?
False
Let l = -40 - -37. Let g(h) = 4*h**2 - 3*h + 3. Does 8 divide g(l)?
True
Is 2*(8 + -5) - 26*-119 a multiple of 25?
True
Let t = 16 + -16. Is 53 a factor of (-159)/(1 - (2 - t))?
True
Let c be (1 - 64) + (-3 - 0). Let h = 152 + c. Let m = -56 + h. Is m a multiple of 30?
True
Suppose 6*p - 10*p = -240. Suppose 