r of s(-21)?
False
Let x(o) = 3*o**2 + 7*o + 9. Let k be x(7). Suppose -2*a = 3*b - 3, -b - 4*b + a = -18. Suppose b*z - k = -2*z. Does 11 divide z?
False
Let t(a) = -2 + 41*a**2 - 1 + 4. Is t(-1) a multiple of 14?
True
Does 15 divide 570/9 + 2/3?
False
Let h = 139 + -87. Is 14 a factor of h?
False
Let s(f) = f**2 + 5*f - 9. Let o be s(-7). Is 239/5 + 1/o a multiple of 16?
True
Let d = -1 + 3. Suppose 0*g + 38 = d*g. Is g a multiple of 9?
False
Let z(r) = -6*r + 4. Let k(t) = 5*t - 5. Let a(j) = j**3 + 3*j**2 - 4*j - 4. Let u be a(-4). Let d(b) = u*k(b) - 3*z(b). Is 12 a factor of d(-7)?
False
Is 17 a factor of (-8)/3*765/(-30)?
True
Suppose 0 = -5*j + 27 + 43. Let u be ((0 - -3) + -2)*j. Suppose -s - u = -5*q, 13 = -4*q + 8*q + s. Does 2 divide q?
False
Suppose -68 = -t + i, -4*i = -0*t - 2*t + 130. Let l = t - 39. Is 16 a factor of l?
True
Let f(x) = 2*x**2 + 13*x + 8. Let b(v) = -v**3 - 6*v**2 + 7*v - 8. Let a be b(-7). Is f(a) a multiple of 12?
False
Let y be 2/(((-4)/103)/(-2)). Let s = y + -7. Suppose -4*h + 0*h = -s. Is 24 a factor of h?
True
Suppose -4*n + 6*n - 4*f = 22, -2*n - 6 = 3*f. Suppose -4*b + r = -36, 5*r + 33 - 6 = n*b. Is b a multiple of 9?
True
Let x(z) = -z**2 - 8*z - 1. Let d be x(-6). Let s = d - 15. Let v(p) = 3*p**2 + 3*p - 1. Does 12 divide v(s)?
False
Let h = 55 + -33. Is h a multiple of 3?
False
Suppose -5*g + 2*t = -18 - 11, 2*t + 4 = 0. Let o = 10 + g. Suppose 0 = -b - 2 + o. Is 13 a factor of b?
True
Let r(y) = 3*y**3 - 2*y**2 - 2*y + 1. Is 6 a factor of r(2)?
False
Let g be 1*(-36 + 3)/1. Let h = 57 + g. Suppose -4*y - h = -6*y. Does 6 divide y?
True
Let g = -3 - -47. Is 10 a factor of g?
False
Suppose 0*i + 372 = 5*j + 3*i, -5*j - 5*i = -380. Suppose 2*u + 2*u = 4*f - j, 5*f - 62 = -2*u. Is 9 a factor of f?
False
Let d be 3/(9/6)*31. Let t = d - 41. Does 7 divide t?
True
Suppose -6*l + l - 20 = 0. Let s be (-3 - l)/(1/(-10)). Let x = 17 - s. Is x a multiple of 12?
False
Let r = -1 + 2. Suppose -27 - r = -4*s. Suppose -65 = -s*a + 2*a. Is 13 a factor of a?
True
Let y(d) = 29*d + 10. Is 19 a factor of y(6)?
False
Let j(t) = t**2 - 7*t + 8. Let z be j(6). Suppose -r - z*r + 36 = 2*h, 3*r + 27 = h. Is h a multiple of 13?
False
Suppose 2*o - o = 2. Suppose 0 = 4*x - o*x. Suppose x = -2*r - 24 + 66. Does 16 divide r?
False
Suppose 7*w - 13 = -5*c + 3*w, 3*c - 9 = -2*w. Suppose -f - 4*m - 17 = 1, c*f + 3*m = -39. Is ((-8)/f)/(2/18) a multiple of 6?
True
Suppose -4*g = -0*g. Is (3 - 16)/(g - 1) a multiple of 11?
False
Let k = 13 + 6. Suppose 0 = p - k - 1. Does 10 divide p?
True
Suppose n = 4*n - 48. Suppose 0*b - 22 = 4*q + 3*b, 4*b + 12 = -q. Let a = n + q. Does 4 divide a?
True
Let x = 242 + -172. Does 14 divide x?
True
Let s = -132 + 80. Let i be (1/(-1))/(4/s). Suppose -3*c + 41 = -i. Does 6 divide c?
True
Is 11 a factor of (-10)/2 + 10 - -120?
False
Suppose 3*f = -f + 88. Let b = f + -12. Is b a multiple of 5?
True
Suppose 3*w + 0*q - q - 487 = 0, 4*q - 158 = -w. Let g = -106 + w. Is g a multiple of 28?
True
Let j = 6 + 8. Does 6 divide j?
False
Suppose 2*k = 3*k - 2. Suppose -k*h + h = -32. Suppose 2*o = -4*m + m + 96, m = 2*o + h. Is m a multiple of 11?
False
Let d(c) = 4*c**2 + 7*c - 8. Let h(w) = -2*w**2 - 3*w + 4. Let n(r) = -2*d(r) - 5*h(r). Let l be 9/3 - 1 - 5. Does 11 divide n(l)?
True
Let f be (-9)/6 - (-46)/(-4). Is 8 a factor of (f/3)/(2/(-6))?
False
Let z(u) = -u**3 + 11*u**2 - 8*u - 11. Is 9 a factor of z(10)?
True
Suppose 5*c + 25 = 95. Suppose c = 2*f - 0. Is 2 a factor of f?
False
Let f = 296 + -180. Is 19 a factor of f?
False
Let m be -2 - (2/(-1) + 2). Let j = 8 - m. Does 5 divide j?
True
Let i be 4/(-2)*(-3)/2. Suppose -3*n + 6*n + i = 0. Does 4 divide ((-9)/n)/((-1)/(-1))?
False
Is (-7 + 920/15)/(1/3) a multiple of 23?
False
Let r(x) = x + 20. Let g be r(-9). Let j = 3 + g. Does 14 divide j?
True
Suppose 3*s = -3*y - s - 16, -4*s = 16. Suppose 0 = -y*b - 4*b - 72. Let i = 30 + b. Is 6 a factor of i?
True
Let z be (-4)/(5/(10/4)). Does 8 divide z/(-4)*(5 + 33)?
False
Is ((-5)/2)/(2/(-40)) a multiple of 10?
True
Let h = 37 - 7. Let a = h - 21. Is 5 a factor of a?
False
Let m = -3 + 5. Let i be (-41)/(-4) + (-3)/(-4). Let n = i + m. Does 6 divide n?
False
Suppose -2*a - 4*g + 80 = 0, -g = 3*a + 4*g - 118. Suppose 5*s + 4 + a = 0. Let j = s + 24. Is 8 a factor of j?
True
Let t(g) = g**3 + 12*g**2 + 13*g + 10. Is t(-10) a multiple of 10?
True
Suppose -8*f - 86 = -470. Is 16 a factor of f?
True
Let x = 43 - -5. Is x a multiple of 16?
True
Suppose w - 2*w = -30. Is 16 a factor of w?
False
Is 15 a factor of 2/((-8)/52)*-5?
False
Is 108/15 - (1 - (-8)/(-10)) a multiple of 7?
True
Let t be (-3)/(-3) + 1 + 0. Suppose b + 4*b = 0, 0 = -3*q + t*b + 6. Suppose 4*o - q*o - 46 = 0. Does 10 divide o?
False
Suppose 0 = -2*z - 3*z - 240. Let p be 16/1*(2 - -3). Let l = p + z. Does 16 divide l?
True
Suppose 8*q - 4*q - 24 = 0. Let t = q - -2. Let j(w) = 3*w + 4. Is 14 a factor of j(t)?
True
Suppose 0 = 5*w - 4*x - 93, -2*x = 3*w + 12 - 81. Does 11 divide w?
False
Let n(i) = i**3 + 6*i**2 - 7*i - 2. Let f be n(-7). Let s(j) = -j + 2. Let v be s(f). Suppose v*b - 12 = 3*b. Is 6 a factor of b?
True
Is 22 - 4 - 2/2 a multiple of 14?
False
Suppose -4*i + 9*i + 30 = 0. Let d be ((-20)/i)/((-1)/(-3)). Let x = 10 + d. Does 8 divide x?
False
Let m be 2*(3 - 4)*-1. Suppose -4*p + 2*w + 48 = 0, 5*w - 36 = -m*p + 3*w. Does 14 divide p?
True
Let i(a) = -2*a. Let h be i(-4). Suppose -u = -0*u - h. Is u a multiple of 7?
False
Suppose -q + w + 27 = -0*w, -w = -2*q + 55. Let o = q + -12. Does 8 divide o?
True
Suppose 2*m + 620 = 7*m. Suppose 3*c - c - m = 0. Does 22 divide c?
False
Let f(x) = -x**2 - 9*x - 5. Let o be f(-8). Suppose -4*b - 22 = 2*d, 20 = 3*d - o*b + 8. Is 12 a factor of -1 - (-17*1 - d)?
False
Let t(c) = 3*c - 7. Does 8 divide t(13)?
True
Let z(m) = -2*m - 5 + 2 + 3. Let y be z(-3). Suppose y = 2*v - 16. Is v a multiple of 8?
False
Let s be -1 + (0 - 1)/1. Let m be 0 + s + -4 + 8. Suppose -m*z + 3*z - 10 = 0. Is 10 a factor of z?
True
Let o(n) = 3*n**2 + 2*n. Does 14 divide o(-4)?
False
Suppose -2*t + 292 = -0*t. Suppose 2*g + t = 4*g. Suppose 0 = 5*x + 4*h - 5*h - g, 4*x - 53 = -h. Is x a multiple of 9?
False
Suppose 0 = 7*b - 3*b - 8. Let t(g) = 8*g**2 - 3*g + 3. Let p be t(b). Let h = -19 + p. Is h a multiple of 5?
True
Let x = -8 + 11. Suppose 5*h = -x*y + 206, 2*h = -y + 33 + 50. Is 13 a factor of h?
False
Let f(n) = 7*n - 7 - 18*n + 2*n**3 - n**3 + 6*n**2. Does 11 divide f(-7)?
False
Is 5 a factor of 10640/171 + (-2)/9?
False
Suppose -5*y + 206 + 234 = 0. Is 10 a factor of y?
False
Let c = 7 + -1. Suppose -2*n - 62 = -3*x, -14 = -2*x + 5*n + 9. Let i = x - c. Is 7 a factor of i?
False
Let a = 3 - 8. Let x(u) be the second derivative of -u**5/20 - u**4/4 + u**3 - u**2/2 - u. Is x(a) a multiple of 8?
False
Let s be (0 + -4)*(1 + -2). Let a = -7 + s. Let l = a + 25. Is 11 a factor of l?
True
Let f(q) = 7*q + 2. Suppose -4*i - 47 = -7. Let r = -6 - i. Is 15 a factor of f(r)?
True
Does 33 divide 73 - (-3 + 4 + 2)?
False
Let r be 42/5 + 4/(-10). Suppose -r = -3*k - s, -4*k + 0*s = -s - 20. Is 5 a factor of 19/k - 2/(-8)?
True
Suppose 5*x - 115 - 71 = r, 3*x - r - 112 = 0. Suppose -4*v + 57 = -u + 6*u, 4*v - x = -u. Is v a multiple of 2?
True
Suppose 4*c - 84 = -2*l, -2*l - 2*c = 3*l - 178. Does 5 divide l?
False
Suppose 0 = 2*l - l + x - 12, -5*x - 20 = 0. Does 20 divide ((-21)/12 + 3)*l?
True
Is 16 a factor of (3/4)/((4 - 2)/320)?
False
Suppose p + 10 = 6*p. Suppose -5*y + 3 = z, 3*z + 2*y + p*y = 20. Let i(c) = -c**2 + 9*c + 3. Is 6 a factor of i(z)?
False
Let h(n) = -n**3 + 3*n**2 + 3. Let z be h(3). Suppose 5 = z*u - 2*u. Is u a multiple of 2?
False
Let s = -40 + 95. Suppose -3*l + s = 2*l. Does 6 divide l?
False
Suppose -2*b + 5*a = -0*b + 6, 3*b = -5*a + 16. Suppose 0 = -6*v + b*v + 96. Is 6 a factor of v?
True
Let m = -17 + -7. Let y be 0 - (-43 + -1) - 0. Let g = m + y. Does 10 divide g?
True
Is 2 - 0 - (-6)/2 a multiple of 2?
False
Let c(f) = -2*f**3 + 18*f**2 + 4*f + 20. Is c(9) a multiple of 28?
True
Suppose -2*i - 14 = g - 6*g, 3*g - 9 = i. Suppose -16 = g*n, 3*h - 6*n + 5*n - 127 = 0. Is h a multiple of 15?
False
Let b(c) = 10 + 6*c**2 + c**3 + 6*c - c**2 + 3*c**2. Let y be (-3)/(-3*2)*-14. Is