Let t(s) = -s**2 + 4*s. Let a be t(-4). Let l = a - -68. Does 15 divide l?
False
Let r be (8/(-6))/((-6)/9). Suppose -3*f = 5*n - 174, -r*n + 57 = -f - 2*f. Is n a multiple of 11?
True
Let q(d) = 10*d + 0 - 9 + 1 - d - d**2. Is 10 a factor of q(6)?
True
Let v = -171 - -341. Is v a multiple of 10?
True
Let n be ((-4)/12)/(1/(-3)). Let a(x) = 11*x**2 + x. Is a(n) a multiple of 5?
False
Let x(s) = 35*s - 4. Let g be x(3). Let p = g - 37. Suppose -2*m = -6*m + p. Does 8 divide m?
True
Suppose 5*c = 5*s - 2*s - 265, -s + 2*c = -87. Is s a multiple of 22?
False
Let m = 0 - 0. Suppose f = -2*u + 9, -3*u = 2*f - 0*f - 14. Suppose 3*j + 92 = 5*t + 2*j, -u*t + 3*j + 78 = m. Does 18 divide t?
True
Let r(f) = -f**3 - 3*f**2 + f - 5. Let v = 5 - 9. Is 7 a factor of r(v)?
True
Let m = 188 - 113. Does 15 divide m?
True
Let y be (-6)/(-15) + 32/(-5). Let o = 10 + y. Suppose o*l = l + 12. Does 4 divide l?
True
Suppose 3*g - g = 54. Suppose -5*x = -2*v - 0*v + g, -4*x = 2*v. Does 3 divide v?
True
Let k(o) be the third derivative of 5*o**4/4 + o**2. Is 10 a factor of k(1)?
True
Suppose 3 = -4*m + 11. Let s be m/(-3 + 1)*0. Suppose -r - 3*r + 92 = s. Does 20 divide r?
False
Let s(c) = 4*c - 1. Let t be s(-2). Let r = t - -9. Suppose 20 = -r*p + 4*p. Is 5 a factor of p?
True
Let c be -2 - (-2 + (-4)/1). Suppose -4*n - 38 = -2*j, -c*j + 0*n - 5*n + 141 = 0. Does 14 divide j?
False
Let l = 26 + 4. Does 30 divide l?
True
Let p be ((-12)/(-10))/((-8)/(-20)). Suppose p*z + 14 = f - 0*z, f - 5*z = 20. Is f even?
False
Let y = -8 + 13. Let r = -1 + y. Does 15 divide 31/2 + (-2)/r?
True
Let s = 212 - 96. Let a = s + -81. Does 12 divide a?
False
Suppose 3*q - u - 172 = 0, -4*q - u + 2*u = -229. Does 13 divide q?
False
Let g = -99 - -171. Does 4 divide g?
True
Suppose -2*s + 55 = 3*s - 5*h, 2*s = 3*h + 20. Let q = 0 + s. Is q a multiple of 13?
True
Suppose -z - 15 = 4*z. Let c = 10 - z. Is 13 a factor of c?
True
Let q(i) = -i + 128. Suppose 0 = 2*j + 2*m + 3*m, 2*j = -m. Let r be q(j). Suppose 3*l - r = -20. Is l a multiple of 12?
True
Let c = 10 + -16. Let m(g) = g**2 + 6*g - 3. Let t be m(c). Is (t + -1)/(-2) - -8 a multiple of 4?
False
Let r be 2/(-7) - 26/7. Let z(b) = -11*b - 2. Is 14 a factor of z(r)?
True
Suppose -j = -4*u - 0*j + 178, 5*j = 2*u - 80. Suppose 5*g - u = 3*p, -4*g - 2*p + 2 = -12. Let f(c) = -c**3 + 7*c**2 - 4*c - 6. Is 3 a factor of f(g)?
True
Let j(r) = -r**3 + 7*r**2 + 8*r + 8. Does 4 divide j(8)?
True
Does 18 divide 1*(6 + -3 + 86)?
False
Let q(k) = 7*k**2 + 2*k. Is q(2) a multiple of 16?
True
Suppose 4*y + 6 = -3*s + 4*s, 0 = -3*y - 9. Let r(k) be the second derivative of -k**3/2 + 4*k**2 + 2*k. Is r(s) a multiple of 12?
False
Suppose -2 = -3*m + 2*m. Suppose -m*w - 30 = -0*w. Is 14 a factor of -3 + (5 - 3 - w)?
True
Suppose 5*z + 4*p = 350, 0*z = -4*z + 5*p + 280. Suppose 5*x - 20 = -0*x, 0 = 2*h + 5*x - z. Is 6/(-5)*h/(-10) a multiple of 3?
True
Suppose -6*z + 2*z = n - 47, 3*z + 3*n - 42 = 0. Let l = z - 7. Is 4 a factor of l?
True
Let l = 42 + -17. Is l a multiple of 10?
False
Let u = -13 - -33. Is 6 a factor of u?
False
Let m(y) = -y + 7. Let b be m(5). Suppose b*n = 2 + 6. Does 3 divide n?
False
Let k be (-2)/(-6) + (-20)/(-12). Suppose k*o - 26 = -2*h + 20, 85 = 5*h - o. Is 5 a factor of h?
False
Suppose 0 = -5*q + 143 + 182. Does 13 divide q?
True
Suppose 19 - 4 = 3*c. Is c a multiple of 2?
False
Suppose 2*d = i - 106, -304 = 5*i - d - 843. Does 27 divide i?
True
Let z be (6/2)/(3/14). Let a = 25 - z. Does 7 divide a?
False
Suppose 3*s - 106 = 2*s + 2*i, -4*s - i + 442 = 0. Suppose -4*v + s = v. Does 6 divide v?
False
Suppose 4*v - 6*v - 3*h = 67, 0 = 3*h + 3. Let c = v - -66. Is c a multiple of 7?
False
Let p(m) = -m**2 + m + 3. Let x be p(5). Let k = -33 - x. Let u = k + 26. Is u a multiple of 10?
True
Suppose 0*g - g = 2*k - 58, 0 = 4*k + 4*g - 124. Is 12 a factor of k?
False
Let x(k) = k**2 + 15*k + 1. Is x(4) a multiple of 7?
True
Let u(f) = 3*f**3 - 10*f**2 - 15*f + 3. Does 48 divide u(7)?
False
Is 8 a factor of (-6)/18 - (-298)/3?
False
Let g(j) be the third derivative of 1/20*j**5 + 1/2*j**3 + 0 + 1/8*j**4 + 0*j + j**2. Is 9 a factor of g(-2)?
True
Let h(j) = j**3 + 8*j**2 - j - 6. Let m be h(-8). Suppose -3*c + 7 = m*o + 21, 5*c - 60 = 5*o. Is (-44)/5*o/4 a multiple of 11?
True
Let h = 62 + -88. Is 25 a factor of h/(-169) + (-1181)/(-13)?
False
Let w = 5 + 0. Is (3/w)/(7/175) a multiple of 15?
True
Suppose -789 = -10*l + 61. Is 10 a factor of l?
False
Let h be 2/(-7) + (-148)/(-28). Suppose h*n - 187 = -67. Is 7 a factor of n?
False
Let w be (-1 + 35)/(-1 + 0). Let p = 86 + w. Does 21 divide p?
False
Let g be (0 - -1)/(2/82). Let n = g + -25. Suppose -a = -n - 12. Does 13 divide a?
False
Let t = 7 - 2. Suppose -v + 210 = 5*h, -22 = -t*h + v + 178. Does 14 divide h?
False
Suppose 6 = -2*p, 3*l + p = 4*l - 11. Does 4 divide l?
True
Let k(y) be the first derivative of -2*y + 3*y**2 - 1/4*y**4 - 2*y**3 + 3. Is k(-7) a multiple of 2?
False
Let j = 5 + 1. Suppose -j*p = 96 - 456. Is 15 a factor of p?
True
Let c(m) = 2*m**3 + 4*m**2 + 4. Let b be c(-3). Is 5 a factor of (-105)/b*8/3?
True
Suppose 2*a - 2*r = 600, -3*a - 2*r + 241 = -659. Does 26 divide a?
False
Let v(q) = 5*q**2 + q - 1. Let h be v(1). Suppose -2*b - h = -3*b. Suppose -p + 10 = -b. Is 14 a factor of p?
False
Does 9 divide 2/(-4)*(-27 - 5)?
False
Suppose -2*c = -3*t + 10, c + 3 = 1. Suppose -4*w + 162 = t*x, -x = -5*w - 20 - 26. Suppose -4*i + x = -1. Does 7 divide i?
False
Let d = 2 + -2. Suppose -3*t - 2*l + 17 = 0, d = -t - 0*t + 3*l - 9. Suppose 30 = t*f - 6. Does 9 divide f?
False
Let x = 5 - 2. Suppose p - x - 4 = 0. Let u = 6 + p. Is u a multiple of 12?
False
Suppose -44 = -w - w + 3*g, 2*w - 5*g = 36. Suppose -s + 0*s = -w. Is 8 a factor of s?
False
Let a = 8 + -5. Let i = 6 - a. Suppose 4*r = -3*u + 56, -u - i*r = -4*u + 42. Is u a multiple of 13?
False
Let p = 67 + -41. Is p a multiple of 15?
False
Let p(t) = 5*t + 9. Let w(y) = 4*y + 8. Let q(s) = 6*p(s) - 7*w(s). Does 5 divide q(6)?
True
Let u(l) = 374*l**2 + l - 1. Let g be u(1). Suppose g + 16 = 2*q. Is q/5 + 0 + 0 a multiple of 13?
True
Is (-32)/(((-7)/2)/7 - 0) a multiple of 9?
False
Let n be (10/2 + -2)*1. Let p(r) = -r**3 + 6*r**2 - 3*r - 3. Let h be p(n). Suppose -h = 2*u - 5*u, 0 = -2*x - u + 69. Is x a multiple of 13?
False
Let g = -1 - -1. Let q = 19 + g. Is 5 a factor of q?
False
Suppose 3*y + 3 = 0, k - 4 = -2*y + 8. Is 7 a factor of k?
True
Let u be (-1)/(20/8 + -2). Let r = 5 + u. Is r even?
False
Suppose o = 6*o - 90. Is o a multiple of 5?
False
Let j(p) = -2*p**3 + 5*p + 9. Does 6 divide j(-3)?
True
Let i(x) = 2*x**2 - 4*x - 2. Let n(v) = 3*v - 3. Let w be n(5). Suppose -w = -4*k + k. Does 14 divide i(k)?
True
Let h(w) = w**2 - w. Let g(n) = n**2 - 17*n + 13. Let k(x) = g(x) - 2*h(x). Is k(-11) a multiple of 17?
False
Let s(f) = f + 22. Let g be s(0). Is 11 a factor of (6/(-4) + 2)*g?
True
Let x(j) = -j**3 + 3*j**2 - 2*j + 1. Let q be -4*6/8*1. Let u be x(q). Suppose 3*k + 11 = -y + u, y = 2. Is 8 a factor of k?
True
Suppose 2*i = 3*j + 6*i - 30, 0 = j - i - 3. Is 6 a factor of j?
True
Let a(b) be the first derivative of b**4/4 + 7*b**3/3 - 3*b**2 - 7*b + 3. Is 7 a factor of a(-7)?
True
Suppose -1 = -3*r + 8. Suppose r*p = 2*p + 22. Does 20 divide p?
False
Let c(h) = 7*h**2 - h**2 + 10*h**2. Is 12 a factor of c(-1)?
False
Let o(y) = -4*y - 4. Let h be o(-4). Suppose -2*q = -5*q + h. Suppose -4*z - 2*u + 30 = 0, q*z = -3*u - 2*u + 27. Is 3 a factor of z?
False
Let h(a) = -3*a**3 - 4*a**2 - 6*a + 12. Let s(i) = -7*i**3 - 7*i**2 - 13*i + 25. Let p(v) = -9*h(v) + 4*s(v). Is 3 a factor of p(8)?
False
Suppose 2*t = 5*v - 10*v + 57, 0 = -4*v + t + 43. Does 13 divide (-1 + -16)*(v - 12)?
False
Let m(s) = 4*s**2 - s. Let g be m(1). Let f(a) = 4*a**3 - 4*a**2 - 2*a + 4. Is f(g) a multiple of 12?
False
Let i = -6 + 9. Let s(o) = 1 + 5 - o**3 + 2*o**3 - 2*o**2 - o - i*o. Is 7 a factor of s(4)?
False
Is 5 a factor of (-20)/10 - (0 + -8)?
False
Suppose 5 + 7 = 4*c. Let a = 6 - c. Suppose 4*s = 12, -3*j = -4*j + a*s + 14. Is j a multiple of 8?
False
Let c = -16 + 32. Let i = 9 + c. Is i a multiple of 8?
False
Let s = -51 - -65. Does 8 divide s?
False
Does 13 divide -1 - (11*-3 + -2)?
False
Let k be (0 - 