 Let i(b) = -b**2 + 8*b - 4. Let q be i(6). Let f be j(q). Suppose -r = 3*l - 41, 0 = 4*r - f*r + l + 73. Does 13 divide r?
True
Let f(q) = 10*q**2 - q - 1. Let s be f(-1). Suppose -v = 2*n - 2 - 18, -n - 4*v + s = 0. Is n a multiple of 5?
True
Let h = 28 + -18. Is h a multiple of 10?
True
Let d be 174 + 0*3/(-9). Suppose 3*q - 39 = 2*q + 5*i, -d = -5*q + 4*i. Is 11 a factor of q?
False
Suppose 5*m - 21 = x - 3*x, 5*x - 3*m = 6. Let u(c) = 3*c + 1 - c + 4*c**2 + c - c**x. Does 13 divide u(4)?
True
Let z(j) = j**3 + 6*j**2 - 2*j - 3. Is z(-6) a multiple of 9?
True
Let s(q) = q. Let j = 1 + 1. Let p be s(j). Suppose -2*g - p*n = -n, -4*g + 5*n = -28. Is 2 a factor of g?
True
Suppose 292 = 4*q - 260. Is q a multiple of 46?
True
Let v = 264 + -132. Does 11 divide v?
True
Let t(q) = -q**2 - 8*q - 9. Suppose 4*h + 24 = -0. Is t(h) even?
False
Suppose -2*u - 2*u - 32 = 0. Let n = -25 + 14. Let w = u - n. Does 3 divide w?
True
Is ((-4)/(-10))/((-25)/(-8625)) a multiple of 23?
True
Let g(m) = -m**2 - 8*m + 13. Let l be (-56)/6 - (-2)/6. Let c be g(l). Suppose -z - c*z = -95. Is z a multiple of 10?
False
Is 27 a factor of (-1110)/(-20)*(-8)/(-6)?
False
Let a be 1*-3*(-1 - 16). Let r be 2/(-9) + (-446)/18. Let i = a + r. Is 13 a factor of i?
True
Let q(c) = -c - 1. Let b be q(-7). Suppose -2*a = -b*a + 84. Is 21 a factor of a?
True
Suppose -13*d + 6*d + 476 = 0. Does 17 divide d?
True
Let s be (4/(-6))/((-3)/45). Is 15 a factor of 144/s - (-9)/15?
True
Suppose 3*l = -3*l + 120. Is 13 a factor of l?
False
Let t = 756 - 516. Is 48 a factor of t?
True
Let o be (-1)/((2 - -1)/(-6)). Suppose o*i - 12 = -i. Suppose -i*s + 5 = m, -3*s + 6 = m - 4. Is 7 a factor of m?
False
Let v = -3 + 48. Does 19 divide v?
False
Let y(z) = -10*z - 6. Let n(t) = -t + 3. Let k be n(2). Let v be -8 + k + 2/2. Is y(v) a multiple of 14?
False
Let u = 44 - 20. Is u a multiple of 3?
True
Suppose 3*l + 5*u + 10 = 3*u, 0 = -2*l - u - 5. Suppose -3*s - 3*y + 6 = l, -s - y + 1 = y. Suppose -111 = -s*v - 12. Is v a multiple of 12?
False
Let p(o) = o + 16. Let q be p(0). Suppose -3*f = -u + q, -3*u + 26 + 34 = -5*f. Is 14 a factor of u?
False
Let x(k) = k**2 + 11*k + 15. Let m be x(-10). Suppose 0*f - 195 = -m*f. Is 13 a factor of f?
True
Suppose -2*p - 2 = 3*v + v, -4*p - 22 = 2*v. Let z(l) = 6*l - 9. Let h be z(p). Let j = h - -77. Is 14 a factor of j?
False
Suppose -l = -8 + 4. Suppose -2*q + 6 = 0, -l*o = -3*o - 4*q - 6. Is o a multiple of 13?
False
Let o be 8/3 + 2/(-3). Suppose 5*k = -s + 19 - 4, -s = -o*k + 6. Does 3 divide k?
True
Let z(h) = -h**3 - h**2 + 120. Let p be z(0). Suppose -3*b = -b - p. Is 14 a factor of b?
False
Let c = 27 - -28. Is 11 a factor of c?
True
Suppose 0 = 4*x + x - 80. Is (-1 + x)*10/6 a multiple of 11?
False
Let s(j) = j**2 + j + 2. Let b be s(-2). Suppose -g = -7*m + 2*m + 368, 3*m - 230 = -b*g. Is m a multiple of 23?
False
Let m(h) be the third derivative of -h**4/8 + 3*h**2. Let z be m(-5). Suppose -z + 55 = 4*n. Does 9 divide n?
False
Let i(k) = 2*k**2 + 2*k - 10. Suppose -4*x + 11 = 4*b - b, -x = -b + 6. Is i(b) a multiple of 22?
False
Let u be (-1 - (-1 - -1))*-26. Suppose 2*m - u = m. Is 13 a factor of m?
True
Suppose -4*h = -0*h - 4. Let r(u) be the first derivative of 6*u**2 - u - 5. Does 4 divide r(h)?
False
Let w(z) = -z**2 - z + 7. Let s be w(0). Let y(g) = 2*g - 6. Is 8 a factor of y(s)?
True
Suppose 3*q + 4 = 5*q. Suppose 2*u = -6, -q*v - 4*u = -97 + 41. Does 11 divide v?
False
Suppose -8*k = -10*k + 174. Is k a multiple of 8?
False
Let i be 4 - (-1 - 0/(-3)). Let p(o) = 0*o + 5*o + 2 - 3*o - i*o. Does 7 divide p(-5)?
False
Let u(j) = 11*j + 6 - 3*j**2 + 2 + j**3 + 12*j**2. Is 11 a factor of u(-7)?
False
Suppose -d - 341 = -4*p, -5*p - d + 405 = 2*d. Suppose -3*k = -k - p. Suppose 7*x - 4*x = k. Is 14 a factor of x?
True
Suppose 226 = 3*m + 2*a, -4*a + 65 + 7 = m. Is 15 a factor of m?
False
Let j(u) = -2*u**2 - 4*u + 2. Let y be j(5). Let f be (1 - 2) + 0 - y. Let s = f - 31. Does 22 divide s?
False
Let q(p) = p**3 + 7*p**2 + 6*p - 2. Let o be q(-5). Suppose 2*t = -f + 15, 0*t - 4*f + o = t. Let y(i) = 4*i - 2. Does 11 divide y(t)?
True
Let n = -169 + 332. Does 7 divide n?
False
Let s be 1*2 + 8/4. Suppose -s*r + 60 = r. Let j = 20 - r. Is 3 a factor of j?
False
Let r(a) = 4*a - 9. Let m(k) = -4*k**3 + 2*k**2 - 1. Let f be m(1). Let i(x) = -2*x + 3. Let s be i(f). Is 12 a factor of r(s)?
False
Let n = 34 + 1. Let y(f) = 3*f**2 - 2*f + 1. Let o be y(1). Suppose o*q + 5*m = n, 0 = -2*q - 8*m + 4*m + 30. Does 3 divide q?
False
Let d = 30 + -19. Let q = d + 23. Does 17 divide q?
True
Let y = 6 - 1. Let x(b) = b**2 - 5*b - 1. Let m be x(y). Is 2 a factor of (5 - m)/(-3) - -4?
True
Let l(p) be the third derivative of p**6/120 - 5*p**4/24 - p**3/3 - p**2. Let w be l(4). Suppose 4*i - 6*i = -w. Is 10 a factor of i?
False
Let m = -63 + 28. Let r = 5 + m. Is 3/((r/56)/(-5)) a multiple of 14?
True
Let g = -1 + 3. Suppose g*x + 3 = -x. Does 9 divide x/3 + (-28)/(-3)?
True
Suppose -2*k - 1 = 23. Let l = k - -24. Is l a multiple of 5?
False
Let s(i) = -45*i - 26. Is 14 a factor of s(-4)?
True
Suppose -2*w + 3*w - 3 = 0. Suppose -3*z - 3*t - 2 = -7*t, 0 = -w*z - 5*t + 16. Suppose 0 = -n + a + 9, 0 = -3*n + z*a + 24 + 1. Does 4 divide n?
False
Let u(k) = k - 5. Let r be u(5). Suppose -5*h + 218 + 92 = r. Suppose 0 = -3*w + 4*d + h, 0*w + w + 3*d = -1. Does 7 divide w?
True
Let b be (-4)/1 - 1/(-1). Let j be ((-3)/b)/3*15. Suppose z + 69 = 4*h - 4*z, -j*h + z = -81. Is 13 a factor of h?
False
Let t(g) = -3*g - 51 - 2*g + 51. Is 8 a factor of t(-5)?
False
Let l(a) = -3*a**3 + a**2 - a - 2. Let c be l(-2). Is 10 a factor of 2 - 1/((-1)/c)?
True
Suppose -3*f + 235 = 3*r - f, 4*r - f - 306 = 0. Is 11 a factor of r?
True
Let o(v) = 26 - 3*v**2 + 4*v - 3*v + 2*v**2. Does 13 divide o(0)?
True
Suppose 0 = -2*r + 5*r - 21. Let a = -3 + r. Suppose 2*g = a*g - 22. Does 11 divide g?
True
Let y = -8 + 13. Suppose 6*c = 2*c + b + 41, y*b + 45 = 4*c. Is 10 a factor of c?
True
Suppose 4*x - 151 - 189 = 4*l, -2*x + 155 = l. Suppose -4*o = o - x. Suppose -5*s = 4*h - h - 22, o = -4*s. Is 7 a factor of h?
True
Let f(q) be the second derivative of q**6/180 - 7*q**5/120 + q**4/24 + q**3/2 + 4*q. Let i(j) be the second derivative of f(j). Is 18 a factor of i(6)?
False
Let g be (0/(5 - 2))/2. Suppose 2*p = l - 44, 0 = -l - g*p - p + 38. Suppose 3*q + 176 = 4*m + l, 2*m + q - 78 = 0. Is 18 a factor of m?
False
Suppose 5*m - 5*i = 50, m - 3*i - 18 = -0*m. Suppose -3*o = 2*g - 26, 4*o = 5*o - 3*g + m. Suppose c - 4 - o = 0. Is c a multiple of 10?
True
Suppose -6*i + 1094 = 236. Is i a multiple of 13?
True
Let s(p) = -3*p**3 - 2*p**2 + 3*p - 7. Does 49 divide s(-5)?
False
Suppose 14 = 3*d - 7. Does 7 divide d?
True
Suppose 2*v - 6 = -0*v. Suppose -y - v - 1 = 0, 5*d - 3*y = 57. Does 8 divide d?
False
Let m = 4 + 0. Let z = 4 + m. Does 8 divide z?
True
Let f = -2 - 8. Let h = f + 13. Suppose -l + 2*s = -32, 3*l - h*s + 78 = 6*l. Does 8 divide l?
False
Suppose -2*p - 1 = 1. Does 12 divide (-33)/(-1)*(p + 2)?
False
Let q be 10/(-25) + 46/(-10). Let u = q + 5. Is (1 - u)/(4/16) a multiple of 4?
True
Let b = -68 + 38. Let u = b - -21. Let d = u - -19. Is 10 a factor of d?
True
Suppose 3*x - 40 = -3*n - 2*n, 0 = n - 4*x + 15. Is 25 a factor of 754/10 - 2/n?
True
Let c(m) = 3*m - 5. Let v(g) = g**2 - 5*g - 3. Let w be v(6). Is 4 a factor of c(w)?
True
Let v(k) = -4*k. Suppose 3*x + 5 = 4*x, -15 = -5*o + 2*x. Suppose 7*j - 2*j + 26 = -4*b, 4*b + 6 = o*j. Does 4 divide v(j)?
True
Let h(t) = t**2 - 2*t - 3. Let c be h(3). Suppose c*u - 23 = v + 3*u, -v + 3*u = 5. Does 7 divide 42/(-6)*36/v?
False
Let l(w) = w**3 + 7*w**2 - 8*w + 7. Suppose 5 + 3 = -m. Is l(m) a multiple of 7?
True
Let h be 6/(-8) + (-211)/(-4). Suppose 3*j + j = h. Suppose -j = o - 35. Is 22 a factor of o?
True
Let x be (-3 - 0)/(3/(-2)). Is x/(-10) + (-858)/(-15) a multiple of 17?
False
Suppose -3*t = 0, 3*z - 4*t = -z + 112. Is 16 a factor of z?
False
Let r(o) = 13*o + 1. Suppose -1 = v - 3. Does 7 divide r(v)?
False
Suppose -2*q = 5*k - q - 153, 0 = -4*k - q + 123. Is 6 a factor of k?
True
Suppose -4*j = 2*y - 212, 5*y + 4*j = 2*y + 316. Does 26 divide y?
True
Let w(g) = -g**2 + 4. Let l be w(3). Let m(a) be the first de