+ 6. Is 5 a factor of i(h)?
True
Let t(x) be the second derivative of x**4/12 + x**3/6 + 19*x**2 + 30*x. Does 13 divide t(0)?
False
Let l = -453 + 780. Let d = 565 - l. Does 17 divide d?
True
Let r be 25*(6/3 - 1). Let o = 21 + r. Is o a multiple of 17?
False
Let g(y) = y**2 + 49*y + 414. Is 10 a factor of g(-52)?
True
Suppose 0*v + v - 812 = 4*w, w = 5*v - 3965. Does 33 divide v?
True
Let s = -64 + 97. Suppose s = x + 3*i, 0 = 4*i + 9 + 3. Is x a multiple of 7?
True
Suppose 18 = -16*r + 14*r. Is r/(-3)*(-152)/(-6) a multiple of 19?
True
Let p be (-20)/15*(-30)/4. Suppose -p*r + 5 = -11*r. Is 2/(-4)*(-3 + r) even?
True
Let c(g) = -63*g. Let i be c(-2). Suppose 3*f - i + 54 = 0. Suppose -5*s = -4*s - f. Does 4 divide s?
True
Suppose 0 = -20*b + 1597 + 2323. Does 14 divide b?
True
Suppose -1 = s, -3*y + 5*y = -4*s. Suppose -2*d = -0*d - 10. Suppose y*q - 47 = d. Does 6 divide q?
False
Suppose -2*w + 12 = 4*v, -v - 8 = -5*w - 0. Let q be v/(-2 + 213/105). Suppose 3*o + q = 5*o. Does 27 divide o?
False
Does 20 divide 3792/(-60)*90/(-4)?
False
Suppose v = z + 11, v + v + 3 = -3*z. Suppose -v*f - 3*f = -234. Does 13 divide f?
True
Suppose -15 = -3*d, 25*d = -4*f + 30*d + 6223. Does 22 divide f?
True
Let h = -451 + 1040. Does 22 divide h?
False
Suppose -17 = 3*l + 4*c, 5*c = 5*l - 2*l - 1. Let v(u) = 4*u**2 + 4*u - 1. Let d be v(l). Let r = d - -2. Does 5 divide r?
True
Is 49 a factor of (234/117)/((-4)/(-686))?
True
Suppose 5*j = -5*k + 3095 + 4890, 4*k + 5*j - 6385 = 0. Does 40 divide k?
True
Let g(z) = -z**2 - 4. Suppose -6*b + 3*y = -2*b + 15, 4 = -2*b - 2*y. Let v be g(b). Let u(h) = -h**2 - 20*h - 19. Is 18 a factor of u(v)?
True
Let r(o) = o**3 + 6*o**2 + 3*o + 2. Let p be r(-5). Let w be 13 + 5/(20/p). Does 5 divide (-18)/4*w/(-6)?
False
Let r(u) = 5*u**2 + 9 - 4 - 3 + 5*u. Is 12 a factor of r(-2)?
True
Let w = 37 - 47. Does 2 divide (w/30)/(13/(-12) - -1)?
True
Let w(j) be the second derivative of -j**5/20 + 13*j**4/12 + 17*j**3/6 - 11*j**2/2 - 3*j. Is 7 a factor of w(14)?
False
Let t(g) = -g**3 + 8*g**2 - 6*g + 2. Let n be t(5). Suppose -5*w = 2*j + 7 + 19, 4*j + 16 = -4*w. Is n + -3*4/w a multiple of 15?
False
Let l be (12/10)/((-6)/(-20)). Let u = 9 - l. Suppose 4*w = -u*v + 109, -2*w = w + 2*v - 80. Is w a multiple of 7?
False
Let g(r) = 3*r**2 - 24*r - 29. Is g(11) a multiple of 3?
False
Let x(n) = n + 8. Let i be x(-6). Let q(j) = -4*j**2 + 4*j**2 + 0*j**i - j**2 - 11 - 10*j. Is 3 a factor of q(-8)?
False
Suppose 4*y = 5*r - 50, -4*r + 15 = r + 3*y. Is r/14 - 1226/(-14) a multiple of 28?
False
Let j be (2 + (-4)/6)/(1/3). Suppose 4*w - 5*c = 233, 43 = -j*w + 4*c + 275. Is 19 a factor of w?
True
Let c = 2560 + -1488. Does 12 divide c?
False
Suppose 2*g - 3*d + 33 = g, 4*g - 5*d = -118. Let l = g - -72. Does 9 divide l?
True
Let p = 3694 + -56. Is p a multiple of 107?
True
Is 33 a factor of 88/3*27/12?
True
Suppose -2*z + 5*i = 14, 4*z + 5*i - 34 = -2. Suppose b = -z*s + 169, 3*b - 273 = 3*s + 210. Is 9 a factor of b?
False
Let h(l) = 2*l - 10. Let m be h(8). Is 2 a factor of 4 + ((-3)/(-2) - 21/m)?
True
Let n be 1 + 2*3/6. Suppose -3*f = 0, -8 = -4*y + n*f - 40. Is ((-6)/(-8))/((-1)/y) even?
True
Suppose -2*b = 2*x - 6, -2 + 0 = 2*b. Let j be 3/12 - (-127)/x. Is (j/(-20))/(1/(-15)) a multiple of 12?
True
Let p be (-94)/10 + (-8)/(-20). Is (2 - (-280)/12)/((-2)/p) a multiple of 21?
False
Let y(z) = -241*z + 14. Let t be y(-1). Let c = t + -3. Is c a multiple of 42?
True
Let m = -333 - -520. Is 10 a factor of m?
False
Suppose 0 = 2*j - j + k - 55, -5*k = -2*j + 103. Let u = -31 + j. Is 2/6 - u/(-3) even?
True
Suppose 4*q = -2*b + 93 + 357, 2*q = 4*b + 210. Is q a multiple of 9?
False
Suppose q = -5*p + 229, 9*p = 5*p - 16. Is 15 a factor of q?
False
Let l(o) = -o + 4. Let j be l(-3). Let f = 11 - j. Suppose -4*k + f*c = -44, -2 = 5*c - 27. Is 10 a factor of k?
False
Suppose -2*f = f + 5*h - 12, 3*h = 3*f - 12. Let u = 37 + -34. Suppose -f*d + 19 = -u*d. Is d a multiple of 4?
False
Let f(k) = -k + 28. Let d be f(-25). Let v be -12 - 0*(-2)/2. Let u = d + v. Does 12 divide u?
False
Let p(q) = -q**3 - 5*q**2 + 10*q - 6. Let l be p(-7). Let n = l - -12. Does 4 divide n?
False
Suppose -3*t + 85 = 5*u, 5*u = 2*t + 3*t + 45. Suppose u + 16 = w. Suppose o - 5 + 0 = 0, 4*o = y - w. Is y a multiple of 10?
True
Does 43 divide (-4)/(-20)*3649 + (-30)/(-25)?
True
Suppose -6 = 2*j, 4*o + 779 - 1865 = -2*j. Suppose 5*u - 3*u = 4*w - 374, -u = 3*w - o. Does 37 divide w?
False
Let x = 858 + -90. Is x a multiple of 48?
True
Suppose 0 = t + 4*t - 60. Suppose -16*y = -t*y - 164. Is 9 a factor of y?
False
Suppose 8*r + 2*r - 20 = 0. Suppose 456 = -r*i + 4*i. Is i a multiple of 27?
False
Let k be (-1 + (1 - -3))/((-21)/(-14)). Suppose -k*q + q + 210 = 0. Is 21 a factor of q?
True
Suppose 607 + 149 = 3*o. Let u be 2/(-6)*(3 - 0)*-3. Suppose t = -3*t - 4, 5*p + u*t = o. Is 16 a factor of p?
False
Suppose 0 = -3*l - 8 - 16. Let z(n) be the third derivative of n**5/60 + 7*n**4/24 - 2*n**3/3 + 9*n**2. Is z(l) a multiple of 3?
False
Let m(j) = -j**2 + 5*j - 4. Let s = -7 + 12. Let k be m(s). Does 24 divide (4/k)/(3/(-144))?
True
Let y(p) = 125*p**2 + p + 1. Let b be y(-1). Is 14 a factor of (-2 + b)/3 + 2 + -1?
True
Is (63/(-2))/((-61)/244) even?
True
Suppose 8*s + 125 = 3*s. Let a = s - -85. Is a a multiple of 27?
False
Suppose -3*i + 4*z = -21007, 3*i + 9*z = 7*z + 21019. Is 21 a factor of i?
False
Let s = 16 - 16. Suppose s*n - 2*a - 14 = -2*n, -5*n = -a - 43. Does 7 divide n?
False
Let l = -18 - -20. Suppose b - l*r = -3*r + 61, -224 = -4*b + r. Does 11 divide b?
False
Suppose -19*z = -17*z. Suppose z = k - 0*k. Suppose k = -10*p + 9*p + 45. Is 15 a factor of p?
True
Suppose -73 - 63 = -2*a + 3*r, -3*r - 272 = -4*a. Does 4 divide a?
True
Suppose -5*l - 3*f + 2 + 1 = 0, -4*l + 4 = 2*f. Suppose -4*g - 184 = -l*k, -3*k = -g + 3*g - 178. Is 11 a factor of k?
False
Let k = 67 + -65. Suppose 5*m = -k*v + 26, 80 - 7 = 3*v - m. Does 23 divide v?
True
Does 14 divide (-5 + 4)/(2/6)*-18?
False
Let w(a) = -a**2 + 11*a + 21. Let h be w(9). Let f(k) = k - 6. Let r be f(6). Does 14 divide r + 1 + h + 2?
True
Let w = -15 - -25. Suppose -18*v + 1528 = -w*v. Does 49 divide v?
False
Let m(k) = -k + 10. Let h be m(5). Suppose 0 = -8*w + h*w + 264. Suppose -16 = 3*n - w. Is 16 a factor of n?
False
Let j(m) = -66*m - 24. Is j(-2) a multiple of 3?
True
Suppose -2*i + 5550 = 3*t, 3693 = 2*t + 6*i - 7*i. Is t a multiple of 88?
True
Let t be 2*1 + 0 + 1. Suppose t = 2*j + 5. Does 13 divide j/1 - (-6 - 8)?
True
Let u(l) = l**2 - 4*l - 5. Let x = -4 - -9. Suppose -4*n + 19 = 5*b, -n - 4 = 5*b - x. Is u(n) a multiple of 7?
True
Let t be 2/((-4)/(-136)*-4). Let y = 16 - t. Is 22 a factor of (-352)/(-6) + 11/y?
False
Let u(h) = 17*h - 9. Let a be u(3). Let r = a + 9. Is r a multiple of 17?
True
Suppose -4*q + 18 = 5*s, -4*s + 3*q - 1 = -3. Suppose 0 = s*i - 89 - 91. Is i a multiple of 18?
True
Let r = -56 + 61. Suppose -2*x - p + 35 + 24 = 0, r*p + 25 = 0. Is x a multiple of 4?
True
Suppose 0*x - 3*x = -69. Let p = x - 12. Suppose 0 = 3*d - 19 - p. Is 4 a factor of d?
False
Let t(x) be the second derivative of 59*x**3/6 - x**2 + 8*x. Does 19 divide t(1)?
True
Let q(y) = 23*y**3 + 6*y**2 - 5*y - 10. Let m(u) = 11*u**3 + 3*u**2 - 2*u - 5. Let p(n) = 5*m(n) - 3*q(n). Is p(-2) a multiple of 19?
True
Let a = 232 - 131. Suppose 28 = 3*q - a. Is q a multiple of 9?
False
Does 132 divide (-10 - -8) + 9 - -5801?
True
Let v = -384 - -616. Does 21 divide v?
False
Let o(h) = h**2 + 4*h + 4. Let w be o(-2). Is 28 a factor of -4 - (-1 - w - 87)?
True
Is (78 + (0 - -1))/1 a multiple of 15?
False
Suppose 5*p - 5*g - 20 = 0, 3*p + 2*g + 2 = -2*g. Let o(v) = -p*v + 2*v**2 + 7*v + 0*v. Is 17 a factor of o(4)?
False
Let q be (0 + (-140)/6)*-6. Suppose 14*u - q = 10*u. Let d = -24 + u. Is 10 a factor of d?
False
Let y(c) = 100*c + 4. Let w be y(2). Let i = 415 - w. Is i a multiple of 31?
False
Let l(p) = 11*p**2 - 2 - 1 - 10*p - 3 + 9*p. Is l(4) a multiple of 24?
False
Let g(z) = 17*z**2 + 8*z + 13. Let d be g(-3). Suppose -194 - d = -3*h. Does 10 divide h?
False
Suppose 3*i - 3*p = 510, 166 = i + p - 3*p. Is i a multiple of 32?
False
Let q(n) = 18*n + 55. Let h(s) = -1. Let u(m) = 4*h(m) - q(m). Does 27 divi