 d = -59. Does 11 divide u?
False
Let k(f) be the first derivative of -6*f**2 - 11*f + 3. Let i be k(-8). Suppose 5*t - i - 80 = 0. Does 11 divide t?
True
Suppose -24*j + 23*j + 67 = 0. Is j a multiple of 12?
False
Suppose -3*o = 2*o. Let k = o + 8. Does 5 divide k?
False
Let m be 4/(-14) - 527/(-7). Let s = 121 - m. Does 16 divide s?
False
Let l(q) = q**3 + 7*q**2 - 2*q. Let p be 4*(3 + -1)/(-2). Is l(p) a multiple of 14?
True
Suppose -5*x + 4*z - 65 = 27, 70 = -4*x + 2*z. Let k = -10 - x. Let u = k + -2. Is u even?
True
Let g(w) = w**3 - 6*w**2 - 9*w + 10. Let a be g(7). Let d(k) = -2*k + 3*k + k**2 + 0*k - 1. Is 8 a factor of d(a)?
False
Suppose 9 + 501 = 5*y. Suppose 0*i + 3*i = y. Is i a multiple of 17?
True
Let l(x) = -8*x + 18. Does 22 divide l(-11)?
False
Let i(q) = 2*q + 105. Is i(-28) a multiple of 10?
False
Let a = -18 - -33. Suppose -4*j - j = -a. Is j a multiple of 2?
False
Let n(k) = 2*k**2 - k - 5. Let u be n(3). Let w = 20 - u. Is w a multiple of 10?
True
Let i(u) = -u**3 + 9*u**2 - 5*u - 7. Suppose t + 35 = 6*t. Is 19 a factor of i(t)?
False
Let b(x) = x - 4. Let z be b(6). Let l(p) = -z*p + 4 - 1 + 7*p. Is l(4) a multiple of 6?
False
Let r be (1/(-3))/(3/(-36)). Suppose -r*o = 2*a + 3*a - 36, -4 = -4*o + 3*a. Suppose 3*p = o*p - 24. Is 17 a factor of p?
False
Suppose -301 + 61 = -4*h. Is h a multiple of 13?
False
Let f(j) = 2*j**3 - 7*j**2. Is f(5) a multiple of 25?
True
Suppose 0 = 3*x - 0*x - 6. Suppose -2*h + 55 = t, -x*h + 196 = 2*t + 2*t. Suppose -t = -4*v + 81. Is v a multiple of 16?
True
Let w = 26 - 31. Let k(l) be the third derivative of -l**4/24 + l**3 - l**2. Is 5 a factor of k(w)?
False
Let g(f) = f**3 - 4*f - f**2 + 6*f**2 - 2*f - f**2 + 4. Is g(-5) a multiple of 5?
False
Let x be (-108)/10 - 6/30. Let f = x - -21. Is f a multiple of 5?
True
Let c = -3 - -3. Suppose 2*p + 2*b = -b - 21, p - 4*b - 17 = c. Let y(i) = -10*i - 1. Does 14 divide y(p)?
False
Let n = -2 + 5. Suppose n*i = 11 + 49. Suppose 3*b = b + i. Is b a multiple of 5?
True
Let g(t) = 3*t**2 - 7*t**2 + 11*t - 9*t + t**3 - 3. Let f be g(4). Suppose 4*v = -3*j + 40, 101 = f*j + 5*v + 41. Is 4 a factor of j?
True
Suppose 0 = -5*r + 5*x + 100, 4*x = -r - 3*r + 96. Does 11 divide r?
True
Is 17 a factor of (194/4)/((-11)/(-22))?
False
Let d(i) = -i**2 + 7*i - 2. Let k(q) = -2*q**3 - 2*q**2 + q + 1. Let g be k(-2). Let b be d(g). Does 9 divide (1/b)/(1/(-42))?
False
Let q(n) = -3*n**3 + n**2 + n. Let s be q(-1). Let x(a) = -a + 6. Let l be x(s). Suppose -4*d = -2*z - 36, -17 = -3*d - 5*z - l. Is d a multiple of 8?
True
Let w = 3 + 0. Suppose w*f = 3*d - 114, -4*d - 4*f + 7*f + 149 = 0. Suppose 0 = -2*p - x + 23, 2*p = -3*x - 2*x + d. Is p a multiple of 10?
True
Suppose r = 2*v - 3*v + 7, 4*v - 4*r = 4. Let f(h) be the third derivative of h**6/120 - h**5/20 + h**4/24 - 2*h**3/3 + 2*h**2. Is f(v) a multiple of 7?
False
Let x = 52 + 194. Suppose 0 = a + x + 160. Does 4 divide (-2)/7 + a/(-49)?
True
Let w(m) be the second derivative of -m**5/20 - 2*m**4/3 - m**3 + 3*m**2 - 2*m. Let r be w(-7). Does 8 divide -8 - -6 - r*16?
False
Let x = 110 - 53. Does 19 divide x?
True
Let r be (-4 - -7) + (-1 - 2). Suppose r*f - 6 = -2*f. Does 9 divide ((-8)/f - -3)*63?
False
Let n be 258/5 - 2/(-5). Does 13 divide 3/(-3 + 162/n)?
True
Let d = 303 - 113. Does 23 divide d?
False
Suppose 4*u - 2 = -10. Let z be u/(-4) + (-28)/(-8). Suppose -o - 1 = z*b - 17, -3*b - 16 = -o. Is o a multiple of 16?
True
Suppose -3*x + n = -3*n + 13, -x - 7 = -2*n. Let p be 3/(x/(-2)*-1). Is 8 a factor of (1 + (p - 3))*4?
True
Suppose -j = i - 2*j - 47, -163 = -4*i - j. Suppose 4*g - 4*s - 40 - 16 = 0, 0 = -3*g + 5*s + i. Is g a multiple of 7?
True
Suppose -3*v = -8*v + 2*z + 2, z = -1. Suppose 3*k - 2*k + 1 = v. Is 14 a factor of 30/(k/4 - -1)?
False
Let r(d) = 4*d - 3 - 3*d + 7. Suppose -4*g + 14 = -m, -3*m + 0 = g - 10. Is r(g) a multiple of 8?
True
Let f = 95 + -28. Suppose -3*j = g - f - 25, g + 28 = j. Is 15 a factor of j?
True
Suppose 5*h = 259 - 94. Let o = h - 3. Is o a multiple of 11?
False
Suppose -3*w + 318 = -132. Is w a multiple of 30?
True
Suppose 0*z = -u - 4*z + 144, 4*u = -5*z + 587. Is 37 a factor of u?
True
Suppose -d + 0*d = 26. Let w = 54 + d. Is 22 a factor of w?
False
Let x(o) = -o**3 - 6*o**2 - o + 11. Does 17 divide x(-6)?
True
Let i(s) = s - 1. Let n(j) = 2*j - 7. Let h(b) = -i(b) - n(b). Is 11 a factor of h(-6)?
False
Let d be 14/3*(-15)/2. Let v = d - -73. Is v a multiple of 11?
False
Suppose x - 6*t + 2*t = 12, 0 = 2*x - 2*t - 12. Let g = x - 0. Suppose y - g*y - 5*q + 25 = 0, -5*y + q = -23. Does 3 divide y?
False
Let i(l) = l - 1. Let z be i(-11). Is (-3)/z + (-477)/(-12) a multiple of 10?
True
Let n(c) = -6*c**3 - 1 + 5*c**3 + 0. Let q be n(-2). Suppose -q*m = -3*m - 28. Is m a multiple of 4?
False
Suppose -u = -3*u + 222. Is u a multiple of 22?
False
Let a = -83 - -131. Is a a multiple of 15?
False
Let l = -1 - -3. Suppose l*y + 6 = -2*c + 32, -2*c + y + 38 = 0. Does 9 divide c?
False
Suppose -5*o = 4*q - o - 1004, -4*q + 2*o + 980 = 0. Does 19 divide q?
True
Let v be 70/6*(0 - -3). Let l = v - -24. Is 16 a factor of l?
False
Let y(k) = 8 + 4 + k + 4 - 2. Is y(-7) a multiple of 2?
False
Let s be 1821/4 - (-1)/(-4). Let p = 287 - s. Is 10 a factor of p/(-6) - 1*-2?
True
Let r be -6*((-110)/4)/(-5). Let m = -51 - r. Is ((-12)/m)/((-2)/(-45)) a multiple of 4?
False
Suppose y - 36 = -3*y. Suppose -2*t + y = -3. Suppose u - t*u = -225. Does 18 divide u?
False
Let n = 9 + 81. Does 18 divide n?
True
Let g = 18 + -16. Suppose -g*x + 5 = -33. Is x a multiple of 19?
True
Let s = 77 - 23. Does 23 divide s?
False
Let x = -158 - -181. Does 13 divide x?
False
Suppose -3*d + 264 = -114. Suppose v - 39 = -2*z, z + d = 3*v + 4*z. Does 15 divide v?
True
Let q(i) = i. Let u be q(3). Suppose 0 = d + d + u*r - 8, -r = 3*d - 12. Suppose d*v - 6 = 2*v. Is v even?
False
Let l = -8 + 3. Let b(o) be the third derivative of -5*o**4/24 - o**3/2 + o**2. Is 11 a factor of b(l)?
True
Let h(f) = -11*f - 1. Let x be ((-2)/2)/(2/(-10)). Suppose 3*j + 17 = -j - k, 0 = x*j + 3*k + 30. Is h(j) a multiple of 14?
False
Let t be 5/4 + (-2)/8. Let i(z) = z. Let l(c) = -c**2. Let k(y) = i(y) - l(y). Is k(t) even?
True
Let n(l) = l**3 + 5*l**2 + 4*l + 4. Let p be n(-4). Suppose -5*i - 3*j - 26 = 0, 5*i + 20 = 2*i - p*j. Is 7 a factor of i*(-3 - 10/(-8))?
True
Let i(t) = t**3 - 5*t**2 - 8. Let q be i(7). Is 7 a factor of ((-18)/30)/((-2)/q)?
False
Suppose 3*p = t + 53, -p + 2*p - 2*t - 11 = 0. Is 6 a factor of p?
False
Let t(s) = -s**3 + 5*s**2. Let h be t(5). Let y(b) = -b - 1. Let a(z) = z**3 - z**2 - 5*z - 20. Let k(f) = -a(f) + 6*y(f). Does 7 divide k(h)?
True
Let p = 76 - -10. Let v = p + -14. Does 24 divide v?
True
Suppose -2*b + 53 = -19. Suppose b - 113 = -a. Does 18 divide a?
False
Let a be ((-32)/(-6))/((-1)/(-24)). Suppose -g = -b + 2*b - 60, -2*b + 2*g + a = 0. Let n = 102 - b. Does 15 divide n?
False
Let y be -5*3*(-2)/6. Suppose 5*k = -y, -5*k - 83 + 10 = -2*v. Does 8 divide v?
False
Suppose -6*b = -2*o - 4*b + 254, -3*o + 380 = -4*b. Is 32 a factor of o?
True
Is 0 + 2 - (-2 + 4 - 24) a multiple of 17?
False
Suppose -3*z + 240 = 2*z. Suppose -4*g + z = 4*p, g + 14 = 2*p + 5*g. Does 6 divide p?
False
Suppose -3*m + 21 = -0. Is m a multiple of 4?
False
Let q be (-8)/(-20) - (-136)/10. Is 3 a factor of q + -1 + -3 + -1?
True
Let r be 7/(7/(-2)) - -34. Suppose -r - 22 = -2*p. Is p a multiple of 11?
False
Is 4 + 2 + (108 - 3) a multiple of 33?
False
Suppose 0 = -3*f - 5*n + 9 + 13, 0 = 4*f - n - 37. Suppose 0 = 2*t + g - 58, -4*g = 3*t - f*g - 74. Is 14 a factor of t?
True
Suppose 5*u - 2*k - 292 = 0, u - 8*k - 64 = -9*k. Is u a multiple of 15?
True
Let o = 11 + -32. Let k = 42 + o. Does 21 divide k?
True
Let s be ((-3)/3)/(1/(-45)). Suppose 36 = -4*x - y - 2*y, -5*x = -4*y + s. Let v(i) = i**2 + 9*i + 6. Is 3 a factor of v(x)?
True
Let v = 43 - 20. Does 4 divide v?
False
Let p be (-25 + 8)*1*-5. Suppose -2*y - 13 + p = 0. Is 9 a factor of y?
True
Let r(w) = 5*w - 7. Let z be r(3). Suppose 3*p + 190 = z*p. Is p a multiple of 11?
False
Let v(j) = -j - 1. Let i(f) = -7*f. Let h(y) = i(y) + 3*v(y). Let l be (6/8)/((-6)/24). Is h(l) a multiple of 10?
False
Suppose 0 = -2*m - 2*m + 8. Is 2*m/(-6)*-