z even?
False
Let o be 3/12 + 7/4. Suppose o*h = -4*d + 22, d = 2*d - h - 4. Suppose 40 = 4*p - 4*c, -3*p = d*c - 30 - 8. Is p a multiple of 3?
False
Let y(f) = f**3 + 5*f**2 - 2*f - 7. Let r be y(-5). Let v be ((-12)/5)/(6/(-15)). Suppose -b + r*b = v. Is b a multiple of 2?
False
Suppose 7 = -c - 3. Let l = -106 - -134. Let g = l + c. Does 6 divide g?
True
Let r(t) = 72*t - 30. Does 14 divide r(8)?
True
Let q(s) = s - 9. Let z be q(9). Let i(p) be the second derivative of -p**5/20 - p**4/6 + p**3/6 + 22*p**2 - 2*p. Does 8 divide i(z)?
False
Let a(w) be the first derivative of w**2/2 - 2*w + 26. Let q be (4/2)/(2/6). Is a(q) a multiple of 2?
True
Let z(c) = 9 - 12 + 9*c**2 - 3*c + c. Is z(3) a multiple of 9?
True
Suppose -5*z = k - 0*z + 20, -4*k - 5*z = 5. Suppose 2*d - 3 - k = 0. Is 18 a factor of (-4)/(180/46 - d)?
False
Suppose 10 = -2*c + 4*c, -3020 = -4*l - 4*c. Is 75 a factor of l?
True
Let q = -26 - -12. Let p = 19 + q. Does 11 divide -15*1*(2 - p)?
False
Suppose -4*y + 2*y + 5*b = -404, 5*y + b - 956 = 0. Does 97 divide y?
False
Suppose -192 = 4*v - 1492. Suppose -7*d = -513 - 145. Suppose -3*h - d = -v. Is 11 a factor of h?
True
Let b = 119 + -50. Does 3 divide b?
True
Suppose -38*n + 24*n + 322 = 0. Suppose -t + 76 = -n. Is 11 a factor of t?
True
Suppose 3*z - 4*v - 3796 = 0, v + 4000 - 1471 = 2*z. Is 9 a factor of z?
False
Let u = 4 + -1. Let w(h) = 53*h**2 + 6*h + 4. Let o be w(-1). Does 2 divide (1 - u)/((-6)/o)?
False
Let x(a) = -a + 10. Let p be x(0). Let u = 21 - p. Suppose 172 = -9*r + u*r. Is r a multiple of 22?
False
Suppose 6*u = -4*j + 7*u - 7, -1 = u. Suppose -4*f = -17 + 5. Let w = f - j. Is w a multiple of 3?
False
Suppose 3*h = 0, 3*u + 0*h = -4*h - 24. Let f = -6 - u. Suppose -f*i = 3*i - 90. Is 18 a factor of i?
True
Let m(z) = -1. Let x(i) = -26*i - 6. Let v(b) = 2*m(b) - x(b). Let u be v(4). Suppose -u = -5*w - 43. Does 13 divide w?
True
Suppose -2*f + 3*v = 2*f - 32, -f + 8 = -v. Suppose f*d - 3*d = 260. Does 20 divide d?
False
Let i = -1278 + 2213. Is 9 a factor of i?
False
Let d(i) = i**3 + 55*i**2 + 48*i - 123. Does 3 divide d(-54)?
True
Let v(i) = -i**2 - 15*i + 2640. Is 33 a factor of v(0)?
True
Let r(n) = n**3 - 16*n**2 + 15*n + 11. Let l be r(15). Suppose d - l - 221 = -4*z, -77 = -z - 5*d. Is 12 a factor of z?
False
Is -1 - 1 - -4 - 2574/(-6) a multiple of 17?
False
Let j(k) = -k**2 + 12*k + 12. Let l be j(11). Suppose 0 = c - 0*s - 4*s - 16, 3*s = -2*c - l. Is (-29)/c + (-3)/12 a multiple of 2?
False
Let a be 2 - ((1 - 1) + (6 - -23)). Let n = 39 + a. Does 12 divide n?
True
Let q be 9/3 - (5 - 5). Let a be 47*(3/1)/q. Does 10 divide a/(-2)*1*-2?
False
Let d = 17 - 17. Let k = d + 6. Let f = k - -30. Is 18 a factor of f?
True
Suppose -3*j = q - 19, -j + 4 = -4*q + 3*j. Is 23 a factor of ((-10)/3)/(q/(-138))?
True
Suppose -9 = o - 4*o, o + 37 = 5*f. Let g be -2 + (-21)/6*f. Let i = 57 + g. Is i a multiple of 6?
False
Suppose 5*z - 3*l = 62, 0 = -2*l - 0*l - 8. Let x = 4 + z. Suppose -j + x = -0*j + k, -5*k = 3*j - 38. Is 9 a factor of j?
False
Let r(q) = -5*q**2 - 3*q + 3. Let a = 10 - 13. Let i be r(a). Let w = i + 47. Is 4 a factor of w?
False
Suppose 5*f + 40 + 5 = 0. Suppose 1 = -4*t + 73. Let a = t + f. Is 8 a factor of a?
False
Let q(s) = -2*s**3 + s**2 + 4*s + 4. Let d be q(5). Let o = d + 327. Does 13 divide o?
False
Let n(x) = -x**3 - x**2 - 3*x - 5. Let p be n(-2). Suppose -12*d = p*d - 1955. Does 19 divide d?
False
Let s(l) = -l**2 - 16*l - 3. Suppose -3*b - 26 = -5*m, 4*b - 7*b - 5*m - 46 = 0. Is s(b) a multiple of 9?
True
Suppose 2*g = 3*o + 2417, -2*g + 8*o - 7*o = -2427. Is g a multiple of 16?
True
Is 111 a factor of (182832/20)/6 - 12/20?
False
Suppose -3*m - 5*h + 320 = 0, -2*m - 2*h = -0*h - 208. Is m a multiple of 4?
True
Suppose d = -2*d + 5*m + 249, d - 83 = 2*m. Let b(u) = -6*u - 281. Let l be b(-53). Let w = d - l. Is 20 a factor of w?
False
Suppose 5*p + 2*y = -2*y + 64, 3*p - y = 35. Let k = p + -8. Does 13 divide k + -3 + 39 + -1?
True
Suppose -211 = 10*p + 139. Let d = p + 110. Is 15 a factor of d?
True
Suppose -5*t = -t - 256. Suppose 3*h + h - t = 0. Suppose 4*j - 2*j - h = 0. Is 5 a factor of j?
False
Let s = 189 + -430. Let t = -115 - s. Suppose 0 = 5*h - o - t, 4*h - 3*o = 8 + 84. Is 12 a factor of h?
False
Suppose 0 = 11*s - 25604 - 1005. Does 41 divide s?
True
Let p(k) = -3*k - 2. Let r be p(2). Let z(g) = -7*g - 98. Let q be z(-19). Let i = q - r. Does 9 divide i?
False
Suppose -14*g + 569 = -3057. Suppose -5*i = -m - 208, -3*m - 43 = 5*i - g. Is 24 a factor of i?
False
Let i(z) = -4*z**2 + 8. Let a(h) = -h**2 + h - 1. Let v(f) = 2*a(f) - i(f). Does 16 divide v(4)?
False
Let y(i) = -3*i - 2. Let t be y(2). Let r = t + 20. Suppose g = 8 + r. Does 18 divide g?
False
Suppose -7*y - 50 = 55. Is 5 a factor of (-18)/(-30) - 291/y?
True
Does 45 divide 9/((-54)/(-12)) + 493?
True
Suppose 24*z + 70 = 19198. Is 23 a factor of z?
False
Let o be 18/81 + 1726/9. Suppose 28*h - o = 26*h. Suppose -4*u - h = -7*u. Is 16 a factor of u?
True
Suppose 4*d - 19 = -3. Let k be (-16)/64 - (-42)/8. Suppose -d*l - 154 = -k*n, -3*n + l = -3*l - 86. Does 10 divide n?
False
Let h = -4 + 8. Suppose h*b - 78 = b. Let z = b - 19. Is z even?
False
Let q(s) = 21*s + 471. Is q(0) a multiple of 58?
False
Let l(a) = a**3 + 2*a + 4. Let m be l(0). Suppose -m = -2*b - 6. Let u(y) = -24*y - 1. Is u(b) a multiple of 15?
False
Let h(c) = -2*c**2 + c + 980. Let j be h(0). Suppose 2*r - 476 = 5*f, -4*f + f - j = -4*r. Is 10 a factor of r?
False
Does 16 divide ((-145)/20 + 6)*-320?
True
Let c(n) be the third derivative of n**5/60 - n**4/6 + n**3/2 + 9*n**2. Is c(5) even?
True
Let g be (3 - (10 + -3)) + -50. Does 11 divide 8*-1*g/8?
False
Suppose -27*v + 12*v + 1170 = 0. Is v a multiple of 26?
True
Let b be -1*((-2)/(-2) - 24). Let h = 1 + b. Does 6 divide h?
True
Let h be ((-1 + 1)/(-11 + 12))/2. Suppose h = 3*l + 2*r - 17, -5*l - 2*r + 6*r + 65 = 0. Does 3 divide l?
True
Let w(b) = 6*b**2 - 2*b + 1. Suppose -2*n = -k - 8, -2*n + 7*n - 4*k - 26 = 0. Let y be w(n). Let u = 33 - y. Does 6 divide u?
True
Suppose -7 + 107 = 2*q. Let h = q + -20. Is 15 a factor of h?
True
Let m = 65 + 148. Is 32 a factor of m?
False
Let s = -86 + -35. Let k = -52 - s. Is k a multiple of 10?
False
Let g = 1589 + -1316. Does 13 divide g?
True
Let l(w) = -3*w**2 - 4 + 6*w - 3 + 2*w**2 - w**3. Let t be l(-5). Let f = t - 39. Is 12 a factor of f?
True
Suppose 0 = 436*y - 432*y - 2124. Is 20 a factor of y?
False
Let r(p) be the third derivative of p**6/360 - p**5/15 + p**4/4 + 6*p**2. Let l(j) be the second derivative of r(j). Is 10 a factor of l(9)?
True
Suppose 2*r + 8*r - 20 = 0. Suppose r*z - 28 = 28. Is 9 a factor of z?
False
Let i = 68 - 72. Is 5 a factor of 1/(-4) - (-5 - (-185)/i)?
False
Suppose -15*n + 14*n - 782 = 0. Is (-38)/(-6) - 7 - n/3 a multiple of 38?
False
Suppose 119 = 8*s + 711. Let a = s - -82. Does 7 divide a?
False
Let v = 4 - 1. Suppose 4*i - 25 - 64 = -3*h, v*h - 3*i = 117. Does 11 divide h?
False
Let d = 1082 + -539. Is 35 a factor of d?
False
Let b(y) = y**3 + 7*y**2 + 8*y - 3. Let u be b(-6). Let p(w) = -2*w - 24. Let h be p(u). Let s(n) = -n**3 + 8*n**2 + 2*n + 8. Is 23 a factor of s(h)?
True
Suppose 15 = 3*j + 42. Is -27*((30/j - -2) + 1) even?
False
Let y(o) = o**3 - 2*o**2 + 2*o - 2. Let d be y(2). Suppose 10*z - 11*z + d = 0. Suppose 205 = z*l - 0*x + 5*x, -2*x - 440 = -5*l. Does 32 divide l?
False
Let i = 62 + -32. Is i a multiple of 5?
True
Suppose -j + a = j + 218, 5*a - 109 = j. Let q = j - -223. Does 9 divide q?
False
Let k be 6/36 + 1763/6. Suppose 6*t + t = k. Does 14 divide t?
True
Let t be 2/(-2)*-1*129. Suppose u + g = -3*u + t, 0 = -3*u - 4*g + 113. Suppose 3*n = -4*f + 66, -n = -2*f - 1 - u. Is n a multiple of 11?
False
Let y(s) = -s + 22. Let g be y(18). Does 6 divide -4*1*((-55)/g - 6)?
False
Suppose -2*j - 4*j + 588 = 0. Suppose 16*l + j = 17*l. Is 14 a factor of l?
True
Suppose 4*v - 1760 + 144 = 0. Is v a multiple of 64?
False
Suppose d - 4*d = 4*m - 246, -d + 82 = 2*m. Let s = 134 - d. Is s a multiple of 13?
True
Suppose 14*x - 1253 = 287. Is x a multiple of 22?
True
Let w(b) = -b**3 + 10*b**2 + 2*b - 8. Let q be w(10). Suppose 22 = -11*y + q*y. Does 11 divide y?
True
Does 31 divide 4/(-