 = -h**3 + 11*h**2 + 11*h + 14. Let j be a(12). Suppose -5*i = 20, j*o - 8 - 12 = 3*i. Suppose p - 2*v = 3, o*p + 5*v = p + 64. Is p a multiple of 11?
False
Suppose 5*f = 2*f + 21. Let o = f - 6. Let u = o - -10. Is u a multiple of 5?
False
Suppose -35 = 7*f - 2597. Is f a multiple of 15?
False
Suppose -265 + 49 = -2*h. Does 28 divide h?
False
Let h(b) be the second derivative of b**4/6 + 5*b**3/6 - b**2 + 7*b. Is 8 a factor of h(2)?
True
Let r(g) = g - 12. Is r(14) even?
True
Suppose -2*h - 2*h = 0. Suppose h = c - 14 - 2. Does 8 divide c?
True
Suppose -2*u = -6*u + 20. Let a = u - 3. Is a/1 + -2 + 45 a multiple of 18?
False
Suppose -2*w - 1 - 1 = 0. Let v be 0/(w - -2 - 3). Suppose -2*f = -v*f + 2, 3*z - 26 = -4*f. Is z a multiple of 10?
True
Let q(i) = -2*i**3 + 4*i + 1. Does 21 divide q(-3)?
False
Let z = -3 - -3. Let i = 2 + z. Suppose -q - 25 = -i*q. Does 17 divide q?
False
Let i = -93 + 24. Let d = i - -169. Suppose -5*c + 4*w + 128 = -41, -d = -3*c + w. Does 11 divide c?
True
Let c(l) = l**3 + 13*l**2 + 9*l - 3. Is 10 a factor of c(-11)?
True
Suppose 0 = p - 2*n + 8, 0 = -2*p - 3*n - 36 + 6. Let s = p - -54. Does 14 divide s?
True
Let y = -6 - 7. Let d = y - -21. Is 3 a factor of d?
False
Suppose 4*n = t + 338, 0*t = -4*n - 4*t + 328. Suppose 26 + n = 5*r. Does 11 divide r?
True
Let b = 77 - 68. Is 5 a factor of b?
False
Suppose 0 = 5*u + u - 354. Does 17 divide u?
False
Suppose -25 = k + 4*f - 0*f, 4*k = -f - 100. Suppose -5*t + 110 = 3*l, 4*l + 5*t + 0*t - 145 = 0. Let g = l + k. Is 5 a factor of g?
True
Let i = 3 + 5. Suppose -k = -17 - i. Let u = -18 + k. Does 3 divide u?
False
Let d(y) = -y**2 - 10*y + 13. Let u be d(-11). Is 9 a factor of (-20)/(-5)*9/u?
True
Let h(o) = -12*o + 12. Is 11 a factor of h(-10)?
True
Let q = 3 + -6. Suppose 2*w = -3*b - w - 42, 0 = -4*w - 16. Is 5 a factor of b*q/(-6)*-3?
True
Let m(d) be the third derivative of d**4/24 - d**2. Is m(5) a multiple of 4?
False
Let n = -3 + 1. Let g = 16 + -10. Let h = n + g. Does 4 divide h?
True
Suppose z = 6*z - 20. Is z a multiple of 4?
True
Let c be -4*((-3)/2 + 1). Suppose c*w = 5*o + 3*w - 75, -w - 15 = -o. Suppose -2*y - o = -57. Does 8 divide y?
False
Let x = 0 - 4. Is 5 a factor of 10*(x/(-2))/2?
True
Let l(w) = -w**3 - 4*w**2 - 7. Suppose 5*x = 1 + 14. Suppose y = x*g + 10, -2*g - 3*g = 4*y + 45. Does 15 divide l(g)?
False
Let j(i) = -i - 6. Let z be j(7). Does 3 divide (-2 - z) + 1 + 0?
True
Let v(u) = -u**2 + 2. Let q be v(-4). Let j = 42 + q. Is 12 a factor of j?
False
Let q(s) = 2*s**2 + 3*s - 17. Is 12 a factor of q(-7)?
True
Let y = 22 - 6. Does 12 divide y/10*25/2?
False
Let y = 17 - 12. Let f be (-2)/y + 16/(-10). Does 18 divide -1 - (f - -3 - 41)?
False
Let f = -2 + -1. Suppose 5*x - 7 = -2. Does 2 divide x/3 - 14/f?
False
Let n(m) = 5*m**2 - 3*m + 3. Let u(t) = -t**3 + 4*t**2 - 4*t + 2. Let p be u(2). Let h be n(p). Let w = h - 4. Does 13 divide w?
True
Let l = -5 - -8. Let c be (-3)/(l/3) + -44. Let r = -9 - c. Is r a multiple of 20?
False
Suppose 0 = 3*w + 6, 2*w - 6*w = 5*q - 17. Suppose q*u - 108 = 102. Is u a multiple of 21?
True
Let o(z) = -z**2 + 4*z + 5. Let r be o(5). Suppose r = -2*m + 4*x - 8, -3*x + 16 = m - 0*m. Suppose -5*d - 3*b = -49, m*d - 5*b - 20 = -b. Does 8 divide d?
True
Let q(g) = -271*g**3 - g**2 + g + 1. Does 27 divide q(-1)?
True
Suppose -3 = f + 1. Let c be (-86)/11 + f/22. Let j = c - -28. Is 10 a factor of j?
True
Suppose 4*d - 5*m - 637 = 0, -2*d - m + 263 = -38. Is d a multiple of 9?
True
Suppose 19*u - 301 = 18*u. Does 43 divide u?
True
Let d(c) = c - 3. Suppose -m + 2*v = 5*v - 15, 2*m - 2 = v. Let s be d(m). Suppose s = 4*l - 2 - 62. Is 8 a factor of l?
True
Let v(o) = 62*o**2 + o. Is v(1) a multiple of 14?
False
Suppose -3*f - 39 = -0*f + 3*y, 3*f = 4*y - 11. Is 19 a factor of 76/8*(1 - f)?
True
Let c be (-2)/(-2) + (-162)/2. Let l be (24/20)/((-6)/c). Suppose 0*j + l = 2*j. Is 8 a factor of j?
True
Is 4 a factor of 2/6 + (-80)/(-12)?
False
Suppose -5*h - 141 = -4*y, -66 = y - 3*y + 4*h. Is 19 a factor of y?
False
Suppose -y = 2*y - 297. Is y a multiple of 33?
True
Suppose 0 = -2*x - 0*x + 24. Is 3 a factor of x?
True
Let d(g) = 5*g - 12. Is d(8) a multiple of 11?
False
Is (-26)/(-1) + 0/3 a multiple of 14?
False
Suppose 0 = -3*k + x + 3*x + 53, 104 = 4*k + 3*x. Is k a multiple of 11?
False
Let p(h) = -228*h**3 + 2*h**2 + 8*h + 6. Does 17 divide p(-1)?
False
Suppose r + r = 0. Suppose 3*q + r - 24 = 0. Is 3 a factor of q?
False
Suppose 10*b - 128 - 162 = 0. Is b a multiple of 4?
False
Suppose -6*o = -2*o - 128. Is 16 a factor of o?
True
Suppose -302 = -2*t - 82. Suppose 2*j - 97 = f, -j - 5*f = -38 - 27. Suppose -2*h + 3*a = -j, -h + t = 3*h - a. Is h a multiple of 14?
True
Let k(n) = -n + 1. Let g be 6/(-4) + 3/6. Let s(b) = -6*b**2 + 3*b - 2. Let r(y) = g*s(y) - 6*k(y). Is 15 a factor of r(-3)?
False
Let n = -15 + 10. Does 13 divide 2/n + (-264)/(-10)?
True
Suppose 5*q - 138 = -28. Does 12 divide q?
False
Let g = -33 + 93. Does 9 divide g?
False
Suppose 0 = 2*b + o - 216, 6*o - 538 = -5*b + 4*o. Does 16 divide b?
False
Suppose -5*x + 481 + 149 = 0. Does 14 divide x?
True
Let o(n) = n**3 + 6*n**2 - 6*n + 7. Let k be 0 - (-21)/9*-3. Let v be o(k). Suppose -2*p + 35 = 3*z, 4*z - 84 = -5*p - v*p. Is p a multiple of 16?
True
Let a(c) = -c**2 - 15*c + 14. Let t be a(-14). Let s = 40 - t. Is 12 a factor of s?
True
Suppose 2*t - 6 - 2 = 0. Let h(q) = -8*q + 2. Let n be h(t). Is 7 a factor of n/(-3)*(-2)/(-2)?
False
Let p(v) = v**2 - 3*v. Is p(9) a multiple of 27?
True
Let i(u) = 75*u**3 + 2*u**2 - 1. Let o be i(1). Suppose -2*v + o = 2*v. Does 17 divide v?
False
Let y(i) = i + 18. Is 13 a factor of y(0)?
False
Suppose -2*d - m + 8 = -0, -d = 4*m + 10. Let s be 12/9 - (-4)/d. Let t = 7 - s. Is t a multiple of 5?
True
Let b = 151 + -108. Let s = 67 - b. Is 6 a factor of s?
True
Suppose 40 = 5*k - 0. Let z = -8 + k. Suppose 0 = t + 4*t - 4*a - 110, 2*t + 3*a - 44 = z. Is 16 a factor of t?
False
Let o(s) = -11*s**3 + 2*s**2 - s + 18. Does 55 divide o(-3)?
False
Let w be -1*(3 - (3 - 0)). Let x = w - -3. Suppose -d - 16 = -x*d. Does 4 divide d?
True
Is ((-54)/4)/((-7)/14) a multiple of 24?
False
Suppose 4*v - j = 3 + 24, -37 = -4*v - j. Suppose q - v = -b, q - 5*q + 4*b = 0. Suppose 58 = q*t + 5*l, 0 = -8*t + 3*t - 4*l + 68. Does 6 divide t?
True
Does 7 divide (-68)/(6/(-8) + (-1)/(-4))?
False
Let m = -4 - -4. Suppose 0 = -m*o - 5*o - 35. Let j = 23 + o. Does 11 divide j?
False
Let t(j) = 83*j**2 + 2*j - 1. Is 8 a factor of t(1)?
False
Let i(o) = o**3 - o**2 + 139. Let j be i(0). Suppose 1 - j = -3*g. Let h = -27 + g. Is 10 a factor of h?
False
Let w = 15 - -2. Is w a multiple of 5?
False
Let z be (0 + 3/(-6))*2. Let f = 4 + z. Is (f - 19)*(-2)/1 a multiple of 16?
True
Let x(a) = -4 - a**3 - 3*a + 0*a - 5*a - 7*a**2 + 2. Does 8 divide x(-6)?
False
Let c(x) = -3*x**2 + 16*x + 1. Let j(b) = -b**2 + 4*b. Let w(t) = 2*c(t) - 9*j(t). Let v = -2 - -4. Is w(v) a multiple of 6?
True
Let b(g) = -g**2 - 5*g + 1. Let h be b(-4). Suppose -h*w + 0*w = -105. Does 11 divide w?
False
Suppose -2*c - 4*m = -46, 0 = -c - 0*c + 3*m + 48. Suppose 0 = -2*u - 7 + 1. Let k = u + c. Does 15 divide k?
True
Let r = 8 + -4. Suppose -r*t + 15 = -1. Does 4 divide t?
True
Let t be (63/12)/(2/16). Let b be -28 - (-1)/(-2)*2. Let o = t + b. Is o a multiple of 8?
False
Suppose 0*j + 40 = 4*j. Let l = 0 + j. Suppose -3*z = -5 - l. Does 5 divide z?
True
Let w be 2 + 4/((-4)/(-21)). Suppose -3*y = w - 83. Is y a multiple of 10?
True
Let m be (0 + 0)/(8/8). Suppose -4*p + 2*n - 3*n + 1 = m, 5 = 5*n. Suppose p = a - 4 - 4. Does 3 divide a?
False
Does 2 divide (0/(-1) - 3)*-1?
False
Suppose -6*s = -2*s - 1008. Is s a multiple of 18?
True
Let p(y) = -y + 15. Let v(a) = -13 - 4 - 3*a + 1 + 5*a. Let n(d) = 5*p(d) + 4*v(d). Is 16 a factor of n(10)?
False
Suppose d - 55 = 14. Suppose 4*p = 158 - 6. Let q = d - p. Is q a multiple of 14?
False
Suppose -n - 2 = -6. Suppose 0 = -n*l + 5*l + 8. Let a = l + 19. Is 4 a factor of a?
False
Let q be 4/6 + (-74)/(-6). Let d = q - -59. Does 36 divide d?
True
Let c(r) be the first derivative of -2*r**2 - 11*r - 3. Let s be c(-10). Let t = s - 15. Is 14 a factor of t?
True
Let z be ((-12)/(-3))/((-1)/(-11)). Suppose 3*b + 5*f = 1