et r be d(3). Suppose 3*q + 216 = r*c, -4*c + 3*q + 90 = -2*c. Does 14 divide c?
True
Let u = 17 - -181. Does 10 divide u?
False
Let b(y) be the third derivative of y**7/840 + y**6/45 + y**5/12 + y**4/2 - 7*y**3/6 + 8*y**2. Let a(t) be the first derivative of b(t). Does 22 divide a(-6)?
False
Let y(j) = -1. Let u(v) = 27*v - 6. Let a(z) = u(z) - 5*y(z). Let k be a(1). Suppose 2*c = 4*c - k. Is 9 a factor of c?
False
Let f(h) = -15*h**2 - h + 1. Let g be f(1). Let o be 273/5 - 6/g. Let p = o + -19. Is p a multiple of 12?
True
Is 20 a factor of (-4 - 3458/(-14)) + 6/(-2)?
True
Suppose 36 = -n + 56. Suppose 0 = 3*u - 196 - n. Is 8 a factor of u?
True
Let r(x) = x. Let u be r(0). Suppose 2*p + 4*z = -z + 104, -2*z - 61 = -p. Suppose -p = -u*c - c. Is 19 a factor of c?
True
Let o be (1 + 86)*(-26)/(-39). Let i be 6/(3/9 - 1). Let x = o + i. Is 8 a factor of x?
False
Suppose 2 + 2 = -g, -51 = -u - g. Let f be -3 - -99 - (0 - 1). Let v = f - u. Is 14 a factor of v?
True
Let c(b) = 6*b**3 - 2*b**2 + 4*b - 1. Let s be c(3). Let m = s + -71. Suppose 3*g - 4*g = -m. Is g a multiple of 13?
False
Let t = -13 - -13. Suppose a - 107 - 206 = t. Does 41 divide a?
False
Suppose 0 = -142*g + 141*g - 106. Is -1 - 11/(11/g) a multiple of 15?
True
Suppose 20*j = 41*j - 44457. Does 73 divide j?
True
Let k = -12 + -6. Let v = -12 - k. Suppose 2*a - v = -d, 8 = -3*a - 1. Does 4 divide d?
True
Let s(f) = -f**2 - 15*f - 15. Let i be s(-15). Is 1*(-6)/i*155 a multiple of 16?
False
Suppose -w = 2*x + 1, w - 1 = -3*x - 0*w. Suppose -4*r - 4*o + 180 = 0, -3*r - x*r + 231 = -o. Is r a multiple of 14?
False
Suppose 3*i - r - 7 = 0, -2*i + r - 1 = -5. Suppose -48 = -q + i*m + 15, -2*m = -4*q + 282. Is 8 a factor of q?
True
Let w(r) = r**3 - 6*r**2 - r + 11. Let i be w(6). Suppose 84 = 7*p - i*p. Does 7 divide p?
True
Let i(o) = -4*o**2 + 10*o + 8. Let z(p) = 9*p**2 - 20*p - 16. Let w(q) = 7*i(q) + 3*z(q). Is w(8) a multiple of 23?
False
Is 368/3*(-45)/(-2) a multiple of 92?
True
Does 29 divide ((-5742)/15)/(159/(-1060))?
True
Suppose -1040 = -4*r + 4*c, -3*c = r - 5*c - 260. Is 26 a factor of r?
True
Suppose 0 = -h - m - 845, 0 = -2*h - 2*h + 2*m - 3362. Let t = 1192 + h. Is ((-72)/20 + 4)*t a multiple of 35?
True
Let v(a) = -a**2 + 13*a + 745. Is v(33) a multiple of 17?
True
Let p(s) be the second derivative of s**3/6 + 3*s**2/2 - 5*s. Let f be p(5). Suppose f*v - 74 = 6*v. Is v a multiple of 8?
False
Is 20 a factor of (-1 - (-146)/(-10))/((-19)/950)?
True
Let n be (-2)/(-8) - 774/(-8). Let k = 83 + n. Is k a multiple of 30?
True
Suppose -4*a + 4*r = -988, -r - 5 = -9. Is a a multiple of 16?
False
Suppose -947*l + 951*l - 280 = 0. Does 3 divide l?
False
Suppose m - 3*l - 286 = 0, -m - 870 = -4*m + 5*l. Suppose 15*u - m = 10*u. Does 28 divide u?
False
Suppose -10*j + 10 = -20. Is j a multiple of 3?
True
Let k = 8 - 5. Suppose 3*q + 158 = 2*v, -91 = 5*v - k*q - 477. Suppose -2*y = 5*z - 155, -z = z - 2*y - v. Is 15 a factor of z?
False
Let s(q) = -8*q + 50. Let m be s(6). Suppose -8 = -3*r + 2*v + 207, -r = -m*v - 77. Is r a multiple of 9?
False
Let f(h) = -1 + 0 - h + 4*h - 4*h. Let o be f(-5). Suppose 0 = -o*a - 5*m + 18 + 3, -4*a + 5*m = -11. Is a a multiple of 4?
True
Suppose 0 = 9*h - 48 - 6. Let y(t) = t**2 + 8*t - 21. Is y(h) a multiple of 21?
True
Let i(t) = 174*t - 2. Let k be i(1). Suppose -4*l = 3*p - 9*l - k, -266 = -5*p - 2*l. Does 18 divide p?
True
Let h(t) = 114*t + 3. Suppose 3*o = -m + 14 - 7, 5*m - 20 = 0. Let v be h(o). Let p = -42 + v. Is 15 a factor of p?
True
Let j = 697 + -405. Let b be 2/(-8) + j/16. Suppose -2*d - b + 64 = 0. Does 5 divide d?
False
Suppose 3*s - y = 1264, 0 = 4*s - 0*y + y - 1683. Let j = s - 296. Is 16 a factor of j?
False
Suppose 3*f - 3*d = 0, -d + 1 = -2*f + 5. Is (55/10*-1)/((-2)/f) a multiple of 2?
False
Let j(r) = 701*r**2 + 6*r - 5. Is 18 a factor of j(1)?
True
Let j(o) = o**3 + 21*o**2 - 22*o + 72. Does 6 divide j(-21)?
True
Suppose -2*o + 16 - 20 = 0, 3*k - 4*o - 3503 = 0. Does 61 divide k?
False
Let s = 4258 + -1097. Does 170 divide s?
False
Suppose -4*d + 2*q + 24 = 0, 5*d + 8*q - 5*q = 52. Is (-123)/(-4) - (-2)/d a multiple of 15?
False
Let v = -7 - -7. Suppose v = -g + 139 - 27. Is g a multiple of 14?
True
Let b be 4/(-6)*42/(-28). Is 11 a factor of (-50)/(-125)*(b - -89)?
False
Let x be (-203)/(-3) + 4/12. Let i be 19/((4 + -5)*1). Let n = x + i. Is n a multiple of 17?
False
Suppose 7*o + 8 = 281. Is 13 a factor of o?
True
Let j(o) be the first derivative of -o**3/3 + 12*o**2 + 9*o + 35. Is 18 a factor of j(9)?
True
Let c = 4 + -6. Let s(l) = -28*l. Is 8 a factor of s(c)?
True
Let h be 1/4 - (-1 + 459/(-4)). Suppose 6*q = 4*q + h. Does 29 divide q?
True
Suppose -z - 25 = -5*n, 0 = 3*z + 3*n - 9 - 6. Let p = -6 + z. Let t = p - -70. Does 32 divide t?
True
Suppose 12*q - 5*q = 35. Let l = 44 + -22. Suppose -4*t = -q*t + l. Is t a multiple of 9?
False
Suppose -24 = -4*g - 3*a, 2*g - 3*g + 5*a - 17 = 0. Suppose g*v = -v - 2*r + 628, 3*v + 2*r = 472. Is v a multiple of 12?
True
Suppose 0*g + 29*g - 9686 = 0. Is 68 a factor of g?
False
Let c = -30 - -57. Suppose -z + 82 - c = 0. Is z a multiple of 14?
False
Suppose -114 = -6*b + 138. Is 6 a factor of b?
True
Let m(y) = 3*y**2 + 16*y + 258. Is m(-27) a multiple of 34?
False
Suppose 0 = -4*q - 3*j + 4182, 0 = 3*q + 3*j + 2007 - 5142. Does 15 divide q?
False
Let r be 13 - ((6 - 4) + -5). Suppose -r + 0 = 4*s. Does 5 divide ((-29)/s)/((-3)/(-12))?
False
Suppose 0 = a - 3*a + 840. Suppose 0 = -3*l + 8*l - a. Is 21 a factor of l?
True
Suppose q - 3*q + 13 = -p, 5*p - 4*q + 41 = 0. Is 12 a factor of ((-145)/p - 2)*5?
False
Let y = 1178 + -749. Does 4 divide y?
False
Let t(o) = 2*o**2 - 3*o + 2. Let n be t(2). Let r(q) = -q + 9. Let u be r(4). Suppose n*g = -u*k + 64, 5*g + k - 59 = -0*k. Is 11 a factor of g?
True
Is (-139)/((-8)/528*6) a multiple of 12?
False
Let j = 287 - 190. Let s = j - -17. Does 19 divide s?
True
Suppose 0 = -13*u + 117 + 2691. Does 24 divide u?
True
Let z(j) = j - 2. Let q(u) = -u + 2. Let m(d) = 6*q(d) + 5*z(d). Let c be m(2). Let v = 11 + c. Is 11 a factor of v?
True
Suppose 0*l + 9529 = 5*x + 3*l, 2*x - 3817 = -3*l. Is 53 a factor of x?
False
Let l(q) = 20*q**2 + 3*q + 2. Let b be l(-1). Suppose -b - 207 = -3*x - 2*z, -2*x - 5*z = -169. Is 10 a factor of x?
False
Suppose 0 = 5*m - 2214 - 231. Is m a multiple of 19?
False
Suppose 6*r = 2*r - b + 1886, -10 = -5*b. Suppose -2*n = 5*c - r, 5*n + 347 + 43 = 4*c. Does 19 divide c?
True
Suppose -183 = -p + 2*t + 160, -3*p + 1033 = -2*t. Does 4 divide p?
False
Let u(r) = r - 18. Let q be u(10). Let z = q - -9. Let f(v) = 15*v**3 - v**2 - v + 1. Is f(z) a multiple of 9?
False
Let f(w) = 50*w + 66. Let o be f(24). Suppose 18*a - 246 - o = 0. Does 7 divide a?
True
Suppose c = 6*c + r + 106, -c + r - 20 = 0. Does 23 divide 93 + 7/(c/(-6))?
False
Suppose r - 12 = -5*w, -r - 2*w = w - 8. Let y be 1*6/3*r. Suppose -4*l = -y*d + 316, 3*d + 2*l + 66 = 288. Is 13 a factor of d?
False
Let v = 243 + -227. Is v a multiple of 2?
True
Suppose -2*h + 511 + 1417 = 0. Is 97 a factor of h?
False
Suppose -7*q = 2671 - 8614. Is q a multiple of 7?
False
Let l(u) = 16*u + 46. Let n(t) = 31*t + 93. Let q(r) = -5*l(r) + 3*n(r). Is q(11) a multiple of 48?
True
Suppose 19*c - 390 = 20*c. Is 11 a factor of (-6)/10 - (-4 + c/25)?
False
Let x be 0/1 - (3 + -165). Is (x/(-8))/(18/(-48)) a multiple of 4?
False
Let o(b) = 46*b + 19. Let s(t) = 46*t + 18. Let j(r) = -6*o(r) + 5*s(r). Is 15 a factor of j(-4)?
False
Let k(g) = 62*g**3 - 5*g**2 + 9*g - 1. Does 17 divide k(2)?
True
Is -72069*1/(-33) - 1/(-11) a multiple of 52?
True
Let v(n) = 360*n + 43. Is v(10) a multiple of 38?
False
Let t(s) be the first derivative of 0*s + 19*s**3 - 1 + 1/2*s**2. Does 14 divide t(-1)?
True
Let l(r) = 17*r**2 - 2*r + 5. Is 9 a factor of l(-5)?
False
Let h(f) = f**2 - 7*f + 5. Let a be h(6). Let m be a/1 - (-25 + 9). Suppose 3*z - 69 - m = 0. Is z a multiple of 14?
True
Suppose -2*w - 2*i = -6*i + 28, -4*w + i = 49. Suppose 0 = -3*u - 3*m, -m - 12 = -4*u + 3. Does 2 divide (-4)/w*3 + u?
True
Suppose 0 = 16*q + 55 + 121. Suppose 4*z = 3*u - 0*z + 77, 0 = 3*u - 5*z + 82. Let j = q - u. Is j a multiple of 4?
True
Let z(i) = i**3 - 15*i**2 - 14*i - 5. Let s(o) = 1. Le