he first derivative of 1/3*i**3 + 2 - 2*i**2 + 6*i. Is p(5) a multiple of 11?
True
Suppose 3*c - 7 = -2*y, -3*c - 2*c = -2*y - 17. Let n(g) = 16*g**2. Does 8 divide n(y)?
True
Suppose -3*d - 14 = -194. Is d a multiple of 12?
True
Suppose r - 48 = -3. Is 7 a factor of r?
False
Suppose -7*r + 924 = -77. Does 13 divide r?
True
Let y be 3/(-2) - (-930)/12. Suppose -2*b = -0*b - y. Is 11 a factor of b?
False
Is 5 a factor of 0 + (3 - 6) + 29?
False
Suppose 3*z = -7*z + 1170. Is z a multiple of 8?
False
Let p be (-7)/((6/(-4))/3). Suppose -v + 5*s = -p, -4*v + s = 2*s - 35. Is 9 a factor of v?
True
Does 6 divide ((-108)/(-9))/(2/2)?
True
Let z(s) = -s + 1. Let j(i) = -2*i + 6. Suppose -6*p = -p + 5. Let m(n) = p*j(n) + 5*z(n). Does 2 divide m(-2)?
False
Suppose 5*l = -14 + 239. Is l a multiple of 14?
False
Let x = 10 + -5. Let i(y) = 3*y + 26 + 2*y - x*y - y. Is i(0) a multiple of 13?
True
Let j(r) = -2*r**3 + r**2 - 2*r. Let v = -4 + 4. Suppose -5*t + 7 = -o, 0*o + 2*o + 3*t + 1 = v. Is 12 a factor of j(o)?
True
Let f(z) = 79*z. Let x be f(2). Let k = -101 + x. Does 19 divide k?
True
Let c be 0 - (-1 + 1) - -3. Let n(h) = -h**2 + h. Let a be n(0). Suppose a = -2*s - 4*p + 6, -s + 5*s + c*p = 17. Is 3 a factor of s?
False
Let o be -1 + 3*(0 + 12). Let z = o + -11. Is 12 a factor of z?
True
Let c(s) = s**2 - 7*s + 6. Is c(12) a multiple of 10?
False
Let n(q) = 13*q**2 + 1. Let f be n(-1). Suppose 4*x = 2 + f. Is x a multiple of 3?
False
Let b be 5788/36 - 4/(-18). Suppose 3*f + b = -4*n + 33, -3*n - 159 = 4*f. Let u = -22 - f. Is u a multiple of 14?
True
Does 36 divide -4*(-111)/2 + 15 + -11?
False
Let b(z) be the second derivative of -3*z**5/20 - z**4/3 + z**3/2 + 3*z**2 + z. Let f be b(-4). Let l = f + -78. Does 22 divide l?
True
Let u(o) = -o**3 + 5*o**2 - 3*o. Let i be u(4). Let b(y) = 4*y**2 + 2*y + 8. Is b(i) a multiple of 16?
True
Let c be ((-2)/(-3))/((-8)/(-108)). Is 19 a factor of (c/6 - 1)*76?
True
Suppose 0 = 2*n + 2*n + 16. Let y(i) = i**3 + 5*i**2 + 4. Is 13 a factor of y(n)?
False
Let u(i) = -i - 4. Let z be u(-6). Suppose -2*f - z + 22 = 0. Does 4 divide f?
False
Suppose -5*v = -5*f + 7*f - 220, -3*f = 5*v - 220. Does 15 divide v?
False
Let k = 40 - 23. Does 13 divide k?
False
Let j be 18/27 + (-16)/(-3). Suppose 0 = j*m - 9*m + 54. Does 6 divide m?
True
Let o(v) = -6*v + 11. Let i(f) be the first derivative of -2*f**2 + 7*f - 3. Let z(p) = -8*i(p) + 5*o(p). Is z(8) a multiple of 6?
False
Does 7 divide (6*-37)/6*-5?
False
Suppose -3*l - 33 = -219. Suppose -4*t + 2*t = -o + 9, -3*o + l = t. Suppose 4*p + 2*s = -0*p + 54, 5*s + o = p. Is 6 a factor of p?
False
Does 32 divide (7*12)/(30/45)?
False
Let q be 10/(-20)*-6*48. Suppose 2*g - q = -g. Does 12 divide g?
True
Let s be (3*2)/(-5 - -7). Suppose -s*o = -3*r + 12, 0*o = 4*r + o - 26. Is r a multiple of 6?
True
Does 29 divide -5 - (-247 + 1 + -1)?
False
Suppose -4*c + 3*c = -4. Let n = c - 1. Suppose n*x - 6 - 3 = 0, 0 = 5*h - 5*x - 75. Does 12 divide h?
False
Suppose 0 = 3*g + g + 2*l - 486, 5*l = 5*g - 615. Does 11 divide g?
False
Let m(g) = 2*g - 5. Suppose -6 - 4 = -2*s. Suppose -s*l + 10 = -p, 0*l - 18 = -3*p + 3*l. Is 5 a factor of m(p)?
True
Let y(r) = 14*r - 23. Is 20 a factor of y(4)?
False
Suppose -4*g + 8 = -0. Suppose 2*a - g*v - 22 = 3*v, 3*v = -4*a + 70. Does 8 divide a?
True
Let j(g) = -41*g**3 - g**2 - g - 1. Let s be j(-1). Let w = s - 25. Let i = w + 7. Is i a multiple of 22?
True
Let v(r) = r**2 + 2*r - 5. Let c be v(-7). Let y = -142 - -224. Suppose -4*l + 3*x = -2*x - y, -3*x + c = 2*l. Is 18 a factor of l?
True
Let g be 36/(-3) - (-6 + 4). Let t be (-6)/(-15) + (-44)/10. Let d = t - g. Is 6 a factor of d?
True
Let i(d) = d**2 - 4*d - 8. Let k be i(6). Is 15 a factor of 4/(-8) + 138/k?
False
Let i(g) = 133*g**3 - g**2 + 1. Is i(1) a multiple of 7?
True
Suppose -4*y + 2*v + 80 = 0, 2*y - 44 = 5*v + 4. Does 6 divide y?
False
Let u = -7 - -5. Let x be (4 + -2)*12*u. Let z = -16 - x. Is 16 a factor of z?
True
Let w(i) = -i**3 - 13*i**2 - 3*i - 3. Let t be -6*(-3)/(-6) + 1. Let d be t/(2/(-52)*-4). Does 12 divide w(d)?
True
Let q(h) = -h**2 - 14*h - 4. Does 18 divide q(-10)?
True
Let x = 75 + -42. Let n = x + -19. Is n a multiple of 9?
False
Suppose -3*g - 5*i + 916 = 0, -3*i - 886 = -3*g - 2*i. Is 28 a factor of g?
False
Suppose 5*i - 15 = 5*g, -i + 0*i - g = -5. Suppose i*t - 104 = 4*o, 5*t - 138 = -4*o + o. Is t a multiple of 8?
False
Let l(t) = 17*t**2 + 2. Let m be l(2). Suppose 0 = -3*x - 2*x + m. Is x a multiple of 14?
True
Suppose -3*i + 5*w = -111, 2*w - 35 = -i + 3*w. Is 8 a factor of i?
True
Let p = 23 - 59. Let x = -20 - p. Suppose -m + x = 2. Is 7 a factor of m?
True
Let v(g) = -g**3 - 3*g**2 - 2*g + 2. Let h be 40/(-18) + (-4)/(-18). Let t be v(h). Suppose t*d = 30 + 32. Is d a multiple of 13?
False
Let x(p) = 2*p + 8. Let h be x(-9). Let z = h - -25. Is z a multiple of 7?
False
Let a(j) be the second derivative of j**4/6 + j**3/3 - j**2 - j. Let z be a(-4). Let d = 40 - z. Is d a multiple of 18?
True
Let i(q) = q**3 + 3*q**2 - 3*q + 2. Let g be i(-4). Let s = g - -1. Let o(h) = 20*h**2. Is o(s) a multiple of 10?
True
Suppose 5*y = -15, -4*p + 2*y = 4*y - 14. Suppose -p*c = 3*z - 60, 2*c + 7*z = 3*z + 24. Suppose -2*l - l = -c. Is 4 a factor of l?
True
Suppose -2*a = -3*s - 37, -2*a + 11 = -a - 4*s. Is a a multiple of 18?
False
Let z be 1 + 6/(-2 + -1). Does 3 divide (-15)/10*2/z?
True
Let r(d) = -d**3 - 7*d**2 - 11*d - 10. Does 16 divide r(-8)?
False
Let g(x) be the third derivative of -x**6/120 - x**5/20 + x**4/12 + x**3/3 + 2*x**2. Does 21 divide g(-5)?
True
Suppose 2 = 4*x + 14. Is -8*x/(6 - 3) a multiple of 4?
True
Let s be (-74)/(-8) + 3/(-12). Let j be 75/9 + (-3)/s. Suppose -20 - j = -4*p. Is p a multiple of 2?
False
Let t be ((-2)/(-8))/(4/80). Suppose 4*m = 8, 100 = t*h - 9*m + 4*m. Is 11 a factor of h?
True
Let z(w) = w**3 + 7*w**2 + 5*w - 2. Let l be z(-4). Suppose -2*u - 2*x = -0*u - l, x = -5*u + 73. Is 9 a factor of u?
False
Suppose -3*b - 4*r = -r + 198, -4*r - 142 = 2*b. Let p = b + 95. Is p a multiple of 16?
False
Let b(t) = -t**3 - 6*t**2 + 8*t + 17. Is 16 a factor of b(-8)?
False
Let f(x) = -4*x - 6 + 4 + 0*x + 3*x. Let i be f(3). Let v = i + 25. Is 10 a factor of v?
True
Let s be -15*(0 + (-2)/(-3)). Let c(m) = m**3 + 11*m**2 + 7*m - 7. Is c(s) a multiple of 12?
False
Let q(u) = u**2 - 5*u - 22. Does 26 divide q(14)?
True
Let q(y) be the second derivative of y**4/12 - y**3/3 + 4*y**2 - y. Is 25 a factor of q(-8)?
False
Suppose 0 = -2*s + 5*s - 45. Is s a multiple of 13?
False
Let c(t) = -t**3 - 3*t**2 + 6*t + 2. Let v be c(-4). Let o = -4 - v. Suppose 0 = 4*b - 2*w - 28, 18 = b + o*b - 3*w. Does 8 divide b?
True
Let m = -221 - -449. Is 19 a factor of m?
True
Let n = 2 - 0. Suppose -2*a - 3*z = -75, 3*z + 78 = n*a + 9. Is a a multiple of 14?
False
Let k(c) = -2*c - 14. Let a be k(-11). Is 14 a factor of (-2)/8 + 298/a?
False
Is 13 a factor of (4/(-3))/(26/(-4056))?
True
Let w(x) be the second derivative of 7*x**5/10 + x**4/6 - x**3/6 - 4*x. Is 13 a factor of w(1)?
False
Let o = 20 - 12. Let g be 14/(-8) + (-2)/o. Is (0 + -2)*5/g a multiple of 2?
False
Suppose 5*d - 30 = -2*y - 0*y, 2*d = y - 6. Suppose -2 - 6 = 4*x. Let z = x + y. Does 4 divide z?
True
Let r = 56 - 33. Is r a multiple of 23?
True
Let q(n) = 28*n - 4. Is 16 a factor of q(3)?
True
Is 1/(1/25) - 0 a multiple of 18?
False
Suppose -4*c = -j + 28, 4*j + c - 76 = -c. Does 20 divide j?
True
Let u be (-1 + 2)/(-1)*-2. Suppose 5*c - 16 = -u*v - 4, -4 = 2*c. Suppose 3 = -s + v. Does 4 divide s?
True
Let f(n) = -n**3 - 20*n**2 - n - 13. Does 7 divide f(-20)?
True
Suppose 36 = -5*m + 8*m. Is m even?
True
Suppose -2*u = -5*u + 3*i + 261, 2*u - 5*i - 183 = 0. Does 12 divide u?
True
Let u(b) = -5*b**3 - 4*b**2 + 5*b - 2. Let f be u(3). Let a = f + 4. Let v = -110 - a. Does 12 divide v?
False
Is (1325/(-70) + (-12)/(-28))*-14 a multiple of 12?
False
Let g be (-1)/2 - 5/(-2). Suppose -2*k + 16 = g*k. Does 4 divide k?
True
Let v(m) = m**3 + 9*m**2 + 8*m + 8. Let a be v(-8). Suppose 4*j = 3*j + a. Is j a multiple of 8?
True
Let i = 2 - -13. Suppose 2*k - h = 29, 0*h + i = -3*h. Suppose -s - 1 = -k. Does 6 divide s?
False
Let g = 2 + 1. Suppose 135 = g*s + 2*s. Suppose -s = -2*z + 1. I