 + 5*t = -59, w - 3*t + 13 = 33. Is w a multiple of 11?
True
Let p(z) = 36*z**2 - 31*z + 23. Does 35 divide p(-6)?
True
Let p(j) = 679*j + 1172. Is 96 a factor of p(14)?
False
Let y be (3 + -1)*(-1)/(-2) - 1. Suppose -4*p + 819 + 309 = y. Let z = p + -164. Does 19 divide z?
False
Suppose 19*l - 40 - 23520 = 0. Is 34 a factor of l?
False
Does 87 divide 6/(-16) + 0 - 952242/(-304)?
True
Suppose 2*k - 42 = -12. Suppose 0 = k*w - 4429 + 1384. Does 16 divide w?
False
Let k(i) = -39*i + 431. Let x(f) = -26*f + 288. Let v(b) = -5*k(b) + 8*x(b). Does 14 divide v(-19)?
False
Suppose -13*r - 6 = -15*r. Suppose 0 = 3*s - 4*i + 4, i = r*s - 0*i + 1. Suppose s = -16*z + 21*z - 180. Is z a multiple of 9?
True
Let w = -5255 - -3050. Is w/(-15) - (-6)/(-3) a multiple of 29?
True
Let v = 17088 + -11684. Does 12 divide v?
False
Let r(l) = -769*l - 3734. Is r(-16) a multiple of 3?
False
Suppose 3*n + 22443 = 2*o, 0 = -5*o - 6*n + n + 56020. Is o a multiple of 18?
False
Let g be (-7)/(-14)*1*2/(-1). Let t(d) = -727*d**3 + d**2 - 3*d - 3. Is t(g) a multiple of 52?
True
Let u(o) = -o**2 + 10*o - 3. Let s be u(8). Suppose -9*f - 540 = -s*f. Suppose 0 = 3*a - 0*a + 3*m - f, -5 = -5*m. Is 11 a factor of a?
True
Let r(o) be the second derivative of -3*o**3/2 - 53*o**2/2 - 15*o. Let p be r(-14). Suppose p*a - 72*a = 74. Is 20 a factor of a?
False
Suppose 90*q - 92*q + 3*k = -2635, k + 1317 = q. Let n = -351 + q. Is n a multiple of 54?
False
Let i = -579 + 1794. Is 9 a factor of i?
True
Is (1119984/21 - 17) + (-9)/(-21) a multiple of 23?
False
Suppose m - 3*o - 6813 = 0, 2*m + 3*o = m + 6807. Is m a multiple of 37?
False
Let y(z) be the second derivative of -z**4/6 + 7*z**3/3 - 11*z**2/2 - 3*z. Let x be y(6). Let m(v) = 93*v**3 + v**2 + 2*v - 1. Is 19 a factor of m(x)?
True
Let s(b) = b**2 - 7*b + 19. Let h(r) = -3*r**2 + 22*r - 56. Let w(n) = -4*h(n) - 11*s(n). Let j be w(8). Does 6 divide 3 - (-3)/(j/(-105))?
False
Is 11 a factor of (-7887)/(-9) + 1 + (-8)/(-12)?
False
Let n be 4/10 + (-11619)/(-15). Let f = -321 + n. Suppose 0 = 7*l - 2*l - 4*u - f, -2*l = 3*u - 177. Does 30 divide l?
True
Let w(u) = -u**3 - 6*u**2 + 7*u + 4. Let c be w(-7). Suppose -400 = 74*n - 54*n. Is 20 a factor of (64/n + -2)*(-16 - c)?
False
Let k = 49 + -54. Does 15 divide 229*(-8 - k)*-1?
False
Is -11 - (10 + -2652) - 3/(-9)*0 a multiple of 39?
False
Suppose 71*b - 84621 - 1132784 = 22*b. Is b a multiple of 269?
False
Let u(o) = -10*o**2 + 302*o - 54. Is u(26) a multiple of 131?
False
Let h(s) = -2*s**2 + 2*s**3 + 10*s**2 - 30 + 203*s - 200*s - 4*s**3. Is 14 a factor of h(-6)?
True
Let q be (-1)/(-6)*-23 + (-11)/66. Let r be 3 + 2 + (-4 - q). Suppose -2*n + 391 = -r*a, -3*a - 199 = -n - 4*a. Is n a multiple of 49?
False
Let r(q) be the second derivative of 377*q**5/20 - 5*q**3/6 + 2*q**2 - 167*q. Does 47 divide r(1)?
True
Suppose -m = -4*s + 12, s - 18 = -2*m + 3*m. Does 2 divide (m - (-9 + 5))*1/(-2)?
True
Let z(d) = 8*d**2 + 98*d - 161. Is 55 a factor of z(-27)?
True
Let w = -100 - -164. Suppose 0 = 4*k + w - 0. Is k/3*((-1482)/8)/13 a multiple of 7?
False
Let z = 31 - 26. Suppose -z*w = -10*w - 3*g + 110, -g + 22 = w. Is 3 a factor of w?
False
Let d = -4808 + 5281. Is 4 a factor of d?
False
Let j = -1965 - -2081. Is 29 a factor of j?
True
Suppose 0 = -3*p + d + 11832, -5*d = -8*p + 7*p + 3972. Is p a multiple of 27?
True
Let r = 606 + 262. Does 17 divide r?
False
Let o = -138 + 443. Let v = o + -279. Is v a multiple of 13?
True
Let d = 32913 - 18422. Is 75 a factor of d?
False
Let u be ((-203)/(-1))/((-64)/(-320)). Let r = u - -163. Is r a multiple of 38?
True
Let a(c) = -13*c + 56. Let p be a(-5). Suppose 6*b + 118 = 7*b - 2*n, n = -b + p. Is 30 a factor of b?
True
Let p(g) = 303*g**2 + 2*g - 64. Is p(4) a multiple of 14?
False
Suppose -17*f + 15*f = -12. Suppose 0 = 3*h - 5*z - 21, 2*z + 0 + f = 0. Is 17 a factor of 1775/15 - h/(-3)?
True
Suppose -10*s + 13*s = 9. Suppose 2*f + 149 = 3*w - 59, -2*w = -s*f - 147. Does 9 divide (-22)/w + 2/(12/110)?
True
Suppose 0 = -11*c - 3*c + 26656. Does 112 divide c?
True
Let q(n) be the third derivative of n**5/30 - 13*n**4/8 - 8*n**3/3 - 5*n**2. Let i be q(20). Is 282/i + -1 - (-2)/(-4) a multiple of 23?
True
Suppose 0 = -293*p + 298*p - 30, -61600 = -2*a - p. Is 264 a factor of a?
False
Let s(f) = f**2 - 21*f + 12. Let r be s(20). Let h(d) = -32*d - 87. Is 13 a factor of h(r)?
True
Let w = -4387 - -14452. Is 183 a factor of w?
True
Let j = -354 - -284. Let o be (-1083)/(-4) + 0 - (-45)/(-60). Let l = j + o. Is l a multiple of 16?
False
Let w(i) = -4*i - 40. Let c be w(-12). Suppose -c*b = -6*b. Suppose 0*t + t - 84 = b. Does 14 divide t?
True
Suppose 10*a + 1517 = 27687. Suppose 2102 = 4*h - 5*s, -4*h + a = h - s. Suppose -449 = -6*y + h. Is 54 a factor of y?
True
Let n = 20671 - 4457. Does 75 divide n?
False
Let q = -32702 - -53646. Is q a multiple of 154?
True
Suppose 19 = -12*l + 103. Does 35 divide (l/2)/((-26)/(-1560))?
True
Let f = 2416 + 7220. Is 31 a factor of f?
False
Let a be 6 + 3816/(-66) + (-2)/11. Let p = 17 - a. Does 17 divide p?
False
Suppose 81*o - 85*o = 4*m - 6004, -5*m - 3*o = -7513. Does 10 divide m?
False
Let m(d) = 4*d**2 - 9*d + 1. Suppose -11*b + 259 = -48*b. Is 9 a factor of m(b)?
False
Let g = 22 - -11. Let a = 7 - g. Let c = a + 112. Is 17 a factor of c?
False
Suppose -35*w + 63*w - 57288 = 0. Is w a multiple of 34?
False
Let n = 5957 + -3098. Is 99 a factor of n?
False
Let n(o) = 540*o + 1185. Let l(s) = -20*s - 44. Let d(m) = 110*l(m) + 4*n(m). Is 8 a factor of d(-8)?
False
Let y(o) = 32*o**2 - 3*o - 2. Let s be y(-1). Let c = -27 - -14. Let g = s + c. Does 20 divide g?
True
Suppose 0 = 3*k + h - 5878, -h + 3790 + 4046 = 4*k. Let i = -1178 + k. Is 15 a factor of i?
True
Does 33 divide 13/((-780)/(-47475)) + (-2)/8?
False
Suppose -2*i = 75 + 29. Let f = 56 + i. Suppose -4*g + 43 = y, g - 86 = -2*y - f*g. Is y a multiple of 8?
False
Suppose 0 = -3*q - 15*q. Let i(b) = -4*b + 228. Does 12 divide i(q)?
True
Let h be (3 + (-76)/(-12))*(-108)/(-21). Suppose 54*y = h*y + 3840. Does 16 divide y?
True
Let f be (-2)/(-6) + (-76)/(-6). Let h(x) = 2*x**2 + 58*x + 3. Let j be h(-29). Is (j - (-4 + 2))*f a multiple of 13?
True
Suppose 5*h + 346 = 7*h. Let g = -171 + 269. Let w = h - g. Is w a multiple of 8?
False
Suppose 4*l - 12 = 0, -3*l = -5*k + l - 17. Suppose 2*u - 5*i = 5*u - 2, u + 2 = i. Does 12 divide 46 + 3/k - (-1)/u?
False
Let q(g) be the third derivative of 0 - 11/6*g**3 - 48*g**2 - 49/12*g**4 + 0*g. Does 13 divide q(-1)?
False
Let c = 299 + -294. Does 31 divide 50/15*75 + (3 - c)?
True
Let k = -40869 + 60985. Is 83 a factor of k?
False
Is 38 a factor of 14/112*100*314?
False
Let z = 7115 - 5022. Is 91 a factor of z?
True
Suppose -4*g = -i - 3*i + 8, 3*g = 5*i - 10. Suppose 0 = i*c - 2*t - 218, 5*c - 553 = -15*t + 12*t. Does 55 divide c?
True
Let z(h) = h**3 + 19*h**2 + 41*h + 3. Let t be z(-15). Suppose 6*m = 12*m - t. Is 8 a factor of m?
True
Let j(x) = -x**3 - 32*x**2 - 76*x - 48. Let b be j(-30). Is 13 a factor of (b/(-2))/((-22)/44)?
False
Let l(i) be the first derivative of -i**4/4 + 13*i**3/3 + 7*i**2 + 29*i - 15. Let s be l(14). Suppose -s = -b - 2*d, -56 = -b - b - 3*d. Is b a multiple of 25?
True
Let b(f) = -2*f + 56. Let s(i) = i**2 - 25*i - 12. Let m be s(25). Does 13 divide b(m)?
False
Let l be (7 + 322/21)/((-3)/(-27)). Let w = l - -69. Is w a multiple of 31?
False
Let h(a) = a**3 + 31*a**2 - 8*a + 12. Let y = 221 - 252. Is 4 a factor of h(y)?
True
Let u(t) = -2*t**3 - 5*t**2 - 6*t + 24. Let g be u(5). Let h = 465 + g. Is 17 a factor of h?
False
Let v = 620 - 521. Suppose 6*i + 18 = 7*i. Let p = v + i. Is 9 a factor of p?
True
Suppose -2539 + 86 = -11*t. Let u = t - -58. Does 33 divide u?
False
Let b = 38 + -5. Suppose y - 6*y + 58 = 4*n, 3*y + 3*n - b = 0. Is 1012/y + (-8)/28 a multiple of 12?
True
Let b(h) = 6*h - 3*h - 7*h**3 - 5*h**2 + 2*h + 29 + 6*h**3. Let j be b(-6). Is (-528)/(-14) + 10/j a multiple of 35?
False
Suppose -15*j + 8*j = -20*j + 150020. Is j a multiple of 87?
False
Suppose 18 = 4*y + 10. Suppose y*v - 925 = 103. Is 21 a factor of v?
False
Let p be 6 + (-13 - -2) + 7. Let v be 6/(-4)*(-8)/6. Suppose -5*n + 125 = 5*i, 35 = p*n + v*i - 5*i. Is 11 a factor of n?
True
Suppose -3*o + 45