(6). Does 10 divide (-6)/2 - (-330)/g?
True
Suppose -u = -11 - 5. Is u a multiple of 8?
True
Let q be 1*46*(-1)/(-2). Does 6 divide 0 + q + (0 - 0)?
False
Let f(o) = o + 1. Is 15 a factor of f(14)?
True
Let n(p) = -p**2 + 8*p + 7. Suppose 2*y + 6 = -y. Let z be y/(-6) - (-20)/3. Is n(z) a multiple of 12?
False
Suppose -800 = -5*i - 3*i. Does 4 divide i?
True
Suppose 3*v - 4*v = -181. Does 34 divide v?
False
Suppose 3*w - 9 = 165. Let p = w - 41. Suppose p = 2*k + 1. Is 4 a factor of k?
True
Suppose 5*p - 36 + 6 = -u, 2*u + 10 = 0. Is 4 a factor of p?
False
Suppose 0 = 5*w - 3*d - 11, -2*w + 2*d + 1 + 1 = 0. Suppose -4*u - 5*q = -152, q = 3*u - 3*q - 114. Suppose -2 = -w*y - 6, -u = -2*g + 2*y. Is 11 a factor of g?
False
Suppose p + 2*p - 8 = -2*j, -3*p + 3*j = 12. Suppose p*y - 3*y + 3 = 0. Is y/(-2) - 87/(-6) a multiple of 8?
False
Suppose 2*x - 5*x + 3*f = -27, 2*f - 24 = -4*x. Is x even?
False
Is (52/24)/(-13) + 1407/18 a multiple of 6?
True
Let x(g) = -g**3 + 9*g**2 + 9*g + 14. Let q be x(10). Suppose 212 = 3*o + 5*f, 0*f = -2*o + q*f + 178. Is o a multiple of 19?
False
Let w = 129 - 25. Is w a multiple of 13?
True
Let h(i) = i**2 - 5*i - 3. Let l be h(6). Let d be (-210)/18*l*-1. Is (-14)/d - (-87)/5 a multiple of 7?
False
Let s(i) = -17*i - 1. Let v be s(-1). Suppose c = 3*c - 10. Suppose v = c*w - w. Is w a multiple of 2?
True
Let g be (-4)/6 + 12/(-9). Let d = 40 - g. Is 21 a factor of d?
True
Let d = -10 + 25. Let v = d + -11. Suppose 0*m - 3*m + 40 = v*p, 4*p - 40 = -m. Does 10 divide p?
True
Let s be 12/10*(-15)/(-6). Let h be (-32 + 5)*-1*1. Let y = h + s. Does 15 divide y?
True
Let g = -78 - -1. Let n = 108 + g. Is n a multiple of 10?
False
Suppose -5*v + 5*q = -0*q - 35, 4*q = -2*v - 4. Suppose n + v = 10. Does 6 divide n?
True
Suppose 378 = 3*o + 4*f, -2*f = -o + 3*o - 254. Is o a multiple of 13?
True
Suppose -w = -m + 44, -3*m = 2*m + 4*w - 211. Is m a multiple of 18?
False
Let h = 149 - 102. Is h a multiple of 7?
False
Let v(f) = f**2 + 2*f - 5. Does 2 divide v(3)?
True
Let t(c) = -2*c**3 + 10*c + 8. Does 12 divide t(-4)?
True
Suppose 0*y + 3*y = -42. Let t be (14 + -2)*y/(-4). Suppose 0 = 3*g - 15, 0 = 2*b + 2*g - t - 30. Does 11 divide b?
False
Suppose 0 = -9*h + 5*h + 168. Is h a multiple of 6?
True
Let i be (1/2)/((-8)/320). Is 4 a factor of (72/15)/((-6)/i)?
True
Suppose -2*a - 35 = -11. Is 17 a factor of (-53)/(-3) + a/18?
True
Suppose 2*p - 3*p = 5*a - 22, -4*a = 5*p - 194. Is p a multiple of 7?
True
Let f = 130 + -90. Does 8 divide f?
True
Let t(y) = 2*y - 4. Let x be t(5). Suppose 0 = 3*l - 0*l + x. Let z = 4 - l. Is z a multiple of 4?
False
Let f(t) = -34*t**2 + 3*t + 4. Let j(c) = -69*c**2 + 7*c + 9. Let d(b) = -7*f(b) + 3*j(b). Let z = -11 + 10. Does 14 divide d(z)?
False
Suppose -22*x - 112 = -23*x. Does 32 divide x?
False
Suppose -4*y = 2*k - 350, -2*y + 2*k + 160 = -0*y. Is 29 a factor of y?
False
Suppose -c = -3*c + a + 445, -c + 230 = -3*a. Suppose 5*n + l = c, 2*l = 7*n - 2*n - 218. Is n a multiple of 11?
True
Let t = 43 + -14. Does 6 divide t?
False
Suppose 0 = 5*g - c - 495, -g + 108 = -5*c + 3*c. Is 30 a factor of g?
False
Let j(s) = -s**3 - 2*s**2 + 3*s + 2. Let k be j(-3). Let q(t) = -15*t**2 - t. Let m be q(k). Is 6 a factor of (-2)/6 - m/6?
False
Let r = -1 - -4. Let w be 8/2 - (r + -3). Suppose 5*d - 3*a = -a + 119, w*a = -8. Does 10 divide d?
False
Let n = -155 + 241. Let o(j) = -2*j**2 + 13*j - 3. Let s be o(9). Let h = s + n. Is h a multiple of 13?
False
Let s(o) be the second derivative of o**3/3 + 9*o**2/2 - o. Let j be s(-6). Is 27 - (3 + -1 + j) a multiple of 11?
False
Is 8 a factor of ((-28)/7)/(2/(-16))?
True
Let h = -75 - -125. Suppose -30 = -4*p + h. Does 10 divide p?
True
Let v(h) be the second derivative of -2*h**3/3 + h**2 + 2*h. Suppose -d - 34 = 5*w, 2*w + 43 - 11 = -5*d. Does 13 divide v(w)?
True
Let p be (-52)/(-6) + (-6)/9. Let l = p - 5. Suppose -l*v - k + 71 = 0, -4*v + 0*k + 98 = 2*k. Does 8 divide v?
False
Suppose 5*p - 456 = 219. Does 27 divide p?
True
Let v(y) = -y**2 + 26*y - 32. Is v(20) a multiple of 22?
True
Let q(h) = -79*h**3 - 3*h**2 - 2*h. Does 39 divide q(-1)?
True
Let h(o) = o**3 - 6*o**2 - o + 4. Is h(7) a multiple of 23?
True
Let i = -14 + 17. Suppose -6*y + 5*c = -y - 85, -9 = -y + i*c. Is y a multiple of 4?
False
Suppose -3*j = -j + 4, 0 = 2*q + 2*j. Suppose 2*g + c = -0*c + 21, -2*g - q*c + 26 = 0. Does 4 divide g?
True
Let x(h) = -h**2 - 20*h - 2. Let k be x(-12). Suppose 2*d - 5 - 35 = -2*n, 5*d + 3*n = k. Is d a multiple of 5?
False
Suppose 5*f + 5*i = 45, 0 = 2*i - i. Suppose 6*h + 45 = f*h. Is h a multiple of 15?
True
Let i(n) = -15*n**3 - 2*n**2 - 2*n + 1. Let r be i(2). Let d = r - -213. Let z = d - 51. Does 15 divide z?
False
Let y be ((-2)/(-7))/(19/532). Is 19 a factor of ((-190)/(-4))/(4/y)?
True
Suppose 20 = -5*w - 30. Suppose -5*o + 7 + 93 = 0. Let d = o + w. Is 10 a factor of d?
True
Let l be 2/(-2) + 15/5. Suppose -l*u - u = -111. Let g = u - 5. Is 13 a factor of g?
False
Let k be (-2)/3 + (-96)/(-9). Suppose k = 2*o - 14. Is o a multiple of 11?
False
Let t = -62 + 108. Does 23 divide t?
True
Let x be -6 - (-3 + 3 + 0). Let y(d) = -d**3 - 7*d**2 - 6*d - 4. Let a be y(x). Is 11 a factor of (a/(-6))/((-1)/(-33))?
True
Let j be -6*(4 - (0 + 3)). Is 5 a factor of 20/(-6)*9/j?
True
Suppose 0 = 3*q - o - 45, -o = -2*q + o + 26. Let f = -5 + q. Is f a multiple of 5?
False
Let t(p) = -p**3 + p**2 + p + 20. Let v be t(0). Let z = -5 + v. Let i = z - 10. Does 5 divide i?
True
Let x(q) = q**3 + 6*q**2 - 7*q. Let w be x(-7). Let m = -3 - w. Is 12 a factor of 26 - (m/(-3) + 1)?
True
Is (-18)/(-36) + (206/4 - 0) a multiple of 13?
True
Suppose -622 = 19*q - 21*q. Is 32 a factor of q?
False
Let c = 467 - 296. Is 13 a factor of c?
False
Let r(c) = -c**2 - 13*c - 6. Let p(f) = -f**2 + 5*f. Let x be p(6). Is 12 a factor of r(x)?
True
Suppose -4*v + 12 = 3*n, -3*n - 5*v = -7*n + 47. Let w = n - 6. Does 6 divide 3/w*42/9?
False
Suppose -14 = 2*t + 2. Let c(v) = -v**2 - 10*v + 11. Let l be c(t). Suppose 60 + l = 3*z. Is z a multiple of 12?
False
Suppose 2*l - 3*j + 8 = 0, 3*l = -l + 4*j - 8. Suppose 4*z + 0*a - l*a = 396, -4*z + 3*a = -396. Does 27 divide z?
False
Suppose 0 = 3*f - 4*f - 7. Is (-2)/7 + (-51)/f even?
False
Let s(t) = t**3 + 6*t**2 - 5*t. Let q be s(-6). Let m = q + -21. Is 3 a factor of m?
True
Let q = -120 + 174. Is 12 a factor of q?
False
Let d(q) = -q**3 + 6*q**2 + 5*q - 9. Let f be d(7). Let j = 41 + f. Is j a multiple of 9?
True
Let t = 7 - 2. Suppose c = -3*v + 6*v + 5, -t*v - 48 = 4*c. Is ((-6)/c)/((-1)/(-7)) a multiple of 6?
True
Let x(w) = 12*w - 37. Is x(11) a multiple of 10?
False
Suppose 2*l = -3*l - 15. Let j(g) = -9*g - 3. Is 8 a factor of j(l)?
True
Let x(y) = -y**3 - 12*y**2 - 14*y - 14. Is x(-11) a multiple of 19?
True
Suppose -2 = -4*n + 22. Is 2 a factor of n?
True
Let l = -86 - -144. Does 29 divide l?
True
Let n be 236/10 - (-8)/20. Let g = n - -22. Is 23 a factor of g?
True
Let d be 104/39*6/4. Suppose -o = 2*h - 4*h - d, -3*o + 62 = 4*h. Does 3 divide o?
False
Is -6*((-160)/15 + 1 + -1) a multiple of 8?
True
Let q(x) = -x + 10. Suppose 4*v - 14 = 10. Is q(v) a multiple of 2?
True
Suppose 3*v + r - 225 = 0, -2*v = -0*v - 4*r - 150. Is v a multiple of 20?
False
Let r = -278 - -602. Is 54 a factor of r?
True
Suppose -7*a + 2*a = 120. Let r = a + 34. Does 4 divide r?
False
Let i(h) = -151*h + 3. Is 21 a factor of i(-1)?
False
Let m(u) = -u**2 + 8*u + 2. Is 18 a factor of m(4)?
True
Suppose 3*p = -2*p + 285. Let i(u) = -u**3 + 3*u**2 + 2*u - 3. Let s be i(3). Suppose s*a = p + 51. Is a a multiple of 18?
True
Let a(k) = -7*k + 7. Let z be a(-5). Suppose -v = -4, w - 5*v + 17 + 3 = 0. Suppose -4*l + l + z = w. Does 7 divide l?
True
Let s = -3 - -2. Let w be (22/6)/(1/3). Does 12 divide 0 + (w - (0 + s))?
True
Suppose -3*p = 4*h - 111, -p - 107 = -4*h - 0*p. Let n = 42 + h. Does 21 divide n?
False
Suppose 9*f - 8*f = 90. Does 15 divide f?
True
Let i = -5 - -6. Let h = -13 + i. Let o = h + 36. Does 13 divide o?
False
Suppose -2*a - 4 = 78. Let u = -23 - a. Is u a multiple of 6?
True
Let x(a) = -a**3 + 5*a**2 + 7*a - 2. Let t be x(6). Suppose -3*h + 135 = -3*n, -3*n = -5*h - 0*h + 223. Suppose 0*m - h = -t*m. Is 4 a factor of m?
False
L