). Is 57 a factor of ((-3)/y)/(5 + (-20012)/4002)?
False
Let g be (4/(-20))/((-3)/195). Suppose -729 = g*c - 3355. Does 22 divide c?
False
Is 67/(-7 - -1 - (-1047)/174) a multiple of 134?
True
Suppose 4*s - 4*f - 948 = -196, 758 = 4*s + 2*f. Suppose 0 = 432*j - 467*j + 2520. Let u = s - j. Is u a multiple of 7?
False
Is 10 a factor of 0 + 0 + -1 + 10*(-8130)/(-300)?
True
Let g(d) = 293*d - 64. Is 18 a factor of g(2)?
True
Let q(s) = 14*s + 188. Let f be q(20). Suppose 5*z = f + 147. Does 3 divide z?
True
Is 77 a factor of 145791/18 - 4*27/72?
False
Suppose -458*f + 233*f = -234*f + 7308. Is 32 a factor of f?
False
Suppose 1506 + 48 = 3*d - 4*n, 4*n = 4*d - 2072. Suppose 1432 = 5*h - d. Does 39 divide h?
True
Let o(w) = -2*w**2 - 50*w + 5. Let p be o(-25). Does 85 divide 1 - (-668 + -3 + -3 - p)?
True
Let o = -342 - -329. Does 15 divide (-6115)/(-30) - ((-26)/(-12))/o?
False
Let k = -4 - -2. Let l be (-10)/k*(-674)/(-5). Suppose -7*v + l = -166. Does 23 divide v?
False
Suppose 2*n - 5 - 5 = 0. Suppose -5*c + 15 = -2*c, -n*j - c + 110 = 0. Let h = 6 + j. Is h a multiple of 27?
True
Let q(i) = -3*i**2 + 13*i - 9. Let r(o) = -7*o**2 + 25*o - 18. Suppose x - 5 - 6 = 0. Let h(v) = x*q(v) - 6*r(v). Does 25 divide h(4)?
True
Let s = 1763 - 917. Suppose 0 = -4*o - 3*p + 1711, -2*o + 4*p + s = -26. Is 10 a factor of o?
True
Suppose 43*m + 126 = 36*m. Does 8 divide ((-102)/m - -4)*36?
False
Suppose 3*v + 3*j - 12900 = 0, 3*v - 49*j - 12930 = -46*j. Does 35 divide v?
True
Let h(l) = l**3 - 2*l**2 - 2*l. Let t be h(3). Suppose -t*v + 0 = -6. Suppose v*s - 45 = s. Is s a multiple of 9?
True
Let f = 9 + -9. Suppose z - 5*z + 16 = f. Suppose -4*x = z*v - 20, -v - 5*x = -0*x + 7. Is 3 a factor of v?
False
Let m = -7576 - -13885. Is 2 a factor of m?
False
Does 11 divide (-75)/((20 + -21)/(1 - -2))?
False
Let d = -9171 - -18847. Does 41 divide d?
True
Let h = 2457 + -2392. Does 65 divide h?
True
Suppose -35744 = -146*q + 10976. Is q a multiple of 4?
True
Does 23 divide ((-390)/2)/15 + 1620?
False
Suppose -3*j + 19*w = 22*w - 17835, -3*w = 3. Does 14 divide j?
False
Let q(b) = 6*b**2 + 41*b + 5. Let s(n) = 5*n**2 + n - 2. Let p be s(1). Suppose 4*x = 3*g + 9, -24 = p*g - 2*x - 2. Is 12 a factor of q(g)?
True
Suppose -274 = -5*a + x + 854, 3*a = 5*x + 668. Let k = a + -154. Is k a multiple of 8?
True
Let r be 1 + 1 - ((-7 - 6) + 38). Does 9 divide 3/(-2)*r/(23/396)?
True
Let r = 51 + -26. Suppose -r = 4*o - 5*a, 0 = 5*a - 12 - 13. Suppose o = 6*c - 111 - 177. Is c a multiple of 24?
True
Let v be (-8)/6 + 40/(-15) + -6. Does 10 divide -2*((-4)/v + (-4472)/80)?
False
Let y be -32*(0 + 1/2). Suppose b = -3*q + 144 - 0, 0 = -4*q + 5*b + 211. Let f = y + q. Is f a multiple of 11?
True
Let v be ((-4136)/(-33) - 4) + 4/6. Suppose -v*r + 124*r - 392 = 0. Is r a multiple of 16?
False
Let p(n) = -60*n - 7. Let h be (13/(-2) - -2)/((-1)/2). Suppose 5 = -7*t - h. Is p(t) a multiple of 10?
False
Suppose -5704 = -3*g + 2*b, 4*b + b = -5*g + 9515. Is 27 a factor of g?
False
Let m(i) = -i**3 - 5*i**2 - 12*i - 52. Let z be m(7). Let p = z - -850. Is p a multiple of 3?
True
Let u = -601 - -955. Suppose 0 = 5*s + 15, -2*f - 4*s = -5*f + u. Is 38 a factor of f?
True
Let w(u) = -3*u - 29. Let r(s) = 2*s + 28. Let z(i) = -2*r(i) - 3*w(i). Suppose -33 = -12*v + 27. Is z(v) a multiple of 14?
True
Suppose 4*v = 4*z - 688, -3*z - 138 = 3*v + 354. Is 31 a factor of (v/(-36))/((-2)/(-183))?
False
Suppose 3*i - 1621 = -5*r - 110, -r + 4*i = -293. Let d = r - 157. Does 9 divide d?
True
Let i(m) = 24*m + 22*m - 69*m + 29*m + 58. Is 4 a factor of i(7)?
True
Let n(u) = 129*u**3 + 9*u**2 - 19*u + 122. Is 103 a factor of n(4)?
True
Suppose -280154 = -29*r + 300136. Does 46 divide r?
True
Let l(q) = -23*q**2 + 35*q + 161. Let r be l(-6). Let m = 1985 + r. Is m a multiple of 31?
False
Let n(o) = 30*o + 642. Is 21 a factor of n(78)?
True
Let f = 227 - 86. Suppose t + t - 3*k = f, k = -5. Does 16 divide t?
False
Let a(c) = -3*c**2 - 13*c - 16. Let q be a(-6). Let p = q - -55. Suppose p*r = 304 + 47. Does 14 divide r?
False
Suppose -3*v + 15 - 54 = 0. Let q(y) = 9*y**2 + 117*y + 6. Is 3 a factor of q(v)?
True
Let w = -33335 + 48320. Is 9 a factor of w?
True
Suppose 4*g - 22*g = 15*g - 165132. Does 18 divide g?
True
Let y(l) = 1741*l**2 - 665*l + 1998. Does 6 divide y(3)?
True
Let z(r) = 2*r + 46. Let v be z(-22). Let q(i) = -i + 1. Let m be q(v). Let y(d) = -29*d - 1. Does 28 divide y(m)?
True
Suppose -3*p + 0*p + 31 = 4*z, -2*z - 2*p + 18 = 0. Let v = 36 - 33. Suppose 5*m = z*r + 275, -v*r + 56 = 3*m - 82. Is m a multiple of 17?
True
Is 51 a factor of -3*(-47123)/11 - (-582)/2134?
True
Let q(z) be the third derivative of -z**6/120 - 7*z**5/60 - 5*z**4/12 + z**3 + 23*z**2. Let c be q(-5). Suppose v - 26 = -c. Does 6 divide v?
False
Let g be (-6)/(-14) + 182990/(-203). Let d = g + 1177. Is 13 a factor of d?
False
Let f = -12091 + 12901. Does 64 divide f?
False
Let q(k) = 4*k + 11. Let n(v) = 7*v + 12. Let l(d) = 3*n(d) - 2*q(d). Is 13 a factor of l(7)?
False
Suppose 0 = -4*v + 3*f + 30 + 2, 4*v + 3*f - 8 = 0. Suppose -5*l = -d + 3*d - 1330, -1335 = -v*l - 3*d. Does 24 divide l?
True
Let o = -32040 + 50655. Does 17 divide o?
True
Let q(d) = 80*d**2 - 75*d + 47. Does 19 divide q(-10)?
True
Let s be (6 - (-276)/(-45)) + (-150531)/(-45). Suppose -s = -12*g - 309. Does 27 divide g?
False
Suppose -6*d = -13*d + 21. Let x be (1500/10)/(d + (-1)/1). Suppose -7*h - x = -8*h. Is h a multiple of 14?
False
Let i be (790/(-3))/((-10)/(-75)*-5). Suppose i - 23 = 4*j. Does 31 divide j?
True
Let w(t) = -t**3 + 3*t**2 - t + 1. Let p be w(2). Suppose q - 3160 = -p*q - 4*z, 0 = 4*q + 2*z - 3168. Does 15 divide q?
False
Let g = -1788 - -1794. Let o be 34/(-4) + (-1)/(-2). Is (-393)/(-12) + g/o a multiple of 6?
False
Suppose 0 = -18*o + 26*o - 32. Suppose -3*k + 389 = -5*i, 4*k - 159 - 317 = -o*i. Is 11 a factor of k?
False
Let r(h) = h**2 - 5*h**3 + 5*h**2 + h**3 - 12 + 9*h + 3*h**3. Let z be r(7). Suppose -7*m + z*m + 714 = -3*c, 722 = 5*m + c. Is m a multiple of 25?
False
Suppose 0*v + 5*u = 4*v - 201, -4*v - 2*u + 194 = 0. Suppose 13*c - 3 = v. Suppose 46 = c*t - 30. Is t a multiple of 6?
False
Let v = -21 - 12. Let t = 31 + v. Is (-69)/(-6) - 1/t even?
True
Let a(w) = w**2 - 15*w + 88. Let s be a(6). Is 8 a factor of ((-332)/7)/(s/(-119))?
False
Let n(i) = -i**2 - 2*i - 2. Let j be n(0). Let m be (j - (1 - 0)) + 3 + -99. Does 12 divide 1292/18 - 22/m?
True
Let b(q) be the third derivative of 0 + 1/6*q**4 - 8/3*q**3 - 2*q**2 + 0*q. Is 16 a factor of b(8)?
True
Suppose 0*q - 6*q + 443592 = 6*q. Does 10 divide q?
False
Suppose -5*g + i - 17761 + 61560 = 0, 3*i = 18. Is g a multiple of 61?
False
Let h = 17 + -9. Let r(x) be the first derivative of 7*x**2/2 - 3*x + 41. Is r(h) a multiple of 3?
False
Let n = 1540 + -153. Suppose -27*u = -3682 + n. Is u even?
False
Suppose 411 = 4*d - 3*v, -d + 3*v - 16 + 112 = 0. Suppose -5*j - d = -2*f, -10*f + 9*f + 51 = -4*j. Does 55 divide f?
True
Let k(v) = 497*v - 8688. Is k(63) a multiple of 57?
False
Suppose -y = 5*i + 8 + 1, 4*y - 18 = -2*i. Suppose -y*w + 6612 = 6*w. Is w a multiple of 19?
True
Let f(l) = -207*l - 1226. Does 124 divide f(-46)?
False
Let d(g) be the first derivative of 9*g**2 - 117*g + 113. Is 13 a factor of d(13)?
True
Suppose 0 = -2*s - 0 + 2, 4*s = 4*k - 1116. Is k a multiple of 7?
True
Let b be 3*((-12)/(-15) + (-27)/15). Let t be 16 + b/(-7)*28/4. Suppose -5*k + j + 197 = 0, j - 57 - t = -2*k. Is k a multiple of 3?
True
Suppose 11*f - 16*f + 75 = 0. Suppose 5690 = -5*r + f*r. Is 19 a factor of r?
False
Let g(p) = 22*p**2 - 20 + 18 - 3*p + 50*p**2. Let n(z) = -z**3 + 12*z**2 + 13*z - 1. Let a be n(13). Is 19 a factor of g(a)?
False
Let c(y) = y**3 + 7*y**2 - 19. Let w be -3 + -7 - (-5 - (-5)/5). Is c(w) a multiple of 17?
True
Let r(a) = a**2 - 57*a + 1210. Does 4 divide r(26)?
True
Let a be 2/(-6)*1*0. Let o(u) = -1 + a + 12*u**2 - 6*u**2 - 5*u - 7*u**2. Is 3 a factor of o(-4)?
True
Let j be 5*(-13)/(-20)*4. Suppose -j*g + 3*g + 2280 = 0. Is 13 a factor of g?
False
Let l = 26 - 22. Suppose -2*k - 3166 = l*z + 3560, 3*k + 10053 = 3*z. Does 27 divide (-4)/(-5) - k/25?
True
Let h(u) = -24*u**2 - 1806*u + 39. Does 40 divide h(-71)?
False
Suppose -5*i = 5*b + 535