-n + 2*l = 6. Is 3 a factor of ((-49)/n)/(3/18)?
False
Suppose -l - 3*a - 6 = 1, -5*l - a = -35. Let i(q) be the second derivative of -q**5/20 + 3*q**4/4 + 7*q**3/6 + 6*q**2 + 2*q + 29. Does 24 divide i(l)?
False
Let q be (-2 - -5)/(-1)*(-10976)/(-96). Let x = 504 + q. Is 23 a factor of x?
True
Let l be (5/(-2))/(-4 + (-18)/(-4)). Let k(m) = -3*m**2 - 7*m - 5. Let j(s) = -6*s**2 - 13*s - 10. Let n(r) = -4*j(r) + 7*k(r). Is 20 a factor of n(l)?
False
Let m(y) = 39*y - 1079. Is m(68) a multiple of 29?
False
Let a(g) = -g**3 + 8*g**2 - 6*g + 4. Let j be a(7). Suppose -1001 + 55 = -j*x. Is x a multiple of 5?
False
Suppose -q + 3*g + 861 = 0, 3*g + 305 + 6604 = 8*q. Is 18 a factor of q?
True
Let w = -2161 + 2888. Is w a multiple of 39?
False
Suppose -6*h = 138 - 114. Does 27 divide (-7304 + h)/(-7) - -9?
True
Let x be (-3026)/(-7) - 2/7. Suppose 129*j = 74*j + 110. Suppose -j*t + x = t. Is 12 a factor of t?
True
Let t(h) = -4133*h - 549. Does 16 divide t(-1)?
True
Suppose -r - 18242 = -2*o, 4*r = -2*o + 6*r + 18244. Does 12 divide o?
True
Suppose 0 = 4*h - 4*p - 74392, -31*h + 28*h + 2*p = -55799. Is h a multiple of 27?
True
Suppose 195 + 256 = 11*r. Let a = -8 - 11. Let t = r + a. Is t a multiple of 15?
False
Suppose 15120 = -617*b + 632*b. Is 9 a factor of b?
True
Let l(m) = 3*m + 38. Let i be l(11). Suppose 8*w = i + 2281. Is w a multiple of 21?
True
Let a(y) = -69*y + 242. Is a(-32) a multiple of 10?
True
Is 14 a factor of 803870/220 + 35/770?
True
Let j(s) = -s**2 - 10*s + 5. Let b be j(-9). Let l(v) = 4 + 3 - 5 + b + 6*v. Does 23 divide l(5)?
True
Let y(a) = -a**3 - 5*a**2 + 2*a - 10. Let q be y(-6). Suppose 2*z = 84 - q. Is z a multiple of 4?
False
Suppose -17*r + 2*u = -20*r + 25248, 0 = -2*r + 5*u + 16851. Does 87 divide r?
False
Is -82*(85/(-68))/((9/264)/3) a multiple of 55?
True
Suppose 4*b - 4*m - 44 = 0, 3*m + 1 + 0 = -b. Suppose -1775 = -b*n + 233. Does 16 divide n?
False
Let o be (((-32)/6)/(-1))/(136/(-612)). Let n(r) = -2*r**2 - 54*r - 25. Is n(o) a multiple of 17?
True
Does 200 divide 94972*(-17)/(-238) + (-8)/(-28)?
False
Suppose -120 = -2*h + 2472. Let d be (-1)/(4/h*-3). Suppose -22*k = -16*k - d. Is 9 a factor of k?
True
Let a be -3 + 5 + 30/10. Let f(k) = 45*k**2 - 33*k + 135. Is 15 a factor of f(a)?
True
Let z(l) = -7*l + 10. Let m(x) = -x**3 - 6*x**2 + 19*x - 1. Let p be m(-9). Let y = p - 75. Is z(y) a multiple of 3?
False
Let d be (15/3)/(1/5). Let a be 4/(192/80) + (-8)/(-6). Suppose -3*l + d = k - 20, 4*l - 140 = -a*k. Is 8 a factor of k?
True
Let j(c) = c - 63. Let h(q) = -q + 30. Let w(a) = -13*h(a) - 6*j(a). Let r = -8 + 12. Does 2 divide w(r)?
True
Let g(h) = 2*h**2 + 18*h - 50. Let u be g(15). Let p = -265 + u. Is 45 a factor of p?
True
Let g be 68/(-4) - -2*1. Let q(m) = -m - 4. Let v be q(g). Does 2 divide -3 + 2 - 2 - v*-1?
True
Let h be (0 - -3)/(4 + -3). Suppose 3*b - 36 = -q - 2*q, -h*q + b = -36. Is 180/5*9/q a multiple of 3?
True
Suppose 10*s = 35060 + 17020. Is 124 a factor of s?
True
Suppose 84 = 2*m - 4*v, 2*m - 180 = -2*m + 4*v. Suppose -q = z - 116, q - 112 - 16 = -5*z. Let y = q - m. Does 6 divide y?
False
Suppose 0 = 6*q - 346 - 1100. Suppose -235*w - 1776 = -q*w. Is 54 a factor of w?
False
Let s(i) = -i**2 + 31*i - 25. Let k be s(30). Suppose 21 + 1409 = k*w. Does 13 divide w?
True
Let m(p) = 9*p + 46. Let g(i) = 11*i + 46. Let w(h) = -5*g(h) + 4*m(h). Let k be w(-12). Suppose 6*o - k = -o. Is 7 a factor of o?
False
Let r = 788 + -784. Suppose -a = a + 4, r*c - 386 = -3*a. Is c a multiple of 13?
False
Let z(l) = -l - 1. Let h be z(-3). Let b = 3794 + -3737. Suppose 33 + b = h*w. Does 12 divide w?
False
Let b be (-21)/2*(-672)/196. Suppose 31*c = b*c + 2*k - 2088, 2*c - 3*k = 820. Does 32 divide c?
True
Let x(j) = -3*j**3 - 3*j**2 - 11*j - 61. Let m = 603 + -608. Does 6 divide x(m)?
True
Let o(q) = q**3 - 8*q + 7. Let g be o(-3). Suppose -x - 4*x - 889 = -g*s, 0 = 5*s + x - 1075. Does 27 divide s?
True
Suppose -2516 = -27*p + 23*p. Suppose 0 = 3*z - 5*t - p - 276, -10 = -5*t. Is 61 a factor of z?
True
Suppose 0*x - 1267 + 14272 = 17*x. Is x a multiple of 5?
True
Let i(p) = 8*p**3 - 75*p**2 + 20*p - 34. Is i(12) a multiple of 38?
True
Let j = 348 - 368. Let r(b) = b**3 + 23*b**2 + 25*b + 40. Is r(j) a multiple of 37?
True
Let a(o) = 12*o**2 + 10*o + 62. Let i be a(-6). Suppose -185 = -3*u + w + i, 3*u = -5*w + 595. Does 41 divide u?
True
Suppose 15*k = 36047 + 10753. Suppose k = -228*i + 243*i. Is i a multiple of 13?
True
Let s(a) = -5*a - 52*a - 131*a - 1 - 3. Is 31 a factor of s(-2)?
True
Let i(q) = -q**2 + 7*q - 10. Let c be i(2). Suppose 26*f - 3*f - 3335 = c. Does 5 divide f?
True
Let q(d) = 3*d**3 - 5*d**2 - 5*d + 4. Let y be q(4). Does 2 divide (16 - 22) + y/2?
True
Suppose -3 = -3*r, 4*j - 4*r + 763 = 3239. Let y = j + -46. Suppose -c + 177 = n, 0 = -4*c - 3*n + y + 131. Does 30 divide c?
False
Suppose -33*f - 1585 = 9701. Does 25 divide 163/(-3)*f/38?
False
Let s be (6 + -14)/((-1)/1). Suppose 42 = -5*a + i, -3*a + s = -4*i + 23. Does 42 divide (-192)/(-9)*21*a/(-12)?
True
Let p(y) = 24*y**2 + 29*y + 3760. Is p(0) a multiple of 10?
True
Suppose -5*i - 6 = -3*i. Let y(f) be the first derivative of 10*f**3/3 + f**2 + 3*f - 1133. Is y(i) a multiple of 15?
False
Let k = -4 + 6. Let b(s) = 14*s + 277. Let f be b(-20). Is 6/k*(f - (-375)/9) a multiple of 29?
True
Let l(u) = 2*u + 2. Let f(b) = -6*b + 139. Let z(o) = f(o) + 6*l(o). Is z(-17) a multiple of 7?
True
Let g be (375/35 + -1)*(-28)/(-8). Let l(z) = -z**3 + 32*z**2 + 67*z + 79. Is l(g) a multiple of 5?
True
Suppose -103 = -5*d + 7*d - v, -4*d + v = 201. Let k = 53 + d. Is 3 - (4 - (k + 286)) a multiple of 27?
False
Let d(o) be the second derivative of 7*o**4/12 - 3*o**3/2 + 41*o**2/2 + 2*o + 102. Is d(5) a multiple of 2?
False
Let l = -533 + 530. Let p(s) = 0 - 6 + s - 4 - 7*s. Is 4 a factor of p(l)?
True
Let f = 6126 - -39252. Is f a multiple of 22?
False
Let q be 14*-2*(-9)/(-4). Let m = q - -159. Suppose -3*p + 4*a = -m, 0 = -a - a + 6. Is 12 a factor of p?
True
Let l(b) = -4*b**3 + 91*b**2 + 39*b + 13. Is l(23) a multiple of 12?
False
Let g(m) = -m**3 + 11*m**2 - 11*m + 18. Let f be g(10). Let y be 2/(-2)*(5 - f). Suppose 37 = -y*u + 136. Is u a multiple of 29?
False
Let h(l) = 161*l**3 + 15*l - 30. Does 12 divide h(2)?
False
Let i(n) = -3*n**2 - 6*n + 8. Let u be i(-6). Let j = 24 + u. Let y = j - -73. Does 13 divide y?
False
Is 44 a factor of 2772/(-24)*256/(-112)?
True
Suppose -2*q + q = -23. Let o(l) = -l**2 + 45*l + 12. Is 37 a factor of o(q)?
True
Let h = -754 - -492. Let n = 592 + h. Does 11 divide n?
True
Let y(g) = -3*g - 71. Let b be y(-18). Is 13 a factor of b/(34/(-640)) - -5?
True
Suppose -3*u = -r - 512, -2*r - 853 = -66*u + 61*u. Does 3 divide u?
True
Let w = 1129 + 900. Is w a multiple of 7?
False
Suppose 5442 = 4*l - 2*f, 20*f - 6804 = -5*l + 22*f. Does 6 divide l?
True
Let f = -57 + 30. Let d = 1017 + -1023. Let r = d - f. Does 7 divide r?
True
Let d be 1 + 6 - (-5 - -5). Suppose 3*x - d*x = 20. Let t(h) = -5*h - 10. Is t(x) a multiple of 15?
True
Suppose 25813 = 18*o + 4357. Suppose 0 = -3*x + 4*m - 2*m + o, -3*x + 1184 = 2*m. Is x a multiple of 20?
False
Let i be 10/(390/(-169)) - (-2)/6. Is (-46992)/(-192) + 3/i a multiple of 45?
False
Let o(c) = 2*c**3 - 9*c**2 - 11*c + 2. Let k be o(10). Suppose -k + 32 = -16*w. Does 12 divide w?
True
Suppose -i + 200 = 3*y + 606, -4094 = 10*i - 4*y. Suppose 2*h - 3*c + 533 = 0, -2*h + c - 194 - 341 = 0. Let z = h - i. Does 21 divide z?
False
Let a = 203 + -133. Suppose -4*t = 14 - a. Suppose 3*r - t = r. Is 4 a factor of r?
False
Let c = 103 - 93. Suppose -3*l + c - 4 = 0. Is 22 a factor of 195/(-52) - l/8 - -26?
True
Let u be (-2188)/(0 - 2) - (42 - 37). Let z = u - 611. Does 30 divide z?
False
Suppose 17*n = -0*n - 102. Is 3 a factor of (-101 - 4)/(n/4)?
False
Suppose 234*d - 337440 - 1011775 = 91523. Does 131 divide d?
True
Let w(a) = 15*a**3 - a**2 + a - 1. Let q be w(1). Let g be q/35*(0 + 35). Let r = 75 - g. Does 10 divide r?
False
Let z = -375 + 388. Suppose 0 = -21*n + z*n + 4824. Is n a multiple of 24?
False
Suppose 5*x = 4*w - 41870, -3*w + 1785 = -x - 29601. Is 16 a factor of w?
False
Suppose 0 = 22*p - 16*p - 84. Suppose 0 = -c - p*c + 45. Let g(w) = 27*w + 17.