True
Suppose 5*g = g. Let y(p) = 7*p**2 + 5*p + 3. Let h(f) = f**2 + f. Let k(v) = -6*h(v) + y(v). Is k(g) a multiple of 2?
False
Let d(f) = f**2 + 9*f - 6. Let z be d(-9). Let s = z - -13. Suppose -b + 11 = 5*u, -4*b + 60 + s = -3*u. Is b a multiple of 16?
True
Suppose 0 = 5*n - 2*r - 97, -4*n - 5*r = -4*r - 75. Suppose 0 = 2*o - n - 21. Is 10 a factor of o?
True
Suppose 2*g - 10 = -6. Suppose -g*d - 3*z = 3*d - 62, -5*d - 5*z = -70. Does 6 divide d?
False
Suppose 4*a = 2*q + 284, 0 = 3*a + a + 2*q - 292. Suppose -a = 5*p - 282. Does 23 divide p?
False
Let f(a) = a**3 - a - 38. Let k be f(0). Let v = -23 - k. Does 5 divide v?
True
Suppose -3*f - 2 = -110. Is f a multiple of 5?
False
Suppose -2*o + 38 = -o - 2*y, 4*o + 4*y = 200. Is 13 a factor of o?
False
Suppose 0 = -5*j - 2*q + 8, -2*q + 8 = 0. Suppose -5*f - 34 + 99 = j. Does 13 divide f?
True
Suppose -6*t - 84 = -8*t. Is 10 a factor of t?
False
Let v = -9 + 12. Suppose 0 = -y + 4*t + 39, 3*y + v*t - 191 + 29 = 0. Is 19 a factor of y?
False
Let z(w) be the third derivative of -w**6/120 + 2*w**5/15 - 7*w**4/24 + w**3 - w**2. Does 15 divide z(5)?
False
Suppose -5*r - 20 = 0, -4*u + 16 - 4 = r. Suppose 0 = v + u*v - 65. Is 8 a factor of v?
False
Suppose 11 = z - 5*b, -5*z - 4*b = -0*z - 55. Suppose 45 = 5*j - 5*s, -j = -s - 4*s + z. Does 7 divide j?
True
Is 25 a factor of (86 - (4 - 0))/1?
False
Let x = -115 + 77. Let k be (1/2)/(1/x). Let j = 27 + k. Is j a multiple of 4?
True
Let m be (1*-1)/((-2)/20). Let w = m + -5. Let j(v) = -v + 10. Is j(w) a multiple of 2?
False
Let b(z) = 7*z**2 + z. Let o be b(-1). Let f(l) = -l - 1. Let t(y) = 5*y + 7. Let w(c) = 4*f(c) + t(c). Does 9 divide w(o)?
True
Suppose 2*d - 20 = 3*d. Is (d/16)/(2/(-16)) a multiple of 5?
True
Suppose 27 = -u - 9. Let f be (1 - 9/6)*u. Suppose -5*w + 3*w = -f. Is 9 a factor of w?
True
Suppose -29 = 3*k + 4*d - 390, 3*k = d + 341. Suppose k = 5*p - 5*i, -3*p = p + 3*i - 106. Does 14 divide p?
False
Suppose 2*k - 6*k = 16. Let f be (-9)/k + (-1)/4. Suppose -3*s - 3 = 5*i - 26, -2*i + 10 = f*s. Is 3 a factor of i?
False
Let t be (-3)/2*(-8)/6. Let a(m) = m**3 + m**2 + m + 1. Let v be a(t). Does 2 divide (-2)/(-8) - v/(-4)?
True
Suppose t - r - 10 = 0, -74 = -4*t - r - 24. Let j be (3/((-9)/t))/1. Let a = j - -9. Is a a multiple of 2?
False
Suppose -26 - 6 = -4*p. Suppose -y = -5*y + p. Suppose -4*w + 50 = -5*g, -y*w = w + 2*g - 26. Is 9 a factor of w?
False
Suppose -347 - 603 = -5*p. Suppose -5*z + 4*c + 215 = 0, p = z + 4*z + c. Let v = -23 + z. Is v a multiple of 10?
False
Let j = -9 - -12. Suppose 0*m = -j*o - m + 104, -107 = -3*o + 2*m. Is o a multiple of 20?
False
Let k(j) = -23*j - 1. Let y be k(1). Is 6 a factor of y/(-40) + 127/5?
False
Let j(u) = u**3 - 4*u**2 - 16*u - 8. Does 17 divide j(7)?
False
Suppose -2*f + 21 = 5*d, -2*f - 2*f + 4*d + 28 = 0. Let x = f - 3. Is 5 a factor of x?
True
Let c(z) = -4*z - 9. Let v be c(-7). Suppose -5 = -s - v. Let n = -3 - s. Is n a multiple of 11?
True
Let s = -18 - -76. Let v = s + -28. Does 9 divide v?
False
Let t(o) = o**2 + 7*o - 4. Let u be t(-7). Is 8 a factor of u/(-3)*12*1?
True
Let y(c) = -7*c**2 + 9*c + 2*c**3 - c**3 + 17*c**2 + 2. Let i be y(-9). Does 12 divide (-7 + (-2)/i)*-3?
True
Let t(k) = 5*k**3 + k**2 + 2. Let s(v) = -4*v**3 - 2*v**2 - 1. Let m(f) = -4*s(f) - 3*t(f). Let y be m(-5). Let u(z) = -12*z - 2. Does 11 divide u(y)?
True
Let d(l) = -l**3 - 2*l**2 - l + 1. Let u be d(-2). Suppose a = -0*a + u*t + 18, 5*t + 16 = a. Is 7 a factor of a?
True
Let o = 15 + 25. Is 8 a factor of o?
True
Let i(b) = b**2 + 9*b + 8. Let r = -14 + 5. Is i(r) a multiple of 3?
False
Suppose 2*g + 4 = 0, -3*g = -5*o - 4 - 10. Let k(d) = -6*d - 3*d**2 + 2*d + d**3 - d**2 - 2*d**3 + 2. Does 8 divide k(o)?
False
Let y(f) = f + 6. Let k be y(-6). Let o(j) = j**3 + j**2 + 60. Let v be o(k). Suppose -4*t + 4*q = -t - 32, 0 = -5*t + 5*q + v. Is t a multiple of 8?
True
Suppose 4*k - 4*n = 40, -2*k + 5*n + 24 = -5. Is 7 a factor of k?
True
Let q be (13/2)/((-1)/4). Let b = 62 + q. Suppose -b = -r + 3*n, 4*r + r - 180 = 5*n. Is 14 a factor of r?
False
Is (-252)/(-4 + 1) + -2 a multiple of 9?
False
Let b be (-2)/8 - 52/(-16). Suppose -b*r + 6 = -21. Let k = 29 - r. Is k a multiple of 11?
False
Let p be (5/4)/((-4)/(-16)). Suppose -p*t + 40 = -280. Suppose 0 = 5*l - 21 - t. Does 7 divide l?
False
Let i = -7 - -6. Is 24 a factor of (-1 - (i + 89))*-1?
False
Let x = -4 - -9. Suppose 5*p - 2*u = -u + 4, x*p - 5*u = 0. Let o = p + 2. Is 2 a factor of o?
False
Suppose -8*i + 183 + 105 = 0. Is 9 a factor of i?
True
Let x(q) = -q**3 - 9*q**2 - 12*q - 9. Let g(i) = 8*i**3. Let z be g(-1). Is 10 a factor of x(z)?
False
Let f(m) = -8*m**3 - m**2 + 5*m + 2. Is 26 a factor of f(-2)?
True
Let p = -6 + 356. Does 35 divide p?
True
Let r be 2 + (-2 - -2) + 3. Let n = r - -4. Let j = n - 3. Is j a multiple of 3?
True
Let w(j) = j**3 + j + 1. Let u(g) = 3*g**3 - 7*g**2 + 8*g + 14. Let p(b) = -u(b) + 4*w(b). Let o = 11 - 18. Is 18 a factor of p(o)?
True
Does 15 divide 2583/21 - (1 - -2)?
True
Suppose -3*d + 138 = -0*d. Is 11 a factor of d?
False
Suppose 25 = -4*y + 5*y. Is y a multiple of 10?
False
Let l(a) = -a**2. Let r be l(1). Let b be r - -16 - 2/(-2). Is 6 a factor of 16/(-6)*(-36)/b?
True
Let f be 0/(-2)*(-6)/(-12). Suppose 0 = 3*o + 2*n - 19, o + 7*n - 2*n - 28 = f. Is o a multiple of 2?
False
Suppose 0 = 5*u - 7 - 18. Suppose 5*x - 2*q - 26 = 0, -4*x - u*q + 0 = -1. Is 2 a factor of (-2)/x - 10/(-4)?
True
Suppose -6 = 3*n + 3. Let j = n + 5. Suppose -j*y = -0*y - 22. Is 3 a factor of y?
False
Let u(w) = -w**2 - 2. Let c be u(-2). Let d(k) = k - 1. Let b be d(4). Does 6 divide (13/(-2))/(b/c)?
False
Let a(t) = t**2 + 1. Let i be a(-2). Let k(j) = -26*j + 2 + i - 6. Is k(-1) a multiple of 13?
False
Let k(s) = 2*s**2 + 5*s + 4. Let m(g) = 5*g**2 + 10*g + 8. Let x(q) = -5*k(q) + 3*m(q). Is 18 a factor of x(-3)?
False
Suppose -95 = -10*h - 5. Does 9 divide h?
True
Let f(b) = b**2 - 4. Let s be f(-3). Suppose -6*v + 3*v + 48 = 5*d, 4*d + 43 = s*v. Is v a multiple of 6?
False
Let d = 73 + -125. Let q = -89 + d. Is 10 a factor of 1/(-4) - q/4?
False
Let i(l) = -l**3 + 3*l + 1. Let v be i(-2). Let d(q) = -q**v - 1 + 2 + 6*q**2 - 2 - 7*q + 7. Does 5 divide d(4)?
True
Let k = 51 - 30. Let y = 35 - k. Is 7 a factor of y?
True
Let l = -190 - -350. Does 16 divide l?
True
Let y(p) = 4*p + 7. Let g be y(-3). Is g*(192/(-20))/4 a multiple of 4?
True
Suppose -48 = -6*f + 3*f. Let c = 50 - f. Is 15 a factor of c?
False
Suppose -2*h = 7 - 15. Suppose -5*f - 61 = -a, -3*a = -h*a + 2*f + 70. Is a a multiple of 21?
False
Let j(w) be the second derivative of w**3/6 - 2*w**2 - 2*w. Let z be j(3). Let p(s) = -30*s**3 + 2*s**2 + 2*s + 1. Is p(z) a multiple of 12?
False
Suppose -4*k = 4*q - 9 - 59, 4*q + 94 = 5*k. Does 4 divide k?
False
Suppose 5*m + 5*h = 20, -2*m - 3*m + 52 = -3*h. Let t = m + -6. Suppose 1 = b - 2*b, -t*a = b - 19. Does 4 divide a?
False
Suppose -2*k + 320 = 3*z, -2*z + 0*k - 3*k + 220 = 0. Suppose -4*m + 216 = 5*t, 4*t - 4*m - z = t. Is t a multiple of 13?
False
Let m(s) be the second derivative of s**3/6 + 3*s**2/2 + 3*s. Is m(9) a multiple of 4?
True
Let x(a) = a**3 + a**2 - a - 31. Let o be x(0). Let i = -22 - o. Does 6 divide i?
False
Let x(p) = p - 8*p + 2 - 4*p**2 + 6*p - 2*p**3. Let n be x(-2). Suppose 5*i - n*i = 7. Is 7 a factor of i?
True
Suppose -2*j + 5*o + 170 = 3*j, -3*j + 2*o = -98. Is j a multiple of 16?
False
Let z(h) = -h**2 + 2. Let j be z(0). Let v = j - 11. Let k = 37 + v. Is k a multiple of 11?
False
Let f = -2 + 5. Does 3 divide (5/3)/(1/f)?
False
Let m(g) = -g + 5. Let o be m(0). Suppose 80 = o*z - z. Suppose -3*x + x + z = 0. Does 4 divide x?
False
Let t(r) = r**3 + 5*r**2 - r. Let d(j) = j. Let b(s) = 4*d(s) + t(s). Suppose 5*y + 15 = -0. Does 6 divide b(y)?
False
Let z = 17 - -5. Let f = z + -10. Does 6 divide f?
True
Suppose -4*q + 3*n + 123 = 0, -2*q - 34 + 96 = -2*n. Let o = 5 + -1. Let w = o + q. Does 13 divide w?
False
Let d = 99 + -24. Suppose i + d = 6*i. Does 8 divide i?
False
Suppose 3*v - 4*b = -b - 3, 0 = -2*v + 5*b + 7. Let i be (-113)/5 - v/(-10). Does 9 divide (0 + i/2)*-2?
False
Let r = -3 + 3. Suppose -h - 386 = -3*a, 0 = 3*a - a + 4*h - 276. Suppose -2*n + 7*n - a = r