2*i + 6 = -o, 0*i - i = -2*o + 3. Let k(n) = 9*n**2 + n - 7. Let d be k(i). Let s = d - 23. Does 8 divide s?
True
Suppose 28*i - 7512 = 15924. Is i a multiple of 26?
False
Let i = -22 - -31. Let j(w) = -7*w + w**2 + 2*w - 2*w - i. Does 16 divide j(11)?
False
Suppose 17*x - 11*x - 60 = 0. Suppose -29 = -11*n + x*n. Is 29 a factor of n?
True
Let b be (3 - -1) + 4 + -1. Let l(r) = 10*r - 10. Is 15 a factor of l(b)?
True
Suppose 9 = -16*o + 17*o. Let q = o - -10. Is 4 a factor of q?
False
Is 56 + -6 + 0 + 5 a multiple of 11?
True
Let d(v) = 2*v**2 + v - 4. Let s be d(-2). Suppose 3*z = -2*c + z + 26, 0 = -2*z - s. Is 7 a factor of c?
True
Suppose 3*c + 32 + 58 = 0. Let g = 281 + -238. Let u = g + c. Does 13 divide u?
True
Suppose -8*o = -68 - 2300. Is 37 a factor of o?
True
Let c be (-2)/(-7) - (-8100)/70. Suppose 6*o = 10*o - c. Is 15 a factor of o?
False
Let u(j) = j**3 + 11*j**2 + 18*j - 2. Let y = 2 + -10. Does 6 divide u(y)?
False
Let a be 72/8 + 1 + 0. Let f = a - 12. Does 22 divide (-95)/f*12/15?
False
Let d(a) = -a**3 + a**2 - a + 52. Let x = 1 - 1. Suppose -2*u - 2*u = x. Does 13 divide d(u)?
True
Suppose -3*a + 5*c = -121, -3*a + 153 = 6*c - 3*c. Is a even?
False
Let r(f) be the third derivative of -f**6/120 + f**5/6 + f**4/24 - f**3 + 3*f**2. Let m be r(10). Suppose -m*k = -38 - 266. Is 38 a factor of k?
True
Suppose -3*b + 7 = -4*a, 3*b - 6 = a + 2*a. Suppose -8 = -p - 2*d, 3*p + 5*d + b - 23 = 0. Suppose p*n = -0*n + 32. Is n a multiple of 8?
True
Let h(a) = -2*a + 8. Let y be h(-9). Let c = y - 17. Is c a multiple of 3?
True
Let v(g) = 24*g**2 - 12*g + 42. Does 7 divide v(5)?
False
Let g = 92 - -71. Suppose 13 = -2*d + g. Is d a multiple of 7?
False
Let i(l) = l**2 + 9*l + 13. Let t be i(-8). Suppose n + n - 113 = -5*b, -b + 294 = t*n. Is n a multiple of 12?
False
Suppose -2*d - 440 = -4*d. Let j be (d/(-30))/((-2)/9). Suppose -27 = -2*w + j. Does 30 divide w?
True
Suppose -3*v + 34 = -5*y, 5*v + 5*y = 2*y. Suppose 0*s - 3*n = -v*s - 27, -4*s - 46 = -2*n. Let x(j) = -2*j - 4. Is 8 a factor of x(s)?
True
Suppose 3*n - n = 5*a - 54, -5*n - a = 81. Let k = n + 37. Is k a multiple of 4?
True
Suppose 0 = -5*y - w + 44, y - 5*w + 8 = -w. Let d be (1 + y)*(2 + -9). Is 4 a factor of 21/d - 26/(-6)?
True
Let j = -11 - -9. Is j/(-28)*474 - 3/(-21) a multiple of 6?
False
Is 23/(-8)*-2*228 a multiple of 57?
True
Is 2/8*0 - -27 a multiple of 2?
False
Let c = -171 + -14. Let u = c + 326. Is u a multiple of 12?
False
Suppose -28*i + 18 = -27*i. Does 10 divide i?
False
Let n(y) = -2*y**2 + 44*y + 17. Does 2 divide n(18)?
False
Let f(s) = 8*s**2 - 3*s - 3. Suppose -11 = -5*o + o - t, -o + 5*t = -8. Suppose 4 = -o*i - 2. Is f(i) a multiple of 6?
False
Let t = 204 - 123. Suppose -77*b + t*b - 240 = 0. Is b a multiple of 20?
True
Suppose -3*v + 2253 = b - 619, -2*v + 1918 = -b. Is v a multiple of 35?
False
Let o be (-39)/(-24)*2 + 9/12. Does 13 divide (-2)/(1 - -1) - o*-26?
False
Suppose 3*b + 1 + 5 = 0, 22 = 2*k + 4*b. Suppose -5*t - 5*h = -k, -2*h - 2*h - 4 = 0. Is 16 a factor of t/(-14) - (-1808)/56?
True
Does 21 divide (5 + 129/15)*15?
False
Let t be 3 - 7/(-2)*-2. Let y be (-12)/t - (-61 - -3). Let j = y - 20. Does 24 divide j?
False
Let k(s) = -12*s**2 - 2*s - 3. Let i be k(-1). Let c = i - -25. Is c a multiple of 4?
True
Suppose i - 19 = -5*u - 4, 0 = -5*i - 3*u + 9. Suppose i = -2*x - x + 12. Suppose 0*r = -x*r + 148. Is r a multiple of 10?
False
Let f be (-6)/21 + (-114)/(-7). Let h = f - 12. Suppose -w = 2*v - 0*v - 9, h*v - 5*w = -3. Is v a multiple of 2?
False
Suppose -3324 - 9080 = -7*u. Does 52 divide u?
False
Is 11 a factor of (-293)/(-4) + (-28)/112 - -4?
True
Let s be ((-15)/(-6))/(0 - (-4)/8). Suppose 12*w = -s*w + 1326. Does 4 divide w?
False
Suppose -2*u - 5*c + 818 = 0, -5*c = -u + 293 + 131. Is u a multiple of 18?
True
Let k be (-54)/(-12)*4/(-6). Let l be 4/k*6/(-4). Suppose 60 = 3*f + l*f. Does 6 divide f?
True
Suppose -2464 = w - 9*w. Is w a multiple of 22?
True
Let w be -1 - (-5 - -2) - -2. Let h be 4/w*(-2)/(-1). Suppose h*v = 0, 4*r - 48 = r + v. Is r a multiple of 8?
True
Let l(q) be the second derivative of 7*q**3/6 + 2*q**2 + 2*q. Let n(i) = -i**2 - 16*i + 22. Let s be n(-17). Is l(s) a multiple of 13?
True
Is 339 + 5/((-5)/(-3)) a multiple of 20?
False
Let u = 9 + -7. Let j(m) = 1 + 3*m**u - 4*m**3 - 2 + 3 + 3*m. Is j(-2) a multiple of 15?
False
Suppose 3*v + 4*f = 3*f + 8072, 4*f + 10768 = 4*v. Does 9 divide v?
True
Suppose -3*h - 2*h + 90 = 0. Suppose 0 = a + h. Does 17 divide a/(-12) - (-158)/4?
False
Let f = -883 + 520. Let r = 520 + f. Is 9 a factor of r?
False
Let s = 46 - 42. Suppose -s*j = 7*j - 418. Is 13 a factor of j?
False
Let w = -27 - -21. Let g(r) = -r + 9. Is g(w) a multiple of 14?
False
Let o = 2937 + -151. Is 49 a factor of o?
False
Let k = 725 - 318. Does 43 divide k?
False
Let b(y) = 5*y**3 - 34*y**2 - 46*y + 75. Let d(n) = n**3 - 7*n**2 - 9*n + 15. Let a(i) = 2*b(i) - 11*d(i). Is a(7) a multiple of 37?
False
Suppose -4*d + 3*n - 3 = 0, 5*n - 13 = -3*d + 7*d. Suppose -3*f + 279 = d*h, -5*h - 364 - 61 = -5*f. Is f a multiple of 15?
False
Let u = 124 - 190. Is 6 a factor of (u/(-10))/((-147)/(-35) - 4)?
False
Let l be -994*1/6*-3. Suppose 5*p - 53 = l. Is 11 a factor of p?
True
Let u be -2*(-4)/((-32)/108). Let m be u/45 + 26/10. Suppose m*r = 56 + 56. Is 28 a factor of r?
True
Suppose -4*p + 588 = -l - 4*l, 0 = 4*p + l - 588. Suppose p = 3*d + 3*u, -5*u + 110 = -4*d + 6*d. Is d a multiple of 8?
False
Suppose -397 = -3*d - 79. Does 2 divide d?
True
Let f = -61 + 64. Suppose -2*i + i = -f. Is 2 a factor of i?
False
Let k = 400 + -232. Is 28 a factor of k?
True
Suppose -1010 = -4*v + 14*v. Let j = 179 + v. Does 6 divide j?
True
Suppose 3*c = -3*r - 192, -3*r - 96 - 82 = -4*c. Let g = 471 + r. Is g a multiple of 12?
False
Let a = -356 + 495. Is 5 a factor of a?
False
Suppose y + 26 = 2*y. Let b = -9 + y. Does 17 divide b?
True
Suppose -3*t + 2*h = -t - 372, -5*t + 3*h = -924. Does 4 divide t?
False
Suppose 5*q - 4*g + 481 = 4131, -2*q + 3*g + 1460 = 0. Is q a multiple of 73?
True
Suppose 2*w - 1040 = w + 5*g, 5*w + 4*g - 5345 = 0. Is 13 a factor of w?
False
Let y = 626 - 500. Does 6 divide y?
True
Let d(a) = a**3 - 8*a**2 - 21*a + 3. Let o be d(10). Let k(v) = v**2 - 6*v - 4. Let b be k(3). Let x = o - b. Is x even?
True
Let l = 44 - 50. Let p(o) = o**2 - 1. Is p(l) a multiple of 12?
False
Suppose 0 = 3*k - 4*s - 18, -3*k = s - 0*s - 3. Is 9 a factor of (4/k*-1)/(8/(-380))?
False
Let j = 2118 - 457. Does 4 divide j?
False
Let k(d) = 120*d + 12. Let b be k(6). Suppose 0 = -2*y - 4*y + b. Does 6 divide y?
False
Let a(w) = -40*w**2 + 3*w + 6. Let g(z) = -40*z**2 + 4*z + 7. Let q(j) = -5*a(j) + 4*g(j). Is q(-2) a multiple of 39?
True
Let j(i) = 2*i**3 - i**2 - 3*i - 2. Let m be j(2). Suppose 2*z - m = -5*c + 7, 5 = -c - 4*z. Suppose 2*v = c*v - 16. Does 8 divide v?
True
Let m = 45 - 33. Does 34 divide 750/m + (-2)/(-4)?
False
Let p = 6 - 3. Let i(b) = -b**2 + 11*b - 10. Let a be i(8). Is (-12)/p + 1 + a even?
False
Let h(d) = -12*d + 1. Let k be h(1). Let j = 117 + -120. Does 11 divide k/(7/j + 2)?
True
Let p(m) = 3*m**3 - 10*m**2 + 12 + 2*m - 4*m**3 + 0*m**3. Let s be p(-10). Is 2 a factor of -2 - (-3 + s + 2)?
False
Suppose -h + 2 = j, 7*h - 15 = 3*h + 3*j. Suppose 4*v = h*l - 4*l + 871, -432 = -2*v - 4*l. Is 28 a factor of v?
False
Let r = -68 - -109. Suppose 0 = -2*d - 3*p + 199, -p - 323 = -3*d - r. Suppose -b + 29 = -5*n + 132, -5*b = -5*n + d. Is n a multiple of 13?
False
Suppose 0 = -n - 2*v + 2 - 0, 4*n - 4*v = -4. Suppose n = -11*x + 47 + 19. Is x a multiple of 3?
True
Suppose 19*h - 17*h = 0. Suppose h = -29*q + 26*q + 57. Is 3 a factor of q?
False
Suppose 0 = -14*y + 17*y - 18. Suppose 98 = 4*n - y. Does 18 divide n?
False
Let m = -44 - -33. Let o = m - -14. Suppose -o*a + 144 = -0*a. Is 24 a factor of a?
True
Let o(n) = -n**3 - 4*n**2 + n + 6. Let k be o(5). Let r(c) = -3*c**2 - 9*c - 14. Let h be r(5). Let a = h - k. Is a a multiple of 34?
False
Suppose -2*n + 10 = -2*m - 10, -2*m + 4*n - 28 = 0. Let w be m/(-9) - 1/(-3). Is w/(0 + -1) - -13 a multiple of 6?
True
Let q be (-3)/1*12/(-9). Suppose 0 = -7*w + q*w. Suppose w = 2*b - 3 - 7. Is b a multiple of 2?
False
Let x(z) be the second deriva