(-3 - 37/2)?
False
Let k = -13 + 14. Let u be ((-40)/(-16))/(k/(-2)). Let z = 36 - u. Is 15 a factor of z?
False
Let u(o) = -o**3 + 6*o**2 - 3*o + 6. Let n be (15/25)/(2/20). Let l be u(n). Is 14 a factor of (-8)/l + (-40)/(-3)?
True
Let x(u) = -u**3 + 20*u**2 + 47*u - 45. Is x(22) a multiple of 8?
False
Suppose -2*d - 4 = 6. Let r = d + -1. Is 14 a factor of (168/(-9))/(r/9)?
True
Suppose 5*n - 3*y = y - 872, 3*y = -6. Suppose 79*o + 312 = 73*o. Let j = o - n. Does 31 divide j?
True
Suppose -i + 4 = -0*i + 2*o, 5*i - 2 = -o. Suppose i*q = -2*q + 256. Is 39 a factor of q?
False
Suppose -10 - 14 = 6*m. Let t be 5*(-2)/m*2. Suppose t*r + 3 = p, 0 = 3*p + 2*r - 3*r - 79. Is p a multiple of 14?
True
Let x = -29 - -57. Suppose 3*n = 7*n - x. Does 2 divide n?
False
Let h(s) = -11*s**2 + 5*s**3 + 0*s - 6*s - 4*s**3 - 2*s**3 + 9. Let z be h(-11). Suppose 240 + z = 5*c. Does 17 divide c?
False
Let z(u) = 23*u**2 - 4*u - 19. Let v(x) = 4*x - 7. Let k be v(5). Let w(y) = 11*y**2 - 2*y - 9. Let l(s) = k*w(s) - 6*z(s). Is l(3) a multiple of 36?
True
Suppose -4*u - g + 16 = 0, -3*u + g = -g - 12. Suppose 4*t + 5*b - 245 = u*b, 5*t - 285 = 3*b. Is t a multiple of 12?
True
Suppose -5*y + 15 = 0, -3*z + 17 + 10 = 4*y. Suppose z*d + 12 = 3*w + 87, 3*w = 15. Does 18 divide d?
True
Let f(l) = 28*l + 5. Suppose 5*i - 1 = 19. Is f(i) a multiple of 13?
True
Is (-2 - (1 - -118))*-2 a multiple of 24?
False
Suppose 0 = 4*u + 4*c - 972, -5*u = -u - 2*c - 990. Is u a multiple of 9?
False
Does 17 divide 907/(42/38 - (-18)/(-171))?
False
Let w = 851 + -563. Does 16 divide w?
True
Suppose -153 = v + 2*v. Let c = v + 89. Suppose h = -0*q + 2*q + c, 2*q = 2*h - 86. Does 9 divide h?
False
Suppose 35 = 13*w - 12*w. Suppose -2*s - 4*t + 130 = 0, -6*s + 4*s + 3*t = -123. Let n = s - w. Does 11 divide n?
False
Let r be (-3)/((-7)/2 + 2). Suppose -r*c + 5*c = 6. Suppose -2*i + 214 = 2*k, -218 = -c*k - 3*i - i. Is 35 a factor of k?
True
Suppose -4*p + 9755 = 1215. Does 5 divide p?
True
Let v be 6/(-9) - (1 + 730/(-6)). Let u = v + -114. Is u a multiple of 5?
False
Let i(o) = o**3 + 8*o**2 + 10*o - 7. Let n be i(-6). Suppose 2*f = -n*f + 168. Does 6 divide f?
True
Suppose -3*y = -v + 9, 5*y - 14 = 5*v - 39. Let t(b) = -17*b - 4. Is t(y) a multiple of 10?
True
Let p = 46 - 38. Suppose -b = -20 - p. Is b a multiple of 14?
True
Let v(c) = -c**2 - 9*c - 7. Let t = 27 - 26. Suppose 3*f + 3*i + 33 = 0, 4*i + t + 1 = 3*f. Is v(f) a multiple of 6?
False
Suppose 0 = 3*g + 7*k - 3*k - 2188, 3*g - 3*k - 2202 = 0. Suppose t - 4*t + 578 = 4*m, t + g = 5*m. Is m a multiple of 22?
False
Let q = -44 + 46. Suppose 133 = i - q*s + 3*s, 3*i + 4*s = 401. Is i a multiple of 19?
False
Let o(s) = s**3 + s**2 - s + 2. Let u be o(-2). Does 8 divide (-4)/((4/(-9))/2) - u?
False
Suppose 624 = 56*z - 216. Does 5 divide z?
True
Suppose 46 = 2*q - 3*q. Let n = -5 - q. Is n a multiple of 8?
False
Let k = 372 + -363. Is k a multiple of 2?
False
Let c = 13 + 49. Let z = c + -15. Is 3 a factor of z?
False
Let r(i) = 5*i**2 - 2*i - 15. Let h be r(4). Suppose 21 = -5*j + 1, -p - 2*j + h = 0. Does 13 divide p?
True
Let a(o) = -2*o**2 + o + 2. Let i be a(2). Is 9/(i/(-304)*30)*5 a multiple of 38?
True
Is 2 a factor of 1 - (3760/(-72) - (-2)/9)?
False
Let r(x) = -635*x - 22. Is r(-2) a multiple of 7?
False
Let h = -265 + 1483. Is h a multiple of 42?
True
Let i(y) be the first derivative of y**4/4 + 163*y + 6. Is i(0) a multiple of 21?
False
Suppose -21*k + 662 + 1585 = 0. Is 9 a factor of k?
False
Let s = 179 + 778. Is 87 a factor of s?
True
Suppose -o + 18 = -23. Let c be (-2)/4 - (-15)/2. Suppose -t + o = c. Is t a multiple of 17?
True
Let o = 63 + -75. Suppose 3*d + 169 = 52. Let v = o - d. Does 9 divide v?
True
Suppose 0 = 5*w - 2888 - 1512. Does 16 divide w?
True
Is 305 + 0 - ((-3 - -3) + -1) a multiple of 51?
True
Let p be ((-13)/39)/((-1)/12). Suppose -5*q = -4*l - 33, -p*l - 25 = -4*q + 3. Does 3 divide ((-20)/l - 1)*1?
True
Let q = -10 - -14. Suppose j = -j - 4*t - 8, q*j - 32 = 4*t. Suppose -76 = -4*u + j*i, 2*i - 88 = -0*u - 4*u. Is 7 a factor of u?
True
Suppose -5*b + 0*b = -30. Let h = 13 - b. Does 7 divide h?
True
Suppose 0 = -26*l + 29*l - 225. Suppose -891 = -17*y - l. Is y a multiple of 12?
True
Suppose 30*g - 34*g + 2944 = 0. Does 16 divide g?
True
Let m = -98 + 103. Does 3 divide m?
False
Suppose h - 5 = -2*m, -4*m + 5*m - 19 = 5*h. Does 12 divide h - (-4)/(16/108)?
True
Let f = 140 + 278. Suppose -2*c - 90 = -3*c + 3*b, 5*c - f = -b. Is 12 a factor of c?
True
Is 15 a factor of (-43)/((-301)/2110) - (-3)/(-7)?
False
Is (492 - 10) + (-3)/3 a multiple of 37?
True
Suppose -8*f + 3*f = 0. Suppose f = 11*a - 7*a - 32. Let w = a + 9. Is 9 a factor of w?
False
Let c(r) = -r**2 + 5*r + 3. Let v be c(5). Suppose -2*w + v - 25 = 0. Let t = 27 + w. Is t a multiple of 6?
False
Let d(n) = -25*n - 317. Does 3 divide d(-28)?
False
Let n(x) = 20*x + 1. Suppose -z + 0*z - 1 = 0. Let b be 0 - z*(3 - 1). Is 30 a factor of n(b)?
False
Let p be 2/(-10) - (-63)/15. Suppose 0*a - a - i + 5 = 0, p*a - 17 = -i. Suppose 8*v - a*v - 192 = 0. Is v a multiple of 25?
False
Let h(k) = k**2 + 4*k - 17. Let d be h(-7). Suppose 2*f = d*y + 160, 2*f + 3*y - 219 = -24. Is 10 a factor of f?
True
Suppose 5946 - 17846 = -17*s. Is 11 a factor of s?
False
Let l = 7 - 12. Let y(o) = o**2 + o - 4. Let h be y(l). Let d = 4 + h. Is 5 a factor of d?
True
Let v = -279 + 450. Suppose 2*t + m = v, -6*m = 5*t - 2*m - 423. Does 6 divide t?
False
Is (3/((-9)/(-1317)))/(2/2) a multiple of 39?
False
Let m(n) = -n + 8. Let j be m(-8). Suppose 0 = -4*u + j - 4. Is ((-63)/12 + u)*-20 a multiple of 15?
True
Let j be 8*592/26 - (-8)/(-52). Suppose 11*h = 4*h + j. Is 7 a factor of h?
False
Does 23 divide 128 - (6/2 + 3)?
False
Let y(q) be the second derivative of -q**5/10 + q**4/4 + 2*q**3/3 - 10*q. Does 23 divide y(-3)?
True
Let w be (-198)/(-4)*24/9. Suppose 2*f + w = 2*q, 4*q = q + 2*f + 203. Does 14 divide q?
False
Let f(j) be the second derivative of 5*j**3/2 + j**2/2 - 2*j. Let s be f(-3). Is -4*s/(-32)*-2 a multiple of 3?
False
Let p = 38 + -35. Let a be (0 + (-28)/3)*-3. Suppose a = 5*g - p*g. Does 7 divide g?
True
Let q be -3 + (2/7 - 88/14). Does 4 divide (-4)/(24/q)*64/3?
True
Suppose -3*w - 5*a = -9 - 23, -2*a = -w + 7. Suppose -h = -2*h - 4*o + 12, 0 = -3*h + 3*o - w. Suppose h*g + 2*g = 24. Is g a multiple of 12?
True
Suppose -42*j - 3330 = -13410. Does 15 divide j?
True
Let m(w) = 2*w + 24. Let f be -3*2/(-6)*-17. Let z be m(f). Is 5 a factor of ((-12)/z)/(2/35)?
False
Let j(o) = -o**2 + 2*o + 1. Let y(a) = 2*a - 2. Let h be y(-1). Let q be j(h). Let i = 9 - q. Does 11 divide i?
False
Let y(l) = -1. Let x(o) = 11*o + 2. Let n(u) = -x(u) + 3*y(u). Does 28 divide n(-3)?
True
Let k = 2579 + -1243. Is 8 a factor of k?
True
Let d(s) = 2*s + 112. Let f be d(0). Suppose -2*b + f + 408 = 0. Suppose 2*u = -3*u + b. Does 13 divide u?
True
Let q(w) = -w**2 + 5*w + 14. Let k be q(7). Suppose r - 47 + 17 = k. Is r a multiple of 3?
True
Let u = -599 + 859. Does 20 divide u?
True
Suppose 0 = j - 5*a - 270, 1350 = 5*j - 12*a + 8*a. Is 10 a factor of j?
True
Let k(s) = 24*s**2 + 3*s + 6. Does 12 divide k(4)?
False
Suppose 19*u - 233904 = -69*u. Is 24 a factor of u?
False
Let w(f) = -108*f - 42. Is w(-9) a multiple of 10?
True
Let n = -16 - -25. Let q be (-166)/(-18) - 2/n. Suppose 0 = -q*s + 4*s + 95. Does 5 divide s?
False
Let v(d) = 240*d + 4. Is 26 a factor of v(1)?
False
Let s = -17 - -17. Suppose 5*t + s*t + 647 = 4*i, -4*t = i - 188. Suppose -i = -m - 5*m. Is m a multiple of 6?
False
Suppose -5*q + 2631 = -3*t, q = -0*q + 5*t + 513. Is q a multiple of 58?
False
Let z = -7 + 9. Suppose -z*x = 3*x - 360. Does 12 divide x?
True
Let l be 8*((-70)/4)/(-7). Let k = l - 17. Let n(d) = d**3 - d**2 - 2*d. Is 6 a factor of n(k)?
True
Does 11 divide (-6205)/(-51) + (-4)/6?
True
Let h = 1815 - 1065. Does 20 divide h?
False
Let c = -3017 - -4768. Is 17 a factor of c?
True
Let i(m) = -9*m - 6. Let h be 864/(-30) + 8/10. Let b = h - -24. Does 10 divide i(b)?
True
Suppose 0 = 5*z - 4*z - 75. Let a = 46 + -71. Let w = a + z. Does 25 divide w?
True
Let m(y) = y**3 - 38*y**2 - 32*y + 83. Does 24 divide m(39)?
False
Does 23 divide (6 - (-80)/(-10))*(-2018)/4?
False
Let o =