+ i + 20 = 0. Let s be i/10 + (-6)/(-15). Suppose 4*z - 32 = -s*z. Is 8 a factor of z?
True
Let q(d) = 8*d**2 + d + 1. Let i be q(-4). Suppose 5*v = -5*p - i, -v = -6*v + 3*p - 149. Let y = 6 - v. Does 17 divide y?
True
Suppose 0 = -5*d - u + 628, -13 + 132 = d - 2*u. Suppose q - d = -4*y, -4*q - 11 - 1 = 0. Is 9 a factor of y?
False
Let p = -95 + 136. Suppose -3*o - m + 67 = o, 2*o - p = -3*m. Is 9 a factor of o?
False
Suppose 0 = 5*d + 19 - 284. Is 12 a factor of d?
False
Let q = 455 - -13. Is 19 a factor of (q/(-45))/((-4)/10)?
False
Let y(t) = -11*t - 4. Is y(-4) a multiple of 10?
True
Let h be ((-48)/24)/((-2)/4). Let o = 15 - 27. Let n = h - o. Is 8 a factor of n?
True
Let i be (0 + -64)*3/(-3). Suppose 0 = -3*r + 5*r - i. Does 12 divide r?
False
Suppose 36 = 2*z + z + q, -2*z = 4*q - 34. Suppose z = g - 21. Does 16 divide g?
True
Does 17 divide 11 + 52 - (-4 - 1)?
True
Suppose -5*j - 15 = c, 4*j - 5*c + 2 = -10. Let b(w) = -13*w - 3. Is b(j) a multiple of 10?
False
Suppose -4*w + 25 = 5*q, 0 = -2*w - 2*w - 4*q + 20. Suppose -l = r - 3*l - 26, -5*r + 3*l + 102 = w. Does 12 divide -14*r/(-21)*3?
True
Let z(r) be the first derivative of 13*r**7/840 - r**6/360 + r**5/60 - r**4/24 + r**3/3 + 3. Let a(j) be the third derivative of z(j). Is 12 a factor of a(1)?
False
Let f = 143 - 101. Suppose 0 = -2*c - 4 + f. Is c a multiple of 14?
False
Let g = 21 + -8. Let u = -10 + g. Suppose 4*a - 2*j = 90, 0 = -u*a + 3*j - 4*j + 55. Is 10 a factor of a?
True
Suppose 3*m - m = -2*w - 32, 0 = -4*w - 3*m - 61. Let q be w/(3/6*2). Let y = q + 40. Is 9 a factor of y?
True
Let y(k) = -13*k + 30. Does 9 divide y(-15)?
True
Suppose 3*k = -3*h + 120, -4*k - h + 52 + 108 = 0. Is k a multiple of 10?
True
Is (-9)/3 + -8 + 171 a multiple of 32?
True
Let g be (-3)/(-5) - (-322)/5. Let j be 2/5 - g/(-25). Suppose 5*w = j*w + 66. Is w a multiple of 13?
False
Let a = -13 + 27. Is a a multiple of 2?
True
Suppose -4*c + 2*r = 7*r - 8, -c + 5 = 2*r. Let s = c + 1. Does 18 divide (1 - s)/(1/9)?
False
Suppose -2*z - 3 = -3*z. Let q(s) = 0*s**2 + 2*s - 3*s**z - s + 7*s**3 - s**2. Is q(2) a multiple of 14?
False
Suppose -3*i + 3 = 0, 4*i - 4 - 12 = -4*w. Let a(k) = k**2 + 3. Is a(w) a multiple of 5?
False
Let a(s) = -s - 4. Let l be a(0). Let r(b) = b**2 + 12*b + 5. Let d(n) = 2*n**2 + 25*n + 10. Let i(g) = l*d(g) + 9*r(g). Is i(-8) even?
False
Let t(y) = y**3 - 13*y**2 + 14*y - 3. Is 7 a factor of t(12)?
True
Let f = 14 - 8. Suppose 0*q = 3*q - f. Suppose 0*l - 94 = -q*l. Is l a multiple of 17?
False
Is 9 a factor of (6 - 9)/((-9)/30)?
False
Let l = -62 + -19. Let n = l - -114. Is n a multiple of 12?
False
Suppose -4*u - 2*i = 9 + 7, u = -i - 2. Let f = 49 + u. Is f a multiple of 14?
False
Suppose 25 = z + 4*z. Is 68/z - (-2)/5 a multiple of 7?
True
Suppose 5*f = -0*q - 5*q + 10, 0 = 4*q + f - 11. Let b(v) = 2*v**3 - 3*v**2. Is 15 a factor of b(q)?
False
Let o = -27 + 54. Let r(g) = 2*g**2 - 3*g - 1. Let v be r(4). Let k = o - v. Is 4 a factor of k?
True
Let l = 7 + -4. Let r(z) = -z**3 + 4*z**2 + z + 2. Is 7 a factor of r(l)?
True
Let p = -165 - -231. Does 11 divide p?
True
Suppose 4*p = -0*p + 20. Let u be p/(30/(-9))*-14. Let w = u + -14. Is 7 a factor of w?
True
Suppose -2*a = 2*s, 3*a - 3*s = -7*s - 5. Suppose -3*i - 12 = -5*b + 7, -2*i - 1 = -b. Suppose -125 - b = -a*r. Is r a multiple of 13?
True
Let x(t) = -t**2 + t - 4. Let c be x(-3). Let d = -6 - c. Is 5 a factor of d?
True
Suppose -5*f + 44 = -f. Is f a multiple of 11?
True
Let w = 28 - 0. Is 4 a factor of w?
True
Suppose -5 = -4*m + 7. Suppose 41 = 2*o - m. Is 13 a factor of o?
False
Suppose -280 = -37*b + 32*b. Does 7 divide b?
True
Let k(f) = 4*f**2 - 6*f + 2. Let s be k(5). Suppose 0 = -5*h - 3*w + 86, 0 = 2*h + h - 5*w - s. Does 8 divide h?
False
Suppose -i - 5*a = -145, -2*i + 157 + 193 = -5*a. Does 33 divide i?
True
Suppose 4*v + 40 - 372 = 3*n, 0 = 4*n + 16. Is 63/6*v/12 a multiple of 15?
False
Let n = 5 - -16. Is n a multiple of 3?
True
Suppose -l - 2*l = -78. Suppose 5*a - 10 = 0, y + 4*a = 3*a + 50. Let s = y - l. Is 8 a factor of s?
False
Is 5 a factor of (-6 + 4/(-2))*(-5 - -3)?
False
Suppose 2*l = 3*l + 30. Is 7 a factor of 25*4/l*-6?
False
Let o(j) be the first derivative of j**4/4 + 7*j**3/3 + 2*j**2 - j - 4. Is o(-5) a multiple of 10?
False
Let x(i) = -i**2 + 9*i + 3. Let y be x(9). Suppose -3 = -3*g, 5*g = -y*v - 35 + 172. Is v a multiple of 11?
True
Suppose 0 = 2*c - 5*l + 1 + 12, 32 = -3*c - 5*l. Let t be 2 - 6/c*3. Suppose 3*g = -t*y + 220, -g + 56 = 2*y - y. Is 19 a factor of y?
False
Let b = 3 + -3. Suppose -5*z + 48 - 3 = b. Is 4 a factor of z?
False
Let s be 1/3 - (-4)/6. Let a = 5 + s. Suppose 0 = -a*w + 2*w - 4*x + 16, 2*w + 5*x = -4. Is w a multiple of 4?
True
Is 14 a factor of 538/(-1)*(-4)/8*1?
False
Suppose -7*p - 90 = -10*p. Is p a multiple of 9?
False
Let v = 4 - 2. Suppose 0 = 2*j + 6, -5*h + 3*j = 2*j - 3. Suppose 4*d + v*k = 118, h = -3*d - 2*d - 4*k + 146. Is d a multiple of 17?
False
Suppose -2 = l - 6. Let p = 0 + l. Suppose -k + 17 = t - 10, -p*k + 5*t = -63. Is 11 a factor of k?
True
Is (-24)/(-6) + 344 + -3 a multiple of 22?
False
Suppose 20 = -0*n - 4*n, 320 = 5*u + n. Let z = u + -21. Is 22 a factor of z?
True
Let y(z) = -z**2 - 13*z - 8. Let s be 2*(0 - 4)/1. Let b be y(s). Suppose 2*g + b = 5*i, -5*g + 34 - 6 = i. Is i a multiple of 6?
False
Is 28 a factor of 7 + 206 - (0 + -2)?
False
Let i(d) = d**3 - 2*d**2 + d. Let v be i(1). Suppose v = l - 79 + 15. Is l a multiple of 13?
False
Suppose 0 = 2*d + 4 - 0. Suppose 2*y + 75 = 23. Let f = d - y. Is 8 a factor of f?
True
Let f be (-1 + 20 + 1)/1. Suppose 0 = -z - 5*o + f + 3, -5*z + 5*o - 5 = 0. Suppose -1 + 6 = z*v + 5*x, -25 = 5*x. Is 9 a factor of v?
False
Is 12 a factor of 74 - (-3)/(3/(-2))?
True
Let a = 79 + -150. Let i = a - -101. Is i a multiple of 10?
True
Let a = -8 + 2. Let n = a - -13. Suppose -56 = 3*s - n*s. Does 7 divide s?
True
Let a be 1/(-3) - 416/(-24). Suppose -n = -4*x + a + 58, x = 3. Let i = n - -146. Does 28 divide i?
False
Does 15 divide (248/(-24))/(-2*(-3)/(-90))?
False
Let o = 701 + -414. Suppose 0 = 5*f - 2*z - o, 2*f = 6*f + 4*z - 252. Is 16 a factor of f?
False
Suppose 4*a - 6 - 2 = 0. Let b be 1 + a + 44 + -1. Suppose 3*f - 50 = b. Does 16 divide f?
True
Suppose -105 = 8*i - 15*i. Is 3 a factor of i?
True
Does 14 divide (-12)/24 - (-169)/2?
True
Suppose -4*j + 32 = 2*c, 5*j - 28 + 6 = 2*c. Suppose -7*p + j = -4*p. Is p even?
True
Suppose -2*x - 13 = 2*u - 131, -u + 299 = 5*x. Is 19 a factor of x?
False
Let d be (8/16)/((-1)/2). Let a(b) = -13*b - 1. Is 6 a factor of a(d)?
True
Let p(l) be the second derivative of -l**4/6 + 5*l**3/6 + l**2 + 2*l. Let k be p(5). Let x = 13 - k. Is x a multiple of 13?
False
Suppose 0*o + 6 = -3*o. Let w be 0/(-3) + o + 40. Let x = w + -22. Is x a multiple of 8?
True
Let q(h) = -3 + 3 + 4 + h - 6. Let g be (2 - (-6)/1) + -2. Is 4 a factor of q(g)?
True
Let b(u) = -u**2 + 27*u + 55. Does 21 divide b(23)?
True
Suppose 2*t - y + 6 = 7*t, -t + 2*y = -10. Suppose -9*s + 95 = -4*s - t*w, 3*s = 5*w + 76. Is s a multiple of 8?
False
Suppose 4*n + 3*t - 704 = 129, -2*n + 422 = -4*t. Does 12 divide n?
False
Suppose 4*h - 404 = 4*a, 2*h + 3*a - 130 - 77 = 0. Suppose -10 = -4*r + h. Is r a multiple of 28?
True
Let w(x) = x**3 + 3*x**2 - 3*x + 2. Let h be w(2). Does 7 divide 1*h - (-2 - -4)?
True
Let l = -243 - -435. Suppose -q = 5*n - 236, -4*n + l = -5*q - 20. Is 16 a factor of n?
True
Let v(z) = -z - 11. Let i be v(-10). Is 159/6*-2*i a multiple of 22?
False
Does 32 divide (-1626)/(-4)*28/42?
False
Let s = 7 + -7. Suppose -3*q + 129 + 0 = s. Does 15 divide q?
False
Suppose 0 = -8*k + 1426 + 230. Is 9 a factor of k?
True
Suppose -4*x + 4 = -2*x, -4*x = -5*l + 12. Does 2 divide l?
True
Let s = -5 - -11. Suppose 0 = -2*q + s + 4. Does 5 divide q?
True
Suppose 0*g - 2*g + 4 = 0. Suppose -3*c - g*j + 84 = 0, -4*j - 15 = -c - 9*j. Is c a multiple of 12?
False
Let k(g) = -g + 26. Does 18 divide k(8)?
True
Let j(y) be the third derivative of -y**5/60 + y**4/3 - y**3 + y**2. Let q be j(7). Does 3 divide 6 - -2*q/2?
False
Suppose 0 = -j - 0*p + 3*p + 11, -4*j - p = -18. Is 2 a factor of j?
False
Suppose 0 = -5*k + 2*s - s + 19, 2*k - 2 = -s. Suppose -k = -4*v + 5. Suppose 4*z