k be i(2). Let y be 2 - 5 - (-1 + k). Suppose -y*l + 5*l = 153. Is l a multiple of 18?
False
Let d be 14 - (1 - (1 + -2)). Suppose b + b = -4*r - 2, -r + 4 = 2*b. Suppose 0 = 5*h - 2*x - 21, b*h + 0*x = x + d. Is h even?
False
Let o(a) = a**2 - 4*a - 5. Let r be o(6). Let z = r - 3. Is (1 - -1)/(-1) + z a multiple of 2?
True
Suppose 3*b + 5*q - 107 = 0, -b - 3*q + 2*q = -33. Is 8 a factor of b?
False
Suppose 5*t - 25 = 0, -2*l = -0*l - t - 37. Is 10 a factor of l?
False
Suppose 21*i = 22*i - 19. Is 3 a factor of i?
False
Let w = -26 + 39. Let n = -10 + w. Is n a multiple of 3?
True
Is 22 a factor of ((-30)/(-27))/5 - 1375/(-9)?
False
Suppose -y + k + 3 = 0, 3*y + k = -2*y - 3. Suppose -2*c = 2*c + 4*i, y = 5*i + 25. Suppose -2*u + c*d = -127, 3*u - 89 - 39 = -5*d. Does 17 divide u?
True
Suppose 24*o + o = 275. Is o even?
False
Let h(j) = -9*j**3 + 6*j - 4. Does 11 divide h(-3)?
False
Suppose -y - 9 = -4*p, -3*p + p = 4*y. Suppose -5*b = -0*b + p*s - 46, b = -5*s + 23. Does 8 divide b?
True
Suppose -k = -5*k - 24. Let y(l) = l**2 + 4*l - 8. Let v be y(k). Suppose -v*f + 11 = -a, 20 = 4*a - f + 4. Does 5 divide a?
True
Let r = 73 - 60. Is 3 a factor of r?
False
Suppose -i + 8 + 28 = 0. Let o = i + -9. Let v = o - 3. Is 12 a factor of v?
True
Let n(z) = -z**3 - 12*z**2 - 6*z + 3. Let q(g) = -g**3 - 11*g**2 - 5*g + 3. Let h(i) = 4*n(i) - 5*q(i). Does 27 divide h(-6)?
True
Suppose -12 = -4*h, 2*h - 76 = -2*d + 134. Is 34 a factor of d?
True
Suppose 2*b - 256 + 22 = 0. Is 13 a factor of b?
True
Let b be -1*(36/3 + 0). Is (b/(-15))/((-4)/(-70)) a multiple of 7?
True
Suppose -4*l + 27 = -5. Does 8 divide l?
True
Let u(i) = -i + 1. Let r be u(4). Let x be 8/(3 - 250/82). Does 6 divide x/(-8) + r/(-6)?
False
Suppose q = -5*l + 170, -7*q = 4*l - 6*q - 137. Does 8 divide l?
False
Let x be (-279)/(-3)*(-6)/9. Let u = 87 + x. Does 8 divide u?
False
Let l(a) = 4*a**3 + 2*a**2 - a + 3. Does 14 divide l(2)?
False
Let k(o) = -3*o**2 - 3*o + 14*o**2 + 8*o**2 - 5 - o. Is 23 a factor of k(-2)?
False
Suppose 3*p + 65 = 5*r, 2*r - 5*r + 5*p + 23 = 0. Is 8 a factor of r?
True
Let v(p) = p + 11. Let f be v(-5). Suppose 0 = -f*n + 4*n + 58. Is 11 a factor of n?
False
Let w(q) = -q**3 + 5*q**2 - 2*q - 5. Let r be w(4). Suppose -2*a = -2*j + 106, -2*a - 114 = r*j - 298. Is 15 a factor of j?
False
Suppose -19 = 5*b + 11. Let r be b*(-3 - 11/3). Is 14 a factor of (r/15)/((-2)/(-21))?
True
Suppose 4*n + 0*x - 2*x = 76, -5*x = -3*n + 43. Is 21 a factor of n?
True
Let y be (0 - 2)/((-2)/4). Let o(m) = m**3 - 6*m**2 + 6*m. Let z be o(y). Does 6 divide ((-12)/8)/(2/z)?
True
Let a = -13 - -28. Does 5 divide a?
True
Let y be (-4)/(-10) + 126/(-15). Let s = -14 - y. Let z(v) = -v**3 - 6*v**2 - 3*v + 7. Is z(s) a multiple of 10?
False
Let m(y) = 4*y**2 + y - 1. Is 46 a factor of m(-4)?
False
Suppose 0 = -9*b + 5*b + 36. Suppose -60 = -b*q + 7*q. Does 14 divide q?
False
Suppose -38 = -2*l + 2*b, 2*b + 92 = 5*l - 0*b. Let a = 18 + l. Is 9 a factor of a?
True
Let u(h) = -2*h**2 - 3*h - 17. Let j(g) = 7*g**2 + 13*g + 69. Let r(t) = 2*j(t) + 9*u(t). Let c(l) = -l**2 + 1. Let v(d) = 3*c(d) - r(d). Does 18 divide v(0)?
True
Does 24 divide 24 - (4 + -4)*-1?
True
Let f(q) = -42*q. Let u(j) = -j**2 + 7*j - 1. Let a be u(7). Does 14 divide f(a)?
True
Suppose 4*b - 59 = -15. Let p = b - 4. Is 4 a factor of -1 + 2 - p/(-1)?
True
Suppose -s + 5 = -0. Let l be s/(-3)*-3*1. Is 11 a factor of 1/l - (-387)/15?
False
Suppose 4*g = -0*g - 128. Let i = 8 - g. Is (6/(-5))/((-2)/i) a multiple of 12?
True
Let i = 4 + -11. Let u = 5 - i. Is 12 a factor of u?
True
Let l = -201 - -294. Is l a multiple of 11?
False
Let t(m) = m**3 - 11*m - 6 + 4*m**2 + 3*m**2 - m**2. Let d be t(-7). Suppose -b = -3*b + d. Is 11 a factor of b?
True
Suppose -2*l + 3*l = q + 4, -3*q - 5*l = 12. Let v = q + 10. Suppose -s + 28 = -v. Is s a multiple of 12?
False
Let i(x) = 5*x**2 - 3*x + 3. Is i(-4) a multiple of 19?
True
Let m be 16/(-6) - (-3)/(-9). Let x be 458/3 + m/(-9). Suppose -6*q - 147 = -11*q + 4*u, -x = -5*q + u. Does 26 divide q?
False
Let c = -4 - -2. Let d be c*-2*(-74)/(-8). Suppose 3*x + d = 4*f, -6*x + 25 = -x. Does 7 divide f?
False
Is 20 a factor of (2327/26)/((-2)/(-4))?
False
Suppose 2*w = a - 183, 3*w = 2*a + 3*a - 901. Suppose -5*x + f = -a, 4*x - 4*f = x + 104. Let t = x - 15. Is 9 a factor of t?
False
Suppose 138*d + 184 = 139*d. Is 8 a factor of d?
True
Suppose -5*f - 1 = -j - 4, 2*j + 3*f - 7 = 0. Suppose 4*t + 5*q = -172, j*t + 2*t - 5*q + 212 = 0. Let r = -18 - t. Is r a multiple of 15?
True
Let w(m) = m**2 + 12*m - 10. Let n be w(-12). Suppose 4*k + s - 68 = k, 0 = 4*s - 8. Let a = k + n. Does 6 divide a?
True
Let k(p) = 3 - 5*p + 3*p + 3*p**2 - 4*p. Does 9 divide k(4)?
True
Let p = 2 - 0. Let w = 1 + p. Suppose w*x - 54 = 93. Does 19 divide x?
False
Let r(y) = 43*y + 39. Does 11 divide r(6)?
True
Let q be (7 - 6)/(1/(-83)). Does 21 divide q/(-2) - (-1)/2?
True
Let r(p) = p**3 + 9*p**2 + 8*p + 8. Is r(-8) a multiple of 2?
True
Suppose 0 = -5*c - 0*c - 415. Let q = 119 + c. Is q a multiple of 18?
True
Suppose 5*n - 2*v = 3*v - 1545, -5*n - 3*v = 1521. Let z = -174 - n. Suppose z = 5*x - 38. Is 20 a factor of x?
False
Suppose -5*c + 153 = -g, g = 4*c + 2*g - 117. Is 15 a factor of c?
True
Suppose -2*t + 109 - 55 = 0. Does 3 divide t?
True
Let b(y) = y**2 + 9*y - 15. Is b(-11) a multiple of 3?
False
Suppose -v + 8 = -2*c + 3*v, c + 3*v = 11. Let y(m) = -m**3 + 3*m - 3*m**3 - m**c + 3*m**3 + 1. Is 5 a factor of y(-3)?
True
Suppose 27 = -3*d + 72. Suppose -2*x = 2, -q + d = x - 4*x. Is 8 a factor of q?
False
Suppose 22 + 23 = -5*r. Is 8 a factor of ((-20)/(-3))/((-6)/r)?
False
Let x = 22 + 48. Suppose 0 = 4*m - 18 - x. Is 7 a factor of m?
False
Suppose -2*f = 2*f - 2*a - 22, -2*a = 5*f - 23. Is f + (4 - 0) + -1 a multiple of 8?
True
Let h(w) = 40*w - 8. Is 18 a factor of h(2)?
True
Let r be (-288)/(-15) + (-2)/10. Suppose s + 4*g + 23 - 1 = 0, 2*s + r = -3*g. Let b = 8 + s. Is b a multiple of 3?
True
Is 2 + -148*4/(-8) a multiple of 13?
False
Suppose -30 = -4*x + 2. Is x even?
True
Suppose 0 = -5*j - 15, -j = -3*u - 0*j - 6. Let s = u - -20. Suppose -s = -3*v + 2*c, 2*v + 3*c = -4 + 37. Is 4 a factor of v?
False
Let q(s) = -s**2 + 3*s + 5. Let v be q(6). Let b be 24 - (0 - 1 - 0). Let u = v + b. Is u a multiple of 6?
True
Let a be (0 + 1)*1*-19. Let o = a - -30. Is o a multiple of 6?
False
Suppose -2*x = 2*h - 24, -3*x + h + 43 = x. Is x even?
False
Does 6 divide 2/(-11) + (-90)/(-11)?
False
Suppose -3*m = m - 4. Let o be (m + (-3)/(-6))*-2. Let w(k) = 3*k**2 + 3*k. Is w(o) a multiple of 8?
False
Let r = 79 - 44. Does 34 divide r?
False
Let g be 9/2*32/24. Suppose -g + 32 = u. Does 13 divide u?
True
Suppose 0 = -2*d + 6 + 4. Suppose -5*s = 10 - 10. Suppose d*x - 3*m - 292 = s, -x + 4*m - 1 = -56. Is 23 a factor of x?
False
Let u = 9 + -6. Suppose 30 = 4*p + 5*l, -u*p + 5*l = p - 10. Suppose j - 54 = -p*i, -i - 3*i = -2*j + 52. Is j a multiple of 14?
False
Suppose 165 = 5*j - 50. Is 4 a factor of j?
False
Suppose 5*p + i - 671 = 0, -i - 532 = -4*p - 3*i. Does 15 divide p?
True
Let h(i) be the third derivative of 2*i**5/5 - i**4/24 + i**3/6 - i**2. Suppose y - 4 = 3*v - 2*v, -2*v = -3*y + 13. Does 9 divide h(v)?
False
Let b = 128 - 92. Is b a multiple of 36?
True
Let f = -9 + 30. Does 7 divide f?
True
Suppose 164 = g + 22. Suppose 0 = 5*j - 2*m + 186, -2*m + 7*m = 4*j + g. Let a = 78 + j. Does 15 divide a?
False
Let k = -31 - -72. Let g = 64 - k. Is 23 a factor of g?
True
Let y = 66 - 47. Is 19 a factor of y?
True
Suppose 0 = 5*i - 17 + 77. Let q(s) = s**2 + 12*s + 4. Is 3 a factor of q(i)?
False
Let f(m) = m**2 + 4*m + 6. Let g(r) = -3*r. Let j be g(2). Let u = j + 2. Is 4 a factor of f(u)?
False
Let r = 20 - 10. Let y = -7 + r. Suppose y*j + 5*l = 23, j - 5*l - 2 = -1. Is j a multiple of 6?
True
Is 26 a factor of -26*(-3 + 4 + -3)?
True
Suppose -2*i = 2*i - 24. Is 69/i - (-6)/(-4) a multiple of 4?
False
Let d(k) be the second derivative of 5*k**4/12 + k**3/3 + 15*k**2/2 - 4*k. Let x(t) = 9*t**2 + 3*t + 29. Let g(l) = 11*d(l) - 6*x(l). Is g(-7) a multiple of 8?
False
Suppose -4*z + 132 = -2*u, -5*z - u + 97 = -54. Is z a multiple of 15?
False
Let u be 35/5 - (-1)/1. Let h(y) = 11*y - 4*y**2 - 9 - 2*y**