 be 0 - (-230)/(-26) - (-26)/(-169). Let p = s + 11. Suppose -3 = 5*m + 3*b - 922, -5*m + p*b + 904 = 0. Is 26 a factor of m?
True
Let b be -1 + (-4)/(-4) + -3 - -5. Suppose -5*d = -2*w + 12, 16 = 2*w + b*d - 6*d. Is ((-504)/w)/((-6)/8) a multiple of 14?
True
Let c(o) = -2*o + 23. Let y be c(47). Suppose p + 16 = -45. Let t = p - y. Is 10 a factor of t?
True
Let i be (-1545)/(-18) + 1/6. Is (i/((-6)/(-3)))/(9/63) a multiple of 43?
True
Let q = 9 - 5. Suppose 3063 = 5*x + q*v, -x - 9*v + 621 = -4*v. Does 30 divide x?
False
Suppose 4*u - 11710 = -d, 0 = 211*u - 213*u + 6. Is 10 a factor of d?
False
Let p = -177 + 179. Suppose -992 = -4*n + 2*s + 2*s, p*s = 5*n - 1240. Does 12 divide n?
False
Suppose -2*j = -g + 7, 2*j + 6 = 2*g - 2. Let q be 10/(-4)*(0 - g)*2. Suppose -5*u + q*a + 745 = 0, 797 = 5*u - 3*a + 62. Is 36 a factor of u?
True
Let d be (2/(1/1))/2 - -9. Let p be (2 + -2)/(-12 + d). Suppose z - 11*z + 2350 = p. Is 27 a factor of z?
False
Let b = -533 + 813. Suppose 0 = -y - 3*y - b. Let r = y + 157. Is r a multiple of 29?
True
Let p be (2 - 15 - -2)*-7. Let l be (-63)/(-5)*((-76)/(-57) - -2). Let o = p - l. Is o a multiple of 17?
False
Let h be (-14 + 72)*(-1 + (-15)/6). Let w = h - -335. Is w a multiple of 11?
True
Let u = -135 + 456. Let t = 910 - u. Does 18 divide t?
False
Let b(h) = -273*h + 343. Let t be b(-6). Suppose 4*c - t - 123 = 0. Is c a multiple of 7?
False
Suppose u = 5*l, -5*u + 0*u + 5*l = -60. Let k = -3 - u. Is 7 a factor of (6 - 2)*(-4 - k)?
True
Let l(x) = -14*x**3 - x + 2. Let v = 32 - 31. Let w be (37 + -36)*(-2 - (v + -1)). Is l(w) a multiple of 29?
True
Suppose 3*i = 0, 144 + 327 = 3*l - i. Suppose 4*h - 4 = -0*h, -4*d = -3*h - l. Let u = 67 - d. Is 21 a factor of u?
False
Let y(k) be the third derivative of 31*k**4/24 + 31*k**3 + 3*k**2 - 3*k. Is 20 a factor of y(14)?
True
Suppose -w + 95 + 10 = 0. Let x(t) = -t**2 - 5*t + 3. Let m be x(-4). Let c = w + m. Is c a multiple of 16?
True
Let m = 27 - 25. Let x = 6 + m. Let z(o) = 2*o**2 - 11*o + 4. Is 11 a factor of z(x)?
True
Does 38 divide (8 - (14 - -2)) + 2410?
False
Suppose -3*p + 3*x + 15 = 0, 3*p + x = -4*x + 31. Let t(n) = 2*n**2 + 7*n - 6 + 3*n**2 + 7*n - 4*n**2. Is 27 a factor of t(p)?
False
Suppose 222 = -c - 3*q + 4745, -4*c = -14*q - 17910. Is c a multiple of 8?
False
Let q(g) = -g + 15. Let y be q(9). Let u be (-1 - 2)*76/y. Is (-1 - u)*(-7)/(-7) a multiple of 31?
False
Let i = 21 - 36. Let j = -11 - i. Is 39 a factor of j - (7 - 1) - -197?
True
Let y be -55*((-36)/15)/(-3). Let g be 6*54/4 - -5. Let b = y + g. Is 14 a factor of b?
True
Let y(a) = 48*a**3 - 5*a**2 + 9*a + 5. Is 25 a factor of y(5)?
True
Let g(f) be the third derivative of -25*f**4/24 + f**2. Suppose -2*d - 10 = 5*i, -3*i - 108*d - 27 = -111*d. Is 20 a factor of g(i)?
True
Let a = 128 - 128. Suppose a = 4*g - j - 779, 5*g = -4*j + 860 + 119. Is g a multiple of 16?
False
Let y(n) = n**3 + n**2 + 4. Let o be y(0). Suppose -3*b = o*b + 28. Is ((-72)/b - -4) + 2 a multiple of 3?
True
Let w = -186 + 39. Let k = w - -243. Suppose -k - 37 = -m. Does 19 divide m?
True
Suppose 0 = -6*x + 15 - 51. Is 665/(-21)*x/15*3 a multiple of 19?
True
Let h(k) = 40*k - 125. Suppose -4*v + 85 = v. Let l(g) = -13*g + 42. Let f(n) = v*l(n) + 6*h(n). Is 9 a factor of f(9)?
True
Suppose 140*f + 92143 + 87057 = 210*f. Does 80 divide f?
True
Suppose 12*t - 4290 = -18*t. Let z = -70 + t. Is z a multiple of 4?
False
Let c(d) = 2*d**2 + 17*d + 8. Let k be -3 - (2 - (-2 - 1)). Let o be c(k). Suppose -a + q + 34 = 0, -a - 3*q = -o*a - 34. Is 16 a factor of a?
False
Suppose 3*m = -15, 2*k + 23 = 3*k - 3*m. Suppose 4*b + 5*v = 780, -4*b - 744 = -k*b + 4*v. Does 10 divide b?
True
Let a = 26332 + -15287. Does 5 divide a?
True
Let d = -8 - -5. Let h(p) = -24 - 3*p + p - 4*p + 18. Does 4 divide h(d)?
True
Suppose -43*p - 46436 + 246386 = 0. Suppose -v = -11*v + p. Is v a multiple of 15?
True
Suppose 86*y - 831853 = 1088527. Is y a multiple of 110?
True
Let o be ((-10)/(-5) - -2) + -2. Suppose 4*u = -h + 22, -3*u = -4*h + o*h. Suppose h*b + 8 = 92. Is b a multiple of 4?
False
Let u be (-6)/9*29*-12. Let c = -747 + 625. Let v = c + u. Is v a multiple of 12?
False
Suppose 4*y = 5*y - 103. Let c = 195 - 0. Suppose c = 3*k - q, -k = -3*q - y + 30. Does 16 divide k?
True
Suppose -5*u + 852 = -u. Suppose 3*i - u = -3*k, 3*i = k - 7 + 204. Let w = i - 21. Is w a multiple of 24?
False
Suppose 88 = -3*g + 427. Suppose -g = 3*d + 2*j, -j - 76 = -d + 3*d. Let r = d + 336. Is 22 a factor of r?
False
Let x be (-3)/((-16)/96*18/4). Let q = x + 107. Does 23 divide q?
False
Suppose 10*y = -3094 + 24604. Does 34 divide y?
False
Let l = 37612 + -13462. Is 210 a factor of l?
True
Let f be (-2)/(-11) - -1*86/11. Does 13 divide (597/4)/(f/64)?
False
Let t = -2 - 1. Suppose 2*g - 8 = -8*x + 7*x, 3*g - 5*x = 38. Is 6 a factor of 204/g - (1 + t)?
True
Let s = 407 + -335. Suppose s*b - 76*b = -4828. Is 17 a factor of b?
True
Suppose -2*k + 2*r + 117 = -1345, -k = 4*r - 741. Is k even?
False
Let b be (-10)/(-95) - 642/(-38). Let v(h) = h**3 - 20*h**2 + 35*h + 20. Let s be v(b). Does 6 divide ((-2)/(-3))/((-7)/s)?
True
Let y(f) = f**3 + 5*f + 3. Let t be y(0). Suppose s + 4*a - 25 = 1, -4*a + 38 = t*s. Let q = s - -260. Is q a multiple of 21?
False
Let z = -125 - -76. Let q(v) = v**3 + 2*v**2 - v - 37. Let c be q(0). Let j = c - z. Is j even?
True
Let m(t) = 7*t - 245. Let i be m(21). Let a = i - -277. Does 6 divide a?
False
Is 22 a factor of ((-792)/(-15))/((-86)/(-29885))?
True
Let o = -52051 - -75339. Is o a multiple of 164?
True
Suppose 3*p = -12 + 27. Suppose 4*z - 708 = -p*f, -z + 152 = 4*f - 14. Does 26 divide z?
True
Let u(o) = 2*o**2 + 30*o + 218. Is 21 a factor of u(23)?
False
Let c(x) = -3017*x - 319. Does 8 divide c(-11)?
False
Suppose 0 = -5*j - 11*u + 13*u - 6, -3*j = u - 3. Suppose 2*h + 396 = 4*h + 2*y, 5*h + y - 1010 = j. Does 6 divide h?
False
Suppose -7 = -4*f - m, -3*f + m + 1 = f. Let y be 622*(-2)/4 - f/(-1). Is (372/y)/(0 + 4/(-670)) a multiple of 33?
False
Let s be 320/100*(-565)/(-2). Let o = s + -334. Is o a multiple of 38?
True
Let w = 5765 - 3515. Is 13 a factor of w?
False
Let l(n) = -n**3 + 65*n**2 + 271*n - 321. Is 49 a factor of l(64)?
True
Let q be 195/(-7) - 11/77. Let i = -31 - q. Is 4 a factor of (2/6)/(i/(-108))?
True
Let j(x) = 3*x + 28. Let b be j(5). Suppose 4*d - 35 = -b. Does 34 divide ((-3)/(-3))/(5*d/(-1780))?
False
Let u = -76 - -78. Suppose -4*p + u*z = -2*z - 956, 4*p = -2*z + 962. Is p a multiple of 40?
True
Suppose 2*i = -3*o + 9, o + o = 5*i - 13. Suppose -2*a + 12 = h + h, 3*h = 2*a - 7. Suppose a*b = i*f + 73, -b + 3 = -4*f + 2. Is 7 a factor of b?
False
Suppose 3*s = 4*j + 5*s - 12, s + 2 = 2*j. Is 16 a factor of 3173/(-38)*j/(-1)?
False
Let v(h) = 4*h**2 - 23*h - 133. Let m be v(17). Suppose -3824 - m = -8*g. Does 33 divide g?
False
Suppose 155*b - 25 = 150*b. Suppose 3*v = b*f - 10, -3*v - f - 46 = 3*f. Let p(s) = -s**3 - 10*s**2 - 4*s + 8. Is 8 a factor of p(v)?
True
Let o(d) = -33*d + 12. Let s be o(-6). Suppose -5*m - 5*y + s = 0, 0*m - 3*m + 126 = -y. Is m/5*(60/9 + 0) a multiple of 8?
True
Let r be -5 + 0 + (-40)/(-4). Suppose 0 = g - 2*v + 3*v - 237, -r*v = -10. Is 11 a factor of g?
False
Suppose -28*b + 6336 = -4*b. Let y = 372 - b. Does 6 divide y?
True
Suppose -8461 = -d + o, 95*o = -4*d + 92*o + 33851. Is d a multiple of 138?
False
Suppose -30*l - 24*l = -43*l - 43736. Is l a multiple of 34?
False
Let w = 125 + -41. Let v be 6/(-14) - (-372)/w. Let j(x) = x**3 + 4*x**2 + 2*x + 5. Does 38 divide j(v)?
False
Suppose -4*g = -4*t + 8*t - 13288, 0 = -4*t - 8. Is 69 a factor of g/16 + ((-117)/(-12))/(-13)?
True
Suppose -289*l + 28630 = -336955. Is l a multiple of 28?
False
Suppose 2*l - 5*v = 9*l - 6096, 0 = 5*l - 2*v - 4332. Does 10 divide l?
False
Let f(y) be the second derivative of 0 - 13*y**2 + 1/12*y**4 + 20*y + 5/2*y**3. Is 13 a factor of f(-18)?
False
Let z(c) be the third derivative of c**5/60 - c**4/4 + 4*c**3/3 - 14*c**2. Let h be z(3). Does 5 divide h + 4/((-12)/(-117))?
False
Let h = -12829 + 25611. Is 22 a factor of h?
True
Suppose 0 = 2*y - 9*w + 12*w - 2733, w + 2729 = 2*y. Is y a multiple of 15?
True
Let k = -27188 + 28069. Is k a multiple of 2?
False
Let q(r) = -r**3 - 43*