= 0. Let b be (-3)/6*-10 + q. Suppose 0*s + b = 2*s. Is s even?
False
Let f = 12 - 6. Is 7/(((-3)/f)/(-1)) a multiple of 14?
True
Is 20 a factor of ((-8)/(-24))/(-1 - (-488)/486)?
False
Suppose 5*a - 830 = -8*u + 3*u, -5*u = -4*a - 875. Does 37 divide u?
False
Suppose -2*s - 4*b + 38 = 0, 0 = -2*s + 2*b - 3 + 11. Does 3 divide s?
True
Let o(y) = -10*y - 3. Let w(b) = b. Let k(h) = o(h) + 2*w(h). Let c be (-6)/4*(-28)/(-21). Is k(c) a multiple of 13?
True
Let c = -35 - -128. Does 37 divide c?
False
Let g(a) = -11*a - 8. Let m(z) = z**2 - 22*z - 17. Let l(q) = -5*g(q) + 3*m(q). Is 17 a factor of l(8)?
False
Let w = -3 + 8. Let c(p) = p**3 + 7*p**2 + p + 4. Let o be c(-5). Suppose 3*n + 2*l = 50, 3*n - o = 4*l - w*l. Is 8 a factor of n?
True
Let b(m) = -m**3 + m**2 + 5*m + 3. Is b(-3) a multiple of 12?
True
Let g = 1 - 0. Let l(y) be the second derivative of 3*y**5/10 + y**3/6 - y**2/2 - y. Is l(g) a multiple of 6?
True
Let z(g) = g**3 + 4*g**2 + 3*g + 1. Let o be z(-2). Let j = 198 - 122. Suppose j = -w + o*w. Is w a multiple of 18?
False
Let b(z) = z**3 - 11*z**2 + z + 1. Does 12 divide b(11)?
True
Let h = -183 + 392. Is h a multiple of 33?
False
Let t(u) be the third derivative of -u**6/120 + 2*u**5/15 - 7*u**4/24 - 5*u**3/6 - u**2. Let l be t(7). Let a(s) = -3*s - 3. Does 6 divide a(l)?
True
Let i(o) = 5*o**2 + 2 - o + 0 - 3*o. Is i(2) a multiple of 7?
True
Suppose -r + 5 = -3*v, 0 = 2*v - 3*r + 16 - 1. Suppose v = 6*y - 2*y - 44. Is y a multiple of 11?
True
Let l = -4 + 25. Let q = 3 + l. Is q a multiple of 8?
True
Let l(u) = 13*u + 3. Let t(v) = 12*v + 2. Let z(h) = 2*l(h) - 3*t(h). Let o be z(-1). Suppose 0 = -n - 0*n + o. Is 5 a factor of n?
True
Suppose 4*s + 33 = 5*t - 46, s = 2*t - 31. Is 5 a factor of t?
True
Suppose 0 = 5*n - 10, -4*c - 33 = -4*n - 349. Is c a multiple of 13?
False
Let h(r) = -r**3 - 5*r**2 + 4*r - 8. Let i be h(-6). Suppose 5*q - p - p - 73 = 0, -i*p = -4. Is q a multiple of 7?
False
Let u be -2*3/6 - -8. Let d(x) = -x + 18. Does 5 divide d(u)?
False
Let d be 12/2 - 4/2. Suppose 0 = d*p + 29 + 3. Is p/12*18/(-4) a multiple of 2?
False
Let l be (0 - -3)*1 - 2. Let p(o) = -9*o**2 - 1. Let m be p(l). Does 4 divide m/(-3)*(-72)/(-30)?
True
Let o = -72 - -204. Suppose f - 3*l - o = -2*f, 190 = 5*f + l. Is 13 a factor of f?
True
Suppose -j - 4*j + h = -1050, 0 = 3*j + h - 638. Is j a multiple of 22?
False
Let h = -12 - -6. Let p be (98/(-3))/(h/18). Is 4 a factor of (p/(-21))/((-4)/6)?
False
Let i(g) = 7*g**2 + 3*g. Is 21 a factor of i(-3)?
False
Is ((-8)/4 - 2)*-11 a multiple of 17?
False
Does 6 divide -3 - (-1)/(4/112)?
False
Let i = -114 + 162. Is 23 a factor of i?
False
Let i(v) = -4*v**3 + 4*v + 3. Suppose 0 = -q + 2*f - 6, 0 = -f - 1 + 3. Does 15 divide i(q)?
False
Suppose 0 = -2*m + 1 + 3. Suppose m*b - 70 = -3*b. Does 7 divide b?
True
Let o(u) = -u**3 - 4*u**2 - 4*u. Let l be o(-3). Let g(d) = -d**2 + 0 + d**3 + 0 + d - 1. Does 10 divide g(l)?
True
Suppose -2*a - 2*a = 0. Suppose 210 = 5*k - 5*z, -2*k - 3*z + a*z + 74 = 0. Does 20 divide k?
True
Let m(l) = -l**3 - 6*l**2 + 4. Let j be m(-6). Suppose z = -5*q - 24 + 103, -91 = -5*q - j*z. Is q a multiple of 4?
False
Let j = -19 - -22. Is (-4 + 1)/(j/(-9)) even?
False
Does 9 divide (-4)/((-16)/124) + 3?
False
Let h = -20 + 44. Is 4 a factor of h?
True
Let c = 80 + 32. Is 7 a factor of c?
True
Let u(p) = -p**2 + 11*p + 8. Does 18 divide u(7)?
True
Let f = -13 + 23. Let n be 10/15 + f/3. Suppose n = 2*g - 4. Does 4 divide g?
True
Let d = 107 - 71. Is 4 a factor of d?
True
Let d(r) = 4*r - 12. Let g be d(12). Is 30 a factor of 1624/18 - 8/g?
True
Is -11 - -19 - (0 + -2) a multiple of 10?
True
Let w = 16 - 23. Let i = 10 + w. Is 2 a factor of i?
False
Let v(o) = -1 + 1 + 4 + 3*o + 4. Let g be v(6). Let b = g + -14. Is b a multiple of 6?
True
Let z(w) be the second derivative of -w**4/12 + 5*w**3/3 - w**2 + 3*w. Does 4 divide z(9)?
False
Let u be 0 + (-6)/4*2. Let d(p) = -3 + 4*p - 1 + 5 + 8*p**2 + p**3 + 0. Is d(u) a multiple of 16?
False
Let h be (-1 - -3)*(5 + -4). Let v(u) = -9 - 3*u**2 - 2*u**h + u**3 + 11 - 10*u. Is 15 a factor of v(7)?
True
Suppose -3*m + 0*n - 25 = 5*n, 5*n - 35 = m. Let r be (-10)/m + 4/3. Suppose 23 = r*w + 3. Is 10 a factor of w?
True
Suppose 2*h - 3*h - 2 = 0, 5*u - 4*h = 3. Let f be u + 75 + (-1)/(-1). Does 15 divide ((-8)/(-10))/(2/f)?
True
Let n(d) = d + 14. Let j be n(-14). Suppose -3*u + p + 71 + 55 = j, -2*u = -p - 85. Is u a multiple of 12?
False
Let g = -3 + 4. Is (g/2)/((-1)/(-70)) a multiple of 17?
False
Suppose 0 - 5 = k. Let c(h) = 7*h**2 - 8*h - 2. Let r(j) = 6*j**2 - 7*j - 2. Let m(z) = k*c(z) + 6*r(z). Does 10 divide m(-3)?
False
Suppose 3*y = -0*y + 1203. Suppose s + y = 5*m, 0*m - 3*m - 2*s + 251 = 0. Does 25 divide m?
False
Let m = -36 + 46. Does 3 divide m?
False
Let l(u) = u**2 + 6*u + 6. Let j be l(-6). Suppose -42 = -2*h + j. Suppose -k + h = 2*k. Is k a multiple of 8?
True
Let x(r) = -r**3 + 8*r**2 + 2*r + 3. Let y be x(8). Suppose y = 3*o - 4*p - 29, 4*o - p - 64 = 0. Is 8 a factor of o?
True
Let n(k) = -15*k - 11. Is 17 a factor of n(-3)?
True
Let q = 3 + -5. Let i be 13/2 - (-1)/q. Suppose -3*o + 5*f = -45, 2*f + 75 = -o + i*o. Is 12 a factor of o?
False
Is 38 a factor of (-4)/(-6) - (2922/(-18) + 5)?
False
Suppose -1 + 5 = 2*l. Suppose 5*t + l = 77. Does 5 divide t?
True
Suppose 4*u = 3*u + 23. Let c = u + -10. Is 3 a factor of c?
False
Let k(z) = z - 3. Let a be k(3). Suppose c - 4*c + 159 = a. Is c a multiple of 7?
False
Let o(b) = -b**3 + 5*b**2 - 4*b - 1. Let x be o(4). Let s be (-1 + 2)*(1 + x). Suppose s = -4*f - 0*f + 144. Is 13 a factor of f?
False
Let w = 8 - 6. Suppose -w*m + 4*j - 18 = -82, 0 = -4*m - 4*j + 188. Is m a multiple of 14?
True
Let s(l) = -40*l**3 + 2*l**2 - 1. Let h = 4 + -3. Let b be s(h). Let p = b + 77. Is p a multiple of 13?
False
Does 5 divide 48*(-3 - -1)/(-6)?
False
Let d be (-5)/10 + 9/2. Suppose -d*f = 109 + 23. Let g = f + 62. Is 16 a factor of g?
False
Let z(o) = o**3 + 9*o**2 + 4*o + 7. Let j be z(-8). Let h = j - 19. Does 20 divide h?
True
Let p = -6 + 19. Let y = p + 15. Does 21 divide y?
False
Suppose -l + 760 = 3*l. Does 20 divide l?
False
Suppose 3*s + u = 2 - 1, -s = 5*u + 23. Suppose 2*i - s*y = 32, -i = 3*y - 11 - 13. Does 18 divide i?
True
Suppose -4*j - 544 = 4*r, -3*r + 165 = -3*j - 261. Let o = -81 - j. Suppose 3*m + 5*d - 35 = m, 0 = 3*m + 2*d - o. Is m a multiple of 12?
False
Suppose 19*m + 255 = 24*m. Does 11 divide m?
False
Let b(i) = 7*i + 8. Let r be b(-12). Let x = -38 - r. Is x a multiple of 13?
False
Suppose -117 = -4*i + 75. Is i a multiple of 16?
True
Suppose -2*n - 40 = -4*h, 4*h + 5*n = n + 28. Is 8 a factor of 3/h + 130/6?
False
Let g be 3/9*-4*3. Let l be (-2)/(g/23)*4. Suppose -h + l = h. Is 9 a factor of h?
False
Let w be 1006/9 + 2/9. Suppose t + 4*p - 47 = 0, -w = -2*t - 4*p + 2*p. Is t a multiple of 18?
False
Suppose -n + 4*o + 207 = 3*o, 3*n - 616 = 2*o. Suppose 5*y = -3*z + n, 160 = 4*y - 0*z + 2*z. Does 19 divide y?
True
Let x(g) = 2*g**3 - 3*g**2 + 6*g + 1. Is 19 a factor of x(4)?
False
Suppose -117 = -3*z - 2*i + 188, 545 = 5*z - 4*i. Does 21 divide z?
True
Let o(h) be the third derivative of h**5/60 - h**4/6 + 2*h**3/3 + h**2. Let f be o(4). Suppose -15 = -3*l + 2*m, 6*l - m = f*l + 10. Is 5 a factor of l?
True
Suppose 0*i = 2*f - i - 10, 4*i - 4 = -3*f. Suppose 8*j = f*j + 204. Is j a multiple of 17?
True
Let b = 6 - 7. Let c(a) = -3*a. Let y be c(b). Is 2 a factor of (-1)/(-1)*(y - -4)?
False
Let o(w) = -5*w + 11. Let q be o(-12). Let b = q + -14. Suppose b = z - 0*z. Is z a multiple of 19?
True
Let m(r) = -r**2 - 8*r + 6. Let k be m(-6). Let w be 60/(-27) + 4/k. Is (1 + -23)/(w/1) a multiple of 8?
False
Suppose -3*y + 2*y + 30 = 0. Is 15 a factor of y?
True
Let j = 2 - 0. Let k be -3*j*1/(-3). Suppose -a = k*a - 48. Is 8 a factor of a?
True
Does 11 divide (118 - -2) + -6 - 8/2?
True
Suppose -6*v + 3*v = -498. Is 6 a factor of v/8 + (-2)/(-8)?
False
Suppose 4*s = 0, -3*d - 2*s + 0 = -6. Is 14 a factor of ((-4)/(-8))/(d/128)?
False
Let c(a) = 5*a**2 - 3*a + 3. Does 25 divide c(3)?
False
Suppose 2*s - s = r - 22, 59 = 2*r + s. Let v = 27 + r. Is 14 a factor of v?
False
Let x(a) = -a**2 + 8*a - 3. Let p(y) = 3*y**2 - 15*y + 5. Let n(r) = 2