i) + 4*o(i). Is b(-14) a multiple of 2?
False
Suppose t + 0*s = -4*s + 58, 0 = 5*t + 2*s - 308. Suppose -4*u = -6*u + t. Is u a multiple of 16?
False
Let p(j) = -j**3 - 7*j**2 - 8*j - 9. Let m be p(-6). Suppose -x + 37 = y, -x + m = 2. Suppose 3*q - q = r - y, 4*r - q = 158. Is r a multiple of 11?
False
Let r be (-14)/(4 + -6) + -4. Suppose -j + r + 23 = 0. Let v = 96 - j. Is v a multiple of 10?
True
Suppose -17*m - 60 = 331. Let c(k) = -k**3 - 22*k**2 + 14*k - 1. Is 17 a factor of c(m)?
False
Let j(y) = y**3 - 7*y**2 - 4*y + 15. Let o be j(7). Let x = o + 32. Does 6 divide x?
False
Let p be 2/((-4)/24 + 16/78). Suppose 0 = -j + 140 + p. Is 32 a factor of j?
True
Let u be (5 - 1 - -8)*(-6)/(-8). Does 8 divide (-20)/(-3 + 21/u)?
False
Let y = -3 - -6. Suppose 0 = 3*s + 9, 5*s = g + y*g - 83. Suppose -g = 4*i - 217. Is 20 a factor of i?
False
Let s = 161 - 158. Let k(l) = 70*l - 23. Is k(s) a multiple of 17?
True
Let b = 12 - 14. Let i be 224/105 + b/15. Suppose 112 = i*d - 24. Does 17 divide d?
True
Suppose 4*b - 4 + 16 = 0, 0 = -4*d + b + 4267. Is d a multiple of 32?
False
Does 5 divide (-680)/(-4) + (14 - 6)?
False
Suppose 1020 = 3*b - b. Does 15 divide b?
True
Let w = 5 + 4. Let z = 11 - w. Suppose -z*k - 45 = -5*k. Does 5 divide k?
True
Suppose 155 = -2*a + 1067. Is a a multiple of 24?
True
Suppose -4*x + d - 39 = -140, x + 3*d - 9 = 0. Suppose -2*p - 5*b = -355, -4*p + 3*b = 4*b - 719. Suppose -x*n = -21*n - p. Is n a multiple of 30?
True
Let s(f) = -40*f - 49. Is s(-10) a multiple of 13?
True
Let o(j) = j**3 + 6*j**2 - 23*j + 12. Let m(z) = -z**3 + 10*z**2 + 13*z - 16. Let t be m(11). Is 51 a factor of o(t)?
True
Let i(f) = -f**3 - 4*f**2 - f - 6. Let z be i(-4). Is 11 a factor of 255/(-25)*10/z?
False
Let j(v) be the third derivative of v**6/120 - v**5/60 - 5*v**4/24 - v**3/6 - 8*v**2. Is 5 a factor of j(4)?
False
Let h(q) = -18*q - 7. Let j be h(-12). Let u = -117 + j. Is u a multiple of 46?
True
Suppose -3*m + 5*s + 4624 = 0, 6*s = 4*s + 2. Is m a multiple of 23?
False
Let m(l) be the second derivative of -l**4/12 - 17*l**3/6 + 4*l**2 + 23*l. Is 5 a factor of m(-13)?
True
Let u(q) = -3*q**3 - 11*q**2 - 15*q + 5. Is 15 a factor of u(-7)?
True
Does 8 divide -3*21/9 + 73?
False
Let c be (-7 - -8) + 213*3. Is 7 a factor of c/24 + (-8)/(-6)?
True
Let w(g) = -g**3 + 10*g**2 + 19*g + 26. Is 72 a factor of w(10)?
True
Let z(h) = -6 + 0 + 0 - h. Let u be z(-7). Does 12 divide 38/u + (-6 - -4)?
True
Let v be 1/1*3*(-6540)/(-36). Let j = v + -361. Does 23 divide j?
True
Suppose 2*a = 5*a - 336. Suppose 4*w + a = 2*y, -y - 4*w + 3 = -59. Does 24 divide y?
False
Suppose 3*n = -4*p + 5523, -5*p = -3*p - 6*n - 2784. Does 52 divide p?
False
Let a(f) = 2*f + 12. Let x be a(-4). Suppose 0 = -x*y - 3*t + 46, 2*y - y + 4*t - 18 = 0. Is y a multiple of 2?
True
Let j = -971 + 1521. Does 11 divide j?
True
Let k be ((-45)/(-10))/9*10. Suppose o - 30 = k*r, -r = -4*r - 15. Suppose -21 = -4*l - o. Does 4 divide l?
True
Let y(x) = 22*x**2 + 5*x - 6. Is y(1) a multiple of 7?
True
Suppose 0*j - 1968 = -3*j. Is 15 a factor of j?
False
Let t = 0 + 4. Let q be t + (-3 + 6 - 4). Suppose 0*j - 90 = -q*j. Is j a multiple of 13?
False
Let f(y) = -y**2 - 8*y + 32. Let a be f(-12). Let m = 20 - a. Does 12 divide m?
True
Suppose -60 - 144 = -12*x. Is x a multiple of 2?
False
Let p(u) be the first derivative of -79*u**4/4 + u**2/2 + 2*u - 11. Does 13 divide p(-1)?
False
Suppose -3*h - 2 = -5, 0 = 3*w - 3*h - 186. Suppose -5*c + 4*x = -w, 0 = 3*c - 3*x - 5 - 31. Is 6 a factor of c?
False
Suppose -v = 4*y - 100, -5*y + 0*v = 2*v - 125. Suppose 8*g - y = 3*g, -3*a = -4*g - 52. Does 8 divide a?
True
Suppose -2*l + 4*g + 3 + 5 = 0, 13 = 2*l + g. Suppose l*w = 2*w + 180. Does 15 divide w?
True
Let m(o) = 3*o - 32. Let v be m(11). Is 25 a factor of (v + -3)/((-7)/175)?
True
Let a(p) = -p**3 + 10*p**2 + 13*p - 22. Let w be a(9). Suppose -5*c = -c - w. Does 22 divide c?
True
Suppose 0 = 5*i - 108 - 87. Let y = 46 + i. Is 12 a factor of y?
False
Let i = 173 + -109. Suppose 4*x - i = 4*n, 3*x - 38 = 7*n - 2*n. Does 7 divide x?
True
Let c = -27 + 27. Suppose c = 3*r + 3*u - 0*u - 102, -100 = -3*r - u. Does 11 divide r?
True
Let f = -1 + 5. Suppose -18 = -2*d - 4*a - 6, -3*d - f*a = -14. Suppose 5*r - d*v - 90 = 0, 2*r - 4 - 23 = -v. Does 9 divide r?
False
Suppose 0 = -6*z + 10*z - 40. Does 18 divide 4/(-20) - (-542)/z?
True
Let i = -198 + 300. Is i a multiple of 4?
False
Let b(a) = 6*a - 16. Let y be b(3). Suppose -y*v = -10*v + 1664. Is 10 a factor of v?
False
Let w = 23 - -34. Is w a multiple of 13?
False
Let h be (-1)/6*-2*15. Suppose h = -s + 5*t - 1, 3*s - 3*t = 6. Is s a multiple of 4?
True
Suppose -1 = -3*m - 7. Is 25 a factor of 1/m - 5/(10/(-67))?
False
Suppose -p = 3*d - 3, 3*p + 15 = d + 4. Suppose 2*u = 4*n - 150, -d*n = -4*u + u - 73. Is n a multiple of 26?
False
Let d be 177/1 - (2 + (-1)/1). Let h = d + -89. Is h a multiple of 19?
False
Suppose 4*y + 4 = 5*y, -4*b = 4*y - 2320. Does 32 divide b?
True
Let p = -4 + 2. Let n = p - -1. Does 2 divide n/(-1) + -11 + 17?
False
Let l(r) = -2*r + 10. Let n be l(7). Let m be 14/3 + n/6. Suppose v = m*v - 30. Is 3 a factor of v?
False
Suppose -3*n + 4 = o - 4, -3*n + 13 = 2*o. Suppose -f - 17 = -6*l + 3*l, 4*l = f + 22. Suppose 30 = l*s - 5*x, -o*s = -3*x + 16 - 44. Is 5 a factor of s?
True
Let s = 270 - -186. Suppose m + s = -5*m. Let d = -51 - m. Is 9 a factor of d?
False
Let s(b) = -100*b + 2. Let k be s(-1). Suppose -a + c - k = -6*a, a = 3*c + 14. Does 13 divide a?
False
Suppose 8 + 3 = -5*c - 3*o, 0 = -5*c - 5*o - 15. Let r be (c + (-21)/(-12))*-8. Does 6 divide r/(-6) - 8*-2?
False
Suppose 0 = 3*t - 2 - 4. Is 14 a factor of ((-1105)/34)/((-1)/t)?
False
Let r(p) = -p**3 + 4*p**2 - 2*p - 3. Let k be r(3). Suppose k = -i - 0*i + 10. Suppose i*t - 9 = 9*t. Does 9 divide t?
True
Let l(m) = 13*m**2 + 4*m - 1. Let b be 5*((-28)/20 + 2). Is 32 a factor of l(b)?
True
Suppose -4*m = -5*s + 2166, s + 2*m - 438 = 4*m. Is s a multiple of 62?
False
Suppose -v - v + 2 = 0, -4*u = -2*v - 82. Let y = -18 + u. Suppose 3*z = -y*t + 57, -t - 81 - 20 = -5*z. Is 20 a factor of z?
True
Let i = -16 + 436. Does 9 divide i?
False
Let n(k) = -k**2 + 35*k - 55. Does 6 divide n(29)?
False
Suppose -2*c = 2*k - 56, 2*c - 108 = -2*k - 2*k. Let i be (-5)/(-5) - (0 - k). Let q = 47 - i. Is 10 a factor of q?
True
Let z = -584 + 968. Suppose 3*u - 313 = -4*f, -3*f - z = -4*u - 0*f. Is u a multiple of 14?
False
Let l = -79 + -44. Is (-2)/3*l - -4 a multiple of 32?
False
Suppose -7*g + 116 = -3*g + 3*n, -5*g + 122 = -2*n. Is g a multiple of 5?
False
Suppose 4*y = -10*y + 10472. Does 37 divide y?
False
Let b(z) = -3*z**3 - z**2 + z - 9. Let j(s) = s**3 - s. Let d(m) = -b(m) - 2*j(m). Let n be d(-3). Is 5 a factor of (n + 7)*22/(-10)?
False
Suppose -j = 3*d - 19, j = 2*d - 3 - 3. Suppose -38 = j*m + 90. Is 20 a factor of 12/(-18)*(m + -1)?
False
Suppose 5*y = -5*l + 220, 4*l = -3*y + 3*l + 142. Let k = y + -14. Is 35 a factor of k?
True
Suppose -4*r - 2*p + 1392 + 844 = 0, -5*r = -4*p - 2782. Is 62 a factor of r?
True
Let q(y) = -9*y + 64. Does 6 divide q(-18)?
False
Suppose -3*k - 63 = -5*j - 261, 0 = 5*j - 4*k + 199. Let m = j + 194. Is 17 a factor of m?
False
Let l = -56 - -59. Suppose -4*v - 3*f + 183 = 0, -l*v - f + 146 = 3*f. Is 14 a factor of v?
True
Let g = 6 + 8. Is (-3)/21 + 2102/g a multiple of 30?
True
Let h(i) = 6*i + 6. Let w(t) be the third derivative of -7*t**4/24 - 5*t**3/6 + 4*t**2. Let q(k) = 4*h(k) + 3*w(k). Does 18 divide q(5)?
False
Suppose -24 + 8 = 2*s. Suppose 2*g + 22 = 24*g. Is (-718)/s + g/4 a multiple of 15?
True
Let y(f) = -2*f**3 - 3*f. Let s be y(-3). Suppose 5*l - s = 2*l. Suppose 2*m - 2*j - 11 = l, 4*m - 57 = -3*j. Does 6 divide m?
False
Let a = 70 + -68. Suppose 3*l + 5*q - 106 = 0, -4*q - 52 - 4 = -a*l. Does 8 divide l?
True
Suppose 28*g = 20681 + 39. Does 37 divide g?
True
Let t = -53 - -48. Let r = t - -30. Does 7 divide r?
False
Suppose h - 8 = -4. Is (-322)/(-10) - h/20 a multiple of 8?
True
Is (459 - -18) + 3*(-3)/(-3) a multiple of 48?
True
Let g(x) = -x - 8. Let a be g(-10). Suppose 2*d - q + 3*q = 18, 4*d - a*q = 24. Does 8 divide ((-48)/(-28))/(1/d)?
False
Let c = 2955 - 2199. Does 63 divide c?
True
Suppose -5*n + 