Let c(h) = 6*h**2 + h. Let f be c(1). Suppose -2*l = -f*l + 20. Is 10 a factor of (l/(12/51))/1?
False
Let w be (28/(-6))/((-4)/(-42)). Let k = 105 + w. Is 28 a factor of k?
True
Suppose 6*m - 2*m = 104. Suppose -2*k + m = 4. Is k a multiple of 11?
True
Suppose 4*y + 36 = -0. Let j = y + 17. Is j a multiple of 2?
True
Suppose 0 = 3*m - 4*q + 2, 0 = -2*m + q + 4*q + 1. Let s = 23 + m. Is s a multiple of 21?
True
Let w(c) = c**3 - 15*c**2 + 2*c + 5. Is 7 a factor of w(15)?
True
Let p = 3 - -1. Suppose 6*f - p*f = 90. Is f a multiple of 15?
True
Let z(f) = 8*f + 6. Is z(5) a multiple of 23?
True
Does 11 divide (-21)/(-6) - (-2)/(-4) - -52?
True
Suppose -4*b - b - 2*x = -372, 5*b = 4*x + 366. Let o = -47 + b. Is o a multiple of 19?
False
Suppose -2*p - 44 = -150. Suppose 0*h - h + 31 = 0. Let d = p - h. Does 8 divide d?
False
Does 5 divide ((-1)/(-2))/((-15)/(-750))?
True
Let c(g) = 2*g - 9*g - 7 - 3*g**2 + 2*g**2. Let q be c(-5). Suppose -q*f = 3*v - 15, -5*f = -f + 5*v - 15. Is f a multiple of 10?
True
Let i be 18/3*-6 + -2. Let t = 6 - i. Is t a multiple of 25?
False
Let d be 235/25 - 2/5. Let u = 9 - d. Let i = u + 2. Is i even?
True
Suppose 0 = 2*g - 7 - 1. Suppose 0*u - 4*z = -3*u + 13, g*z + 35 = 5*u. Is 5 a factor of u?
False
Let j = 28 + -24. Is 22 a factor of (-89)/(-2) - 2/j?
True
Suppose 4*o + 2*c = 152, 2*o - 47 - 33 = -2*c. Suppose -6 = 2*w, 5*v - 49 = -5*w + o. Is 10 a factor of v?
True
Suppose -2*h + 2*q + 3*q + 119 = 0, 0 = h - 2*q - 58. Is h a multiple of 13?
True
Let v = 13 - 10. Suppose 5*i = 5, -v*q - 22 = -4*q + 3*i. Is 12 a factor of q?
False
Let z be ((-1)/3)/(1/(-114)). Let g = z + 86. Suppose 2*b = -2*s + g, -2*b + 4*s - 65 = -3*b. Is 16 a factor of b?
False
Let x(t) = 4*t - 2. Let f be x(2). Suppose -5*l + f = -0*y + y, 5*y = -2*l - 16. Suppose -3*w = w + l*k - 80, w - 20 = -3*k. Is w a multiple of 9?
False
Is 10/(-15) - 53/(-3) a multiple of 5?
False
Does 3 divide (18/(-4))/(9/(-24))?
True
Let b(y) = -y**3 - 2*y**2 + 2. Suppose -2*o - i = 5, i - 6*i + 1 = -3*o. Let f be b(o). Suppose -f*a + 110 = 3*a. Is a a multiple of 11?
True
Let f(a) = a**2 - 4*a + 10. Let b be f(-7). Is 6 a factor of b/4 - 2/(-8)?
False
Suppose -3*u - 23 = -z, -3*u + u = 3*z - 25. Suppose 0 = z*x - 14*x + 114. Does 19 divide x?
True
Let x = 1 - -46. Is x a multiple of 30?
False
Suppose -4*o + 225 - 33 = 0. Let c = o - -30. Is 13 a factor of c?
True
Let x be 2/(-10) - 262/(-10). Let h = x - -31. Is h a multiple of 19?
True
Let h(n) = -n + 2. Let o be h(2). Suppose o*f + 2*f = 0. Suppose -q - 36 = -4*a, 45 = 5*a - f*a - 4*q. Is a a multiple of 9?
True
Let g be 1*((-12)/(-3))/(-2). Let c = g - 4. Is (-4)/12 + (-56)/c a multiple of 3?
True
Let f(t) = -t**3 + 6*t**2 + 6*t + 7. Let q be f(7). Suppose v + 4*v - 20 = q, v = -5*x + 49. Is x a multiple of 9?
True
Let c = 64 - -4. Suppose -o = -4*n + 136, 2*n + 0*n + 5*o - c = 0. Does 15 divide n?
False
Suppose 5*n - 4*n + 5 = 0. Let q = -3 - n. Suppose 4*f + 4 = q*r - 16, -34 = -3*r + 2*f. Is 12 a factor of r?
True
Let s(u) = 8*u**2 - 3*u + 4. Is 18 a factor of s(2)?
False
Suppose -2 = m - 17. Let r = 43 - m. Is r a multiple of 28?
True
Suppose 4*b + 3*a = -231 + 1038, 2*b = 5*a + 423. Does 36 divide b?
False
Suppose -j + 2*j - 86 = 0. Suppose -4*a - 26 = -j. Is 15 a factor of a?
True
Suppose 0*t - 4*t = 1316. Let y = -189 - t. Suppose 0 = r - 6*r + y. Does 14 divide r?
True
Let w = -22 + 7. Let y = -10 - w. Suppose -y*b = -48 + 18. Is b a multiple of 6?
True
Suppose -4*q - q = 0. Suppose -3*h = -3*o + 90, q*o - 4*h - 151 = -5*o. Suppose -o + 10 = -c. Does 16 divide c?
False
Let r be (0 - 1)*(-16)/4. Suppose f = 4*l + 5*f - 28, -r*l - f = -16. Is 3 a factor of l?
True
Suppose 5*r + 5 = 2*h, 3*h + 0*r - 5*r - 15 = 0. Let m(q) = -q**2 + 10*q + 8. Is 4 a factor of m(h)?
True
Let a(v) = 3*v**2 + v - 4. Suppose 9*u - 5*u = -16. Is a(u) a multiple of 20?
True
Suppose -4*z + 79 + 305 = 0. Suppose -3*a + 0*a + z = 0. Suppose h = -h + a. Is 9 a factor of h?
False
Suppose -5*a + 0*d + 279 = 3*d, -5*d = -a + 39. Suppose 0 = -4*f + 74 + a. Let r = -19 + f. Is r a multiple of 6?
False
Let u(t) = 2*t**2 - 8*t + 5. Let i be u(5). Suppose -3*k + i = 0, -2 = v + 2*k - k. Let x = v + 19. Is x a multiple of 12?
True
Let d(n) = n**2 + 4*n - 8. Let y be d(-6). Suppose -14 = -a + y. Let m = a + 4. Is 15 a factor of m?
False
Let b = 152 + -64. Is 22 a factor of b?
True
Suppose l + 10 = 6*l. Let h = l - -7. Suppose 3*u + h - 32 = -s, 3*s + 29 = 5*u. Is u a multiple of 7?
True
Suppose 0 = 4*o - x + 13 + 6, -4*x + 12 = 0. Let f(j) = -2*j**2 - 4*j + 2. Let k be f(o). Is 106/4 + (-21)/k a multiple of 8?
False
Let z(n) = -n**2 - 2*n. Let x be z(0). Let y = 1 - -4. Suppose -5*u = -0*o + o - 55, -u + o + y = x. Does 5 divide u?
True
Does 19 divide 3 + -1 - ((-18)/6 - 33)?
True
Suppose c + 3*w = -9, 2*c - w - 2*w - 18 = 0. Let j(h) = -h**3 + 4*h**2 - 3*h + 4. Let o be j(c). Let a = o + 1. Is a a multiple of 5?
True
Let h(s) = -s - s**3 - 4*s + 4*s**2 + 2*s**2 - 7. Let z be h(6). Let k = 63 + z. Does 9 divide k?
False
Let g(s) = 6*s - s + 0 - 3. Does 7 divide g(2)?
True
Suppose 5*o - 62 = -7. Let k = o - 7. Suppose 0 = -k*z - 8, -4*z = 5*l - 18 - 29. Is 5 a factor of l?
False
Suppose 4*o - 2 = -2*k - 10, 6 = -3*o. Let b(f) = f + 65. Let y be b(k). Suppose 5*m - 5*l - y = 0, 2*m + 2*l = l + 32. Does 5 divide m?
True
Suppose 4*d = 4*u + 41 + 131, -u = d - 35. Is 13 a factor of d?
True
Let c be (-36)/(-8) - (-2)/4. Suppose -220 = -c*w - 5*m, -w - 3*m - 98 = -3*w. Is 13 a factor of w?
False
Let s(i) = 34*i**2 - 3*i + 2. Is 5 a factor of s(1)?
False
Suppose -3*o + 11 = 2. Let y = 3 - o. Is (-3 - y/(-1))*-1 even?
False
Let t(a) = -a**2 - 17*a + 33. Is 7 a factor of t(-15)?
True
Let d = -19 - -62. Is 43 a factor of d?
True
Suppose 3*j - d = -3 + 1, j + 2*d = 4. Suppose 0 = 5*x - j*x - 45. Is x + 1 + (2 - 2) a multiple of 10?
True
Suppose -3*f = 6, 2*y + 0*y - 24 = -2*f. Is 14 a factor of y?
True
Let m = 78 - 132. Let n = 39 - 77. Let v = n - m. Is 6 a factor of v?
False
Let y = -154 + 235. Is y a multiple of 7?
False
Let l(s) = s**3 + s**2 - s + 1. Let p(b) be the first derivative of b**4/2 + 10*b**3/3 - 5*b**2/2 + 7*b + 3. Let x(o) = 3*l(o) - p(o). Does 7 divide x(7)?
False
Let d be 2/(-2) + 0 + 181. Suppose -2*a = 3*a - d. Is 10 a factor of a?
False
Let m(v) be the first derivative of -3*v**2/2 + v - 2. Is 14 a factor of m(-9)?
True
Let x(t) = 5*t - 7. Suppose -2*j = -0*j - 10. Is x(j) a multiple of 18?
True
Suppose 280 = -12*w + 952. Is 5 a factor of w?
False
Suppose 3*q + 4*n = -n + 143, 3*q + n = 151. Does 11 divide q?
False
Let f(s) = s**3 + 12*s**2 + 12*s + 15. Suppose -27 = 3*m + 3*z, 2*m - z = -6*z - 12. Let a be f(m). Suppose -a*y + 3*y = -24. Is 12 a factor of y?
True
Let q = 17 - -15. Suppose 0 = 3*w + 2*k - 1, 0*k = 5*w - 5*k - 35. Suppose g = w*g - q. Does 8 divide g?
True
Let w(d) = d + 3. Let y be w(-3). Suppose y = 5*i - 4*t - 23, -2*i - 3*t = -0*i. Suppose -3*g - i*f + 22 = -26, -5*g + 80 = -5*f. Does 8 divide g?
True
Let i(y) = y**3 + 8*y**2 - y + 1. Does 13 divide i(-5)?
False
Suppose -10 = 2*n - 4, -5*n - 15 = -2*w. Let l be (1 - w) + 4*5. Is 11 a factor of (-7)/(l/(-72)) - 2?
True
Suppose -r = -2, 3*x + 18 = 4*r + 70. Is x a multiple of 5?
True
Does 2 divide -4*(14/8)/(-1)?
False
Let p be 74/(-6) + (-16)/24. Let s = p - -33. Is 8 a factor of s?
False
Let y be 15*(8/(-3) + 3). Let n = 0 - -1. Let m = n + y. Does 3 divide m?
True
Suppose -5*p = -6*p - 3. Let w = p + 12. Is w a multiple of 3?
True
Suppose -6*z + z = 5*f - 65, -4*f = z - 49. Let l = f + -6. Is 3 a factor of l?
True
Let a(s) = s**3 - 4*s**2 + 2*s + 1. Let w be a(3). Is 5*1 + w/(-2) a multiple of 4?
False
Is (150/(-45))/((-1)/3) a multiple of 10?
True
Suppose -5*d + 980 = -d. Suppose 8*r - 3*r = d. Suppose w = x + 13, 2*x = 4*w - 3*x - r. Does 16 divide w?
True
Let h(c) = -c**3 - 5*c**2 + 5*c + 2. Suppose -m + 1 + 3 = 2*s, -26 = m - 4*s. Does 8 divide h(m)?
True
Let x(s) = -s**2 - 7*s + 10. Let y be x(-8). Let g = y - 0. Is g a multiple of 2?
True
Let d be 2 + 1 + -1 + 1. Suppose 0*p + 2*p = 5*a, 9 = 3*p - d*a. Let y(z) = z**2 - z. Does 10 divide y(p)?
True
Let d be -3*((-20)/3)/5. Suppose 4*z + 5*l = 720, -2*l - 249 = -2*z + 111. Suppose -w = d*w - z. Is 18 a