r of k?
True
Let a(v) = v**3 + 10*v**2 - 14*v - 9. Let i be a(-11). Suppose -25*g + i*g = -29. Does 9 divide g?
False
Let a(z) = 7*z + 1. Let p be a(5). Let w be (9/p)/((-2)/(-40)). Suppose 2*c - 4*n = 14, 0*c + w*c = -2*n + 47. Is 3 a factor of c?
True
Let j(m) be the first derivative of 59*m**3 - m**2 + m - 8. Is 33 a factor of j(1)?
False
Is 27 a factor of 1816*(0 - (-2)/20)*5?
False
Suppose 0 = -4*m + 4*q + 108, -2 + 6 = 4*q. Is m a multiple of 18?
False
Suppose -c - 72 + 249 = 3*b, -545 = -3*c + 5*b. Is 18 a factor of c?
True
Suppose 5*p = -h - 9, -4*h + 2 = p - 0. Let k = 109 - 89. Let v = k + p. Is v a multiple of 6?
True
Let y(h) = h + 5. Let l be y(-5). Suppose -q = w - 11, 5*w - 5*q - 18 - 27 = l. Let k(c) = c. Is 4 a factor of k(w)?
False
Suppose 3*k - 10 = -4. Suppose -l - 34 = -2*r, 2*r + k*l - 40 = -0*r. Does 12 divide (-288)/r*3*-1?
True
Let w(y) = 3*y**2 + 4*y - 1. Let f be w(-3). Let z = -11 + f. Is 238/6 - (-1)/z a multiple of 11?
False
Suppose -469 = -5*n + 586. Suppose 0 = 2*v + 6, 2*x - 4*v + 3*v - n = 0. Is x a multiple of 26?
True
Suppose -3*b + 2*p = 0, -b + 5 + 9 = 4*p. Suppose -105 = -2*a - 0*u - u, 3*u = -b*a + 95. Let k = 44 + a. Is 23 a factor of k?
False
Does 2 divide 8/2*(2 + 8)?
True
Let f be 3/(1 + -4) - 72. Let m be 1 + -4 + -1 + f. Let o = -41 - m. Does 6 divide o?
True
Let d = 36 - 16. Suppose 0 = 5*s + d, 2*p - s - 3*s = 12. Is 4 a factor of (2 - 36/p)*1?
True
Let f be (-1 + (5 - -14))*-1. Does 9 divide (-1)/(-2)*-25*f/15?
False
Let w = 11 + -12. Let i(d) = -177*d**3 - 1. Let s be i(w). Suppose -3*l + s = 8. Is l a multiple of 16?
False
Let g(d) = 2*d - 2. Let q be g(-3). Let j be ((-418)/4)/(2/q). Suppose 7*s - 2*s = 2*b + j, 3*s = -4*b + 256. Is 28 a factor of s?
True
Let v = 63 + -63. Let n(u) be the third derivative of -u**4/12 + 4*u**3 - 3*u**2. Is n(v) a multiple of 8?
True
Let y = -21 + 18. Let g be 4/y*27*-1. Suppose -12*u = -13*u + g. Is 12 a factor of u?
True
Let n = -217 - -384. Suppose 2*l - x - n = -0*l, -l = 3*x - 87. Is 14 a factor of l?
True
Let i be 11 - (3 - 1/(-1)). Suppose -i = -3*p - 4. Let h = 18 + p. Is h a multiple of 7?
False
Suppose -107*c = -132456 - 201491. Does 22 divide c?
False
Suppose -4*z - 12 = -3*z. Let y = -12 - z. Is 26*(-9)/(y - 3) a multiple of 20?
False
Let r be 8/12 + 2/(-3). Suppose 3*u - i - 50 = 0, 0 = 5*u + 3*i - 4*i - 84. Suppose 5*x - 62 + u = r. Is x a multiple of 4?
False
Let i(b) = 46*b + 41. Suppose -2*o + 3*r = -11, -15 = -5*o - 3*r + 2. Is i(o) a multiple of 12?
False
Suppose 2*j + 4*u - 612 = 1248, 3*j + 5*u = 2790. Does 15 divide j?
True
Is 7 a factor of 172/(-387) + (-1898)/(-18)?
True
Does 38 divide -2 - (-2233 - (2 + -12))?
False
Let r(a) = 2*a**2 + 3*a + 1. Let i be r(-3). Suppose -i = 3*k - 58. Is k a multiple of 15?
False
Suppose l + 2 + 2 = 3*j, -j - l = -4. Suppose -j*k + 1 = 3*i - 2, 0 = 3*k + i - 15. Does 2 divide k?
True
Let n(f) = -8*f - 11. Let z(j) = -7*j - 12. Let v(y) = 5*n(y) - 6*z(y). Is 3 a factor of v(6)?
False
Suppose 4*y - 4*z = 10 + 6, -4*z - 20 = -5*y. Let n be (y - 3 - 1) + -2. Is 14 a factor of 1235/26 - 1/n?
False
Let f be (-2 + 1)/(1/3). Is 5 a factor of (f - -2)*-17 + -1?
False
Let b(p) = 2*p**3 - 18*p**2 + 16*p + 19. Is b(8) a multiple of 6?
False
Suppose s - 815 = -0*r - 2*r, -3*r = -2*s - 1219. Is 58 a factor of r?
False
Suppose 25 = 3*s + 2*s. Let b be (4 + -5 - 2) + s. Suppose -b*t = 4, 4*n - 4 = 2*t + 80. Does 8 divide n?
False
Let n(i) = 8*i**2 - 5*i + 19. Is 68 a factor of n(-9)?
False
Suppose -u - 21 = 14. Does 5 divide (-30)/u*(33 + 2)?
True
Suppose -3*f + f = 2*h, -h = -f + 2. Let i = -2 - f. Let y(x) = 5*x**2 + 2*x - 6. Is y(i) a multiple of 11?
True
Let n = 226 - 197. Is n a multiple of 6?
False
Let q = 37 - 34. Suppose 42 = -u + q*u. Is 6 a factor of u?
False
Let d(h) = -3*h**3 + 11*h**2 - 12*h - 8. Let c(p) = -4*p**3 + 12*p**2 - 13*p - 7. Let i(w) = -4*c(w) + 5*d(w). Suppose 15*a - 30 = 20*a. Does 12 divide i(a)?
True
Let c = 16 + -13. Let q(t) = 7*t**2 + 6*t**2 - 3*t**2 + t**2 + c*t. Is 18 a factor of q(-2)?
False
Let s(f) = 0 - 7*f**2 - 2*f**2 + 2. Let h be s(-3). Let c = h - -135. Is c a multiple of 12?
False
Suppose 2*u - 3*u = 3*q + 35, 5*u = 2*q - 107. Let y = 87 + u. Is y a multiple of 16?
True
Let x be (2*(-3)/6)/(2/782). Let m = -229 - x. Does 18 divide m?
True
Suppose -3075 = 7*q - 12*q. Is 26 a factor of ((-4)/3)/((-5)/q)?
False
Is 38 a factor of 2/6 + (-6)/((-72)/1820)?
True
Suppose 1485 = w + 4*w. Let g = w + -139. Suppose 4*i - g = 5*t, 179 = -0*i + 5*i + 3*t. Does 11 divide i?
False
Let r = 4283 - 1925. Is r a multiple of 6?
True
Let b(v) = 3*v + 46. Does 4 divide b(-13)?
False
Suppose -36427 = -122*s + 60685. Is s a multiple of 20?
False
Let j(x) = x**3 + 7*x**2 - 9*x - 12. Let q be j(-8). Does 27 divide ((-3)/2)/((-12)/q)*-422?
False
Let c(p) = p**2 - 6*p + 9. Let r be c(5). Suppose 0 = -3*w + r*q + 101, 4*w + w + 4*q - 115 = 0. Suppose 19 = 2*d - w. Is 3 a factor of d?
False
Let v = -17 - -21. Suppose -4*c = -9*c - 5*n + 100, v*n = 3*c - 32. Suppose -c = -d - 5. Does 11 divide d?
True
Let x(p) = p**3 - 16*p**2 + 14*p + 15. Let a be x(15). Suppose a = 9*y - 376 + 70. Is 14 a factor of y?
False
Let c(m) = -m**3 - 9*m**2 + m - 3. Let y be -1*-5*3 - -3. Let g be 3*(-20)/y*3. Is c(g) a multiple of 24?
False
Suppose 0 = -2*m + 4*o - 394 + 3198, 0 = 5*m + 3*o - 7049. Does 88 divide m?
True
Suppose 3*f + 2*t = 1435, -3*f - 5*t = -f - 942. Is f a multiple of 13?
True
Let m(u) = 30 - 9*u + u**2 - 30. Let z be m(8). Is 26 a factor of (-7 - z)/(2/108)?
False
Suppose 0 = v - c + 107, -2*c - 515 = 5*v + 3*c. Let j = 150 + v. Is j a multiple of 6?
False
Is 0 - -1 - ((4 - 11) + -2783) a multiple of 9?
False
Is 26 a factor of ((-37)/2)/(6 - (-1551)/(-258))?
False
Let h = -11 - -16. Suppose 918 = h*j + 278. Let z = j - 86. Is 18 a factor of z?
False
Let j(l) = 10*l**2 + 2*l - 4. Let b be j(1). Does 34 divide (-22)/88 + 546/b?
True
Let t(g) = -374*g - 18. Let b be t(-2). Suppose -4*j - d = -605, -5*d + d - b = -5*j. Is j a multiple of 25?
True
Let i be 309*(40/(-15))/(-2). Let j = 709 - i. Does 44 divide j?
False
Let j = -942 - -1904. Is j a multiple of 26?
True
Is 16 a factor of -2*((-997)/2 + 24/6)?
False
Let t be (-6 - -6) + 1*-17. Let d = -8 - t. Suppose d + 14 = z. Is 5 a factor of z?
False
Suppose -5*o = x - 20, -4*o + 45 = 4*x - 9*x. Suppose s = -5*w + o*s + 144, -4*w + 111 = s. Is w even?
True
Is (1797 - 12/2) + -1 a multiple of 11?
False
Let f be 0 + 3 + 9/(-3). Let l(j) = -j**3 - 3*j + 217. Is 11 a factor of l(f)?
False
Let x(d) = d**2 - 7. Let y be x(0). Let i = 47 + y. Is i a multiple of 20?
True
Let x(c) = -c**2 - 14*c - 18. Suppose -5*q = o - 25, 1 = 2*q - o - 9. Suppose -76 = q*n + 4*y, -15 + 3 = 3*y. Is 3 a factor of x(n)?
True
Suppose 5*z + x + 76 = -74, -5*x - 37 = 2*z. Let f = 25 - z. Suppose f = 2*h + 18. Is 8 a factor of h?
False
Let p(f) = 32*f**2 - 7*f + 67. Does 11 divide p(6)?
True
Suppose -2*q - 3*q + 935 = 0. Suppose 122 = 3*l - q. Does 18 divide l?
False
Suppose 2*t = 3*g + 591, 3*t + 2*g - 6*g = 888. Does 24 divide t?
False
Let y(w) = -w**2 + 11*w - 12. Let t be y(10). Is 5 a factor of 30*(t + 1)*6/(-4)?
True
Let l(m) = -2*m**2 - 8*m + 3. Let i(o) = -2*o**2 - 7*o + 2. Let w(x) = -7*i(x) + 6*l(x). Is w(9) a multiple of 35?
True
Suppose 5*d - 323 = -93. Suppose -l + 284 = 5*t, t - d - 8 = -3*l. Is 7 a factor of t?
False
Let r(x) = 2*x - 2. Let s(p) = p**3 + 7*p**2 - 2*p - 13. Let y(f) = -4*r(f) + s(f). Let n be 66/(-8) - 1/(-4). Is y(n) a multiple of 7?
False
Suppose 0 = -4*k + h + h + 1044, 0 = 3*k + 3*h - 801. Let v = 379 - k. Does 29 divide v?
True
Suppose 0 = y + 16 - 50. Is y a multiple of 5?
False
Let u(i) = i**3 - 10*i**2 + 6*i - 15. Let m be u(10). Suppose -2*x = 3 - m. Is x a multiple of 7?
True
Let x be (-2)/4 + 28/8. Let j(a) = 4*a - 14 - a + x. Does 16 divide j(9)?
True
Let m(q) = q**2 - q - 1. Let z(t) = -4*t**2 - t - 4. Let n(h) = 5*m(h) + z(h). Let k be n(7). Does 12 divide k/(2 + 50/(-24))?
True
Let l = -18 + -1. Let i = l + 64. Suppose 6*m - i = m. Does 7 divide m?
False
Let q = -19 - -9. Is (48/(-10))/(q/200) a multiple of 12?
True
Let x(n) = n**3. Let l(u) = 4*u**3 + 16*u**2 + 19*u + 6. Let g(k) = -l(k) + 3*x(k). Is 27 a factor of g(-15)?
True
Let t = 1373 - 64