 5*h. Is n a multiple of 17?
False
Suppose -3*o + 128 + 136 = 0. Suppose 5*d - o = d. Is 22 a factor of d?
True
Let z(j) = 2*j**2 - 5*j - 3. Let o(m) = m**3 - 5*m**2 + 2*m - 5. Let c be o(5). Let x(n) = 2*n**2 - 6*n - 4. Let q(w) = c*z(w) - 4*x(w). Does 15 divide q(4)?
False
Let q(r) = -5*r**3 - r**2 - 2*r - 1. Let a be q(2). Let g = 81 + a. Suppose g - 5 = 3*o. Is 6 a factor of o?
False
Is 17 a factor of ((-25920)/14)/(-5) + 10/(-35)?
False
Does 2 divide ((-30)/(-12) + -6)*-14?
False
Let m be 65 - (-4 - -2 - -1). Suppose 0 = -5*x + 2*x + m. Is x a multiple of 11?
True
Let a(o) = o**2 + 6*o + 4. Let r be a(-5). Let y be (-16)/4*(-1)/2. Is 22 a factor of y - (-26 + r) - -3?
False
Let y = -3 + 5. Suppose y*o - 2 = 18. Does 3 divide o?
False
Suppose -4*p = 3*o - 2, -o = 4*p - 6*o - 18. Let x be p/(-11) + 932/44. Suppose -2*g = 5*z - x - 60, 90 = 5*z + 5*g. Is 5 a factor of z?
True
Let m(f) = -f**3 + 10*f**2 - 10*f - 14. Does 17 divide m(7)?
False
Suppose 2*p - 4 + 0 = 0. Is 19 a factor of 32/p + 3 + 0?
True
Suppose 0*s + 4*r + 18 = 2*s, -4*s - 4*r = -84. Is 5 a factor of s?
False
Let q = -80 - -122. Suppose -q = o - 4*o. Is 14 a factor of o?
True
Let i = -64 - -123. Let h = i - 30. Does 14 divide h?
False
Let k(v) = -v**2 + 7*v + 8. Let h be k(8). Suppose h = -z + 2*y + 13, -3*z - y = -0*y - 53. Suppose -z = -3*b - 5, 2*b - 40 = -m. Is 18 a factor of m?
False
Let z = 15 - -87. Let u = z + -47. Is u a multiple of 18?
False
Let o(y) = 3*y**2 + 4*y + 5. Does 3 divide o(-2)?
True
Let l(d) be the first derivative of 8*d**3/3 + d**2 - d + 4. Does 9 divide l(1)?
True
Suppose 4 = -2*a - 6. Does 15 divide (-72)/a - 3/(-5)?
True
Let g(h) = 4*h**2 + 3*h + 8. Let f(d) = -d**2 - 1. Let a(t) = -5*f(t) - g(t). Is a(9) a multiple of 17?
True
Let o(s) = -s**3 - 7*s**2 - 7*s. Let j be o(-5). Let z(k) = -k**3 + 13*k**2 - k + 14. Let f be z(13). Is 13 a factor of ((-114)/j)/(f/5)?
False
Let u(g) be the first derivative of -g**4/12 + 5*g**3/6 - g**2/2 - 1. Let t(m) be the second derivative of u(m). Does 8 divide t(-8)?
False
Let r(d) = 26*d**2 + d - 6. Does 25 divide r(2)?
True
Suppose 2*a + 6 = 3*a + 3*z, -4*z = 0. Let c = a - 2. Suppose 18 = c*w + 2. Is w a multiple of 4?
True
Suppose -3*t - 2*t = 5. Does 2 divide (t + -2)/(33/(-55))?
False
Suppose 3*t - 5*t = 0. Suppose -x + t*x + 6 = 0. Let z = 14 - x. Is z a multiple of 5?
False
Does 6 divide (84/35)/((-172)/(-85) - 2)?
True
Is 8 a factor of ((-354)/(-36))/(1/6)?
False
Suppose -n + o + 4 = -0*n, -4*n + 5*o = -11. Suppose 2*v = n + 13. Suppose 0 = -4*y + 21 + v. Is 7 a factor of y?
False
Let t be (-3)/(3/20) + -2. Let l = t - -42. Does 13 divide l?
False
Let n(m) = -m**3 - 8*m**2 - 9*m - 8. Let i be n(-8). Let o = 16 + -13. Suppose l - 5*l = -o*x - i, 0 = 4*l + x - 48. Is 13 a factor of l?
True
Let t(f) be the third derivative of -f**6/120 + f**5/30 + f**4/8 + f**2. Does 5 divide t(-2)?
True
Let j(b) = -7*b**3 + b. Let y be j(1). Let z be (15/y)/(1/(-2)). Let l(a) = 3*a + 3. Does 9 divide l(z)?
True
Let c(l) = l**3 + 6*l**2 + l - 4. Let s be c(-5). Suppose -2*f = -a + 6, -s = -7*a + 2*a + 3*f. Is 12 a factor of 4/a + -1 - -11?
True
Let z be (-2)/(-1)*6/(-4). Is -3 + z/((-6)/52) a multiple of 10?
False
Let a(j) = 25*j + 3. Let w be a(4). Suppose -w = 3*g - 8*g + 2*b, -5*g = 4*b - 79. Let z = 33 - g. Is z a multiple of 8?
False
Let g(h) = h + 12. Let v be g(-9). Suppose -39 = -3*k - 0*k + v*o, o = -k + 19. Is k a multiple of 8?
True
Let y(w) = 16*w - 63. Does 22 divide y(6)?
False
Suppose 5*d + 16 = 3*d. Let w(p) = p**3 + 8*p**2 - p - 11. Let o be w(d). Is 1/2*-2*o even?
False
Does 15 divide (-27)/(-12)*(2 - -62)?
False
Let q(a) = 16*a + 24. Is 5 a factor of q(6)?
True
Let j(h) = -2*h**3 + h**2 - h + 2. Let w be j(-3). Let o = w + -8. Is 1 - 2 - o/(-4) a multiple of 7?
True
Let n(t) = t**2 + 5*t + 2. Is n(-6) even?
True
Let s(g) = 261*g**2 - g. Let d be s(1). Suppose 2*p + p = z - 130, 2*z - d = -5*p. Suppose 5*y = -5*x + z, 3*x + x = y - 16. Is y a multiple of 11?
False
Let a = -53 + 233. Is a a multiple of 18?
True
Suppose 0 = -3*r + 4*t + 244, 4*r - 3*r - t - 81 = 0. Is r a multiple of 28?
False
Let r(c) = 13*c**3 + 6*c - 6. Does 22 divide r(2)?
True
Suppose 5*t - 99 = 66. Is t a multiple of 8?
False
Let v be (-1 - -1)/((-12)/(-6)). Let y be (-3)/(v - (3 + -2)). Is (23/y)/(2/6) a multiple of 11?
False
Let q = 24 + -15. Is 7 a factor of 2/(-6) + 129/q?
True
Suppose -3*y + 5*y + 2 = 0. Let k(n) = -38*n - 2. Is 18 a factor of k(y)?
True
Let h be 5*(2 - (-8)/(-5)). Suppose h*w - 15 = -w. Suppose 0 = 3*y + w*d - 8, -y + 0*d + 4 = d. Does 3 divide y?
True
Let b(x) = -x**2 - 4*x + 5. Let g = -5 + 1. Let f be b(g). Suppose -32 = -f*r - 2. Is r a multiple of 5?
False
Let n(q) = -q**3 + 8*q**2 + 6*q. Let g be n(9). Let r be (-3)/5 + g/(-45). Suppose r*d = -2*d + 14. Is 7 a factor of d?
True
Let j be 5*(-2 + 1)*-1. Suppose j*w - q = -19 + 119, -4*w - 5*q + 51 = 0. Is w a multiple of 10?
False
Let j(t) = 4*t**2 - 2*t - 6. Does 2 divide j(-2)?
True
Suppose -w + 3*r + 32 = 0, 3*w = 5*w + 5*r - 86. Is w a multiple of 19?
True
Suppose -2*b - 148 = -6*b. Let h = 73 - b. Is 12 a factor of h?
True
Let d be 19/(-2) + (-1)/2. Let n = d - -43. Suppose 2*c - 43 - n = -4*q, 4*q - 2*c = 92. Is q a multiple of 6?
False
Does 3 divide (-42)/15*-1*5?
False
Let b = -17 - -14. Let z = 36 + b. Does 13 divide z?
False
Is 9 a factor of (-162)/(-8)*(-8)/(-3)?
True
Let z(r) = 8*r + 2. Suppose -6*p + 30 - 6 = 0. Is 10 a factor of z(p)?
False
Let o(f) = -7*f - 3. Let q = -12 - -9. Does 9 divide o(q)?
True
Suppose 7*t - 16 = 3*t. Suppose -t*g - 16 = -0. Is -27*(16/6)/g a multiple of 18?
True
Let u(h) = h**3 + 11*h**2 - 4*h + 16. Is 22 a factor of u(-11)?
False
Suppose -12*r + 20*r - 2272 = 0. Does 40 divide r?
False
Let o be 11/2 - 2/4. Suppose 0 = 5*z - 0*m + o*m - 105, 0 = -z + 3*m + 17. Is 10 a factor of z?
True
Let j(g) = -7*g + 7. Is 16 a factor of j(-4)?
False
Suppose 7*o - 3*o = 16, 3*n - 24 = 3*o. Is n a multiple of 12?
True
Suppose -2*u + 20 = 4*x, 3 = 4*u - 4*x - 1. Suppose u*s - 47 = -3*d, 5 + 14 = 3*s - d. Does 8 divide s?
True
Let p = 17 + -11. Let m be 244/p - (-2)/6. Let r = m - 21. Is r a multiple of 10?
True
Let m(t) = 3*t - 3. Let g(j) = -16*j + 16. Let a(u) = 4*g(u) + 22*m(u). Let r be a(9). Suppose -r = -5*p + 4*p. Is p a multiple of 8?
True
Let p(s) = -s + 7. Let n(z) = -z - 2. Let b be n(-8). Let c be p(b). Is 13 a factor of (52/12)/(c/3)?
True
Let a = 54 + -32. Let q = 2 + a. Let j = q + 11. Is j a multiple of 13?
False
Suppose -2*p + 6 = -p + 3*x, -5*x = 25. Is p a multiple of 7?
True
Let j = -7 - -16. Let w = -11 - -18. Suppose -o + j = -w. Is o a multiple of 8?
True
Let l = -16 + 25. Is l a multiple of 9?
True
Is 4/((-8)/(-122)) - 5 a multiple of 19?
False
Let m(y) = 12*y**3 + 5*y - 11*y**3 + 7*y - 10*y**2 - 7. Let c be m(9). Let k = 37 - c. Does 6 divide k?
False
Suppose z - 116 - 4 = 0. Does 16 divide z?
False
Let f(g) = 3*g + 15. Is f(11) a multiple of 14?
False
Let d = 53 - 25. Suppose -4*y = 4*r - d - 80, 3*y - 4*r - 109 = 0. Is y a multiple of 8?
False
Let c = 7 - 4. Suppose 0 = -4*a + c*a + 42. Is 14 a factor of a?
True
Suppose 3 = 3*u, 0*o - 3*u - 27 = -o. Suppose -2*w - o = -5*w. Is 10 a factor of w?
True
Let t(y) = y + 8. Let r be t(-8). Suppose -2*a + a + 27 = r. Does 9 divide a?
True
Suppose -5*k = -0*k - 25. Suppose -3*n + 76 = -v + 6*v, -k*v = 5. Does 9 divide n?
True
Is 3 a factor of 0 - -2 - 13*-1?
True
Let x(w) be the second derivative of w**4/12 + 5*w**2/2 - w. Is 9 a factor of x(4)?
False
Let u(q) = -5*q**2 - q - 2. Let t be u(-2). Let f = 48 + t. Suppose 0 = v - 0*v + 5*o - 31, 0 = 4*v - 4*o - f. Is v a multiple of 11?
True
Let y = -6 - -24. Is 18 a factor of y?
True
Let g = -3 + 57. Suppose -2*b + 3*b = 3*l - 9, 0 = -3*l + 12. Suppose g = b*k - k. Is 22 a factor of k?
False
Suppose w + 207 = 5*h, -2*h + 2*w + 75 = -w. Does 29 divide h?
False
Let t(o) = -4*o + 1. Let q be t(-6). Suppose 7 = b - q. Is b a multiple of 15?
False
Suppose 0 = -0*v + v - 5. Suppose 2*n = -w + 7, 0 = -4*w + n - v*n + 24. Does 5 divide w?
True
Let j(p) be the third derivative of p**6/120 - 3*p**5/20 + p**4/3 + 3*p**3/2 + 2*p**2. Let t be j(7). Let f = t + 55. Is 11 a factor of f?
True
Is (1 - -51)*(-24)/(-32) a multiple of 1