 + 22 = -n - 4*n, 2*j + 12 = -2*n. Does 13 divide g(j)?
True
Suppose 2*a + 6 + 0 = 0. Let m(x) = -x**2 - 9*x - 8. Let j be m(-7). Is -6*a/(-6) + j even?
False
Let i = 182 + 10. Is i a multiple of 16?
True
Does 6 divide ((-4)/(48/135))/((-24)/64)?
True
Let l = 7 + -15. Suppose -v + 43 = -5*m, 3*m + 1 - 10 = 0. Is 4 a factor of v/5 + l/(-20)?
True
Does 24 divide 208*1 + (24/6 - 7)?
False
Suppose y + 2*y - 72 = 0. Let x = -10 + y. Suppose -2*o - 2*b = -x, -o + 3*b + 23 = 4. Does 5 divide o?
True
Let h = -383 - -648. Suppose u - 173 = -3*c, 5*c + 0*c - h = 3*u. Does 14 divide c?
True
Let d = 141 - 81. Is 5 a factor of d?
True
Suppose 0 = 5*t + 42 + 18. Is t/4 - (-1 - 24) a multiple of 12?
False
Let t(g) = -8*g**2 + g + 2. Let s(u) = -7*u**2 + u + 1. Let v(q) = -6*s(q) + 5*t(q). Let w be v(8). Let l = w + -80. Is l a multiple of 14?
False
Let w = 45 + -1. Does 22 divide w?
True
Let t(h) = 2*h**2 + 8*h + 4. Let i be t(-3). Suppose -4*l - 44 = -8*l. Let n = l + i. Does 5 divide n?
False
Let c be -1 - 4/(-1) - -3. Suppose 0 = -y + 30 - c. Does 8 divide y?
True
Let g = -21 + -32. Let p = -84 - -54. Let u = p - g. Does 9 divide u?
False
Let q = -1 + 1. Let k be 14/5 + (-2)/(-10). Suppose k*w + q*w = 27. Is w a multiple of 7?
False
Let m be -13 + (-3)/(-6)*2. Let w = 8 - m. Does 20 divide w?
True
Is 33 a factor of ((-24)/(-5) - 5) + 662/10?
True
Let g(v) = -v + 8. Let w be g(8). Does 7 divide (1 - w)/((-11)/(-297))?
False
Let n = -14 - -23. Is n a multiple of 3?
True
Let r(m) = 7*m**3 - 8*m**2 + 6*m + 11. Let t(u) = 20*u**3 - 24*u**2 + 18*u + 32. Let h(d) = 17*r(d) - 6*t(d). Does 2 divide h(7)?
True
Suppose 235 = 6*x - 4*x + 3*p, -3*p = 9. Does 21 divide x?
False
Let y = -266 - -112. Suppose -l + 20 = -0*l + 3*p, 4*l - 120 = -4*p. Is 11 a factor of (y/l)/((-1)/5)?
True
Let u be 1 - ((2 - 1) + -2). Let w be (0 - 0)/(4/u). Suppose w = -2*g + 54 - 10. Is g a multiple of 11?
True
Let x be -3 + 3/(-2)*-6. Suppose 0*d = -2*d - x. Let j(h) = h**3 + 3*h**2 - 4*h - 2. Does 4 divide j(d)?
False
Let y = 0 - -3. Suppose 5*p + 3*b = -2*b + 260, -y*b + 206 = 4*p. Is 18 a factor of p?
False
Suppose -d + 19 = -a, 4*a + 0*d = -3*d - 62. Let y = a - -26. Is y a multiple of 8?
False
Does 2 divide -3 - (-3 + 2)*14?
False
Let q(x) be the third derivative of -7*x**4/24 - x**3/6 - x**2. Suppose 2*l + 0 + 6 = 0. Does 9 divide q(l)?
False
Let d = 128 - 64. Is d a multiple of 16?
True
Let b = -10 + 25. Suppose -2*k = -63 + b. Suppose 4*l - 3*l + 4 = 0, -2*l = -4*v + k. Does 3 divide v?
False
Let g be (-1 + (-74)/6)*-12. Let j = -8 + 4. Does 14 divide ((-2)/j)/(2/g)?
False
Suppose -4*l + c + 247 - 26 = 0, 59 = l - c. Is 27 a factor of l?
True
Let m(c) = -c**2 + 6*c - 6. Let p be m(4). Suppose -102 = -3*j + 4*b - b, 2 = -p*b. Does 11 divide j?
True
Let j = -3 - -6. Let m(x) = -4*x + 1. Let z be m(j). Let y = z - -19. Is y a multiple of 4?
True
Let t(i) = 3*i + 5. Let g be t(-4). Let u = 17 + g. Does 3 divide u?
False
Let x = 3 + 1. Suppose -3*h + x*w + 29 = -w, 3*h = 3*w + 33. Is h a multiple of 5?
False
Suppose 0 = -5*j - 0*j + 120. Suppose 0 = -b - 4*w + 12, b - 4*w - j - 12 = 0. Is b a multiple of 8?
True
Let w = 19 + -31. Let c be 16/3*w/8. Is 23 a factor of (-12)/c*92/3?
True
Let x(o) = -3 + 0*o**2 - 5*o**2 - o**2 - 5*o + o**3 + o**2. Let z be x(6). Suppose -z*r + 66 = 2*a, 2*a - 6*a = -r + 22. Is r a multiple of 11?
True
Does 27 divide 3/(-7) + 23758/98?
False
Let v = 4 - 2. Let q = 10 + 145. Suppose -3*i + 3*z = -117, z + q = 4*i - v*z. Is i a multiple of 15?
False
Suppose a + d = -3, -3*a - 2 = 2*d + 2. Suppose 5*k = 5*t - 33 - 27, a*t + 2*k - 40 = 0. Is t a multiple of 8?
True
Let l = 3 + -5. Let q = l - -2. Does 9 divide (-6 - q)/((-4)/10)?
False
Suppose -6*f + 158 + 418 = 0. Is 48 a factor of f?
True
Let b = 5 - 2. Does 10 divide 15/6*(1 + b)?
True
Let s(q) = 6*q**2 - q + 1. Let l = -1 + 2. Let i be s(l). Suppose 2*c = -2*a + 68, i*a - 170 = a + 3*c. Is 17 a factor of a?
True
Suppose -4*t = -t + 2*q - 303, -q = t - 102. Is t a multiple of 9?
True
Let h be (3/9 - 1)*-3. Let s be 3/h - 5/(-10). Is 9 a factor of 34*(0 - (-1)/s)?
False
Let b = -144 + 225. Is 14 a factor of b?
False
Let u(m) = -m**2 - m + 3. Suppose 5*v = -x - 2*x + 15, 0 = -4*x - 5*v + 15. Let g be u(x). Let p = 17 + g. Is p a multiple of 10?
True
Suppose 0 = l - 3*l + 90. Suppose 5*k + 13 = 33, k - l = -w. Is w a multiple of 14?
False
Let f = -73 + -1. Let u = f - -119. Is u a multiple of 15?
True
Suppose -2*t = -5 - 1. Suppose m - 28 = -t*m. Is 7 a factor of m?
True
Suppose 2*l = -2*l + 12. Suppose z = -l*z - 64. Is 7 a factor of (z/12)/((-4)/78)?
False
Suppose -f - 3*f + 68 = 0. Let o = f + -9. Is 6 a factor of o?
False
Suppose -9 = -c + 17. Suppose -2*f = -f - 2. Suppose 3*l - 58 = -2*t, l = -0*l - f*t + c. Is 8 a factor of l?
True
Let b(g) = g**3 + 14*g**2 + 11*g - 2. Does 21 divide b(-9)?
False
Let p(y) = 4*y**3 + 10*y**2 + 4*y + 8. Let h(x) = 5*x**3 + 10*x**2 + 5*x + 9. Let i(f) = -5*h(f) + 6*p(f). Let t be i(10). Let b = t + 10. Is b a multiple of 3?
True
Does 22 divide 0 - 3*44/(-6)?
True
Suppose 5 = -0*h - h. Let p = -4 - h. Let i(u) = 18*u - 1. Is i(p) a multiple of 7?
False
Let z be (-15)/6*24/(-10). Suppose n + 7 = 29. Let g = z + n. Does 12 divide g?
False
Let o(w) = -16*w + 1. Is 27 a factor of o(-5)?
True
Suppose 0 = -16*g + 12*g + 132. Does 11 divide g?
True
Let q(h) = h**3 - 6*h**2 + h + 6. Is q(6) a multiple of 6?
True
Let p(d) = 22 - d**2 - d + 4*d**2 - 2*d**2. Let m be 3/9 + 4/(-12). Is p(m) a multiple of 15?
False
Let j(m) = m**3 - m**2 + m + 2. Let l be j(2). Suppose -2*h + 1 = -3. Suppose -2*s + l = h. Is 3 a factor of s?
True
Does 14 divide (4 + 2 + 76/6)*3?
True
Let i = -6 - -7. Suppose 6 = x - i. Does 7 divide x?
True
Suppose 178 = -n + 289. Does 17 divide n?
False
Let d = 20 + 20. Is 5 a factor of d?
True
Suppose -h - h + 84 = 0. Is 10 a factor of h?
False
Suppose 1521 = 4*n + 129. Is n a multiple of 52?
False
Let i = 7 - 6. Is (4/(-8))/(i/(-28)) a multiple of 7?
True
Let u(s) = -6*s**3 - s**2 - s + 4. Is 41 a factor of u(-3)?
False
Let a = 35 + 41. Suppose -3*w + 14 + a = 0. Is w a multiple of 14?
False
Suppose 0 = -3*n + 19 + 23. Suppose b + 0*b = n. Is b a multiple of 4?
False
Suppose x - 230 = -3*h, -h - 4*h + 388 = 4*x. Let a = h + -118. Let l = 62 + a. Is 10 a factor of l?
True
Suppose -2*r = -11 + 5. Is 25 a factor of r/(-2)*(-55 + -11)?
False
Let w = -6 + 6. Suppose w*p = -p + 16. Does 5 divide p?
False
Suppose -r + 47 = 4*p, 5*r - 4*p + 5*p = 216. Is r a multiple of 9?
False
Let c(r) = r**2 + 16*r + 23. Does 10 divide c(-17)?
True
Suppose 18 = u + 3*k, 2 = 3*u - 4*k - 0. Does 3 divide u?
True
Is (-240)/(-11) - 6/(-33) a multiple of 4?
False
Suppose 3*j + 3*x - 204 = 0, -3*j - 4*x + 267 = 64. Does 14 divide j?
False
Let k = 9 - 5. Let u be 5/(-10) + 6/k. Does 7 divide 7*3 - 0/u?
True
Suppose -6 = r - 4*r. Let n(g) = 2*g - 7*g - 6*g**r - 8 - g**3 + 2*g**3. Does 5 divide n(7)?
False
Suppose 0 = 6*y + 164 - 2. Let p = y - -52. Does 13 divide p?
False
Let k be (2 - 30)/(2/2). Let v = 52 + k. Suppose 3*o + 17 = x, -4*o = -2*x + 4*x - v. Does 7 divide x?
True
Let k(q) = 2*q + 1. Let t be k(-1). Is 13 a factor of (t + 2)/((-2)/(-26))?
True
Let c(a) = -8*a - 4. Is c(-10) a multiple of 19?
True
Let j = 40 + 18. Does 9 divide j?
False
Suppose 0 = -8*h + 6*h + 42. Does 10 divide h?
False
Suppose 0 = g - 4 + 1. Suppose 29 = 4*c + j, c + g*c - j - 35 = 0. Is c a multiple of 7?
False
Suppose -3*k + 3 = -3*m, 0 = 2*m - 0*k + k - 1. Suppose m = j + 3*j - 64. Is 8 a factor of j?
True
Let a(p) = p**3 + 5*p**2 - 9*p - 5. Let f(y) = -y**2 - 5*y - 6. Let k be f(-5). Does 10 divide a(k)?
False
Let f(u) = u - 4 - 3*u - 9. Is f(-10) even?
False
Let a = -148 - -208. Does 15 divide a?
True
Let p = 5 - 3. Let n be 4*(1/2 - 1). Is 9 a factor of n/(p/18*-2)?
True
Let i be (-282)/(-9) - (-8)/12. Is 23 a factor of -4*(-3)/(12/i)?
False
Suppose u - 5*u = -8. Suppose u*j = -2*j + 92. Does 12 divide j?
False
Suppose 0 = 5*g + 11 + 4, 5*p = 2*g + 271. Does 13 divide p?
False
Does 3 divide (-64)/(-4)*(-1 + 2)?
False
Does 20 divide (28/8)/(-7)*-2*73?
False
Suppose -6*f + 499 = -533. Let k(m) = m**2 + m - 122. Let t be k(0). Let i = f + t. Does 22 divide i?
False
Suppose 0 = -2*d + i - 4, 6*i - 8 = 3*d + 