h - 2. Let l(m) = -m**2 - 8*m - 5. Let v be l(-7). Does 9 divide o(v)?
True
Suppose -2*a = v - 21, -6 - 9 = 5*v. Does 6 divide a?
True
Let t = 110 - 72. Does 21 divide t?
False
Suppose 0 = 4*u - 3 - 9. Suppose -t = -u - 1, -w - t + 32 = 0. Suppose -w = -4*y + 60. Is y a multiple of 18?
False
Suppose 4*i - 64 = 2*i. Suppose 10 = -2*d + i. Is d a multiple of 6?
False
Suppose -20 + 6 = -2*n. Is n even?
False
Let v(n) = n**2 - 9*n + 1. Let w be v(8). Let b(i) = i**2 + i - 3. Does 13 divide b(w)?
True
Let x(z) = -3*z - 28. Is x(-11) even?
False
Does 24 divide 54/(-7)*112/(-12)?
True
Let n be 1 + -2 + 201/1. Suppose -n = -5*w + 5*i, 2*w - 30 = 5*i + 50. Is w a multiple of 20?
True
Let c(b) = b**2 + b - 1. Let z be c(-1). Let t = z - -2. Does 4 divide ((-11)/2)/(t/(-2))?
False
Let d(q) = 2*q**3 - 2*q**2 + q - 1. Let u be -5 + -3*(-4)/6. Let h be ((-3)/u)/(2/4). Is 9 a factor of d(h)?
True
Suppose 16 = 5*p - 84. Does 20 divide p?
True
Let a be 4*(-3 + (6 - 2)). Suppose 0 = a*p - l - 4*l - 88, -3*p - 5*l + 31 = 0. Does 17 divide p?
True
Let d(o) = 4*o**2 - 6*o - 13. Let x(c) = 3*c**2 - 5*c - 14. Let z(s) = 4*d(s) - 5*x(s). Does 9 divide z(0)?
True
Let m(h) = h**3 - 5*h**2 - 9*h + 12. Is 15 a factor of m(7)?
False
Let h be -2 + 5 - (0 - -1). Suppose 4*a - h*z - 14 = 0, 0 = 3*a + 2*z + z - 15. Is a even?
True
Let h = -14 - -19. Suppose 2*j - 92 = -5*u, h*u + 0*j - 94 = -4*j. Is 4 a factor of u?
False
Suppose -3*d + 4*p = -16, -5 = 2*d - 3*d + p. Suppose -d*r + r = 0. Suppose 0*v + 4*v - 56 = r. Does 9 divide v?
False
Let f(k) = -k**3 - k**2 + 5*k + 7. Let h be f(5). Let t = h + 174. Is 14 a factor of t?
True
Let q(b) = 7*b**2 + b - 2. Let t = -3 - -5. Does 7 divide q(t)?
True
Let l = -24 - -72. Suppose -5*a + 25 = -3*k - 43, -4*a + l = -4*k. Is a a multiple of 16?
True
Let o = -10 + -2. Is 9 a factor of o/(-3 - 1) + 12?
False
Let k be (-3)/(-9) + (-371)/(-3). Does 14 divide 2/10 + k/5?
False
Suppose 0 = 3*v + 4*x + 751 - 47, 5*x = 3*v + 686. Let k = -166 - v. Is k a multiple of 14?
False
Suppose 5*c = -4*i + 11, i + 2*i + 4*c - 8 = 0. Is i a multiple of 2?
True
Let p(d) be the first derivative of d**4/2 - 4*d**3/3 + d**2 + 2*d + 6. Suppose 4 - 10 = -3*t. Does 6 divide p(t)?
True
Suppose -3*t = 3*j - 4*t - 97, 5*j + t = 151. Is j a multiple of 4?
False
Is 16 + 4 + (-12)/4 a multiple of 5?
False
Let x(p) be the first derivative of p**4/4 - p**3 - 9*p**2/2 + 4*p + 3. Does 29 divide x(6)?
True
Suppose 2*a - 200 = -2*w, 2*w + 6*a - 3*a = 200. Is 10 a factor of w?
True
Suppose z + 3*c = 5, -2*z = -3*z + 5*c - 3. Let j be 0 + 0 + (14 - z). Let y = j - 7. Is y a multiple of 4?
False
Suppose 10*l - 30 = 8*l. Is 3 a factor of l?
True
Let k(d) = 63*d**3 + 3*d**2 - 2*d + 1. Is 18 a factor of k(1)?
False
Let t be -5 + 4 + 51 + 0. Suppose 2*a = -a + 5*b + 46, -4*a = -b - t. Does 6 divide a?
True
Let b(i) = 7*i**3 - 2*i**2 - 3*i - 12. Let o(q) = q**3 - q**2 - 1. Let l(w) = -b(w) + 6*o(w). Is 16 a factor of l(-5)?
True
Let g = 10 + -8. Suppose 2*w - 168 = -g*w. Does 12 divide w?
False
Let h(p) = -p**2 - 4*p + 1. Let k be h(-5). Let i be 252/(-10) - k/20. Let l = 10 - i. Is l a multiple of 11?
False
Suppose -4*l + a = -171, 0*a - 3*a = -4*l + 177. Is l a multiple of 14?
True
Let y(o) = 13*o + 4. Let p(w) = -14*w - 5. Let u(h) = -6*p(h) - 7*y(h). Let c be (6/(-4))/((-3)/(-4)). Is 16 a factor of u(c)?
True
Suppose 3*p = 96 - 24. Is 5 a factor of p?
False
Let r = 233 + -146. Does 20 divide r?
False
Suppose -3*b + 12 = 2*n, 2*b + 3*n = 4*n + 15. Suppose 0 = s - b. Is s a multiple of 6?
True
Let y(p) be the third derivative of p**5/30 - p**4/6 + 7*p**3/6 - 2*p**2. Does 13 divide y(5)?
False
Suppose 5*p = 3*p + 128. Is p a multiple of 19?
False
Let n(l) = -l**3 - 2*l**2 - 4. Let j be n(-3). Suppose -j*m + 3*g = -111, 0*m + m - g - 21 = 0. Does 17 divide m?
False
Suppose 0*u - 11 = -3*g + u, 0 = -3*g - 5*u + 35. Suppose f - 5*f = 0, -105 = -g*j + 5*f. Does 7 divide j?
True
Suppose g = -3*g - 364. Is g/(-21) - 4/(-6) a multiple of 5?
True
Suppose 2*o - 4*a - 4 = -0*o, 0 = 5*a. Suppose -o*l + 3*c + 16 = 6*c, 5*c - 30 = -5*l. Is l - (-18)/(-1 + 2) a multiple of 7?
False
Suppose -l = -2*l + 19. Is l a multiple of 7?
False
Let x = 0 - 1. Let o = x + 15. Is o a multiple of 14?
True
Let b(v) = -7*v - 58. Does 6 divide b(-18)?
False
Let t(n) = n**3 - 4*n**2 - 4*n - 4. Let q be t(5). Let f = q - 1. Suppose 4*g - 8 - 56 = f. Is 16 a factor of g?
True
Let g(k) = -21*k - 6. Let y(i) = -14*i - 4. Let s(o) = -5*g(o) + 8*y(o). Suppose -r + 3*x = 14, 3*r - 5*r - 2*x = -4. Is 12 a factor of s(r)?
True
Let s(t) = 2*t**2 + t + 5. Does 13 divide s(3)?
True
Suppose 0*s - 156 = -4*s + 3*k, 5*k = -3*s + 88. Does 11 divide s?
False
Let t be ((-12)/(-5))/((-18)/60). Is (-3 - 0)/(1/t) a multiple of 18?
False
Suppose 102 = 4*a - 202. Is a a multiple of 13?
False
Suppose 5*o = -u + 64, 9 = u - o - 55. Does 16 divide u?
True
Suppose 0 = 5*m + 8*b - 3*b - 395, -237 = -3*m + 4*b. Does 5 divide m?
False
Let w(i) = -32*i**3 - 2*i**2 - i. Suppose 2*r = -3*p - 7 - 4, -3*r - 14 = 2*p. Does 9 divide w(p)?
False
Let s = 6 - 5. Let b(l) = 3*l**2 + 2*l - 1. Let d be b(1). Does 12 divide (s + (-1)/d)*32?
True
Suppose 0 = -2*u + 3*u - 4, -o + 4*u - 14 = 0. Let f(x) = x**3 + 2*x. Is 4 a factor of f(o)?
True
Let v(m) = 2*m + 8. Let f be v(8). Suppose -f = -0*k - k. Does 12 divide k?
True
Let m = -5 - -44. Is 13 a factor of m?
True
Suppose 0 = n - 10 - 18. Is 7 a factor of n?
True
Let l(x) = 2*x - 9. Let g be l(6). Suppose 3*h + g*y - 19 + 4 = 0, -h = -y - 13. Does 9 divide h?
True
Let t = 7 + -4. Let j be -2 - (-75)/t*-1. Is 5 a factor of 6/(-15) - j/5?
True
Let y(k) = 10*k - 17. Is 21 a factor of y(8)?
True
Suppose c = 3*c + 4. Let k be (-10)/(-8) - 2/8. Let z = k - c. Does 3 divide z?
True
Let h(i) = i**2 + 5*i + 2. Let t be h(-5). Suppose v + 0*v + l = 1, -t*v = -3*l - 22. Suppose 2*y + 8 = 0, -2*y + 15 = r - v. Is 15 a factor of r?
False
Suppose -6*z - 15 = 4*w - 3*z, 5*z + 5 = 0. Let a(x) = x**2 + 1. Let p(k) = 2*k**2 + 1. Let c(f) = -7*a(f) + 4*p(f). Is 4 a factor of c(w)?
False
Let c(f) = -f**3 - 5*f**2 + f + 5. Let d be c(-5). Suppose -2*q + 54 + 48 = d. Is 13 a factor of q?
False
Let u be -1 + 12/9*6. Suppose u*d = 12*d - 85. Does 13 divide d?
False
Suppose -20 = 5*g - 265. Suppose g = -m + 123. Is m a multiple of 23?
False
Let g(c) = -c**2 + 3*c - 5. Let i(v) = v**2 - 3*v + 4. Let a be i(3). Let r be g(a). Is 6 - r/(-1 - 2) even?
False
Let b(k) = -k**3 + 7*k**2 - 8*k + 9. Let g be b(6). Is (g/9)/(-1)*81 a multiple of 27?
True
Let p(q) = q**3 - 2*q**2 - 2*q - 1. Let l be p(3). Suppose 0 = -r + 3*r + l. Does 13 divide 30/r*(-6)/9?
False
Suppose v - 64 = -3*v. Is 8 a factor of v?
True
Let x = 258 + -100. Does 22 divide x?
False
Let v(x) = -2*x**3 - 3*x**2 - 2*x - 4. Let p be v(-2). Suppose -p*q = -2*j + 76, -4*q = 2*j + j - 74. Does 10 divide j?
True
Let r(x) = -3 - 2 + 13 + 2*x. Let q be r(-7). Is (405/q)/5*-2 a multiple of 12?
False
Let m(t) = t**3 + 15*t**2 - 18*t - 4. Is m(-16) a multiple of 10?
False
Suppose 4*f = -3*o + 31, -4*o + 4 = -2*f - 8. Suppose -f*s + 5*s = 38. Is s a multiple of 5?
False
Let n be 28/(-3) - 5/(-15). Does 7 divide 7*n/(-3)*1?
True
Suppose 256 = u - 2*c + c, -5*c = -20. Does 26 divide u?
True
Is 5 a factor of (-92)/(12/3)*-1?
False
Let p = 164 + -105. Suppose 3*w - 10 - p = 0. Is w a multiple of 9?
False
Let x(b) be the third derivative of -7*b**6/60 + b**5/60 + b**2. Let s be x(-1). Does 14 divide (s/2)/((-2)/(-4))?
False
Suppose -123 = -4*u + 577. Is u a multiple of 32?
False
Is 55 + -3 + 3/1 a multiple of 15?
False
Let f = -115 + 343. Is f a multiple of 12?
True
Suppose 2*c - m = 534, 0 = -3*c + 3*m + 788 + 19. Is 68 a factor of c?
False
Suppose 3*m - 2*m = 78. Does 26 divide m?
True
Let q(n) = -n**2 - 28*n - 39. Is 42 a factor of q(-16)?
False
Suppose 0 = -3*g - 8*o + 7*o + 79, -g - 3*o + 21 = 0. Is 12 a factor of g?
False
Suppose -3*w - 4 = -13. Suppose -4*z - 6 = -5*x, -x + 7 = w*x - z. Does 19 divide 37/2 + x/4?
True
Let u be 127 - (-7 - -1 - -2). Let b = -69 + u. Is b a multiple of 17?
False
Let h = -51 - -62. Let b(c) = 11*c**3 + 33*c**2 + 24*c - 29. Let g(t) = -5*t**3 - 16*t**2 - 12*t + 14. Let i(q) = -6*b(q) - 13*g(q). Is i(h) a multiple of 3?
True
Let x = 32 + -22. Sup