t r = 28 + -58. Let p be r/(-9) + 2/3. Suppose -20 = 4*u, p*g = 3*u - u + 26. Is g a multiple of 3?
False
Let l = -13 + 8. Let y(s) = -6*s + 3. Let c(r) = -r. Let a(p) = l*c(p) + y(p). Does 8 divide a(-8)?
False
Let l(q) be the first derivative of q**6/360 - q**5/15 - 3*q**4/8 - 2*q**3/3 - 1. Let w(k) be the third derivative of l(k). Is 11 a factor of w(10)?
True
Let n = 1 + 1. Let r = 5 + n. Let w(a) = -a**2 + 9*a - 1. Is w(r) a multiple of 8?
False
Let j be 7 + 0 - (-1 - -1). Let f(u) = -u**3 + 9*u**2 - 4*u. Does 35 divide f(j)?
True
Suppose 50 + 4 = 2*v - 4*z, -5*v + 103 = -2*z. Let r = 45 - v. Does 13 divide r?
True
Let d = -4 + 6. Let g = 1 + d. Suppose -10 = g*c - 82. Is c a multiple of 12?
True
Let r be 6/(-9) + 17/3. Does 13 divide 396/10 - 3/r?
True
Let i = 115 - 75. Is 10 a factor of i?
True
Suppose -7 + 1 = 3*r. Let n = r + 4. Suppose -n*g = 5*m - 5, 4*g + 0*m - 2*m - 22 = 0. Is g a multiple of 2?
False
Suppose 11*w + 55 = -0*w. Let l(b) = b**3 - 4*b + 1 + 3*b**2 + 2*b + 2*b**2. Is l(w) a multiple of 8?
False
Suppose -2*f - f = -6. Let x be ((-1)/(-2))/(1/f). Suppose -29 - x = -w. Is w a multiple of 12?
False
Let b = -7 - -7. Suppose b = d + 3*d. Suppose -2*g + 5*a + 29 + 22 = d, -5*a = g + 12. Does 13 divide g?
True
Let c be (4 + -8 - -3)*-57. Suppose -3*m - 4*s + 29 - 7 = 0, -3*s - c = -3*m. Is m a multiple of 3?
False
Suppose 4*g + 8 = -12, -168 = -3*d - 3*g. Let n = d + -33. Is n a multiple of 15?
False
Suppose -2*g - 3*r + 3 = -0, 1 = g + 2*r. Is 3 a factor of (-2 - -3)*g*3?
True
Is (-1)/3 - (-55)/3 a multiple of 8?
False
Let h = -545 + 849. Does 38 divide h?
True
Let x(o) be the third derivative of 9*o**5/20 - o**4/12 + o**3/6 - 4*o**2. Is 16 a factor of x(1)?
False
Let q(v) = v**2 + 3*v. Let b(g) = -g**2 - 10*g - 12. Let x be b(-9). Let d be q(x). Suppose d*h + 105 = 5*h. Is h a multiple of 10?
False
Let y(f) = -f**2 - 9*f + 12. Let g be y(-10). Suppose 10 = -g*t + 22. Does 6 divide t?
True
Let d be (-1 - 5/15)*-3. Let a be 36 + (-1)/(2/2). Suppose 9*m + 5*w - a = d*m, 0 = m - w - 3. Does 4 divide m?
False
Let a(s) = -10*s**2 + 8. Let x(n) = -n**2 + 1. Let u(f) = a(f) - 12*x(f). Suppose 0 = -2*o + 4*b - 3*b + 5, -b - 14 = -5*o. Does 7 divide u(o)?
True
Let q(v) = v**3 + 7*v**2 + 5*v. Let d be q(-6). Let k(s) = -3*s - 5. Let o be k(d). Let z = 64 + o. Is 15 a factor of z?
False
Let v(o) = o**3 - 11*o**2 + 10*o + 4. Let n be v(10). Suppose -n*a + 29 - 9 = 0. Suppose 35 = 4*x - a. Does 10 divide x?
True
Let u(n) = 3*n**3 + 7*n + 12*n**2 - 3*n**2 - 2*n**3. Suppose -16 = t + t. Is u(t) a multiple of 4?
True
Suppose -5 = -c - 0. Suppose 0*h + 180 = c*h. Suppose 186 - h = 5*m. Is m a multiple of 10?
True
Suppose -l + 0*l + 10 = 0. Suppose 2*h = 5*s + 21, 0 = 3*h - 5*s + 2*s - 18. Suppose -5*j = l, y + 7*j - 24 = h*j. Is 17 a factor of y?
False
Suppose 0 = 3*x + 8796 - 2271. Is 5 a factor of x/(-165) + (-4)/22?
False
Let k be (-5)/(-3) + 4/12. Let y(n) = 9*n**3 + 2*n**2 - 1. Let l be y(-1). Is 67/k + 12/l a multiple of 19?
False
Suppose 129*p - 134*p = -205. Does 8 divide p?
False
Suppose 2*f + 29 = 5*a, -a + 35 = -5*f + 4*a. Let o(k) = -k**3 + 2*k**2 + 2*k. Is 3 a factor of o(f)?
True
Let i be (-236)/10 + (-2)/5. Let z be i/9 + 2/3. Is 5 a factor of (-43)/(-4) - z/8?
False
Suppose 0 = 3*j + 3*v, 4 = 4*j + 2*v - 2. Suppose -2*d + j*m = -3*d + 41, 5*d - 3*m - 223 = 0. Is d a multiple of 20?
False
Let j be 4*(3/2)/3. Let g be 34/8 - j/8. Suppose 4*a - 3*a - 27 = -5*c, 0 = 4*a - g*c - 84. Is 11 a factor of a?
True
Suppose 0 = 3*t - 2*t - 56. Does 28 divide t?
True
Suppose 0 = 5*k - 1 - 9. Let h be 15/12*(k + -6). Let v(y) = 2*y**2 + 6*y - 2. Is 9 a factor of v(h)?
True
Let i = 237 - 138. Is i a multiple of 5?
False
Let h(o) = 10*o**3 - 2*o**2 + 2*o - 1. Let u be h(1). Is 18/(u/(-6) - -2) a multiple of 18?
True
Let y = -15 - -144. Suppose -2*x = -3*k + y, 1 = -x - 2. Does 18 divide k?
False
Is 35 a factor of (-16)/112 - (-981)/7?
True
Let i be 10 - 0 - (0 + 0). Suppose -4*v - v - i = 0. Is v*((-5)/2 - 2) a multiple of 4?
False
Let y = 32 - -80. Does 16 divide y?
True
Suppose -2*p = 2*p + 2*j - 18, 3*p = -2*j + 16. Let v(k) = k**2 + p*k**2 - 4*k**2 + 5. Is v(0) a multiple of 5?
True
Let q(m) = -m**3 - 9*m**2 - 12*m - 1. Let h be 32/6*3/(-2). Let i = h + 0. Is 23 a factor of q(i)?
False
Suppose -l + 6 = -3*l, 2*q = -4*l + 80. Suppose -2*y = -3*y + q. Is 11 a factor of y?
False
Let z(m) = -m**2 + 9*m + 12. Let b be z(9). Suppose -4*v + 7*v = b. Let w = v + -1. Does 3 divide w?
True
Suppose -12 = 3*p, -3*k + 8*k - 5*p = 45. Let q be (4/(-5))/((-1)/k). Suppose m - 2*t = 4*m - 86, 4*m - q*t - 128 = 0. Does 12 divide m?
False
Suppose b + 104 = 4*k, 4*k + 2*b - 62 = 30. Let u = 2 - -1. Suppose 2*g + u*g - k = 0. Is 3 a factor of g?
False
Suppose 144 = i + i. Does 18 divide i?
True
Let a(b) be the second derivative of -b**4/12 + 11*b**3/6 + 2*b**2 - 4*b. Let i = -11 - -19. Is a(i) a multiple of 13?
False
Let s(f) = f + 73. Is s(0) a multiple of 34?
False
Let u(m) = -4*m + 12. Is u(-7) a multiple of 8?
True
Let i be (-49)/(-2) - 3/6. Suppose 0 = 3*h - h - i. Is 3 a factor of h?
True
Let n(x) = -x**2 - 10*x - 6. Let g be n(-5). Let p be 2*(-3 + 6) + -2. Suppose p*w = g + 5. Does 3 divide w?
True
Let w be 153/45 + (-2)/5. Let a(b) = -3*b**w + 10*b**2 + 5*b**3 + 12 - 3*b**3 + 3*b. Is 21 a factor of a(10)?
True
Suppose -4*p - 3*z + 149 = -222, 5*p - 463 = -3*z. Suppose -2*k = 2*l - p, 6*l - l - 2*k - 230 = 0. Is l a multiple of 23?
True
Suppose 2*z - z - 45 = 0. Suppose -2*t - t = z. Is 6 a factor of (-3)/t - (-118)/10?
True
Let x(f) = -f + 71. Is x(10) a multiple of 4?
False
Suppose -150 = -6*t + 222. Is t a multiple of 6?
False
Let i(h) be the second derivative of -h**5/20 + 5*h**4/12 + h**3/3 + 3*h**2/2 + 2*h. Is i(5) a multiple of 13?
True
Suppose -7*y - 1215 = -16*y. Does 15 divide y?
True
Let g = 8 - 13. Let d = -6 + g. Let j = 17 - d. Does 14 divide j?
True
Let t(o) = -o**3 + 7*o**2 - 7*o + 5. Let l = -7 - -13. Suppose -l*j = -j - 25. Is t(j) a multiple of 8?
False
Let h(w) = 8*w - 21. Does 15 divide h(11)?
False
Let q(k) = k**2 + 2*k + 1. Let z be q(-3). Suppose -2 = u + 3*h - 15, -z*h = -8. Let t = u - -23. Is t a multiple of 15?
True
Let n(g) = -g**3 + 7*g**2 + 6*g. Suppose 3*b = 2*b + 3*j + 7, -5*b + 65 = -5*j. Suppose -4*w - 3*i + b = 0, -2 - 2 = i. Is n(w) a multiple of 14?
True
Suppose -58 = -7*y + 362. Is 15 a factor of y?
True
Let y(n) = -n - 8. Let a(u) = -u**3 + 10*u**2 + u - 5. Let d be a(10). Suppose 15 = -d*o - 40. Is y(o) a multiple of 3?
True
Is 12 a factor of 0 + -1 + 3 - -46?
True
Suppose -99 - 99 = -6*g. Is 11 a factor of g?
True
Let b(g) = 6*g. Is b(1) even?
True
Let a(o) be the third derivative of 0 + 0*o - 1/6*o**3 + o**2 - 13/24*o**4. Is 6 a factor of a(-1)?
True
Let l = 25 - 16. Suppose 0 = -3*w - l. Is 2 a factor of (w - -1)*1*-1?
True
Let b be (-1)/(1 - 18/15). Suppose b*i + 162 = 7*i. Does 27 divide i?
True
Let g(t) = -t**3 - 6*t**2 + 7*t + 7. Let u be g(-7). Suppose -2*y + y + u = 0. Is y a multiple of 7?
True
Is 14 + (7 - (5 + -1)) a multiple of 3?
False
Suppose -6 = 2*u - 4. Is (9 - u)*(-160)/(-50) a multiple of 16?
True
Let d = 129 - 76. Suppose 15 = 3*a, -4*a - 15 + d = -3*t. Is (2/4)/((-1)/t) a multiple of 2?
False
Suppose -7*t + 2*t + 15 = 0. Suppose q + 0*q - 17 = 4*y, -5*y + 51 = t*q. Does 17 divide q?
True
Suppose -2*v + 6*v - 16 = 0. Suppose v*d - 2 = 46. Is 5 a factor of d?
False
Suppose 5*h = -4*v + 20, 4*h + 2 = -5*v + 27. Suppose -z = -10 + 8. Suppose h*w = -z*w + 4. Is w a multiple of 2?
True
Let b(a) = -a**3 + 16*a**2 - 20*a - 13. Does 11 divide b(14)?
True
Suppose -2*a + 4*o = -348, -a - o = -6*a + 825. Suppose -4*q + a = -2*g, 3*q - 66 = -3*g + 66. Is q a multiple of 15?
False
Let t = -12 - -72. Does 21 divide t?
False
Let b be (24/(-6))/(-2 - -1). Suppose w - 140 = -5*o + 68, b = -2*w. Is o a multiple of 21?
True
Let w(d) = 38*d**2 - 3*d + 1. Does 53 divide w(-2)?
True
Let v(b) be the third derivative of 0 + 0*b**3 + 0*b - 1/12*b**4 + 3*b**2. Is v(-6) a multiple of 12?
True
Suppose 0 = l + 3*l - 348. Suppose -3*k + 147 = -b + 6, 3*b = 2*k - l. Does 12 divide k?
True
Let a = 164 - 69. Does 23 divide a?
False
Let x be ((-76)/(-12))/(1/(-9)). Suppose 5*z = -221 + 66. Let q = z - x. Is 13 a factor