vide u?
True
Let z = -5 - -10. Let l(a) = 3*a - 3. Let h be l(z). Is 63/4*32/h a multiple of 14?
True
Suppose 0 = -2*s, -3*s - 12 = -5*z + 3. Suppose 2*o - 46 = -z*x + 134, x - 5*o = 43. Suppose -4*r = -3*t + x, -t + 5*r - 32 = -2*t. Does 9 divide t?
False
Suppose 0 = 8*p + 131 - 1171. Is 4 a factor of p?
False
Let j(g) be the first derivative of -7*g**2/2 + 5*g + 1. Let b be j(-8). Is 14 a factor of (1 - b)/(6/(-4))?
False
Suppose 0 = -5*t + x + 15, -5*t + 15 = -2*x + 6*x. Suppose -4*v = -2*n - 2*n + 28, -2*n = -t*v - 20. Let i(j) = -4*j - 8. Is i(v) a multiple of 13?
False
Let r be (2 - 1)/((-8)/(-32)). Is 10 a factor of ((-6)/(-4))/(r/88)?
False
Is 31 + (0/4 - -4) a multiple of 5?
True
Let l(v) = v**2 + 4*v + 5. Is 10 a factor of l(-5)?
True
Suppose 0 = 5*i - 3*b + 121 - 21, 0 = -i + 2*b - 13. Let x = -15 - i. Suppose 4*a - 8 = x. Is 4 a factor of a?
True
Let q(t) = t**3 - 5*t**2 - 7*t + 9. Let m be (-9)/(-2 + 3/6). Is q(m) even?
False
Let z be (-2 + 3)/((-1)/(-3)). Suppose -4*y + 15 = -y, -z*n + 89 = 4*y. Is 5 a factor of n?
False
Let o be 2 - (-3)/((-9)/3). Does 10 divide o*-3 + (4 - -9)?
True
Let c be (-9)/(-15) + (-110)/(-25). Suppose 0 = 5*q - c*t - 55, 5*t = -0*q - 5*q + 75. Is q a multiple of 13?
True
Suppose 5*v - 4*n = 123 + 2, -3*n + 15 = 0. Suppose y - k = 13, -4*y + 2*y = -3*k - v. Is 4 a factor of y?
False
Suppose 5*n = -3*w + 14, 0*n - 3*n + 3*w = -18. Suppose -5*j + 73 = 2*x - x, 4 = -n*j. Is 25 a factor of x?
False
Let z = -1 + -6. Let q = 19 + z. Suppose x = -2*a + q, x + x - 5*a + 3 = 0. Is x a multiple of 6?
True
Let z = 1 + 1. Let n be (-1)/(-2)*(6 + z). Suppose 34 + 22 = n*u. Does 9 divide u?
False
Let u(p) = p**2 + 3*p - 17. Let h(o) = o**2 + 3*o - 16. Let k(a) = 3*h(a) - 2*u(a). Is k(-6) a multiple of 2?
True
Suppose -2*c - 7 = -3*x, 4*x = -4*c - 10 + 26. Suppose 3*q + x*q = 114. Does 12 divide q?
False
Let z = 9 - 11. Is 8 a factor of 1/(z/(-22)) - -3?
False
Suppose -25 = -w - 5. Suppose -2 = 2*x - w. Is 3 a factor of x?
True
Let l(q) = 19*q - 3. Is l(4) a multiple of 31?
False
Suppose 4*z = 3*s - 30, s - 2*z - 21 = 3*z. Suppose -h + s + 1 = 0. Suppose 0 = 2*k - h*k + 105. Is k a multiple of 7?
True
Let l(z) = z - 1. Let r(o) = 3*o - 12. Let s be 4/(-2) + 3 - 0. Let d(a) = s*r(a) - 6*l(a). Is d(-4) a multiple of 3?
True
Let u(c) = c**3 - 4*c + 3. Let x be u(2). Suppose -5*o = -x - 7. Suppose 6*m - 100 = o*m. Does 25 divide m?
True
Let a(i) = 0 + 3*i + 0*i + i**2 + 0 - 3. Is 5 a factor of a(-6)?
True
Let x(o) = o - 9. Is 3 a factor of x(12)?
True
Let g(k) = 113*k**2 - 1. Is 19 a factor of g(-1)?
False
Let m(x) = x**3 + 7*x**2 - 2*x - 6. Let i be -5*3/3 - 0. Is m(i) a multiple of 27?
True
Suppose 0 = x - 2*c - 49, 0*x + 5*c = -3*x + 136. Suppose 2*i - x = i. Does 24 divide i?
False
Let m(p) be the first derivative of 3*p**2 + 3 - p**2 - 2. Is m(5) a multiple of 20?
True
Suppose 10*a - 8*a = -4. Is (312/(-8))/(1 + a) a multiple of 11?
False
Let i(d) = -3*d**2 - 2*d + 2. Let s(a) = -a**3 + 5*a**2 + 4*a - 3. Let g(k) = 5*i(k) + 3*s(k). Is 2 a factor of g(-1)?
True
Let y be 2/(-7) - 60/(-14). Suppose 3*t + f = 3*f + 90, 122 = 4*t - 2*f. Suppose -m + t = 5*l, m - 4*l = -0*m - y. Does 6 divide m?
True
Let w(c) = 2*c. Let x be w(1). Suppose -42 = -x*l + k, 0*k = 4*l + 5*k - 112. Is l a multiple of 23?
True
Let f(b) = 4*b**3 + b**2 - 2*b + 3. Is f(2) a multiple of 7?
True
Let w = 54 + -82. Let c(z) = z**2 + z - 10. Let k be c(-8). Let x = k + w. Does 9 divide x?
True
Suppose 4*r - 3*r = 4*t - 14, r = -2. Suppose t*j - 29 = 2*f + 2*f, -5*j - f + 56 = 0. Is j a multiple of 3?
False
Let r be (-4)/(-6)*9/(-2). Let n be (-2)/2*(1 + r). Suppose 0 = -i + n + 13. Is i a multiple of 5?
True
Suppose 0 = -v - 4*v + 260. Let q = -27 + v. Does 18 divide q?
False
Let z(q) = q - 4. Let s be z(9). Suppose 2*n - s*a = 29, -3*n = 4*a - 0*a - 9. Does 7 divide n?
True
Suppose 0*w = 5*w + 4*p - 113, 0 = 3*w - 2*p - 59. Does 12 divide w?
False
Let j = -5 + 60. Is j a multiple of 36?
False
Is 18 a factor of 2 - (-87)/((-9)/(-3))?
False
Let n = 38 + -25. Let y be (-58)/4*(-2 + 0). Let s = y - n. Is s a multiple of 6?
False
Let j = -89 + 60. Suppose 0 = 5*b - c + 100, -b - 3*c - 26 = -2*c. Let t = b - j. Is 5 a factor of t?
False
Suppose 2*m - m + 3*o - 31 = 0, -3*m + 85 = o. Is m a multiple of 7?
True
Let b be ((2 + -2)*-1)/1. Suppose -3*x - 2*u - 14 = b, 4*x - 2*u - 4 = u. Does 12 divide (x/4)/(1/(-52))?
False
Suppose 266 = -238*h + 239*h. Is h a multiple of 14?
True
Let l be 14/(-49) - (-30)/7. Suppose 4*p = 2*p + 4*x + 28, 5*p - 52 = l*x. Is p a multiple of 8?
True
Let y be 14/(-6)*39/(-13). Let m = y + 1. Is 8 a factor of m?
True
Let y = -7 - 17. Let t = 11 - y. Is t a multiple of 7?
True
Let b(l) = -l**3 + 7*l**2 - 7*l + 5. Let m be b(5). Suppose -15*i + 16*i = m. Is 4 a factor of i?
True
Let j = -48 - -84. Does 18 divide j?
True
Let k be (-1 + 3/(-3))*-1. Suppose 3*s = k*s + 3. Suppose 8*v - s*v - 2*a - 38 = 0, 2*v - 11 = 5*a. Does 3 divide v?
False
Suppose 2*j - 3*j = 3*s - 4, -s - 5*j - 8 = 0. Suppose -4*i + 104 = -3*b + 11, 54 = s*i - 4*b. Let y = i + -2. Does 8 divide y?
False
Let q(z) = 3*z**2 + 2*z. Is q(2) a multiple of 16?
True
Let k = 84 - 45. Does 18 divide k?
False
Suppose 5*g - 250 = 3*l + 275, l = 0. Suppose k = 4*w - 235, -2*w = -4*k + k - g. Is w a multiple of 22?
False
Let v(t) = -85*t + 0*t**2 + 86*t + 1 - 37*t**3 - t**2. Is 12 a factor of v(-1)?
True
Let w = -7 + 11. Suppose 2 = -5*f + 12. Suppose 3*y + 95 = w*d, 0 = -d - f*y + 21. Is 9 a factor of d?
False
Suppose 4*y - 60 = -5*p - y, 3*p - 5*y = 36. Suppose -l = 3 - p. Is l a multiple of 6?
False
Suppose 3*d + 39 = 2*d - u, 0 = -2*d + 4*u - 84. Let r = d + 28. Is (-340)/r - 2/6 a multiple of 14?
True
Let o(c) be the second derivative of c**4/12 + 2*c**3/3 - 4*c**2 + 2*c. Let f be o(-7). Let g = f - 8. Is g a multiple of 2?
False
Let d(j) = -3*j + 9. Is 9 a factor of d(-6)?
True
Let f(x) = -3*x**3 + 3*x**2 - 25*x + 3. Let u(p) = p**3 - 2*p**2 + 13*p - 1. Let m(d) = 2*f(d) + 5*u(d). Is m(-7) a multiple of 15?
False
Let s(q) = -q + 12. Let p be s(-6). Suppose 3*u + w - 20 = -4*w, u - 4*w = p. Does 10 divide u?
True
Suppose -2*p - 8 = 2*p. Let c be (-16)/((-2)/5*1). Let a = p + c. Is a a multiple of 19?
True
Let w = 10 + -6. Let l(z) = z**2 + 2*z + 2. Is l(w) a multiple of 7?
False
Suppose 4*d + 3*k - 2*k = 304, 0 = -d - 3*k + 76. Is 19 a factor of d?
True
Let g be (-2 - -81) + -7 + 5. Let z = g + -44. Is 16 a factor of z?
False
Suppose 0 = -3*o + 56 + 145. Let n = 125 - o. Is n a multiple of 10?
False
Suppose -i - 3 = 0, -3*n + 0*i - 5*i = -6. Suppose 4*h + 3*w - 101 = 0, -n*w + 2*w = -5*h + 100. Is 5 a factor of h?
False
Suppose 4*y - 28 + 8 = 0, 1300 = 5*p - 2*y. Is 11 a factor of p?
False
Let h be -3 + 3 + -3 + 1. Let m be ((-1)/h)/((-4)/48). Does 13 divide -26*(21/m + 3)?
True
Let u(g) = g**2 - g + 1. Let f be u(0). Let h = 39 + -76. Is 17 a factor of (f - 2) + (-2 - h)?
True
Let s = -104 + 169. Is 13 a factor of s?
True
Let x(f) = 6*f**2 - f - 1. Let p be x(-1). Let s(h) = -p + 9 + 2*h**2 + 5*h + 4*h**2. Is s(-3) a multiple of 11?
False
Let v(t) = t + 2. Let n be v(-6). Is 19 a factor of 3/n - 446/(-8)?
False
Let v = -2 - -5. Suppose 4*g = 2*g + 5*a + 184, -a = v*g - 276. Suppose p = -3*p - 3*x + 184, -2*p = -3*x - g. Does 18 divide p?
False
Suppose 2*v + v - 4*x - 40 = 0, 29 = 2*v - 5*x. Suppose -d - d + v = 0. Let u = d - -3. Does 8 divide u?
False
Let c = -17 - -47. Is 2 a factor of c?
True
Let v(s) = 2*s**2 - s - 10. Is 22 a factor of v(-9)?
False
Is 8 a factor of (4 + (-224)/10)/((-4)/50)?
False
Suppose -64 - 16 = 3*f - 4*h, 120 = -5*f + 4*h. Suppose 8 + 3 = -u. Is f/u + (-2)/(-11) a multiple of 2?
True
Let c(n) = -n**3 - 4*n**2 + 4*n - 6. Let u be c(-5). Is 20 a factor of (-158)/(-3) + u/(-3)?
False
Let n = -5 + 5. Suppose n*x - 63 = -3*x. Let m = -2 + x. Does 7 divide m?
False
Suppose -5*a - 10 = 5*i, -5*a + 17 = -4*i - 0*i. Suppose 0 = g + a - 3. Suppose -2*x - g*x + 104 = 0. Does 26 divide x?
True
Suppose -3*k = -695 - 355. Is k a multiple of 35?
True
Let n = -14 - -56. Is n a multiple of 8?
False
Suppose -2*a - 7 = -1. Let q(b) = -2*b**3 - b**2 + 3*b. Let f be q(a). Let h = -16 + f. Does 16 divide h?
False
Let a be (-6)/27 + 6/27. Suppose g - 8 - 8 = a. Does