 of 10?
False
Let i(w) = w**2 - 13*w - 15. Let h be i(15). Let o(q) = -q**2 - 6*q - 9. Let l be o(-6). Let v = l + h. Does 6 divide v?
True
Let n = 7 + -2. Suppose n*r - 72 = 93. Is r a multiple of 8?
False
Suppose -3*g = -2*t + 74, 3*g = -3*t + 2*t - 62. Let r = g - -66. Is 11 a factor of r?
True
Let z be (-1)/((2 - 1)/(-5)). Suppose z*g - 16 + 1 = 0. Suppose -g*s + 0*s = -45. Does 10 divide s?
False
Let t(q) = q**3 - 7*q**2 - 9*q + 4. Let l be t(8). Let o = 40 + -26. Let u = l + o. Does 7 divide u?
False
Does 14 divide -3 + ((-21)/(-4))/((-3)/(-12))?
False
Suppose -5*h - 18 = -4*n, -2*h - 10 = -6*n + 3*n. Suppose -3*k - 2*k - 65 = -5*p, 2*p - 6 = -n*k. Let o = 28 + p. Is 18 a factor of o?
True
Suppose 32*c = 27*c + 710. Is c a multiple of 33?
False
Let a(v) = -v**3 + 5*v**2 + 4*v + 6. Suppose -2*p - 3 + 15 = 0. Let u be a(p). Is 14 a factor of (-7)/u*-2*-12?
True
Let a(r) = 4*r**2 + 7*r - 50. Does 14 divide a(-10)?
True
Suppose 0 = -s + 4 - 0. Is s a multiple of 3?
False
Let y(p) = 4*p + 22. Is y(10) a multiple of 31?
True
Let u = 134 + -71. Suppose 2*p = -4*r - 1 + 9, -2*p + 2*r - 4 = 0. Does 21 divide u/(-9)*(-6 - p)?
True
Let r = 50 - 50. Suppose -2*c + 18 = -0*c. Suppose r*y = 3*y - c. Does 2 divide y?
False
Is 14 a factor of (-160)/60*54/(-8)?
False
Let u = 462 + -227. Does 30 divide u?
False
Suppose 0 = 2*q - 7*q + 10. Suppose -q*j - 5*p = -0*p - 63, 2*j = -4*p + 66. Is 13 a factor of j?
True
Suppose 0*g - g = -2*m - 7, 2*g - 4 = -m. Suppose -g*d + 28 = -r, 5*d = 4*r + 17 + 18. Let a = 21 - d. Is 4 a factor of a?
False
Let x(d) = -d**3 + 5*d**2 + 7*d - 1. Suppose 0 = -4*v + 2*t - 14 + 40, 0 = -v - 4*t + 2. Is x(v) a multiple of 3?
False
Let g(v) = 6 + 3*v**2 - 5 - 1. Let r be g(1). Suppose r*m - 3*p - 52 = 122, -4*m - 2*p = -250. Is 24 a factor of m?
False
Let h be -26 - (1 - 6)/(-5). Suppose 2*p + 4*m - 140 = 0, 5*p - 2*p = -4*m + 204. Let g = p + h. Does 13 divide g?
False
Is 7 a factor of (-10 - -5) + 1 - -125?
False
Let u(i) = i + 35. Is u(-13) a multiple of 11?
True
Suppose -3*k - 12 = 3*y, -2*y + 7*y = 3*k + 20. Let g be 3*(y + 1/3). Suppose -g*q - 14 = -46. Does 8 divide q?
True
Suppose 0 = -2*g - 3*g + 20. Let f be (57/(-12))/((-1)/8). Suppose 5*r = g*r + f. Is r a multiple of 19?
True
Let w(t) = -11*t**2 - t + 2. Let i(v) = 4*v**2 + 3*v + 1. Let h be i(-2). Let p(m) = -33*m**2 - 2*m + 5. Let g(b) = h*w(b) - 4*p(b). Is 21 a factor of g(2)?
False
Suppose 3*a - 4*a + 46 = 0. Does 20 divide a?
False
Let z = -8 - -11. Is 21 a factor of (10/z + -1)*27?
True
Let p(r) = r**2 + 2*r. Let i be p(-3). Let s be (-5 - -5) + i + 1. Is 13 a factor of 33 - (-2)/s*2?
False
Let j be (-4)/6 + 14/3. Suppose 5*k - j*u - 16 + 0 = 0, 3*k + 5*u - 17 = 0. Does 4 divide k?
True
Let h(a) = -57*a - 4. Does 22 divide h(-2)?
True
Suppose -2*k - x + 11 = 0, 7*x = 4*x + 3. Suppose j - l = 2*j - 1, 2*l - 16 = k*j. Is j + (-2 - 33/(-3)) a multiple of 5?
False
Suppose i - 520 = -3*i. Suppose 0 = 5*q - 95 - i. Let k = q + -24. Does 8 divide k?
False
Let t be 111/21 + 2/(-7). Suppose 37 = 4*s + t*d + 9, -4*s + 4*d + 28 = 0. Does 4 divide s?
False
Suppose 304 = 22*j - 18*j. Does 14 divide j?
False
Let g(n) = 2*n + 0*n**3 + n**3 + 7*n**2 + 4*n. Let h be g(-5). Does 10 divide (-15 + -1)*h/(-16)?
True
Let m(o) be the second derivative of o**4/12 + o**3 + 5*o**2/2 + 2*o. Let j be m(-4). Let s = j - -16. Does 13 divide s?
True
Suppose -4*b - 30 = -9*b. Is b a multiple of 6?
True
Suppose p - 147 = -2*h + h, 4*h = -3*p + 444. Does 36 divide p?
True
Suppose -2 = -0*b - b. Suppose 2 + b = r. Suppose 0 = -r*o + 33 - 9. Is 5 a factor of o?
False
Let x be (-114)/(-18) - (-1)/(-3). Let z(f) = 0*f + 0*f - 3 + x*f - 4*f**3 + 5*f**3 + 7*f**2. Is 7 a factor of z(-5)?
False
Let m(c) = -c + 14. Let w be m(9). Suppose w*j + 71 = 211. Is 14 a factor of j?
True
Let h = 9 + -12. Let u be (-29)/h - 2/(-6). Suppose -u + 2 = -l. Is 8 a factor of l?
True
Let a(m) = m + 4. Let g be a(-5). Is 4 a factor of 14 - (5 + (-3 - g))?
False
Suppose -4*c + 78 + 41 = -o, 0 = o + 3*c + 133. Let t = o + 194. Is 19 a factor of t?
False
Suppose 0*t = 4*t - 12. Suppose 4*i = -p + 21, t*p = 4*i - 27 - 6. Suppose 3*b - b - i = 0. Is b a multiple of 3?
True
Let b(c) be the third derivative of -c**7/5040 + c**6/240 + c**5/60 - 3*c**2. Let p(k) be the third derivative of b(k). Does 9 divide p(-6)?
True
Let u = 1 + 0. Let g be (u - -1) + 25 - 1. Suppose -g = -9*w + 7*w. Is 9 a factor of w?
False
Let f be (-1)/3 - (-32)/(-12). Let r(l) = -l**3 - 2*l**2 + l + 2. Does 3 divide r(f)?
False
Let u = 15 - 10. Suppose 24 - 69 = u*z. Let h = z - -21. Is h a multiple of 12?
True
Let a(v) = -3*v - 6. Let h be a(-5). Let o = 12 - h. Suppose -5*b - 5*n = -82 + 7, o*b + 4*n - 50 = 0. Is b a multiple of 5?
True
Let i = 127 + -73. Let b = i + -32. Is 11 a factor of b?
True
Suppose 5*h + 6 - 53 = -4*z, 2*z - 4*h - 30 = 0. Is z a multiple of 10?
False
Suppose 4*k - 22 = 5*j, -8*k + 3*k - j + 13 = 0. Suppose 5 + 13 = k*q. Is 2 a factor of q?
True
Let y(o) = o**2 - 10*o - 4. Let f be y(6). Let g = 39 + f. Is g a multiple of 5?
False
Suppose 40 = 5*r + s, -3*r + s + 46 = 6*s. Let n(g) = -3*g. Let u be n(-1). Is r - (-2)/(-3)*u even?
False
Let o be 13/(-3)*(8 - -1). Let r = 125 + o. Is 15 a factor of r/6 + (-6)/(-9)?
True
Suppose 14*a - 11*a = 108. Does 4 divide a?
True
Suppose -3*z + p = -209, 3*p + 5 = -2*z + 148. Is z a multiple of 18?
False
Let r be (-24)/(-9) - 2/(-6). Let z(o) = r*o + 2*o + 2*o - 3*o + 2. Does 14 divide z(3)?
True
Let u = 1 + 3. Let v be 2*(-2)/u*5. Let k = -2 - v. Is k a multiple of 2?
False
Let k(c) = c + 2. Let u be k(4). Suppose -u*t + 12 = -3*t. Suppose -2*i = 3*z - 27, t*i - 2*z + 13 = 5*i. Is 13 a factor of i?
False
Is 22 a factor of (42/(-15))/((-2)/35)?
False
Suppose 10 = 5*y - 5. Let x(f) = -16*f. Let g(v) = 3*v. Let m(a) = 33*g(a) + 6*x(a). Does 9 divide m(y)?
True
Let x(b) = -2*b**2 + 24*b - 12. Is 6 a factor of x(10)?
False
Let s = -1 - -3. Suppose 2*q - 100 = -s*q. Is 16 a factor of q?
False
Let v = 3 + -7. Let t be 31/2 - 2/v. Suppose 3*k = -b - k + t, -4*b + 64 = -k. Is 8 a factor of b?
True
Suppose -3 = 2*f + 13. Let s(u) = u**2 + 7*u - 5. Is 2 a factor of s(f)?
False
Suppose -3*o - 40 = -7*o. Suppose 2*a = -5*f - 18 - 2, 5*f - 4*a = o. Is 8 a factor of f/3 + (-64)/(-6)?
False
Let c(s) = -1 - 1 - 2*s + s**2 + 3*s. Let k(h) = h**3 + 5*h**2 - 6*h + 4. Let q be k(-6). Is c(q) a multiple of 18?
True
Let w = -8 - -4. Let k(b) = -b**3 - 3*b**2 + 2. Let g be k(w). Does 10 divide 4/g + (-176)/(-18)?
True
Let u = 46 - 99. Does 8 divide u/(-4) + 1/(-4)?
False
Suppose -5*a + 117 - 27 = 0. Is a a multiple of 9?
True
Suppose -3*c + 13*o + 123 = 8*o, 0 = -5*c + 5*o + 205. Is c a multiple of 3?
False
Suppose -5*o + 0*g + 225 = -g, g = 5. Does 9 divide o?
False
Let o = 7 - -3. Let v = o - 19. Let r(i) = -i**3 - 8*i**2 + 5*i - 8. Is r(v) a multiple of 8?
False
Suppose l - 20 = 94. Suppose l - 30 = 3*k. Is k a multiple of 28?
True
Suppose 50 = 3*b - 4*f, 2*b = 4*b - f - 40. Is b even?
True
Suppose u = 2*l, 3*u + 4*l = 67 - 27. Let m(p) = p**3 - 6*p**2 - 11*p - 3. Let r be m(u). Suppose 192 = 5*f + r. Is 16 a factor of f?
False
Let u = 97 - 93. Does 4 divide u?
True
Suppose 3*v - 16 = 4*v. Let j = v - -3. Let f = j + 49. Is f a multiple of 18?
True
Suppose 4*s - 4*y = -34 + 2, -3*s - 2*y = 19. Let l(q) = -q - 7. Let b be l(s). Suppose -t - 4*t + 60 = b. Is t a multiple of 12?
True
Let r(n) = n**3 - 2*n - 1. Let u be r(2). Is 2 a factor of (-45)/(-25) + u/15?
True
Let w be (66/8)/(15/40). Let o = w - 7. Is o a multiple of 6?
False
Suppose -272 = -4*l - 92. Let a = l - 29. Suppose -4*t = -0 - a. Is t even?
True
Suppose 2*i - 3*i = 5. Let o(d) = d**2 + d - 5. Is o(i) a multiple of 11?
False
Is -3 + 3 - (-46 + 1) a multiple of 25?
False
Let k(t) = t**3 + t + 62. Let o be k(0). Suppose 4*y + o = 5*h, -3*y - 20 = 4*h - 82. Is h a multiple of 4?
False
Does 9 divide ((-108)/10)/((-4)/10)?
True
Let w be ((-24)/(-4) - 3) + 37. Let m be 51/6*2*1. Suppose w = 3*z - m. Does 9 divide z?
False
Suppose 4*o = -o. Let z(m) = 2*m + 1. Let i be z(6). Suppose p + o*p - i = 0. Does 5 divide p?
False
Suppose -2*j + 37 = 3*h, 4*j - 4*h - 37 - 27 = 0. Suppose 4*k = 3*t - 48, 5*t - 3*k - 74 = j. Does 10 divide t?
True
Let p = 193 + -13