0. Let i be b(9). Suppose -2*x - 27 + i = 0. Is 24 a factor of (-310)/x - (-2)/13?
True
Is 7 - ((1 - 1)/2 + -2) a multiple of 9?
True
Suppose 0 = -2*s + q + 174, s - 87 = -0*s + q. Let r = s + -48. Is r a multiple of 19?
False
Is 41 a factor of 6/12 - 2/((-8)/1310)?
True
Let q = 22 + -18. Let a = q + 17. Does 7 divide a?
True
Let i(h) = -27*h - 4. Is i(-1) a multiple of 10?
False
Is 14 a factor of (-1030)/(-14) - (-3)/7?
False
Let s(m) = 2*m**2 + 8*m - 16. Does 2 divide s(-7)?
True
Let c be -1 + 1/(1/4). Suppose o - 36 = c. Does 13 divide o?
True
Suppose 4*a = 3*a - 3. Is (-41)/a + 4/12 a multiple of 7?
True
Suppose -6*n = -9*n + 501. Is 14 a factor of n?
False
Is 25 a factor of ((-10)/(-3))/(20/450)?
True
Is ((-30)/6 + 1)/((-1)/5) a multiple of 5?
True
Let l(s) = -3*s + 2*s - 3 + 0 + 5. Let z be l(12). Is 19 a factor of ((-152)/z)/((-8)/(-20))?
True
Let g be 13/39 - (-4)/6. Is 24 a factor of 39/2*4*g?
False
Let t(d) = -d**3 + d. Let f(k) = 3*k**3 - 7*k**2 - 11*k - 3. Let q(s) = -f(s) - 4*t(s). Let z be q(-6). Is z/(-6 - -3)*23 a multiple of 23?
True
Suppose w = -0*r + 3*r + 383, -3*w = -3*r - 387. Let a = r + 183. Does 28 divide a?
True
Is 5 a factor of (-1 + -2 - -15) + -2 + 2?
False
Suppose n + 3*n = 172. Let t be 2 + -1 + (-9)/(-9). Suppose -c - 4*c - n = -4*h, 2*c = t. Does 7 divide h?
False
Is 8 a factor of 17/(-2 - -3) + -1?
True
Let j(b) = b**2 + 3*b + 2. Let n be j(-4). Suppose 2*o + 2 + 0 = 0, 0 = -2*g - 4*o + n. Suppose -3*k + 60 = k + 4*a, a + g = 0. Is 13 a factor of k?
False
Let t(b) = b**2 - 5*b + 1. Let f be t(6). Suppose 0 = j + f. Is 12 a factor of 15 - j - (1 - -1)?
False
Suppose 0*b + b + 99 = 5*w, 3*w = 5*b + 55. Is 10 a factor of w?
True
Let x(w) = -w**3 - 9*w**2 - 7*w + 2. Let u be x(-8). Let d be (-8)/u*(-57)/(-2). Let n = d + -18. Is n a multiple of 10?
True
Let i(b) = b + 30. Let x(c) be the third derivative of c**4/24 + 10*c**3/3 - c**2. Let y(j) = 5*i(j) - 8*x(j). Is 5 a factor of y(-7)?
False
Suppose 50 - 170 = -3*y. Is 10 a factor of y?
True
Let r(a) = 9*a**2 - 7. Let s be r(-5). Suppose 0 = -4*y - z + s, -y - 4*z - 19 = -81. Does 22 divide y?
False
Let s(i) = 7*i**3 + 2*i**2 - 2*i + 1. Let c be s(1). Suppose -5*d + 27 + c = 0. Suppose 3 = 2*h - d. Does 2 divide h?
False
Suppose r = -4*r + 65. Let n be r/(2/2 + 0). Is 10 a factor of n + (-3 + 2 - -1)?
False
Suppose -g = 3*g - 484. Suppose 5*o - 140 = 5*t, 2*t - t = 4*o - g. Suppose 5*c = -4*n + o, 3*n + 0*n = 5*c - 3. Is n a multiple of 2?
True
Let w(o) = 3*o. Let p(j) = j**2 - 5*j + 7. Let c be p(5). Let t = 14 - c. Is 7 a factor of w(t)?
True
Suppose -3*g + 114 = 2*d, -5*d = 5*g - 2*g - 123. Is 18 a factor of g?
True
Suppose 1 = -4*t - 3. Let m(w) = 27*w**2 - 1. Is m(t) a multiple of 7?
False
Let l = -12 - -4. Let b(z) = -z**2 - 14*z - 19. Is 8 a factor of b(l)?
False
Let m = 13 - -21. Is 4 a factor of m?
False
Let s be 2/7 - (-188)/28. Let i = s + -4. Suppose -4*w - i + 103 = 0. Is w a multiple of 7?
False
Let x(p) = 6*p**3 - 3*p**2 - 4*p - 2. Let c be x(-2). Let k = c + 76. Is 9 a factor of k?
False
Suppose 5*q - 5 = 5*u + 5, -2*u = 3*q - 16. Suppose 3*g - 33 = 3*c, q + 39 = 3*g - 5*c. Does 4 divide g?
False
Is (-605)/(-6) - 15/(-90) a multiple of 38?
False
Does 3 divide ((-12)/(-10))/(2/10)?
True
Let r be (-36)/(-10) - (-2)/5. Let x(b) = 5*b + 0*b + 0*b + b**3 - 211*b**2 + 2 + 207*b**2. Does 11 divide x(r)?
True
Let v(m) = -m**2 + 5*m + 3. Let h be v(5). Suppose 24 = h*u - 2*u. Is 12 a factor of u?
True
Let j(y) = -112*y - 3. Is 33 a factor of j(-1)?
False
Let l = 347 - 195. Does 19 divide l?
True
Let w be 1*(-20)/((-16)/4). Suppose l + 3*z = 3*l - 102, -244 = -4*l - 4*z. Is (-6)/15 + l/w a multiple of 9?
False
Suppose 0*c + 4*c = -3*r + 408, 0 = c + 3*r - 93. Is c a multiple of 25?
False
Let k(s) = -s**2 - 6*s - 3. Let l be k(-4). Suppose 2*m + 11 = -l*r, -m - 4*r - 7 = 6. Is m a multiple of 7?
True
Let s(r) = -r**3 - 6*r**2 - 4*r + 7. Let d be s(-5). Suppose -i - 2 = -d*i. Suppose 0 = 3*c + i*c - 35. Is 6 a factor of c?
False
Suppose -2*j + 144 = -3*s, 4*s = -4*j + 3*s + 302. Does 18 divide j?
False
Let o(n) = n**3 - 7*n**2 + 7. Let i be o(7). Let a(k) = 65*k + 9. Let q(x) = 33*x + 5. Let t(d) = i*q(d) - 4*a(d). Does 17 divide t(-1)?
False
Suppose -m - 3*k = -2*m + 18, 2 = -3*m - 5*k. Suppose -5*z = 20, -3*n - 19 = -m*n - 2*z. Does 9 divide n?
True
Does 2 divide 360/16 + (-2)/(-4)?
False
Let w(c) = -5*c - 4. Suppose 0*r - 3*g = 3*r + 21, -5*r + 2*g = 14. Does 16 divide w(r)?
True
Let n(l) be the first derivative of l**3/3 - 5*l**2/2 + 2*l + 4. Suppose 3*t = 2*t + 7. Is n(t) a multiple of 8?
True
Let k be 33 + 1 - (1 - 4). Suppose 2*q + 37 = u, 4*u + k = q + 192. Is u a multiple of 24?
False
Let m(u) be the first derivative of -u**5/20 - 11*u**4/12 - 2*u**3 - 5*u**2/2 - u + 1. Let t(h) be the first derivative of m(h). Is 15 a factor of t(-10)?
True
Suppose 7*w = 4*w + 15. Suppose -w*c - 277 = -5*v - 4*c, 3*c = -2*v + 121. Is v a multiple of 12?
False
Let y(u) = u + 6. Is y(9) a multiple of 3?
True
Let c(w) = -2*w + 3. Let p be c(-3). Let i(r) = 7*r - 13. Does 25 divide i(p)?
True
Let b(m) = 3*m**3 + 6*m**2 + 4*m - 7. Let q(x) = 4*x**3 + 6*x**2 + 4*x - 8. Let t(z) = 3*b(z) - 2*q(z). Is t(-4) a multiple of 7?
False
Suppose -120 = n - 4*n. Let c be (-2*2 + 3)*0. Suppose 5*i - 23 = -c*o - 3*o, -n = -4*o - 2*i. Is 7 a factor of o?
False
Let c(k) = -k + 1. Let v be c(-3). Suppose 0 = -2*g + v + 4. Suppose -g*t = t - 55. Is 11 a factor of t?
True
Let z(v) = -v**3 - 7*v**2 + 8*v + 4. Let p be z(-8). Suppose -p*l = -0*l - 40. Does 13 divide ((-78)/l)/((-1)/5)?
True
Let o(g) be the third derivative of g**6/120 + g**5/12 - g**4/4 + g**3/2 + 3*g**2. Let c be o(-6). Suppose c*k - k - 40 = 0. Is 7 a factor of k?
False
Is 5 a factor of 3/9 - (-130)/6?
False
Let l(n) = 80*n**2. Does 4 divide l(-1)?
True
Let k = 0 - -2. Suppose k - 10 = 2*d. Let y(q) = -6*q - 6. Does 9 divide y(d)?
True
Let n = 7 + -5. Suppose 4*o + n*k - 27 = 7*k, 2*k + 15 = 3*o. Suppose -4*x + 9 = -7, 0 = o*s - 2*x - 25. Is s a multiple of 11?
True
Is (43/4)/((-7)/(-28)) a multiple of 17?
False
Let y = -4 - -2. Is 4 + -1 + y/2 a multiple of 2?
True
Is 13 a factor of 8/6*(-78)/(-4)?
True
Let k(d) = 6*d - 6. Does 6 divide k(6)?
True
Suppose -2*a + 4 - 18 = 0. Let n = a + 5. Is 4 a factor of (n - 0)*(-4 - 2)?
True
Let x(d) be the second derivative of d**4/12 - 5*d**3/6 + 5*d**2 - d. Let p be x(7). Suppose -3*a - p = -5*a. Does 10 divide a?
False
Let i be ((-1)/2)/((-1)/2). Does 7 divide (-26)/(-2) - i/(-1)?
True
Let m be 21 - (3 - 1) - 3. Suppose y + y + 2*p - m = 0, -p = 3. Is y a multiple of 3?
False
Let a be 1*(1 + -2) - 123. Let n = -70 - a. Does 17 divide n?
False
Let y be 4/6*24 - 0. Suppose -y = -0*c + 4*c. Let t(r) = -2*r - 3. Is t(c) a multiple of 5?
True
Let q = -114 + 220. Suppose 5*o + q = 3*t, 2*t + 4*o = -0*t + 34. Does 7 divide t?
False
Let z(q) = -q**2 - 3*q + 1. Let x be z(-3). Let n = x + 2. Suppose -n = c - 11. Does 3 divide c?
False
Let t(l) = l**3 + 3*l**2 - 2*l - 2. Let b be t(-3). Does 3 divide b/6 - (-28)/3?
False
Let s(i) = -i**3 + i + 22. Does 9 divide s(0)?
False
Is 8 a factor of (-252)/(-3)*1 + 4?
True
Suppose 2*a - c = 390 + 38, -4*a - 4*c + 880 = 0. Is 8 a factor of a?
True
Let u = -5 + 7. Suppose u*r - r - 2*s = 67, 4*r = s + 240. Is r a multiple of 19?
False
Let f(n) be the second derivative of -n**4/12 - 2*n**3 - 3*n**2 + 4*n. Is f(-10) a multiple of 14?
True
Suppose -5*v + i + 13 = 0, -5*v + i = -2*v - 9. Suppose 0*m = m + v, -2*k + 118 = -m. Is 17 a factor of k?
False
Is 10 a factor of 128 + (-6)/3 + 0?
False
Let o(k) = k - 17. Let w be o(13). Let u = 7 + w. Suppose -u*s = -2*s - 15. Is s a multiple of 5?
True
Let p be (-6 - 17)/(1/6). Does 23 divide ((-8)/(-12))/((-4)/p)?
True
Let v be 391/3 + (-2)/6. Suppose 5*b + 2*u - 28 = 130, 0 = -5*b + 5*u + v. Is b a multiple of 15?
True
Let k(r) = r**3 + 4*r**2 - r + 5. Let z(d) = -d**3 + 3*d**2 + d + 1. Let q be z(3). Let p = 0 - q. Is 9 a factor of k(p)?
True
Is 38 a factor of -1*(-119 - (6 - 11))?
True
Suppose 0 = -m - 2*o - 4, -4 = -2*m - 2*m + 2*o. Let y = m + 2. Suppose -k + i = -3*k + 69, 0 = -y*k - 3*i + 71. Is k a multiple of 14?
False
Suppose -3*y - 115 = -3*v + y, 2*v = -3*y + 54. Let m = v - 11. Does 8 divide m?
Fal