de (-4 - (g - (-20)/(-8)))*-556?
False
Let g(n) = 29*n + 89. Let k be g(-3). Let f be (-4)/(8/(-34)) - 3. Let p = f + k. Is p a multiple of 16?
True
Let w(n) = 2*n**3 - 2*n**2 - 9*n + 19. Let x(m) = m**2 + 5*m - 19. Let f be x(-8). Let s be w(f). Let h = s + -90. Is 21 a factor of h?
True
Let p(i) = 1077*i - 229. Is p(2) a multiple of 51?
False
Suppose 5*n = v - 51 - 123, 5*v - 5*n - 890 = 0. Suppose 0 = v*b - 174*b - 2100. Does 28 divide b?
True
Let u = -155 + 159. Suppose 0 = -4*j + 20, u*j - 960 = -5*o + 2*j. Is o a multiple of 4?
False
Let l(a) be the second derivative of 2*a**3 - 6*a**2 + 124*a. Is l(21) a multiple of 16?
True
Let p = -13 - -63. Let k = p + -21. Let a = 179 + k. Is a a multiple of 26?
True
Let x(r) = 9 + 16 + r - 10. Let b be x(5). Suppose 24*f - 672 = b*f. Is 24 a factor of f?
True
Let h = 26391 - 18201. Is h a multiple of 70?
True
Let c(y) = -y - 3*y + 4*y - 2 - 4*y. Let k be c(-4). Is 5 a factor of k + 2/(-4 - -2)?
False
Suppose 0 = -5*v, 0 = -5*h + 5*v + 6 + 39. Let g = h - 6. Suppose f - 4*i - 170 = 0, 740 = 5*f - i + g*i. Is f a multiple of 15?
True
Let d = -2031 + 2232. Does 3 divide d?
True
Let l be ((-1)/4*2)/((-17)/204). Suppose 5*u = -l*u + 1496. Is u a multiple of 17?
True
Suppose -277 - 378 = 5*w. Let s = w + 333. Does 9 divide s?
False
Let j(f) = -5*f**2 + 39*f + 10. Let t be j(8). Suppose -75 = -z - t*a + 11, 85 = z + 3*a. Is 4 a factor of z?
True
Suppose 0 = -9*w + 8*w + 132. Suppose -x + 892 = -w. Suppose 6*u - 746 = x. Is 59 a factor of u?
True
Let c(w) be the third derivative of w**8/10080 + w**7/630 - 19*w**6/720 + 3*w**5/10 - 18*w**2. Let g(r) be the third derivative of c(r). Does 9 divide g(-8)?
True
Suppose 5*u + 2 = 12, 5*u - 88 = 3*d. Let o = d - -36. Is o a multiple of 10?
True
Is 30 a factor of -9 + 12/(408/310) - 170098/(-34)?
False
Suppose 0 = -3446*w + 3445*w - 7, 42523 = 4*q + 3*w. Is q a multiple of 9?
False
Does 28 divide ((-4158)/(-12))/((-30)/(-240))?
True
Let l(w) = w**3 + 61*w**2 + 127*w + 725. Does 17 divide l(-51)?
False
Let z(n) = 16*n - 5. Let x be z(4). Let u = x + -38. Suppose 0 = -7*w + u + 56. Is 11 a factor of w?
True
Suppose -3*c = -11*c - 112. Does 13 divide (-31088)/(-56) - ((-2)/c + 0)?
False
Let z(a) be the first derivative of 2*a**2 - 8*a + 13. Let f be z(17). Suppose -2*b = 3*d - 6*d - f, -5*b = -4*d - 157. Is 28 a factor of b?
False
Let q(l) be the first derivative of l**4/4 + 11*l**3/3 + 11*l**2/2 + 9*l - 6. Is 39 a factor of q(-5)?
False
Suppose -5*s - 3*n + 5722 = 0, 2*s - 2*n = 782 + 1494. Suppose -1680 = -s*i + 1138*i. Is i a multiple of 15?
True
Let l = 161 + -181. Does 15 divide (-2250)/4*l/30?
True
Suppose 0 = -3*j - 5*k + 833, -3*k + 549 = 2*j - 6*k. Suppose -2*p - j = -p. Is 21 a factor of (p/(-3))/4 + -2?
True
Suppose 5*h + 5*t - 95 = 0, -41*t + 42 = 2*h - 40*t. Let o(f) = 7*f + 239. Is 20 a factor of o(h)?
True
Let f(h) = 2*h - 56. Let y be f(-21). Let g = y - -240. Is g a multiple of 7?
False
Suppose 1050 = a - 0*x + 5*x, 5204 = 5*a + 2*x. Does 13 divide a?
True
Is 6278 + -62 - (-1 + 4) a multiple of 3?
True
Suppose -10*g = -5*g + 14*g - 92131. Is g a multiple of 10?
False
Suppose 23*h - 28*h + 190 = 0. Does 19 divide h?
True
Let p = -256 - -241. Suppose 0*f + f + 2*b + 9 = 0, -3*f - 2*b - 19 = 0. Is -65*((-1)/3)/(f/p) a multiple of 5?
True
Suppose -5*v - 13*j + 3321 = -10*j, -2010 = -3*v + 4*j. Let m = v - 526. Is m a multiple of 14?
True
Let q be (-12)/(-3) + (5 - -2). Let z(a) = a**3 - 9*a**2 - 13*a - 11. Let s be z(q). Suppose s - 376 = -4*h. Does 19 divide h?
False
Let m be -2*(3 - 8 - -3). Suppose -m*p - 4*j = j - 56, 0 = p + 4*j - 14. Does 10 divide p?
False
Suppose 3*q - 4*q - 9 = -2*w, -4*q - 12 = 4*w. Suppose w*n = -2*n + 12. Suppose 0*p = n*p - 15, 2*s + 3*p = 191. Is s a multiple of 8?
True
Suppose -2*f = -5*a + 8 + 11, 20 = 4*a. Suppose f*u - 201 = -45. Is 11 a factor of u?
False
Suppose 27*h - 25*h = -o + 47325, -4*o - 2*h + 189300 = 0. Is o a multiple of 131?
False
Is 7 a factor of 5 - (-3 + -11 + 19 + 495/(-1))?
False
Let j = -3720 - -5468. Suppose 0*l + j = 2*l. Is 23 a factor of l?
True
Suppose 0 = 3*p + 15. Let t be 1*(p + -18 + -5). Is (2 - t/(-12))/(2/(-1074)) a multiple of 35?
False
Let o = -47592 + 66674. Does 13 divide o?
False
Let p(l) = l**2 + 18*l + 39. Let g be p(-17). Suppose -10 = 6*i - g. Suppose 0 = i*s + 2*c - 3*c - 156, 162 = 2*s - 4*c. Does 22 divide s?
False
Suppose 4*o + 1113 = 2*g - 551, 5*g - 4151 = o. Suppose -3*x - 4*j + g = -x, -5*j = -25. Suppose -6*n = -n - x. Does 27 divide n?
True
Let v(w) = -2*w**2 + 26*w + 2. Let l be v(13). Let p be -2*1/l*-1*4. Is 6 a factor of 2/4 + 46/p?
True
Suppose -29*r + 18*r = 44. Is 31 a factor of (6/(-4))/(r/1768*1)?
False
Let t be (-6)/21 + 60/14. Suppose 5*h + 122 - 339 = t*z, -55 = -h - 5*z. Suppose -2*p + 45 + h = 0. Is 9 a factor of p?
True
Suppose 3*p = -4*x + 15836, -1397*x + 1394*x + 11906 = -5*p. Is 34 a factor of x?
False
Does 11 divide 11076/(-9)*9/(-6)?
False
Suppose 5*o + j - 2812 = -j, -4*o + 2246 = -2*j. Suppose 133 - o = -11*t. Is t a multiple of 14?
False
Let d = 177 - 177. Suppose 7*t - t - 978 = d. Is 28 a factor of t?
False
Let h be (-12)/(-20) - (-188)/20. Is 4 a factor of (-3 - -82) + (-20)/h?
False
Suppose -39454 = -2*w - 290*r + 293*r, -3*w + 59220 = 2*r. Does 26 divide w?
False
Let w = 861 + -845. Suppose -4*u - 1452 = -w*u. Does 11 divide u?
True
Let t be ((-180)/24)/((-6)/4). Suppose -t*i - 5*w + 1205 = -0*w, 5*i = -w + 1209. Is 33 a factor of i?
False
Suppose -6*n + 4*n = 5*a + 4, 0 = -a + 2*n + 4. Suppose a = -2*x + 2, -3*h - 5*x + 15 = 4. Is 8*(17/h - 3) a multiple of 4?
True
Let s = 0 - 21. Let p be 18/42 + 9/s. Suppose -42 = -b + 2*m + 36, -m = p. Is 13 a factor of b?
True
Suppose -14*s + 10 = 94. Let r be (4/s)/(-6 + 264/45). Suppose -3*f = -2*w - r*f + 8, 3*f = -4*w + 20. Is w a multiple of 8?
True
Let h = -18 - -21. Suppose -3*v + 3 = -2*x - 24, -3*v - h*x = -12. Suppose 387 = 10*i - v*i. Does 25 divide i?
False
Let s be (459 + 0)/(57/190). Suppose -l + 404 = t, 320 = -3*l - t + s. Is 23 a factor of l?
False
Let b(c) = 89*c**2 - 1230*c - 10971. Is b(-9) a multiple of 84?
True
Let p = -48 + 58. Let u = -7 + p. Suppose 0 = 3*v - 6, -u*c = c - 5*v - 702. Is c a multiple of 13?
False
Let n = 18698 - 7038. Does 190 divide n?
False
Let o = 233 + -219. Suppose -y - 1 = 0, j - 2*j + 5*y = -o. Is j a multiple of 3?
True
Let d(w) = 502*w + 2716. Does 11 divide d(6)?
False
Let a = 10518 + -10246. Does 4 divide a?
True
Let h = 20 + -15. Suppose -2*l - 4*w + 20 = 0, -5*l + 29 - h = -3*w. Suppose -l*x + 432 = -2*x. Is 18 a factor of x?
True
Suppose -170 = -3*y - 7*y. Suppose y + 3 = -4*p, 5*p + 35 = -5*x. Does 34 divide (-34)/((-60)/(-33) + x)?
False
Let x = 462 + 85. Let i = 1051 - x. Suppose -7*u - i = -10*u. Is 12 a factor of u?
True
Suppose d + 3*d = -108. Let c = -24 - d. Suppose -4*y + y + 131 = -5*m, 3*y - 123 = c*m. Is 26 a factor of y?
False
Let t(d) = 12532*d + 132. Let y be t(3). Suppose -9*w = 27*w - y. Is 8 a factor of w?
True
Suppose 2*c + 4*v + 11 = 1, 0 = 3*c - 2*v - 25. Suppose 3*g + c*b = -0*g + 869, 5*b = 2*g - 596. Is g a multiple of 39?
False
Let o be 8*((-1053)/33 + 9/(-99)). Let k = o - -725. Is 5 a factor of k?
False
Let x = -241 + 228. Let p = 421 + x. Does 12 divide p?
True
Suppose -3*m = x - 553, 5*x = -5*m - 1692 + 4407. Suppose -6*t + x + 5222 = 0. Is 48 a factor of t?
True
Let y = 24664 - 4745. Is 48 a factor of y?
False
Let i = -1 - -4. Let d(j) = -5*j**2 + 28*j + 42. Let a(q) = 9*q**2 - 55*q - 84. Let k(t) = i*a(t) + 5*d(t). Is 12 a factor of k(19)?
False
Let g(n) = -n**3 + 6*n**2 + 4*n - 32. Let t be g(6). Does 38 divide (-283 - (-16)/t)*(-14)/5?
True
Let v be 4833/63 + 6/21. Suppose w - v = 325. Does 22 divide w?
False
Let p be 2/(-4) + (3 - 7/2). Let j be (1 - 0 - p)/((-2)/(-371)). Suppose -j = -2*x - 119. Does 7 divide x?
True
Suppose 3*f = 2*f - 68. Let q = -70 - f. Is 36 a factor of -177*1/q - 7/14?
False
Suppose -3*z + 45 = 2*l, 2*z - 9 = -z. Suppose -15*p - 123 = -l*p. Does 5 divide p - (0 + -1) - 4?
False
Let j = 1991 + 568. Is j a multiple of 12?
False
Is 19 a factor of (-5 + 52/(-20))/((-4)/1930)?
True
Let t = 1297 - 487. Let r = t - 515. Suppose -2*i = -179 - r. Is i a multiple of 31?
False
Suppose 337896 = -270*