e
Let y(a) = a**3 - 2*a**2 + 2*a + 2. Let q be y(2). Suppose 3 + q = 3*i. Suppose i*w = w + 24. Does 12 divide w?
True
Let a(d) = 9*d**2 - 3*d + 5. Let w(g) = 5*g**2 - g + 2. Let o(j) = -6*a(j) + 11*w(j). Is o(-9) a multiple of 3?
False
Let m be (6/(-3) + 1)*1. Let n be (-1)/m*(-3 + 7). Let d(g) = g**3 - 5*g**2 + 5*g + 1. Is d(n) a multiple of 3?
False
Suppose -4*l - l + 7 = 3*b, -2*b - 3*l = -5. Let c(y) = y**3 - 6*y**2 + 7*y + 3. Let u be c(7). Suppose u = b*n + 17. Does 17 divide n?
False
Let l(w) = -29*w**3 + w**2 - w - 2. Is 2 a factor of l(-1)?
False
Suppose 3*z - 4*z = -7. Is 4 a factor of z?
False
Let g be (-5 + 1)/(1 - 2). Suppose -g*t + 65 = t. Suppose 3*b - t - 50 = 0. Is b a multiple of 12?
False
Let j = -2 + -1. Let g be (1 - 2) + j - 0. Is 17 a factor of ((-34)/g)/(4/8)?
True
Let g = -15 - -26. Is 4 a factor of g?
False
Suppose 26 + 49 = c. Let v be ((-12)/10)/(5/c). Let r = v + 25. Does 5 divide r?
False
Suppose 2*m + 2*v + 3 - 1 = 0, 0 = 4*m + 2*v - 4. Let f = m - -9. Does 7 divide f?
False
Let l = -12 - -17. Suppose l*p = -u + 17, -3*u - p = -5*u + 56. Is u a multiple of 17?
False
Suppose 6 = -o + 3*o. Suppose o*a - 84 = a. Suppose -a = -6*n + 4*n. Is n a multiple of 21?
True
Let h(v) = 3 - 2*v**2 - 3*v - v + v**2. Let k be h(-7). Is (-32)/(-18) + (-4)/k a multiple of 2?
True
Suppose -k + 1 = -3. Suppose -u - k*p + 40 = 0, 4*u - p = 2*p + 122. Let x = -16 + u. Is x a multiple of 16?
True
Suppose -2*l + 8 = -52. Does 10 divide l?
True
Let x(m) = -9*m**2 + 2*m - 1. Let p be x(1). Does 11 divide (22/p)/((-8)/32)?
True
Suppose 4*j + 4*g - 44 = 0, 0 = g - 5 + 10. Suppose -2*z + 2 - 24 = -3*y, 5*y = -3*z + 43. Let p = j - y. Does 3 divide p?
False
Suppose -k - 3*k = 0. Does 16 divide (-38)/(-4)*(k + 2)?
False
Suppose 0 = -6*a + 2*a + 16. Let z(x) = -3*x**2 + 10*x + 3. Let g(r) = -4*r**2 + 10*r + 4. Let k(u) = a*g(u) - 5*z(u). Does 13 divide k(-5)?
True
Suppose -2*o - 2*c - 10 = 0, -5*o + 20 = -2*o - 4*c. Suppose 2*u - 2*z + o*z - 2 = 0, -z = -5. Suppose u*h = h + 30. Is 3 a factor of h?
True
Suppose b - v = 2, -b - 8 = -2*b - v. Is b a multiple of 5?
True
Let l(c) = 3*c**2 - 6*c - 8. Is l(8) a multiple of 34?
True
Suppose 24 - 6 = -2*p. Is 9 a factor of (p/15 + 1)*45?
True
Let o(p) = -p - 3. Let m be o(-6). Suppose -m*g + w + 23 = 6*w, 0 = g + 2*w - 6. Is 16 a factor of g?
True
Let l(n) = -n**2 + n. Let d be l(0). Suppose -o - o = d. Suppose 0 = -4*m + 2*i - o*i + 50, -2*m + 30 = 4*i. Is m a multiple of 13?
True
Suppose 0 = -4*p - 5*f + 16, 0 = -5*p + f - 12 + 3. Let o(l) = -99*l**2 + l + 1. Let r be o(p). Let b = r + 157. Is 22 a factor of b?
False
Let l(i) = -i**3 - 5*i**2 + 3*i. Let n be l(-6). Let t = n - 0. Suppose -24 = -2*q + t. Does 21 divide q?
True
Let h(r) = r**3 + 7*r**2 + 6*r - 7. Let l be h(-6). Let a(p) = -p**2 - 8*p + 6. Let z be a(l). Suppose -4*o + 51 + z = 0. Is o a multiple of 6?
False
Let m = 112 + 31. Does 19 divide m?
False
Let c(b) = 1. Let i(m) = 9*m**2 + 2*m + 7. Let p(h) = 6*c(h) - i(h). Let n be p(-1). Let x = -2 - n. Is x a multiple of 5?
False
Let n(u) = u**3 - u**2 + u + 157. Let c be n(0). Suppose 0 = 4*y - 31 - c. Does 29 divide y?
False
Let n(i) = i - 5. Let t be -1*((-2)/(-2))/(-1). Let m be t + (0 - 2) - -9. Is n(m) even?
False
Is 56 a factor of 1 + -4 + (-1)/((-1)/115)?
True
Let l = 16 - 22. Is (21/l + 0)*-2 even?
False
Suppose 0 = -s + 3*r, 3*s - 3*r + 4*r + 10 = 0. Let g be (s/9)/((-1)/69). Suppose 4*d - 13 = g. Is 5 a factor of d?
False
Let o(v) = v**3 - 2*v**2 + 3*v + 9. Let i(r) = r**3 - 3*r**2 + 3*r + 10. Let m(s) = 5*i(s) - 6*o(s). Does 12 divide m(-4)?
True
Let w(t) = -t**2 - 8*t. Let f be 2/(5/7 + -1). Is 7 a factor of w(f)?
True
Suppose -4*u = -9*u + 10. Suppose 0 = 4*r - n - 98, 131 = 3*r + u*r + 3*n. Is 13 a factor of r?
False
Let g = -36 - -24. Let a be g/(-18)*6/(-4). Is (-20)/(-8)*(a - -3) a multiple of 2?
False
Suppose -8 - 46 = -g - 2*w, -5*w = -5. Is g a multiple of 31?
False
Is 28 a factor of ((-12)/(-5))/(-3)*-35?
True
Let q(a) = -a. Let t be q(-3). Is 6 a factor of 0 + t*22/6?
False
Suppose -z + 7 = -s, -2*z - 3*z = -3*s - 29. Suppose v = z + 32. Is v a multiple of 18?
True
Let g = -32 + 47. Does 8 divide g?
False
Let v(j) = 3*j - 2. Suppose 7 = x - 2*t, -2*x + 0*t + 10 = -2*t. Is v(x) a multiple of 4?
False
Is 1/(-6) - (-134)/12 a multiple of 11?
True
Let q(g) = 0 + 2*g + 2 + 0. Is 4 a factor of q(6)?
False
Let o = -22 - -13. Let s(g) = g**3 + 8*g**2 - 12*g - 3. Is s(o) a multiple of 12?
True
Let p(s) = 14*s**3 + 3*s**2 - 4*s - 3. Let f(c) = c**3 - c**2 + c + 1. Suppose -5*j - 3 = -2*j. Let v(z) = j*p(z) - 3*f(z). Is 6 a factor of v(-1)?
False
Suppose 4*g + 213 = 3*k, 2*k + 0*k - 156 = -2*g. Is k a multiple of 11?
False
Suppose 0 = -2*g - 36 + 180. Does 24 divide g?
True
Let a(s) be the first derivative of -19*s**4/4 + 2*s**3/3 - s + 2. Suppose 2*l - 15 = 5*l + 4*f, 3*l + 2*f + 9 = 0. Is a(l) a multiple of 13?
False
Let f be 18/5 + (-10)/(-25). Let g be f/(-10) + 126/15. Let a(u) = -u**2 + 8*u + 11. Is a(g) a multiple of 7?
False
Suppose -x = 3*c, 2*x + c = -4*c. Suppose 0*n - 3*n = x. Suppose n = -3*p + z + 65, z + 112 = 4*p + 27. Is 10 a factor of p?
True
Suppose -7*m + 2*m = 0. Suppose m = -s - s + 64. Is s a multiple of 16?
True
Let m(s) = -s**3 + 14*s**2 - 7*s - 12. Is m(13) a multiple of 11?
True
Suppose -22 = -2*a + 6. Let f be (-1)/(-4) + (-110)/(-8). Suppose 3*b - f = -4*k, b = k - 0*k + a. Is 5 a factor of b?
True
Suppose -p = -2*d + 3, 5*p = -3*d + 52 - 15. Let c be (-2)/5 + 2/p. Suppose -5*y + 4*q + 19 = c, -q + 4 - 2 = y. Does 3 divide y?
True
Suppose -2*b = 2*b - 120. Is 5 a factor of b?
True
Suppose -8*q = -4*q - b + 8, -3*q - b - 6 = 0. Let z = q + 1. Let g = 6 - z. Is 7 a factor of g?
True
Let o(k) = k**3 - 2*k**2 + 2. Let j be o(2). Suppose -2*p + 20 = -j*q, 0*q = 5*q + 25. Is p a multiple of 4?
False
Suppose 0 = -3*k + 56 + 94. Does 6 divide k?
False
Suppose 2*v + 21 - 141 = 0. Is v a multiple of 20?
True
Let b(w) = -w + 5. Let z be b(-5). Does 12 divide ((-8)/z)/(2/(-30))?
True
Let n(l) = l**3 + 7*l**2 - 10*l - 16. Is n(-7) a multiple of 27?
True
Suppose 4 = 2*a, 158 = 4*o - 6*a + 3*a. Is 41 a factor of o?
True
Let x = 95 - 70. Is 25 a factor of x?
True
Let p(x) = x**2 + 10*x - 16. Let k be p(-12). Let u = k + -8. Is 7 a factor of 3 - (-3 - 8 - u)?
True
Let t(g) = g**3 - 13*g**2 + 14*g - 14. Let l = 20 - 8. Is 5 a factor of t(l)?
True
Let q(k) = -k**3 - 10*k**2 - 6*k - 7. Let p be q(-9). Let m = p - -52. Does 6 divide m?
True
Let x = -6 - -11. Suppose 0 = -2*q + 6 + 18. Suppose -b + x*b = q. Does 3 divide b?
True
Let u be (18/(-3) + 2)/(-1). Suppose -r = -u - 0. Suppose -r*h + p - 6*p = -70, h = -5*p + 25. Is 9 a factor of h?
False
Let l(j) = 7*j + 9. Does 8 divide l(8)?
False
Does 7 divide 3*((-65)/(-3) - (3 + 0))?
True
Let c be (-4)/(-4*(-1)/(-58)). Let y = -40 + c. Is y a multiple of 9?
True
Suppose m - 1 = 0, 2*k + 2 = -m - 1. Is ((-29)/k)/(1/2) a multiple of 29?
True
Let x = 51 + -87. Let t(s) = -s**3 + 9*s**2 - 8*s - 1. Let f be t(6). Let p = x + f. Is 10 a factor of p?
False
Let a = 13 + 5. Is 25 a factor of 4 + a + 2 + 1?
True
Suppose 0 = 3*o + 2*o + 5*c - 195, 0 = -2*o - 3*c + 83. Is o a multiple of 3?
False
Let o(v) = 22*v + 12. Is o(9) a multiple of 39?
False
Suppose -5 = 4*m + 3*k - 2*k, 0 = 2*m + 2*k + 10. Let s = 8 - m. Does 8 divide s?
True
Let s(d) = d**2 - 5*d - 8. Let l be s(7). Is 16 a factor of 18 - (-3)/6*l?
False
Let r(n) be the first derivative of 19*n**2/2 + 5*n + 1. Is 27 a factor of r(4)?
True
Suppose 0 = -3*q + q + 2*g - 52, -2*q + 5*g - 67 = 0. Let h = 30 + q. Is 8 a factor of h?
False
Let m be (-33)/(-18)*-4*6. Let i = -26 - m. Suppose -3*w = 3*s - i, 3*s - 3*w - 6 = 2*s. Does 2 divide s?
True
Let z(s) = 19*s**2 - 3*s + 2. Is 18 a factor of z(2)?
True
Let k(y) = -2*y + 3*y - 4*y - 4*y. Is k(-3) a multiple of 9?
False
Suppose 4*j = 8*j - 732. Let h = -127 + j. Is 29 a factor of h?
False
Suppose -w - 1248 = -14*w. Is w a multiple of 15?
False
Let i = 725 - 420. Is 16 a factor of i?
False
Let o(k) = -k**3 - 5*k**2 + 7*k + 6. Let p be o(-6). Let q be p + 1 - (-2 - -2). Is (q/(-2))/((-1)/48) a multiple of 12?
True
Let v be 7*-1*36/(-42). Is (-15)/v*(-16)/5 a multiple of 4?
True
Let r be 2/4 - (-10)/4. Suppose -r*m + 72 = -0*m.