e -242 = -3*b - b - 5*a, 122 = 2*b + x*a. Suppose -b = -3*y + 81. Does 8 divide y?
True
Let x be (-8)/(-10) + 3785*(-144)/(-200). Suppose 18*j - 10846 - x = 0. Does 59 divide j?
False
Suppose 15*s - 122808 = -48468. Let i be s/(-70)*(-20)/(-6). Let o = -130 - i. Is 10 a factor of o?
False
Let v be (-1)/(-5) + (-59)/(-5). Let w be (8 - 0)/(13 - v). Let o(t) = -t + 18. Is 10 a factor of o(w)?
True
Suppose 2*y - 1614 = 4*v, -v + 146 = -4*y + 560. Let i = -234 - v. Is 12 a factor of i?
True
Let h(q) = -5*q - 18. Let z = 172 + -192. Does 7 divide h(z)?
False
Suppose -67*x + r - 162850 = -70*x, 3*r = -3*x + 162864. Does 50 divide x?
False
Let l = -26 + 31. Suppose s - 2 = -x, -s + l = -2*x - 3. Suppose -m = -4 - 1, s*y + 5*m - 249 = 0. Does 25 divide y?
False
Let n be (-3)/4*(-7)/((-7)/12). Let i(c) = -c**3 - 6*c**2 + 8*c + 5. Let h be i(n). Does 23 divide 4 - ((-4)/2 - h)?
False
Suppose -14 = 2*k + 3*w - 1, 0 = -2*k + 3*w + 17. Let c be (3 - (k - -2)) + 242. Let n = c + -88. Does 13 divide n?
False
Suppose 3*u = 9*p - 13*p + 10485, -5*p - 13918 = -4*u. Does 12 divide u?
False
Let f = -22 + 0. Let r = f + 25. Suppose 2*x - 89 = -4*q + 113, 0 = 4*q + r*x - 207. Is 17 a factor of q?
False
Let r be -4 + 4 - 4/((-4)/3). Suppose 0 = 2*h - 0*j - 5*j + 10, -3*h - r*j = -27. Suppose 5*o - h*k + k - 60 = 0, 3*k = -4*o + 79. Is 8 a factor of o?
True
Let u(h) = -h**3 + 3*h**2 + 6*h - 1. Let p be u(7). Let q be (16/12)/1*213. Let l = q + p. Does 12 divide l?
False
Suppose -3*q - 96993 = 51*h - 56*h, -3*q = 3*h - 58239. Is 28 a factor of h?
True
Suppose 0*g - 10*g + 20 = 0. Let t = 1 + g. Is -201*(-4)/(-2)*(-1)/t a multiple of 18?
False
Suppose -4*r = 50 - 158. Let w(i) = -i**2 + 26*i + 29. Let v be w(r). Is -1*(-39)/v*2 a multiple of 39?
True
Suppose 5*k - 15 = -3*l, -1 = 4*k - 4*l - 13. Does 4 divide k/1*62/6?
False
Let b(s) = s**3 + 29*s**2 - 27*s - 32. Let h be b(-28). Suppose -f = -g + 819, -3*g + 4*f + h = -945. Does 38 divide g?
False
Let a be 37636/(-16) + (-5 - (-126)/24). Let w = -1287 - a. Is w a multiple of 71?
True
Suppose 20724 + 20517 - 7851 = 42*d. Does 14 divide d?
False
Let d be 6/1*(-3)/(-6). Suppose d*q - 69 = 12. Suppose 0 = -2*n - q + 91. Is 16 a factor of n?
True
Let g(h) = 5*h**2 - 11*h - 116. Let i be g(-7). Let z = 1193 - i. Does 21 divide z?
True
Let i(x) = x**3 + 8*x**2 + 10*x + 15. Let v be i(-6). Let a = v + -79. Let s = 163 + a. Is 12 a factor of s?
False
Suppose -635 - 1734 = -23*m. Suppose 0 = 2*t + 4*w - 70, -t + 16 = -5*w - 47. Let k = m + t. Does 18 divide k?
False
Suppose 0 = -47*f + 34179 + 19113 + 24540. Is 12 a factor of f?
True
Let n(a) = -26*a + 24. Let w be n(-6). Suppose -w*q - 220 = -185*q. Is q a multiple of 4?
True
Suppose -o + 4*g + 10 = 0, 0 = -4*o + 3*g + 1 + 39. Let d = o + 30. Let y = d + -33. Does 2 divide y?
False
Let l = -13951 - -18197. Is l a multiple of 2?
True
Suppose -4*c = 4*b - 41564, -b + 41579 = -166*c + 170*c. Is c a multiple of 23?
True
Let g be (-21)/(-4 + -3) - (-2 - 2). Does 54 divide ((-5508)/(-119))/(1/g)?
True
Suppose 52*l - 53*l - 4 = 0. Let w = -3140 - -1778. Is 22 a factor of l/(40/w) - 8/(-10)?
False
Let i(g) = -5*g**2 - 7*g + 22. Let a be i(-8). Let n = a - -1355. Is n a multiple of 19?
False
Let m(t) = -490*t + 110. Let o(k) = -44*k + 9. Let v(q) = -4*m(q) + 45*o(q). Let l be ((-7)/3)/((-2)/(-6)). Does 21 divide v(l)?
True
Let y(j) = 50*j**2 - 13*j + 16. Suppose -3*z - m - 1 = -5, 0 = 5*z + 5*m. Is y(z) a multiple of 46?
False
Let f(s) = s**3 - 9*s**2 + 7*s + 8. Let l be f(8). Let t be 12/((0 - l) + 1). Suppose 0 = t*u - 11*u - 199. Is 22 a factor of u?
False
Let b = -7383 - -13447. Is b a multiple of 63?
False
Is -2 + (-529235)/(-28) - (-42)/56 a multiple of 225?
True
Let z(s) = s**3 + 43*s**2 - 159*s + 50. Is z(-23) a multiple of 13?
True
Let n be (12/(-8))/((-21)/112). Suppose -n*w + 4*w = 3*h - 466, -5*w - 25 = 0. Is 21 a factor of h?
False
Let l = 688 + 478. Let m = l - 528. Does 29 divide m?
True
Suppose 1134 - 40890 = -12*b. Is b a multiple of 11?
False
Let k be (-13)/26*(-1194 + 0). Is 11 a factor of (1 - -5*(-6)/30) + k?
False
Let r be (35/40)/((-1)/(-56)). Is (-7)/(r/(-21)) - -555 a multiple of 18?
True
Suppose 0 = 3*s - 5*i + 3 - 7, 8 = 2*s + 2*i. Let z be (16/10)/(1/5) - s. Suppose 0 = z*f + 4*t - 112, -2*t - 5 = -1. Does 4 divide f?
True
Let l = 2542 - 2536. Let s = -14 + -25. Does 8 divide s*(-4 + 22/l)?
False
Suppose -4*c + 4*p = -12, -5*p = -0*c + 5*c - 45. Suppose c*o - o = 5*s - 20, -s = 4*o - 9. Suppose 165 - s = 8*i. Is i a multiple of 6?
False
Let b be 8 + -442 + (6*1)/(-2). Let g = b - -739. Let u = g - 208. Is 9 a factor of u?
False
Let z(i) = 3*i**3 + 3*i**2 - 38*i + 468. Is z(12) a multiple of 42?
True
Suppose 389*p - 166518 = 378*p. Is p a multiple of 11?
False
Suppose -39*y = -42*y + 18. Let i(r) = -y - 636*r + 22 + 635*r. Is i(-7) a multiple of 12?
False
Let k = 269 - 270. Suppose -5*g - i = i + 200, 0 = g + i + 43. Does 55 divide (351/54)/(k/g)?
False
Let t be 14 + -2 + -1*(-3 - 2). Suppose t*n - 20*n = 483. Let i = -17 - n. Is 22 a factor of i?
False
Let u(v) = -11*v - 2. Let s be u(-3). Let r = s + -62. Let p = r + 129. Does 19 divide p?
False
Let b = -19401 - -30927. Does 102 divide b?
True
Suppose y + l + 4 = 0, -2*y + 4 = y - 5*l. Let r be -5 - 3/y*-2. Is 64/(2 - (-12)/r) a multiple of 18?
False
Suppose -23*z + 12*z - 1870 = 0. Is 1804/10 + -1 + 68/z a multiple of 15?
False
Let h be 12*(-2)/9*6. Is (1*33)/(31/h + 2) a multiple of 33?
True
Suppose -4*w - 4*f + 7 = 31, 5*w = 2*f - 2. Suppose -4*i + 46 = -5*p - 40, 5*p + 50 = -5*i. Is 18 a factor of (-270)/w + p + 11?
False
Let r(l) = -8*l**3 - 23*l**2 - 63*l + 81. Let g(b) = -3*b**3 - 8*b**2 - 21*b + 27. Let z(k) = -11*g(k) + 4*r(k). Is z(8) a multiple of 23?
True
Does 24 divide (-4 - -116)/8*(1916 + 16)?
True
Let v(k) = k**2 - 3*k - 16. Let o be v(6). Suppose -5*b = -5*q - b - 638, o*b = -q - 136. Is 13 a factor of ((-62)/155)/(1/q)?
True
Does 4 divide 10/(-3) - (-22 + (-30226)/3)?
False
Let z be (2 - (-24)/(-15)) + (-426)/(-10). Let p = -38 + z. Suppose -4*x = -2*x + 2*a - 8, -20 = p*a. Is x a multiple of 3?
False
Is (616/126)/(-11) + (-3919)/(-9) - 3 a multiple of 9?
True
Suppose -r + 29 = 25. Suppose -r*l - 19 + 445 = f, 2*f = 5*l + 813. Does 69 divide f?
True
Suppose 5*s = -5*q + 13108 - 4408, -s = 5*q - 1724. Does 218 divide s?
True
Let m(b) = b**3 - 16*b**2 + 21*b + 8. Let k be (1 - 2)/((-2)/4). Let i be ((-3)/k)/((-5)/50). Is m(i) a multiple of 38?
False
Let g(u) = -7*u - 83. Let n be g(6). Does 50 divide (336/20)/(-7)*n?
True
Let q = 155087 - 86519. Does 56 divide q?
False
Suppose 13*n - 4*m = 14*n, 4*m = n - 8. Suppose -n*u = 3*k - 3481 - 548, -3*k = -3*u + 3027. Suppose -6*t = t - u. Is 24 a factor of t?
True
Let h be (24/15)/(2/(-5)). Let w be (287/(-28))/(1/h). Let z = w + -5. Is 9 a factor of z?
True
Let n(x) = 722*x - 1521. Is n(8) a multiple of 115?
True
Let f be (-3 + -2 + 2)*(-7)/(-21). Is 7 a factor of 8/(-3)*(-345)/(-10)*f?
False
Let h(p) = -p**3 + 7*p**2 + 2*p - 9. Let c be h(7). Let l = 1252 + -692. Suppose 3*q + 700 = 5*x, -c*q = -0*x + 4*x - l. Is 19 a factor of x?
False
Is 8/((-176)/77)*((-12410)/14 + -1) a multiple of 18?
False
Suppose 4*m - 5*p - 34086 = 0, -11*m + p = -7*m - 34062. Is 66 a factor of m?
True
Let u(p) = -1170*p - 976. Does 22 divide u(-2)?
True
Let l(j) = 203*j + 2132. Is l(18) a multiple of 8?
False
Let n = 435 + 299. Let g = n - 354. Suppose k = 6*k - g. Is 38 a factor of k?
True
Suppose -11*w - 622 = -2239. Let u(p) = -7*p - 8. Let g be u(-6). Suppose w + g = j. Is j a multiple of 13?
False
Let s(v) = -29*v + 439. Let p be s(15). Suppose -1413 = -3*t + 9*o, 0 = 2*t - p*o - 269 - 663. Is t a multiple of 22?
False
Let d(l) = -l**3 - 9*l**2 + 28*l + 389. Does 19 divide d(-21)?
False
Suppose 1138 = -49*d + 3098. Let p = 272 + d. Is 12 a factor of p?
True
Let n(z) = 12*z - 444. Let g be n(30). Let l be 2/3*(-966)/(-4). Let i = g + l. Is 7 a factor of i?
True
Let m(i) = 11*i - 147. Let o be m(15). Suppose 0 = o*b - 9580 - 5936. Does 35 divide b?
False
Let g = 195 + -190. Suppose -c + 2 = 0, -5*h + 0*c + 1060 = g*c. Does 14 divide h?
True
Suppose -4*o = -16, -2*k - 2194 = -4*k - 2*o. Let z = k + -594. Does 25 divide z?
False
Let b(k) = -84 + 48*k + 43*k - 6*k -