 + -1. Suppose g*c + 6 - 16 = 0. Is (-8)/(-6)*15/c a multiple of 5?
True
Let y = 10 - -23. Is 4 a factor of y?
False
Suppose f + 220 = 6*f. Suppose o = 3*o - f. Does 22 divide o?
True
Let p(g) = -2*g**3 - 4*g**2 - 2*g + 1. Is 5 a factor of p(-3)?
True
Suppose -3*d + 155 - 50 = 0. Suppose -2*x + d = -27. Is 18 a factor of x?
False
Let t = -4 - -4. Suppose -3*d + 2*d + 3 = t. Suppose -d*j = -j - 120. Is 22 a factor of j?
False
Let n(q) = q**2 + 3. Let h be n(-7). Let w(y) = -5*y**2 + 7*y**2 - y**2 + h. Does 14 divide w(0)?
False
Let w(f) = -f**3 - 7*f**2 + 5*f - 4. Does 4 divide w(-8)?
True
Suppose 0 = f + 4*t - t - 10, -5*t = 2*f - 17. Let a(v) = 79*v + 1. Let g be a(f). Suppose 2*d = 4*d - g. Is 18 a factor of d?
False
Let f(a) = 11*a - 14. Is 6 a factor of f(5)?
False
Let o = -19 - -22. Suppose -2*s - o*f + 90 = 0, 3*f + 1 = -5. Is s a multiple of 24?
True
Suppose 9*q - 245 = 4*q. Does 23 divide q?
False
Is -2*(-1)/(2/18) a multiple of 9?
True
Suppose i + 4*i - 120 = 3*j, 5*i + 3*j = 120. Is 5 a factor of i?
False
Suppose 0 = c - 9 + 6. Is 3 a factor of c?
True
Suppose -142 - 168 = -2*x. Is x a multiple of 31?
True
Let c = -6 - -80. Is c a multiple of 12?
False
Let g(w) = -w**3 + 10*w**2 - w - 8. Does 20 divide g(9)?
False
Let v(r) = r**3 - 6*r**2 + 5. Let t be v(6). Let a(x) = x**2 - 4*x - 3. Let u be a(t). Suppose b - 8 = -u. Is 3 a factor of b?
True
Let f(w) = 9*w**3 - w. Let c be f(1). Let r = 10 - c. Suppose -48 = -3*j - 5*a + 49, 5*j - r*a = 172. Is j a multiple of 17?
True
Suppose -4*b + 0*b + 32 = 0. Let t = b - 1. Let p(i) = i**3 - 7*i**2 + 8. Does 8 divide p(t)?
True
Let t be 14/6 + 6/9. Suppose -y + t*y - 18 = 0. Is y even?
False
Is 57/2*40/12 a multiple of 16?
False
Let j(z) = -7*z - 1. Suppose 0*a - 1 = -a. Let y be a/((-2)/(2 + 0)). Is 3 a factor of j(y)?
True
Let i = 25 + -13. Does 6 divide i?
True
Let o(q) = 27*q + 2. Let v(u) = u**2 + u + 1. Let z be v(0). Does 29 divide o(z)?
True
Let x(f) = 2*f**2. Let d be (-36)/(-10)*20/(-6). Let g be d/16 - 2/8. Is x(g) even?
True
Suppose 3*f - 4 = 77. Is f a multiple of 27?
True
Suppose -5*j - 4*f + 176 = 0, -3*j + 4*f + 109 = 3*f. Let o = j + -16. Is o a multiple of 8?
False
Suppose 7*r = 2*r - 4*j + 232, r - 58 = 5*j. Does 16 divide r?
True
Let k(b) = 3 - 3*b - 13*b - 1 - 1. Is 32 a factor of k(-6)?
False
Suppose 0 = k - 0*k - 2. Suppose h = k*o - 0*o + 1, -2*h - 3*o = -9. Does 3 divide h?
True
Let h be 18/8 - 1/4. Let c = -20 + 29. Let k = c + h. Is k a multiple of 11?
True
Suppose 4*q + 0 = 2*c + 4, 4*c - 31 = -5*q. Suppose -21 = -5*o + c*o. Does 5 divide o?
False
Suppose h = -z - 0*z - 14, 2*z - 4*h + 52 = 0. Let x = z - -40. Is x a multiple of 11?
True
Is ((-54)/21)/9 + 130/14 even?
False
Suppose 2*b = b + t + 5, -2*t = b + 10. Suppose 4*v + 14 = s, -v - 3 + b = 0. Suppose 16 = a + 2*a + s*r, -5*a + 4*r = -56. Does 6 divide a?
False
Let g = 5 + -5. Suppose g*t - 10 = -2*t - 3*j, -5*j = -10. Is ((-30)/4)/((-1)/t) a multiple of 15?
True
Is 4/(0 - (-1)/2) a multiple of 2?
True
Let l = -55 + 196. Is 32 a factor of l?
False
Let h(j) = -2*j. Let z be h(-1). Suppose 0 = 5*k - z*r - 67, 25 = 3*k - 3*r - 17. Is k a multiple of 5?
False
Let d be 10/14 - 4/(-14). Let n = -4 - -3. Is (d/n)/(1/(-11)) a multiple of 4?
False
Suppose -7 = -2*c + 55. Is c a multiple of 19?
False
Suppose -1 = b - 4. Suppose -3 = b*l - 4*l. Is l a multiple of 2?
False
Is 8 a factor of (-4)/(-8)*(35 - 3)?
True
Let l = 5 - -53. Suppose l = 4*h - 5*j, 4*h = -0*h - 5*j + 78. Does 9 divide h?
False
Let z(w) = -w**2 + 2*w + 15. Does 13 divide z(0)?
False
Suppose -8*l = -13*l + 185. Is l a multiple of 11?
False
Suppose -16*h = -1920 - 1616. Is h a multiple of 25?
False
Let q = 16 + 37. Does 4 divide (-6)/(-33) + q/11?
False
Suppose m - 5 + 3 = 0. Let s(z) = 4*z + 1 - 3 - 3*z + z**m. Is s(-3) a multiple of 2?
True
Let l(o) = -40*o + 2. Let p be l(-1). Let f = p - 15. Does 27 divide f?
True
Let q(h) = -25*h + 1. Let d be q(1). Let m be -3*(d/(-9) - 2). Does 13 divide 24/2 - m/2?
True
Let k(m) = 2*m**2 + 3*m + 16. Does 9 divide k(5)?
True
Let w(g) = g**2 + 4*g + 3. Let d be w(-3). Is (-252)/(-7) - d/(-1) a multiple of 12?
True
Let k(u) = -5*u - 1. Is 9 a factor of k(-6)?
False
Let g(w) = 20*w**3 + 2*w**2 - 1. Suppose -1 = -4*s + 3*s. Is 7 a factor of g(s)?
True
Let x(z) = 4*z**2 - 21*z + 8. Is 35 a factor of x(8)?
False
Suppose l - 35 = 2*l. Let p = l - -61. Does 13 divide p?
True
Let h(c) = -c**2 + 14*c + 16. Does 13 divide h(8)?
False
Let x(z) = z - 1. Let l(i) = i - 2. Let j(v) = 5*l(v) - 7*x(v). Is j(-5) a multiple of 3?
False
Let d(p) = -p + 7. Let r(x) = -1. Let j(k) = d(k) + 5*r(k). Let o be j(0). Suppose 2*t + 6 + 4 = 3*m, o*t - 20 = -2*m. Does 6 divide m?
True
Let u = 3 - -1. Let h(z) be the second derivative of -z**5/20 + 5*z**4/12 - z**3/3 + 3*z**2 - 3*z. Does 14 divide h(u)?
True
Let l = 38 - 31. Does 5 divide l?
False
Let u(b) = -7*b - 8. Suppose 0 = p + 3*p + 24. Does 15 divide u(p)?
False
Let v(h) be the second derivative of -h**5/120 + 5*h**4/24 - h**3/3 + h. Let t(x) be the second derivative of v(x). Is t(-7) a multiple of 6?
True
Let f(j) = -3*j**2 + 17*j + 6. Let r be f(6). Suppose -3*k - o + 70 + 18 = r, 5*k + 5*o = 160. Is 6 a factor of k?
False
Let w(q) = -q**2 - 13*q - 13. Is w(-11) a multiple of 9?
True
Suppose 56 + 52 = t. Is t a multiple of 25?
False
Let b be (4 + -2)*1 - -47. Suppose 179 - b = 5*r. Does 13 divide r?
True
Let q = -25 + 37. Is 6 a factor of q?
True
Let k = 7 - 13. Let h(s) = -s**2 - 4*s + 3. Let o be h(k). Is 4 a factor of (-1)/2 - o/2?
True
Suppose 2*v - 22 - 8 = -4*n, -2*n - 10 = -4*v. Suppose 2*r + h = -r + 35, -2*r + 46 = -v*h. Is 5 a factor of r?
False
Is (30/(-8))/((-3)/12) a multiple of 5?
True
Suppose -4*q - 30 = -10, 3*q = o - 20. Suppose -v - 3*f = -49, 4*f = -o*v + 2*v + 157. Is 16 a factor of v?
False
Let j = -7 + 11. Let u = 28 + -2. Let a = u - j. Does 11 divide a?
True
Let d(f) = -f**2 + 1. Let j be d(-1). Suppose j = -2*k + 57 + 125. Suppose m - 25 = -r, -3*r - 2 = -4*m - k. Is 13 a factor of r?
False
Suppose -5*i + 140 = -4*s, 4*s + 40 - 152 = -4*i. Is i a multiple of 20?
False
Let q(j) = -4*j + 6*j**2 + 4*j - j**2 + 3*j - 2. Is 10 a factor of q(2)?
False
Let i(b) be the first derivative of b**4/4 - 2*b**2 + 4*b + 3. Is i(3) a multiple of 17?
False
Let m = 88 + -11. Does 11 divide m?
True
Let u(z) be the third derivative of z**8/1440 - z**5/60 + z**2. Let o(x) be the third derivative of u(x). Does 14 divide o(1)?
True
Is 2 a factor of (8/6)/(-7*12/(-1638))?
True
Suppose -2 = 2*h - 12. Does 5 divide h?
True
Suppose 0 = -d - 0*j + 4*j - 8, 4 = 4*d + 2*j. Suppose k + d = 3. Suppose 4*n - 36 = -3*v + 22, 0 = 5*v + k*n - 82. Does 14 divide v?
True
Let m(i) = -3*i - 3 - 3 + 2 - 5. Does 6 divide m(-7)?
True
Let l be (-32)/12*(-78)/4. Suppose 0*t = 2*t - l. Is t a multiple of 13?
True
Let f(m) = 7*m**2 - 1. Let i be f(2). Let v be 5/(-3*(-1)/i). Suppose -3*d + v = -3*k, 5*k = -4*d - 5 + 20. Does 7 divide d?
False
Suppose -6*k + k + 150 = 0. Is 5 a factor of k?
True
Suppose 3*s + 36 = 174. Is s a multiple of 5?
False
Let i(h) = -2*h - 13. Let w be i(-7). Does 22 divide (-33)/(-2)*(3 + w)?
True
Does 6 divide (-37)/(-1) + 1 + -5?
False
Let w(k) = k + 1. Let x be w(11). Suppose -5*i - 1 + x = 3*o, 0 = -o + 3*i + 27. Is o a multiple of 10?
False
Suppose -7*h + 6*h = -60. Is 20 a factor of h?
True
Let w(s) = -s + 2. Let i(f) = -f**2 - 5*f - 2. Let t be i(-4). Let h be w(t). Suppose 0*o + 2*o - 56 = h. Does 17 divide o?
False
Let m be (3 - 0) + 26 + 0. Suppose -2*i + 7*i - 67 = -3*h, -3*i = -h - m. Is 3 a factor of i?
False
Suppose 5*l - l - 1160 = 0. Suppose 81 = 4*s + 5*g - 133, -5*s + 5*g + l = 0. Suppose p - 125 = -5*a, s = 4*a + 2*p - 38. Is 9 a factor of a?
False
Let p(z) = -z - 5. Let n be p(-4). Let o(v) = 3*v**2 - 2*v - 1. Let g be o(n). Let x = 3 + g. Is x a multiple of 7?
True
Let w be ((-16)/(-6))/(6/(-126)). Let b be ((-2)/(-4))/((-7)/w). Suppose -3*s - 5*q = -2*s - 78, -20 = -b*q. Is s a multiple of 23?
False
Let l = 5 - 5. Let q(y) = -y**2 + y + 27. Is 10 a factor of q(l)?
False
Let a = 24 + 3. Does 22 divide a?
False
Let w be 1/2 - 369/6. Let o = -12 - w. Does 26 divide o?
False
Suppose -3*t + 7*t = 4*h - 4, 0 = -3*t + 3. Suppose -k = -4*y + 6, -4*y - y + h = -4