- o. Let l(z) = 4*z**2 - 2*z + 2. Let u(t) = -5*f(t) + l(t). Let q be u(0). Suppose q*x - 44 = 24. Is x a multiple of 34?
True
Let s(d) = -d**3 - 5*d**2 - 7*d - 18. Is s(-8) a multiple of 19?
False
Let b(t) = -125*t - 88. Does 92 divide b(-12)?
False
Let f(c) = 2*c**2 - 13*c + 20. Let t be f(4). Is (108/48)/(9/24 - t) a multiple of 3?
True
Suppose 3*i - v + 21 = -10, -5*v + 5 = 0. Let h(u) = -u**2 - 20*u - 25. Is 25 a factor of h(i)?
True
Let n(a) = a**2 - 6*a - 10. Does 11 divide n(-25)?
False
Suppose q - 31 = 4*l, -9 = -q - 5*l + 13. Does 2 divide q?
False
Let s(a) = 123*a**2 - 39*a + 21. Does 11 divide s(7)?
True
Suppose -3*p - 4*n + 32 = 0, -5*p + 4*n = -n - 65. Let w be 5/(-15) - p/(-9). Suppose -5*o = 3*u - 136, o + w = 3. Is u a multiple of 9?
False
Let p(r) = r**2 + 2*r - 3. Let o(a) = -a**3 + 4*a**2 - 2*a + 2. Let f be o(3). Is p(f) a multiple of 16?
True
Let f be (-2 + -2)/(4/4). Let s be (-20)/(1*f/10). Does 31 divide s/20*(-118)/(-5)?
False
Suppose 2 = -5*w + 22, -x = -5*w - 94. Does 6 divide x?
True
Suppose 0 - 5 = z - 3*m, 3*m = 3*z + 9. Does 7 divide ((-135)/(-5))/((-1)/z*2)?
False
Suppose -4*r + 506 = 5*n, -119 = -0*r - r - 5*n. Is r a multiple of 11?
False
Let t be (32/12)/(4/426). Let b = t - 203. Is 27 a factor of b?
True
Let g be (-3 + 2 - 1) + 38. Let w = 256 - g. Does 10 divide w?
True
Let f(l) be the third derivative of -l**5/60 + l**4/3 - l**3/2 + 29*l**2. Suppose -5*d + 5 + 10 = 3*h, 3*h - 15 = 2*d. Does 9 divide f(h)?
False
Let q(h) = -h**2 + 23*h - 12. Let y(w) = 2*w - 20. Let f be y(14). Is 9 a factor of q(f)?
True
Suppose 82 = -2*x - 4*c + 414, x + 4*c - 176 = 0. Does 13 divide x?
True
Is 80 a factor of -20*(7 + -18 + 5)?
False
Let o(f) = -7*f + 3. Let z(d) = 2*d - 3. Let p be z(6). Let q be o(p). Let t = -21 - q. Does 8 divide t?
False
Let n = 1419 - 843. Is 53 a factor of n?
False
Suppose 4*m = 3*m - 2. Let w be m/(-2)*(-61 + 14). Let n = w - -128. Is 35 a factor of n?
False
Suppose 2518*h - 2509*h = 21492. Is 20 a factor of h?
False
Let l(v) = v - 20. Let z be l(16). Let k be 71 + 3/(6/z). Suppose 3*i = k + 45. Is i a multiple of 17?
False
Let n = 10489 + -5568. Is 14 a factor of n?
False
Does 15 divide 756/12*(-1)/(2/(-20))?
True
Suppose -2*b + 1097 = -28*v + 27*v, -b + 541 = -3*v. Does 45 divide b?
False
Let q = 4 - 4. Suppose q = -3*s + 7 + 2. Is 3 a factor of s?
True
Let w(d) = -d - 1. Let s(y) = 32*y**2 + 9*y + 32. Let i(j) = s(j) + 2*w(j). Is 27 a factor of i(-3)?
True
Let u = -36 - -38. Does 15 divide u/(-3) - -1*(-188)/(-3)?
False
Let a = -454 + -346. Let s be (9/6)/((-15)/a). Suppose -2*v - s = -3*h, 4*v - 10 = 2*v. Is h a multiple of 10?
True
Let s = -83 - -59. Let v = -26 - s. Is 29 a factor of ((4 - 1) + v)*87?
True
Let b = 3 + -42. Let h = 14 - b. Does 10 divide h?
False
Suppose r = 3*x - 705 - 1069, 2*x - 1160 = -5*r. Is x a multiple of 23?
False
Let v(f) be the third derivative of f**5/60 + 7*f**4/12 - f**3/6 - 20*f**2. Is 3 a factor of v(-17)?
False
Let t(g) = 4*g + 12. Let f be t(-2). Suppose 1 = 5*v + o, 4*v - o + 2*o = 0. Suppose -f*w + v + 35 = 0. Does 8 divide w?
False
Suppose 2*p + 25 = -5*f - p, -3*f - 44 = -4*p. Let q = f - -9. Does 10 divide 1 - q*58/(-2)?
True
Let j(y) be the third derivative of y**6/120 - y**5/15 + y**4/4 - 3*y**3/2 - 5*y**2. Let c be j(7). Suppose 0*q = 4*q - c. Is q a multiple of 9?
True
Suppose 4556 = 172*z - 155*z. Does 50 divide z?
False
Suppose 0 = 4*a - 9 - 3. Let x(o) = -10*o - 3 + 9*o**2 - o**a + 4 - 2. Is x(7) a multiple of 9?
True
Let k(y) be the second derivative of 7*y**4/12 - 5*y**3/3 + 5*y**2/2 + 4*y. Let a be k(5). Suppose -11*v + a = -9*v. Is 15 a factor of v?
False
Let s = 36 - 10. Suppose -3*k - s = -140. Does 12 divide k?
False
Does 2 divide -2 + 5/(-10)*(-137 - 1)?
False
Is 65 a factor of 2266/4 + 7*4/56?
False
Suppose -5*q = -w - 3198, 2558 = -4*q + 8*q - w. Is q a multiple of 10?
True
Let q = 27 + -6. Is 140*(q/6 - 3) a multiple of 14?
True
Let l = -30 - -20. Let q = 4 - 9. Is 11 a factor of (-4)/l - 73/q?
False
Let o(i) = 2*i**2 - 6*i - 9. Let v be o(7). Let a = -29 + v. Is a a multiple of 6?
True
Let t be 6*(-1 + (-3)/(-2)). Suppose -6*v = t*p - v - 335, 533 = 5*p + 2*v. Is 21 a factor of p?
True
Let w = -32 - -33. Let h(t) = 15*t**3 + t**2 - 2*t + 1. Is 15 a factor of h(w)?
True
Does 10 divide (-4)/6 - 6775/(-15)*1?
False
Let t = 417 + -273. Does 9 divide t?
True
Let q be 0/(0/(-4) + 1). Suppose 6*i - i - 110 = q. Is i a multiple of 10?
False
Suppose 5*h - 13*u + 16*u - 13265 = 0, h + 3*u - 2665 = 0. Is h a multiple of 21?
False
Let z be 4*(255/(-6) - -1). Let b be 4/8 + z/(-4). Suppose 5*p + b = 8*p. Is p a multiple of 10?
False
Let t = 1990 + -342. Is t a multiple of 14?
False
Let j(a) = -3*a**3 + 8*a**2 - 11*a + 18. Let u(l) = -2*l**3 + 8*l**2 - 10*l + 17. Let t(c) = -3*j(c) + 4*u(c). Is 22 a factor of t(-8)?
False
Suppose -2*w = 3*a + 44, -4*w + 4 = -5*w. Does 5 divide ((-14)/(-4))/(-7)*a?
False
Suppose 2*m = -q + 120, 0 = q + 3 + 1. Suppose 68 = 5*a - m. Is a a multiple of 4?
False
Suppose -2*r + 154 = 32. Is 5 a factor of r?
False
Suppose 13440 = 188*t - 146*t. Does 3 divide t?
False
Suppose 25*d = 27*d - 2720. Does 8 divide d?
True
Let u(w) = w + 54. Does 10 divide u(16)?
True
Suppose -2*r = -5*l + 16, r = -2*l + 12 - 2. Suppose -r*m - 12 = m. Let g(x) = -2*x + 5. Does 9 divide g(m)?
False
Let k = 23 + -13. Let v be k*(-3 + 164/8). Let g = -109 + v. Does 15 divide g?
False
Let i be (-3)/6 + (-22)/(-4). Let w be 0/i*(-3)/6. Suppose w = -4*r - 18 + 174. Is 16 a factor of r?
False
Let o(a) = -a**3 - 24*a**2 + a - 99. Is 5 a factor of o(-25)?
False
Let n be ((-34)/(-3))/((-14)/63). Does 17 divide (-1*n/(-9))/(2/(-18))?
True
Let m be (2 - (-215)/(-10))*(-28)/6. Suppose 4*y = 5*y - m. Is y a multiple of 21?
False
Suppose o = -4*o + 20. Let k = o + 26. Does 30 divide k?
True
Let t = 7 - 4. Let q be (-6)/(t*2/(-8)). Suppose r = 3*n - 64, r = 3*r + q. Is 16 a factor of n?
False
Let g(d) = 12*d**2 + d + 1. Let h be g(1). Does 9 divide h*(-89)/(-12) + 11/66?
False
Let k(h) = -h**3 + 11*h**2 + 28*h - 24. Let j be k(13). Suppose 4*t - 6 = -r - j*r, 2 = r + t. Is r even?
True
Suppose 0 = 3*q - 2 - 10. Suppose 8*k = 10*k - 4. Suppose k*p + 3*t + 9 = 3*p, -27 = -3*p - q*t. Does 2 divide p?
False
Suppose -216*i + 217*i - 27 = 0. Suppose i*v - 36*v + 1881 = 0. Is 31 a factor of v?
False
Let w(c) = c**3 - 12*c**2 - 6*c - 17. Does 8 divide w(13)?
False
Suppose -2*g - 212 = -3*v + v, 0 = 4*g + v + 404. Let n = g + 173. Does 18 divide n?
False
Suppose 2*j - p = 447, -147 = -j - 3*p + 59. Does 12 divide j?
False
Suppose 5*c - 22 + 118 = 2*d, -5*d + 209 = 3*c. Does 21 divide d?
False
Let v = 79 + -26. Let b = -37 + v. Is b a multiple of 4?
True
Let n(d) = d**2 + 6*d + 9. Let j(u) be the third derivative of -u**5/60 + u**4/24 - u**3/6 + u**2. Let v(k) = 2*j(k) + n(k). Does 8 divide v(5)?
False
Suppose 2*y + 22 = 3*m, 5*m - 3*y + 0*y - 36 = 0. Let a be 3/9 - (-22)/m. Suppose -a*q + 17 + 15 = 0. Does 4 divide q?
True
Let l(a) = 3*a**2 - 26*a. Does 14 divide l(14)?
True
Suppose 3*q = -v + 678, -v + 0*q + 694 = -5*q. Does 18 divide v?
True
Let b(d) = d**3 + 5*d**2 - 7*d - 5. Suppose -2*h = 1 - 11. Let a = h - 10. Is 6 a factor of b(a)?
True
Is (-2)/4 + 2/((-8)/(-1322)) a multiple of 26?
False
Let l(b) = -30*b + 91. Is l(-6) a multiple of 9?
False
Let r = -11 - -14. Let h(z) = -24*z**r - 2*z + 1 + 3*z**3 + z**2 + 4*z. Is 17 a factor of h(-1)?
False
Let c(r) = -26*r + 4. Let n be c(-3). Let k = 136 - n. Is k a multiple of 32?
False
Suppose 9*s - 3*s = 2298. Does 11 divide s?
False
Suppose -3*p - 4*g + 5259 = 0, 5277 = 3*p - 4*g + 2*g. Is 9 a factor of p?
False
Is 9 a factor of 1/((-21)/(-8880)) - 33/(-231)?
True
Suppose -90575 - 10513 = -36*d. Is d a multiple of 12?
True
Let z = -456 - -603. Does 14 divide z?
False
Suppose -6*y + 12 = -6. Suppose 3*x - 2*k - k - 30 = 0, -y*x + 10 = 2*k. Is 3 a factor of x?
True
Let w(t) = -54*t - 6. Let l be w(-3). Let v = l + -107. Is 16 a factor of v?
False
Let y = -1 - -5. Suppose -2*q = -y*q + 122. Does 24 divide q?
False
Suppose 0 = 8*b - 380 - 396. Let y = -17 + b. Is 40 a factor of y?
True
Suppose -7*j = -2*j. Let y(q) = -2*q**2 + 3*q**2 - 5*q + j*q. Does 2 divide y(6)?
True
Suppose 3*t = -49 + 406. Let p = t + 17. Does 2