68/174 a multiple of 14?
True
Let l(o) = 86*o + 3. Does 2 divide l(2)?
False
Let d(c) = c + c**2 + c - 5 - 4*c. Let a be d(4). Suppose 5*r - 367 = a*w, -r = r + 5*w - 153. Does 27 divide r?
False
Let t = 68 - 83. Is 4 a factor of 3 - 9/3 - t?
False
Let a = 0 - -3. Suppose -h = -a*k + 32 - 212, -2*k - 5*h - 103 = 0. Let t = k + 111. Is t a multiple of 10?
False
Let n = -41 + -14. Let l = 99 + n. Does 11 divide l?
True
Suppose 42 + 18 = 4*w. Let k = 147 - 128. Let z = k - w. Is 4 a factor of z?
True
Let y(c) be the third derivative of -3*c**4/8 + c**3 - 4*c**2. Let q(j) = -1. Let h(k) = 4*q(k) + y(k). Does 16 divide h(-4)?
False
Suppose 0 = 2*n - 2*q + 2, 3*n - 6 = -4*q + 19. Suppose -4*c - 3*x = -c - 114, n*c + x = 104. Suppose 0 = 2*y - c - 51. Is 21 a factor of y?
True
Suppose -1 = -0*a + a, b + 5*a = 0. Suppose 2*d + 2*d - 166 = 3*w, 0 = d - b*w - 50. Is d a multiple of 4?
True
Suppose 2*v = 7*v - 90. Let g = 47 - v. Let i = 23 + g. Does 26 divide i?
True
Let v be (-4 + (-16)/(-4))/4. Suppose 3*q + 3 = 3*c - 5*c, -5*c + q + 18 = v. Suppose c*r - 6 = -3*w, -5*w + 10 - 25 = 0. Is r a multiple of 2?
False
Suppose 2*x + 35 = -q, -x + 2*q - 6 = -1. Let n be 96/45 + 2/x. Suppose -n*j + 122 = 12. Does 17 divide j?
False
Suppose 0 = -25*f + 10630 + 12620. Is f a multiple of 10?
True
Let n(d) = 2*d**3 + 5*d**2 - d - 4. Let y be n(-4). Let t = 97 + -109. Let r = t - y. Does 12 divide r?
True
Let s be (-5754)/(-28)*4/3. Let u = -178 + s. Is u a multiple of 16?
True
Let m be -20 + 155 - 0/2. Is (-11)/(-44) - m/(-4) a multiple of 9?
False
Let f = -2425 - -4781. Is f a multiple of 92?
False
Suppose -8 = 4*r, 2 + 108 = -5*v - 5*r. Does 3 divide (3*-3)/(v - -19)?
True
Let n(u) = 106*u + 1. Suppose -9 + 29 = 2*v. Let f = v + -9. Is n(f) a multiple of 25?
False
Let j = -10 - -46. Suppose v = y - 2*v - 20, j = 2*y - 2*v. Let q = -5 + y. Does 10 divide q?
False
Suppose 18 = -h + 137. Let g = 217 - h. Let a = -47 + g. Does 17 divide a?
True
Let q = -158 + 578. Does 3 divide q?
True
Suppose 16 = -4*h, 15*w - 4*h - 2906 = 10*w. Is w a multiple of 17?
True
Suppose -t = -1 - 8. Suppose 2*j = 5*a - t, 7*a - 4*a = 9. Suppose 0*z + 245 = 5*z + j*f, 5*z + 5*f - 235 = 0. Is 15 a factor of z?
False
Suppose 1655 = 14*r + 367. Is 46 a factor of r?
True
Suppose -4*t + 5*t = 40. Suppose -4*n + 185 = -107. Let y = n - t. Is 12 a factor of y?
False
Suppose -30 = -4*i + 2*t + 26, -4*i + 3*t + 56 = 0. Let o = i - 13. Suppose o + 15 = a. Is 8 a factor of a?
True
Suppose 2*b - 6*g = -3*g + 12, -2*g = 4. Suppose -5*j + 86 = b*p, 2*j - 60 = -3*p + p. Does 8 divide p?
True
Let i = -1053 + -202. Let a be (-2)/10 - i/25. Let d = a - 34. Does 5 divide d?
False
Suppose 4*y - 2*y + 30 = 0. Let i(a) = 2*a**2 + 20*a - 9. Let r be i(y). Suppose 8*x - 11*x = -r. Is 13 a factor of x?
False
Suppose -h + 372 = -y - y, -h - 3*y = -372. Does 40 divide h?
False
Suppose 0 = -a + 4 - 2, 0 = 2*h - 5*a + 6. Suppose -q - 5 = -t - 4, -h*q + t - 3 = 0. Does 22 divide q*((-12)/4 + -19)?
True
Does 6 divide (6/1)/((-87)/(-435))?
True
Is 34 a factor of 0 + -136*18/(-3)?
True
Suppose 0 = 3*w + s - 127, w + 2*s = 24 + 20. Is 22 a factor of w?
False
Suppose 2*t - 5*t + 279 = 0. Suppose u = -61 + t. Does 32 divide u?
True
Let p = 9 + -5. Let z(l) = 85*l - 42*l - 38*l + 2*l**2 - 6 - l**2. Is z(p) a multiple of 15?
True
Suppose -2*i = i - 6. Suppose k - 3*r = 7, 7*k + r = i*k + 19. Is (-1 - 0) + 72/k a multiple of 6?
False
Let a be 0/(-5*4/(-10)). Suppose a*z + 5*z = 320. Is 19 a factor of z?
False
Let i(c) = -90 + 90 - 5*c**2 + 7*c**2 - 2*c. Let f be (-3 - 0)/((-9)/6). Is i(f) a multiple of 4?
True
Let m = -982 + 1270. Is 2 a factor of m?
True
Suppose 5*z + 2*f = 31, 5*z - z - f - 17 = 0. Is 14 a factor of (-2 + 0 + (-1536)/(-80))*z?
False
Suppose 0 = -8*w + 2*w + 240. Let q = w + -36. Does 4 divide q?
True
Is 14 a factor of 5083/39 - ((-8)/3)/4?
False
Let t(l) = -7*l + 26. Let d be t(9). Suppose -243 = -4*k - 2*v + 25, k - 4*v = 67. Let u = d + k. Does 9 divide u?
False
Let o = -52 - -98. Let i = o + -16. Is 6 a factor of i?
True
Suppose -10*b + 7*b = 4*n - 2018, -b + 3*n = -651. Is 7 a factor of b?
False
Let s(o) = 2*o**2 + 32*o + 17. Let r be s(-13). Let y = 81 - r. Does 9 divide y?
False
Let w(m) = -10*m**3 + 5*m**2 - 11*m**3 + 6 + 22*m**3 - 6*m. Let k be w(-6). Suppose 4*n + 26 = k*n. Is 6 a factor of n?
False
Let x be 48/9 + 2/3. Suppose w + w - x = 0. Suppose -w*b = -17 - 58. Is b a multiple of 25?
True
Let a(p) = p**3 - 2*p**2 + 60. Does 5 divide a(0)?
True
Let d = 122 - -55. Suppose -y + 3*s + d = -48, -2*y + 454 = -4*s. Does 14 divide y?
False
Suppose 13 = b - 0*z - 5*z, 0 = 5*b - 2*z - 19. Let c(f) = -f**b + 2*f + 3 - f**2 + 1 - 2*f**3. Is c(-2) a multiple of 5?
True
Suppose -5*o + 3876 = 4*c, 5*o - 4845 = -4*c - c. Is 23 a factor of c?
False
Let h be 1/((11/(-6))/11). Is (-842)/h - 5/15 a multiple of 28?
True
Let p(w) be the first derivative of -3*w**4/4 - w**3 + 7*w**2/2 - 2*w + 2. Does 40 divide p(-5)?
False
Let a(w) be the second derivative of w**5/20 - w**4/2 - w**3 + 7*w**2 - 3*w. Let n(v) = -v**2 + 6*v - 2. Let g be n(3). Does 7 divide a(g)?
True
Suppose g = 2*g + 6. Does 29 divide 9/6*(-568)/g?
False
Suppose 0 = q - 3*n - 105, 5*n - 620 = -5*q + n. Is q a multiple of 6?
True
Let h = 14 + -4. Let b be (-20)/6*(-192)/h. Suppose -3*n + 38 + b = 0. Does 17 divide n?
True
Suppose -183*m - 909 = -192*m. Is m a multiple of 3?
False
Suppose -2*d = -155 - 409. Is 6 a factor of d?
True
Suppose -r + 85 = 4*m, 2*r - r - 64 = 3*m. Suppose -5*y - 49 = -x, -4*y - r = -2*x + y. Suppose -36 = -3*b + x. Is b a multiple of 5?
True
Let k(b) = -b**3 + 6*b**2 - b + 8. Let w be k(6). Suppose w*c - 3 = 1. Suppose 0 = c*i + 3*i - 125. Does 6 divide i?
False
Suppose -7*s + 15 = -4*s. Suppose 5*z + 40 = s*t, 4*t + 2*z - 5*z = 27. Suppose -280 = -4*q - t*y, -2*q + 223 = q - y. Is 29 a factor of q?
False
Does 12 divide 7/(154/(-12)) - 8934624/(-1584)?
True
Suppose 3*n + 213 = -0*n. Let w(r) = -15*r - 3. Let k be w(8). Let i = n - k. Is 13 a factor of i?
True
Suppose 2*o - 50 = 5*n, n - 4*n = 2*o + 14. Let t = 165 + n. Is t a multiple of 11?
False
Suppose 22*j = 2907 + 855. Is j a multiple of 9?
True
Let s(m) = 14*m + 4. Let y(f) = 13*f + 4. Let i(w) = 2*s(w) - 3*y(w). Let q be i(-11). Suppose 3*u + 24 + q = 4*h, -2*h + 4*u = -78. Does 33 divide h?
True
Let r be ((-12)/(-30))/(1/(-15)). Let a(y) = -y + 10. Is 6 a factor of a(r)?
False
Let w(t) = 3*t**3 - 3*t**2 - 4*t - 6. Let b(q) = 3*q**3 - 2*q**2 - 3*q - 5. Let v(f) = 5*b(f) - 4*w(f). Let i be (-1 - 2) + 2 + 3. Is v(i) a multiple of 7?
False
Let m be 106/(-7) + 5/35. Let a = m - -20. Suppose -2*p = -a*h - 219, -5*h = 3*p - 4*h - 303. Does 26 divide p?
False
Let n(v) be the second derivative of v**6/120 + v**5/24 - v**4/6 + 4*v. Let c(l) be the third derivative of n(l). Is 19 a factor of c(6)?
False
Let d(y) = -2 - 3 - 39*y - 2. Let c be d(-5). Suppose -c - 12 = -4*o. Does 10 divide o?
True
Let n = 155 - -136. Is n a multiple of 3?
True
Suppose -5181 = -16*y - 669. Does 17 divide y?
False
Let i(l) = l**3 + 5*l**2 + 3*l - 3. Suppose -7*d + 5*d - 6 = 0. Let y be i(d). Is (-4)/y*(8 - 11) even?
True
Let j(r) = -r**3 + 4*r**2 - r - 3. Let b be 10/15 - (-14)/6. Let h be j(b). Is 8 a factor of h/(4*2/24)?
False
Suppose 3*g - 2*g - 25 = 0. Let t = g + -5. Does 10 divide t*(3 - (-3)/(-2))?
True
Let x(r) = r + 1. Let a be x(-12). Let o(j) = -5*j - 8. Let z be o(a). Let h = z - 23. Does 4 divide h?
True
Let a(x) = -7*x. Let l be a(-1). Suppose -137 = l*f - 53. Is (-3)/12 - 219/f a multiple of 9?
True
Let y(n) = 4*n + 4. Let v be y(2). Suppose v*r - 336 = 6*r. Does 14 divide r?
True
Let r be -1*(96/(-3) - -3). Let c = r + -12. Suppose 0*d - c = -d. Is d a multiple of 4?
False
Let j be (-2)/6 - 148/6. Let s = j - -38. Is s a multiple of 3?
False
Suppose -6*z = -1715 + 11. Is 71 a factor of z?
True
Let r = 214 - 82. Is 14 a factor of (7 + -9)/(-2)*(r - 0)?
False
Suppose -2*m + 5*w + 1310 = 0, 23*w + 1970 = 3*m + 18*w. Is 11 a factor of m?
True
Suppose -4*u - 13*u + 2244 = 0. Is 22 a factor of u?
True
Is 4 a factor of -2 + 2 - 1200/(-6)?
True
Let z(f) = -2*f**2 - 2*f + 4. Let l be z(-7). Let g = l - -148. Does 17 divide g?
True
Let g(w) = -w**2 + 18*w + 9. Is g(9) a multiple of 15?
Tr