) + 4/22?
True
Let b(r) be the third derivative of 3/40*r**6 + 0 + 1/24*r**4 + 0*r**5 + 2*r**2 + 0*r + 1/6*r**3. Is 15 a factor of b(2)?
True
Let t(y) = -y**3 + 6*y**2 + 8*y - 4. Let u be t(7). Does 2 divide u + (8/20 - (-26)/10)?
True
Let h be (9/((-18)/8))/((-2)/2). Suppose 0 = -5*p, -4*v - p = h*p - 512. Is 38 a factor of v?
False
Let p = 12 + -8. Suppose -4*z + p*y + 30 = -z, z + 3*y + 3 = 0. Is 14 a factor of (z - -15)/(3/8)?
True
Suppose -2*w - 2*z = -166, -5*z - 191 - 34 = -3*w. Is w a multiple of 20?
True
Suppose 0 = 5*m - 20, -5*b - m = -11 - 73. Let o = 14 + b. Is 7 a factor of o?
False
Let q = 28 - 21. Suppose q*t - 490 = 2*t. Is 14 a factor of t?
True
Suppose -964 = -2*b + 4*p, 3*b + 4*p - 2338 = -922. Does 17 divide b?
True
Suppose -6*s + s = -20. Let c be -3 + 6*s/6. Does 16 divide (-12)/(c/4*-3)?
True
Let j be (-2)/12 - 2408/(-48). Suppose -5*a + 4*l = -2 - j, 0 = -a + 2*l + 8. Is 12 a factor of a?
True
Let n = 4 + -4. Suppose 0 = -2*k - n*k + 6. Is (2 - 5)*(-2)/k a multiple of 2?
True
Let q(a) = -a**2 + 28*a - 80. Does 25 divide q(10)?
True
Let v(j) = -j**3 - 6*j**2 - 17*j - 8. Is v(-7) a multiple of 11?
False
Let o be 26*(-4 + 7/2). Is 4 a factor of (-10 - o)*20/3?
True
Does 52 divide -9 - -3 - -1019 - 0?
False
Let r be 1/3 - 16/3. Let u(c) = -c**3 - 6*c**2 - 6*c - 3. Let l be u(r). Suppose l*b - 90 = 30. Is 22 a factor of b?
False
Suppose 13*j = 4788 + 1153. Is j a multiple of 32?
False
Suppose 4*q - 5*n = 300 + 26, -3*n + 6 = 0. Is 2 a factor of q?
True
Let q(r) = 16*r**2 - r - 1. Let l be (-14)/35 - 2/(-5). Suppose 5*g + 12 = 3*o, -o + 11 = -l*o - 4*g. Does 6 divide q(o)?
False
Let w be (-234)/8*(-2)/(-3)*-14. Suppose 6*c = 2*c + 12, -5*l = c - w. Is 7 a factor of l?
False
Suppose 0 = -3*a + x + 2*x + 21, -5*a = x - 11. Let t(l) = l**2 + l + 1. Let i(v) = 4*v + 2. Let n(w) = a*t(w) - i(w). Is 5 a factor of n(2)?
False
Let d = -12 + 12. Suppose 9*o - 4*o - 125 = d. Is 4 a factor of o?
False
Let s(g) = -g**2 - 6*g - 9. Let c be s(-3). Suppose f + 2*f - 4*d = 534, c = f + 2*d - 188. Does 14 divide f?
True
Let i(t) = 31*t - 92. Is i(5) a multiple of 9?
True
Does 61 divide (129/86)/((-6)/(-2008))?
False
Suppose 0 = 5*u - 2*u - 12. Suppose -v - u = -0*v. Does 24 divide (-4 + (-182)/v)*2?
False
Let w = 871 + -559. Is w a multiple of 6?
True
Suppose 0*z + 3*z - 6 = 0. Let n(o) = 2*o + 8. Let v be n(-3). Suppose 2*m = -z*u + 50, 35 = u - v*m + 5*m. Does 5 divide u?
True
Is 55 a factor of ((-3932)/10)/(((-18)/15)/3)?
False
Suppose -w + 256 = -2*p, -2*p = w - 189 - 55. Is w a multiple of 2?
True
Suppose 3*h - 5 = -2, h = -2*y - 45. Let m = 56 + y. Is 9 a factor of m?
False
Let m = 44 - 33. Suppose m*y = -2*y + 2535. Does 29 divide y?
False
Let h = -16 - -21. Let l be 2/(-5) - (-1060)/25. Suppose -h*g - 7 - 18 = 0, -l = -3*d - 3*g. Is 10 a factor of d?
False
Suppose 2*z = -4*s - 68, -88 = 5*s - 10*z + 11*z. Let y(m) = 2*m**2 - 8*m + 3. Let a be y(6). Is 3 a factor of s/a*15/(-2)?
False
Let f = -2437 - -2866. Does 8 divide f?
False
Let o(b) = b**2 - 25*b - 179. Is o(32) a multiple of 6?
False
Let l = -306 - -546. Does 5 divide l?
True
Let k = 5 + 1. Let i(a) = 6*a + 2. Let s(q) = 21*q - 5. Let t(z) = -3*i(z) + s(z). Is t(k) even?
False
Suppose 5*l = -40*l + 8100. Does 5 divide l?
True
Let h be (-3034)/(-10) - 8/20. Suppose 2*x + 93 = -4*g + h, 2*g = 2*x - 198. Is 28 a factor of x?
False
Suppose -z = 106*s - 102*s - 82, s + 97 = z. Is 4 a factor of z?
False
Let m = 12 - 10. Suppose -m*u = 2*u - 3*x - 5, 9 = 4*u + x. Suppose -u*r - 3*j + 237 = 0, 4*r - 159 - 307 = 2*j. Is r a multiple of 31?
False
Let i = 15 - -80. Let k = i + -45. Is k a multiple of 25?
True
Let l = 6300 + -3444. Does 21 divide l?
True
Let o(r) be the first derivative of r**4/4 - 8*r**3/3 + 7*r**2 - 4*r + 22. Does 17 divide o(7)?
False
Let c = 40 + -38. Suppose q + c*q - 6 = 0. Does 2 divide q?
True
Suppose 32 = -2*m - 0*m. Let c = m + 35. Suppose 0 = 4*j - 141 - c. Does 8 divide j?
True
Let y(x) = 2*x - 10. Suppose 43 = 4*z + 11. Let v be y(z). Suppose -3*u + v + 0 = 0. Is u a multiple of 2?
True
Suppose -19*i + 22*i - 507 = 0. Is 6 a factor of i?
False
Suppose -2*c + 4*k - 5*k = -241, 2*c = 4*k + 216. Does 6 divide c?
False
Suppose 6718 = 6*l + 1336. Does 31 divide l?
False
Let p(f) = -f**3 + 9*f**2 + f - 5. Does 6 divide p(8)?
False
Let x = -23 + 25. Suppose 3*n + 4*v = -3358, 2*n + 3*n + 5614 = x*v. Is 13/(-104) + n/(-16) a multiple of 30?
False
Suppose 22 = -2*a - 18. Let g = a - -22. Is g even?
True
Suppose -4*k = -6*k - 6. Is 35 a factor of (k/4)/((-2)/280)?
True
Let o(t) = t + 7. Let a(j) be the third derivative of -j**4/12 - 10*j**3/3 - 2*j**2. Let l(k) = 4*a(k) + 11*o(k). Does 3 divide l(3)?
True
Let c be (-1 + 4)*140/15. Let r = 31 - c. Suppose -5*u = r*j - 44, -3*u + 2*j + 40 = -3*j. Is u a multiple of 7?
False
Suppose -12*r + 22 = -50. Suppose -n - 13 + 39 = 3*z, -3*z = r. Does 7 divide n?
False
Suppose -17*m + 15*m = 22. Let u(v) = v**2 + 5*v - 2. Let c be u(-6). Let s = c - m. Is 5 a factor of s?
True
Let j = 744 + -369. Suppose -o + 3 = 0, -2*g + 7*o + j = 12*o. Is g a multiple of 14?
False
Suppose j = -2, -4*j - 1 = 3*g - 2*j. Does 35 divide g + 34 + 0/18?
True
Let z(v) = v**3 + 13*v**2 + 14*v + 29. Let l be z(-12). Suppose 2*x + t - 106 = -2*t, l*x - 256 = -3*t. Is x a multiple of 12?
False
Suppose 0 = -6*k - 900 - 162. Is 5 a factor of k/(-6) + (-3)/(-6)?
True
Let g(n) = -5*n - 3. Suppose 0 = 7*v - 4*v - 15, 3*r - 1 = -2*v. Is 4 a factor of g(r)?
True
Suppose -7*t = -3*t. Suppose 2*d - 3*d + 30 = t. Does 10 divide d?
True
Let k = 30 + -28. Is 7 a factor of 4 + -5 + (k - -20)?
True
Suppose 5*s - 2170 - 655 = 0. Does 34 divide s?
False
Let v be 3/(3/5 + (-36)/135). Suppose -618 = -v*m - 114. Is 8 a factor of m?
True
Is 10 a factor of (-7)/(-6) - 38843/(-186)?
True
Suppose 4*m - 4*p + 384 = -0*m, 5*p = -4*m - 411. Let q be m/(-4*4/(-64)). Does 4 divide 4/(-14) + q/(-63)?
False
Let x be 13/5 - 24/40. Let r be x + (-1 + 4 - 23). Let q = -1 - r. Does 11 divide q?
False
Suppose 1277 = 2*i - 1911. Is 15 a factor of i?
False
Let l = -9 + 12. Suppose -l*g + 32 = -22. Suppose -95 = -23*f + g*f. Does 19 divide f?
True
Suppose 4*f = 10*f + 48. Let u be 147 + -3 + f/2. Suppose -k = 4*k - u. Is 7 a factor of k?
True
Let d = 16 + 8. Does 3 divide d - (-1)/(3/(-9))?
True
Let u be (-11)/(33/(-30)) + 3. Suppose -u*a + 72 = -10*a. Suppose -y = -0*m + m, y = 5*m - a. Is m a multiple of 3?
False
Let z be 1 - 0 - (-29 + 1). Let p = z - 24. Is 5 a factor of p?
True
Suppose -5920 = -12*o - 28*o. Is 4 a factor of o?
True
Suppose -2*m + 6 = -2*y, -m - 5*y = -0*m - 3. Suppose -m*d - 3 = 0, -4*d + 544 = j + 3*j. Is 38 a factor of j?
False
Suppose 3*t + 27 = 2*s, -5*s + 58 = 2*t - 0*t. Let w(o) = -o**3 + 11*o**2 + 14*o - 12. Let m be w(s). Suppose 6 + m = 3*x. Is 4 a factor of x?
False
Let k(z) = z**2 + z - 8. Let q be k(3). Suppose -5*i + 4*m = -336, -i - q*i = -m - 324. Is i a multiple of 14?
False
Let l(h) = 20*h - 76. Is l(26) a multiple of 18?
False
Let d = 1532 - 592. Is 10 a factor of d?
True
Let t = -38 - -42. Suppose 0 = -6*j + t*j + 24. Does 8 divide j?
False
Is ((-12)/9 - -3)*(-357)/(-7) a multiple of 5?
True
Let s(m) = 3*m**2 + 9*m + 22. Let u be s(-7). Suppose u + 182 = 9*c. Does 4 divide c?
True
Suppose -3012 - 9209 = -11*t. Does 11 divide t?
True
Let p = -855 + 2243. Does 44 divide p?
False
Let k(p) = 3*p**2 - 2*p - 2. Let a = 57 + -60. Is 31 a factor of k(a)?
True
Let r(k) = 299*k**2 - 33*k - 98. Is r(-3) a multiple of 76?
False
Suppose 75391 = 62*a - 11223. Does 24 divide a?
False
Let d be ((-644)/(-115))/(1/(-5)). Does 16 divide (d/6 - -2)*-48?
True
Does 6 divide 8*12/192*1754?
False
Let c(j) = 2*j - 6. Let f be c(7). Suppose 0 = 3*s + s - f. Suppose -2*g + s*i + 77 = g, -3*g + 5*i + 71 = 0. Does 8 divide g?
False
Let m = -5168 - -7390. Is m a multiple of 9?
False
Suppose -5 = j - 2*j. Suppose -j*i + 264 = -i. Is 11 a factor of i?
True
Suppose 5*a + 5*j - 48 - 2 = 0, -2*a + 3*j = -30. Let q be (a/8)/((-6)/(-368)). Suppose -q = -3*s + s. Is 13 a factor of s?
False
Suppose -r - 2*f + 340 = 0, -3*r - 3*f + 790 = -215. Does 33 divide r?
True
Is 646/4 - 25/(-10) a multiple of 81?
False
Let x = -194 - -131. Let i = x - -122. Does 13 divide i?
False
Let m be ((-15)/