= 2*d + 3*k, k = -w*d + 4. Suppose 28 = 4*y - r, 3*y = -d*y + 3*r + 28. Is y a multiple of 8?
True
Let y(a) = 7*a**3 - 5*a**2 + 11*a - 4. Let l be y(4). Is 21/(-6)*l/(-42) a multiple of 11?
False
Let f = 497 - 233. Does 44 divide f?
True
Let a = -968 + 1728. Does 40 divide a?
True
Does 3 divide 111 + (-4 - (-2 + -5 + 3))?
True
Let m(w) be the first derivative of w**3/3 + 9*w**2/2 + 36*w + 11. Does 8 divide m(-12)?
True
Does 24 divide 4/(-18) + (107656/72 - 12)?
False
Let d(u) = -4*u - 2. Let y(c) = -c - 1. Let p(k) = d(k) - 5*y(k). Let o be p(0). Is 8 a factor of o/(-1 - 13/(-10))?
False
Let z(h) = h**3 + 3*h**2 + 3*h + 5. Let d be z(-2). Suppose 0 = -5*v + 3*l - l - 504, -2*v + d*l = 206. Let i = v + 145. Is 9 a factor of i?
True
Suppose 0 = 70*l - 20*l - 22850. Is l a multiple of 2?
False
Suppose -672 = g - 4*g. Does 14 divide g?
True
Let x(z) = -6*z**3 + 5*z - 6. Let l be 2 - (3 - 6 - -1). Let m(v) = -v**3 - 1. Let o(g) = l*m(g) - x(g). Does 13 divide o(3)?
False
Suppose -c + 7 = -6. Let q = 861 + -873. Let y = c - q. Is y a multiple of 5?
True
Let o(u) = 20*u + 18. Suppose 0 = 4*p - 7 - 17. Does 8 divide o(p)?
False
Let v be 4 + -82*3/(-2). Let x = v - -33. Is x a multiple of 27?
False
Suppose -52*n = -16*n - 73044. Does 70 divide n?
False
Let w(b) = b**2 - 7*b. Let d be w(15). Suppose -4*y - 4*k + d + 108 = 0, -3*k = 4*y - 228. Does 19 divide y?
True
Let t(r) be the first derivative of -r**4/4 - 13*r**3/3 - 7*r**2 + 6*r - 1. Suppose 516 = -40*q - 3*q. Does 10 divide t(q)?
True
Suppose -5*g - 4*l - 8 = 0, 4*g + 0*g + l = -2. Suppose 0*w - 4*w = -8. Is 39 + (g/3)/w a multiple of 15?
False
Suppose 2*z - 4*u = 0, 5 - 1 = 2*u. Let d be (-7)/(-1) + (-2)/1. Suppose 0 = -d*v - 5*t + t + 26, 4*t = -z. Is v a multiple of 2?
True
Let y = 549 + -228. Is y a multiple of 14?
False
Let l be 54/297 + 20/11. Suppose -4 = -3*t + 4*t, -p = 4*t - 171. Suppose l*m - p = -47. Does 21 divide m?
False
Suppose 4*q - 11 = 1. Suppose 183 = -q*t - 3*f, -t + 3*f = 31 + 26. Let w = 106 + t. Is 20 a factor of w?
False
Suppose -2*a = 1 + 1. Let m be ((-6)/24)/(a/8). Suppose m*f = 4*q - 58 + 4, -48 = -3*q - f. Is q a multiple of 10?
False
Suppose 2*c = 811 - 293. Suppose -r = -5*j + 4*r + 265, -5*j + 2*r = -c. Is j a multiple of 8?
False
Let v(d) = 21*d**2 - 3*d + 3. Let x be v(3). Is ((-12)/10)/(1 + x/(-180)) a multiple of 12?
True
Let n(h) = h**2 + h - 9. Suppose -3*q - 8 = m - 41, 12 = 4*m. Let v be 27/(-5) - q/(-25). Does 11 divide n(v)?
True
Does 32 divide 2/((-12)/12)*-640?
True
Let p = -867 - -1251. Does 12 divide p?
True
Suppose -8*j - 6*j = -2002. Let n = j - 51. Is n a multiple of 23?
True
Let b be ((-162)/(-4))/((-18)/24). Let a = 114 + b. Does 16 divide a?
False
Suppose -4*y = -0*y - 32. Suppose 5*j - y = j. Does 2 divide j?
True
Suppose 0 = -8*j + 16967 + 14337. Is j a multiple of 11?
False
Let d = 4067 - -188. Is 23 a factor of d?
True
Suppose m + 0*m = -k + 9, -4*m = -k - 16. Suppose 4*p - 8 = 0, 5*p = 6*q - k*q. Suppose -3*r + 112 = -0*r - z, 215 = q*r + 4*z. Is r a multiple of 8?
False
Let b be (-3)/2 + 25/2. Does 30 divide (5 + -1)*b - 1?
False
Is 34 a factor of (-9513)/(-35) - (-4)/20?
True
Let q(a) = 65*a**2 + 4*a + 1. Let n(p) be the third derivative of -16*p**5/15 - p**4/8 - p**3/6 + p**2. Let i(w) = -6*n(w) - 5*q(w). Does 20 divide i(1)?
False
Suppose 0*k - 60 = 5*k. Let v = 28 + k. Does 16 divide v?
True
Does 9 divide 78 - (6 + 0/4)?
True
Let f(i) = 7*i + 8. Let a(h) = -h**3 - 10*h**2 + 12*h + 16. Let k be a(-11). Is f(k) a multiple of 14?
False
Let c(q) = 10 + 0 - q**2 + 2 - 11*q + 3*q**2. Let a be c(6). Is 14 a factor of (a/15)/(6/140)?
True
Let v(p) = 17*p - 500. Is 4 a factor of v(36)?
True
Is 22 a factor of (176/(-20))/((-17)/255)?
True
Let n(t) = 137*t**2 + 6*t. Let a(i) = 275*i**2 + 13*i. Let l(j) = -6*a(j) + 13*n(j). Let r be l(-1). Let v = 183 - r. Is 26 a factor of v?
True
Let q(k) = 10*k**2 + 2*k + 1. Let r be q(-1). Suppose -5*i + r + 11 = 0. Suppose 5*h - 3*z = 40, 0*h + 2*h + i*z = 16. Is h a multiple of 8?
True
Suppose 0 = 6*d + 17 - 83. Suppose 2*r - w - 20 = 0, r - 5*w = 17 + d. Does 3 divide r?
False
Is 3118/13 - (-32)/208 a multiple of 20?
True
Let j be (-10)/(-2) - 0/6. Suppose -s + 7 = 2*f, -5*f + 22 - 7 = j*s. Does 18 divide s - (-99)/(-3 + 6)?
False
Let d be -2 - (-3 + 4 + -4). Is 16 a factor of 0 + d - (-2)/(4/126)?
True
Suppose 18*k + 1438 = 5*z + 22*k, 3*z - 862 = -2*k. Does 22 divide z?
True
Let r(l) = -l**3 + 4*l**2 + 5*l - 18. Let h be r(4). Suppose 0 = h*c - 38 + 8. Is c a multiple of 4?
False
Suppose 0 = -4*w - 5*b + 17781, -13335 = -3*w + 19*b - 23*b. Does 125 divide w?
False
Let w = 691 + -258. Is 54 a factor of w?
False
Let c(t) = t - 7. Let a be c(8). Is (-410)/(-5) + a - 2 a multiple of 16?
False
Suppose 13 = 4*m + 1. Let x(d) = -d + 5. Let b be x(m). Suppose b*z - 26 - 22 = 0. Is 24 a factor of z?
True
Let d = 1117 - 663. Suppose -3*n - 86 = d. Is 12 a factor of (20/6)/((-8)/n)?
False
Let r(q) = -q**2 + 57*q - 121. Is 11 a factor of r(30)?
False
Let k(h) = h**3. Let l(n) = 3*n**3 - 12*n**2 + 18*n + 27. Let z(r) = 4*k(r) - l(r). Does 5 divide z(-13)?
False
Let h be 87/(-5) - 6/(-15). Let q = -19 - h. Let k = 7 - q. Is k a multiple of 9?
True
Let h(m) be the first derivative of m**2 + m + 2. Let z be h(1). Suppose -5*n = -3*q - 323, 5*n - 2*q = -z*q + 319. Is 22 a factor of n?
False
Let s be -18*(-2 + 93/(-6) + -3). Does 3 divide (s/15 - 3) + 12/(-20)?
True
Suppose -43*i - 2560 = -47*i. Is i a multiple of 32?
True
Let t(z) = 5*z + 2. Let f be t(9). Suppose 2*j + 3*j + l = 56, 4*j = -3*l + f. Is 2 a factor of j?
False
Suppose -2*a = -2*h + 748, a = 6*h - 3*h - 1120. Is 26 a factor of h?
False
Suppose 1800 = 38*y - 23*y. Does 12 divide y?
True
Let b = 58 - 54. Suppose b*j + 4*h = 232, -208 = -4*j + 3*h - h. Does 5 divide j?
False
Suppose -2*c + 3*z + 3 = 0, 6*c - c + 5 = -5*z. Suppose -2*k = -0*n + n - 144, -5*k - n + 360 = c. Is 36 a factor of k?
True
Let t(z) = -z**2 - 2*z + 1. Let s(q) = q - 1. Let j(g) = -3*s(g) - t(g). Let d be j(0). Suppose -5*l + k + 34 = 0, 4*k = -3*l + 23 + d. Is l a multiple of 5?
False
Let z = -123 - -133. Does 3 divide (-377)/(-5) - (-9 + 94/z)?
True
Let d = 11803 + -7771. Does 18 divide d?
True
Suppose m - 799 = -3*x - 2*x, 2*x + 3*m - 317 = 0. Let z be x*((-110)/25 + 4). Let s = z - -94. Is s a multiple of 15?
True
Let i(c) be the third derivative of 0 + 0*c - 1/8*c**4 - 13*c**2 - 1/2*c**3. Does 9 divide i(-8)?
False
Suppose -3517 = -15*j + 11918. Is 21 a factor of j?
True
Suppose 286 = 6*l + 5*l. Suppose l*c - 33*c = -1120. Is c a multiple of 30?
False
Let x(d) = d**2 + 5*d + 3. Let w = -20 - -15. Let z be x(w). Suppose -6*t + 72 = -z*t. Is t a multiple of 6?
True
Suppose -5*o = -5*c - 50, -4*o + 9*o = -c + 26. Suppose r - o*r = -1280. Is r a multiple of 44?
False
Is (-23)/(-46) - 581/(-2) a multiple of 8?
False
Suppose -108 + 241 = p. Does 37 divide p?
False
Does 7 divide 0 - 2*3 - (-2349 + 124)?
True
Let p = 9 - 7. Suppose 2*l = -p*l + 156. Does 7 divide l?
False
Let s = 493 - 475. Suppose 6*z = z + 10. Suppose 0 = u - z*u + s. Is 5 a factor of u?
False
Let i be (0 - 1)/((-2)/(3 + 3)). Suppose i*s - 7*s = -60. Is 5 a factor of s?
True
Let v(c) = -44*c + 18. Let u(b) = 45*b - 18. Let y(p) = -3*u(p) - 4*v(p). Is y(2) a multiple of 8?
True
Let v = -65 - -89. Let i = 226 + v. Is 10 a factor of i?
True
Let l be (-4)/(-10) - (-486)/10. Let u = l + 14. Is u a multiple of 29?
False
Suppose -5*d - 10 = m, m = 4*d + 2*m + 8. Is 1 + (-1)/(d/62) a multiple of 16?
True
Let i be (-14)/49 - 78872/14. Is i/(-22) + (-3)/33 a multiple of 8?
True
Let c be 3 - (-1)/((-5)/(-300)). Let a = c - -57. Does 40 divide a?
True
Let d(l) = -3*l - 5. Let c be d(-3). Suppose -2*r + 0*u - 2*u = 0, -r + u = -6. Suppose 2*s - r*p = c*s - 13, 2*s = p + 33. Is 7 a factor of s?
True
Let n(u) = -6*u + 24. Let s be n(8). Let d = s + 148. Is d a multiple of 7?
False
Suppose 5*y = 2*c + y - 128, -c + 54 = 3*y. Is c a multiple of 10?
True
Suppose 5*o = -0*o. Suppose -2*s - 31 = -5*d - o*d, -15 = 5*s. Suppose d*c - 3*p = 210, 0*p - 240 = -5*c - 3*p. Is 9 a factor of c?
True
Let d(x) = -x + 84. Let w be d(0). Suppose 5*n = 17*n - w. Is 2 a factor of n?
False
Does 16 divide 865/(-6 - -11) - -3?
True
Suppose 24 = 4*s + 3*w