 (12/(-10))/(10/(-75)). Does 13 divide (-6)/9 + 501/y?
False
Let y(g) = -g**3 - g**2 + g + 1. Let d be y(0). Suppose -2 = -3*b + d. Does 24 divide (-289)/(-5) - b/(-5)?
False
Let c(m) = m**2 - 2*m. Let y(i) = 24*i**3 - i**2 - i + 1. Let u be y(1). Suppose -2*q + z - 13 = 2*z, -u = 2*q + 3*z. Is c(q) a multiple of 8?
True
Let t(a) = a**3 + 37*a**2 + 50*a + 20. Does 18 divide t(-35)?
True
Let o(x) be the second derivative of x**4/12 - x**3/6 - 2*x. Let m be o(-2). Let v = 25 - m. Is v a multiple of 5?
False
Let i(q) be the second derivative of -17*q**3/6 - 39*q**2/2 + 23*q. Does 11 divide i(-8)?
False
Does 35 divide (-138)/15 + 10 - 5238/(-15)?
True
Let g(f) = -44*f**3 + 3*f**2 + 5*f + 36. Does 20 divide g(-4)?
True
Let v(b) = -4*b**2 - 6*b + 1. Let z be v(-2). Is 12 a factor of ((-176)/(-20))/(z/(-45))?
True
Suppose -4 = 5*n + 6. Is (-1848)/(-13) - n/(-13) a multiple of 40?
False
Suppose 12*i = i + 3410. Is i a multiple of 50?
False
Suppose 3*q = -3*l + 4965, -l = -0*q - 2*q + 3325. Is q a multiple of 12?
False
Let t(q) be the first derivative of -q**2/2 + 9*q - 2. Let d be t(5). Suppose -r = r - d*i - 96, -3*i = -3*r + 144. Is 14 a factor of r?
False
Let v = -54 + 78. Suppose g = 6*g + 3*r - 144, -g + v = -r. Is g a multiple of 3?
True
Let q(g) = -g**2 + 4*g - 1. Let n(k) = 5*k - 1. Let l(r) = 3*n(r) - 2*q(r). Let c = 140 - 146. Is l(c) a multiple of 10?
False
Suppose 4*w - 5*w - 4*o = -45, 0 = 4*w + 2*o - 208. Does 4 divide w?
False
Suppose -24*b + 16*b = -40. Suppose -150 - 1885 = -b*r. Does 52 divide r?
False
Let l = 5 - 11. Let g = 5 - l. Does 14 divide 460/g + (-18)/(-99)?
True
Let l = 14 - 3. Let c = 15 - l. Is 4*(-9)/(-12) + c even?
False
Let y(d) = 5*d - 10. Let p be y(13). Suppose -5*k = -p - 620. Let m = -72 + k. Does 21 divide m?
True
Suppose -r + d = 4*d + 3, -3*r + 4*d - 48 = 0. Let m be r/(-5) + (-4)/10. Is 0 - m*(0 + -19) a multiple of 19?
True
Is 13 a factor of (-1554)/(-2 - 4) - -1?
True
Let a(b) = 4*b**2 + 16*b + 76. Is 80 a factor of a(-17)?
True
Let b be (-2)/(-5) + 12/20. Suppose -14 = -3*v + b. Does 5 divide v?
True
Let m = 379 + -130. Suppose -c = -3*v + 291, 0 = -2*v + 3*c - 55 + m. Is v a multiple of 6?
False
Let z = -2 + 1. Let u be 212/(-4 - -2)*z. Let q = u - 63. Is q a multiple of 15?
False
Does 85 divide (-42)/(-28)*2048/3 - 4?
True
Let y be ((-20)/(-25))/(2/30). Does 8 divide (2/8 + 39/y)*32?
True
Let w = -3 + 25. Let p = w + -4. Does 9 divide p?
True
Suppose 2 = 2*r - 4. Suppose p - 160 = r*p. Is 15 a factor of p/(-6)*(-72)/(-16)?
True
Let q(j) = -8 + 2*j - j**2 - 1 + 16*j. Does 5 divide q(8)?
False
Let d(k) = -k - 16. Let f be d(-6). Let u = f + 55. Is 15 a factor of u?
True
Suppose -5*p + n + 9 = -9, 5*p - 3*n - 24 = 0. Suppose v - 2 = -4*w + 11, -3*w - p*v + 12 = 0. Does 11 divide (w + -1)*132/8?
True
Let k = -79 - -83. Suppose -k*x = -0*x + 20, -2*g + 93 = -5*x. Is 8 a factor of g?
False
Suppose 4*f + 6*i = i + 16892, 5*i - 21120 = -5*f. Is 13 a factor of f?
False
Is 26/1 + (-62 - -71) a multiple of 5?
True
Let o = -428 + 506. Is o a multiple of 39?
True
Suppose 7 - 19 = 2*d. Is d + 62 - (1 - -3) a multiple of 8?
False
Let j be (-1)/(-4) - (-3064)/32. Let r = j - 58. Suppose -19 - r = -3*n. Is 19 a factor of n?
True
Let c(f) = -24*f + 13. Let x be c(3). Let h = x + 254. Is 11 a factor of h?
False
Suppose 0 = 4*k + 4*q + 776, k - 3*q = 134 - 336. Let p = k + 297. Does 6 divide p?
False
Suppose -4078 = -30*v + 1352. Is v a multiple of 5?
False
Let g be 21/56 - 6/16. Suppose 0 = 5*h + p + p - 52, 5*p - 5 = g. Is 4 a factor of h?
False
Suppose -2*o + 49 = -5*s, 6*o - 93 = 3*o + s. Is 16 a factor of o?
True
Let a = 117 - 21. Let h = -68 + a. Suppose -h*r - 98 = -29*r. Is 16 a factor of r?
False
Suppose -21*w + 70*w - 66150 = 0. Is 25 a factor of w?
True
Suppose -i = -l - 56, -4 = -2*i + 4*l + 110. Let a = 74 - i. Is 19 a factor of a?
True
Is 15 a factor of (-2)/(-6) + 880/6 + 3?
True
Suppose 2*c = 4*q + 28, 2*q - 3*q = -2*c + 13. Suppose c*r - r - 216 = -2*w, 2*w + 274 = 4*r. Is r a multiple of 27?
False
Let u = 19 + -14. Suppose u*y - 24 = 96. Does 3 divide y?
True
Suppose 2*j + a - 119 = 0, -4*j - 145 + 381 = 4*a. Is 30 a factor of j?
True
Let y = 330 + 710. Does 104 divide y?
True
Suppose 130*z = 100*z + 73740. Does 43 divide z?
False
Let d(s) = -s**2 + 8*s + 8. Let m be d(8). Suppose -3*b = b - m. Suppose -2*x - 3*x + 2*o = -236, b*o = 2*x - 98. Does 10 divide x?
False
Let t = -945 + 1004. Is t a multiple of 13?
False
Suppose -17732 = -76*c + 45*c. Is c a multiple of 22?
True
Suppose 4*i + u = 136, 3*i + 3*u = 2*i + 45. Suppose -23 = -q + i. Is 14 a factor of q?
True
Let u = -202 + 306. Is 4 a factor of u?
True
Let g(l) = -107*l - 118. Does 9 divide g(-4)?
False
Suppose v + 2 = 2*l, l - 18 = -3*v + 4. Suppose -w = w - v. Suppose -4*a = -w*a - 22. Does 11 divide a?
True
Let p = 428 - -112. Does 9 divide p?
True
Suppose 2*v - 9 = 1. Let b = v - -27. Suppose -g + b = g. Is 6 a factor of g?
False
Let r(j) = 11 + 6 - 4*j + 2. Does 19 divide r(-8)?
False
Let y be 7/((-14)/(-18)) + 1. Let v be 8/14*35/y. Suppose -120 = -v*g - 2*g. Is 15 a factor of g?
True
Let j(q) = -q + 5 - 3 - 3*q - 4. Let a be j(-1). Is 2 a factor of ((-200)/70)/(a/(-7))?
True
Suppose 0 = 5*t - 2 - 8. Suppose 28 = 5*c + t*w, -c - 2*w + 8 = -4. Suppose 3*x + 5*a - 184 = c*a, a - 4 = 0. Is x a multiple of 10?
True
Suppose -3*j + 2*p = -7, 13 = -3*j - p - p. Let i be -3 - -6 - (1 + j). Suppose -i*g - g = -56. Is 14 a factor of g?
True
Suppose 0*p - 7560 = -14*p. Does 60 divide p?
True
Let b be 0/(3/(6/(-4))). Suppose b = h + 3*h - 68. Let q = 37 + h. Does 26 divide q?
False
Let k(t) = -t**3 - 5*t**2 - 4*t + 3. Let l be k(-4). Suppose -l*h - 320 = -8*h. Is h a multiple of 16?
True
Let i(a) = a**2 + 20 + 6 - 4*a + 8 - 6. Is 16 a factor of i(13)?
False
Is 57 a factor of (29100/(-36) + 6/(-9))*-1?
False
Let h(q) = q - 11. Let v be h(13). Let j(n) = n**3 + 5*n**2 + 2*n - 1. Let g be j(-3). Suppose -p + s = -g, -s = -p - v*p + 31. Does 3 divide p?
False
Suppose 3*o = -2*r + 375, -3*r = -8*o + 3*o - 591. Is 24 a factor of r?
True
Let t be (-21)/28 + 1337/(-4). Let x = 617 + t. Is x a multiple of 47?
True
Suppose 3*i + 35*p = 30*p + 167, 4*p = -2*i + 108. Does 8 divide i?
True
Let x = 113 + -106. Suppose 260 + 20 = x*f. Is 35 a factor of f?
False
Let t(f) = -f**3 - 6*f**2 - f - 1. Let y be (-44)/7 - 2/(-7). Let l be t(y). Suppose -3*x - 5*w + 110 = x, 0 = l*x + w - 148. Is 6 a factor of x?
True
Let j(m) = -m**3 - 3*m**2 - m + 4. Let k be j(-2). Suppose -2*r = k*r - 312. Is 13 a factor of r?
True
Let f be (-94798)/(-55) + 6/15. Is f/12 - (2 - 7/3) a multiple of 24?
True
Suppose 10*p - 13044 = -2*p. Does 22 divide p?
False
Suppose 3*z - 4*z + 2 = 0. Is 37 a factor of ((185/3)/5)/(z/12)?
True
Suppose -5955 = -17*c + 11912. Is c a multiple of 8?
False
Let o = -1 - 10. Let c = -15 - o. Let p(d) = -21*d - 7. Does 17 divide p(c)?
False
Let l = 128 - 58. Suppose z + 4*z = l. Suppose -2*m + 2 = -z. Is m even?
True
Let x = 455 - 272. Is x a multiple of 30?
False
Let q(z) = -3*z + 127. Is 16 a factor of q(21)?
True
Let l = 2674 + -884. Is 7 a factor of l?
False
Suppose -v - 120 = 2*v. Let p be ((-2)/(-5))/(4/v). Let a = p - -9. Is 5 a factor of a?
True
Is 71 a factor of -2 - (713/(-2) + 1/(-2))?
True
Suppose 14*u - 2091 - 5035 = 0. Does 75 divide u?
False
Let z = -595 + 1437. Is z a multiple of 16?
False
Let w(j) be the first derivative of 10*j**2 - 6*j + 8. Is 27 a factor of w(5)?
False
Is ((-3596)/87)/((-4)/150) a multiple of 25?
True
Let v = -16 - -26. Suppose 260 = 3*i - v. Let m = -57 + i. Does 11 divide m?
True
Let d be ((-39)/(-9))/((-4)/(-36)). Let i = -37 + d. Suppose i*l = -n + 72, 0 = 4*n - 3*l - 375 + 98. Is 20 a factor of n?
False
Is 62 a factor of ((-7316)/177)/((-8)/(-6) - 2)?
True
Let m be (-2 + (-21)/9)*6. Let f = 17 - m. Is 8 a factor of f?
False
Let k = 12 + -20. Let o(s) = s**3 + 9*s**2 + 5*s - 1. Let t be o(k). Suppose 3*i + 2 - t = 0. Is 7 a factor of i?
True
Let x(h) = -h**3 + 7*h**2 + 3*h + 8. Let l(d) = d**3 - 8*d**2 - 3*d - 9. Let w(n) = -6*l(n) - 7*x(n). Let f be w(3). Let p(j) = 5*j + 6. Does 19 divide p(f)?
False
Let p = 67 - 48. Let f = p - 0. Let m = f - -5. Is 24 a factor of m?
True
Let x(f) be the second derivative of f**6/120 - 