6)*-2788?
True
Let x = -13 - -22. Suppose -r + 17 = b, -3 = -r - 2*b + x. Suppose 3*u - 4*d - 97 = -r, 0 = -2*u + 2*d + 48. Is 21 a factor of u?
True
Does 6 divide 11952/90 + 16/(-20)?
True
Suppose -39*w + 87*w - 712272 = 0. Is 209 a factor of w?
True
Let c(n) be the second derivative of -7*n**3/6 - 6*n + 2. Is c(-36) a multiple of 18?
True
Let h(q) = 129*q**3 + 2*q**2 - 13*q - 6. Let c be h(4). Suppose 1510 - c = -10*d. Is 6 a factor of d?
True
Let n(d) = -5*d - 86. Let v(r) = -3*r - 43. Let x(g) = -4*n(g) + 7*v(g). Let k be x(15). Let a = 62 + k. Is a a multiple of 45?
True
Suppose -3*o + 54435 = 4*w + 2232, -5*w - 5*o + 65255 = 0. Is w a multiple of 60?
False
Let l(v) = -313*v + 4907. Is 25 a factor of l(-36)?
True
Let j be 4/(-1)*(-6)/8. Suppose 3*l + j*f = 159, 2*l + 5*f = 3*l - 47. Is l a multiple of 3?
False
Let y(p) = p**3 + 16*p**2 - 29*p + 32. Suppose 28 - 86 = 4*n + 2*a, 2*n = -3*a - 23. Is y(n) a multiple of 31?
True
Is 74 a factor of 4 + 17748/4 - (-2)/(-4)*0?
False
Let n be (-1 - (8 + 6))/(6/(-526)). Suppose 3*k = -2*q + 1844, -2*q + n + 1141 = 4*k. Is 27 a factor of k?
False
Let u = -6171 + 9083. Is u a multiple of 52?
True
Suppose 7*d - 708 = 5*d. Suppose -5*t + d - 34 = 0. Let c = t - -32. Is 11 a factor of c?
False
Suppose 20*j = -4*r + 19*j + 5177, -4*r - 2*j + 5174 = 0. Is r a multiple of 15?
False
Suppose 5*n - 2*k - 51511 = 0, 457*n + 20598 = 459*n - 4*k. Is 4 a factor of n?
False
Suppose -5*w = -4*o + 66061, -5*o + 21762 = 5*w - 60893. Is o a multiple of 108?
True
Let z be 6/15 + 17822/70. Let k = z - 230. Is k a multiple of 25?
True
Let z = 152 + -148. Suppose -z*n = w - 266, -22*w + 26*w = 2*n + 1064. Does 7 divide w?
True
Suppose -51*p + 66 = -45*p. Suppose p*t - 6201 + 1097 = 0. Is t a multiple of 58?
True
Let c be (-35)/15*(1 + -4)*-1. Let r(l) = -7*l - 44. Let z be r(c). Suppose 39 = j + 4*n, -3*j + z*n = j - 261. Is 9 a factor of j?
False
Let o(n) = -21*n**3 + n**2 + 2*n + 1. Suppose 259 = 5*a - 366. Let k = a + -126. Does 2 divide o(k)?
False
Suppose -2 = 3*l + 4. Let q be 0/(-2) - 840/(l - -5). Is 28 a factor of (-5)/(-15) + q/(-6)?
False
Suppose 0 = 3*c - 0*c - 138. Let d be (154/70)/11 + (-9)/(-5) + 1. Suppose -2*g + 5*b = 3*g - 150, -d*b = g - c. Is 16 a factor of g?
False
Let w(z) = 16*z**3 - 23*z**2 + 3*z + 25. Is 50 a factor of w(10)?
False
Let n(k) = k**2 - 19*k + 118. Let p be n(6). Does 12 divide 768 - 0/(-2)*20/p?
True
Let u be (-628)/(-7) - (-2)/7. Suppose -3*x + 18 = -13*c + 17*c, -5*c - 5*x + 30 = 0. Suppose 2*r = -c*r + u. Is 15 a factor of r?
True
Suppose 0 = 3*u + 2*a - 239 + 735, 0 = -u + a - 167. Let h(f) = -14*f**2 + 16*f - 40. Let j be h(3). Let g = j - u. Is g a multiple of 24?
True
Let t be (4/3)/((-6)/(-45)). Let i be ((-1040)/325)/(2/(-10)*1). Is (165/t)/(6/i) a multiple of 44?
True
Let i = 142 + -53. Suppose 3*h + i = 7*h + 5*u, 3*h + u = 53. Let t(f) = 3*f. Is t(h) a multiple of 7?
False
Let g(y) be the third derivative of -2*y**4 + 5*y**3/3 + 13*y**2. Let a be (15/6 + -1)*(0 - 2). Is 22 a factor of g(a)?
True
Let j(y) = -y**3 + 15*y**2 + 5*y - 3. Let g be 9 + (8 - (4 + -2)). Is 3 a factor of j(g)?
True
Suppose -6*x + 289 = 235. Let o(w) = 33*w. Is o(x) a multiple of 9?
True
Suppose -240*l + 241*l = -3*c + 13155, 0 = 4*l + c - 52565. Is l a multiple of 180?
True
Let i = 62 + -53. Suppose 0 = -5*w - 4*h - 5 + 13, -h = 3*w - i. Suppose -3*a + 309 = -2*p, a - 3*a + 222 = w*p. Is a a multiple of 21?
True
Suppose 145*a - 186*a = -56088. Is 4 a factor of a?
True
Suppose -3013*h - 3060 = -3019*h. Is 8 a factor of h?
False
Let m = -6167 + 6213. Is m a multiple of 25?
False
Let a = 194 - 190. Let k(s) = s. Let h(w) = 8. Let p(j) = h(j) + 5*k(j). Is p(a) even?
True
Is 10 a factor of ((-9)/(-84))/(10/(-1440))*-203?
False
Suppose b - 3*q = -b + 6532, 2*q = 8. Let w be (-11)/6 + 2 + b/(-48). Does 16 divide 2/(-8) - 1377/w?
False
Let o = 7 + -10. Let l(n) = 2*n**3 - n**2 + 2*n - 1. Let d be l(o). Let i = 2 - d. Is i a multiple of 12?
True
Suppose 6*m - 62 - 40 = 0. Let h = 19 - m. Suppose -p = 3, h*l - 3*p - p - 172 = 0. Is l a multiple of 12?
False
Suppose -392 = -16*l - 1048. Let s = 36 - l. Does 11 divide s?
True
Let y(d) = d + 10. Let h be y(-6). Suppose -2*a - 526 = -h*p, -a + 176 = 2*p - 81. Is p/4 - 0 - (-7)/(-14) a multiple of 9?
False
Let x be (-2 + (-396)/(-10))/((-10)/(-25)). Suppose x = -10*h + 1784. Suppose -h - 119 = -8*r. Is 5 a factor of r?
False
Let g = 31 + -25. Suppose 4*o - 3*z + 4*z - 16 = 0, 4 = o + 5*z. Suppose -g*m - o*m = -980. Is 33 a factor of m?
False
Let p(i) = 3693*i - 959. Is p(3) a multiple of 5?
True
Let y = 54 + 829. Let v = y + -755. Does 7 divide v?
False
Let h(w) = 4*w - 9. Let m be h(6). Let n(d) = 30 - d + m + 2*d - 2*d**2 + 0*d**2. Is n(0) a multiple of 15?
True
Suppose 0 = 2*g + 31 + 15. Let x = g - 2. Let z = x - -43. Is z a multiple of 3?
True
Is 67 a factor of (98/6 - -6)*6?
True
Let f be 3*(-25)/(-15)*1. Suppose -c + 296 = -5*q, c = -2*q + 112 + 170. Suppose 310 = 5*p - f*m, 5*p = -m - 0*m + c. Does 11 divide p?
False
Let y be -3 + 51/15 - (-4)/(-10). Let o be (2 + 1)/((-4)/(-12)) - y. Does 2 divide (-30)/o*((-45)/6)/5?
False
Let r be 3/2*64/24. Let o(z) = -z**2 - z + 1. Let a(l) = -5*l**2 + l + 24. Let b(p) = r*o(p) - a(p). Is b(9) a multiple of 6?
False
Let j = 3818 - 2612. Does 2 divide j?
True
Suppose 25 = 5*g - 0*g. Suppose 0 = g*r - 106 - 524. Let x = r - 44. Is x a multiple of 30?
False
Suppose -24*m + 2715 - 51 = 0. Suppose -2*j - m = -3*j. Is j a multiple of 2?
False
Let c(n) = -5*n - 27. Let d be c(-6). Does 19 divide 4 + d/(3/224)?
True
Let c = 24 - 51. Let q = 54 + c. Suppose g = 4*m + q, 5*m - 42 - 21 = -g. Does 7 divide g?
False
Suppose 4*o - 89272 = -4*c, -12*o + 13*o + 3*c = 22322. Is o a multiple of 14?
True
Let z(d) = d**3 - 16*d**2 - 2*d + 34. Let f(s) = 4*s**2 + 30*s. Let v be f(-8). Let r be z(v). Does 9 divide (3*-16)/(1 - r)?
False
Suppose -5*s - 4*r + 156 = 0, 0 = -2*s + 4*s + 3*r - 68. Let n be (903/s)/(3/8). Suppose 3*i - n - 292 = 0. Is 16 a factor of i?
False
Let r be (0/5 + 0 + -1)*232. Let i = r + 338. Is i a multiple of 53?
True
Suppose -w + 64111 = 60*w. Does 23 divide w?
False
Suppose -339330 = -4357*l + 4342*l. Is l a multiple of 16?
False
Let q(b) = -17*b**3 - 11*b**2 + 24*b - 24. Let m(l) = -9*l**3 - 6*l**2 + 13*l - 12. Let n(k) = -11*m(k) + 6*q(k). Does 22 divide n(-4)?
True
Let a(v) = -72*v**2 + v - 2. Let s be a(1). Let l = s + 82. Suppose 0 = 3*u + l - 369. Is 30 a factor of u?
True
Suppose -4*f = -t - 11078, 9*f - 39480 = -5*t - 14598. Is f a multiple of 173?
True
Let b(f) = -22*f**2 + 1811*f + 74. Is b(52) a multiple of 6?
True
Let d = 118 - 118. Let j(q) = q**3 + 2*q**2 - 2*q + 170. Does 34 divide j(d)?
True
Let u = 6629 + -6145. Is u a multiple of 59?
False
Suppose 3*k - 10*v + 62 = -12*v, 0 = 4*k + 4*v + 76. Let j be 38 + (-5 - k/4). Let b = j - -13. Does 26 divide b?
True
Suppose 0 = 4*h, p = -h + 6 + 14. Suppose 4*v = 5*b + 2*v + p, -4*b + 4*v - 28 = 0. Is 15 a factor of 1 - (-55 + 0/b)?
False
Let f(q) = 2*q**3 - 21*q**2 - 213*q + 3955. Is f(16) a multiple of 11?
False
Let p(h) = h**3 + 5*h**2 + 4*h - 12. Let n be p(6). Is (n/7)/((-287)/49 + 6) a multiple of 13?
False
Let s be ((-183)/122)/(6/(-28)). Suppose -3*b - 1584 = -s*b. Is 22 a factor of b?
True
Let i = 14177 - 3753. Is 22 a factor of i?
False
Suppose 0 = 3*z + b + 4*b - 170, 5*z - 340 = 3*b. Suppose 0 = 10*w - 5*w + z. Let h(q) = -q**3 - 11*q**2 + 26*q + 8. Does 4 divide h(w)?
True
Let v be (-2845)/(-8) + ((-185)/40 - -5). Suppose 12 = -3*s - 0, -4*f + v = 3*s. Is 14 a factor of f?
False
Suppose q - 4 = -0*q, w = -q - 51. Does 74 divide (-58 - w) + (-1312)/((-2)/2)?
False
Suppose -3*l = 2*r - 13, 0 = -2*r - 3 + 1. Suppose -12*n + 12 = -12. Suppose -w - 40 = -l*a + 29, a - n*w = 21. Is a a multiple of 3?
False
Let l(c) = -767*c - 413*c - 1000*c + 25 + 398*c. Is 45 a factor of l(-1)?
False
Suppose -13*i + 334670 = 4*i - 3*i. Is i a multiple of 20?
False
Let c = -3204 + 4048. Is c a multiple of 30?
False
Is (90/12*124)/(((-408)/(-464))/17) a multiple of 10?
True
Suppose p - 14 = 3*f + 193, 0 = -2*f - 5*p - 138. Let j be (f + 4)/5 + 5. Is 4/(-8) - 220/j a multiple of 9?
True
Is -2*2*(-229 - (-12 - -31)) a multiple of 3?
False
Let s = 359 - 354. Let m