**2 - 16*d + 13. Let j = -36 + 51. Let p be f(j). Let c(x) = -4*x**3 + 5*x**2 + 6*x + 2. Does 20 divide c(p)?
False
Let a be (-3 + (-3390)/25)*60/(-2). Suppose 6*b = -15*b + a. Does 33 divide b?
True
Let b(o) = 5*o**2 - 24*o + 5. Let r = -132 + 142. Is 76 a factor of b(r)?
False
Suppose -2*f + 466 = -278. Does 11 divide 4 + -3 - 11/((-22)/f)?
True
Suppose 2*m = -3*v + 72229 + 44954, 4*v - 156202 = 2*m. Does 11 divide v?
False
Suppose 9*a = -u + 13160, 93*u - 3*a + 52904 = 97*u. Does 4 divide u?
True
Does 6 divide (-2121)/(-42)*(29 - -1)?
False
Suppose -15*i + 28152 = 2*i. Suppose 12*j + 11*j = i. Does 6 divide j?
True
Let r(z) = -2*z**3 - 5*z**2 - z + 4. Let n be r(-4). Suppose -2*t - n = b - 4*t, 5*b + 288 = 2*t. Let h = b - -69. Is h a multiple of 11?
True
Let s = -661 - -7893. Is s a multiple of 16?
True
Suppose 4*s + x - 26208 = 0, -2704 - 30056 = -5*s - 2*x. Is s a multiple of 104?
True
Suppose -4*b - 4*w - 338 = -2*w, -79 = b - 5*w. Is 9 a factor of 273/(-2)*b/49?
True
Let i(a) = -6*a**2 + 2*a + 1. Let z(k) = 5*k**2 - 3*k - 2. Let h(g) = -5*i(g) - 4*z(g). Let q be h(-3). Let p = q - 37. Does 50 divide p?
True
Let h(y) = -24*y - 165. Let n be h(-7). Suppose -7*l = n*l - 6100. Is l a multiple of 61?
True
Let q = 6633 + -2078. Does 10 divide q?
False
Is 9/(-2) + (-27613151)/(-766) a multiple of 144?
False
Let c = -2631 - 5315. Does 10 divide 4 + 175/(-42) + c/(-12)?
False
Let h = 4228 + -4168. Is h even?
True
Suppose 0 = -2*w + j + 741, 0*j = 4*w + j - 1497. Is 2 a factor of w?
False
Let w(p) = p**3 - 18*p**2 + 35*p. Let g be w(17). Suppose g = 7*h - 5*h. Does 9 divide h?
True
Does 58 divide (9 - 1)*(73/3)/(31/4278)?
False
Suppose -15 = -3*c, 0 = -29*i + 27*i - 4*c - 288. Let s = i - -281. Is s a multiple of 16?
False
Let o(i) = -i. Let u(x) = 7*x + 25. Let y(q) = 3*o(q) + u(q). Let l = 179 + -165. Is 27 a factor of y(l)?
True
Let g be (7 + -7)/(-2*(-3)/(-3)). Suppose 8*c - 7*c = 105. Suppose 5*k - 6*k + c = g. Does 35 divide k?
True
Suppose 3 = -p + h, 0 = 2*p + 2*p + h - 3. Suppose 33*d + 4*d - 33300 = p. Is d a multiple of 81?
False
Let t(p) = -15*p + 5. Let y(z) = -3*z**2 - 6*z - 6. Let s be y(-2). Let q be t(s). Suppose 67 = 2*m - 5*u, m + q = 4*m - 2*u. Is m a multiple of 9?
False
Let c = 40 - 38. Suppose -c*d + 3*d = -2*r + 71, -5*d = 2*r - 355. Suppose 3*a = 5*b + d, b - 56 = a - 3*a. Does 3 divide a?
True
Let z = -35876 - -51061. Is 20 a factor of z?
False
Let k(m) = 3*m**3 + 26*m**2 + 49*m + 8. Let d be k(-6). Suppose -8*v = d*u - 2*v - 2290, 0 = -2*u - 4*v + 2286. Is 20 a factor of u?
False
Let l(q) = q + 40. Let f be 274/18 - 14/63 - 3. Suppose f*u = 8*u. Does 23 divide l(u)?
False
Let a be 24/24 - (6/1)/(-1). Is (2*a)/(-6*4/(-180)) a multiple of 7?
True
Suppose -755273 = -156*b + 432823. Does 56 divide b?
True
Let i = -42 + -35. Let b = 84 + i. Does 9 divide b/(-35)*2 + (-1024)/(-10)?
False
Let y = 47 + 25. Suppose 4*v + 0*v = 2*d - y, 4*d + 3*v - 177 = 0. Suppose -w = -3*w + d. Is 3 a factor of w?
True
Let f(r) = -4*r**2 + 7*r - 9. Let l(s) = -3*s**2 - 1 + 9*s + 2 - 11. Let q(o) = -4*f(o) + 3*l(o). Is q(5) a multiple of 11?
True
Suppose -47 = 3*l + 16. Let x(a) = -214*a + 1074. Let y be x(5). Does 11 divide 22/22 + y/((-4)/l)?
True
Let p(d) = -d**2 - 16*d - 51. Let r be p(-17). Does 17 divide r - -71 - (-470)/2?
True
Is 45 a factor of ((-13 - 6) + 357791/14)*12/10?
True
Let d = 86 - -72. Let y(m) = -m**3 + 3*m**2 - 6. Let t be y(5). Let x = d + t. Does 14 divide x?
False
Let g = 27247 - 6291. Is 62 a factor of g?
True
Let h(u) = 7*u - 36. Let a be h(5). Is 11 a factor of 10152/48 + a/(-2)?
False
Let n(g) = 32*g**2 + 46*g - 22. Is n(11) a multiple of 36?
True
Suppose -5*j + 1130 = -2*m, -3*j = -5*m + m - 678. Let q = j + -112. Does 11 divide q?
False
Suppose -30 = -162*v + 163*v. Does 25 divide (-8275)/v + (-10)/12?
True
Let l = -774 - -8278. Is l a multiple of 12?
False
Suppose 5*f - 2*d + 4 = 0, -25 = 4*f + 4*d - 5. Let x = -335 - -146. Is x/f - 9/(-18) a multiple of 9?
False
Let h(r) = -r**3 + 18*r**2 - 37*r + 41. Let g be h(15). Let x = 639 + g. Is x a multiple of 16?
True
Let o be ((-2)/(-3))/(1/(-3)). Let q be 0/(o/(0 - -2)). Suppose -15*d + 7*d + 952 = q. Does 7 divide d?
True
Suppose -55*q + 96717 + 173498 = 0. Is 7 a factor of q?
False
Let l(v) = -1386*v + 3120. Is 4 a factor of l(-7)?
False
Suppose 3*i - 27710 = -4*w, -5*w - 11052 = -i - 1828. Is i a multiple of 57?
True
Let u(c) = 2*c**2 - 16*c - 26. Let i be u(15). Let n = -99 + i. Is n a multiple of 17?
True
Let n(l) = l**3 + l**2. Let a(f) = f**3 + 8*f - 7. Let p(b) = a(b) - 2*n(b). Let x be p(-6). Suppose -1165 = -4*g - x. Is g a multiple of 32?
False
Let p be (2 + -2 - 12/18)*36. Let h = 28 + p. Suppose -50 = 2*j + 4*l - 310, 0 = -h*l - 20. Is 28 a factor of j?
True
Suppose -4*r + 20221 = -3*i - 18752, -5*r + 48719 = -i. Is r a multiple of 42?
True
Suppose 12*l - 72 = -24. Suppose -5*x - 1 = 2*y, -4*y = 4*x + l + 4. Is (3/2 + -2)/(x/(-686)) a multiple of 25?
False
Does 46 divide ((-552)/42)/((-10)/16205)?
True
Suppose -33*g + 19128 = -9*g. Let y = 1131 - g. Is y a multiple of 29?
False
Let q be 10/(-30) + 6/(-9). Does 6 divide -1 + q - (-2832)/6?
False
Let n be 16/(-56) - 2238/7. Let j = -257 - n. Is 2 a factor of j?
False
Let i(d) = 10*d + 697. Does 8 divide i(104)?
False
Suppose 5*k - 271 = 89. Suppose 2*y - 6 = -2*c, -2*y - 18*c = -14*c - 2. Suppose k = l + 4*n, 2*l - 131 + 52 = y*n. Is l a multiple of 13?
True
Suppose 7*o + 5516 = 14*o. Let d = -383 + o. Does 27 divide d?
True
Let b(s) = 8*s**2 - 130*s + 51. Is 17 a factor of b(17)?
True
Let u(j) be the first derivative of 10*j - 5 + 9*j**2 - 1/3*j**3. Does 29 divide u(11)?
True
Let t be 0*4/(-16) - 276/(-2). Let d = -118 + t. Is d a multiple of 4?
True
Let w be (-46)/161 + (2 - (-86)/7). Let j be 4/w*2*21/6. Suppose -j*k = 3*k - 740. Does 30 divide k?
False
Let c(g) = 6*g + 34. Let n be c(13). Let k(z) = z + 2. Let h be k(0). Suppose -w + n = -0*w + h*d, 2*w + 3*d = 224. Is w a multiple of 14?
True
Suppose 0 = 3*m + n - 10523, -32*m + n + 14019 = -28*m. Is 5 a factor of m?
False
Is 14 a factor of ((-90550)/8)/((3600/128)/(-45))?
False
Let r(b) = -24*b + 32. Let u(f) = 71*f - 95. Let n(o) = 8*r(o) + 3*u(o). Let i be n(-10). Let d = i + 421. Does 14 divide d?
True
Let l(b) = -b**3 + 20*b**2 - 12*b + 20. Let k be l(18). Suppose 4*t - k = -60. Suppose 7*g - 497 - t = 0. Does 17 divide g?
True
Suppose s = 2*k + 378, 2*s - 562 = -k + 179. Suppose -4*t = -48*v + 47*v + s, -3*v = t - 1129. Is v a multiple of 47?
True
Let z = 80 + -80. Let c = z + 288. Does 16 divide c?
True
Let z(o) = -25*o + 8*o - 49 - 43*o + 4 - 43*o + 4*o**2. Does 9 divide z(27)?
True
Suppose 0 = -5415*x + 5450*x - 5075. Is 2 a factor of x?
False
Suppose 0 = 19*v + 29 - 67. Suppose v*g = 4*g - 292. Is g a multiple of 8?
False
Let n(f) = 44*f + 41. Let c(l) = -21*l - 21. Let k(s) = 5*c(s) + 3*n(s). Does 35 divide k(11)?
True
Let y = -16 - -68. Suppose p + 4*j = 20, 3*p + 3*j - 5*j - 60 = 0. Let u = y - p. Is u a multiple of 16?
True
Let b be (4/(-14))/(10/(-140)). Suppose -b*f - x - 2*x = -11, -13 = -5*f - 4*x. Suppose f*y = -3*v + 636, 4*y - 374 - 126 = 2*v. Is 21 a factor of y?
True
Suppose 2*z = 2*p + 8, -2 = 4*z - p - 12. Let v be 8/8 + 2/(-2). Suppose 3*q = k - 125, v = -5*k + z*q - 336 + 961. Does 22 divide k?
False
Suppose 5997 = -18*m + 66603. Is m a multiple of 58?
False
Suppose -982 - 1142 = -6*n. Is (1357/n)/(1/6) a multiple of 16?
False
Let p(l) = -l**2 + 3*l + 55. Let d be p(-7). Let n(j) = -j**2 - 19*j - 36. Is 18 a factor of n(d)?
False
Let b(z) be the second derivative of 7*z**4/12 - 7*z**3/6 + 23*z**2/2 + 42*z. Let n be b(6). Let f = n + -95. Is f a multiple of 26?
False
Suppose -643 = -2*i - 5*m, -m + 945 = 69*i - 66*i. Is i a multiple of 48?
False
Let z = 56 + -54. Suppose 0 = 5*a - 5*t - 150, 0 = -z*a + 5*t - 37 + 106. Does 4 divide a?
False
Suppose 8*v + 150 = 550. Suppose v*g - 24050 = 13*g. Does 65 divide g?
True
Suppose -26035 = -19*t + 14*t - 4*p, 15621 = 3*t + 5*p. Is t a multiple of 40?
False
Let m(u) = u**3 - 16*u**2 + 31*u - 33. Let i be m(14). Let g be (i/2 - 0)/((-18)/(-12)). Suppose g*j - 56 = -s + 3, j - 113 = -2*s. Is 5 a factor of s?
False
Let u(l) = 1438*l**3 + 5*l**2 - 2*l + 1. Does 36 divide u(1)?
False
