le of 11?
True
Let h be (-2 - -2)/1 - (0 + 1). Let f(a) = -a**2 - 6*a + 3. Let x be f(-3). Is 7 a factor of 1 - x/(-1) - h?
True
Let w(b) = b**2 + 8*b - 1. Let y be w(-9). Let n(p) = -p**3 + 11*p**2 - 15*p + 1. Is 14 a factor of n(y)?
False
Suppose -2*g = -5*b + 686, -3*g + 420 = -3*b + 6*b. Is b a multiple of 10?
False
Let q(z) be the second derivative of -z**5/20 + 4*z**4/3 + z**3/2 - 10*z**2 + z - 8. Is q(16) a multiple of 14?
True
Suppose 3*j - 7*j - 5*p + 208 = 0, -j + 49 = 2*p. Let f = j + -17. Does 8 divide f?
True
Suppose 0*a - 4*a + 2*p = 2, 9 = 3*a + 2*p. Let w(v) = -18*v**2 - 8*v - 5. Let h(c) = -c - 1. Let x(n) = 6*h(n) - w(n). Is x(a) a multiple of 18?
False
Let x be 0*((-4)/3)/(-4). Suppose q + x*q - 1 = 5*s, -4*q + 21 = -3*s. Is 5 a factor of q?
False
Let i be 50/4 - 6/12. Does 10 divide (-5)/15 + 664/i?
False
Let y be (-7)/(21/6)*-1. Suppose 3*c = 8*c - j - 334, j = y*c - 136. Suppose 0*o - 2*o = -c. Does 7 divide o?
False
Let l = -78 - -133. Is 11 a factor of l?
True
Does 15 divide (8 - (2 - 4))*231/22?
True
Let u be 34/3 + 14/21. Suppose -2*b + u = m + 3*m, 26 = 4*m - 5*b. Does 5 divide 50/m*(-32)/(-40)?
True
Let y(d) = -30*d + 16. Let p(s) = s + 1. Let i(n) = -3*p(n) + y(n). Let o(q) = 17*q - 7. Let m(k) = -6*i(k) - 11*o(k). Is 10 a factor of m(4)?
False
Suppose 1 = -v + 2*b - 1, v = -4*b + 16. Suppose v*q = -330 + 830. Let c = q - 57. Is 17 a factor of c?
True
Let a(x) = 95*x**2 - x - 1. Is 11 a factor of a(-1)?
False
Suppose b - 4*b + r = 2, -b + 2 = -3*r. Let o(g) = -102*g**3 + g**2 + 2*g. Is o(b) a multiple of 18?
False
Let t(b) = -11*b - 21. Let o be t(9). Is 12 a factor of o/(-16)*(4 + -2)?
False
Let k(g) be the first derivative of 21*g**4/2 + g**3/3 - g**2/2 - 5. Suppose x + 2*x = q, 4*x = 3*q - 5. Is 14 a factor of k(x)?
True
Let x(z) = z + 63. Suppose -90 = -6*m + 4*m. Let l be 27/m + (-6)/10. Is 21 a factor of x(l)?
True
Let l = 2818 + -2451. Is 4 a factor of l?
False
Suppose -n + 5*n - 44 = 0. Suppose 4*o - 5 = n. Suppose -5*p = o*j - 77, 2*p - 109 = 3*j - 8*j. Is 8 a factor of j?
False
Is 5 a factor of (192/56)/((-2)/(-49))?
False
Let v = 36 + -37. Let o = v - -3. Suppose -6*x + 336 = o*x. Is x a multiple of 9?
False
Let g(s) = s**3 - 3*s**2 - 3*s + 7. Let n be g(4). Let b = 5 - n. Is 24 a factor of (-1290)/(-27) + b/(-27)?
True
Let s(m) = -m**3 + 17*m**2 + 21*m - 25. Does 9 divide s(18)?
False
Suppose -7*u = -98 - 56. Is 3 a factor of u?
False
Suppose 0 = -t + 2*g - 6, 0 = 2*t + 3*t - g - 6. Let n(o) = 62*o + 2. Let y be n(t). Suppose 4*d - 94 = y. Is 8 a factor of d?
False
Let t(y) = 2*y**2 - 8*y - 16. Let o be t(7). Let f = o - -5. Is 13 a factor of f?
False
Let h = -2224 + 2284. Does 15 divide h?
True
Let y(k) = 8*k**2 - 9*k + 6. Let t(x) = x**3 - 3*x**2 - 7*x - 10. Let w be t(5). Does 23 divide y(w)?
True
Let m(p) = 14*p - 2. Let f be m(2). Suppose 4 = 5*u - 2*o + 2, 5*u = -4*o + f. Suppose -u*i = 4*k - 10, -3*i + 3*k + 42 = -0. Is i a multiple of 11?
True
Is 50 a factor of (-16204)/(-18) - (954/(-81) + 12)?
True
Let g be -1*(208/(-4) + -4). Let z = g + 12. Suppose -4*a + 31 = 3*h - 55, -5*a = -3*h + z. Is h a multiple of 19?
False
Let b = 247 + -229. Is 6 a factor of b?
True
Let c be -1 + (4 - (-15 + 1)). Let b = 18 - c. Is 2216/32 + b/(-4) a multiple of 32?
False
Let f = 12 + 86. Is f a multiple of 6?
False
Suppose 0 = i + 4*i - 90. Let b be (-120)/i*(-3)/(-2). Is 18 a factor of (-81)/(1 - b/(-4))?
True
Let g(p) be the second derivative of p**3/2 + 9*p**2/2 - 21*p. Let m be 1*(-2*7)/(-2). Is 10 a factor of g(m)?
True
Let b be (-60)/63*-6 - (-20)/70. Does 15 divide b + -9 + 1 + 72?
False
Let x be (3/2)/((-12)/16) + 2. Is 24*(-40)/(-6) - x a multiple of 25?
False
Suppose 0 = 2*k - 0 + 4. Let j be -1 + (k - (-10 - -3)). Suppose 0 = 5*v + 3*p - 37, -5*v + 0*p = -j*p - 44. Is v a multiple of 4?
True
Let b(h) = 4*h**2 + 2*h - 8. Let m be b(-6). Let r(w) = -18*w - m + 124. Is r(-1) a multiple of 9?
True
Is (-3 + 178)/((-15)/(-45)) a multiple of 21?
True
Let j = 15 - 4. Let m = 12 - j. Does 4 divide 5 - m/(1/1)?
True
Suppose 3269 = -30*q + 37*q. Does 14 divide q?
False
Let o(p) = -11 + 0*p - 6*p - 6. Let n = -32 + 22. Does 11 divide o(n)?
False
Let o(p) = p**2 - 2*p - 5. Let c be o(4). Let v = -110 - -114. Suppose -v*t + 60 = -3*j, -j = c*t - 2*j - 40. Is 4 a factor of t?
True
Is 704/80*(2 + 2/4) a multiple of 6?
False
Let c = -428 + 506. Does 3 divide c?
True
Suppose 385 = 3*g - 2*o - 1, -4*g = 5*o - 553. Is g a multiple of 11?
True
Let w(o) = -o**2 - 10*o + 27. Let k be w(-13). Let c = k + 47. Is 12 a factor of c?
False
Let g(b) = -6*b + 17 + 8*b - 48. Is 10 a factor of g(25)?
False
Let u be 2*(-8)/6*3/(-4). Suppose 0 = -3*g + 5*g - 5*b - 8, -4*b - 20 = -5*g. Is u/((-1)/(-8)*g) a multiple of 4?
True
Suppose 0*f - 3*f = -6. Suppose s - f*s = -2*h + 2, 2*s = -5*h + 23. Does 2 divide h?
False
Suppose -2*q + 4*m = -286, 2*m = -3*q - 2*m + 419. Let z = 257 - q. Is 15 a factor of z?
False
Suppose 28*h - 1598 = 22398. Is 75 a factor of h?
False
Let x be (7 + 3)/((-2)/(-1)). Suppose -x*u + 254 = -2*w, 0*u + 56 = u - 3*w. Is u a multiple of 9?
False
Let j be (-2)/(-7) + 2/(-7). Does 16 divide (j + 1)/(-10 + 11) - -47?
True
Let d(u) = 5*u**2 - 31*u + 2. Let n be d(6). Is 20 a factor of -2 - (-1 + -241 + n)?
False
Suppose -375*z + 13445 = -370*z. Does 76 divide z?
False
Suppose 26*m = -14712 + 36032. Does 15 divide m?
False
Suppose -2*z + 8*b + 16 = 4*b, 0 = -3*z - 2*b + 40. Is 40/z*(-576)/(-15) a multiple of 16?
True
Let f be (6/(-5))/((-69)/(-1610)). Let g = -9 - f. Does 6 divide g?
False
Let i(y) = -41*y - 3. Let l(u) = u**2 + 11*u + 13. Let m be l(-10). Let h be i(m). Does 13 divide h/(-49)*28/3?
False
Suppose 0 = 15*l - 16*l + 536. Suppose 0 = 5*t + p + p - 544, -2*p = -5*t + l. Is t a multiple of 25?
False
Let a(b) be the third derivative of 5*b**4/12 + 8*b**3/3 - 2*b**2. Is 19 a factor of a(6)?
True
Let z(n) = -5*n + 70. Let c be z(20). Does 5 divide 692/28 - (c/7 + 4)?
True
Suppose 91*c + 42217 = 155785. Is 12 a factor of c?
True
Suppose -3*u + 350 = -u - 5*h, 3*h = -5*u + 937. Is u a multiple of 73?
False
Let c(p) = p**3 - 8*p**2 + 7*p + 4. Let z be c(7). Suppose 0*b = z*b - 152. Is 20 a factor of b?
False
Let w(a) = -85*a - 222. Is w(-6) a multiple of 8?
True
Is 6 a factor of (1 - 0/(-4)) + 17?
True
Is 7 a factor of (6 - (-390)/10) + 3?
False
Suppose -23*j = 1066 - 7115. Is j a multiple of 8?
False
Let t(k) = k**3 + 0*k**3 - 2*k**3 + 11*k - 19 + 2*k - 9*k**2. Is 16 a factor of t(-11)?
True
Let f = 78 - 79. Is 5 + ((-340)/4)/f a multiple of 15?
True
Suppose -526*h = -542*h + 20144. Does 35 divide h?
False
Suppose 5 = 5*c + 5*b, -4*c + 3 = 5*b - 2*b. Suppose 10*r - 16*r + 810 = c. Is r a multiple of 22?
False
Let z be -6 + 106 + 1 + -5. Suppose v = -7*v + z. Is 5 a factor of v?
False
Suppose -3*i + 16 = -i. Suppose 8*a = 10*a - i. Suppose 2*v = a*v - 10. Is 2 a factor of v?
False
Suppose 5*q + 4273 = 5*n - 2102, 5*n - 6381 = -q. Is 34 a factor of n?
False
Let s = 383 - 167. Is s a multiple of 9?
True
Suppose 4*z = 8, 13*z = 3*m + 10*z + 63. Suppose 0 = -v - 3*q + 2, 5*v - 31 = 4*q - 2. Does 20 divide (-2)/v*(-224 - m)?
False
Suppose -2*v - 4*r = -338, -2*v + 6*v + 5*r = 673. Suppose 5*m - 188 = v. Does 12 divide m?
False
Suppose -48 = 2*o - 0*o. Let b = o + 88. Suppose 2*k - b = 10. Does 10 divide k?
False
Suppose 4*x - 7*x + 1377 = a, -4*a = 2*x - 908. Does 23 divide x?
True
Let c = 236 - 56. Does 12 divide c?
True
Let i(f) = 15*f + 14. Let s(x) = -61*x - 55. Let k(g) = -9*i(g) - 2*s(g). Is k(-8) a multiple of 22?
True
Let i(o) be the third derivative of 0 + 0*o**3 - 1/60*o**5 + 0*o + 19/24*o**4 - 2*o**2. Is 28 a factor of i(12)?
True
Let r(g) be the second derivative of g**5/20 + 4*g**4/3 + 5*g**3/2 + 13*g**2/2 + g - 19. Is r(-13) a multiple of 47?
False
Let l be -4*((-13)/4 + 2). Let o = 35 - 25. Suppose 3*j + 25 = 4*w, -l*w + w + o = 2*j. Does 3 divide w?
False
Suppose 5*l = -3*c + 528, 2*c + 3*c + 236 = 2*l. Let w = -61 + l. Does 19 divide w?
False
Let u(h) = 1 - 7*h**2 + 17*h - 3*h**2 - 8*h + h**3 - 2. Let a be u(7). Let o = -34 - a. Does 11 divide o?
False
Let p(m) = -248*m**3 - 10*m**2 - 3*m + 3. Is 7 a factor of p(-2)?
True
Suppose 0 = 2*p - 3*p - 1. Is 102/(p/(-2) - -1) a multiple of 34?
True
Suppose