. Let g be (0/((-3)/x))/1. Is 12 + 0 + -2 + g a multiple of 6?
False
Does 10 divide (1 - 309/(-6))*8/2?
True
Let y = 45 + 6. Let o = -12 + y. Does 8 divide o?
False
Let o(n) = -4*n**2 + 12*n + 6. Let d(g) = -g**2 + g + 1. Let y(b) = -3*d(b) + o(b). Let v(p) = p**3 + p**2 + p + 7. Let x be v(0). Does 17 divide y(x)?
True
Let a(h) = -h**2 + 7*h + 3. Let q be a(7). Let l(w) = 7*w**2 - 2*w - 1. Does 17 divide l(q)?
False
Let v be -2*(-1 + (-6)/4). Suppose v*w + 5*h = -190, -w - 4*w - 4*h = 188. Is 15 a factor of 2/(-9) - 728/w?
False
Let s be (-3)/(-3)*(1 - 0). Let m be (0 + (0 - -3))*s. Suppose 5*o - 29 = -0*f - m*f, -4 = 2*f. Is o a multiple of 4?
False
Does 6 divide 0 - (-9)/(-6)*-24?
True
Let w(g) = -2*g - 2. Let p be w(-2). Suppose -2*y + p*z + 74 = 0, 0*y + 2*y + 4*z - 68 = 0. Is y a multiple of 18?
True
Suppose -4*q + 6 = 2*u, -5*u - 2*q + 5 = -10. Suppose x - u - 8 = 0. Is 11 a factor of x?
True
Does 13 divide (12/2)/((-1254)/(-156) + -8)?
True
Let p = 62 + -41. Is p a multiple of 8?
False
Let z = 48 + -32. Suppose -2*y + 86 = g + z, 3*y - 107 = -2*g. Does 11 divide y?
True
Let l = -5 - -10. Suppose -v + 4*y = l, -7*v = -2*v + 3*y + 2. Let m(b) = 6*b**2 + 1. Does 5 divide m(v)?
False
Suppose -3*b - r + 9 + 28 = 0, -4*b - 3*r = -41. Let x be (3/6)/(2/(-28)). Let z = b + x. Is 7 a factor of z?
True
Suppose -3*i + 97 = -2*i + q, -q + 400 = 4*i. Is i a multiple of 6?
False
Let s be (-2)/3*18/(-4). Suppose 0 = s*z + 2*z - 160. Does 9 divide z?
False
Let o(u) = -20*u - 30. Does 6 divide o(-6)?
True
Let w = 26 - 11. Let k(d) = -d**2 + 6*d - 8. Let s be k(6). Let f = s + w. Is 3 a factor of f?
False
Let k be 1/(4 - 183/45). Let u = k + 41. Is u a multiple of 6?
False
Suppose 3*j = -2*z - 3, 0*j + 3*j - 5*z - 18 = 0. Let p be 4/8*(j + -1). Suppose -4*s + 3*f + 67 = p, 6*s - 78 = s - 2*f. Is 8 a factor of s?
True
Suppose 0 = -h + 4. Let o(q) = h + 0*q**2 - q**3 + 0*q**2 + q**2 - 11*q + 12*q**2. Does 16 divide o(12)?
True
Let x = -7 - -30. Is x a multiple of 14?
False
Is 1*(1 + 29)*(-24)/(-18) a multiple of 18?
False
Suppose -3*u + 56 = 4*r, 3*u - u - 3*r - 43 = 0. Does 4 divide u?
True
Suppose -5*v + 4*m = 10 - 0, m = 4*v - 3. Let z(j) = 6*j**3 + 3*j**2 - 4*j + 2. Is z(v) a multiple of 13?
False
Let h(d) be the third derivative of d**4/2 + 2*d**2. Let g be h(1). Suppose 4 + g = j. Does 14 divide j?
False
Suppose 6*f - 328 - 32 = 0. Does 12 divide f?
True
Suppose 5*x = 4*x - 1. Let s be (1 - 4)*(-19)/1. Does 4 divide x/3 - s/(-9)?
False
Suppose 5*z + 89 - 419 = 0. Is 12 a factor of z?
False
Suppose 5*n + 10 = -2*u, -3*u - 3*n + 19 = -4*n. Suppose -2*h + 3*h + 7 = 2*r, r = u*h - 19. Is 3 a factor of r?
True
Let i(p) = -17*p. Let k be i(-4). Let g be (-5)/((-10)/k) + 0. Suppose 4*z - 5*o - 61 = 0, 4*z - g - 22 = 4*o. Does 9 divide z?
True
Let h = -40 - -98. Suppose 0 = -4*a + 20, 3*t + a = -a + h. Suppose 0 = -3*z + 17 + t. Does 11 divide z?
True
Suppose -h = h. Suppose 3*z + 3*i - 15 = 0, z - 6*i + i - 5 = h. Does 5 divide z?
True
Let p = -2 + 2. Suppose 2*l + 0*l - 60 = 2*n, -5*l - 4*n + 150 = p. Is 15 a factor of l?
True
Let k(t) = t**3 - t**2 - t - 4. Does 11 divide k(3)?
True
Let p = 5 + -4. Suppose 4*v - 7 = p. Suppose 7*s - v*s - 90 = 0. Is 8 a factor of s?
False
Let b be 3/(2/4 - 2). Let p = 4 + b. Is 4 a factor of ((-1)/p)/(1/(-18))?
False
Let f(z) = -5*z - 1. Suppose 1 + 2 = -3*i. Does 2 divide f(i)?
True
Let w(d) = 5 + 1 - d + 24 - 4. Does 13 divide w(0)?
True
Suppose -4*g = -86 - 18. Does 7 divide g?
False
Let f(u) = u**3 + 5*u**2 + u + 4. Let h be f(-5). Is 12 a factor of h/((-2)/((-48)/(-2)))?
True
Suppose 0 = -2*i - 3*i + 115. Is i a multiple of 13?
False
Let z(n) = -n**2 - 8*n - 7. Let s(t) = -2*t + 8. Let b be s(7). Let d be z(b). Suppose 70 = 4*h + 3*w, -2*w = -2*h + d + 23. Is h a multiple of 8?
True
Let w = 10 - 1. Does 5 divide w?
False
Let o(h) = 2*h**2 + 13*h - 2. Is o(7) a multiple of 17?
True
Let b(g) = -8*g + 51. Is b(-16) a multiple of 26?
False
Let y = -1 - -7. Is 3 a factor of y?
True
Suppose 0 = -0*k + 3*k - 18. Let t(q) be the second derivative of q**5/20 - 5*q**4/12 - q**3 + 7*q**2/2 - 2*q. Is 7 a factor of t(k)?
True
Suppose 3*u - 8 = -2, -3*u - 594 = -5*r. Does 40 divide r?
True
Let i(f) = f**3 + 6*f**2 - 2. Suppose 0 = -0*k + 5*k + 20. Does 15 divide i(k)?
True
Let o = -28 + 48. Is o a multiple of 20?
True
Let l be (-4)/(-2)*(-9)/6. Let i(h) = -4*h - 2. Is i(l) a multiple of 6?
False
Is 366/30 - 3/15 a multiple of 7?
False
Does 10 divide (-704)/(-24) + 2/3?
True
Let h = 18 + -14. Suppose h*x + w = 20, -4*w + 3*w - 5 = -x. Does 3 divide x?
False
Suppose -x + 2*h - h = 7, -h - 13 = 4*x. Let r be ((-16)/4)/(x/6). Does 16 divide r/15 - (-173)/5?
False
Let c(v) = 2*v**2 - 2*v + 2. Let k be c(2). Let s be 4/k + (-86)/(-6). Let m = s + -5. Is 7 a factor of m?
False
Suppose -4*w - 1 = -5*b, -4*w + 24 = b - 5. Does 4 divide 9 - 0 - (-24)/w?
False
Let l = 28 - 2. Is l a multiple of 4?
False
Let z = 0 - 0. Let p(c) = -12 + c - c**2 + 40 + z*c - 2*c. Does 14 divide p(0)?
True
Suppose 0 = -2*o + o + 5*h + 93, -93 = -o - 3*h. Is o a multiple of 22?
False
Let z(t) = -6*t - 30. Does 11 divide z(-19)?
False
Let k(a) = -a**2 - 12*a + 18. Is 38 a factor of k(-10)?
True
Suppose -5 = -3*q + 10. Let m be 2/2 + 0 + q. Is ((-2)/m)/(2/(-90)) a multiple of 5?
True
Suppose -5*x - 3*t - 26 = 0, -3*t = 2*x - 2*t + 10. Suppose 0 = 2*p + 2*p - d - 30, 3*p - 4*d = 16. Let m = x + p. Is m even?
True
Suppose -12 = z + 3*z, -2*z + 754 = 4*u. Is 38 a factor of u?
True
Suppose 0 = -l - 0*l - 65. Let t = l + 101. Is t a multiple of 12?
True
Let m(f) = -f**3 + 4*f**2 + 3. Let w be m(4). Suppose 3*d = 2*q + 32, 0*d + w*d + q = 29. Is d a multiple of 10?
True
Let a be ((-1 + 1)/2)/1. Does 12 divide -1 + a + (18 - -1)?
False
Suppose 0 = 4*l, w - 4*l - 22 = -0*w. Is w a multiple of 11?
True
Let w be (-1)/2*-10 - -1. Let x(g) = 3*g - 4 - 8*g - g**3 + 6*g**2 + w. Is 14 a factor of x(4)?
True
Let x = -2 + 22. Does 8 divide x?
False
Suppose 1312 = -7*r + 11*r. Suppose k = -3*s + 76, -2*k - 2*s = 3*k - r. Does 27 divide k?
False
Let d = 2 - -1. Suppose -99 = -5*w + d*j, -w = -j - 10 - 9. Does 12 divide w?
False
Let s = -2 - -8. Does 8 divide (4/s)/((-20)/(-270))?
False
Suppose 4*j - 3*w - 309 = 54, -5*j + 451 = -w. Does 15 divide j?
True
Let y(b) be the second derivative of -4*b**3/3 - 9*b**2/2 - 2*b. Does 29 divide y(-11)?
False
Let d be 2 + (-6*1)/(-2). Let c be (-2)/6 + (-92)/(-6). Suppose d*s - 60 = c. Is 15 a factor of s?
True
Let y(c) = 3*c**2 - c + 2. Let d = -6 - -11. Suppose 10 = d*k + 5*n, -2*k + 5*k - 4*n = -22. Does 10 divide y(k)?
False
Suppose 0 = -4*v - 16, -z = -6*z + 2*v + 158. Is z a multiple of 7?
False
Let n(u) = -2*u + 4. Let q be n(5). Let y(o) = -o**3 - 5*o**2 + 8*o + 9. Let s be y(q). Is (s/4)/((-1)/40) a multiple of 15?
True
Let o(k) = 6*k + 1. Let j be o(1). Suppose -2*c = -j*c + i + 410, 4*i + 229 = 3*c. Is 28 a factor of c?
False
Let g(h) be the first derivative of h**4/3 - h**3/6 - h**2 - h + 3. Let q(y) be the first derivative of g(y). Is q(2) a multiple of 6?
True
Let c be 0/((-2)/(4 - 2)). Suppose 5*u - 22 = v, c*v - 18 = -4*u + v. Suppose 2*z - 119 = -2*z + 5*d, -u*d + 128 = 3*z. Is z a multiple of 13?
False
Let r be (3/(-2))/(6/(-12)). Suppose -3*w + 43 = r*t - t, 0 = -3*t - 2*w + 57. Is t a multiple of 17?
True
Let v = 17 - 21. Does 6 divide (1 + 8)/((-6)/v)?
True
Let k = 1 + -2. Let m be 248/(-8) - (0 + k). Does 3 divide (-6)/m - (-29)/5?
True
Let a(w) = 3 - 6*w + 8*w**2 - 3*w + 0*w**3 + w**3 - w. Is a(-9) a multiple of 4?
True
Suppose -7*p = -11*p + 212. Suppose -116 = -2*u - r, 2*u - 2*r = u + p. Is 27 a factor of u?
False
Let r be (-5 - -3 - 2)/2. Let y(z) = -4*z - 3. Is 3 a factor of y(r)?
False
Let z be 2/(-7) - 901/7. Let i = -14 + 9. Does 13 divide z/i + (-5)/(-25)?
True
Let b = 5 - -85. Does 5 divide b?
True
Let r = 19 + -13. Let z = r + -4. Suppose z*j - 32 = 82. Is 22 a factor of j?
False
Suppose 0*c + 138 = 2*c. Is 23 a factor of c?
True
Let f(a) = -9*a**3 + 4*a**2 + 5*a + 5. Is f(-2) a multiple of 27?
False
Let b = 14 - 9. Suppose -3*y + 4 = -b. Is 2 a factor of y?
False
Let y = -3 + 5. Let d(c) = c**3 - 3*c**2 + 2. Let f be d(y). Is 13 a factor of (10/15)/(f/(-78))?
True
Let r = 64 + -47. Is 2 a factor of r?
Fal