 - 131. Let q = c - -96. Is q a multiple of 26?
False
Let q(w) = w**3 + 13*w**2 + 12*w + 9. Is 8 a factor of q(-12)?
False
Does 25 divide (2 + (-72)/(-5))*10?
False
Let b be 3/((-6)/(-4))*37. Let x be ((-1)/(-1))/((-6)/318). Let i = b + x. Does 21 divide i?
True
Let u(k) = -k + 2. Let d be u(-1). Suppose -4*q = -d*v - 31 + 360, -2*v + 2*q = -220. Does 36 divide v?
False
Let r = 22 - -41. Is 18/r + (-54)/(-7) a multiple of 4?
True
Suppose -6*o + 1107 = -o - 4*x, 0 = o - x - 222. Is o a multiple of 38?
False
Let d be ((-1)/(-3))/(5/15). Does 5 divide -1 - (3/d + -12)?
False
Suppose 8*p = -33 + 209. Is 22 a factor of p?
True
Let l(p) = p**3 + 4*p**2 - 2*p - 3. Suppose -2*r - 3*b + 5*b + 2 = 0, 0 = -5*r - b - 19. Does 7 divide l(r)?
False
Suppose 3*i = -10 - 5. Let n(d) = d**2 + 2*d + 3. Is n(i) a multiple of 9?
True
Suppose 4*u + 13 - 1 = 0. Does 16 divide (-151)/(-3) - (-1)/u?
False
Let c be (4/3)/((-10)/30). Let n = 9 + c. Suppose -n*x + 63 = -2*x. Is 13 a factor of x?
False
Let i(j) = -6*j**3 - 2*j**2 + 2*j + 2. Let v be i(-2). Let z = -14 + v. Is z a multiple of 6?
True
Let c = 4 - 0. Suppose c*v = 11 + 17. Is 4 a factor of v?
False
Let x(r) = 2*r**2 + 1. Let v be x(4). Does 13 divide (5 + 4)*v/9?
False
Let a = -18 + 38. Is a a multiple of 12?
False
Let j = 292 - 199. Does 10 divide j?
False
Let v be (-2)/(-5) - 26/(-10). Is 21 + ((-9)/v - 0) a multiple of 7?
False
Let v be (1 - -1)/(16/(-168)). Let j = v + 41. Is j a multiple of 6?
False
Let u be 270/(-10)*(-22)/6. Let q = u - 52. Does 18 divide q?
False
Suppose 8 = 4*w - 0*w. Let p(u) = -3. Let n(m) = m + 2. Let v(c) = w*p(c) + 3*n(c). Is 7 a factor of v(3)?
False
Let m(o) be the third derivative of -o**5/60 + o**4/4 - o**3 - 5*o**2. Does 2 divide m(4)?
True
Suppose -7*v + 3*v = 5*k + 778, -3*k + 203 = -v. Let p = v - -132. Let l = -43 - p. Is l a multiple of 11?
True
Is 19 a factor of ((-4)/(-18)*42)/((-6)/(-171))?
True
Is 24 a factor of 0 - (0/4 + -124)?
False
Suppose 3*t - 20 - 82 = -3*s, -2*t = -4*s + 106. Let q = -7 - -9. Suppose q*g - s = 47. Does 19 divide g?
True
Suppose -4*p + 0 + 12 = 0. Suppose -p*x + 4*a + 108 = 0, -4*x + a = -x - 117. Does 15 divide x?
False
Suppose 4*w - 160 = -2*r, 4*r - 186 = w + 98. Is r a multiple of 18?
True
Let c(b) = -b**2 + 5*b - 4. Let p be c(-7). Let i = p + 135. Does 15 divide i?
False
Suppose 2*y + 2262 = 15*y. Is 16 a factor of y?
False
Suppose 4*h - 18 + 50 = 0. Is h/(-12)*(-93)/(-2) a multiple of 13?
False
Suppose 2*o = 5*y - 24, -5*o + 16 + 17 = 3*y. Suppose y = g + g. Is 6 + 0*g/(-9) a multiple of 6?
True
Is (50/8*1)/(42/672) a multiple of 5?
True
Let z = 49 + 98. Suppose -z = -4*g - 19. Does 13 divide g?
False
Let c be -1*(2 - 1) + 4. Suppose q + 3*l = 4*q + c, l = 2*q - 1. Suppose t = 2*t - q. Does 2 divide t?
True
Suppose -2*b = -0*b. Let d = b - -2. Suppose -2*n + d*z = -28, 0 = 2*n - 4*z - 22 - 16. Is 9 a factor of n?
True
Let t(h) = 7 + h + h + 3*h. Let u = -6 + 11. Is 16 a factor of t(u)?
True
Let g(q) = 8*q**3 - 4*q**2 + 3*q + 6. Is g(2) a multiple of 4?
True
Suppose -2*c - 50 = -r, 3*r + 6*c - 4*c = 110. Is 20 a factor of r?
True
Is (-14)/5*5/(-2) a multiple of 4?
False
Let t = -21 + 29. Let l(y) = y - 5. Does 3 divide l(t)?
True
Let a(h) = -h**3 + h + 55. Does 11 divide a(0)?
True
Does 19 divide (-687)/(-15) - (-2)/10?
False
Let v be 35/(-21) + 6/9. Is -14 - -36 - (-1 + v) a multiple of 8?
True
Suppose 18 + 246 = 3*o. Suppose 0 = 3*l - 5*r - o, 3*l + 2*l + 5*r - 200 = 0. Is l a multiple of 18?
True
Let u(h) = h**2 + 2*h - 11. Let m(y) = -2*y - 13. Let v be m(-9). Is u(v) a multiple of 24?
True
Let n(s) = s**3 - 3*s**2 - 3*s + 2. Let u(a) = -2*a. Let j be u(-8). Suppose -w = 3*w - j. Is 3 a factor of n(w)?
True
Let u = -5 + 11. Let f(c) = 10*c - 4. Does 15 divide f(u)?
False
Is 10 a factor of 3/9*2*144?
False
Let j(v) = 17 + 2 - 4 - 4*v + 7*v. Does 13 divide j(8)?
True
Let b be 22/6 + 2/6. Suppose c - 3 = -0. Suppose c*s = b*s - 11. Is 11 a factor of s?
True
Does 12 divide (-15)/5 - 1*-115?
False
Let d(r) = r**2 + 8*r + 7. Suppose 4*y - 5 = 5*c, -2*y = 4*c + 8 + 22. Let m be d(c). Is 22 a factor of 12/m*(-44)/3?
True
Suppose -2*k = -3*s + 17, -5*k + 3*s = 25 + 40. Is 7 a factor of 7*(k/(-28) - -2)?
False
Suppose -2 = 2*q - 208. Is 11 a factor of q?
False
Is 147 - (1 + -1) - 2 a multiple of 30?
False
Let f = -116 + 163. Is 17 a factor of f?
False
Let r be 1/(-5) + 48/15. Suppose -39 = -r*k - 5*z + 3*z, 5*k - 65 = 2*z. Does 6 divide k?
False
Suppose 4*y + 5 = 25. Suppose 5*b + y*i - 28 - 232 = 0, -b = 5*i - 40. Does 14 divide b?
False
Let k(s) = s**3 + 2*s - 3. Let y be k(3). Let l = y + 13. Suppose 2*i - l - 1 = 0. Is 22 a factor of i?
True
Let u = -27 - -81. Is 25 a factor of u?
False
Does 6 divide (-314)/(-12) + (-1)/6?
False
Let m = 0 + 4. Suppose -2*u + 3*y = -21, m*y + 10 = -2. Is u a multiple of 5?
False
Suppose -4*i = -46 - 6. Is 10 a factor of i?
False
Let c = 98 + -176. Does 7 divide 1008/39 - 12/c?
False
Suppose t - 54 = -r + 3*t, 5*t = -3*r + 195. Is r a multiple of 12?
True
Suppose -20 = -b + 5*b - 4*l, -4*l = -16. Is b/3 - (-175)/21 a multiple of 4?
True
Suppose 2*r = -2*r + 164. Let m = r + 8. Suppose -2*j = 4*o - 10, -5*j + m = 5*o - 3*o. Is j a multiple of 11?
True
Suppose 5*s - y - 28 = -0*y, -y = -2. Suppose 5*m = -4*b - 2, -3*b - 10 = m - 3. Suppose -m*o + 22 = s. Is 4 a factor of o?
True
Let s be (46/4)/(1/2). Let v = s - -29. Is v a multiple of 13?
True
Let o(w) = -7 - 5*w**2 + 4*w**2 - 3*w - 5*w. Let s be o(-6). Is 14 a factor of ((-8)/s)/(2/(-20))?
False
Suppose 0 = 4*r + 4*h - 296, -5*h + 7 = -18. Let s = 117 - r. Is s a multiple of 22?
False
Suppose g = -5*a + 205, g = 2*a + 27 - 102. Is 20 a factor of a?
True
Let j(g) be the second derivative of g**3/6 - 3*g**2/2 - 2*g. Does 2 divide j(5)?
True
Is 12 a factor of (-3)/18*3 + 662/4?
False
Let f = 0 + 1. Let g(y) = 34*y - 1. Is 19 a factor of g(f)?
False
Suppose 0 = 6*s - 4*s - 44. Let q = s + -12. Is q a multiple of 5?
True
Let b(h) = 27*h - 2. Let f be b(1). Let t = f - -3. Is t a multiple of 11?
False
Let h = 2 - -4. Suppose -5*w + h = 1. Let t(u) = 50*u**2 + u - 1. Does 19 divide t(w)?
False
Let i(b) = -2*b**2 - b + 2. Let g be i(-3). Let d = 5 - g. Does 6 divide d?
True
Let v(g) = g**2 - 2*g + 6. Let x(f) = -6*f**2 - 15 - 16 + 11*f + 0*f**2. Let p(u) = -11*v(u) - 2*x(u). Is p(6) a multiple of 16?
True
Let a be 3*((-4)/(-3) + 0). Let t(g) = 0*g**3 + g**3 + g + 2*g**2 - 4 - a*g**2. Does 4 divide t(3)?
True
Suppose -4*f = -4*m - 176, -2*f + 5*f - 4*m = 132. Is f a multiple of 12?
False
Let p = -1 + 8. Suppose -5*t + p = -0*v - 2*v, -5*t - 2*v = -23. Is ((t - 2) + 0)*16 a multiple of 12?
False
Suppose -108 = -4*d + d. Is 8 a factor of d?
False
Let v(f) be the second derivative of 1/20*f**5 + 1/2*f**3 - 1/3*f**4 - 3*f**2 - f + 0. Is 6 a factor of v(4)?
True
Let c(f) = -6*f - 17. Is 5 a factor of c(-7)?
True
Let g be -3 - -1 - (-28)/4. Let i(v) = v + 2*v - 2*v**2 + 3*v**2 + g. Is i(-5) a multiple of 11?
False
Let u = 127 + -85. Suppose 136 = 2*x + u. Is x a multiple of 9?
False
Let l be (-2)/(-8) + 105/12. Let n be 0/((-3 - 0) + 2). Suppose i - l = -n*i. Is i a multiple of 5?
False
Let u(o) = 5*o - 22. Does 15 divide u(8)?
False
Let j = 71 + 121. Is j a multiple of 12?
True
Let i(f) = f**3 + 4*f - 3. Let a(g) = -g**3 + g + 3. Let d be a(0). Is 13 a factor of i(d)?
False
Let d = 30 + -11. Suppose 189 = 5*t + d. Is 17 a factor of t?
True
Let n(s) = 6*s - 12. Does 6 divide n(6)?
True
Let v = 1 + -19. Is (-145)/(-6) + 3/v a multiple of 8?
True
Suppose 3 + 26 = m - 3*c, -2*m + 37 = c. Is m a multiple of 20?
True
Suppose -15*h + 0*h + 870 = 0. Does 15 divide h?
False
Suppose 5*z - 40 = -5*n, 6*n = n - 2*z + 55. Does 12 divide n?
False
Does 21 divide (-6)/(-24) - 1881/(-12)?
False
Let q(v) = v**2 + 4*v - 1. Let n be q(-4). Let z be 0*-1*(-1)/n. Suppose -4*t - t - 90 = -5*i, z = -5*i + 2*t + 93. Does 6 divide i?
False
Let r be (-70)/4 - (-6)/(-12). Does 6 divide (-80)/15*r/8?
True
Let d(t) = -19*t**3 - 2*t**2 - t. Is d(-1) a multiple of 4?
False
Suppose -2*w + 24 = 2. Let h = w + -5. Is h a multiple of 3?
True
Let c(j) = -3*j**3 - 4*j**2 - 2*j - 6. Does 14 divide c(-3)?
False
Let q = -13 - -1. Let y(p) = p**2 + 2*p + 4. Let n be y(-6). Let r = q + n. Does 12 divide r