 of p(-7)?
True
Suppose s - 24 = -s. Is 4 a factor of s?
True
Suppose 24*q + 25 = 19*q. Let y(c) = -c**2 - 7*c + 2. Does 3 divide y(q)?
True
Let r = -45 + 17. Let y = 48 + r. Is 20 a factor of y?
True
Suppose 2*o + 23 = 3*q + 4, -25 = -5*q + 5*o. Let m be (-4)/20 + 1/5. Is 18 a factor of 3*((2 - m) + q)?
False
Let a(j) = 4*j**2 - 2*j + 1. Let d be a(1). Suppose t + 80 = 5*x, 2*t - 65 = -8*x + d*x. Is 15 a factor of x?
True
Let v be (-3)/2 - (-23)/2. Let k(p) = -13*p + 7. Let h be k(v). Let q = h + 176. Is q a multiple of 15?
False
Suppose -k = 3*k - 72. Is 9 a factor of k?
True
Let o(c) = c**2 + 5*c - 6. Let l be o(-5). Is 16 a factor of (-1)/2 - 171/l?
False
Let x(c) be the first derivative of -c**2/2 - 2*c - 1. Let y be x(-7). Let i(a) = a**3 - 4*a**2 - 6. Is i(y) a multiple of 11?
False
Suppose 4*h = -h + 195. Is h a multiple of 9?
False
Suppose -5 + 17 = w - u, 2*u - 4 = 0. Is 4 a factor of w?
False
Let h = 7 - 5. Let t = h - -16. Is t a multiple of 9?
True
Suppose -44 = -2*u + 4*u. Let a = u - -67. Is 15 a factor of a?
True
Let v be 2 + (6 + 3 - 2). Suppose -v = 4*g - 1. Is -3 - (-13 - (g - 0)) a multiple of 6?
False
Let f = -153 + 398. Is 21 a factor of f?
False
Let b = 227 + -144. Does 16 divide b?
False
Suppose -l + 97 = c + c, -3*l + 316 = c. Is l a multiple of 26?
False
Is 28 a factor of ((-3 + -1)*-2)/(10/315)?
True
Suppose -2*f + 5*z + 17 = f, 2*f = 4*z + 10. Suppose 3*u = -6 - f. Is 14 a factor of ((-2)/(-3))/(u/(-210))?
True
Let u(m) = 2*m**2 - 8*m + 4. Let c be u(7). Let a = c + -28. Is 15 a factor of a?
False
Suppose 131 - 31 = 4*g. Does 16 divide g?
False
Let d(s) = -2*s**3 + s**2 + s - 1. Let q be d(-3). Suppose 0 = -3*t - 4*c + q, -c + 1 + 18 = t. Is t a multiple of 4?
False
Suppose 0 = -4*m + 2*w - 12, -4*m + 2*m - 14 = -3*w. Let x = m - -3. Suppose 0 = x*t - 7 - 17. Does 9 divide t?
False
Suppose 143 = 5*w - l - 2, 5*w - 145 = -3*l. Suppose w = n - 19. Is n a multiple of 20?
False
Is 17 a factor of (34/(-3))/(8/(-12))?
True
Let f be (6/(-9))/(6/45). Let h be (f - -7)/(1/24). Suppose x + h = 3*o + 2*x, -x - 3 = 0. Is 13 a factor of o?
False
Let f be (-1)/((-2)/(-4)) + -3. Let u = f + 7. Suppose -u*i + 54 = -6. Is i a multiple of 15?
True
Let y(w) = -w**2 + 11*w - 8. Let j be 12*((-1)/3 - -1). Let x be y(j). Is 7 a factor of (-83)/(-4) + (-12)/x?
False
Suppose 0 = -r + 1 + 1. Suppose 3*b - 2*d - 126 = 0, -r*b + 3*d = -d - 92. Suppose -24 = -m - 3*f, m = 5*m - 2*f - b. Is m a multiple of 5?
False
Let s(d) = 7*d**2 + 4*d + 2. Suppose 0 = 2*n - 0 + 4. Is s(n) a multiple of 11?
True
Suppose -90 = -6*u + 66. Is u a multiple of 12?
False
Let a = -153 + 224. Let s = a - 39. Is s a multiple of 9?
False
Let f be 0*((-15)/(-6) - 2). Let p = 2 + f. Suppose -h + 11 = -5*i, 2*i + 20 = -p*h + 3*h. Does 13 divide h?
True
Suppose 0 = c - 4*q - 96, -5*c - 4*q = -2*c - 240. Is c a multiple of 28?
True
Let a = 108 + -76. Let b = -18 + a. Is 7 a factor of b?
True
Let m(f) = -4*f + f**3 - 4*f**2 - f**3 + 7*f + f**3. Is m(5) a multiple of 9?
False
Suppose 0 = -9*a + 10*a - 46. Does 17 divide a?
False
Let u(v) = -3*v**2 - v**2 - 2*v**3 - 4 + 3 + 4*v. Is u(-4) a multiple of 13?
False
Let m(j) be the second derivative of j**4/4 - 5*j**3/6 - 3*j**2 - 11*j. Suppose 0 = -4*t + 5*t - 5. Is m(t) a multiple of 22?
True
Let h(m) = 22*m**3 - 2*m**2 - m + 4. Is 20 a factor of h(2)?
False
Let h(g) = -18*g - 21. Does 17 divide h(-4)?
True
Suppose 9 = -5*q + 2*q. Let w = q + 18. Does 4 divide w?
False
Suppose b + 20 = 4*a, -2*b = 2*a + 3*b + 12. Suppose -108 = -a*k - 4*u, -k - 2*u = -3*u - 21. Does 8 divide 68/6 - 8/k?
False
Let t = 14 - 15. Is 15 a factor of -4 - (t - (52 - 3))?
False
Let f be ((-8)/(-6))/((-2)/(-3)). Suppose 6 = -0*j - f*j. Is 9 a factor of 4/j*(-54)/4?
True
Let r = -2 - -4. Is 4/(16/34)*r a multiple of 6?
False
Suppose 0*h - 6 = -3*h. Let m = 0 - h. Is 0 + m*-3*4 a multiple of 13?
False
Let g(p) = -p**3 - 2*p**2 - 3*p - 2. Let y be g(-2). Suppose -y*j + 276 = -5*i + 91, -139 = -3*j + 4*i. Does 15 divide j?
True
Is (-49)/(-14)*(44 + 0) a multiple of 14?
True
Suppose 75 = 5*i - 35. Let q = i + -16. Is 4 a factor of q?
False
Let c(a) = a - 13. Let p be c(0). Let i(g) = -2*g - 27. Let b be i(0). Let u = p - b. Is 9 a factor of u?
False
Suppose 5*x + g = -0*g + 15, g + 1 = -x. Let r be 3/(-1*(-3)/x). Suppose -u + 60 = r*u - 2*b, -4*b + 20 = 0. Does 14 divide u?
True
Let a(t) = -t**3 - 6*t**2 - 6*t - 3. Let y be a(-5). Suppose p - 49 = -2*v - 4*p, 55 = y*v - p. Does 10 divide v?
False
Suppose -448 = -4*i + 3*q, -190 = -5*i - 4*q + 370. Is 13 a factor of i?
False
Let i = 230 - 146. Let h(m) = m**3 + 4*m**2 - 7*m - 10. Let c be h(-5). Suppose 3*t - i = -c*t. Does 15 divide t?
False
Suppose u = x + 139, 0 = -u + 3*x - 0*x + 131. Let o = -80 + u. Is 11 a factor of o?
False
Let k(c) be the first derivative of -9*c**2/2 + c - 2. Suppose 2*b - 7*b - 5 = 0. Is k(b) a multiple of 6?
False
Suppose 0 = -b - 4*b + 80. Does 16 divide b?
True
Let j be (6 + -6)/(6/(-2)). Suppose 3*g - 281 = -j*p - p, -4*p + 296 = 3*g. Is 25 a factor of g?
False
Suppose 0 = -5*v - 5*w - 45, 3*w - 7 + 38 = -4*v. Does 7 divide 6 + 4/v - -2?
True
Let u = 208 - 89. Does 17 divide u?
True
Suppose -g = -5 + 1. Let f(x) = -x**2 + 6*x - 3. Let o be f(g). Suppose -o*p + 3*p = -20. Is p a multiple of 6?
False
Let j = -101 - -177. Suppose 4*x - 16 = i, -5*i + 8 = 2*x - 3*i. Suppose 4*s = 4*q - j, -x*q + 17 = 3*s - 87. Does 7 divide q?
False
Suppose 4*o + 2*f = -0*f + 1088, 0 = 5*o + 3*f - 1361. Does 20 divide o?
False
Let k be (-2)/4 - (-321)/6. Suppose 186 = -5*q + 26. Let f = q + k. Does 15 divide f?
False
Let z(h) = 2*h**3 - 7*h**2 + 2*h + 3. Is z(5) a multiple of 44?
True
Suppose 0 = 2*t - 5*k - 92, -6 = -k - 2. Suppose -3*m = -m - t. Is 12 a factor of m?
False
Let a = 46 + -32. Is a a multiple of 3?
False
Let m = 5 - 45. Is (-8)/(-2) + -4 - m a multiple of 10?
True
Let b be ((-116)/(-8))/((-1)/(-2)). Let h = b + -13. Is h a multiple of 16?
True
Let o(k) = k**2 - 5*k + 3. Let n be o(5). Suppose n = 2*u - 1. Suppose -3*a + 11 = -u*a. Does 11 divide a?
True
Let y be (110*1)/(4 + -2). Suppose 0 = 2*c + 5*g - y, -3*c + 2*g + g + 72 = 0. Is 11 a factor of c?
False
Suppose -2*p + 34 = -2*f, 0 = 3*f + 2*p + 8 + 23. Let s = f - -20. Does 7 divide s?
True
Suppose 0 = 2*n + 9 - 25. Let h = n + 4. Does 6 divide h?
True
Let h = 1 - -4. Let o(y) = -6*y**3 - 3*y + 1. Let z(t) = -7*t**3 + t**2 - 4*t. Let l(g) = h*z(g) - 6*o(g). Is l(-4) a multiple of 7?
False
Let k(w) = -w + 12. Let v be k(8). Suppose -v*b = -b - 6. Suppose -5*t + g + 62 = -g, -b*g = 5*t - 78. Does 7 divide t?
True
Is 1/1*30/(-9)*-9 a multiple of 10?
True
Suppose 0 = -5*i - 11 + 71. Suppose -4*n - 132 = -4*s + n, 4*s - 96 = -4*n. Let r = s - i. Does 16 divide r?
True
Let h(m) = -m**2 + 5*m + 2. Let d be h(9). Let r = 21 + -94. Let t = d - r. Does 13 divide t?
True
Suppose 0*w - 5*i + 8 = -w, 0 = -2*w - i + 6. Suppose 3*a + w = 23. Is 2 a factor of a?
False
Let g(h) = -h - 1. Is 7 a factor of g(-13)?
False
Let s = 1 + -41. Let m = 79 + s. Does 13 divide m?
True
Let k(q) = -5*q - 6. Suppose -2*b = 4*v + 34, 2*v + 5*b - 2 = -15. Is k(v) a multiple of 13?
True
Suppose 2*q = q + 2. Suppose z = 4*a - 10, -4*z = -q*a - 0*a - 16. Does 6 divide z?
True
Let k(z) = z**3 - 3*z**2 - 4*z - 7. Is 11 a factor of k(6)?
True
Let k(b) = b**2 - 11*b + 11. Let i be k(9). Let f(m) = -m + 3. Let g be f(i). Suppose x = 5*h - 12, g = 2*x + 2*h - 2. Does 2 divide x?
False
Let z(r) = r**3 - 7*r**2 - r - 9. Let g be 20/3 - 5/(-15). Let n be z(g). Is 11 a factor of (-4)/(-5)*(4 - n)?
False
Let n(w) be the second derivative of w**6/144 + w**5/60 - w**4/3 - 3*w. Let s(f) be the third derivative of n(f). Is 10 a factor of s(3)?
False
Let q(a) = a**2 + 4*a - 3. Is q(-9) a multiple of 14?
True
Let c(m) = m**3 - 5*m**2 + 7*m + 1. Does 18 divide c(5)?
True
Let l = -36 + 76. Let z = -14 + l. Is z a multiple of 13?
True
Suppose -3*l - l + 16 = 0. Is 3 a factor of l?
False
Let s = 4 + -4. Let d = s - 3. Does 19 divide (d/9)/((-2)/114)?
True
Let p(a) = 13*a**2 + 2*a - 1. Let m = 5 + -4. Let b be p(m). Let y = 28 - b. Is y a multiple of 14?
True
Let f(x) = 4*x - 6. Let a(q) = -q**2 + 11*q - 6. Let t be a(10). Is f(t) a multiple of 5?
True
Does 7 divide (-2805)/(-40) - (