et j(p) be the first derivative of 5*p**2/2 - 5*p + 1. Let w = 0 - -5. Is 7 a factor of j(w)?
False
Let b be ((-1)/(-4))/(3/60). Suppose 4*o + 3*r - 77 = 0, b*r - 29 = -4*o + 46. Is o a multiple of 10?
True
Suppose -3 = -3*x + 6. Is x even?
False
Suppose -5*x + 43 = 4*i, -3*i = 2*i - x - 61. Suppose -5*z + 2*p = -302, -3*z + 2*p + 170 + i = 0. Is 20 a factor of z?
True
Let c(h) be the second derivative of -h**4/12 + 8*h**3/3 - 15*h**2/2 - 10*h. Is c(7) a multiple of 12?
True
Suppose 7*r - 156 = 3*r + 4*j, 121 = 3*r - 5*j. Is 3 a factor of r?
False
Suppose i = -1 + 9. Suppose -2*x + i + 6 = 0. Is x a multiple of 6?
False
Let n = -318 + 463. Suppose -n = x + 4*x. Let a = x - -41. Is 7 a factor of a?
False
Let x(p) = -p**3 - p**2 + 2. Let m be x(0). Let z = m + -2. Suppose -2*g + 21 = 5*s - 4*s, z = -2*s - 3*g + 40. Is 6 a factor of s?
False
Let i(l) = -l**2 - 5*l + 1. Suppose 0*d = -5*d - 15. Let a be i(d). Let p = 11 + a. Is 9 a factor of p?
True
Let w(c) = -c**2 + 9*c + 5. Let r be (8 - -1) + 0/1. Let t be w(r). Let s = 25 - t. Does 10 divide s?
True
Suppose -4*b + 55 = 5*j, 5*b + 0*b - 18 = j. Suppose 0 = -4*p - 3*a + 2*a + 17, 2*p - a = j. Suppose -5*i + 3 = -p*i. Is i a multiple of 2?
False
Suppose 4*o - 6 = o. Let a = -2 + o. Suppose a = 2*c - c - 20. Is c a multiple of 10?
True
Is 17 a factor of 59/2 + 3/6?
False
Let k be 24/14 - (-12)/42. Let i be (3/k)/(1/6). Let y = -4 + i. Is 2 a factor of y?
False
Suppose 5*j + 16 - 6 = 0. Let t be -4*(j - 9/(-12)). Suppose -2 = r + 5*i, t*r - 2*r = 4*i + 13. Does 2 divide r?
False
Let z(j) = -16*j + 4. Is 13 a factor of z(-3)?
True
Is 6 a factor of 6/33 - (-3824)/22?
True
Let a(j) = -j**2 + 14*j + 3. Let b be a(7). Suppose -117 - b = 2*y - v, 0 = 3*y - 2*v + 256. Let w = y + 116. Is 17 a factor of w?
True
Suppose 4*i + 12 = 3*d, 3*i + 4*d + 9 = -0*d. Is 10 + ((-1)/1 - i) a multiple of 12?
True
Let v(x) = 3*x**2 - 2*x. Is v(2) a multiple of 2?
True
Let l(h) = -h - 2 - 21*h - 2 + 3. Does 11 divide l(-2)?
False
Let f(c) = 22*c + 6. Let i be f(5). Suppose -i = -5*p + 4. Does 12 divide p?
True
Let i = 23 - 3. Does 10 divide i?
True
Let s(t) be the first derivative of 2*t**2 - 20*t - 4. Let o(x) = -x + 7. Let j(v) = 11*o(v) + 4*s(v). Is j(2) a multiple of 5?
False
Let s(m) = 4*m + m**2 + 2 - 2*m - 10*m. Let g be s(8). Suppose -3*q - 8 = 4*y, 2*y - g = 2*q + 4*y. Is q even?
True
Does 5 divide 4 - (3 - 2) - -32?
True
Suppose -q - 5 = 4*s, 0 = 3*q - 4*s + 3*s - 24. Let l be (0 - -1) + q + -5. Suppose -4*o + 80 = l*h, -40 = -2*h + h - 4*o. Is h a multiple of 10?
True
Let t(p) = p**3 + 8*p**2 + 12*p - 9. Let m be t(-10). Let i be 6/8 - m/4. Let r = -58 + i. Does 14 divide r?
False
Suppose 36*b - 32*b - 344 = 0. Is b a multiple of 20?
False
Suppose -3*u - 3*o - 9 = 0, 2*u + 5*o + 6 + 9 = 0. Let d = 2 + u. Is d even?
True
Let u(n) = n**3 - 6*n**2 - n - 6. Let z be u(7). Let h = -23 - z. Let j = 95 + h. Is j a multiple of 12?
True
Suppose 45 + 17 = l. Let b = l + -38. Is 8 a factor of b?
True
Let l(f) = -7*f - 2. Let c be l(-2). Suppose 4 = 4*z - c. Is z even?
True
Suppose -4*z - 149 = 5*v, 2*v + v + z + 88 = 0. Let d = v - 47. Does 9 divide 2/(-4) - d/8?
True
Let c(v) = v**2 - 2*v - 1. Let f be c(3). Suppose -y - 4*z - 33 = 0, 0 = 5*y - z + 122 + 1. Is (y - -1)*f/(-4) a multiple of 5?
False
Let y(p) = p**3 + 7*p**2 + 8. Let n(v) = -v - 7. Suppose -3*x + 0*x = 0. Let l be n(x). Does 3 divide y(l)?
False
Suppose -23 = -3*a + 1. Is 5 a factor of a?
False
Does 14 divide 16/(-4) - -43 - -4?
False
Suppose 76 = -2*u + 4*u. Is 19 a factor of u?
True
Suppose -2*l - l = 0, 4*u + 5*l = 144. Let g = u + -25. Suppose -12 = 3*j, -5*j - 17 = -4*z + g. Is z a multiple of 2?
True
Suppose 3*p + 5*n - 78 = -13, -5*p + 160 = -2*n. Is p a multiple of 10?
True
Let k(y) = -5*y**3 - 3*y**2 + 3*y + 11. Let l(i) = -14*i**3 - 8*i**2 + 8*i + 32. Let q(p) = 17*k(p) - 6*l(p). Let a = 16 - 21. Is q(a) a multiple of 10?
True
Let z(h) = 2*h + 12. Is 2 a factor of z(0)?
True
Let o(v) = -3*v**2 + 0*v**2 + 3*v**2 - 1 - 7*v - v**2. Let r be o(-7). Let p = 7 + r. Is p a multiple of 6?
True
Suppose 2*h = h. Suppose h = 2*u + u - 15. Suppose 135 = u*y - 0*y. Is 10 a factor of y?
False
Let t = 42 - -11. Suppose 0 = -2*h + t + 55. Does 18 divide h?
True
Let l(o) = o - 3. Let n be l(-1). Let a(m) = 1 - 2 + 4 - 3*m. Does 13 divide a(n)?
False
Is 17 a factor of 10/4*(-208)/(-20)?
False
Is 18 a factor of 298/4 + (-12)/24?
False
Suppose -210 + 4 = -f. Is f a multiple of 18?
False
Let f = -21 - -35. Is 13 a factor of f?
False
Let t = 6 - 4. Let r = t + 63. Is r a multiple of 25?
False
Let s(m) = -m**2 - 14*m + 1. Is 7 a factor of s(-6)?
True
Let u(q) = q**3 - 7*q**2 - 11*q - 4. Is 14 a factor of u(9)?
False
Let f = 67 + -38. Does 10 divide f?
False
Let c(r) be the second derivative of 3*r**4/4 - r**3/6 + 2*r. Let k be c(2). Let d = k + -19. Does 15 divide d?
True
Let z(u) be the third derivative of -u**2 + 0*u + 1/6*u**4 + 0 + 1/3*u**3. Does 6 divide z(2)?
False
Let n(b) = -b + 3. Let a be n(5). Let s(l) = 14*l**2 - 9*l + 5. Let f(w) = -15*w**2 + 10*w - 6. Let d(g) = 6*f(g) + 7*s(g). Is d(a) a multiple of 11?
False
Is 12 a factor of 3/((-7)/((-1344)/9))?
False
Let y(c) = -2*c**2 + 2 - 31*c**3 + 39*c**3 - 2 + c. Is y(1) a multiple of 7?
True
Suppose 0 = 8*q - 4*q - 84. Does 8 divide q?
False
Let v = -18 + 117. Is 19 a factor of v?
False
Let z(a) = 2*a. Let n(u) = -2*u. Let b(w) = -2*n(w) - 3*z(w). Does 3 divide b(-3)?
True
Suppose 0 = 13*i + 7*i - 1220. Is 8 a factor of i?
False
Let w = 5 + -5. Suppose -2*x + 12 = -w*x. Does 6 divide x?
True
Suppose -2*x + 6 = 0, -5*x - 80 + 415 = 5*d. Let h = -25 + d. Suppose 0 = -2*i - r + 54, 151 = 4*i + 3*r + h. Is i a multiple of 12?
False
Suppose -k - w + 99 = k, 2*w = -6. Is 12 a factor of k?
False
Suppose 0 = -o - 0 + 19. Does 15 divide o?
False
Suppose -2*a - 60 = -196. Does 16 divide a?
False
Suppose 0 = -4*n - 3*i - i + 160, 0 = -5*i - 20. Is 12 a factor of n?
False
Let v(x) = 7*x - 9. Is v(8) a multiple of 8?
False
Let u be 1/(-3)*-9 - 3. Suppose 3*d = -0*s + 2*s + 106, -2*d + 4*s + 68 = u. Is 6 a factor of d?
True
Let r(x) be the third derivative of 43*x**6/60 - x**4/12 + x**3/6 - x**2. Is 22 a factor of r(1)?
False
Let g(c) = c**2 + c**2 + c + 4 + 3*c. Is g(-3) a multiple of 4?
False
Let g = 9 + -13. Let z = g + 4. Suppose -5*l - 4*c + 150 = z, l + 5*c - 18 = 12. Is l a multiple of 10?
True
Suppose 3*y - 306 - 6 = 0. Is y a multiple of 13?
True
Let u(x) = 4*x + 5 - 3 - 2*x + 0. Let a be u(4). Suppose -a = -d + 1. Is d a multiple of 11?
True
Let t(s) = -30*s - 5. Does 3 divide t(-2)?
False
Let m(q) = 28*q**2 + 2*q - 1. Let t be m(1). Suppose 3*l + i - t = 0, l = -i + 6*i + 31. Let h = 20 - l. Is 7 a factor of h?
False
Let n(p) = 32*p + 1. Does 7 divide n(1)?
False
Let k = 127 + -47. Let w = 136 - k. Is 14 a factor of w?
True
Let r(g) = 2*g + 7 - 3*g + 2. Let w be r(0). Suppose -1 = c - w. Is c a multiple of 6?
False
Let i = -27 - -15. Let h = i + 30. Is h a multiple of 11?
False
Is 4 a factor of 125/10 - 3/6?
True
Let l(p) = -p**3 - 7*p**2 - 6*p + 2. Is l(-6) a multiple of 2?
True
Does 15 divide (-2)/(-3*4/282)?
False
Let h(u) = 8*u**2 - u + 336. Does 28 divide h(0)?
True
Let x(z) = z**2 - 4*z - 1. Let n be x(-3). Suppose -n + 53 = 3*c - 3*v, 3*v = -c + 23. Let r = -8 + c. Does 3 divide r?
True
Let y(c) = c**3 + 12*c**2 + 9*c + 2. Does 29 divide y(-10)?
False
Let a = -88 - -131. Suppose 2*k + 65 = 3*n, 5*n = -2*k + 2*n - 35. Let b = k + a. Is 9 a factor of b?
True
Suppose -3*x + 4*x - 7 = 0. Let n(s) = 3*s**2 + 1. Let u be n(1). Suppose -x*c + 3*j + 153 = -3*c, -u*j - 64 = -2*c. Does 18 divide c?
False
Let q(h) = h**2 + 8*h + 8. Is q(-11) a multiple of 6?
False
Let k be (-1 + 2)/(-1 + 2). Suppose -k = l - 4. Is 3 a factor of l?
True
Is (48/3 - -3) + 2 a multiple of 5?
False
Let j be 1/3 - (-22)/6. Let w be 5/(j + -2 - 1). Suppose -2*g - 3*g = 4*q - 145, -65 = -2*q + w*g. Is q a multiple of 12?
False
Suppose 55 = 2*j - 39. Is j a multiple of 33?
False
Let g = 3 - -8. Suppose 5*n - 100 = 5*k, -2*n + 2*k = -3*n + g. Is n a multiple of 7?
False
Suppose 10 + 5 = -5*l, -49 = -4*n + 3*l. Suppose -4*w + 3*s - 5 = 1, -5*w - 3*s = -6. Suppose -z + 37 - n = w. Is z a multiple of 12?
False
Suppose y - 2*r = -0*r - 8, 4*y