(-2)?
True
Suppose -i + 6*i = 3*a + 365, -61 = -i + 3*a. Let u(d) = -4*d - 5. Let r be u(-14). Let c = i - r. Is 12 a factor of c?
False
Suppose 0 = -q + 3 - 1. Suppose -q = -2*x + 4*h, 3*x + 2*x + 5*h = 35. Suppose -x*b + 71 = -79. Is b a multiple of 15?
True
Let w be (6/(-4))/((-2)/4). Suppose w*m - 15 = -4*g, -6 - 9 = -3*m - 5*g. Suppose 4*j + 46 = 2*i, 4*i - 13 - 53 = -m*j. Is i a multiple of 19?
True
Let a(i) = 2*i - 8. Let p be a(7). Suppose -2*o + p*o - 44 = -4*c, -14 = c - 4*o. Is 3 a factor of c?
True
Suppose -8*v = -11*v + 1152. Suppose 2*f + 2*f = v. Is 20 a factor of f?
False
Let p(h) = 0*h - 6*h - 2*h. Suppose 2*o = -3 - 3. Is 21 a factor of p(o)?
False
Let m be (-7)/21 - (-2)/6. Suppose m = 3*h, -4*y + 53 = h - 19. Is y a multiple of 9?
True
Suppose 0*r - 4*p = -4*r + 328, 176 = 2*r + 4*p. Is r a multiple of 28?
True
Suppose -384 = -5*s - 34. Let q = s - -5. Suppose 0 = -4*y + 101 + q. Does 15 divide y?
False
Suppose 2*f + 7 = 2*g - g, -3*g - 12 = 5*f. Let k = -1 + f. Let u(x) = x**2 + x + 2. Is u(k) a multiple of 10?
False
Suppose 0 = -3*u + 6, 6*j - 2*j - 248 = 4*u. Is j a multiple of 16?
True
Let d = 442 + -243. Is d a multiple of 25?
False
Let b = 5 + -3. Is 26 + 6/b - -3 a multiple of 16?
True
Suppose -t + 84 = 2*l - 0*l, 0 = -5*l - 2*t + 212. Is l a multiple of 13?
False
Let m(k) = 18*k**2 - k + 2. Let x be m(-2). Let f = x - 43. Is (16/(-12))/((-2)/f) a multiple of 19?
False
Let q = 29 + -18. Let x = 29 - q. Is x a multiple of 8?
False
Let q(c) = -c - 3*c - 8 + 0*c. Is 16 a factor of q(-6)?
True
Suppose 1 = n - 2. Suppose v - n*i - 42 = i, 0 = 5*v + 4*i - 90. Is 22 a factor of v?
True
Let q(s) = 2*s**2 + 12*s + 21. Does 15 divide q(-9)?
True
Let w be -1*1 - (6 - 51). Suppose 3*p + k - 23 = p, 4*p - w = -4*k. Is 4 a factor of p?
True
Let v(j) = 2*j**2 - 14*j + 7. Is 6 a factor of v(-7)?
False
Let d(t) be the third derivative of t**7/840 + t**6/45 + t**5/20 + 3*t**4/8 - t**3/6 + 2*t**2. Let o(w) be the first derivative of d(w). Does 11 divide o(-7)?
False
Let t(y) = y**3 + 2*y**2. Let n be t(-2). Suppose n = 3*g - 6. Suppose g*w = -s + 19, -4*s + 36 = -4*w + 104. Does 12 divide w?
True
Let h(m) = 3*m**2 - 4*m + 3. Let c(f) = -3*f - 5. Let j be c(-11). Suppose -o + 29 = -g - 4*g, -2*o + 4*g = -j. Does 12 divide h(o)?
False
Let b = -21 + 53. Suppose 3*t - 40 = b. Is t a multiple of 12?
True
Let r(o) = o**3 + 6*o**2 + o - 2. Let f be r(-6). Let z = f + 13. Does 2 divide z?
False
Suppose 7*q + 5*s = 2*q + 10, -3*s - 50 = -5*q. Suppose q*i = 3*i - 24. Does 16 divide (-3 + -2*1)*i?
False
Let k(j) = -16*j + 8. Does 9 divide k(-4)?
True
Suppose -4*f - 8 = -20. Let q(x) = x - x**f - 3*x**2 - 2 + 5*x - x. Is 16 a factor of q(-5)?
False
Let k(d) = d**2 + 10. Is k(5) a multiple of 35?
True
Let g(n) = n**3 + 4*n**2 - 7*n - 3. Is g(-5) even?
False
Let b(c) = -66*c + 4. Suppose -2*y = -7*y - 15. Let l be b(y). Suppose -4*g - 50 = -l. Does 19 divide g?
True
Let b(w) = -2*w**3 - w - 3. Let v be b(-2). Suppose -4*u - 5*p + 3 = 0, 2*u - 4*p - 49 = -v. Is u even?
False
Is (0 + -1 - 3) + 52 a multiple of 16?
True
Suppose -2*q = 3*i - 374, 5*q - 231 = -3*i + i. Is 27 a factor of i?
False
Suppose -4*f + 8 = -32. Suppose 0 = 5*m + 5*y - f, -57 + 19 = -5*m + 2*y. Does 3 divide m?
True
Suppose 2*g - 9 = -g. Suppose -g*j + 0*j + 12 = -3*z, -5*z = -3*j + 6. Does 4 divide j?
False
Let n(c) = -c - 3. Let v be n(-6). Suppose -4*r + 33 + v = 0. Is r a multiple of 3?
True
Let h = 385 + -267. Is h a multiple of 50?
False
Suppose 3*f = 4*f - 19. Is 5 a factor of f?
False
Suppose -6*h + 9*h - 30 = 0. Is h a multiple of 6?
False
Suppose -5*w = -55 - 100. Is w a multiple of 12?
False
Let d be (-54)/(-4)*(-4)/(-3). Let z = d + -2. Suppose -2*p - 2*p + z = 0. Does 3 divide p?
False
Suppose -x + 15 = l - 5, 3*l - 35 = 2*x. Suppose -4*f - 287 = -5*c, c + 5*f + l = 55. Is c a multiple of 16?
False
Let i(w) = 2*w**2 - 4*w + 4. Let m(g) = g + 10. Let o be m(-7). Let j be i(o). Is ((-168)/20)/((-2)/j) a multiple of 21?
True
Let s(i) = -6*i**2 + 3*i. Let k be s(2). Let d = k + 30. Is d a multiple of 12?
True
Let a(t) = -3*t**2 + 12*t - 9. Let s(v) = v**2 - v. Let x(y) = a(y) + 2*s(y). Let o be x(10). Is 6 a factor of -16*(o/(-12) + -2)?
False
Let g = -30 - -42. Does 9 divide g/9*54/4?
True
Let j be (-1)/((-1)/6*-3). Let d = j - -4. Does 2 divide d?
True
Suppose -4*q - 1 = q - 4*f, 4*q + f - 16 = 0. Suppose 0*g - g = q. Is 19 + (g - -1*6) a multiple of 11?
True
Let p(l) = l**3 + 15*l**2 + 2*l - 17. Does 23 divide p(-14)?
False
Suppose x - 18 = -0*x. Is x a multiple of 9?
True
Let p(f) = -f. Let s(a) = -22*a - 6. Let g(c) = 6*p(c) - s(c). Does 15 divide g(4)?
False
Suppose 5*a - 111 = 2*a. Let k = -113 - -95. Let n = a + k. Is n a multiple of 12?
False
Suppose j = 2*j - 5. Suppose -2*x = -4*x. Suppose -j*i + 75 = -x*i. Does 7 divide i?
False
Let i be ((-11)/(-3))/(1/6). Suppose 0*p + i = 2*p + 2*u, -p + 5*u = -23. Does 13 divide p?
True
Let d(j) = 4 + 2 - j - 2*j - 9*j. Is d(-3) a multiple of 9?
False
Let r(z) = -2*z - 9. Let s be r(-6). Let f(l) = 3*l**3 + 2 + l - 3*l + l**3 - 2*l**2 - 5*l**s. Does 2 divide f(-2)?
True
Suppose 5*x = 14 + 1. Suppose -p + x*p = 18. Is 5 a factor of p?
False
Let u(q) = -4*q**2 + 8*q + 3*q**2 - 3*q. Suppose -4*s - s = -3*k - 24, 4*s = -k + 9. Is 3 a factor of u(s)?
True
Let u(v) = -v**3 - 17*v**2 + 18*v - 3. Let f be u(-18). Suppose 2*z = 6*z - 52. Let g = f + z. Is g a multiple of 4?
False
Let c = 15 - 10. Let l be 1/c - (-229)/5. Let u = 73 - l. Does 9 divide u?
True
Let i(x) = 39*x**2 - x - 1. Let w be i(-1). Let d = w + -3. Is 18 a factor of d?
True
Let t(a) = 0 + 66*a + 0. Let r be t(-1). Let p = -29 - r. Is 17 a factor of p?
False
Let p be (-4)/(-14) + (-60)/14. Let v(s) = -s**3 - 3*s**2 + 3*s + 4. Let w be v(p). Suppose 30 = 2*c + w. Does 6 divide c?
False
Let r = 151 - 117. Is r a multiple of 11?
False
Let m(u) be the third derivative of -u**5/40 + u**4/6 - u**3/2 + 2*u**2. Let o(h) be the first derivative of m(h). Is o(-4) a multiple of 5?
False
Suppose 2*l = -l - 12. Is 15 a factor of 742/18 - l/(-18)?
False
Let h = 83 - 59. Is h a multiple of 12?
True
Let s(v) = 4*v**2 - 9*v - 10. Let n(b) = 7*b**2 - 19*b - 19. Let m(d) = -3*n(d) + 5*s(d). Is m(11) a multiple of 18?
True
Suppose s + 3*s = 56. Is s a multiple of 14?
True
Let o = 53 + 7. Is 12 a factor of o?
True
Let b = -1 - -3. Suppose -3*q + 3*d = -b*d - 20, q = -3*d - 12. Let y(g) = g**2 - g + 21. Does 15 divide y(q)?
False
Suppose -v + 6 = 2*f, -8*f + 3*f + 4 = -3*v. Let q(d) = 3*d**3 - 3*d**2 + 2*d + 2. Is 18 a factor of q(f)?
True
Let f = 12 + -8. Suppose -y - f*y = -50. Does 9 divide y?
False
Suppose 5*w + u - 258 = 5*u, 4*w + 4*u = 192. Does 25 divide w?
True
Suppose 0*t + 26 = -t. Let f = 40 + t. Is f a multiple of 7?
True
Let j(p) = p**3 - 9*p**2 + 17*p - 9. Let o(c) = c**3 - 9*c**2 + 18*c - 9. Let l(t) = 7*j(t) - 6*o(t). Does 15 divide l(8)?
True
Let v(z) = -z**3 + 5*z**2 - 3*z - 5. Let h be v(4). Let c(y) = 13*y**2 - y. Is c(h) a multiple of 14?
True
Let q be -1*(1 - 0) - -6. Suppose 2*x + 56 = 6*x + q*l, -4*x - 3*l + 56 = 0. Is 14 a factor of x?
True
Suppose 0 = 2*o - 10 - 0. Suppose 3*c + 19 = -o. Is 2/c + 186/8 a multiple of 10?
False
Suppose 5*u + 5*m = 10 + 5, -5*m = -2*u + 20. Is u even?
False
Suppose 2*z + k = 5*k + 4, 3*z + 2*k = 6. Suppose -z*s = -0*s - 2. Is 22 a factor of (2 - 1 - -39)/s?
False
Suppose -3*x - 50 = -8*x. Let q = -6 + x. Is q even?
True
Suppose 0 = -3*z + 19 - 7. Does 2 divide z?
True
Suppose 0 = -14*c + 8 + 496. Is 12 a factor of c?
True
Let y be (50/4)/(-5)*-64. Suppose -2*n + n + y = 0. Suppose -2*s - 3*s + 150 = -4*a, -5*s + 2*a + n = 0. Is 15 a factor of s?
False
Let g be 12/(-78) - 28/(-13). Suppose -g*z + 14 = -0*z. Does 3 divide z?
False
Let u be (1 - 0)*(-7 + 6). Let m(d) = -38*d + 2. Does 10 divide m(u)?
True
Suppose -w = -2*t + 69 + 12, 0 = -w + 1. Let u = t - 0. Is 16 a factor of u - (2 + 3/(-1))?
False
Let s(h) = 14*h - 5. Does 21 divide s(5)?
False
Let d be -1 + 2 + 2 + 5. Let f(r) = 2*r + 0*r - r - d. Does 3 divide f(13)?
False
Let k be (-20)/6*3/(-2). Suppose 2*b = -2*l - 6, -5 - k = 5*l. Is 3 a factor of 32/(-12)*3*b?
False
Let a be (-12)/30*2*-5. Suppose -10 = -5*n + 3*n, 5*n + 35 = a*x. Is 8 a factor of x?
False
Let o be 