, -q = -5*c - 4*o. Is c a multiple of 25?
False
Let b(o) = 3*o**2 - o**2 - 7*o + 3*o + 2*o. Is b(4) a multiple of 6?
True
Suppose o + 1058 = 2*f, 0 = -3*f + 5*o + 766 + 828. Is f a multiple of 6?
True
Suppose 0 = c - 5*r - 23 - 6, 0 = -4*c - 3*r + 1. Suppose -3*j + 80 = -2*o - 38, -3*j = -c*o - 122. Does 4 divide j?
False
Let v be -18*(4 - (-26)/(-6)). Suppose v*b = 5*b + 2. Suppose 7*a - b*a = 270. Is a a multiple of 12?
False
Let z = 10 + -16. Let r be 4 - (-2 + z/(-3)). Suppose -5*s + 29 = r*t, -7*t = 5*s - 2*t - 30. Is s even?
False
Let i(k) be the first derivative of 9/2*k**2 - 7 - 11*k. Is i(7) a multiple of 13?
True
Let z(w) = -w**3 + 10*w**2 + 11*w + 6. Let u be z(11). Is -6*(0 + (-93)/u) a multiple of 10?
False
Let l(d) be the second derivative of -d**3/6 + 28*d**2 + 22*d. Is l(10) a multiple of 15?
False
Let f(m) = -m**2 + 22*m + 1. Let x be f(22). Is 20 a factor of ((132/15)/x)/((-3)/(-15))?
False
Suppose -5*q - 71 = 3*r - 531, 3*r = 5*q + 410. Is 5 a factor of r?
True
Let w = -104 + 158. Let m = w + -6. Is 6 a factor of m?
True
Let n = -19 + 13. Is (10/n)/(1/(-42)) a multiple of 35?
True
Let k be 206 + (4 + 0)*-1. Suppose -4*y + 116 = 2*p - 0*p, -2*y = 4*p - k. Is p a multiple of 12?
True
Suppose 0 = 5*i + 21 + 9. Let z = 14 + i. Let r = 2 + z. Is 5 a factor of r?
True
Let r(p) = -p**3 - 3*p**2 + 9*p - 1. Let d be r(-5). Suppose 2*m + 48 = d*t + 184, m - 3*t = 65. Does 12 divide m?
False
Let u = -29 - -776. Does 15 divide u?
False
Suppose -4*w - 8 = -6*w. Let u(b) = -b**2 + 7*b - 10. Let z be u(w). Suppose -z*o = -16 + 2. Is o a multiple of 2?
False
Let c = 2173 + -1252. Is 11 a factor of c?
False
Does 23 divide ((-24)/18)/((-2)/2070)?
True
Let m(r) = 4*r**2 + 19*r - 24. Is 6 a factor of m(-10)?
True
Suppose 635 = 5*c + 5*t, 0 = 5*c + 2*t + 18 - 644. Let g = c - 70. Is 18 a factor of g?
True
Let u = 15 - -131. Does 27 divide u?
False
Let s = -42 + 53. Suppose 160 = s*m - 3*m. Is 6 a factor of m?
False
Let p be -1 - (-1 - (29 - -3)). Suppose -4*u - 4 = p. Let q = u - -23. Is 7 a factor of q?
True
Let b = 590 + -188. Does 4 divide b?
False
Let h = -21 + 45. Let b = 280 - h. Does 16 divide b?
True
Is 33 a factor of (-13)/(-8 - -21) + (-1420)/(-2)?
False
Let b be (-440)/(-198) - 2/9. Suppose -b*l + 2*p + 326 = 0, -p = 4*l + 3*p - 668. Is l a multiple of 26?
False
Suppose 3*m = 5*v + 1624, -37*v + 41*v = 16. Does 11 divide m?
False
Suppose 1882 = f - 2*d, d = -32*f + 34*f - 3755. Is 14 a factor of f?
True
Suppose 107*b = 24*b + 153384. Is 11 a factor of b?
True
Let g(w) = 2*w**3 + 23*w**2 + 9*w - 12. Let d(a) = 3*a**3 + 34*a**2 + 14*a - 18. Let x(y) = 5*d(y) - 7*g(y). Let c be x(-8). Does 18 divide (2/c)/(6/198)?
False
Let v be (12/5 - 2) + 377/145. Let l(m) = -m**3 - 5*m**2 - 2*m - 5. Let j be l(-5). Let c = v + j. Does 4 divide c?
True
Suppose -66 = f - 3*f. Let u be (-1100)/f*12/(-10). Suppose -2*g + u = -h + 2*h, -g = -h + 43. Is 23 a factor of h?
False
Suppose 0 = 7*w - 5 - 9. Let f(j) = -3 - 47*j**w + j**3 + j + 3*j + 48*j**2. Does 10 divide f(3)?
False
Let t = 9 - 18. Let d = 9 + 25. Let h = t + d. Does 7 divide h?
False
Suppose -d = 3*k + k + 2345, 0 = 5*k + 25. Let a be d/135 + 2/9. Let l = -5 - a. Is 5 a factor of l?
False
Let x = -1014 - -1123. Is x even?
False
Let i = 39 + -70. Does 6 divide 1*(-2 + -2) - i?
False
Suppose 3*z - 126 = -4*l + 34, -l = 3*z - 175. Is z a multiple of 39?
False
Let x(b) = -b**3 - 19*b**2 - 23*b - 40. Does 63 divide x(-20)?
False
Let k = 19 - 19. Does 5 divide -4 + 12 + k - 2?
False
Suppose 3*a + a = -28. Suppose 5*q + 5*j = -35, -q - 26 = 4*j - 4. Let n = q - a. Does 5 divide n?
True
Suppose 3*w - 4*c = 2*w + 1784, 2*w + 2*c - 3608 = 0. Does 15 divide w?
True
Suppose -3*g = -0*c - 3*c - 66, 0 = 2*g - 4. Let n = c - -60. Is n a multiple of 8?
True
Let x be (1 - 2)*((-18)/1)/(-3). Does 24 divide (14/x)/((-2)/144)?
True
Let h(d) = -d + 13. Let q be h(5). Does 5 divide (-33)/22*q/6 - -25?
False
Let k = 9 - 20. Let a be (-33)/k + 0 + 0. Suppose 19 = -a*g + 94. Does 7 divide g?
False
Let p(l) = -l + 13. Let c be p(-10). Let i = -18 + c. Suppose -m + 140 + i = 2*s, 0 = 2*s + 3*m - 143. Does 27 divide s?
False
Let x(w) = -190*w**3 + 2*w**2 - 65*w - 197. Does 16 divide x(-3)?
False
Suppose 2*r = -2*r + 8. Suppose r*m + 48 = -98. Let q = m + 110. Does 18 divide q?
False
Let k(y) = 12*y - 8. Let z(d) = 95*d - 65. Let h(j) = 25*k(j) - 3*z(j). Is 5 a factor of h(4)?
True
Suppose -15*k + 10*k = 225. Let a be (-3320)/k + 2/9. Does 4 divide a*4/(-40)*-5?
False
Is 13 a factor of (72/(-92))/9 + 3889/23?
True
Let a be (2 - 0)/(8/(-108)). Let l = a + 52. Suppose -5*j + 25 = -l. Is 4 a factor of j?
False
Let p(w) = w**3 + 11*w**2 - 10*w - 1. Let c be p(-7). Suppose c = -r + 6*r. Does 12 divide r?
False
Let b = 53 + -65. Suppose -4*a - 63 = 13. Let g = b - a. Does 7 divide g?
True
Let a = 28 - 26. Suppose -6*t + 352 = -a*t. Does 14 divide t?
False
Let j(r) = -29*r + 8. Is j(-16) a multiple of 39?
False
Let g = 56 + -52. Suppose -154 = -g*h + q, -4*h + h + 4*q = -109. Is 11 a factor of h?
False
Suppose -4*o + 3*c = -331, 6*c - 5*c = 4*o - 337. Does 60 divide o?
False
Let c be (60/(-8))/(3/(-6)). Suppose 0 = 4*t - 4*k - 37 - 7, 5*k = c. Does 3 divide t?
False
Suppose 86*l - 64*l = 53856. Is 68 a factor of l?
True
Suppose -5*g - 11 + 1 = 0. Let x(i) = i**2 - i - 1. Let d(q) = 18*q**2 + q + 2. Let h(c) = d(c) - x(c). Does 29 divide h(g)?
False
Let c = 566 - 366. Let a = -167 + c. Does 19 divide a?
False
Let b be (3/(-2))/(-2*(-6)/(-16)). Let x = 9 + -27. Does 3 divide (b + 0)/((-12)/x)?
True
Let v be (1 - 1) + (-20)/(-10). Let y(q) = 5 + 6*q - 3*q - v*q + 2*q**2. Does 18 divide y(-3)?
False
Suppose 3*b - 442 = 2*d, -46*b + 45*b - d + 139 = 0. Is b a multiple of 4?
True
Suppose m = -0 - 6. Let d(b) = 1 + 0*b + b**2 + 20*b - 8*b - 7*b. Does 7 divide d(m)?
True
Let o be -8*(-201)/(-36)*-3. Suppose -3*n + o = -169. Is 18 a factor of n?
False
Let o = 1169 - 17. Does 24 divide o?
True
Let m(f) = -f**2 + 18*f + 7. Suppose -3*d + 0*d + 51 = 0. Is m(d) a multiple of 24?
True
Let i = 86 - -322. Suppose -3*l + 198 = 3*s, 4*s + 74 = -5*l + i. Is l a multiple of 10?
True
Suppose 5*n - 87 = -4*j + 113, -4*n = -16. Let l = 69 - j. Is 16 a factor of l/(-2*(-3)/12)?
True
Suppose h - 396 = 17. Suppose 1196 - h = -9*w. Let a = -55 - w. Is 26 a factor of a?
False
Let p(v) = -4*v**3 - v**2 - 20*v - 29. Is 19 a factor of p(-4)?
False
Suppose -5*t - 1 = -31. Let z = 11 - t. Suppose -l = -z*l + 96. Does 5 divide l?
False
Let r = 61 - 65. Does 2 divide (2*8)/(6 + r)?
True
Let g be (-375)/(-9) - 2/3. Let k be (-56)/24 - 2/(-6)*1. Let o = k + g. Does 19 divide o?
False
Does 16 divide -7 - 14/(7/(16513/(-14)))?
True
Let w be (26/4)/(2/4). Let t = 27 - w. Is 10 a factor of t?
False
Let u = -22 + 43. Suppose -2*i + u = 5*i. Suppose 6*z - 3*z = -i*j + 84, j = 4. Is z a multiple of 8?
True
Let g = -164 + 293. Suppose -5*i + g = -2*i. Is 16 a factor of i?
False
Let g = 43 + -41. Let p = g + 7. Does 4 divide p?
False
Let l(w) = 2*w**3 - 5*w + 4. Let r = -33 - -36. Does 6 divide l(r)?
False
Let g(r) = -r**2 + r + 33. Let s be 10/5*9/6. Suppose 5*v = 3*c + s, -4*v - 4 = v + 4*c. Is g(v) a multiple of 11?
True
Let d(p) be the second derivative of 45/2*p**2 + 0 - 1/6*p**3 - 6*p. Does 12 divide d(0)?
False
Let j = 102 + -87. Is 18/30 + 4041/j a multiple of 27?
True
Let y = 69 - -231. Is 20 a factor of y?
True
Suppose -3*d - 60 = -6*d. Suppose -5*j + 4*j + d = 0. Is 7 a factor of j?
False
Let t = 19 + -17. Suppose -37 - 179 = -t*j. Is j a multiple of 19?
False
Let f be ((-11)/((-77)/(-14)))/(1/(-2)). Does 13 divide 12220/90 + f/18?
False
Suppose 2209 = 3*l + 34*i - 36*i, -3*i = -l + 748. Is l a multiple of 40?
False
Let h = 1333 + -199. Does 14 divide h?
True
Let b = 86 + -71. Does 6 divide b?
False
Let u(p) = -p + 5. Let r be u(8). Let y be (-8 + 4 + 3)*r. Suppose y + 7 = 5*m. Does 2 divide m?
True
Suppose -49*u + 53*u - 2176 = 0. Does 24 divide u?
False
Suppose -5842*z + 5850*z - 17280 = 0. Is z a multiple of 54?
True
Let v(i) = 13*i**2 - 2 - 13*i**2 - 5*i + i**2. Is 39 a factor of v(14)?
False
Let i(b) = 847*b - 77. Is i(6) a multiple of 60?
False
Let v = -197 + 330. Is 14 a factor of v?
False
Suppose -12*f = -11*f. Suppose -4*q + r = -4*r - 196, 4*q - r