
Let o(n) = n**2 - 9*n - 9. Let y be o(-6). Suppose -5*u = 5*x - 175, -3*x - y = -3*u + 2*x. Is 8 a factor of u?
True
Suppose -21 + 6 = -3*q. Suppose 2*i + 0*i = q*f + 28, 2*i - 16 = 2*f. Let z = f + 8. Does 4 divide z?
True
Let s = -5 + 8. Is (-1)/(s/8)*-9 a multiple of 8?
True
Let j = 2 + -5. Let i(b) = -b**2 - 8*b - 2. Is 6 a factor of i(j)?
False
Let m be (-4)/6*63/(-14). Let a(r) = 14*r**3 - r + 1. Let t be a(1). Suppose 0 = -m*s + 5*s - t. Is s a multiple of 7?
True
Let w(t) = -18*t. Let g be w(-3). Let o = g - 15. Suppose -53 = -2*u - 5*s, 3*s + o - 124 = -5*u. Does 10 divide u?
False
Let v be (-6)/(-15) - (-6)/(-15). Suppose v = -4*m - 0*m + 164. Is 11 a factor of m?
False
Let t(m) = -4 + 3*m - 2*m - 2. Let s be t(9). Suppose 0 = -4*u - s*l + 65, -2*u + 70 = u - 2*l. Is 10 a factor of u?
True
Is -9*5/10*-4 a multiple of 9?
True
Let p(c) = c + 5. Let b be p(8). Suppose 5*v + 0*i = 4*i + 5, -v = 2*i - 1. Suppose -2*h - v = -b. Is h a multiple of 3?
True
Suppose 3*p + 0*p = 51. Suppose -3*j - 2*k = -p, 8*j - 3*j - 2*k = 7. Is -2 - (j*-2 - 0) even?
True
Let p(b) = 2*b**2 + 2*b - 3. Let j be p(-3). Suppose -3 = -3*o + j. Suppose 3*r + f - 62 = -0*f, o*r = -f + 83. Is 13 a factor of r?
False
Let p(w) be the second derivative of -w**4/12 - 4*w**3/3 - w. Let i = 6 - 10. Does 8 divide p(i)?
True
Is 30 a factor of 180/3 - (1 - 1)?
True
Let c(b) = 14*b. Let d(a) = 7*a. Let f(p) = 3*c(p) - 7*d(p). Does 6 divide f(-2)?
False
Suppose p + 8 = 3. Is (-9)/3 - p - -7 a multiple of 9?
True
Suppose 0 = 3*q - q - 30. Suppose -f = 3*z - q, -8*z + 20 = -4*z. Suppose f = 2*j + 6 - 18. Is 2 a factor of j?
True
Let j(f) be the first derivative of 15*f**4/4 + f**3/3 - f**2 + f - 4. Is j(1) a multiple of 9?
False
Let z = 16 - 6. Is z a multiple of 8?
False
Let u be (-1)/5 - 52/(-10). Let d(m) = -4*m**3 - 13*m**2 - 5. Let q(v) = 5*v**3 + 14*v**2 - v + 5. Let y(p) = u*q(p) + 6*d(p). Is y(9) a multiple of 11?
False
Let g(a) = -40*a**3 - 2*a**2 - 2*a - 1. Is 18 a factor of g(-1)?
False
Suppose c = 2*w + 2*c - 65, -67 = -2*w - 3*c. Is w a multiple of 9?
False
Let c = -11 - -30. Is c a multiple of 19?
True
Let x be (32/(-20))/((-2)/5). Suppose -4*f + x = 0, -5*f + 119 = 4*h - 6*f. Does 15 divide h/(6/2 - 1)?
True
Let n = -18 + 30. Suppose -5*x + 4*a = -57, 5*a - a = -n. Does 9 divide x?
True
Let k be ((-6)/4)/(6/40). Let d(z) = -z**3 - 11*z**2 - 13*z - 14. Is 13 a factor of d(k)?
False
Suppose 3*f = 2*m + 13, 4*f - 7 = -f - 4*m. Suppose 4*g = f*g + 22. Is g a multiple of 13?
False
Suppose 3*z - 372 + 108 = -3*d, -3*z + 172 = 2*d. Does 23 divide d?
True
Suppose 0 = -2*a - 13 - 1. Let b = a + 41. Is 6 a factor of b?
False
Suppose 3*y = 2*y + 18. Suppose -3*r - 2*r + 20 = 0, 3*r = -2*t + y. Suppose t*i + 10 - 64 = 0. Is i a multiple of 9?
True
Suppose -2*b + 60 = -76. Is b a multiple of 16?
False
Let d(t) = 3*t**2 + 5*t + 7. Is 7 a factor of d(-4)?
True
Suppose -4*d - 6 = -5*w, -5*w - 4*d = d - 15. Suppose -4*x + u + 16 = 0, -16 = w*u + 2*u. Is 2 a factor of x?
False
Suppose 0 = -3*t + 97 - 16. Let y = 63 - t. Is 11 a factor of y?
False
Is 9 a factor of (-300)/(-3) - (-15)/(-3)?
False
Let c be (-1 - -5)*(-1)/(-2). Does 11 divide c/6 - 142/(-6)?
False
Let x = -54 + 67. Is x a multiple of 2?
False
Let m(v) = -v**3 + 12*v**2 - 15*v + 9. Let g be m(10). Let d = 108 - g. Does 13 divide d?
False
Let w = 10 + -7. Let x(h) = 3*h - 2. Does 7 divide x(w)?
True
Let z = -54 - -102. Is z a multiple of 16?
True
Suppose 5*m + 10 + 7 = 4*y, 25 = -5*m. Let j(u) = -3*u - 3. Let h be j(y). Suppose -s - h*s + 112 = 0. Is s a multiple of 12?
False
Let v(q) = 2 - 20*q + 5 - 3. Is 28 a factor of v(-3)?
False
Let l(d) = -4*d - 14. Is l(-11) a multiple of 6?
True
Let x be (-8 - -3 - 2) + 1. Let f(r) = -r**2 - 6*r - 6. Let w be f(x). Is 8 a factor of 60/8 + w/(-4)?
False
Let z(r) = 8*r + 2. Suppose -3*x - 8 - 4 = 0. Let m be z(x). Is 10 a factor of (40/(-15))/(4/m)?
True
Suppose 360 = 3*z + 2*z. Suppose -5*l + q + z + 66 = 0, 142 = 5*l + q. Is l a multiple of 7?
True
Let l(h) = h**2 + 3*h - 2. Is 18 a factor of l(8)?
False
Let g = -161 - -238. Is g a multiple of 7?
True
Is 2/(-9) + (-656)/(-36) a multiple of 9?
True
Let f(g) = -g - 3 + 0*g + 0 - 2. Let d be f(-8). Suppose d*r = -2*u + 7*u + 63, 4*u = 2*r - 42. Does 12 divide r?
False
Suppose -n + 86 = 3*n - 5*x, 3*n + x - 74 = 0. Does 6 divide n?
True
Suppose -l + 5*v = l - 10, 0 = -v - 4. Let q(c) = -c**3 - 2*c**2 + 6*c - 1. Does 11 divide q(l)?
True
Suppose 21*r = 16*r + 85. Is r a multiple of 2?
False
Let g(s) = 22*s**2 - 4*s + 3. Does 14 divide g(2)?
False
Let g = 94 - 46. Is 9 a factor of g?
False
Let k be (-1 - 4) + 2 - 0. Let v be 60/(-2)*(-2)/(-4). Let h = k - v. Is 8 a factor of h?
False
Let z(u) = u**2 - 4*u + 13. Does 19 divide z(10)?
False
Let l = -7 - -11. Suppose -103 = -3*y + b, 0*b = -l*b - 16. Is y a multiple of 12?
False
Suppose -2*z + 5*z = 33. Is z a multiple of 10?
False
Suppose 0 = -m - 4 + 6. Suppose -p = -m*p + 5. Suppose a + 224 = p*y - 17, -y = a - 47. Is y a multiple of 24?
True
Let j(x) = x**2 + x - 4. Suppose 4*l - 3*h - 24 = h, 8 = 4*l + 4*h. Suppose l*a - 8*a - 20 = 0. Does 8 divide j(a)?
True
Suppose 4*g + 0 - 4 = 0. Suppose -4*w - g = -3*w. Is 12 a factor of (35 + 1)*w/(-1)?
True
Does 16 divide (-42)/(-6) - -213 - 1*-3?
False
Let r be 3 + -2 - (-2 - -1). Does 13 divide (4/(-1))/(r/(-13))?
True
Let i(t) = t + 23. Is 4 a factor of i(-11)?
True
Suppose 5*l = -0*l + 35. Suppose v + 2*t - l - 10 = 0, -71 = -4*v - 5*t. Is 7 a factor of v?
False
Suppose -4*y + 16 = 4, 2*g + 3*y = 17. Suppose 2*l + 8 = g*l. Suppose 10*m - 5*m - 75 = -5*p, l*m = -3*p + 49. Does 4 divide p?
False
Let k(t) = 3*t - 1. Let i be k(2). Suppose -37 = 2*x + 3*g - 0, 60 = -i*x - g. Let f = 25 + x. Is f a multiple of 14?
True
Suppose -4*z - 15 = 3*a + 44, -3*z = 2*a + 40. Let d = 24 + a. Is 7 a factor of d?
True
Does 17 divide (-21789)/(-135) + (0 - 3/(-5))?
False
Let c be (-62)/(-5) + 8/(-20). Let w be (-1)/(1 + -2) + 19. Suppose 0 = 5*y + x + x - w, -4*x + c = -4*y. Does 2 divide y?
True
Suppose 0 = 5*q + 2*g - 13, -3*g + 8*g - 22 = -2*q. Suppose 1 + q = -2*n. Is n*(-12)/(-3)*-5 a multiple of 8?
False
Suppose 16 = -5*x - 4*r, -5*x = r + 4*r + 20. Suppose x = 2*a - 5*a + 42. Is a a multiple of 6?
False
Let a(q) = -2*q - 9. Let f be a(-7). Let h = 10 - f. Suppose n - 2*i = 6*n - 132, -126 = -h*n + 4*i. Is n a multiple of 11?
False
Does 7 divide (-3)/2*40/30 - -58?
True
Suppose f - 4 - 17 = -3*i, f = -i + 15. Suppose -2*y + 2*j + 52 = y, -y = 2*j - f. Is y a multiple of 9?
False
Let x = 198 - 120. Suppose -f + x = -3*d - 56, -2*d + 446 = 3*f. Suppose -f = -4*i - 3*a, 4*a - 186 = -5*i + 2*a. Is i a multiple of 19?
True
Suppose 3*k + 0 = -w - 7, -3*w + k + 9 = 0. Let q = -16 + 4. Is q/w*14/(-3) a multiple of 11?
False
Suppose -o - 3*o = -4. Let l be (78/7)/o*7. Suppose -l = -4*s + 2*g, 5*s - 3*g + 17 - 115 = 0. Is 10 a factor of s?
False
Let x = -24 - -68. Let q = x + -30. Is q a multiple of 7?
True
Let h = 3 + -3. Suppose -2*o + 2 = -h. Let u(l) = 50*l**3 - l. Is 22 a factor of u(o)?
False
Let n be 0/3 + 4/(-4). Is 4 a factor of (7 + n)/((-6)/(-4))?
True
Let l be 4/5*(-5)/(-2). Let n be (-1)/(1/(-6)*l). Suppose 104 = 7*s - n*s. Is s a multiple of 13?
True
Let m be (-1)/(16/(-17) + 1). Let b = -3 - m. Is b a multiple of 7?
True
Is ((-24)/15)/((-16)/680) a multiple of 17?
True
Let r(l) = l**2 + 2*l - 4. Does 8 divide r(6)?
False
Let w(d) = -d**2 + 9*d - 10. Let s be w(7). Is 4/(-16) - (-61)/s a multiple of 15?
True
Suppose l + l - 3*z = -20, -5*l = -5*z + 55. Let c = 24 + l. Let d = c + 29. Does 14 divide d?
False
Let o(l) = 3*l - l - 3*l. Let h be o(0). Suppose -3*q = 5 + 1, h = 5*x - 4*q - 48. Is x a multiple of 8?
True
Let r = 4 + -1. Suppose s + 80 = r*s. Suppose -5*q + s = -q. Is 5 a factor of q?
True
Suppose 2*f + 10 = 3*y, 4*f + 6 = -0*y - y. Let i be 50/4 + 1/y. Suppose 0 = -4*n + 51 + i. Is 16 a factor of n?
True
Let x = -32 - -48. Let z = x - 14. Is z even?
True
Is 8 a factor of (12/(-9))/((-2)/72)?
True
Let t(c) = -c**3 + 10*c**2 + 15*c - 13. Does 18 divide t(11)?
False
Let f(c) = 3*c**2 - 4*c - 11. Does 21 divide f(5)?
False
Suppose -2*v - 8 = 2*v. Let q = 5 - v. Is q a multiple of 7?
True
Let l = 35 - -39. Is l a multiple of 12?
False
S