= b - -311. Is p a multiple of 26?
False
Let c be 15*((-6)/3 + 14/6). Suppose 9 = c*h - 31. Suppose 2*k + 8 = 0, -3*n + h*n + 3*k = 948. Is 32 a factor of n?
True
Let h be ((-6480)/33)/(-2) + 14/(-77). Let t = h + -99. Does 20 divide -1 - -202 - (t + 2)?
True
Suppose a = 2*a - 3*q + 10, 0 = -5*a - q + 14. Let l = -12 - -16. Suppose d = l*x + 200, a*d - 2*x + 440 = 4*d. Does 27 divide d?
True
Suppose 0 = -4*r - 5*x + 294 - 49, 4*r + 4*x - 240 = 0. Let f = r + 53. Let a = 150 - f. Does 7 divide a?
True
Does 15 divide -55778*2/(-32) - ((-78)/48)/(-13)?
False
Suppose -3*x + 5634 = -2*x. Suppose x = 2*d + 16*d. Is 32 a factor of d?
False
Let v = -90426 - -146944. Is v a multiple of 367?
True
Suppose 0 = -3*v - 6, -10 + 26 = m + 4*v. Let y = m + 24. Let j = 110 - y. Does 15 divide j?
False
Let w(l) = -l**3 - 18*l**2 + 2*l + 38. Let v be w(-18). Suppose v*j - 903 = -3*k + 41, 3*k + 4*j - 952 = 0. Is 52 a factor of k?
True
Suppose 8*t = 12 + 28. Suppose 3*v - 3088 = -2*u, -2*v + u - t*u = -2056. Does 103 divide v?
True
Let s(y) = y**2. Let d be s(-4). Suppose -13*b = -d*b + 519. Does 26 divide b?
False
Let t be 9/((6/(-3))/2). Let u be (41 - -2)*(-36)/t. Suppose d - 83 = -r, -4*d + u + 200 = -4*r. Is 17 a factor of d?
False
Suppose -16 = -b + 4. Suppose -2*y + 3*d = d - b, -4*d = -3*y + 35. Suppose 4*v + 26 + 7 = x, y*x - v = 127. Does 25 divide x?
True
Let c be (-2)/16 - 585/120. Let r(v) = v**2 + 4*v + 19. Is 4 a factor of r(c)?
True
Let q(y) be the third derivative of y**5/30 - 7*y**4/24 - 15*y**3/2 - 35*y**2. Is q(-5) a multiple of 2?
True
Let x(g) = 212*g**3 + 7*g**2 - 4*g - 2. Let f be x(1). Suppose f = 2*z + v, z - 3*v - 50 = 74. Is 13 a factor of z?
False
Let g(r) = -27*r**2 + 1067*r - 3. Does 16 divide g(33)?
False
Let q(s) = 3*s**2 + 113*s - 144. Is q(-56) a multiple of 8?
True
Does 165 divide ((-34)/(-10) + 8/(-20))*765664/96?
False
Let k = -187 + 272. Let v = 88 - k. Suppose 87 = v*t - 0. Is t a multiple of 29?
True
Suppose -390 = 5*q - 0*q. Let c = 5346 - 5210. Let p = q + c. Is p a multiple of 11?
False
Let d = 151 - 119. Let i = 301 + d. Does 37 divide i?
True
Let k(l) = l**2 - 11*l + 10. Let q be k(10). Suppose q = -4*j + 43 - 15. Suppose 133 = 5*d - 4*n + 18, 0 = d - 4*n - j. Is d a multiple of 27?
True
Suppose -13*u + 15*u = 10. Suppose 2*z + 2*z = -u*j + 210, 4*z = -3*j + 206. Suppose 0 = -5*t + h + 480 - z, 258 = 3*t + h. Is 15 a factor of t?
False
Suppose 3*z - 3097 - 31418 = 0. Is 11 a factor of z?
False
Let c = -532 - -271. Let d = 337 + c. Does 19 divide d?
True
Let w(z) = 18069*z**2 - 320*z - 319. Is w(-1) a multiple of 23?
False
Let x(t) = -106*t - 4. Let k be x(-2). Let l(m) = m**2 - 1. Let g be l(2). Suppose -2*a + 4*z = -k, a - g*a - 3*z = -180. Is a a multiple of 31?
False
Suppose 5*j - 335 = 8*o - 3*o, -276 = -4*j - 4*o. Let q(s) = 31*s + 310. Let p be q(-8). Suppose 2*c - j = -2*h, -c + p = -3*h + 180. Is h a multiple of 19?
True
Let x be 3324/45 + 12/90. Let n = 124 - x. Suppose w + 2*y - 34 - n = 0, 5*y = 0. Is w a multiple of 14?
True
Suppose 8 - 35 = -u + 2*g, u = 4*g + 37. Let a(n) = -n**3 + 17*n**2 + 24*n - 54. Does 39 divide a(u)?
False
Let d be ((1*-2)/2)/(3/225). Let u = d - -116. Let c = u + 15. Does 7 divide c?
True
Let o be ((-40)/25)/((-2)/10). Suppose u - s - o = -3*s, 3*s = u - 8. Suppose 0 = 11*g - u*g - 132. Does 10 divide g?
False
Let w(i) = -i**3 - 13*i**2 + 12*i - 14. Let g be w(-14). Suppose 14*b - 1134 - g = 0. Does 15 divide b?
False
Let a be 8*3*3/(-12). Let r be (a + 0)/((-21)/112). Let j = 32 + r. Does 40 divide j?
False
Is (-19832)/(-18) - (18 + (-820)/45) a multiple of 29?
True
Suppose 3*a - 10 = 3*j - 16, 5*j + 5 = 0. Let c(b) = -25*b - 5. Is c(a) a multiple of 7?
True
Let l(o) = 1015*o + 383. Is 7 a factor of l(4)?
False
Let i(d) = -21*d**2 - 11 + 27*d**2 - 11*d**2 - 9*d. Let w(x) = 9*x**2 + 19*x + 21. Let a(k) = -7*i(k) - 4*w(k). Is a(-9) a multiple of 4?
False
Let r(a) = -a**2 + 112*a - 61. Is r(36) a multiple of 22?
False
Let k be 30/12 + 43/2. Suppose 0 = -0*p + 2*p + 1124. Does 23 divide p/(-7) + k/(-84)?
False
Let g(j) = -13071*j + 667. Does 27 divide g(-1)?
False
Suppose -8 = 6*p - 8*p. Suppose 4*y = x - 2, 2*x + p*y = 2 + 14. Let i(w) = -w**3 + 10*w**2 + 7*w + 9. Is i(x) a multiple of 15?
True
Let l = 339 + -204. Let d = -138 + 243. Let z = l - d. Is 3 a factor of z?
True
Suppose -4*y = 3*f - 5352, 173*f - 168*f + 2650 = 2*y. Does 28 divide y?
False
Is 10 a factor of ((-16390)/8)/((-28)/(-49) - (-195)/(-280))?
True
Let r(h) be the second derivative of -h**5/20 - h**4/12 - h**3/6 + 84*h**2 - 11*h. Does 21 divide r(0)?
True
Suppose -2*z + 1031 = -2*l - 249, 0 = 5*z + 5*l - 3240. Is z a multiple of 6?
False
Let s = -9797 - -27075. Is s a multiple of 106?
True
Let c(j) = -j**2 - 27*j + 49. Let v be c(-28). Suppose -49*q = -50*q + v. Does 7 divide q?
True
Let t(v) = 3*v**2 - 16*v + 30. Let m be -39*(-8 + 7) + 3 + -1. Let i = -31 + m. Is t(i) a multiple of 34?
True
Suppose 0 = -6*w + 8*w - 6, w = -2*l + 11. Suppose 20*g = 19*g + l*j + 1702, g = -2*j + 1720. Is g a multiple of 12?
False
Let a = 825 + 49. Suppose -b = -a + 144. Is 73 a factor of b?
True
Let y(d) = -d**3 + 45*d**2 + 217*d + 213. Does 280 divide y(46)?
False
Let x(v) = 2*v - 32. Is x(58) a multiple of 4?
True
Let q(u) be the second derivative of u**4/12 - 11*u**3/6 - u**2/2 - 2*u. Let k be q(15). Suppose 0 = -2*b + 83 + k. Is b a multiple of 8?
False
Let z(o) = 636*o**2 + 47*o + 73. Does 25 divide z(-2)?
False
Let l(d) = -58 + 35 - 2*d**2 + 3*d**2 - 11*d. Let r be l(13). Suppose k = -r*q + 215, -q = 3*q - k - 275. Is 14 a factor of q?
True
Suppose -y + 4*r = -23 - 181, -3*y = 3*r - 567. Suppose -2*p + 969 = 2*s + 119, -847 = -2*s - p. Let u = s - y. Does 18 divide u?
False
Is (-4 - 1)/(67/(-67)) + 3283 a multiple of 12?
True
Let j = 6361 + -1098. Is j a multiple of 20?
False
Let m be (2 + 2)/12*54. Suppose -120 - 2202 = -m*a. Does 20 divide a?
False
Suppose -155885 = -31*i + 24349. Is 34 a factor of i?
True
Suppose y = -5*k + 9879, 4*y + k - 22579 = 16880. Is 36 a factor of y?
True
Let y(w) = 5*w**2 + 8*w + 9. Let t be y(-4). Let n = t - 45. Is -24*(-4)/6*27/n a multiple of 4?
True
Let x = -613 + 617. Suppose 4*r - 548 = 4*i, 425 = 7*r - x*r + 4*i. Is 8 a factor of r?
False
Let x(g) = -5*g**2 + 5 - 4*g**3 - 5*g + 17*g**3 - 14*g**3 + 0*g. Is 3 a factor of x(-4)?
True
Does 15 divide 6 + 23/((-184)/28272)*-1?
True
Let k be (3 + 65)/(2/(-7)). Suppose 69*d + 18932 - 52259 = 0. Let u = k + d. Does 18 divide u?
False
Let c(i) = i**2 + i. Let w(p) = 2*p**2 - 3*p - 7. Let o(x) = -3*c(x) + w(x). Let q be o(-2). Does 15 divide 98/(-4)*(-3 + q)?
False
Let t(n) = 2*n**2 + 1 - 9*n - 5 + 11 - n**2. Let c be t(8). Is 10 a factor of ((-2)/(-4) + -2 - c)*-180?
True
Does 15 divide (-17971)/(-7) + (-345)/(-483)?
False
Let h be ((-1)/(-1))/(1/4). Is (-1 - (-1 - h))/((-6)/(-9)) a multiple of 2?
True
Let h = -964 + 473. Let y = h - -785. Does 49 divide y?
True
Let d(b) = 20*b**2 + 8*b - 870. Is 78 a factor of d(24)?
True
Let z(y) = 6*y. Let w be z(10). Let a(l) = -3*l**2 + 84. Let f be a(8). Is 13 a factor of (f/w)/(2/(-90))?
False
Let r(b) = -b**3 + b**2 - 4*b + 68. Let y be r(0). Suppose -5*f + 232 = -y. Is 20 a factor of f?
True
Suppose -43*c + 3496 = -40*c - u, -5*c - 4*u + 5821 = 0. Does 153 divide c?
False
Let w(a) = -1318*a**2 - 7*a. Let o(c) = 2637*c**2 + 13*c + 1. Let h(n) = 3*o(n) + 5*w(n). Does 24 divide h(-1)?
True
Let q = -11 + 16. Suppose 172 = 2*o + q*s - s, 0 = 2*s - 2. Let n = o - 14. Is 7 a factor of n?
True
Does 144 divide (3 - (-24090)/42) + 1*28/(-49)?
True
Is 2776 - -16*(105/(-20) + 6)/(-3) a multiple of 33?
True
Suppose -2*t + 75959 = 3*z, 0 = 3*t + 12*z - 7*z - 113942. Is t a multiple of 254?
False
Suppose 122674*i - 122684*i = -256690. Is 10 a factor of i?
False
Suppose 0 = 4*z - 0*h + 5*h - 11495, 2*z = -2*h + 5750. Is z a multiple of 29?
False
Suppose 5*y - 581 = 1089. Is (1 + y/6)/(6/18) a multiple of 10?
True
Suppose 0 = -53*b + 45*b + 13376. Does 44 divide b?
True
Let s(q) = 7*q**2 - 6*q - 21. Let z(b) = -b**2 - 1. Let r(w) = s(w) + 6*z(w). Does 57 divide r(-21)?
False
Suppose 28*n - 68618 - 101482 = 0. Is n a multiple of 34?
False
Let q = -533 - -880. Suppose -3*k + 1054 = -2*x, -k + 7*x - 2*x = -q. Is 44 a facto