?
True
Let r be -135 - -1 - (-4 - -3). Let k = -84 - r. Is k a multiple of 4?
False
Let n be 111/39 + 7 - 4/(-26). Suppose -6*m + n = -m, -2*a - 3*m = -316. Is a a multiple of 11?
False
Suppose -l - 4*c + 16940 = 0, 25*l = 23*l + 5*c + 33841. Is 92 a factor of l?
True
Suppose 5*f - 235 = -5*i, f + 16 = 5*f. Suppose 0 = c - 48 - i. Suppose -7*a + c = -0*a. Is 5 a factor of a?
False
Let w(v) be the first derivative of v**4/4 + 5*v**3 + 16*v**2 - 6*v + 91. Is w(-11) a multiple of 31?
False
Suppose -2068*f + 2137*f - 371496 = 0. Does 3 divide f?
False
Let z = -996 - -1863. Is 17 a factor of z?
True
Let f = -22 + 32. Let k be f - (3 - 3)/2. Is 4 a factor of k*(-7)/((-35)/9)?
False
Is 25 a factor of -11 - (-3 + 88*-16)?
True
Let o be -57 + 2/((-1)/(-1)). Suppose -15*c + 28*c = 19*c - 480. Let p = o + c. Is 3 a factor of p?
False
Suppose -3*u = -6*u - 60. Suppose 30*t = 16*t + 168. Is 3 a factor of 24/2 - -5*t/u?
True
Let g(x) = 3522*x + 147. Is 42 a factor of g(1)?
False
Let a(m) = -4*m**2 + 5*m - 5. Let v be a(1). Is (234/(-63) - v)*84 a multiple of 3?
True
Let b = -432 + 825. Let p = b - 116. Suppose p = -10*t + 1137. Is 12 a factor of t?
False
Suppose 2*r - 21 = -r. Let y(b) = 6*b**2 - 11*b + 33. Let m(g) = -5*g**2 + 9*g - 31. Let p(q) = 7*m(q) + 6*y(q). Is p(r) a multiple of 4?
False
Let k(v) = 4*v**2 + 60*v - 40. Is k(-62) a multiple of 11?
True
Let w = -37 + 47. Let d be (-534)/(-10) + w/(-25). Suppose -d*f + 57*f = 328. Does 9 divide f?
False
Does 7 divide (-345)/(-2070) - ((-78071)/6)/1?
False
Let j(q) be the third derivative of -q**6/120 + 11*q**5/60 + 5*q**4/12 - 5*q**3/2 - 43*q**2. Is 10 a factor of j(10)?
False
Suppose -15*h = 5*h - 47*h + 221211. Is 3 a factor of h?
True
Let f be (5 - 2)/(27/(-117))*1. Does 10 divide -7 - 1 - f - (-14 + -2)?
False
Suppose 0 = -40*k + 46*k - 7392. Suppose -11*w - 11*w + k = 0. Does 22 divide w?
False
Let y(s) = s - 2. Let b be y(6). Suppose -7*p - b = -8*p. Let d(t) = t**3 + 3*t**2 + 8*t - 1. Is d(p) a multiple of 49?
False
Suppose 0 = -8*j - 1 - 7. Let n(v) = 2*v + 62. Let g(t) = t. Let d(z) = j*n(z) - 5*g(z). Does 10 divide d(-13)?
False
Let k be (-26)/(-65)*-305*1. Let g = 121 + k. Let s = 157 + g. Does 10 divide s?
False
Let z = -6686 + 6917. Does 5 divide z?
False
Let h(r) = 454*r + 12. Let m be h(18). Suppose -10*g = -m + 184. Suppose 16*i - 21*i = -g. Is i a multiple of 20?
True
Suppose -777*a - 18744 = -783*a. Is a a multiple of 11?
True
Let y = 2754 + 823. Is y a multiple of 7?
True
Let j(s) = 19*s**2 + 5 - s - 75*s + 6*s**2. Does 18 divide j(-5)?
False
Let j(t) be the second derivative of -37*t**3/6 + 11*t**2/2 + 57*t. Is j(-22) a multiple of 15?
True
Let i(d) = -3*d**2 + 370*d - 18. Does 9 divide i(18)?
True
Let n = -188 - -192. Is (-14)/n*((-1 - 3) + -18) a multiple of 2?
False
Let x = 386 + -386. Suppose x = 5*u - 4*u - 225. Is u a multiple of 9?
True
Suppose -428*q + 448*q = 2240. Is q a multiple of 14?
True
Suppose -33*r = 28*r + 18*r - 1506609. Is r a multiple of 147?
False
Suppose -347*l = -117*l - 51060. Is l even?
True
Let m(p) = -7*p + 3996. Does 7 divide m(117)?
False
Suppose -40*f + 44*f - 80 = 0. Does 27 divide 3648/30 - (-8)/f?
False
Suppose 2*r - 1312 = -z, r + 0*z = -3*z + 661. Let t = r + -186. Does 16 divide t?
False
Suppose a - 13658 = -12*a - 2543. Is a a multiple of 19?
True
Let a(z) be the third derivative of 11*z**4/12 - 65*z**3/3 + z**2 + 6*z. Does 56 divide a(15)?
False
Suppose 3 - 10 = o. Let b(k) = k**2 - 1. Let i(g) = 3*g**2 - 4*g + 8. Let j(n) = 4*b(n) - i(n). Is j(o) a multiple of 2?
False
Let o be (-68)/(-10) - (-100)/(-125). Suppose o*q = 2*q + 5*d + 1060, -1370 = -5*q - 5*d. Is q a multiple of 10?
True
Let p = 20814 + -13777. Is p a multiple of 6?
False
Suppose 5*b - 235 = -4*p, -58 = -3*b + p + 100. Let f(m) = -m**3 - 41*m**2 + 76*m - 129. Let n be f(-43). Suppose -11*v + b + n = 0. Is v a multiple of 6?
False
Let q = -3 - -2. Let a be -319 + (q - -2 - 8/(-4)). Let r = a - -490. Does 32 divide r?
False
Does 12 divide (12/21)/((-146)/(-619843))?
False
Suppose -8*z + 2*z = -102. Let p be (2 + (-364)/8)*-2. Let m = p - z. Does 14 divide m?
True
Suppose -2*f = 4*o - 13598, 5*f - 17111 - 16914 = 5*o. Does 52 divide f?
False
Suppose -5*i + 0*i = 3*n - 37, i - 2*n + 3 = 0. Suppose 0 = -i*s + 576 - 196. Is 4 a factor of s?
True
Suppose -2*h = 2*h + 20. Let y(t) = 3*t + 17. Let v be y(h). Suppose -4*i = -2*w + 46, -4 = 2*i + v. Is 5 a factor of w?
False
Suppose -5*b + 2785 = -2*k, -b + 6*k - 8*k + 569 = 0. Suppose 26*y - b = 975. Is 2 a factor of y?
False
Suppose 3 = -3*v, -2*v - 307 = -5*p - 0*p. Suppose 13 = 5*q - 4*y - p, 2 = -2*y. Is q a multiple of 7?
True
Let x = -116904 + 188481. Is 15 a factor of x?
False
Let i = 3298 + -3308. Suppose 5*f - f + 3*s = 76, 3*f - s - 44 = 0. Let b = f + i. Does 3 divide b?
True
Let y(p) = 28 + 20*p**2 + 27 - 12*p - p**3 - 3 - 10. Does 7 divide y(19)?
True
Suppose -2*n = -3*d - 8 + 1, 5 = -3*d + 4*n. Let h be 3 + (0 - 55)*d. Suppose x - 4*x = -h. Is x a multiple of 8?
True
Let f(c) = -9*c + 93. Let t be f(18). Let d = 146 - t. Is d a multiple of 26?
False
Suppose 0 = -4*o + 9*w - 12*w + 2400, -3*o - 4*w + 1800 = 0. Suppose -14 = -0*z - 2*z. Suppose o = 3*f + z*f. Is f a multiple of 30?
True
Suppose 4*k + 28 = 12. Let t be (-15)/(-3)*k*(-2)/8. Suppose -3*y - x = -t*y + 42, -y - 4*x = -12. Is y a multiple of 5?
True
Let g(x) = -28*x + 222. Let y be g(9). Let z(b) = -22*b - 30. Does 15 divide z(y)?
True
Let i(x) = 2*x**2 - 37*x + 68. Let l be i(2). Does 48 divide (-14*l/(-70))/(2/2160)?
True
Let m be (26/(-3))/(4 + (-305)/75). Let v = m + -5. Is 6 a factor of v?
False
Suppose 3*n = -f - 28, 8*f + 49 = 6*f + n. Is 10 a factor of (-6)/(-15) + -1 + (-7515)/f?
True
Suppose -25*q + 8*q + 357 = 0. Suppose -20*k - 134 = -z - q*k, 5*z - 666 = -k. Is z a multiple of 11?
False
Let n = 295 + -285. Is 10 a factor of -54*3/(-6)*n?
True
Suppose 1458841 = 213*d - 219599. Is 20 a factor of d?
True
Suppose -12*g + g + 33 = 0. Let v be (g - 6)/((-1)/(-14)). Let b = 3 - v. Does 5 divide b?
True
Let i(l) = l**3 - 19*l**2 - 15*l + 527. Is i(27) a multiple of 110?
False
Let a(s) = -s**3 + 16*s**2 - 3*s - 21. Suppose -59*t - 143 = -72*t. Is a(t) a multiple of 43?
False
Let y = -96883 + 176908. Is y a multiple of 11?
True
Suppose -5*g = 5, 0 = -5*f + 8*g - 9*g - 701. Does 30 divide (20 - 2)/((-14)/f)?
True
Let s = -3245 - -17525. Is 50 a factor of s?
False
Let c = 3390 + 4738. Suppose -c = -36*t + 26324. Is t a multiple of 29?
True
Suppose 7*w - 8059 - 11877 = 0. Does 178 divide w?
True
Let s(j) = -j**2 + 5*j - 4. Let g be s(5). Is 2 a factor of (2/(-6))/(g*(-2)/(-360))?
False
Suppose -3*s - 72 = -3*j, 6*j + s = j + 114. Is 14 a factor of (-2 + j)*(-238)/(-21)?
True
Is 6497/6 + 10/(-12) a multiple of 7?
False
Let b(d) = d**3 - d**2 - d. Let v(u) = -5*u**3 - 9*u - u**3 + 2*u**3 + 3 - 10*u**2 + 12*u. Let w(l) = -6*b(l) - v(l). Does 21 divide w(7)?
False
Suppose 0 = 4*w + 12, 3*w = 16*z - 19*z - 18. Let s(q) = -383*q - 86. Is 54 a factor of s(z)?
False
Suppose -47*y + 44*y = 5*c - 4319, 0 = 2*c + 4. Is 120 a factor of y?
False
Let l = -155 - -279. Let y = 170 - l. Let g = y - 40. Is g a multiple of 3?
True
Let h = 68245 - 27894. Does 16 divide h?
False
Does 7 divide 2067/3 + 256/16 + -17?
False
Suppose -2*y = -2*k - 328, y - 5*k - 500 = -2*y. Does 3 divide y?
False
Suppose 0 = -21*w + 12*w + 4734. Suppose -9*x + 12*x + 318 = 3*v, 3*x + w = 5*v. Does 4 divide v?
True
Let d(w) = 44*w - 19. Is d(31) a multiple of 5?
True
Let z = 164708 - 94560. Is 23 a factor of z?
False
Suppose 6*b = 1184 + 16564. Does 45 divide b?
False
Let r = -134 + 136. Suppose -f = -4*b - 288 - 157, 4*f = r*b + 1794. Is f a multiple of 20?
False
Let g be (-6)/(-4)*2 + -2 + 4. Suppose 145 + g = 5*c. Suppose 5*x + 45 = 2*s, 5*s - 35 = 3*x + c. Does 10 divide s?
True
Suppose 0*s - 3*s - 3*s = 0. Suppose -2*q + 82 = 4*t, s = 4*q - 2*t - 0*t - 114. Suppose 3*l = 2*r + 2*l - q, 3 = 3*l. Is r a multiple of 12?
False
Suppose -11*s = 17*s + 56. Is ((-20)/(-6))/(s + 224/108) a multiple of 3?
True
Let m = 372 - 351. Suppose -4876 - 3188 = -m*y. Is 74 a factor of y?
False
Suppose -q - q - 3*b = -2905, -3*q - 5*b + 4355 = 0. Does 8 divide q?
False
Let p = 5378 + -2292. Suppose -p - 9489 = -25*z. Is 1