le of 14?
True
Let n = 9 + -7. Suppose -4*m + 3*u = -286, -3*m + n*u = -u - 216. Is -3 + 0 + (m - 1) a multiple of 22?
True
Let u be ((-3)/6)/(-1 + (-35)/(-36)). Let z = u - -48. Does 6 divide z?
True
Let p(w) = 87*w - 219. Is p(21) a multiple of 56?
False
Suppose 3*s - 575 + 224 = 0. Let y = -133 + 243. Suppose -4*l + s = -2*i - 73, -4*i - y = -2*l. Does 13 divide l?
False
Is 17 a factor of 60126/54 + 4/(-9)?
False
Let q = -89 + 101. Suppose -1440 = 6*k - q*k. Is k a multiple of 12?
True
Let g(k) = k - 6. Let a be g(-2). Let d = a - -75. Does 18 divide d?
False
Let s = -18 + 27. Let z be 15/(-10)*(-24)/s. Let t(p) = p**2 - 2*p + 4. Does 7 divide t(z)?
False
Let r = 20 - 40. Is (-165)/r + (-1)/4 a multiple of 4?
True
Let c(z) be the first derivative of -z**3/3 - 10*z**2 - 12*z + 1. Let r be c(-9). Suppose m - 4*m + r = 0. Is 8 a factor of m?
False
Let k(q) = q**2 + 16*q - 16. Let s be k(-17). Is (-3 + -6)/(s/(1/(-1))) even?
False
Suppose 0 = -2*w + 2, -w - 54 = 3*r - 8*r. Suppose 4*k + r - 31 = 0. Suppose k*o - 43 = 2*z, -o + 4*o - 5 = -4*z. Is o even?
False
Suppose 0 = -5*q + 3*q + 4. Suppose q*c + 1180 = 6*c. Suppose -2*w - w = -u + 59, -3*w = 5*u - c. Is u a multiple of 15?
False
Suppose 0 = 3*f + 2*f + 45. Let l = -9 - f. Suppose l = -i + 4*i - 96. Is i a multiple of 8?
True
Let r be (-56 + -3)*1 + 0. Let g = 122 + r. Does 4 divide g?
False
Let q(i) = 1848*i**2 + 14*i - 12. Is 37 a factor of q(1)?
True
Let z(q) = q**2 - 14*q + 7. Let n(u) = -u**2 + 12*u - 19. Let i be n(8). Let f be z(i). Is 15 a factor of (-452)/f + (-9)/27?
True
Let f(d) = d**2 + 2*d - 5. Let n be f(-4). Suppose b - n*h - 116 = -44, 3*b - 246 = -h. Let z = -52 + b. Does 15 divide z?
False
Let c = 117 - 98. Is c a multiple of 2?
False
Suppose 0 = 2*i + i + 4*c + 201, 0 = -2*i + 3*c - 151. Let m = i - -124. Let a = m + 26. Is a a multiple of 21?
False
Suppose 2*w - 3*i + 6*i + 6 = 0, 4*i + 22 = 2*w. Suppose -t = -0*t - w. Suppose t*u + 2*b = 207, -3*u - b + 129 = -78. Does 23 divide u?
True
Let p be 0 + 0 + -1 + 2. Suppose p + 4 = 5*o. Let g = o - -11. Does 9 divide g?
False
Suppose -7 + 1 = -3*u. Suppose -4*h + 28 = 2*w - 0*w, -2*h = u*w - 14. Is 5 a factor of h?
False
Let o = 30 + -66. Suppose 323 = 3*w - 1111. Is 34 a factor of w/8 - 9/o?
False
Suppose 3*l + 75 = 2*l. Let f = 127 + l. Is f a multiple of 26?
True
Let z be 1344/(-15) - 8/20. Let j = z + 138. Is 7 a factor of j?
False
Suppose 5*y = -5*c + 13 + 22, -c + 4*y + 12 = 0. Is 13 a factor of ((-273)/(-21))/(2/c)?
True
Suppose -2*s + 95 - 9 = 0. Is 8 a factor of s?
False
Suppose 17*j = 14*j + 5*s + 511, 2*j = -4*s + 304. Is j a multiple of 31?
False
Let s = 2319 + -240. Is s a multiple of 11?
True
Let z = -904 + 1268. Is z a multiple of 28?
True
Let m be (-2938)/(-39) - 1/3. Suppose 3*f + m = -2*g + 381, 0 = -3*f - 3*g + 309. Is f a multiple of 25?
True
Let w(x) = 84*x + 159. Is w(19) a multiple of 65?
True
Let x = -77 - -29. Let s be x/32*4/(-3). Suppose 0 = 3*z + s*z - 75. Is z a multiple of 10?
False
Let l = 3 - 1. Suppose -4*k + l = -3*k. Does 16 divide ((-12)/(-30))/(k/80)?
True
Suppose -4*l - 46 = -u - l, 2*l = -3*u + 116. Let q = 12 - 6. Does 4 divide u/q*36/30?
True
Suppose 2*q + 1838 = 7376. Is 24 a factor of q?
False
Suppose j + 1520 = 5*g, -429 = 5*g - 3*j - 1959. Is g a multiple of 12?
False
Suppose 0 = 3*u - 0*u + 6. Let l(v) = -10*v - 4. Let q be l(u). Suppose -h + q = 1. Does 15 divide h?
True
Let h(a) be the second derivative of -a**4/12 - a**3 + a**2 - 3*a. Let k be h(-6). Does 2 divide k*((-21)/(-2))/3?
False
Let j be (-8 + 4)*150/8. Let v = j - -1. Let k = -43 - v. Does 11 divide k?
False
Let y be (-32)/(-24)*(-18)/(-4). Let r be (9 - 6)/(1/y). Is 21 a factor of ((-206)/6)/((-6)/r)?
False
Let l(y) = -3*y**3 - 91*y**2 - 62*y - 34. Is l(-30) a multiple of 42?
False
Let o = -20 - -8. Is ((-20)/(-8))/((-2)/o) a multiple of 15?
True
Let b(k) = 225*k + 2*k**3 + 10 - 3*k**3 + 6*k**2 - 229*k. Is b(5) a multiple of 5?
True
Let d(y) = -47*y**3 - 2*y**2 - 2*y - 1. Let b be d(-1). Let u = b + 10. Is 8 a factor of u?
True
Suppose -2*m = -3*c + 292 + 485, 3*m - 9 = 0. Is c a multiple of 13?
False
Suppose 50*l - 53*l = -204. Is 11 a factor of l?
False
Let l(y) be the third derivative of 7*y**5/5 + 5*y**4/24 - y**3/6 + 12*y**2. Let a be l(2). Suppose -o + 4*q = -19 - 65, 5*o - 5*q - a = 0. Does 16 divide o?
True
Let k = -15 + 19. Suppose -3 = -k*x + 3*x. Suppose -137 = -x*q + 25. Does 9 divide q?
True
Let n = -535 + 899. Does 19 divide n?
False
Suppose -3*w - 231 = -5*o + 26, 2*o + 3*w = 107. Is 6 a factor of o?
False
Suppose -5*m = -2*f + 845, 3*f + 72*m - 77*m = 1265. Does 20 divide f?
True
Let v(s) = -s**3 - s**2 - 1. Let l(x) = 6*x**3 + 5*x**2 - x + 72. Let c(p) = l(p) + 5*v(p). Does 12 divide c(0)?
False
Let m be ((-3)/(-4) + -1)*-4. Suppose 16 - 232 = -9*j. Is 18 a factor of (m - 3) + j + -4?
True
Is (-2)/((-58)/8 + 7) a multiple of 4?
True
Let y(i) = 194*i**2 + 491*i - 4. Does 12 divide y(4)?
True
Suppose 4 = 3*y - i - 7, -3 = y + 3*i. Suppose -g + 65 = -f + 5*f, y*g = -f + 140. Is g a multiple of 9?
True
Let v(s) = s**3 - 3*s**2 + 4*s - 2. Let x(u) = 3*u**2 + u. Let a be x(-1). Let l be v(a). Suppose 169 = l*j + 47. Is j a multiple of 18?
False
Let q = -33 - -27. Let j be 3/12 - (-151)/4. Let o = q + j. Is 12 a factor of o?
False
Suppose 2*u + 8 = 0, -r - u = u + 3. Let k = -343 + 347. Suppose -g + 29 = n, -r*n + k*g = -0*n - 118. Is 13 a factor of n?
True
Let a(j) = j**2 + 27*j - 32. Let p(c) = -2*c**2 - 41*c + 48. Let u(o) = -8*a(o) - 5*p(o). Does 53 divide u(10)?
True
Suppose 0 = 4*g + 3*h - 129, 0 = -2*g - 5*h + 6*h + 57. Suppose g = v - 90. Does 8 divide v?
True
Let p(r) = -17*r - 72. Is 16 a factor of p(-40)?
True
Suppose 0 = 4*o - l - 159, 3*o + 2*l - 33 = 2*o. Let u = -29 + o. Is 5 a factor of u?
True
Let h(l) = -l**2 - 3*l - 1. Let y be h(6). Let n = 78 + y. Is n a multiple of 2?
False
Does 30 divide 1887/10*4*(72 - 67)?
False
Suppose -22 + 18 = 2*d. Does 45 divide ((-1260)/16)/(1/8*d)?
True
Let o(u) = 5*u**2 - 8*u + 13. Let f be o(11). Suppose 0 = 8*g + 2*g - f. Is g a multiple of 29?
False
Suppose 2*x = -0*x - 40. Let d = 26 - 25. Does 15 divide x*(d*-4 - -3)?
False
Suppose 0 = -4*o + 2*g - 54, 5*g - 15 = -4*o - 48. Let a = 56 - 32. Let v = a + o. Does 3 divide v?
True
Let x(b) = 34 + 35 - 64 + 44*b. Is 7 a factor of x(1)?
True
Let z(t) = -346*t - 42. Is z(-2) a multiple of 65?
True
Is -232*1*(6 - 7) a multiple of 26?
False
Suppose -2*h = 2*h + 356. Let n = -7 - h. Is n a multiple of 33?
False
Let b = 35 - 54. Let f = b + 23. Is 10 a factor of (-235)/(-10) - (-2)/f?
False
Let b(s) = -8*s**3 - 2*s**2 + 1. Let d be (-100)/(-36) - 6/(-27). Suppose 0 = d*g - l + 3, 3*g - 2*l = -5*l - 3. Does 4 divide b(g)?
False
Let r(l) = 7*l**2 - 2*l + 3. Let x be r(-3). Let v be (12/(-9))/((-1)/x). Let o = v + -63. Is o a multiple of 13?
False
Let s be (-4)/8 + (-11)/(-2). Suppose -7*w = 5*h - 3*w - 249, 0 = 4*h + s*w - 201. Does 12 divide h?
False
Let h(m) = 43*m**3 - 3*m**2 + 2. Is 29 a factor of h(1)?
False
Suppose 4*x = -5*m, 6*x = x + 3*m. Suppose x*n + 2*n - 97 = -5*h, 3*n - 98 = 2*h. Is n a multiple of 8?
False
Let x(b) = -2*b + 1. Let u be x(-6). Suppose -u - 3 = -2*j. Suppose 4*c + 14 = 5*d, -3*d - 3*c = -j*d + 18. Is 3 a factor of d?
True
Let u(b) = -b**3 - 5*b**2 + b + 2. Let x be u(-5). Let y(i) = -20*i + 2. Let n be y(x). Let h = -29 + n. Is h a multiple of 9?
False
Let b(t) = t**2 - 2*t + 2. Let w(k) = k**3 + 2*k**2 + 4*k + 3. Let p be w(-2). Is 10 a factor of b(p)?
False
Suppose 3*u = 6*u - 675. Is u a multiple of 12?
False
Suppose -s = 4*s - 190. Let u = s - 23. Does 15 divide u?
True
Let l be (-3 + 228/8)*4. Let m = l + -67. Is 5 a factor of m?
True
Suppose -14*v + 463 = -3065. Is v a multiple of 6?
True
Let g be 15/(2 - -3) + 4/2. Suppose 4*j - 3*j = g*f - 59, 5*f - 4*j = 56. Is f a multiple of 6?
True
Suppose -12*z = -5365 - 1103. Is 17 a factor of z?
False
Let h(v) = v**3 + 9*v**2 + 5*v - 6. Let r be h(-8). Let w = 25 + r. Is 6 a factor of w?
False
Let b(c) = 31*c**2 + 7. Let d be b(3). Suppose 5*i - 2*f - 436 = d, -4*f + 16 = 0. Does 25 divide i?
False
Suppose 3*o - o = -2*l + 154, -2*o + 160 = -l. Let n = o + 149. Is n a multiple of 11?
False
Suppose 0 = -5*a - 10, -p - 2*p - 4*a + 95