(o) = 6*o + 1. Does 7 divide i(l)?
False
Let p(y) = -6*y + 15. Does 31 divide p(-4)?
False
Let w be 0*(6/(-2) + 4). Suppose -l = -w*l + 10. Let s = 31 + l. Is 7 a factor of s?
True
Let x = -9 + -10. Let v = 67 + x. Does 24 divide v?
True
Let c(i) = -28*i**3 - 2*i**2 - i. Is 27 a factor of c(-1)?
True
Let s = -8 - -3. Let z(v) = v**3 + 4*v**2 - 6*v - 1. Let t be z(s). Suppose -31 = -t*q + 5*j + 2, j - 3 = 0. Is q a multiple of 6?
True
Suppose l - 42 = -0*l. Is 16 a factor of l?
False
Suppose 0 = 3*n + 2*t - 25, 0*n + 5*t = -2*n + 2. Let g = 101 - n. Suppose 5*d = -4*s + g, d + 3*s = -d + 29. Is 9 a factor of d?
False
Let w(a) = 7*a**3 - 6*a**2 + 11*a + 1. Let r = -18 - -12. Let t(d) = -15*d**3 + 12*d**2 - 23*d - 3. Let p(v) = r*t(v) - 13*w(v). Does 5 divide p(5)?
True
Let i(l) be the second derivative of -l**3/3 - l**2 + 3*l. Let v be i(-3). Suppose v*j - 70 = -2*z, 4*z = 2*j + 3*j - 68. Does 16 divide j?
True
Suppose 0 = 4*x + 5*x - 99. Is 10 a factor of x?
False
Let l = 5 + -2. Suppose l*i - 98 = 22. Is i a multiple of 20?
True
Let u(d) = 4*d**2 - 4*d - 5. Let c be u(-4). Let a(r) = -r**3 + 14*r**2 + r - 8. Let q be a(14). Suppose 0 = m - q*m + c. Is 13 a factor of m?
False
Let z = -25 + 7. Is 1/(z/(-17) - 1) a multiple of 17?
True
Suppose 5*j = 2*j - 3*f - 6, -5*j + 6 = -3*f. Let p = 88 - 58. Suppose j*x + p = 5*x. Is x a multiple of 4?
False
Let d be 3/((-15)/(-12) - 2). Let t be (d/(-6))/((-1)/738). Is 11 a factor of ((-1)/(-3))/((-4)/t)?
False
Let b(z) be the second derivative of 7*z**4/12 + 5*z**3/6 + 3*z**2/2 - 3*z. Does 26 divide b(-3)?
False
Is 6 a factor of (-36)/(-9)*(1 + -1 + 6)?
True
Is 10 a factor of 220/(-6)*9/(0 + -3)?
True
Let z = 3 + 5. Let x = -2 + z. Suppose -3*c + 51 = x. Is 10 a factor of c?
False
Let t(n) = -228*n**3 - 2*n**2 - 3*n - 1. Does 20 divide t(-1)?
False
Let d(v) = v**3 + 9*v**2 + 5*v - 1. Let w(h) = -h**3 - 8*h**2 - 4*h. Let n(r) = 4*d(r) + 3*w(r). Is 14 a factor of n(-11)?
False
Let f = 67 - 35. Is 10 a factor of f?
False
Let x(q) = -q. Let g be x(-6). Let z(n) = n**2 + n + 5. Is z(g) a multiple of 16?
False
Does 8 divide 1 - -2 - (-292)/4?
False
Suppose -9*d + 59 + 454 = 0. Does 15 divide d?
False
Let h(b) = b**3 + 8*b**2 - b + 2. Let t(n) = -n**3 + 6*n**2 - 7*n + 4. Let r be t(5). Is h(r) a multiple of 26?
False
Suppose 0 = 2*y + 2 - 6. Suppose 3*i + 3*n + 4 - 13 = 0, -15 = -5*i - 4*n. Suppose i*q - y*q = 19. Is q a multiple of 18?
False
Let g(r) = r**3 - r**2 - r + 1. Let z be g(2). Is 6 a factor of (-2)/z - (-29)/3?
False
Let h = 218 - 120. Is h a multiple of 25?
False
Let q(f) = -3 + f**2 + 2*f**2 + f**3 + 2*f**2 - 5*f + 8*f. Is 2 a factor of q(-3)?
True
Suppose -a + 27 = -2*a. Let u = -164 + 117. Let f = a - u. Is f a multiple of 10?
True
Suppose 4*h - 11 = -3. Suppose -h*c + 11 = -1. Let x(q) = q**3 - 5*q**2 - 2. Is 17 a factor of x(c)?
True
Let s(a) = 0 + 8 + 21 + a. Suppose l = -l. Does 11 divide s(l)?
False
Let j = 12 + -9. Is 3 a factor of 2 + j - (-1 - 0)?
True
Suppose 3*q = 5*q. Does 14 divide 14*(-2 + 3 + q)?
True
Suppose -8*g = -g - 798. Is 19 a factor of g?
True
Let g be (-4)/(-18) - (-34)/9. Suppose -g*d = -6*d + 70. Is d a multiple of 11?
False
Is 21 a factor of 2856/63 - 2/(-3)?
False
Let q = -7 + 4. Let r(b) = 2*b. Let z be r(4). Let u = z - q. Does 11 divide u?
True
Suppose -8*h = -5*h - 261. Is 28 a factor of h?
False
Let v(h) = 5*h - 3. Suppose 0 = 5*f - 15. Let o be v(f). Does 15 divide o/(-30) + (-82)/(-5)?
False
Let t(a) = a**3 + 1. Is t(3) a multiple of 22?
False
Let l(m) = -m**3 + 7*m**2 + m - 24. Is l(5) a multiple of 11?
False
Let w = 1 + -3. Let t be 2 + (36 - -1) + w. Let o = -25 + t. Does 10 divide o?
False
Let c be (12/(-9))/(6/27). Let u be ((-6)/c)/(1/2). Suppose 2*w + 2*w = -4*m + 108, u*m + 5*w - 69 = 0. Is m a multiple of 11?
True
Let s = -4 - -4. Let r be (s - (0 + 0))*-1. Is (-27)/(-9)*(1 - r) a multiple of 3?
True
Does 9 divide 20 + (-25)/5 + 1?
False
Let q(p) = -20*p**3 - p**2 + 1. Let x be q(1). Is (2 - (-3 + 6))*x a multiple of 9?
False
Suppose 2*w + 1 - 19 = 0. Is w a multiple of 7?
False
Suppose 0 = 6*g + 4 - 16. Does 16 divide g/3*141/2?
False
Suppose -3*y + 8*y + 351 = 4*w, 307 = 3*w + 5*y. Is 6 a factor of w?
False
Suppose -w - 4*p = -0*p, 0 = -4*w + 4*p. Suppose w = 4*s - 2 - 18. Suppose 2*o + 2*o + b = 31, 0 = 3*o - s*b - 6. Is 5 a factor of o?
False
Is 12 a factor of ((-92)/(1 + -2))/(0 - -1)?
False
Let w = -9 - 1. Suppose 0 = -3*r + 2*p - 42, 3*r + 0*p = -3*p - 57. Let x = w - r. Is x a multiple of 6?
True
Suppose 2*v = 3*y + 147, -4*v + 5*v + y = 76. Suppose 0 = -4*g - 0*r - r + v, 9 = 3*r. Let z = g - 5. Is z a multiple of 5?
False
Let l be (-4)/18 - (-2)/9. Let y(u) = u - 8. Let i be y(12). Suppose -d + 2*k = l, -i*d + 6*k - 3*k + 10 = 0. Is d a multiple of 2?
True
Suppose -42 + 31 = -z. Is z a multiple of 2?
False
Suppose 0*j - j - 57 = 0. Let v = -31 - j. Is 13 a factor of v?
True
Suppose 42 = 6*v - 186. Is v a multiple of 16?
False
Let j(l) = -l**2 + 13*l - 14. Let r be j(11). Is (6/r)/((-2)/(-16)) a multiple of 2?
True
Suppose 4*p + z = 495, -4*z = -3*z - 3. Let x = p + -28. Suppose -4*q - x = -9*q. Is q a multiple of 13?
False
Let b(j) = -j**3 - 5*j**2 - 4*j - 3. Let z be b(-4). Let i = -4 - z. Let x = i + 14. Is x a multiple of 9?
False
Is 9 a factor of (-2 - 0) + -1 - -12?
True
Let m(h) be the second derivative of h**4/4 - h**3 - 3*h**2 - 4*h. Is 11 a factor of m(5)?
False
Let g = -186 - -330. Is g a multiple of 18?
True
Let v(j) = -47*j - 56. Does 32 divide v(-7)?
False
Suppose 2*k = 4*h - 294, 0 = -2*h - 2*k + 7*k + 159. Let s = -40 + h. Is 16 a factor of s?
True
Let m(h) be the first derivative of -17*h**2/2 + 5*h - 7. Is 14 a factor of m(-3)?
True
Suppose -28 - 24 = -4*b. Suppose -2*a = s - 9, 0 = -6*a + 3*a - s + b. Suppose 0 = a*m - 8, 72 - 16 = 2*f + 2*m. Does 20 divide f?
False
Let z(m) = 8*m**3 - m**2 - m + 1. Let b be z(1). Let v be (-4 - -5) + b*3. Is (297/v)/((-1)/(-2)) a multiple of 20?
False
Let j = -30 - -73. Suppose n - 2*v - 3*v = 15, 2*n - j = -3*v. Is n a multiple of 6?
False
Suppose -y = 42 + 27. Let t = y - -111. Is t a multiple of 6?
True
Is 12/(-8)*40/(-12) a multiple of 3?
False
Does 10 divide (5/10)/((-2)/(-280))?
True
Let d be (3 - 1)*(-9)/(-6). Suppose -d*m = -4*n + 109, 2*n + m - 38 = -3*m. Is n a multiple of 9?
False
Let m(t) = t - 4. Suppose 18 + 14 = 4*q. Let p be m(q). Suppose -8 = -d + p. Is 9 a factor of d?
False
Suppose -2*o + 5*b + 48 = 0, 0*b = -3*o - 5*b + 72. Does 12 divide o?
True
Suppose 4*l - 3*n - 238 = 2*l, 0 = 5*l - 4*n - 595. Suppose -59 = -2*v + a, a + l = v + 3*v. Is v a multiple of 20?
False
Suppose 12*r + 90 = 13*r. Does 14 divide r?
False
Suppose 3*o = 4*o - 83. Suppose 5*w - o - 232 = 0. Does 21 divide w?
True
Suppose 0 = -4*d + n + 12 + 24, 5*d = 3*n + 45. Does 9 divide d?
True
Let t(u) = -u**2 + 3*u + 2. Let p be t(3). Let i be (-64)/12*21/p. Let o = -35 - i. Is o a multiple of 21?
True
Suppose 2*i = -4*o + 354, -5*i - 520 = -5*o - 55. Is o a multiple of 25?
False
Suppose 3*h = -0*h + t + 185, 5*h + t - 295 = 0. Does 10 divide h?
True
Suppose 2*i = 3 + 1. Suppose 0 = i*s - s - 36. Does 10 divide s?
False
Is 2 a factor of (4/3)/(1/3)?
True
Let r(k) = k**3 + 13*k**2 - 11*k + 5. Does 37 divide r(-13)?
True
Let h be (-1)/(-5)*2*5. Suppose h*o + l - 40 = 0, -4*o - 2*l + 78 = -l. Suppose -3*y - 11 = -d, 5*d + 2*y - o = -y. Does 2 divide d?
False
Let a be ((-1 - 11)/(-2))/1. Let x be (-1 + 9)*2/4. Is 14 a factor of (2 + x)*(a - 1)?
False
Let a(k) = -8 + 3*k - 10*k**2 - 4 + 11*k**2. Is 14 a factor of a(-9)?
True
Suppose -3*h = 5*c - 107, 3*c - 2*h = 92 - 24. Suppose 49 = -3*f + 16. Let q = f + c. Is 11 a factor of q?
True
Let c = -11 - -13. Suppose -5*l + c*l + 72 = 0. Is l a multiple of 12?
True
Suppose -12*z = -151 - 425. Is z a multiple of 12?
True
Let m(n) = n - 6. Let h be m(8). Suppose -h*y + 169 = 3*p - 144, -127 = -p + 5*y. Is p a multiple of 32?
False
Suppose 0 = -42*l + 41*l + 209. Does 30 divide l?
False
Let n(t) = -7*t - 3. Let s(r) = 10*r + 4. Let a(x) = -7*n(x) - 5*s(x). Let b be a(7). Is 10 a factor of -15*b/9 + 1?
False
Is 27 a factor of ((-1)/((-6)/(-368)))/(14/(-42))?
False
Let k(o) = -84*o. Let a be k(-1). Let h = -20 + 22. Suppose 0*u = h*y + 3*u - a, 4*u + 126 = 3*y. Does 14 