j - 0*j - 5*u, 0 = -2*j - 5*u - 32. Let x = j + 34. Is x a multiple of 9?
False
Let u(v) = -v**3 - v**2 - 4*v + 3. Let l be u(4). Let o = -51 - l. Is o a multiple of 14?
True
Suppose -38 - 71 = -t. Let g = 54 - t. Is 4/(-5)*g/2 a multiple of 10?
False
Suppose -3*g + 3*o + 117 = 4*o, -3*o = 3*g - 117. Is 3 a factor of g?
True
Suppose 11 = -4*c - 9. Is (0 - 2)/(c/20) a multiple of 3?
False
Let m be 638/8 + 2/8. Does 2 divide (-36)/(-5) + (-16)/m?
False
Let x(t) = -7*t. Let w be x(-3). Is 10 a factor of (-72)/27*w/(-4)?
False
Let z be ((-28)/2)/(2 + -1). Let n = -10 - z. Suppose -5*w + 134 + 9 = n*h, 4*h + 4*w = 140. Is 16 a factor of h?
True
Let g(p) be the second derivative of p**5/60 + p**4/12 + 5*p**3/6 - p**2 + 2*p. Let r(m) be the first derivative of g(m). Does 15 divide r(-7)?
False
Let n(w) = -w**2 + w + 2. Let b be n(-2). Let d = 4 + b. Suppose d*q = 2*q - 104. Does 20 divide q?
False
Let b(y) = y - 5. Let q be b(5). Suppose 3*u - 78 = -q*u. Is u a multiple of 13?
True
Let v be 18/4*(-8)/6. Let i = 13 - v. Suppose -3*u - u + f = -18, 3*u - i = -2*f. Does 2 divide u?
False
Suppose -12 = -4*t - 0*t. Suppose -2*w - 5 + 1 = -4*i, -4*i - t*w + 14 = 0. Suppose 2*j = m + 61, 0*j + 5*m - 55 = -i*j. Is 10 a factor of j?
True
Suppose 4 = 6*d - 2*d. Let w be 2 - -8 - 0/d. Suppose -i + 7 + w = 0. Is i a multiple of 14?
False
Let j(q) = -q**2 - 12*q + 2. Does 19 divide j(-6)?
True
Suppose 5*n + b = 15, n + 14 = -2*n + 4*b. Suppose -n*l + 74 = q, -l + q = 4*l - 192. Suppose 2*m + 204 = 5*o, -4*m - 152 = -3*o - l. Does 16 divide o?
False
Let f be (12/24)/((-1)/(-6)). Suppose -12 = f*g - 48. Is 3 a factor of g?
True
Let c(k) = k - 8. Let v be c(13). Suppose u = v*u - 228. Is u a multiple of 27?
False
Let w(o) = -o**2 + 11*o - 6. Let v be w(10). Let x = v - 2. Suppose -5*i + 46 = -i - 5*r, x*i + 5*r - 8 = 0. Does 6 divide i?
False
Let k be (-14)/(-35)*(4 - -1). Suppose 49 = r + x, -60 = -r - 4*x - k. Is 23 a factor of r?
True
Suppose m - 4 = 5*b, -2*m - 6 = 2*b + 2*m. Let s be (-6)/(1/4 + b). Does 5 divide 38/8 - s/(-32)?
True
Let f(s) = s**3 + 9*s**2 + 9*s + 12. Let k be f(-8). Suppose 0*r = k*q + r - 86, -2*q + r = -46. Does 11 divide q?
True
Is 2 a factor of 305/10 + 4/8?
False
Suppose 0 = 2*o - 5 - 7. Let k(q) = -q**2 + 9*q - 6. Is k(o) a multiple of 3?
True
Suppose 3*f + 7 + 17 = 0. Let p be (2 - 10/4)*f. Suppose 26 + 14 = p*t. Is t a multiple of 8?
False
Suppose -3*k + 77 + 139 = 0. Is k a multiple of 24?
True
Let w(m) = -m - 1. Let x(o) = 15*o + 5. Let k(v) = 6*w(v) + x(v). Does 19 divide k(3)?
False
Let c(i) = -4*i + 11. Let h(q) = -12*q + 32. Let d(a) = 11*c(a) - 4*h(a). Suppose -n = -3*t + 4*t, -5*t - 2*n = -15. Is d(t) a multiple of 10?
False
Let t(a) = -a**3 - 9*a**2 - 10*a - 2. Is t(-8) a multiple of 14?
True
Suppose 4*c = 20 - 0. Let f be 6*2/10*c. Suppose u = -u + f. Is u a multiple of 2?
False
Suppose 0*k + 4*n = -4*k + 8, -k = -3*n - 10. Suppose -170 = -q - k*q. Is q a multiple of 17?
True
Suppose 5*h + 4*h = 2268. Is h a multiple of 63?
True
Let x(o) = -o**2 + 23*o + 35. Does 24 divide x(18)?
False
Suppose -418 = -21*j + 10*j. Does 4 divide j?
False
Let k(r) = -r**2 - r + 30. Let f = 8 - 8. Does 10 divide k(f)?
True
Suppose -130 = -5*r - 5*v, 3*r + 4*v + 0*v - 83 = 0. Does 5 divide r?
False
Suppose 0 = 2*l + 4*l - 300. Is 48 a factor of l?
False
Let k(s) = -s**2 - 8*s - 1. Let b be k(-8). Is (b + 1 - -37)*1 a multiple of 16?
False
Let w(t) = -t**3 - 3*t**2 + 5*t + 5. Let j be w(-4). Let x be (j - 2 - -3) + 19. Is 22 a factor of 180/35*x/2?
False
Suppose 3*k + 5 = -r, -1 = -2*r - 2*k - 3. Suppose 2*m = r + 3. Does 2 divide m?
True
Let j(s) = 3*s**2 + s - 1. Let d be j(1). Suppose -7 = -d*h - 1. Suppose h*k = 1 + 11. Does 6 divide k?
True
Let a(m) = 37*m**3 - m. Let j(t) = t**2 + 5*t - 5. Let k be j(-6). Does 12 divide a(k)?
True
Let w(n) = 15*n + 5. Let v(y) = 7*y + 2. Let m(d) = 7*v(d) - 3*w(d). Is m(6) a multiple of 11?
False
Suppose 0 = -6*t + 5*t + 105. Is t a multiple of 21?
True
Let d(w) = -w**2 - 12*w - 11. Let v be (-30)/9*3/1. Does 5 divide d(v)?
False
Suppose m = -4*m + 100. Let v be (-5)/(3/(-2) + 1). Let s = m - v. Does 10 divide s?
True
Let w(l) = -7*l + 10. Does 23 divide w(-15)?
True
Suppose 316 = 3*u + 4*p, p + 212 = 2*u + 3*p. Is 18 a factor of u?
True
Let u(b) = 1527*b**3 - 2*b**2 + b. Let m be u(1). Does 9 divide (-2)/9 - m/(-63)?
False
Let u(z) = z**2 + 4*z + 82. Does 11 divide u(0)?
False
Is 5 a factor of -3 + 7 - (3 + -8)?
False
Suppose 21 = 3*y + 4*g - 15, 2*y - 2*g = 24. Let f be (1 + 1)*6/y. Suppose l = 3*x + 15, -f = 4*l - x - 39. Does 9 divide l?
True
Let v(a) = -a**2 - 12*a - 5. Is v(-11) a multiple of 5?
False
Let n = 9 + -1. Is n a multiple of 2?
True
Suppose -w - 4*w = -20. Suppose 2*d = -5*i + 1 + w, 2*d - 5*i = -5. Suppose 4*o - 4*x = -d*o + 96, -2*o = 5*x - 62. Is 13 a factor of o?
True
Suppose -5*k + 23 = -2. Let v be 23/k - (-12)/30. Suppose 12 = v*j - 4*j. Is j a multiple of 12?
True
Let w(z) = -2*z + z + 2*z + 1. Is 8 a factor of w(7)?
True
Let t = 5 + -20. Let m = t + 5. Let a(q) = -q**2 - 11*q - 5. Is 3 a factor of a(m)?
False
Suppose q - 5 = 13. Is 14 a factor of q?
False
Let n(o) = -43*o**3 - 2*o**2 - 2*o - 1. Let t be n(-1). Suppose 5*m - 48 - t = 0. Does 18 divide m?
True
Does 8 divide 3 + (1 + 2)*7?
True
Let r(q) = q**3 + 5*q**2 - 6*q + 3. Let d be r(-6). Suppose -5*n + 2*b + 138 = 0, d*n - b = -6*b + 58. Does 6 divide n?
False
Let x = -3 - -7. Let o = -1 + x. Is o even?
False
Let x(t) = -t + 3. Let d be x(5). Let h be (-29 - 2)/(d/4). Let m = h - 29. Is m a multiple of 17?
False
Suppose -6*n - 15 = -7*n. Is -2*1 + (n - 1) a multiple of 5?
False
Suppose 5*b + 49 = 4*o, 2*o + 20 = 4*o + 2*b. Let x = -9 + o. Is 2 a factor of x?
True
Let t(w) = -w + 18. Is 3 a factor of t(0)?
True
Suppose -r - 2*r = 3. Does 6 divide r/(-1) + 11/1?
True
Let c(o) = -12*o**3 - o**2 - 3*o - 1. Is 17 a factor of c(-2)?
False
Let x be (1 + 2/(-4))*4. Suppose -3*i + 12 = 3*m + x*i, 5*m - 20 = -5*i. Is m a multiple of 4?
True
Suppose v + 4 - 5 = -f, 5*v = -4*f + 5. Does 23 divide (217/14)/(v/2)?
False
Suppose -3*f - f + 28 = 0. Let g = f - 4. Does 10 divide (-2)/g*(5 + -20)?
True
Let q(v) = v**3 + v - 1. Let f be q(2). Let p be (-357)/39 + (-2)/(-13). Let n = f - p. Does 11 divide n?
False
Let w(l) be the second derivative of l**4/12 + l**3/2 - 4*l**2 + l. Does 10 divide w(-6)?
True
Let c(u) = -4*u - 10. Does 7 divide c(-6)?
True
Let c = -57 + 101. Does 22 divide c?
True
Let b = -2 - -5. Suppose w + 13 + 9 = 4*c, 4*c - 26 = b*w. Is 5 a factor of c?
True
Let q = 4 + -6. Let c = 3 + q. Is c + -4 - -2 - -30 a multiple of 11?
False
Suppose 5*v - 190 = 30. Is 11 a factor of v?
True
Let g = 17 - -13. Is 6 a factor of g?
True
Let x(z) = z**3 + 11*z**2 + 8*z - 13. Let m be x(-10). Is 10 a factor of (-8)/28 + 72/m?
True
Let o be (-2*1 - -1)/(-1). Let x be -2 + 6 + (-1 - o). Suppose 0 = -2*y + 4*i + 60, -y - x*y + 3*i + 96 = 0. Is y a multiple of 14?
False
Let h(j) = j**3 - 7*j**2 + 6*j - 4. Let l be h(6). Let o = 6 + l. Suppose -4*n - o*x = -80, 0 = 3*n - 0*x + x - 62. Is 11 a factor of n?
True
Suppose 3*x - 7 = 3*v - 97, x - 150 = -5*v. Suppose 0 = 4*d - 2*d - v. Is ((-6)/d)/(1/(-10)) a multiple of 2?
True
Suppose -2*u = 2, r - u - 5 = 3. Does 2 divide r?
False
Suppose 4*h - 14 = 2*h. Does 4 divide h?
False
Let g = 90 + -61. Let q = g - 8. Does 8 divide q?
False
Suppose 19 = 5*w - 4*l, 1 = -4*l - 3. Suppose 13 = 4*k - w. Does 4 divide k?
True
Let z be 2/6 + 1854/27. Suppose z = -2*d + 245. Is 28 a factor of d?
False
Suppose 2*i + 0*i = -3*m + 4, m + 4 = 2*i. Suppose -4*s - s + 20 = m. Suppose 21 = -c + s*c. Is c a multiple of 7?
True
Let y(r) be the first derivative of -r**3/3 - 3*r**2 + 4. Let s be y(-5). Suppose -3*z + 3*h + 47 = 8*h, s*z - 2*h - 37 = 0. Is z a multiple of 3?
True
Suppose -3*i + 239 = -145. Does 32 divide i?
True
Is 68 a factor of 477 - ((-2)/10)/((-20)/100)?
True
Let d = -5 + 9. Suppose 2 = -d*o + 78. Does 5 divide o?
False
Let r be (1/2)/((-4)/(-16)). Let h be (-10)/r + 4 + -2. Is 6 a factor of (1 - h) + -1 + 3?
True
Let i = 204 + -88. Is i a multiple of 15?
False
Let k(t) = -16*t + 1. Let g be k(1). Does 17 divide ((-132)/g)/((-4)/(-10))?
False
Suppose 0 = 4*m - 27 + 3. Suppose o - 2*h - 12 = m, 2*o - 