n(z) = 6*z**2 - 142*z + 1760. Is n(80) a multiple of 30?
True
Let f be (-1)/(273/56 - 5). Is -200*(168/(-196))/(f/42) a multiple of 36?
True
Let y(u) = -4*u + 18. Let a be y(7). Let m(v) = v**2 - 10*v + 3 + 18*v + 0*v**2. Is m(a) a multiple of 5?
False
Suppose -39*l - 24570 = -109*l. Does 8 divide l?
False
Let g = -10495 - -15695. Is g a multiple of 16?
True
Let t(x) be the first derivative of 71*x**2/2 - 11*x + 24. Is t(8) a multiple of 60?
False
Let v(b) be the first derivative of -1 + 3*b - 8*b**2 - 3*b**3 + 1/4*b**4. Does 14 divide v(11)?
False
Let j be (32/(-6))/(5/3 + -2). Suppose 0 = -j*f + 330 + 198. Does 3 divide f?
True
Suppose 20*s + 186*s = 147496. Is s a multiple of 5?
False
Let c(q) = 216*q**2 + 32*q - 11. Is c(3) a multiple of 10?
False
Is 16268*54/(-252)*-4 a multiple of 83?
True
Let m(a) be the second derivative of 397*a**3/6 - 2*a**2 + 15*a. Let k be m(1). Suppose -2*n + 3*q = -5*n + k, -4*n + 3*q + 531 = 0. Is 23 a factor of n?
False
Let z = -12 + 307. Suppose -4*o = -3*o - z. Is 39 a factor of o?
False
Let a be -93*(-10)/3 + 8. Let f = -191 + a. Is 52 a factor of f?
False
Let t = 27 + -111. Let h = t - -80. Is (-30)/h*160/24 a multiple of 33?
False
Let i be -194 - (-6)/(2 - -4). Let u = i - -737. Is 23 a factor of u?
False
Let s(z) = -454*z - 134. Let h be s(-23). Suppose 30*l - 18*l - h = 0. Is l a multiple of 77?
False
Suppose u + 0*u = -38. Let q be (u/4 + 4)*8. Does 8 divide (-16)/12 + 2 + q/(-6)?
True
Let k(b) = b**3 - 84*b**2 - 212*b - 133. Is 18 a factor of k(88)?
False
Suppose -3*y - 4*t = -5*y + 1004, 2011 = 4*y - 5*t. Suppose 32*a + y = 38*a. Is a a multiple of 7?
True
Suppose 268 = 5*a + 88. Let k = a + -36. Suppose k = 2*s - 50 - 234. Does 18 divide s?
False
Suppose 3*z = 6*z - 5*r - 1356, 4*r = 24. Is z a multiple of 8?
False
Is 564*(10 - (-981)/(-99) - (-856)/22) a multiple of 92?
False
Let l(z) = -415*z - 3. Let c be l(-4). Suppose 0 = 3*p + g - c + 489, -3*p + 2*g = -1165. Is 13 a factor of p?
False
Suppose -5*l + 224 + 151 = 0. Suppose -80*x + l*x = -40. Let r(h) = h**3 - 6*h**2 - 12*h + 16. Is r(x) a multiple of 8?
True
Let x(l) = 207*l - 324. Does 36 divide x(8)?
True
Suppose -2*m = -0*n + 5*n - 9, 0 = 5*n + 15. Let l(v) = 26*v - 144. Is l(m) a multiple of 24?
True
Suppose 2*z = 4*f + 4476, -4*f + 5395 = 2*z + 927. Does 86 divide z?
True
Let f be -1*80*5140/(-80). Suppose -y - 4*y + 5*m = -f, -y - 5*m = -1052. Does 70 divide y?
False
Let f = 336 - 332. Suppose 4*c = -3*t - 47 + 247, -t = -f*c - 56. Is t a multiple of 16?
True
Let g = 641 + -1143. Let j = 750 + g. Is j a multiple of 31?
True
Let y be 2 + 3 + (-9)/3. Suppose 8 - 2 = 2*r, -k = -y*r + 5. Is (k + 52/(-16))/(3/(-24)) a multiple of 2?
True
Let k(x) = 25*x**3 + 2*x**2 + 40*x - 98. Is 113 a factor of k(5)?
True
Let l = 2 + 4. Let k be (-78)/(-24) - l/(-8). Suppose -k*j = -j - 6. Does 2 divide j?
True
Suppose -4 = 2*a, -a = -w - w + 298. Let s = w - 63. Does 17 divide s?
True
Suppose 303*l - 888098 = 6315727. Is 40 a factor of l?
False
Is 1 + -1 - (-5785 - (21 + -35)) a multiple of 10?
False
Let a(q) = -q**3 + 5*q**2 + 3*q + 1. Let x be a(7). Let t = x - -66. Let u(f) = f**3 + 9*f**2 - 11*f + 21. Does 10 divide u(t)?
False
Let m be (-2*(-1)/6)/(3/18). Suppose m*x + 3*l - 9 = -3*x, 0 = 2*x + 5*l - 15. Suppose -2*b - 5*b + 399 = x. Does 19 divide b?
True
Let c be 0 - -1 - (-11 + 9). Let w be c/(-3) + 1 + 0. Is 15 a factor of (-7 - 0 - -4)*(-33 - w)?
False
Let v = 3 - 20. Let y(x) = x**2 - 13*x - 3. Does 39 divide y(v)?
True
Let o be (-1)/4*-6397 + 60/80. Suppose -4*w + o = 16*w. Does 47 divide w?
False
Let p = -45 + 50. Let m be 95 + 0 - ((2 - 5) + p). Let o = m - 12. Is 12 a factor of o?
False
Suppose 6827 = 5*o + 1692. Suppose -4*u - 2*m + o = -1031, -3*m + 527 = u. Does 32 divide u?
True
Suppose 3*u + 6*f - 2*f = 45, 2 = u - 3*f. Suppose u*i - 15*i = -1252. Is 46 a factor of i?
False
Does 49 divide 10/90 - (-369944)/9 - (1 + 0)?
False
Let g = 40 + -36. Suppose s - 484 = 8*v - g*v, -4*v + 3*s - 484 = 0. Let i = v - -358. Is i a multiple of 13?
False
Does 5 divide 3 - (-1059)/15 - (-49)/35?
True
Let a(f) = -5*f**3 - 34*f**2 - 21*f - 36. Let o(l) = 3*l**3 + 22*l**2 + 14*l + 24. Let x(g) = 5*a(g) + 8*o(g). Is x(-5) a multiple of 36?
True
Let x(c) = -c**2 + 7*c - 7. Let r = 7 + -1. Let v be x(r). Does 14 divide v + 60 - -2*9/(-6)?
True
Suppose -179220 = -63*n + 205783 - 33085. Does 24 divide n?
False
Suppose -5*a + 622 = 3*l, 4*a + 0*a = -l + 499. Does 3 divide a?
False
Let u(k) = -20*k**3 + 5*k**2 + 5*k. Let o be u(-5). Suppose 15*x - o - 40 = 0. Is 59 a factor of x?
False
Let k be (10/(-25))/((-6)/15450). Suppose -106 + k = 14*z. Is z a multiple of 2?
True
Does 163 divide (-447517)/(-245)*2*5 + -10?
True
Let i = -159 - -54. Let v = -70 - i. Suppose 325 = 6*a - v. Does 13 divide a?
False
Suppose -334*v = -389*v + 203280. Is v a multiple of 48?
True
Let r be 52*(-2975)/(-280)*4/10. Suppose -211*p = -r*p + 16900. Does 26 divide p?
True
Suppose -3*u = -3*p + 51, 5*u + 49 = -4*p - 0*p. Let k be ((4 - -3) + -4)/(3/4). Let v = k - u. Does 17 divide v?
True
Let v be (-7 + -15)*(-2)/(2 - -2). Suppose 0 = -7*q + v*q + 12, -3*k + 4*q = -597. Is k a multiple of 39?
True
Let k be 2/5 + (-40)/(-25). Suppose 2141 = -3*j + 5*o - 5661, -2614 = j + 5*o. Does 14 divide j/(-24) + 1/k?
False
Suppose -2*w + f + 6 = -3*f, 2*w - 3*f - 7 = 0. Suppose 15 = -3*h, -w*b - 7*h + 3*h = 5. Suppose b*s = 3*p - 0*s - 267, 1 = s. Does 30 divide p?
True
Suppose -21*v + 17*v = -24. Suppose 2*s - 5*c - 770 = 0, -5*s + 1948 = -v*c + 5*c. Does 13 divide s?
True
Let c(v) = 5*v**2 + 135*v + 735. Does 5 divide c(-37)?
True
Suppose -1 = v, 4*d = -0*d + 3*v + 19. Suppose -32*b + 30*b - d*f + 778 = 0, 4*b - 5*f - 1517 = 0. Is b a multiple of 22?
False
Let c(o) = o**2 + 8*o + 15. Let d be c(-6). Suppose 0*b + 207 = -d*b. Let w = b + 73. Does 2 divide w?
True
Let k(i) be the second derivative of i**4/4 + 7*i**3/2 + 44*i**2 + 40*i. Does 7 divide k(-8)?
True
Let a = 634 - 482. Let w = -10 + a. Is w a multiple of 44?
False
Let a(x) = -33*x - 148. Let u be a(-11). Suppose -3*o - u = -812. Is o a multiple of 14?
False
Suppose 0 = -238*h + 421*h - 2521008. Does 84 divide h?
True
Let n be (-19 + 0/(-1))*1. Let y(d) = d**3 + 23*d**2 + 30*d + 53. Let p be y(-22). Let s = n - p. Is 12 a factor of s?
False
Suppose -31*j - 1650 = -34*j. Is 11 a factor of j?
True
Does 60 divide ((-21)/(-6))/(21/27978)?
False
Let y(w) = -3*w - 5. Let j be y(-2). Let p be (18/(-27))/(j/(-6)). Suppose -3*m + p*t + 1322 = 453, 5*m - 1463 = 3*t. Is 67 a factor of m?
False
Let b = -34894 + 50444. Does 171 divide b?
False
Suppose s + 776 = -2*s - 5*q, -3*s = 2*q + 791. Does 3 divide -7*(-7)/98 - s/2?
False
Suppose 4*z + w = 21, w + 19 = 4*z - 0. Suppose -z*t + 510 = 100. Is t a multiple of 19?
False
Let k(y) = 649*y**2 - 479*y - 1434. Does 39 divide k(-3)?
False
Let x(z) = -14*z**3 - 92*z**2 + 69*z + 30. Does 4 divide x(-14)?
True
Let m be 3 + (3/12)/(1/20). Let j(g) = 9*g**2 - 17*g + 104. Is 17 a factor of j(m)?
True
Let y be (-192)/(-4) - (-13 + 8). Let r = y - -121. Is r a multiple of 29?
True
Let g = 29648 - 26674. Does 4 divide g?
False
Let v = -461 + 1256. Suppose -5*u = -2*o + 103 - v, o - 4 = 0. Is u a multiple of 8?
False
Let i be 60/(-75) - (78/(-10))/1. Is 233 - 3/21*i a multiple of 8?
True
Let h(a) = -5*a**3 - 2*a - 3*a**3 + 9*a**3 - 3. Let y be h(-1). Is (-24)/(y/(-7) - (-371)/(-784)) a multiple of 25?
False
Let d(h) = 29*h**2 + 2*h. Let l be ((-11)/22)/(1/2). Let v be d(l). Is 18 a factor of (v/(-6) + 3)/(2/(-48))?
True
Let u(l) = l - 94*l**2 - 89*l**2 + 184*l**2 + 95 + 34. Is u(18) a multiple of 20?
False
Let k = 62 - 28. Let c = -868 - -849. Let y = k - c. Does 7 divide y?
False
Let f(k) = -72*k - 153. Let o be f(-19). Suppose -5635 + o = -5*v. Does 17 divide v?
True
Let q(i) = -i**2 - 17*i - 57. Let f be q(-12). Suppose 0 = -d + 2, 4*c = 7*c + f*d - 354. Does 32 divide c?
False
Let b(t) = t**3 + 22*t**2 + 22*t + 44. Let o be b(-21). Suppose -p + 180 = o. Is 11 a factor of p?
False
Suppose -3*i = -r + 530, 0 = 549*r - 546*r + 3*i - 1566. Is 10 a factor of r?
False
Let z be 10 + -2 - (-2 - -4). Is z/((-108)/(-112) - 6/8) a multiple of 14?
True
Let k(r) = 26*r - 1. Let m(n) = 52*n - 3. Let d(u) = 5*k(u) - 2*m(u). L