s 9 a factor of q(b)?
False
Let s(j) = -2*j**3 - 19*j**2 - 2*j - 25. Is 24 a factor of s(-11)?
True
Let m(z) = -4*z**3 - 6*z**2 - 15*z + 7. Is m(-6) a multiple of 13?
False
Let r(v) = -v**3 + 3*v**2 + 3*v - 4. Let i be r(3). Let g be (-70)/4*(24 - 28). Suppose -f + 237 = 3*c, i*f + 5 - g = -c. Is 40 a factor of c?
True
Let w = -661 - -327. Let f be (w + -1)*(-4)/5. Does 16 divide f/10*(-20)/(-8)?
False
Suppose -363 = -21*r + 5538. Is r a multiple of 51?
False
Let t(y) = y**3 - 4*y**2 - 4*y + 4. Let r(s) = s**2 - 5*s + 4. Let z be r(5). Let l be t(z). Is (108/(-16))/(3/l) a multiple of 9?
True
Let q(t) = 3*t**3 - 5*t**2 + 4*t. Let i be q(3). Suppose -m = -i - 32. Suppose -4*o + m = 4*k, -2*k = -o - 5*k + 12. Does 12 divide o?
True
Suppose 6384 = 7*v + 17*v. Is 6 a factor of v?
False
Suppose -3*h = x - 278, -3*h + x + 115 + 171 = 0. Suppose 3*q + 54 = 4*o, -q = 2*o + 2*q - 18. Let c = h - o. Is c a multiple of 22?
False
Suppose 5*i - 2*i - p = 1443, -5*p = 15. Is 92 a factor of i?
False
Let f be 0 - (87/(-17) + 4/34). Suppose -2*c - 180 = -2*l, -4*l = -f*c - 232 - 128. Is 18 a factor of l?
True
Let t = 0 + 2. Suppose 5*q - t*q = a + 80, -4*q + 128 = 4*a. Does 5 divide q?
False
Let u = -622 - -1329. Does 39 divide u?
False
Suppose -s + 2*a = 4*a - 34, -a + 2 = 0. Does 6 divide s?
True
Suppose -10*o = -264 - 456. Is o a multiple of 9?
True
Is 14 a factor of (-18)/2 - (-5627 + 130)?
True
Let n(r) = 10*r**2 - 10*r - 2. Let b be n(6). Suppose 0 = -6*u - b + 874. Does 12 divide u?
True
Suppose 5*p = 23*p - 3888. Does 72 divide p?
True
Suppose 4*o - 4*j - 2516 = 0, -13*o + 1871 = -10*o + 5*j. Is o a multiple of 19?
True
Suppose -2*z + 2*k = 3*k - 17, -2*z - 3*k + 7 = 0. Suppose -20 = -4*m + 3*t + z, 3*t = -2*m + 11. Does 6 divide m?
False
Suppose 0 = -8*m + 370 + 1958. Does 24 divide m?
False
Let l = -30 - -44. Let j(z) = z**2 - 9*z - 2. Is 17 a factor of j(l)?
True
Let t(s) be the first derivative of -s**4/4 - s**3/3 - s**2/2 + 21*s - 7. Let w be t(0). Does 24 divide 166/3*w/14?
False
Let f = -200 - -79. Let j = -25 - f. Is j a multiple of 24?
True
Let m(b) = 2*b - 6. Let l be m(9). Let w be (2 - 1)/((-2)/l). Does 6 divide -2 + 3*(-74)/w?
False
Suppose -4*q - 96 = -4*a, -3*q - 10 - 2 = 0. Let x(i) = 2*i + 8. Is 14 a factor of x(a)?
False
Suppose 5*d = -2*i + 2*d + 202, 0 = -i - 3*d + 98. Suppose 2*t = 3*t - i. Is 22 a factor of t?
False
Let l(r) = -r**2 + 14*r + 5. Let x be l(10). Let p = x - 21. Is p a multiple of 12?
True
Suppose 3*r - 5*c - 28 = 5*r, 2*c = -r - 14. Let h = r + 18. Suppose 140 = h*u + 8. Is 33 a factor of u?
True
Let h(z) be the second derivative of 47*z**7/2520 - z**6/720 + z**5/120 - z**4/4 + 2*z. Let k(o) be the third derivative of h(o). Does 12 divide k(1)?
False
Suppose -1764 = -102*h + 95*h. Does 42 divide h?
True
Let y be -10*10/(-75)*-24. Is 8 a factor of y/12*69/(-2)?
False
Let c(x) = -x**3 - 22*x**2 - 8*x - 27. Does 32 divide c(-26)?
False
Let g(j) = j**3 + 6*j**2 + 8*j + 7. Let d(a) = 4*a**3 + 19*a**2 + 25*a + 20. Let p(u) = 2*d(u) - 7*g(u). Is 3 a factor of p(6)?
True
Let l be 4/((-4)/3) - -35. Let o(r) = -2*r - 1 + l*r**2 + 21*r**2 - 2*r**2. Is 26 a factor of o(-1)?
True
Let j be (40/(-6))/((-3)/27). Suppose -2*z = -k - 60, -z - z + 2*k + j = 0. Suppose -2*l = -3*l + z. Is l a multiple of 7?
False
Let u = 197 + -88. Let f = -238 + 351. Suppose -5*p = -4*i - f, -p - 3*i = 3*p - u. Is 8 a factor of p?
False
Let s(m) = -m**3 + 10*m**2 + 11*m + 2. Let l be s(11). Suppose -5*u + 50 = -l*u - n, n = 5*u - 82. Suppose 3*k + 1 = u. Is 4 a factor of k?
False
Let y(x) = -x**3 + 5*x**2 + 5*x - 1. Let u be y(7). Let s = 109 + u. Is s a multiple of 15?
True
Is -22 + 21 + 2 + 0 + 503 a multiple of 14?
True
Let a = -25 - -94. Is a a multiple of 23?
True
Suppose -18 = 4*r - 2*z, r - 13 + 1 = -5*z. Is 3 - (-1 + 114/r) a multiple of 7?
True
Let s(b) = 27*b - 591. Let o(u) = -7*u + 148. Let q(i) = -15*o(i) - 4*s(i). Is 18 a factor of q(0)?
True
Let b = -1745 + 3493. Is 38 a factor of b?
True
Suppose -8*u + 2392 + 1608 = 0. Is u a multiple of 25?
True
Let h = 108 - -11. Is h a multiple of 3?
False
Let u(m) = 5*m**2 + 3*m. Suppose -2*f + 1 = -27. Suppose 0 = 5*x - 3*r + 3 + 13, 2*r = 5*x + f. Does 13 divide u(x)?
False
Suppose 0 = 42*s - 637 - 371. Let q = 28 + 3. Suppose l - q = s. Is 11 a factor of l?
True
Suppose 0*m + 5*m = 10. Suppose -425 = -5*b - j, -b = 3*j - 83 - m. Is b/(-2)*16/(-20) a multiple of 12?
False
Suppose u + 88 = l - 2*u, -l - 5*u + 128 = 0. Suppose -l = 5*k - 583. Is k a multiple of 14?
False
Suppose 14 = -3*g + 4*o + 3, -5*g = o - 20. Suppose -8 = -g*w + 61. Is w a multiple of 9?
False
Is (-12679)/(-310) + 2/20 a multiple of 8?
False
Suppose -3088 - 4953 = -2*p + 5*o, -3*o = 2*p - 8081. Is p a multiple of 8?
False
Suppose -3*h + 11 = -22. Suppose h = q - 24. Does 35 divide q?
True
Suppose 81*w - 3422 = 23389. Does 76 divide w?
False
Let c = -228 + 248. Is 4 a factor of c?
True
Suppose 4*u + 6*u - 750 = 0. Suppose -u = -5*y - 3*z - 2*z, -y + 2*z + 15 = 0. Is 6 a factor of y?
False
Suppose 2*i = -2*i + 392. Suppose 38 = -96*k + i*k. Is k a multiple of 4?
False
Let d = 1301 - 802. Does 11 divide d?
False
Let q = 1 - -1. Suppose 0*i = q*i - 82. Suppose 4 = 4*w, 4*z - w - i = z. Is z a multiple of 14?
True
Suppose 5*g - 7*g = -36. Let t be 12/g + 14/6. Suppose 26 = 4*a + 2*d, -a - 3*a - t*d = -25. Is a even?
False
Let b(s) = -15*s**2 + 1. Let g be 2/11 + 182/(-154). Let q be b(g). Let z = q + 36. Does 22 divide z?
True
Is (-79692)/(-54) - (-20)/90 a multiple of 18?
True
Suppose 0 = -5*l + 1 + 14, 0 = -4*j - l + 51. Let y = 213 + -218. Let k = j + y. Is k a multiple of 2?
False
Let p be (2 - (3 + (-3 - -1)))*14. Suppose p*y - 4741 - 411 = 0. Does 16 divide y?
True
Let p = 182 - 380. Let c = -73 - p. Suppose -3*r = -28 - c. Does 17 divide r?
True
Does 13 divide (-176 - 10)/(6/(-3))?
False
Let c = 6 + -4. Let t(j) = 0 + 0 + 0*j**c - 9*j + j**2 - 2. Does 10 divide t(11)?
True
Let f(x) = -3*x**3 + 12*x + 16. Is f(-3) a multiple of 26?
False
Let p(v) = 3*v + 9. Let o = 0 + -4. Let l be p(o). Is 7 a factor of (-2 + 44)/3 + l?
False
Let z = 37 + -31. Suppose -825 = -z*u + 399. Is u a multiple of 34?
True
Suppose -14411 = 5*g + 3*v, -5*g + v - 14408 = 5*v. Is g/(-16) - (-2)/(-8) a multiple of 45?
True
Suppose 6*o - 2*o = 292. Let d = -56 - -222. Let x = d - o. Is 14 a factor of x?
False
Is 13 a factor of 2/(-4) + (-7328)/(-64)?
False
Let j = -816 + 1445. Is j a multiple of 17?
True
Let r = 136 + -103. Does 19 divide r?
False
Suppose 3*l + 15 = 3. Let z = l + -4. Does 13 divide z/(-10) - (-512)/10?
True
Suppose 12*l = 22*l - 12480. Does 13 divide l?
True
Let w(r) = -5*r**3 + 2*r**2 + 3. Let j be w(2). Let f = 44 + j. Is 3 a factor of f?
True
Let l be 1 - (-5 + (4 - 3)). Suppose -42 = -2*c - l*h, 3*c - 2*c - h - 7 = 0. Is c a multiple of 11?
True
Let b be ((-9)/(-12))/(1/28). Let t be 49/(-14) - 2*(-1)/4. Let s = t + b. Does 14 divide s?
False
Does 4 divide ((-1852)/6)/(((-130)/15)/13)?
False
Let t(d) be the second derivative of d**5/10 + d**4/4 - 2*d**3/3 + d**2/2 - 2*d. Does 10 divide t(3)?
True
Let f be 5 + 0 + -3 + 1. Is (-228)/(-3) - (-3)/f a multiple of 7?
True
Let f(b) = b**2 - 2*b + 145. Does 29 divide f(0)?
True
Let j(a) = -a**3 + 6*a**2 + 7*a + 5. Let y be j(7). Suppose 1 = -y*t + i + 381, -4*i - 320 = -4*t. Is 15 a factor of t?
True
Suppose -5*l + 0 = 5*g - 25, 4*g + 3*l - 20 = 0. Suppose 1 - g = -4*q. Is 13 a factor of 54 + (3 - (q - -4))?
True
Let f be 16/40*(-5)/(-2). Suppose -u - 2 = 2*r, -5*r = u + f + 7. Suppose -4*b + 14 = 3*n - u*n, -n + 2*b + 2 = 0. Is 3 a factor of n?
True
Suppose -13*o + 532 = -8*o - c, -413 = -4*o + 5*c. Is (6 + 15/(-3))*o a multiple of 32?
False
Suppose 2*m - y = 0, -2*m + 3*y - y = -2. Is 21 a factor of ((-3)/(-6))/m + (-494)/(-4)?
False
Let v be (8/10)/((-1)/(-10)). Let z be 14 - v - (1 - 0). Suppose 0 = 4*m - z*s - 93, -5*m - 3*s + 117 = -m. Is m a multiple of 10?
False
Let m(i) = i**2 - 52*i - 12. Does 23 divide m(-8)?
False
Let s(c) = -c**2 - c + 5. Let p be s(-2). Suppose 5*v = p*i - 0*v - 275, v - 382 = -4*i. Is 11 a factor of i?
False
Let f(d) = 10*d + 122. Is 36 a factor of f(31)?
True
Suppose 19*d = 20*d - 94. Suppose 0 = 2*n - 3*s + 8*s - 158, -d = -n + 5*s. Is 14 a factor of n?