454 = 4*u - 3*h. Is 23 a factor of u?
True
Let p be (-1)/(1/(-9)*1). Let y be p/6*(-2)/(-1). Suppose f = -2*n + 11, -2*f - 2*n + 17 = y*n. Is f a multiple of 8?
False
Let x = 6 + -2. Suppose -w + 0*w + x*d = -45, 0 = w + 4*d - 21. Is 11 a factor of w?
True
Suppose 0 = -4*d + 2*n - 38, 0 = 3*d + 2*d + 5*n + 10. Is 9 a factor of 3 + 0 - 322/d?
False
Is -12*((-12)/4 - 2) a multiple of 15?
True
Let s(b) = 9*b + 2. Is s(7) a multiple of 11?
False
Let p(o) be the second derivative of o**4/12 - 5*o**3/6 - o**2/2 - o. Let n be p(5). Is (-6 + -2*1)*n a multiple of 6?
False
Let z(i) = -i + 10. Let n be z(8). Suppose -f = -5*o + 2, -19 = f + n*o - 3. Let b = -7 - f. Does 4 divide b?
False
Suppose -5*i + 0*f = -2*f - 15, -6 = -2*i - f. Suppose -3*d + 21 = i*x, -46 + 7 = -2*x + 3*d. Is 5 a factor of x?
False
Suppose -2*c = 10 - 2. Does 16 divide c*51/(-3) + -3?
False
Let i(m) = -6*m - 10. Let y be i(-10). Let b = -11 + y. Is b a multiple of 16?
False
Let i(j) = -j**2 - 8*j + 3. Let q be i(6). Let u = -24 - q. Does 27 divide u?
False
Suppose -3*g = 5*o - 209, -4*g - 5*o + 332 = 60. Is g a multiple of 16?
False
Suppose -o - 5*z + 3*z - 5 = 0, 5*z = -o - 17. Let k(t) = -2*t**3 - 2*t**2 + t - 4. Let i(m) = -m**3 - m. Let s(d) = -3*i(d) + k(d). Is 13 a factor of s(o)?
False
Let v(h) = h**2 - 7*h - 13. Let z be v(9). Suppose 0 = g - 5, 2*g = z*i - 51 + 16. Is 3 a factor of i?
True
Let p(c) = 8*c - 1. Let s(a) = -a**3 + 9*a**2 - 1. Let l be s(9). Let t be 2/(6/(-9)*l). Is 9 a factor of p(t)?
False
Let q(s) = 4*s - 1. Let h be q(1). Suppose 0 = -4*a - h*p + 88, 4*a + 4*p = 3*a + 35. Let f = a - 5. Is f a multiple of 7?
True
Let j(b) = -b**3 + 14*b**2 + 3*b - 10. Is j(12) a multiple of 56?
False
Let m = -133 - -232. Does 11 divide m?
True
Let f(s) = -10*s + 4. Let o(p) = -20*p + 9. Suppose -26 = -0*k - 2*k. Let n(v) = k*f(v) - 6*o(v). Is n(-2) a multiple of 8?
False
Is 40 a factor of (-3 - (0 + 1))/(12/(-762))?
False
Is 10 a factor of 2/6 - 16/12 - -101?
True
Let m = -1 + 4. Let y = -20 - -12. Is 6 a factor of -1*y/(-2 + m)?
False
Let g be (3 + -5)*1 + 0. Is 9 a factor of (-18)/g*10/3?
False
Let j = -8 + 10. Suppose 0*l - j*l = -66. Is l a multiple of 11?
True
Let v = -30 - -42. Suppose 0*h - 5*h + 140 = k, -4*k + 20 = 0. Let u = h - v. Is u a multiple of 15?
True
Suppose 2*r + 0*r = -18. Let l = r + 16. Does 7 divide l?
True
Let r(q) be the third derivative of q**5/5 + q**4/24 + q**3/6 - 7*q**2. Suppose 0 = -y + i + 1, 0 = i - 0 + 2. Is r(y) a multiple of 12?
True
Suppose -3*b = -5*y + 1 + 8, 9 = 2*y - 3*b. Suppose -6*o + o + 55 = y. Is 5 a factor of o?
False
Suppose 4*y + 5*t - 151 = 0, -2*t - 5 = -3. Does 5 divide y?
False
Suppose 9 = -5*n - 4*p + 237, 0 = -n - p + 45. Is n a multiple of 19?
False
Let j = 89 - 47. Let l = 61 - j. Let p = l - -19. Is p a multiple of 14?
False
Let p = -20 + 16. Let j = 37 - p. Is 12 a factor of j?
False
Let b(c) = c**3 + 7*c**2 - 9*c - 3. Let y be b(-8). Suppose 19 = -y*m - 36. Let r = -3 - m. Is 4 a factor of r?
True
Let h = 16 - 1. Suppose -6*y + h = -3*y. Suppose -y = -2*u + 27. Is 14 a factor of u?
False
Let f = -1 + 6. Suppose -2*b = -f*b. Is 11 a factor of 2 + (0 - (-12 - b))?
False
Suppose 5*j - 4*j - 26 = 5*k, 2*k + 17 = j. Suppose -4*b + 4*y + j + 13 = 0, -3*y = 5*b - 22. Does 2 divide b?
False
Let u be 24*(0/2 - 16). Is 9 a factor of u/(-9) - 6/9?
False
Let d(q) = q**3 + 7*q**2 + 8*q + 10. Does 26 divide d(-4)?
True
Suppose 2*j - 2 = 2. Suppose -j*i = -3*i. Suppose i = 2*q + 2*q - 40. Is q a multiple of 5?
True
Let v = -24 + 40. Suppose c = -3*k + 23, -k - 5*c = 3*k - v. Does 4 divide k?
False
Let a = 366 - 167. Is a a multiple of 12?
False
Let q(f) = 7*f**2 + 3*f + 1. Suppose -3*z - 4*g = -2*g + 9, -z + g - 3 = 0. Is 11 a factor of q(z)?
True
Suppose 0 = -j - 0*j + 20. Is j a multiple of 5?
True
Suppose -f = -0*f - 32. Does 8 divide f?
True
Let k = 74 - 38. Is k a multiple of 12?
True
Let y(h) = 3*h + 16. Suppose 4*n - 26 - 26 = 0. Is 29 a factor of y(n)?
False
Let a be 8/36 - (-43)/9. Let j(l) = l + 0 - l - a*l - 4. Is j(-4) a multiple of 14?
False
Suppose -517 = -5*j + s, 422 = -2*j + 6*j + 2*s. Is j a multiple of 26?
True
Suppose 5*n - 60 - 25 = -3*t, -3*t = n - 5. Is 4 a factor of n?
True
Let g(t) be the second derivative of t + 0 - 3/2*t**2 - 13/6*t**3. Is 23 a factor of g(-2)?
True
Suppose -k = -5*g - 6*k + 225, 0 = g + 5*k - 49. Is g a multiple of 6?
False
Suppose 5*f - 10 = 4*f. Is 10 a factor of f?
True
Let s(j) = 91*j**2 - 2*j - 3. Suppose 2*b - 4*n - 13 + 5 = 0, -4*b - 5 = -n. Let t be s(b). Is 16 a factor of (-2)/(-4) + t/10?
False
Let h = 14 + -10. Suppose 6*w - h*w - 20 = 0. Does 3 divide w?
False
Let f = -551 - -949. Is 41 a factor of f?
False
Let c(p) = p**3 - 4*p**2 - p - 3. Let o be c(5). Suppose -i - 2*m = -5*m - o, i - m = 9. Suppose 14 + 1 = i*u. Does 3 divide u?
True
Suppose 3*p + 2*p = 0. Suppose p = -w + 16 + 3. Let m = w - 10. Does 9 divide m?
True
Let q(z) = -z**3 + z - 2. Let r be q(0). Let v = 3 + r. Let a = 12 - v. Does 8 divide a?
False
Let g(v) = v**3 - 6*v**2 + 6*v + 2. Let j = 8 - 3. Is g(j) a multiple of 7?
True
Let y = -3 - -9. Does 6 divide y?
True
Let b be 4/(-10) + (-102)/(-30). Suppose -3*c = n - 2*c - 1, b*n + 5*c = 1. Suppose -n*z + 13 = -z. Is z a multiple of 6?
False
Let s = 64 + -45. Let x(m) = -m**2 + 6*m. Let i be x(6). Suppose -u - 4 + s = i. Is u a multiple of 15?
True
Suppose 3*o = 20 - 2. Let z = 2 - o. Let h = 3 - z. Is h a multiple of 4?
False
Let h(n) be the second derivative of -n**3/6 + 11*n**2 - n. Is h(0) a multiple of 11?
True
Let r be 1*10 - (1 - -1). Let i be (-1)/(-4) - 106/r. Let x = 2 - i. Is x a multiple of 10?
False
Does 17 divide -1 + (-1 - (-2 + -53))?
False
Let n(w) = 5*w**2 - w. Let h be n(1). Suppose -2*c + 8 = -4*c, h*x - 240 = -2*c. Does 14 divide x?
False
Suppose 4*u = -5*s - 8, 4*s - 6 = -s + 3*u. Let m be 68 - s - -2 - -2. Is (4/6)/(4/m) a multiple of 12?
True
Suppose 0*v - 8 = 2*v + 4*u, -24 = -3*v + 3*u. Suppose v*s + 4 = 40. Is 9 a factor of s?
True
Let t(x) be the second derivative of x**3/2 + x**2 - x. Let q(a) = 10*a + 6. Let s(r) = -2*q(r) + 7*t(r). Does 12 divide s(10)?
True
Let w(t) = -2*t**3 - 4*t**2 - 5*t - 3. Suppose 0 = -3*k - 0 - 9. Is 15 a factor of w(k)?
True
Suppose -3*k + 2*u - 4 = -2*u, -3*u = 6. Let x(z) = z**2 + z + 1. Is 8 a factor of x(k)?
False
Let x = -3 + 5. Let j = x + 21. Does 8 divide j?
False
Let v(c) be the first derivative of -c**2/2 + 3*c + 2. Let m be v(-6). Let q = -7 + m. Does 2 divide q?
True
Let p = -5 - -8. Suppose -3*z + 18 = p*c + 6, 0 = 2*z - 5*c - 1. Suppose z*w + w = 36. Does 5 divide w?
False
Suppose 0 = 2*l - 0*p - 3*p + 49, 4*l + 83 = p. Let q be (18/8)/((-5)/l). Let o = q - 3. Is 6 a factor of o?
True
Let q(n) = n**2 - 11*n + 6. Let p(f) = -3*f**2 + 22*f - 13. Let l(k) = -2*p(k) - 5*q(k). Suppose 3*c + y + 32 = 0, -3*c - 3*y + 2 = 26. Does 8 divide l(c)?
True
Let g(j) = -2*j + 11. Is 9 a factor of g(-8)?
True
Let j = 11 - 0. Let l = j - 5. Is 6 a factor of l?
True
Let w be (4/3)/((-5)/(-15)). Suppose -w*v - v = -70. Is v a multiple of 4?
False
Let q(d) = 2*d**3 - 3*d + 3. Let j be q(2). Suppose 4*n - j = 131. Is 18 a factor of n?
True
Let b(d) be the third derivative of -7*d**4/24 - d**3/2 - 4*d**2. Does 9 divide b(-3)?
True
Suppose 2*q + 3*q - 200 = 0. Is 40 a factor of q?
True
Let s = 17 - 9. Is (-1 - 1)/((-4)/s) even?
True
Let o(s) = 5*s**2. Let k be o(1). Let f(r) be the third derivative of r**6/120 - r**5/15 - r**4/6 + 7*r**3/6 + 2*r**2. Is f(k) a multiple of 6?
True
Suppose -3*b - 38 = 61. Suppose 5*w + 528 - 123 = 0. Let a = b - w. Does 24 divide a?
True
Suppose i - 10 = 6*i, 78 = z - i. Is z a multiple of 19?
True
Let z(j) = -4*j**2 - j + 2 - 1 + 2*j**2 + 3*j**2. Let h(b) = -b**2 + 1. Let k be h(2). Does 13 divide z(k)?
True
Suppose 0 = -4*h - 4*j + j + 35, -5*h + 5*j = 0. Suppose h*p - 180 = -0*p. Is p a multiple of 9?
True
Let f(a) = -2*a + 7. Let u be f(11). Let z = 2 + -3. Let q = z - u. Does 7 divide q?
True
Let y = -42 - -55. Is 9 a factor of y?
False
Let j(b) = -b**3 - 3*b**2 + 2. Let r be j(-3). Suppose 0 = r*q + 1 - 7. Is 7 a factor of (-1 - 10/(-2)) + q?
True
Let u be 96 - (5 + -1 + 0). Suppose 27*m - u = 23*m. Is m a multiple of 6?
False
Let m(n) = 6*n**2 - 49*n - 29. Let b(a