 - 2. Let p be y(-4). Let a be ((-4)/(-6))/(4/p). Let w(v) = 44*v**2 + 2*v - 1. Is 15 a factor of w(a)?
True
Let x(b) = b + 22. Let f(y) = -5*y + 5. Let c be f(-5). Let w be c/(-4)*8/6. Is x(w) a multiple of 12?
True
Suppose -9 = 2*k + 3*l, -3*k + 3*l + 6 = l. Let q(m) = m**3 - m**2 + m + 179. Let t be q(k). Suppose -2*d + 43 = v - d, 0 = 4*v - 3*d - t. Does 15 divide v?
False
Let m = -35 + 70. Let l(v) = v**2 + 8*v. Let t be l(-8). Suppose 5*s + m = 5*k, 4*k - 6*k + s + 19 = t. Is k a multiple of 12?
True
Let j(o) = o**3 + 7*o**2 + 11*o + 3. Let b(w) = 0*w**3 + 31*w**2 - 4 - 39*w**2 - w**3 - 11*w. Let c(k) = 3*b(k) + 2*j(k). Is c(-9) a multiple of 12?
True
Does 55 divide (766/(-10) + 1)/(225/(-750))?
False
Let u be -4 + (-4 + -1 - -1). Is (-2*(-41)/8)/((-2)/u) a multiple of 32?
False
Let c(l) = -4*l + 89. Is 6 a factor of c(7)?
False
Let q(h) be the third derivative of h**5/10 + h**4/12 - 2*h**3/3 - 4*h**2. Let a be -5 + (3 - 7) + 5. Does 28 divide q(a)?
True
Suppose -5*f + 1112 = -4*y, 8 = 3*f - 5*f. Let s = -199 - y. Is 12 a factor of s?
True
Let n = 119 + 2819. Does 13 divide n?
True
Let h(b) be the first derivative of -b**2/2 - 3*b - 5. Let p be h(-2). Is (-4)/1*1/p a multiple of 2?
True
Let l(p) = 16*p**2 + 39*p + 1. Let i(g) = 11*g**2 + 26*g + 1. Let y(b) = -7*i(b) + 5*l(b). Is 7 a factor of y(-6)?
True
Suppose 4*f - 32 = -6*t + 2*t, 27 = 3*f + 4*t. Suppose -f*w + 159 = -126. Is 19 a factor of w?
True
Let q(g) = -2*g**3 + 38*g**2 + 42*g - 35. Does 2 divide q(20)?
False
Suppose 4*i - 5176 = -3*q, 0 = -138*i + 141*i + 4*q - 3889. Is 39 a factor of i?
False
Let h be -1 + 4 + (0 - -1). Suppose -2*g - 3*b = -184, -g + 3*g - h*b = 212. Does 14 divide g?
True
Let g(f) be the second derivative of 17*f**3/6 + 5*f**2/2 - 11*f. Let q be 104/24 - 6/(-9). Is 30 a factor of g(q)?
True
Let l be 2/5*30/(-24)*-734. Suppose -l = -3*m - 76. Is m a multiple of 10?
False
Let v be -2 + 4 + 8*-1. Let h = 26 - v. Does 16 divide h?
True
Let z be (-1)/(-7) + 82/14. Let g(k) = 26*k + z - 9*k - 2. Does 17 divide g(3)?
False
Let p(j) = -j**3 + 5*j**2 + 7. Let r be p(-4). Is (-8)/(-4)*-2 - -1*r a multiple of 21?
True
Let p be 60/18 + 4/6 + -1. Is -886*(p + 2)/(-10) a multiple of 39?
False
Suppose -77*r + 13809 = -7828. Is r a multiple of 2?
False
Let f = -13 - -4. Let z(o) = 13*o + 17. Let j(p) = -7*p - 8. Let w(d) = 11*j(d) + 6*z(d). Is w(f) a multiple of 3?
False
Let q = 456 - -90. Is q a multiple of 7?
True
Suppose 3*n - 371 = 187. Suppose 2*o = -3*s + n, s - o = -4*s + 297. Does 30 divide s?
True
Let t = -5 - -7. Suppose 24 = w + 4*i - 0*i, 2*w = t*i + 58. Suppose 3*q - w = 56. Is q a multiple of 7?
True
Let s(j) be the first derivative of j**2/2 + 2*j + 10. Let u be s(20). Suppose 0 = o + o - u. Does 5 divide o?
False
Let p(d) = d**2 - d - 2. Let k be p(-4). Let b = k - -1. Is b a multiple of 7?
False
Suppose 52 - 352 = -3*g. Is g even?
True
Let g(n) = n**2 + 19*n - 27. Suppose 4*h + 21 = 3*h. Does 3 divide g(h)?
True
Let f be ((-3)/(-12) + 15/(-12))*-73. Suppose -3*c - 4*q + f = -71, -4*c + q = -192. Does 24 divide c?
True
Let w = 342 - 198. Suppose -p = -7*p + w. Is p a multiple of 9?
False
Let i = -39 - -55. Let f = 10 - i. Is f/(-4) + (-402)/(-12) a multiple of 12?
False
Suppose 0 = -2*n + 5*n - 132. Let w = -29 - -38. Suppose -4*p - 118 = -3*r, -3*p - w = r - n. Is 19 a factor of r?
True
Let c = -31 + 33. Suppose -c*n + 10 = -188. Is n a multiple of 33?
True
Let w = 98 - 31. Is w a multiple of 2?
False
Let r(z) = 6*z. Let n be r(-1). Let q be (-2)/(n/9) + -8. Let w = q - -19. Is 5 a factor of w?
False
Let k = 516 - 761. Let r = k - -175. Let n = r - -126. Is 19 a factor of n?
False
Suppose 9*x - 4*x + 5*p - 805 = 0, 2*x + 3*p - 325 = 0. Is 11 a factor of x?
False
Let n(p) = p**3 - p**2 - p + 2. Let g be n(0). Suppose 0 = -2*j + 5*v + 56, j + v = -g*v + 17. Suppose j = b + 5. Is b a multiple of 9?
True
Let p be (22 - 20) + -1 + 2. Let q be ((-1)/2)/(1/(-4)). Suppose 8*o = -5*v + p*o + 150, -45 = -q*v + o. Does 16 divide v?
False
Let v(x) = 16*x**2 + 31*x + 211. Is 39 a factor of v(-13)?
False
Let i be (3 + -3*(-12)/(-9))*-14. Suppose -10 = -8*k + 3*k. Does 7 divide (k + i/(-4))*-14?
True
Suppose 5*n - 189 = 4*d + 387, -4*n - 3*d = -436. Let t = 61 - n. Let i = t - -85. Does 17 divide i?
True
Suppose 0 = 6*f - 4*w - 10784, 4*f + 7*w - 9*w = 7190. Does 36 divide f?
False
Suppose 0 = 2*h - 5*s + 2 + 14, 2*s - 18 = -5*h. Suppose -3*o = 3*y - 54, -3*y - 9 = -2*o + 37. Suppose x = h*x - o. Is x a multiple of 5?
True
Suppose 4*p - 22 = -26. Is 10 a factor of 5133/(-58)*(p + 1/(-3))?
False
Let w be (-10)/60*2 + 70/(-6). Let u = -5 + -9. Let a = w - u. Is 2 a factor of a?
True
Suppose -1 - 27 = -4*z. Let n be 252/(-9*3/(-72)). Suppose z*f + 217 = n. Is 12 a factor of f?
False
Suppose 4*s - 2071 = -5*x, -17*x - 499 = -s - 22*x. Is s a multiple of 50?
False
Let l = 21 - 13. Let s(i) = 0 + l*i**2 + i + 5 - 7. Is s(-2) a multiple of 14?
True
Suppose -3*w + p + 5 = 0, 0 = -w + 4*p - 2 - 0. Suppose -w*z - 10 = 0, 3*b + 2*z = z + 85. Is b a multiple of 30?
True
Let o = -11 - -9. Let q = o - 2. Is 26 a factor of (-10)/q*(-522)/(-15)?
False
Suppose 3*q - o = 5*q, -5*q - 3 = 4*o. Is 2 a factor of 4 + 1 + -2 + q?
True
Suppose 7*d - 11*d = -5*j + 841, -d + 821 = 5*j. Is 15 a factor of j?
True
Let f = 32 - 22. Suppose 446 - 76 = f*r. Is r a multiple of 37?
True
Suppose 44*g + 1500 = 54*g. Is g a multiple of 10?
True
Suppose -4*n + 16871 = 5*b, 16*n = 21*n + 5. Does 9 divide b?
True
Suppose 5*i + 156 = 2*i. Let h = 112 - i. Suppose 5*o = -4*q + 2*o + h, -o = 2*q - 84. Is q a multiple of 10?
False
Suppose 857 + 981 = 3*t - 2*a, -3*a = -t + 601. Is 11 a factor of t?
True
Let b(q) = -5 - 2*q**3 - 3*q + 0*q + 4 - 3*q**2 + 4*q**3. Let t = 8 - 5. Is 17 a factor of b(t)?
True
Suppose 2*i = -z + 998, -101*z + 103*z - 1995 = -3*i. Is 83 a factor of z?
True
Let j = 180 - 160. Is j a multiple of 4?
True
Is (-606)/7*(-56)/6 a multiple of 9?
False
Let m(t) = 16*t**2 - 14*t + 4. Does 22 divide m(5)?
False
Let g(q) = 17*q**2 - 6*q + 3. Let t(i) = i**2 + i - 1. Let w(b) = g(b) + 5*t(b). Let m be w(-1). Let l = -11 + m. Is 5 a factor of l?
True
Let o be 42/(-273) - (-80)/13. Suppose -o*a = 6*a - 348. Does 13 divide a?
False
Let r(l) = -l**3 + 42*l**2 - 43*l + 160. Does 26 divide r(41)?
True
Suppose -p = k + p - 195, -k + 3*p + 190 = 0. Is 13 a factor of k?
False
Let r = 28 + -36. Does 13 divide ((-10)/r)/(2/104)?
True
Let b(y) = 7*y + 8. Let r(g) = -8*g - 8. Let o(s) = -3*b(s) - 2*r(s). Is o(-4) a multiple of 10?
False
Suppose -11*w + 53*w - 76020 = 0. Is 27 a factor of w?
False
Let w(v) = 51*v + 51. Does 21 divide w(6)?
True
Let y be 1 - (-5)/((-20)/(-4)). Let x = 7 - y. Is 5 a factor of x?
True
Suppose -2*f + 23*z + 5975 = 18*z, -5*f = -z - 14903. Is f a multiple of 31?
False
Let d(t) be the third derivative of t**4/24 + 13*t**3/6 + t**2. Let x be d(-10). Suppose -s - x*s + 52 = 0. Does 8 divide s?
False
Let s be 4 + (6 + -2)/(-4). Let h = s + 4. Suppose 6*y = h*y - 12. Is y a multiple of 4?
True
Let x = 23 + -57. Let l = 62 + x. Does 7 divide l?
True
Is 33 a factor of (3296/(-56))/((-2)/7)?
False
Let l(w) = w**2 - 10*w + 10. Let i(m) = 11*m**2 + 3*m - 2. Let g(d) = -32*d**2 - 10*d + 7. Let y(n) = 2*g(n) + 7*i(n). Let h be y(-1). Is 17 a factor of l(h)?
True
Suppose 7*u + 4*r - 16 = 3*u, -5*r - 15 = 0. Let s(y) = -y**3 + 8*y**2 + 4*y - 1. Is s(u) a multiple of 32?
False
Let z(c) = 10*c**2 - 121*c + 48. Is 72 a factor of z(14)?
False
Suppose 10 = -2*t - 5*y - 4, -5*t = 4*y + 1. Suppose -t*r - 281 + 701 = 0. Is 28 a factor of r?
True
Let l = 5 - -9. Suppose l = u + 3*g + 41, 0 = -u - g - 29. Let a = u - -61. Is 11 a factor of a?
False
Suppose 0*o + o + 4 = 0, 3*c + 2*o - 7 = 0. Suppose n = -4*w + 32, 5*w + c*n - 40 = -0*w. Is 7 a factor of w?
False
Let j(y) = -108*y**3 - 2*y**2 + 2*y + 3. Does 37 divide j(-1)?
False
Let d be 7/(21/(-108)) - 5. Let i = 119 + d. Does 13 divide i?
True
Does 26 divide 336/(-2)*(-52)/6?
True
Suppose 3*i - 9 = -4*v, 7*i - 3*i + 19 = 5*v. Let f(u) = 44*u**2 - 3*u - 2. Is f(i) a multiple of 18?
False
Let z = -28 + 16. Let x be 10/(-4)*z/5. Suppose r + w = x*w + 49, -5*w + 171 = 4*r. Is r a multiple of 12?
False
Suppose 3*b + 17 - 149 = 0. Let k = b + -22. Is 11 a fa