o, 0 = 3*o + 6. Does 19 divide x?
True
Let m = 27 - 14. Let t be 1*m + (-9)/(-3). Suppose -3*k + 5 = -t. Is k a multiple of 6?
False
Let x(d) = d**2 - d + 2. Let q be x(0). Let i(b) = 3*b + 1. Does 3 divide i(q)?
False
Is (3*(-4)/(-12))/(2/358) a multiple of 36?
False
Let a(q) = -q**2 + 14*q - 14. Suppose 0 = 5*y - 68 + 13. Is 8 a factor of a(y)?
False
Let y(t) = t**2 - 9*t. Is y(12) a multiple of 20?
False
Let s(h) be the third derivative of h**6/120 - h**5/60 - 5*h**4/24 + h**3 - 6*h**2. Does 6 divide s(4)?
False
Suppose 5*y + 5*h + 85 = 0, -4*y - 2*h + 76 = -7*y. Let u = y - -28. Does 6 divide u?
True
Let i = 144 - 84. Does 12 divide i?
True
Let j(o) = -2*o. Suppose 0*n = -n - 4*f + 22, -f = -4*n + 3. Suppose 0 = -n*l - 0*l - 12. Is j(l) a multiple of 6?
True
Let q(r) = r**3 - 2*r**2 + 2*r + 3. Is 9 a factor of q(3)?
True
Let j(k) = k**2 - k - 4. Suppose 5*r - 2*o - 3*o + 75 = 0, 0 = o + 5. Let q be (6/(-15))/(2/r). Does 6 divide j(q)?
False
Let p(t) = 10*t**3 - 2*t**2 - 3*t + 2. Let g be p(2). Let z be (-10)/(18/(-8) + 2). Let b = g - z. Is 14 a factor of b?
True
Suppose s - 2*c + 17 = 64, 0 = -2*s - 2*c + 82. Suppose -b + 7 - 30 = -4*d, 0 = 5*b + 4*d + s. Let m = b - -26. Is m a multiple of 15?
True
Suppose -2*p - 13 = 3*t, 4*p + 5*t + 22 = 1. Let q(c) = p - 3 - 31*c + 1. Is 13 a factor of q(-1)?
False
Let s(d) = -3*d - 6. Let l be s(-5). Let b(f) = f**2 - 10*f + 13. Let o be b(l). Suppose c + 2*g - 14 = 0, 0*c - o*g = -2*c + 60. Does 14 divide c?
False
Suppose -4*d + 2*d + 8 = 0. Suppose -10 = -2*z - 4*g, -z + 34 = d*z + g. Is 2 a factor of z?
False
Suppose -3*w + 0 = -99. Let n(l) = -3*l - 1. Let x be n(-2). Suppose -v - d = -6*v + w, x*d = -3*v + 31. Is v a multiple of 7?
True
Does 25 divide (0 + 4/(-8))*-50?
True
Suppose 0 = 3*p - 4*v + 32, -v + 16 = p + 3*v. Let l(r) = -4*r + 4. Is 5 a factor of l(p)?
True
Let h be 4/(-16) - 1/(-4). Suppose 4*t = -h*t - 20, -t + 185 = 5*k. Does 10 divide k?
False
Suppose -2*g - 1 = -13. Is (g - -3 - 3)*2 a multiple of 5?
False
Does 5 divide 17 + 3 - (3 - -1)?
False
Let f = 10 - 6. Let d = 0 + f. Suppose -d*t + 57 = -t. Does 13 divide t?
False
Suppose -2*w - 3 = -3*w + 5*q, 3*w - 3*q = 33. Let i = -18 + w. Is 19 a factor of (-36)/(-1) - (3 + i)?
True
Let g = 27 - 35. Let v(x) = -2*x**2 + 9*x + 14. Let h(z) = -z**2 + 9*z + 13. Let j(p) = 3*h(p) - 2*v(p). Does 2 divide j(g)?
False
Let o = 68 + -25. Let i = 67 - o. Is 10 a factor of i?
False
Suppose 5*g = 3*j - 13 - 12, -g = 3*j + 5. Let k(m) = m**3 + 4*m**2 - 6*m + 3. Does 4 divide k(g)?
True
Let g be (-5)/(-3) - (-4)/(-6). Let d be g + -1 + 0 + -47. Let y = -25 - d. Is y a multiple of 11?
True
Let v = 50 + -36. Is v a multiple of 7?
True
Let a(n) = n**2 - 5*n + 4. Let v be a(3). Let p be 704/20 - v/(-10). Suppose -p = -4*b + 45. Is b a multiple of 12?
False
Let w(a) = -5*a - 45. Does 10 divide w(-25)?
True
Let i(b) = b**2 - 7*b + 1. Let r = 9 + -4. Let p be (4/r)/((-1)/(-10)). Does 9 divide i(p)?
True
Suppose 0 = -4*b - 5*a + 113, -b - 5*a + 11 = -21. Does 7 divide b?
False
Suppose -2*b + 4*g - 3 = 5, -5*g = -5*b - 25. Is 26 a factor of (-8)/b*39/2?
True
Suppose 0 = -0*h - 4*h + 32. Suppose c - 6 = h. Does 7 divide c?
True
Suppose 5*a + 121 = 4*q, 3*q + 33 = 5*q + 3*a. Is 8 a factor of q?
True
Let n be ((-1)/2 - 0)*42. Let q = n - -63. Let x = q - 23. Is x a multiple of 7?
False
Suppose -3*j + 2*j = 8. Let t = -5 - j. Is 3 a factor of t*(-3)/((-6)/4)?
True
Let v = -14 - -19. Is 3 a factor of v?
False
Suppose 22 = -4*y + 66. Does 3 divide -3 - y/(44/(-24))?
True
Is (51/(-4))/((-413)/(-84) + -5) a multiple of 19?
False
Suppose -351*b = -356*b + 700. Does 20 divide b?
True
Suppose 2*i - 3 - 13 = 0. Is 3 a factor of i?
False
Let j(u) = u**3 + 5*u**2 + 4*u - 4. Let z be j(-4). Is (3/z)/(3/(-144)) a multiple of 18?
True
Let w(i) = i**3 - 5*i**2 - 6*i + 3. Let k be w(6). Let o be ((-31)/k)/(2/6). Let x = -22 - o. Does 8 divide x?
False
Suppose 6*t - 186 = 108. Does 49 divide t?
True
Let g = 9 + 3. Is 17 a factor of ((-6)/g)/((-1)/34)?
True
Let t = 5 - 7. Let a be (t + 7)*(-212)/(-10). Let m = -68 + a. Is 19 a factor of m?
True
Let m = 17 + -63. Let f = -33 - m. Is f a multiple of 8?
False
Suppose 0 = 5*r - 2*o - 560, r - o - 94 - 18 = 0. Is r a multiple of 28?
True
Let m = -56 - -65. Is m a multiple of 5?
False
Let g = 3 - -52. Suppose -2*h - 5*c + g = 0, 2*h - 3*c + c - 34 = 0. Is h a multiple of 9?
False
Let j = 22 + -24. Is (3/j)/(6/(-140)) a multiple of 7?
True
Let q = -48 + 93. Is 15 a factor of q?
True
Suppose -5*p + 3*w - 20 = -59, 5*w - 9 = -4*p. Suppose 2 + p = -4*i. Is 10 a factor of i - (-1)/(1/24)?
False
Let d = -6 - -10. Does 17 divide ((-34)/d)/((-4)/24)?
True
Let k(g) = -98*g**3 + 5*g**2 - 3*g. Let a(y) = 147*y**3 - 8*y**2 + 5*y. Let h = -7 + -1. Let n(o) = h*k(o) - 5*a(o). Does 16 divide n(1)?
True
Let w be 2 + -4 + 8 + -1. Suppose 0 = 4*z - 0*z - 76. Let o = z - w. Does 7 divide o?
True
Suppose f - 3 = -5*x - 2, -5*x - 11 = 4*f. Is 8 a factor of (-1 - -28)*(f + 5)?
False
Suppose 0 = 4*r, -s + r + 154 + 98 = 0. Is 10 a factor of s?
False
Let t(j) = j**3 + 2*j**2 - 3*j. Is t(4) a multiple of 26?
False
Let p(x) = x**2 + x + 3. Let q be -7 - (-1 + 2 + 0). Let s be p(q). Suppose 3*z + 5*b - s = 0, 2*b = -5 + 1. Is 9 a factor of z?
False
Let p(y) = y**2 + 9*y - 7. Is p(-12) a multiple of 5?
False
Suppose 0 = 5*h - 2 + 22, 5*h - 60 = -2*l. Let y = l + 0. Is 20 a factor of y?
True
Let h(q) = 2*q**3 - 5*q**2 + 14*q - 11. Does 27 divide h(5)?
False
Let t = -71 - -79. Is t a multiple of 2?
True
Let m = 4 - 2. Let p = 1 + -1. Suppose p = -6*g + m*g + 36. Is 9 a factor of g?
True
Let i be -1 + (4 + 44)/3. Suppose -t + 28 = -i. Is t a multiple of 18?
False
Is 45/2 + (-1)/2 a multiple of 22?
True
Let h = 31 - 10. Suppose h - 1 = 4*n + 2*c, 0 = 3*n + 3*c - 9. Is 4 a factor of n?
False
Suppose -153 = -4*l + 55. Suppose 5*p - 263 = l. Suppose 3*h - p = -3*n, 3*h - 96 + 30 = -4*n. Does 7 divide h?
False
Let n(t) = -t**3 + 4*t**2 + 6*t - 3. Let b be n(4). Let h = 30 - b. Is h a multiple of 8?
False
Let t be (1 - -1) + (-416)/(-2). Suppose -t = -3*w - 2*w. Is w a multiple of 14?
True
Suppose 3*n = -0*n + 5*t + 327, 5*n - 529 = 3*t. Suppose 3*b + 5*d = n, 5*d + 0*d = -4*b + 137. Is b a multiple of 12?
False
Let o be ((-20)/(-25))/(2/(-10)). Let b = o - -4. Suppose 2*m - 12 - 44 = b. Does 16 divide m?
False
Let m(n) be the third derivative of n**6/120 + n**5/12 + n**4/8 + n**3/6 - n**2. Let f be m(-3). Suppose p = 2*p - f. Is 10 a factor of p?
True
Does 25 divide (-382 - -1)/3*(-1 + 0)?
False
Suppose -2*d + 297 = -b, 9 = -8*b + 5*b. Does 18 divide d?
False
Does 2 divide 0 + 5/1 + 3?
True
Let j(p) be the second derivative of p**5/20 - p**4/6 - p**3/2 + 3*p**2/2 - p. Let g be j(3). Suppose -5*f = -10, g*c + 2*c - 149 = -2*f. Does 11 divide c?
False
Let j(d) = d - 1. Let s be j(5). Suppose s = -3*f + 46. Is 16 a factor of (f/6)/((-7)/(-63))?
False
Suppose -156 = -8*w + 4*w. Is 13 a factor of w?
True
Suppose 3*q = 9*q + 468. Let g be (-1)/(-4) - (-459)/(-12). Let l = g - q. Does 20 divide l?
True
Let k(h) = -8*h - 11. Is k(-5) a multiple of 6?
False
Let t(h) = h**3 + 7*h**2 + 3. Let d be t(-7). Let i(r) = 0*r**3 + r**3 + 9*r**2 + d + 0*r - 2 + 6*r. Is 7 a factor of i(-8)?
False
Let g(a) = 2*a**2 - 2*a - 2. Let q be g(2). Suppose 14 = -3*n + 5. Does 10 divide 3/q*(-20)/n?
True
Suppose -3*c - c + 16 = 0. Does 2 divide c?
True
Let t be 0/(3 + 2 + -7). Let j(y) = t - 7*y + y**2 - 4 + 3 - 2*y**2. Is j(-6) a multiple of 4?
False
Let t(i) = 2*i**3 - 4*i**2 - i + 2. Let l be t(3). Suppose -173 = -5*c + l. Let y = c - 26. Is 12 a factor of y?
True
Let f = 333 + -157. Is 39 a factor of f?
False
Let p = -178 - -436. Suppose 6*z - p = -4*y + 3*z, z = 3*y - 200. Suppose -226 + y = -5*w. Does 16 divide w?
True
Let f = 15 - -1. Does 14 divide f + (-4)/(0 + 2)?
True
Let l(f) = -f**3 + 9*f**2 - 3*f + 6. Is 23 a factor of l(8)?
True
Suppose 2*b + l - 2 = 29, -3*l - 3 = 0. Let q = b - -7. Is 12 a factor of q?
False
Suppose -8 = -3*x + 2*x. Let h = 29 - x. Does 8 divide h?
False
Let z = 33 + -9. Suppose z = 4*r - 72. Is 12 a factor of r?
True
Let l be (12/(-8))/(1/(-2)). Suppose -l*k = -k - 26. Is 13 a factor of k?
True
Suppose 0 = 5*l + 2*r - 45, -5*l + 2*r = -0*r - 25. Let p(q) = -