. Does 11 divide i?
False
Let s(c) = 10*c + 8. Let r be s(-11). Let v = r - -177. Suppose -4*w + 263 = -5*l, 3*w - 276 = 3*l - v. Is 24 a factor of w?
True
Suppose s = 4*h - 532, s = h - 15 - 121. Is 6 a factor of h?
True
Let d(q) = -q**2 - 13*q + 2. Let h(l) = l**2 - 6*l - 25. Let u be h(8). Is 3 a factor of d(u)?
False
Let z = -148 + 93. Let g = -37 - z. Let c = -6 + g. Is c a multiple of 3?
True
Is 10 a factor of (308/(-6))/(496/72 + -7)?
False
Let n = 41 - -6. Suppose -n*j - 594 = -53*j. Is 23 a factor of j?
False
Let c = 6343 + -4404. Is 99 a factor of c?
False
Suppose 0 = -4*t - p + 6*p - 213, 2*t + 4*p = -100. Let v = t - -79. Does 9 divide v?
True
Is 11 a factor of (-18)/((-6)/(-45) - (-228)/(-1035))?
False
Let f be (-9)/2*(-2 + 0). Let k = f - 11. Does 11 divide (-88)/(-16)*(0 - k)?
True
Is (-1247)/((12/(-48))/(6/8)) a multiple of 26?
False
Suppose 2*r - 51 - 15 = -4*y, -r = 3*y - 52. Let p = -3 - 12. Let x = p + y. Is x a multiple of 3?
False
Let o be 2/4 - 1 - (-284)/8. Suppose 0*u = 3*u - w - 83, u = 4*w + o. Is u a multiple of 9?
True
Let y(t) = -t**2 + t - 4. Let p be y(0). Does 10 divide 148 - p/(1 - -3)?
False
Is ((-273)/14)/13 - (-14932)/8 a multiple of 4?
False
Suppose -12 = v + 3*p, 5*p - 14 = 4*v - 0*v. Does 7 divide 1/((-6)/(-252)) - v/(-2)?
False
Let n(w) = 113*w + 534. Does 17 divide n(4)?
True
Suppose 4*s - 196 = -2*v, 2*s + 2*s + 5*v - 202 = 0. Let q = s - -1. Is q a multiple of 7?
True
Suppose d + 0 = 96. Suppose -j - 2*w + 281 = 0, -j + 3*w = -15 - 266. Suppose -j = -5*s - d. Does 20 divide s?
False
Let u(n) = 7*n**2 - n + 4. Let z be u(-3). Suppose -p + 14 = -z. Is 21 a factor of p?
True
Let b = -35 - -32. Let c be ((-6)/4)/b*-74. Let h = c + 49. Is h a multiple of 12?
True
Let x be ((-21)/(-6))/(1/2). Suppose -36*j = -31*j - 15. Suppose -2*m + x*m - 26 = -c, -m + j = -2*c. Is m a multiple of 5?
True
Let j(g) be the third derivative of 1/60*g**5 + 0*g + 2*g**2 + 0 + 1/6*g**4 + 0*g**3. Is 11 a factor of j(-6)?
False
Does 15 divide 18/(-63) - 961/(-7)?
False
Let g be (59/2)/(-6*(-4)/48). Suppose 3*a - 5*r - 76 = 0, -5*r = 3*a - a - g. Does 3 divide a?
True
Is ((-432)/32)/9 + (-2806)/(-4) a multiple of 20?
True
Suppose 2 = -2*m + 4. Let q be ((-10)/20)/(m/(-10)). Is 8 a factor of (-9)/(-3) + 1*q?
True
Suppose -10 = -3*q - b, 0*q + 2*q - 8 = -b. Suppose k = 5*j - 21, 4*j + 0 - 14 = -q*k. Is 2 a factor of j?
True
Is 29 a factor of 58883/14 + 119/1666?
False
Let o(v) = -2*v - 9. Let a be o(-12). Let u = 15 - a. Suppose -f - 2*g + 30 = u, 5*g + 69 = -f + 3*f. Does 16 divide f?
True
Suppose -150 = 3*n - 528. Suppose -o = o - n. Does 21 divide o?
True
Let n(w) be the first derivative of -13*w**2 + w - 16. Is n(-7) a multiple of 24?
False
Let w = -2641 - -3991. Does 22 divide w?
False
Let y(h) = -h**3 - 3*h**2 - 15*h - 52. Does 3 divide y(-4)?
True
Is -73*(-4 + 2) + -3 a multiple of 11?
True
Suppose -10290 = -16*v + 9*v. Is v a multiple of 42?
True
Suppose 399 = 5*d + 3*q, 3*q + 152 = 3*d - 97. Let g = d - 41. Does 40 divide g?
True
Suppose 2*h = 17*q - 14*q + 7327, 5*q = -4*h + 14687. Is 39 a factor of h?
False
Let h be (-29*(-1)/(-3))/((-4)/192). Suppose h = -14*u + 22*u. Is u a multiple of 58?
True
Suppose 0 = -3*u + 2*q + 16, -4*u + 5*q + 19 = -0*u. Suppose -44 - 10 = -u*t. Is 5 a factor of t?
False
Let w(i) = i**3 + 21*i**2 - 2. Let c be w(-21). Does 10 divide 78 + (-4 - (c - 4))?
True
Suppose 0 = 3*x + 6*x - 18. Suppose -x*n + 0*n = -3*y + 464, 5*y - 4*n = 772. Does 12 divide y?
True
Let z(k) = -16*k + 33*k - 15*k - 3*k**2 - 1 + 32*k**3. Is z(1) a multiple of 10?
True
Suppose -w + 3*w + 3*a + 853 = 0, 3*w + 4*a + 1281 = 0. Let u = -275 - w. Is 13 a factor of u?
True
Suppose 0 = -g + 2*i, 4*i = 3*i - 4. Is 13 a factor of (-67 - g)/(1 + -2)?
False
Suppose 189*o - 9936 = 177*o. Is 18 a factor of o?
True
Let x(q) = q**3 - 12*q**2 + 6*q + 82. Is x(18) a multiple of 25?
False
Let b(z) be the first derivative of z**7/840 + z**6/36 - z**5/8 + 5*z**4/8 + 4*z**3/3 - 7. Let p(s) be the third derivative of b(s). Is 11 a factor of p(-11)?
False
Suppose 0*l + 8*l - 208 = 0. Does 58 divide ((-364)/l)/((-1)/29)?
True
Let w(i) be the third derivative of i**4/8 - 5*i**3/2 + 2*i**2. Is 9 a factor of w(10)?
False
Suppose 3*h = 5*t - 4, -h - 2*t = 4*h + 48. Let p(j) = -j**3 - 6*j**2 + 6*j - 24. Is 14 a factor of p(h)?
True
Suppose h - 7*u + 2 = -3*u, 3*h = 2*u + 4. Let d be (6/(-18))/(h/(-798)). Suppose -2*b + 2*t = -76, t - d - 69 = -5*b. Is 8 a factor of b?
True
Suppose -p - 4*p + 140 = 0. Let q = p - -2. Is 5 a factor of q?
True
Suppose 0 = -5*i, -3*g + 27 = 3*i - 8*i. Suppose g*k = 980 + 487. Is 32 a factor of k?
False
Let h = -155 + 155. Let d = 3 - -3. Is ((3 - -2) + h)*d a multiple of 10?
True
Suppose -5*p = -4*p - 2. Let i be 0/(-1) + 4/p. Suppose -j = 5*f - 119, -i*j + 0*j = -f + 15. Is 13 a factor of f?
False
Let o(s) = -s**3 - 5*s**2 - 43*s + 39. Is 45 a factor of o(-9)?
False
Let o be 6*2/(-3) - 72/(-8). Suppose -h + 315 = o*i, i - 2*i - 4*h = -44. Does 8 divide i?
True
Let o = -21 + 55. Suppose -o + 0 = -w. Does 6 divide w?
False
Suppose -1 = -5*b + 4. Let a(v) = 0 - 3*v + b + 6*v - 5*v. Is 19 a factor of a(-9)?
True
Let g = 1068 + -485. Is 47 a factor of g?
False
Suppose 5*r = -j - 1, 6 - 2 = -2*r. Suppose j*c = 10*c - 267. Is 43 a factor of c?
False
Suppose 0 = 5*d + 4*d - 1737. Is 9 a factor of d?
False
Let q(g) be the second derivative of g**6/60 + g**5/60 + g**4/24 + 13*g**3/6 - 7*g. Let y(r) be the second derivative of q(r). Does 4 divide y(2)?
False
Suppose 10*s = -524 - 386. Is 21 a factor of (1 - -190) + (-13)/(s/(-14))?
True
Let q be (-2)/(-1)*(-88)/(-2). Let b be q/(-20) + 4/10. Is (1 + b)/((-5)/5) a multiple of 3?
True
Suppose 0 = -3*k + 5*k - 8. Suppose 128 + 204 = k*s. Does 10 divide s?
False
Let t(h) = 2*h**2 + h + 1. Let d be t(0). Does 3 divide (d + 2)/15 + 198/10?
False
Suppose 0 = 17*l + 11*l - 2408. Does 9 divide l?
False
Let r = 38 + -34. Suppose -2*b - 5 = 2*v - 27, r*v + 3*b = 48. Is v even?
False
Suppose 8877 = -10*a + 21*a. Is 14 a factor of a?
False
Let f(i) = -2*i**2 - 10*i - 2. Let t be f(-7). Let b = t - -58. Does 19 divide b?
False
Suppose -5*t + 30 + 1330 = 5*o, -1103 = -4*o - t. Is o a multiple of 71?
False
Suppose 0*m = 2*m + 4*a - 722, 1853 = 5*m - 2*a. Does 71 divide m?
False
Let r = -1001 - -1349. Is 36 a factor of r?
False
Let r be ((-8)/(-12))/(-2 + 376/186). Suppose -4*b - k - k + 52 = 0, -r = -b - 5*k. Does 5 divide b?
False
Suppose 5*n + 4*m = 52, 0 = -4*n - 2*m - 0*m + 38. Suppose u = n*u - 196. Does 10 divide u?
False
Suppose 8056 = -419*t + 427*t. Is t a multiple of 19?
True
Let k = 1 - -2. Suppose p + 0*p - 424 = w, -12 = k*w. Suppose 0 = 4*h - 9*h + p. Is 23 a factor of h?
False
Let j(u) = -24*u + 1. Let r(t) = t**3 + t - 1. Let y be r(0). Let m be j(y). Is 955/m - 1/5 a multiple of 12?
False
Suppose 0 = c + 4*t - 69, -138 = 2*c - 4*c - 4*t. Let r = c - 41. Is r a multiple of 5?
False
Suppose 0 = -6*w - 7 + 25. Suppose -2*f = 5*z - 459 - 111, -w*z + 373 = -5*f. Does 29 divide z?
True
Let m(o) = 17*o - 7. Let p be m(11). Suppose 4*k - p = -0*k. Does 14 divide -2 + k + 8/4?
False
Let w = 11 + -11. Let z be (-6 - -3 - w) + 5. Suppose -2*j = z*j + 3*q - 77, 5 = -5*q. Is 9 a factor of j?
False
Let s(p) = -93*p + 945. Is 20 a factor of s(9)?
False
Let o(t) = -66*t + 4. Let b be o(4). Let i = b - -530. Does 15 divide i/(-12)*8/(-6)?
True
Let h = -31 + 36. Suppose h*t = 168 - 33. Does 12 divide t?
False
Let j(z) = -5*z - 4 - 70*z**3 + 4*z + 3. Does 10 divide j(-1)?
True
Let w = -2984 - -4654. Does 13 divide w?
False
Suppose 6*i - 1748 = -2*h + 3*i, -2592 = -3*h + 3*i. Suppose 5*r - 5*o = 316 + 769, -3*o + h = 4*r. Does 38 divide r?
False
Let q(o) be the first derivative of o**7/840 + 7*o**6/360 + o**5/40 - o**4/8 - 2*o**3 - 3. Let y(c) be the third derivative of q(c). Is 5 a factor of y(-6)?
True
Let c = -29 + 101. Suppose -5*y = -4*r - c, 18 = -0*r - r + 4*y. Does 2 divide (-48)/r + 4/(-6)?
True
Let j(y) = -6*y**3 + y**2 + 2*y - 2. Is j(-4) a multiple of 37?
False
Let q(n) = n**3 + 8*n**2 - 7*n - 14. Let a be q(-8). Suppose 8*t - 7*t = a. Is t a multiple of 14?
True
Let f = 82 - 55. Let j = f + 8. Let m = -17 + j. Is 9 a factor of m?
True
Let h(a) = -a**3 + 2*a**2 + 4*a + 2. Let f be 