Suppose 2*u = a*o + 3*u - 52, 2*o - 3*u = 12. Suppose -3*x = -7*x - o, j = -2*x + 15. Does 7 divide j?
True
Let u = 2 - 0. Suppose u*t + 3*t = n + 385, 3*t - 5*n = 253. Suppose -l - 5*k + 44 = 0, k = 5*l - 40 - t. Is l a multiple of 12?
True
Suppose -3*t - 408 = -7*t. Does 18 divide t?
False
Let c(f) = 2*f + 13. Let j(d) = -d - 1. Let w(k) = c(k) + 4*j(k). Is 17 a factor of w(-4)?
True
Suppose 0 = 5*r - 3*r - 320. Let w be 1/(2/r) - -2. Is 14 a factor of (w + -1)*(-5)/(-15)?
False
Let c(v) = 7*v**2 + 17*v - 14. Is 13 a factor of c(-6)?
False
Suppose -1 + 13 = 4*y. Suppose 5*n - 224 = -4*l, -y*l + 2*l + 45 = n. Is 16 a factor of n?
False
Let r be (39/2)/(3/(-8)). Let l(n) = 8*n**2 - 2*n + 1. Let f be l(-3). Let z = f + r. Does 15 divide z?
False
Suppose s + 3*w - 7 - 13 = 0, -5*w = 3*s - 60. Suppose -s + 235 = 5*z. Is 18 a factor of z?
False
Let q = -4 - -6. Let x(g) = -4*g + 0*g**3 - 3*g**2 + 3 + 3*g**3 - q*g**3 - 8. Is 17 a factor of x(5)?
False
Suppose 16*a + 315 = 19*a. Does 7 divide a?
True
Suppose 5*s - 11 = 2*h, -2*s - 5*h = 16 - 3. Does 16 divide (-1 - -36) + s + 0?
False
Suppose 0*s + 2*s + 4*v - 220 = 0, 0 = 4*v - 4. Does 12 divide s?
True
Let d = 0 - -3. Suppose -g + d*g + 22 = 0. Does 8 divide g/((0 - -1)/(-1))?
False
Suppose 0 = -2*w + 17 - 67. Let a = 78 + w. Suppose -35 = 5*b - 3*q - 138, 3*b = 4*q + a. Does 8 divide b?
False
Let y(s) = 2*s**2 - 9*s - 6. Let j be y(7). Let l = 59 - j. Is 15 a factor of l?
True
Let v(m) = 3*m - 12. Let k(c) = -c + 1. Let i(y) = -4*k(y) - v(y). Is 6 a factor of i(0)?
False
Suppose 5*m - 210 = 95. Is m a multiple of 28?
False
Let v(j) = -j**3 - j**2 + 3*j - 1. Suppose -2*n = -4*c + 9 + 1, 0 = -4*n + 2*c - 14. Is v(n) a multiple of 8?
True
Let y = -3 + 6. Let z be 2/y + (-42)/(-18). Suppose -3*n + 8 = 5*s - 6, -3*n = -z*s - 54. Is 13 a factor of n?
True
Let s = 6 - 2. Suppose v + 0*a + 26 = -5*a, a = v - s. Does 13 divide (v + (-20)/6)*-3?
True
Let y(l) = -l**2 - 6*l - 3. Let r(u) = u**2 + 5*u + 3. Let c(o) = -6*r(o) - 7*y(o). Is c(-12) a multiple of 3?
True
Suppose d + 16 = 3*d. Let b = 28 - d. Is b a multiple of 20?
True
Let l(x) = -57*x + 1. Let g(z) = -56*z + 1. Let r(d) = 4*g(d) - 3*l(d). Let p be r(-1). Suppose 3*c - p = c. Is 10 a factor of c?
False
Does 10 divide ((-93)/(-5) + (-10)/(-25))*3?
False
Suppose -5*x = 5*h - 765, 5*x - 591 = x + 3*h. Does 6 divide x?
True
Suppose g + 2*g - 15 = 0. Suppose 5*l = -6*w + w + 5, -g*w = -2*l - 12. Suppose 2*x = 3*i + 6*x - 109, 43 = i - w*x. Is 19 a factor of i?
False
Let b be (2/(-4))/(1/(-6)). Is 20 a factor of -3 - (-41 + 0) - b?
False
Is 14 a factor of (-1)/((-1)/24) - -1?
False
Is 356/((-1 - -1) + 2) a multiple of 31?
False
Does 13 divide (-2)/9 + 4992/108?
False
Let t(z) = 2*z - 3. Suppose 17 - 5 = 3*n. Let o be t(n). Suppose 18 = o*u - 22. Does 4 divide u?
True
Let a(w) = -11*w + 5. Let u = 4 - 9. Let t be a(u). Let h = -26 + t. Is h a multiple of 17?
True
Let l be ((-82)/4)/((-2)/4). Suppose -100 = -0*y - 4*y - 4*k, -y = -3*k - l. Is 8 a factor of y?
False
Suppose g + 0*g - 1 = 0, 5 = 2*u - g. Let m(s) = s**3 - 2*s**2 - 3*s + 3. Let z be m(u). Suppose -f - 2*f + 85 = r, -4*f = -z*r - 96. Is 8 a factor of f?
False
Suppose x = 5*s - 2*x, -10 = -5*s + x. Suppose -5*c - s = -18. Suppose -d = c*d - 180. Is d a multiple of 14?
False
Suppose 3*n = n + 2*o + 116, -2*o - 61 = -n. Is n a multiple of 11?
True
Let h(q) = 3*q**2 + 6*q + 1. Is 14 a factor of h(6)?
False
Let w = -12 - -8. Let k(p) = -p**2 + 2*p + 11. Let c(f) = f**2 - 3*f - 12. Let v(n) = 6*c(n) + 7*k(n). Does 2 divide v(w)?
False
Does 4 divide 2/(5/((-10)/(-1)))?
True
Let u be (-10)/(-4)*(0 + -2). Let y = u - -10. Suppose y*a - 5*t - 155 = 0, -a + 5*t + 9 = -6. Does 14 divide a?
False
Is (-71)/(-5) + -5 + (-24)/(-5) a multiple of 7?
True
Let y = -2 - -97. Does 8 divide y?
False
Suppose 0*v + 3*v - 240 = 0. Let l = -44 + v. Does 12 divide l?
True
Let m = -12 - -28. Suppose 0 = -2*y - m + 118. Does 17 divide y?
True
Let u = 1 - -1. Suppose -4*y + 2 = -3*k, 0*k - u*k + y - 3 = 0. Does 10 divide k*7/((-14)/20)?
True
Let d be 13/(-52) - 62*(-1)/(-8). Let o(i) be the third derivative of i**6/120 + 2*i**5/15 - i**4/6 - 2*i**3 + i**2. Is 10 a factor of o(d)?
True
Let o = -3 - -27. Is 24 a factor of o?
True
Suppose 4*m = -2*a + a + 97, -2*m = a - 49. Suppose m = -2*x - x. Let i = x - -17. Is i a multiple of 5?
False
Let y(u) = u**2 + 11*u + 7. Let n be y(-11). Let f(k) = -3 + n*k**2 - 8*k + 3 + 9*k. Does 5 divide f(1)?
False
Let w(c) = 2*c - 12. Let x(g) = g**3 + 6*g**2 + 3*g - 1. Let j be x(-5). Does 2 divide w(j)?
True
Does 16 divide -3*10/(-12)*20?
False
Let i = 225 + -71. Does 11 divide i?
True
Suppose 4*b + 9 = 149. Suppose 3*j + o - 88 = -j, 0 = -2*j - 3*o + 54. Let c = b - j. Does 7 divide c?
True
Let q = -26 - -17. Let y = q + 19. Is 6 a factor of y?
False
Let b(j) = j**3 + 6*j**2 + 5*j + 6. Let f(g) = g - 10. Let k(u) = -u**3 - 4*u**2 - 2*u - 2. Let m be k(-4). Let w be f(m). Is 8 a factor of b(w)?
False
Let q(t) = -30*t - 55. Is q(-4) a multiple of 13?
True
Let v = -28 + 52. Is v a multiple of 4?
True
Let g be (-6)/8*(21 + -9). Let h = 11 - g. Is 9 a factor of h?
False
Let l(r) be the third derivative of 0*r + 1/2*r**3 + 4*r**2 + 0 + 1/12*r**4 + 1/60*r**5. Does 6 divide l(3)?
True
Let b(k) = k**2 - 3*k - 8. Is 8 a factor of b(9)?
False
Suppose -4*p + 3 = -9. Suppose 0 = -p*g + 32 + 7. Is g a multiple of 7?
False
Let k be 1 + -4 + 2 - 3. Let p = -17 - k. Let h = -4 - p. Is 4 a factor of h?
False
Let c(o) be the second derivative of 23*o**4/3 - o**2/2 - 6*o. Does 23 divide c(1)?
False
Suppose -3*m + 5 = -43. Let i = 27 - m. Is 10 a factor of i?
False
Suppose 3*u = -5*y + 544 - 186, -70 = -y + u. Is y a multiple of 16?
False
Let k(n) = n**3 + 9*n**2 - 11*n - 10. Let o = -17 + 7. Let r be k(o). Suppose -42 = -u - r*u. Is u a multiple of 21?
True
Suppose 4*c - a - 28 = 0, -c + 4 = -2*a - 3. Suppose 2*z = c*z. Suppose -3*m + z = -42. Is 14 a factor of m?
True
Suppose 4*z - 53 - 291 = 0. Let j = z + -45. Is 10 a factor of j?
False
Let g(s) = s + 13. Let j be g(-6). Suppose j*h - 8 = 3*h. Suppose -20 = -3*l + 2*o, 5*o = -7*l + h*l + 50. Is 5 a factor of l?
False
Let c(x) = x**2 + 32. Let g(t) = -t**3 + 5*t**2. Let v be g(5). Let h be c(v). Suppose -7*y + h = -5*y. Is y a multiple of 9?
False
Suppose -2*x = -6*x - 184. Let j = x + 80. Does 17 divide j?
True
Suppose 83*y + 198 = 85*y. Is y a multiple of 11?
True
Let b = 0 + 9. Let q = b + 1. Does 3 divide q?
False
Let y be (-12)/42 - (-30)/7. Suppose -y*h = -34 + 14. Suppose -6*o = -o - 2*x - 39, -5*o + 60 = h*x. Is 5 a factor of o?
False
Let x be -1 + (6 - (1 - -2)). Suppose -m + 2 = 4*s - 25, -m + 3 = -x*s. Does 11 divide m?
True
Let c be 1 - (-4 + 150 - -4). Let h = -103 - c. Is h a multiple of 23?
True
Let u(c) = -2*c + 2. Is u(-5) a multiple of 12?
True
Let l = 438 - 184. Is l a multiple of 15?
False
Let u = 43 - -16. Is u a multiple of 17?
False
Let m be 45/6 - 2/4. Let c(g) = g**3 - 8*g**2 + 7*g + 4. Let z be c(m). Suppose -z = -2*u + u. Does 2 divide u?
True
Is 30 a factor of (-24)/(-32) - (-289)/4?
False
Suppose m - 73 + 0 = 0. Does 6 divide m?
False
Let m(t) = -6*t + 12. Does 24 divide m(-10)?
True
Let i = 11 + 20. Let l = 8 + i. Is 12 a factor of l?
False
Suppose 0 = 5*q - 4 - 1. Let f = 0 - q. Does 14 divide f/(-5) + (-370)/(-25)?
False
Suppose 2*q = 5*a + 15, 2 = -4*q - 2*a - 4. Let w(z) be the second derivative of z**5/20 + z**4/12 + 3*z**2 + 2*z. Is 6 a factor of w(q)?
True
Let m(h) = 3*h**2 - 9*h + 18. Does 18 divide m(6)?
True
Let p(z) = 18*z + 4. Is p(2) a multiple of 10?
True
Let g(k) = 20*k - 26. Does 7 divide g(6)?
False
Let n = -25 - -53. Is n a multiple of 7?
True
Let x(i) = i**3 + 5*i**2 + 2*i. Let p be x(-5). Is (3 + 74/(-10))*p a multiple of 11?
True
Let x = -39 + 65. Let z = x + -11. Let c = 26 + z. Does 14 divide c?
False
Suppose -5*s + 270 = -2*n + 72, 2*n - 162 = -4*s. Does 20 divide s?
True
Suppose 4*w = 2*t + 10 - 0, -3*w - 5*t - 25 = 0. Let y(u) = 3*u**2 - 12*u + w*u**2 - 12 - u**2 + 0*u**2. Is y(9) a multiple of 14?
True
Let o(u) = -2*u - 1. Let f be o(-3). Suppose 5*v + 5*i - 7 = 8, -f*v + 45 = -5*i. Is v a multiple of 6?
True
Let t = 2 + 1. Suppose -5*q + t*q = -2. Suppose -q = -p + u, -3*p + 4*u - 14 = -8*p. I