 d a multiple of 28?
True
Let o = 181 - 235. Let x(b) = -b**2 + b - 2. Let p be x(-5). Let m = p - o. Is 8 a factor of m?
False
Let k(a) = 2*a**2 + 43*a + 293. Let g be k(-10). Let s(j) = -2*j + 2. Let w be s(-4). Suppose -9*u - g = -w*u. Is 11 a factor of u?
False
Let o(l) = 14 + 3*l - 2*l - 1. Let t be o(-11). Suppose -t*w + 3*h = 3*w - 190, -5*w = 2*h - 215. Does 7 divide w?
False
Let u(j) = j**3 + j**2 - j - 6. Let y = -9 - -11. Let w(p) = p**2 + 2*p - 5. Let a be w(y). Is 11 a factor of u(a)?
False
Let b(z) = -3*z**3 + 8*z**2 + 6*z + 53. Does 20 divide b(-7)?
False
Let c = 19 - 13. Suppose -4*f - 4 = -12. Suppose i + 4*j = c*i - 244, 5*i - f*j = 242. Does 14 divide i?
False
Let q be ((-63)/14 + 0)*(-56)/6. Suppose -150 - q = -3*t - 4*a, t + a = 63. Is t a multiple of 5?
True
Suppose 0 = -10*d + 24877 - 2567. Is 97 a factor of d?
True
Suppose 3*h = 5*x + 4, 6*x - x - 4*h = -7. Let q be (30/3*x)/2. Suppose -5*r = -q*k - 35, -2*r - r + 20 = -2*k. Does 2 divide r?
True
Suppose 0 = 3*b + 5*g - 695, g + g = 2*b - 458. Is b a multiple of 6?
False
Is 3 a factor of 145*((-528)/40)/(-11)?
True
Let i(k) = 22*k. Let d be i(-1). Let m be ((-16)/(-14))/(32/784). Let y = m + d. Is y a multiple of 3?
True
Suppose 22*l = 11526 + 8252. Is 83 a factor of l?
False
Let j be 3/2 + (-11)/(-22) + -166. Let h = j - -249. Is 8 a factor of h?
False
Let s(d) = 8*d**2 + 2*d. Let p be s(2). Let x(q) = -q + 2. Let j be x(-2). Suppose -3*w + 1 = -z, -j*z + p = -2*w - 0*w. Is 3 a factor of z?
False
Suppose 0 = -5*g - 2*s + 24, s = -g + 5*g - 14. Let i be (-378)/8 + 12/(-16). Is 7 a factor of 31/g + 36/i?
True
Let b = 1742 + 533. Is b a multiple of 12?
False
Suppose -3*j = 2*j - 5, 2*u - 4*j = -28. Is 20/(-15) + (-868)/u a multiple of 25?
False
Let v(n) = -n**3 - 9*n**2 - 2*n - 2. Let d be v(-9). Suppose 0 = 4*g - 8*g + d. Suppose 5*t - 3*z = 132, 0 = -2*t - 0*t - g*z + 58. Does 7 divide t?
False
Let r(g) = -g - 2. Let o be r(-6). Is o/6 - 2709/(-27) a multiple of 20?
False
Let y = 31 - 21. Let m be -4 + (-1 - -5) + y. Suppose 3*k = 2*k + m. Does 3 divide k?
False
Let j(q) = -18*q + 23. Let o(s) = 19*s - 23. Let t(x) = -6*j(x) - 5*o(x). Does 17 divide t(4)?
False
Let l(a) = -a + 94. Is l(10) a multiple of 3?
True
Let d = 23 - 19. Is 231/28 + (-1)/d even?
True
Let t(x) = -1 + 5 - 3 + 4*x**2 + x. Let d be t(-1). Is d*3/12 + 58 a multiple of 24?
False
Let s(l) = 3*l**2 - 6*l. Suppose 14 = k + 2. Let o be (-46)/(-12) - (-2)/k. Does 24 divide s(o)?
True
Let d(t) = -17*t - 3. Let y(r) = 3*r - 1 - 7*r - 2*r + 2*r. Let u(s) = 4*d(s) - 18*y(s). Is 6 a factor of u(4)?
False
Let m(d) = d**2 - 15*d + 8. Let g(j) = -j**2 + 15*j - 7. Let n(v) = -4*g(v) - 5*m(v). Is 4 a factor of n(12)?
True
Is 114 a factor of (-102)/(-85) + (-26877)/(-15)?
False
Is 15 a factor of (-7026)/(-18) - (2 - (-15)/(-9))?
True
Let t(x) = x**3 + 11*x**2 - 16*x - 23. Is t(-10) a multiple of 16?
False
Let l(n) be the first derivative of n**4/2 - 5*n**3/3 - n**2 + 2*n - 7. Suppose 0 = -m + k, -2*k + 18 = 5*m - 10. Is 9 a factor of l(m)?
False
Suppose 19*f - 30923 - 2023 = 0. Is f a multiple of 51?
True
Let l(b) = -b**2 - 54*b - 28. Is 14 a factor of l(-42)?
True
Suppose -q + 8 = 3. Suppose 2*x - 4*a + 20 + 0 = 0, 5*x = -q*a + 25. Suppose x = -u - 4*u + 335. Does 22 divide u?
False
Suppose -2*q + b = 2*q - 10, 2 = 3*q + 2*b. Let z(r) = r**2 - 3 + q - 9*r + 0. Is 7 a factor of z(11)?
True
Suppose -4*x - 10*h + 8*h + 2902 = 0, 736 = x + 4*h. Let w = x + -365. Does 15 divide w?
False
Suppose -2*i + 923 = -k, k - 10 = 3*k. Is 17 a factor of i?
True
Let k(v) = -2*v + 1. Let l be k(-1). Suppose 5*i = -l*z + 15, 5*i = -z + 6*z + 15. Suppose -i*o = -3*c + 41 + 25, -2*o - 18 = -c. Is 26 a factor of c?
True
Let x = -656 - -1410. Is 29 a factor of x?
True
Let f(s) = 2*s + 18. Let l be f(-9). Suppose l = 11*j - 9*j - 60. Is 15 a factor of j?
True
Suppose -5*u + 5*l + 1255 = 0, 0*u = 3*u + 3*l - 759. Is u a multiple of 14?
True
Let h(i) = 17*i**3 + 6*i + 21. Is 11 a factor of h(4)?
True
Let x be 52/13*(0 + 1). Suppose -x*w = -w - 4*t - 965, -4*w + 1250 = 2*t. Does 63 divide w?
True
Let f = -56 + 60. Suppose 0*i = -f*i + 660. Is 27 a factor of i?
False
Let l be -2 + (-5 + 2)*-1. Let g be 14 - -1*3/l. Let i = g - 7. Is 5 a factor of i?
True
Let m(p) = -p**3 + 6*p**2 - 6*p - 1. Let d be m(4). Suppose -3*y + 144 = w, -4*w + d = 3*y - 128. Is y a multiple of 23?
False
Let w be 6/4*(-4)/3. Let k be (-1)/w*-2 - -3. Suppose m - k*m = -19. Is m a multiple of 6?
False
Let i be (30/4)/(6/136). Suppose -5*w = -4*j - i, w - 50 = -2*j + 6*j. Does 33 divide ((-132)/(-30))/(3/w)?
False
Let j(o) = 130*o**2 - 11*o - 24. Is j(-2) a multiple of 37?
True
Suppose -23*p = 8*p - 11005. Is 71 a factor of p?
True
Let a(j) = -30*j**2 - j. Let k be a(-2). Let p(g) = -7*g**2. Let i be p(-5). Let x = k - i. Is x a multiple of 19?
True
Let r(x) = -466*x - 535. Is r(-5) a multiple of 8?
False
Suppose 0 = w + v - 568, 4*w - 1669 = 5*v + 594. Is w even?
False
Suppose 49*q = 35*q + 1750. Is 25 a factor of q?
True
Let g(o) = 14 - 8 + 15 - o. Does 13 divide g(-18)?
True
Let v = 75 - 119. Let j be 1 + ((-156)/3)/2. Let m = j - v. Is 19 a factor of m?
True
Let q(s) = 205*s - 66. Is 8 a factor of q(4)?
False
Let y(k) = k**3 - k. Let r = -14 + 17. Suppose o + 0*o = r. Is 24 a factor of y(o)?
True
Let d be (-1)/((-2)/(-1 - -7)). Suppose -p = r - 66, -d*r + p + 126 = -84. Does 19 divide r?
False
Let z = 1 - -4. Suppose -i - 5*w = -15, w + 14 = z*i - 9. Suppose -64 = -i*x + x. Is x a multiple of 16?
True
Suppose -13*v + 494 = 6*v. Is v a multiple of 7?
False
Suppose x = 3*k + 2*k - 22, -k = -5. Suppose -3*b - g - 20 = 0, x*g = -4*b - g - 40. Let r = b - -15. Does 5 divide r?
True
Suppose 4*y = 2532 + 2788. Is 10 a factor of y?
True
Let i(x) = 15 - 15 + 2*x - 5*x**2 + 10*x**2. Is i(-4) a multiple of 24?
True
Suppose -14*w + 700 = -7*w. Is w a multiple of 8?
False
Let l(a) = 4*a**2 - 1. Let b be l(-1). Suppose -4*g - 5*k = -154, b*g = k + 3*k + 100. Is g a multiple of 9?
True
Suppose 2661 - 245 = 4*r. Is 6 a factor of r?
False
Let r(v) = 344*v**2 - 14*v - 12. Is 2 a factor of r(-1)?
True
Let w = 1660 - 1396. Does 6 divide w?
True
Let a = -67 + 258. Is 6 a factor of a?
False
Suppose -8*h + 8 = -4*h. Suppose h*l = -9*y + 4*y + 258, 376 = 3*l + 2*y. Is 18 a factor of l?
False
Let k(t) = -t + 9. Let b be k(7). Let u(q) = -q**3 - 47*q**b + 54*q**2 + 0*q + 5*q - 5. Does 21 divide u(6)?
False
Suppose -18 - 56 = -d + 4*h, 0 = 2*h - 10. Is 15 a factor of d?
False
Let y be ((-1)/2 - 2)*-2. Suppose 667 - 267 = y*v. Is v a multiple of 20?
True
Suppose 0*m - 3*m - l + 10 = 0, -m - 4*l = 4. Suppose m*n + 47 = -133. Is 2 - 3 - (-2 + n) a multiple of 23?
True
Suppose 3*l = -j + 6, j = 5*l + 2*j - 10. Suppose 16 = -l*r - 2. Is 15 a factor of (-402)/r + 1/3?
True
Let m(v) = -2*v + 7. Let f be m(3). Let z be 4/(-10)*f*-20. Is (z - 7) + (1 - -11) a multiple of 7?
False
Let o = -9 - -20. Let g = o + -8. Suppose -2*i - g*i = -70. Does 7 divide i?
True
Let a be ((-355)/20)/((-2)/(-8)). Let c = 86 - 136. Let z = c - a. Does 12 divide z?
False
Let n(j) = j**3 + 12*j**2 - 34*j + 57. Is n(-13) a multiple of 15?
True
Suppose 25*j + 27326 = 51*j. Does 7 divide j?
False
Suppose -3 = 19*w - 20*w. Let q(d) = 5*d**3 - d + 1. Let p be q(1). Suppose -i + 19 = -w*c, -p*c = -3*i - 7*c + 79. Is 12 a factor of i?
False
Let d(z) = -z**3 - 2*z**2 + 2*z - 6. Let j(k) = k**2 + 11*k + 13. Let g be j(-9). Is 13 a factor of d(g)?
False
Let q = 7 - 9. Let z be (-5)/(-2) + (-3)/q. Suppose z + 26 = p. Does 9 divide p?
False
Is 8 a factor of (2420/30 - 2)*6?
True
Suppose 894 = 3*s + 4*v, -6*s + 3*v = -11*s + 1479. Is 19 a factor of s?
False
Let d = -2 - -5. Let h(o) = -o**3 + 3*o**2 + 2*o - 4. Let g be h(d). Suppose g*m = 73 - 17. Does 15 divide m?
False
Suppose 5*x - 35 = -95. Does 29 divide (-582)/x*(3 - 1)?
False
Suppose 35 = u + 15. Suppose 5*b + 2 = 4*v + u, -2*v = -4*b + 18. Is b a multiple of 3?
True
Suppose -16*o + 19*o - 423 = 0. Suppose -51 = -a - 5*i, -2*a - 2*a = -i - o. Is a a multiple of 36?
True
Suppose 67680 = 17*d + 7*d. Is 30 a factor of d?
True
Suppose 5*v = 5*t + 5, 4*t - 2 - 39 = -5*v. Suppose 3*f + 2*y - 5*y = 12, -v*f = -y - 16. Suppose 0 = f*u - 100 - 62. Is 17 a factor of u?
False
Let a = -7 -