 Let c(g) = g**3 - 4*g**2 + 5*g - 2. Is 3 a factor of c(b)?
False
Let f be 2/8 + (-118)/(-8). Suppose 2*w + f = 55. Suppose c + c = w. Does 5 divide c?
True
Let w(s) = -s + 8. Let y be w(6). Suppose y*i + 30 = 3*i. Suppose u + 2*u = i. Does 10 divide u?
True
Suppose 0 = -8*o - 8*o + 1504. Is 19 a factor of o?
False
Let p(g) = -g**3 + 4*g**2 + 7*g - 2. Let m be 38/(-14) - (-6)/(-21). Let n be 6/m - -7 - 0. Is p(n) a multiple of 8?
True
Suppose 0 = -3*v + 9. Let n be 2*243/6 - v. Suppose 5*g = -3 + n. Is g a multiple of 15?
True
Suppose -l + 3 = -3. Let z be 2 + -4*1 + 3. Is 13 a factor of (-3)/l*(-53 + z)?
True
Suppose 0 = 5*t - 9*t + 696. Is t a multiple of 20?
False
Let v = -84 + 132. Is v a multiple of 15?
False
Let g(w) = w**3 + 7*w**2 + 2*w - 2. Suppose -o - 2*o + 35 = -4*r, -5*o = 3*r - 10. Is g(r) a multiple of 19?
True
Let f(z) = -4*z**2 + 3*z - 1. Let g be f(-3). Let h = 25 + g. Is 10 a factor of -2 - ((-1 - 0) + h)?
True
Let n = 0 + 0. Let a = -6 - n. Let j(p) = -p**3 - 6*p**2 - 2*p - 6. Does 5 divide j(a)?
False
Suppose -4*g = 4*y - 172, -3*y + g = 2*y - 227. Is y a multiple of 12?
False
Let j be (4/6)/((-10)/45). Let f be (-4)/(4/j) - -2. Does 5 divide (6 + -4)*f/2?
True
Let y(z) = 3*z + 3. Let q be (2/4)/((-2)/(-20)). Let w be y(q). Let c = w - -2. Does 10 divide c?
True
Let g = -50 - -77. Let i = 2 - 2. Suppose -2*k - k + g = i. Is k a multiple of 5?
False
Let g(m) = 25*m**2 + 4. Does 33 divide g(-2)?
False
Suppose -4 - 2 = -2*l. Let y(s) = -s**3 + 5*s**2 - 3*s - 4. Is y(l) a multiple of 2?
False
Let i(v) = -194*v**2 + 5 + 99*v**2 + 97*v**2 - 4*v. Suppose k + k - 8 = 0. Is 11 a factor of i(k)?
False
Suppose 5*f - 50 = 35. Is f a multiple of 17?
True
Suppose -2 = g, -3*x + 9 = -2*g - 1. Suppose 0*j = b + 4*j + 8, j + 11 = 2*b. Is 1/(b/22)*x a multiple of 7?
False
Let f be (-1 + 166)*(-2 + 3). Suppose 3*a - f = -3*x, -x = -3*x + 10. Does 15 divide a?
False
Suppose 3*o + o + 371 = t, -6 = -2*t. Does 9 divide 1/(-5) + o/(-10)?
True
Suppose -r - 9*u + 13*u + 132 = 0, 0 = 2*u - 2. Is 8 a factor of r?
True
Let w(h) = 2*h + 2. Let z(y) = -y**2 - 7*y + 4. Let u be z(-7). Let m be w(u). Suppose 0 = -m*r + 5*r + 155. Is r a multiple of 12?
False
Is 9 a factor of (-2664)/(-38) - (-8)/(-76)?
False
Let m(r) = -r**3 - 3*r**2 + 6*r + 4. Let t be m(-4). Let v be -2*(-3)/(-12)*t. Let z = v - -7. Is z a multiple of 9?
True
Let t = 3 - 0. Suppose t*h - 5*h = 0. Does 13 divide (h + -5)*(-26)/5?
True
Let m(c) = 118*c**2 - 6*c + 2. Does 13 divide m(1)?
False
Let m = 26 + -14. Does 5 divide m?
False
Let h(t) = -2*t**3 - 3*t**2 + 3*t + 2. Let r be h(-3). Suppose -2 + r = 3*c. Is 6 a factor of c?
True
Suppose w - 2*n + 6 + 3 = 0, 0 = 4*n - 20. Let v be -3 + w - (-10)/1. Does 11 divide (22/v)/((-5)/(-20))?
True
Suppose 3*r - 4*r + 32 = 0. Suppose v = 4*v - 3*t - 87, 0 = v - 2*t - r. Is v - (1 + 1) - 2 a multiple of 14?
False
Let p be 29*1*(1 + 0). Let x = 12 - p. Let o = x + 69. Is 26 a factor of o?
True
Let u(d) = -d**2 + 5*d - 2. Let c be u(3). Does 3 divide ((-2)/c)/((-8)/96)?
True
Let k be (-7)/(14/8) + -2. Is 31 a factor of 237/k*(-2 - 0)?
False
Let j = 774 - 402. Does 62 divide j?
True
Suppose -a + 3136 = 15*a. Does 14 divide a?
True
Suppose 0*y + 2*y + 3*k - 29 = 0, -4*y + 5*k + 25 = 0. Does 2 divide y?
True
Let i be 0/((6 + -2)/2). Suppose i = -2*j - j + 18. Is 6 a factor of j?
True
Let g = 6 + -3. Let u be ((0/g)/1)/(-1). Is 10 a factor of u - -21 - (2 - 2)?
False
Let d = -3 - -5. Suppose 2 = -2*f + 5*o - d*o, 2 = 2*f - 5*o. Does 5 divide 78/f*(-4)/6?
False
Suppose -27 = -4*l + 1. Let t = 11 - l. Is 2 a factor of t?
True
Let i be 8/28 + 72/(-7). Let l(c) = -2*c - 7. Is l(i) a multiple of 6?
False
Let b(n) = -n**2 - 7*n. Let j be b(-7). Let s(u) = -u**3. Let w be s(j). Suppose w = -z - z + 8. Is z a multiple of 2?
True
Suppose 5*h - 570 = -h. Is (h/(-20))/((-2)/8) a multiple of 12?
False
Suppose 2*k - 5*k + b + 103 = 0, 0 = 4*b - 8. Suppose v - q - k = 0, -5*v + 2*q + 84 = -82. Does 32 divide v?
True
Let o = -48 + 188. Suppose 5*v - o = 5*t, v - 2*v = 4*t - 23. Does 10 divide v?
False
Suppose 2*x + 4*k - 106 = -3*x, -2*k = 5*x - 98. Is x a multiple of 6?
True
Suppose 3*a + 40 = 5*q, 4*q - 2*a = -0*q + 32. Does 4 divide q?
True
Let o = -2 + 1. Is 35 - (-1 + 5 + o) a multiple of 17?
False
Let a = -7 + 10. Suppose -a*c = -0*c. Suppose -4*w + 9*w - 105 = c. Is w a multiple of 8?
False
Does 19 divide 9/(-24)*-4*(1 + 75)?
True
Suppose x + 0 = -o - 2, -4*o = -5*x - 19. Let g be (-2)/x + 228/9. Suppose 3*h - g = -w + 5, 0 = 5*w + 2*h - 142. Is w a multiple of 14?
True
Let w = 156 - 46. Is w a multiple of 5?
True
Let m(f) = -f**3 + 14*f**2 - 21*f - 12. Does 6 divide m(12)?
True
Suppose -4*w + 3 = -5. Suppose -5*m = f + 2*f - 40, -f = -w*m - 6. Does 10 divide f?
True
Let u be (-4)/3*(-63)/(-14). Let r = 13 + u. Is 5 a factor of r?
False
Let g(h) = h**3 - 5*h**2 + 4*h + 4. Let n be g(4). Suppose 3*f = 12, 5*f + 15 = n*s - 13. Does 12 divide s?
True
Let k = -23 - -36. Is 3 a factor of k?
False
Is 14 a factor of 1 - ((-2247)/15 + (-1)/5)?
False
Let c(v) = -v**2 - v - 1. Let b(k) = 5*k**2 + 4*k + 1. Let r(g) = -b(g) - 2*c(g). Let d be r(-3). Let h = 32 + d. Is h a multiple of 6?
True
Suppose 0 = -x + 2 + 10. Is x a multiple of 12?
True
Let v be 2/(3*4/(-6)). Let u = v - -15. Is u a multiple of 12?
False
Suppose -24 = 2*q - 3*n, -36 = 4*q - 2*n - n. Suppose -4*z - 4 = 5*p - p, 0 = -2*p + 5*z - 9. Does 3 divide (3 + p)/((-1)/q)?
True
Let t(l) be the second derivative of 5*l**3/6 - 7*l**2/2 + l. Suppose 0 = -3*s - 5*r + 6, -r + 6*r + 22 = s. Is 14 a factor of t(s)?
True
Let n(p) = -5*p - 82. Is n(-26) a multiple of 12?
True
Suppose -3*r - 6 = 5*q, -4*r + 0 = q - 9. Suppose -24 = 7*l - r*l. Is 10 a factor of (15/(-10))/(l/64)?
False
Let b(f) = f**2 + f. Let o be b(0). Suppose y - 6 + 1 = 0. Suppose y*l - l - 8 = o. Is l even?
True
Let m(q) = -q + 62. Does 31 divide m(0)?
True
Suppose -h = -2*h. Suppose -13 = -z - 5*m, h*m + 3*m + 75 = 4*z. Is z a multiple of 15?
False
Let z be ((-1)/(-3))/(2/18). Suppose 2*h = 4*h - z*t - 136, -5*h = -t - 314. Is 16 a factor of h?
False
Suppose 5*s - 336 = s. Is 22 a factor of s?
False
Suppose 7*f - 123 - 66 = 0. Suppose 0 = -3*v - 0*v + 21. Let m = f + v. Is m a multiple of 12?
False
Let r = 145 + -97. Let f = r + -12. Is 16 a factor of f?
False
Let r = 9 + 5. Suppose 5*d + 4 - r = 0. Is d even?
True
Let x(o) = -o**3 - 9*o**2 - 8*o + 4. Let f be x(-8). Suppose 0 = f*n - 3 - 9. Suppose -8 = -s + 3*z + n, -2*s = z - 22. Is s a multiple of 10?
False
Is 18 a factor of 3 - (12/3 - 59)?
False
Let u = 1 + 3. Suppose -5*a - 5*r - 205 = 0, 2*a - u*r + 2 = -68. Let l = a - -83. Is l a multiple of 22?
True
Let x be (3 - 0)*(-1 + 4). Suppose -q + 3 = -4*v, x = 4*q - 3. Suppose 4*f - 3*f - 18 = v. Is 9 a factor of f?
True
Suppose 3*g = -4*g + 70. Does 10 divide g?
True
Suppose -11 + 31 = 2*w. Let t = w - -23. Does 13 divide t?
False
Let g = 318 + -166. Is g a multiple of 38?
True
Let n(p) = -p - 4. Let q be n(-8). Suppose 10 = 4*b + 5*h - 61, 0 = b - q*h - 2. Is 14 a factor of b?
True
Suppose 5*u + v - 232 = 4*v, -3*u + 136 = -5*v. Is u a multiple of 42?
False
Does 5 divide 3/(-6*(-4)/40)?
True
Suppose -3*r = 2*r - 420. Does 4 divide r?
True
Let u = -5 + 9. Let b = 1 + u. Suppose 2*y = b*a + 3*y - 148, 4*y - 112 = -4*a. Is a a multiple of 15?
True
Let m be 37/7 + 4/(-14). Suppose l + 2*r - 3*r = 6, m*r - 25 = 0. Is 11 a factor of l?
True
Let u = -44 + 47. Is 3 a factor of u?
True
Let k(s) = -13*s + 4. Does 30 divide k(-2)?
True
Suppose 4*r - 1 = 15. Let b(u) = 27*u + 3. Let c be b(r). Suppose 0 = 6*y - 3*y - c. Does 17 divide y?
False
Let o(u) = u**3 - 4*u + 3. Let h be o(2). Let y be (4/(-5))/(4/10). Let v = h - y. Is 5 a factor of v?
True
Suppose 5*a + 0*w = -3*w + 865, 0 = 3*w + 15. Is 44 a factor of a?
True
Suppose 3 = 3*o + t - 13, -2*o - 8 = -4*t. Let w = o - -2. Suppose 0*l - w = -3*l. Does 2 divide l?
True
Suppose -4*i = -5*i. Suppose -2*n - r + 55 = i, 3*r - r = -5*n + 136. Does 10 divide n?
False
Suppose -2*t + 7*t - 465 = 0. Let g = t - 45. Is g a multiple of 24?
True
Let p(q) = -15*q + 3. Is 27 a factor of p(-7)?
True
Let v = -154 + 376. Is 37 a factor of v?
True
Suppose 516 - 1296 = -6*n. Is 26 a factor of n?
True
Let l(v) = 7*