et u(i) = 12*i + 2. Does 21 divide u(t)?
False
Let r(t) = 2*t**3 + 81*t**2 + 111*t - 13. Is 6 a factor of r(-39)?
False
Suppose -3*x = -3*o - 1446 - 309, 0 = -5*x + 2*o + 2925. Is 66 a factor of x?
False
Suppose -3*f + 8 - 2 = 0. Suppose -2*t + 2 = -f*l, -6*t + 2*t + 4 = 0. Suppose -b = -x + 4 + 36, l = -2*x - 2*b + 100. Is 15 a factor of x?
True
Let k = 1417 - -657. Is 9 a factor of k?
False
Let i(b) = b**2 + 11*b - 27. Let y be i(-15). Suppose -3*h + 6 = -y. Is 2 a factor of h?
False
Let x(l) = l**2 - 3*l - 11. Let o be 3 + 8 + -1 + -1. Let i be x(o). Suppose 0 = w - 0*w - i. Is 16 a factor of w?
False
Is 28060/50 - (-36)/(-30) a multiple of 20?
True
Does 49 divide (-7 + 1)*(70900/(-15))/20?
False
Let b(n) = n**3 - 10*n**2 - 11*n + 2. Suppose 7*z - 55 = 2*z. Let u be b(z). Suppose u*l - 320 = -3*l. Is l a multiple of 16?
True
Suppose 0 = -15*w + 13*w + 194. Is 7 a factor of w?
False
Let b(l) = l**3 - 5*l**2 + 7*l - 6. Let y be b(5). Let g = 5 + 0. Suppose 0 = -g*x - 10, -c - 4*x = 9 - y. Is c a multiple of 14?
True
Let o be (1 + 111/2)*(5 - 3). Let y = -84 + o. Is y a multiple of 4?
False
Suppose -5*u + 4*r = -15, 3*u - u + 2*r = 6. Let l = 56 + 98. Suppose 4*q = u*j - 84, 5*j - q - l = q. Does 16 divide j?
True
Let m be 3 + -5 + -4 + 2 + 0. Let f(h) = -h**3 + 2*h**2 + 6*h. Does 13 divide f(m)?
False
Let p be 0 + 3 + (69 - 2). Let r = p + 23. Is 5 a factor of r?
False
Suppose 20 = 4*z + 5*c, 20 = -5*z - 2*c + 7*c. Suppose z = -o + 4*o. Let m(s) = s + 3. Is 2 a factor of m(o)?
False
Let o be 3/(33/24 - 1). Suppose x + 2 = -2*s + o, 5*x = 2*s + 18. Does 7 divide ((-2)/x)/(5/(-70))?
True
Let t = 201 + -181. Is t a multiple of 3?
False
Let d = -214 + 364. Is d a multiple of 10?
True
Suppose 0 = 2*f + 5*h + 56, -4*f + 140 = -9*f - h. Let n be 8/f + 2/7. Let t(y) = y**2 + y + 116. Is 31 a factor of t(n)?
False
Let n(z) = 114*z - 138. Is 12 a factor of n(3)?
True
Let m(h) = -h**2 - 46*h - 54. Does 6 divide m(-44)?
False
Suppose -z = -4*l + 211, 2*l - 47 - 51 = 2*z. Is 22 a factor of ((-72)/27)/((-2)/l)?
False
Let d = 557 + -328. Does 45 divide d?
False
Suppose 29 = 7*b + 8. Suppose b*c - 92 = c. Suppose 3*l - 130 = -c. Is l a multiple of 14?
True
Let l be 5/(5/(-3)) - -1. Let y be 1/l*(51 - -3). Let c = y - -33. Does 3 divide c?
True
Let z(y) = -2*y**2 + 11*y - 5. Let v be z(4). Let r(i) = 3*i + 10 - 22 - 2*i**2 + v + 8*i**3. Is r(2) a multiple of 27?
False
Let z(t) = -19*t - 11. Is 40 a factor of z(-15)?
False
Let y(o) be the first derivative of -3*o**2 - 16*o - 25. Does 16 divide y(-8)?
True
Suppose -3*u + 4*s + s - 16 = 0, -4*s = -3*u - 11. Let r(p) = 3*p**3 + 2*p**2 - 4*p + 3. Let q be r(u). Suppose -c = 4*c - q. Does 11 divide c?
False
Let f = -4574 + 7113. Is f a multiple of 110?
False
Let v = -1387 - -3400. Is v a multiple of 49?
False
Suppose 12 = -4*w + 4, -5*v = 3*w - 9. Suppose -v*k = -19 + 7, -5*a = 3*k + 43. Let x(d) = 2*d**2 + 15*d + 13. Does 25 divide x(a)?
False
Let b = -20 - -74. Suppose 3*r + 2*o = 195, r = o + 2*o + b. Does 17 divide r?
False
Let k be -6*(-4)/6 + 6. Suppose 0 = -a + k + 8. Is a a multiple of 18?
True
Let g be (-9)/(-6 - -3)*1. Suppose 0 = g*d + 1 - 43. Does 14 divide d?
True
Let m = 3353 + -1979. Is m a multiple of 18?
False
Suppose 7*o - 13 = -13. Suppose -38 = -4*h + 2*h. Suppose o = -3*d + 5*c - h, c - 3 = d - 0*c. Is d a multiple of 2?
True
Does 43 divide (685/10)/((-1)/(-8))?
False
Let k(n) = n**2 + n - 16. Let d be k(-5). Suppose -52 = -2*a - d*o, -a + 0*o + o + 26 = 0. Is 5 a factor of a?
False
Let q = -33 - -39. Is 4 a factor of (51/(-12) + 2)/(q/(-32))?
True
Suppose -4*q - 679 + 121 = -2*u, 4*u - 1106 = 3*q. Does 5 divide u?
True
Let a be -3*-2*(-2)/(-4). Suppose -8*m + a*m = -125. Is m a multiple of 5?
True
Let a = 35 - -431. Let g = 778 - a. Is g a multiple of 50?
False
Suppose 3*i = -2*p + 958, 2*p = 7*p - 4*i - 2372. Is p a multiple of 28?
True
Let g(w) = 130*w + 12. Let o(i) = -65*i - 6. Let c(d) = -4*g(d) - 9*o(d). Let b be c(3). Suppose -4*a = 49 - b. Does 19 divide a?
True
Let s = 80 + -78. Is 44 a factor of (-553 - s)*1/(-3)?
False
Let k be -30*-2*(-3)/15. Let n = 30 + k. Suppose 12 = 4*p + 3*z - 5, 0 = -3*p + 3*z + n. Is p a multiple of 5?
True
Suppose -91907 = -43*v + 17356. Is v a multiple of 33?
True
Let o(y) = -2*y - 13. Let a be o(-7). Suppose -i - a = -4. Suppose 2*k = 4*d - 64, i*d - 3*k + 4*k = 48. Is 4 a factor of d?
True
Suppose -262 = 7*h + 277. Suppose -3*f - 2*k - 109 = 0, 0*f - 5*k = -f - 8. Let r = f - h. Does 11 divide r?
True
Let m = 572 - -18. Is m a multiple of 8?
False
Suppose 0*f = -3*f + 5*u + 31, 3*u = -15. Let t be (f - 1)/((-5)/40). Let d = 6 - t. Is 7 a factor of d?
True
Suppose -6*t + 736 + 434 = 0. Is t a multiple of 39?
True
Let y(d) = d**3 - 4*d**2 + 2*d + 6. Let q be y(3). Suppose -i = 4, -93 = -2*g - q*g - 3*i. Does 7 divide g?
True
Let n(i) be the second derivative of 35*i**4/4 + i**3/6 - i**2/2 - 40*i. Does 15 divide n(1)?
True
Let z(u) = 12*u + 12. Let l(k) = -37*k - 35. Let w(h) = -6*l(h) - 17*z(h). Is w(3) a multiple of 10?
True
Let i(q) = -2*q - 4. Let u be i(-12). Suppose -10 = 2*p, -2*t + p - u = -133. Does 9 divide t?
True
Suppose -33 = 2*t - 5*t. Let z = -12 + t. Does 17 divide (17*(z - 3))/(-2)?
True
Let g(w) = 4*w**2 + 10*w - 39. Is g(-10) a multiple of 29?
True
Suppose -12 = -4*y, -4*p = -y - y + 42. Let k(c) = -c**3 - 10*c**2 - 14*c + 3. Does 24 divide k(p)?
True
Let j(n) = -2*n**2 + 124*n - 8. Is j(13) a multiple of 39?
False
Let l be (36/(-21))/((-15)/70). Suppose -3*s + l + 1 = 0. Does 2 divide s/(-2) - (-425)/34?
False
Let m(w) = -3*w - 1. Let y be m(-2). Let f = y + -20. Does 18 divide (12/f)/(2/(-130))?
False
Suppose 0 = -5*o + 5*x - 2*x + 134, -o = 4*x - 36. Is ((-21)/o)/((-2)/48) a multiple of 5?
False
Let g = 230 - 121. Is 13 a factor of (-3 - -4)/(1/g)?
False
Let t(c) = 4*c**2 + 3*c + 10. Is t(10) a multiple of 88?
True
Let r(v) be the second derivative of v**7/840 + v**6/60 + v**5/120 + 11*v**3/6 + 3*v. Let h(o) be the second derivative of r(o). Is 10 a factor of h(-5)?
True
Suppose -8*u + 1794 + 2830 = 0. Is u a multiple of 17?
True
Let t(u) be the first derivative of u**6/120 + u**5/10 - u**4/8 - 7*u**3/6 - 4*u**2 - 1. Let r(m) be the second derivative of t(m). Is r(-5) a multiple of 20?
False
Let h = -109 - -157. Is h a multiple of 12?
True
Let t(z) = -z**2 - 49*z - 202. Is t(-36) a multiple of 17?
False
Suppose -3*s = -2*n - 88, -n - 119 = -2*s - 2*s. Let k be ((-1)/3)/((-2)/s). Is k/((-5)/(-21)) + 2 a multiple of 18?
False
Let c(p) = p**2 - 5. Let y be c(-8). Let d = y - 46. Is d a multiple of 5?
False
Suppose -4 + 10 = 4*z + 5*p, 2*z - 5*p - 18 = 0. Does 2 divide (z - (-20)/(-4))*-4?
True
Let c be 21/(-12) + 2 + 2/(-8). Let s(r) = -r**3 - r**2 + 2*r + 8. Does 5 divide s(c)?
False
Is 27 + (-12)/((-8)/2) a multiple of 30?
True
Suppose 2*c + 44 = -0*c. Let w = -17 - c. Suppose 0*u - 94 = -w*u + 4*l, -5*u + 92 = -2*l. Is 18 a factor of u?
True
Does 16 divide 709/(-10*(-7)/70)?
False
Suppose 0 = 2*o + 5*x - 4 - 15, 0 = 3*o + x - 9. Let r be (-2)/(-11) + 2*3/(-33). Suppose 3*i = 2*f - 126, r = -4*f - o*i + 52 + 184. Is 20 a factor of f?
True
Suppose 0 = -4*p - 4, -4*p - 7 = -2*w + p. Suppose -2*d + w = -45. Is d a multiple of 6?
False
Let t = 27 - 25. Suppose -5*r + 12 = -t*a, -r + 3*a - 1 = -3*r. Is ((-161)/28)/(r/(-8)) a multiple of 14?
False
Let y(h) be the second derivative of h**3/6 - 3*h**2/2 + 6*h. Let l be y(6). Suppose 2*w = -4*x, 0 = w + x - l - 2. Is w a multiple of 5?
True
Let z = -264 + 392. Suppose 2*m - 26 - z = h, 4*m = -2*h + 300. Is m a multiple of 19?
True
Let v(x) be the first derivative of 2/3*x**3 - 3 + 3/2*x**2 + 2*x. Is v(3) a multiple of 12?
False
Suppose -2*t = j - 364, -2*j + 884 = 5*t - 6*j. Suppose t = -4*k + 7*k. Is k a multiple of 10?
True
Let c(l) = -2*l + 15. Let s be c(7). Let h be -13 - (s - 0)*3. Let i = h + 79. Does 21 divide i?
True
Let h(p) be the third derivative of p**5/12 - p**4/24 - 2*p**3 + 34*p**2. Is 13 a factor of h(7)?
False
Let u(m) = -m. Let n(h) = -h + 4. Let s(k) = -n(k) - 2*u(k). Let g be s(3). Suppose -g*x + 276 = x. Is 16 a factor of x?
False
Suppose 10853 + 9419 = 14*r. Is r a multiple of 8?
True
Let z(f) = 16*f**2 - 16*f + 115. Is z(-9) a multiple of 15?
False
Let z be ((-6)/(-