 a**2/2 - 2*a. Let q be u(-2). Let w(t) = 2*t**2 + t + 3. Is 10 a factor of w(q)?
False
Let t(i) = i**3 + 13*i**2 + 10*i - 8. Does 8 divide t(-12)?
True
Let h(a) = 4 + 11*a + 0 + 0. Is 24 a factor of h(4)?
True
Let c = 0 + 4. Suppose -5*h + c = -81. Is 11 a factor of h?
False
Let s(i) = 46*i + 5. Let c be s(-7). Does 7 divide 14/(-105) - c/15?
True
Let d = -10 - -18. Let o = d + -3. Does 5 divide o?
True
Suppose -u = -2 - 0. Suppose -13 = -u*w + 27. Does 10 divide w?
True
Let h(i) = 3*i**3 + i**2 - 1. Let b be h(1). Is 3 a factor of ((-10)/(-3))/(1/b)?
False
Suppose -36 = 5*r + 4. Let d be 2/(-8) - 42/r. Suppose 0 = d*g - 76 - 39. Is 10 a factor of g?
False
Is 237/15 - (-2)/10 a multiple of 3?
False
Suppose -5*k - 29 = -5*g - k, k + 16 = 3*g. Suppose 5 = g*w - 5. Suppose 5*b - 135 = 5*s + 5, w*s + 81 = 3*b. Is 11 a factor of b?
False
Let v(y) = y**3 - 11*y**2 + 9*y + 9. Let p be v(10). Let f be (12 - 10) + (0 - p). Suppose 7*d - f*d = 128. Is 28 a factor of d?
False
Suppose 18*m - 3688 = 344. Is m a multiple of 14?
True
Suppose 5*o - 269 = -3*n, o + 112 = 3*o - n. Is o a multiple of 3?
False
Let h = 4 + -3. Let w(p) = p**2 + 2*p + 3*p - h - 1. Is w(-7) a multiple of 6?
True
Let r be -1 - (2 - -5)*-3. Suppose -x = x + r. Let g = 15 - x. Does 13 divide g?
False
Suppose 0 = 5*v - 2*h - 410, -4*v + 350 - 19 = -h. Does 22 divide v?
False
Suppose 67 = h - 5*i - 27, 0 = 2*h - 4*i - 176. Is 7 a factor of (h/3)/((-4)/(-2))?
True
Let u(r) = -67*r - 1. Let j be u(-4). Suppose 0 = 5*d - j + 77. Is 21 a factor of d?
False
Let j(x) = x**3 + 6*x**2 + 5*x + 3. Let q be j(-5). Let f be 9/4*(q + 13). Suppose -3*y = -2*t - 18 - 14, 3*y - 3*t = f. Is 8 a factor of y?
True
Suppose -25 = -5*d - 0. Suppose 0 = g + d*j - 25, g - 7*j - 9 = -4*j. Is 15 a factor of g?
True
Let q = -78 - -333. Is 15 a factor of q?
True
Suppose 4*j + 4*v = -24, -4 = v - 0*v. Let u(a) be the second derivative of a**4/12 + a**2/2 + a. Does 2 divide u(j)?
False
Let c = -44 + 19. Suppose 3 = d + 2*m, 8 = 3*d + 5*m - 5. Let h = d - c. Is h a multiple of 18?
True
Let k(c) = -c**2 - 8*c + 6. Suppose a = 5*m + 25, 0*a + 37 = -2*m - 5*a. Is k(m) a multiple of 9?
True
Suppose -569 = -10*n + 541. Does 6 divide n?
False
Let y(x) = x**2 - 2*x - 3. Let r be y(3). Let k = 1 + 3. Suppose k*o + 2*m - 86 = r, o - 4*o = 4*m - 77. Is 18 a factor of o?
False
Let l(u) = -u - 5. Let k be l(-4). Is (k - 3)*(-11 + 1) a multiple of 15?
False
Suppose 2*g - 1 - 5 = 0. Suppose 0 = -2*h + 3*o + 14, g*o + 10 = -2*h - 0*h. Is 4 a factor of 9/h - (-2 - -2)?
False
Let f(i) = i**3 + 8*i**2 - i - 10. Let o be f(-8). Let b be (-2 - o)/(-3 + 2). Suppose b = -3*n + 65 - 14. Does 17 divide n?
True
Let m be 12/(-8) + 1/2. Let i(k) = -3*k**3 - k**2 + 1. Let z be i(-1). Does 13 divide (z/1)/(m/(-5))?
False
Is (24/(-7))/((-19)/133) a multiple of 8?
True
Let p = -3 + 26. Let q = p + -1. Is 15 a factor of q?
False
Let u be 5*-1*(-1 - 0). Suppose -u*n + 3*g + 0 = 27, 2*n + 13 = -g. Let k = n - -20. Is 7 a factor of k?
True
Let k = -93 + 112. Does 13 divide k?
False
Let g(t) = 10*t + 11. Is 29 a factor of g(5)?
False
Let f(h) = h + 10. Let k be f(-6). Suppose -u - 41 = k*i - 338, 4*i - 4*u - 292 = 0. Does 23 divide i?
False
Let s(f) = -10*f + 4. Let o = -7 - -4. Let i be s(o). Let p = -3 + i. Does 17 divide p?
False
Let s be (0 + 0)/(8/(-4)). Suppose 0 = -3*t - s*t - 5*x, -3*t - x - 12 = 0. Let h(k) = k**3 + 6*k**2 + 3*k + 6. Is h(t) a multiple of 6?
False
Suppose 2*l + 0*l - 18 = -5*t, 3*l - 20 = -4*t. Suppose 0 = -l*g - 35 - 21. Is (-3)/(6/g) + -1 a multiple of 6?
True
Let b(g) be the third derivative of g**5/60 + 3*g**3/2 - 4*g**2. Does 29 divide b(-7)?
True
Suppose 6*m - 355 = -5*u + 2*m, 0 = -4*u + 5*m + 325. Does 15 divide u?
True
Is 10 a factor of (25/10)/((-162)/(-40) + -4)?
True
Let r = 13 - 8. Suppose r*m - 10 = 35. Is 3 a factor of m?
True
Suppose 2*u + 55 = 269. Does 19 divide u?
False
Let z be -2*1 - -2*2. Suppose 2*b + z = 82. Suppose 0 = -2*f + f + b. Does 20 divide f?
True
Is 3 - -1 - (-98 + -3) a multiple of 35?
True
Suppose 0 = -y - 2, 2*k = -3*k - 4*y - 48. Let b = -3 - k. Is 6 a factor of 5*((-4)/b - -2)?
True
Suppose 2*h - 120 = -4*g, 0 = -5*h - 0*h - 20. Is g a multiple of 10?
False
Suppose 5*r = r + 272. Does 8 divide r?
False
Let o = -189 - -324. Is o a multiple of 9?
True
Let f be -1 + (4 + -1 - 0). Suppose 6 = f*p - 20. Does 7 divide p?
False
Let d(k) = k**2 + 2*k - 6. Let a(v) be the first derivative of -2*v**3 + v + 2. Let r be a(-1). Does 9 divide d(r)?
True
Suppose 4*i - 3*h = 40 + 146, 0 = -4*i - h + 194. Is i a multiple of 8?
True
Let z = 6 + -4. Let x = z - -8. Does 5 divide x?
True
Let d(y) = -7*y - 2. Does 8 divide d(-5)?
False
Let r(p) = -p**2 + p + 1. Let n be r(0). Is 13 a factor of (39*(-2)/(-3))/n?
True
Suppose -107 = -o - 4*h - 38, -3*o = 4*h - 175. Let c be -1 + (-14)/(-3)*6. Let s = o - c. Does 13 divide s?
True
Let f = 1 - -2. Suppose h + 4*b + f = -3, 2*h + 4*b = 0. Does 5 divide h?
False
Suppose 0 = -4*i + 119 + 209. Is 41 a factor of i?
True
Suppose -2*c + 127 = -l, 5*c + 96 = -l + 424. Let n = 101 - c. Is n a multiple of 10?
False
Suppose 0 = -90*s + 89*s + 96. Does 7 divide s?
False
Suppose d = 2 + 3. Suppose 0*b + 4*b = -d*z + 46, -b - 5*z = -19. Let v = b + 38. Does 16 divide v?
False
Let m = 5 - 1. Suppose 73 = m*a + 1. Is a a multiple of 12?
False
Suppose s - 1 = 3. Let w = s + -4. Suppose w = -z + 4*z - 57. Does 10 divide z?
False
Suppose 5*r + 200 = 5*f, -2*r + 87 = 2*f + 3*r. Is f a multiple of 4?
False
Let k = -86 + 282. Is 62 a factor of k?
False
Let m(g) = -g**2 + 2*g + 1. Let p be m(2). Suppose -3*h = p + 5. Does 2 divide 1 - (4/h + -2)?
False
Suppose -5*a - 18 = -v, -a - 36 = -2*v - 6*a. Does 2 divide v?
True
Let c be (1 + 0 - 0) + 80. Suppose 6*q - c = 3*q. Suppose -v + q = -0*v. Is v a multiple of 11?
False
Let u(b) = b**3 + 6*b**2 - 8*b + 4. Does 35 divide u(4)?
False
Let u = -133 + 183. Is u a multiple of 10?
True
Let r(w) = -17*w**2 + w + 1. Let d be r(2). Let l = 100 + d. Is 13 a factor of l?
False
Suppose 6*c = c + 30. Suppose -c*h = -5*h - 12. Does 11 divide h?
False
Let o = -18 + 21. Does 3 divide o?
True
Let s = 3 + -5. Let v(q) = -3*q**3 - q**2 + 2*q + 3. Is v(s) a multiple of 11?
False
Let d = -1756 - -376. Does 37 divide d/(-10) - (-2 + 1)?
False
Let u(t) = -t**2 - 10*t + 2. Let v be u(-10). Suppose 82 = j - 3*l, -198 = v*j - 5*j - 3*l. Let h = -43 + j. Is 9 a factor of h?
True
Let x = 38 + -13. Suppose 3*c = 65 + x. Is 23 a factor of c?
False
Let p be 6/(-9) + 5/3. Let u(v) = 4*v - 1. Let o be u(p). Suppose -6 - 3 = -o*j, 5*j + 3 = n. Does 9 divide n?
True
Let x(b) = -5*b**3 - 6*b**2 - b + 16. Let t(m) = 4*m**3 + 5*m**2 + m - 15. Let a(u) = -6*t(u) - 5*x(u). Is 10 a factor of a(0)?
True
Suppose -5*d + 0*d - 5*y = -35, -2*y - 21 = -5*d. Suppose 3*c = -d*z + 254, 11 = -2*z - 5*c + 105. Does 26 divide z?
True
Let y be (-2)/6 - (-4)/(-6). Let i(r) be the second derivative of -r**5/20 + r**4/12 + r**3/6 + r**2/2 + 4*r. Is i(y) a multiple of 2?
True
Suppose -3*z + 3*y = 6, 4*y = 3*z - y - 4. Let c(t) = -2*t - 6. Let s be c(z). Suppose m + s = 2*m. Is 8 a factor of m?
True
Let c = 8 + -5. Let a = c - 5. Let h = a + 14. Is 12 a factor of h?
True
Let d = 216 + -125. Is d a multiple of 7?
True
Suppose -l - 12 = 5*r + 3, 21 = 2*r - 5*l. Is 11 a factor of r*(-12 - (0 + -1))?
True
Suppose 0 = -5*j + 101 + 199. Suppose 2*r = -r + j. Does 10 divide r?
True
Suppose -2*f + 30 = g - 422, 4*f = -3*g + 900. Does 38 divide f?
True
Suppose -13 = -5*g + 12. Suppose -4*p - 3*n + 3 = -2, g*n = -3*p - 10. Is 4 a factor of p?
False
Is 1000/12*-3*(-2)/5 a multiple of 21?
False
Suppose 0*c + 240 = 3*c. Suppose r - c + 21 = 0. Does 20 divide r?
False
Is 13 a factor of (-3364)/(-16) + -3 + 1/(-4)?
False
Let z = -16 - -13. Is 12/z*-5 - -4 a multiple of 12?
True
Let t = 1 + 1. Let u(a) = -2*a + 6*a**2 + a**t - 3*a**2. Is u(2) a multiple of 6?
True
Suppose -4*x - 3*k = -168, 17*k = -4*x + 12*k + 168. Is 7 a factor of x?
True
Suppose -4*z + 11 = -9. Does 15 divide -18*z/((-30)/16)?
False
Suppose b - 1 = 19. Suppose -5*o = -y - 289, -y + 90 = 2*o - b. Does 19 divide o?
True
Let z(p) = -2*p**2 - 41*p - 1. Is z(-19) a multiple of 10?
False
Let i = 12 - 9. Is i even?
False
Let b(h) = 2*h**2 + h 