18*r - 22*r = 2*s - 25166. Is 10 a factor of r?
True
Suppose -5*n = -5*i + 110, i = -5*n + 1 - 3. Suppose 0 = -3*s - 3*s + i. Suppose -5*q + 7*b + 1304 = s*b, 3*q - 804 = -3*b. Is q a multiple of 44?
True
Let n(r) = -r. Let i(f) = -f**3 + 36*f**2 + 76*f - 54. Let s(u) = i(u) - 6*n(u). Does 29 divide s(38)?
True
Suppose -10*v = -188041 + 76646 - 125455. Is 15 a factor of v?
True
Let v = 64 + -29. Let u = 66 - v. Suppose -7*m = -192 + u. Is m a multiple of 23?
True
Let y = -239 - -242. Suppose -284 = -5*a + y*z, 0 = 4*a + 2*z + 2*z - 208. Does 5 divide a?
True
Let j = -63 - -37. Let o = j + 29. Suppose 3*c - 225 = -o*r, c - 29 = 4*r + 51. Does 19 divide c?
True
Let w(m) = -m**3 + 14*m**2 + 29*m + 46. Let u be w(16). Is (7 + u - (-296)/16)*18 a multiple of 10?
False
Let m(j) = -j - 8. Let v be m(-10). Suppose -3*k + 501 = 3*c, -165 = -c - k - v*k. Does 7 divide c?
True
Suppose 20*j = 3*j + 351558 + 51342. Is 20 a factor of j?
True
Does 13 divide 49224/336*(8/(-10))/(4/(-130))?
True
Suppose 11*f + f = -1344. Let l = 143 + f. Is l a multiple of 13?
False
Suppose -2*q = -10 + 2. Suppose 3*p - 486 = -q*z, 641 = 3*p + p + 3*z. Let g = p + -117. Is 37 a factor of g?
False
Let i(r) = -r**2 - 9*r - 13. Let w be i(-6). Suppose -7 = -5*t + 8, 4*m - 11 = -w*t. Does 33 divide (15/10)/(m/(-218)) + -3?
False
Is 10 a factor of (1 - 85269/(-9))/((-242)/(-363))?
False
Let o(c) = 313*c**2 + 7*c - 83. Is 19 a factor of o(5)?
False
Suppose 0*w - 3*w + 4*d + 1884 = 0, 5*d + 15 = 0. Suppose -14*c - w = -17*c. Is 8 a factor of c?
True
Suppose 6*s = -5*s + 33. Suppose -s*v + 5*v - 2066 = -4*l, 2585 = 5*l + 2*v. Is 20 a factor of l?
False
Suppose 2*i - 6 = 0, 2*r = 12*i - 13*i + 8295. Does 15 divide r?
False
Let k(x) = -502*x - 7. Let v = -166 - -165. Is 43 a factor of k(v)?
False
Let y = 288 - 461. Let n = y - -257. Suppose -6 = 2*d, m = -3*d - d + n. Is m a multiple of 12?
True
Suppose 5*g + 2191 = -659. Let m = g + 1768. Is 11 a factor of m?
False
Let t be ((-104)/(-65))/(1 + 6/(-10)). Let n be (t/(-8) + 0)*2. Does 12 divide 47 - -5 - (1 - (n + 2))?
False
Let j(n) = 4*n + 105. Let t be j(-29). Is 15 a factor of (-220)/(-16)*(-7 - t)?
False
Suppose 3*w = 2*r + 35, w + r - 8 = 2. Suppose 0 = n - 4*m + w, n + 12 = 4*n - 3*m. Does 32 divide (-48)/n*(-6 - 0)?
True
Let o = 225 + -223. Suppose 830 = -18*r + 19*r + 4*i, 2*r + o*i = 1630. Is 54 a factor of r?
True
Let o(d) = 591*d + 50. Does 31 divide o(6)?
True
Suppose -11616 + 17442 + 87166 = 16*i. Is 112 a factor of i?
False
Let v be 1/9 + 208/72. Suppose -3*u - v = 0, 10*m - 12*m - 4*u = -248. Does 14 divide m?
True
Let o = -41 + 41. Suppose o = -y + 13 + 58. Suppose 5*r = -4*q + 240, -5*q = 4*r - 121 - y. Does 16 divide r?
True
Suppose 1935 = 3*v - 83*k + 84*k, 0 = 2*k + 6. Is 8 a factor of v?
False
Let c be 12/(57/24 + -2). Suppose -2*z - y - 26 = 0, y - 57 = 5*z + 1. Let o = z + c. Is o a multiple of 10?
True
Let j be (1 - -2)/(0 - (-2 + 1)). Suppose -j*z + 9 = -4*w - 1, -z + 3 = -w. Does 2 divide (12/(-8) + 2)*(w - -15)?
False
Suppose 0 = -839*k + 863*k - 90912. Is k a multiple of 42?
False
Let z(h) = -40*h + 21*h + 21*h + 19 + h**2. Let x be z(0). Suppose -3 = -n - 5, b - x = 4*n. Does 9 divide b?
False
Let i = 81 - 317. Let j = i - -606. Does 11 divide j?
False
Let t(p) = p**2 + 3*p**3 + 2*p - 5*p + 0*p**3 - 1 - 2*p**3. Let v be t(3). Suppose 0 = -v*k + 23*k + 27. Is k a multiple of 2?
False
Suppose -s = 2*v + 3, v - 2*v = -5. Let d = s - -92. Does 20 divide d?
False
Let s(i) = -i**2 - 8*i - 10. Let j be s(-6). Let h(r) = r**3 + 6*r**2 + 10*r + 25. Let o be h(-5). Is 25 a factor of j*((-358)/(-4) - o)?
False
Let m be ((-39)/(-26))/(27/(-10) - -3). Suppose -d = -3*d + 3*i + 439, m*i = -25. Is d a multiple of 40?
False
Let y be 748/340 - (-2)/(-10). Let d(i) = -i**3 + 5*i**2. Let r be d(5). Suppose -50 = -r*f - y*f. Is 17 a factor of f?
False
Let f(q) = 554*q - 448. Is 10 a factor of f(2)?
True
Let p = -264 + 276. Is 1*p/2 + 520 a multiple of 13?
False
Let n(o) = -o**3 + 18*o**2 + 61*o - 16. Is n(19) a multiple of 2?
True
Let l(o) = 2*o - o**3 - 18 + 14*o**2 + 39 - 53. Is l(12) a multiple of 10?
True
Let u(c) = 6049*c - 6110. Is 143 a factor of u(5)?
False
Let u(w) = 2*w**2 + 18*w - 305. Let o(l) = -14*l + 11. Let g be o(3). Is u(g) a multiple of 48?
False
Let t be (-12)/(-150) + (-31488)/(-150). Suppose 0 = -2*u - 4*w - 306, w + 0*w = -3. Let b = u + t. Is b a multiple of 21?
True
Let b(n) = n**3 - 3*n**2 + 3. Let h be b(3). Let u be -1 + 16/h - 12/9. Suppose 72 = u*s - 228. Is 14 a factor of s?
False
Let m = -14279 - -18584. Is 5 a factor of m?
True
Suppose 0 = -236*k + 242*k - 18. Is 11 a factor of (k - 152/40)*(-595)/2?
False
Let h(y) = 32*y**2 + 17*y - 2. Suppose 101*g + 24 = 93*g. Does 13 divide h(g)?
False
Let d = 44 - 52. Let n be ((-76)/d)/((-1)/(-6)) - 1. Suppose -2*j + 344 + n = 0. Is j a multiple of 26?
False
Let g(j) = 23*j**3 - 21*j**2 + 144*j - 9. Is 13 a factor of g(7)?
False
Suppose 5*f = -3*c + 1251 - 141, -2*f + 3*c + 465 = 0. Suppose -5*t = 70 + f. Let y = t + 155. Is 16 a factor of y?
True
Let g(q) = -4*q**3 + q**2 - 6*q + 4. Let l be g(-4). Does 24 divide (-9116)/(-10) + (-180)/l?
False
Let p = 167 - 182. Is -2 + 3172/6 + (-5)/p a multiple of 17?
True
Let x(f) = 2*f**3 + 31*f**2 - 34*f + 7. Let d be 4*3/24*-22 - 3. Is 17 a factor of x(d)?
True
Let k be (1 - (-1)/4)*8. Let r be (-3)/5 + 3096/k + 5. Suppose 0 = -4*i + 4, -4*f = 2*i - 4*i - r. Is 21 a factor of f?
False
Let w(h) = -h**3 + 3*h**2 - 7*h - 270. Is 111 a factor of w(-18)?
True
Suppose 4*y = 33*y + 37033. Let o = y + 2640. Does 25 divide o?
False
Let x be ((-2)/(-6))/((-3)/9) - -27. Suppose -x*s - 63 = -29*s. Suppose -4*b - q + 39 = 0, 2*b = b + 2*q + s. Is b a multiple of 11?
True
Suppose 0 = 5*s - 20, 14*s = 3*o + 11*s - 24720. Is 18 a factor of o?
True
Suppose -6730 = -49*t + 23650. Is 124 a factor of t?
True
Suppose -30*w - w = 16368. Let l = w + 1088. Is 35 a factor of l?
True
Let h be 14*(24/6 - 88/28). Is 22 a factor of 44*22*6/h?
True
Let t = 995 + 380. Does 13 divide t?
False
Let a(f) = 2*f**3 - 47*f**2 + 27*f - 90. Let v be a(23). Suppose -b - 736 = -2*x, v*x - 5*b - 729 = 15. Is 85 a factor of x?
False
Suppose -3*u - 31 = 5*f, -3*u - 15*f + 14*f - 35 = 0. Does 55 divide (1870/34)/((-2)/u)?
True
Let c be 1*3/(15/1600). Suppose -5*r + d = 6*d - c, -4*d = 3*r - 197. Is 9 a factor of r?
False
Let y = 87966 + -44716. Is y a multiple of 50?
True
Let y(l) = l**3 - 15*l**2. Let a be y(15). Let k be (-96 + 3)*(-1 + a). Let h = k - 44. Does 7 divide h?
True
Let s be (-292)/(-14) - (-2)/14. Suppose s*x - 10393 = 2333. Is x a multiple of 62?
False
Let b be 9/45 - 3588/15. Let x = b - -500. Is 9 a factor of x?
True
Suppose -1 + 1 = 6*d. Suppose d = 7*l - 2*l, -3*l = 2*m - 88. Suppose 0 = 4*k - f - 65, 5*k + 5*f - 6 = m. Does 9 divide k?
False
Suppose w + 2*j + 5 = 0, 2*w + 0*w - j = 15. Suppose 5*g = -15, -4*d = -w*d + 5*g + 19. Suppose -2*b + 60 = 5*s - 2*s, -d*s + 78 = 2*b. Does 18 divide s?
True
Let g = -503 - -516. Suppose -4*m = -g*m + 1242. Is 8 a factor of m?
False
Suppose -247*i + 4767077 = 220400 - 3784139. Is i a multiple of 16?
True
Let u(y) = 828*y + 2206. Is 83 a factor of u(24)?
True
Let t = -179 - -180. Does 35 divide (75*t)/(102/170)?
False
Let p(i) = 9*i + 22. Let u be p(18). Let z be (u/16)/(1/34). Suppose 3*j = 15, -j - z = 2*y - 4*y. Is 9 a factor of y?
True
Let w be 141/(-3 + (-7)/(-2)). Is 29 a factor of 1/(-2)*15*(-22936)/w?
False
Let h(l) = -l**3 + 18*l**2 - 20*l + 53. Let v be h(17). Suppose 0 = 5*m - v*r - 1368, m - 552 = -m + 2*r. Is m a multiple of 36?
False
Suppose -125*a = -101*a - 672. Suppose a*z = 14*z + 6272. Is z a multiple of 10?
False
Suppose 0 = 39*y - 45*y + 30. Suppose -y*o + 4*x = -831, -4*o = -17*x + 16*x - 667. Is o a multiple of 2?
False
Let r = -22 + 25. Suppose r*m = -2*m + 50. Let v = m - 1. Does 9 divide v?
True
Suppose -39817 = -51*p + 29441. Is p a multiple of 14?
True
Suppose -67 - 3 = -10*l. Let y(n) = -n**3 + 7*n**2 + 8*n - 19. Does 32 divide y(l)?
False
Let s(h) = -h**3 + 19*h**2 + 24*h + 44. Suppose 454 = 4*n - 0*c + 2*c, -5*c = 25. Let f = n + -96. Is 31 a factor of s(f)?
True
Let i(s) = s - 10. Let m be i(10). Suppose 0*r - 4*r + 16 = m. Is 17 a factor of 136*(-3 - -7)/r?
True
Le