?
False
Let t = -2119 + 5364. Is 38 a factor of t?
False
Suppose 0 = -g - 4*q - 18, 0*q - q - 1 = 2*g. Let l(s) = 2*s - 2*s**3 + 3*s**2 - 5 + s**3 + 3*s**g. Is l(6) a multiple of 3?
False
Suppose -3*i = -q + 2*i - 35, -3*q = 5*i + 125. Let n be -3*(q/12)/2. Suppose n*k = 4*k + 9. Does 7 divide k?
False
Let o = 115 - 3. Does 56 divide o?
True
Let l = 71 + -32. Is (-6)/(-39) - (-2568)/l a multiple of 11?
True
Let l = 13 + -16. Let g be l - (-3 - (-1 + -1)). Is 8 a factor of 98/7 + g/(-1)?
True
Suppose -55*v = -58*v - 99. Let y = v + 74. Is y a multiple of 9?
False
Suppose -10 = 4*u - 30. Is 20 a factor of 633*(-6)/(-45) - 2/u?
False
Suppose 5*t - 1765 = y + 1102, 1157 = 2*t + 3*y. Is t a multiple of 15?
False
Suppose 2 = -m - 4*t, -3*m - 2*t - 32 = -76. Is 90/3*m/5 a multiple of 54?
True
Let r(z) = 304*z - 311. Is 99 a factor of r(2)?
True
Suppose 0 = -4*b - k - 0*k + 42, 30 = 4*b - 5*k. Suppose 0 = 14*d - b*d - 8. Suppose -s + 68 = 2*h, -d*h + 0*h + 3*s + 52 = 0. Is 16 a factor of h?
True
Let l(r) be the first derivative of -r**4/4 + 14*r**3/3 - 13*r**2/2 + 12*r + 139. Let t(s) = s**3 - 3*s**2 - 2*s + 5. Let g be t(4). Is l(g) a multiple of 5?
False
Let c(n) = -2*n**2 + 111*n - 55. Is c(17) a multiple of 66?
True
Let q be (-54)/(-6 + 0)*53/3. Suppose 0 = -2*l - 15 + q. Is 8 a factor of l?
True
Let w be 210/8 - (-14)/(-56). Suppose 0 = p + 5*g - w, 0 = 5*p + 3*g - g - 84. Does 16 divide p?
True
Let y = -168 + 114. Let s = y - -85. Is 3 a factor of s?
False
Suppose 0 = 2*s - 21 + 5. Let z = 33 - s. Suppose 2*o = -v + 68 - 4, 5*o = z. Does 19 divide v?
False
Suppose -h = -6 + 7, h + 199 = 3*g. Does 4 divide g?
False
Suppose 4*u - 1724 = -4*q, -3*u - q = 89 - 1372. Does 16 divide u?
False
Let g be (2 - (-42)/(-15))*(-50)/5. Suppose -g*y = -2349 + 277. Is y a multiple of 37?
True
Let j = -223 - -325. Does 8 divide j?
False
Let i(c) = -c + 20. Does 3 divide i(4)?
False
Is 23 a factor of 241 + (12/(-28) - (-12)/(-21))?
False
Suppose 21*j = -4*j + 34475. Is j a multiple of 20?
False
Let i(g) = 3*g + 318. Is 18 a factor of i(-34)?
True
Does 6 divide (-508)/(-12) + (-2)/6?
True
Let u = 333 + -234. Does 24 divide u?
False
Suppose 5*n - 5 = -0*c + 3*c, 0 = 5*c - 4*n - 9. Suppose -3*g - c = -149. Is 8 a factor of g?
True
Let q = -209 - -306. Let v = q - -10. Is v a multiple of 10?
False
Suppose 12*x - 8*x = 16. Suppose -x*h - 532 = -4*r, 3*r + 8*h = 3*h + 415. Is r a multiple of 27?
True
Let j(s) be the second derivative of -5*s**3/6 - 10*s. Is 2 a factor of j(-6)?
True
Is ((-1131)/65)/(8/(-1200)) a multiple of 90?
True
Let k(l) be the first derivative of l**5/5 + l**4/24 - l**2/2 + 3. Let g(s) be the second derivative of k(s). Is g(-1) a multiple of 7?
False
Let i(r) = -r**3 - 5*r**2 - 5*r - 4. Let u be i(-4). Suppose -5*l - 2*d = -130, 4*d - 33 - 45 = -3*l. Suppose u = a + a - l. Is 4 a factor of a?
False
Let z = -25 - -27. Does 16 divide 96 - (-1*z + 8/4)?
True
Let p(c) = 21 + c**2 - 19 - c + c**2 - c**2. Let j be p(7). Let b = j + 13. Does 18 divide b?
False
Let d = 1591 - 778. Is 41 a factor of d?
False
Let b(p) = p**2 - 8*p + 4. Let z = -2 - -10. Let g be b(z). Suppose g*y + 2*d - 242 = 0, 4*y - 59 = 3*y + d. Is y a multiple of 10?
True
Let f(u) = -5*u - 4. Let q be f(-10). Let m = q - 36. Is m a multiple of 3?
False
Let h(o) = o**3 + 11*o**2 - o - 6. Suppose -17 = 2*z + a, 4*z + 40 = -z - 3*a. Does 2 divide h(z)?
False
Let c(v) = 36*v**2 + 13*v - 35. Is 31 a factor of c(5)?
True
Let k(m) = -m**3 - 13*m**2 + 15*m + 17. Let q be k(-14). Suppose 4*r + 9*o - 28 = 4*o, -4*r + q*o + 60 = 0. Does 4 divide r?
True
Suppose -500 = -2*w - 3*l + 5*l, -5*l - 10 = 0. Let s = w - -25. Is 39 a factor of s?
True
Let j = 5 + -37. Is (j/3)/((-6)/27) a multiple of 6?
True
Let k(y) = y**3 - 2*y**2 + 5. Let q(t) = 2*t**3 - 3*t**2 - t + 11. Let v(l) = 7*k(l) - 3*q(l). Does 17 divide v(6)?
False
Let f(g) = -3*g + 36 + 9*g - g**2 - 11 + 15*g. Is 21 a factor of f(19)?
True
Suppose 0 = -2*o - 2*t + 290, o - 4*o - 4*t + 431 = 0. Is o a multiple of 13?
False
Let i = 580 + -244. Is i a multiple of 21?
True
Let p = 33 + 23. Suppose -p = 2*s + 2*o - 156, s + 5*o - 70 = 0. Is s a multiple of 14?
False
Let i = -82 + 79. Is 5 + -3*(-5 + i) a multiple of 4?
False
Let s be 125/10 - 2/4. Suppose -17*a + 275 = -s*a. Is 11 a factor of a?
True
Let g(a) be the first derivative of a**4/4 - 5*a**3/3 - 7*a**2/2 + 9*a + 2. Let k be g(6). Let l = 55 - k. Does 14 divide l?
False
Let b = 444 - 226. Suppose x + b = 3*l + 6*x, 0 = -2*l - x + 150. Is 12 a factor of l?
False
Let d be (-4*1)/(12/(-30)). Suppose -c + 10 = -4*c + 4*y, -d = -3*c - y. Suppose c*k + 0 = 130. Is k a multiple of 13?
True
Suppose -4 = 2*k - 2, -3*k = j + 2. Does 5 divide (142 - j)*(-15)/(-45)?
False
Let i(t) = 2*t**2 + 4. Let l be i(0). Is 2 a factor of (2/5)/(l/((-520)/(-2)))?
True
Suppose 40*g - 30044 = 3*g. Is 28 a factor of g?
True
Let v = 5 + -13. Let u(l) = -l**3 - 7*l**2 + 4*l + 10. Is 7 a factor of u(v)?
True
Let z(j) = -117*j - 13. Does 35 divide z(-4)?
True
Suppose 3*z - 7*z = -a - 62, -3*a - 58 = -4*z. Suppose 4*v - 175 = -5*u + 2*v, -3*u = 3*v - 96. Let j = u - z. Does 7 divide j?
True
Let r(c) = 14*c + 17*c - 39*c + 2*c**2 + c**3 + 8. Is 18 a factor of r(4)?
True
Is (-2)/(-8)*-2 - (-420)/8 a multiple of 3?
False
Let k(q) = -q + 9. Let i be k(7). Suppose 0 = i*c - c. Suppose -l - 2*l + 153 = c. Is 17 a factor of l?
True
Suppose 1 = q - 5*g + 52, 23 = -q - 2*g. Let i be 5/((-20)/12)*q. Suppose -2*m + d = -0*d - i, 0 = -m + 5*d + 33. Is m a multiple of 16?
True
Let g(s) = 7*s + 3. Let w be g(2). Let a(d) = -3*d**2 + 2*d**2 - 30 - 11 + 0 + 20*d. Is 5 a factor of a(w)?
True
Suppose 0 = -5*v + 7*u - 3*u + 762, -2*v = 3*u - 291. Suppose 0 = -6*z + 48 + v. Does 11 divide z?
True
Let u(r) = r. Let k(g) = g**2 + 9*g + 104. Let f(q) = 2*k(q) - 18*u(q). Is f(0) a multiple of 26?
True
Let n be -2 - (-1 - 1) - -6. Let v(x) = x - 4. Let s be v(n). Suppose 0 = -2*f + s + 34. Is f a multiple of 18?
True
Let q = 3018 + -1590. Is q a multiple of 6?
True
Let p be (2*5 - 2)*3/6. Suppose -p*i + 2*a + 42 = 0, -2*i + 17 = 2*a - 13. Is i a multiple of 12?
True
Does 60 divide (-1 - 7 - -13) + 955?
True
Let t be 20*((84/(-16))/7 + 1). Suppose 2*o = t*n + 81, -3*n = o + n - 60. Does 2 divide o?
True
Is (-8)/2 - -278 - (-108)/18 a multiple of 4?
True
Suppose 0 = 2*u - 326 - 410. Does 21 divide u?
False
Let t be 12/(-4) - (2 - 784/2). Let q = t + -207. Is 16 a factor of q?
False
Let t = 1156 - -1540. Is 128 a factor of t?
False
Suppose -6 = 3*j + 3, 4*h = j + 627. Is 8 a factor of h?
False
Is 26 a factor of ((-168)/16)/(18/(-984))?
False
Let g = -8 + 13. Suppose 18 = d + 5*r, -5*r = g*d - 0*r - 70. Is 13 a factor of d?
True
Let z(a) = 3*a**2 - 8*a - 7. Let k be z(7). Suppose 5*y - k = 101. Does 11 divide y?
False
Suppose 4*b - 16 + 4 = 0. Let h be (-162)/b*(-40)/6. Suppose 0 = 4*c + c - 5*n - h, n - 360 = -5*c. Is c a multiple of 18?
True
Let m be -7*1*10/(-35). Suppose 3*b + 2*l = 77, 78 = m*b - 4*l - 0*l. Does 10 divide b/(4*3/24)?
False
Suppose 60 = 5*y + 5*m, -16 + 4 = -y + 2*m. Does 5 divide (50/4)/(6/y) + 3?
False
Is 27 a factor of (-546)/(-98) - 6 - 23722/(-14)?
False
Let q = -4 - -10. Suppose -q = -s - 0*s. Suppose -3*j - 48 = -5*b + s, -2*j + 3 = b. Does 2 divide b?
False
Let f(l) = -l**2 + 10*l - 17. Let z be f(11). Let x = z - -33. Is 3 a factor of x?
False
Let v(p) = -3*p + 14 - 4 + 6 + 0*p. Let c be v(7). Let w(g) = -7*g + 9. Does 13 divide w(c)?
False
Does 28 divide 448/(-3)*(3 + -6)?
True
Let h(i) = -i + 10. Let d be h(10). Let w(u) = -5 + 2*u**3 + 5 + 2 + d*u - 3*u**2 - u. Is 4 a factor of w(2)?
True
Let o(t) = -t**3 - 15*t**2 - 20*t + 8. Let j be o(-14). Suppose -v + j = 3*s, -3*s + 0*v + 62 = -5*v. Does 29 divide s?
True
Let g(x) = -3*x - 26. Let m be g(-10). Suppose 3*s - m*d - 323 = 0, -210 = -0*s - 2*s + 4*d. Is 19 a factor of s?
False
Let z be 0 - (3 + -1) - 52. Let c be 3 - -1 - z/1. Let q = c - 18. Does 8 divide q?
True
Let f(z) = z**3 - 6*z**2 - 7*z + 12. Let w(v) = 2*v + 2. Let n be w(-3). Let b be -7*(n/(-1) + -5). Does 4 divide f(b)?
True
Suppose 3*m - 967 = 4*k, -64*m + 63*m + 2*k = -325. Does 21 divide m?
False
Suppose 0 = 7*l + 931 - 3892. Is l a multiple of 37?
False
Suppose -145*j = -156*j + 242. Is j a mul