 + 10. Let x be p(-7). Let z(u) = -u**2 + 8*u - 4 + 0*u + 2. Is 13 a factor of z(x)?
True
Let j(n) = 4*n**2 - n. Suppose 3 = -4*v - 9. Does 13 divide j(v)?
True
Let g(v) = -v**3 + 8*v**2 + 2*v. Let k be g(8). Let t be (3 + -10)/(1 + 0). Let m = t + k. Is 9 a factor of m?
True
Suppose -3*z + 3*j = 2*z - 697, j + 279 = 2*z. Does 10 divide z?
True
Let j = -8 - -13. Suppose -3*w = -2*r + 33, j*w + 0*w + 25 = 0. Is r a multiple of 9?
True
Let z(w) = -w + 8. Let c be z(-7). Suppose -7 - c = -2*u. Is 6 a factor of u?
False
Suppose -3*n + 2 = -2*n. Is 87/3 + n + 1 a multiple of 16?
True
Let k be (-810)/(-7) + 4/14. Suppose 5*b = -2*f - 22 + k, -f - 2*b = -47. Is f a multiple of 10?
False
Let r = 109 - -61. Is 39 a factor of r?
False
Suppose 2*b - b - 3*d = 5, -3*b - 4*d = -15. Let a(i) = i**3 - 6*i**2 + i + 2. Let w be a(b). Let v = w + 27. Does 7 divide v?
False
Let z = -14 + 22. Suppose z = u - 0. Let n(b) = -b**3 + 7*b**2 + 9*b + 2. Is 10 a factor of n(u)?
True
Let z = 97 - 61. Does 18 divide z?
True
Let b(s) be the second derivative of -17*s**3/6 + s**2/2 - 2*s. Let z be b(-2). Suppose -3*q + 49 = -z. Does 28 divide q?
True
Suppose 3*s = -4*w + 156, 3*s - 110 = -3*w - s. Does 7 divide w?
True
Suppose -10*n = -6*n - 28. Suppose 0 = -2*r - 5*s + 29, -17 = -3*r - s + n. Is r even?
False
Let c = 1 - 0. Suppose s + c = 4. Suppose -3*o - 2*q + 35 = -3*q, 4*o + s*q = 64. Is o a multiple of 13?
True
Suppose 11 = 2*k - m - 1, -2*k - 8 = 4*m. Does 5 divide ((-40)/(-12))/(k/6)?
True
Suppose 0 = -z + 6*z - 65. Let p(h) = -7*h**2 + 1. Let a be p(-1). Let y = a + z. Is y a multiple of 7?
True
Suppose 1 = n - 3. Suppose 4*z = 8, -2*p + z + 22 = n*z. Suppose -4*h + p = -2*x, 3*x = 5*h - 1 - 7. Is 2 a factor of h?
True
Suppose -5*l + 8 = -2. Let h = 13 + l. Let y = -5 + h. Does 7 divide y?
False
Suppose 2*f = -a + 42, -4*a = -4*f - 89 - 31. Is a a multiple of 17?
True
Let p(x) = -x**3 - x**2 + x + 4. Let z be 0/((1 - 3)*-1). Let f = z - 3. Is p(f) a multiple of 19?
True
Let o = 9 - -15. Does 6 divide o?
True
Suppose -y - 2*y = 9. Let p be (-1)/3 - (-8)/y. Is 2 a factor of (-2)/(-3) - 10/p?
True
Let q(c) = 8*c - 5. Let b be 0 - (-7 + 2 - 0). Is 7 a factor of q(b)?
True
Let c(b) = 2*b**2 - 7*b + 7. Let r(v) = -v - 3. Let a be r(-8). Is c(a) a multiple of 22?
True
Let z(y) = -y. Does 4 divide z(-11)?
False
Let b be (-19)/(-7) - 10/(-35). Suppose 0*u + 4*u = -b*m + 38, -2*u = 2. Does 7 divide m?
True
Does 4 divide 6 + 1 + -5 - -14?
True
Let t = -8 + 0. Let j = t + 14. Is 3 a factor of j?
True
Let a = -4 - -10. Suppose a*y - 28 = 4*y. Is y a multiple of 7?
True
Let n(i) = i**3 + 7*i**2 + 4*i + 5. Let h be 228/14 - (-6)/(-21). Let b = h - 22. Is n(b) a multiple of 6?
False
Suppose 5*w = 21 - 6. Suppose -5*g - w*c = -5 - 1, g + 9 = -4*c. Is g a multiple of 3?
True
Is 54 a factor of 84 - (6 - 16/4)?
False
Suppose 7 = -3*q + 22. Suppose -q*b + 79 + 11 = 2*h, b - 3*h - 18 = 0. Is 18 a factor of b?
True
Suppose 0 = 5*p - 5*y - 414 - 591, 5*y = 4*p - 804. Is 13 a factor of p?
False
Let i(r) = -r**2 - r + 0*r**2 + 6 + 0*r**2 + r**3 + 6*r**2. Suppose -2*g + 0*g = 10. Does 11 divide i(g)?
True
Let t = -19 - -33. Is t a multiple of 7?
True
Suppose -3*z = 3*o - 0*z + 9, 0 = 2*o + 5*z + 21. Suppose 2*q - 12 = 3*x, -5*q + 24 = -5*x - 6. Suppose 0*k = -o*k + q. Is k a multiple of 3?
True
Does 7 divide 2235/40 - 1/(-8)?
True
Suppose -f = -4*f - 2*h + 564, -2*f + 376 = -5*h. Suppose -f + 38 = -3*t. Does 17 divide t?
False
Suppose -3*s + 21 = -6*s. Let c = s + 11. Is c even?
True
Let m = 2 + 0. Suppose -3*v + 100 = m*v. Is v a multiple of 7?
False
Suppose -2*m - 2 = -4*d, -4*m = 2*d - 17 + 1. Suppose m*q - 4*q = 2*p - 14, -32 = -2*q - 2*p. Does 6 divide q?
True
Let f(a) = -a - 2. Let b be f(-2). Let l be 0 + (b + -6)/(-3). Suppose -44 = -5*q + 4*x, -5*x + 3*x = l*q - 32. Is 12 a factor of q?
True
Let g(s) = -s**2 - 11*s + 1. Is g(-7) a multiple of 9?
False
Suppose -2*k - 3*b + b = 4, 3*k = -5*b - 8. Suppose j + 2 = 14. Is 3 a factor of (j/(-10))/(k/5)?
True
Let n = 2 + 3. Suppose 3*l = 3*q - 15, -n*l + 2*q - 27 = 1. Is 18 a factor of (81/(-12))/(l/16)?
True
Let y = 93 + -22. Suppose 3*z = -4*t + 78, -2*t + 5*t - 4*z = y. Does 9 divide t?
False
Let z be (-1 - (1 - 3))*-116. Let q be (z/(-16))/(2/8). Suppose q + 0 = o + m, 3*o = 4*m + 122. Does 17 divide o?
True
Let r(y) = 3*y**2 + 2*y. Let l be r(-2). Let s = l - 6. Is 20 a factor of (0 - s*-2)*10?
True
Let b(o) = o**2 - 7*o + 6. Let a be b(6). Suppose -66 = -u - s, 0 = 2*u - a*s - 2*s - 112. Is 21 a factor of u?
False
Let n = 5 + -2. Let x(w) = w + 4. Is x(n) even?
False
Let k(c) be the first derivative of -c**5/20 + c**4/3 + c**3/3 - 2*c**2 - 2*c - 4. Let m(t) be the first derivative of k(t). Is 4 a factor of m(4)?
True
Suppose -14 = -4*f - 3*b, 0*f + 3*b + 2 = 4*f. Suppose f*s = -2*s + 140. Does 12 divide s?
False
Let h(g) = g**3 - 9*g**2 + 10*g + 6. Does 13 divide h(8)?
False
Suppose 11 = -3*q + 8. Does 9 divide 0 + (q - 2 - -12)?
True
Let r = 18 + -25. Is 11 a factor of ((-82)/r - 4)*7?
False
Let p be (-4)/(-1 + (-18)/(-22)). Let z(u) = u + u - u + p*u**2. Does 6 divide z(1)?
False
Suppose 5*d - 34 - 11 = 4*v, d - 4*v + 7 = 0. Does 13 divide d?
True
Let z be -1 - 3 - -1 - 6. Let m(j) = -j**3 - 8*j**2 + 8*j + 7. Is 13 a factor of m(z)?
False
Let d be 6/(-9) - 28/(-6). Suppose 3*r + 21 = -3*k, -d*k - 13 = -r - 0. Is r/9 - 260/(-6) a multiple of 16?
False
Let g(r) = -23*r. Let o be g(2). Let p = -26 - -3. Let m = p - o. Does 10 divide m?
False
Let l(h) = -h**2 + 7*h. Let b be l(6). Let x(u) = u - 4. Let g be x(b). Suppose -g*c + 7 + 3 = 0. Does 5 divide c?
True
Is 10 a factor of (9 + -7 - 6)*490/(-8)?
False
Let z(f) = f**3 - f**2 - 6*f + 3. Let o be z(4). Suppose 5*s + 180 = 5*r, -4*s + 15 = 2*r - o. Is 14 a factor of r?
False
Let m be (-3)/12 + (-153)/(-4). Is m + 3 + -2 + 3 a multiple of 9?
False
Suppose 0 = -5*s + 5*z + 65, -z = 3*z - 4. Suppose s = v + v. Is v even?
False
Suppose 5*j = 2*g + 112, -4 = 4*g - 0. Is j a multiple of 2?
True
Let b be 0 - (31 + -1 + 1). Let q(g) = g**3 + 7*g**2 - 14*g - 9. Let z be q(-9). Let l = b - z. Does 7 divide l?
True
Suppose 3*v = -4*z + 52, -3*z + 36 = 4*v - 6*z. Suppose -v = 5*w + 13. Let m(s) = 2*s**2 + 6*s + 2. Is m(w) a multiple of 11?
True
Let a(i) = 24*i. Let u be a(1). Let h(j) = j**3 - 16*j**2 + 3*j - 8. Let y be h(16). Let s = y - u. Does 16 divide s?
True
Let x(w) = 2*w - 6. Let k be x(4). Suppose k*j - 3 - 7 = 0. Is 2 a factor of j?
False
Let a be (1/(-2))/(3/(-12)). Let h(z) = z**3 - 2*z**2 + z - 1. Let b be h(a). Let n = b - -4. Is n a multiple of 5?
True
Let t = -8 - -7. Let g(o) = 41*o**2 + o. Let m be g(t). Suppose 0 = 3*n - 32 - m. Is n a multiple of 22?
False
Let f(t) be the third derivative of -t**4/24 - t**3 + t**2. Let b be f(-3). Does 13 divide 3*(-9)/b*3?
False
Let z = -11 + 14. Is 5 a factor of ((-27)/6)/(z/(-12))?
False
Does 10 divide (24/21)/(4/14) + 6?
True
Let x = 13 - 24. Let y = x + 13. Is y/(-9) - 76/(-18) a multiple of 4?
True
Suppose -7*i - 156 = -3*i. Let h = -28 - i. Let x = 17 - h. Does 4 divide x?
False
Let l be (47/(-2))/(9/(-18)). Let j = 5 + l. Is 17 a factor of j?
False
Suppose -3*h + 4*n = 205, -h + 3*n - 79 = -n. Is 5 a factor of (-128)/(-9) + 14/h?
False
Suppose 2*a + 3*r = 2 - 7, 0 = 5*a - 3*r - 19. Suppose 0 = -5*w + 5*l + 65, 2*l + 41 = 5*w - a*w. Is w a multiple of 15?
True
Suppose 0 = 3*t + 2*t - 130. Suppose -4*w - t = -2*z + w, -11 = -z + 2*w. Suppose 0 = g + 2*g - 4*q - 50, -g + z*q + 10 = 0. Is g a multiple of 13?
False
Suppose -10 = 2*l - 2*f, -5*l - 4*f - 1 = -21. Suppose l*x - 3*x = 0. Suppose x = 4*h - 2*z - 40, -5*h = -0*h - 3*z - 51. Is h a multiple of 5?
False
Let a(c) = 28*c**2 + 3. Let t(h) = 141*h**2 + 16. Let v(i) = 11*a(i) - 2*t(i). Does 9 divide v(-1)?
True
Let a = -7 + -24. Let z = a - -54. Is z a multiple of 3?
False
Suppose 0 = p + 5 - 1. Let u(k) = -k**3 + 1 - 4*k**2 - k - 2*k - 7. Is u(p) a multiple of 6?
True
Suppose q - 6*l = -l - 4, 5*q - 4*l - 22 = 0. Is 6 a factor of q?
True
Let m(g) = g**2 + 6*g + 5. Let h = -5 + -1. Let n be m(h). Let p(l) = l**3 - 4*l**2 - l - 3. Is p(n) a multiple of 7?
False
Let m = 130 - 86. Is m a multiple of 5?
False
Suppose 4*u + 0*u = 8. Let l be u/1 - (-126)/7. Suppose 0*f = -f + l. Is 10