s 11 a factor of g?
True
Suppose -j + 0*j + 4*h = -65, -2*h = -4*j + 190. Is 24 a factor of j?
False
Let v(y) be the third derivative of -y**4/24 + y**3/3 - 3*y**2. Is 2 a factor of v(-3)?
False
Suppose -2*q - m + 4*m = -66, -4*q + 92 = 4*m. Suppose 43 = 5*b - q. Is 14 a factor of b?
True
Suppose n - 300 = -5*n. Is n a multiple of 10?
True
Let b(a) be the first derivative of 2*a**2 - 4*a + 2. Let l be b(5). Suppose 0 = -2*k + l + 2. Is k a multiple of 9?
True
Suppose 0 = -5*c - 3*u - 50, 0 = u - 4 - 1. Does 3 divide c/(-2) + 2/(-4)?
True
Let d = -1 + 1. Suppose d = -5*l + 134 - 44. Does 13 divide l?
False
Let c(f) = -f**3 + 8*f**2 - 4*f - 3. Does 6 divide c(7)?
True
Let y(u) = u**2 - 8*u - 6. Let v be y(9). Suppose 8*x - 3*x - 244 = j, j = v*x - 148. Suppose -3*p + x = -p. Is p a multiple of 8?
True
Let d be ((-1)/(-3))/((-5)/(-105)). Let y be (-2)/(-7) + 278/d. Suppose -4*z = -3*n - 25, 3*z - z + 4*n - y = 0. Is 5 a factor of z?
True
Let c(n) = -88*n**3 - n**2 - n - 1. Is 36 a factor of c(-1)?
False
Let x(r) = -r**2 - r + 4. Let c be x(-3). Is (c + 0)*9/(-2) a multiple of 4?
False
Let l be 23*3*4/12. Suppose 2*f - u + 4 = 0, -3*f + l = 5*u + 3. Suppose -15 = -f*d - d. Is 6 a factor of d?
False
Suppose 2*n - 4*n + 2*c + 134 = 0, 3*n + 3*c = 231. Is 10 a factor of n?
False
Suppose -4*g = -101 - 11. Is g a multiple of 14?
True
Suppose m + 0*t - 10 = 2*t, 0 = -3*m + 4*t + 22. Suppose m*h - 10 = -5*v, -2*h - 3 + 1 = 2*v. Suppose v*o - 14 = 50. Is o a multiple of 8?
True
Suppose -4*b - 24 = -0*b. Suppose 0 = -i - 5*d + 8, 2*i - 3*d - 2 = 14. Let v = i - b. Does 10 divide v?
False
Let g(p) be the third derivative of -p**9/60480 + p**8/3360 + p**7/840 - p**5/30 + 2*p**2. Let f(w) be the third derivative of g(w). Is f(6) a multiple of 18?
True
Let x = 31 - 19. Is 4 a factor of x?
True
Let y = -10 + 6. Let u(o) = -o**3 - 5*o**2 - 7*o - 6. Is 6 a factor of u(y)?
True
Let t(o) be the first derivative of -1/3*o**3 + 2*o**4 - 1 + 1/2*o**2 + 0*o. Does 7 divide t(1)?
False
Let j be 32/6*486/24. Suppose 12*a = 8*a + j. Does 10 divide a?
False
Suppose 0*u + 13 = u. Is u even?
False
Let m = -6 - -14. Suppose 0 = -4*t - 3*r - 9, -3*r = 5*t + 4 + m. Is 6 a factor of (-16)/(t*1 + 2)?
False
Suppose -y - 3 = -4*y. Suppose -2 = 2*t - 4. Is 0 + y - (-2 + t) a multiple of 2?
True
Suppose -3 - 3 = 2*u. Let m be 0 + 3 + 3/(-3). Does 10 divide 8/m*(u + 8)?
True
Suppose -4*a = -a - 192. Suppose -5*f = -f - a. Does 5 divide f?
False
Let v be ((-3)/2)/(1/(-6)). Let y be ((-2)/3)/((-1)/v). Suppose 2*l - 50 = -3*q, q - y*q = 3*l - 76. Is 11 a factor of l?
True
Let m(c) = c**2 - 2*c - 8. Suppose 2*y - 21 = -y. Does 9 divide m(y)?
True
Let r(l) = l**2 + 5*l - 6. Is r(-8) a multiple of 6?
True
Let m(o) = o**2 - o. Let t be m(1). Suppose 4*g - 99 - 37 = t. Does 13 divide g?
False
Suppose -x + 2*q - 2 = 0, -8 = -5*x + q + 3*q. Suppose 2*w + 6 = 6*y - 2*y, -x*y - w = -15. Suppose v - 4 = d, 17 = 5*v + d - y*d. Does 3 divide v?
True
Let b(j) = -j + 1. Let z be b(-5). Suppose -z = -0*c - c + 2*f, -4*c + 4 = 2*f. Suppose -4*p + 48 = -4*s, -c*p - s = 3*s - 48. Is p a multiple of 8?
True
Suppose 29 = -5*c + v, -4*c - 2*v - 12 - 14 = 0. Is 2 a factor of 1 + c/(-8)*4?
True
Does 12 divide ((-99)/55)/((-6)/40)?
True
Let s(w) = 2*w**2 - 5*w + 3. Suppose 5*z + 12 = 37. Let n be s(z). Let c = -18 + n. Is 10 a factor of c?
True
Let n = 6 + -10. Let f = n + -5. Let i = f + 15. Does 6 divide i?
True
Let x = 32 + 1. Is x a multiple of 6?
False
Let l = -4 - -5. Let d be -32*(0/l - 1). Let t = d + -23. Does 4 divide t?
False
Let f(i) = i**3 - 6*i. Let j be f(-3). Let z = j - -12. Is z a multiple of 2?
False
Suppose 5*n = 4*u, -3*u + 0*n + 1 = -4*n. Let w = u - 0. Is (7 + w)/((-1)/(-6)) a multiple of 10?
False
Suppose 15 = 3*r - 4*d, -6*d + 25 = 5*r - 2*d. Let t(h) = 7*h**2 - 3*h + 4. Let a(f) = 6*f**2 - 3*f + 3. Let p(m) = 6*a(m) - 5*t(m). Is p(r) a multiple of 5?
False
Suppose 3*x - 6 = 6. Let l be (0*(-2)/x)/(-1). Is (l - 1 - 0) + 9 a multiple of 4?
True
Suppose -5*t - i = -371, 73 + 243 = 4*t - 4*i. Is 58 a factor of t?
False
Suppose 5*v + 3*n - 179 = 155, -126 = -2*v - 5*n. Is 10 a factor of v?
False
Suppose -5 = 2*u - 13. Suppose -3*r - 19 = -o, -3*o - u*r + 5 = -26. Is 13 a factor of o?
True
Let a(j) = -j**3 + 6*j**2 - j + 1. Is 7 a factor of a(5)?
True
Let m = 417 - 217. Does 25 divide m?
True
Let u(i) = -2*i + i**2 - 9*i**2 + 2 - i. Let c be u(3). Let j = -52 - c. Is 11 a factor of j?
False
Let p = -9 - -3. Let w = 11 + p. Suppose -y + w - 1 = 0. Is 4 a factor of y?
True
Let v be (-26 + -4)*(-13)/3. Is 31 a factor of (15/(-6))/((-5)/v)?
False
Let u(k) be the second derivative of -k**5/20 - k**3/6 + 39*k**2/2 + 7*k. Is u(0) a multiple of 13?
True
Let f(y) = 5*y - 15. Is 10 a factor of f(6)?
False
Let c = -12 + 22. Let f = c + 5. Is 5 a factor of (f/(-2))/(18/(-24))?
True
Let l(m) = -11*m + 1. Let a be 0*(-1)/(-3) + 1. Suppose -2*r + r - a = 0. Does 6 divide l(r)?
True
Let x(h) = 2*h**3 - 6*h**2 + 5*h - 5. Does 20 divide x(5)?
True
Suppose 0*s + 570 = 4*s - 5*j, -s + 141 = -2*j. Suppose b - s = -4*b. Is 20 a factor of b?
False
Suppose -5*n = -n + 28. Let b = n + 25. Is b a multiple of 17?
False
Let b = 78 + -8. Does 9 divide b?
False
Let o = 3 + 37. Is 40 a factor of o?
True
Suppose -2*d = 4, -5*s - 53 = 2*d + 2*d. Let k = 225 + -105. Is 10 a factor of 3/((-2)/(k/s))?
True
Suppose 0 = w + 3*p + 47, w + 5*p - 113 = 4*w. Let q = -11 - w. Is 19 a factor of q?
False
Let g = -17 - -7. Let w = 22 + g. Does 6 divide w?
True
Suppose 2*h - 2*c = 4*h - 92, 3*h - 4*c = 152. Let i = -5 + 16. Let r = h - i. Is r a multiple of 19?
False
Let y be 8/(-2) + -1 + 0. Let q be 6/(-15) + (-186)/(-15). Let l = y + q. Does 5 divide l?
False
Let q = -7 + 12. Suppose 2*n - o + 2*o - 20 = 0, -q*n + 3*o = -39. Does 9 divide n?
True
Let w be (-9 - 0)/(7 - 6). Let t be (-33)/w - (-3)/9. Suppose -m + 49 = 2*m + 2*c, -4*c - t = 0. Does 8 divide m?
False
Let i be ((-20)/(-10))/(2/(-3)). Does 10 divide 40*(6/(-2))/i?
True
Let f = -81 + 107. Does 13 divide f?
True
Let h(z) = -10*z - 4. Let f(y) = 30*y + 11. Let v(d) = 6*f(d) + 17*h(d). Does 10 divide v(2)?
False
Let t be (-60)/(-2) + (1 - 0). Let x = 60 - t. Is x a multiple of 29?
True
Suppose k - 3 = 3. Does 3 divide k?
True
Let b be (-4)/(-10)*5*8. Suppose -3*s + b = -47. Does 9 divide s?
False
Let s(q) = q**3 + 9*q**2 - 12*q - 10. Let a be s(-10). Let b(g) = -g**2 + 11*g + 3. Does 11 divide b(a)?
False
Let t(y) = y**3 + y**2 - y. Suppose 4*u + 20 = -0*u. Let d be ((-6)/15)/(1/u). Is 4 a factor of t(d)?
False
Let u(h) = -h + 16. Does 4 divide u(12)?
True
Let t(w) = -5 - 2 - w**3 - 3*w - 4 - 8*w**2. Does 13 divide t(-8)?
True
Let y(a) be the first derivative of a**3 + 8*a**2 + 9*a - 4. Does 7 divide y(-6)?
True
Let a(r) = 9*r**2 + 2*r - 1. Suppose 2*j = 5*k - 1, -3*k + 3*j - 1 = j. Let b be a(k). Suppose 4*d - 17 = o, o - 5*d = -4*o - b. Does 2 divide o?
False
Let q = 6 + 6. Let b be (-32)/q*(-42 + 0). Suppose w = 5*w - b. Is 14 a factor of w?
True
Let v = 19 - 14. Is v a multiple of 3?
False
Let h = 3 - -1. Suppose 5*f + b - 98 = 55, -3*f = h*b - 102. Does 12 divide f?
False
Suppose -23 + 79 = 2*t. Suppose -h - 3*h = -t. Is h a multiple of 6?
False
Let h = -14 - -32. Is 13 a factor of h?
False
Let r(p) = p**3 - 5*p**2 + 2*p - 4. Let n be r(5). Let s = -2 + n. Suppose 5*k - 100 = -4*i, 0 = -4*i + s*k + 68 + 68. Is 15 a factor of i?
True
Let z(a) = a + 10. Let d be 4 + (10 - (1 + 3)). Is 10 a factor of z(d)?
True
Let a = 17 + -9. Is 4 a factor of a?
True
Suppose -68 = -5*q - d, 10 = 3*q - 2*q + 2*d. Is 14 a factor of q?
True
Suppose 8*b - 5 = 27. Is b even?
True
Let o be (-88)/(-16) + (-1)/(-2). Suppose -2*g + 14 = o, -3*s - 4*g + 184 = 0. Is 14 a factor of s?
True
Suppose w - 4*w = -5*d + 140, -5*d + w = -140. Is 7 a factor of d?
True
Suppose 4*f - 4 = 12. Suppose 0 = f*g + j - 66, -5*g - j = -6*j - 70. Does 8 divide g?
True
Suppose -5*h = -3*u - 140, -2*h - 2*u + 30 = 2*u. Let q = h + -15. Does 5 divide q?
True
Let p = -13 + 12. Is 19 a factor of (p + 0 + 0)*-41?
False
Suppose 3*s - 380 = -7*s. Is 19 a factor of s?
True
Suppose 0 = -5*t - 2*w - 2 + 4, 14 = -t - 4*w. Suppose -5*f = -5*q + 240, 2*f + 222 = 5*q + 3*f. Suppose t*k + 1 = q. Does 11 divide k?
True
Let g(p) = 1