(i) be the first derivative of -i**2 - 4*i - 2. Is a(f) a multiple of 5?
True
Suppose -6 = -f - 2*f. Let v(o) = -o**2 + 2*o - 2. Let p be v(f). Does 3 divide ((-44)/55)/(p/10)?
False
Suppose -3*z + 1129 = -13*b + 18*b, 0 = 4*z - 12. Is 37 a factor of b?
False
Let q(w) = w**2 + w - 1. Let j be q(2). Suppose -2*p + o + 610 = -1140, 0 = p - 4*o - 889. Is 6 a factor of (-2)/j + p/45?
False
Suppose 2802 = 5*l - 5*s - 23, 5*l = -2*s + 2825. Is l a multiple of 78?
False
Let d(v) = -9*v**3 + 20*v**2 - 6*v - 11. Let w(f) = 5*f**3 - 10*f**2 + 3*f + 5. Let h(s) = -6*d(s) - 11*w(s). Is h(-11) a multiple of 35?
False
Suppose -90*m + 87710 = -55*m. Is m a multiple of 14?
True
Let h = -217 + 1242. Is 41 a factor of h?
True
Let x be (-10)/15 - (-5)/((-30)/1208). Let d = x - -310. Is d a multiple of 9?
True
Let o = -4 + 6. Suppose -6 - 4 = 2*l + 4*g, 0 = l + g. Suppose -135 = -l*z + o*z. Is 25 a factor of z?
False
Let l(d) = d + 118. Is 14 a factor of l(-6)?
True
Let y(k) be the first derivative of -k**3 + 3*k**2 + 3*k - 12. Let n(c) be the first derivative of y(c). Is 15 a factor of n(-6)?
False
Suppose 0*g + 5*z + 483 = g, 5*g + 4*z - 2386 = 0. Does 22 divide g?
False
Let m(p) = -p**2 - 33*p + 164. Does 20 divide m(-29)?
True
Suppose 5*v - 137 = 163. Is 8 a factor of v?
False
Suppose 27*z + 10 = 29*z. Suppose -2*b = 2*b - g - 333, -2*g = -z*b + 420. Is 11 a factor of b?
False
Suppose -i - 3*i - 92 = 0. Let h be (-2 + -40)/(-1 + 2). Let n = i - h. Does 19 divide n?
True
Suppose 4*g - 17 = 3*c, -g - 5*c - 3 = 10. Suppose -3*j + 0*s - 4*s + 18 = 0, 6 = g*s. Suppose -j*f = -4*x + 100, 4*f + 49 + 7 = 2*x. Is 11 a factor of x?
False
Let j(p) = p**2 + 8*p - 3. Let a be j(-6). Does 4 divide 1 - -25 - (a + 16)?
False
Let i(b) = 4*b**2 + 2*b - 2. Suppose 0 = 2*n + 1 + 3. Let a be (1 - 2) + (-4 - n). Is 7 a factor of i(a)?
True
Let l(k) = -26*k**3 + 4*k**2 + 8*k + 5. Is 80 a factor of l(-3)?
False
Let t be ((-108)/(-10))/(2/20). Suppose 14*j - 17*j - t = 0. Is j/5*40/(-16) a multiple of 5?
False
Suppose 20 = -4*b, 5214 - 1134 = 3*p + 3*b. Does 15 divide p?
True
Suppose 4*o = -8*b + 3*b + 27, 12 = 5*o - b. Let f(g) = -4*g + 0 + 4 + 18*g. Does 23 divide f(o)?
True
Let l(b) be the third derivative of -b**6/120 + 7*b**5/60 + b**4/6 - 3*b**3/2 + 9*b**2. Is l(7) a multiple of 7?
False
Let s(z) = 73*z**2 - z + 17. Is s(4) a multiple of 23?
False
Suppose 5*p - 10*p + 30 = 0. Suppose 5*r + 4 = 3*x, -2*x - p = -x + 2*r. Is 14 a factor of (-9)/3*-18 - x?
True
Suppose -4*h - 3*f = -46 + 218, 0 = -3*h + 4*f - 129. Let c = -62 - h. Let x = c - -57. Is 19 a factor of x?
True
Suppose 2*r - 2*i = 1194, 0 = -r - 5*i + 589 - 4. Is r a multiple of 98?
False
Let f be (-78)/52 - 2/(-4). Let y(i) = 68*i + 3. Let h(u) = -23*u - 1. Let l(r) = -11*h(r) - 4*y(r). Is 6 a factor of l(f)?
True
Let t(c) = 2*c**2 + 1. Let p be t(2). Let n = p + 5. Let q = 21 - n. Does 2 divide q?
False
Let z(g) = -6 - 6 - 7*g - g. Is z(-18) a multiple of 44?
True
Let v = 77 - 52. Let r = v + -21. Suppose -2*u = 5*p - 127, 2 = p - r*u - 41. Is p a multiple of 27?
True
Let t(d) = -75*d**2 - 4*d - 5. Let z(y) = -224*y**2 - 11*y - 14. Let n(a) = 11*t(a) - 4*z(a). Is 9 a factor of n(-1)?
True
Let v = 17 - 18. Let l = 6 + v. Is 3 a factor of l?
False
Let g be (-56)/(-4)*6/21. Suppose -2*h - 5*z - 21 = 9, -g*z = -2*h + 6. Is 13 a factor of (351/(-45))/(1/h)?
True
Let i = 358 - -371. Is 7 a factor of i?
False
Let w = -9 + 14. Suppose w*l = 69 - 4. Is l even?
False
Let g(r) = -3*r + 8. Let l be g(2). Suppose 0 = 3*j - l*j - 7. Does 6 divide j?
False
Suppose 4*r - 8*r - 5*v = -849, 1083 = 5*r - v. Suppose -3*g - r = g. Does 27 divide g/(-10)*(15 + 0)?
True
Let i(k) = -9*k - 33. Let y(p) = -p**3 - 5*p**2 + 2*p - 3. Let t be y(-2). Is 6 a factor of i(t)?
True
Suppose 0 = 17*m - 6765 - 3707. Is 22 a factor of m?
True
Suppose 4*h - 82 = -2*u, 0 = -4*u - 5*h + 213 - 52. Is 4 a factor of ((-52)/u)/((-2)/33)?
False
Suppose -43680 - 68400 = -60*p. Is p a multiple of 29?
False
Suppose -3*l + a = 2*a - 9, 5*a = -4*l + 1. Suppose l*r + 5*d - 428 = 3*d, -4*d + 529 = 5*r. Is r a multiple of 24?
False
Let n(o) be the first derivative of -7*o**2/2 - 11*o - 6. Is 10 a factor of n(-5)?
False
Let f(l) = l**3 + 42*l**2 - 185*l - 14. Is 8 a factor of f(-46)?
True
Let y(n) = 4*n**3 - 12*n**2 + 2*n + 5. Let r(g) = -7*g**3 + 23*g**2 - 4*g - 11. Let x(l) = 3*r(l) + 5*y(l). Does 8 divide x(8)?
True
Let z(y) = 2*y**3 + 3*y**2 + 6. Let r be z(-5). Let x = -72 - r. Is x a multiple of 30?
False
Let c be (-8)/60*-5*69. Suppose -3*f + 29 = -c. Is 20 a factor of f?
False
Suppose 2*y + y - 132 = 0. Suppose -r + 3*r - y = 0. Let n = 24 + r. Is n a multiple of 23?
True
Let o = -22 + -14. Let r = o - -60. Suppose 7*f = 3*f + r. Is 6 a factor of f?
True
Let m(k) = k**3 + 13*k**2 + 15*k - 3. Does 53 divide m(-6)?
True
Is (1568/40)/2*90 a multiple of 63?
True
Let m be (-21)/2*12/(-18). Suppose 3*j = 5*p - 165, -2 = j - m. Is 4 a factor of (3/4)/(3/p)?
False
Let y = -231 - -1862. Is y a multiple of 11?
False
Does 56 divide -51*(5/3)/(17/(-187))?
False
Let n(g) = -16 - 12*g - 3*g + 11*g + 2. Is n(-7) a multiple of 4?
False
Let c be (1 + 5/(-2))*-2. Let b = c + 15. Does 6 divide (-1 + b)*5/5?
False
Let p(m) = -m**2 - 5*m + 6. Let q be p(-6). Let k be 2*2*(-1 - q). Does 5 divide (-1)/(k/52) - 3?
True
Let u(r) = 30*r - 25 - 21*r + 26*r. Let f be u(10). Is 36 a factor of 1/(-3) - f/(-3)?
True
Suppose 3*w = -4*q + 135, 3*q + q + 12 = 0. Suppose -5*a + 96 = -69. Let l = w - a. Is 6 a factor of l?
False
Let x(d) = 2*d - 72. Let m be x(0). Let p = m - -164. Is 14 a factor of p?
False
Let b be (-14)/(-56) - (-205)/(-4). Does 5 divide 2/(-1)*-9 - b/(-17)?
True
Let o = -4313 + 7193. Is o a multiple of 60?
True
Let o = 624 - 430. Does 8 divide o?
False
Suppose -5*g = -17 + 22, -g - 10621 = -5*w. Is w a multiple of 36?
True
Let l(f) = f + 0*f + 3 + 5 + 5*f. Let v be l(-3). Is (-954)/(-15) + (-4)/v a multiple of 16?
True
Let q(g) = -4*g**3 - 4*g. Is q(-3) a multiple of 5?
True
Let r(n) = n**3 - n**2 + n - 43. Let b be r(0). Let f = b + 136. Suppose -x - f = -4*x. Does 17 divide x?
False
Let t be 35/11 - ((-54)/66 + 1). Suppose t*u - 2*u - 492 = -4*i, -5*i - u = -614. Is 12 a factor of i?
False
Let y(u) = -u**3 - 6*u**2 - 5*u + 4. Let d be y(-5). Suppose 3*x - 16 = -d. Let s(z) = z**3 - 5*z - 2. Does 14 divide s(x)?
True
Is 16 a factor of -2064*5*(-8)/120?
True
Suppose 0 = 9*r - 13*r. Let t = -4 + r. Is 5 a factor of ((-80)/t)/(2 - 0)?
True
Suppose 990 = 141*v - 139*v. Is v a multiple of 45?
True
Suppose 2*y - 3 = -y + 4*q, 0 = -5*q - 15. Is 27 a factor of (130/1 - y) + -2 + 2?
False
Let i(q) = 3*q - 2. Let j be i(3). Suppose 0 = -z + 4*h + 32, z - h + 4*h - 25 = 0. Let a = z - j. Is a a multiple of 21?
True
Does 2 divide (1688/(-76))/(-2) - 6/57?
False
Let m = 910 + -861. Is 41 a factor of m?
False
Let g = 1132 + -607. Suppose 155 = 5*s - g. Suppose i + 3*i = s. Does 5 divide i?
False
Suppose -59 = -24*h + 23*h. Suppose -3*z = -403 - h. Does 42 divide z?
False
Suppose 7784 = -42*x + 56*x. Does 34 divide x?
False
Let v = 2 + 2. Suppose 4*l + 0*l = -4, -94 = -v*c + 2*l. Is 14 a factor of 0 + c + -2 + 3?
False
Let z be 1/(2*1/10). Let p(u) be the first derivative of -u**4/4 + 5*u**3/3 + 3*u**2/2 + 11*u + 5. Is 26 a factor of p(z)?
True
Suppose 4*s = -0*w + 2*w + 746, 5 = -w. Does 8 divide s?
True
Let z(j) = -j**2 + 43*j + 121. Is z(39) a multiple of 2?
False
Suppose -6*q - 446 = -38. Let n = 6 - q. Is n a multiple of 47?
False
Suppose -4*v + 9 = -n, 2*v + 5*n + 3 = 4*n. Let y be (v/(-2))/((-1)/18). Does 8 divide y*1*5/3?
False
Suppose -18*o + 291 = -15*o. Suppose -2*n = 3 - o. Is 4 a factor of n?
False
Does 15 divide (-6)/4 + (-1)/(8/(-4092))?
True
Let k = 14 + -6. Let s(u) = -3 + k*u - 3 + 5 + 3. Is s(3) a multiple of 7?
False
Let w = 16 - 12. Let k = 65 + -62. Suppose -w*z - 3*n + 436 = n, k*n = 4*z - 429. Is z a multiple of 18?
True
Let x be (2 + 3)*(-204)/(-20). Let k(i) = -i**2 + 6*i - 12. Let f be k(8). Let c = f + x. Does 7 divide c?
False
Let b(o) = o + 988. Does 22 divide b(0)?
False
Let v(u) = 11*u**2 + 53*u - 6. Is v(-9) a multiple of 17?
True
Let f(k) be the first derivative of 3*k**2 + 7*k + 6. Let s be f(3). Let p = -19 + s. Does 3 divide p?
True
Is 15 a factor of 