/20 + 721070/350?
False
Let s = 18455 + -13004. Suppose 0 = 21*d - 26*d - 2*m + s, 0 = 4*d + m - 4362. Is 14 a factor of d?
False
Suppose -32 + 124 = 4*o. Let z(m) = 19*m + o - 40 + 2. Is z(6) a multiple of 17?
False
Suppose 0 = -2*u - 4*t + 3254, -73*u + 71*u + 2*t = -3224. Is 8 a factor of u?
False
Suppose 280 = 2*p + 4*q, 2*p + 8*q - 279 = 5*q. Let j = p - 102. Is 18 a factor of j?
True
Suppose 23*g - 87071 = 325696 + 54685. Does 41 divide g?
False
Let t(y) = 54*y**2 + 4. Let n be -4 - (-13)/(39/18). Is t(n) a multiple of 11?
True
Suppose 111685 = 42*b - 10176 - 92171. Is b a multiple of 8?
True
Does 7 divide ((-4)/(-16)*14)/((-14)/(-7056))?
True
Let m = 3092 + 571. Is 9 a factor of m?
True
Suppose 2*z + 8 = 4*c - 3*z, 4*c - 2*z - 20 = 0. Suppose 5*k - 3*x = 20, -2*k + c = 5*x - 1. Suppose 564 = k*p + 132. Does 19 divide p?
False
Let x(t) = -53*t - 287. Let w be x(-24). Let o = -324 + w. Is 30 a factor of o?
False
Suppose -5*z = -45 + 5. Let d be (7/z)/((-17)/(-68))*22. Let g = d - 18. Does 8 divide g?
False
Let w(j) = -j**2 + 13*j - 13. Let u be w(8). Suppose -124 = -51*i + 29. Suppose i*g - 128 = -5*m, u = g - 5*m + 11. Is g a multiple of 2?
True
Let r = -69055 + 123745. Is 15 a factor of r?
True
Let o(n) = n**2 + 12*n + 44. Let m be o(-8). Does 22 divide 99/m*(-3800)/(-57)?
True
Let q(o) = 6*o**2 + 10*o + 78. Does 4 divide q(-10)?
False
Let d = -6279 - -10395. Does 21 divide d?
True
Let x = -107 + -365. Let z = -89 - x. Does 14 divide z?
False
Let x be 1 + (1 - (-2 - -4)). Suppose 4*q - 4*t - 468 = x, 2*t + 2*t - 132 = -q. Suppose q = -5*l + 7*l. Is 10 a factor of l?
True
Let w(s) = 17*s - 85 + 17*s - 20*s + 29*s**2. Does 23 divide w(5)?
False
Let l = 65967 - 37667. Does 25 divide l?
True
Let k(h) = 1906*h**3 - 10*h + 1. Is k(3) a multiple of 163?
False
Let r(v) be the first derivative of v**3/3 + 3*v**2 + 11*v + 21. Let u be r(14). Suppose 6*h + u - 759 = 0. Is h a multiple of 6?
True
Suppose -159*n + 427 = -152*n. Suppose -74 = -4*v + 2*v. Let w = n - v. Is 8 a factor of w?
True
Let p(y) = -23*y - 115. Let v be p(-12). Let a = v + 9. Is 10 a factor of a?
True
Let v be (12/(-8))/(1/184*-6). Suppose -v*r + 50*r - 16 = 0. Suppose r*x - 3*x - 1113 = -5*w, x + 663 = 3*w. Does 24 divide w?
False
Let q(n) = -n**2 + 10*n - 4. Let t be q(9). Suppose -3*w - w - 296 = 4*v, t*v = 4*w - 370. Let f = 82 + v. Is 8 a factor of f?
True
Is 243 a factor of (7 - (-16)/((-96)/52773))*(-12)/2?
True
Is 10 a factor of 6 + 57/(-9) - (-33663)/9?
True
Let u(l) = 29*l**2 + 41*l - 308. Does 134 divide u(16)?
True
Let g(l) = -l**3 - l**2 - 20*l + 3. Suppose 67 = -6*m + 25. Is g(m) a multiple of 18?
False
Suppose -123*y + 119*y - 3*s = -97530, y - 2*s = 24377. Is 81 a factor of y?
True
Suppose h - 4*h - 3*s - 390 = 0, 2*h + s = -260. Does 35 divide (-1 + 6)/((-5)/h)?
False
Suppose 9*l = -518 - 2281. Let m = l + 419. Is 18 a factor of m?
True
Suppose -192 = 101*t - 103*t. Suppose -4*l + 2198 = 94*k - t*k, 2*l - 1105 = -k. Is l a multiple of 29?
True
Let b(h) = h**2 + 11*h + 12. Let l(p) = -6*p + 170. Let i be l(31). Is 19 a factor of b(i)?
False
Is 79 a factor of 4426*1 + (-116)/58?
True
Suppose 0 = 9*t + 14*t + 101*t - 1939608. Is 11 a factor of t?
True
Suppose 61*l = 58*l + 9. Suppose 4*w = -8, -l*g = 2*w + 12 + 49. Let c = g - -32. Does 2 divide c?
False
Suppose 0 = -15*s + 80 - 20. Suppose -m - w = -496, 7*w = s*w + 12. Does 15 divide m?
False
Is 241 a factor of 1*(1056788/51 - -1*(-6)/(-9))?
False
Let k = 87 - 85. Let j(v) = 19*v**2 - 33*v**k + 13*v**2 - 34*v. Is j(-10) a multiple of 12?
True
Suppose -8*s + 51011 = -23614 - 15903. Is 29 a factor of s?
False
Suppose 9*v = 8*v - 346. Let q be (-10)/(-2) + (-1 - 2) - v. Is (q/8)/(3/24*3) a multiple of 29?
True
Suppose 0*b + 2*b - 2 = 0. Let j be b/((-12)/8*(-1)/3). Is -3*j/3 + 15 + 0 even?
False
Does 271 divide 3 + ((-243)/(-567))/(1/61327)?
False
Let s be -1*((-15)/3 - -5). Suppose -19*o + 17*o + 426 = s. Let x = o - 81. Is x a multiple of 33?
True
Let g = 27 - 51. Let s be (g/33)/(-4) - 79/11. Let u(r) = -15*r - 14. Is 16 a factor of u(s)?
False
Let a(s) = -s**3 + 50*s**2 - 46*s + 352. Is a(30) a multiple of 85?
False
Suppose -24 = -9*x + 6*x. Let p be (x/18)/((-16)/(-72)). Suppose 2*u = 5*d - 71, -4*d + 11 = -3*d - p*u. Is 10 a factor of d?
False
Let s(t) = 26*t + 3*t**2 - 4 - 2 - 23*t. Is s(-9) a multiple of 7?
True
Let o = -256 + 843. Let n = 985 - o. Is 27 a factor of n?
False
Let g be (-16)/120 - (0 - (-3034)/(-30)). Suppose 0 = -5*s + p + g + 1154, 0 = 2*p. Let q = s + -147. Is 26 a factor of q?
True
Let a = -20026 - -24994. Is 18 a factor of a?
True
Suppose 636 = -3*r + 1650. Let d be (3 - -22)*9 - 3. Suppose -d = -10*g + r. Does 24 divide g?
False
Suppose 0 = -5*q - 4*a + 5859, -3*q + 8*q - 4*a = 5891. Is q a multiple of 122?
False
Suppose -216 = -7*q + 3*q - 5*g, 5*g - 162 = -3*q. Let m = 2 - 2. Suppose 2*z + 5*y - q - 154 = 0, 5*z + y - 520 = m. Does 26 divide z?
True
Let x = 145 - 144. Let j(l) = 2*l + 20. Let i be j(-4). Is 5 a factor of x*(1 - i/(-3))*3?
True
Suppose 0 = 233*j + 326 - 807 - 451. Let q(s) = 2*s + 0*s**2 - 3*s + 2*s**2 - 7. Does 5 divide q(j)?
False
Suppose 4*v = -3*a + 10452, 242*a + 2*v - 10464 = 239*a. Is 6 a factor of a?
True
Let u be (-2)/((-6)/135) + (-8 - -7). Is 9 a factor of -1*(-11)/(u/856)?
False
Suppose -3*q - 6 = 0, 3*m = q + 82 + 781. Let r be 0 + m + 3*1. Suppose 5*i - r = -5*y, -y + 8*i = 3*i - 40. Is y a multiple of 11?
True
Let b(z) = 46*z + 17. Let g be b(6). Let v = -209 + g. Suppose 5*t - 141 - v = 0. Does 5 divide t?
True
Let a(n) = -2*n**3 - 25*n**2 - 2*n + 11. Let z be a(-13). Let c = 274 - z. Is c a multiple of 9?
False
Let p(u) = 2*u**2 + 14*u + 39. Let x be p(-4). Suppose 3*k + x*d - 12*d - 387 = 0, 4*k - d - 496 = 0. Does 7 divide k?
False
Let l(k) = -k**3 - 18*k**2 + 31*k + 1418. Is 12 a factor of l(-22)?
False
Suppose -21*l + 1264601 - 349673 = 0. Does 16 divide l?
True
Does 25 divide (6/(-2))/((1/1)/((-15976)/24))?
False
Suppose -3257 = -p + 2*v + 13981, 5*p + 2*v = 86130. Does 9 divide p?
False
Let h(x) = 73*x + 13. Let o be h(-3). Let z = 248 + o. Is 27 a factor of z?
False
Suppose 3*d + 77 = -169. Let l = d + 91. Suppose -4*j + 58 = k, -12 = 3*j - l. Is 17 a factor of k?
False
Let x = 54 - 53. Is 10/(-15)*(2 + x) + 50 a multiple of 4?
True
Suppose 227*v - 221*v = -19853 + 61517. Is 31 a factor of v?
True
Suppose -8*g - 20 = -3*g, -3*r + 3*g = -9744. Does 4 divide r?
True
Suppose 6*a - 25 = a. Suppose -4*g + a*g - 2 = 0. Suppose g*o - 4 = 0, 3*v - v - 152 = 3*o. Does 9 divide v?
False
Let j = -9424 - -11060. Is 4 a factor of j?
True
Suppose -159150 = -24*k - 51*k. Does 4 divide k?
False
Let g(q) = 16*q**3 + 6*q**2 - 8*q - 4. Let p be g(-3). Let d(w) = -w - 190. Let f be d(0). Let l = f - p. Does 28 divide l?
True
Let i(a) = 18 - 65*a**3 - 6*a**2 - 7 + 66*a**3 + 2*a. Let k be i(5). Does 5 divide ((-30)/4 - k)*(0 - 10)?
True
Let d = 8 - 9. Let k be 4 - (-1 - -32)*d. Let b = k + 6. Is 6 a factor of b?
False
Suppose -4*z = 28, 0 = -4*h - 5*z + 22511 + 38702. Is 48 a factor of h?
True
Let y = 54 + -52. Let h be 520/(-12) - y/(-6). Does 9 divide -2 - (2*h + 4)?
False
Let q = 6008 + 940. Is q a multiple of 18?
True
Let a = 11713 + -2158. Is 7 a factor of a?
True
Suppose -342 = 30*o - 36*o. Is 90/7*1862/o a multiple of 14?
True
Is (-28554071)/(-1001) + 30/(-55) a multiple of 175?
True
Let b(u) = 4*u - 85. Let y be b(10). Is (-225 + y)/(2/(-10)) a multiple of 44?
False
Let i(d) = -d**2 - 8*d + 77. Let y be i(-14). Let s(q) = -48*q - 172. Does 19 divide s(y)?
False
Suppose 3*c - 371 = 613. Is 23 a factor of c?
False
Let n(r) be the second derivative of -7*r**3/6 - 35*r**2/2 + r. Suppose -4*o + 7*o + 3*v + 15 = 0, -o - 2*v - 3 = 0. Does 7 divide n(o)?
True
Suppose -30*b - 3*b = -66. Suppose 4*a + 4*p = 3704, -b - 14 = -4*p. Is a a multiple of 21?
False
Let h be (0/7)/(-1) - -225. Let q = 130 + h. Is q a multiple of 24?
False
Let y(k) = k**3 + 2*k**2 + 2. Let t be y(-2). Suppose -5 = 5*w, -t*w - 78 = x - 4*w. Is (8 - 0)/((-8)/x) a multiple of 40?
True
Is 108/((-36)/40*(-2)/228) a multiple of 190?
True
Let p be (-30)/(2 + -4)*176/55. Let x = p - -22. Is x a multiple of 7?
True
Suppose 10*z - 57920 = 133*m - 138*m, -m = -z + 5804. Is 9 a factor of z?
True
Does 1