be (-21)/(-4) + 2/(-8). Is ((-6)/y)/(18/(-240)) a multiple of 7?
False
Let v = 54 - 42. Is 3 a factor of v?
True
Let a = 3 - 1. Let z(c) = -2*c - 2 + c**a + c - 3*c. Is 5 a factor of z(6)?
True
Let u(s) = 38*s + 13. Let z be u(10). Suppose 5*c - z + 18 = 0. Suppose 5*g = -f + c, 52 = -g + 3*g - 4*f. Is 8 a factor of g?
True
Let o(j) = -j - 4. Let x be o(-4). Suppose -5*f = -4*a - x*f + 102, 3*a - f - 82 = 0. Is 14 a factor of a?
True
Let s = 289 - 164. Is 25 a factor of s?
True
Let u be (0 + -2 - -3) + 3. Suppose u*k - 150 = -k. Is k a multiple of 10?
True
Let o(h) be the third derivative of -h**6/40 - h**5/20 - h**4/12 - h**3/6 + 4*h**2. Is 5 a factor of o(-2)?
True
Let l(u) = -u**3 + 21*u**2 - 42*u - 22. Is l(17) a multiple of 28?
True
Suppose -2*g - 3*d + 88 = d, 50 = g - 4*d. Suppose -5 = -2*c + 3*c. Let j = g - c. Is 13 a factor of j?
False
Let x(g) = 10*g**3 + g**2 - g. Does 10 divide x(1)?
True
Let j = 2 - -42. Is 9 a factor of j?
False
Let z(b) = b**3 - 2*b**2 - 2*b + 1. Is z(5) a multiple of 21?
False
Let l(c) = -c**3 - 5*c**2 - c + 1. Let k(d) = -d**2 - 2*d - 2. Let f be k(-3). Is 6 a factor of l(f)?
True
Let g = -56 + 79. Let u = 56 + -24. Let r = u - g. Does 9 divide r?
True
Let a(x) = -3*x + 5. Suppose 3*n - n = -w + 5, -2*n + w = -15. Let y be ((-4)/n)/(6/45). Does 8 divide a(y)?
False
Let a(u) = -u**3 + 5*u**2 + 2*u - 6. Let d be a(5). Let c = 36 - -14. Suppose -2*g + d*g = c. Does 7 divide g?
False
Let l(z) = z**3 + 12*z**2 - 6*z - 15. Does 16 divide l(-10)?
False
Suppose -5*w = -46 - 129. Is 3 a factor of w?
False
Let u(q) = -9*q - 2. Let y be u(-3). Let n = y - 10. Does 13 divide n?
False
Suppose -o + 1 + 14 = 0. Is o a multiple of 5?
True
Let q(w) = 2*w**2 - 10*w + 6. Let r be 1/4 - (-138)/24. Is q(r) a multiple of 6?
True
Let w = 9 - 7. Suppose -12 = -w*u + 2*k, 3*u + 3*k - 2*k = -2. Let z(p) = 39*p**2 - 2*p + 1. Is z(u) a multiple of 19?
True
Suppose -2*n = 4*g + 2, 5*n = -4*g - 2 - 15. Is 0 + g + (5 - 1) a multiple of 4?
False
Suppose -3 = b + 4*w, 0 = 5*b + 3*w - w - 57. Does 4 divide b?
False
Suppose 2*i + 90 = 4*t, 4*t + i = t + 60. Is 21 a factor of t?
True
Suppose -17 + 1 = -4*n. Suppose -5*c - 4*y + 144 = -19, -n*c - 3*y = -131. Does 11 divide c?
False
Suppose 2*x = 2*r + 5*x - 443, 5*x + 655 = 3*r. Suppose 3*j - 180 = -3*t + 6*t, -r = -4*j - t. Does 15 divide j?
False
Let n = 10 - 15. Is 54/n*5/(-2) a multiple of 10?
False
Let s(w) = 3*w**2 - 6*w - 17. Is s(-4) a multiple of 3?
False
Suppose -1 = -2*l + 3. Is 14 a factor of 44 + (l + -1)*-2?
True
Let q(n) = 4*n**2 + 5 + 5*n**2 - 2*n**2 + n**3 + 6*n. Is 11 a factor of q(-4)?
False
Let v(o) = 3*o**2 + 14*o - 2. Is 40 a factor of v(-9)?
False
Suppose -2*d + 183 = 43. Is 14 a factor of d?
True
Suppose -8*r + 874 = -94. Is r a multiple of 11?
True
Let u(q) = q**3 + 12*q**2 - 2*q - 6. Let c be u(-12). Let w = 7 + c. Suppose 20 = 3*s - w. Is s a multiple of 14?
False
Is (-436)/(-7) + 2/(-7) a multiple of 31?
True
Suppose 3*g + 12 = -g, 0 = -4*x + 4*g + 68. Let c = 25 + x. Is 15 a factor of c?
False
Let l(t) = -2*t - 1. Let q be l(10). Does 4 divide q/(-6) + 1/2?
True
Let n be (141/(-12))/(1/(-4)). Let v = 3 - 2. Suppose v = 4*y - n. Is y a multiple of 6?
True
Suppose 0 = -s - 2*s + 15. Suppose 0 = 5*b - 4*d - 211, s*b - 191 = -5*d + 4*d. Suppose -b = -4*x + x. Does 7 divide x?
False
Let s(w) = w + 3. Let t be s(-6). Let f = t - -2. Does 6 divide -5 + f + 4 + 8?
True
Let m(n) = n**2 + 40. Does 10 divide m(0)?
True
Suppose -m - 468 = -5*z, 0*z - 184 = -2*z + 2*m. Suppose 6*c - z = 350. Is 14 a factor of c?
False
Let h(i) = -7*i - 11. Is 12 a factor of h(-5)?
True
Let a(d) = d**3 - 7*d**2 - 7*d - 3. Let b(m) = -2*m - 2. Let k be (-38)/8 - 4/16. Let j be b(k). Is 4 a factor of a(j)?
False
Let q(d) = -d**3 + 6*d**2 + 5*d - 6. Does 9 divide q(6)?
False
Let u = 6 + 5. Suppose -3*w + q + 4*q = -68, w - 4*q = u. Is 31 a factor of w?
True
Let b = 47 + -36. Is b a multiple of 2?
False
Let p = 81 + -54. Suppose 0 = 2*i + i - p. Is i a multiple of 7?
False
Does 4 divide ((-1)/3)/(11/(-396))?
True
Let d = 9 - -33. Is d a multiple of 7?
True
Let r = -22 - -44. Suppose o = -g + 56, g - 5*o - 28 = r. Does 19 divide g?
False
Let g(o) = -5*o - 27. Is 14 a factor of g(-11)?
True
Let i(f) be the third derivative of f**5/3 - f**4/24 + f**3/6 - f**2. Let d = -1 + 2. Is 9 a factor of i(d)?
False
Suppose -2*l + 212 = 12. Suppose 5*t + 106 = 2*h, 0 = 4*t - 3*h + l - 18. Let f = 42 + t. Does 10 divide f?
True
Let j(d) = -d**2 - 7*d - 7. Let o be j(-5). Suppose 5*a - t = -3*t - 20, -o*t - 15 = 5*a. Let f = 6 - a. Is 6 a factor of f?
True
Suppose q + 4*q = o - 14, 0 = -o - 4*q - 4. Suppose -o*i = i - 80. Is i a multiple of 13?
False
Suppose 5*i - 5 + 1 = -4*r, -12 = -5*i - 2*r. Suppose -m - 2*m - g + 83 = 0, i*g = -3*m + 98. Is 8 a factor of m?
False
Let c(y) = -y**2 - 11*y + 10. Let r be c(-12). Is 4 a factor of (-1060)/(-90) - r/9?
True
Suppose i - 4*o + 8 = -i, 4*i = 2*o + 14. Let m(b) = b**3 - 5*b**2 - 6*b + 5. Let y be m(i). Suppose y*h - 11 = -w - 32, -2*w + h = -13. Is 2 a factor of w?
True
Let s = -1 - -4. Let a(h) = -4*h + 14 - 1 + s*h. Is 11 a factor of a(-9)?
True
Suppose s - 6 = 4. Let j = -26 - -16. Does 18 divide (-176)/j - s/(-25)?
True
Suppose -3*o + 5*g + 23 = 0, o - 10 = -g + 3. Suppose 5*v + 2*k = 254, k - 257 = 6*v - o*v. Does 26 divide v?
True
Let u = 6 - 10. Is 4*u/((-32)/70) a multiple of 13?
False
Suppose r = -5*n + 2 - 0, -r - 6 = -3*n. Does 10 divide n - 0 - 1*-13?
False
Let d(l) = 3*l - 8. Let y(z) = -16*z + 39. Let a(v) = -11*d(v) - 2*y(v). Is a(6) a multiple of 4?
True
Suppose 2*w = -b + 3, 0 = 3*b - 2*w - 7 - 2. Suppose 0 = -m + 4*m - 15. Suppose -b*l - 27 = -o - 0*o, -159 = -4*o - m*l. Is 10 a factor of o?
False
Let q(f) = 13*f + 1. Suppose -4*c = -6*c - 2*r + 12, 2*c = 4*r - 18. Let y be q(c). Let g = 32 - y. Is g a multiple of 14?
False
Let k be 24 + 3/1 + -3. Suppose 3*l - 4*l - 2*g + k = 0, -2*g - 104 = -3*l. Does 11 divide l?
False
Suppose -2*b - 1 = 7, -4*t = 2*b + 80. Let u be (-75)/t + (-1)/6. Suppose -u*c + 70 = -26. Does 11 divide c?
False
Does 14 divide -4 - 1*(-12)/4 - -256?
False
Suppose -3*t + 0*w + 53 = 5*w, 3*t = 4*w + 17. Is t a multiple of 11?
True
Let y(z) = 7 + 0*z**2 - 4*z**2 + z + 2*z**2. Let w be y(-7). Is 4/(-6) - w/3 a multiple of 11?
False
Let d be (-1)/(2 - 9/5). Let q be ((-2)/(-5))/(5/(-275)). Let f = d - q. Does 7 divide f?
False
Let a(w) = 1 - 3 + w**3 + w - 2 - w**2. Let m be a(0). Does 4 divide ((-30)/25)/(m/30)?
False
Let z(o) be the second derivative of -o**5/20 - 7*o**4/12 - 5*o**3/6 + 4*o**2 - 4*o. Let h be z(-6). Is (1 - -12) + (-4)/h a multiple of 3?
False
Suppose t - 3 = 36. Does 12 divide t?
False
Let x = 37 + 11. Is x a multiple of 16?
True
Let w(g) = g**2 + 2*g + 2. Let d be w(-2). Suppose 0 = -3*c + c + d. Let y(i) = 6*i + 1. Is 4 a factor of y(c)?
False
Let p(j) = -8*j - 26. Is p(-10) a multiple of 18?
True
Let u = 62 + -44. Let b = 29 - u. Is b a multiple of 4?
False
Let u(m) = 13*m**2 + m. Let d be u(-1). Is 17 a factor of d/(-18) + (-172)/(-6)?
False
Let w = -5 + 6. Let l(v) = 6*v. Let f be l(w). Let y(a) = a**2 - 5*a + 7. Is y(f) a multiple of 13?
True
Is 6 a factor of (-11 + 8)*(-10)/2?
False
Is (-118)/3*6/(-4) a multiple of 12?
False
Let i = 55 - 19. Does 9 divide i?
True
Let i(b) = b**2 - b - 6. Is i(-7) a multiple of 11?
False
Let q be 0 + (-1)/1 + 10. Let v(w) = w**3 - 8*w**2 - 10*w + 9. Let z be v(q). Is z + 22*(3 - 2) a multiple of 11?
True
Let i(l) = 2*l**2 - l + 4. Suppose f + 1 = 4. Suppose -5*a - 4*r = 0, f*a = 2*a - 3*r - 11. Is i(a) a multiple of 16?
True
Let s(t) = -5*t - 5. Let x be s(-7). Suppose 4*u + x = u. Let c(o) = -o - 5. Is 5 a factor of c(u)?
True
Let i(z) = -23*z - 1. Let d be i(-2). Suppose -d = -3*h + 3. Is h a multiple of 8?
True
Let h(k) = k**2 + 6*k. Let r be h(-6). Suppose 0 = -4*w + 5*q + 35, r + 9 = -3*q. Is 5 a factor of w?
True
Let r(i) = i**3 + 9*i**2 + 11. Let l be (-1)/2 - (-14)/4. Suppose l*f + 28 = -f - 4*n, 2*f - 5*n = -28. Is r(f) a multiple of 6?
False
Suppose 6*r + 5*y = r - 5, 0 = 4*r - 2*y + 10. Let s = r - -4. Suppose -32 = s*l - 88. Does 10 divide l?
False
Let c(u) = -u**3 - 7*u**2 + 4*u - 4. Let r = -7 - -3. Let q be c(r). Is (q/8)/((-1)/2) a multiple of 17?
True
Suppo