be (1 + 1)/((-2)/7). Let k = j + f. Does 7 divide k?
True
Suppose 0 = -3*u - 3*p + 276, -5*p = 10*u - 6*u - 365. Is u a multiple of 9?
False
Suppose 7*s + 160 = 11*s. Is s a multiple of 8?
True
Suppose 0 = 4*p - p + 1671. Let f = p - -803. Does 11 divide f/22 + 2/(-11)?
True
Suppose -4*c = 2*p - 36, c + 0*c = 3*p + 23. Let q(l) = 2*l - 15. Does 6 divide q(c)?
False
Let l(n) = -5 + 5*n**2 - n**3 - n + 2*n**2 + 1 - n. Is l(5) a multiple of 16?
False
Let v(t) = 3*t**2 - 2. Does 9 divide v(-3)?
False
Is 4 a factor of 1/7 - (-996)/84?
True
Let d(l) = 78*l + 6. Does 16 divide d(3)?
True
Suppose 3*c - 153 = 3*i, 5*c + 5*i = -0*c + 295. Does 8 divide c?
False
Let r(n) = n**2 - 5*n - 4. Let u be r(-3). Suppose 5*b - 2*c - 85 = 0, 3*b + 2*c - u = -3*c. Is b a multiple of 5?
True
Let k be 146/(-10) - 2/5. Let x be 3/k - 42/(-10). Suppose 3*a - 18 = -0*m - x*m, 0 = a + 2. Does 6 divide m?
True
Let i(a) = -7*a**2 + a. Let n be i(1). Let f be (-6 - 0)*4/n. Is 10 a factor of f/(1 + (-2)/3)?
False
Let h = 7 - 0. Does 7 divide h?
True
Let l(h) = 2*h**2 + 11*h - 8. Let i(n) = -n**2 + n + 1. Let z(p) = 3*i(p) + l(p). Is 11 a factor of z(11)?
False
Suppose j + 8 = 3*j. Let d = j + 18. Does 11 divide d?
True
Let f = 116 + -81. Does 7 divide f?
True
Suppose g + 428 = 5*g. Suppose 3*n - g - 148 = 0. Suppose 5*h = -0*h + n. Does 6 divide h?
False
Let o = 80 + 46. Is 42 a factor of o?
True
Let q be (8/7)/((-2)/(-7)). Suppose t - q = 30. Does 17 divide t?
True
Suppose 0*b - b = -65. Let j = 119 - b. Does 18 divide j?
True
Suppose 4*x - 36 = -0*x. Let b(w) = w**2 - 10*w + 7. Let m be b(x). Is 12 a factor of 2/(-4)*(m + -22)?
True
Suppose -2*a + 90 - 12 = 0. Suppose b - a = -0*b. Does 13 divide b?
True
Let n(q) = -2*q**3 - 3*q**2 - 5*q + 6. Let z(p) = 3*p**3 + 2*p**2 + 6*p - 7. Let w(v) = -4*n(v) - 3*z(v). Is 6 a factor of w(6)?
False
Let r(q) = q**3 + 4*q**2 - 10*q - 9. Let y be r(-8). Let v = y + 321. Is v/12 - 4/(-6) a multiple of 6?
True
Suppose -u - 630 = -8*u. Does 18 divide u?
True
Let q(y) = y**3 - 8*y**2 + 2*y - 4. Let t be q(8). Let d = t - 5. Is d even?
False
Let w(j) = j**2 - 2*j - 3. Suppose -2*b = 5 - 3, -5*c - 6 = -4*b. Let r = 6 + c. Is w(r) a multiple of 3?
False
Let v(u) = -2*u - 6. Suppose 0 = -b - 0*b - 6. Let y be v(b). Suppose -3*l = -y*l + 60. Does 20 divide l?
True
Let a(d) = d - 8. Let c(z) = 2*z - 15. Let i(f) = -7*a(f) + 4*c(f). Let x be i(4). Does 3 divide ((-6)/(-4) + x)*2?
True
Suppose 26 - 74 = -4*t. Does 2 divide t?
True
Let b(v) = 3*v**2 - v. Let w be b(-2). Let t be (-38)/w + 4/(-14). Does 4 divide (2/t)/((-2)/12)?
True
Let h(j) = 7*j**3 + 15*j**2 + j + 9. Let u(w) = -4*w**3 - 8*w**2 - 5. Let v(q) = 3*h(q) + 5*u(q). Is v(-3) a multiple of 4?
False
Suppose 0 = 5*p - p - 24. Is p a multiple of 2?
True
Let f(t) = -4 - 23*t + 3 - 20*t - 3*t. Does 18 divide f(-1)?
False
Suppose -2*s - 2 - 8 = 0, 5*x - 25 = 5*s. Suppose x*m - 18 = m. Is (1*m)/((-3)/4) a multiple of 12?
True
Suppose 0*n = 2*b - 2*n - 40, -b + 3*n + 22 = 0. Does 7 divide b?
False
Let q(l) = l**3 + 5*l**2 - l + 2. Does 22 divide q(-4)?
True
Let p be 1 + (-6)/2 + 2. Suppose 0 = 3*h - 15 - p. Is h a multiple of 4?
False
Let q = 556 + -364. Is q a multiple of 32?
True
Suppose -2 = 3*r + 4. Let b = r + 5. Suppose 2*t + 4 = b*t. Is t even?
True
Let s be (-6)/(-3) - 68/(-2). Let d = -21 + s. Is d a multiple of 15?
True
Is 17 a factor of 325 - (27/(-9))/((-6)/4)?
True
Suppose 20 = -0*c + 5*c, 3*d = 5*c - 5. Let k(r) = 7*r + 6. Does 13 divide k(d)?
False
Suppose 2 = g + 5*o - 4, 2*g + 4*o = 6. Let i(x) = 34*x + 1. Is i(g) a multiple of 15?
False
Let a(y) = 2*y + y + y. Let i be -3*(3 + 1 - 5). Is a(i) a multiple of 12?
True
Let j(d) = -d. Let r(x) = -20*x - 12. Let c(a) = -4*j(a) + r(a). Is c(-5) a multiple of 17?
True
Let f be (-1 - -4) + 50/5. Suppose -4*u = -189 + f. Does 18 divide u?
False
Let b be (-4)/3*780/(-8). Suppose 0*l = 2*l + 5*n - 66, -5*l + 5*n + b = 0. Is 14 a factor of l?
True
Let a(n) = n**3 + 2*n**2 + 5*n + 1. Let z be a(-4). Let f = z + 75. Is 12 a factor of f?
True
Let o(x) = -x + 3. Let t be o(4). Does 2 divide t/4 - (-34)/8?
True
Is 39/9*(1 + 2) a multiple of 5?
False
Suppose 7 + 3 = 2*d. Suppose 2*z = -2*t - 34 + 134, -d*t - 2*z + 256 = 0. Does 14 divide t?
False
Let n(m) = -m**2 - 5*m - 4. Let v be n(-3). Let b be -4 + -2 + 2 + v. Is 4 a factor of 2 - b/2*3?
False
Suppose -3*z + 4*p + 435 = 0, 0*z + 3*p = -4*z + 555. Suppose -y + 27 = k - 2*y, 5*k - 3*y - z = 0. Suppose -3*m + 4*m - k = 0. Does 15 divide m?
True
Suppose -4*u = 3*m - 828, 4*m - m + 2*u - 822 = 0. Suppose 5*b - 9*b + m = 0. Is 17 a factor of b?
True
Let n = 84 + -24. Does 22 divide n?
False
Let p(r) = -2*r**3 + 2*r + 3. Let z(d) = -5*d**3 - d**2 + 5*d + 8. Let h(s) = 8*p(s) - 3*z(s). Let y be h(3). Suppose y*b = 12 - 3. Does 3 divide b?
True
Let k(c) = -4*c - 2. Is 7 a factor of k(-6)?
False
Let v = 2 - -29. Suppose r - 13 = -10. Suppose r*f + o + o = v, 2 = -2*o. Does 7 divide f?
False
Suppose 9*d + 53 = 8*d. Let q = d + 98. Is 18 a factor of q?
False
Let n be -8*(-1 - 2/(-4)). Suppose w = -j - j - 6, -j = n. Suppose 5*b = -w*y + 24, 4*y + 2 = 10. Does 2 divide b?
True
Suppose 4*q - 48 = -2*z - 2*z, 61 = 5*z + 4*q. Suppose -t + z + 3 = 0. Is t a multiple of 8?
True
Suppose -y + 4*z - 1 = -0*y, 0 = -5*z. Let s be y*(-1 - -2) - -19. Let h = s - -2. Does 10 divide h?
True
Let n(o) = -o - 17. Let h be n(-8). Let f(a) = a**3 + 8*a**2 - 14*a - 10. Does 7 divide f(h)?
True
Suppose r - 3*m = 0, 0*r + 4*r + 48 = -4*m. Let c = 15 + r. Suppose -4*g - 14 = -c*g. Is g a multiple of 3?
False
Let n(f) = -2*f**3 - f**2 + f - 2. Let w be n(-2). Let u(p) = 4*p - p - 8 + 0*p. Is u(w) a multiple of 8?
True
Suppose -5*p = -11 - 14. Suppose p*r - 395 = -80. Is r a multiple of 23?
False
Suppose 0 = f + 5*w - 5, 3*w - 4*w = -2*f - 45. Let l = 18 - f. Is 21 a factor of l?
False
Let z = 53 + -13. Is z a multiple of 16?
False
Suppose 0 = -k + 4*k + 3. Let w(b) = -10*b**3 - 1. Is w(k) a multiple of 4?
False
Let x(o) be the second derivative of -o**5/20 + 5*o**4/12 - o**3/3 - 3*o**2 - 3*o. Let c be x(5). Let v = 33 + c. Is 15 a factor of v?
False
Suppose 4*f + t = 32, f - 12 = 2*t - 4. Is f a multiple of 4?
True
Let r(w) = -21*w - 1. Let y be r(-1). Suppose 0*x - y = -x. Does 14 divide x?
False
Suppose -z - 39 - 27 = 2*j, 3*z = -3*j - 102. Suppose -9 = 2*n + 25. Let a = n - j. Is a a multiple of 15?
True
Let u = 0 - 96. Let h = -56 - u. Does 10 divide h?
True
Is 10 a factor of (-3 + 1*14/6)*-285?
True
Let t(y) = -3*y**2 + y - 4. Let r be t(3). Let n = r + 46. Is n a multiple of 11?
False
Let n(j) = j - 1. Let y be n(5). Suppose -42 = 2*i - y*i. Let s = i + -5. Is 8 a factor of s?
True
Suppose -3*q + 59 = -22. Let r = -9 + q. Is r a multiple of 9?
True
Let u = 60 - 42. Let f = u + -5. Is 13 a factor of f?
True
Let q = -296 + 638. Is 38 a factor of q?
True
Let l(t) = 7*t + 7. Does 7 divide l(13)?
True
Let y(l) = -l + 19. Let z be y(10). Let h be 2/z + 480/27. Let u = 8 + h. Does 13 divide u?
True
Let v(c) = -c**2 - 9*c - 6. Let m = -19 + 11. Let n be v(m). Is 0/(1 - n) + 5 a multiple of 3?
False
Let h(a) = 2*a**2 - 3*a + 1. Let s be h(2). Suppose 5*n + 12 = -t + 2*t, -s*n = 4*t - 117. Let v = t - -12. Is 15 a factor of v?
False
Let l = 13 - -18. Does 17 divide l + 3/(-2 + 5)?
False
Let b = 80 + -10. Suppose -3*m = 2*m + b. Let a = m - -21. Is 3 a factor of a?
False
Let j be (18/8)/((-3)/8). Let p(w) = -w**2 - 8*w + 3. Does 3 divide p(j)?
True
Let q be 8/6*12/(-8). Let u = q - -5. Suppose n + 10 - 1 = 2*t, -13 = -4*t + u*n. Is t a multiple of 5?
False
Let k be ((-12)/(-4))/(3/14). Let v be ((-14)/8)/(1/(-8)). Suppose d - 4*j = v, -d + 1 = -5*j - k. Does 7 divide d?
False
Let p(j) be the third derivative of -j**6/360 - 11*j**5/120 - j**4/3 - j**3/2 + 3*j**2. Let s(c) be the first derivative of p(c). Is 4 a factor of s(-9)?
False
Is 11 a factor of ((-6)/9 + 0)*-96?
False
Does 27 divide 21606/91 + 6/(-14)?
False
Suppose 8 = 3*l - l. Does 8 divide 25 - 6/l*2?
False
Does 15 divide (123/(-2))/(3/(-4))?
False
Let i(z) be the first derivative of -z**5/20 - 3*z**4/4 - 5*z**3/3 + 3*z**2 - 3*z + 2. Let m(l) be the first derivative of i(l). Does 11 divide m(-8)?
True
Let h be ((-2)/6)/(2/(-12)). Let r = h + -3. Does 7 divide 5/r*12/(-5