Let k be s(5). Suppose 0 = 3*d - k - 25. Is d a multiple of 12?
True
Suppose -2*o = -2*f + 10 - 0, 2*f = 4*o + 16. Suppose -m = 3*m + f*x - 94, 2*m - 2*x - 62 = 0. Does 13 divide m?
True
Suppose -4*x = 84 - 0. Let l = x - -36. Is 105*(0 - (-6)/l) a multiple of 11?
False
Let m(v) = 61*v**2 + 3*v + 1. Is m(-2) a multiple of 15?
False
Let u = -17 + 21. Suppose -5*h + r = -23, -5*h = -4*h - u*r + 3. Is 2 a factor of h?
False
Let m(s) = -s**3 + 8*s**2 - 6*s. Does 3 divide m(7)?
False
Suppose 5*a - 3*x = 54, -3*a + 27 + 13 = 2*x. Let k = -7 + a. Does 2 divide k?
False
Suppose -19*w = -22*w + 186. Is 10 a factor of w?
False
Let a(z) = -5*z + 7. Is a(-3) a multiple of 11?
True
Let w be ((-16)/(-8))/((-1)/10). Let c = -27 + 39. Is 11 a factor of c/w - (-116)/10?
True
Suppose -2*c - 43 = 3*c + 4*t, -4*c - 3*t = 34. Let g be -2 - c/(7/10). Does 10 divide (-9)/((-11)/g + 1)?
False
Does 17 divide 339/4 + 23/92?
True
Suppose -l - 300 - 339 = -4*v, 2*l + 158 = v. Suppose 4*b + 2*i + 2*i = v, -i = 2*b - 84. Does 11 divide b?
True
Suppose n + s = 6*n + 59, 2*s - 58 = 5*n. Let f be (160/n)/(1/(-6)). Suppose -10 = 2*i - f. Is i a multiple of 14?
False
Let l be 2/(-5) + (-48)/(-20). Suppose -3*f = l*f. Suppose f*o - 8 = -2*o. Is o a multiple of 2?
True
Let i(r) = 2*r**2 + 7*r - 4. Let z be (10/4)/((-9)/(-18)). Is 22 a factor of i(z)?
False
Let p = 12 - 12. Suppose 2 + 6 = 2*z. Suppose z*a - 58 + 10 = p. Is a a multiple of 6?
True
Let c be 4/(-26) - 77/91. Is 11 a factor of (0 - -8) + 2 - c?
True
Suppose 2*n - 185 = -5*c, -4*n + 64 = c + 9. Is 12 a factor of c?
False
Let v = -155 - -222. Is v a multiple of 24?
False
Let k(p) = 4*p**2. Let w be k(-3). Suppose -o = -w + 8. Is 11 a factor of o?
False
Let g = 5 - 6. Let q be g*1 + (5 - 5). Does 2 divide q/1 + 8 + -2?
False
Let d(h) = -h**3 - h**2 - 2*h - 3. Let x be d(-2). Suppose -x*b - 200 = -10*b. Is b a multiple of 17?
False
Suppose -l + 2*s = 3, 4 - 19 = -4*l - s. Suppose -l*m + 112 = 22. Is m a multiple of 10?
True
Suppose 5*d = 5*l, 5*l + 2 - 8 = 3*d. Does 8 divide (-3 - -3) + d + 21?
True
Let r(t) = 6*t + 8. Let i be r(-4). Let v = 34 + i. Does 17 divide v?
False
Let s(j) = -j**2 - 13*j - 1. Suppose c + 4*c = 3*n - 39, -5*c - n - 47 = 0. Does 24 divide s(c)?
False
Let x be -3 + -1 + (-2)/2. Let n(c) = -13*c + 13. Does 18 divide n(x)?
False
Suppose 0 = -10*l + 9*l + 31. Is 13 a factor of l?
False
Let n(l) = -l + 1 + 0*l - 4*l + 6*l. Let b be n(1). Suppose -b*r + 60 = 3*r. Is 8 a factor of r?
False
Let p(f) = -123*f - 9. Is 45 a factor of p(-3)?
True
Let l(s) = 2*s**2 + 62. Let v(x) = -x**2 - 31. Let u(w) = 3*l(w) + 5*v(w). Is u(0) a multiple of 20?
False
Suppose -2*j - 84 = -4*j. Is j a multiple of 25?
False
Let t(z) = -151*z - 7. Does 16 divide t(-1)?
True
Suppose 6*z + 68 = 2*z. Let b = z - -47. Let n = b + -17. Is n a multiple of 8?
False
Let c(o) = 2*o**2 + 4*o + 3. Does 17 divide c(-6)?
True
Let f be 9*(8/6 - 1). Let k be 57/9 + 2/f. Suppose 4*r + k*a = 2*a + 205, 0 = 3*r + 5*a - 160. Does 17 divide r?
False
Suppose 5*a - 727 + 127 = 0. Does 24 divide a?
True
Suppose k - 1 = 4. Let j = k - 9. Let v = j - -16. Is 12 a factor of v?
True
Suppose 0 = -j - 0*j + 3. Let d be (0 + 1)/((-1)/j). Does 18 divide 99/2 + d/(-6)?
False
Is (1260/(-8))/9*-2 a multiple of 9?
False
Let d = -92 + 205. Does 40 divide d?
False
Suppose -q + 4*k + 66 = -0*q, 5*k = -10. Is q a multiple of 23?
False
Suppose 3*j - j + 14 = 0. Let l(g) = 5*g**3 + 7*g**2 + 10*g + 11. Let z(r) = -3*r**3 - 4*r**2 - 5*r - 6. Let a(p) = j*z(p) - 4*l(p). Is 11 a factor of a(4)?
False
Suppose 2*g = -2*g. Suppose -3*j - 15 + 66 = g. Let x = -8 + j. Is x a multiple of 3?
True
Let l be 1 + (0 - 33/(-3)). Let x = l - 7. Does 3 divide x?
False
Let k = -286 + 402. Is 22 a factor of k?
False
Is 15 a factor of 26 - (-7 - 9/(-3))?
True
Let t(m) = -3*m + 20. Let b be t(6). Suppose -b*h + 66 = -26. Is 18 a factor of h?
False
Let i be (16/(-10))/(4/(-10)). Suppose 2 - 6 = -2*b + p, 0 = -p + i. Suppose -54 = g - b*g. Is 10 a factor of g?
False
Is 1*20 + 4/(-2) even?
True
Let i(t) = -1. Let n(o) = -o - 17. Let q(p) = -4*i(p) + n(p). Let k be q(-10). Let f = 18 + k. Is 15 a factor of f?
True
Let w(r) be the second derivative of 3*r**4/4 + r**3/3 + r**2/2 + 6*r. Is 3 a factor of w(-1)?
False
Let c be (-5)/(2 - 1) + 0. Let w = c + 11. Suppose 0 = 3*i - 4*i + w. Is 6 a factor of i?
True
Let d(y) = y**3 - 3*y**2 - y + 3. Is 35 a factor of d(6)?
True
Let t(h) = -h**3 + 9*h**2 + 7*h - 15. Does 5 divide t(8)?
True
Let y(b) = -71*b**3 + 2*b**2 + b. Let a be y(-1). Suppose 2*d + t = -3*t + a, -2*d + 66 = 2*t. Is 10 a factor of d?
True
Let w(d) = d**3 + 4*d**2 + 2*d - 4. Let h be w(-3). Let p be h/(-4) + (-1)/4. Suppose -2*y + 2*s = -40, y = -s - p*s + 14. Does 11 divide y?
False
Suppose u - 21 = 2*m + 3, 0 = -2*u - 4*m + 48. Is u even?
True
Suppose 5*b + j - 153 = 5*j, 5*b - 3*j = 151. Is 12 a factor of b?
False
Let y be (2 + -3)*-2 + 3. Is 27 a factor of (-274)/(-10) - 2/y?
True
Suppose 0*i = -i + 42. Does 12 divide i?
False
Let c be 8/(-36) - 14/18. Let h be c - ((0 - -2) + -10). Is h + -1 + -5 + 5 a multiple of 4?
False
Suppose 6*z - 2*z = 0. Suppose -4*t + 4*g + 124 = z, 2*g = -t + 6*t - 170. Does 17 divide t?
False
Let a be 140/75 + 4/30. Suppose -a*o + 66 = 4. Is 8 a factor of o?
False
Suppose -207 = w - 4*w. Does 23 divide w?
True
Let o(m) = -4*m + 17. Let q be o(-13). Let d = q + 0. Is 23 a factor of d?
True
Let p(h) = h**3 - 2*h**2 + 6*h - 10. Is p(4) a multiple of 20?
False
Let i(q) = -q - 1. Let r(p) = -p - 1. Let d(x) = 2*i(x) - r(x). Let b be d(-2). Is 9 a factor of -5*(-1 + b + -5)?
False
Suppose -12*o - 192 = -16*o. Let y = 78 - o. Is 10 a factor of y?
True
Let b(s) be the second derivative of s**5/120 + s**4/8 - s**3/6 - 3*s. Let c(k) be the second derivative of b(k). Is 5 a factor of c(6)?
False
Is (8/3)/(4/18) a multiple of 4?
True
Let w(l) = l**2 + 6*l + 7. Is w(-8) a multiple of 12?
False
Suppose -5*g + 11 = -3*d - 34, -2*g - 2*d + 34 = 0. Does 10 divide (g/(-9))/4*-30?
True
Let v(n) = -2*n**2 - 7*n + 4*n**2 + 2 + 2*n. Let r be v(3). Suppose 2*h + 42 = r*h. Is h a multiple of 14?
True
Suppose 0 = -i - 5 - 1. Let j be i/27 - (-25)/(-9). Let o(h) = h**2 - 3*h. Is 9 a factor of o(j)?
True
Let n be 1*(1 - (-47)/1). Let h = 94 - n. Is 23 a factor of h?
True
Let p = 134 - 96. Is p a multiple of 29?
False
Let j = -20 - -116. Is j a multiple of 24?
True
Let z(s) = s**2 - 1. Let c be z(-2). Suppose c*o - 53 = -l, o - 26 = -o - 3*l. Let k = 45 - o. Does 17 divide k?
False
Let q = 0 + 10. Is (-75)/q*36/(-10) a multiple of 6?
False
Let i be (250/(-15))/((-4)/(-18)). Let g = 159 + i. Suppose 4*x = 4*u - g, 2*u = -3*x + 19 + 28. Is u a multiple of 8?
False
Let a(v) = -v**3 - 10*v**2 - 8*v + 12. Let f be a(-9). Let i = f + 6. Is i a multiple of 9?
True
Let g be 1 + -2 + (1 - 0). Is g + -2 + 2 + 8 a multiple of 8?
True
Does 27 divide (-9)/(2/(-2*3))?
True
Suppose r + 40 = -4*r. Is 24*2/r*-3 a multiple of 9?
True
Suppose 2*o + 2*w = -6, 5*o - 1 + 13 = -4*w. Suppose 3*i - 8*i + 25 = o. Suppose -5*u - 45 = -i*j, j + 6 = -4*u + 2*u. Is j a multiple of 4?
True
Suppose 4*j = 5*m + j - 125, 3*m = -j + 89. Is 7 a factor of m?
True
Suppose 3*f - 116 = -2*a, -f + 0*a = -a - 42. Is f a multiple of 8?
True
Let d(l) = l**3 - 7*l**2 + 8*l - 7. Let y be d(6). Suppose y - 41 = -3*c. Is (-3)/c - 173/(-4) a multiple of 17?
False
Let q be 1 + -1 + -1 + 0. Let l = 6 + q. Suppose -l*j + 4*j + 33 = 0. Is 11 a factor of j?
True
Suppose q = -q + 64. Suppose -3*f + f = -q. Is f a multiple of 5?
False
Suppose f = 3*p + 101, -5*f - 2*p - 3*p = -545. Is 14 a factor of f?
False
Let x be (-5)/((-15)/(-9)) + -821. Is x/(-40) + (-2)/(-5) a multiple of 21?
True
Let l(r) = 2*r**2 + 7*r - 9. Is 11 a factor of l(-6)?
False
Let t = 129 - 78. Is t a multiple of 2?
False
Let c = 8 + -6. Suppose -c*b + 200 = -7*b. Is (-1)/(-2)*-4 - b a multiple of 20?
False
Let f(t) = -t**2 - 11*t + 5. Is f(-8) a multiple of 16?
False
Suppose j = 5*a + 44, 2*j + 5*a - 60 - 58 = 0. Is 6 a factor of j?
True
Let m = -3 + 5. Let g(q) = q**2 + m*q - 4*q - 3*q + 5. Does 10 divide g(6)?
False
Does 8 divide 220/16 + 4 + 15/(-4)?
False
Let y(g) = -2*g**3 + 2*g**2 + 3*g + 2. Let b be y(-2). Suppose -2*i - 2 = -b. Does 7 divide i?
False
