/8 + 8/2. Let o be u(f). Is 1/(o/5)*16 a multiple of 8?
True
Is 19 a factor of (126/(-14))/((-9)/510)?
False
Let i(o) be the first derivative of o**4/4 - 4*o**3/3 + 5*o**2/2 - 3*o - 2. Let j be i(3). Suppose 5*n - j*x - 90 = 83, -2*x = -8. Is 12 a factor of n?
False
Suppose -47 - 61 = -9*u. Let x(h) = h**2 - 24. Is 10 a factor of x(u)?
True
Let z = 138 - 80. Is 29 a factor of z?
True
Suppose 5*t - 5*g = 2760, -t - 3*g = -69 - 495. Does 80 divide t?
False
Suppose -163 - 5 = -8*q. Suppose q = 11*g - 8*g. Is g even?
False
Suppose -33*k + 41*k - 2160 = 0. Is k a multiple of 6?
True
Suppose -5*y - 10 = -3*w, -5*w + 0*w - 5*y = -70. Suppose 4*r = -r - w. Let v(f) = 4*f**2 + 2. Is 9 a factor of v(r)?
True
Let v = -11 + 15. Is 26/v*(21 - 11) a multiple of 13?
True
Let f = 933 - 728. Is f even?
False
Suppose 2*f = -15 - 1. Let w(a) be the first derivative of -a**4/4 - 8*a**3/3 - 3*a**2 - 2*a + 30. Does 16 divide w(f)?
False
Let z(s) = 14*s**2 - 5. Does 5 divide z(3)?
False
Let a(l) = l**3 + 9*l**2 + 6*l - 11. Let v = 13 + -21. Let z be a(v). Suppose -239 - 91 = -z*r. Is r a multiple of 22?
True
Is (8658/(-26))/((-6)/4) a multiple of 17?
False
Suppose -3*k + r - 77 = 0, -k + 2*r - 79 = 2*k. Let h = -2 - k. Suppose 24*t - 8 = h*t. Is t even?
True
Let j = 876 - 144. Is 12 a factor of j?
True
Does 110 divide (9900/385)/((-2)/(-21))?
False
Let l = 2319 + -2144. Is l a multiple of 5?
True
Is (9 - 6)/(6/728) - 1 a multiple of 11?
True
Let u(z) = 30 - 234*z - 252*z + 463*z. Is u(-7) a multiple of 29?
False
Suppose -15*k + 11596 = -8204. Does 66 divide k?
True
Let f be -3 + 2 + 0/3. Does 7 divide 364/14 - 4/f?
False
Let i(l) = l**2 + 28*l - 68. Is 50 a factor of i(17)?
False
Suppose 4*p - 18 - 30 = 0. Does 27 divide p/(-5)*(-330)/12?
False
Suppose 0 = -122*q + 120*q + 8. Is -1 + 58 + 8/q a multiple of 12?
False
Suppose 3*m = -4*h + 556, -4*h + 2*h = -m + 172. Suppose -m = 12*r - 18*r. Does 3 divide r?
True
Let k be ((-6)/18)/(-2*(-2)/60). Let u(i) = -7*i - 29. Let h(w) = 3*w + 15. Let t(y) = 7*h(y) + 4*u(y). Is t(k) a multiple of 8?
True
Suppose -5*w = -5*m - w + 38, -3*m + 4*w = -26. Suppose 2*f = 3 + 5. Suppose 4*o + 3*y = 409, -2*y - f - m = 0. Is 20 a factor of o?
False
Suppose -f - 2*a = -1196, 2*f - 4*a = -5*a + 2383. Suppose -350 = 5*v - f. Is v a multiple of 42?
True
Suppose 0 = -3*g - 2*n + 5925, 88*g - 83*g - 9877 = -4*n. Is g a multiple of 29?
False
Suppose 13*d - 3000 = 6100. Is 50 a factor of d?
True
Suppose -4*q + q + 45 = p, -20 = 4*q. Suppose -9*a + 4*a - p = 0. Is 11 a factor of (198/a)/(2/(-4))?
True
Let k be 7/21*(-12)/(-2). Suppose 2*d - 220 = -54. Suppose -5*h - n + 6*n + 390 = 0, -k*n - d = -h. Does 15 divide h?
False
Let i(m) = -m**3 - m**2 - m + 3. Suppose 7*u - 2*u = 25. Let k = -5 + u. Is i(k) a multiple of 3?
True
Let j(z) = z**2 - 2*z + 1. Let r be j(0). Let t be (-1)/(-2)*4/r. Suppose -t*q = 2*q - 72. Is q a multiple of 12?
False
Let n = -14 + 260. Let m = n - 134. Suppose -2*s - 2*s = -m. Is s a multiple of 6?
False
Let v = 108 - -68. Is v a multiple of 4?
True
Suppose 2*g + 0 = -2, 2*i - 5 = -5*g. Suppose -4*s - 5*h - 73 = -5*s, 5*h = i*s - 285. Does 10 divide s?
False
Suppose 0 = -5*m + 20, 0 = -5*r + 5*m + 6974 + 14906. Is r a multiple of 30?
True
Let f be 14/(-21)*((-9)/(-2) + -3). Is 77 - (0/3)/(f - -2) a multiple of 36?
False
Does 21 divide (96 - (2 + 1)) + (2 - 5)?
False
Let b(p) = -13*p**3 + 4*p**2 + 86*p + 11. Is b(-6) a multiple of 11?
False
Let a be (-6)/(-9) + 64/12. Suppose a*f = 9*f. Let i(z) = z**3 - z**2 + 71. Does 21 divide i(f)?
False
Suppose -24*r + 16698 = 9*r. Is 22 a factor of r?
True
Let x = 34 - 34. Is x - (-3)/(-3)*-2 - -174 a multiple of 22?
True
Suppose 71*u = 70*u + 305. Is u a multiple of 28?
False
Suppose a = 2*a + 14. Let h = 28 - a. Let n = h - 2. Is 20 a factor of n?
True
Let a = 253 - 148. Is a even?
False
Let v be 3/18 + 3237/18. Suppose -10*f = -4*f - v. Does 15 divide f?
True
Suppose 12*z - 8*z + 4 = 0. Is 34 a factor of 3/z*544/(-12)?
True
Suppose -3263 = -54*i + 41*i. Is i a multiple of 25?
False
Suppose -35 = -5*p - 2*s, -5*p + 20 = -3*p + 2*s. Suppose p*f - 2*c = 493, 0 = -2*f - 5*c + 59 + 144. Is 11 a factor of f?
True
Is 2 a factor of (54/7)/(27/189)?
True
Let i(s) = 7*s**3 - 14*s**2 - 39*s + 59. Let a(l) = 11*l**3 - 21*l**2 - 58*l + 88. Let z(n) = -5*a(n) + 8*i(n). Is z(10) a multiple of 16?
True
Suppose 4*z = y - 46 + 1, -y - 2*z + 21 = 0. Let t(f) = 3*f + 60. Let g be t(-17). Let b = y + g. Is 25 a factor of b?
False
Suppose 4*j = -3*y + 2239, -9*y + j = -6*y - 2249. Is 10 a factor of y?
False
Let l(p) = 292*p + 12. Let t be l(-3). Is (0 + 1)*t/(-12) a multiple of 18?
True
Let v(q) = q**3 + 9*q**2 - 3*q - 12. Let i(u) = 17*u**2 + u - 1. Let n be i(1). Let w = n + -26. Does 15 divide v(w)?
True
Let y = 12 + -9. Is ((-2)/y)/((-22)/693) a multiple of 5?
False
Let r = 12 + -5. Suppose r*t - 12*t + 1025 = 0. Is t a multiple of 12?
False
Suppose -8*m + 5655 + 5145 = 0. Is m a multiple of 18?
True
Does 23 divide ((-328)/10)/((-7)/70)?
False
Let z = 7 + -4. Let p be ((-21)/(-15) - z)*-5. Let t = 7 + p. Does 10 divide t?
False
Suppose 0 = -4*v - 1 + 13. Let d(j) be the third derivative of j**4/6 - 2*j**3/3 + 4*j**2. Does 8 divide d(v)?
True
Suppose 3446 = 8*n - 5794. Does 33 divide n?
True
Suppose y - 5*s = -50, -3*y + 136 = -7*y + 4*s. Let x be -3*(2 - y/(-9)). Suppose 3*v - 267 = -0*v + p, 0 = -5*v + x*p + 452. Is 18 a factor of v?
False
Let y be (-1)/2*0/(-11). Suppose m - 5*h - 75 = 0, -3*m + m - 5*h + 195 = y. Is 15 a factor of m?
True
Let k be 5/((-10)/266)*-3. Suppose -7*f + 441 = -k. Is 12 a factor of f?
True
Let s = 720 + -350. Is s a multiple of 13?
False
Let f = -5 + 5. Suppose 0*h + 2 = -2*r - 4*h, -2*r - 5*h = f. Let a(z) = z**2 + z + 6. Is 9 a factor of a(r)?
False
Suppose 3*z - 377 = -104. Suppose -149 - z = -4*a. Is 20 a factor of a?
True
Let x(h) = h**3 - 6*h**2 + 7*h. Let r be x(6). Let b = r + -117. Let l = 127 + b. Does 11 divide l?
False
Suppose -13*n - 6 = -15*n. Suppose -3693 = n*g + 5*o, g - 2*g + 3*o = 1245. Does 19 divide g/(-18) + 2/(-3)?
False
Suppose -3*n + w + 7 = -n, 3 = 3*n - 3*w. Does 3 divide 10/(-15)*n + 19?
True
Let f(v) = -12*v - 14. Let s be f(-11). Suppose l + l - 206 = -4*i, 5*i - s = -l. Suppose 4*u - u = l. Does 16 divide u?
False
Suppose 0 = -n - 3*z + 27, -5*n + 3*n = -2*z - 38. Does 11 divide 133/3 + (-7)/n?
True
Suppose -48*v + 3434 = -31*v. Is 21 a factor of v?
False
Suppose 2*a + a = 96. Let c be 21/(-14)*a/6. Is 1/(-8) - 529/c a multiple of 14?
False
Does 3 divide (-1419)/(-21) + 99/231?
False
Let d = 1266 + -828. Is 6 a factor of d?
True
Suppose 4 + 8 = 4*l. Suppose 4*v - 2*d = 158, -4*v + 153 = -0*v - l*d. Does 14 divide v?
True
Let r = -940 + 1458. Is 74 a factor of r?
True
Let t be (8/(-3))/(((-1)/(-174))/(-1)). Suppose 4*f + 5*g - 1318 = -t, 5*g = -3*f + 643. Does 18 divide f?
False
Let h(v) = -v**3 - 6*v**2 + 3*v - 4. Let w be h(-5). Let u = 298 + w. Does 41 divide u?
False
Let s = 6 - -78. Suppose -s = 106*j - 109*j. Is 4 a factor of j?
True
Let f(g) = 2*g**2. Let y be f(-2). Let c = y + -5. Suppose c*m - 45 = 9. Does 6 divide m?
True
Suppose 0 = -4*j - 15 - 1, r + 3*j = 83. Suppose 4*x + 59 = -u, -x - r = u - 6*x. Let m = -35 - u. Does 14 divide m?
False
Suppose 0 = -52*r - 5443 + 16935. Does 17 divide r?
True
Does 15 divide (3 - (-11)/((-44)/(-7284))) + -3?
False
Let k = 40 - 53. Is (0 - 2) + k/(52/(-368)) a multiple of 15?
True
Let q = -3 + 10. Suppose -2*s + 23 = 5*z, 3*z - 4*s = q*z - 28. Suppose -4*j - z = -131. Does 8 divide j?
True
Let n be (-6)/21 + 2012/(-14). Let y = -72 - n. Does 22 divide y?
False
Let g(n) be the first derivative of 9*n**2/2 - 4*n - 1. Let a be g(4). Let w = a + -12. Does 5 divide w?
True
Suppose -10 = -5*q, 0 = -4*s + 8*s + 4*q - 24. Suppose 0 = -5*h - z + 5*z + 298, 4*h + s*z = 224. Is 4 a factor of h?
False
Let r(m) = 2*m**3 + 22*m**2 - 23*m + 31. Let s(j) = -j**3 + j**2 - j - 1. Let q(h) = -r(h) - 3*s(h). Does 5 divide q(24)?
True
Is 11/44 + (-4)/(64/(-23708)) a multiple of 57?
True
Suppose 0*l - 2*r = l - 392, 0 = l - r - 389. Does 13 divide l?
True
Suppose -y + 0 = -6. Does 22 divide -3*(1424/y)/(-8)?
False
Let y = -14 - 4. Let r = y + 20. Suppose -2*v + 2 = 3*q, r*q + 40 = 4*v - q. Does 2 divide v?
