ltiple of 22?
False
Suppose 3*g + 15 = g + 5*o, 3*g - 3*o + 18 = 0. Does 24 divide 0 - (0/g - 168)?
True
Let w be (-6)/(-21) + 4000/(-35). Let s = w - -180. Does 22 divide s?
True
Suppose -3*l - 4*d = -900, -2*l = -0*d - 4*d - 620. Does 8 divide l?
True
Suppose -82 = s - 4*s + 2*w, 2*s + w = 57. Suppose 2*r - s = 38. Is 6 a factor of r?
False
Suppose 4*n + 1 = 3*g, 2*n + 8 = 5*g - g. Is 21 a factor of -2*15*g/(-1)?
False
Let f be ((-2)/(-3))/((-2)/(-12)). Suppose 0 = f*h - 0*h - 664. Suppose 56 = 3*q - h. Does 27 divide q?
False
Let t(d) = d**2 - 4*d. Let q be t(4). Does 3 divide q + 0 + -2 + 11 + -3?
True
Is 7 a factor of 13/((-13)/(-756)) + -7?
True
Suppose -y - 460 + 186 = 0. Let i = -52 - y. Is i a multiple of 11?
False
Suppose -6*c = 7*c - 39. Suppose 4*a - 3*v - 242 = 0, 5*a + 0*a = 5*v + 305. Is 1*(0 - c) + a a multiple of 28?
True
Does 3 divide (46/8)/(53/424)?
False
Suppose 0 = -4*s + 6 + 18. Suppose 2*x + 17 = -5*o, -21 = x - o + s*o. Suppose x*a = 2*g + a - 29, -5*a - 25 = 0. Is 4 a factor of g?
False
Suppose -3*i - 5 = 4. Let z = 11 + i. Is 10 a factor of (-60)/z*(-16)/3?
True
Suppose -9*a - 3*a = -3*a. Suppose 0 = -a*b + 8*b - 1064. Is 7 a factor of b?
True
Is ((-180)/14)/(-5 - 769/(-154)) a multiple of 11?
True
Let c(u) = 51*u**2 + 5*u - 22. Does 24 divide c(4)?
False
Suppose -10*a + 20 = -8*a. Let g be (7 - a) + 0 + 7. Suppose -5*p + x + 126 = -p, 5*x = g*p - 134. Is p a multiple of 31?
True
Let x(s) = s**3 + 2*s**2 - 1. Let c be x(-1). Suppose 5*h - 430 = -c*h. Suppose 0 = 3*k + 8 - h. Is k a multiple of 7?
False
Let p be (-2)/6 + (-56)/(-24). Let o(q) = 3*q - 6*q + 8*q + 2*q**p + 2*q. Does 16 divide o(-7)?
False
Suppose -5*f - 20 = 3*o, -5*f + 3*o = 9 + 41. Let w be 14/f - 4*2. Is 8/w - (-84)/5 a multiple of 8?
True
Suppose 3*d - 145 = 7*d + 3*x, -3*x = 3*d + 105. Let z be 2/(-16) + 18235/d. Is (2/(-6))/(2/z) a multiple of 19?
True
Let u be 5 - 2/((-6)/9). Is (93/12)/(u/32) a multiple of 7?
False
Suppose -400 = -16*c + 11*c. Suppose 20*q - 22*q = -c. Is 10 a factor of q?
True
Suppose 38*g = 36*g + 2. Let n = g + 185. Let t = n + -118. Is 17 a factor of t?
True
Let v = -572 - -299. Let o = -150 - v. Does 41 divide o?
True
Let a(b) = b**2 - 5 - 1 + 5*b - 1 - 5. Does 6 divide a(-9)?
True
Let q = 35 + 44. Suppose -98 = -5*n + 2*t, 3*n = -n + t + q. Does 7 divide n?
False
Suppose 4*x + 0 = 12. Suppose x*s + 5*z - 41 = 0, -s - 25 = -2*s + 4*z. Does 2 divide s?
False
Let p = 701 - 180. Is 4 a factor of p?
False
Let q be 20 + -25 - (1 - 102). Suppose 0 = 3*l - q + 21. Does 3 divide l?
False
Suppose 0 = 2*j - 3*o - 15, -j - 10 = 5*o + 2. Suppose v + j*a - 102 = -v, 204 = 4*v - 5*a. Let p = -25 + v. Does 13 divide p?
True
Let l be (1/(-1))/((-1)/833). Suppose -4*j + l = 3*b - 3*j, -5*b + 1393 = 4*j. Suppose -4*y - y = r - b, -2*y - 4*r = -100. Does 14 divide y?
True
Let d = -580 - -1472. Is 12 a factor of d?
False
Suppose 2*x - 5 = -1. Let q = -6 + 10. Suppose -102 = -5*m + n + 107, x*m + q*n = 88. Is m a multiple of 15?
False
Suppose -3*x + 2233 = -6*b + 4*b, x - 5*b - 766 = 0. Is x a multiple of 9?
False
Suppose 418 = -4*l - 4*g - 442, -2*l - 4*g = 434. Let z = 318 + l. Is 14 a factor of z?
False
Suppose 2198 = -5*t + 7008. Is t a multiple of 37?
True
Let m = -50 - -55. Suppose -3*a = -m*a + 18. Is a a multiple of 8?
False
Let t(y) = -144*y - 3. Let u be t(-2). Let h = u - 96. Is h a multiple of 21?
True
Suppose -3*i = 121 + 59. Let a = -20 - i. Is 40 a factor of a?
True
Suppose 148 = 5*y - 652. Is y a multiple of 14?
False
Is 18 a factor of (-300)/225*(-2)/(-8)*-207?
False
Let t(h) = h**2 - 6*h + 5. Let b be t(6). Suppose -b = -2*y + 1. Suppose -14 = -y*a + 10. Does 8 divide a?
True
Suppose -10507 = -10*i + 4533. Is 8 a factor of i?
True
Let f(l) = 5*l - 12. Let k(b) = -2*b + 4. Let x(v) = -3*f(v) - 8*k(v). Is 6 a factor of x(5)?
False
Let m(c) = c**3 + c**2. Let l(i) = 2*i**3 - 17*i**2 - 35*i + 14. Let q(x) = -l(x) + 3*m(x). Is 2 a factor of q(-18)?
True
Suppose -291*s = -290*s - 209. Is 19 a factor of s?
True
Let f(m) = 4*m**3 - 6*m**2 + 118. Is f(8) a multiple of 9?
True
Suppose -2*h = 2*u - 236, 0 = -5*h + h - 5*u + 476. Suppose 5*x - 12 + h = 2*m, -4*m + 148 = 4*x. Is 17 a factor of m?
False
Suppose 2*g = -3*g + 5*y + 60, -g - 2*y = 0. Suppose 0 = -2*a + g, 2*v - 4*a + 1 = -v. Does 4 divide v?
False
Let q(x) = 7*x**3. Let j be q(1). Let l = 8 - j. Let k(m) = 84*m**3 - m + 1. Does 28 divide k(l)?
True
Let v(z) = 3*z**2 + 2*z + 5. Let n(t) = 8*t**2 + 5*t + 16. Let j(x) = -4*n(x) + 11*v(x). Let u be j(-5). Suppose -4*g + u + 18 = 0. Is g a multiple of 2?
True
Let v be 6*(-2)/(-6) + 1. Suppose s + v = 2*s. Suppose s*a = a + 16. Is a a multiple of 4?
True
Suppose 0 = 28*f - 24*f - 4. Is ((-3)/f)/(144/51 - 3) a multiple of 17?
True
Suppose -4*n = 5*h - 76, h + 0*n + n = 16. Suppose -4*l = h - 96. Let t = 89 - l. Is 17 a factor of t?
True
Suppose -3*h + 1002 = 84. Is 37 a factor of h?
False
Suppose -14*z - 5*z = -3724. Is z a multiple of 31?
False
Let m = 37 - 11. Suppose 0*r = 2*r - m. Is 6 a factor of r?
False
Does 23 divide (253 - 5) + (4 - -1)?
True
Let j(z) = -z**3 - 5*z**2 + 2*z + 3. Let q be j(-4). Let d = 4 + 3. Does 2 divide (-72)/q + (-3)/d?
False
Let g(n) = -n**2 + 5. Let c be g(0). Suppose -c*h - 2 = -3*u, u = h + 6*u - 22. Suppose -2*k + 32 = 4*p, h*k + 18 = 5*k - 4*p. Is k a multiple of 5?
True
Let q = 1433 - 785. Suppose p + q = 7*p. Is p a multiple of 27?
True
Let t = 5618 - 1911. Is t a multiple of 34?
False
Let o(v) = 7*v**3 - 3*v + 1. Let s be o(1). Suppose s*a - 12 = 3*a. Is a a multiple of 6?
True
Let z(y) be the third derivative of -y**4/8 + 5*y**3 - 6*y**2. Let s be z(12). Is 8/(-1)*(3 + s) a multiple of 7?
False
Let a(u) = 4*u + 5 - 43 + 19. Does 3 divide a(8)?
False
Suppose -w + 5 = -0*w. Suppose -2*k + 105 = -w*k. Is 11 a factor of 269/7 - (-15)/k?
False
Let k be -1 + 5 + -2 + 3. Let l(z) = 4*z + 64. Is l(k) a multiple of 14?
True
Suppose -2*i + 2 = -2. Suppose 0 = -5*q + 5, -2*n - 5*q + 25 = 3*n. Suppose 4*z = n*h + 112, -z - 26 = -2*z + i*h. Is 14 a factor of z?
False
Let p be (1 - 1)*(-6 + 7). Suppose -t = 1, -r + p*t + t = -4. Suppose 0 = -4*q + r*j + 358 - 85, -2*j = -3*q + 204. Is 11 a factor of q?
True
Suppose 4*j = 3*p - 4112, 2508 + 4354 = 5*p + 2*j. Is 28 a factor of p?
True
Does 87 divide (3 + -659)*77/(-14)?
False
Let u(b) = 155*b - 1. Let h be u(-1). Let c = h + 268. Suppose -2*z = -5*n + c, n = 5*n + 4*z - 84. Is n a multiple of 22?
True
Let f = -58 - -34. Let w = f - -39. Is w a multiple of 5?
True
Let u = -1105 - -1197. Is 46 a factor of u?
True
Suppose 4*j - 1778 + 410 = 0. Does 9 divide j?
True
Suppose 10*a - 821 = 1479. Is a a multiple of 20?
False
Does 60 divide 2280/133*((-1 - 0) + 22)?
True
Suppose 6*h = 490 + 1298. Suppose -4*v + h = 2*j, -j + 1 - 2 = 0. Is 12 a factor of v?
False
Suppose 4*n - 26 = 3*j - 5, 5*n = -5*j. Suppose -y + 3*m + 37 = m, n*y + m = 118. Is 13 a factor of y?
True
Is 13 a factor of 312*(4/(-40))/((-1)/5)?
True
Suppose 0 = t - 5*h - 120, -2*h = 3*t - 112 - 180. Suppose 0*q = -5*q + t. Is 10 a factor of q?
True
Let o(v) = v**3 - v**2 + v. Let u be o(3). Suppose u = y + 2*y. Let t = 41 - y. Is 11 a factor of t?
False
Suppose -29*x + 11400 + 5855 = 0. Is 17 a factor of x?
True
Suppose 3 = -0*t + t. Let m(r) = 6*r**2 - 3*r + 3. Is m(t) a multiple of 31?
False
Let z be (-3)/2*(-80)/(-15). Let h = -46 - z. Let o = -10 - h. Is 7 a factor of o?
True
Suppose -350*q + 358*q = 3264. Does 26 divide q?
False
Let u be (1 - -73)/(4 + -3). Let w = u - 15. Is 14 a factor of w?
False
Let n = 109 - 96. Suppose 129 = 2*v + n. Does 5 divide v?
False
Let x be 16/6 - 12/(-36). Suppose 7*i - 4*h - 412 = x*i, 2*i + 5*h - 234 = 0. Let u = -71 + i. Is 12 a factor of u?
True
Suppose -12*h + 10*h - 14 = 0. Let r(g) = 2*g**2 + g - 25. Is r(h) a multiple of 13?
False
Let o(p) be the second derivative of -p**5/60 - 19*p**4/24 - 5*p**3/2 + p**2/2 - 6*p. Let r(a) be the first derivative of o(a). Is 15 a factor of r(-15)?
True
Let y = -176 - -191. Does 2 divide y?
False
Let x = -1040 - -1871. Does 13 divide x?
False
Let p(s) = 4*s**2 + 125*s - 4. Is 4 a factor of p(-34)?
False
Let a = 17 - 17. Let c = -3 - a. Does 12 divide -2 - -43 - (-1 - c)?
False
Let x = -31 - -30. Let q = 4 - x. Suppose -q*