e
Suppose -2*q + 72 = -0*q. Is q a multiple of 10?
False
Let k = -270 + 535. Does 37 divide k?
False
Let y = 13 + 1. Suppose -5*h + 2*l + 78 = 5*l, -h + y = l. Does 7 divide h?
False
Suppose 0 = -5*d + d + 12. Let l be -6 - (-6)/(0 + d). Is 9 a factor of (6/1)/(l/(-10))?
False
Suppose o - 1 = -2*n, 3*n - 7 = -4. Let v be (-128)/(-3 - o) + 2. Let j = 96 - v. Does 15 divide j?
True
Let f(h) = 6*h**2 + 1 + 1 + 4*h - 2 - 2 - h**3. Let i be 3 + 2 - 1/(-1). Is 11 a factor of f(i)?
True
Suppose -16 = 2*c - 6*c. Let q(x) = -x + 9. Let k be q(c). Suppose -5*p - y + k*y + 126 = 0, -p + 2*y + 30 = 0. Does 11 divide p?
True
Let r(k) = 6*k**3 + 3*k**2 - 2*k - 2. Let j be 6*((-32)/12 - -3). Does 17 divide r(j)?
False
Suppose 3*l + 25 = -2*l, 2*l = -2*i + 52. Is 6 a factor of i?
False
Suppose 2*l - 5*y - 10 = 0, l - 2*y = -5*y - 6. Suppose 4*t = -0*t - 5*j, l = t - j. Suppose k - 3*k + 10 = t. Is 5 a factor of k?
True
Suppose 5*w = 10, -2*d - 2*d = w - 14. Suppose -5*p - d*c = -20 - 46, 2*p - 2*c = 36. Is 15 a factor of p?
True
Let k = 155 - -131. Is k a multiple of 22?
True
Does 10 divide -1*(7 + -3) + 44/2?
False
Let g(k) = 2 - 2*k**2 - 6*k**2 - k - k**3 + 5*k**2. Let b be g(-3). Suppose -3*f + b*f - 40 = 0. Is f a multiple of 10?
True
Let d be 15*-2*(-4)/20. Let y = 10 - d. Is 3 a factor of y?
False
Is 16 a factor of 2/7 - (-1336)/28?
True
Let y(g) = -2*g + 2 + 3*g + 0. Let t be y(5). Suppose t = -2*z + 5*c - 0*c, -5*z = -3*c - 11. Is 4 a factor of z?
True
Let o be ((-3)/(-9))/((-1)/(-27)). Let p(d) = 5*d - 9. Does 18 divide p(o)?
True
Suppose 5*k = 3*q - 62, 5*k + 89 = 4*q + 13. Suppose -2*m = -10, q + 57 = 2*c - 5*m. Is 16 a factor of c?
True
Suppose 6 = 5*b - 2*b. Suppose 0 = 4*t + 6 + b. Let v(q) = 4*q**2 - 2. Is v(t) a multiple of 14?
True
Let f(k) = -k**2 + 26*k - 24. Is 9 a factor of f(24)?
False
Suppose j + 6 + 1 = 3*i, -5*j - 3*i = -19. Let c = j + 12. Is 14 a factor of c?
True
Let x be (-8)/12*(2 - 5). Suppose -19 = -3*i - x*i - 2*w, -4*i + 14 = w. Suppose -2*q = -7 - i. Does 5 divide q?
True
Let t(b) = 3*b**2 + 7*b - 8. Let k be t(6). Is k/10 + 1/(-5) a multiple of 9?
False
Let l be 0 - 2/(2/(-3)). Suppose l*r + 1 - 10 = 0. Does 2 divide r?
False
Let f(u) = u**3 - 12*u**2 + 12*u + 13. Is 9 a factor of f(11)?
False
Let k = 6 + -1. Suppose 2*n = q + 15, 50 = 3*n - q + k*q. Is 4 a factor of n?
False
Let o(q) = -q**3 - 9*q**2 + 9*q - 5. Let a be o(-10). Suppose a*m = -h - 9, -5*h + 0*h = 2*m - 70. Does 8 divide h?
True
Suppose 5*u = -6 + 46. Is u even?
True
Let i(j) = 8*j**3 - 4*j**2 + 4*j - 2. Let f be 3/(-2)*(-12)/9. Is 18 a factor of i(f)?
True
Suppose -5*f = 5*v - 295, 5*v + 0*v = 4*f + 340. Is v a multiple of 14?
False
Suppose -1 = -3*j + 5. Suppose j*t = -0*y + 2*y - 26, 5*t - 7 = -3*y. Does 7 divide y?
False
Let k(w) = 7*w - 46. Is 26 a factor of k(14)?
True
Suppose -408 = -8*f + 344. Is 12 a factor of f?
False
Let x(r) = 6*r**2 + 3*r + 4. Let p be (2/(-4))/(2/(-12)). Let y be x(p). Suppose 2*l + z - 46 = y, 0 = -2*l - 2*z + 118. Is l a multiple of 22?
False
Suppose 2*r - 3*r + 2 = 0. Let u = r + 7. Is 4 a factor of u?
False
Suppose 161 = 3*y + 2. Suppose -y = -w + 4*g, -w - 5*g = 4*w - 140. Does 11 divide w?
True
Let a be 24 + 0/(7 - 3). Suppose -5*n - 32 = -3*h, h = -3*n - 0 + 6. Suppose a + h = z. Is 11 a factor of z?
True
Suppose 8*s - 7*s = 161. Does 20 divide s?
False
Let z(b) = b**2 - 2*b - 3. Let c(d) = -d - 1. Let x(m) = -3*c(m) - z(m). Let l be x(6). Suppose l*w - 4*w = -96. Is 14 a factor of w?
False
Let u be 1 + 1 + -1 + 35. Suppose -3*k + u + 12 = 0. Let t = -11 + k. Does 4 divide t?
False
Let l(j) be the third derivative of j**6/60 - j**5/20 + 5*j**4/24 - 2*j**3/3 + 2*j**2. Does 19 divide l(3)?
True
Let i(m) = -m**3 - 3*m**2 + 7*m - 1. Is i(-5) a multiple of 11?
False
Let g(l) = 2*l**2 - 10*l - 10. Does 9 divide g(9)?
False
Let h be (-104)/12*(-6)/4. Suppose 2*k - h = -63. Is ((-6)/10)/(5/k) even?
False
Let p(d) = d**2 + 3*d + 1. Let v be p(-4). Does 6 divide (-2)/v + 84/10?
False
Suppose -5*g - 6 = -21. Suppose v + g = -3*d + 28, 0 = -3*d - 4*v + 37. Is 3 a factor of d?
False
Suppose 111 = -2*h - 2*a + 3, 5*a = 2*h + 80. Let p be h/6 - (-3)/9. Let i(s) = -3*s - 10. Is 7 a factor of i(p)?
True
Suppose -z + 3*x + 17 = 0, 2*x - 4*x - 21 = -z. Let d = -17 + z. Does 6 divide d?
True
Let s(z) = -18*z**2 - 2*z + 3. Let c(i) = 53*i**2 + 5*i - 8. Let n(d) = 6*c(d) + 17*s(d). Let m be 6/(-4)*4/(-3). Is 19 a factor of n(m)?
False
Suppose -5*d + 0*d + 140 = 0. Let y be d*1/(-3)*-3. Suppose -2*x + x = -y. Does 14 divide x?
True
Let h(m) = 5*m + 81. Let k(b) = -b - 16. Let t(g) = -2*h(g) - 11*k(g). Is 2 a factor of t(-9)?
False
Suppose h = -4*p + 90, -5*h - 4*p + 132 + 254 = 0. Is h a multiple of 30?
False
Let b(i) be the third derivative of -5*i**4/24 + i**3/2 - 4*i**2. Is 21 a factor of b(-4)?
False
Let w = -4 - -4. Suppose 4*j + j + 5*i - 85 = w, 2*j + 5*i = 40. Is 5 a factor of j?
True
Let s = 428 + -239. Does 21 divide s?
True
Let v = -8 - -37. Let y = v - 21. Suppose m + n - y = -n, 4*n = -m + 6. Is 5 a factor of m?
True
Let t(i) = -i - 2. Let k be t(-7). Suppose -2*c - 3*j - 29 - 8 = 0, 5*c = k*j - 130. Let v = c + 44. Does 7 divide v?
True
Let a be (2 + 1)*(2 - 3). Is 16 a factor of (-9 + 0)/a - -45?
True
Let m(v) = 2*v**2 - 2 + 19 + 9*v - 3*v**2 + 8*v. Is m(13) a multiple of 11?
False
Let d(a) = -a**3 + 8*a**2 - 2. Let w be d(8). Let h(i) = -2*i**3 - 2*i**2 - 2*i - 2. Is h(w) a multiple of 7?
False
Does 14 divide (-7)/((-9)/(-6) - 2)?
True
Let s be 10/3 + 8/12. Suppose -s*h + 4 = -2*h. Suppose 5*v - 3*v + 5*n = 47, n = -h*v + 27. Is 4 a factor of v?
False
Let v = 93 - 42. Is 7 a factor of v?
False
Suppose w + 2*k - 1 = 0, 5*k + 43 = 5*w - w. Is w a multiple of 4?
False
Let v(k) = 2*k**2 + 2*k - 1. Is v(2) a multiple of 9?
False
Let k(z) be the third derivative of 0 - z**3 + 0*z + 1/6*z**4 + z**2 - 1/120*z**6 - 1/12*z**5. Does 6 divide k(-6)?
True
Suppose -3*l + 99 = -9. Is 17 a factor of l?
False
Suppose f + 0 = -3*y - 7, 4*y + 12 = -2*f. Is 14 a factor of ((-3)/6)/(y/34)?
False
Let b(i) = 27*i**2 - i + 1. Does 27 divide b(1)?
True
Let t = -5 + 11. Let m(f) = -f**2 + f - 7 - 5*f + 2*f**2. Is 4 a factor of m(t)?
False
Suppose 5*t + 20 = 0, -5*i - 2*t - 14 = -3*i. Let a = 1 - i. Suppose a*l + 34 = 110. Does 9 divide l?
False
Is 177 + (-1 - -3) + -4 a multiple of 25?
True
Suppose -5*z - m = -30, -5*m = -z - 4*z + 30. Let c be 14/2*z/3. Does 10 divide (-270)/(-14) + (-4)/c?
False
Suppose -2*n - 11 - 13 = 0. Does 3 divide (-82)/(-6) + (-4)/n?
False
Does 3 divide (-1 + (-12)/4)*-4?
False
Suppose 3*z = 7*z - 48. Is 3 a factor of z?
True
Let l(r) = -7*r - 5. Let b be l(-5). Let p = -11 - -16. Suppose p*s + 3*d = 114, -s = -2*d + 2 - b. Is s a multiple of 12?
True
Let p(f) = 4*f**2 + 10*f - 4. Let k(g) = -g**2 - g + 1. Let q(m) = 3*k(m) + p(m). Is 20 a factor of q(5)?
False
Let z(i) = -18*i - 10. Does 26 divide z(-2)?
True
Let k(q) be the third derivative of q**4/8 - 3*q**3/2 + 2*q**2. Does 8 divide k(6)?
False
Let q be (-27)/6*(-4)/(-3). Let a = q + 9. Is 2 a factor of a?
False
Suppose 0 = 13*n - 14*n. Suppose 44 = 2*h - n*h. Is h a multiple of 11?
True
Suppose 0 = 3*p - 3*j + 57, p - 3*j + 97 = -4*p. Let g = p + 88. Is g a multiple of 17?
True
Is 15 a factor of (1 - (-1 + 3))*-29?
False
Let t = 22 + 6. Let h = t - 14. Does 9 divide h?
False
Suppose -2*h + 31 + 3 = 2*j, -3*h + j + 43 = 0. Is 15 a factor of h?
True
Let q = 17 + 87. Is q a multiple of 28?
False
Let u = -7 - -16. Is 8 a factor of u?
False
Let s(h) = -4*h + 6. Suppose j + 19 = -3*c - 2, -c - 29 = 4*j. Does 10 divide s(j)?
True
Let q(o) = -2 + 16*o + 7 + 1. Let z be q(-4). Let g = z - -86. Is g a multiple of 14?
True
Is 8/(-10)*(3 - (-3 - -66)) a multiple of 5?
False
Let t = -431 - -816. Suppose -4*b - 57 + t = 0. Let k = -52 + b. Is 23 a factor of k?
False
Suppose 2*l - 54 = -5*b, 2*l = b + l - 15. Suppose 5*t = 6*p - 3*p + 34, 10 = 5*t. Does 8 divide 2/p - (-99)/b?
True
Let d(a) be the second derivative of -a**4/12 - 4*a**3/3 + 2*a**2 + 2*a. Let r be d(-9). Let n(g) = g**2 + 3*g - 4. Is n(r) even?
True
Let b(k) = -k - 4. Let u be b(-3). Is 14 a factor of u + 30 + -1*1?
True
Suppose -148 + 444 = 4*k - 3*v, -4*k = v - 280. Let c = k + -43. Is c a multiple of 24?
False
Let 