33)/(-5))/(86/(-12255)). Let o = s - 498. Is o a multiple of 12?
True
Suppose -19*w - 4*o + 23505 = -112318, 21449 = 3*w - o. Does 124 divide w?
False
Suppose -3*v - 226 = -d, -2*d + 3*v = -0*d - 449. Let f = d - 107. Let r = 164 - f. Is 36 a factor of r?
False
Let f(c) = 127*c + 10. Let s be f(4). Suppose 3*b - s = 118. Suppose 2*o = -32 + b. Is 18 a factor of o?
True
Suppose 232 = 5*s - 3*s. Let t = s - 36. Is 10 a factor of t?
True
Let y = 151462 + -81735. Does 26 divide y?
False
Let i = 9 - 12. Let r be 3/6*(6/i + 2). Suppose r = 16*x - 2*x - 168. Is 6 a factor of x?
True
Suppose 2*w - 16 = -4*l, -4*w - 2*l - 1 = -15. Suppose w*c + 58 = -24. Let j = 13 - c. Is 22 a factor of j?
False
Is (27966 + 3)*(152/24 + -6) a multiple of 59?
False
Let n(i) = 27*i**2 - 40*i + 963. Does 2 divide n(18)?
False
Let b be 2411 + (-1)/(-3)*6. Let o = b - 1533. Suppose q + 7*q = o. Is q a multiple of 10?
True
Let h = -2148 + 3967. Is h a multiple of 25?
False
Let s = -2620 - -3970. Suppose 0 = -2*o + i + 348, 5*o - 3*i = -481 + s. Suppose -p + 2*p - 5*l = o, -p = -l - 167. Is p a multiple of 11?
True
Let j(x) = -699*x - 68. Let r be j(5). Let z = r + 5610. Does 95 divide z?
False
Suppose -5*a + i = -791 - 1301, -2*a + 846 = -5*i. Is 22 a factor of a?
True
Let r be 4/(-20) + (-4)/(-10)*53. Let z = r + -20. Does 30 divide 2 - -35 - (z + 1)?
False
Is 12 a factor of (168/(-224))/((-2)/10784 - 0)?
True
Let i = 2167 + -1365. Let p = i - 412. Does 26 divide p?
True
Is 14 a factor of 6975 + -17 + (41 - -1)?
True
Suppose -5*h = 2*n - 24974, -h - 3*n + 9994 = h. Suppose -5*j - 4997 = -3*y + y, 0 = -5*j - y - h. Is (40/(-35))/(-4) - j/7 a multiple of 11?
True
Suppose 60*b - 46*b = 60984. Is 22 a factor of b?
True
Suppose -2*u + 1736 - 1610 = 0. Suppose 0 = -66*b + u*b + 3075. Is b a multiple of 66?
False
Let o(l) = 4*l**2 + 170*l + 105. Let b be o(-42). Let i(q) = 4*q**2 - 55*q - 15. Is i(b) a multiple of 6?
True
Suppose 9*y = -24437 - 35692. Is 7 a factor of (-1)/(-4 + y/(-1671))?
False
Let v(z) = 8*z - 24. Let s be v(8). Let y = -51 + s. Let b = y + 107. Is 16 a factor of b?
True
Let j = -133 + 138. Let u(a) = -3*a**2 + 27*a + 4. Does 23 divide u(j)?
False
Let f(n) = 1. Let a(y) = 7*y**2 - 118. Let c(o) = 13*o**2 - 236. Let k(r) = 11*a(r) - 6*c(r). Let d(s) = 3*f(s) + k(s). Is d(0) a multiple of 15?
False
Let u = -188 - -273. Suppose -2*i + 42 + u = -q, -2*i = q - 129. Does 13 divide i?
False
Suppose 17 = 3*v + 5*b, -3*v + 23 = b + b. Let y(p) = -5*p + v + 4*p - 2. Is y(-10) a multiple of 2?
False
Let p(v) = 77*v + 641. Is p(19) a multiple of 4?
True
Let p(t) be the first derivative of -t**4/2 - 8*t**3/3 + 11*t**2 - 14. Let w(n) be the second derivative of p(n). Does 8 divide w(-8)?
True
Suppose -3*k + 4*c - 29 + 7 = 0, 0 = 2*c - 8. Let x be ((-9)/(-2) + k)*10/5. Is (-1 - 0)*(-365)/x a multiple of 11?
False
Let l(d) = 152*d**2 + 3*d - 14. Let w be (4/(-6))/(12 + 74/(-6)). Does 30 divide l(w)?
True
Is (((-255)/17)/45)/((-1)/(-27)) - -36598 a multiple of 159?
False
Is (-4 - 15)/((-3)/312) a multiple of 38?
True
Does 4 divide 217/7 - 15 - -3841?
False
Suppose -71*y - 3 = -74*y. Suppose -f - u + 3*u = y, 5*u + 5 = 4*f. Suppose -2*p - 765 = -f*s + 145, 0 = 5*s + 4*p - 910. Is s a multiple of 12?
False
Suppose 20 = -k - 4*k, -5*k = b + 12. Suppose 9*a = b*a. Suppose a = t - 5*t + 360. Is t a multiple of 18?
True
Let g = 2 - 2. Let w(j) = -5*j + 48. Let m be w(8). Suppose -7*s = 3*y - m*s - 87, g = 2*y - 2*s - 62. Is y a multiple of 28?
True
Let o = -4171 - -5107. Is 12 a factor of o?
True
Let i(q) = -985*q - 194. Is 206 a factor of i(-14)?
True
Suppose -f - 42*p = -40*p - 36802, 0 = 4*f - p - 147163. Does 21 divide f?
True
Let f(s) = 2*s**2 - s. Let n(g) = 29*g**2 - 21*g. Let j(w) = -12*f(w) + 3*n(w). Is j(-3) a multiple of 24?
True
Let f(n) = -25*n**2 - 6*n. Let r be f(3). Let g = -203 - r. Does 7 divide g?
False
Let g be (0 + -1)*(-2 - -2)/1. Let s be 9 - 5 - -3*3. Suppose g = -12*f + s*f - 29. Is 21 a factor of f?
False
Let g = -272 - -409. Suppose -5*s + g = -1108. Is s a multiple of 30?
False
Suppose 0 = 24*i - 142 + 46. Suppose i*q = 8*q - 164. Does 14 divide q?
False
Suppose -12*d + 6 + 54 = 0. Let n(w) = 19*w**2 + 4*w - 32. Is 37 a factor of n(d)?
False
Let s = -75 + 69. Let g(l) = l + 6. Let c be g(s). Suppose c*b = -3*b + 480. Is 32 a factor of b?
True
Suppose 0 = 87*n - 78*n - 2898. Let u = n - 260. Is u a multiple of 2?
True
Is (-540)/24*12/(-9)*(-346)/(-4) a multiple of 142?
False
Let u be ((-272)/340)/(0 + (-2)/5). Let p be (-1615)/(-38)*u*1. Let b = -77 + p. Is b a multiple of 8?
True
Let r be (22/99 - (-16)/9) + -2. Suppose r - 20 = -5*l. Suppose 0 = l*h + 20, -5*s + 0*h - 3*h + 35 = 0. Is s a multiple of 2?
True
Is 127 a factor of ((-10160)/(-3))/((238/(-154) + 1)/(-9))?
True
Let f = 35 - 38. Is 168/7 + (f/1)/3 a multiple of 23?
True
Let g = 8651 + -5339. Does 108 divide g?
False
Let p(z) = 13*z**3 + 4*z**2 + 2*z - 1. Let t(j) = 77*j**3 + 23*j**2 + 10*j - 5. Let g(r) = 34*p(r) - 6*t(r). Does 26 divide g(-3)?
True
Let w = -117 - -128. Suppose 6*i = 7 + w. Suppose -q - k + 211 = 0, 0 = -5*q + k + i*k + 1100. Does 24 divide q?
True
Let c(t) = -t**3 + 4*t**2 + 8. Let j(f) = 2*f**3 - 3*f**2 + f - 7. Let p(a) = 2*c(a) + 3*j(a). Let g be (4 + 2)/(10/4 + -1). Is p(g) a multiple of 54?
False
Let s(n) = -302*n**2 + 15*n + 34. Let k be s(-2). Let j = 2134 + k. Does 11 divide j?
False
Let c be (-7)/(-1) + (-4 - -4). Suppose 0 = -11*w - c*w + 3672. Does 24 divide w?
False
Let q = -15700 - -16489. Is q a multiple of 3?
True
Let x(n) = 242*n + 1462. Does 202 divide x(119)?
False
Let s = 12764 + -7262. Does 60 divide s?
False
Suppose -4*j + 5*t + 4637 = -6681, -2*j = -5*t - 5674. Is j a multiple of 124?
False
Does 13 divide ((-1)/(6/1533))/((-424)/(-48) + -9)?
False
Suppose 4*w - 29908 + 11049 - 15445 = 0. Is w even?
True
Is 43014/24*5 - (-3)/4 a multiple of 24?
False
Let d(i) = -106*i - 1774. Does 3 divide d(-31)?
True
Let n(k) = -20*k + 5. Let i be n(-4). Suppose -2*b + 667 = -i. Is 47 a factor of b?
True
Let w(b) = b**3 - 22*b**2 + 53*b - 258. Is 6 a factor of w(21)?
True
Let r(q) be the first derivative of q**4/2 - 10*q**3/3 - q**2 - 9*q - 3. Let t(v) = v**3 - 20*v**2 - 22*v + 27. Let h be t(21). Is 17 a factor of r(h)?
True
Let p = 4823 + 1278. Does 16 divide p?
False
Suppose 25*n - 146 = -46. Suppose -1997 = -n*r + 527. Is 25 a factor of r?
False
Suppose 2596*o = 2*f + 2601*o - 1565, 4*o + 3929 = 5*f. Is 21 a factor of f?
False
Suppose -269*p = -202*p - 1005670. Is p a multiple of 79?
True
Let i be -2 - (-3)/2 - 35/(-14). Suppose 2*q = 5*p - 262, 0 = p - i*p + 2*q + 54. Suppose z - 4*a - p = 0, -5*z - 5*a + 7 = -4*z. Is z a multiple of 8?
True
Let b(j) = -145*j - 65. Is 115 a factor of b(-29)?
True
Let r = -12725 - -16737. Does 59 divide r?
True
Let p(i) = i**3 - 7*i**2 + 12*i + 4. Suppose h - 4*j = 10, 3*j = 5*j. Is 53 a factor of p(h)?
True
Let f = 28095 - 15769. Does 31 divide f?
False
Let k = 25 - 15. Let v(f) = -3 - 95*f + k - 1 + 3. Is 9 a factor of v(-2)?
False
Let a be 5/20 - (-59)/4. Suppose a = 3*n + y, 4 = 5*n - 4*y - 4. Suppose 0*f = -n*x - 2*f + 254, -36 = -x + 5*f. Is 6 a factor of x?
False
Suppose 16*l + 40 = -8. Let j(q) = -3*q**3 + 7*q**2 + 4*q - 1. Is 7 a factor of j(l)?
False
Let y = -144 + 203. Let l = y - -368. Suppose -5*b + 413 = -l. Does 28 divide b?
True
Suppose 116*n - 371848 = 242148 + 479884. Is 17 a factor of n?
False
Let q = -5 - -9. Suppose -m = 5*u - 751, 0*u = q*u - 2*m - 612. Is u a multiple of 12?
False
Suppose 5*n - 30 - 6 = 3*j, j = n - 8. Suppose -5*k - 25 = -85. Is 19 a factor of (k/9 + j)*(-1710)/6?
True
Let b = -190 - -189. Is 6 a factor of ((-14)/28)/(-2 - b)*166?
False
Let h = 7982 - 6441. Does 23 divide h?
True
Let l(u) = 4*u + 29. Let x be ((-30)/8)/((-13)/104). Suppose -5*r + 0*r + x = 0. Does 11 divide l(r)?
False
Suppose 0 = -4*c - 5*x + 8*x + 6, 5*x + 10 = -c. Suppose -8*o + 11*o = c. Suppose t + 72 = 3*t - b, -2*t - 5*b + 84 = o. Is t a multiple of 22?
False
Suppose -3*s + 54 = -3*x, 0*s + 30 = -x + 4*s. Let p(g) = -g**3 - 13*g**2 + 21*g + 42. Let b be p(x). Is 2 a factor of (0 - 12)*b/42?
True
Let w(r) = r**2 + 2*r. Let a be w(-6). Let q(x) = -3*x - 6. Let t be q(-5). Let c = a - t. Is 5 a factor of c?
True
Suppo