. Let g be -5*(-1)/u*-3. Let d = 27 - g. Does 5 divide d?
False
Is 21 a factor of (0 + (-22)/(-2))*(-72)/(-2)?
False
Let x(n) = n**3 - n**2 - n + 2. Let m be x(2). Suppose -5*v = m*k - 893, -4*v = -3*k + 597 + 96. Is 34 a factor of k?
False
Suppose 2*m + 0 - 6 = 4*j, 4*j - 5*m = -15. Suppose j = 9*i - 4*i. Is (i - -18) + (-104)/(-26) a multiple of 4?
False
Let x be 2*2/(-3)*(-18)/(-4). Is 13 a factor of (2/x - 0) + (-2572)/(-12)?
False
Suppose z = -4*n - 20, -11 = -4*z + 2*n - 1. Is 0 + z + (36 - 4) a multiple of 16?
True
Let j(q) = 0*q**2 + 45*q**2 + 3*q + q + 1 - 3*q. Does 11 divide j(-1)?
False
Let d be -1 + 61 + -11 + 11. Let z be 13*4*15/d. Suppose -k + 5*b + 56 = z, b + 59 = k. Does 21 divide k?
True
Suppose 3*q - 1 = 5. Suppose 2*c - 82 = i - 25, -q*i = -2. Does 12 divide c?
False
Let d(h) = -33*h - 57. Does 15 divide d(-9)?
True
Let a(v) = -v**2 - 2*v + 115. Let k be a(0). Suppose 5*f + k = 5*u, -3*u - 2*f + 84 = -0*u. Is u a multiple of 13?
True
Let j = 24 - 52. Let z = -24 - j. Does 16 divide -40*2/(-20)*z?
True
Let i = -41 + 136. Suppose -8*b + 49 = -i. Does 4 divide b?
False
Let a(o) = 96*o - 3 - 49*o - 46*o. Is 2 a factor of a(10)?
False
Let m(x) = 292*x**3 + x**2 + 9*x - 8. Does 14 divide m(1)?
True
Is 21 a factor of ((-1791)/6)/((-3)/2)?
False
Let k(z) = -z**3 - 3*z**2 + 3. Let f be k(-3). Let t = f + -1. Is (-1 - t)/((-4)/84) a multiple of 21?
True
Suppose 0 = 3*o + 2*w - 2949, 0 = -o - 5*w + 725 + 271. Is o a multiple of 27?
False
Let v(q) = -31*q - 8. Let d = -60 - -58. Is 6 a factor of v(d)?
True
Suppose 5*y - 31*y = -9750. Is 25 a factor of y?
True
Let k = -803 - -1010. Is 16 a factor of k?
False
Let j(u) = -u**3 + 8*u**2 - 6*u - 7. Let f be j(7). Let b(t) = t**3 + t + 56. Let w be b(f). Let a = 7 + w. Does 21 divide a?
True
Let k = -1167 + 1387. Is k a multiple of 69?
False
Is 23 a factor of 1/((-6926)/866 + 8)?
False
Suppose 4*b = 5*b - 3, a - 3*b = -14. Is 8 a factor of 2 - a/(20/56)?
True
Suppose -20*o + 6088 = -13572. Is o a multiple of 5?
False
Suppose 285*k - 282*k - 120 = 0. Does 3 divide k?
False
Suppose 11 = -5*l + 26. Does 5 divide l - (-1 - (-1)/((-4)/4))?
True
Suppose -4 = b + 4*g, -5*b - 5*g = -0*b + 5. Does 46 divide b + 140 - (0 - -2)?
True
Suppose -37 - 498 = -5*y. Let f = y + -15. Is 11 a factor of f?
False
Let n = -381 + 901. Does 40 divide n?
True
Suppose 0 = -2*s + 2*l - 6, -2*s - 7 = 2*s - 3*l. Suppose 7 + 10 = -2*v - 5*q, 4*q = -s*v - 16. Is 9 a factor of (-240)/(-11) + v/(-33)?
False
Suppose -6*v = -12*v + 24. Let r = 37 - v. Does 11 divide r?
True
Let t = 650 - 597. Is 5 a factor of t?
False
Suppose -3*g + 81 = 3*r, -4*r - 27 + 129 = 2*g. Let j be (r/(-40))/(1/(-5)). Suppose -j*c = -2*u + 12, 4*u - 2*c - 2 = -7*c. Is 3 a factor of u?
True
Suppose -27*g + 3240 = -12*g. Is 12 a factor of g?
True
Suppose k - 350 = -4*k. Suppose 3*g + 402 = 5*t, -4*t - 5*g + k + 259 = 0. Is t a multiple of 8?
False
Let l = 142 + 110. Does 15 divide l?
False
Let j be (-42)/(-4)*(-4)/(-3). Let i = j + 35. Suppose -i = -2*y + 51. Is 10 a factor of y?
True
Suppose -4*i + 16 + 12 = -4*j, 2*i + 5*j + 14 = 0. Is 20 a factor of (-24)/((-14)/i + 4)?
False
Suppose 2*p - 2*s = -12, p + 1 = -3*s - 5. Is p/(-15) + 581/35 a multiple of 3?
False
Suppose -3*b - h - 4*h = -44, 2*b + 5*h - 21 = 0. Suppose 3*i = -0*i + 2*q - b, 4*i - 2*q = -30. Let n = i + 16. Is n a multiple of 6?
False
Suppose 5*a + 115 = -5*d, 3*d = 3*a - d + 97. Let n = 90 + a. Let i = n - 33. Is i a multiple of 10?
True
Suppose 4*r + 4*h - 68 = 3*h, 60 = 3*r + 3*h. Suppose 0 = -4*g - 8 + r. Suppose 6*i = g*i + 184. Is 23 a factor of i?
True
Is 84 a factor of 1/(-2)*4 - -926?
True
Suppose 443*b - 447*b + 3028 = 0. Is 21 a factor of b?
False
Let y be (8/(-2))/(0 + -2). Suppose y*c - 29 = c. Suppose 0 = 7*n - 6*n - c. Is n a multiple of 9?
False
Suppose -v - 2 + 0 = 0. Let n = v - -7. Suppose -10 = -5*c + 5*u, n*c - 3*c + 3*u = 19. Is c a multiple of 2?
False
Let i = 16 + -11. Suppose l + 3*h = -l - 9, 0 = -5*l - 4*h - i. Suppose -7 = -2*u + a + 8, -l*a = -4*u + 25. Is 9 a factor of u?
False
Suppose -5*b - h = -6537, -2*h - 5224 = -7*b + 3*b. Is b a multiple of 8?
False
Suppose 2160 = 21*g + 270. Is g a multiple of 9?
True
Let j(p) be the second derivative of p**4/4 - 5*p**3/3 + 3*p**2/2 - 25*p. Suppose 2*t = 11 + 3. Is j(t) a multiple of 26?
False
Suppose 3*t - 4 = 47. Does 5 divide (2/1)/2 + 72 + t?
True
Suppose -7*v + 18 = -13*v. Does 19 divide 266/v*(0 + -1 + -2)?
True
Let h(r) = -r + 24. Let k be h(-7). Let t = k + 10. Does 14 divide t?
False
Suppose d + 5*q - 10 + 3 = 0, -d + 6 = 4*q. Suppose -2*m - 2*c = -84, 4*m + 5*c = d*m + 84. Let z = 120 - m. Does 26 divide z?
True
Let o(u) = -19*u + 5. Suppose 11 = 2*r + 5*s, 5*s = -r + 2*r + 17. Let p(z) = 2*z. Let t(g) = r*o(g) - 6*p(g). Is t(3) a multiple of 17?
True
Does 18 divide (-1896)/(-15) + (-8)/20?
True
Suppose -3955 = -124*m + 117*m. Does 53 divide m?
False
Let w(z) = 30*z - 35. Let g(u) = -5*u + 6. Let j(p) = -34*g(p) - 6*w(p). Is 9 a factor of j(-3)?
True
Suppose a + 31 = -4*i, 2*a - 3*a - 40 = 5*i. Does 10 divide (-1 + (-6)/i)*-99?
False
Let j = -341 - -345. Is 3 a factor of j?
False
Suppose -3*r + 0*p = -p - 239, p = 2*r - 159. Let g = r + -46. Is g a multiple of 9?
False
Let t(h) = -h**3 - 4*h**2 + h + 7. Let c(p) = -3*p**3 - 13*p**2 + 3*p + 22. Let j(f) = -6*c(f) + 17*t(f). Let v be j(-10). Does 10 divide v/(-12) - 714/(-24)?
True
Suppose -6*d - 3*a = -5*d - 285, -d + 297 = -a. Suppose -6*r + d = -4*r. Is 21 a factor of r?
True
Suppose -15217 = -54*a - 3121. Is a a multiple of 16?
True
Let s(y) = 2*y + 6. Let j be s(-6). Is 26 a factor of 32 - 2/4*j?
False
Suppose -5*b + 990 = 30. Does 16 divide b?
True
Let j be ((1 - -2) + -2)*0. Let s(z) = -13*z + 4. Let t be s(-8). Suppose -t = -4*p - j*p. Is p a multiple of 27?
True
Does 14 divide 126/2 + (-3 - 1 - -5)?
False
Suppose -5*a - 3 = 3*s + 1, -3*a + 5*s = 16. Let n(c) = 31*c + 2. Let f be n(a). Is 8 a factor of 6*(-1 - f/8)?
False
Suppose 143*m - 336 = 137*m. Is m a multiple of 15?
False
Let z(a) = -a**2 - 12*a - 4. Suppose 5*y = 15 - 20. Let c(r) = -10*r**2 - 2*r - 2. Let v be c(y). Is z(v) a multiple of 8?
True
Suppose 69*n - 85574 + 13676 = 0. Does 45 divide n?
False
Suppose -1137*j + 1135*j = -278. Does 28 divide j?
False
Is 18 a factor of ((29 - -8) + -1)*(-2)/(-4)?
True
Let r = 18 + -16. Let t be (580/50)/((-2)/(-10)). Suppose 0 = -r*p + t + 66. Is p a multiple of 14?
False
Suppose l + 3*l - 2*s = 0, 4 = s. Suppose -l*h + 61 + 57 = 0. Let b = 88 - h. Is 12 a factor of b?
False
Is 10068/42 - 2/(-7) a multiple of 30?
True
Suppose -31684 = -20*s + 8716. Is s a multiple of 10?
True
Let i(x) = -x**3 - x**2 + 12*x + 22. Let k be i(-11). Suppose -3*b - 2*b + k = 0. Does 22 divide b?
True
Let c(r) = 3*r - 18. Let m be c(6). Suppose -4*i = w, 0 = -w - m*w - 5*i - 1. Is 18 a factor of 4 - w/(12/(-63))?
False
Let o be ((-8)/(-6))/((-2)/(-147)). Let g = -70 + o. Suppose -32 - g = -3*m. Is m a multiple of 20?
True
Let n = 123 + -223. Let i = n - -118. Is i a multiple of 7?
False
Let y(z) = 8*z + 8. Let r(n) = 7*n + 7. Let p(q) = 4*r(q) - 3*y(q). Let k be p(6). Let t = 37 + k. Is t a multiple of 17?
False
Let k be (-2)/(-1*(3 + -2)). Suppose k*x + 12 = -w, -3*x + 12 = -5*x + w. Let y = x - -25. Is y a multiple of 4?
False
Suppose 4*r - 2488 = 2*z, 5*z = -3*r + 1988 - 96. Suppose 3*i = -5*i + r. Is i a multiple of 13?
True
Suppose 0 = 12*z + 728 - 5240. Does 51 divide z?
False
Suppose -t = -5*t. Let i be t + (-2)/((-2)/(-3)). Is 9 a factor of i/(-1) + -1 - -7?
True
Let c(t) = -t**3 - 7*t**2 + 8*t + 2. Let o be c(-8). Let l be (-16)/(-2) + -2*1. Let s = o + l. Does 8 divide s?
True
Suppose d - 5*v = -7 + 59, 4*d + 4*v - 184 = 0. Is 6 a factor of d?
False
Is 12*(-6)/(-48) - 253/(-2) a multiple of 24?
False
Suppose -8 = -4*r + 3*r. Is (3 - 2)/(r/608) a multiple of 19?
True
Let v be 0 - (-10 - -2)*8. Let d = -42 + v. Let m = d + 8. Is 10 a factor of m?
True
Suppose -1 = -2*s + 7. Suppose 2*l - d = 17 - s, 3*l - 3*d = 21. Let q(g) = g**3 - 7*g**2 + 9*g - 5. Is 3 a factor of q(l)?
False
Let z(n) = -40*n - 30. Is z(-7) a multiple of 13?
False
Suppose 2*k = -m - 56 + 287, -k + 5*m = -99. Does 38 divide k?
True
Let r(g) = -g**2 + 3*g + 20. Let y be r(6). Is 327/6*y + 1 a