*u - 4*o + 6501 + 4496 = 0, -5*o - 35 = 0. Is u a multiple of 147?
True
Let w = -19065 + 30693. Is w a multiple of 24?
False
Let t = 45 - 39. Let i = 16 - t. Suppose -3*o - 238 = -i*o. Is 9 a factor of o?
False
Let s(n) be the first derivative of 2*n**2 - 14*n - 8. Let g be s(4). Does 17 divide -106*(-1)/g + -2?
True
Suppose -3*q = -v - 1084, -8*q + 732 = -6*q - 3*v. Suppose -36*d + 35*d = -q. Is d a multiple of 9?
True
Is (-5429)/(-2) - (-6 + (-18)/48*-20) a multiple of 96?
False
Let v(q) = -5*q - 56. Let f be v(-12). Suppose f*k - 1346 = -458. Is k a multiple of 6?
True
Suppose 39*s + 2460 = 33*s. Let i = s - -784. Does 11 divide i?
True
Suppose 12261 = -7*d + 3070. Let v = d - -2260. Suppose -2*y + 125 = c - 68, 0 = 5*c + y - v. Is 8 a factor of c?
False
Let s(v) be the second derivative of v**4/2 - 2*v**3/3 - 15*v**2 + 5*v + 15. Is 15 a factor of s(-4)?
False
Let t(j) = -19*j**2 + 3*j**3 + 89*j - 90*j + 3*j**3 - 5*j**3 + 40. Is 6 a factor of t(20)?
True
Let s(n) = 2*n**3 + 16*n**2 + 22 - n**3 - 4*n**3 + 18*n + 4*n**3. Let h be s(-15). Let k = 26 - h. Is 11 a factor of k?
False
Let y(a) be the third derivative of -a**6/60 - a**5/15 + a**4/3 + 2*a**3/3 - 8*a**2. Suppose 0 = -4*n - 4*h - 32, 2*n + 0*h + 4*h + 24 = 0. Does 12 divide y(n)?
True
Suppose 35*s + 259*s - 4256571 = -930255. Is 6 a factor of s?
False
Let m be 1/(-2)*-16 - 4 - 264. Let f = m - -383. Is f a multiple of 41?
True
Is 1 + (816 - 6) + 8 a multiple of 2?
False
Let x(g) = 0*g - 19 - g + 7 + 5*g. Let w be x(4). Suppose -174 = w*v - 750. Does 18 divide v?
True
Let w(z) = 3*z**2 - 111*z + 1937. Does 5 divide w(34)?
False
Suppose -2380 = -5*l - 5*y, -2384 = -5*l + 2*y - 5*y. Is l a multiple of 27?
False
Let i(s) = -s**3 + 21*s**2 - 22*s + 32. Let k be i(20). Let r(l) = 4*l**2 + 3*l - 22. Is r(k) a multiple of 18?
False
Let t(j) = j**3 + 4*j**2 - 4*j - 13. Let y be t(-2). Suppose 7*p = y*p + 1668. Is p a multiple of 12?
False
Does 30 divide (-5)/1 + (-66880)/(-19) + 25?
True
Let s(f) = 12*f - 68. Let m be s(10). Let a = m + 4. Is 7 a factor of a?
True
Suppose 0 = 3*d - 4 + 7. Let o be d/2*0 + 3. Suppose -o*b + 2*b + 123 = 0. Is b a multiple of 41?
True
Suppose -2*q = -9*q + 210. Let g be (-2)/12 - (-65)/q. Is 11 a factor of (3 - 6)*g/(-6)*19?
False
Suppose 10 = 2*a, 0 = -3*t + 5*a - 7*a - 230. Does 11 divide -3 + (t/(-12))/(6/171)?
True
Suppose 5*k = -4*s + 957, 4*k = -12*s + 7*s + 1212. Let r = 67 + 6. Let m = s - r. Is 35 a factor of m?
True
Suppose -7*p + 152679 = h, -p - 7*h + 6*h + 21807 = 0. Is p a multiple of 19?
True
Suppose -12 = -3*b, -2*l - 3*l + 50 = -5*b. Is 3445/10 + 7/l a multiple of 23?
True
Suppose 0 = -5*j - 4*j + 63. Suppose -3*y + j*y - 22 = -t, 5*y - 44 = -4*t. Is ((-3402)/(-36))/((t/8)/1) a multiple of 14?
True
Suppose 14*b - 5*r + 10950 = 17*b, 5*b + 5*r - 18230 = 0. Is b a multiple of 90?
False
Let y = -83 - -85. Suppose -5*l = 4*w - 399, -3*w + 474 = y*w - 2*l. Is w a multiple of 16?
True
Suppose -130*t + 123*t - 378 = 0. Let v = t - -537. Is 23 a factor of v?
True
Suppose -3*w = 4*b - 689, -10*w - 4*b = -13*w + 673. Let f = 308 + w. Does 28 divide f?
False
Let v(r) = r**3 + 6*r**2 - 166*r - 12. Let u be v(10). Suppose 2*t + 145 + 99 = 0. Let m = u - t. Is 25 a factor of m?
True
Suppose 4*o - 3*o - 93 = 0. Suppose 0 = 13*k - 16*k + o. Let x = 56 - k. Is 5 a factor of x?
True
Suppose 0 = -31*v + 43*v + 552. Let h = v + 86. Is 10 a factor of h?
True
Let j(t) = -6*t**2 + 22*t + 21. Let f(d) = -11*d**2 + 44*d + 41. Let k(i) = -4*f(i) + 7*j(i). Let z be k(12). Suppose 0 = w - z*w + 30. Is w a multiple of 3?
False
Let s = -44534 - -73225. Is s a multiple of 76?
False
Let r = 138 + -128. Suppose r*s - 17*s = -413. Does 3 divide s?
False
Suppose -66*j + 1840402 = -1339346. Is j a multiple of 218?
True
Suppose 5*k = -3*d + 687, -3*d + 55 = -4*k + 583. Suppose k = -5*y + 510. Does 15 divide y?
True
Let k = 313 + -199. Suppose 4*q - r + 321 = 0, -r = -3*q - k - 128. Is (-4)/(-8)*q*-2 a multiple of 8?
False
Suppose f - 4 = 5*j, -3*j + 8 = -f + 3*f. Suppose -f*n - 63 = -75. Is (-4 + -1)*(n + -4)*1 a multiple of 2?
False
Does 24 divide 98/105 + -1 - 7335761/(-615)?
True
Let w = 171 + 67. Let v = -142 + w. Is v a multiple of 4?
True
Let s(k) = 42*k**2 - 30*k + 50. Is s(-8) a multiple of 12?
False
Suppose 1 = -w - 12*j + 7*j, 3*w + 2*j = -55. Let z be 9/(-15) - w/35. Suppose z = -10*f + 6*f + 176. Is 29 a factor of f?
False
Suppose 5*c + 29440 = 9*c - 10*r, -2*r + 14720 = 2*c. Is 46 a factor of c?
True
Suppose 61*l - 8*l = -26*l + 74576. Is 118 a factor of l?
True
Let b = 60 - 57. Suppose -2*g - 121 = -b*g. Let f = g - 35. Is 14 a factor of f?
False
Let b = 39853 + -26837. Is 8 a factor of b?
True
Let v(d) = 11*d + 1028. Is 8 a factor of v(-48)?
False
Let f = 3 + -97. Let w = 627 - 506. Let j = f + w. Does 3 divide j?
True
Suppose 13*r + 41 - 418 = 0. Suppose -5*u - 4*w = -r, 4*u - 3*w = -0*u + 48. Is u a multiple of 5?
False
Let n(i) = -2*i + 40*i**2 + 24 - 3*i**3 + 22*i - 57*i**2. Let k(j) = -4*j**3 - 18*j**2 + 21*j + 24. Let v(s) = 4*k(s) - 5*n(s). Is 4 a factor of v(11)?
False
Let m(c) = -4777*c - 923. Does 16 divide m(-6)?
False
Suppose m - 3*m + 42887 = 15307. Does 145 divide m?
False
Is -69 - -16020 - 6*(-4)/(-24) a multiple of 58?
True
Let d = 8199 + 421. Suppose d = 6*j + 4*j. Does 110 divide j?
False
Suppose -l + 0*u + 2*u + 2 = 0, -3*l + 6 = 4*u. Let z be 49/(-7) - -13 - 8 - -4. Suppose l*k - 40 = -z*k. Is 3 a factor of k?
False
Suppose 15 = x - 6. Is (-4 - -32)*(-3 - (-297)/x) a multiple of 52?
True
Suppose -6170*f + 6130*f = -593000. Is f a multiple of 25?
True
Let f = -40 + 42. Suppose -4*b = f*b - 18. Suppose -4*q + b*q - 2 = 0, 5*t - 154 = 2*q. Is t a multiple of 10?
True
Suppose -86 = 2*c - 58. Is 2 a factor of (4 - (-1268)/28) + 4/c?
False
Suppose 2*v + 1 = 3*w + 59, 66 = 2*v - w. Let g = v + 754. Does 28 divide g?
False
Suppose i + 147 = -g, 6*i - 3*g = 3*i - 423. Let p be 1/(-6) - 37752/i. Let x = p + -184. Is x a multiple of 42?
False
Let d = 40690 - 8258. Is d a multiple of 62?
False
Let p be (11/(-55))/((-1)/15). Suppose -p - 15 = -6*x. Suppose x*o - 140 = 5*w, -w - 20 = 4*w. Is o a multiple of 10?
True
Let z(o) = 975*o + 7609. Is z(21) a multiple of 215?
False
Let g(m) = -97*m**3 - 16*m**2 - 4*m + 127. Is g(-5) a multiple of 53?
True
Let w(f) = f**3 + 7*f**2 - f - 17. Let v be w(-6). Does 17 divide ((-80)/v + 2)/(3/(-1190))?
True
Let s = -146 + 129. Let h = s + 197. Is 36 a factor of h?
True
Let k be (-68)/(-8) + -6 + 2/(-4). Suppose -12 = -p - k*a, -3*p + 68 = -0*a - 2*a. Does 4 divide 12 + p/15*(-3)/2?
False
Let i(t) = 119*t**2 + 99*t + 12. Does 15 divide i(-9)?
True
Suppose -13 - 31 = 2*u. Let h = u + 53. Suppose -13 = -r + 4*n, r - 3*r + h = -3*n. Does 7 divide r?
False
Let h = -1873 - -4573. Does 15 divide h?
True
Is 2 a factor of 11 + (-1580)/((-17)/((-884)/(-8)))?
False
Suppose i - 89 = v, -269 = 6*v - 3*v - 4*i. Suppose 795 + 885 = 16*l. Let y = v + l. Is y even?
True
Suppose -222 - 728 = -5*a. Let m = a - -119. Is m a multiple of 14?
False
Suppose -54971 = -28*i + 15*i + 21469. Does 12 divide i?
True
Suppose 32 = 4*a + 4*v, 5*a + v - 36 = -3*v. Let c be ((-30)/(-5))/(a/86). Suppose 4*p + 21 = -m + c, 5*p - 108 = -m. Does 30 divide m?
False
Let s be (-4821)/(-21) + 3 + (-50)/14. Let g = s + 266. Does 11 divide g?
True
Let u be -3 - (-79)/(-6) - (-2)/12. Suppose o = -2*o - 3. Let y = o - u. Does 10 divide y?
False
Suppose -313058 = -124*d + 1337878. Does 71 divide d?
False
Suppose -9*v + 48 + 1293 = 0. Suppose 62 = -o + v. Is 11 a factor of o?
False
Let s = 156 - 154. Suppose 144 = s*o + 124. Is o even?
True
Is ((-3051)/(-27))/((-2)/12 + 14/72) a multiple of 18?
True
Let k = -25610 - -29769. Does 7 divide k?
False
Suppose 4*t = 4*j + 151240, 3*t + j - 99108 - 14338 = 0. Is 14 a factor of t?
True
Let y(m) be the third derivative of -m**4/4 - m**3 + 26*m**2. Let o be y(-11). Suppose 2106 = 11*r + o. Is r a multiple of 45?
False
Let h(k) = 1. Let d(g) = 29*g + 145. Let s(f) = -d(f) + 145*h(f). Let l be s(-8). Suppose -6*u + 668 = -l. Is 13 a factor of u?
False
Let f(k) = -2*k**2 - 9*k**2 - 10*k - 6*k - 3 + k - k**3 - 12*k. Does 14 divide f(-8)?
False
Suppose 0 = -3*s + 254 - 26. Suppose -3*v + 4*t + 202 = 0, -v + 3*t - s = -2*v. Is 13 a fa