v(c) = -10*c**3 + 16*c**2 + 21 + 2*c**3 - 16*c + 7*c**3. Is v(15) a multiple of 6?
True
Let y = -409 - -979. Is 30 a factor of y?
True
Let t = 687 + 461. Does 14 divide t?
True
Suppose -3*l + 18 = -2*x, 2*l = -3*l + x + 23. Suppose -17*y + l*y + 611 = 0. Is 17 a factor of y?
False
Let d be (-3)/((-9)/(-111)) + -1. Let r = d - -59. Is 21 a factor of r?
True
Let m(r) = 2*r - 13. Let k be m(12). Let t be 1/(k/3 - 4). Is 36 a factor of (-9 + t)/((-5)/45)?
True
Suppose 4*m - m = 3. Is 1/(-2) + ((-865)/(-10) - m) a multiple of 13?
False
Suppose -5*l - 708 + 1938 = 4*f, 5*f - 751 = -3*l. Does 16 divide l?
False
Let k be (-9)/(-2 + 10/8). Let o = k + -13. Let h(p) = -3*p. Is h(o) even?
False
Let p = -7 - -75. Suppose 5*a = p + 992. Let l = -138 + a. Is 26 a factor of l?
False
Let r(z) be the first derivative of z**3/3 - z - 13. Let j be r(9). Let q = j + -15. Does 17 divide q?
False
Let z = 273 + -185. Is 20 a factor of (z/(-55))/(2/(-65))?
False
Suppose -5*w + 2504 = -2526. Suppose 3*t + 1264 = -h + 6*h, 5*t = 4*h - w. Is 39 a factor of h?
False
Suppose 0 = 2*q + 2*q. Let v(y) = y**2 + 97. Let k be v(q). Suppose -k = -4*o - 1. Is o a multiple of 8?
True
Let b(n) = n**2 + 5*n + 6. Let i be b(-4). Suppose -3*y - i*y = 0. Suppose y = 2*f - 7 - 81. Is 15 a factor of f?
False
Let d(w) = 159*w - 894. Is d(16) a multiple of 11?
True
Let t be ((165/10)/(-11))/((-2)/4). Does 8 divide 0/t + 2 + (4 - -34)?
True
Is ((3 - 7) + -16)*-6 even?
True
Suppose c = 6*c - 25. Suppose y + 6*r - 120 = r, -c*y + 2*r + 654 = 0. Is 32 a factor of y?
False
Let x(k) = -7*k**2 + 3*k + 4. Let c be x(-2). Let y = 56 + c. Let h = y + 10. Is h a multiple of 9?
True
Suppose -14*x + 10*x = 1512. Let y = -268 - x. Does 15 divide y?
False
Let s(z) = -8*z - 8. Suppose 14 - 4 = 5*x. Suppose x*m = -2*w + 1 - 11, -5*w - 1 = -m. Is 12 a factor of s(m)?
True
Let u be (-162)/(-4) - (-1)/(-2). Suppose -5*d + 4*f + u = -3*d, 4*d = -3*f + 80. Is d a multiple of 5?
True
Let k(m) = -2*m**2 - 36*m + 26. Let b(g) = g**2 + 12*g - 9. Let x(z) = 14*b(z) + 5*k(z). Is x(7) a multiple of 32?
False
Let a(o) = o + 23. Let u be a(-20). Suppose -4*x + 256 = -t + 69, 3*x + u*t = 129. Does 12 divide x?
False
Suppose 3*s = 0, -6*v + 2*s - 248 = -10*v. Is v a multiple of 7?
False
Let y = -19 + 8. Let a(l) = -l**3 - 2*l**2 + 3*l + 1. Let r be a(-3). Is 3 a factor of (y/33)/(r/(-18))?
True
Suppose 0 = -4*m - 4*d + 13 + 43, m - 6 = d. Does 3 divide m?
False
Let b = -150 - -177. Is b a multiple of 3?
True
Let o(p) = 52*p - 7. Let t(g) = -51*g + 8. Let s(l) = -3*o(l) - 2*t(l). Does 39 divide s(-3)?
False
Let i(g) = 365*g**3 + 9*g**2 - 4*g - 9. Let y(p) = 91*p**3 + 2*p**2 - p - 2. Let t(m) = -2*i(m) + 9*y(m). Suppose 0 = q + 67 - 68. Is 22 a factor of t(q)?
True
Let s = 205 - 189. Is s a multiple of 8?
True
Let x = 27 - -18. Suppose -m - 4*p = -x, 0*m + m = p + 70. Is 13 a factor of m?
True
Let g = -30 + 34. Let o(s) = 24*s + 4. Is o(g) a multiple of 25?
True
Let a be (8/(-20))/(1/5). Suppose 0 = 8*x + 17 - 89. Is 78/x + a/(-6) a multiple of 4?
False
Let u be 25/(8/14 - 24/(-56)). Let b = u - -20. Does 5 divide b?
True
Let l(h) = 3*h - 17. Let j be l(6). Is -1*j*(2 - 43) a multiple of 18?
False
Let y(j) = -j**2 - 14*j - 35. Let l be y(-10). Suppose -1060 = -l*h + 5*b, -2*h - b = -104 - 320. Is h a multiple of 24?
False
Let l(f) = -11*f. Let b be l(-3). Suppose -2*y + b = -3. Is 572/y + 6/27 a multiple of 16?
True
Let s = 10 - 6. Suppose 0 = -2*u + 8 + s. Suppose -2*r - 144 = -u*r. Does 18 divide r?
True
Let d = -5919 - -10158. Is d a multiple of 16?
False
Let d be ((-34)/(-8) - 0)*(-2 - -10). Let r = d + 71. Is r a multiple of 14?
False
Let n be (1 - -5) + -2 + 0. Let d be 2*1*n/2. Suppose -2*b - 62 = -d*l, 2*b = -2*l - l + 36. Is 5 a factor of l?
False
Suppose -27*w + 25*w = -80. Is 40 a factor of w?
True
Suppose -v + 63 = -3*h, -h - 91 = -2*v - 2*h. Let f(b) = 2*b**2 - b - 2. Let u be f(2). Suppose -t - 5*i + 24 = 0, 2*t + 0*i = -u*i + v. Does 10 divide t?
False
Let z(p) = p + 17. Suppose 3*g + 48 = -5*t, 2*g + 0*g = 8. Let y be z(t). Suppose -y*n = j - 59, -2*j = 3*n + j - 45. Is 11 a factor of n?
True
Let a(t) be the second derivative of -t**4/12 + 7*t**3/3 - 17*t**2/2 - 2*t. Let l be a(13). Is (l/10)/(1/(-20)) a multiple of 3?
False
Let w(c) = 56*c + 73. Does 73 divide w(11)?
False
Let v be ((-252)/30)/(3/(-10)). Does 40 divide v/(-6)*360/(-14)?
True
Let m(z) = 2*z**2 - 11*z + 26. Let u be m(3). Is 31 a factor of 27/27*u*31?
True
Let f be (0 + -1)/((-2)/10). Suppose f*v = v + 84. Does 7 divide v?
True
Let x(n) = -59*n - 171. Is 11 a factor of x(-18)?
True
Suppose 0 = -4*t + 9*a - 8*a + 3957, 3*a = -2*t + 1989. Is t a multiple of 55?
True
Let k be ((-12)/8)/((-1)/2). Let p(o) = -2 + 3*o**3 + 6*o**2 - o - 6*o**3 + 4*o**k. Is 4 a factor of p(-6)?
True
Let y = 995 + -581. Is y a multiple of 23?
True
Let p = -1365 - -956. Let k = p - -634. Does 25 divide k?
True
Suppose -105 = 3*y - 36. Suppose 5*x - 5*h = 172 + 138, -4*h - 68 = -x. Let m = y + x. Is m a multiple of 9?
False
Let a be (-156)/9 - 3*1/(-9). Let n(x) = -8*x - 64. Is 16 a factor of n(a)?
False
Suppose 0*b - 4*b = -16. Suppose -g + h + 1 = 0, b*h - 19 = g - h. Suppose 6*k = -g + 198. Is k a multiple of 16?
True
Suppose -y + 2126 = 3*j, 4*y = 5*j + 10200 - 1764. Is y a multiple of 7?
True
Suppose p + 4*z - 115 = 0, 4*z = 4*p - 803 + 243. Suppose -14*o + p = -9*o. Suppose 27*m + o = 28*m. Does 9 divide m?
True
Let j(q) be the second derivative of q**4/12 - 2*q**3/3 - 9*q**2/2 - 6*q. Let h be (14/(-5))/(10/25). Does 27 divide j(h)?
False
Suppose 10*f + 0 = -20. Let c = 6 + -8. Is 5 a factor of 30*((-5)/f + c)?
True
Let a = 1326 + -1965. Let w = -378 - a. Is 38 a factor of w?
False
Suppose 98 + 28 = -6*p. Let o be ((-6)/4)/(p/28). Suppose -5*h - 3*q + o*q + 279 = 0, -3*q + 12 = 0. Is h a multiple of 11?
True
Let n be 10*(0 + 1/2). Let o(p) = -p**3 + 5*p**2 + p - 7. Let q be o(n). Is (56 + 0)*(3 + q) a multiple of 13?
False
Suppose -8 = -0*b - 4*b. Suppose 0 = 4*i + 3*g - 88, i + b*i - 79 = g. Let f = -15 + i. Does 4 divide f?
False
Suppose -5*b + 4275 = -5*i, -b + 0*b = -4*i - 855. Is 57 a factor of b?
True
Does 6 divide (7 + 5)/((-2)/(-65))?
True
Let m = 40 - 35. Suppose m*p = -2*s + 64, 4*p + 5*s - 64 = -6. Is p a multiple of 12?
True
Let p be (-3)/((-3 + 8)/(-15)). Is 128 + 0 - (p + -5) a multiple of 18?
False
Let i = -33 + 48. Suppose -2*u = -k + 2 - i, 0 = k - 5. Is u a multiple of 9?
True
Let u = 71 - 1. Let c(p) = 7*p**2 - p - 9. Let y be c(-4). Suppose -u - y = -3*b. Is 19 a factor of b?
False
Suppose -2*l + l = -4, 3*l = -3*i + 192. Does 3 divide i?
True
Suppose 5*q + 2*m + 3*m - 240 = 0, -q = -2*m - 42. Let a = -910 - -913. Suppose -q = a*u - 160. Is 19 a factor of u?
True
Is 117/(1*(-3)/(-28)) a multiple of 28?
True
Suppose 0 = -7*r - 7 + 14. Suppose f = 3*m - m - 6, -15 = -5*m. Suppose -l - r + 17 = f. Does 8 divide l?
True
Let k(l) = -l**2 + 29*l - 50. Does 4 divide k(13)?
False
Suppose 0 = 3*q - 3, -13 - 1 = -4*m + 2*q. Is 5 a factor of (-4 - (-18)/m)*-14*-11?
False
Suppose 0 = 4*y - 346 - 94. Is y a multiple of 11?
True
Suppose -3*s = f - 73, -3*s - 2*s + 147 = 2*f. Suppose 0*c - f = -2*c. Is c a multiple of 16?
False
Suppose -x = 2*w - 33, -69 = -5*w + 3*x - x. Suppose -2*m - m + w = 0. Suppose -m*o + 20 = 5*j, -j = 4*o - 6*j - 61. Is o a multiple of 3?
True
Let z(r) = -2*r - 17. Let q be z(-7). Is 20/(q*(-4)/72) a multiple of 40?
True
Let z(o) = 7*o + 22. Let u(q) = -6*q - 21. Let y(m) = 5*u(m) + 4*z(m). Let s be y(-10). Suppose 275 = 8*i - s*i. Does 10 divide i?
False
Suppose -80 = 4*u - 392. Is 21 a factor of u?
False
Does 7 divide ((-1344)/9)/((-18)/81)?
True
Suppose 18 + 3 = 3*c. Suppose -6*r + c = -119. Is r a multiple of 8?
False
Suppose 4*c + 5*y - 856 - 68 = 0, 924 = 4*c - 4*y. Is c a multiple of 12?
False
Suppose 0 = 5*w - 2*o, 0 = -7*o + 2*o + 25. Suppose -k - 20 = -w*k. Is k a multiple of 4?
True
Suppose -697*k + 700*k = 591. Does 8 divide k?
False
Let q(s) = -s**3 + 9*s**2 + s - 2. Let i be q(8). Is 1850/i + (-4)/(-7) a multiple of 3?
True
Let l(y) = -y**3 + 4*y**2 - 3. Suppose -4*g - 2*a - 6 = 0, g - 4*a + 21 = -3. Is l(g) a multiple of 25?
True
Let j(h) = 7*h**2 + 3*h + 1. Let i(p) = 57*p**2 + 1 + 2*p + 1 - 59*p**2. Let o be i(2