es 6 divide b?
True
Suppose 0 = -8*b + 17 + 7. Suppose 5*i - b*i - 8 = 0. Suppose 5*s + p = i*p + 373, -s + 2*p + 76 = 0. Is s a multiple of 15?
False
Let q(w) = 38*w + 21. Let p(r) = -32*r - 20. Let u(n) = -6*p(n) - 4*q(n). Let x(m) = m**2 + m. Let y be x(-3). Is u(y) a multiple of 31?
False
Suppose -v + 2*v - g + 125 = 0, -4*v = 3*g + 465. Let o = 170 + v. Suppose -10*t = -850 + o. Is 13 a factor of t?
False
Let x be (446690/57)/((-2)/3). Let p be 15/(-20) - x/20. Let s = p - 302. Is s a multiple of 42?
False
Suppose 0 = -111*p - 111161 + 342041. Is 65 a factor of p?
True
Does 8 divide 56760/(-5)*-1 - (-12 - -12)?
True
Suppose 338 = 6*l + 308. Suppose -3231 = l*f - 14*f. Does 13 divide f?
False
Let c = 61 - 57. Suppose c*i - 3 = -3*k, -4*i - 4 = -i - 4*k. Suppose i*l + 196 = 3*l - 4*j, 5*j = 4*l - 260. Is 4 a factor of l?
True
Let z = 40848 - 18336. Is 14 a factor of z?
True
Let f(i) = i**2 + 7*i + 10. Let c be f(-5). Suppose c = 5*l - 154 - 81. Does 9 divide l?
False
Let f(z) = 59*z + 60. Is 83 a factor of f(5)?
False
Let a(u) = -u**2 + 19*u + 5. Let n be a(6). Suppose 893 = 9*v + n. Does 5 divide v?
True
Let o = 1680 + -1170. Suppose -3*a = -948 - o. Is 27 a factor of a?
True
Let t(r) = 57*r**2 - 60*r - 33. Does 61 divide t(-6)?
True
Let z be (-4 + (-1102)/(-8))*12. Suppose 6*h - 2*h = -4*x + 1284, -5*h = 3*x - z. Is 16 a factor of h?
False
Suppose -5*k + 546 - 3086 = -4*w, -3*k + w = 1531. Let n = k + 1189. Is 13 a factor of n?
False
Let i(d) = -2*d + 6. Let j be i(5). Let q(o) = -7*o + 72. Let k be q(14). Is 22 a factor of (130/j)/(13/k)?
False
Suppose -x = 2*l - 10, 5*x - 27 = -3*l - 5. Suppose -140 + 404 = x*i. Does 3 divide i?
True
Suppose 2*k + b = 8, 4*b - 12 + 4 = 0. Suppose k + 5 = 4*t. Is 4/(-8) - (-107)/t a multiple of 7?
False
Suppose 4*m - 7057 - 135 = 0. Is 54 a factor of m?
False
Let y = -161 + 185. Suppose -y*p = -4*p - 2320. Is 68 a factor of p?
False
Let c be 6/(-8) - (-4)/(64/732). Let j = -40 + c. Suppose -t = 3, j*t - 804 = -4*k + k. Is k a multiple of 42?
False
Let d(n) = 25*n**2 - 41*n. Let c be 9 - (-1 - (-2 - 3)). Is 20 a factor of d(c)?
True
Let v(d) be the first derivative of 2*d**3/3 - 47*d**2/2 - 15*d + 71. Is v(24) even?
False
Let h(u) be the first derivative of -u**2/2 - 39*u - 11. Let z(c) = -2*c - 40. Let a(k) = -3*h(k) + 2*z(k). Is 16 a factor of a(14)?
False
Suppose 4*r = -3*g + 1234, -22*g + 20*g + 3*r + 800 = 0. Is g a multiple of 3?
False
Let n = -98 + 4. Let t = n + 109. Is 3 a factor of t?
True
Suppose 4*v - 1192 = -3*u, -258 = -5*v + 4*u + 1263. Suppose 13*t + v = 2693. Does 12 divide t?
False
Let n(d) = 7*d**2 + 99*d + 2248. Is 158 a factor of n(-38)?
False
Suppose 5*q - 610 = 5*t + 12140, 0 = q + 3*t - 2570. Suppose 6*i + q = 6197. Does 98 divide i?
False
Let m be (-4)/22 - ((-20)/(-22))/(-5). Suppose -5*h = 5*p - 25, 2*h + p - 5*p - 4 = m. Suppose k - 4*k - 3*d + 96 = 0, 0 = -h*k - d + 140. Is 6 a factor of k?
True
Suppose -2*f - 3*f = 2*u - 19, 2 = -2*f + 4*u. Suppose 4*b - p - 15 = 0, 2*b - 1 = b + f*p. Suppose -b*j + 8*j = 420. Does 4 divide j?
False
Suppose -4723 = -7*t + 7373. Suppose 5*b = 192 + t. Is b a multiple of 8?
True
Let z(f) = -6*f**3 + 3*f**2 + 3*f - 2. Let m(w) = -w**3 + 4*w**2 + 2*w - 10. Let v be m(4). Does 8 divide z(v)?
False
Suppose r + 3*f = 15291, 221*r - f = 218*r + 45943. Is 43 a factor of r?
False
Let m = 5286 - 1055. Is 3 a factor of m?
False
Let u = 178 + -169. Suppose -u*w = -420 + 51. Is 11 a factor of w?
False
Suppose -2*c = -4*a + 8*a - 14622, 0 = 2*a - 3*c - 7331. Is 7 a factor of a?
False
Let p(x) = -47 - 467*x + 8 + 224*x + 232*x. Is p(-18) a multiple of 8?
False
Suppose 11*q - 2916 = -2*u + 6*q, 3*q + 5832 = 4*u. Is u a multiple of 18?
True
Let i = 560 + -541. Suppose 20*u - i*u - 452 = 0. Does 32 divide u?
False
Let r(u) be the first derivative of u**4/12 + u**3/3 - 5*u**2/2 + 4*u - 13. Let x(o) be the first derivative of r(o). Does 5 divide x(6)?
False
Let f = -2 - -92. Let u = f - 85. Suppose 5*s + 5*h = 360, 0 = u*s + h - 0*h - 344. Does 8 divide s?
False
Let o = 22520 - 9720. Does 20 divide o?
True
Suppose -5*l - 1176 = -3*v, 163*v - 165*v - 3*l = -803. Does 25 divide v?
False
Let m(l) = -l**2 - 14*l - 6. Let p be m(-11). Let x = 90 - p. Does 7 divide (16/(-48))/((-1)/x)?
True
Suppose -5*o = -5*p + 35, -4 = 3*p + 8. Let h be (-66)/363 + ((-12468)/o)/(-3). Is 9 a factor of (-36)/21*(h/4)/9?
True
Suppose 77*c + 16074 = 86*c. Is c a multiple of 4?
False
Let p = 22261 - 16167. Is 9 a factor of p?
False
Let q be (185/15)/((-5)/(-750)). Suppose 9*c - q = -5*f + 4*c, -3*c - 1890 = -5*f. Is f a multiple of 15?
True
Let q(n) = -3*n - 22. Let x be q(-8). Let z(j) = x*j - 5 + j - 9 + 0*j. Is z(21) a multiple of 26?
False
Let r(l) = -2*l**2 - 19*l - 12. Suppose 20 = -4*b - 16. Let n be r(b). Is 43 a factor of n/4 + (-18)/(-24) - -129?
True
Suppose 0 = 5*a - 5*d + 9*d + 16, -a - 5*d - 20 = 0. Suppose a*s = -21*s + 3927. Does 4 divide s?
False
Suppose -f = -14*f + 30963 + 80967. Is f a multiple of 35?
True
Suppose -34*f + 30*f - 1140 = 0. Is 14 a factor of ((-950)/f)/((-2)/(-210))?
True
Let r(m) = 2*m**2 - 7*m - 34. Suppose 0 = 19*v - 269 + 3. Does 20 divide r(v)?
True
Let h be (318/(-9) - 1/(-3))/1. Let o = 117 + h. Suppose -u + o = -3*t, 0 = 2*u + 4*t - 2*t - 204. Is 7 a factor of u?
False
Let w be 24468/30 - 2*3/(-15). Suppose -5*m + 984 = 2*p, -m - w - 660 = -3*p. Does 12 divide p?
True
Let b(i) = 86*i**2 - 3*i + 7. Let k be b(4). Suppose -z - 2309 = -5*g, z + k = 3*g + 4*z. Is 35 a factor of g?
False
Let d be (-16)/(-3)*((-63)/4)/7. Is d + 7080/32 - 2/8 a multiple of 15?
False
Let y(o) = 786*o**2 + 3*o + 2. Let f(i) = i**2 + i + 1. Let s(p) = -5*f(p) + y(p). Does 78 divide s(-1)?
True
Let j = -66 - -5. Let i = j + 53. Let m(w) = -w + 55. Is m(i) a multiple of 20?
False
Let y be 2/9 - ((-20)/(-9) + -5). Suppose -10 = -2*z, -891 = -y*c + 5*z - 187. Is 6 a factor of c?
False
Suppose g + 240 = r, 4*r = -3*g - 366 - 333. Let s = -93 - g. Does 5 divide s?
False
Let x(d) = 7*d**2 - 23*d - 16. Let m(c) = -6*c**2 + 21*c + 16. Let j(v) = -3*m(v) - 2*x(v). Is j(-7) a multiple of 23?
True
Let y = -312 + -159. Let c = -270 - y. Suppose 7*f - c = 744. Is f a multiple of 27?
True
Suppose -24 = -18*j + 15*j, 7*f - 40210 = -2*j. Is f a multiple of 11?
True
Let k(z) = z**3 + 9*z**2 - 9. Suppose 0*b + 4*b = -20. Let m(h) = -h**2 - 6*h - 11. Let a be m(b). Is k(a) a multiple of 21?
False
Does 2 divide (-3158)/(-10) - (-9)/405*9?
True
Suppose -16*a - 19103 = -18*a - 3*l, -2*l - 14 = 0. Does 14 divide a?
True
Let w = 46 - 44. Let b(y) = 22*y**3 + 3*y**2 + y - 4. Let u be b(w). Let s = u - 76. Does 22 divide s?
True
Let b = 39 - 35. Suppose -4*k + 169 = -c - 59, -b*k + 220 = c. Does 7 divide 7/(k/6)*40?
False
Let n = -8209 - -8947. Does 4 divide n?
False
Let a = 367 + 513. Suppose -17*n - a = -37*n. Is n a multiple of 11?
True
Let z(l) be the third derivative of -l**6/120 - l**5/10 - l**4/8 - 7*l**3/3 - 17*l**2. Let o be z(-6). Suppose o*r + 176 = 8*r. Does 6 divide r?
False
Let x = -20830 - -31372. Is 7 a factor of x?
True
Suppose 2*w = -8*w + 100. Let r = 10 - w. Suppose r = 38*n - 41*n + 27. Does 9 divide n?
True
Let y(h) = h**2 - 3*h - 2. Suppose 2*s - 4*x = 14, 3*x + 9 = -3. Let n be y(s). Suppose i + 0*i - 153 = 5*k, 0 = n*i - k - 315. Does 18 divide i?
False
Let m(t) = 4*t**2 - 6*t + 1. Let h be m(4). Suppose -541 = -5*q + 164. Let d = q - h. Does 20 divide d?
True
Suppose 13 = n + 5. Let r = -842 - -1038. Suppose n*j = j + r. Does 7 divide j?
True
Suppose -4*g - 84 + 92 = 0. Suppose g*u + 4 = 0, -r + 182 = r + 5*u. Is 48 a factor of r?
True
Suppose -4*j = 4*z - 88, 2*j - 27 = 4*z - 1. Let r(d) = -d**3 + 21*d**2 - 22*d + 36. Does 20 divide r(j)?
True
Suppose -20*o = -6*o - 5656. Is o a multiple of 2?
True
Suppose -147104 = -14*c - 4*c + 150886. Is 55 a factor of c?
True
Suppose -1521 = 10*z - 7*z + 5*n, 2*n + 1010 = -2*z. Is 11 a factor of z/(-3) - (4 - (-77)/(-21))?
False
Does 6 divide (2 + -10283)*(-15)/54 + 18/108?
True
Let i be -3 + (3/9)/((-3)/(-7011)). Suppose -4*d - 248 + i = 0. Is 11 a factor of d?
True
Let r be (72 + -1)/(3/9). Suppose 0 = 4*h + v + v - 858, v = h - r. Suppose 2*c + c - h = f, -c + 4*f + 86 = 0. Does 10 divide c?
True
Let h(f) = 7*f**3 - 18*f**2 + 8