2)/f. Suppose 0 = 3*q - i*q - 28. Does 12 divide q?
False
Let l(m) = -2*m**2 + m - 8 + 3 - m - 15*m. Is l(-5) a multiple of 6?
False
Let a = -2 + 4. Suppose 5*m + 55 = 3*c, a*c - 29 = -3*m + 14. Is (-21)/2*c/(-15) a multiple of 14?
True
Let t(s) = 14*s**2 - 6*s - 1. Let d(k) be the second derivative of 5*k**4/12 - k**3/3 - k. Let q(b) = -11*d(b) + 4*t(b). Does 7 divide q(-4)?
False
Let p(k) = 9*k**2 + 2*k + 1. Is 6 a factor of p(2)?
False
Let t(h) = -h**2 - 6*h + 5. Let n be t(-6). Suppose -3*p + 5*f + 9 = 0, 0 = 2*p + n*f - 24 - 7. Does 8 divide p?
True
Suppose -g - 12 = 17. Suppose 27*s + 90 = 25*s. Let i = g - s. Is 16 a factor of i?
True
Suppose 443 = -5*j + 1198. Is 23 a factor of j?
False
Suppose -3*o - 2*o = 5*d - 10, 4*o - 7 = -5*d. Let q(x) = -29*x - 1. Does 14 divide q(d)?
True
Suppose 4*v + 8 = 4*j - 0*v, -10 = -j + 5*v. Suppose -3*h - 3*b + 24 = j, -4*b + 20 = 3*h - h. Is (-18)/(-1 + 2/h) a multiple of 10?
False
Let j = 11 + -10. Let q(u) = 39*u**3 + 1. Is q(j) a multiple of 18?
False
Suppose -4*u = 3*k - 38, 0 = -k + u + 3 - 2. Suppose -f = 3*f. Let i = k + f. Is 3 a factor of i?
True
Let s = 56 + 12. Is 27 a factor of s?
False
Let d(m) = -m**3 - m**2 + m + 19. Let s be d(0). Let a be 52/14 + (-4)/(-14). Suppose s + 17 = a*i. Is i a multiple of 4?
False
Let v = 120 + -84. Let s = v + -3. Let q = s - -2. Is q a multiple of 21?
False
Let x = 3 + 0. Suppose -9*f + 168 = -x*f. Is f a multiple of 14?
True
Let w = 140 + -114. Is w a multiple of 13?
True
Suppose 0 = 4*u - 5*n + 1, u + 5*n = -3*u + 49. Let m = -3 + u. Suppose 0*l - 60 = -m*l. Does 15 divide l?
False
Suppose -3*y + 0*y + 651 = 3*p, 404 = 2*p - 4*y. Does 20 divide p?
False
Let d(u) = -u**3 - 5*u**2 - 4*u. Let v be d(-4). Suppose 0*s - 3*y - 9 = -3*s, -4*s + 2*y + 18 = v. Is 3 a factor of s?
True
Let p(s) = -42*s - 12. Does 21 divide p(-5)?
False
Let r = 39 + -26. Suppose -122 = -q - r. Is 24 a factor of q?
False
Is 17 a factor of (6 - 2)*(-19)/(-4)?
False
Let p(h) = h**3 - 6*h**2 - h + 8. Let s be p(6). Suppose t + 3*t = -y + 114, -s*t + 60 = 2*y. Does 11 divide t?
False
Let x(g) = g**3 - 9*g**2 - 7*g + 9. Let c be x(9). Let a = c + 97. Does 13 divide a?
False
Suppose y = 5*r - 2*r - 118, -2*y - 246 = -r. Let i = y - -184. Suppose 0*b - i = -2*b. Does 15 divide b?
True
Let a(n) = n**2 - 4*n + 9. Does 10 divide a(8)?
False
Let d(c) = -c**2. Let k be d(0). Suppose -2*v + 0*v + 20 = k. Is (-48 - -3)*(-4)/v a multiple of 18?
True
Suppose -9*b + 288 = -6*b. Is b a multiple of 16?
True
Suppose 4*f = 322 + 74. Does 11 divide f?
True
Suppose 2*s = 3*s + 5. Let u = 9 + s. Suppose 0 = 2*z + 4*a - 74, 0 = -u*z + 5*a - 2*a + 104. Does 17 divide z?
False
Let f(x) = -18*x + 4. Let s be f(-7). Let p = 196 - s. Is p a multiple of 39?
False
Let w(j) = 5*j**2 - 7*j + 4. Does 14 divide w(4)?
True
Suppose f - 4*f - 3*p + 222 = 0, -4*f + 5*p = -332. Is f a multiple of 26?
True
Let j(g) = -g**2 + 5*g + 2. Let o(m) = 5 + 3*m + 3*m**2 - 2*m**2 - 15*m. Let y be o(12). Is j(y) even?
True
Let l(v) = 8*v**2 - 2*v - 1. Let o be l(-1). Suppose 36 = 12*t - o*t. Is 4 a factor of t?
True
Let f = 4 - 2. Let b be 4/(f*(3 - 2)). Suppose -37 = -0*w - b*w + 5*z, -3 = 3*z. Does 8 divide w?
True
Suppose -o = z - 6*o + 13, 4*z = 4*o - 4. Suppose z*m + 0*m + 44 = x, x - m = 47. Is 25 a factor of x?
True
Let u be 0/((-8)/(-12)*-3). Suppose 3*f - y - 73 = -u*y, 4*f + 2*y - 114 = 0. Does 15 divide f?
False
Let o(r) = 5*r - 3. Let h be o(3). Suppose -3*a = -0*a - h. Suppose -107 = -3*g + 2*d + 2*d, -a*g - d = -130. Is 10 a factor of g?
False
Suppose 0*p = 4*p - 80. Suppose 3*y = 8*y - p. Is y even?
True
Let f be (-2108)/(-8) - 3/6. Suppose -r = 5*t - 3*r - 316, 0 = 4*t - 5*r - f. Is t a multiple of 32?
False
Let q = -2 + 7. Let m(r) = -r**2 + 6*r - 3. Let i be m(q). Suppose 22 = 3*g - h - h, 5*g + i*h - 10 = 0. Does 4 divide g?
True
Suppose y - 213 = 5*s - 27, -4*y = -3*s - 98. Let t = s + 56. Does 14 divide t?
False
Suppose -9 - 77 = 2*s - 4*w, -4*s = 3*w + 117. Let a = s + 55. Suppose -v - 10 = -a. Does 6 divide v?
True
Suppose 2*x - 8 = x. Let u be x/(-6)*(1 + -4). Suppose -3*p = 4*w - 2*w - 9, -w = 2*p - u. Does 4 divide w?
False
Suppose 2*d - 3 = 5. Let a = -20 - d. Does 15 divide a/(-2)*10/8?
True
Suppose 8*d + 192 = 12*d. Does 24 divide d?
True
Let d(o) = o**3 - o. Let a be d(-2). Is 8*4 - (-4 - a) a multiple of 8?
False
Let p = 2 + 4. Suppose 3*u - 18 + 3 = 0. Suppose u*f - p - 104 = 0. Is f a multiple of 22?
True
Let t(g) = -g**2 - 2*g + 52. Is t(0) a multiple of 14?
False
Suppose c - 2*y - 66 = 0, 0 = -2*c + 3*c + 3*y - 41. Does 14 divide c?
True
Let j(f) = -f**3 - 10*f**2 + 9*f. Suppose -4*y - 5*g - 34 = 0, 5*y + g - 3*g + 59 = 0. Does 11 divide j(y)?
True
Let s be (-9)/6*8/(-6). Let b = 5 - s. Suppose b*l - 102 = 15. Does 18 divide l?
False
Let m be (1 - (-3)/3) + 2. Suppose 3*g = m*g - 15. Let k = 22 - g. Is k a multiple of 4?
False
Let q(a) = -2*a + 1. Let f be q(-2). Suppose k = -3*b + 81, 5*k - 22 = 4*b - 149. Let u = b - f. Is 23 a factor of u?
True
Let g(u) be the second derivative of u**4/12 - u**3/3 - 5*u**2 + u. Suppose -4*t - 35 = -9*t. Is g(t) a multiple of 25?
True
Suppose 2*d = 3*x + 84 + 6, 3*d + 3*x - 135 = 0. Does 15 divide d?
True
Let s = 190 - 58. Does 12 divide s?
True
Suppose 7*i = 155 + 244. Is 11 a factor of i?
False
Suppose -f = 5*g - 224, 0 = 2*g - 5*f - 112 + 17. Does 15 divide g?
True
Let z be ((-6)/(-4))/((-1)/(-4)). Let g(h) = -h**2 - 1 - z*h + 0*h**2 + 5. Does 8 divide g(-5)?
False
Let r = -30 + 112. Does 5 divide r?
False
Suppose 4*q - 9 = 5*d, 5*d + q - 3*q + 17 = 0. Let a(v) = v**3 + 6*v**2 + 8*v - 3. Let b(o) = o - 1. Let u(i) = a(i) - 6*b(i). Does 9 divide u(d)?
True
Let l(h) = -18*h + 9. Is 13 a factor of l(-6)?
True
Suppose 29 = y - 0. Is y a multiple of 3?
False
Does 21 divide (-876)/(-21) + 14/49?
True
Let f(b) = b**3 + 5*b**2 + 2*b + 1. Let m be f(-4). Suppose i = v + 167, 825 = -5*v - 6*i + i. Is 4 a factor of v/(-18) + (-2)/m?
False
Let p(d) = -49*d**3 - 2*d**2 - d. Is 16 a factor of p(-1)?
True
Let l(r) = r**3 + 12. Let y be l(0). Suppose b = -f + 2, -b = 3*b + y. Suppose 0*x = -f*x + 55. Is 11 a factor of x?
True
Let f be -16*(1 + (-124)/16). Does 15 divide (-457)/(-9) + 24/f?
False
Suppose -5*n = -c + 196 - 73, -3*n = 15. Is 14 a factor of c?
True
Suppose -s + 4*f - 2*f + 14 = 0, -32 = -4*s + 2*f. Suppose s = 3*m - 2*d, 2*m - 5*m + 24 = 4*d. Suppose m*v = 49 - 5. Is 8 a factor of v?
False
Let f(t) = -t**3 - 4*t**2 + 7*t - 2. Let z be f(-6). Suppose -11 = -b + z. Suppose b + 15 = 3*a. Is a a multiple of 18?
True
Suppose -3*s = 0, -z - 4*z - 5*s + 675 = 0. Is 5 a factor of z?
True
Suppose 4*y + 2*n - 7 = 5*n, 3*n = 5*y - 11. Suppose 140 = i + y*i. Does 8 divide i?
False
Suppose -37*g = -40*g + 624. Is 16 a factor of g?
True
Let v(m) = -m**3 - 3*m - 1. Let t be v(-3). Suppose 5*l - t = -2*i, -2*i - l + 31 = -0*i. Is 15 a factor of i?
True
Suppose 4*g - 3*n + 7 = 2*g, 14 = -2*g - 4*n. Let s = g + 4. Let z(d) = -16*d - 1. Is z(s) a multiple of 15?
True
Is 14 a factor of (-4 + 5)/1 - -24?
False
Suppose -149 = 4*k - 17. Let v = k - -50. Does 6 divide v?
False
Suppose -k + 14 = -4*x + k, 16 = -x - 2*k. Let a = -2 - x. Suppose -4*n + 3*n = -j + 43, 0 = -a*n - 20. Is 13 a factor of j?
False
Let k = -36 + 45. Is k a multiple of 2?
False
Suppose 3*d - 6 = -5*r - 22, 4*r - 2 = 5*d. Let v(n) = 11*n**2 + n + n + 0*n**2. Does 20 divide v(d)?
True
Let d be (-136)/(-36) - (-2)/9. Suppose -j + 3 = -r - r, -5*j = 5*r - 15. Let v = r + d. Is 4 a factor of v?
True
Suppose -a - 2*m = -2, -2*m - 2 = -5*a + 8. Suppose -14 = -a*w + 2*p, 6*w - p - 23 = w. Is w/(-16) - (-81)/4 a multiple of 20?
True
Suppose 6*p - 15 = 3*p. Let h = p - -14. Does 10 divide h?
False
Let j(h) = h + 5. Let w = 8 + -3. Let z be j(w). Let s(v) = 2*v + 4. Is 12 a factor of s(z)?
True
Suppose 3*q = -3*y + 231 - 6, 0 = 3*y + 2*q - 221. Is y a multiple of 10?
False
Let k = 46 + 32. Does 34 divide k?
False
Let n(v) = 1 - 5*v + 10*v + 4. Is 10 a factor of n(5)?
True
Let s(i) = 16*i**3 - i**2 + 1. Let a be s(-1). Let v = a - -24. Does 3 divide v?
False
Let i(b) = -b**2 - 7*b + 18. Let h be i(-13). Let w = 90 + h. Is 15 a factor of w?
True
Let s(j) = j**2 + 2*j + 2. Let n be s(-3). Suppose 422 = 4*k + 4*t + 170, -n*t 