 19/7. Is 7 a factor of o(z)?
True
Let g(o) be the first derivative of o**4/6 + o**3/6 - 2*o**2 - o + 2. Let u(h) be the first derivative of g(h). Is 11 a factor of u(-3)?
True
Suppose -2*j + 3*l = -6, 2*j + 0*l - 6 = -2*l. Let t be (j/6 - 0)*58. Let w = t + -12. Is 17 a factor of w?
True
Suppose -2*p + 0*p + 16 = 0. Is 8 a factor of p?
True
Let i = -1 - -6. Let q(o) = -5*o + 5. Let p(d) = 6*d - 6. Let l(t) = 6*p(t) + 7*q(t). Does 3 divide l(i)?
False
Does 3 divide 1 + ((-4)/(-3))/(32/48)?
True
Suppose -5*s + 4*s + 10 = 0. Let u = s - -26. Is 18 a factor of u?
True
Let g(u) = u**3 - 9*u**2 + 7*u + 16. Is g(8) even?
True
Let m = 12 + -3. Let t = -1 + m. Suppose t*o + 7 = 9*o. Is o a multiple of 7?
True
Suppose -3*b = 4*m, 2*b + 0 = -m - 5. Suppose -2*z = m*z. Suppose 0 = -x - z*x + 2. Is 2 a factor of x?
True
Let l(p) = -p + 3. Let y(j) = -j**2 - 2. Let q be y(2). Let t = q + 2. Is l(t) a multiple of 7?
True
Suppose -2*a = 4*x + 6, 2 = 5*a - 3*x - 22. Let r(m) = -3*m**3 + 7*m + 12*m**2 + 8 + 4*m**a + 0*m**2. Does 18 divide r(-11)?
False
Suppose -6*d = -d - 5*k - 80, -d - k = -8. Let s be 18/(-8) + (-1)/(-4). Let i = d + s. Is i a multiple of 4?
False
Let f(o) = 15*o**2 - o. Let i be (-6)/(-9) - 3/(-9). Does 12 divide f(i)?
False
Let c be 46/12 - (-3)/18. Suppose -15 = -4*m - 3*z, 5*m + z + 10 = 3*z. Suppose c*y + m*y - 20 = 0. Is 5 a factor of y?
True
Let z(l) = -l**3 - 7*l**2 - 8*l - 6. Let b be z(-7). Suppose -2*o + b = 8. Does 21 divide o?
True
Let t(c) = -21*c**3 - c**2 - c - 1. Suppose 3*f + 15 = 5*l, -l - 9 = -4*l - 5*f. Suppose -l*s + 4*s + 1 = 0. Is t(s) a multiple of 10?
True
Let s be -24 - (-6)/(-7 - -4). Is 8 a factor of 1*s/(-4)*2?
False
Let d(f) = f + 2. Let q be d(-3). Let w(o) = 2*o + 5. Let p be w(-7). Let v = q - p. Is v a multiple of 4?
True
Suppose 0 = -4*v + 5*a + 170, -v + a + 43 = -0*a. Is v a multiple of 16?
False
Let f(n) = n**2 - 3*n - 2. Let b be f(4). Suppose -58 = -3*y + 53. Is y + (1 + 1)/b a multiple of 19?
True
Let j = 80 + -75. Suppose d = 5*d + 1028. Does 14 divide d/(-5) - (-3)/j?
False
Let j(f) = -f**2 - 9*f - 4. Let y be j(-6). Let i = y + 2. Is i a multiple of 8?
True
Suppose -5*h + 4*h = 5*o - 80, 2*h = -5*o + 150. Suppose -y = y - h. Suppose y = 2*q - 17. Is 13 a factor of q?
True
Suppose 24 = -0*d + 2*d + 2*o, 0 = -d + 4*o + 12. Suppose d*z = 13*z - 96. Does 32 divide z?
True
Suppose 14 = 2*a + 12. Is -17 + 13 + 24/a a multiple of 5?
True
Let x(l) = -l**2 + 4*l - 2. Let r be x(2). Suppose r*g - 13 = -5. Does 3 divide g?
False
Let w = 184 + -130. Suppose -w = -3*b - 15. Suppose -b = u - 2*u. Is 13 a factor of u?
True
Let o(h) = 4*h**2 - 3*h - 3. Suppose 0 = 4*q - 0*q - 16. Suppose -5*g - 4 - 5 = -x, -q*x = 3*g + 10. Is 19 a factor of o(g)?
True
Does 3 divide 8/10 + 33/15?
True
Suppose -2*p - 50 = -7*p. Is 4 a factor of p?
False
Let z = -18 + 10. Let n(g) = -5*g + 6 - 8*g**2 + 0*g + g - g**3. Does 17 divide n(z)?
False
Let a = -5 + 9. Suppose a*r - 3 = 5. Suppose 5*i - 5*v = 25, -r*i + 5*v + 4 = -0*v. Is i a multiple of 7?
True
Let r(j) = j**2 - 7*j + 5. Is r(-7) a multiple of 29?
False
Suppose -12 = -5*y + 4*y. Is y a multiple of 6?
True
Let p(v) = -v**3 + 3*v**2 + v + 2. Let a be p(3). Suppose 3*h = a*m - 31, -2*h - 30 = 3*h - 4*m. Let i(b) = -18*b - 3. Does 15 divide i(h)?
False
Let u = -65 - -100. Let q be 1 + -1 + 0 - -3. Suppose -4*t + q*z = -17 - u, 2*t - 20 = 3*z. Is t a multiple of 8?
True
Let i(o) = -2*o + 3. Suppose 3*p = -2*j + 3*j + 60, 0 = -3*p + 3*j + 60. Suppose -b - 19 = -3*n, -2*b - 2*b - 2*n - p = 0. Does 11 divide i(b)?
False
Suppose -46 = -2*s - a - 0*a, -5*s = 4*a - 112. Is 8 a factor of s?
True
Let z(u) = -u**2 + 5*u - 1. Let m be z(5). Let q = -3 - m. Let g(x) = -7*x - 1. Does 13 divide g(q)?
True
Let o(z) = z**3 - 12*z**2 - 12*z + 6. Is o(13) a multiple of 15?
False
Let d be 2/4 + 165/10. Let w = -3 + d. Is 7 a factor of w?
True
Let l(h) = -h + 5. Let w be l(3). Suppose 2*s + w*r - 3*r - 4 = 0, -5*s + r + 13 = 0. Is 3 a factor of s?
True
Let n be (-2)/(-8) - (-142)/8. Is n + (-2)/((-4)/(-2)) a multiple of 6?
False
Let a(m) = 2*m - 23. Is a(17) a multiple of 2?
False
Suppose 4*l + 34 = 3*k, 2*k + 0 - 6 = l. Is 2/l + (-172)/(-10) a multiple of 17?
True
Let z(g) = 1 + 0 - 2*g - 5 + 0. Let b be z(-3). Suppose -3*f - 5*u = -3, 4*f - 11 + b = -5*u. Is f a multiple of 6?
True
Let b be 7/(3 + 92/(-32)). Let y = b + -25. Is 10 a factor of y?
False
Suppose -l + 184 = 3*l. Let q = l - 85. Let m = 74 + q. Is 12 a factor of m?
False
Suppose -2 = -3*y + 2*y. Suppose -96 = 4*s + y*g - 26, s + 45 = 5*g. Let p = s + 30. Does 5 divide p?
True
Let c(k) be the first derivative of -1 - 1/4*k**4 - 4/3*k**3 - 2*k - 5/2*k**2. Does 9 divide c(-4)?
True
Let t(l) = -l**3 + 3*l**2 + l + 3. Let x be t(3). Does 8 divide (32/x)/((-4)/(-12))?
True
Let u(c) = -8*c + 8. Does 24 divide u(-8)?
True
Suppose -a - 4*a = -175. Does 7 divide a?
True
Suppose -v + 32 = 3*v. Does 7 divide v?
False
Let m(p) = 2*p. Is m(8) a multiple of 8?
True
Is 6 a factor of 3/(-2) - 204/(-8)?
True
Let g(w) = w**3 + 8*w**2 - 5*w. Let u be g(-8). Is 6 a factor of 12/8*u/6?
False
Let d(c) = 2*c - c - 4*c - 6. Let h be d(9). Let i = -14 - h. Is 19 a factor of i?
True
Is (40/(-12))/((-12)/270) a multiple of 10?
False
Let c(s) = -5*s + 62. Is 15 a factor of c(-12)?
False
Let k be 6*(-4*(-1)/6 - 1). Let q be 1 - 3 - -1 - 1. Is 16 a factor of 42 + k/q*2?
False
Suppose 21 = z + 2*m, 3*z - m - 26 = 2. Is z a multiple of 11?
True
Let v(u) = 7*u**3 - 3*u**2 + 3*u. Is v(3) a multiple of 19?
True
Let a(o) be the first derivative of o**2/2 - o - 2. Let r be a(4). Suppose -r*j + 25 = -8*j, 3*j = 5*b - 35. Does 2 divide b?
True
Let b = 18 - 16. Suppose 0 = -b*x + 5*k + 143, 5*x + 0*k - 323 = k. Is 16 a factor of x?
True
Suppose -k + 52 = 3*v + 4*k, 0 = 2*k - 10. Is 4 a factor of v?
False
Let h be (-30)/(-8) + (-3)/(-12). Suppose h*v = -2*i + 20, 3*i = -0*v + v + 2. Does 4 divide v?
True
Let h be 8 - 3/6*6. Suppose -2*n - b = -4, -n + 20 = -h*b - 4. Is 3 a factor of n?
False
Let c be 3 + -1 - (-26 - -1). Is (c/(-12))/(4/(-32)) a multiple of 9?
True
Let f(h) = h**3 + 12*h**2 + 6*h + 12. Let d be f(-9). Let q = d + -69. Suppose -4*j = -3*y - q, 112 = 3*j - 0*j + y. Does 12 divide j?
True
Let l = -128 + 342. Let o = l - 143. Suppose 5*n + 3*p = -p + o, 4*p = 2*n - 6. Does 11 divide n?
True
Is 1/(-4 - (-65)/16) a multiple of 3?
False
Let f(l) = -l**2 + 12*l + 17. Let q be f(13). Let d = q + 2. Is d a multiple of 3?
True
Suppose t - 2*d - 51 = 0, 0*t + t + 4*d = 33. Does 9 divide t?
True
Suppose -520 = -3*u - 4*a, -10*a + 7*a = -2*u + 324. Is 20 a factor of u?
False
Suppose n - 2*n = -36. Does 9 divide n?
True
Let f(a) = -2*a - 1. Is f(-13) a multiple of 7?
False
Let l = 2 - 3. Let u be 2/2 + (-70)/l. Suppose 4*d - u = d + t, -5*d + 121 = -3*t. Is 17 a factor of d?
False
Let o(x) = -x + 7*x - 4 + 0*x. Does 11 divide o(3)?
False
Let m be (-4)/(1 + 0) + 2. Let l be 0 + (-4 - m)*-1. Suppose 3*d = -2*t + 25, -1 = -d + 4*t - l. Is d a multiple of 7?
True
Let n = -18 - -41. Is n a multiple of 3?
False
Let k(g) = 8*g - 6*g**2 - 1 - 2 + 1 + g**3 + 0*g**3. Is k(6) a multiple of 23?
True
Suppose 0 = 3*v - 6*v. Suppose 3*x = -v*x - 66. Does 9 divide (-2)/11 + (-598)/x?
True
Let a(w) = w + 18. Let t be a(-15). Suppose 3*i - 105 = -2*p, t*i + 252 = 2*p + 3*p. Does 17 divide p?
True
Let t(c) = c**3 + 2*c**2 + 2*c + 1. Suppose 0*x + 5 = -5*x. Let n be t(x). Is 8 a factor of (-24 + n)*(-2)/3?
True
Let r = -6 + 52. Suppose r = 3*g + 10. Does 8 divide g?
False
Suppose 3*t - 8 = -5*p - 1, -3 = 3*t. Let i be (2/6)/(5 - 220/45). Suppose i*s + p*f = 59, 33 + 10 = 2*s + 5*f. Is 10 a factor of s?
False
Suppose 3*j + 0*j - 27 = 0. Is 9 a factor of j?
True
Let t = -1436 - -2122. Suppose 0 = -q + c + 166, -4*c - 153 = 3*q - t. Is (-8)/(-6)*q/6 a multiple of 15?
False
Suppose -3*r = -5*r - i + 3, -5*r = 3*i - 8. Let t(q) = 8*q**2 - q + 1. Let m be t(r). Suppose -u + m = u. Is 2 a factor of u?
True
Let x(c) = c**3 - 15*c**2 - 5*c - 8. Is 58 a factor of x(16)?
False
Suppose -3*q + 73 = -4*x + 17, 36 = 2*q - 3*x. Is 7 a factor of q?
False
Let t(p) = -3*p**3 - 3*p**2. Let b(d) = d**2 + 7*d - 2. Let j be b(-7). Does 6 divide t(j)?
True
Suppose 4*i - 31 = -131. Let x be (-1 + -1)/(10/i). Sup