s a a multiple of 9?
True
Let p(h) be the first derivative of h**3/3 + 4*h**2 - 9*h + 1. Is 12 a factor of p(-11)?
True
Let k = -12 + 14. Suppose -4 = -3*l + k*l - 2*w, -5*w = 5*l - 10. Suppose l = 8*i - 11*i + 306. Is 34 a factor of i?
True
Let v = 6652 + -3769. Is v a multiple of 93?
True
Suppose 46*s - 10751 = 2359. Does 10 divide s?
False
Suppose -232 = -7*c + 153. Suppose -2*i = 5*k - c, 0*i + 3 = k + 2*i. Does 13 divide k?
True
Is 442/5 + (-16)/(-10) + -2 a multiple of 18?
False
Let c be ((-4)/6)/(2/57). Let w(o) = -2*o**2 - 41*o - 9. Does 14 divide w(c)?
False
Let o(h) = -6*h**2 - 5 - h**2 - 7*h + 8*h**2 - 1. Does 6 divide o(-4)?
False
Let n be (10/(-4) - -3)*22. Suppose -22 = -p + 3*p + 4*w, -w = -5*p - n. Does 11 divide 110/p*(-18)/15?
True
Let u = 16 + -20. Let k be (-22)/u + (-15)/10. Suppose -3*i - i = -5*b + 65, -k*i + 39 = 3*b. Is b a multiple of 3?
False
Suppose 3*c + 4*i = -0*c + 2854, -3*c + i = -2834. Is c a multiple of 11?
True
Let g = 501 - 405. Does 8 divide g?
True
Let d(v) = 24*v - 24. Let z be d(7). Let x = -75 + z. Is x a multiple of 18?
False
Suppose 2*r - 5*j - 91 = -0*r, 5*r + 3*j = 181. Is r a multiple of 19?
True
Let k(q) = q + 1. Let d(y) = -y**2 + 5*y - 25. Let t(c) = d(c) + 5*k(c). Is t(6) a multiple of 4?
True
Suppose 7*g = 5*g + 10. Suppose 0 = d - g*i - 5, -3*i + 2*i - 1 = 0. Suppose -4*m = 2*p - 58, d = -3*p - 4*m + 36 + 45. Does 16 divide p?
False
Suppose 5*c + 76 = 9*c. Suppose 2*i - 16 = -2*t, 0 = i - 3*i + 5*t - c. Suppose i*w + 277 = 4*j + 8*w, 5*j - 4*w - 295 = 0. Is j a multiple of 14?
False
Let y = 245 + -225. Suppose -4*i - 164 = -4*t, -5 = i - 4. Let v = y + t. Does 10 divide v?
True
Suppose 0*f - 3*m = -3*f + 1239, -4*f + 3*m = -1650. Suppose f = 6*d - 75. Does 17 divide d?
False
Suppose i = 3*c + 4*i + 267, 3*c = 2*i - 272. Let w = c - -150. Is w a multiple of 20?
True
Suppose -8*p + 2 = -7*p. Is p/(-4) + 34/12*27 a multiple of 29?
False
Suppose -50*x + 19633 = 3183. Is x a multiple of 3?
False
Suppose -4*x = 2*w - 202, 134 = -0*x + 3*x - 2*w. Is x a multiple of 8?
True
Let v = -5 - 1. Let k(u) be the third derivative of -u**4/3 - u**3 - 48*u**2. Is 23 a factor of k(v)?
False
Let x(p) = p**2 + 14. Let l = -6 - -17. Is 15 a factor of x(l)?
True
Suppose 0 = 5*c + 3*g - 676 - 1161, g + 369 = c. Does 34 divide c?
False
Suppose -13*l + 18*l = 2165. Does 22 divide l?
False
Let n(z) = -11*z + 14 + 15*z**2 + z**3 - 2*z**2 + 0*z - 2*z. Let h be n(-14). Let x = 12 - h. Is x a multiple of 6?
True
Is 5 a factor of 44/(-55) + 3670/25?
False
Let u = 13 - -27. Suppose -2*b + 198 = -u. Is 40 a factor of b?
False
Is 6 a factor of 10/(200/105)*8?
True
Let f be 10/(-10)*(-4)/2. Suppose -f*n - 18 = n. Let r = n + 20. Is 14 a factor of r?
True
Let p(l) = 97*l**2 + 22*l + 73. Does 20 divide p(-3)?
True
Let x(c) = -c - 12. Let p be x(-6). Let u be (1 + 3)*3/p. Does 13 divide (-5)/u*14 - -1?
False
Suppose 0 = 5*b + 3*z - 169, 13*b + 3*z - 64 = 11*b. Is 2 a factor of b?
False
Suppose -3*s = l - 0*s - 82, -4*l - s + 361 = 0. Does 2 divide l?
False
Suppose -i - 4*i - 40 = 0. Let a be (-4)/i - (-678)/4. Suppose 3*n - t = 125, n + 2*t + a = 5*n. Does 10 divide n?
True
Let b be -6*((-5)/1)/10. Suppose 3*q - 2*c = 36 + b, q = -4*c + 13. Is q a multiple of 13?
True
Suppose 32 = -2*u + 108. Let a = -33 + u. Is 5 a factor of a?
True
Let x = -9 - -13. Let r be -2 + x + -3 + -2. Is 112 + (r - (1 + -3)) a multiple of 23?
False
Let c = 177 - -159. Is c a multiple of 28?
True
Suppose 742 = 4*k - m - 3497, -k + 1081 = 4*m. Does 18 divide k?
False
Let u = -45 - -397. Is u a multiple of 32?
True
Suppose -112*r + 1462 = -110*r. Is r a multiple of 17?
True
Suppose y = 265 + 284. Is y a multiple of 10?
False
Let w = 66 + -141. Let y = -51 - w. Suppose -o - 183 = -4*p - y, 4*o + 103 = 3*p. Is p a multiple of 8?
False
Let h(a) = 10*a**3 - 3*a**2 + 3*a - 1. Let u be h(2). Let i = u - 3. Suppose 4*z - 16 - i = -5*c, -3*z = -3*c + 30. Is c a multiple of 7?
True
Let w = -6 + 9. Suppose 3*j - 1148 = -2*k - 197, -5*k + 645 = 2*j. Suppose 8*p - w*p = j. Does 16 divide p?
False
Let h = 188 - 11. Does 16 divide h?
False
Suppose -4*l - 47 = -55. Does 18 divide 6*((-3)/6 - (-19)/l)?
True
Let v = -278 + 392. Suppose 6*n = 3*n + 3*o + v, 162 = 5*n + 2*o. Is 11 a factor of n?
False
Let i = -3 - -3. Let n = 2 + i. Suppose -4*k - 12 = 0, n*v - 2*k - 20 = -0*k. Is 2 a factor of v?
False
Let f(o) = 3*o**3 + o**2 - 4. Let h(n) = -7*n**3 - 3*n**2 + n + 7. Let d(u) = 5*f(u) + 2*h(u). Is d(3) a multiple of 6?
True
Let g = -14 + 24. Suppose g = 5*h, 7*h - 4*h - 306 = -3*a. Does 20 divide a?
True
Is 15/(-2)*(-2142)/35 a multiple of 14?
False
Is 2/6*-4*(62 + -176) a multiple of 8?
True
Let m(c) be the second derivative of c**5/20 - 7*c**4/12 - 7*c**3/6 + 9*c**2/2 + 15*c. Is 27 a factor of m(9)?
True
Suppose -2*u - 2*p + 650 = -5*p, -650 = -2*u + 5*p. Is u a multiple of 13?
True
Let z(s) = s**2 + 3*s + 2. Suppose 0 = 2*u - 5*u - 12. Let m be z(u). Suppose o - 26 = -m. Is 5 a factor of o?
True
Is (6 + 30)/((-6)/(-184)) a multiple of 23?
True
Let a(v) be the third derivative of -v**6/24 + v**4/12 - v**3/6 - 7*v**2. Is 14 a factor of a(-2)?
False
Let r = 43 - 37. Suppose -r*c + 260 = -2*c. Is c a multiple of 13?
True
Let v = -140 + 235. Suppose -s + 20 = -v. Is 17 a factor of s?
False
Let i = 6 - 23. Let v = 24 + i. Is (-16)/(-1) + v + -3 a multiple of 10?
True
Suppose 7847 = 31*q - 12*q. Does 31 divide q?
False
Let n(d) = 3*d**3 + 5*d**2 + 13*d - 41. Does 57 divide n(5)?
False
Suppose -7*g + 48 = 4*j - 3*g, -5*j - 3*g + 52 = 0. Let r be (j/(-6))/((-2)/3). Let c(m) = 2*m + 2. Does 5 divide c(r)?
False
Let b(i) = i**2 + 10*i + 29. Suppose -5*z + r - 26 = 0, -z - 18 = 4*z - 3*r. Is b(z) a multiple of 2?
False
Suppose 4*n = -3*c + 3157, -9*n + 3980 = -4*n - 3*c. Is n a multiple of 65?
False
Suppose a - 28 = -6*a. Suppose -4*o + 831 = 4*v - 661, -740 = -2*o + a*v. Suppose 3*s + 5*u = 5*s - 172, 4*s = -4*u + o. Is 13 a factor of s?
True
Let r = -185 + 290. Is r a multiple of 8?
False
Suppose m = -4*x + 19, 0 = 3*m - 5*m - 2*x + 14. Let b be (36/4)/m + 2. Let n = b - -1. Does 6 divide n?
True
Suppose -2 - 13 = -5*n. Suppose 1396 = 4*o - d - n*d, -4*o - 4*d + 1396 = 0. Suppose -3*b = -2*s - o, 0*b - b = -3*s - 128. Is 30 a factor of b?
False
Suppose -3*o = -o - 100. Is 6 a factor of o?
False
Let f be -2 - -2*(-66)/(-1). Let x = -260 - -176. Let l = f + x. Is l a multiple of 15?
False
Let j = -803 - -567. Suppose 0 = 4*g + 4, -c - 2*g - 3*g - 170 = 0. Let t = c - j. Is t a multiple of 19?
False
Suppose 8918 = 6*n - 826. Does 30 divide n?
False
Let j(v) = v**3 - 6*v**2 + 4*v - 5. Let a be j(5). Does 11 divide (-445)/(-25) + (-2)/a?
False
Let t be 1 + 24 + 2 + 1. Let a = 17 - t. Let d(j) = -2*j + 8. Does 9 divide d(a)?
False
Let j be 4/10 + (-36)/(-10). Suppose n + 140 = k - j*n, n = 3*k - 406. Is 15 a factor of k?
True
Suppose -3*t - 2 = -14. Does 10 divide 10*(3 - (-10)/(t + -2))?
True
Let x = 6 + -4. Suppose -5 = -x*q + v, -v + 2*v = -q + 1. Suppose q*y - 31 = y. Is 14 a factor of y?
False
Suppose -4*h + 16 = 5*i + 4, 0 = -4*i - 4*h + 8. Let n(k) = -9*k + 11*k + 4*k. Is 8 a factor of n(i)?
True
Is 18/(-63) - 1152/(-14) - 5 a multiple of 11?
True
Let t = 2349 + -1647. Is t a multiple of 11?
False
Suppose -4*o - 984 = 2*o. Let z = -104 - o. Does 30 divide z?
True
Suppose 5*d = -5*c + 35 + 15, -2*c + 4 = 0. Is 2 a factor of d?
True
Let b = -170 + 456. Does 35 divide b?
False
Let a(l) = -77*l - 1002. Does 10 divide a(-16)?
True
Suppose -818 = -19*z + 7751. Does 37 divide z?
False
Let x be (1/(-2))/(5/(-380)). Suppose -z + 1 = p - 5, -z = -p. Suppose -z*w + x - 11 = 0. Is 9 a factor of w?
True
Does 3 divide 47 + -1 + -2 - -1?
True
Let j = 154 + -89. Suppose -5*h + 70 = 4*b, b - j = -5*h - 4*b. Does 9 divide h?
True
Let d(c) = c**3 + 17*c**2 + 12*c + 16. Let u be d(-14). Suppose 0 = -5*h + h + u. Does 18 divide h?
False
Suppose -x - 3*l + 4 + 12 = 0, x = -5*l + 24. Is (x/(-5))/((-15)/900) a multiple of 12?
True
Suppose -5*b - 33*z + 8120 = -38*z, 0 = 2*b + 5*z - 3276. Is 44 a factor of b?
True
Let y be (-114)/(-5) - 52/65. Suppose 7 = -3*x + y. Suppose -b - 2 = 0, -4*m - b + x*b = -140. Is m a multiple of 11?
True
Let f(r) = 4*r - 9. Let i be f(4). Let s(k) = -k**2 + 6*k + 7. L