 10 a factor of y?
True
Let j(p) = -7*p + 157. Let z(b) = 14*b - 312. Let a(m) = -5*j(m) - 2*z(m). Does 15 divide a(38)?
True
Let n = 76 - 56. Suppose 25*y - 1750 = n*y. Is y a multiple of 35?
True
Let r(n) = -62*n - 61*n + 118*n + 115. Let g be r(0). Let b = g + -27. Does 11 divide b?
True
Let f(v) = -23 + v + 0 - 13*v**2 + 11*v**3 - 5*v**3 - 5*v**3. Let z be f(13). Is 8 a factor of 3 - 11/(11/z)?
False
Suppose 0 = 251*a - 822480 - 168991 - 279342. Is 5 a factor of a?
False
Does 12 divide -1 + 2 + 3/(-5) - 21985782/(-670)?
False
Let u(h) = 1 + 174*h + 56 + 196*h + 20 + 40*h. Is 13 a factor of u(2)?
True
Let d(u) = 4*u**3 - 298*u**2 - 38*u - 417. Is d(76) a multiple of 13?
False
Let f = 28683 + -25288. Is f a multiple of 29?
False
Suppose 5*q - 5 = 0, 5*q - 4807 = -5*p + 15973. Is 6 a factor of p?
False
Suppose 2*a = -22*n + 14140, -a + 5*n - 8*n = -7062. Is 12 a factor of a?
False
Let w = -23 - -57. Let y = w - 38. Is 447/12 - 3/y a multiple of 22?
False
Suppose -3*r - r = s - 19, 0 = -5*s - 5. Let g = r + -8. Does 3 divide (1/1)/(g/(-51))?
False
Let w(o) = -4*o - 38. Let b be w(-12). Suppose -2*m + m + 4*x + b = 0, -4*m + 2*x = -110. Is 10 a factor of m?
True
Is 23 a factor of 44*(153/36 - 5)*-32?
False
Is (154/2)/(9654/1206 + -6 + -2) a multiple of 67?
True
Let t(s) = -3*s**3 - 8*s**2 - 4*s - 1. Let n(p) = p + 49. Let o be n(-27). Let a(r) = r - 25. Let f be a(o). Is 14 a factor of t(f)?
False
Let i be (-10)/4*(-8 - 2). Let p(y) = -7*y**3 + 3*y**2 + 17*y + 10. Let q be p(-2). Let m = q - i. Is m a multiple of 19?
True
Let r be 1724/10 + 99/165. Let v = r + 448. Is 20 a factor of v?
False
Is 186 a factor of 12/78 + (2 - 5/(65/(-58589)))?
False
Let f(v) = -5*v**2 + 9*v - 4. Let k be f(6). Let d = k + 260. Does 26 divide d?
True
Suppose 0 = 5*l - 9898 - 1102. Is l a multiple of 25?
True
Suppose 5*w + 4*m - 190113 = 0, -5*w + 3*m - 63870 = -254004. Is 39 a factor of w?
True
Suppose 30*a + 2 = 31*a. Suppose 4*h = -c + a*c - 172, c = -2*h + 148. Does 42 divide (c/(-8) - -2)*-12?
True
Let x(c) be the second derivative of -c**3/6 + c**2/2 - 17*c. Let g be x(1). Suppose g = 5*k - t - 520, -2*k + 4*t = -0*k - 190. Does 19 divide k?
False
Let d be (-1 - -16) + (-6)/6. Suppose 5*b - 2*q = -39 - 12, 0 = 3*b - q + 30. Let s = b + d. Is 4 a factor of s?
False
Suppose 951*d - 1017*d + 1320 = 0. Let u(p) = 8*p**2 + 2*p + 2. Let l be u(-5). Is 8 a factor of ((l/d)/(-2))/(3/(-45))?
True
Let k = 8109 - 5910. Is 10 a factor of k?
False
Let k(o) = -o**3 + 12480 - 12476 - 6*o + o**2 - 3*o**2. Let v = -1 + -4. Is k(v) a multiple of 31?
False
Suppose 23*j = 8*j. Suppose r - 2055 = -4*r - 5*u, j = r + 5*u - 431. Is 23 a factor of r?
False
Let u be (-11 - 81)*(5/(-4) + 2). Let d = u + 77. Does 8 divide d?
True
Suppose 19*d = 23*d - 21416. Is d a multiple of 11?
False
Let z(d) = d**3 + 5*d**2 - 6*d + 6. Let a(r) = 5*r**3 + r**2 - 3*r + 1. Let t be a(1). Let b be 2*t*(-21)/28. Is 6 a factor of z(b)?
True
Is 57/76 + 1/4 + 402 + 1 a multiple of 101?
True
Let a = -4616 - -14128. Does 8 divide a?
True
Let q = 4736 - 2880. Is 10 a factor of -3*(q/(-12) + 6 + 2)?
True
Let s(o) = -23*o + 3. Let i(y) = -4*y**2 - 6*y + 4. Let d be i(-3). Is s(d) a multiple of 13?
True
Suppose 3*w - 6*w = o - 14577, 14583 = o + 2*w. Does 33 divide o?
False
Let o(s) = -5*s - 11. Let t be o(-4). Suppose 19*r - t*r = 1800. Is r a multiple of 18?
True
Suppose -i - 45 - 180 = 3*d, -3*i - 4*d - 690 = 0. Let k = i + 530. Is k a multiple of 37?
True
Let k = 389 - 567. Let j = 32 - k. Is 35 a factor of j?
True
Let p(z) = z**3 + 25*z**2 + 2*z + 41. Let r(i) = i**2 - i + 1. Let u(y) = p(y) - 2*r(y). Let m be u(-23). Let t = 20 - m. Does 8 divide t?
False
Let p(g) = 2*g**2 - 57*g + 91. Let s be p(27). Suppose -f - 5*a = -737, -6*a + s = -a. Is f a multiple of 27?
False
Suppose 0 = -13*t - 144 - 12. Let c(r) = -2*r**3 - 3*r**2 - 3*r - 2. Let p be c(-2). Does 12 divide 10 + (-3)/(t/p)?
True
Let p(a) = 9*a**3 - 3*a**2 - 3*a + 3. Let x(z) = -7*z**3 + 2*z**2 + 2*z - 2. Let j(g) = 3*p(g) + 4*x(g). Let r be j(1). Does 11 divide 7/((-7)/16)*11/r?
True
Let z = -1972 - -8403. Does 109 divide z?
True
Let v be 2 + ((-7)/(-1) - 3). Let u be 1100/v + 46/69. Let z = u - 48. Is z a multiple of 17?
True
Suppose -r + 3 = -2*s - 4*r, s + 3 = -3*r. Suppose -20*v + 49 + 51 = s. Does 2 divide v?
False
Is 25 a factor of (19/76 - 3/(-4))*2950?
True
Let w(x) = 11*x**2 - 18*x - 246. Is w(-21) a multiple of 33?
True
Suppose u = -b - 235 - 238, -2363 = 5*u + 4*b. Let p = -261 - u. Does 14 divide p?
True
Suppose -4*o + 2*p + 233850 = 0, 20*p - 21*p = -4*o + 233857. Is 63 a factor of o?
False
Let h(m) = -m**2 - 4*m + 79. Let j be h(6). Suppose -j*f = -49*f + 8970. Does 12 divide f?
False
Let k(t) = -28*t + 21. Let u(c) = -14*c + 11. Let z(y) = 2*k(y) - 5*u(y). Is z(11) a multiple of 15?
False
Let m(k) = 3*k**2 - 18*k + 4. Suppose 4*b - 4*v = 36, 4*b - 5*v + 0*v - 38 = 0. Does 5 divide m(b)?
True
Suppose f = -5*a + 45, -4*a - f + 30 = f. Let v(p) = -6*p + 12 + 24*p**3 - 23*p**3 - 11*p**2 + 20*p. Is 15 a factor of v(a)?
False
Does 16 divide (-26)/(-20) + 18/(-12) - 36216/(-5)?
False
Let p(x) = 20*x + 48. Let u be p(-4). Let z = 24 - u. Is z a multiple of 13?
False
Let x(l) = 71*l + 342. Let g be x(-18). Let d = 1748 + g. Is d a multiple of 29?
True
Let n(w) = 2*w**2 - 9*w - 3*w**2 - 35 - 13*w + 0*w**2. Let h be n(-19). Is 34 a factor of (-3 - -39)*h/4?
False
Suppose -h - 1797 = -4*c, -3*h = 6*c - 3*c - 1359. Does 9 divide c?
True
Suppose 133351 - 292614 = -66*t + 273103. Is 175 a factor of t?
False
Let r be -6 - (1 - -173 - 2). Let y = -103 - r. Is y a multiple of 15?
True
Suppose 6*z + 2 = 26. Suppose 2*u - 5*u = -3, z*f - 4*u = 348. Does 8 divide f?
True
Suppose 5*y - 2*y + 15 = 0, -5 = 5*g + y. Suppose g = -3*q + 249 + 423. Is q a multiple of 56?
True
Suppose -z + 7*z + 9*z - 143040 = 0. Is z a multiple of 21?
False
Suppose 10 = -2*s, 56*s = -4*t + 57*s + 281. Does 15 divide t?
False
Let l = -61 - -668. Suppose -j + 126 + 441 = 5*u, -j + 3*u = -l. Does 17 divide j?
False
Is (9/12)/(4 + 85101/(-21276)) a multiple of 27?
True
Let o = 120 - 118. Suppose -4*i = -4*b - 12, 0 = -0*b - o*b. Suppose a + 514 = 2*r + i*r, -490 = -5*r - 5*a. Is r a multiple of 17?
True
Suppose -36*o = -41*o. Suppose o = 3*c + 4*g - 924, -2*g + 858 + 668 = 5*c. Does 38 divide c?
True
Suppose 13290 = 242*k - 77759 - 113441. Is 6 a factor of k?
False
Let y be (-1)/((-1 - -8)/56). Let g(h) = -5*h + 51. Does 16 divide g(y)?
False
Suppose 17*k - 13*k + 3*v = 13147, -3*v - 3268 = -k. Does 28 divide k?
False
Does 15 divide -3420*((-378)/(-28) + -14)?
True
Let a(n) = n**2 - 13*n + 8. Suppose 4*r + 19 = -r - 2*h, 22 = -4*r - 5*h. Let j(w) = -w**3 - w - 7. Let o be j(r). Is a(o) a multiple of 27?
False
Let n = -85 + 97. Suppose -5*j = -3 - n. Suppose 2*f - 209 = -5*i + j*f, 4 = 4*f. Is 14 a factor of i?
True
Let a(s) = 15*s + 3342. Is a(-31) a multiple of 9?
False
Let q = -490 - -2690. Does 40 divide q?
True
Let g(b) = -2*b**2 + 60*b - 21. Let d be g(18). Suppose -3*m + i + d - 35 = 0, 0 = 5*m + 5*i - 640. Does 12 divide m?
False
Let a(q) = -20*q**2 - 9*q - 43. Let n(z) = 9*z**2 + 4*z + 22. Let c(f) = -3*a(f) - 5*n(f). Is 7 a factor of c(-3)?
True
Suppose 3*o + 16*k - 19*k = 24, 4*o - 5*k = 35. Suppose 2*y - 3*w = 1105, 3*y + o*w = 1316 + 389. Is 12 a factor of y?
False
Let s(m) = -254*m - 1214. Does 103 divide s(-21)?
True
Let z(u) = -5 + 7 - 27*u - 42*u + 7*u. Does 42 divide z(-2)?
True
Let o(s) = -s**2 - 23*s - 30. Suppose 2*y = -21 - 17. Let n = -36 - y. Does 18 divide o(n)?
True
Suppose -4*q - 1 = -21. Let a(i) = 27*i**2 + 17. Is a(q) a multiple of 70?
False
Suppose 3*l + d - 64 = 0, 0 = -4*l + 5*l - 5*d. Is 4 a factor of l?
True
Suppose -3*z + 6*i + 270 = 0, 170 = -14*z + 16*z - 2*i. Does 2 divide z?
True
Suppose 2*n + 4*k = -12, -4*n + 3*k = -13 + 26. Is n/(24/90)*-4 a multiple of 12?
True
Let x(b) = -b**3 + 29*b**2 + 107*b - 59. Is x(31) a multiple of 2?
True
Let x(i) = 495 + 6*i - i + 0*i. Is x(0) a multiple of 21?
False
Let y be 0/(-2) - (-180)/(-4). Let f = -27 - y. Let u = 4 + f. Is 7 a factor of u?
False
Let r(f) = -8*f - 30. Let m be r(-4). Suppose 3*j + m*v - 334 = 173, 4*j = -5*v + 676. Is 6 a factor of j?
False
Let y be ((-120)/(-1))/(6 + -5). Suppose 