False
Let u(r) = -r**2 - r + 3. Let f be u(0). Let b = 13 + f. Does 4 divide b?
True
Let a = -66 + 103. Is 10 a factor of a?
False
Let l = 171 - 91. Is 20 a factor of l?
True
Let x(p) = -p**3 + 8*p**2 - 4*p + 8. Does 8 divide x(4)?
True
Let x = 8 - 4. Suppose 3*m + x*r - 5*r - 4 = 0, 2*m = 2*r. Suppose b - 4 = m*p + 3, -23 = -3*b + 4*p. Is 9 a factor of b?
True
Suppose 46 = -5*y + 151. Suppose -i = -12 - y. Is 21 a factor of i?
False
Let a = 98 - 76. Is a a multiple of 18?
False
Suppose 5*c + 51 = 4*o, -3*c + 8*c = -o + 19. Suppose o = -d + 2*d. Is 14 a factor of d?
True
Let y(q) = -q + 3. Let i be y(5). Let k be 3/(9/3 + i). Suppose -k*z + 0*z = 4*g - 57, -2*z - 5*g = -45. Is z a multiple of 9?
False
Let q = 18 - -48. Is 11 a factor of q?
True
Let x(v) = -v**3 - 2*v**2 + 3*v - 3. Let c be x(-3). Is (126/c)/(-3) + -3 a multiple of 10?
False
Let v(l) = -l**3 + l**2 - l + 2. Let z be v(0). Suppose 2*n + 5*s = 63, 0*n = z*n - s - 81. Is 27 a factor of n?
False
Suppose 3*l = -4*z + 44, -4*z + l = -0*z - 28. Suppose 2*v - 22 = -z. Is v a multiple of 7?
True
Suppose -4*w = -2*q - 138, 5*w + 5*q - 156 = 2*q. Does 18 divide (-4)/(-22) - (-588)/w?
True
Let h(z) = z**2 - z. Let b(k) = -20*k**2 - 4*k - 2. Let j(w) = -b(w) + 4*h(w). Let i(p) be the first derivative of j(p). Is i(1) a multiple of 17?
False
Let p(v) = v**2 + 9*v + 11. Is p(-8) a multiple of 2?
False
Let t(q) = -q**2 + 13*q + 16. Is t(11) a multiple of 19?
True
Let u(l) = -l**2 - 9*l - 8. Let v be u(-8). Suppose v = -x - 2 + 5. Suppose x*q - 55 = -5*t, 37 = 4*t - t + q. Does 14 divide t?
True
Let b(t) = 2*t - 9. Let g be b(6). Suppose -2*y + 20 = -2*o, 3*y + g*o - 1 = 5. Is y a multiple of 6?
True
Suppose 2*r + 0*r = 76. Is r a multiple of 19?
True
Let a be -2 + 3 + 0 + -1. Suppose -3*c = -5*d - 20, 4*d = -a*d + 3*c - 19. Is 15 a factor of 50*(d - (-9)/6)?
False
Let w be 23/7 + (-2)/7. Let s = w - 1. Is 1 - (-6 + s + -1) a multiple of 6?
True
Let z(d) = d - 2. Let n be z(3). Let g be 3 + n + (-3)/3. Suppose -5 - g = f + 4*w, 3*f = -5*w + 11. Does 6 divide f?
True
Let w be ((-2)/(-3))/(2/(-3)). Let i = 2 - w. Suppose -3*k = -4*m - 61, i*k - 56 = -m - 0. Is k a multiple of 6?
False
Suppose -t = t - 6. Let x(g) = g - 3. Let k be x(t). Suppose -u - 68 = -3*i - k*u, -4*i = -4*u - 96. Is i a multiple of 22?
True
Let k be (-4 - -1)/((-33)/22). Suppose -5*j + 69 = -k*p, 9*j = 4*j - 3*p + 84. Does 10 divide j?
False
Let r(u) = u**3 - 3*u**2 - 3*u - 1. Let h be r(4). Let b(t) = 2*t + 4 - 3*t**2 - t + 0*t**3 - t**h. Is 16 a factor of b(-4)?
True
Let x = 6 - 4. Suppose 0 = a - 5*f - 2, -a + 2 = -f - x*f. Is a a multiple of 2?
True
Let l(g) = 2*g. Let v be l(1). Suppose 20 = 3*a - v*a. Does 10 divide a?
True
Is 752/48 - 1/(-3) a multiple of 8?
True
Let v(a) = -15*a**2 + 2*a - 6. Let q = -8 + 2. Let y(m) = -16*m**2 + 2*m - 7. Let l(t) = q*v(t) + 5*y(t). Is 9 a factor of l(1)?
True
Let b(u) = u**2 + 5*u + 10. Does 2 divide b(-5)?
True
Suppose 4*p - 24 - 12 = 0. Let n be 2 - (1 - (1 - -2)). Suppose -35 = n*s - p*s. Is s a multiple of 7?
True
Suppose 2*i = 2*x + 7*i - 97, 0 = -x - 4*i + 56. Is (-2)/(-12) - (-1830)/x a multiple of 26?
False
Let j = 122 + -66. Does 7 divide j?
True
Suppose -22 + 229 = 3*d + 3*v, 4*d + v = 270. Is d a multiple of 3?
False
Suppose 4*t + 0*f - 64 = -4*f, 0 = 3*t + 2*f - 45. Is t a multiple of 5?
False
Let z be 1 + (-1 + -3)*1. Let a(i) = 6*i**2 + 5*i + 4. Does 13 divide a(z)?
False
Suppose -5*y - 4*r = -3*r + 66, -17 = y + 4*r. Let p = 18 + y. Let a = 21 - p. Is a a multiple of 8?
True
Let x(a) = a**2 - 7*a. Let f = 25 - 17. Let h be x(f). Suppose 0 = -3*c - h + 44. Is 12 a factor of c?
True
Suppose 4 + 11 = 5*x. Is (-2)/(-3)*(x + 3) a multiple of 2?
True
Suppose 0 = -5*j - 15, 2*v + 2*v - j = 311. Does 8 divide v?
False
Suppose 3*z - 116 = -5*s, 3*z - 4*z = 4*s - 97. Does 13 divide s?
False
Suppose -2*m - 19 = 3*l, -3*l - 14 = m - 0*m. Let h = l + 10. Let i(t) = -t**2 + 10*t - 1. Does 7 divide i(h)?
False
Let n = 23 + -48. Let l = n + 41. Is l a multiple of 8?
True
Suppose -3*f - 14 + 366 = -4*u, 2*u = 4*f - 476. Is f a multiple of 20?
True
Let y(t) = 2 + t + t + 5 - 2. Does 4 divide y(4)?
False
Suppose 3*i + 2*i = 0. Suppose 3*s - 144 = -i*s. Is s a multiple of 16?
True
Suppose 2*p = 4*v - 180, 4*v + 4*p - 140 - 40 = 0. Is v a multiple of 12?
False
Suppose -h = h - 2. Let o(b) = 1 + 25*b + 14*b - 16*b. Does 12 divide o(h)?
True
Let m be (4/5)/(8/20). Suppose -m*z = -7*z - 80. Let a = 45 + z. Is 15 a factor of a?
False
Let w(s) = -s**2 - 7*s + 10. Let r be w(-8). Let d be ((-2 - -2)/(-3))/r. Let p = d + 4. Does 4 divide p?
True
Let a(o) = -o**3 - 4*o**2 - 5*o - 2. Does 3 divide a(-4)?
True
Let a(t) = -6*t - 4 + 17*t + t. Does 6 divide a(2)?
False
Let r(x) = 2*x**3 - x + 0 - 1 + 2. Let m be r(-2). Let v = 0 - m. Is 13 a factor of v?
True
Let s(f) = 2*f**2 + 16*f + 2. Is s(-13) a multiple of 33?
True
Let c(z) = -z**3 - z. Let d(f) = -3*f**3 + 3*f + 1. Let m(w) = -w + 12. Let b be m(11). Let s(p) = b*d(p) + c(p). Is 3 a factor of s(-1)?
True
Suppose 5*p = -l + 162, 4*p - 6*l = -5*l + 135. Is p a multiple of 7?
False
Let t = 53 - -1. Does 18 divide t?
True
Is 28 a factor of 33/5*(17 - 12)?
False
Is 20 a factor of 8 + -10 + (302/2)/1?
False
Let d = -13 + 113. Does 20 divide d?
True
Is (-172 - -27)*(-1 + 0) a multiple of 8?
False
Suppose 0*g + 5*g - 95 = 0. Suppose 5*x - g - 2 = -2*b, -b = -2*x + 3. Suppose -4*y - x*w + 129 = -6*w, -26 = -y + 2*w. Is y a multiple of 14?
False
Suppose -4*b - 1 = -5*o + 3, -1 = -2*o + b. Suppose o + 10 = 2*g. Suppose 0 = -2*z + g*z - 15. Is z a multiple of 2?
False
Let w(r) = r**2 + 11*r + 18. Suppose 5*b + 65 + 0 = 0. Is 17 a factor of w(b)?
False
Suppose -q - q - 52 = 0. Let c = -18 - q. Is 4 a factor of c?
True
Let u = -2 - 0. Let d(v) = -v**2 - 7*v. Let o(b) = b**2 + 15*b. Let h(a) = -9*d(a) - 4*o(a). Is h(u) a multiple of 7?
True
Let d(i) = 2*i**2 + 7*i + 1. Let f be d(6). Suppose 5*q - 2*b - f = 2*b, 5 = b. Suppose 0 = -y - 1 + q. Does 13 divide y?
True
Let h = 96 + -16. Suppose 0 = -4*q + 5*y + h, 4*y = 3*y. Is 10 a factor of q?
True
Suppose 0 = h - 73 + 8. Suppose -219 = -r - h. Suppose 14 - r = -5*v. Is v a multiple of 14?
True
Suppose -4*u + 117 = -15. Is u a multiple of 11?
True
Let r = 12 - 7. Suppose -r*h = 2*s - 4*s - 42, 2*h = s + 17. Suppose -30 = -h*m + 3*m. Does 6 divide m?
True
Let f(r) = r + 4. Let h be f(-3). Let a = h + 4. Let i = 8 - a. Is i a multiple of 3?
True
Let m(g) be the third derivative of g**5/60 - 5*g**4/24 + 2*g**3/3 - 2*g**2. Is m(6) a multiple of 5?
True
Let f be 4/14*(3 - -4). Let y(j) = 14*j - 1. Does 9 divide y(f)?
True
Let t(x) = x**3 + 6*x**2 + 4*x + 2. Is t(-5) a multiple of 4?
False
Let j(y) = -y + 10. Let g be j(8). Suppose 100 = -2*v - 4*c, 0*v - 190 = 4*v - g*c. Let t = -21 - v. Is 9 a factor of t?
True
Let u = 2 - -2. Suppose 3*t + u*r = 43 + 47, -5*t + 3*r + 150 = 0. Is 10 a factor of t?
True
Let y(u) = -3*u + 6. Let j be y(-8). Suppose -5*s + c + c + 49 = 0, 4*s + 3*c = j. Is s a multiple of 9?
True
Suppose 3*l - 2 = 13. Suppose l*h = 5*g - 210, -4*h + 78 = 2*g - 0*g. Is g a multiple of 12?
False
Let d(s) = 5*s**3 - s**2 - 3*s + 2. Let g be d(2). Suppose -4*x - 3*f + 37 + 36 = 0, 4*f + 4 = x. Let u = g - x. Is 8 a factor of u?
True
Let u = 48 - 24. Is 8 a factor of (1/3)/(1/u)?
True
Is 5 a factor of (-3)/(-1) + -6 - -10*3?
False
Let w = 3 - 4. Let o = -9 - -20. Let z = o - w. Is z a multiple of 12?
True
Let a = 37 + -19. Does 3 divide a?
True
Let i be (-1)/((-3)/(-9)) + 5. Suppose -2*d = -3*w + 2501, 6*d + 5004 = i*d + 4*w. Is 26 a factor of (-2)/12 - d/24?
True
Let w be (1 + -4)*(-1)/(-3). Let x = 0 + w. Is (-6 + (0 - -2))/x even?
True
Is ((-30)/7)/((-9)/378) a multiple of 9?
True
Suppose -308 = -3*h - 4*h. Is 9 a factor of h?
False
Suppose j + 3*j = -12. Let f(b) = -4*b**3 - 4*b**2 + b + 3. Does 24 divide f(j)?
True
Let x(n) = n**3 - 5*n**2 + 6*n - 2. Let z be 33/9 + 2/6. Is x(z) a multiple of 3?
True
Suppose 0*i - 4*i + 520 = 0. Is 10 a factor of i?
True
Let u = 18 + -197. Let g = u + 302. Suppose 0*f + 3*f - g = 0. Does 14 divide f?
False
Let u(v) = v**2 + 2 - 3*v - v**2 - v**2. Let f be u(-3). Suppose 0*d + 79 = 5*b + 4*d, 3*d - 33 = -f*b. Is 11 a factor of b?
False
Let d(a) = a**3 - 11*a**2 + 