). Let t = f + -37. Suppose j - 32 = -2*n, 3*n - j = 7*n - t. Does 18 divide n?
True
Suppose 0 = -4*q + 3*g + 1585, 2*q - 2*g + 5*g - 779 = 0. Is q a multiple of 33?
False
Does 2 divide 2/3*(-1 - (-267)/6)?
False
Suppose -3*r - 415 = -t + r, 1725 = 4*t - 3*r. Is 29 a factor of t?
True
Let d(t) = 6*t**3 - 2*t**2 - 3*t - 4. Does 14 divide d(4)?
True
Let d(u) = -u**2 + 6*u + 3. Let k be d(6). Suppose k*l + 107 + 64 = 0. Does 15 divide l*(3 + -4)/1?
False
Let m = 244 + -154. Does 9 divide m?
True
Suppose y = 7 - 3. Let w(c) = 3*c - 11. Let r be w(5). Suppose 0 = -y*b + v + 87 + 20, r*b = -3*v + 127. Is b a multiple of 14?
True
Let i(v) = -v**3 - 3*v**2 - v - 4. Is i(-6) a multiple of 10?
True
Let f = -10 - -22. Let i(x) = x**2 - 7*x - 12. Is i(f) a multiple of 24?
True
Suppose 3 = 2*y - y. Suppose -p = -63 + y. Is 12 a factor of p?
True
Is 13 a factor of 4/(-24) - (409625/30)/(-25)?
True
Suppose -14 + 4 = -5*s. Suppose -11*p = s*p - 884. Is 22 a factor of p?
False
Suppose -3*n - 114 = 5*f + 115, -2*f - 3*n - 97 = 0. Let s = 14 - f. Let j = 2 + s. Is 10 a factor of j?
True
Suppose d - 13 - 10 = 4*z, 0 = -4*z - 20. Suppose -u = -109 - d. Is u a multiple of 11?
False
Suppose -539 = -2*f + o, 0 = 2*f - 3*o - 394 - 155. Does 15 divide f?
False
Let q be ((-15)/(-5) - (-3)/(-1)) + -3. Is (-30)/90 + (-136)/q a multiple of 5?
True
Suppose -5*d - 3*m + 1238 = -2*m, 2*d + m - 494 = 0. Suppose -4*z + h + 322 = 0, 0*h + 4*h + d = 3*z. Is 14 a factor of z?
False
Let y = 222 + 203. Is y a multiple of 17?
True
Suppose -6*t + 2548 = -1352. Suppose -104*h = -99*h - t. Does 13 divide h?
True
Suppose s = -8*s + 11718. Does 21 divide s?
True
Does 47 divide 2541/18 + (66/36)/(-11)?
True
Let l = -115 + 2257. Is l a multiple of 18?
True
Suppose 12*z + 402 = 14*z + 2*d, -5*d = 4*z - 803. Does 35 divide z?
False
Let k(h) = -3*h**3 - 3*h**2 + 3*h + 15. Let u be k(-3). Does 30 divide 7/2*u/7?
True
Let d(u) = 2*u**2 + 16*u + 4. Let s be (-2)/5*(33 + -3). Does 25 divide d(s)?
True
Let d = -1718 + 3682. Is 59 a factor of d?
False
Let i = -103 + 2. Let m = i + 236. Is m a multiple of 15?
True
Does 51 divide (-63)/(-126) - 2039/(-2)?
True
Let n(y) = 17*y**3 + 2*y**2 + 3*y - 3. Let q be n(2). Suppose 3*z - 39 - q = 0. Is 31 a factor of z?
True
Suppose 2*p - 2472 = 3*c - 7*c, 4*c - 2460 = p. Does 14 divide c?
True
Let w be (-26)/(-4) + 75/(-10) + 6. Suppose u - 89 = c, -c = -3*u + w*u - 172. Does 29 divide u?
True
Suppose 0 = 49*x + 1360 - 86. Let y(n) = 4*n**2 - 3*n - 1. Let m be y(-3). Let u = x + m. Does 5 divide u?
False
Let m(f) = -f + 10. Let p be m(7). Is 3 a factor of (-1 + p)*(-10)/(-4)?
False
Let u(p) = -30*p + 102. Does 24 divide u(-3)?
True
Let r = -14 + 89. Suppose -i = -25 - r. Does 10 divide i?
True
Let a(t) = -t - 8. Let w be a(-12). Suppose w*k - 3 = 57. Is 15 a factor of k?
True
Suppose 9*q + 2037 = 16*q. Does 9 divide q?
False
Let p = 156 - 124. Does 4 divide p?
True
Let l be 129 + -3*4/(-12). Let k = 70 - l. Let x = 112 + k. Is 13 a factor of x?
True
Let v(z) = z**2 + 13*z - 30. Let o be v(-15). Suppose o = -4*q + 350 + 298. Does 11 divide q?
False
Let j(r) = 1148*r + 4. Is j(1) a multiple of 8?
True
Let j = 194 + -138. Suppose -2*n + j = k, -2*k = -7*k + 5*n + 310. Suppose k + 85 = 5*b. Is b a multiple of 11?
False
Suppose -55*c + 49*c = -4320. Does 16 divide c?
True
Let t(z) = 18*z + 20. Does 4 divide t(2)?
True
Let u(w) = -13*w - 159. Is u(-23) a multiple of 14?
True
Let j(f) = -259*f + 8. Let w be j(-1). Suppose 20*k + w = 23*k. Is 8 a factor of k?
False
Suppose z = 7*t - 3*t - 114, -2*z = -4*t + 248. Let c = 259 + z. Is 6 a factor of c?
False
Let r(k) = k**2 + 11*k + 24. Let m be r(-8). Suppose -5*x - 45 = -4*l, 0*l + 3*x = 4*l - 51. Let g = l - m. Does 15 divide g?
True
Let j = 3578 - 2398. Is j a multiple of 20?
True
Let y = -41 + 105. Suppose 7*z - 216 - y = 0. Does 10 divide z?
True
Suppose -v - 10 = -3. Let f = v - -15. Suppose -f*d + 455 = -265. Is d a multiple of 25?
False
Suppose -9 = -14*i + 15*i. Let t(r) = -13*r - 5. Is 16 a factor of t(i)?
True
Suppose -55 = 5*k + 25. Let b = 40 + k. Does 6 divide b?
True
Suppose -4*r = -3*a - 17, -2*r + 3*a = 2*a - 9. Suppose -2*s = r*v - 0*v - 31, 0 = 5*s - 2*v - 63. Is 5 a factor of s?
False
Suppose 0 = 4*r - 8, 2*o - 24 = -2*r + 44. Suppose 2*u - 3*u - 2*h - 17 = 0, 2*h + o = -2*u. Is 6 a factor of ((-35)/25)/(1/u)?
False
Let w(b) = b**3 - 10*b**2 - 11*b. Let t(s) = -s + 27. Let v be t(16). Let j be w(v). Let d = 17 + j. Does 11 divide d?
False
Let s(d) = -d + 4. Suppose -f + 22 = 5*q, -1 + 6 = -5*f - 2*q. Let b be 27/2*2/f. Is 12 a factor of s(b)?
False
Let u(o) = 40*o**3 + o. Is u(1) a multiple of 4?
False
Let s(y) = -287*y - 4. Let i be s(-2). Suppose 3*w + i = 8*w. Suppose d - 72 = -2*p - d, -3*p + w = 5*d. Is p a multiple of 6?
False
Let x(z) = 4*z + 3. Let o be x(-1). Let h be -1 - (-1 - (-4)/(-2)). Is 22 + o*h/2 a multiple of 7?
True
Suppose 1309 = 9*a - 320. Let s = a - 69. Is 14 a factor of s?
True
Suppose 5*t = 199 + 1176. Does 25 divide t?
True
Let u(b) = 2*b**2 + b - 7. Let c be u(2). Is c*((-1)/1 + 16) - 2 a multiple of 14?
False
Let l = -128 + 35. Let g = l + 124. Is 8 a factor of g?
False
Let q be 3 + -1 - 2/2. Let y be q/4 - 78/(-8). Let b = 4 + y. Is 7 a factor of b?
True
Suppose -2*s - 3*s - 100 = 0. Let v = s + 16. Let i = 0 - v. Is 4 a factor of i?
True
Let i = 2042 - 881. Is 27 a factor of i?
True
Let z be 3 - (-14)/6 - 2/6. Suppose -77 = -3*w + 5*s, z*s + 22 = w - 17. Does 16 divide w?
False
Let v = 71 - 68. Suppose -1680 = -13*l + v*l. Does 21 divide l?
True
Let r be 5/(5/2) - (-5 + -669). Suppose -5*w = -1821 + r. Does 13 divide w?
False
Let t be ((-4598)/133 - (-6)/(-14))/(-1). Suppose -2*y + 2*b = -0*y - 12, -b = -5*y + 22. Suppose -o + y*o = 0, -j - 5*o + t = 0. Is j a multiple of 10?
False
Suppose 16*d - 30*d = -9226. Does 29 divide d?
False
Let w(a) = 12*a + 585. Does 45 divide w(-30)?
True
Does 20 divide 734 - (4/(-14) - 437/161)?
False
Suppose -3*z = 3*m + 21, 3*m + 20 = -2*m - 2*z. Is ((-34)/(-3))/(m/(-6)) a multiple of 17?
True
Suppose 2*g + 3*s = -21, -2*g + 6 = s + 17. Does 30 divide g/6 + 482/4?
True
Let y = -9 + 23. Let u be (2 - 56)*(-35)/y. Suppose -5*v = -u - 0. Is 10 a factor of v?
False
Suppose -2*o - 3*w - w = 226, 247 = -2*o + 3*w. Suppose -12 = 4*j, 3*j = -5*y + 3*y + 341. Let p = o + y. Is 14 a factor of p?
True
Let k = -13043 - -19483. Let i be (-4)/(-22) + k/(-88). Let s = 108 + i. Is 10 a factor of s?
False
Let g(r) = -r**3 + 2*r**2 + 2*r - 1. Let x be g(2). Suppose -2*t - 1162 = -8*h + x*h, -2*h + 463 = t. Does 59 divide h?
False
Suppose 0 = -d - 4*z + 25, -6*z + 51 = 3*d - 2*z. Let g(a) = 5*a - 1301 + 6*a - 4*a + 1306. Is g(d) a multiple of 24?
True
Let c = -16 - -15. Let b be c/3 + (-2460)/(-36). Suppose 5*g = l, -3*l + b = -0*l + 2*g. Does 5 divide l?
True
Suppose -95 + 31 = -a. Suppose 2*b = -11*b + 104. Suppose o - b = a. Is o a multiple of 20?
False
Suppose 63*y = 71*y - 1280. Is y a multiple of 5?
True
Suppose -6*c + 55 + 11 = 0. Let u = c + -11. Suppose 0 = -4*y - 20, u*i - 17 = -i - 4*y. Is 9 a factor of i?
False
Let a be 5 + -2 + -7 + 1. Let p be 7 + 6/a - 0. Does 8 divide p/(-15) + 110/6?
False
Suppose 0*u + 5*u - 37 = g, 2*u - 2*g = 18. Suppose 4*d - 5*r = -0*d + 24, 3*r = d - 13. Let w = u - d. Is 2 a factor of w?
True
Let v = 8 + -6. Let z be 1/(213/105 - 2). Suppose v*w - 137 = -z. Is 16 a factor of w?
False
Let q(t) = -t**2 - t + 120. Suppose 0*z - 2*z - 4*c = -8, 5*z + 4 = 2*c. Is q(z) a multiple of 15?
True
Let w = 162 - 90. Suppose -o = 2*o + 5*u - w, -2*u = -4*o + 96. Is o a multiple of 4?
True
Is 45/25*120/9 a multiple of 3?
True
Let o = -16 + 21. Suppose o*h = 2*h. Suppose -2*x + 57 - 9 = h. Is x a multiple of 8?
True
Let o be (-1 - (3 - 4))*-1. Let l be o*(4/(-3))/4. Suppose -21 = -l*s - 3*s. Does 3 divide s?
False
Let m(y) = 62*y**2 + 39*y - 179. Is m(5) a multiple of 18?
True
Let j be 13 + 0/(-2 + -2). Suppose 3*r + 3 + j = -5*c, -r - 4*c = 17. Does 3 divide r?
True
Let y be 2 - 62*(-2 + 3). Let z = 144 + y. Does 28 divide z?
True
Suppose 2*k + 6*v = 2*v - 6, -5*v - 45 = -5*k. Suppose 0 = -a + k*y + 243, 0 = a + 3*a + 5*y - 1022. Does 12 divide a?
False
Let i = 13 + -6. Suppose i + 1 = -2*c. Let q(l) = l**3 + 4*l**2 - 5*l - 1. Is