(4 + 2)/(12/8). Suppose -r*h + 0 = -8. Suppose 4*y - 236 = -q, -5*q = 22 - h. Is y a multiple of 8?
False
Let d be (-98)/(-10) + (80/50)/8. Does 11 divide 6492/d - (-2)/(-10)?
True
Let m be 30/126*39 + (-2)/7. Let n be -3 + 1 - m - -1. Let i(s) = -11*s + 18. Is 16 a factor of i(n)?
True
Suppose -v = -2*n - 12, 0*n = -3*n + 5*v - 18. Let f be n/(-10) + ((-24)/15 - -2). Is 12 a factor of f/(1/31) - -3?
False
Let o(q) = 7*q - 17. Let f(r) = -34*r + 84. Let s(h) = 33*h - 83. Let t(l) = -3*f(l) - 2*s(l). Let y(p) = 16*o(p) - 3*t(p). Is y(6) a multiple of 5?
True
Suppose 21*g + 32*g = 63*g - 18900. Is g even?
True
Let l(y) = -82*y - 46. Suppose -86*k + 81*k - 10 = 0. Does 3 divide l(k)?
False
Let g(z) = 12*z - 49. Let w be 16/(-28) - 369/(-21). Let l be g(w). Let k = 259 - l. Is 13 a factor of k?
True
Suppose 0 = -2*n - 4*u + 8*u + 22, -4*n + 5*u = -35. Suppose n*g = -0*g + w + 2038, 1218 = 3*g - 3*w. Does 13 divide g?
False
Suppose 3*h + 0*s = 4*s - 359, 2*h + 231 = s. Let r = 113 + h. Is 53 - -16 - (5 + r) a multiple of 7?
False
Let t be 2051/28 - 2/8. Let h(r) = r - 76. Let b be h(22). Let u = t + b. Is 19 a factor of u?
True
Suppose 11*f - 15 = 14*f. Is (-160 + f)/(-3)*9 a multiple of 16?
False
Let l = 7969 + -6508. Is l a multiple of 5?
False
Let d = -5639 + 5999. Does 12 divide d?
True
Is 15 a factor of (10 + 52)*270/4?
True
Suppose -2*r = 3*x - 3045 - 269, 2*r - 3312 = -4*x. Does 10 divide r?
True
Let w(s) = 10*s**2 - 44*s - 38. Let r(x) = 10*x**2 - 46*x - 38. Let k(p) = -5*r(p) + 6*w(p). Is 21 a factor of k(11)?
True
Let v(m) = -m**3 + 80*m**2 + 3*m + 527. Is 15 a factor of v(80)?
False
Let x = -4066 - -6044. Let m(i) = -1983*i - 2*i**2 + x*i + 3*i**2 + 28. Is m(7) a multiple of 3?
True
Let x(a) = -12*a**3 - 3*a**2 + 148*a + 2124. Is x(-15) a multiple of 19?
True
Is 51 a factor of (-616)/(-231)*-1*3*-579?
False
Suppose 0 = -54*d + 12744 + 1456920. Is 16 a factor of d?
True
Let l = -103 - -374. Suppose d - 44 = l. Does 9 divide d?
True
Suppose 10*f = 11*f + 6*f. Suppose -29*g + 22*g + 3724 = f. Is g a multiple of 19?
True
Let l be 4 - (0 + -2 + 0). Let a(f) = 2*f**3 + 16*f**2 + 9*f - 7. Let x be a(-7). Let c = x - l. Is 11 a factor of c?
True
Let r(p) = -2083*p + 35. Is 142 a factor of r(-3)?
False
Let x = -57 - 86. Let q = -55 - x. Is 11 a factor of q?
True
Let m(a) = 8*a**2 - 13*a - 29. Let i(t) = -20 - 23 + 12*t**2 + 18*t - 37*t. Let q(w) = -5*i(w) + 8*m(w). Does 25 divide q(-5)?
False
Let j = 763 + -648. Suppose -120*f + j*f = -3370. Is 97 a factor of f?
False
Is -3*((-67)/3)/((-12)/(-4944)) a multiple of 43?
False
Let c(f) = f**2 + f + 6. Let q(w) = w**2 + 2*w + 6. Let k(i) = 6*c(i) - 5*q(i). Let t be k(9). Let n = 18 + t. Is n a multiple of 22?
False
Let m(b) = 14*b + 88. Let k(z) = 15*z + 88. Let j(h) = -5*k(h) + 4*m(h). Does 6 divide j(-10)?
True
Does 25 divide 4101/2 - (-12 + (-200)/(-16))?
True
Let t(d) = -6*d + 8. Let r be t(1). Let u = 20 + -16. Does 8 divide (u + 76)*r/4?
True
Let q(v) = -v**3 + 3*v**2 - 16*v + 10. Let a be q(7). Let z = -21 - a. Is z a multiple of 5?
False
Let b(m) = -24*m**2 + 7*m - 27. Let r be b(-12). Does 14 divide (-13)/(-65) - r/15?
True
Let x = 584 - -476. Let t = x - 421. Does 16 divide t?
False
Suppose -100716 = -25*i - 33291. Does 29 divide i?
True
Is 35 a factor of (0 - 1564)*37683/(-1908)?
False
Is (1/9)/(75/43133940) - (-10)/(-75) a multiple of 296?
False
Let t be 13/((-936)/(-16)) + 158/18. Suppose t*p - 804 = 456. Does 40 divide p?
False
Suppose -1746*z + 1823*z - 684684 = 0. Does 52 divide z?
True
Let k(v) = v**3 - 11*v**2 + 25*v + 10. Let h be k(9). Let n(s) = s**3 - 15*s**2 + 10*s + 18. Let b be n(14). Let j = b + h. Is j a multiple of 7?
True
Suppose 20730 = -32*s + 38*s. Is 4 a factor of s?
False
Suppose -10*g + 12 = -6*g. Suppose 2*w - p + 20 = 3*p, 3*w = -5*p + g. Does 5 divide (-62)/(-2) + (-12)/w?
False
Let i = -233 - -626. Suppose 2*f - 107 = i. Suppose 168 = 11*z - f. Is 6 a factor of z?
False
Is 4*((0 - 34106/(-88)) + (-216)/(-1188)) a multiple of 5?
False
Suppose o + 4*g = 6*o - 2221, -3*o + 5*g = -1343. Suppose -o - 450 = -3*k. Is k a multiple of 63?
False
Suppose 0 = 2*w - 4*z, 20 = 2*w + 3*w - 5*z. Suppose -10*r + w = -2*r. Is 5 a factor of 5/(r*3/15)?
True
Let u(w) = w + 882. Is u(-72) a multiple of 18?
True
Suppose -54529*f + 54564*f = 861350. Is 107 a factor of f?
True
Let p = -9242 + 18580. Does 7 divide p?
True
Let g(t) be the third derivative of -2*t**4/3 + 30*t**3 + 9*t**2 - 8*t. Does 18 divide g(-18)?
True
Suppose 3*a - 4*y - 153 = -0*y, y = -4*a + 223. Let s = a + -44. Is 13 a factor of (s + -2)/(40/13 + -3)?
True
Suppose -3*h + 26571 - 4004 = 2*r, -4*h - 5*r + 30087 = 0. Does 41 divide h?
False
Let i be ((-4)/3 + 0)*(-30)/4. Suppose -i*d = -8*d - 66. Suppose -2*u + d = u. Does 6 divide u?
False
Let p be 1162 + 2 + -4 + -5. Suppose 8*w = p + 6605. Does 97 divide w?
True
Suppose 80*u - 32 = 76*u. Let f be (-11)/44 + (-2 - 534/u). Let t = f - -95. Does 13 divide t?
True
Let s(h) = 2*h**2 + 24*h + 28. Let v be ((-67)/(-3))/((-19)/57). Let a = v - -53. Is s(a) a multiple of 12?
True
Suppose 49*g = 38*g + 3850. Suppose h - 7 = -0*h. Suppose -70 = -h*d + g. Does 12 divide d?
True
Let k(u) = 6*u - 50. Let o be k(16). Let h = 47 - o. Let i(j) = 123*j. Does 10 divide i(h)?
False
Let x = 525 - -1077. Is x a multiple of 13?
False
Let t(v) = -2*v**3 - 2*v + 58. Let b(f) = 3*f**3 + 4*f - 114. Let u(q) = -3*b(q) - 5*t(q). Is u(0) a multiple of 3?
False
Let p be 12/(-9)*(-4584)/32. Suppose d - 79 = p. Suppose -16*r - d = -21*r. Is r a multiple of 6?
True
Is 7*((-100)/8 - 4)*(-312)/9 a multiple of 7?
True
Let r(l) = -6*l**2 - 20*l + 17. Let m(w) = -6*w**2 - 20*w + 18. Let z(i) = 6*m(i) - 7*r(i). Is 16 a factor of z(-8)?
False
Let q(o) = -484*o - 239. Let g be q(-3). Suppose 15*i - 24163 + g = 0. Is i a multiple of 51?
True
Let c be (232/(-10))/(35/(-1050)). Suppose -52*f - c = -56*f. Does 58 divide f?
True
Let p = 49 - -124. Suppose -3*i = -p - 142. Does 35 divide i?
True
Suppose -4*a - 669 = t - 2170, 0 = 4*a - 3*t - 1497. Is a a multiple of 5?
True
Let o = 37 - 28. Let l = 43 + o. Suppose -4*h + 64 + l = 2*c, -5*c + h = -323. Is c a multiple of 17?
False
Let s = -222 + 415. Let a = s - 110. Suppose -4*b - 2*k - 3*k + a = 0, b = 4*k + 26. Is b a multiple of 9?
False
Let i(z) = 12*z**2 + 3*z - 12. Suppose 0 = 74*o - 86*o - 48. Is 24 a factor of i(o)?
True
Suppose 5*o = -2*o - 98. Let g(q) = 11 - 14*q**2 + 18*q**3 - 9*q**3 - 10*q**3. Is g(o) a multiple of 11?
True
Suppose 2*h + 167 = 197. Suppose 5*y - 25 = d, 3*y = 4*d - 6*d + h. Suppose d = -2*t - 2*u - 3*u + 37, -2*t + 3*u = -61. Is 13 a factor of t?
True
Is ((-6)/(-18))/((-1)/(-41568)*8) a multiple of 40?
False
Suppose -14*o + 9*o - 45 = 0. Let q be 1 + (-3)/o + (-31790)/15. Is q/(-24) - (1 + 12/(-16)) a multiple of 14?
False
Let h = 117 - 164. Let c = h + 51. Suppose r - 135 = -4*w + w, w = -c*r + 485. Is 30 a factor of r?
True
Suppose 4*l - 21808 = -4*m + 10732, 5*m = -2*l + 16255. Is l a multiple of 16?
False
Let d = -9253 + 14545. Is d a multiple of 49?
True
Let i = 87 + -72. Suppose 0 = -9*l + 8*l + i. Suppose 2*o - o = -3*x + 445, -3*o - l = 0. Is 15 a factor of x?
True
Suppose 11*s - 51*s + 146880 = 0. Does 9 divide s?
True
Let u(j) = -j**3 + j**2 + 4*j - 13. Let s(g) = 2*g**3 + 4*g**2 + 3*g. Let r be s(-2). Is u(r) a multiple of 43?
True
Suppose s + 5*b = 7547, 4*s - 37*b - 30188 = -34*b. Is 10 a factor of s?
False
Suppose -8*s + 6800 = 8*s. Is 25 a factor of (s/(-3))/((-3)/9)?
True
Suppose -5940 - 72421 = -23*m. Is m a multiple of 82?
False
Suppose -25 = 5*t, -3*l - 4*t + 0*t - 65 = 0. Is 14 a factor of 3/l - 8755/(-25)?
True
Let c(n) be the third derivative of 13*n**7/5040 - n**6/720 - 3*n**5/20 + 5*n**2. Let y(k) be the third derivative of c(k). Is 8 a factor of y(1)?
False
Suppose -4*f + 3907 = -u - 34612, -4*u = -2*f + 19228. Is f a multiple of 8?
True
Let d be 6 + 24/(-6) + -2. Suppose 8*j + 612 - 1956 = d. Is j a multiple of 24?
True
Let w(c) = -c**2 - 14*c - 4. Let x be w(-10). Let k be 20 + x + (4 - 1). Let t = k + -18. Is t a multiple of 18?
False
Let f = -2 + 7. Suppose -3*t + 1033 = -i, f*t - 1729 = 4*i - 6*i. Is 23 a factor of t?
True
Let k(h) = -2*h**2 - 14*h + 15. Let v be k(-8). Let f be 22/(-44)*(1235 + (0