e -4*i = 4*h - 3*i - 78, -5*h + 3*i + 106 = l. Does 10 divide h?
True
Suppose 65*q - 5765 = 1255. Is q a multiple of 54?
True
Suppose 8*f + 4758 = 34894. Is 14 a factor of f?
False
Let l(v) = -2*v + 17. Let a(n) = 2*n - 18. Let r(d) = -2*a(d) - 3*l(d). Is r(14) a multiple of 8?
False
Suppose 49 = 3*y - 5*r, -6*r + r - 62 = -4*y. Let p(b) = -b + 13. Let s be p(y). Suppose -3*d + 5*k + 57 = 0, 3*d + s - 69 = k. Is d a multiple of 8?
True
Let f = 59 - -32. Is 5 a factor of f?
False
Suppose -343 = -2*p + 21. Does 26 divide p?
True
Is (-2642)/(-4) - (-121)/(-242) a multiple of 44?
True
Let p(t) be the first derivative of 1 - 3*t**2 - 4*t + 2 - 6 - 2*t**2. Is 12 a factor of p(-4)?
True
Let a(c) = -86*c**3 + 2*c**2 - c - 1. Does 7 divide a(-1)?
False
Let s(m) = -m**2 + 3*m + 7. Let w(u) = -2*u**2 + 4*u + 8. Let c(g) = 3*s(g) - 2*w(g). Is c(4) a multiple of 7?
False
Let p = 15 - 7. Suppose -m + p - 28 = 0. Is m/(-25) + 56/5 a multiple of 3?
True
Suppose -4*n - 4*t + 176 = -2*t, 0 = 3*t - 6. Let r = -20 + n. Is 7 a factor of r?
False
Suppose -6*p + 957 = x - 9*p, -3*x = p - 2901. Does 42 divide x?
True
Suppose 15*m = 10*m - 645. Let i = -54 - m. Is 15 a factor of i?
True
Suppose -2*t = 3*g + 105, -3*t = 3*g + 46 + 110. Suppose -20 = 2*h + 28. Let w = h - t. Does 6 divide w?
False
Let k = 357 + -378. Let q(o) = 14*o - 1. Let i be q(3). Let p = i + k. Is 10 a factor of p?
True
Suppose -3 = -x, 5*s + 4*x = -x + 85. Let u = -12 + s. Suppose 0 = -4*h - u*q + 3*q + 49, 5*h + 4*q - 56 = 0. Does 3 divide h?
True
Let y(h) be the third derivative of -13*h**6/24 + h**5/30 - h**4/24 - h**3/3 - 2*h**2. Does 10 divide y(-1)?
False
Let f be 2/(-1) - (-4 + 2). Suppose 3*s + 6 + 6 = 0, 2*m = -2*s + 100. Suppose -m = -f*l - 2*l. Is l a multiple of 27?
True
Suppose -11*d + 4 + 40 = 0. Suppose 0 = -o + m + 34, -3*o - d*m + 137 = -0*m. Is 16 a factor of o?
False
Suppose -57*l = 9*l - 240900. Is l a multiple of 40?
False
Let l = -26 + 66. Suppose -2*d + t + 16 = -17, -5*d + 80 = -2*t. Let u = l - d. Is u a multiple of 13?
True
Let m(a) be the second derivative of a**5/20 + 7*a**4/12 - a**3/2 - 3*a**2 + a. Let i be m(-7). Suppose 0*p + p - 2*x = i, 3*x - 45 = -3*p. Does 4 divide p?
False
Let f(a) = 4*a**3 + 11*a**2 + 11*a + 11. Let z(q) = -6*q**3 - 17*q**2 - 17*q - 17. Let i = 5 + -10. Let p(u) = i*z(u) - 8*f(u). Is 2 a factor of p(-2)?
False
Suppose 6*b = 1 + 11. Suppose -b*r - r = 0, -2*n - 2*r = -328. Let k = n - 88. Is k a multiple of 19?
True
Let s = -183 + -375. Is 17 a factor of s/(-27)*(1 - 2/(-4))?
False
Suppose -8*r + 3*c - 83 = -3*r, -r = -2*c + 11. Let s = 47 + r. Is 19 a factor of s?
False
Let m(l) = 73*l - 1. Suppose -4*b = 3*v + 1, -3*v - 5*b - 1 = v. Is m(v) a multiple of 9?
True
Suppose 38*y = 4*y + 16626. Does 8 divide y?
False
Is 3/6*14 - -888 a multiple of 45?
False
Let t be (1/(-3))/(1/3). Let g(o) be the second derivative of -3*o**3 - o**2 + 3*o. Does 16 divide g(t)?
True
Let s(m) = -2*m**2 - 90*m + 152. Is s(-41) a multiple of 16?
True
Let z(q) = -q**3 + 7*q**2 + 3*q - 10. Let g(u) = 3*u - 3. Let j be g(2). Let h be 2*(j - (-3)/6). Does 9 divide z(h)?
False
Let h(k) = 9*k**2 - 12*k - 39. Does 2 divide h(-3)?
True
Suppose -5*n - 4*l = -10*n + 374, -n + 3*l = -66. Suppose -3*g = -3*d + 135, 23 - n = -d - 4*g. Does 18 divide d?
False
Suppose 26 = -4*c - 6. Let r be c/(-3)*54/24. Suppose -r*v + 100 = -2*v. Is v a multiple of 8?
False
Suppose -5*l + c + 1548 = -3*l, 4*l - 3084 = -c. Is l a multiple of 10?
False
Let x(y) = -y**3 - 7*y**2 - 7*y - 3. Let q be x(-6). Suppose -3 = w, 2*w + 17 = 5*m - 9. Suppose -o + 36 = q*a - m*a, 5*o + 4*a - 180 = 0. Is 29 a factor of o?
False
Let c(z) = -3*z + 2. Let n be c(-1). Suppose 0 = -0*o + 5*o, -2*r + 234 = n*o. Suppose q = 2*w - r, -3*w - 2*q + 173 = -6*q. Is w a multiple of 18?
False
Suppose 0*g + 3*g - 21 = -5*l, 2*l = -4*g. Let y(f) = 11*f**3 + f**2 - f + 1. Let c be y(1). Let p = c - l. Is 6 a factor of p?
True
Suppose 0 = -5*r - 0*j - 4*j + 3480, 0 = -r + 4*j + 696. Is r a multiple of 87?
True
Suppose 15*o - 176 = 11*o. Let l = o + -20. Is 19 a factor of (-125)/(-3) - l/36?
False
Suppose 0 = 2*q + 5*z - 815, -q - 2*z + 409 = 2*z. Suppose g - 89 = -k, -3*k + q = 2*k - 5*g. Does 10 divide k?
False
Suppose -17*n + 4031 + 5438 = 0. Is 17 a factor of n?
False
Let y = 158 + -76. Let f = 172 - y. Is f a multiple of 45?
True
Let g(q) be the second derivative of 11*q**4/6 - q**3/6 + q**2/2 - q. Is 21 a factor of g(2)?
False
Let h(s) = 27*s + 62. Is h(23) a multiple of 64?
False
Suppose -5*w = 17 - 87. Let a(k) = -k**3 + 13*k**2 + 19*k - 4. Is 11 a factor of a(w)?
True
Suppose 3*n = 2*l - 785, -3*l - 383 = 3*n - 1553. Does 18 divide l?
False
Suppose 0 = b + 2*g - 406, b - 560 = -5*g - 154. Is 29 a factor of b?
True
Suppose 4*l - 4*a - 76 = 0, 12 + 77 = 5*l - 3*a. Let j(u) = u**3 - 16*u**2 + 2*u + 11. Is j(l) a multiple of 29?
False
Let r be 1 + (15 - 8)*44/14. Suppose 12*q - r*q = -704. Does 32 divide q?
True
Let w(c) be the second derivative of 11*c**5/20 - c**4/4 - c**3/3 - c**2 - 2*c. Is w(2) a multiple of 10?
True
Is 21 a factor of 35 - 8 - (7 - 1)?
True
Is 63 a factor of (168/(-30))/((-2)/225)?
True
Let c = 1492 - 202. Is c a multiple of 30?
True
Let u(l) = -7*l**3 + l**2 + 5. Let j(r) = -15*r**3 + 2*r**2 - r + 9. Let o(p) = -2*j(p) + 5*u(p). Is 16 a factor of o(-2)?
False
Suppose 0 = -3*u + 226 + 1373. Is 8 a factor of u?
False
Let x be (-6 - -6)/(1 + -2). Suppose x*w + 97 = 4*m - w, 2*m = -4*w + 44. Is 5 a factor of m?
False
Let k(s) be the first derivative of 4*s**3/3 + s + 4. Let d be k(1). Suppose 2*z - 64 - 25 = d*r, r - 91 = -3*z. Is 12 a factor of z?
False
Suppose 2*w = 4*w - 4. Suppose w*m - 38 = 12. Is 6 a factor of m?
False
Let u = 15 + -12. Suppose 0 = u*j + 9, a - j = 4*a + 3. Suppose -4*w = 4*h - 6 - 210, a = 2*h - 4*w - 114. Does 20 divide h?
False
Let l(c) = c**2 + 2*c. Suppose 24 = -4*y + 4*h, y + 8 = -2*h - 7. Let i be l(y). Suppose i = 4*b - 29. Is 23 a factor of b?
True
Suppose -5*m + 279 = z - 377, 248 = 2*m + 4*z. Does 4 divide m?
True
Suppose -o + 11 - 35 = 0. Let c be (-15 - -5 - 3)/(4 + -5). Is o/(-15)*(c - -2) a multiple of 12?
True
Suppose 0 = -4*i - 2*h - 214, -3*i - 5*h + 1 = 165. Let s = i + 92. Is s a multiple of 22?
False
Suppose 2*n + 170 = -0*n. Let k = -55 - n. Does 6 divide k?
True
Let m = 11 - 12. Does 13 divide (13/(-26))/(m/256)?
False
Let d = -41 - -213. Suppose 4*t - d = -2*l, 2*t + l = -2*l + 90. Is t a multiple of 14?
True
Suppose 102 = 5*p - 108. Let y = p - 25. Suppose -y = -5*u - 2. Does 3 divide u?
True
Let o(l) = 6*l - 18. Let q be o(3). Suppose q = 3*z + s - 44, -5*s + 17 = -8. Is 2 a factor of z?
False
Let p be (-124)/20 - 3/(-15). Let j be 0 + p/(-3) - 1. Does 13 divide (j*(-39)/(-3))/1?
True
Suppose -410 = -4*q - 6*q. Let l = 209 - q. Is l a multiple of 21?
True
Suppose 0 = 7*a + 7*a + 1568. Is (-7308)/a - 2/8 a multiple of 13?
True
Suppose -361*h + 358*h + 291 = 0. Is 33 a factor of h?
False
Let g be 96/(-10) + 22/(-55). Let j(q) = -q - 5. Let h be j(g). Suppose -2*n = -4*s - 10, -n - 7 + 0 = -h*s. Does 13 divide n?
True
Suppose 4*c - 2*h = 2*h + 248, -4*h - 8 = 0. Is c a multiple of 4?
True
Suppose q + 4*a = 150, -5*q + 802 = -a + 157. Let h = q - 24. Let g = -74 + h. Does 13 divide g?
False
Suppose -2*g = -8, 3*g = 5*r - g + 1086. Let z = -102 - r. Does 28 divide z?
True
Let z(g) = -g**2 + 6*g - 4. Let k be z(4). Suppose -k*n + 0*v + 22 = -v, 4*v = 8. Suppose -n*l + l = -120. Does 7 divide l?
False
Let i be (-2)/(-2 - (-260)/135). Suppose i - 1 = c. Does 2 divide c/(0/(-4) - -2)?
False
Let l = 2 + 0. Suppose -l*j - 112 + 24 = -r, 4*j = -5*r + 468. Is 9 a factor of r?
False
Let i(v) be the first derivative of 2*v**3/3 - 7*v**2/2 + 6*v + 11. Let j be i(-6). Suppose -j = -f - 2*f. Is 13 a factor of f?
False
Suppose -j + 56 = -97. Suppose -17*i + j = -14*i. Is i a multiple of 9?
False
Let h(v) = 3*v**3 + 31*v**2 + 8*v - 16. Let j be h(-10). Suppose 334 = j*k + k - 3*o, 0 = -o + 2. Is 8 a factor of k?
False
Is -3 + (4/4 - -4) + 285 a multiple of 7?
True
Suppose -5*v = q + 219, -5*v + 0*v + 876 = -4*q. Let l = -77 - q. Suppose -l + 22 = -5*z. Is 7 a factor of z?
False
Is -8 + 6/2 + (3555 - 31) a multiple of 51?
True
Let c = -125 - -184. Let i = -15 + c. Is i a mul