p = 9. Does 13 divide n?
True
Suppose -83 = -2*f + 1. Is f a multiple of 14?
True
Let q = 46 - -6. Is q/16 + 2/(-8) a multiple of 2?
False
Let b = 27 + -17. Is 10 a factor of b?
True
Suppose -48*s = -49*s + 25. Is s even?
False
Suppose -3*x = 4*y - y - 3, 0 = -5*x - 4*y + 10. Does 2 divide x?
True
Let u(i) be the first derivative of -i**4/4 - 2*i**3/3 - i**2/2 + 20*i - 8. Does 10 divide u(0)?
True
Let u = -2 - -5. Suppose 2*y - 6*y = 3*a - 35, 3*y = u*a + 21. Does 6 divide y?
False
Let s(d) be the first derivative of 2*d**3/3 + 3*d**2 + 14*d - 1. Is 11 a factor of s(-6)?
False
Let i(g) = 3*g**3 - 2*g**2 - 2*g + 3. Let z be i(2). Let m = 25 - z. Does 5 divide m?
True
Let g(v) = -v**3 + 15*v**2 - 10*v + 12. Is 20 a factor of g(14)?
False
Let i(v) = -v - 9. Does 3 divide i(-12)?
True
Let q = 66 + -33. Is q a multiple of 11?
True
Let u be (-2)/(-3)*(-18)/(-4). Let b(x) = 3*x - 9. Let q be b(7). Suppose 0 = -u*c + c + q. Does 3 divide c?
True
Let w(i) = i**2 + 6. Does 25 divide w(-8)?
False
Let g = 104 - 0. Is 26 a factor of g?
True
Let s(i) = i + 2. Let m(j) = j - 7. Let l be m(0). Let h be s(l). Let k(n) = -4*n - 4. Is 8 a factor of k(h)?
True
Suppose n + 0*n = 85. Is n a multiple of 23?
False
Suppose 82 = 2*q - 4*p, -q - 7*p = -3*p - 71. Suppose -9 = -4*s + q. Does 7 divide s?
False
Suppose -4*m + 0*m + 12 = 0. Suppose m*w + w = 24. Let k = w + 3. Is 6 a factor of k?
False
Let z(h) = 5*h - 10. Is 5 a factor of z(5)?
True
Let l(g) = 28*g - 16. Let p(z) = -9*z + 5. Let d(t) = 5*l(t) + 16*p(t). Does 8 divide d(-6)?
True
Let a be (34/(-6))/(2/(-6)). Let k = -8 + a. Is k a multiple of 9?
True
Let d(u) = 20*u + 6. Does 11 divide d(3)?
True
Is (-3)/((-3)/(-7))*-1 a multiple of 2?
False
Let r(g) = 31*g - 1. Suppose 0 = 6*x - x + 5. Let c(m) = m. Let t(b) = x*r(b) - 4*c(b). Is t(-1) a multiple of 18?
True
Let i(p) = p**2 + 13*p + 11. Let g be i(-11). Let d = 67 + g. Let w = -33 + d. Is w a multiple of 7?
False
Let m be (-8)/(-5)*(-10)/(-4). Suppose 2*w - 3*f + 11 = 0, 6 + 4 = -5*w + m*f. Suppose w*o = 6 + 24. Is o a multiple of 6?
False
Suppose 15 = 3*a, 5*g + 0*a + a - 100 = 0. Let k = g - 10. Does 8 divide k?
False
Let q = -48 - -93. Is q a multiple of 20?
False
Let o be -11 - (-1)/1 - 1. Let r = -1 - o. Let x = r - 5. Is x a multiple of 2?
False
Let w(x) = -5*x - 2. Let g be w(-19). Suppose -5*d = -14 - 11. Suppose 0 = -d*m - 3*t + g, -4*t + 37 = 5*m - 57. Is m a multiple of 9?
True
Let n(l) = l**2 - 9*l + 9. Let i be n(7). Let z(m) = -2*m. Is z(i) a multiple of 10?
True
Suppose 0*f + f = 5*h - 1, 4*h - 4 = 0. Suppose -5*i - f = -3*i. Let j = 2 - i. Is 2 a factor of j?
True
Suppose -6*u - r = -5*u - 24, -u = 3*r - 20. Suppose u = 4*x + 6. Suppose -2*t = -k + 2*t + 21, 0 = -k - x*t - 15. Does 3 divide k?
False
Let f = 56 + -48. Is f a multiple of 5?
False
Suppose 0*z - 3*z = -12. Is (-1)/(-2)*z + 5 a multiple of 6?
False
Suppose 0 = -4*d - 4*z + 232, -2*z + 106 = 2*d + 2*z. Suppose t - d = -16. Is t a multiple of 16?
False
Let j = -69 + 128. Does 8 divide j?
False
Let c = -4 + 10. Suppose -c*g + 9 = -3*g. Suppose -2*m + g*m = 10. Is m a multiple of 5?
True
Let d be (-6 + 84)/((-6)/(-4)). Suppose -6 + d = 4*y + 5*r, r - 11 = -y. Does 9 divide y?
True
Let k(t) = -t**3 - 17*t**2 - 21*t - 5. Does 19 divide k(-16)?
False
Suppose 2*x + 0 = 2. Let k(w) = -x + 1 - w. Is 2 a factor of k(-5)?
False
Suppose p = -4*q - 20, 3*p = -2*q - 0*p. Let g be (-4)/q - (-4)/(-6). Suppose -5*x - 20 + 85 = g. Does 12 divide x?
False
Let v(s) = -s**3 - 9*s**2 - 9*s + 5. Is 4 a factor of v(-8)?
False
Suppose -w - 4*w = 0. Suppose w = -2*r + r. Suppose r = 3*p - 14 + 2. Is p a multiple of 2?
True
Does 21 divide 2*(3 + 33 + 1)?
False
Suppose -2*s = -4, 0*b + 5*s - 40 = -2*b. Is b a multiple of 2?
False
Suppose 3*n - 2*s = 2*n + 85, -2*n + s = -155. Does 15 divide n?
True
Let a(t) = t + 1. Let i(b) = -b - 2. Let h be i(0). Let c be a(h). Let v = c + 25. Does 24 divide v?
True
Let k = -74 - -134. Is 10 a factor of k?
True
Let k = -4 + 7. Suppose p - 13 = v + 4*p, k*v - 16 = 2*p. Suppose 4*o - 44 = -5*h + o, 2*o + 8 = v*h. Is 2 a factor of h?
False
Suppose -11 - 7 = -3*o - i, 2*i - 6 = -o. Does 5 divide o?
False
Suppose 3*o = -2*o - 2*q + 108, 0 = -3*o - 4*q + 76. Does 20 divide o?
True
Suppose j - 6*j + 2*o = -23, -j + 4*o = -19. Let w = 14 - j. Does 11 divide w?
True
Let r(f) = -5 + 2 - f + 4*f**2 - 2*f**2 + 7*f. Let c be r(-5). Suppose 0 = -2*k - 5*g + 15, 2*g = -2*k - g + c. Is 4 a factor of k?
False
Let p = -24 + 75. Is p a multiple of 18?
False
Let s be 73/(-5) + (-2)/5. Let a = 11 + s. Is (-48)/(-10)*(-30)/a a multiple of 18?
True
Let u = 9 + -8. Does 2 divide 5*((u - 4) + 4)?
False
Suppose 20 = 2*h + 5*o, -6 - 15 = -3*h - 3*o. Let f = 5 + -3. Suppose y + 15 - h = f*x, -4*y = 2*x - 30. Is 7 a factor of x?
True
Suppose -4*f + 3*p = -1412, -3*f + f - 4*p + 684 = 0. Suppose f = k + 4*k. Suppose -5*r = -3*r - 4*j - k, 0 = -5*r + j + 139. Is r a multiple of 9?
True
Suppose -y = y + 76. Let f = y - -64. Does 13 divide f?
True
Let q = -5 + -1. Let r(o) = o**2 + o - 3. Is r(q) a multiple of 7?
False
Let c(m) = m**2 - 8*m + 8. Let b be c(14). Let i = -62 + b. Is i a multiple of 15?
True
Let z = 469 - 154. Does 56 divide z?
False
Let y = 354 - 57. Is y a multiple of 38?
False
Let u(k) = 2*k + 9. Let r be u(-6). Let n be 3/(-2)*4/r. Suppose 4*b = n*i + 3*i - 98, 0 = 2*i - 2*b - 40. Does 9 divide i?
True
Let v be 0/2 - (4 - 0). Is 2 a factor of (15/6 - 3)*v?
True
Suppose -5*k = -4*o - 542, 0 = -k - 2*o + 3*o + 109. Let h = k - 75. Is h a multiple of 13?
False
Let w = 3 + -3. Suppose -2*y + 5*y - 4*l - 33 = w, -16 = -y + 3*l. Is 7 a factor of y?
True
Let w(j) = j**2 + 7*j + 8. Let x be w(-6). Let l(k) = 8*k. Let h be l(x). Is ((-4)/(-2))/(1/h) a multiple of 16?
True
Let z(a) = -7*a. Let y(w) = 6*w - 1. Let d(f) = 5*y(f) + 4*z(f). Is d(7) a multiple of 4?
False
Let k(f) = -f**3 - 9*f**2 + 5*f + 11. Let m be k(-10). Suppose 5*y + 54 = 4*b, -2*b - 3*b + 3*y + m = 0. Suppose -3*d + 4 = -b. Does 5 divide d?
True
Let v(c) = 4*c - 5. Is v(3) a multiple of 2?
False
Let t(g) = g + 4. Let k(d) = -2*d - 3. Let n(x) = -3*k(x) - 4*t(x). Does 4 divide n(11)?
False
Is (-42)/4*84/(-49) a multiple of 6?
True
Let j = -42 + 90. Does 24 divide j?
True
Let v = 5 - 0. Suppose -v*d + 0 = -15. Let o = 23 - d. Is 13 a factor of o?
False
Let i = -57 + 91. Is i a multiple of 9?
False
Let d(u) be the second derivative of -u - 1/5*u**5 + 1/12*u**4 + 1/3*u**3 + 1/2*u**2 + 0. Does 4 divide d(-1)?
True
Let b = -22 - -32. Is 4 a factor of b?
False
Suppose 0 = 4*x + 7 - 19. Suppose 0 = 2*h - x*h + 7. Is 2 a factor of h?
False
Suppose 5*q + 2 = 2*h + 10, 4*q = -3*h + 11. Does 8 divide 29 + q*(-6)/(-4)?
True
Let s(h) = 31*h**3 - h**2 + h - 1. Let z be s(1). Suppose f - z = -f. Is f a multiple of 5?
True
Let z(g) = -g**2 - 9*g - 8. Let c be z(-8). Is 0/(-3 - c) - -14 a multiple of 7?
True
Let r(h) = 2*h + 4. Let y be r(6). Let p = 21 - y. Does 5 divide p?
True
Let j(a) = a**3 + 4*a**2 + 5*a + 4. Let m be j(-3). Suppose -2*n + 1 + 39 = 0. Is 5 a factor of (9/(-15))/(m/n)?
False
Let c(t) = t**2 - 1. Let i be c(1). Suppose -x + 2*q = -40, -x + 32 = -i*x - 4*q. Suppose -4*r = -6*h + 2*h + x, 8 = -h - 4*r. Is 3 a factor of h?
False
Let c(z) = z**2 - 7*z - 3. Let y be c(8). Suppose 5*r + 10*j - y*j = 75, -5*r - 4*j = -70. Does 10 divide r?
True
Let b = 12 + -6. Suppose 5*h = 2*h + b. Suppose h*o = 11 + 1. Is o a multiple of 6?
True
Suppose -7 = -5*l + 8. Suppose 14 = 2*j + f, l*j + 4*f - 32 = -j. Is 6 a factor of j?
True
Let i(s) = -s**3 - 17*s**2 + s + 19. Let z be i(-17). Suppose 3*x - 2 = 1. Does 11 divide 2 - z - (x + -23)?
True
Let p(u) = u**3 + 11*u**2 - 6*u - 9. Is 19 a factor of p(-11)?
True
Suppose -5*p - p = -594. Is p a multiple of 37?
False
Suppose -5*u + 0*i + 1070 = i, 0 = 5*i + 25. Is u a multiple of 43?
True
Suppose -m + 2*x + 5 = 0, x = 4*x. Suppose 1 = 3*h - 5*r, -2*h - m = -5*h + 4*r. Is 5 a factor of h?
False
Let r(i) = i**2 - 9*i - 11. Let l be r(10). Is 0 + 0 - (-23 + l) a multiple of 9?
False
Let q = 20 + 55. Suppose 3*d = 3*n + q, 0*d + 8 = 2*d. Let k = 43 + n. Is k a multiple of 11?
True
Let d(f) = f**3 - 11*f**2 + 6*f - 10. Let w = -13 - -24. Does 23 divide d(w)?
False
Suppose k - 149 = -0*n - n, 4*n 