)/(-4))/2?
True
Let s(k) = k**3 - 5*k**2 + 6*k - 6. Let t be s(4). Suppose -196 = -3*b + 4*n, -n - 2 - t = 0. Does 15 divide b?
True
Is (-268)/(-9) + (-6)/(-27) a multiple of 10?
True
Let y be (0/2)/(0 + 1). Is (1 - 1) + y + 23 a multiple of 14?
False
Is (27/1 - 1) + 0 a multiple of 8?
False
Let s(y) = -y**3 - y**2 - y + 4. Let z be s(0). Let d(q) = 3*q + 1 + 2*q**2 - z*q + 6*q + 2*q. Is d(-5) a multiple of 8?
True
Let m = 0 + 5. Suppose -m*b = 1 - 16. Suppose b*a = 8*a - 35. Is 3 a factor of a?
False
Let n(i) be the second derivative of -i**5/20 - i**4/12 + 7*i**2 - 4*i. Let z = 0 - 0. Is 6 a factor of n(z)?
False
Let z(a) = a**3 - 6*a**2 - 3*a - 4. Let h be z(6). Let t = -8 - h. Is t a multiple of 7?
True
Let p(h) = 6*h**3 - 4 + 3 - h**3. Let j be p(-1). Does 18 divide (-423)/j - (-2)/4?
False
Suppose 0 = -2*t + u - 4*u + 285, -u + 555 = 4*t. Is 20 a factor of t?
False
Suppose -9*h + 700 = -4*h. Does 28 divide h?
True
Let f(j) = -4*j + 1. Let q be f(-1). Let m(c) = -c**3 + 6*c**2 - 4*c + 6. Does 8 divide m(q)?
False
Suppose 15 = -4*a + 55. Is a a multiple of 3?
False
Suppose -x = -0*x + 57. Let w(h) = -2*h**2 + 5*h. Let z be w(4). Let q = z - x. Does 16 divide q?
False
Is 14 a factor of ((-6)/12)/((-2)/160) + 0?
False
Let n(t) = -7*t - 3. Let c be n(-7). Let o = c + -30. Does 16 divide o?
True
Let y(t) = -65*t**3 - 1. Let g be 2 + -3 + 3 + -3. Is y(g) a multiple of 18?
False
Let a(w) = 20*w + 7. Is 24 a factor of a(4)?
False
Is 89 - (-2 + (3 - 2)) a multiple of 13?
False
Let x(z) = -z**3 + 10*z**2 + 2*z + 12. Is 16 a factor of x(10)?
True
Suppose -2*j + 17 = -23. Let u = j - 9. Suppose 0 = 4*r - 5 - u. Is 4 a factor of r?
True
Suppose 4*r + r - 560 = 0. Is 8 a factor of r?
True
Let c(p) = -p**2 - 7*p + 2. Does 6 divide c(-5)?
True
Let g be 4/14 + (-2)/7. Suppose g = -5*a + 3*a + 2. Is -1*a*(-9)/3 even?
False
Let r(v) = 16*v + 3. Is 9 a factor of r(6)?
True
Suppose y - 3*y = -286. Suppose -5*k = -3*l + 23 - y, 95 = 5*k + 2*l. Does 12 divide k?
False
Suppose 4*n - 27 = 25. Is n a multiple of 5?
False
Suppose -8*i = -6*i. Let k be 84/9 - 4/(-6). Suppose 0 = -u + 2*y - 3 + k, i = -4*u - y + 37. Is u a multiple of 8?
False
Suppose -4*z - 8 = -44. Let d(j) = 2*j - 7. Let a be d(z). Suppose -201 = -5*c + h + a, -170 = -4*c + h. Does 14 divide c?
True
Suppose 3 = 3*x + 33. Is x/(-2*(-1)/(-10)) a multiple of 20?
False
Let m(s) = -s**3 - 5*s**2 + 8*s - 6. Let f(h) = -h - 13. Let z be f(-6). Is m(z) a multiple of 12?
True
Is (30/(-12))/((-1)/4) even?
True
Let h be (-33)/(-15) - 2/10. Let s be 25*2 + (h - 3). Let y = s + -17. Is 16 a factor of y?
True
Suppose -k + 156 = 5*q, -3*q + 72 = 2*k - 16. Is 4 a factor of q?
True
Let k = -9 + 12. Suppose -3*o + 15 = 0, -2*f + 3*o - 27 = -k*f. Does 12 divide f?
True
Let p(u) = 2*u - 6. Suppose 4*f + 3*w - 32 = 0, 5*w + 35 - 3 = 4*f. Is 9 a factor of p(f)?
False
Let x(r) = 2*r - 16. Let q be x(14). Let c = 40 - q. Does 5 divide c?
False
Let s = 13 + 15. Is 28 a factor of s?
True
Let r(x) = x**2 - 2*x + 3. Does 5 divide r(3)?
False
Suppose 5*v - 375 = -5*f, -2*f - 5*v + 102 + 48 = 0. Does 15 divide f?
True
Suppose 0 = -4*y - y + 465. Suppose m + 68 = c, -2*c + 5*m = 4*m - 132. Suppose i - 9 = 3*z - c, 0 = -5*z + i + y. Does 19 divide z?
True
Let a be 90/(-5) + 0 + 0. Does 20 divide (-6)/(-27) - 824/a?
False
Suppose 0 = 3*m + 4 - 13. Suppose t = -4*h + 24, 4*t + 2*h = -m*h + 96. Is 6 a factor of t?
True
Let a(m) = 57*m - 3. Let q be a(2). Let j = q + -70. Is j a multiple of 12?
False
Suppose 0*c + 3*p = -5*c + 60, -3*c + 2*p = -36. Is 8 a factor of c?
False
Suppose -2*l = 4*k + 2, -k - 23 = 6*l - l. Suppose -k*z - 3*z = -3*m + 103, -2*z + 120 = 5*m. Does 13 divide m?
True
Let p = 4 - -2. Let c = p + -3. Let h = c - -19. Does 11 divide h?
True
Suppose 88 = 5*p - 2*p - 2*f, p - 4*f - 16 = 0. Suppose -6*v = -4*v + 4*q - p, 3*v - 4*q - 58 = 0. Is 6 a factor of (-10)/4*v/(-5)?
False
Let u = -8 - -12. Suppose -74 = -3*r + u*z - 0*z, 4*r - 105 = -z. Does 13 divide r?
True
Let i = -9 - -5. Let b(a) = -10*a - 4. Is 12 a factor of b(i)?
True
Suppose -196 = -5*m + 4*o, 5 = -4*m - o + 166. Does 7 divide m?
False
Suppose 4*p - 49 = -9. Is p a multiple of 2?
True
Is 8 a factor of (1*-8)/((-4)/8)?
True
Suppose 2 = 5*b + 7. Does 19 divide 24 + 0/(-2) + b?
False
Suppose -5*m = 3*d - 197, -2*d - m - 2*m + 132 = 0. Does 12 divide d?
False
Let x(t) = -t**2 + 8*t + 11. Is x(9) a multiple of 2?
True
Suppose 5*v + 130 = 545. Let q(d) = -2*d + 1. Let g be q(-2). Suppose -2*o + 40 = g*i, -4*i - v = -o - 2*o. Does 9 divide o?
False
Let o = -4 + 7. Let h(f) = f**2 + 4*f. Let b be h(-6). Suppose -o*g = -0 - b. Does 4 divide g?
True
Suppose 7*b - j = 6*b - 7, -3*j = 3*b - 3. Is 6 a factor of (-217)/(-35) - b/(-15)?
True
Suppose -2*v + 5*h = -0*h + 15, 5*h - 25 = 4*v. Let j be 3/v*25/(-5). Suppose j*m + 60 = 7*m. Is 7 a factor of m?
False
Suppose 0 = 5*p - 2*v - 172, -v = p - 9 - 24. Suppose p = -c + 2*c. Is c a multiple of 16?
False
Let l(j) = 3*j**2 + 1 - 4*j + j + 3*j. Is 2 a factor of l(1)?
True
Let x be 18/4*12/18. Suppose -f - 8 = -x*f. Suppose 40 = f*a - 2*a. Is a a multiple of 10?
True
Suppose 2*k = 6*k - 392. Suppose -k = -4*f + 2*h, -2*f + 2*h - 5*h + 61 = 0. Does 13 divide f?
True
Let t(a) = -2*a**3 + 25*a**2 - 18*a + 3. Does 42 divide t(11)?
True
Let v be 0/(-1) + 5*11. Suppose 9*x - v = 4*x. Is x a multiple of 5?
False
Let w(k) = 2*k**2 + 8*k + 2 - 8*k + 2*k - 4. Is 11 a factor of w(-5)?
False
Let h = 3 - 2. Let b(f) = 5*f**3 + 1 - 3*f**3 - f + 0. Is 2 a factor of b(h)?
True
Let m(f) = -f**3 - 4*f**2 + 7*f - 7. Suppose -16 = 2*x - 2*u, -u - 2*u + 30 = -4*x. Let l be m(x). Suppose 0*t - t + l = 0. Does 7 divide t?
False
Is 10 a factor of (-4)/6*(-6 + -330)/7?
False
Is (-12 + 9)/(3/(-65)) a multiple of 8?
False
Let v(r) be the third derivative of 3*r**6/40 + r**4/12 - r**3/6 - 2*r**2. Suppose 0 = 4*c - 2 - 2. Is v(c) a multiple of 4?
False
Let k be 0 - -1 - (2 + -4). Suppose -m + 5*d = 3*d - 12, -m = -k*d - 17. Suppose 4*h - 34 = -m. Is 4 a factor of h?
True
Let j(y) be the second derivative of -y**5/20 - y**4/6 - 5*y**3/6 - 3*y. Does 13 divide j(-4)?
True
Suppose 0 = -k + 7 + 7. Does 14 divide k?
True
Suppose -5*k - 2*d - 2*d + 7 = 0, -5*k = -4*d - 23. Suppose -4*a - 3*z + 51 = -2*z, -a = -3*z - k. Is a a multiple of 12?
True
Let m(i) = i**3 + 8*i**2 + 6*i + 5. Let t be m(-7). Suppose -2*k + 1 = 2*k - 5*b, 4*b = t. Is 2 a factor of k?
True
Suppose 15 = -5*i - 3*g, 0 = i + 3*g + 2*g + 25. Suppose -13*x + 18*x - 120 = i. Is 8 a factor of x?
True
Does 2 divide (-12 - -1)*(2 - 3)?
False
Suppose -2*s - 12 = -4*v, 3*v = 7*v - 16. Suppose -s*j + 20 = -0*j. Is 4 a factor of j?
False
Does 13 divide -2*(157/1)/(4 - 6)?
False
Is 29 a factor of -2 - (1 + (4 - 180))?
False
Suppose 2*j - 4*v - 12 = 0, -3*v + 2 = -4*j + 1. Is (j/(-6))/((-6)/(-153)) a multiple of 5?
False
Suppose 3*i = -0 + 15. Suppose -i*z + 10*z - 55 = 0. Is z a multiple of 7?
False
Suppose -5*n + 2*n = k - 13, -3*k + 4 = 2*n. Suppose 3*t = -3*w, -5*t + 3*w = 2*w - 12. Is 8 a factor of -16*(k*1)/t?
True
Let g(s) = s**2 - 6*s + 7. Let i be g(5). Let j(t) = 10*t**2 - 5*t - 6 + t**3 - 3*t**2 + 7*t - i. Does 9 divide j(-6)?
False
Let x = -190 + 272. Let m be (1 - 3)/((-2)/123). Let z = m - x. Is z a multiple of 16?
False
Let w(i) be the third derivative of -i**4/8 + i**3/2 - i**2. Let c(z) = -3*z. Let k be c(1). Is 12 a factor of w(k)?
True
Suppose -57 = -t - 3*l, 2*t + 2*l + 43 - 177 = 0. Is t a multiple of 10?
False
Let b(m) = 2*m**3 - 2*m**2 - 2*m + 1. Let f be 0*1/(-3) + 2. Let q be b(f). Suppose -4*h + 2*h - 51 = -q*d, 0 = -d - h + 6. Does 3 divide d?
True
Let h(y) = 2*y**2 - 5*y - 2. Let f be (-3 - (-5)/1) + 2. Does 5 divide h(f)?
True
Let p be (-4)/1*35/(-10). Suppose i + 4*i = 3*r - p, 0 = 3*i + 3. Is 5 a factor of 15*(1 - 2/r)?
True
Let w(i) = 81*i - 14. Let s(g) = -27*g + 5. Let a(j) = -17*s(j) - 6*w(j). Is 16 a factor of a(-1)?
False
Let b = 9 - 31. Suppose -2*c + 144 = 2*c. Let f = c + b. Does 14 divide f?
True
Let q(s) = 2*s**2 - 8*s - 3. Let h be q(6). Let v be -1 + (-1*h)/(-1). Suppose 5 = 5*j + 2*k, 2 = -j - 5*k - v. Is j even?
False
Let v(b) = 7*b + 6. Let j be v(-5). Let p = 66 + j. Is p a multiple of 6?
False
Is 23 a factor of 74/2*4/4?
False
Let f(t) = -t - 1.