). Let d(r) = -27 - r - 12*r**3 + 19 + 7. Does 6 divide d(w)?
True
Let r = -1537 - -1543. Let n(o) = 0*o**2 + 0*o**3 - 7*o**2 + o**3 - 2 + 9*o. Is 16 a factor of n(r)?
True
Suppose 7*h = -4*h + 4367. Suppose 3*w = -4*b + h, -2*w - 104 = -b + 2*w. Does 20 divide b?
True
Let b = 315 - 201. Let d = b + -172. Let w = 84 + d. Is w a multiple of 13?
True
Suppose -145 = -j - 5*q + 1330, 3*j + 2*q = 4490. Is 53 a factor of j?
False
Suppose 5*n = -12413 + 713. Is 39 a factor of ((-3)/(-9))/(4*(-5)/n)?
True
Suppose 3*n = i + 10, -7*n = -2*i - 5*n. Let b(w) be the second derivative of w**5/20 - w**4/2 + 4*w**3/3 - 5*w**2/2 - w. Is 10 a factor of b(i)?
True
Suppose -2*g + 8 = -0*g. Let a = -4 + g. Suppose x - 2*u + 0*u = 36, -x - 5*u + 22 = a. Is 11 a factor of x?
False
Let d(t) = 6*t**2 - 7. Suppose -21 = 30*k - 23*k. Is 9 a factor of d(k)?
False
Suppose -5*r + 2*n = -0*n - 4, 3*r = 4*n - 6. Suppose -4*b - 180 = -3*h, 0 = -r*h - b + 47 + 73. Is 12 a factor of h?
True
Suppose -3*u = t + 47 - 121, -1 = u. Does 13 divide 4/(-7) - (-8514)/t?
False
Let n(f) = f**3 + 20*f**2 - 24*f - 12. Is n(-20) a multiple of 78?
True
Let h = -140 + 144. Suppose 5*z - 681 - 14 = 4*s, h*s = -4*z + 556. Does 7 divide z?
False
Suppose -5*a = -5*v + 11 + 19, -4*a = 5*v - 21. Suppose -v*o + 141 = 2*l, -o = -6 + 3. Suppose -l - 15 = -3*u. Does 13 divide u?
True
Let a = 60 + -52. Suppose 5*f = a*f - 33. Is f a multiple of 3?
False
Let p(y) = -22*y - 61. Let g be p(-5). Suppose 70 = 5*m - 0*m. Is 14/g - (-52)/m a multiple of 4?
True
Suppose 4*y - 1369 = -5*x, -4*y - 464 = -2*x + 78. Is x a multiple of 21?
True
Let g = -290 - -733. Is g a multiple of 18?
False
Let a be 1 + (1 - -47 - 0/(-6)). Suppose -10*o + 11*o = a. Is o a multiple of 10?
False
Let w(c) = 143*c + 157. Is 81 a factor of w(4)?
True
Suppose 25 - 5 = 5*r. Suppose -r*v - 4*k = -1036, v - 6*k - 247 = -3*k. Does 14 divide 3 - 5/((-20)/v)?
False
Let b(p) = -p**3 + 37*p**2 + 78*p + 20. Does 2 divide b(39)?
True
Suppose 0 = 5*i + 4*m - 204, -1 = -3*m + 2*m. Is i a multiple of 8?
True
Let q(v) be the first derivative of -v**5/120 + 61*v**4/24 - v**3 + 11. Let r(p) be the third derivative of q(p). Is r(0) a multiple of 9?
False
Let b = 56 + -56. Suppose -2*r - 90 + 334 = b. Is r a multiple of 24?
False
Suppose 0*y + 5*g = -4*y - 2, -g + 2 = 2*y. Suppose -4*b - 5*p = -142, y*b + 5*p - 74 - 2 = 0. Does 19 divide b?
False
Let o(g) = 3*g**2 + 288. Let x be 3/1 + (-6)/2. Is o(x) a multiple of 18?
True
Let c(g) = g**3 - 14*g**2 + 13*g - 15. Let n be c(13). Let x(w) = -4*w - 19. Let r(s) = 7*s + 39. Let p(u) = 3*r(u) + 5*x(u). Does 7 divide p(n)?
True
Let i(o) = -92*o**2 - 6*o + 6. Let p be i(1). Let x = -37 - p. Is x a multiple of 11?
True
Let r = -13 + 17. Does 32 divide 64/(0 - (-2)/r)?
True
Let m(h) = 2*h + 18. Is m(0) even?
True
Suppose -461 = -5*t + 1789. Does 43 divide t?
False
Let b(s) be the third derivative of -s**6/120 - s**5/20 + 7*s**4/24 + s**3/2 - 8*s**2. Suppose a = 3*p + 19, -3*a + 35 = -3*p + 2*a. Is 9 a factor of b(p)?
True
Suppose -12 = -2*f - 8. Suppose 0 = -y + 2*w + 82, 0 = -6*y + f*y + w + 342. Is 17 a factor of y?
False
Let m(u) = 2*u - 6. Let o be m(4). Let i = 31 - 28. Suppose 5*h - 3*y - 62 = 0, 0 = h + i*h + o*y - 32. Is 10 a factor of h?
True
Suppose -485 = 3*v - 29. Let a = 210 + v. Is 33 a factor of a?
False
Let z = -289 + 1137. Is 16 a factor of z?
True
Does 20 divide 285 - (-1 + 2)*(-10 - -9)?
False
Let x(p) = -3*p + 1. Let l be x(1). Let q be 5 + (-2)/(l + 0). Is (-1)/(-2)*420/q a multiple of 25?
False
Suppose -2*u + 1120 = -4*d, -u - 5*d + 2253 = 3*u. Does 19 divide u?
False
Suppose 0 = 2*m - 20*a + 15*a - 313, -2*a = -4*m + 634. Does 12 divide m?
False
Let t(j) = -6*j**2 + 4*j + 18. Let v be t(4). Let i = -59 - v. Is i a multiple of 3?
True
Let z(p) = -42*p - 1. Let q be z(-5). Suppose -4*s + q + 15 = 0. Is s a multiple of 24?
False
Suppose 6*y + 1 = -5, 5*y = -3*b + 6832. Does 70 divide b?
False
Let u(w) = -w - 3. Let i(y) = 2. Let c(x) = 3*i(x) + 4*u(x). Suppose 2*b = -18 + 2. Is 16 a factor of c(b)?
False
Let c(m) = -m**3 + 8*m**2 - 15*m + 19. Let t(u) = 4*u**3 - 30*u**2 + 59*u - 76. Let q(z) = -9*c(z) - 2*t(z). Is q(11) a multiple of 2?
False
Suppose -2*p = -5*g - 26, 0 = 6*p - 2*p - 2*g - 20. Let a(m) = 3*m - 6*m - 10 - p*m - 2*m. Is a(-4) a multiple of 12?
False
Let b(r) be the first derivative of r**4/4 + 22*r**3/3 + 10*r**2 + 27*r + 22. Is b(-21) a multiple of 15?
False
Let d(j) = 26*j**2 + 97*j + 606. Does 32 divide d(-7)?
False
Let k be 3*((-20)/(-6) - 4). Let t be (4 + k)*2/2. Suppose 4*s + 0*s - 103 = -3*r, -4 = t*s. Is 10 a factor of r?
False
Let y be (2/(-3))/((-12)/(-90)). Is 10 a factor of 10 + y - 5 - 254/(-2)?
False
Let z = -940 + 1451. Let u = z - 237. Does 12 divide u?
False
Let m(k) = -k**3 - k**2 + 3*k. Suppose 0 = -4*s - 0*s - 52. Let i = 10 + s. Is 9 a factor of m(i)?
True
Does 61 divide 8/((-48)/(-738)) - 1?
True
Let o = -152 - -197. Is 9 a factor of o?
True
Let j be 1/((-10)/(-45) - 1/(-9)). Let u be (-4)/(-3) + (-6)/(-9). Suppose -r = 5*i - 189, 41 = u*i - i - j*r. Is 14 a factor of i?
False
Suppose 21994 = -6*n + 20*n. Does 11 divide n?
False
Suppose 4*l + 3*f = 6*f + 1562, -4*f + 1159 = 3*l. Is l a multiple of 32?
False
Is (17983/196)/((-1)/(-4)) a multiple of 10?
False
Let o(u) = -17*u - u**2 + 2*u**2 - 15 - 2*u**2. Is o(-6) a multiple of 7?
False
Let u(a) = 3*a + 19. Let c be u(-9). Let i = 48 + c. Is 20 a factor of i?
True
Suppose -5*q - 2081 = -3*l, 3*q = -2*l + 4*l - 1387. Is 37 a factor of l?
False
Does 9 divide -5176*(-3)/15 + (-16)/80?
True
Suppose -s = l - 439, s - 427 = -3*l + 8*l. Is 19 a factor of s?
True
Let g = -788 - -1129. Does 55 divide g?
False
Does 11 divide (-4)/(-1 - -5) - -45?
True
Let a(b) = -17 - 2*b + 7*b + 2*b - 5*b. Let j be a(8). Is 8 a factor of -12*(-1 + j/3)?
True
Suppose 2*d = -4, n - 6*d = -11*d - 6. Let i(r) = 47*r - 23. Does 10 divide i(n)?
False
Suppose 15*r - 6032 = 7693. Does 15 divide r?
True
Let q be -3*(-4)/(-3)*-1. Suppose 133 = 2*p + 3*f, q*p + f - 339 = -p. Is p a multiple of 4?
True
Suppose -o + 294 = -3*g, 20*g - 25*g = 2*o - 577. Is o a multiple of 10?
False
Let c = -300 - -426. Is 34 a factor of c?
False
Does 8 divide 1*((2 + 0)*50 - -4)?
True
Suppose 54 = -r + 1373. Is 8 a factor of r?
False
Suppose 4*q - 7*q = -27. Suppose -5*j - 3*l - 5 = 0, -l = -0*j - j - q. Is 23 a factor of j/8 - (-211)/2?
False
Let t(a) = -6*a - 3*a**2 + 0*a + 2*a**2. Let o be t(-5). Does 3 divide ((-9)/o)/((-6)/40)?
True
Suppose -11*b + 16*b = 2900. Suppose -b - 170 = -5*g. Is 15 a factor of g?
True
Suppose 2*f = 3563 + 899. Does 40 divide f?
False
Let r be 0 + 2 - (2 - 4). Suppose -r = -4*a + 4. Suppose -2*w + 252 = a*w. Does 21 divide w?
True
Suppose -2*s - 872 = 3*a, -3*a - 868 = 3*s + 2. Let l be a/6 + (-8)/24. Let c = l - -73. Does 11 divide c?
False
Suppose -2*k + 10 = 2*g, 5*g - 13 = 3*g - 3*k. Suppose 4 = 4*m, -m - 65 = -g*l - 4*m. Suppose -13 + 1 = 4*r, -l = -2*t - 3*r. Is 20 a factor of t?
True
Suppose 8 = 5*d + 153. Let l = -336 - -393. Let i = l + d. Is 12 a factor of i?
False
Suppose 4*b - 3*a = 11, 3*b - 4 - 2 = 3*a. Suppose -4*l + 927 = b*l. Does 24 divide l?
False
Let i(k) = -k**2 - 30*k + 22. Does 17 divide i(-12)?
True
Suppose 528 + 591 = 3*c. Is 3 a factor of c?
False
Let m(y) = 380*y - 652. Is m(5) a multiple of 72?
False
Is 5 a factor of 4198/24 + 249/2988?
True
Let z(v) = -16*v**3 - 44*v**3 - v - 7*v**3 - v**2. Is z(-1) a multiple of 18?
False
Let q be -1 + 4 + 0/(-2). Suppose 0 = -q*z + 2*u + 16, -3 = -z - 3*u - 5. Suppose -3*b = -z*t + 146, 208 - 66 = 4*t - 5*b. Is 12 a factor of t?
False
Suppose 3*f + 8 = 2*h - 1, 5*h - 17 = 2*f. Let a be 22 + f + (-12 - -12). Suppose -a - 27 = -v. Is v a multiple of 12?
True
Let y be (-1 - -2)/(1/61). Let d = -30 + y. Suppose -2*q + 79 = d. Does 12 divide q?
True
Let r be (-88)/6*(-450)/60. Let a = 113 - r. Is a even?
False
Let s(h) = -h**3 - 2*h**2 + h - 2. Let w be s(-3). Suppose 49 + w = i. Is 35 a factor of i?
False
Suppose -4*n + n + 138 = -2*m, 0 = -n - 4*m + 46. Does 11 divide n?
False
Suppose 4*i - 55 = 3*m + 1169, -5*i + 1525 = -5*m. Does 3 divide i?
True
Let w(x) = -x**2 - 2*x + 9. Let t be w(4). Does 9 divide (-12)/t*(-115)/(-2)?
False
Let f(i) = 10*i**2 + 4*i - 2. Let y(