pose 0 = -2*g + z + 186, -159 = -5*g - 2*z + 324. Suppose -r = -4*t + 296, 3*t - 112 = -3*r + g. Does 8 divide t?
False
Let k(f) = f**3 - f**2 + 2*f - 30. Let p be k(0). Let t = p - -38. Is 8 a factor of t?
True
Let g be ((-1)/(-5)*4)/(14/35). Suppose -5*q + 5*v + 375 = 0, -q - 2*v + 240 = g*q. Does 13 divide q?
True
Let g(y) = 2*y**2 - 3*y + 6. Let d be g(-3). Suppose 5*x + 13 = d. Suppose -x*o - 5*t + 277 = 0, 4*o + 4*t - 321 = -41. Is o a multiple of 20?
False
Let f = 5314 - 3299. Suppose 6*c = -7*c + f. Does 20 divide c?
False
Let g = -119 + 124. Suppose -4*s - 121 = -5*s - 5*q, g*s = 3*q + 465. Is s a multiple of 12?
True
Let j(z) = 9*z**2 + 12*z + 20. Is j(-2) a multiple of 2?
True
Let w(z) = -z**3 - z**2 + 7. Let l be w(0). Suppose -3*g + 31 = l. Suppose u = -u + g. Is 4 a factor of u?
True
Let t be (24/(-18))/((-1)/3). Let c(q) = -q**3 + 3*q**2 + 8*q + 2. Does 6 divide c(t)?
True
Suppose 0 = 9*o + 170 - 656. Is o a multiple of 27?
True
Let t(l) be the third derivative of 1/2*l**3 + 11/12*l**4 + 0*l + 2*l**2 + 0. Is t(2) a multiple of 12?
False
Suppose -x - 1 = -2*x - f, -4*x - 5*f = -3. Let b be -38 + (-2)/(x - 3). Let t = b - -66. Does 10 divide t?
True
Suppose 0 = -3*h - 5*t + 26, -5*h + 3*t = -2*h + 6. Suppose 0 = 4*z + 8, -a - a - h*z = -164. Is a a multiple of 12?
True
Let o(a) = a**2 + 14*a + 6. Let k be o(-14). Suppose 0 = k*v - 4*v - 120. Does 12 divide v?
True
Let s(w) = -w**3 - 11*w**2 + 4*w - 2. Let z be s(-7). Let f = z + 442. Is 17 a factor of f?
False
Let c be -2 + (10 - -1) - 4. Is 5 a factor of (-3)/(-30)*-4 - (-552)/c?
True
Suppose 4*c - 35 = c - 5*x, 4*x = -4*c + 36. Suppose 5*t = r + 40, -5*t - 4*r = -19 + 4. Suppose t*w = c*w + 20. Does 5 divide w?
True
Suppose -3*t + 5*m = 206 - 2103, 0 = 3*t + 2*m - 1862. Is t a multiple of 12?
True
Suppose 11*h = 10*h - 1. Let m = h - -5. Let t(y) = y. Is t(m) a multiple of 4?
True
Suppose 5*f + 5*g = -5, -f - 5 = -g - 2. Is 70*32/56*(-7)/f a multiple of 44?
False
Let g = 105 + -30. Let i = 180 - g. Does 21 divide i?
True
Suppose 0 = 2*u + 5*i - 5, u - 3*i = -2*u + 60. Let k = u + 3. Is 2 a factor of k?
True
Let h(g) = 2*g**2 + 9*g. Let l be h(-6). Let q(u) = -17*u - 156. Let a be q(-9). Let s = l + a. Does 2 divide s?
False
Let j(z) = -27*z - 8. Let g(l) = 217*l + 63. Let p(y) = 6*g(y) + 49*j(y). Is 14 a factor of p(-4)?
True
Let f be (-32)/(-15) + 1/((-15)/2). Suppose 0 = -4*v + 2*s + 132, 0*v - f*v = -5*s - 74. Is 8 a factor of v?
True
Is 24 a factor of ((693/(-28))/11)/((-3)/40)?
False
Suppose -8*r + 82 = -246. Suppose 4*k = -4*v + 84, r = -4*v + 5*v - 4*k. Suppose 3*s - v = -x - x, 0 = -x - 4*s + 10. Is x a multiple of 7?
True
Suppose 23652 = 76*f - 49*f. Is 22 a factor of f?
False
Let u(v) = 7*v**2 - 19*v + 1. Let r(a) = 10*a**2 - 29*a + 1. Let s(f) = -5*r(f) + 7*u(f). Let t(m) = -m**2 - 7*m - 2. Let i be t(-4). Is s(i) a multiple of 16?
False
Suppose 620*s - 636*s = -18048. Is s a multiple of 6?
True
Suppose 4*i + 0*s - 5*s = 15, -s = -4*i + 3. Suppose i = -x - 5*j + 5, 6*j - 2*j = -3*x + 4. Suppose -v + 6 + 8 = x. Is v a multiple of 14?
True
Suppose 3*j + 4340 = 38*j. Is 3 a factor of j?
False
Let x = -2855 - -4074. Is x a multiple of 13?
False
Let m = 827 + -549. Is m a multiple of 25?
False
Suppose -5*s = -3*s - 44. Suppose 4 = n - 5*i, -3*i = -2*n - 8*i - s. Is 9 a factor of 4/n*(-561)/22?
False
Suppose -3*m + 70 = -3*b + 13, 3*b - 3 = -m. Let t(a) = a**2 - 10*a - 20. Is 13 a factor of t(m)?
False
Let p = 31 - 40. Is 10 a factor of p/(-30)*4*60?
False
Let i = 16 + -3. Let h = 17 - i. Is 8 a factor of 8/(h + -3 - 0)?
True
Suppose 2*v + 1878 = 4*u, -5*u - 5*v - 943 = -7*u. Does 7 divide u?
True
Let h = -8 - -3. Let j = h - -8. Suppose 5*u = j*p + 54, 7 = 3*p + 1. Is u a multiple of 4?
True
Suppose 2*v + v = 12. Does 9 divide -5 - ((-162 - v) + -3)?
False
Suppose 5*p + 4 + 16 = 0, -4*k = -4*p + 180. Is 0*3/12 - (k + 1) a multiple of 5?
False
Let t = -25 + -7. Let m = -30 - t. Let b(j) = 3*j**3 - 5*j + 2. Does 10 divide b(m)?
False
Let r = -41 - -65. Let l = -4 + r. Does 4 divide l?
True
Suppose 0 = 46*a + 3*a - 27048. Does 73 divide a?
False
Let o = 305 + -193. Is o a multiple of 14?
True
Suppose -6*k + 31 + 47 = 0. Suppose 0 = -k*b + b + 528. Is b a multiple of 22?
True
Let q = -4 - 8. Is 25 a factor of (-4)/6 + (-308)/q?
True
Let x = 178 - 106. Suppose -5*w = w - x. Does 11 divide w?
False
Let j = 15 + 113. Let x = j - 18. Is 19 a factor of x?
False
Suppose -3261 = -9*w + 3786. Is 19 a factor of w?
False
Suppose p + 2 = -0*p. Let b be ((-3)/p)/(9/264). Let q = -28 + b. Does 10 divide q?
False
Let y = 42 + -72. Let j be 6/10 + (-102)/y. Suppose -i + 5*a = -j*i + 83, 2*a = -3*i + 98. Is 9 a factor of i?
True
Suppose -w = -10 + 8. Suppose w*h + 201 = 5*o, 0 = -3*h + h + 4. Is o a multiple of 5?
False
Suppose -8552 = -3*y - 848. Is y a multiple of 27?
False
Let f(h) = -h - 1. Let d be f(-3). Let r(q) = -d*q + 5*q + 9 - 3*q + 8*q + 3*q**2. Does 13 divide r(-5)?
False
Let p(a) = 109*a**2 + 29*a - 125. Is p(5) a multiple of 75?
False
Let h(v) = v**3 - 12*v**2 + 11*v - 1. Let f be h(11). Let j be (5/((-20)/(-108)))/f. Let o = 35 + j. Is 4 a factor of o?
True
Suppose 5*o - 9*q + 4*q - 1320 = 0, -2*o + 534 = q. Is 11 a factor of o?
False
Suppose -4*s - 3*x = -2103, -1029 = -2*s - 5*x + 12. Is 44 a factor of s?
True
Suppose 362 = 2*a - 34. Does 8 divide -5*(a/(-10) - -5)?
False
Let n be ((-1)/(-2))/(1/4). Suppose 4*g + 61 = 5*z + n*g, 0 = -2*z + 5*g + 16. Let t(c) = -c**2 + 14*c. Is t(z) a multiple of 11?
False
Let s = 26 + -28. Is 28 a factor of s/12 - (-1058)/12?
False
Let j be 7/(14/(-4)) + 1. Suppose 4 = -4*o + 6*o. Is 5 a factor of (j*o)/(22/(-143))?
False
Suppose -2*t + 0*t + 8660 = 5*o, -34572 = -8*t - 3*o. Does 12 divide t?
True
Suppose 7*h - 1032 = -871. Does 23 divide h?
True
Suppose 3 + 29 = -4*c. Let b be (-30)/c - 6/8. Is 16 a factor of (-2)/b*525/(-14)?
False
Suppose 2*x = 15 - 7. Is 156/9*6/x even?
True
Suppose x - 5 = 0, 3*c - 1951 = -x - 4*x. Is 12 a factor of (-21)/14*c/(-9)?
False
Suppose 0 = -j - 122 + 127. Suppose 0 = 3*n + 4*s + s - 388, -j*s = 5*n - 660. Does 12 divide n?
False
Suppose -18561 = -21*c + 5127. Is 75 a factor of c?
False
Let t = -61 + 58. Does 5 divide -1*(t/1 - 82)?
True
Let i(y) = -y**3 - y**2 - 7*y - 1. Let k be i(-5). Let f be (-1)/3 - k/(-6). Suppose 2*n = -2*r + f, r = -2*n + 3*n + 1. Does 3 divide r?
True
Suppose -8*f - 692 + 3100 = 0. Is f a multiple of 8?
False
Suppose 23*p - 3570 = 8*p. Does 5 divide p?
False
Suppose -338 - 2365 = -51*t. Is 3 a factor of t?
False
Suppose -2*u + 2170 - 5188 = -3*b, 0 = -3*b - 4*u + 3036. Does 18 divide b?
True
Let q = -745 + 892. Does 21 divide q?
True
Suppose 4 = 3*b - 17. Suppose b*m - 987 = 112. Does 20 divide m?
False
Let r = 9 - -29. Let f(w) = -4*w + 5. Let a be f(3). Let g = r + a. Is 20 a factor of g?
False
Let t be ((-4)/6)/(6/(-216)). Let j be 15/4 - (-6)/t. Suppose -2*a = -0*a - j*w - 18, 5*w = a - 3. Is a a multiple of 13?
True
Let l = 61 + -22. Let z = l - 13. Is z a multiple of 13?
True
Suppose -4*b - 275 = -79. Let f = 40 - 61. Let u = f - b. Is u a multiple of 14?
True
Let l = -19 - -61. Let p = l + -12. Suppose 5*c - 85 = p. Is c a multiple of 23?
True
Suppose 2*n - 814 = -4*x, 0 = x + 2*n - 264 + 53. Let a = -143 + x. Is 20 a factor of a?
False
Let r be (6 - 6)*(0 - 1/(-2)). Suppose r = 3*p + 5*c + 16, p + 0*p + 5*c = -22. Does 2 divide p?
False
Suppose -7*b = -4*b. Suppose 2*i - 60 = -2*l, b*i + i = 2*l + 21. Suppose -2*j - i = -3*j. Does 27 divide j?
True
Suppose -2*m + 93 = -15*w + 16*w, 4*w - 382 = -3*m. Is w a multiple of 15?
False
Let f(w) = 7*w - 1. Let v be f(3). Suppose 2*c + 13 + v = 3*h, 6 = 2*h + 4*c. Suppose 8*m = h*m - 13. Is 5 a factor of m?
False
Suppose 4*z = -2*x + 2, 0*z + 3*x + 7 = 4*z. Let l be (18/(-30))/(z/(-5)). Suppose -l*s + 79 + 65 = 0. Does 12 divide s?
True
Let g = 500 - 40. Suppose -h + 3*h + o - 185 = 0, -5*h - 3*o + g = 0. Is 11 a factor of h?
False
Let t(b) = -b**2 - 7*b - 7. Let l be t(-6). Let o be l/(2 - (-28)/(-12)). Suppose -o*j + 80 = j. Is j a multiple of 7?
False
Let u = -61 + 64. Let x(s) = -s**3 + 5*s**2 - 6*s + 8. Is 3 a factor of x(u)?
False
Suppose 5*o - 956 = -i, 2*i - 4*o = 2270 - 344. Is i a multiple of 64?
False
Let o be (128/24)/