2. Is 29 a factor of a?
False
Let x be 11/2 + 150/(-60). Let b(v) = -v**3 - 3*v**2 + 4*v + 3. Let d be b(-4). Suppose d + 48 = x*y. Is y a multiple of 9?
False
Let k be (-160)/(-6)*(1 - (2 + -4)). Let a = -43 + k. Does 14 divide a?
False
Suppose 0 = -3*p + 5 + 4. Suppose 2*v - 152 = -4*i + 364, 4*v + 398 = p*i. Is 22 a factor of i?
False
Let r(z) = 3*z**3 - 3*z**2 + 3*z - 2. Let j(l) = 4*l**3 - 3*l**2 + 4*l - 3. Let s(i) = -4*j(i) + 5*r(i). Let c be s(-3). Suppose c = 3*w - 10. Does 5 divide w?
True
Suppose -3*i - 17 = -65. Suppose 3*m = -0*l + 4*l + 12, l = 4*m - i. Let q(u) = -u**3 + u + 84. Is q(l) a multiple of 30?
False
Let w be (-4)/(-26) - 2792/(-104). Let r be 3 + w - 0/1. Suppose -3*l + 0*l + r = 0. Is l a multiple of 5?
True
Let k = 385 - 340. Is 9 a factor of k?
True
Let y(g) = -18*g + 1. Let b be y(-6). Suppose 4*p + b = 3*o + 9, -5*o + 4*p + 172 = 0. Is o a multiple of 9?
True
Suppose -3*q + 27 = -3*f, 3*f + 6 = -3*q + 3. Let d = f - -5. Suppose d*o = 3*o - 63. Is o a multiple of 11?
False
Suppose -3779 = -29*z + 4631. Does 44 divide z?
False
Suppose -6*g = -g + 70. Let c = -3 - g. Is c a multiple of 3?
False
Suppose f = -4*f + 3*w - 67, 5*f - 2*w = -68. Is 12 a factor of (4/f - -2)*7?
True
Let t = 5 - 5. Let h = t + 1. Is (h - -1)/((-2)/(-7)) even?
False
Suppose 7*u = 5*u - 3*n + 226, 0 = -4*u - n + 452. Suppose -4*v + 234 = -l, -v - 3*v + 2*l = -232. Let p = u - v. Is p a multiple of 18?
True
Let w(b) = 18*b. Let m(v) = v**2 + 7*v + 11. Let s be m(-5). Let q be w(s). Is 23 a factor of ((-80)/6)/((-4)/q)?
False
Suppose -97*s = -120465 - 162290. Is 71 a factor of s?
False
Let f = 154 - 161. Let x(u) = -13*u + u - 4*u - u**2 - 6. Is 10 a factor of x(f)?
False
Suppose 18641 = 15*p - 6274. Does 31 divide p?
False
Let h = 493 - 254. Is h a multiple of 18?
False
Suppose 312 = -14*l + 88. Let k(j) = 5*j**3 + 17*j**2 + 17*j + 1. Let g(m) = -6*m**3 - 17*m**2 - 16*m - 1. Let s(i) = -4*g(i) - 5*k(i). Does 20 divide s(l)?
False
Suppose i - 4*i - 185 = -q, -5*q = -i - 995. Suppose 3*k = k + q. Suppose 2*d + 6 = 0, -2*h - 4*d + k = 2*h. Is h a multiple of 19?
False
Let m(v) = v**3 + 3*v**2 - 5*v - 5. Let l be m(-4). Does 8 divide (-4 + (5 - l))*116?
True
Suppose 5*a - 4*s + 553 = 6*a, 5*s = -2*a + 1112. Does 11 divide a?
True
Suppose m = 5, 4*i + 4*m - 33 = 59. Is (30 - 0)*(-1)/((-30)/i) a multiple of 4?
False
Suppose 0 = -0*u - u + 10. Is 10 a factor of 15/u*80/6?
True
Suppose 0 = -o - 0 + 14. Let v = 17 - o. Suppose 28 = v*x + x. Does 4 divide x?
False
Let q = -126 - -633. Does 55 divide q?
False
Let p be (-2)/(-5) + 36/10. Let b = 8 - p. Is 19 a factor of (-294)/(-8) + 1/b?
False
Let h(x) = 2*x + 129. Is h(25) a multiple of 17?
False
Let s(o) = -o**3 - 4*o**2 + o + 7. Let n be s(-4). Suppose -z + 8 = -n*z, -4*x = 2*z - 96. Is 11 a factor of x?
False
Let j(p) = -26*p**2 - 24*p**2 - 8 + 8*p + 2*p**3 + 48*p**2. Is j(4) a multiple of 21?
False
Is (-6)/(-2) + (-4 - 2058/(-2)) a multiple of 9?
False
Suppose 2*v + 3*v = -g + 18, 3*g = 2*v + 3. Suppose -4*l = t - 125, 0 = 2*l + 4*t - g*t - 65. Is 6 a factor of l?
True
Suppose 3*m - 45 = 4*u + 6, 0 = -u + 5*m - 17. Let d = u - -16. Suppose 0 = d*p + p - 3*q - 189, 0 = 5*p - 5*q - 185. Is p a multiple of 13?
True
Suppose 3*r + 20 = 4*n, 4*r + 5*n + 14 - 39 = 0. Suppose r = 5*h - 15, 5*k + 5*h - 73 = 212. Is 9 a factor of k?
True
Let s(p) = -p**2 - 81*p + 35. Does 7 divide s(-28)?
True
Suppose 4*o - 14 = -p - o, 0 = 4*p - 4*o - 8. Suppose p*x = -44 + 168. Does 7 divide x?
False
Let h(d) = d**3 + 4*d**2 - d + 36. Let s be 0*((0 - -4) + -5). Does 12 divide h(s)?
True
Let k be 0/((-1 - -4) + -10 + 6). Does 9 divide k + (-30*3)/(-2)?
True
Let x(c) = -5*c - 2. Let b(k) = 4*k + 2. Let o(h) = -6*b(h) - 4*x(h). Let d be -2*11/4*2. Does 8 divide o(d)?
True
Suppose -2*w + 8 = 18. Let x be 8/w*910/(-28). Suppose -4*g = -3*n + 45, -3*n = 2*g - x - 11. Is 19 a factor of n?
True
Does 3 divide (-9)/6*(-1552)/12?
False
Is 523*(-1)/(-1) - (-27 - -22) a multiple of 33?
True
Suppose 5*d - 7*d - 8 = 0. Is (49/d)/((-3)/(-24)*-2) a multiple of 10?
False
Suppose i + 3 + 24 = 0. Let j be 1/(-4 + 522/130). Let m = i + j. Is 19 a factor of m?
True
Suppose 9*q = 4*q - m + 5197, 4*m = 4*q - 4148. Is 23 a factor of q?
False
Is -3 + 7 - 1 - -10 a multiple of 7?
False
Suppose 4*h = 3*f + 309, -2*f = -4*h - f + 319. Let a = h - 54. Does 3 divide a?
True
Let i = 42 - 35. Let r(l) = -l**3 + 7*l**2 + l + 10. Is r(i) a multiple of 2?
False
Let d(h) = 89*h + 142. Does 19 divide d(12)?
False
Does 13 divide -40 + 30 + (-450)/(-1)?
False
Suppose 0 = 2*x + 3*p - 12, -6 = -3*x - 2*p + 12. Let y = x + -1. Suppose -2*t - l - 4*l + 106 = 0, 0 = y*t - l - 292. Is t a multiple of 15?
False
Let r(d) = -d**3 + 3*d**2 + 2*d + 1. Let x be r(3). Suppose -4*y + x = 15. Is 50/4 + 1/y a multiple of 6?
True
Suppose 0 = 10*f + f - 7*f. Suppose -4*b - 3*g + 224 = f, 4*g - 279 = -5*b - 0*g. Is 10 a factor of b?
False
Let j(a) = 3*a + 2. Let p be j(-2). Let m be (p/6)/(6/(-18)). Suppose -5 = -m*s + 9. Does 6 divide s?
False
Suppose -4*n = -6*s + s, 0 = 3*s - 4*n. Let i(a) = 5*a**3 - a**3 + a**2 - 3*a**3 + 60 + a. Does 20 divide i(s)?
True
Let q = -58 - -46. Is 12 a factor of (1 - -2) + 328*(-6)/q?
False
Suppose -4023 - 3797 = -10*t. Is t a multiple of 23?
True
Let f(v) be the third derivative of v**6/120 - v**5/3 + 5*v**4/24 - 29*v**3/6 - 47*v**2. Is 12 a factor of f(20)?
False
Let s(l) = -l + 89. Is s(-12) even?
False
Let j(v) = 2*v**3 + 15*v**2 - 8*v + 1. Let p be j(-8). Let w(u) be the second derivative of 7*u**3/2 - 2*u. Is w(p) a multiple of 7?
True
Suppose 0 = 18*w - 13*w - 30. Suppose -10*k + 28 = -w*k. Is k even?
False
Let s = 883 + -623. Is s a multiple of 20?
True
Suppose -2*v - 5*r = 21, -5*v = -0*v + 5*r + 15. Suppose v*y - 6 = 4. Suppose 0 = 5*t - y*z - 75, 4*z - 9 = -t + 1. Is t a multiple of 7?
True
Let y = -1 + 4. Suppose a - 5*m = -y*a - 68, 0 = -3*a - 3*m - 78. Let n = a + 44. Is 7 a factor of n?
False
Let w = -1436 + 1485. Is w a multiple of 4?
False
Suppose 3402 = 2*n - 672. Does 30 divide n?
False
Does 11 divide ((-516)/(-9))/(2/(-6)*-1)?
False
Let i be 180/(-24)*(-28)/5. Let s = i + 50. Does 21 divide s?
False
Let u be (-3)/(-4)*((-240)/(-9))/5. Does 35 divide 1/(u - 691/173) - 0?
False
Suppose 4*d - 4*u = -7*u + 1303, -2*d + 3*u = -647. Is d a multiple of 6?
False
Let o = 20 + -15. Suppose o*g - 27 = 28. Is g a multiple of 2?
False
Let d be 14 + 5*1/(-1) + 2. Suppose -d*l + 8*l = -546. Is 14 a factor of l?
True
Let s = -1498 - -1753. Is 8 a factor of s?
False
Let a(m) = 8*m**3 - 3*m. Let q(p) = p**3 - p**2 + 1. Let l(k) = -a(k) + 2*q(k). Let y be (-1)/2 - 246/164. Does 12 divide l(y)?
True
Suppose -b - 5*v + 6 + 3 = 0, -2*b = -3*v - 5. Suppose w + 65 = n + n, -3*w = b*n - 125. Does 8 divide n?
True
Suppose -3*p - 1236 = -2*r, 5*r - 4834 = -4*p - 1790. Is r a multiple of 18?
True
Suppose -5*n = -10*n - 20. Let r = n - 8. Let d(p) = -p**3 - 11*p**2 + 7*p - 10. Does 11 divide d(r)?
False
Suppose -5*m - 22*z + 20*z = -39, 0 = 2*m - 2*z - 10. Is 7 a factor of m?
True
Let a = -211 - -233. Let y(v) = 2*v**3 - v**2 - 3*v + 4. Let m be y(3). Let f = m - a. Does 5 divide f?
False
Let m(c) = 78*c**3 - 3*c**2 + 4*c - 3. Suppose j - 11*j = -10. Is 38 a factor of m(j)?
True
Let j = 1440 - 1263. Does 46 divide j?
False
Let j = 3337 - 1739. Is j a multiple of 66?
False
Suppose 1342 = 8*k - 2258. Is k a multiple of 25?
True
Suppose 4*p - 12 = -4*o, 0 = 4*p + o - 3 - 6. Suppose p*t - 24 - 70 = 0. Is t a multiple of 11?
False
Let x be (-240)/(-45) + 1/(-3). Suppose 0 = x*s + 26 - 506. Is 24 a factor of s?
True
Suppose -31*w + 27*w = -3*q - 1450, 5*w - 1818 = q. Is w a multiple of 14?
True
Suppose -3*p + 7*p + 2*w = 3688, 0 = -4*p + 3*w + 3688. Let n be p/11 + 22/121. Suppose c = 4*c - n. Is c a multiple of 10?
False
Let h be (-4)/3 + 424/12. Let j = h + -22. Is j a multiple of 4?
True
Let c = -64 + 36. Let x = c + 99. Is x a multiple of 16?
False
Let m = 117 + 27. Suppose -b - 7 = -a, 3*a + b - 10 = -1. Suppose -a*s = -6*s + m. Is 14 a factor of s?
False
Let h(r) = 265*r + 235. Does 10 divide h(7)?
True
Does 5 divide (1 - (-15)/(-9))*165/(-2)?
True
Suppose 3*r - 2 + 50 = -h, 3*h = 2*r - 199. Is 8 a factor of h/(-2) - ((-20)/(-8) + -3)?
True
Suppose 3*