 21*a - o = -559. Let w = a - x. Is 37 a factor of w?
True
Suppose 13*l + 4*l - 34 = 0. Suppose -l*i - 848 + 2174 = 3*x, -5*x = -4*i - 2232. Is 37 a factor of x?
True
Let n = 6414 - 10075. Let v = -2483 - n. Is v a multiple of 31?
True
Suppose -183*h = -254*h + 161454. Is h a multiple of 48?
False
Let o be 11/(-55)*(5 - 0). Let r be 8*(-2)/(-4) - o. Let b = r - -55. Is 29 a factor of b?
False
Let r be 46100/150 + 4/(-3). Let s = r - 199. Does 6 divide s?
False
Let x(k) = -7*k + 27 - 2*k + 1 + k. Let t be x(-14). Suppose -q + t = l, -448 = 2*l - 5*l + 4*q. Does 36 divide l?
True
Let j(s) be the third derivative of -7*s**5/60 + s**4/12 + 21*s**2. Let w be j(-3). Let d = 75 + w. Does 6 divide d?
True
Suppose -h - 1690 = -3*t, -4*h - 85 = -2*t + 1055. Suppose 10*m + 2 = 8*m, d = 4*m + t. Is 62 a factor of d?
True
Let v(g) = -g**3 - g**2 + 43*g + 4. Let c be v(-7). Let r(b) = b + 3*b - 2 - 2*b + 4*b**2. Is r(c) a multiple of 11?
False
Let j be (20/(-8) - -2)*0/1. Suppose -24*w + 23*w + 434 = j. Let f = w - 217. Is f a multiple of 28?
False
Suppose 92*w + 786669 - 4823077 = 0. Is 16 a factor of w?
False
Let q(f) = -f - 8. Let i be 2/8 - 559/(-52). Let a be q(i). Let l = a - -47. Is 6 a factor of l?
False
Let t be -30*(-530)/90 + 1*(-8)/(-6). Let c(y) = 9*y**2 - 5*y + 6. Let v be c(5). Suppose -742 = -3*w - 2*x - v, -t = -w - x. Does 30 divide w?
True
Let z(q) = 14*q + 277. Let v be z(0). Suppose -i - 3*c + 160 = 0, 2*i = 5*c - 1 + v. Is 74 a factor of i?
True
Suppose 174 = z + 4*n, z + 2*n = 148 + 28. Let c = 349 - z. Suppose -3*r + c = 3*k, -r = -4*r + k + 151. Is 26 a factor of r?
True
Let t(m) = -712*m + 71. Is t(-1) a multiple of 29?
True
Let c be (-3 - 18/(-3))/(3/(-104)). Does 13 divide (c/(-1) - (-72)/18) + -4?
True
Let g = 98 - 78. Suppose g = -8*b + 60. Does 5 divide b?
True
Suppose 5*k - 595 + 2690 = 0. Let i = -48 - k. Is 20 a factor of i?
False
Suppose 59*i - 60*i + 4*t + 9549 = 0, 0 = -3*i - 5*t + 28562. Is 13 a factor of i?
True
Suppose 1281623 - 187087 = 8*p + 39*p. Does 41 divide p?
True
Does 7 divide (-7 - (923 + -10) - -9)*-1?
False
Is 347 a factor of (-138 - -117) + (-4 - -21539)?
True
Let l(n) = 2*n**2 + 122*n + 197. Does 140 divide l(68)?
False
Let x = 514 + -118. Let h = x - 379. Does 17 divide h?
True
Let n = -3065 + 20687. Does 14 divide n?
False
Let g = 16 + -12. Suppose -16 = -g*b + 16. Suppose 2*z - b*z + 324 = 0. Does 10 divide z?
False
Let r = 47 - 85. Let v = -36 - r. Suppose 5*l - n = 300, -22 = v*l - 4*n - 142. Is 20 a factor of l?
True
Suppose 2882670 - 208570 = 68*p. Is p a multiple of 65?
True
Let n(k) = 11*k**2 - 10*k + 408. Does 29 divide n(-30)?
False
Let w be (-59*(-4)/16)/((-2)/(-1528)). Suppose w = -18*m + 38305. Does 73 divide m?
False
Suppose 434 - 135 = 13*o. Does 31 divide (6/8)/(o/92) - -214?
True
Let w(r) = -1045*r - 1800. Is 70 a factor of w(-18)?
True
Suppose 5*x - 3*w + 81 = -0*w, -2*x - 42 = 2*w. Let d = -22 + x. Is 19 a factor of ((-20)/(-8))/((-4)/d)?
False
Let p(w) = 10*w**2 - 986*w - 436. Does 15 divide p(116)?
False
Let z = 3635 - 3422. Is z a multiple of 2?
False
Let o = -3344 + 9814. Is o a multiple of 5?
True
Let s(d) = 2*d + 44. Let j be s(-18). Let u be 7 + (0*(-2)/j - 3). Does 6 divide (0 + 2)/(u/94) + -2?
False
Suppose 2*i + 240 = 4*i. Suppose -3*r = -i - 12. Suppose -k + 78 = r. Is k a multiple of 5?
False
Suppose 39 = 17*v - 80. Is (75 - (0 + 0))/(1/v) a multiple of 15?
True
Suppose 0 = -20*s + 21*s - 109. Let d = -19 + s. Is d a multiple of 6?
True
Suppose -3*a + 185 + 189 = h, 0 = 3*h - a - 1182. Is h even?
True
Let p = 1535 + -778. Let o(g) = -13 - p*g + 760*g + 1. Is 6 a factor of o(6)?
True
Let s(q) = q**3 + 18*q**2 + 24*q - 36. Let d(a) = 2*a. Let v(z) = -2*d(z) + s(z). Does 14 divide v(-16)?
False
Let y(s) = 33834*s - 1548. Does 18 divide y(2)?
False
Is 130 a factor of -7 + (-28528)/(-40)*5?
False
Is 2 a factor of (-3)/14*332534/(-69) - (-2)/7?
False
Let r be (-1 + 2)/(-1*2/(-22)). Suppose -r*u + 907 = -237. Does 26 divide u?
True
Does 28 divide (-36)/(-27) + 7 + (-486210)/(-18)?
True
Let c(l) = l**3 + l**2 - 26*l - 18. Let g be c(-8). Let k = g + 321. Does 3 divide k?
True
Suppose -5*b - 22 = 3*q - 2*q, -2*q = -b. Let l be (-21)/(-14) + (-2)/b. Is ((-1)/(l/3))/((-24)/576) a multiple of 6?
True
Let y(i) = -39*i - 40. Let b be y(-5). Suppose -b = -6*f + 265. Is f a multiple of 10?
True
Let r = 33523 + -18683. Is r a multiple of 14?
True
Let l(u) = 11*u**2 + 29*u - 398. Is 62 a factor of l(10)?
True
Let r(s) = -11*s**2 + 146*s - 7*s**2 - 165*s + s**3 + 10. Suppose -6*g = -3*g - 57. Is 5 a factor of r(g)?
True
Let w(d) = 10*d**2 + 7*d - 46. Let s be w(7). Let z = s + -113. Does 20 divide z?
True
Suppose 0 = 3*u - 2*c - 279 - 664, -2*u - 3*c = -646. Is u a multiple of 7?
False
Suppose w + 5*s = 2964, 37*w - 40*w = -3*s - 8784. Is 163 a factor of w?
True
Suppose -3*w - 18*n + 81731 = -13*n, -3*n = 24. Is 97 a factor of w?
True
Suppose 5*y - 5405 = -5*b, 10*y - 5*b - 4288 = 6*y. Suppose -19*m = -20*m + y. Does 61 divide m?
False
Let a = 18584 - 4220. Is a a multiple of 18?
True
Suppose -18*a - 6*a = -17*a - 19677. Is a a multiple of 11?
False
Let v be 2/(-7) - 10/(-35). Suppose -6*m = 3*n - 2*m - 1004, v = m + 1. Is n a multiple of 21?
True
Does 3 divide (-1)/(7/(-7) + 3464/(-6932)*-2)?
False
Suppose 0 = -4*t + 16 + 4. Suppose 118 = -2*r + 5*s, -s = t*r - 4*r + 73. Let u = -38 - r. Is u a multiple of 11?
False
Suppose -8*k - 3*k + 54*k - 178880 = 0. Is 13 a factor of k?
True
Let q(k) = 41*k - 78. Let l be q(3). Suppose -l*p + 8160 = 6*p. Is p a multiple of 10?
True
Is 16 a factor of (-26 - (-18 - -17))*-143?
False
Does 7 divide -12453*(-93)/(-124)*24/(-27)?
True
Suppose 129*n - 123*n = -1794. Let p = n - -444. Is 12 a factor of p?
False
Suppose k + 55 + 20 = 2*t, -3*k = 5*t - 182. Suppose 8*z - 6*z - 10 = -4*n, 4*z = 2*n + 10. Suppose l = -a - z*l + t, l = -3*a + 78. Does 3 divide a?
False
Let s(v) = 7*v**2 - 6*v. Let c(p) = -8*p**2 + 5*p. Let x(r) = 5*c(r) + 6*s(r). Is x(-6) a multiple of 5?
False
Suppose 0 = 3*b - g - 4*g + 24, 2*b - 4*g + 16 = 0. Let l = 77 + b. Suppose 5*o - 173 = -2*z, -3*o - z + l = -o. Is o a multiple of 17?
False
Suppose 5*k - 3*p - 6444 = 0, 5*p = -8*k + 9*k - 1302. Suppose k = 3*l + 8*l. Is 26 a factor of l?
False
Suppose 101556 = -66*u + 97*u. Is 7 a factor of u?
True
Let t(n) = -n**3 - 11*n**2 - 38*n - 12. Suppose 2*o + 0*o + 26 = -4*j, 4*o = 5*j + 52. Does 10 divide t(j)?
True
Let l = 952 - -5204. Is l a multiple of 57?
True
Let p(u) = -3*u**2 - 9*u - 12. Let k be p(-5). Let s be (k/49)/((-3)/21). Suppose 0 = -s*v + 10*v - 96. Is v a multiple of 4?
True
Suppose -2*n = -v + 922, 0*n = -5*v - 3*n + 4662. Suppose -3*z - v = -8*z. Is z a multiple of 4?
False
Let w = 365 - 407. Is 7*(-792)/w + (1 - 3) a multiple of 5?
True
Suppose 3364 = 4*z + 16*j - 14*j, 4*z - 5*j - 3350 = 0. Is 7 a factor of z?
True
Suppose -14*y + 7*y - 3241 = 0. Let g = 615 + y. Does 8 divide g?
True
Let a(q) be the second derivative of -181*q**3/6 + 319*q**2/2 - 15*q + 2. Is 34 a factor of a(-5)?
True
Suppose -89*t = -95*t + 7235 - 35. Is 15 a factor of t?
True
Suppose -57 = -8*h - 1. Suppose h*g - 19*g = -576. Is g a multiple of 8?
True
Let n be (-264)/15 - 2/5. Does 20 divide 120/((-1)/(-6)*n/(-15))?
True
Suppose -u + 4*i + 65 = 0, -158 = -3*u - 4*i + 5. Suppose -59*p = -u*p - 284. Does 13 divide p?
False
Suppose -3*a = 2*x - 12450, -4*a + 5*x = -0*a - 16600. Suppose a = 13*d - 2636. Does 18 divide d?
True
Suppose -l + 27*l - 521623 = -3*l. Is l a multiple of 10?
False
Let m be -7 + 4 + 6 + 0. Let a(p) = 43*p**2 - 14*p + 6. Does 13 divide a(m)?
True
Let l = 3538 + -2413. Is l a multiple of 25?
True
Does 30 divide ((-180285)/(-18) + (-1)/(-6))/(7 + -6)?
False
Let m be 4/5*(3 - (-76 - -4)). Let i(f) = -42*f. Let w be i(-3). Let v = m + w. Is v a multiple of 41?
False
Let f(j) = -70*j**3 - 4*j**2 - 14*j - 74. Let u be f(-5). Suppose -13*x + 2*x = -u. Does 28 divide x?
False
Let s(c) = 2*c**2 - 5*c + 21. Let g(d) = d**2 - 2*d + 10. Let q(n) = 13*g(n) - 6*s(n). Let a be q(18). Suppose 22*i - 24*i + a = 0. Is i a multiple of 20?
True
Suppose 5*s = 28*s - 1081. Suppose -4*t + 109 = j + s, 5*t = -2*j + 115. Is j a multiple of 7?
False
Suppose -7*i + 0*i = i. Suppose 3*q - 3 - 9 = i. Let h