es 51 divide g?
True
Let f(o) = o**3 + 8*o**2 + 3*o - 12. Let b(y) = 3*y - 5*y**2 + 9*y**2 + y**2 - 12 + y**3 + 3*y**2. Let r(p) = -3*b(p) + 2*f(p). Is 12 a factor of r(-8)?
True
Suppose 0 = -182*o + 3*o + 360654 + 58206. Does 60 divide o?
True
Suppose 37399 = 59*i + 13681. Is 7 a factor of i?
False
Suppose -477043 = -282*b + 3881044 + 375565. Is 42 a factor of b?
False
Suppose -15 = -3*j, 14*j = -i + 9*j + 117. Let z = i + -18. Does 11 divide z?
False
Suppose 0 = 2*b - 6*b + 16. Suppose b*p + 5*w - 2547 = 0, -p + 25 + 623 = 5*w. Is 15 a factor of p?
False
Let s = 730 + -724. Is 4 a factor of 5200/120*s/2?
False
Let x be -15*(2 + (-80)/24). Suppose 210 = u + q, -14 = 2*q - x. Does 31 divide u?
False
Let d = -20681 - -33486. Does 33 divide d?
False
Suppose 8*o - 3*o = 0. Let c(t) = t**3 + 7*t**2 - 14*t - 114. Let z be c(-4). Is (542/14 - o) + z/(-35) a multiple of 13?
True
Is 11 a factor of 8 - (-312)/9*(-504)/(-32)?
False
Suppose 5*q + 25*x - 29*x = 44764, 2*x = -4*q + 35806. Suppose -12708 = -15*c + q. Does 19 divide c?
True
Let t = -158 - -157. Is 10 a factor of t/(-3) - (-623)/21?
True
Let o(y) = 16*y - 80. Let z be o(5). Suppose -14*r + 2043 + 2269 = z. Is r a multiple of 11?
True
Let o(u) = -35*u**2 - 2*u**3 + 38*u - 79 - 20*u - 6*u. Is o(-19) a multiple of 8?
True
Let g be 702/36 - (-2)/(-4). Let x = -10 + g. Let y(h) = 4*h - 33. Is 3 a factor of y(x)?
True
Is (-69)/((-23830)/4760 + 5) a multiple of 14?
True
Let s be ((-45)/12)/((-39)/3172). Suppose 0 = 5*h - s - 630. Does 9 divide h?
False
Let o = 1025 + -297. Let h = -398 + o. Is h a multiple of 15?
True
Let k(y) = -3*y - 17. Let u be k(-7). Suppose -3*x + 2*z + 2181 = 416, -u*z = x - 593. Does 25 divide x?
False
Suppose -3*d = -4*i - 14, -3*d + i + 0*i = -8. Let h(z) = 5*z - 127. Let q be h(25). Is 134 - q - (d + 2) a multiple of 33?
True
Suppose 0 = 7*b - 17*b + 30. Suppose 3*i - 2*p = 437, i = -b*i + 2*p + 582. Does 16 divide i?
False
Let u(o) = -2361*o**3 - o**2 - 290*o - 575. Does 11 divide u(-2)?
False
Suppose 0 = 5*u + 5*x - 29057 - 7893, 0 = 2*x. Is u a multiple of 10?
True
Let o(c) = 18*c**3 + 17*c**3 - 34*c**3 - 4 + 28*c + 15*c**2. Let k be o(-12). Suppose -q + k = -27. Does 21 divide q?
False
Suppose -109*q + 148969 = 17188. Is 93 a factor of q?
True
Let d(k) = -2 + k + k + 9. Let n be d(-6). Is (-371)/n + 28/35 a multiple of 14?
False
Let t(i) = -2*i**3 - 2*i**2 - 5*i - 2. Let h(s) = -s**2 - 7*s + 30. Let x be h(-9). Let d be ((-2)/(-2))/(2*(-2)/x). Is 19 a factor of t(d)?
False
Let h(q) = q**3 + 19*q**2 - 22*q - 25. Let z be h(-20). Suppose -5*y + z*y = 4490. Is 25 a factor of y?
False
Let l be 10/4 - (-9)/(-18). Suppose 0 = l*k + 2*u - 202, 0 = -3*k + 2*u + 133 + 160. Does 20 divide k?
False
Let w(v) = 23*v**3 + 401*v**2 + 21*v + 17. Does 34 divide w(-17)?
True
Let w(h) = 50*h**2 + 2. Suppose 0 = -2*l + 5*j - 19, -6*l + 5*l = -5*j + 17. Does 25 divide w(l)?
False
Suppose 0 = -12*g - 2*g - 28. Let b be 1/g - 1/((-16)/2056). Let o = b - 74. Does 24 divide o?
False
Suppose 5*n + 0*n - 122175 = -6945. Does 4 divide n?
False
Let h(d) = -d**2 - 25*d + 60. Let y = -76 + 79. Suppose 3*k + 100 = -5*l, 2*l = y*l + 3*k + 20. Is h(l) a multiple of 40?
True
Let q(a) = 8*a**3 + 6*a**2 - 99*a + 500. Is q(5) a multiple of 55?
True
Suppose -4*q + 4 = 0, 4*q = -2*t + 12217 + 7755. Does 13 divide t?
True
Let o(b) = -1318*b - 732. Does 19 divide o(-4)?
False
Let w(z) = z**2 + 8*z + 5. Let p be w(-8). Suppose -2*n - p*n + 3150 = 0. Suppose -5*u + n = -120. Is u a multiple of 20?
False
Let s(w) = 27*w**3 - 2*w**2 - 120*w + 499. Is 7 a factor of s(4)?
True
Let l = -9840 + 15511. Does 36 divide l?
False
Suppose 44*q - 25*q + 294 = 25*q. Is q a multiple of 5?
False
Suppose -4*n = -6*n - 26. Let y = n + 20. Suppose -4*j = -y*j + 126. Does 10 divide j?
False
Let w(p) = p**2 - 4*p - 14. Let q(b) = b**3 + 20*b**2 + 38*b + 34. Let l be q(-18). Let v be (30/(-45))/(l/42). Does 9 divide w(v)?
True
Let l be (35/(-14))/((-2)/4). Suppose -9*u = -6*u - 18. Suppose m + 231 = 3*n, l*m = u*n - n - 375. Does 26 divide n?
True
Let s = -312 - -300. Let c(o) = o**3 + 12*o**2 - 2*o + 7. Does 15 divide c(s)?
False
Is 1612/(-3)*(-10 - (-221)/26) a multiple of 17?
False
Let x(f) = -10 + 15*f - f**2 - 19*f - 9*f. Let n be x(-12). Does 23 divide (-45)/(-2) - (-1)/n?
True
Let b(x) = -x**2 - 7*x - 4. Let q(c) = 4*c**2 + 29*c + 15. Let h(n) = -9*b(n) - 2*q(n). Let u be h(-3). Suppose u = 5*z - 9*z + 584. Is 36 a factor of z?
False
Let m be 161/23 - (4 + -2). Suppose m*g = -15, -4*g - 717 = -k - 4*k. Does 20 divide k?
False
Let a(m) = -2*m - 16. Let t be a(-10). Suppose -t*d - 10 = d. Does 6 divide -1 + 21 + (d - -6)?
True
Let n(l) = 14*l - 8. Let z(p) = -39*p + 34. Let c(x) = -13*x + 11. Let b(v) = 7*c(v) - 2*z(v). Let f(a) = -7*b(a) - 6*n(a). Is f(19) a multiple of 15?
False
Suppose 69*r + 60382 + 14762 = 75*r. Is r a multiple of 4?
True
Let n(r) = 7*r + 9*r + 9*r**2 - 2*r - r**3 + 10*r. Let f be n(11). Suppose -2*w + f = -22. Is w a multiple of 2?
True
Suppose 24*p - 20*p = 584. Does 8 divide p?
False
Suppose -33*g - 3707 = -35*g + 5*w, -5*g + 2*w = -9320. Is 2 a factor of g?
True
Let q = 7112 - 5339. Is 49 a factor of q?
False
Suppose -5*a - 10 = 0, 5*a = -5*t + 393 + 122. Suppose -5*o + 91 = -m, -m = 4*o + t + 4. Let z = m - -188. Does 27 divide z?
False
Let f be 15/((-105)/28) - (-1 + -8). Suppose -5*l - 2*r + r + f = 0, l + r = -3. Is l even?
True
Let a be (16 + -2)/(0 - (-2 + 4)). Is 6 a factor of a - -13 - (-1 - 245)?
True
Let v = 16505 + -9845. Is 148 a factor of v?
True
Let f(q) = 25*q**2 - 190*q - 4973. Is 62 a factor of f(-35)?
True
Suppose -1148*l - 50 = -1153*l. Suppose -l*t + 373 - 3 = 0. Is t a multiple of 13?
False
Suppose x = 2*m + 104, 4*m + 7*x = 8*x - 212. Let w = 229 + m. Is 25 a factor of w?
True
Suppose 0 = -0*i - 4*i + 40. Suppose 0 = -2*y + i, 5*l = 3*y - 2*y + 705. Is l a multiple of 11?
False
Let j(d) = 3*d + 2. Let v(l) = -32*l**2 + 23*l + 17. Let n(m) = -5*j(m) - v(m). Does 12 divide n(5)?
False
Suppose 2*r - 4*r + 8 = 0. Let q = 1435 - 1433. Suppose -r*n + 2*i = n - 251, 3*i + 107 = q*n. Does 4 divide n?
False
Let o(f) = -7*f + 47. Let i be o(6). Suppose 0 = -i*m + 9*m + w - 3397, -2*m - 4*w + 1716 = 0. Is m a multiple of 20?
False
Let c = -1811 - -3059. Suppose 14*z - 5868 = -c. Is z a multiple of 15?
True
Suppose -62*f - 66*f + 1213150 + 4195106 = 0. Does 231 divide f?
False
Suppose -t - 2*i - 2*i = -78, -3*t + 4*i + 314 = 0. Suppose -t = -a - 2*l - 3*l, -3*a + 333 = 2*l. Let q = a - 103. Is q a multiple of 10?
True
Suppose 2*x - 4*w - 99 = -1, -x - w = -64. Suppose -i - 3*c + 18 = 0, 2*i + 4*c = -15 + x. Is 6 a factor of i?
True
Let j(m) = 869*m**2 + 33*m - 147. Does 18 divide j(4)?
False
Is 154 a factor of (-1059)/3530 - 421006/(-20)?
False
Let u = -69 + 70. Let n = u + 10. Suppose -n - 20 = -t. Does 31 divide t?
True
Let o = -109 - -111. Suppose 4*p + h = 2*h + 192, 48 = p + o*h. Is p a multiple of 12?
True
Let p(o) = 8*o**3 - 40*o**2 + 3*o + 76. Does 21 divide p(16)?
False
Suppose 73*y - 74*y + 4760 = 0. Is 140 a factor of y?
True
Suppose 13 = w - 5*m - 8, 5*w - 4*m = 0. Let t(f) = 5*f**2 + f**3 - 4*f**2 + 2 - 1 + 5*f**2. Does 6 divide t(w)?
False
Let z(b) = -10*b**3 - 2*b**2 + 1. Let j be z(-4). Let s = j - 301. Let t = -178 + s. Is 10 a factor of t?
True
Let s(j) = -j**3 - 20*j**2 - j - 18. Let r be s(-20). Suppose -n + 0 - 2 = 4*m, r*n + 2*m = 20. Does 5 divide n?
False
Let l(o) = -96 + 12 - 27 - 9*o + 18*o + 15*o. Does 67 divide l(13)?
True
Is 8789550/1485 - 16/18 a multiple of 11?
True
Let u be 1986/(-12) - (2 - 10/4). Let x be u/(-9) - (-2)/3. Let a = 37 - x. Is a a multiple of 18?
True
Let c be -99 - ((-15)/5 - -4). Let z = -88 - c. Is 4 a factor of 16/z*-47*6/(-4)?
False
Let h(j) = 31*j + 71. Let p = -269 - -288. Is 30 a factor of h(p)?
True
Let k be ((-2)/(-8))/(2/(-8)) + -2. Does 34 divide -1 + 482 + ((-60)/(-5))/k?
False
Let y(k) = -289*k + 3. Let r be y(-1). Suppose 0 = -2*i + 4*v - r, -2*i = 4*v + 106 + 146. Let j = 148 + i. Does 4 divide j?
True
Let j(y) = 9574*y**2 - 28*y - 26. Is j(-1) a multiple of 57?
True
Let b(i) = -533*i + 8122. Is b(-88) a multiple of 18?
True
Is 31 a factor of (-14)/((-84)/279)*(3 + -3 - -118)?
True
Let l be ((-5)/(-2) - 1) + 366/(-12). Let z