Is 18 a factor of o?
False
Let d = -88 + 148. Does 20 divide d?
True
Let l(h) = -h**3 - 5*h**2 - 5*h - 5. Let u be l(-4). Let x be 1 - (0 + u + -70). Suppose k - 137 = -2*q, -4*k - x = -q + 1. Is q a multiple of 21?
False
Suppose 0 = -3*b - b + 5*f + 37, 4*f = 2*b - 26. Let k = 1 + b. Is k a multiple of 2?
True
Let a be (5 + -7)*(-102)/(-4). Let b = a - -77. Is 13 a factor of b?
True
Let u(g) = 2*g**2 - 7*g + 3. Is u(6) a multiple of 9?
False
Suppose l + 5*q - 61 = 0, -4*l - q - 62 = -268. Does 17 divide l?
True
Let v = 53 + 2. Is 19 a factor of 0 + -2 + -1 + v?
False
Is 8 a factor of 16/24*3*4?
True
Let f(l) = l**3 - 12*l**2 + 11*l - 13. Let a be f(11). Let y = -5 - a. Does 8 divide y?
True
Let x = 1 - -2. Suppose -71 = -d - 3*w - w, d = x*w + 50. Does 13 divide d?
False
Let y(w) = w**3 + 11*w**2 - 6*w - 15. Suppose -2*z + z = 11. Is y(z) a multiple of 17?
True
Let x = -83 + 56. Let t be 2 - (2 - 1) - 7. Does 12 divide (16/t)/(6/x)?
True
Let k(f) be the second derivative of 5/4*f**4 - 1/2*f**2 + 0 + 2*f - 1/3*f**3. Is k(-1) a multiple of 16?
True
Let b(c) = c**3 + 2*c**2 - 4*c. Let y be b(-3). Let t be (2/y)/1*-3. Is (-1 - -28) + (-3 - t) a multiple of 13?
True
Let h(a) = 3*a**3 + 2*a - 2*a**3 + 3*a**2 - 5*a**2 - 1. Let j be h(2). Let i(o) = o**3 - 2*o**2 - o + 3. Is i(j) a multiple of 8?
False
Suppose -5*f - 3*p = 2*p - 150, -5*f + 185 = -2*p. Let g = -17 + f. Is 9 a factor of g?
True
Let h be 5/(-25) + 52/10. Suppose -15 = -2*s - y - 5, h*s = y + 32. Is 5 a factor of s?
False
Is 27 a factor of (-819)/(-15) - (-9)/(-15)?
True
Let b be (-106)/10 + 8/(-20). Let s = 1 - 24. Let m = b - s. Does 5 divide m?
False
Suppose -24 = -y + 4*y. Let n = -6 - y. Does 2 divide n?
True
Suppose -q + 56 = -2*a - 32, -3*a - 9 = 0. Does 9 divide q?
False
Let x be 0 + (2 - 0)/2. Let p be x*-1*(-1 - -1). Is 15 a factor of 38 - ((-1 - -2) + p)?
False
Suppose 2*r = -3*s + 24, 2*s - 5*r = -0 - 3. Let h be (-2)/(-4) + 9/s. Suppose 2*d + 5 = 3*d + 4*x, h*d - 23 = 5*x. Is 3 a factor of d?
True
Suppose -4*u + 4*t = -2 - 62, 3*u + 3*t - 42 = 0. Suppose 80 = 3*o - f, o + 3*o - 132 = -5*f. Let s = o - u. Is 13 a factor of s?
True
Suppose 4*o - 5*x = 375, -x - 18 = -o + 75. Does 10 divide o?
True
Let d be (0 + 2)/((-2)/6). Let g be (d/2)/((-12)/32). Is 30/4*g/6 a multiple of 5?
True
Suppose -5*d + 375 = -0*d. Is 45 a factor of d?
False
Let o(i) be the second derivative of i**4/12 + i**3/3 + 5*i**2/2 + i. Is o(-4) a multiple of 13?
True
Let p = 0 + -3. Suppose 2*v + 47 = -5*h, -5*v = -0*v + 5*h + 110. Does 8 divide v/(p - (-6)/3)?
False
Let p = 10 - 10. Let t(u) = -16*u**3 + 2*u**2 + u. Let g be t(-1). Suppose w - 5*l - g = 0, p = l - 4 - 0. Is w a multiple of 18?
False
Let m = -6 - -15. Is 3 a factor of m?
True
Let m(j) = j**2 + 13*j + 13. Let d be m(-12). Is -1 - 0 - (d - 25) a multiple of 18?
False
Let c(d) = d + 59. Is 12 a factor of c(16)?
False
Let o(u) = -u**3 + 7*u**2 + 10*u + 2. Let c(t) = t + 4. Let y be c(4). Is o(y) a multiple of 11?
False
Suppose -5*n = 2*i - 135, -2*i + 0 = -3*n - 111. Does 20 divide i?
True
Let v(p) = -21*p - 12. Is v(-6) a multiple of 39?
False
Let j = -30 - -51. Is j a multiple of 3?
True
Let l = 343 - 169. Is 26 a factor of l?
False
Let l(s) = 3*s - 8. Let k be l(6). Suppose 3*y - 2*o + 10 = -0*y, -2*y - 2*o = -k. Suppose i - 3*i + 44 = y. Does 12 divide i?
False
Suppose -149 = -3*k + 2*j, 1 - 2 = j. Is 7 a factor of k?
True
Let i = 3 + 2. Suppose i*k - 4*q = 130, 0 = -3*k - 0*k + 4*q + 78. Is 13 a factor of k?
True
Is (-1)/(2 - (-11)/(-5)) a multiple of 5?
True
Let d = -6 + 6. Suppose 2 = -j - d*j. Is 16 a factor of j*(-12 + 0) - -1?
False
Let w be (-81)/5 + 1/5. Let t = 36 - w. Suppose t + 12 = 2*x. Does 16 divide x?
True
Let t(d) = 136*d**3 + d**2 - 3*d + 3. Is 11 a factor of t(1)?
False
Let s(t) = t + 4. Let l be s(0). Suppose a = -2 - l. Is (a/5)/(1/(-5)) a multiple of 3?
True
Suppose 0 = 3*y - 9 - 0. Is 23 a factor of (-11)/((-33)/216) - y?
True
Let v = -1 + 3. Suppose -7 = -v*y - 1. Suppose -90 - 7 = -2*h - 3*f, y*f - 9 = 0. Is h a multiple of 22?
True
Suppose -12*b - 46 = -14*b. Does 9 divide b?
False
Let l(n) = 24 + 0*n + 2*n - 19 - 8*n. Does 14 divide l(-12)?
False
Suppose -4*n = 5*z - 45, -n + 2 + 28 = -5*z. Let q = n - 0. Does 3 divide q?
True
Let t = -15 + 26. Does 8 divide (t*-1)/(-6 + 5)?
False
Let i be -1*6/(-15)*-5. Let v be i/(-2) + 3 + -4. Suppose 2*h + 3*o - 24 = -h, v = -2*h + o + 4. Is h a multiple of 3?
False
Let w(c) = -c**2 + 4*c + 3. Let v be 15*((-10)/6 - -2). Let b be w(v). Is 0 - (b - 0 - 0) even?
True
Suppose -3*w - 337 = -94. Let a = w - -144. Is 21 a factor of a?
True
Let a be 2/8 - 30/(-8). Let i(o) = 2*o - 3. Does 5 divide i(a)?
True
Let q(r) = 31*r**2. Let w be q(2). Let y = w - 16. Suppose y = -0*g + 3*g. Is g a multiple of 12?
True
Let k be 2 - -1 - (-99)/3. Suppose 3*c = k - 9. Is 2 a factor of c?
False
Let z(b) be the first derivative of b**3/3 - b**2/2 + 1. Let w be z(2). Suppose 4*r + 0 = 5*l + 33, -2*r + w*l + 18 = 0. Is r a multiple of 12?
True
Let y be 3/(-12) - (-6)/(-8). Let i = 2 + y. Let v = i - -8. Does 5 divide v?
False
Let n(y) = 2*y**2 + 9*y - 6. Let q be n(-7). Let v = q - 21. Does 4 divide v?
True
Suppose 2*a - a = -2. Does 23 divide (a + -49)/((-3)/2)?
False
Suppose 5*t + 15 = 0, 3*i + 15 = -0*i + 4*t. Is 10 a factor of 21 - 3/(i/(-6))?
False
Let c = 497 - 340. Is c a multiple of 14?
False
Suppose -q - 3*q - 72 = 0. Is 2 a factor of ((-3)/9 + 0)*q?
True
Suppose 0 = d - 72 + 31. Is d a multiple of 23?
False
Let r(f) = f**3 + 5*f**2 + f - 4. Is r(4) a multiple of 12?
True
Let j(l) = l + 35. Does 9 divide j(-10)?
False
Let i = -47 - -100. Is 6 a factor of i?
False
Let r(y) = -4*y + 36. Does 54 divide r(-18)?
True
Let g(a) = -a**2 + 17*a - 14. Let f be g(16). Is 2 a factor of (16/56)/(f/14)?
True
Suppose -5*c + 2*t + 2545 = 0, -5*c + 5*t = -1181 - 1349. Suppose 0 = -5*p - 2 + 107. Does 23 divide c/p + 4/6?
False
Suppose -h - 7 + 0 = -o, -4*o = -h - 16. Let r(j) = -2*j + j**o - 4 - 15*j**3 + 3. Does 15 divide r(-1)?
True
Suppose 3*i = -m + 4*m - 21, 3*i = -5*m + 27. Let d = 4 - m. Does 9 divide 3*d/2 + 30?
True
Let x(w) = w - 3. Let d be x(3). Suppose f - 25 = -d*f. Suppose 5*i = -f, 2*b = 3*b - i - 12. Does 3 divide b?
False
Let z(b) be the third derivative of -b**6/60 - b**3/6 + 5*b**2. Is 5 a factor of z(-2)?
True
Let o be 670/55 - (-2)/(-11). Is o/3*(-22)/(-4) a multiple of 22?
True
Let n = -8 - -8. Suppose 5*a + 1 + 1 = -h, -3*h + 2*a + 62 = n. Is 9 a factor of h?
True
Let j(a) = -a**2 - 3*a - 1. Let n be j(-3). Suppose 9 = z + 5. Is 22 a factor of 43 - (-2 + n + z)?
False
Let q = 3 - -77. Is 20 a factor of q?
True
Suppose -2*f + 2*u = -0 - 4, 2*u + 4 = 4*f. Does 19 divide f/(-4) + (-25)/(-1)?
False
Let n = 119 + -83. Is n a multiple of 6?
True
Let n be 0*((2 - 1) + 0). Suppose n = 2*h - 5 - 1. Suppose -6 = -2*u, 0 = 4*o - 0*o + h*u - 97. Does 8 divide o?
False
Let s(v) = v**3 + 2*v**2 - 2*v + 3. Does 23 divide s(4)?
False
Suppose 5*c + 16 = n, 4*n - c = -2*c + 22. Let m(v) = v**3 + 2 + 5*v**3 - 5*v**3 + 1 - 5*v**2 - 4*v. Is 5 a factor of m(n)?
True
Does 3 divide 410/18 - 6/(-27)?
False
Suppose 2*b + 18 = 4*b. Suppose -2*u = 10, -y + 5*u + 28 = -b. Is y a multiple of 12?
True
Suppose 0 = 2*a + 3*k - 126, 2*a - 3*k - 24 = 90. Is 24 a factor of a?
False
Does 6 divide (-22)/(-2) + -1 + 2/2?
False
Let r = 3 + 0. Suppose d = -r*d + 152. Is d a multiple of 11?
False
Let h(q) = -3*q**2 - q + 3. Let g be h(3). Does 4 divide g/(-63) - (-190)/14?
False
Suppose 0 - 12 = -3*b. Suppose 5*y - 4*o + o - 3 = 0, 4*o - 16 = 0. Suppose -g - y*g + b = 0, 3*g = -4*l + 63. Is 8 a factor of l?
False
Let g = 12 + -10. Suppose g*t = t + 34. Is t a multiple of 19?
False
Let k = -89 + 110. Is 7 a factor of k?
True
Let o(m) = m**3 + 7*m**2 + 6*m + 5. Let g be o(-6). Suppose -g*c + 3*c = -36. Is 18 a factor of c?
True
Suppose -v - 109 = -2*h, h - 3*v - 2 = 45. Is 14 a factor of h?
True
Suppose 0 = 3*y - 2*v + 3*v - 10, 4*y + 4*v = 0. Suppose f + y*w + 118 = 5*f, -2*w + 131 = 5*f. Let h = f - -12. Is 16 a factor of h?
False
Suppose 26 + 28 = 3*l. Does 15 divide l?
False
Let h be (12/9)/((-4)/(-246)). Suppose 3*z + 7 = 3*f + h, 5*z + 3*f - 149 = 0. Is 14 a factor of z?
True
Let m(n) = n**3 + 19*n**2 + 23*n + 3. D