True
Suppose 0 = -5*u - 141 - 34. Let a be ((-60)/u)/(3 + 57/(-21)). Does 18 divide a/(((-12)/(-232))/1)?
False
Suppose 0*a + a + 491 = 3809. Is 79 a factor of a?
True
Let f be (-48)/(-84) + (-76)/(-14). Suppose -12*g + 7*g - 220 = 0. Let d = f - g. Is d a multiple of 9?
False
Let z be ((-21)/(-14))/((-13)/(-6) + -2). Suppose -x - z*x = -60. Let d = x - -45. Is 13 a factor of d?
False
Is 9 + (1/2 - 230790/(-28)) a multiple of 8?
False
Let a(o) = -39*o**3 - 5*o**2 + 10*o - 10. Let y be a(2). Let j = 434 + y. Does 8 divide j?
True
Let x(i) = 4*i**2 - 28*i - 28. Let h be x(30). Suppose 15*a - h = 2728. Does 26 divide a?
True
Let y(o) = 32*o + 66. Let g be y(8). Suppose x - 6*f = -4*f + g, -3*f - 1575 = -5*x. Does 24 divide x?
True
Suppose 0 = -h - 7*h - 1104. Let k = h + 281. Is 13 a factor of k?
True
Suppose 40 = 3*l - 3*v + 10, 4*v = -2*l + 50. Let n = l + -113. Let f = 199 + n. Does 10 divide f?
False
Let x be (1*(0 - 193))/((-8)/24). Let z = -339 + x. Does 15 divide z?
True
Let g = 42 + -46. Let y be ((-75)/(-50))/(2/g). Does 9 divide ((-81)/y)/((-12)/4 + 4)?
True
Let x(h) = -497*h - 49. Suppose 2 + 1 = y + u, -2*u = -y - 12. Does 21 divide x(y)?
True
Let a be -13 + 32 - (5 + -1). Suppose 0 = -a*j + 13*j + 504. Is j a multiple of 63?
True
Let c = 52 + -47. Let g = c + 25. Is g a multiple of 6?
True
Suppose -1487 - 913 = -16*b. Suppose b = 1895*h - 1894*h. Does 14 divide h?
False
Suppose 0*r + 2 = r - g, 5*r = g + 10. Suppose -236*q - 2*v + 1128 = -234*q, 3*q + 5*v = 1686. Suppose 11*n - r*n = q. Does 6 divide n?
False
Let w be 190 + (-8 - -17) - (-1)/(-1). Is 14 a factor of w/(-5 + 4 + 3)?
False
Suppose 3*q + q + 1866 = 2*m, 3*q + 4679 = 5*m. Is 4 a factor of m?
False
Suppose 2*h + 6 = 0, -4*i - 4*h + 32463 = -h. Is i a multiple of 123?
True
Let f(r) = -r**3 + 5*r**2 - r - 10. Let p be f(3). Is ((6 - p) + 125)*4 a multiple of 14?
True
Suppose 166*o = 131*o + 1404690. Does 23 divide o?
False
Let d = 483 + -281. Let l = d + -28. Is 71 a factor of l?
False
Let d(b) = 300*b**2 + 440*b + 2242. Is d(-5) a multiple of 13?
False
Suppose 9 = -2*y + 1. Suppose -4*r - 6 - 4 = -p, -p = -2*r - 6. Does 9 divide 20 + 4 + r + y?
True
Suppose 0 = -4*k - 12, 17 = h - 3*k - 2. Let n(p) = -2*p - 4*p + 15 - h*p**2 + 9*p**2. Is n(-7) a multiple of 4?
True
Suppose -4*n - 32 = -2*a, a + n + 7 = 23. Suppose 2*b - 212 = -4*f, -5*f + 17 - 7 = 0. Suppose k + a = 5*p + 103, k - b = 2*p. Is k a multiple of 16?
True
Let c = 709 - -403. Suppose -2*z - 3*z - c = -3*d, -2*d = z - 750. Is d a multiple of 15?
False
Let t(q) = 5*q**3 + 30*q**2 + 89*q - 36. Let l(s) = s**3 - s**2 - s. Let n(r) = -4*l(r) + t(r). Is n(-30) a multiple of 43?
True
Let l = -48 + 53. Suppose 0*z - 2*m = -z + 97, -z + l*m = -112. Let s = z - 47. Is s a multiple of 13?
False
Let p(i) = -1187*i - 1656. Is p(-14) a multiple of 22?
False
Let x = 6494 + -3742. Does 64 divide x?
True
Suppose 2*r - 7*r + 20 = 3*n, 2*r - 2 = 0. Suppose n*l - 3727 = -4*z, 3*l + z = -4*z + 2231. Does 13 divide l?
False
Does 9 divide (16 - 7) + 5/((-15)/(-28998))?
True
Suppose d - 5 = -y, -4*d = -2*y + 40 - 12. Is (-742)/y*(2 + -6) a multiple of 12?
False
Suppose -680 = -4*k - 5*m, -k = 3*k - m - 656. Does 10 divide k + (3 - 4) - (3 + 2)?
False
Let x = -808 + 10888. Is x a multiple of 7?
True
Suppose 4*x - 488 = -55*b + 51*b, b = -2*x + 122. Does 34 divide ((2 - (-1 + 5)) + b)*17?
True
Let t = 41 + -42. Let b(w) = -21*w**2 - 5*w - 2. Let s be b(t). Does 6 divide (729/s)/(((-45)/(-12))/(-5))?
True
Suppose 49*s + 490 = 14*s. Suppose 0 = 4*t - 0*t - 136. Let b = s + t. Does 9 divide b?
False
Suppose -135 = 14*y - 5*y. Let i be (((-96)/(-20))/(-4))/((-3)/y). Is 5 a factor of (-9)/i*(-132)/(-18)?
False
Suppose -5*b - 8 = 3*u + 10, 8 = -2*b - 2*u. Is 20 a factor of (-793)/b + 5 - (-4)/6?
False
Let q(d) = -d**2 + 8*d + 4. Let w be q(8). Suppose w*f - 26 = -3*m + 319, -m = f - 116. Let p = -67 + m. Is 26 a factor of p?
True
Let h = -35 + 34. Let g be 1/(h*5/(-55)). Suppose -602 = 4*q - g*q. Is q a multiple of 22?
False
Let m = -333 - -44. Let p = m + 188. Does 12 divide (-2)/(-4) + p/(-2)?
False
Suppose -560*w = 5*h - 563*w - 2919, h - 2*w = 574. Is h a multiple of 28?
True
Let f be -739 - (4 + -7 + 11). Let c = f + 1305. Is 15 a factor of c?
False
Let n(y) = -27*y**3 + 19*y**2 + 53*y + 28. Does 7 divide n(-7)?
True
Suppose -5*x + 0*x + 2*j + 29 = 0, -4*j = 8. Suppose x*y - 1039 = 2*l + 2455, -2*y + 1406 = 2*l. Is y a multiple of 9?
False
Let c be (-3 - (-2)/4)*(-56)/4. Let o = 312 + -221. Let x = o - c. Is x a multiple of 8?
True
Let s = -35 + 179. Let p = s - 12. Is p a multiple of 13?
False
Let t be (-1 - 14/21)/((-1)/3). Suppose -5*h = t*i - 5135, 0*h + 2*h = 0. Is i a multiple of 23?
False
Is 29 a factor of 12/(-21) - (-700450)/175?
True
Suppose -5*l = -5*a + 20 - 25, -3*l + 15 = 0. Suppose -3877 = -a*h + 2019. Is h a multiple of 31?
False
Let s be 0/(-1) - (-13)/((-117)/(-180)). Suppose -4*v = -s, 0 = w - 4*v - 76 - 8. Does 13 divide w?
True
Let g be 13710/(-45) + (-4)/(-6). Let w = g + 432. Does 32 divide w?
True
Let w(y) = -55*y - 1023. Is w(-73) a multiple of 11?
True
Let k = 5037 - 3235. Is k even?
True
Suppose -19*x + 27765 = -4*x. Let f = -1306 + x. Is 49 a factor of f?
False
Let b(c) = 32*c**2 - 185*c + 2793. Does 4 divide b(16)?
False
Suppose -31*c + 3765 = 448. Is c a multiple of 3?
False
Suppose -l - 1 = 0, -34*p + 4*l = -32*p - 10588. Is p a multiple of 98?
True
Let r = -4005 + 34245. Does 144 divide r?
True
Let p be (7/((-14)/3))/(1/(-2)). Let t be -3*(-3 - p/(-9)*163). Let h = 275 + t. Is h a multiple of 27?
False
Let s(c) = 2*c**3 + 17*c**2 + 6*c + 5. Let w be s(-8). Does 8 divide 16/10 + w/(-35) - -139?
False
Suppose -r + 4*k - 169 + 1179 = 0, 0 = -5*k + 25. Is 81 a factor of r?
False
Let m(g) = g**3 + 5*g**2 - 10*g. Let o be m(-7). Let h = 88 + o. Let d = 118 - h. Does 5 divide d?
False
Let d(m) = -m**3 - m**2 - m + 18. Let a(i) = 2*i**3 + 3*i**2 + i - 35. Let t(g) = -6*a(g) - 11*d(g). Let w be t(-6). Let k = w + 175. Does 13 divide k?
False
Let u be 3 + 9330/21 - (-16)/(-56). Let g = u + 215. Is g a multiple of 61?
False
Let r(f) = 31*f**2 - 20*f + 96. Is r(6) a multiple of 3?
True
Let y be (-680)/(-10) + (-1 - -2)*1. Suppose 119 - y = j. Let x = 149 - j. Is x a multiple of 11?
True
Suppose 8*j = 25488 - 208. Is ((-16)/(-20))/(8/j) a multiple of 4?
True
Suppose -5 = -8*w - 373. Let a = w + 48. Suppose -h = -4*g + a*g + 54, -3*g - 4*h = -59. Is 3 a factor of g?
False
Suppose -62*u = -196*u + 4378584. Is 14 a factor of u?
True
Let v be 8/2 + -7 - (-7 - 0). Let j be (-2)/v - (366/4 - 1). Let x = j - -167. Is 21 a factor of x?
False
Let f be 26*2/6 - (-18)/(-27). Is 16 a factor of (18/f)/(3 + 213/(-72))?
False
Let j = 46 - 48. Let n be (j/((-12)/3))/((-1)/(-28)). Is 3 a factor of (2 - n/6)/(2/(-66))?
False
Let i(x) = -x**2 + 47*x - 616. Let o be i(15). Let y be ((-61)/2)/(2/4). Let n = y - o. Is 7 a factor of n?
False
Suppose 3*x = -4*t + t + 1329, -3*t - 4*x = -1325. Suppose 0 = 18*w - 7383 - t. Is w a multiple of 47?
False
Suppose 60085 - 307124 = -11*d - 2*d. Is 26 a factor of d?
False
Suppose 0 = g + 3*f - 18, 2*g - 21 = g - 4*f. Let r(a) = 5*a**2 + 2*a - 41. Does 16 divide r(g)?
False
Let u(i) = i**3 - 4*i**2 - 14*i + 14. Let t be u(6). Suppose 1 + t = 2*s - z, 4*z - 20 = 0. Let l(a) = -2*a**2 + 14*a - 3. Does 7 divide l(s)?
True
Let c(r) be the third derivative of -7*r**5/60 - 5*r**4/24 + r**3/2 - 24*r**2. Let s be c(-3). Let v = 103 + s. Is v a multiple of 7?
False
Let i(v) = 19*v**2 - 2*v - 65. Let p be i(-8). Suppose -y - 2*u - 2*u = -402, 0 = -3*y + u + p. Is 39 a factor of y?
True
Suppose -48*r + 7217 = -47*r. Is 38 a factor of r?
False
Let g be (6 + -1)*(-234)/(-45). Suppose 2*n + g*n = 7728. Does 12 divide n?
True
Let x be ((-196)/8)/(-7)*16/28. Suppose 0 = n + 4*g - x, 4*n - 4*g - 7 = 1. Is (n/7 + (-122)/(-14))*7 a multiple of 8?
False
Let d(s) = 2*s**3 - 4*s**2 - s + 4. Let o be 0/(1 - 5) - -3. Let j be d(o). Is 3 a factor of 3 + -2 + 0 + j?
False
Let r(f) = f**2 + 2*f + 23. Let q be r(-14). Suppose g = -5*h + 1197, -g = -5*h + q + 1012. Does 40 divide h?
True
Suppose -9*h + 140 = -16*h. Is (-464)/(-20) + -8*2/h a multiple of 24?
True
Suppose -19*j = -358753 - 245565 - 244526. Is 24 a factor of j?
Fa