z - v - 221 = 0, 5*z + 385 = -0*v - g*v. Let r = z - -119. Is 9 a factor of r?
False
Let z = -17 + 15. Let q be 4/8 - 5/z. Suppose -2*r = -5*d - 163, -3*d = q*r + 2*d - 232. Does 22 divide r?
False
Let x = 49 + -42. Suppose -x*j + 11*j = 128. Is j a multiple of 6?
False
Let t(b) = 221*b**3 + 2*b**2 - 2*b - 1. Is 20 a factor of t(1)?
True
Suppose 3*s + 10 + 152 = 0. Let r be s/(-9)*(-1)/(-3). Suppose r*d + 66 = 3*d. Is 24 a factor of d?
False
Let s(l) be the second derivative of l**7/840 + l**6/720 + l**5/60 + l**4/4 - 8*l. Let n(r) be the third derivative of s(r). Is 13 a factor of n(-3)?
True
Suppose -3294 = -24*v + 66. Does 7 divide v?
True
Let g = 1264 - 809. Is g a multiple of 35?
True
Suppose 228 = -d - 195. Does 3 divide (-2)/(-12) + d/(-54)?
False
Suppose -29*a + 31*a = -6. Is 4 a factor of a*(1/3 - 2)?
False
Let i(r) = r**3 - 10*r**2 + r - 7. Let k be (-4)/(-14) + 68/7. Let q be i(k). Suppose 0 = q*s - 57. Is s a multiple of 19?
True
Suppose 7 = -11*d - 15. Is (-72)/d + (2 - 3 - 1) a multiple of 34?
True
Suppose -2*m + 0*m = -12. Suppose m*k = k + 80. Is 8 a factor of k?
True
Let s be (-12)/(-16) + 3348/16. Suppose g + s = 2*v + 4*g, 2*g + 105 = v. Does 21 divide v?
True
Suppose 3*p - 4*p = -3*b - 291, 4*b = 2*p - 588. Does 60 divide p?
True
Is 20 a factor of (6 - (-26)/4)*208?
True
Let u(m) = -2*m**2 - 30*m + 23. Let p be u(-17). Let r = 3 - 13. Is ((-18)/p)/((-1)/r) even?
True
Let r be ((-1)/3 + 1)*-30. Let x be (-6)/(-10) - 8/r. Suppose 2*k + l - 46 = 0, -x + 6 = k - 4*l. Is k a multiple of 9?
False
Let p(j) = 10*j - 36. Suppose 4*q - 12 = 8, u + q = 11. Is p(u) a multiple of 20?
False
Suppose -75*y = -79*y + 3968. Is y a multiple of 8?
True
Let x = 98 - 95. Is 36 a factor of 18/(-1)*(x - 9)*2?
True
Let v = 9 - 16. Let i be (v/21)/((-2)/24). Suppose -4*u - 2*t - t = -59, i*u - t = 55. Is u a multiple of 14?
True
Let h be 112/6 + 14/(-21). Let p be h/(-4)*(-28)/21. Let x(j) = j**2 - 5*j + 7. Is 5 a factor of x(p)?
False
Let v = 17 + -11. Suppose 2*q + 16 = v*q - 3*o, 2*o - 8 = 0. Suppose -4*n + q*n = 12. Is n a multiple of 2?
True
Suppose 2*w + 1 - 3 = 0, 4*z - 642 = -2*w. Is 14 a factor of z?
False
Let z be (2/(-6))/(6/(-108)). Let g(n) = -3*n**2 - 15*n - 14. Let d(t) = -t**2 - 8*t - 7. Let p(i) = -5*d(i) + 2*g(i). Is 22 a factor of p(z)?
False
Let w be 6/(-4)*16/(-6). Suppose -w*s + 2*r = -8 - 6, 3*r + 1 = s. Suppose -5*d = 15, -s*h = -2*d - d - 213. Does 12 divide h?
False
Suppose -3*f + 787 = a + 2*f, 837 = a - 5*f. Is a a multiple of 30?
False
Does 5 divide -35*((-12)/45)/(2/6)?
False
Let f = -1285 - -824. Does 12 divide f/(-3) - (-2)/(-12)*-2?
False
Suppose -2*t + 1675 = 5*h, -2*h + t - 335 = -3*h. Suppose -3*s - 2*s = h. Let f = s - -105. Is 19 a factor of f?
True
Suppose 5*u = 42 + 213. Let p = -40 + u. Is p a multiple of 3?
False
Let n(d) = d**2 - 8*d + 3. Let z be n(6). Let k be 0*(z/2 - -4). Suppose f - 3*w - 43 = w, k = 3*w - 3. Is 13 a factor of f?
False
Suppose -5*i + 1146 = -504. Is i a multiple of 6?
True
Let l = -45 + 283. Suppose 2*v = -s + 29 + 221, -2*v - 4*s + l = 0. Is v a multiple of 27?
False
Let h(w) = -2*w**3 - w + 2*w**3 + w**3 + 18*w - 12*w**2 - 12. Is 27 a factor of h(11)?
True
Let m be (1 - 71/3)*3. Let n = m - -101. Does 11 divide n?
True
Let n = 44 + -33. Let u(o) = 7*o - 2. Is 10 a factor of u(n)?
False
Let d(m) be the third derivative of m**5/60 + m**4/24 - m**3/6 + m**2. Let u be d(4). Suppose -57 = -k - u. Is 19 a factor of k?
True
Is (1 + 0)*1 - -11 a multiple of 6?
True
Is (((-1809)/(-12))/(-3))/(3/(-24)) a multiple of 22?
False
Let r(h) = h**3 - 3*h**2 - 5*h - 2. Let v be r(5). Let g = v - 2. Is 10 a factor of g?
False
Is 27 - -69 - (-3 - 4) a multiple of 13?
False
Suppose -347 - 217 = -6*u. Does 7 divide u?
False
Suppose 2 = 7*x + 23. Is 18 a factor of x/(36/4)*-138?
False
Is 4 a factor of (-2)/11 - 17/(1309/(-630))?
True
Let k = -691 + 1155. Does 23 divide k?
False
Let r = 779 - 328. Is 20 a factor of r?
False
Let g(f) = 152*f - 121. Does 9 divide g(4)?
False
Let a = -972 + 1798. Does 36 divide a?
False
Suppose -17*v + 15*v + 3*a + 1231 = 0, -2*v - a + 1243 = 0. Is 31 a factor of v?
True
Let z be (18/(-10))/((-27)/225). Is (-19)/(-76) - z/(-4) a multiple of 2?
True
Suppose 9*o - 236 - 2500 = 0. Is 27 a factor of o?
False
Let w(o) = o**3 + 8*o**2 - 6*o + 9. Is 19 a factor of w(-8)?
True
Suppose 4*b + 2*w - 3226 = 0, 6431 = 8*b - 3*w - 0*w. Does 35 divide b?
True
Let o = -404 - -632. Is o a multiple of 19?
True
Let h = 449 - -27. Is h a multiple of 17?
True
Suppose 10 = 6*r - 4*r. Suppose -195 = -5*z + 5*c, z = 3*c - r*c + 39. Is 24 a factor of z?
False
Let j be (-8)/(-2)*(-7 - -8). Suppose 0 = j*h - 0*h - 432. Suppose -53 = -p + 5*a, -4*p = -5*a - h - 29. Does 7 divide p?
True
Let d = -10 - -8. Let c = 4 + d. Suppose 2*k = 5*y + 111, c*y + 119 = 3*k - 75. Is k a multiple of 17?
True
Let h = -1296 + 2376. Is h a multiple of 20?
True
Suppose 0 = 2*u - 2*g + 5*g - 65, 55 = u - 3*g. Let o = 3 + u. Is 10 a factor of o?
False
Suppose 6*h - 5*h - 368 = 0. Suppose h = 4*o + 5*t, -2*t + 6*t = o - 92. Is o a multiple of 15?
False
Suppose -6 = q - c + 2, -4*q = 3*c - 3. Does 15 divide ((-12)/16)/(q/480)?
True
Let b = -178 + 1911. Does 41 divide b?
False
Let a(d) = -28*d**3 - 4*d**2 + 2*d + 13. Let z be a(-3). Suppose 0 = -5*m - z + 1912. Is 14 a factor of m?
False
Let h = -38 - -41. Suppose 4*z + 338 = 2*m + 6, 0 = z + h. Does 16 divide m?
True
Suppose -12*t + 1466 + 2590 = 0. Is t a multiple of 16?
False
Let q be (3 - 4)*-11 + -4. Let m be (3 - 1)/(2/q). Suppose 3*f = m*f - 144. Is 6 a factor of f?
True
Suppose -4*a = -4*x - 1832, -17*a + 15*a + 3*x = -918. Is 12 a factor of a?
True
Suppose -13 = -y + 193. Suppose -3*t + 241 = 5*p, -3*t - 2*p - y = -6*t. Is t a multiple of 13?
False
Let h(s) = -s**3 + 3*s**2 - 3*s + 2. Let a be h(2). Suppose a = 61*g - 60*g - 76. Is g a multiple of 19?
True
Let m = -24 + -65. Let a = -26 - m. Is 9 a factor of a?
True
Let w = 17 + -13. Suppose w*b - 20 = -b. Suppose -46 - 14 = -b*t. Is 14 a factor of t?
False
Let r be (6/4)/((-2)/(-4)). Suppose -r*z - 67 = -5*a, 3*z + 99 = 2*a - 5*a. Let g = 53 + z. Is g a multiple of 12?
True
Let k be 0 - 2/(-6) - 14/(-3). Is 488*6/60 + 1/k a multiple of 8?
False
Suppose 4*t + 4*f - 7524 = 0, -3*t - 71*f + 73*f + 5648 = 0. Is t a multiple of 19?
False
Let r be (-8)/(-28) - (-136)/14. Let m(g) = g**3 - 10*g**2 + 2*g. Does 3 divide m(r)?
False
Let j be 26/117 - 3668/(-18). Suppose -25*h + 28*h = j. Is 6 a factor of h?
False
Suppose 5*y + 478 = p, -y - 2130 + 256 = -4*p. Is 9 a factor of p?
True
Suppose 39*i = 32*i - 42. Let h(t) = 2*t**2 - 9*t - 23. Is 7 a factor of h(i)?
False
Suppose 0 = j - 5*i - 9, 0 = 5*j - 3*i - 45. Let t = 156 - 96. Is t/j*18/4 a multiple of 9?
False
Suppose 11*j - 6*j - 250 = -5*k, -5*j = 3*k - 150. Does 41 divide (1 + 3)/(-4) - (3 - k)?
False
Suppose 46*f + 11412 = 52*f. Does 24 divide f?
False
Let b(j) = -16*j + 45. Let q(l) = -31*l + 88. Let t(u) = -9*b(u) + 4*q(u). Does 2 divide t(5)?
False
Let s be 2724/42 - (-4)/28. Suppose -5*m = -3*f - 480, 2*m - 108 = 5*f + s. Does 11 divide m?
True
Let k be 6*(-1)/(-3) - (-3 - 0). Suppose 5*r = -5*z + 2*r + 148, k*z + r = 146. Is 5 a factor of z?
False
Suppose -4*v + 2*c = -5*v + 521, 0 = 3*v - 4*c - 1543. Is 11 a factor of v?
True
Let h = 351 - 175. Let o be h/(-6)*(-9)/(-6). Let b = o + 92. Does 12 divide b?
True
Let l(h) = -2*h**3 + 6*h - 3. Let r be l(-4). Suppose c + r = 2*c. Is 14 a factor of c?
False
Let t(l) = l**3 - 3*l**2 + l + 1. Suppose 0 = -3*c + 16 - 4. Suppose -c*s - 12 = -4*m, -3*m - 3*s + 9 = 2*s. Is t(m) a multiple of 2?
True
Let p be (-39)/(-12) + 2/(-8). Let f(z) = 0*z**2 - 3 - z**p + 2*z**2 + 5*z + 0*z**2 + z**2. Is f(3) a multiple of 3?
True
Suppose 0 = 3*n - 50 - 208. Let y = -23 + n. Suppose 4*f - 4*q = f + y, 0 = 2*f + 5*q - 42. Is f a multiple of 21?
True
Suppose -531*b + 537*b - 6300 = 0. Is b a multiple of 42?
True
Does 6 divide 507 - 0*(-5)/10?
False
Let b(g) = -g**3 + 18*g**2 - 21*g - 9. Does 12 divide b(16)?
False
Let n(c) = -2*c**3 - 95*c**2 + 134*c + 65. Does 18 divide n(-49)?
True
Suppose 0 + 15 = 3*d. Suppose 0 = -d*i + 3*i - 4. Does 14 divide 46/1 - (-2 - i)?
False
Suppose 0 = -4*j + 3*i - 12, -8*j - 3*i = -4*j - 12. Suppose -2*n +