. Suppose -r*s = -19*s - 468. Does 39 divide s?
True
Suppose 356155 + 314366 - 166053 = 36*t. Does 9 divide t?
True
Is 8 a factor of (0 - 4) + (-1092)/(-3)?
True
Is 5238/12*1334/87 a multiple of 20?
False
Let t = 88 - 55. Suppose -t - 210 = 3*p. Let f = -57 - p. Does 24 divide f?
True
Let g(x) = 550*x**3 - 14*x**2 + 26*x. Is g(2) a multiple of 28?
True
Is 191 a factor of (-104)/39 - (-1 - 20658/18)?
True
Let n = 5573 + -2941. Is n a multiple of 7?
True
Let w be ((-10)/(-15))/(1 - (-5)/(-6)). Suppose -p + w = 0, 4*b - 3*b = -p - 164. Let y = b - -252. Is y a multiple of 12?
True
Let q(j) = -2*j**3 - 231*j**2 + 94*j - 162. Is q(-116) a multiple of 51?
False
Does 182 divide (-3)/8*8/(-30) + 130048644/12760?
True
Suppose -81 = -10*z + 11*z. Let x = z + 97. Is 6 a factor of (-55)/(-3) - x/48?
True
Let z be -489*1*(-5)/(-15). Let j = z - -283. Is j a multiple of 4?
True
Let y(o) = -o**3 + o**2. Let i be y(1). Suppose z + i*z = -5*h + 54, 5 = h. Does 23 divide (-6 - -3) + -1*z*-2?
False
Let o = 172 - 102. Let p be ((-63)/15)/((-7)/o). Does 30 divide (-1852)/(-14) - (-1 + 54/p)?
False
Let f = 87 - -13. Suppose 4*s = -8, -3*u = u - 2*s - f. Is 20 a factor of (2 + -32)/((-9)/u)?
True
Suppose -q = -2*x + 9, -4*q = x - 0*x - 9. Let t = -7 - -11. Suppose 29 + 68 = t*k - 3*j, -x*j = -2*k + 45. Does 25 divide k?
True
Suppose 2*u - 136 = -2*g, 326 + 8 = 5*u + 2*g. Let y = u - 42. Does 4 divide y?
True
Let s(t) = t**3 - 18*t**2 - 49*t - 30. Suppose 10*r - 184 - 26 = 0. Is 22 a factor of s(r)?
True
Suppose -d + 807 = 3*q + 2*d, -3*d + 275 = q. Suppose -q = 6*f - 8*f + 3*j, j = 2*f - 262. Does 26 divide f?
True
Suppose 0 = -8*j - 19 - 13. Let w be 17/(-68) + (-417)/j. Let y = w + 13. Does 9 divide y?
True
Suppose 11*j - 7*j - 19104 = -2*x, 28656 = 3*x + 3*j. Is x a multiple of 120?
False
Suppose 0 = m - 10*m + 3573. Let s = m + -129. Is s a multiple of 30?
False
Let l = 355 - -3156. Is 4 a factor of l?
False
Let o = -34 + 39. Suppose 4*x - o*f = 3111, -2*x - f + 3896 = 3*x. Suppose -8*z - 163 = -x. Is z a multiple of 11?
True
Suppose -5*n + 14 = -j + 135, 2*n - 2*j = -50. Let l be ((-40)/6)/(-2) + 8/n. Suppose l*u - 76 = -4*a, 3*u + 4*a = 5*u - 44. Is u a multiple of 24?
True
Suppose 0 = 3*s - b - 6966 - 8077, -3*b = -3*s + 15051. Does 34 divide s?
False
Let j(v) = -92*v**2 + 176*v**2 - 2*v**3 - 86*v**2 + 3*v**3. Let d(z) = z**3 - 3*z**2 - z. Let p(y) = 4*d(y) - 3*j(y). Is 5 a factor of p(7)?
False
Suppose -9*p - 6*p - 7770 = 0. Let x = p - -948. Is x a multiple of 36?
False
Let v = -356 + 358. Suppose 0*h = 4*h, -v*h + 5060 = 4*u. Is u a multiple of 15?
False
Suppose -5*u + 13*u - 1784 = 0. Suppose -7*r = -5*h - 5*r + u, -4*h - 3*r + 183 = 0. Is 3 a factor of h?
True
Let d(o) = o**2 - 13*o - 14. Let k = 28 + -18. Let h be d(k). Let r = h + 68. Is r a multiple of 6?
True
Let m(k) be the first derivative of k**4/4 + 4*k**3/3 - 3*k**2 + 5*k + 126. Let n(j) = -j + 1. Let t be n(6). Is 2 a factor of m(t)?
True
Suppose -52*z = -58*z - 30. Is 1*z/(5/(-143)) a multiple of 2?
False
Let h(o) = -171*o - 885. Does 49 divide h(-109)?
False
Suppose 50*f - 44*f - 108 = 0. Is 27 a factor of 12/f*-3 - -3 - -80?
True
Let f(t) = 17*t - 3. Let b be f(12). Let w = b - 66. Is (11/(-3) + 1)*w/(-2) a multiple of 36?
True
Let p be 4/(-3)*14/((-196)/21). Let u(a) = 40*a**2 - 11*a + 16. Is 22 a factor of u(p)?
True
Suppose -113*h = -120*h + 2856. Is 9 a factor of h?
False
Let h(t) = -t**2 + 5*t - 22. Let o(f) = -f**2 + 6*f - 22. Let u(b) = -3*h(b) + 4*o(b). Let m be u(5). Is (1035/(-30))/(m/4) a multiple of 9?
False
Suppose 3*c = 2*c + 8. Suppose -c*y - 9 = -5*y. Is 19 a factor of 3*(-294)/54*y?
False
Suppose -2*w = -v + 12, -9*v - 5*w = -4*v - 60. Suppose -4*j = -v, -5*f + 3372 = -f + 4*j. Is 40 a factor of f?
True
Suppose 57 = 7*o + 12*o. Suppose 2*c + 3*v - 302 = 0, 0 = -3*c + o*v + 2*v + 472. Is 11 a factor of c?
True
Suppose 2*i - 5*i - 2930 = 4*a, -2*i - 730 = a. Is 41 a factor of 10 - 13 - (a - -2)?
False
Let c(i) = i**2 - 2*i**2 + 2*i**2 + 12 - 2*i. Let f be ((-30)/(-18))/((-2 + 3)/3). Is c(f) a multiple of 3?
True
Let z = -1005 - -385. Let j = z + 920. Does 20 divide j?
True
Suppose 27*c + 426 = -303. Is 4/18 + (68232/c)/(-4) a multiple of 8?
True
Let a(t) = -3*t**3 - 10*t**2 - 7*t - 25. Let w be a(-8). Let h = w + -509. Is h a multiple of 11?
True
Let a = 7549 - 6758. Is a a multiple of 7?
True
Suppose 0 = -29*d + 49*d + 7220. Let h = d - -409. Does 8 divide h?
True
Suppose 907*n - 912*n - 2*o = -18670, 0 = -5*n - 3*o + 18670. Is n a multiple of 16?
False
Let s(u) = 81*u**2 + 2. Let q be s(-2). Suppose q = 3*g - 43. Let y = 234 - g. Does 25 divide y?
False
Let i(p) = -p**2 + 34*p - 43. Let k be i(21). Suppose -4*c = -0*o - 4*o + 184, -k = -5*o - c. Is o a multiple of 6?
False
Suppose 14*i - 40032 = 5*i - 7*i. Is i a multiple of 6?
True
Let o(c) = -c**3 + 6*c**2 + 3*c - 13. Let i be o(6). Suppose 558 = i*m + 68. Suppose m = 4*p - 190. Does 7 divide p?
False
Suppose 36*x - 40*x + 40 = 0. Suppose -5*c + 3*c - x = 0. Let o(q) = -q**3 - 2*q**2 - 5*q. Does 16 divide o(c)?
False
Let y(k) = -78*k - 63. Let l(i) = -4*i**3 + 5*i**2 + 3*i - 3. Let u be l(2). Is 34 a factor of y(u)?
False
Let t(p) = -p**3 - 38*p**2 - 16*p - 16. Suppose 0 = -i - 5*b - 23, -i = -5*i - 4*b - 140. Is t(i) a multiple of 37?
True
Is ((-52705)/(-3))/((-30)/792*-22) a multiple of 102?
False
Let a(z) = -21*z + 42. Let d be a(2). Suppose d = -23*m - 381 + 2543. Does 70 divide m?
False
Let p = 352 - 338. Is 60 a factor of ((-657)/(-12) + 1)*(-10 + p)?
False
Does 73 divide 88/(-110)*(1/(-2))/((-8)/(-100840))?
False
Let x(z) = 11*z**2 - 119*z + 1629. Is x(12) a multiple of 15?
True
Let w(x) = 4 - 1 + x - 7. Let o be w(8). Does 18 divide 4/16 - (-367)/o?
False
Let s be (6/(-4))/(7*(-3)/4284). Is 1/(-6 - (-1837)/s) a multiple of 51?
True
Suppose b + 8*b = 126. Suppose -5 = -3*r - 4*l, -4*r + 3*l + b = -1. Suppose 4*v + 387 = r*o, -4*v + 238 = o + o. Is o a multiple of 19?
False
Let b = -126 - -120. Let y(u) = u**3 + 7*u**2 - 6*u - 9. Does 9 divide y(b)?
True
Suppose 100*m + 177288 = 645488. Is 29 a factor of m?
False
Let o = -31 + 34. Suppose 5*t = 5*z + 190, -116 = -2*t + o*z - 43. Does 10 divide t?
False
Suppose 21 = 4*u - 5*v, -5*v + 2 - 19 = -3*u. Suppose 0 = u*g - a - 747, -13*g + 14*g + 3*a = 177. Does 18 divide g?
False
Suppose -5*r = -l + 14, 0 = -4*l - 5*r - 3 - 16. Is 14 a factor of (l - (-39)/(-3))*(0 - 23)?
True
Let n be 188/8 - (-1)/(-2). Suppose -y + 25 = 4. Suppose y*o - n*o = -540. Is 45 a factor of o?
True
Let k be (-13 - 5/1)*8/6. Let r be (-9)/k*4*1028/6. Suppose 0 = 4*t - r - 63. Does 10 divide t?
True
Suppose -409 + 7369 = 10*z. Does 29 divide z?
True
Let m = -2004 + 5272. Is 172 a factor of m?
True
Suppose 3*g = 5*g - 3*i - 54, -81 = -3*g + 3*i. Let q = g - 11. Let m = q + 3. Is m a multiple of 11?
False
Suppose a - 2*x = x + 419, -2111 = -5*a - x. Let u = a - 97. Is 13 a factor of u?
True
Suppose 0 = 3*d - 2*d - 28. Let p = -2366 - -2558. Let o = p + d. Is 32 a factor of o?
False
Suppose 1335 - 4369 = -2*z. Is 41 a factor of z?
True
Suppose 0 = -27*b + 9*b + 10332. Suppose 12*q - b = 266. Does 30 divide q?
False
Let r(a) = 84*a - 220. Is r(7) a multiple of 24?
False
Suppose 3 = 3*q, 5*u - 39*q = -41*q + 47. Is u + (-14)/((-98)/63) a multiple of 6?
True
Let z(x) = -37. Let i(n) = -3*n - 73. Let s(h) = -6*i(h) + 11*z(h). Does 8 divide s(2)?
False
Let z(u) = 32128*u**3 + u**2 + 18*u - 15. Does 14 divide z(1)?
False
Suppose -5*q + 14 = -3*m, -2*m - 4 = -3*q + 4. Let h(z) = 2*z**2 - 3*z. Let a be h(m). Suppose -92 = -r - 3*p, -p + 20 = -a*r + 183. Is 6 a factor of r?
False
Suppose -3126 = -34*x + 12208. Is x a multiple of 41?
True
Let p be 448 - (-3 - (-4 + 4)). Let n = p - -113. Let y = -337 + n. Does 52 divide y?
False
Suppose -2*w + 30 = 2*r, -33*w + 30*w - 6 = 0. Is 38 a factor of ((-5)/6)/(r/(-11118))?
False
Suppose l = -g + 1993, -5*g - 969*l = -970*l - 9977. Is 17 a factor of g?
False
Let l = 18421 - 4957. Is 198 a factor of l?
True
Let t = -244 - -122. Suppose 0 = -4*k + 178 + 514. Let c = t + k. Is 17 a factor of c?
True
Let m(v) = -108*v**3 + v**2 + 11*v. Is m(-2) a multiple of 49?
False
Let u be (0 - 3)*-1 - (-9 - 118). Let p = u + -67. Does 11 divide p?
False
Let i be (1494/15)/(1/5). L