 v be (-6 - (-220)/35) + 374/14. Let k = 154 - v. Does 18 divide k?
False
Let v = -892 - -1307. Is v a multiple of 5?
True
Suppose 3978 = 27*x - x. Does 4 divide x?
False
Is 14 a factor of (-1256)/(-3) - (-28)/84?
False
Suppose n + n + 656 = g, 0 = 3*n + 9. Suppose -3*w + 177 = 5*k - g, -2*k = 2*w - 330. Is k a multiple of 17?
False
Let k = -265 + 754. Let t = -338 + k. Is t a multiple of 11?
False
Let h(a) = -2*a**3 - 41*a**2 + 14*a - 8. Does 25 divide h(-21)?
False
Suppose -23 = -3*u - 5*i + 342, -4*i = u - 110. Is u a multiple of 13?
True
Suppose 2*a + 1 = a - 2*w, 3*w + 18 = 4*a. Suppose 4*r + a*y = -r + 142, 2*y = r - 18. Is r even?
True
Does 19 divide 3/(42/3284)*(-80 - -87)?
False
Let v(s) = -12*s**3 - 9*s**2 - 2*s + 3. Suppose 6 = 2*i - 6. Let d(g) = -g**3 - g**2 - g + 1. Let f(l) = i*d(l) - v(l). Is f(2) a multiple of 14?
False
Suppose 30 = -3*x - 24. Does 21 divide (124/3)/(x/(-81)) - -4?
False
Suppose -z + 4 - 6 = -3*l, l + 2*z - 10 = 0. Let n = 4 - l. Suppose 2*p - 67 = -3*v - n*p, 0 = -5*v + 2*p + 155. Is 13 a factor of v?
False
Let m = 2529 - 1449. Is m a multiple of 35?
False
Is 59 a factor of (-2)/(-2)*2/((-22)/(-23441))?
False
Let q be 109/4 + ((-54)/24)/9. Suppose -d + q = -0*d. Is 16 a factor of d?
False
Let t be (-153)/(-2)*(-6)/(-9). Let n = -32 + t. Does 19 divide n?
True
Suppose 0 = 12*y - 1444 - 1820. Is 16 a factor of y?
True
Suppose -5*w = 4*z - 1265, w - 3*w + 954 = 3*z. Suppose 0*r + 3*j = -r + 96, -4*j - z = -4*r. Does 12 divide r?
True
Suppose -n = 5*c - 19, -4*n = -5*c - 0*c + 24. Let a = -5 + n. Let v(l) = l + 15. Is v(a) even?
False
Suppose 0 = -2*v + 4*b + 4540, 2*v - 4552 = 17*b - 16*b. Is v a multiple of 34?
True
Does 3 divide ((-6)/15*-5)/((-2)/(-166))?
False
Let h(u) = -u. Let y(s) = -6*s**3 - s**2 + 5*s + 3. Let n(d) = -3*h(d) + y(d). Does 22 divide n(-3)?
True
Is (-5 - 11)/(8/(-2444)) a multiple of 104?
True
Let s be 476/36 + (-2)/9. Let l = s + -11. Suppose 2*c - l*n - 64 - 38 = 0, c = -n + 57. Is 11 a factor of c?
False
Suppose -v - 46 = -3*r - 125, 2*v = 5*r + 133. Suppose z - 3 = 0, 3*z = 4*i - 2*z + 43. Let m = i - r. Is m a multiple of 3?
True
Suppose 59*k = 54*k + 490. Let r = 111 + k. Does 19 divide r?
True
Let h(n) = -10*n**3 + 29*n**2 - 38. Is h(-6) a multiple of 56?
False
Let i be 7 - (4 - 4) - 4. Let o = -1 - i. Is 3 - 2*-7 - o a multiple of 8?
False
Is 14 a factor of (44/(-6))/((-72)/27216)?
True
Let g = -770 - -1805. Is 15 a factor of g?
True
Is 8 a factor of (-384)/(-36)*126/4 - 2?
False
Let n(k) = 2*k**2 - 4*k - 8. Let t be n(4). Let f be 1*t + 36/(-18). Suppose -f*x + 4 = -74. Is x a multiple of 6?
False
Let p = 31 - 22. Let z(f) = 4*f - 3. Let o be z(p). Suppose 5*b + 8 - o = 0. Is b a multiple of 2?
False
Let q(x) = -x**2 - 9*x + 2. Let a be q(-7). Suppose -4*c + j + a = -0*j, 4*j + 28 = 4*c. Suppose 3*k - g - 3*g - 32 = 0, 0 = -c*g - 15. Is 4 a factor of k?
True
Let b = -1129 - -1860. Is b a multiple of 13?
False
Let j(g) = -g**2 - 12*g - 4. Let o be j(-12). Let r be (o - -1)/(6/(-34)). Let w = r - -14. Is w a multiple of 10?
False
Let r = 38 + -61. Let x = 47 + r. Does 12 divide x?
True
Let s(z) be the first derivative of 5*z**3/3 - 29*z**2/2 + 6*z + 42. Is s(9) a multiple of 19?
False
Let s = 1919 - 1922. Let g be 166/8 + 2/8. Let x = g - s. Is 7 a factor of x?
False
Let f = -14 + 10. Let i = f + -12. Let c = i - -47. Is 8 a factor of c?
False
Let t(y) = 6*y**3 - 5*y**2 - 10*y + 4. Let f be t(-4). Is (1/3)/((-2)/f) a multiple of 14?
True
Let h(o) = -25*o - 31*o + 54*o. Is 3 a factor of h(-7)?
False
Let x be 2/(-5) - 176/(-40). Suppose v = x*v - 996. Suppose -i = s - 79, 5*i - 4*s = i + v. Is i a multiple of 17?
False
Let v = 384 + -232. Let c = v + -97. Does 16 divide c?
False
Let q = 373 - -797. Is q a multiple of 45?
True
Let f(k) = k**3 - 11*k**2 + 12*k. Let t be f(10). Suppose -w + t = 4*w, 4*w - 58 = -3*g. Suppose j + j = g. Is j a multiple of 3?
False
Let a be 3*-3*(-1)/3. Suppose -a*b = -b - 320. Suppose -5*w = -0*w - b. Is 14 a factor of w?
False
Suppose -22*j - 222 = -23*j. Is 6 a factor of j?
True
Let b(l) = -25*l - 63. Let m be (-14)/91 + 256/(-26). Does 34 divide b(m)?
False
Suppose 2*f + 5*w - 730 = 0, -5*f = -7*f + w + 754. Does 31 divide f?
False
Suppose -1574*t + 256 = -1572*t. Does 13 divide t?
False
Let x be (-1 + 2)/(2/(-180)). Let n = -134 - x. Let h = n - -120. Is h a multiple of 17?
False
Suppose 2*l - 3*p - 4 = -3, 4*p = -l + 6. Suppose -l*b + 96 + 14 = 0. Is b a multiple of 11?
True
Let h(d) = -d**2 + 29*d - 6. Does 2 divide h(21)?
True
Let c(n) = 23*n**2 - 26*n + 77. Is c(4) a multiple of 51?
False
Let h = -66 - -30. Let u = h + 84. Is u a multiple of 8?
True
Let k be 3*(-2)/3 - -6. Is 11 a factor of ((-4)/(-8))/(k/136)?
False
Let u(j) = 12*j**2 + 2*j**2 + 11*j**2 - 12*j**2 - 3*j - 2. Is u(3) a multiple of 36?
False
Suppose 0 = -5*s + 4*s - 13. Let b = -13 - s. Does 24 divide 1*-8*(b + -8)?
False
Let a(b) = b**3 + 12*b**2 + 13*b + 7. Let l be a(-10). Let d = l + -23. Does 24 divide d?
False
Let d = -20 - -16. Is 125*(d + 9)/5 a multiple of 21?
False
Let v be (-21)/(0 - -3)*-1. Let l be (-2)/((-7)/((-7161)/(-6))). Suppose 0 = v*b - 114 - l. Does 13 divide b?
True
Suppose 4*l + 272 + 124 = 0. Let o = 167 + l. Suppose 14 = -3*z + o. Is 9 a factor of z?
True
Suppose -6*i + 3*i - 9 = 0. Let y be 6 + ((-27)/i)/(-3). Suppose 4*n = y*n + 60. Does 30 divide n?
True
Let a(g) = -g**3 + g**2 - 7. Let z(o) = -3*o**3 + 2*o**2 - 22. Let r(b) = -8*a(b) + 3*z(b). Does 15 divide r(-5)?
False
Is 21*5/(20/76) a multiple of 44?
False
Let y(j) = 3*j - 21. Let g(t) = 2*t - 21. Let h(b) = -4*g(b) + 3*y(b). Let u be h(-17). Let v(x) = x**3 - 2*x**2 - 6*x + 7. Does 15 divide v(u)?
True
Suppose 2*i + 123 + 191 = 0. Let g = i - -253. Is g a multiple of 12?
True
Let n(b) = -b**3 + 58*b**2 + 37*b + 132. Is n(58) a multiple of 34?
True
Let w(q) = -45*q - 214. Is 11 a factor of w(-16)?
True
Let d(i) = -3*i - 18. Let k be d(-6). Suppose 0 = -z - 3*w + 48, 5*w + k*w - 157 = -4*z. Does 7 divide z?
False
Let l(p) = 4*p - 1. Suppose y = 2*q - 7, y = q - 4*y - 26. Let g be l(q). Suppose -j - 5*f = -6, 0*j + 5*f + 78 = g*j. Is 7 a factor of j?
True
Is 49 a factor of (-66843)/(-273) + (-6)/(-39)?
True
Let t(h) be the third derivative of -h**6/120 - h**5/60 + h**4/6 - h**3/6 - 3*h**2. Let j be t(-3). Suppose x - j*x + 16 = 0. Does 3 divide x?
False
Let p = -362 - -666. Does 12 divide p?
False
Suppose -3*p - 14*y = -9*y - 273, 0 = -5*y. Is p a multiple of 63?
False
Suppose 4*l - 1 = -9. Let f(n) = -64*n + 3. Is f(l) a multiple of 16?
False
Let q = -360 - -781. Let h be (3 - q) + 0/(-1). Is h/(-8) + (-4)/16 a multiple of 26?
True
Suppose 0 = -0*q + q + 3*g + 8, 0 = 5*q + 3*g - 20. Suppose q = 2*y - 11. Is y a multiple of 9?
True
Let t be 4/(-10) + (-3 - (-834)/10). Suppose 5*j + t = 3*f + 2*f, 46 = 2*f + 5*j. Is 8 a factor of f?
False
Let g = 657 - 49. Is 19 a factor of g?
True
Suppose 2*q + 6 = 3*q - 2*n, -4*n = q + 6. Suppose q*w - 1565 = -5*b, -2*w + 4*b + 822 = -770. Suppose 0 = 5*f + 2*c - w, 151 = f + 3*c - 4*c. Does 39 divide f?
True
Let a = 20 - 10. Let o = a - 7. Suppose -40 + 4 = -o*l. Is 7 a factor of l?
False
Let x(t) = -2*t - 26. Let n be x(-10). Let p(j) = j**3 + 9*j**2 + 6*j. Is p(n) a multiple of 24?
True
Suppose -4*n - 7 = -g + 3, 0 = 2*g - 4. Let b = n + 7. Suppose -b*u = -u - 24. Is u even?
True
Let c = 377 - -13. Is c a multiple of 13?
True
Let p(r) = 4*r - 14. Let m be (-1 + 2)*(6 - 2). Suppose m = k - 7. Is 15 a factor of p(k)?
True
Suppose 4*n + 3766 = 3*j, 3*n + 2004 = 2*j - 506. Is 21 a factor of j?
False
Suppose -3*z = -7*z. Let i(r) = -r**3 + r + 168. Let n be i(z). Suppose n = -5*c + 8*c. Is c a multiple of 14?
True
Let l(u) = u**2 + 9*u - 7. Suppose 10*b - 13*b = 2*r + 21, -b + 1 = 0. Is 5 a factor of l(r)?
False
Let f(s) = s - 7*s - 2 + 1 - 1. Suppose q + 0*d - 4*d - 4 = 0, -2*q + 2*d - 4 = 0. Is f(q) a multiple of 22?
True
Suppose k - 27 = -2*k - 3*f, 2*k - 27 = f. Suppose 4 = 3*v + n, 2*n - k = -n. Suppose v*t + 24 = t. Is 12 a factor of t?
True
Let f = 0 - -370. Is 37 a factor of f?
True
Suppose 5*c = 3*p + 3916, -2*c = -7*c + 5*p + 3910. Is c a multiple of 45?
False
Suppose -5*b + 4*u + 35 = 0, 0 = -u + 3*u. Suppose -12*z - 2*q + 543 = -b*z, -4*q = -4*z + 440. D