e
Let b(y) = y + 4. Let f(l) = -2*l - 4. Let n(j) = 3*b(j) + 2*f(j). Let d(k) = k - 1. Let g(o) = -2*d(o) - n(o). Is g(-7) a multiple of 2?
False
Let i = 28 - 16. Let j be 8/(-6)*(-3)/1. Is 18 a factor of 1 + i*6/j?
False
Let s(h) = h**3 + 6*h**2 + 2*h - 5. Is 4 a factor of s(-5)?
False
Let g(z) = -z**3 - 6*z**2 - 6*z + 3. Is g(-5) a multiple of 4?
True
Let c(i) = -96*i + 6. Is 15 a factor of c(-2)?
False
Suppose 0*o + 2*o - 120 = 0. Is 15 a factor of o?
True
Let o = -3 + 7. Suppose 0*r - 24 = -o*r. Is 4 a factor of r?
False
Is 4 a factor of (8/(-5))/((-8)/60)?
True
Suppose 55 = -3*s - 5. Let h(l) = -l**2 + 12*l - 4. Let u be h(12). Let a = u - s. Is 8 a factor of a?
True
Let g(l) = -l**3 - 10*l**2 + 5. Let i be g(-10). Suppose -i*a + 4 = -3*a. Is 2 a factor of a?
True
Let o(r) = -r + 2. Let f be o(-7). Suppose g + 0*g = 3*z - 7, -5*z + g + f = 0. Does 8 divide -30*(z/3 + -1)?
False
Suppose 27 = 5*a - 2*x, 3*a + 2*x - 5 = 8. Suppose -r - 23 = -a*l + 3*l, 5*l = 20. Is 6 a factor of 6/r*30/(-1)?
True
Let l(u) = 20*u. Does 15 divide l(3)?
True
Let l(a) = -a + 16. Does 26 divide l(-10)?
True
Let w(r) = 10*r**2 - 6*r - 22. Does 43 divide w(-5)?
True
Let w = -2 - 4. Let z(c) = c**3 + 8*c**2 + 7*c - 4. Is 13 a factor of z(w)?
True
Let a = 24 + -11. Suppose i - 4*p - 13 = 0, -a = -i + p + p. Is i a multiple of 6?
False
Let n(f) = -4*f + 6 - 10*f + f**2 + 12*f. Let r be 34/8 - (-2)/(-8). Is n(r) a multiple of 6?
False
Let x be (-4)/(-5) - 186/(-30). Let z be (-1 + -1)/((-2)/1). Let l = z + x. Is 8 a factor of l?
True
Suppose -5*s - 5 = -95. Does 4 divide s?
False
Let h = -87 + 135. Is h a multiple of 16?
True
Suppose -3 = 3*x - 9. Suppose -2*t = -x*h - 14, 3*t + 15 = 5*h + 32. Is t a multiple of 4?
False
Does 3 divide 6 + -1 + (1 - 3)?
True
Suppose -66 = -2*n - 5*t, -2*t + 104 = 3*n + 16. Is n a multiple of 8?
False
Suppose -3*c - v = -77, 2*c + v = 6*v + 40. Is c a multiple of 9?
False
Let q(f) = 4*f**2 + 4*f + 3. Let n be q(-2). Let v = -7 + n. Let o = v + 12. Is o a multiple of 8?
True
Suppose 0 = d + 4*d. Let l(q) = q**2 + q + 50. Let x be l(0). Suppose -3*g + x + 34 = d. Is g a multiple of 10?
False
Let w be 8*((-3)/(-1))/6. Suppose -w*c - 22 = -2, 3*g = 5*c + 49. Does 6 divide g?
False
Let m be (-1)/3 - (-425)/15. Let t = -11 - -3. Let g = m + t. Does 9 divide g?
False
Let h(r) = r**3 - 5*r**2 - 7*r + 8. Let l be h(6). Let m be 2 - (l - 9/3). Let i = 40 - m. Is 18 a factor of i?
False
Suppose 3*v = n + 874, -596 = -2*v + n + 3*n. Is v a multiple of 58?
True
Let m = -148 + 164. Is 16 a factor of m?
True
Let v(m) = -m**3 + 2*m**2 + 3*m - 3. Let a be v(3). Let f(s) = -s**3 - 2*s**2 - 2*s + 2. Does 17 divide f(a)?
True
Let l = 1 + -4. Let b be (-2)/(-2*2/14). Let q = b + l. Is 4 a factor of q?
True
Let h be (0 - 1)*5*-9. Let k = h + -32. Does 8 divide k?
False
Let l = -40 - -165. Does 25 divide l?
True
Let v(f) = -f**2 - 2*f + 3. Let a be v(-3). Suppose 30 = u - a*u. Does 10 divide u?
True
Suppose -1 = -4*k + 15. Suppose 0 = w + z - 10, k*z - 14 - 8 = -2*w. Is 6 a factor of w?
False
Let z(f) = 2*f**2 - 4*f - 1. Let j be z(4). Let h(n) = -j*n - 17 + 16 + 4*n. Is h(-5) a multiple of 14?
False
Let k = 19 - 15. Is k a multiple of 4?
True
Let z(a) = -2*a**2 - 7*a - 9. Let t(l) = l**2 + 6*l + 8. Let r(m) = -3*t(m) - 2*z(m). Let x be r(6). Does 10 divide ((-58)/x - -1)*-3?
False
Let n = 17 - 2. Let w = n + -4. Does 4 divide w?
False
Let g(s) = -s**2 - 9*s - 6. Does 8 divide g(-7)?
True
Let k = 46 + -25. Is 7 a factor of k?
True
Let m(f) = -f**2 - 9*f - 10. Let v be m(-7). Suppose 0 = -q - v + 8. Is 4 a factor of q?
True
Let h = -271 + 459. Suppose h = 3*y + y. Does 20 divide y?
False
Let w(y) = -y + 14. Let x be w(12). Suppose 7*u - x*u = 200. Does 20 divide u?
True
Let r = 30 - 11. Does 7 divide r?
False
Let l = 188 + -70. Is l a multiple of 33?
False
Suppose -4*q - 2*o + 8 = -6*o, o = 0. Let p(g) = 3*g**3 - g**2 - 3*g + 1. Let r be p(q). Let a = 24 - r. Is a a multiple of 5?
False
Suppose 3*i - 21 = -2*n, -i - 2*i - n = -24. Does 9 divide i?
True
Let l(q) = -10*q + 15. Does 29 divide l(-10)?
False
Let r(v) be the first derivative of -11*v**2 - v - 5. Let n = -7 - -6. Is 21 a factor of r(n)?
True
Let w(a) = a**3 - 2*a + 1. Let t be w(5). Suppose 0 = -4*i + t - 20. Does 24 divide i?
True
Let b = -199 - -299. Does 23 divide b?
False
Let f(i) = -i**3 - 5*i**2 + 6*i + 2. Let k be f(-6). Let d be (-6)/((-3)/(321/k)). Suppose -3*v = -4*o - 121, -5*v + 2*o + d = 96. Is v a multiple of 16?
False
Suppose 2*y + t = 12, 3*t = 4*y - 25 + 1. Let m = y + -3. Is 6 a factor of 51/2*2/m?
False
Suppose 3*c = -0*c. Suppose c = 2*u + u - 6, y + 5*u - 44 = 0. Let l = -5 + y. Does 10 divide l?
False
Let q = 8 + -7. Suppose 0 = -n + 8 + q. Is 9 a factor of n?
True
Suppose -5*t + 65 = -65. Is 13 a factor of (-2)/(4/(-1))*t?
True
Let x(t) = t**3 - t**2 + 6. Let j(b) = 1. Let h(l) = 6*j(l) - x(l). Let g be h(-2). Let m = 30 - g. Does 7 divide m?
False
Is 14 a factor of 6/4*(-112)/(-3)?
True
Let q = 23 - 16. Let j be (5/(-4))/(3/(-12)). Let v = q + j. Does 12 divide v?
True
Suppose -2*r + b = -b, -4*b = -2*r - 10. Suppose 150 = -r*s + 5*f, 3*s + 2*s = -5*f - 150. Is (-192)/s - (-4)/(-10) a multiple of 3?
True
Suppose s - 12 = -3*s. Suppose -s*z = 2*z - 35. Is z a multiple of 2?
False
Suppose -4*h + 3 + 17 = 0. Suppose h*m = -r + 279, -m + 55 = 2*r - r. Is 24 a factor of m?
False
Suppose 2*r + 4 = -0*r. Is (3/4)/(r/(-48)) a multiple of 7?
False
Let r(d) = -10*d - 11. Suppose 0 = 5*t - t - 3*s + 26, -2*t - 12 = -s. Is 13 a factor of r(t)?
True
Let x be (18 + -3)*(-1)/(-3). Suppose -x*b = -86 - 24. Is 11 a factor of b?
True
Let d be 6 + (-1*3 - -1). Suppose 2 = d*w - 6. Suppose 0 = -3*n + w*n + 30. Is 13 a factor of n?
False
Let a = 22 + -3. Does 19 divide a?
True
Suppose -i - 4*i = -15. Suppose -c + i + 3 = 0. Does 5 divide c?
False
Let g(c) = -34*c + 8. Is 17 a factor of g(-6)?
False
Let g(i) = -49*i**2 - i. Let x be g(-1). Let u = 72 + x. Is u a multiple of 13?
False
Suppose 4 + 5 = 3*l. Suppose l*b + 114 = 4*j, 0 = -j + 6*j - 2*b - 146. Is j a multiple of 30?
True
Suppose 4*s - 3*m = 229, -3*m - 287 = -5*s - 0*m. Does 29 divide s?
True
Suppose -3*m = -0*m + 27. Let c = -2 - m. Suppose -3*h + 29 = -5*u, -h = 3*u - 2*u - c. Is h a multiple of 8?
True
Let q be 1*(-2)/(-5 - -3). Suppose 5*t = -i - q, i = 2*t - t + 5. Suppose -16 = -i*f - 0*f. Does 4 divide f?
True
Suppose -6*a + 1199 = 209. Is a a multiple of 19?
False
Let o = -21 + 26. Let v = -17 - -30. Let b = v + o. Does 9 divide b?
True
Let h be 45/12 + (-6)/8. Suppose u = h*u - 80. Let s = u - 22. Is s a multiple of 9?
True
Let f(i) = i**2 + 4*i + 6. Let b be f(-3). Suppose 0 = l + 4*p - 10, 1 + b = -4*p. Is l a multiple of 4?
False
Let y(i) = -41*i**3 + 2*i**2 + 4*i + 3. Does 8 divide y(-1)?
False
Suppose n + 3*n = 20. Let f(j) = j**2 - j - 5. Does 5 divide f(n)?
True
Suppose 19 = 2*b - 45. Is 3 a factor of b?
False
Is 18 a factor of 330/4 + (-1)/2?
False
Let t(k) = -k**3 - 14*k**2 - 17*k - 16. Does 4 divide t(-13)?
True
Suppose y - 154 = -50. Is 11 a factor of y?
False
Suppose -15 = -5*l + 2*l. Suppose 37 = 2*h - m, -h + l*m = h - 57. Does 8 divide h?
True
Let i be (10/(-3))/((-2)/(-18)). Let s = 21 - i. Is s a multiple of 23?
False
Suppose -2*j + 4*j = 92. Is j a multiple of 23?
True
Suppose -x + 1 = -2*w + 4*w, 0 = -5*x - w + 23. Suppose -4*z + 43 = 4*f - z, -x*f = -2*z - 71. Is 13 a factor of f?
True
Let b(t) = -t + 9. Let j be b(7). Does 7 divide (j/2*7)/1?
True
Suppose 0*x = -3*x + 9. Is x a multiple of 2?
False
Suppose -2*b = w - 5*w + 8, 5*b + 2 = 4*w. Suppose r - 5*z = -0*z + 18, -w = -4*r - 3*z. Suppose 0 = -r*g + 45 + 6. Does 17 divide g?
True
Let i be ((-62)/4)/((-3)/(-6)). Let q = -18 - i. Is q a multiple of 13?
True
Let q(a) be the second derivative of a**4/12 - a**3/3 + a**2/2 + 3*a. Let b(h) = h**2 + 5*h - 8. Let s be b(-6). Is q(s) a multiple of 9?
True
Suppose q = 3, -2*i + 2*q + 7 + 1 = 0. Does 7 divide i?
True
Suppose 4*w = -w + 75. Let y(r) = -2*r**2 - r. Let b be y(2). Does 21 divide b*(-1 + (-51)/w)?
False
Let x(h) = h**2 + h - 1. Let z be x(-2). Let q = z + 2. Suppose -5*p + o + 52 = 0, q*p - 11 = 4*o + 10. Does 4 divide p?
False
Let a(b) = b**3 - 3*b**2. Let i be a(3). Is 8 a factor of 48/3*(2 - i)?