71*w**2 - 2*w + 55. Is h(6) a multiple of 7?
True
Suppose 2*g + 3*k - 847 = 0, 3*g - 2*k = 1179 + 98. Suppose j + g - 125 = -5*x, 0 = 3*j + 2*x + 926. Let l = 438 + j. Is 21 a factor of l?
False
Let w be 3 - 9 - -2198*(7 + -6). Let f = w + -1217. Does 25 divide f?
True
Suppose -3*w = -4*g - 5880, -9810 = -5*w - 22*g + 27*g. Is w a multiple of 164?
True
Suppose 75 = 2*r - 45. Does 56 divide ((2 - -40)*-1)/((-5)/r)?
True
Suppose -1 = a, -3*a + 4442 = 5*w + 665. Suppose 3*j = -5*p - 1260, -3*p + 0*j - w = -5*j. Is -7*8/p + 61/9 a multiple of 7?
True
Let d = -85 - -81. Is 14 a factor of (-2)/((7/42)/(42/d))?
True
Let g(q) = -13 - 20*q - 20*q + 44*q. Let v be g(6). Suppose v*r - 8*r - 1077 = 0. Does 46 divide r?
False
Let a = -4347 - -4683. Is a a multiple of 16?
True
Let v be -1 - (-2)/(-1)*-4*1. Suppose 3*l - 22 = 5*a, -4 = l - 3*a + v*a. Suppose -u - 115 = -l*b, 6*u + 65 = 2*b + 3*u. Is b a multiple of 4?
True
Let x = 12 + -8. Suppose b + x = 6. Suppose -b*h - 4*r + 57 = -3*r, -2*h = -4*r - 52. Does 5 divide h?
False
Suppose 5*s + 1560 = 8*s. Suppose 3*y - 514 = 4*n, -n - s = -y - 2*y. Let d = y - 14. Does 12 divide d?
False
Suppose 3*g - 6*r - 321 = -2*r, -2*r = 0. Let h = 247 - g. Is 11 a factor of h?
False
Let v(f) = 13*f + 6*f + f**3 + 7*f**2 - 13*f. Let s be v(-6). Suppose s*y + 4*y - 180 = 0. Does 9 divide y?
True
Let k = -39084 - -55295. Is 85 a factor of k?
False
Is 22 a factor of (-163470)/(-8) - 2121/1212?
False
Suppose 0 = -3*q + 5*q - 2*d - 188, -4*q + 5*d = -373. Suppose 0 = -q*o + 100*o - 1326. Does 15 divide o?
False
Suppose 10*y - 8*y - 12 = 0. Suppose -3*q + 6 = -3*j, 3*j + 4*q = y*j + 8. Suppose 2*p = -4*o - 2*p + 64, -5*p + 20 = j. Is o a multiple of 12?
True
Let f = 0 + 13. Suppose -4*h = -157 + f. Is h a multiple of 18?
True
Let z(w) = -w**3 - 2*w**2 + 5*w + 5. Let d be z(7). Let l be d/(-6) - (-13)/78. Suppose r + s = 65, 5*s - 48 = -2*r + l. Is 13 a factor of r?
False
Let s(k) = k**3 + 3*k**2 - 9*k - 18. Let d be s(-4). Suppose 536 = 5*l + w, 82*l = 81*l + d*w + 116. Is 12 a factor of l?
True
Let r(l) = 48*l**2 - 8*l + 35. Let a be r(4). Let w = -663 + a. Does 108 divide w?
True
Suppose -72 = -5*o - 19*o. Suppose 123 = 3*w + o*m, 5*w + 2*m = 4*w + 45. Is w a multiple of 37?
True
Let k = 185 + -89. Suppose 4*i - y - 243 = k, i - y = 87. Suppose -3*j + 48 = 3*s, 4*s - i = -j + 2*j. Does 12 divide s?
False
Suppose 4*m = -5*b - 21 + 182, 0 = -2*m - 3*b + 81. Suppose 0 = 2*z + m - 255. Does 22 divide z?
False
Let b(x) = x**3 - 119*x**2 + 334*x - 449. Is b(118) a multiple of 13?
False
Suppose -1 = -2*h - 2*f - 7, 25 = -5*f. Suppose -h*z = -5*z + 804. Suppose 3*r + 2*u = -3*u + z, -104 = -r + 2*u. Is 32 a factor of r?
True
Suppose 722*d = -2*n + 723*d + 46138, -69204 = -3*n + 3*d. Is n a multiple of 58?
False
Let x = -382 + 186. Let f = x - -470. Is 9 a factor of f?
False
Let h(j) = -23*j - 15. Suppose 0*c - 4*c - 60 = 0. Let b be h(c). Suppose b = -24*q + 26*q. Is q a multiple of 27?
False
Suppose 2*p - 4*b = 12, p - 20 = -2*b + 6. Suppose -4*k + a = -11, 0*k - 4*a + p = -k. Suppose -3*c + 5*c + k*i = 158, 328 = 4*c + 4*i. Is c a multiple of 32?
False
Suppose 278*x - 273*x = -20. Suppose -9*p + 300 = -5*p. Is x/(-30) - ((-4790)/p + 4) a multiple of 48?
False
Suppose -7*p - 4216 = -15*p. Let v = 48 + p. Is v a multiple of 20?
False
Suppose 1038*j = 1041*j - 22962. Is 89 a factor of j?
True
Is (-103990)/(-21) + 218/2289 a multiple of 5?
False
Let g(l) = 231*l**3 - 2*l + 1. Let f be g(1). Suppose f + 214 = c. Is 37 a factor of c?
True
Let a(t) be the first derivative of -2*t**3/3 + 9*t**2 - 10*t + 8. Let p be a(8). Suppose -b - 4*o + 103 = 0, p*o - 2*o = -16. Does 33 divide b?
False
Let n = -11617 - -20152. Does 15 divide n?
True
Let o = 20848 - 10621. Does 10 divide o?
False
Let o be (-58)/4 - (5 - 55/10). Let w be 60/(-140) - (-1142)/o. Let a = w + 87. Is a even?
False
Suppose -14600 = 6*q - 16*q. Suppose 5*j = 5*o + q, -3*j + j + 569 = 3*o. Is 13 a factor of j?
False
Does 36 divide (-1 - 1)*((-23037)/12)/(8/32)?
False
Suppose 269*w - 259*w + 180 = 0. Let d(n) be the second derivative of n**4/12 + 2*n**3 - 21*n**2 + 7*n. Is d(w) a multiple of 6?
True
Let n(w) = -w**3 - 4*w + 0*w**3 - 3*w**2 + 10*w + 3 + 11. Let k be n(-6). Let c = k + 87. Is c a multiple of 44?
False
Suppose 2*l = 3*w + 28491, 2*l + w - 14534 = 13961. Is 93 a factor of l?
False
Let t(p) = -3 - 2*p - 9 + 0 + 3 + 4*p**2. Let u be t(12). Is u/21 + (-4)/(-28) a multiple of 26?
True
Let o = 3226 + -1966. Does 12 divide o?
True
Let w(c) = -c - 11 - 19*c + 10*c - 46. Let u be w(-6). Is (4 - (-101)/u)/(2/6) a multiple of 10?
False
Suppose 4*i + 2*d - 6*d - 16 = 0, -d + 20 = 2*i. Let u be i + 5*(-5 - -4). Suppose -3*q - 3*o + 573 = 0, -7*q + u*q + 759 = 5*o. Is q a multiple of 13?
False
Let a(k) be the third derivative of -k**4/8 - 49*k**3/6 - 2*k**2 - 38. Does 6 divide a(-28)?
False
Let w be (-1416)/28 + 2 - 6/14. Let v = 50 + w. Is (208/2 + -2)*v a multiple of 47?
False
Suppose -24*k = 23*k - 53*k + 40254. Is 32 a factor of k?
False
Suppose 2*z + 4*l = -2*z - 2116, -5*l = -2*z - 1058. Let j = z + 933. Is 20 a factor of j?
False
Let x = -9663 + 12848. Does 44 divide x?
False
Let q(w) = 4*w + 93. Let o be q(-22). Suppose o*c + 137 = 957. Is c a multiple of 25?
False
Let m = 91065 - 45903. Does 9 divide m?
True
Suppose 0 = -4*r - 2*a + 6, 4*r = -4*a - 0*a + 12. Suppose -3*m = -0*v + 2*v - 334, -2*v + 10 = r. Does 18 divide m?
True
Suppose 176176 = 393*h - 349*h. Is h a multiple of 29?
False
Does 25 divide (-15)/(208784/(-12280) + 17)?
True
Is 9 a factor of (73810/(-88))/(4/(-16) + 0/(-1))?
False
Let k(d) = 3*d**2 + 1. Let q be k(-1). Let p be 8/(-14)*2/(q/(-7)). Suppose 5*m = p*t - t - 85, -5*m = 5*t - 335. Is t a multiple of 35?
True
Let x(f) = f**3 - 13*f**2 - 14*f. Let p be x(14). Suppose p = -860*m + 861*m - 109. Is m a multiple of 4?
False
Is 36 a factor of (266/(-1064))/(1/(-112532))?
False
Suppose -15*n + 797 = 5*a - 14*n, -803 = -5*a + n. Let f(y) = -y + 11. Let i be f(5). Is (i/5)/((-797)/a + 5) a multiple of 16?
True
Let w(c) = 103*c - 795. Is 12 a factor of w(57)?
True
Let f(h) = -h**3 + 4*h**2 - 6*h + 20. Let d be f(4). Is d/(-10) + 15912/45 + -3 a multiple of 27?
True
Suppose 15*b - 3*a = 13*b + 228, 4*b - 456 = 2*a. Does 57 divide b?
True
Let q = -862 - -802. Does 14 divide 48/q*2800/(-5)?
True
Suppose 4*h + 0*h + 640 = 3*q, -4*h + 2*q = 640. Let w = 79 - h. Does 11 divide w?
False
Suppose -3*i + 3*x + 2037 = -x, -2*i + 4*x = -1354. Let t = i + -652. Is t a multiple of 9?
False
Let z be 2/(-7) - 322596/(-126). Let t = z + -1037. Is t a multiple of 50?
False
Let d = 143 + -129. Is 5 a factor of (-4 + 2/1)*(1 - d)?
False
Suppose -5*k - 4*b + 33077 = 2887, -4*k = 4*b - 24148. Is k a multiple of 32?
False
Let l(d) be the third derivative of 5*d**4/8 - 173*d**3/6 + 27*d**2 + 4*d. Is 15 a factor of l(25)?
False
Let a be (-2871516)/72 - 3/(-18). Does 8 divide a/230*(-1 - 4)?
False
Suppose 2*h + 10*i - 5 = 9*i, 2*i + 8 = 5*h. Suppose 3*f = 33 - 48, h*y - 1622 = 2*f. Does 103 divide y?
False
Let a be 1 - -3 - -1*5. Suppose -a*c + 198 = -10*c. Let d = -107 - c. Does 24 divide d?
False
Suppose 4 = -4*a - 4, 3*y + 3*a - 36 = 0. Suppose c - 3*i = i - 17, -i + y = 3*c. Suppose -3*n + c = -6. Is n even?
False
Let p(g) = 26 - 21*g**2 - 22 + 2*g**3 - 97*g + 57*g**2 + 0*g**3 + 22. Is p(-19) a multiple of 37?
True
Suppose 250*h - 185 = 255*h. Is 4 a factor of h/(-7) - 5 - 1968/(-21)?
False
Suppose -67*i + 48415 = -65887. Does 15 divide i?
False
Suppose 5*o - 32 = 4*o + 5*x, -4*o + x = -52. Let d(u) = -u**3 + 17*u**2 - 17*u - 48. Is d(o) a multiple of 12?
True
Suppose 0 = n + 3*i - 2, 4*n + 1 = -3*i + 9. Let f be 1/((-1 + n)/1). Does 10 divide f - (0 + 4) - -43?
True
Let h = 6476 + -6410. Does 6 divide h?
True
Let b = -350 + 1376. Is 171 a factor of b?
True
Suppose 660*x - 665*x + 27650 = 0. Is 70 a factor of x?
True
Suppose 2*f + 6*i - 4*i = -56, -3*i = 6. Let s = -18 - f. Let n = s - -11. Does 19 divide n?
True
Let x = 46 - 44. Suppose -5*o - 676 = -c + 569, x = 2*o. Is c a multiple of 50?
True
Suppose -b - 4*z + 20168 = 0, 2*b - z - 45175 + 4776 = 0. Is b a multiple of 9?
True
Does 90 divide 95*10/100*20?
False
Suppose 433*l = 617*l - 723120. Is l a multiple of 2?
True
L