 + 2*c + 0 + 18 = t. Suppose s - i - 1 = -w, 2*s = -4*w + 50. Is w a multiple of 7?
True
Suppose 8*j + 4709 = 12*j - y, 4*j - 5*y - 4729 = 0. Does 43 divide j?
False
Suppose -20 = -2*y - 4*l, 2*y - 11 = l + 4*l. Suppose 0*i = i + y. Is 300/28 + i/(-28) a multiple of 3?
False
Suppose 4*a + 58 - 258 = -5*d, -4*d + 4*a + 160 = 0. Let b be 62/(-6) - 1/(-3). Let r = d + b. Does 30 divide r?
True
Let v = -461 - -1163. Is 13 a factor of v?
True
Suppose 0 = -3*l - 286 + 13. Let a = 59 - -83. Let p = a + l. Is p a multiple of 14?
False
Suppose 0*o - 9 = -y - 4*o, 3*o - 8 = -y. Suppose -y*j - x + 323 = x, 4*x - 331 = -5*j. Is 9 a factor of j?
True
Suppose -3*v + 42 + 42 = 0. Suppose -5*i = 5, f - 5*f + v = 4*i. Is f a multiple of 4?
True
Let j = -97 + 58. Let y = 37 - j. Is 10 a factor of y?
False
Suppose 0 = -2*d - b + 44 + 33, -2*b - 86 = -2*d. Let m = -22 + d. Does 18 divide m?
True
Let d = -190 - -109. Suppose 6*h - 7*h = -140. Let u = h + d. Is u a multiple of 13?
False
Let s(c) = -3*c**2 - 94*c - 58. Is 2 a factor of s(-27)?
False
Let z = 67 + -40. Let u be 16/(-6)*z/12. Is 15 a factor of (87/9)/((-1)/u)?
False
Suppose 5*h = q, -4*q + 1 = -3*h - 16. Suppose 0 = 3*s + 2*f + 2, -s + q*f - 12 = -0*f. Let n(k) = k**2 - 2*k. Is 3 a factor of n(s)?
False
Let f(n) = n**2 - 4*n + 12. Let j be (3 - 7)/2 + -4. Is 18 a factor of f(j)?
True
Let d = -92 - -116. Does 12 divide d?
True
Is 11 a factor of 12/(-84) + 3960/35?
False
Suppose -10 = -5*k, c - 467 = -4*c - k. Suppose 2*w - 5*q = 17 + 7, 4*q = -5*w + c. Is 15 a factor of w?
False
Let x = 2004 - 823. Does 10 divide x?
False
Suppose 5*u = 4*v - 5215, -2*v - 4*u + 3*u = -2611. Is 6 a factor of v?
False
Suppose 128 = 3*i + 5*j, 3*j = -2*j + 20. Let g = i + -32. Suppose g*m - 2*l + l = 263, 3*m = 2*l + 196. Does 33 divide m?
True
Let s(d) be the third derivative of -3*d**5/20 + d**4/24 + 7*d**3/6 - 5*d**2. Let l be s(3). Let v = -14 - l. Does 9 divide v?
False
Let d(j) = j**2 - 2*j. Let t be d(3). Let n(w) = -w**2 + 4*w + 2. Let f be n(t). Suppose -4*h + f*l + 15 = h, 0 = l - 5. Does 3 divide h?
False
Suppose 9*g - 11*g + 58 = 0. Let d = g + -1. Does 5 divide d?
False
Suppose 5*u + 2*y + 66 = 0, -y - 44 = 5*u + 19. Is 136/1 - (-6)/u*2 a multiple of 27?
True
Let u = -3 - -1. Suppose 36 = 4*j + x, 4*j + 2*x - 36 = -0*j. Let c = j + u. Is c even?
False
Let t be 4/(-1)*9/(-12). Suppose 0*m = -m - t*r + 28, 2*r = 5*m - 55. Does 13 divide m?
True
Let q(s) = 2*s**2 + 6*s - 9. Let x be q(3). Is x/6*(-512)/(-24) a multiple of 8?
True
Let l(d) = d**3 + 26*d - 36. Is l(8) a multiple of 10?
False
Suppose -n + 417 + 884 = 0. Is n a multiple of 30?
False
Let w = 74 - 65. Is (3*-1 + 2)/(w/(-117)) a multiple of 3?
False
Let g = 538 - -232. Is 25 a factor of g?
False
Let i be (-192)/(-10)*(-200)/(-16). Let h = -83 + i. Is 20 a factor of h?
False
Let g(h) = -h**2 + h - 1. Let b(l) = -14*l**2 - 42*l + 42. Let o(c) = -b(c) - 42*g(c). Does 14 divide o(1)?
True
Let k = -506 + 947. Is 49 a factor of k?
True
Let q(u) = -u + 16. Let v be q(12). Suppose -2*g = -4*g - 2*l + 12, -14 = -v*g + l. Let t(a) = a**3 - 2*a**2 - 4*a + 6. Is 14 a factor of t(g)?
False
Let d = 12 + 41. Is 3 a factor of d?
False
Let p(f) = -2*f**3 + 3*f**2 + 44*f + 9. Let a(q) = q**3 - q**2 - 22*q - 5. Let w(k) = 5*a(k) + 3*p(k). Does 9 divide w(7)?
True
Let s be (38 - -2*1)*3. Suppose 7*n - 6*n = 4. Suppose n = -4*t + s. Does 8 divide t?
False
Let l(o) = 2*o**2 + 24*o + 7. Let u be l(-12). Suppose 956 = 4*v + c, -u*c + 722 = 3*v - 5*c. Is 15 a factor of v?
False
Suppose -4*u + 682 = 2*k, 4*u - 5*k + k = 652. Does 15 divide u?
False
Suppose 0 = -4*d + 84 + 516. Is d a multiple of 6?
True
Is 10 a factor of (-7)/((-70)/(-93390))*(-1)/3?
False
Suppose 2*z = -53 + 417. Is 7 a factor of z?
True
Let w(n) = 39*n**2 + 28*n + 68. Is w(-9) a multiple of 60?
False
Let p(s) be the first derivative of s**3/3 - 5*s**2 + 12*s + 15. Is p(11) a multiple of 20?
False
Suppose 894 = 2*r + 5*m, -2*r + m = 2*r - 1810. Does 13 divide r?
False
Suppose x - n + 146 = -2*x, -3*x - 5*n - 170 = 0. Let h = -22 - x. Is 3 a factor of h?
False
Let h = 19 + -8. Suppose -28 = -3*l + h. Is l a multiple of 2?
False
Let q = -24 + 38. Suppose 0 = -3*s + q + 139. Does 9 divide s?
False
Let i = -554 - -803. Suppose -14*o + 409 = -i. Does 7 divide o?
False
Suppose -3*d + 5*m + 170 = 0, m - 4*m = 4*d - 217. Let h be 309/(-9) + 8/(-12). Let r = d + h. Is r a multiple of 5?
True
Suppose -3*l - 73 = -4*l. Suppose 4*f + l = 5*h - 2*h, 2*h = -f - 32. Let s = 32 - f. Does 9 divide s?
True
Let j(s) = -6*s**2 - 22. Let h be j(-5). Is h/(-2 - -1) + 0 a multiple of 10?
False
Suppose 5*b + 18 = 3. Let a be (b + -3)*(0 + -3). Is ((-12)/a)/(2/(-18)) a multiple of 3?
True
Suppose 4*b - 184 = -2*f, f - b - 74 - 9 = 0. Is 22 a factor of f?
False
Let h(w) = 4*w - 28. Let y be h(6). Is y*1 + 110 + -1 a multiple of 21?
True
Let g(w) = -10*w**2 + 5*w + 4. Let p be g(4). Is (-2)/(-7) + p/(-14) a multiple of 5?
True
Let f be (3 - 14)/(-1) + -3. Suppose -f = -3*m + 4*m - b, -2*m - 4*b + 14 = 0. Is 6 a factor of (84/(-10))/(m/10)?
False
Let q = 552 + -283. Suppose -5*k = o - q, o + 53 = k + 2*o. Does 6 divide k?
True
Suppose j + 0 - 4 = 0. Suppose -5*i = d + d - 137, j*i - 110 = -2*d. Does 17 divide i?
False
Suppose 0 = 280*h - 287*h + 63. Does 2 divide h?
False
Let u(g) = 51*g**2 - g - 1. Let w be u(-1). Suppose -3 = -2*c + w. Is c a multiple of 5?
False
Suppose 0 = 29*p - 44*p + 120. Is p a multiple of 4?
True
Suppose 4*w + 9 = -v - 9, 0 = -3*v - 4*w - 22. Is 21 a factor of -5 - v - (1 - 67)?
True
Suppose 4*p + 9*b - 13*b = 1812, 4*p - 5*b = 1814. Is p a multiple of 11?
True
Let b(y) = y - 1. Let w be b(21). Suppose 206 = 2*j + w. Does 13 divide j?
False
Let z = 9 - -20. Suppose -3*r - d = 2*r - 105, 2*r - z = -3*d. Suppose 5*f - 18 = -5*h + r, 3*h = -5*f + 30. Is 2 a factor of f?
False
Let p = -30 + 11. Let h = p + 54. Let z = -6 + h. Is z a multiple of 14?
False
Suppose 2*d = 35 + 13. Suppose 5 = -v, -c - d = -0*c + 5*v. Suppose b + 0*b = q + 3, -c = -b + 2*q. Is b even?
False
Suppose -203 = 12*h - 13*h. Is 7 + h/(-28) + 417/4 a multiple of 26?
True
Let q be 2*2 - (-2064)/16. Let m(b) = 2*b**3 + 2*b**2 - 2*b. Let k be m(-4). Let c = q + k. Is c a multiple of 15?
True
Let s(j) = 2*j**3 - j**3 + 0*j**3 + 3*j**2 + 7*j - 10 - 4*j**2. Is 33 a factor of s(4)?
True
Suppose 7*h + h - 1120 = 0. Let y = 67 + h. Is 12 a factor of y?
False
Let q = -20 - -28. Suppose 12*c = q*c + 112. Is c a multiple of 7?
True
Let h = 615 + -346. Is h a multiple of 17?
False
Suppose -4*c + 39 = -b + 845, 5*b - 3940 = 2*c. Is b a multiple of 6?
True
Let f = 895 + -488. Let h be 5/20 - f/(-4). Let b = h - 50. Does 9 divide b?
False
Let b(t) = -33*t**3 - t**2 + 2*t + 2. Let r(o) = -o**3 + 5*o**2 - 6*o + 7. Let y be r(4). Is b(y) a multiple of 18?
False
Let k(m) = 20*m**2 - 8*m + 131. Is 29 a factor of k(-11)?
True
Let o(h) = h + 10. Let i = 15 + -21. Let x be o(i). Suppose 48 = x*w + 4*u, 8*w - 30 = 4*w + 5*u. Is w a multiple of 5?
True
Let p be 18/63 - 114/7. Let t be (p/(-4) + 4)/2. Suppose 4*m = -4*j + 100, 0 = -3*j - t*m + 31 + 40. Is j a multiple of 4?
False
Let w(z) = -3*z - 3. Let m be w(-4). Let g be (-3 - -3)*(-9 + (-8)/(-1)). Suppose c + 4*j = 8, c - m = -g*c - 5*j. Is c even?
True
Is 270/2 + -17 + 22 - -5 a multiple of 54?
False
Let l be 6/9 + 1256/24. Let t = -8 + l. Is 9 a factor of t?
True
Suppose 3*z = q - 6, -2*z + 18 = 3*q + 2*z. Suppose 2*r + 1008 = q*r. Does 14 divide ((-4)/(-8))/(2/r)?
False
Let s(f) = f**3 + 6*f**2 + 6*f - 3. Let n be s(-3). Suppose -78 = -0*d - n*d. Does 5 divide d?
False
Let f(n) = -117*n + 2. Let v be f(-2). Suppose -7*d + 3*d + v = 0. Is 18 a factor of d?
False
Suppose -4*g + 0 = -0. Suppose 0 = 3*i + 12, -2*j + i - 6*i + 32 = g. Is j a multiple of 26?
True
Let u(g) = 149*g**2 + 3*g + 5. Let l be u(-2). Suppose -76*n + 71*n = -l. Is 12 a factor of n?
False
Let m = 1145 - 338. Suppose -3*g - 3*a + 7*a = -498, 5*g + a - m = 0. Does 16 divide g?
False
Suppose 5 = -v - 2*x, -4*v + 2*x - 52 = -12. Let m(h) be the second derivative of h**4/6 + 7*h**3/3 + 3*h**2 - 2*h. Does 11 divide m(v)?
False
Let p(c) = 3*c**3 - 13*c**2 + 22*c - 76. Is 12 a factor of p(5)?
True
Suppose 3*i + 10*a = 5*a + 2, 0 = -4*i + 4*a - 8. Let 