 = -335 - -196. Let n = r + 217. Is 5 a factor of n?
False
Suppose -4*w = -2*k + 1811 + 3095, -7327 = -3*k - 2*w. Is 3/6 + k/6 a multiple of 6?
True
Suppose 5*q - 4590 = -2*w, 0 = -3*q - 0*w + 5*w + 2785. Is q even?
True
Let s be -3 + (3/(-2))/(9/(-48)). Suppose 12*y - 5*r = 7*y + 295, -y = -s*r - 55. Is 6 a factor of y?
True
Does 35 divide 105*(-14)/(-126)*141?
True
Suppose -9*k = -8764 - 1595. Is 10 a factor of k?
False
Let a = 88 + -82. Suppose 3*p + 2*l = 18, -13*p + 14*p - a = -3*l. Is p a multiple of 3?
True
Let y(k) = -9*k - 15. Let z be ((-11)/(-1) + 1)*(-150)/120. Is 24 a factor of y(z)?
True
Suppose 8 - 161 = -17*n. Suppose 2*w - n + 5 = 0, -1796 = -5*c - 3*w. Is 82 a factor of c?
False
Let n = -687 + 694. Suppose -v = n*v - 4784. Is v a multiple of 13?
True
Suppose -124*v = -121*v - 2703. Let a = v - 490. Is 10 a factor of a?
False
Suppose 3*y - j = 18368, 32*j + 12222 = 2*y + 36*j. Is 79 a factor of y?
False
Let a(p) = -115*p**3 - 13*p**2 + p + 6. Is a(-3) a multiple of 39?
False
Let j = 19005 + -14065. Is 17 a factor of j?
False
Let i be 18/4 + 4/(-8) + 232. Suppose 236 = 2*o + 5*w, -2*w - i = -2*o + w. Does 8 divide o?
False
Let b be (-43184)/(-96) + 1/6. Suppose -4*k = -2*d - 1790, k = -2*d + 3*d + b. Does 13 divide k?
False
Suppose 5*i + 5*w = -1450, 0 = -i - w + 2*w - 296. Let h = i + 173. Let u = -77 - h. Is 20 a factor of u?
False
Suppose 330 = -7*x - 3*x. Let f = x - -91. Is f a multiple of 8?
False
Let f(x) be the second derivative of x**5/20 - x**4/2 - 13*x**3/6 + 2*x - 18. Is 28 a factor of f(10)?
False
Let r(d) = 3*d**2 - 3. Let l be r(2). Suppose -l*k = -13*k + 20. Suppose 2*v = -k*v + 490. Does 19 divide v?
False
Suppose -7*o + 361421 = -180*o + 2009246. Does 25 divide o?
True
Does 16 divide (4/(-6))/((-178)/1677027) - 9?
True
Let l be 12*8/12 - 3. Suppose -l*o - 6*o + 14135 = 0. Suppose 0 = 4*d + d - o. Is 34 a factor of d?
False
Let m = 408 + -289. Suppose 472 = -4*a - 3*b + 165, 5*b = 2*a + 121. Let f = m + a. Does 18 divide f?
False
Let s(g) = 141*g + 228. Is s(3) a multiple of 93?
True
Suppose -17 = -3*r + f - 8, 3 = f. Suppose -r*p - 5*x + 1497 = 0, -2*p + 1487 = 2*p - 5*x. Does 25 divide p?
False
Let h = -39309 + 89544. Is h a multiple of 46?
False
Let a = -510 + 2104. Suppose -14*z + 19*z - 2664 = 4*u, 2*u = -3*z + a. Does 7 divide z?
True
Let j be (5 + 531/(-12))*-8*1. Suppose -a - 3*y = -299, a - 2*y - j = -0*y. Suppose -2*p - 3*p - 604 = -4*b, 2*b - p - a = 0. Does 30 divide b?
False
Let b(y) = 13*y - 59 - 6*y - 55*y. Is b(-10) a multiple of 30?
False
Let x(i) be the third derivative of 7*i**4/3 - 2*i**3/3 - 9*i**2. Let q(g) = 28*g - 2. Let y(s) = 13*q(s) - 6*x(s). Does 10 divide y(4)?
True
Let g(h) = -97*h - 2479. Is 2 a factor of g(-36)?
False
Suppose -7021 = -5*b - 2*n + 14352, 21357 = 5*b - 2*n. Is b a multiple of 76?
False
Is 93 a factor of 1*3*((-329459)/(-39) - -13)?
False
Let t(u) = u**2 - 3*u - 1. Let n be t(7). Suppose n*k = 29*k - 148. Let r = k + 38. Is r a multiple of 28?
True
Does 46 divide (23 - -1131)*6/9*3?
False
Suppose 10 = 5*v, 5*a + 22 = -3*v - 77. Does 28 divide (-5193)/a + (-5 - (-66)/14)?
False
Suppose -5*g - 11 = h, g = -h + 3*h. Is (5 - 0/h - 3) + 183 a multiple of 11?
False
Suppose 0 = -g + 2*r + 4459, 5*g - 2*r = 37835 - 15492. Does 17 divide g?
True
Suppose 3*o = -2*o + 25. Suppose -n - 787 = -o*r, -4*n + 348 = 3*r - 138. Is r a multiple of 44?
False
Let k(f) = -37*f - 148. Let a be 15/(-1) - -9*6/(-27). Is k(a) a multiple of 37?
True
Let n = 49976 + -34433. Is 128 a factor of n?
False
Let b(g) = 3*g**2 + 12*g + 6. Is b(6) a multiple of 31?
True
Let z(m) = -515*m - 27. Let d be z(-3). Suppose 0 = 45*a + a - d. Is a a multiple of 7?
False
Suppose 34*s = 2640 + 1576. Does 62 divide s?
True
Suppose -5*q = -4*i + 5140, i - 243 = 2*q + 1045. Is 40 a factor of i?
True
Suppose -16 - 33 = 4*t - u, 17 = -t + 5*u. Let d = -9 - t. Is 33 + 3/d*4 a multiple of 6?
False
Let m = -153 + 21318. Is 17 a factor of m?
True
Does 4 divide 876/40 + 4 - 6/(-480)*8?
False
Does 36 divide (((-30)/(-4) + -6)/(9/(-41592)))/(-2)?
False
Suppose -8*h + 3738 = -61314 - 101260. Is h a multiple of 212?
False
Suppose 3*o = 4*x - 302, -184 = -9*x + 7*x + 7*o. Is x a multiple of 11?
False
Suppose 0 = 9*w + 2016 + 2115. Let a = -174 - w. Does 19 divide a?
True
Does 42 divide (-595)/(-51) + (-4)/6 - -31335?
False
Suppose -2*p = 8, -4*j + 95127 = 5*p - 118421. Is 142 a factor of j?
True
Suppose 2*h = -3*g + 34301, 0 = -5*g - 4 + 9. Is h a multiple of 83?
False
Let j be (-10 - 35015/(-35)) + 6/(-14). Suppose 0 = 5*h - 0*h - j. Is 11 a factor of h?
True
Suppose -15*o + 31 = -14. Suppose -5*d - 121 = -4*s, -o*d = 5*s - 8*s + 87. Is 6 a factor of (s/(-14))/(-4 - (-166)/42)?
True
Does 95 divide 310700/25 - (-22 + 5)?
True
Let o(g) = 349*g + 3224. Is o(-8) a multiple of 6?
True
Suppose 4*n - f = -5*f + 35756, -3*f = 2*n - 17882. Is n a multiple of 73?
False
Let f = -3695 + 3831. Let o(r) = r**2 - r + 2. Let b be o(2). Suppose 4*m - f = -b*i, -m + 6*i + 64 = i. Is 12 a factor of m?
False
Let n = 3767 + -1701. Does 56 divide n?
False
Suppose 2*g + 10 = 2*j, 4*j + 2 = -4*g + 22. Suppose -2*u - 170 = -2*i - 4*u, j*u = 2*i - 135. Is 16 a factor of i?
True
Let r = 187 - 57. Let n = r - 88. Does 2 divide n?
True
Suppose -2*j + 4*j = 3*x + 32, 5*j = -3*x + 59. Suppose 8*o + j = 37. Suppose -2*a - 2*a + 4*h + 624 = 0, -o*h = -4*a + 626. Is 20 a factor of a?
False
Let h = -8026 - -12109. Is 33 a factor of h?
False
Is 13 a factor of (324/15)/(-14 + (-28032)/(-2000))?
False
Suppose -51*w + 80 = -46*w. Suppose 2*y - 22 = -w. Suppose -6*a + 288 = -y*a. Is 22 a factor of a?
False
Let k = 16 - 12. Suppose -39 = -5*b + 3*t, 7*t - 51 = -5*b + k*t. Suppose 48 = 13*g - b*g. Is 12 a factor of g?
True
Suppose 1804 = -2*u + 6*u. Let n = u - 310. Suppose -5*z + l + 235 = 0, 3*l - n = -3*z + l. Is 13 a factor of z?
False
Let i = 14 + 16. Let u = 1596 + -1592. Does 5 divide (10/(-4))/((-20)/i)*u?
True
Let j(t) = 15*t - 10. Let o be j(1). Let b(l) = 3*l**3 - 5*l**2 + 7*l - 9. Is 16 a factor of b(o)?
False
Let t(v) = -10048*v + 332. Does 7 divide t(-2)?
False
Let p(d) = -d + 1. Let s = -16 - -15. Let h(f) = -f**2 + 9*f - 24. Let v(m) = s*h(m) - 3*p(m). Is 21 a factor of v(6)?
True
Suppose -5*y - 2*a + 23 = 0, -4*y - 5*a = -6 - 9. Suppose 0 = y*t - s - 0*s + 15, 5*s + 9 = -3*t. Is (-288)/t + 2/1 a multiple of 14?
True
Let d(c) = c**2 + 10*c + 197. Let g(i) = -2*i + 2. Let y(k) = d(k) + 2*g(k). Is 33 a factor of y(0)?
False
Let i(n) = n**2 + 10*n + 5. Let u be i(-10). Suppose 2*k + 6 = 5*k, -u*p = -k - 1098. Does 3 divide p?
False
Suppose 5*f + 31*b = 33*b + 166216, 4*f - 5*b = 133000. Does 8 divide f?
True
Suppose -250*b + 109*b + 1063986 = 0. Is b a multiple of 22?
True
Suppose -254827 + 67078 = -5*z - b, 2*z + 4*b = 75096. Is 10 a factor of z?
True
Let o be (-11 + -3)/(4/(-10)). Suppose n + 2*n = -51. Let x = o - n. Is 26 a factor of x?
True
Let z(o) = 116*o**2 + 102*o - 80. Is z(-11) a multiple of 46?
True
Let i = -2541 + 2970. Does 13 divide i?
True
Let b(d) = d**2 + 6*d - 5. Let i be b(4). Let q = 95 + -51. Let x = q - i. Does 2 divide x?
False
Is 13 a factor of 2 + 169364/28 + (-19)/(665/(-10))?
False
Let x(g) = 32*g**3 + 8*g**2 + 183*g - 1341. Is 11 a factor of x(7)?
True
Is 15 a factor of (317 + -1118)/((-3)/50)?
True
Let x(c) = 21*c**2 - 30*c + 23. Let o(b) = 21*b**2 - 30*b + 28. Let p(d) = -4*o(d) + 5*x(d). Does 51 divide p(3)?
True
Let o = -7148 - -12059. Does 8 divide o?
False
Suppose 5*s - p = 766, 6*s + 3*p = 2*s + 609. Let y(h) = -h**3 + 5*h - 3. Let k be y(-3). Let i = s - k. Is i a multiple of 24?
True
Suppose -123 = -h + 339. Suppose -3*r + h = s, -5*r + 4*s + 770 = 2*s. Is 2 a factor of r?
True
Suppose -22 = 2*g + 5*v, -3*v = -7*g + 4*g - 33. Let j = g - -13. Suppose 2*h - 168 = j*q, -h - 2*q + 96 = -0*q. Is h a multiple of 11?
True
Suppose -18*o = -23*o + 15. Suppose -4*k + 684 = -3*r, o*k - 516 = 3*r - 0*r. Does 24 divide k?
True
Let f(o) be the third derivative of 41*o**5/60 - 9*o**4/4 + 166*o**3/3 - 280*o**2. Does 14 divide f(6)?
True
Let l(t) = t**2 + 17*t - 18. Let g be l(-18). Suppose 5*u + z = 2*u + 1219, g = 5*u + 3*z - 2033. Is u a multiple of 12?
False
Let i(q) be the first derivative of q**4/4 - q**3 + 3*q**2 - 8*q - 