, -y + 29 = 2*x. Is 16 a factor of y?
False
Let n(r) = 41*r - 94. Suppose 5*p - 27 = q - 12, 33 = 5*q + 2*p. Does 37 divide n(q)?
True
Let r be 35/15 - 14/(-21). Suppose -5*p + 2584 = o, -4*p + r*o + 2*o = -2044. Is 42 a factor of p?
False
Suppose 5*c = 72 + 18. Suppose -2760 = -c*q + 14*q. Is q a multiple of 46?
True
Suppose 71*f - 393688 - 107288 = 0. Is 8 a factor of f?
True
Suppose -1105 + 8721 = 8*x. Is 115/(-2)*x/(-170) a multiple of 46?
True
Let n(y) = -y**3 - 7*y**2 + 16*y - 14. Let g be n(-9). Suppose -2338 = -4*v - 2*q, g*v + q = -3*q + 2336. Is v a multiple of 14?
False
Suppose 0 = -4*w + 2*x - 6 - 56, -5*w - 84 = 4*x. Let k(v) = v**2 - 14*v - 24. Let s be k(w). Is 4 a factor of (2/(-4))/((-19)/s)?
True
Suppose 3*r - 884 - 106 = 0. Suppose h = x - 613, 0 = x - 3*h - 293 - r. Is x a multiple of 12?
False
Let k(w) = 7*w**2 + 112*w - 555. Is 15 a factor of k(24)?
True
Let n(p) = p**3 - 8*p**2 + 3*p - 20. Let b be n(8). Suppose -6*f + 18 = -b*f. Let s(y) = y**3 - 10*y**2 + 12*y - 1. Is s(f) a multiple of 3?
False
Let n(f) = 206*f - 12. Suppose 25 = 5*c - 3*u, -5*c = -0*u + 4*u + 10. Does 18 divide n(c)?
False
Suppose -2*v + 2*a + 84 = 0, -4*v - 3*a = a - 208. Suppose -5*s - 17 = -v. Suppose 0 = -0*d - s*d + 540. Is 10 a factor of d?
True
Let p(f) = 5*f**2 + 14*f - 95. Let b be p(11). Let h = b - 482. Does 24 divide h?
False
Suppose 268*y + 304 = 264*y. Does 21 divide (-1134)/36*y/3?
True
Let r(v) be the first derivative of -v**4/4 + 20*v**3/3 + 49*v**2/2 + 12*v + 24. Is 30 a factor of r(21)?
True
Let y = -87 - -97. Suppose -15*i + 2*f = -y*i - 2197, -f = 4*i - 1768. Is 65 a factor of i?
False
Let x(n) be the first derivative of n**4/4 - n**3 + 11*n**2/2 + 5*n - 8. Let t(u) = -u**3 + 12*u**2 + u - 7. Let z be t(12). Does 15 divide x(z)?
False
Let b be ((-38)/(-10) - 1)*-510. Is (64/3)/((-136)/b) a multiple of 31?
False
Let a = -42140 - -60327. Is 13 a factor of a?
True
Suppose -7153 = -4*k - 5*c + 33613, 5*c - 30 = 0. Does 67 divide k?
True
Suppose -i - 4 = -2*y, -17 = -4*y - 1. Suppose -i*x = 4*k - 5*x - 30, -4*x = 5*k - 27. Suppose -3*g - 352 = -k*g. Is g a multiple of 17?
False
Let j(v) = v**3 - 25*v**2 + 23*v + 24. Let z be -3 - (5 + -59)/2. Let l be j(z). Suppose 3*i - 4*h - 225 + 34 = l, -h = 2*i - 109. Is i a multiple of 10?
False
Let w be (26/(-4))/(3/(-12)). Suppose 8*c - 10*c - 5*l = -34, 0 = 3*c + 3*l - 60. Let m = c + w. Is m a multiple of 8?
True
Let z(w) = 16*w**3 - 3*w**2 + 17*w + 3. Let y be z(5). Suppose -4*i - x = -y, 1927 = 4*i + 5*x - 74. Is 12 a factor of i?
True
Suppose -44*m + 42716 = 3512. Is 2 a factor of m?
False
Suppose -5*i = -6 - 24. Suppose -i*l = 60 - 6. Let j(n) = -n**2 - 11*n - 8. Does 3 divide j(l)?
False
Let d(m) = -m - 16. Let l be d(-10). Let v = 18 + l. Suppose -245 = -v*r + 1579. Does 38 divide r?
True
Let t(v) = 360*v - 4367. Does 5 divide t(16)?
False
Suppose -2*n - 40 = -7*q + 5*q, 0 = 2*q - 5*n - 28. Suppose 17*u = 194 - q. Does 20 divide 2624/u + 18/30?
False
Let y be (5 - 0) + (-14 - -11). Suppose y*a - l - 1071 = 0, -a - a + 1083 = 3*l. Does 12 divide a?
False
Let q be -4*(-3)/54 + (-43)/(-9). Suppose 949 = q*z - 411. Does 6 divide z?
False
Suppose -5*c + 5 = 0, -919 = -2*j - 2*c - c. Let a = 713 - j. Does 21 divide a?
False
Let n = -30 - -34. Let y = 543 - n. Suppose -6*b + y = b. Does 15 divide b?
False
Let o = -8530 - -8838. Is o a multiple of 12?
False
Let z = 9 - 8. Let g be (-1472)/56 - z*4/(-14). Let k = 22 - g. Does 8 divide k?
True
Let k = 3318 - 1094. Is k a multiple of 9?
False
Let d(u) = 26*u**2 - 9. Let w = -74 - -71. Is 81 a factor of d(w)?
False
Suppose -8*o + 11*o - 2*d = 19, 5*o + d = 10. Suppose -o*s = -0*s + 4*l - 214, 0 = -3*s - l + 202. Does 33 divide s?
True
Let k(p) = -10*p**2 - 13*p - 14. Let x(a) = -9*a**2 - 12*a - 13. Let q(v) = -2*v**2 + 3*v + 2. Let z be q(3). Let j(t) = z*x(t) + 6*k(t). Is 5 a factor of j(4)?
False
Suppose 640*a - 51660 = 622*a. Is 4 a factor of a?
False
Suppose -3*w + w = 5*u + 25, 3*w = -3*u - 15. Does 2 divide (25/u + -28)*4/(-12)?
False
Let v = -1070 + 1946. Suppose 0 = 5*n - v - 209. Does 31 divide n?
True
Let g(q) = 5608*q**2 + 5*q + 2. Is g(1) a multiple of 19?
False
Suppose 2 = 2*c - x - 0, -2*c + 10 = x. Suppose -4*j = -c*z - 5001, 5*j - 6252 = 21*z - 17*z. Is 48 a factor of j?
True
Let v be (-1)/4 - 1551/(-44). Let h be (v/(-2))/7*-166. Suppose h = 5*x - 110. Is 21 a factor of x?
True
Let p = 141 + -181. Let f = p + 179. Is f a multiple of 12?
False
Let m be (6/(-20) - (-43130)/100) + 5. Let i = m + 12. Is i a multiple of 16?
True
Let a = 3983 - 3977. Let m be -1 + (0 - -1 - -490). Suppose a*h + h = m. Is h a multiple of 12?
False
Suppose 5*b = -7 - 3. Let k be (35/15)/(b/(-6)). Does 17 divide (10/(-4) + k/14)*-36?
False
Suppose 0 = -194*u + 11*u + 1576362. Is 18 a factor of u?
False
Let z = -48 - -139. Let i = 75 - z. Is -6*5*(i/(-10))/(-1) a multiple of 12?
True
Let u(a) be the first derivative of 227*a**3/3 - 2*a**2 - 5*a - 207. Is u(-1) a multiple of 11?
False
Let h be 30/20*4/3. Suppose -9*c = -h*c - 1197. Is 19 a factor of c?
True
Let k = -88 + 151. Let b be (-6)/(-7)*(-3710)/(-212). Let o = k + b. Is 8 a factor of o?
False
Let i(y) = y**3 - 32*y**2 + 127*y - 104. Does 44 divide i(29)?
True
Suppose -2*u + 5 = 7, -2*u + 66 = f. Suppose 733 = 5*v + f. Does 20 divide v?
False
Let i(b) = -b**2 + 15*b - 32. Let g = -96 + 94. Let k be 8 - 3/((-6)/g). Is i(k) a multiple of 24?
True
Let k = 4300 + -4375. Suppose -130 = f + 40. Let r = k - f. Does 53 divide r?
False
Suppose -5*l + 30 = -40. Let r be (-1403)/(-161) - (-4)/l. Does 30 divide 351*(6/2)/r?
False
Let b be 6/((-5)/(20/3)). Let z be (-298)/b + 0 - (-2)/(-8). Let s = -13 + z. Is s a multiple of 15?
False
Suppose 54*m - 261 = 7191. Suppose 4*d - 3790 + m = 0. Does 11 divide d?
True
Suppose -202 = -2*m - 4*r + 2*r, 5*m = -r + 509. Let t = -101 + m. Does 25 divide (t*3)/((-78)/(-3770))?
False
Suppose 38262 = 2*s - 3*d, -5*s + d + 95682 = -2*d. Is 66 a factor of s?
True
Let y(p) = -227*p**3 - 3*p**2 - 89*p - 495. Is 250 a factor of y(-5)?
True
Suppose 4*a + 35 = 3. Let t(c) = 16*c + 49. Let y be t(a). Let b = 114 + y. Is b a multiple of 35?
True
Let z = 48 + -62. Let o(u) = -2*u - 24. Let x be o(z). Suppose 5*y = 0, -2*p + x*y + y + 94 = 0. Does 5 divide p?
False
Suppose 0 = 3*s - 3*q - 87, -8 = -s + 4*q + 9. Let o = 335 + s. Is o a multiple of 8?
True
Suppose 153*g = 152*g + 4. Suppose 0 = h + g*k - 38, 51 = 3*h + k - 52. Is 9 a factor of (17/h)/(1/414)?
True
Let m be (1 + (-14)/6)/(2/348). Is (-87)/m - 5626/(-16) a multiple of 16?
True
Suppose 6*l = 43 - 253. Let y = 1 - l. Is 10 a factor of (-45)/y + 170/8?
True
Suppose -4*j + 1212 = -388. Let g(c) = 3*c**3 + 7*c**2 + 23*c + 12. Let x be g(-4). Let b = j + x. Is 20 a factor of b?
True
Let c(i) = i**3 + 10*i**2 + 8*i - 7. Let g be c(-9). Suppose t - g*t + 8 = 3*y, 2*t - 8 = -2*y. Is (4/8)/(y/368) a multiple of 13?
False
Suppose 0 = -19*o + 213 + 205. Is 14 a factor of 634/o + -1 - 28/(-154)?
True
Let i = -3552 - -3557. Suppose -2*n + 99 = 2*n - w, n - 20 = 5*w. Suppose 0 = 5*g - i - n. Is 6 a factor of g?
True
Let y be (-20)/(-8)*2 + -2 + 84. Let k = 91 - y. Suppose -2*c + 978 = 4*f, -k*f - 5*c = -0*c - 993. Is f a multiple of 36?
False
Let p(w) = -29*w**3 - 11*w**2 - 13*w - 13. Is 47 a factor of p(-5)?
False
Is 21 a factor of 2/(-3) - (97728/(-36) - -5)?
True
Let h = 6933 - -2067. Is h a multiple of 15?
True
Let t(q) = 20*q**2 - 9*q + 25. Let o(n) = -7*n**2 + 3*n - 8. Let k(u) = 8*o(u) + 3*t(u). Let j be k(8). Suppose -26 + j = 7*c. Is c even?
False
Is (4*(-5)/10 + -207)/(66/(-594)) a multiple of 171?
True
Let y(z) = 283*z**3 - 2*z**2 - 10 + 8*z**2 - 281*z**3 + 2*z. Let t be y(-5). Let k = -71 - t. Does 4 divide k?
False
Suppose -3*q + q + 380 = n, 4*n - 752 = -4*q. Let f = 347 - q. Is 12 a factor of f?
False
Suppose 10 = -5*n, 4*i - 11*n - 12014 = -16*n. Is 5 a factor of i?
False
Suppose -13*l - 2 = -12*l. Let a be (-2 + 1)/((-1)/(l - -3)). Is a - 3/6 - 306/(-4) a multiple of 11?
True
Let m be 121*-5 + (-1 - (-1 + -1)). Let t = -374 - m. Is t a multiple of 18?
False
Let j = -119 - -137. Is 11 a factor of (7 - j)/(2/(-8))?
True
Let o be 1 - (68 + 1 + 3). Let v = -51 - o. Let f = v + 70. Is 33 a factor of f?
False
Suppose 248 = -