e
Let h(o) = o**3 - 6*o**2 - 5*o - 10. Let j be h(7). Suppose j*v - 23 = -3*d + 133, 0 = d + 5*v - 63. Is 6 a factor of d?
True
Let m = 31 - 26. Suppose -2*d = -5*s - 24, 0 = -d - m*s + 37 - 10. Does 8 divide d?
False
Let g(v) = -v**3 - 6*v**2 + 2*v + 1. Let l = -5 + -1. Let i be g(l). Let y = i + 18. Does 7 divide y?
True
Suppose -4*v = 5*w - 6042, -2493 + 6117 = 3*w + 2*v. Is 18 a factor of w?
True
Suppose -5*t + 22 = 4*k, 0*k - 2*k + 5*t = 4. Let x(p) = 2*p**3 - p**2 - 2*p + 10. Is x(k) a multiple of 7?
True
Suppose 27 = 2*g - 39. Let n = -23 + g. Let x(l) = -l**2 + 11*l - 6. Is x(n) a multiple of 4?
True
Suppose -4*l = -16 - 12. Suppose -u + l*s - 4*s + 105 = 0, 4*u + 5*s - 352 = 0. Is u a multiple of 8?
False
Let z(g) = 67*g**2 - g - 2. Suppose 2*t = -6*t - 8. Does 12 divide z(t)?
False
Let q be (-2 + 8)*3/6. Suppose 6*i - q*i = 162. Is 1/(-1) + i/1 a multiple of 12?
False
Let l = 745 + 189. Suppose 5*r + 2*x = -0*x + l, 3*r + 4*x = 566. Is r a multiple of 16?
False
Suppose -4*b - l + 180 = -5*l, 0 = 2*b - l - 85. Suppose -13 = 5*h - 4*x - b, h - x - 6 = 0. Suppose -h*g - 228 = -6*g. Is g a multiple of 13?
False
Suppose 0 = -5*w - 4*z + 2, -w - 2*z - 1 + 5 = 0. Let c be 2*w/4 - -3. Suppose -c*o - 4*m + 118 = 0, 4*m + 6 = m. Is o a multiple of 26?
False
Suppose 114811 = 43*v + 19867. Is v a multiple of 100?
False
Suppose 9*c = c + 10648. Does 52 divide c?
False
Let d(u) = -u**3 - 1. Let j(t) = -4*t**3 - 5*t**2 - t. Let n(r) = 5*d(r) - j(r). Let o be n(6). Does 23 divide ((-202)/5)/(14/o)?
False
Let h(l) = -l**2 + l + 17. Let b be h(5). Is 35 a factor of (-7 - -8) + 212 + b?
True
Suppose -q + 17 = -2*q. Let s = 0 - q. Is 5 a factor of s?
False
Suppose 1388 = 8*q + 268. Does 16 divide q?
False
Is 10 a factor of 6 + (0 - 8) - -1132?
True
Let j(u) = 76*u**2 + 5*u + 2. Let w be j(4). Suppose -w + 440 = -6*g. Is 27 a factor of g?
False
Let t be (-35)/10*(-12)/7. Suppose -5*k = 5*s + 60, 3 = k - 2*s + t. Is (k/2)/(9/(-54)) a multiple of 21?
False
Let t(w) = w**2 + 4*w. Let q be t(-6). Let p = q - 3. Is 9 a factor of p?
True
Let k(u) = 2*u**2 - 2*u + 1. Let m be k(2). Let l be (-414)/(-13) - 12/(-78). Suppose 2*n + 2*d = 10, -m*n - d = -n - l. Is 9 a factor of n?
True
Let b(c) = 2*c**3 - 4*c**2 + 2*c + 5. Let i be (-8)/(-10) - (-176)/55. Does 11 divide b(i)?
True
Suppose -86 = -4*u - 198. Is (-19)/(-4) - 1*7/u a multiple of 3?
False
Suppose 2*f - 22 = 2. Suppose 5*n - f + 42 = 0. Is 7 a factor of 1168/28 + n/(-21)?
True
Suppose 4*o - 5780 = 2*b - 1070, -4*b = 2*o - 2380. Suppose -o = 9*x - 19*x. Is 14 a factor of x?
False
Let u = 25 + -21. Suppose u = 3*x - 104. Is x a multiple of 18?
True
Let w(x) = 4*x**2 + 12*x + 20. Let t be w(-6). Let j = -54 + t. Is 16 a factor of j?
False
Let h = 165 - 90. Suppose h = 2*k - 0*k - 5*g, 4*k - 135 = 5*g. Does 15 divide k?
True
Let h = -130 + -8. Let q(c) = -c**2 - 2*c - 1. Let x be q(-10). Let b = x - h. Is b a multiple of 19?
True
Suppose 24 + 56 = -5*y. Is ((-4)/(-10))/(y/(-640)) a multiple of 16?
True
Let g(p) = 42*p - 37 + 17 + 11*p + 15. Does 17 divide g(2)?
False
Let q(u) = u**3 + 2*u**2 - u. Let z be q(1). Suppose -z*m = -3*m + 5. Suppose -5*l + 5*h + 145 = 0, m*l = -3*h + 216 - 55. Does 8 divide l?
False
Suppose 4*r + 3 = -3*v + 20, 0 = -3*r + 2*v. Suppose -5*q + 3*d + 512 = 0, -r*q + 3*d = q - 312. Is 10 a factor of q?
True
Let i(v) = -3*v**3 - 3*v**2 - 2*v. Suppose 0 = -9*b + 6*b. Suppose 4*u + 14 = -b*u - 3*c, -5*c = 4*u + 18. Is i(u) a multiple of 4?
True
Let l(i) = i**3 - 3*i**2 + 3*i + 47. Is l(8) a multiple of 10?
False
Suppose -3*b + 2 = -b. Let i = 7 + b. Suppose -176 + i = -3*c. Does 16 divide c?
False
Let z = 34 - -106. Suppose 0 = -2*q - 2*q + z. Is 5 a factor of q?
True
Does 9 divide (24 + -1)/(3/9)?
False
Let m = 28 + -32. Let n(h) = -38*h. Does 31 divide n(m)?
False
Let a = 40 - -407. Does 9 divide a?
False
Suppose 0*o = 8*o - 432. Is 6 a factor of o?
True
Suppose 0 = 3*f + 16 + 377. Let j = f + 229. Suppose 0 = 5*a + u - 159, 3*a = -u + 3*u + j. Is 16 a factor of a?
True
Let g(a) = -a**2 - 4*a - 4. Let u be g(-4). Let j be (-125)/3 + u/3. Let y = j - -71. Is y a multiple of 11?
False
Is 44 a factor of (33/(-11 + 10))/(3/(-64))?
True
Let w = -624 + 974. Suppose -w = -5*u + z, 5*u - 571 = 2*z - 216. Is 8 a factor of u?
False
Let m(a) = -a + 4. Let c be m(0). Let k(b) = -2*b**2 + 4*b + 2. Let w be k(2). Suppose 0 = w*l - 10 - c. Is l a multiple of 7?
True
Suppose z + 9 = -5*a - 6, -2*a = 3*z - 20. Is z a multiple of 4?
False
Let r = 28 + -57. Let o = -44 - r. Let d = 28 + o. Does 2 divide d?
False
Let o(q) be the third derivative of -q**3/6 + q**2. Let h(m) = 2*m**2 + 3*m + 2. Let k(x) = h(x) - 5*o(x). Is k(4) a multiple of 14?
False
Let b = 1755 - 1163. Is 14 a factor of b?
False
Let u(d) = -2*d**3 - 13*d**2 + 12*d + 32. Let j be u(-14). Is 2/(-10) + 0 + j/20 a multiple of 18?
False
Let p(y) be the first derivative of 1/4*y**4 - 11/3*y**3 - 8 + 4*y - 5*y**2. Is 14 a factor of p(12)?
True
Let p = 55 - 52. Suppose p*g - 297 = -0*g. Does 32 divide g?
False
Suppose -3 = -3*l, 6*l + 117 = -2*t + 3*l. Let r = t + 90. Is 5 a factor of r?
True
Let a(n) = 2*n**2 + 3*n - 6. Let m be a(4). Let p = m + -5. Is p a multiple of 11?
True
Let f be 1 - (-4 + 0 - -2). Suppose f*x = s + 10, x + 5*s - 4*s = 10. Suppose -3*k + 5*u = -141, -k = -0*u + x*u - 27. Does 21 divide k?
True
Let b be ((-11)/((-66)/(-36)))/((-3)/2). Suppose b*w = 5*i - 123, -3*i = 2*i + 2*w - 141. Is i a multiple of 27?
True
Suppose -4*a = -0*a - 3*r - 4038, 5*a = -r + 5038. Does 63 divide a?
True
Suppose 5 - 16 = h. Let l = h - -34. Suppose 2*k = 4*k - 3*q - 59, -k - 5*q + l = 0. Is 8 a factor of k?
False
Let k be 8 + (1 - 5) + -5. Let n be -17 - (k - -4 - 0). Is 13 a factor of ((-104)/n)/(2/20)?
True
Let h(k) = k + 2. Let c be h(7). Is 13 a factor of 2/c - 160/(-9)?
False
Let g = 1935 + 1420. Is g a multiple of 71?
False
Suppose 18*y + 786 = 6348. Does 4 divide y?
False
Let c be (11 + -1)/5 + -235. Let p = -134 - c. Does 9 divide p?
True
Suppose 0 = -201*s + 195*s + 468. Does 13 divide s?
True
Let n = 432 + -284. Is n a multiple of 18?
False
Let l(r) = 6*r - 17. Suppose 61 + 15 = 4*z. Does 9 divide l(z)?
False
Suppose -s = 4*s + 455. Let h = -16 - s. Is 25 a factor of h?
True
Suppose -60 = -3*r + 5*v + 96, -r = v - 60. Is 3 a factor of r?
True
Suppose -94 = -4*c + 186. Does 35 divide c?
True
Suppose 0 = 3*i + p - 4 - 12, 5*i + 3*p = 28. Let k(v) = 2*v**2 + 3*v - 10 - 4*v**2 + 3*v**2. Is k(i) a multiple of 15?
True
Suppose -4*n + 53 = -107. Is n/(-32)*-39*4 a multiple of 13?
True
Suppose 0 = 3*q - 4*q - 2*i + 4, 0 = 2*i - 4. Suppose q*x - 3*x = 21. Let h(j) = -3*j - 6. Does 5 divide h(x)?
True
Suppose -4*b = b + 25, -2*b = d + 1. Let j(o) = o**2 - 5*o - 5. Let u be j(10). Let m = u - d. Is m a multiple of 12?
True
Let c(r) = r**2 - 12*r - 38. Does 15 divide c(-7)?
False
Let h = -444 - -738. Is h a multiple of 40?
False
Is (-1 + 2317)/((-160)/(-80)) a multiple of 10?
False
Suppose -4*y + 71 - 7 = 0. Let g(x) = -x**3 + 15*x**2 + 17*x - 6. Does 5 divide g(y)?
True
Suppose -3*n - 17 = -4*l + 11, 3*n = l - 16. Let p be (-1464)/16*n/(-6). Let h = -35 - p. Does 22 divide h?
False
Let z(h) = 0*h + 4 + 7*h + 0. Let l(x) = -22*x - 13. Let d(w) = 6*l(w) + 17*z(w). Does 11 divide d(-5)?
True
Suppose -5*u - s - 45 + 501 = 0, -369 = -4*u - 5*s. Suppose -4*y + 173 = -u. Is 10 a factor of y?
False
Suppose -372 = z - 7*z. Let b = z + -6. Is 28 a factor of b?
True
Suppose 4*n = -2*u + 735 + 881, 3217 = 4*u + 5*n. Suppose 33*m + u = 40*m. Is 19 a factor of m?
True
Suppose -3*w + 1669 + 1571 = 0. Is w a multiple of 30?
True
Suppose -2*u + 54 = -5*r, 0*u - 5*u - 15 = 0. Let d = -10 - r. Is (-6)/(-3) - (-24)/d a multiple of 14?
True
Let a be (-3 - 4)/(1/(-2)). Suppose i + 32 = -a. Let v = i - -73. Is v a multiple of 9?
True
Let t = 184 + -82. Suppose -5*y = 2*s - 177, 3*y - 2*s - t = s. Is y a multiple of 7?
True
Suppose 0 = -4*p - 5*a + 9*a + 8252, 2*p - a - 4125 = 0. Is p a multiple of 71?
False
Suppose 3*m + 2*k = 28, m - 5 = -4*k + 1. Does 10 divide m?
True
Suppose -3*k + 2*h = 5*h - 21, -3*k - 2*h + 18 = 0. Suppose 0 = o + 3*o - k*p - 292, -4*o + 5*p + 293 = 0. Does 18 divide o?
True
Is (138/92)/(3/532) a multiple of 21?
False
Let l be (0 + 6)*(-2