et b be (-1 + 2)/((-8)/(-192)). Let f = b + -16. Is 6 a factor of 11 + f/2 - -3?
True
Let u = -365 + 1331. Is u a multiple of 46?
True
Let w be (-5 - -2)/(-15) + 29/5. Suppose 12*l = w*l + 1548. Is l a multiple of 52?
False
Let r = 451 - 255. Does 7 divide r?
True
Let s = -400 + 586. Does 6 divide s?
True
Let n = -1359 + 2155. Is 10 a factor of n?
False
Suppose -2*g = -17 + 3. Suppose -9 = -y + g. Does 4 divide y?
True
Suppose 0 = 46*k - 52*k - 30. Is 12 a factor of (3 + 168/2)*k/(-15)?
False
Does 4 divide (232/16)/((-2)/(-44))?
False
Let o(b) = 9*b**2 + 158*b - 1. Is o(-19) a multiple of 123?
True
Let t be -3*(-3)/(-3) - -13 - 3. Let c be (-9 - -4)/(-1 + 2). Let k = t - c. Is k a multiple of 3?
True
Suppose 3*g + 27 = 3*i, -g - 5*i + 3*i - 15 = 0. Let a(k) = k**3 + 11*k**2 - 10. Let q be a(g). Let r = 25 + q. Does 15 divide r?
True
Let d(b) = 5*b**3 - 13*b**2 - 14*b + 18. Is d(9) a multiple of 19?
False
Let t(y) = -y + 121. Is 39 a factor of t(-31)?
False
Let p = -7 + 4. Let t(v) = 2*v**3 + 4*v**2 - 7. Let f(y) = -y**3 + y**2 + 1. Let d(o) = f(o) + t(o). Is 6 a factor of d(p)?
True
Suppose -17 = j - 47. Suppose 3*l = -9, 3*l - 7*l + j = 2*z. Is 25 a factor of (-7)/(z/96)*-2?
False
Let p(i) = i**3 + 23*i**2 - 82*i - 34. Is p(-25) a multiple of 14?
False
Suppose k = -5, 0*h + 75 = 2*h - 5*k. Suppose 20*o - h*o = -130. Is o a multiple of 13?
True
Let p be (6/(-5))/(-1)*-5. Let c = 29 - p. Does 3 divide c?
False
Let f(s) = s**2 + 5*s - 6. Let y be f(-6). Suppose -t + y + 14 = 0. Is t a multiple of 14?
True
Suppose c + 2 = -1. Is 6/(-9) - 53/c a multiple of 3?
False
Let r(j) = -j**2 - 2*j + 14. Let k be r(-5). Is 39 a factor of k - (-67 + 0 + 3)?
False
Suppose 4*v - v - 3*q = -39, 4*v - 5*q + 55 = 0. Let x = 951 + 349. Is x/18 + v/45 a multiple of 12?
True
Let v(p) = -2*p + 41. Let f be v(20). Is 15 a factor of 60/(-4)*(-3 - -2)*f?
True
Let y be (-6)/(12/5)*8. Let m = 22 + y. Suppose m*q - 61 = -7. Does 27 divide q?
True
Let x(s) = s**3 - 9*s**2 - s + 11. Let m be x(9). Suppose m*f - 6 - 46 = 0. Is f a multiple of 13?
True
Let p(y) = 129*y**2 + 63*y - 258. Is 42 a factor of p(4)?
True
Let i(t) = -t**2 - 15*t + 54. Let b be i(-18). Suppose -4*h - 240 + 956 = b. Is h a multiple of 33?
False
Let y(f) = f**3 + 5*f**2 + 4*f - 1. Let a be y(-4). Let j be 4 - (a + 1 - 2). Suppose -4*k - 68 = -j*k. Does 17 divide k?
True
Suppose -j + r - 7 = -2*j, -5*j - r + 19 = 0. Suppose -j*g = -8*g + 450. Does 30 divide g?
True
Let k = -241 - -353. Is 16 a factor of k?
True
Let x(v) = -v**2 + 2*v + 4. Let g be x(6). Let a = -13 - g. Is a a multiple of 4?
False
Suppose -2*h - 17 = 5*q, -q - 16 = h + 3*q. Suppose h*d - 5*w - 84 = -30, -d = -2*w - 15. Suppose -4*x + d = -125. Is 12 a factor of x?
False
Let j(w) = 17*w - 1. Let p be j(2). Suppose -80 = 17*h - 22*h. Let n = p - h. Does 17 divide n?
True
Is (76/16)/((-8)/(-224)) a multiple of 22?
False
Let j be -29 - (-2 - (2 + -6)). Suppose -5*d + 5*t - 310 = 0, 2*d - 3*t + 31 = -98. Let c = j - d. Is 13 a factor of c?
True
Let g(i) = -i**3 - 13*i**2 + 26*i + 19. Let h be g(-14). Let b = -55 - h. Does 11 divide b?
False
Let d(g) = 28*g - 34. Does 3 divide d(5)?
False
Let v(s) = -4*s**2 + 0 + 2 + 3*s**2 + 4*s**3. Suppose 821 - 769 = 26*t. Is 6 a factor of v(t)?
True
Let w(q) = 3*q - 12. Let n be w(13). Let r = n - -37. Is 13 a factor of r?
False
Let v(k) be the second derivative of -67*k**3/6 + 3*k**2/2 + k. Let o be v(-7). Suppose -5*h + o = -228. Does 35 divide h?
True
Let u be (126/(-24))/(3/(-4)). Let a = 147 + u. Does 22 divide a?
True
Let g be (-35)/(-5) - 3 - -3. Suppose -g*h + 3*h = -52. Is h a multiple of 3?
False
Suppose 0 = -2*b - 5*o + 259, -4 + 3 = o. Does 6 divide b?
True
Let j(t) = t - 2. Let n be j(3). Suppose 5*w - 9 = n. Is (58 - 6) + w/(-2) a multiple of 17?
True
Let d be (-7)/((-21)/(-6))*-3 + -3. Suppose -2*h - 6 = -2*t + 30, d*t - 54 = -5*h. Is 9 a factor of t?
True
Suppose 5*o + 2 = 3*p, 0 = o - 3*o + 2*p - 4. Suppose -o*z + z - 304 = 0. Is 15 a factor of (z/(-12))/((-4)/(-6))?
False
Let c(o) = -4*o**3 + 15*o**2 + o + 1. Let p(m) = 11*m**3 - 44*m**2 - 2*m - 3. Let f(l) = -8*c(l) - 3*p(l). Is f(11) a multiple of 21?
False
Let p(r) = r**2 - 4*r + 2. Let q be p(4). Let z(j) = j + 4 - 3*j - 3*j + j**q. Is 10 a factor of z(6)?
True
Suppose 5*b + j - 24 = 2*j, 3*b + j - 16 = 0. Suppose -b*f = -4*f + 2*v - 12, v + 48 = 4*f. Does 12 divide f?
True
Is ((-465)/(-1))/3 - 2 a multiple of 9?
True
Let w be (1*-1)/((24/(-231))/(-8)). Let i = -13 - w. Does 16 divide i?
True
Let g = 87 - 65. Suppose 2*f = 248 - g. Is f a multiple of 11?
False
Let i(n) = -n**3 - 13*n**2 + 13*n + 6. Suppose -50 = 5*g + 20. Is 4 a factor of i(g)?
True
Let p(x) = 206*x**2 + 26*x + 22. Is p(-3) a multiple of 29?
True
Let t(w) = -w**3 - 4*w**2 + 9. Let a be t(-4). Suppose -a*p = -15*p + 222. Is p a multiple of 12?
False
Suppose s + 3 = 2*s + 5*v, 0 = v - 3. Let t(r) = r**3 + 12*r**2 - 2*r + 5. Is 29 a factor of t(s)?
True
Suppose -2*c = 4*i - 2, 1 = -2*c - 5. Suppose l + i*m - 2 = 0, m - 6 - 28 = 5*l. Let d = 10 + l. Is 4 a factor of d?
True
Let m be -3*-2*(-1)/(-2). Suppose -5*u = -m*u - 22. Let l = u + -7. Is l even?
True
Let t(f) = 6*f + 38. Let x be t(16). Suppose 5*u - x - 206 = 0. Is 17 a factor of u?
True
Let b = 21 - 4. Let s = 17 - b. Suppose -w - 83 = -3*w + 5*l, s = -2*w + l + 79. Is 15 a factor of w?
False
Let n(w) = -w**3 - 4*w**2 - 2*w - 5. Let m be n(-4). Suppose -4*v = -v - 3*a - 69, 2*v + m*a = 36. Let b = -13 + v. Is 3 a factor of b?
False
Let w(v) = -v**3 - 8*v**2 + 31*v + 4. Is w(-12) a multiple of 4?
True
Let w = -24 + 32. Suppose 13*t - w*t - 25 = 0. Suppose -69 = -t*v - 9. Does 7 divide v?
False
Let l be (8/3)/(4/(-468)). Is 8 a factor of 0 + l/(-2) + -5 + 9?
True
Let s = -19 + 22. Suppose -s*p = p - 80. Is 10 a factor of p?
True
Let w be 5/((21/(-12))/(-7)). Suppose 0*k = -4*k + w. Suppose -5*t + 337 = v + 2*v, 2*t - 150 = -k*v. Does 13 divide t?
True
Suppose -95*a = -96*a - 2, 5*m - 937 = -4*a. Does 9 divide m?
True
Let a(s) = 4*s + 18. Let m be a(-11). Let j = m - -44. Is j a multiple of 5?
False
Let c = 36 - 41. Let p(v) = 3*v**2 + 2*v + 5. Does 17 divide p(c)?
False
Let c(s) = -2*s**2 + 18*s + 11. Let n be c(15). Let q = n - -346. Is q a multiple of 10?
False
Is 83 a factor of (3760/(-30) - 13)/(2/(-6))?
True
Let x = 2706 + -2605. Is 2 a factor of x?
False
Let x(i) = 124*i**2 - 7*i + 25. Is x(3) a multiple of 14?
True
Let j(r) = r - 18. Let a be j(-8). Does 30 divide a*-1*50/4?
False
Let g(y) = y**2 - y. Let c be g(2). Suppose p = i + 3 - 0, 4*i = -c*p - 12. Does 8 divide p - 37/(1 - 2)?
False
Suppose -18*l + 103 = -365. Is 55 a factor of ((-28)/(-20) - -3)*(l + -1)?
True
Let k = -177 + 324. Is 10 a factor of k?
False
Suppose -5*r - 7680 = -69*r. Does 40 divide r?
True
Let a(t) = -t**3 - 9*t**2 - 4*t + 17. Let i be a(-8). Let b = 145 - i. Is 10 a factor of b?
True
Let i(b) = 3*b**2 - 7*b - 4. Let n be i(-2). Suppose -4*c - c + 1730 = 0. Suppose 4*j = -n + c. Is j a multiple of 19?
False
Suppose -1030 = -14*p + 146. Is p a multiple of 14?
True
Let u = 61 - -93. Suppose 0 = 3*o - u + 10. Is 16 a factor of o?
True
Does 14 divide (6690/6 - -3) + 2?
True
Suppose 0 = -6*a + 223 + 821. Is a a multiple of 4?
False
Let v = 2 - 118. Let q = 196 + v. Does 18 divide q?
False
Let k = 69 - 65. Is 16 a factor of (k/8)/((-2)/(-244))?
False
Suppose 0 = 5*s - 7*s + 230. Suppose 0 = 5*i - s - 285. Does 16 divide i?
True
Suppose -4*f + 2925 - 130 = -3*g, -3*g = -f + 701. Does 55 divide f?
False
Let x(l) = 18*l - 86. Is 56 a factor of x(11)?
True
Suppose -28*z + 22*z = -558. Is 11 a factor of z?
False
Suppose -575 = 3*f - 1745. Is f a multiple of 13?
True
Let w(d) = -284*d + 151. Does 17 divide w(-3)?
True
Does 4 divide 16*(18/4 + 74/37)?
True
Let q(u) = 14*u**3 - 3*u**2 + u + 8. Does 17 divide q(3)?
False
Suppose -4*h + c - 2*c = -270, 0 = 5*c + 10. Does 17 divide h?
True
Suppose -g - 3*h = 2*g - 306, -5*g = 2*h - 504. Let o = 180 - g. Is o a multiple of 32?
False
Let a(z) = z**2 - 10*z + 1. Let r(b) = 4*b**2 - 31*b + 3. Let v(l) = -7*a(l) + 2*r(l). Let s(h) = -9*h. Let j be s(1). Does 3 divide v(j)?
False
Let j(f) = 86*f + 83*f**3 - f**2 - 87*f + 4 - 2. Let z be j(1). Suppose 82 = 3*q - z. Is 19 a factor of q?
False
Does 14 di