6. Does 26 divide i?
False
Let c(i) = i**3 + 17*i**2 + 16*i + 8. Suppose 22 = 4*t - 2*n + 74, -4*n - 17 = 3*t. Let l be c(t). Suppose 3*g + 183 = l. Is 25 a factor of g?
True
Let v(j) = 2 - 3 + 4 + 9*j**2 - 1. Let d be v(-2). Suppose -9*r - d = -11*r. Is 19 a factor of r?
True
Let b = -8482 + 11537. Is b a multiple of 65?
True
Let x = 10722 - 397. Is 5 a factor of x?
True
Suppose 55*v - 57*v - 4*p = -5136, -4*v = p - 10279. Is v a multiple of 5?
True
Let c(m) = -m**2 + 2*m + 7. Let x be c(3). Suppose x*o + 8*d = 3*d + 48, -5*d - 60 = -5*o. Is (-1135)/(-35) - o/28 a multiple of 12?
False
Suppose 0 = 7*b - 10*b + 57. Suppose -7*o + 36 = -b*o. Does 8 divide o/18*-9*2 - -11?
False
Suppose -2*u = -3*m + 7289 + 216, -5*m + 12508 = -3*u. Is m a multiple of 61?
True
Let h be ((-11)/(-4))/(11/1144). Let z = -112 + h. Is z a multiple of 6?
True
Suppose 7 - 43 = -12*d. Is 2 a factor of (d/(-5))/(3 - 1716/570)?
False
Let g = 14 + -5. Let l be 172/20 + 2/((-30)/g). Is 6 a factor of 146/l - (25/20)/5?
True
Suppose 9*c - 46 = -406. Is 70/(-21)*7896/c a multiple of 14?
True
Suppose 213378 - 90887 + 83789 = 216*z. Does 2 divide z?
False
Suppose 0 = 137250*j - 137251*j + 330. Is j a multiple of 7?
False
Suppose -4*t = p + 160, 3*t - 5*t + 522 = -3*p. Suppose 0 = 3*z - 9, 0 = -5*r - z - 329 - 183. Let g = r - p. Is g a multiple of 42?
False
Let u = -5888 + 10209. Does 29 divide u?
True
Let i be 3/(-9) + (-28)/(-12) + 4. Suppose 2*d - 2448 = -i*d. Suppose 7*v - 13*v + d = 0. Does 2 divide v?
False
Let u(v) = -8*v - 348. Let c be u(-50). Suppose l + 28050 = c*l. Is l a multiple of 22?
True
Suppose -2*p - 3*p + 3*n + 3235 = 0, -2*p - n = -1283. Suppose -656 = -2*o + 5*m, -2*o = 4*m - 6*m - p. Is 47 a factor of o?
False
Let d(f) = -2*f**3 + 93*f**2 - 37*f + 513. Does 316 divide d(40)?
False
Let y = -58 - -63. Suppose -4*k + 291 = o, 5*k - 866 = 2*o - y*o. Is 7 a factor of o?
True
Let f(m) = 6404*m - 2*m**3 - m**3 - 6417*m - 8*m**2 + 12. Does 36 divide f(-5)?
True
Let n be 8/72 - 1104/(-27). Suppose 32 = j + w + 4*w, -4*w + n = 3*j. Let m(q) = 31*q - 3. Is m(j) a multiple of 36?
False
Suppose -7 + 32 = 5*w. Suppose 0 = w*j + j. Suppose 5*k = -b + 32 + 655, -2*k + 2*b + 282 = j. Is k a multiple of 23?
True
Suppose -7*n - 30 = -2487. Suppose -n = -4*h + 5*z, 0 = -h - 7*z + 2*z + 119. Is 5 a factor of h?
False
Let w be (-13)/(-3) + -2*7/42. Suppose -w*d + 4 = 0, 0*i - 2*d - 31 = i. Let f = 6 - i. Is f a multiple of 13?
True
Suppose g - 28 = -25. Let c be (-2)/g - (-3094)/(-39). Let s = -66 - c. Does 4 divide s?
False
Let u(b) = -b + 32. Let q be u(6). Suppose -3*f + q = -25. Suppose 0 = -f*w + 14*w + 207. Is w a multiple of 10?
False
Let v be 3 - (0 + 1) - -2. Suppose n + 1494 = v*n. Suppose -2*g - g = -n. Is g a multiple of 18?
False
Let s(v) = -115*v - 117. Let m be s(-5). Suppose -3*k = 230 - m. Is 32 a factor of k?
False
Let a = 571 - -2571. Suppose -3*n + a = 2*n + 4*j, -j - 2 = 0. Does 42 divide n?
True
Let h = 12578 - -5254. Is 24 a factor of h?
True
Suppose -a + 7605 = 3*d, 6*a - 17*a - 2*d + 83779 = 0. Is a a multiple of 8?
False
Suppose -14*z - 209 = 211. Let r = z - -66. Is r a multiple of 6?
True
Let f(n) = 8*n**2 - 20*n - 9. Let d = -147 - -154. Does 31 divide f(d)?
False
Let g(v) = -106*v - 52. Let j be g(-5). Let m = j - 427. Does 2 divide m?
False
Suppose -d + 3*c = 14, 2*d + 18 = -3*c + 4*c. Let l(n) = n**3 + 7*n**2 - 11*n - 10. Let x be l(d). Suppose 35 = 5*i - v, v = -2*i - 2*v + x. Is 2 a factor of i?
False
Suppose 27*r - 329 + 32 = 0. Suppose -r*o + 345 = 3*u - 8*o, -2*o - 345 = -3*u. Is 2 a factor of u?
False
Let s(m) be the third derivative of -m**7/1260 - 7*m**6/240 + 4*m**5/15 - 14*m**2. Let t(g) be the third derivative of s(g). Is t(-6) a multiple of 3?
True
Suppose 3935 = 11*b - 377. Is 18 a factor of b?
False
Let w = 45 + -29. Let v(n) = n**3 - 14*n**2 - 33*n + 18. Let h be v(w). Is 36/15 - h - (-188)/5 a multiple of 11?
False
Let y = 386 + -94. Suppose y = -7*u + 4429. Does 17 divide u?
False
Let b(u) = 2*u - 25. Let n be b(15). Suppose -2*v = 4*t - 2, t + 4 + 1 = n*v. Let q = v - -48. Does 6 divide q?
False
Suppose -47*m + 43*m = h - 50042, 4*m = 28. Is h a multiple of 251?
False
Suppose 3*a - 123 = -z - 0, -2*z + 206 = 5*a. Does 7 divide ((-357)/(-14))/((-2)/a*-5)?
False
Let f(c) = 38*c**2 - 32*c + 134. Does 22 divide f(8)?
True
Let s = -24591 - -68973. Does 191 divide s?
False
Suppose 20*y - 23805 = -45*y + 22020. Does 5 divide y?
True
Let g(c) = 91*c**2. Let n be g(-1). Suppose 0 = -2*v + 5*a + 1129, 2297 = 4*v + 8*a - 5*a. Is 33 a factor of (v/n)/((-2)/(-77))?
False
Let a(t) = -5*t - 110. Let w be a(-22). Does 4 divide (-3 - -1) + 183 + w?
False
Let u be 57/38*3796/(-6). Let b = -151 - u. Does 38 divide b?
True
Let x(h) = 470*h + 1630. Does 14 divide x(0)?
False
Suppose 7*m - 408 = -324. Suppose -5*o + 60 = -0*o. Let g = o + m. Is g a multiple of 12?
True
Suppose 0 = c - 5*a + 1 - 2, c - 3*a - 9 = 0. Let f(r) be the first derivative of -r**3/3 + 23*r**2/2 - 10*r - 1388. Is f(c) a multiple of 16?
True
Let r(y) = -3*y + 55. Let n be r(25). Let q be (-8)/n - (-64)/(-10). Is (1236/18)/((-4)/q) a multiple of 6?
False
Let v(w) = -w**3 + 13*w**2 - 44*w + 14. Let q be v(6). Let m = 4 + -10. Does 6 divide (-15 + m/q)*-1?
True
Let w(o) = -3*o**3 + 20*o**2 + 9*o - 9. Let n be w(7). Suppose -7*s + n*s = -2, -5*f = -4*s - 1391. Is f a multiple of 22?
False
Suppose 18*s - 37*s = -16*s - 5298. Is s a multiple of 45?
False
Let k = -177 - -182. Suppose 974 = k*t - 146. Does 16 divide t?
True
Let w be (6/(-5))/((-15)/(-3500)). Let s = w - -790. Is 51 a factor of s?
True
Suppose 0 = -2*y + s - 1300 - 794, -y - 2*s = 1057. Let c = y + 1539. Is 14 a factor of c?
True
Let a = -132 + 134. Suppose -66 = -5*d - 2*l, a*d + 2*l = 23 + 1. Is 3 a factor of d?
False
Let g = 220 + 713. Suppose -237 = -6*m + g. Is m a multiple of 15?
True
Suppose 4*p - 3143 = -3*t, 3*t = 24*p - 20*p - 3161. Is 4 a factor of p?
True
Let a = 559 + -363. Is (a*-3)/(-6) - 0 a multiple of 4?
False
Suppose -2*i = -4*u - 22, -4*u - 17 = -5*i + 32. Suppose i = -75*k + 78*k. Suppose -k*b - 24 = -150. Is b a multiple of 21?
True
Suppose 3*f = 3*b + 86493, -193150 = -9*f - 5*b + 66385. Does 41 divide f?
False
Suppose 23*r = 18*r + 15. Suppose 5*a - 4 = 3*i, a - r*a + 6 = i. Suppose i*f - 5*f + 3*j = -261, -5*f - j + 417 = 0. Is 21 a factor of f?
True
Let f(j) = 18*j**2 - 15*j - 9. Is f(-4) a multiple of 2?
False
Let z(q) = 1204 + 185*q - 614 - 623. Is z(5) a multiple of 16?
False
Let b(p) = 13*p**2 + 83*p - 86. Is b(16) a multiple of 10?
True
Let o be ((-3 - -5) + 1/1)/1. Suppose -5*g - 96 = 3*x - 305, -o*x + 5*g = -199. Does 66 divide x?
False
Suppose 170 = 5*o - 5*x, o = -3*o + 3*x + 139. Let l = 1095 - 1118. Let j = o - l. Is 6 a factor of j?
True
Suppose -w - 9*w = -10. Let s be (-1)/(3/(-12))*2*w. Does 35 divide (-4*(-2)/s)/(1/35)?
True
Suppose -47*d = -58*d - 33. Is 10 a factor of (-815)/d - (-145)/(-87)?
True
Let g(i) = -i**3 + 6*i**2 - 10*i + 29. Let t = -98 - -103. Let d be g(t). Suppose -4*f - l + 529 = 0, -d*l - 138 - 122 = -2*f. Does 21 divide f?
False
Suppose -5*r + 3*f + 27 = -3*r, -6 = -r - f. Does 6 divide (-2)/9 + (3414/54 - r)?
True
Let u(z) = z**2 + 6*z + 2. Let d be u(-6). Suppose -60 = -5*q + d*s, 2*s = 9 + 1. Does 15 divide ((-24)/q)/((-3)/105)?
True
Let h(d) = d**3 + 24*d**2 + 44*d + 6. Let k be h(-22). Suppose k*m + 3472 = 10*m. Does 14 divide m?
True
Let k be 1512/48*(24/(-9))/(-4). Suppose -5*p = -k*p + 7632. Is 16 a factor of p?
False
Does 7 divide (-248409)/126*(-18)/10 - 36/(-120)?
True
Let y = -76 + 80. Suppose -3*c + 15 = 0, -y*c = j - 2*j + 220. Is 67 a factor of j?
False
Suppose -3 + 8 = -5*f. Let k(i) = 2*i**2 - i - 1. Let v be k(f). Suppose o + 3 = 0, -3*t - 7*o + v*o = -249. Is t a multiple of 11?
True
Let i(v) be the second derivative of -v**4/12 - 35*v**3/6 + 27*v**2 + 23*v. Is 51 a factor of i(-20)?
False
Let q = 32 + -32. Suppose q = 2*a + 6, 4*k + 0*k - 2*a = 18. Suppose -f - 463 = -3*b, k*b + 626 = 7*b + 3*f. Does 25 divide b?
False
Is 14 a factor of (24433876/545)/(16/20)?
False
Let m = -109 + 131. Suppose -2*l + 59 = 5*b - m, 3*b = 2*l + 39. Does 5 divide b?
True
Let z(d) = d**3 + 3*d**2 - 15*d - 7. Let n be z(-6). Let b(j) = j**2 + 23*j - 51. Let