 (20/a + 0)/((-8)/(-36))?
True
Let m = -616 + 649. Suppose -m*c + 7*c + 5356 = 0. Is c a multiple of 13?
False
Is 27 a factor of (1287/26)/((-2)/(-12))?
True
Suppose 3*s + 43 = 22. Let w(j) = -j**2 - 13*j + 13. Is 16 a factor of w(s)?
False
Let x(w) = w**3 + 4*w**2 + 3*w + 17. Let c be x(-4). Suppose -c*m = l - 0*m - 114, -4*l + 2*m + 390 = 0. Is 33 a factor of l?
True
Let a(r) = r**3 - r**2 + 4. Let j be a(0). Suppose -j = -u + 2*u. Let y(t) = -25*t - 7. Is y(u) a multiple of 15?
False
Let v = -49706 - -71726. Does 20 divide v?
True
Let s(k) be the first derivative of k**4/4 - 2*k**3 - 5*k**2 - 9*k + 111. Is 2 a factor of s(8)?
False
Let t be (-2 - 37/3) + 13/39. Let h(v) = 2*v**2 + 21*v + 8. Is h(t) a multiple of 19?
False
Let x(w) be the first derivative of -w**3/3 - w**2/2 + 7*w + 30. Let n be x(-4). Is (-280)/42*6/n a multiple of 5?
False
Let o(y) be the first derivative of y**4/2 - 7*y**3/3 + 7*y**2/2 - 12*y - 45. Let k be 27/(-18)*10/(-3). Is 31 a factor of o(k)?
False
Let d = 1580 - 1100. Is d a multiple of 40?
True
Let n(z) = z**3 + 13*z**2 + 4. Let j be n(-13). Let w be 105/(-25) + j - (-212)/10. Suppose i - 79 = -3*c, -w = -c + 4*i + 14. Is 27 a factor of c?
True
Let k = -160 - -275. Let a = k + -72. Let i = -20 + a. Is 22 a factor of i?
False
Let h = -2149 + 3079. Suppose -926 = 6*t - 7*t - 2*m, -t + h = 3*m. Is 75 a factor of t?
False
Let f(j) = 47*j + 1 + 9*j**2 - 2 + 13*j**2 - 10*j**2. Is f(-7) a multiple of 9?
False
Suppose -14011*s + 4685 = -14006*s. Is s even?
False
Let o(n) = -2*n**3 + 2*n**2 + 16*n - 40. Let h be o(9). Does 74 divide (-4)/4 + (-4 + 4 - h)?
False
Suppose 4*o - 4*b = -2 + 14, -3*o = 3*b + 9. Suppose 5*g - 5*l + 10*l = 2485, 4*g - 5*l - 2015 = o. Does 20 divide g?
True
Let t(u) = -u**3 + u**2 - 14*u + 4. Let d be t(-7). Suppose -4*g + d = -10. Does 43 divide (-28)/(-7) + -1 + g?
True
Suppose -4*h = -20, 5*m - 5766 = h + 33344. Is m a multiple of 29?
False
Is 88 a factor of (-6 - 1466)/(10/(-110) - 0)?
True
Let w(i) = -12*i**2 + 1813*i - 256. Is 30 a factor of w(143)?
False
Let y = 103 + -101. Suppose -3*l = -3*k + 9, 5*l + 4*k = y*k + 6. Suppose l = 15*j - 8*j - 1036. Is j a multiple of 10?
False
Let m be ((-24)/15)/((-16)/840). Suppose -3*u = -2*u - 3*v - 76, u + v - m = 0. Let z = -32 + u. Does 10 divide z?
True
Let h = -1 - -85. Let a = 88 - h. Suppose 125 = a*g + 29. Is g a multiple of 13?
False
Let x = 45682 + -21329. Does 39 divide x?
False
Suppose -13*d + 44744 = -d - 19780. Is d a multiple of 103?
False
Let v = -534 + 523. Is (-166 + (-6 - v))/(-1 + 0) a multiple of 7?
True
Let c be (40/(-24))/(-5) - (-29368)/6. Suppose 49*v - c = 38*v. Is 47 a factor of v?
False
Suppose -4*s = -12, 16*s = -5*z + 20*s + 5638. Let x = z - -819. Is 52 a factor of x?
False
Let z be (1*1/(-2))/((-5)/(-50)). Let l(k) = -3*k - 11. Let p be l(z). Suppose 3*f = -3*i + 318, f = 3*i - p*f - 326. Is i a multiple of 16?
False
Let k(d) = -9*d + 124. Suppose -3*g - 121 = 5*a, -a - g - 15 = -5*g. Is k(a) a multiple of 58?
False
Let d = -52 + 68. Suppose 10*y - d = 6*y. Suppose y*n + 214 = 5*r, 5*r - 206 = -4*n - 0*n. Is r a multiple of 7?
True
Let k(u) = -14*u - 479. Does 11 divide k(-68)?
True
Suppose -v - a + 42 = -0*a, -36 = -v - 3*a. Does 20 divide v/(5 - 51/12)?
True
Let y(h) = h**3 + h**2 + 50*h - 249. Does 27 divide y(19)?
False
Let k(z) = 17*z - 50. Let j be k(35). Suppose 0 = -10*r + j + 575. Is 16 a factor of r?
True
Suppose -160 = -14*z + 6*z. Suppose -z*c - 652 = -11772. Is 49 a factor of c?
False
Let g(p) = p**2 + p + 10. Let b be g(0). Suppose n + b = -3*w - 0*w, 0 = 5*n - 2*w + 50. Let i(r) = -18*r - 16. Is 41 a factor of i(n)?
True
Suppose -30*w - 5071 = -41*w. Suppose 383 = 2*v + g, -5*v + 1417 = 2*g + w. Is 45 a factor of v?
False
Suppose 2*b = 2623 + 39293. Is 42 a factor of b?
True
Let p(c) = -2*c**2 - 41*c - 16. Let i be p(-20). Suppose 1045 = i*s + 5*k, -3*s + 3*k + k = -776. Is s a multiple of 10?
True
Is -3*1 - (-13250 + 10/(80/(-56))) a multiple of 141?
True
Is 45 a factor of 57485/30 + (-70)/(-84)?
False
Let w(o) = 33*o**2 + 122*o + 265. Is w(-24) a multiple of 35?
True
Suppose 0 = -5*i - 3*j - 96 + 2358, -4*i = -2*j - 1792. Suppose 26*t + i = 36*t. Is 9 a factor of t?
True
Let s be (-5 + 5 - -2296) + 0. Suppose -7*d + s = 7*d. Let m = d + -4. Does 32 divide m?
True
Let g(v) = -6*v - 4. Let c be g(5). Let w be (-25)/(-10)*c/(-5). Suppose 425 = -12*z + w*z. Does 14 divide z?
False
Suppose 2*c + 17387 = 5*g, 29*c - 31*c - 3487 = -g. Is 25 a factor of g?
True
Let s be (-2)/(6/(-3))*24*10. Suppose 0 = 29*i - 9*i - s. Is 3 a factor of i?
True
Let l(y) = -218*y - 10482. Is 78 a factor of l(-81)?
True
Suppose -15*x + 4650 = -10*x - 3*o, -3742 = -4*x - 2*o. Let v = x + 44. Does 95 divide v?
False
Suppose 5*c - 73 + 28 = 0. Let t(i) = i**3 - 10*i**2 + 10*i - 5. Let q be t(c). Does 22 divide q + -7 + -1 + 32?
False
Let z(a) = a**3 + 6*a**2 - 10*a - 6. Let x be z(-7). Let m be (-4 + 0)/(-16 + x). Suppose -m*t + 172 = -228. Does 10 divide t?
True
Let k = 3077 + -1255. Is k a multiple of 15?
False
Let l be (-2)/(16/(-100))*8/(-5). Let f = 24 + l. Suppose -f*r = 16 - 164. Is 8 a factor of r?
False
Let s(u) = 7*u**2 - 3*u + 4. Let b(n) = -4*n**2 + 2*n - 7. Let h(o) = -3*o**2 + o - 7. Let q(d) = -4*b(d) + 5*h(d). Let p be q(5). Is s(p) a multiple of 29?
True
Let t = 4875 - 1755. Is t a multiple of 13?
True
Let a = 254 - 217. Suppose a*o - 192 = 35*o. Does 6 divide o?
True
Let i be 80/8*(-18)/(-10). Let z(o) = 5*o - i*o - 6*o**2 - 3*o + o**3. Is 13 a factor of z(9)?
False
Let d = -10799 - -22740. Does 145 divide d?
False
Let z be 1/2 + 639/2 + 5. Is z - 1 - (-27)/9 a multiple of 36?
False
Suppose -8*w + 4*w = 4*d - 44, -3*d = -4*w - 26. Let x be (-2464)/(-55) + (-8)/d. Is ((-234)/x - 2/11)*-26 a multiple of 13?
True
Suppose -25*p + 325 = 6*p + 77. Suppose 0 = 5*c + 4*s - 324, -2*c - 2*c + s + 255 = 0. Does 15 divide 1090/p - 16/c?
False
Let f be (-1)/(26/12 + -2*1). Let s(n) = n**3 + n**2 - 12*n - 6. Let u be s(f). Let y = 41 - u. Does 31 divide y?
True
Let g = 20615 + 4242. Is 12 a factor of g?
False
Suppose 4*a - 9174 = -h, 3*h - 7272 - 1898 = -4*a. Suppose 0 = 3*c - 829 - a. Does 11 divide c?
False
Let u be 7 + 5/(35/6958). Suppose 4*z - 477 = -5*k + 853, 3*z + 2*k = u. Is z a multiple of 7?
False
Suppose -282*w + 896018 + 4915156 = 0. Is w a multiple of 16?
False
Suppose 37*r = 213725 + 140096 - 77949. Does 4 divide r?
True
Let f = 405 + -405. Suppose s - 3 = f, -2139 = 21*r - 25*r - 5*s. Does 59 divide r?
True
Let l(f) = -f**2 - 13*f - 13. Let n be l(-11). Let u be ((-1002)/(-9))/(2/n). Suppose -500 = -5*s + 5*h, 3*s - u = 4*h - 206. Is 24 a factor of s?
False
Let d be (-1*(-8)/(-2) - 0) + 31. Is ((-15)/d)/(-5)*-6*-168 a multiple of 7?
True
Let z = -71 - -135. Let o = -62 + z. Suppose 4*x + 3*i - 525 = 0, 0 = x + o*i - i - 130. Is x a multiple of 21?
False
Let g = 228 - -536. Suppose -2*n + 3*b = -402, 4*n + 4*b = -0*n + g. Is 13 a factor of n?
True
Let d(h) = 5*h**2 + 95*h + 1792. Does 8 divide d(-19)?
True
Suppose 0 = 3*w + 3, 0*q + 1112 = q - 2*w. Suppose 0 = 3*j + 123 - q. Is 47 a factor of j?
True
Suppose 144*i - 469425 = 588399. Is 8 a factor of i?
False
Let s be 0 - 0 - -8 - 5. Suppose 0*c = -3*c + 3*g + 1665, 3*g - 1695 = -s*c. Is 12 a factor of c?
False
Let d = -650 - -654. Suppose -3*l + d*i = -i - 2234, 4*l - 2*i = 2988. Is l a multiple of 11?
True
Let s(f) = 3*f**2 + 97*f + 96. Let u be s(-1). Let i = -22 - -85. Suppose -u*o + 27 = -i. Is o a multiple of 15?
True
Suppose -4*q + 10 = 18. Let f(t) = 3*t**2 + 3*t - 1. Let m be f(q). Is -15*m/(60/(-32)) a multiple of 10?
True
Let v(c) be the second derivative of c**5/20 - 4*c**3/3 - 18*c. Let t be v(3). Is ((-9)/(-9))/(t/36) even?
True
Let i = 9 - -59. Let o = i + -32. Suppose 0 = m - o + 4. Does 8 divide m?
True
Let r = 68 + -51. Let a(m) = r*m**2 + 5*m + 8 - 8*m**2 - 11*m**2 - 3*m**3. Is 14 a factor of a(-2)?
True
Suppose 11526 = 4*i + 4*p - 71950, 0 = -3*i + p + 62595. Does 14 divide i?
False
Suppose 2*h - s = -3*h + 9, -4*s = 3*h - 33. Suppose -2*f = 2*m - 5*m, -3*f = 3*m - 30. Suppose -h*n = -78 - f. Is n a multiple of 10?
False
Let p be 1*(-1611)/(-15)*10. Let u = p - 699. Does 25 divide u?
True
Suppose -64*f + 25604 = -62*f - b, 7*f = 5*b + 89626. Do