divide s(6)?
True
Is 14 a factor of (2/((-6)/53))/(1/(-9))?
False
Let j be 2 - (-3)/3*1. Suppose z + s = 31, -5*z + 61 = -j*s - 70. Does 8 divide z?
False
Let o = -44 - -80. Is o a multiple of 12?
True
Let r(b) = b**3 - b**2 - b + 216. Let x be r(0). Is (11/(-22))/((-2)/x) a multiple of 27?
True
Let x(h) = -h**3 + 7*h**2 + 12*h - 5. Let y be 4/16 + (-62)/(-8). Is x(y) a multiple of 9?
True
Let j(v) = v**2 + 10*v - 3. Let r be j(-7). Let n = r - -78. Is 18 a factor of n?
True
Suppose -v - 109 = -2*v. Suppose -53 - v = -3*l. Suppose 2*f + l = 5*i, -57 = -3*i - 2*i + f. Is 10 a factor of i?
False
Let i = 222 + -109. Let u = i - 69. Is u a multiple of 13?
False
Let f = -12 + 22. Suppose -k + 4*m + 2 = 0, 4*m = -k + 2*m - f. Let i(v) = v**3 + 7*v**2 + 4*v - 8. Is i(k) even?
True
Let u be ((0 + 1)*0)/1. Suppose -4*r + 289 - 17 = u. Is r a multiple of 20?
False
Suppose 4*k + 2 = -s + 9, 0 = -4*s - 4. Let j = k + 5. Suppose j*g - 50 = 2*g. Does 10 divide g?
True
Let z(r) = 1 + r - 4*r**2 + 1 - 14*r**3 + 2*r**2 - 3*r**3. Is 8 a factor of z(-1)?
True
Suppose 0 = m - 5 - 2. Suppose 2*x - 7 - m = 0. Let w(u) = -u + 10. Is 3 a factor of w(x)?
True
Suppose -z - 3*q + 0 = -7, 0 = -2*z + q + 14. Let o(m) = -m**3 + 7*m**2 + 2. Let y be o(z). Let g = y + 6. Does 4 divide g?
True
Let f(s) be the second derivative of 1/6*s**3 + 3*s**2 + 0 + 2*s. Is 14 a factor of f(8)?
True
Let k = -1 + -5. Let c = k - -2. Is 2 a factor of 6*(1 + 2/c)?
False
Let m = 3 + -3. Suppose m = -3*c + 2*c + 2*v + 33, -3*c + 83 = -2*v. Does 11 divide -1 - (c - 2)*-1?
True
Suppose 4*l - 4 - 40 = 0. Does 11 divide l?
True
Let a = 6 - -7. Does 5 divide a?
False
Let m(q) = q**2 - 8*q + 2. Let u be m(8). Suppose 5*h - u*h = 12. Suppose -2*y - h + 16 = 0. Is y a multiple of 6?
True
Let z(r) = 6*r + 6. Let k(f) = -6*f - 5. Let v(n) = 4*k(n) + 3*z(n). Let s be v(-5). Suppose 0*g + s = 2*g. Does 6 divide g?
False
Suppose -2*v + 38 = -24. Does 23 divide v?
False
Let t be (-93)/(-7) + (-10)/35. Let u = t + -8. Suppose 2*w + 3*w - 160 = -u*p, -p + 176 = 5*w. Is w a multiple of 18?
True
Let z(t) = t**2 - 4*t + 7. Let c be z(-5). Let s = 76 - c. Is 12 a factor of s?
True
Let h = -346 + 513. Let x = h - 91. Is x a multiple of 17?
False
Let y(i) = -i + 1. Let t be y(5). Let h be (14/(-12))/((-15)/90). Let o = t + h. Is 3 a factor of o?
True
Let l(p) = -14*p + 3*p**2 + 11 + 2*p**2 - 4*p**2. Let o(f) = 2*f**2 - 9*f + 9. Let c be o(5). Is 11 a factor of l(c)?
True
Does 15 divide (-6)/4 - (1036/(-8) - 0)?
False
Let w be (0/(-1))/((-8)/(-4)). Suppose 5*i + 22 - 62 = w. Is i a multiple of 4?
True
Suppose -3*k + 6*k + 27 = 0. Let f = k + 16. Does 3 divide f?
False
Let b = -28 - -63. Does 11 divide b?
False
Let c be 196/(-9) - (-18)/(-81). Let i be (-1149)/(-33) + (-4)/c. Let r = 19 + i. Is r a multiple of 21?
False
Let y(w) = 21*w**2 + 6*w - 9. Is 53 a factor of y(3)?
False
Suppose 0 = -p - 3*p + 420. Suppose p = 12*r - 11*r. Suppose -3*t = -f + 4*f - r, 0 = -5*f - 3*t + 165. Is f a multiple of 15?
True
Suppose 2 = 4*w - 10. Let k = w + -1. Suppose -k*c = -7*c + 50. Is c a multiple of 8?
False
Suppose -3*h + 3*y - 1 = 8, 4*h + 3*y = 23. Suppose h*l - 7*l = 0. Suppose -2*v - 5*z + 103 = 0, l = -3*v - z + 122. Is v a multiple of 13?
True
Let v(r) = 2*r**2 - 9*r + 8. Does 35 divide v(9)?
False
Let f = -38 + 63. Is 14 a factor of f?
False
Is 24*(4 - 44/12) a multiple of 3?
False
Let q be -1*(0 - 3) + -3. Suppose -9 = -3*i - q*i. Suppose 192 = 7*w - i*w. Is 16 a factor of w?
True
Let o be ((-3)/9)/(4/36). Let a(s) = -s**3 - 5*s**2 - s + 6. Let v(b) = -b**3 - 5*b**2 - b + 5. Let p(d) = 5*a(d) - 6*v(d). Does 15 divide p(o)?
True
Let b(z) = z - 1. Let u be b(6). Suppose 5*t - 35 = u*a, a - 2 - 7 = -3*t. Is 122/6 - t/12 a multiple of 14?
False
Let m = -1 - 0. Let h = m + 6. Suppose 0*f - 3*f = h*q - 36, 3*f + 3*q - 36 = 0. Does 6 divide f?
True
Suppose 0*s + 17 = -3*s + 2*o, s + 7 = o. Let i(w) = -3*w**2 + w + 9. Let f(z) = -2*z**2 + z + 8. Let r(k) = 5*f(k) - 4*i(k). Is 6 a factor of r(s)?
False
Let r(t) = t**3 + 10*t**2 - 6*t - 10. Does 22 divide r(-8)?
False
Suppose -5*a + 27 = -2*p, -4*p + a - 7 = -2*p. Let g(s) be the first derivative of -29*s**2/2 - s - 13. Is 13 a factor of g(p)?
False
Suppose -4*y - 310 = -9*y. Is y a multiple of 31?
True
Let g(l) = l**2 - 3*l + 3. Suppose -2*x - 4*t = -7 + 1, 0 = 3*x + 2*t - 9. Let f be g(x). Suppose -2 = d - 2*u - 6, 0 = f*u. Does 4 divide d?
True
Let f be -1 + (-5)/((-5)/8). Suppose 0 = 2*j - f + 1. Suppose -j*i - 13 + 97 = 0. Does 14 divide i?
True
Let v(n) = n + 19. Suppose -5*u - r = 2*r + 62, 0 = -3*r - 12. Does 9 divide v(u)?
True
Let z(h) = -h**2 + 10*h - 15. Let t be z(10). Let k = t - -28. Is k a multiple of 7?
False
Suppose 4*p = -5*g - 50, -3*p = -5*g - 5*p - 50. Let n = g - -8. Does 7 divide (-14)/n + 0/(-8)?
True
Suppose 0 = 5*a + 10, -13*f + 273 = -12*f - 2*a. Is 45 a factor of f?
False
Suppose -6*t + 84 = -2*t. Let l = t - 13. Suppose 0 = 2*m - l + 2. Is m even?
False
Let w = 0 - 5. Does 11 divide (w - 1)*(-20)/8?
False
Let x(u) = u**3 - 3*u**2 - 3*u + 3. Let a be x(4). Suppose -2*g - 20 = -a*g. Suppose 5*t = -5*k + g*k + 97, 4*k - 28 = -2*t. Does 10 divide t?
True
Suppose -2 + 34 = q. Is 16 a factor of q?
True
Suppose 2*z - 39 = -z. Is z a multiple of 12?
False
Suppose 3*m - 880 = -8*m. Is m a multiple of 8?
True
Let v = 31 + -16. Does 5 divide v?
True
Suppose 0 = -2*z + 84 + 140. Is z a multiple of 14?
True
Let n = 3 - 6. Let s = n + 8. Suppose 0 = -s*x - 13 - 2, -3*l + 21 = -3*x. Is l even?
True
Let v(x) = -x**3 + 6*x**2 + 4. Let f be v(6). Let s = f - -1. Suppose -27 = -3*c + 3*d, 0 = -3*c + 3*d - s*d + 2. Is c a multiple of 4?
True
Let x = 23 + -17. Does 2 divide x?
True
Let o = 2 + 3. Suppose -208 = -2*x + 7*z - 2*z, x - o*z = 109. Is x a multiple of 33?
True
Suppose -7*c - 10 + 73 = 0. Does 3 divide c?
True
Suppose 4 = 2*m - 0*m. Let y be m + (-238)/(-2) + 2. Does 19 divide y*(1 + 2/(-3))?
False
Suppose -6*y + 168 = -0*y. Is 7 a factor of y?
True
Let q(w) = w - 6. Let o be q(6). Is 3 + o/(-3) + 11 a multiple of 14?
True
Let f be 82/8 - (-5)/(-20). Suppose f = -d + 2*d. Is 10 a factor of d?
True
Suppose 8*i = 4*i - 112. Let h = -44 - i. Is (h/(-10))/((-4)/(-20)) a multiple of 3?
False
Suppose c + 66 = 2*z - 2*c, -2*z + c + 66 = 0. Is 11 a factor of z?
True
Let f = -1 + 1. Suppose -2*n + n + 7 = f. Suppose o + 13 = n*d - 4*d, -d = 4*o. Is d a multiple of 2?
True
Suppose 0 = 5*x - 398 + 103. Suppose k + 2*s = 6*k - x, 45 = 5*k + 5*s. Suppose -4*a - 19 = -5*b, -a - k = -2*b - 4. Is 3 a factor of b?
True
Suppose 0 = -7*l + 4*l + 15. Suppose 2*d + l*n - 161 = -63, 2*d - 86 = n. Does 22 divide d?
True
Suppose -4*i = -i. Suppose i = -4*j - 0 + 8. Is j even?
True
Suppose -2*k - 2*k = 2*a - 20, 4*k - 2 = a. Is 6 a factor of a?
True
Suppose 4*k - 4 = -0, -l + 78 = k. Suppose -2*p = -3*h + 122, -3 - 1 = -2*p. Let t = l - h. Is 18 a factor of t?
False
Let x = 40 + -24. Is x/12*18/4 even?
True
Let u(c) = c + 13. Is 28 a factor of u(15)?
True
Let c = -175 + 313. Let b = c - 48. Let n = b + -48. Is n a multiple of 14?
True
Suppose 3*w - 4*r = 17, 1 = -4*w - 2*r - 13. Let u(g) = -g**2 + 1. Let i be u(w). Suppose 4*f = 5*d + 22, i = -f - 2*f + 4*d + 16. Is f a multiple of 3?
False
Let a(d) = 16*d**3 + 2*d**2 - 4*d. Is a(2) a multiple of 16?
True
Let v be ((-28)/12 - -2)*0. Suppose 5*x - 36 + 6 = v. Does 3 divide x?
True
Suppose 3*c - c = 10, -3*c = -5*b. Let v(g) = 6*g**2 + 2*g - 4. Is v(b) a multiple of 15?
False
Does 5 divide (18/10)/((-33)/(-275))?
True
Let m = -49 + 15. Let x = 13 + m. Let a = -12 - x. Does 9 divide a?
True
Suppose 19 - 67 = -4*s - 4*j, j - 29 = -2*s. Let x(u) = -u**3 + 3*u + 2. Let k be x(-2). Suppose -s - 3 = -k*i. Does 2 divide i?
False
Let r = 9 + -16. Let z(a) = -a**2 - 4*a - 11. Let g(q) = -q**2 - 5*q - 10. Let v(j) = -3*g(j) + 2*z(j). Is 8 a factor of v(r)?
True
Is 212/18 + 20/90 a multiple of 12?
True
Let p(a) = 40*a**3 + 5*a**2 - 6*a - 1. Is 56 a factor of p(2)?
False
Suppose 4*p + 6 = 2*u, -2*p - 10 = -5*u + 13. Let w = 1 + p. Suppose -w*l + 20 = -0*l. Is l a multiple of 4?
False
Let t(d) = -d**3 - 2*d**2 + d - 1. Is 9 a factor of t(-4)?
True
Let c(d) = d**3 + 7*d**2 + d + 3. Suppose l - 5 = 2*l. Is 24 a factor of c(l)?
True
Suppose 0 = 4