64. Let o = v + -6. Is 5 a factor of o?
True
Suppose -21*v + 143 + 277 = 0. Is v even?
True
Let z = 13 - -123. Suppose 2*g - z = -2*v, 73 = v + 5*g + 5. Is 34 a factor of v?
True
Suppose 2*t - 2 = 0, 2*t = g + g - 48. Is 25 a factor of g?
True
Let w(z) = z**3 + 9*z**2 + 4*z + 6. Is 19 a factor of w(-8)?
True
Let a = 24 - 3. Does 7 divide a?
True
Let v(p) = -p**3 - p**2 + p - 14. Let l = 4 - 4. Let i be v(l). Let q = 31 - i. Is q a multiple of 16?
False
Let n(k) = -6*k - 12*k - 3 + 30*k - 11*k. Is 2 a factor of n(11)?
True
Let q = 11 - 8. Suppose -5*g + 19 = -q*v - 4, 2*v = g - 6. Let f(u) = 4*u + 1. Is f(g) a multiple of 17?
True
Let y = 79 - 25. Is y a multiple of 35?
False
Let w = 26 + -19. Does 5 divide w?
False
Suppose -5*d + 76 = -9. Let n = 11 - d. Is (-26)/(-3) - n/(-9) a multiple of 4?
True
Let p = 17 - 47. Is 4 a factor of 36/p*(-10)/2?
False
Suppose -2*f + 8 = -f. Suppose 0*u + f = 2*u. Let x = 6 + u. Does 5 divide x?
True
Let g(j) = -j - 18. Let r be g(-13). Let s = 18 + r. Is s a multiple of 13?
True
Suppose -5*n - 5 - 2 = s, -4*s - 3*n - 45 = 0. Let i be 20/s*(-2 - 1). Suppose i*v - 66 = 3*v. Is 13 a factor of v?
False
Let w(c) = c**3 + 5*c**2 + 4*c + 4. Let y be w(-4). Let k = -2 + y. Suppose 0 = -5*f - l + 5*l + 23, 0 = k*l + 4. Is 2 a factor of f?
False
Let j(z) be the first derivative of -9*z**2/2 - 1. Does 22 divide j(-3)?
False
Let l(r) = r**3 - 6*r**2 - 8*r + 8. Let m be l(7). Is 4 a factor of -1 - m - -1*10?
True
Suppose -5*u + 495 = x, 6*u = 3*x + 5*u - 1565. Is 40 a factor of x?
True
Let p(q) = 2*q - 1. Let s be p(5). Suppose 3*o = -0*b + 5*b + 2, 0 = -5*b - 4*o - s. Is 16 a factor of 32/(b*(-2 - -1))?
True
Let b = 17 - 23. Let j(m) = m**3 + 6*m**2 - 6*m - 8. Is j(b) a multiple of 7?
True
Suppose -6*o + 16 = -2*o. Let c = -81 - -120. Suppose o*p - c = p. Is p a multiple of 6?
False
Let x = 7 - 4. Suppose 0 = -5*u - 2*r + 33, x*u - r - 1 = 2*u. Suppose u*v - 117 - 13 = 0. Does 11 divide v?
False
Let k(b) = b**2 - 5*b + 3. Let t be k(4). Does 6 divide (-3)/6*(t - 11)?
True
Let h = -38 + 74. Is 18 a factor of h?
True
Suppose 0*z + 5*z + 5*j = 5, 0 = -2*z - 5*j + 2. Does 5 divide (-4 + z)*5*-1?
True
Suppose -l = 2*l - 105. Let d = l - 77. Let f = 0 - d. Does 26 divide f?
False
Let h(m) be the first derivative of -m**3/3 + 9*m**2/2 - 10*m + 3. Let x be h(8). Is 5 a factor of 5/x*-1*4?
True
Let z be 15/4 - (-2)/8. Let k(s) = 2*s**2 - 4*s - 3. Does 12 divide k(z)?
False
Let b(i) = 3*i**2 - 7*i - 10. Let d be b(-10). Suppose -6*o = -o - d. Suppose -2*c + o = 2*c. Is c a multiple of 8?
False
Let z be 1 + (7/(-1))/1. Let f be 568/z + (-1)/3. Let o = f - -146. Does 19 divide o?
False
Suppose -2*c + 6*c = 8. Is 12 a factor of 492/(-6)*c/(-4)?
False
Let p(x) = 68*x**3 + x**2 - 41*x**3 + 52*x**3. Let n be p(1). Suppose -l + 5*j = -12, -j = -5*l + 4*j + n. Does 7 divide l?
False
Let c = -19 + 73. Does 18 divide c?
True
Let d(j) = 2*j - 4. Let m be d(4). Suppose 4*g - 8 = 0, 2*p - m*g - 1 = -3. Let w = 8 - p. Is w even?
False
Let c = 0 + 2. Suppose 0 = -a + 17 + 22. Suppose -c*u = u - a. Is 6 a factor of u?
False
Suppose -2 = -2*j - 2*j - 3*g, 4*j - 2*g + 8 = 0. Let w be 24 - (-1 + 3) - j. Suppose x - 2*x + 105 = 4*y, -y + w = -3*x. Does 15 divide y?
False
Suppose -3*o - 2 - 1 = -5*a, 4*a = -o + 16. Suppose 30 = 5*p + a*g, -3*p + 12 = -p + g. Is 4 a factor of p?
False
Let b(n) = 4*n**2 - 6*n. Is b(3) a multiple of 6?
True
Let x(p) = -23*p - 4. Is x(-3) a multiple of 16?
False
Suppose 3*d - 198 = f - 5*f, -3*f + 146 = d. Let o = f + -4. Is o a multiple of 19?
False
Let b be -5*(-7)/((-105)/(-648)). Suppose -5*p + w + b = 30, -4*w = p - 54. Suppose -4*s + 59 = 5*k, 30 = 4*s - 4*k - p. Does 8 divide s?
True
Let d(r) = 15*r**2 - 3*r - 4. Let f(h) = -30*h**2 + 5*h + 7. Let q(l) = -5*d(l) - 3*f(l). Is q(-1) a multiple of 14?
True
Let y(k) = -3*k. Let f be y(-1). Suppose -f*x = -v - 8, -3*x - 2*v = v. Suppose 0 = x*m + 4*u - 56, m + 2*u = 6*u + 10. Is 8 a factor of m?
False
Let m = 11 - 5. Is 6 a factor of m?
True
Let g be (15/(-6))/(2/4). Let z(q) = -q - 3. Let s be z(g). Suppose -s*u + 3*u - 10 = 0. Is u a multiple of 5?
True
Suppose 5*c + 20 = 2*m, m = 2*c - 4 + 12. Suppose -7*x + m*x + 91 = 0. Does 4 divide x?
False
Let t = 5 - 2. Let a(y) = 5*y - 2. Let m be a(t). Suppose -m = -4*d + 47. Is d a multiple of 9?
False
Suppose -n = r - 1, n - 4*r = -0 + 16. Suppose 0 = -m - 2*h - 2, 5*h = -5*m + 6 + n. Let t(b) = b**3 - 6*b**2 + 3*b. Does 8 divide t(m)?
False
Does 15 divide ((-2)/1 + -13)*-3?
True
Suppose 680 - 116 = w. Suppose 5*p - w = 11. Suppose p = -0*v + 5*v. Is v a multiple of 17?
False
Let i = 79 - 38. Does 12 divide i?
False
Let j = 206 - 182. Is j a multiple of 3?
True
Let w = -2 - -4. Suppose -3*p - w*p = -150. Suppose 0*z + p = 3*z. Does 10 divide z?
True
Suppose -13*w + 16*w = 42. Does 6 divide w?
False
Let q(y) = 6 + 5*y - 6*y + 0*y + 0*y. Let n be q(4). Suppose -142 = -n*v - 3*v - 2*x, 57 = 2*v + x. Is 11 a factor of v?
False
Suppose -3*x - 8 = -x. Let r = 13 - x. Does 17 divide r?
True
Suppose -2*p + 265 = -15. Is p a multiple of 30?
False
Let y be 1*(2 + -2 - 0). Suppose y = 5*z - 0 - 10. Suppose z*j + 5*i - 3 = 0, 2*i - 17 = -5*j - i. Is j a multiple of 4?
True
Let h(m) = 2*m + 4. Let y be h(11). Is 4 a factor of 4/y - (-623)/91?
False
Let y = -102 + 212. Let m be (-418)/(-110) - ((-1)/5 + 0). Suppose m*k + k - y = 0. Does 20 divide k?
False
Let d be 24/16*8/6. Suppose -4*l - 4 = -3*r - d*l, 5*l = -3*r - 10. Does 2 divide 3/1 + r/3?
False
Let m(j) = 2*j - 6. Let s be m(5). Suppose -16 = -2*z + 3*c + 2*c, -s*z + 3*c + 18 = 0. Suppose -6 = z*y + 2*q - 34, -39 = -4*y - 3*q. Is y even?
True
Let u(r) = r**3 - 5*r + 4. Suppose 3 = g - 1. Is u(g) a multiple of 16?
True
Let c(y) = -18*y**3 - y**2 + 1. Suppose -z + 3*l - 7 = 0, -z - l - 3 = -2*z. Let t be 5/(-4) - (-2)/z. Is c(t) a multiple of 7?
False
Let j = 316 + -160. Does 13 divide j?
True
Let o = -1 - 0. Is (-244)/(-12) + o/3 a multiple of 6?
False
Let a(p) = 2*p - 6. Let m be a(3). Suppose 0 = -2*t - 0*t + 5*z - 21, -5*t = -3*z + 5. Does 8 divide (-13)/t*(m - 2)?
False
Let z(h) = 2*h**2 + h**3 + 4*h**2 - 3*h - 8 + 2 + 4*h. Is z(-5) a multiple of 6?
False
Let j = -329 + 560. Is j a multiple of 12?
False
Suppose 5*y + 4*w - 41 = 0, 0 = y - 5*w + 4 + 11. Suppose x = 3*j + 43 - 15, 0 = -5*x - y*j + 40. Suppose 4*b = u - 4, -3*b + x = -2*u + 36. Is 6 a factor of u?
False
Let o be 282/54 + 4/(-18). Suppose 12 = -3*g + o*g. Suppose a - 5*y - 50 = 0, a + g*y = y + 10. Does 19 divide a?
False
Is 8 a factor of (2/6)/((-34)/(-2448))?
True
Let h = -28 + 118. Is 1/(-1*(-3)/h) a multiple of 16?
False
Let b(u) = -3*u + 4*u + 8 - 3*u + u. Does 6 divide b(-12)?
False
Let b(o) = 3*o**2 + 5*o. Let c(z) = -z**2 + 3*z - 4. Let j be c(3). Is 18 a factor of b(j)?
False
Suppose -78 = -2*j + 34. Does 4 divide j?
True
Suppose 0 = -3*q - 37 + 1. Let i = 0 - q. Does 6 divide i?
True
Does 4 divide 4*-1 - 2/(10/(-295))?
False
Let h(x) = -x + 4. Let w = -5 + 5. Let m be h(w). Let u(n) = n + 4. Is 8 a factor of u(m)?
True
Let y be 1*(-14)/8*-4. Let c be (-2)/(-3) - y/(-3). Suppose 3*j - j - 58 = o, -o = c*j - 92. Is 16 a factor of j?
False
Let c be ((-2)/(-4))/((-4)/(-40)). Suppose -3*v - 2*p + p + 7 = 0, p = c*v - 9. Let f(l) = 5*l**3 + l**2 + l - 2. Does 16 divide f(v)?
False
Suppose -m + 50 = 32. Is 10 a factor of m?
False
Suppose 4*q + 5*a = 0, -q + 0*q - 2*a = 0. Does 22 divide 12/((-2)/(-11) - q)?
True
Let q(c) = 2 + 0 - 11 - c - 2*c. Is 5 a factor of q(-7)?
False
Suppose -4 = -0*r - r - 2*c, 3*r - 16 = -4*c. Does 6 divide r?
False
Suppose 4*s = h + 7, 0 = h - 2*s - s + 3. Let g = 5 - 11. Let q = h + g. Does 2 divide q?
False
Let w(j) = -2 + j**2 + j + 3*j + 0*j**2. Let o be w(5). Suppose -o = -3*n + b, -b + 41 = 3*n - 3*b. Does 15 divide n?
True
Let y(f) = f - 1. Let u be y(6). Suppose -u*s + 616 = -s. Suppose 50 = -4*r + s. Does 17 divide r?
False
Let u be (-16)/(-10)*5/2. Suppose 0 = -4*q + u*c + 204, 4*q + 32 - 206 = -2*c. Is 23 a factor of q?
True
Suppose 3*j - 2*q + 131 = 0, -q + 127 = -3*j + 3*q. Let n = j + 69. Does 12 divide n?
True
Suppose i - 3*s = -0*s + 109, i - 5*s = 119. Suppose u + i = 5*u - 3*b, u - 3*b = 28. Does 11 divide u?
True
Let z(q) = q**3 - 2*q**2 + 2*q + 1. Suppose 0 = x