m(-10) a multiple of 22?
False
Suppose 0 = g, -4*g + g = 5*z - 20. Suppose t + z*f + 2 = 0, -6*t + 2*t - 3*f + 18 = 0. Let d(l) = 2*l**2 - 8*l - 5. Is 8 a factor of d(t)?
False
Let b(l) be the third derivative of -7*l**4/24 + 7*l**3/6 - 5*l**2. Is b(-8) a multiple of 21?
True
Let b = 92 + 67. Does 28 divide b?
False
Let l(s) = s**2 - 6*s + 2. Suppose -4*q + 3*q + 6 = 0. Let p be l(q). Suppose -15 = p*m + 3*m, -35 = -5*j - 5*m. Does 4 divide j?
False
Suppose y - 5 = -0*y + q, -3*y - q = -7. Suppose -8 - 4 = y*s. Does 6 divide 10 + -3*s/6?
True
Does 6 divide (-1)/(-2) - 318/(-12)?
False
Suppose -5*j = 5*q - 1060, 3*j + 4*q + 202 = 4*j. Is j a multiple of 21?
True
Suppose 64 = 8*i - 168. Is i a multiple of 15?
False
Let u = 80 + -65. Is u even?
False
Let h be (3 + 11)*1/2. Let c = h + 7. Suppose y - 2*a = c, -3*y + 55 = 2*y + 5*a. Is 12 a factor of y?
True
Suppose 166 = 4*n - 3*n - 3*r, -4*n = -2*r - 624. Does 22 divide n?
True
Is 53 a factor of (1/2)/((-1)/(-446))?
False
Suppose -36 - 44 = 5*d. Let y = 19 + 3. Let m = y + d. Does 6 divide m?
True
Does 5 divide 1 + 31 + -1 + -1?
True
Suppose m = -2*m + 69. Is m a multiple of 8?
False
Let j be (3 - (-7)/(-2))*-110. Let b = j - -13. Is 28 a factor of b?
False
Let l = -2 + 4. Suppose l*q + 0 - 48 = s, -s = 0. Suppose -4*y + 2*m + 90 = m, -y + m + q = 0. Is y a multiple of 9?
False
Let f(g) = -6*g + 57. Is 7 a factor of f(-13)?
False
Suppose -3*r - 36 = -3*l, 3*l - 15 = -3*r + 9. Let b = -8 + l. Suppose 6*g + s - 175 = b*g, s + 95 = 2*g. Is 15 a factor of g?
True
Let f = 49 + -29. Is 5 a factor of f?
True
Suppose q + x - 95 = 0, -x - 80 = -q + 3*x. Is 19 a factor of q?
False
Let x = 46 + -35. Is x a multiple of 6?
False
Suppose z = -z. Suppose 4*d - 8*d + 124 = z. Does 21 divide d?
False
Suppose -3*y - p = -6, -5*y + 3*p = -0*p - 24. Let f = -5 + y. Let d(v) = -v**3 + v**2 + v + 2. Is 12 a factor of d(f)?
True
Let m(i) = 15*i - 4. Does 13 divide m(2)?
True
Let q be 8/6*(-45)/10. Let l = 11 + q. Suppose -4*b + 157 + 88 = 5*v, l*v - 4*b - 205 = 0. Does 26 divide v?
False
Let j = 11 + -6. Suppose j*z - 32 = 3*z. Is z a multiple of 8?
True
Let q(v) = 0 - 5 - 4*v + 0*v + v. Is 7 a factor of q(-4)?
True
Let w = 33 - 19. Is 6 a factor of w?
False
Let p be (8/(-3))/(1/(-3)). Suppose -2*g + 2 = 4*h - p, -h - 3 = -5*g. Suppose w + 3 = h*w. Is w even?
False
Let o be -3 + (-1 - -7) + -1. Let m be 14*1/o - 2. Suppose 2*a - 57 = -4*j - 13, 4*j = m*a - 110. Does 22 divide a?
True
Does 10 divide 179/4 - (-39)/(-52)?
False
Suppose -75 = -5*t + 200. Is 15 a factor of t?
False
Suppose c = -3*q + 3*c + 302, -q + 105 = -5*c. Is q a multiple of 13?
False
Suppose -3*n - 2*l + 5 = 0, -14 = -n - n + 4*l. Suppose -2*a + n*a - 92 = -m, 3*a + 246 = 3*m. Is 21 a factor of m?
False
Let p be (-31 - (-1 + 1))*-1. Suppose 2*d + z - 2*z - 29 = 0, -105 = -5*d - 4*z. Let b = p - d. Is 7 a factor of b?
True
Suppose 5*f - 401 = -4*v + 119, 2*v = -2*f + 208. Is 26 a factor of f?
True
Suppose 12*r + 3 = 13*r, 5*h - 2*r = 1554. Does 39 divide h?
True
Suppose -4*h + h - 4*o = 5, 30 = -2*h + 4*o. Let f(a) = -16*a - 5. Is 27 a factor of f(h)?
False
Let g(f) = -3*f**2 + 5*f - 4. Let n(w) = -16*w**2 + 26*w - 21. Let c(z) = 11*g(z) - 2*n(z). Let b(j) be the first derivative of c(j). Does 8 divide b(-5)?
False
Let b be 420/9 + (-2)/(-6). Suppose -o - 3 = -3*d + 15, -4*o + b = 5*d. Is 2 a factor of d?
False
Let i(p) = p**3 + 10*p**2 - 9*p + 36. Does 33 divide i(-9)?
True
Suppose j + 1 = 4*g, 0 = -4*g + g + 3*j - 6. Let o(f) = 8*f**3 + f**2 - 2*f + 1. Let v be o(g). Is 14 a factor of (v/12)/(3/207)?
False
Let w(q) be the second derivative of q**3/2 + 2*q**2 + 2*q. Suppose -20 = 2*h - 7*h. Does 16 divide w(h)?
True
Let n(g) = 4*g - 3*g + 0 + 0*g - 1. Let v be n(1). Suppose v = 4*h - 2*f - 114, -4*f = 5*h - 7*f - 140. Is h a multiple of 11?
False
Let d(t) = t - 2. Let j be d(-5). Let y = j - -12. Is 3 a factor of y?
False
Let i be (6/(-8))/((-2)/(-16)). Let s(j) = -j**3 - 6*j**2 - j. Let m be s(i). Is (m/(-4))/(3/(-76)) a multiple of 16?
False
Suppose -3*c = -6*c + 3, c + 3 = 2*h. Suppose -2*a + 103 - 7 = h*i, 4*a - 3*i - 178 = 0. Suppose -3*r = -2 - a. Does 16 divide r?
True
Let j be (-1)/(-2) + (-106)/(-4). Suppose -5*d = -2*d - j. Is 9 a factor of d?
True
Let u = 103 - -53. Does 6 divide u?
True
Suppose 4*c = c + 195. Does 12 divide c?
False
Is (128/10)/((-18)/(-45)) a multiple of 16?
True
Does 34 divide ((-4)/(-6))/(1/153)?
True
Suppose -a = 3*v - 86, 172 = 2*a + v - 5*v. Let q = -48 + a. Does 10 divide q?
False
Let q(d) = d**2 + 4*d + 5. Let g be q(-3). Suppose 28 = 3*n - 2*h, -2*n - g*h + 54 = 22. Is 6 a factor of n?
True
Suppose -f = -4 - 1. Suppose -386 = -f*c - 111. Suppose -5*g = -0*g - c. Does 11 divide g?
True
Suppose -8 = h - 3*g, 5*g - 22 = h - 6. Suppose 3*u - 68 = -3*o - o, 0 = 2*u - h*o - 32. Is 10 a factor of u?
True
Let r = 16 - 11. Is 5 a factor of r?
True
Let a = -49 + 69. Let w be 20*(9/(-6))/(-3). Let d = a - w. Is d a multiple of 7?
False
Let x = -161 - 131. Let h = -204 - x. Is h a multiple of 19?
False
Let h(s) = -17*s - 27. Is 25 a factor of h(-6)?
True
Let y(o) = 5*o. Let l be y(3). Suppose 0 = -d + l + 13. Is 28 a factor of d?
True
Let d = -2 - -5. Is 8 a factor of (-1)/(1/(-12 + d))?
False
Let v(b) be the first derivative of -b**4/4 + b**2/2 - b + 3. Let f be v(-2). Suppose -f*i = 10 - 40. Does 2 divide i?
True
Suppose -3*x + 3*w = 59 - 164, 0 = w + 5. Is 6 a factor of x?
True
Let l = -30 + 18. Is 30 a factor of -12*(-1 - l/(-8))?
True
Let v(f) = f**3 + 5*f**2 - 2*f - 6. Let t be v(-4). Let z be 3/(-1 - (-20)/t). Suppose 35 + z = 2*h. Is 12 a factor of h?
False
Let t(q) = -q**3 - 3*q**2 - 7*q - 5. Does 10 divide t(-4)?
False
Let o = -264 + 451. Suppose 5*f - o = 53. Is 13 a factor of f?
False
Let u(y) be the second derivative of -y**5/20 - 2*y**4/3 - 5*y**3/3 - 7*y**2/2 + 2*y. Suppose -5 = 5*a + 30. Is 7 a factor of u(a)?
True
Let t(a) = 8*a**3 + 2*a**2 - 1. Is t(1) even?
False
Let i be (-1)/(-2 - 46/(-24)). Does 3 divide i/(-18)*(-42)/4?
False
Suppose -j = 3*d - 2, -2*j - 5*d - 2 = -3*j. Is j*3/(3/2) a multiple of 2?
True
Suppose -972 - 228 = 5*f. Let u be f/(-3)*2/4. Suppose -10 = -5*l + u. Is 4 a factor of l?
False
Let j(v) = -229*v + 3. Does 51 divide j(-1)?
False
Let k = -79 + 123. Is 22 a factor of k?
True
Let m(y) = 10*y**2 + 3*y - 6. Let s(g) = 3*g**2 + g - 2. Let j(i) = -2*m(i) + 7*s(i). Let h be j(2). Suppose h*v - 72 = v. Is 12 a factor of v?
True
Suppose -4*o = -2 - 2. Let r be ((-7)/21)/(o/(-21)). Suppose -r - 68 = -5*i. Does 15 divide i?
True
Let u = 67 - 40. Let t(g) = g**2 + 2*g + 5. Let q be t(-4). Let m = u - q. Is m a multiple of 5?
False
Is ((-217)/14)/((-1)/2) a multiple of 10?
False
Let d = 32 + -4. Does 14 divide d?
True
Let d(w) = w**3 + 9*w**2 + 3*w + 12. Is d(-8) a multiple of 13?
True
Let n be -8*(-3)/(-6) + 2. Is 4 a factor of ((-1)/n)/(9/90)?
False
Suppose 4*h + 4*r - 460 = 0, 0*h = 5*h + 4*r - 571. Is h a multiple of 19?
False
Let r = 159 - 77. Let n = r - 45. Does 11 divide n?
False
Suppose -4*a + 16*a = 2760. Does 22 divide a?
False
Let p = 38 - 32. Is 6 a factor of p?
True
Let m = -20 + 62. Is 5 a factor of m?
False
Let v be (5/(-4))/((-1)/8). Let a(c) = -c**3 - 4*c**2 + 5*c - 5. Let k be a(-5). Is 12 a factor of (-48)/v*1*k?
True
Let i be ((-10)/(-15))/((-4)/(-174)). Suppose -k + i = -3. Is 17 a factor of k?
False
Suppose 437 = 3*i - 304. Is i a multiple of 15?
False
Suppose 0 = 5*p - 144 - 86. Does 21 divide p?
False
Let q(h) = h**2 - 6*h + 1. Let r be q(6). Let j(c) = -7 + 4*c + 2 - r. Is 9 a factor of j(6)?
True
Suppose 8 = -4*m, 4*a = 2*m + 2*m + 152. Is 9 a factor of a?
True
Let n = 0 + -2. Let r = n - -3. Is 7 a factor of r + -2 - (2 - 14)?
False
Suppose 6*h = h + 175. Let b = h - 17. Let t = -12 + b. Is t a multiple of 6?
True
Suppose 5*z + 3*j - 59 = 0, 0*z = 2*z - 3*j - 11. Suppose -t = 2 - z. Does 3 divide t?
False
Let c(z) = -3*z**3 + 13*z**2 + 6*z + 2. Let y(f) = f**3 - f**2 - 1. Let u(j) = -c(j) - 4*y(j). Is 15 a factor of u(-9)?
False
Suppose 5*f - 9*f + 104 = 0. Is f a multiple of 13?
True
Does 13 divide (3 + -65 - 0)/(-2)?
False
Suppose 7*g - 40 - 198 = 0. Does 17 divide g?
True
Let g be (-3 - -1 - -2) + 64. Suppose -2*h + 20 = -g. Does 14 divide h?
True
Suppose -d = 