t j = 119 + -65. Is j a multiple of 27?
True
Let b(h) = h**3 - 7*h**2 - 7*h - 9. Let o be b(8). Let v = o + 3. Suppose 0 = v*f - 8, f + 4*f = 2*c + 16. Does 2 divide c?
True
Suppose 2*k - 1 = -7. Let i(l) = 6*l**2 + l - 4. Is 12 a factor of i(k)?
False
Suppose 2*f + 2*j - 8 = 0, -j - 44 = -4*f - f. Suppose -f*b + 3*b + 80 = 0. Is 5 a factor of b?
False
Let c(y) = -1. Let a(j) = -j - 1. Let b(o) = 2*o**3 + 2*o**2 - 2*o. Let i be b(-2). Let x(n) = i*c(n) + 3*a(n). Does 5 divide x(-3)?
True
Suppose 5*u - 3*y - 20 = -8*y, -4*u - 5*y = -18. Let s be 10/3*3/u. Let l = 14 - s. Does 9 divide l?
True
Let c(i) = 3*i**3 - 5*i**2 + 5*i - 5. Does 14 divide c(3)?
False
Suppose u = l - 6, -3*u = -8*u. Suppose 4*s + y - l*y = 256, 3*s - y = 203. Suppose -4*o = -2*j - 54, 5*o - s = -j + 2*j. Does 5 divide o?
False
Let w(a) = -2*a**2 + 3*a - 6. Let z be w(3). Let c = z - -80. Is c a multiple of 18?
False
Suppose -80 = -d + 6*d - 5*s, 0 = -2*d + 3*s - 32. Let p = 10 + d. Let h = 14 + p. Does 7 divide h?
False
Let p(g) = -9*g + 5. Let b(x) = -4*x + 2. Let s(h) = 5*b(h) - 2*p(h). Let w(z) = 6*z + 1. Let t(n) = 5*s(n) + 2*w(n). Does 3 divide t(3)?
False
Suppose 0 = g + 3, -6*g = 2*p - 2*g - 78. Is 19 a factor of p?
False
Let u(c) = -6*c**3 - 66*c**2 + 44*c + 49. Let p(a) = a**3 + 13*a**2 - 9*a - 10. Let s(x) = -11*p(x) - 2*u(x). Does 11 divide s(10)?
True
Let s(c) = -c - 5. Let m be s(-5). Suppose 6*i - i = m. Suppose -y + 33 + 13 = i. Is y a multiple of 23?
True
Let d(o) = -o**3 + 7*o**2 - 5*o - 5. Let p be d(6). Let r = p - -1. Suppose -3*l + 52 = b, l + 1 = r*b + 16. Does 8 divide l?
False
Let g(c) be the third derivative of -c**4/24 - 11*c**3/6 + 2*c**2. Let z be g(-8). Does 4 divide 2/(z/36*-3)?
True
Suppose v - 3*y = -4*y + 48, -4*v - 2*y + 184 = 0. Suppose 4*t - 6*z = -2*z + 32, -z - v = -4*t. Does 6 divide t?
True
Let a = -108 + 71. Let g = -68 - -137. Let u = g + a. Is 15 a factor of u?
False
Let q(n) = -47*n + 4. Is q(-1) a multiple of 6?
False
Suppose 5 = w + 1, -5*w = -o - 20. Suppose 3*k + 4*f + 119 = -0*k, o = -4*f + 4. Let l = -23 - k. Is l a multiple of 6?
True
Suppose -2*s + 4*a + 94 = 0, 7*s - 3*s = -5*a + 227. Suppose 2*j - 17 = s. Suppose 1 = 2*x - j. Does 18 divide x?
True
Suppose -x = 2*x. Is (6 - (x - 2)) + 2 a multiple of 8?
False
Suppose 2*l - v + 2 = -0*l, -3 = 3*l + 5*v. Let j = -3 - l. Is 12 a factor of (-196)/(-16) - j/(-8)?
True
Suppose -10 = 5*y - 0*y, u + 2*y - 6 = 0. Is u even?
True
Let c be (-2)/9 + (-4996)/36. Let p = -99 - c. Does 20 divide p?
True
Let y be (-2)/(-7) - (-10)/105*186. Suppose -2*w + 2 = d, w - 3*w - 22 = -3*d. Suppose -y + d = -2*r. Is r a multiple of 6?
True
Let q be (-4)/(-2*(-1)/2). Let c be (-6 + 4)*(-2)/q. Let n = 10 + c. Is 9 a factor of n?
True
Let w be 22 + (-1)/(-2 + 1). Suppose 5*x + 30 = -0*x. Let p = w - x. Does 10 divide p?
False
Let d(n) = -n**2 + 4*n - 5. Let u be d(3). Is 11 a factor of 1/6*u*-33?
True
Let h = 9 + -23. Let m(g) = -g**2 - 17*g - 14. Is m(h) a multiple of 28?
True
Let a(l) = l**3 + 10*l**2 - l - 9. Let b be a(-10). Let v be ((-11)/(-2))/(b/4). Suppose 0 = -0*g + 2*g - v. Is 8 a factor of g?
False
Suppose -2 = 2*f, -o + 5*f = 2*o - 26. Is o a multiple of 7?
True
Let i = 41 + -28. Is i a multiple of 3?
False
Let r = -7 - -9. Suppose r = v - 0. Suppose v*o + 21 = 5*o. Does 6 divide o?
False
Let j = 39 - -3. Does 14 divide j?
True
Let w(b) = -13*b**3 - b**2 - b. Let h(p) = -p**2 + 4*p - 1. Let g be h(4). Does 5 divide w(g)?
False
Let d(j) = -2*j**3 + j**2 + 4*j. Let z be d(3). Let f = -14 - z. Is 12 a factor of f?
False
Suppose -2*i + g = 22, 2*i + 2 = -2*g - 26. Let m = i - -17. Suppose 0*d + 90 = 5*d + 2*o, 25 = m*o. Is 8 a factor of d?
True
Let m be 1407/12 + 1/(-4). Suppose -3*j = -4*d - 6*j - m, 0 = -4*d + 4*j - 124. Is 15 a factor of (-3)/(2*3/d)?
True
Suppose -4*y + 22 = -26. Does 6 divide y?
True
Suppose 1260 = 2*j + 12*j. Is 6 a factor of j?
True
Suppose -4*t + w = -147, -7*t - 5*w + 129 = -3*t. Does 18 divide t?
True
Let j be ((-8)/(-6))/(3/9). Suppose -3*m = -98 - j. Does 17 divide m?
True
Let t(d) = d + 13. Let z be t(-9). Suppose 111 = -v + z*v. Does 16 divide v?
False
Suppose 0 = -0*l + l - 4. Does 11 divide 10 + -2 + (l - 1)?
True
Let b = 13 + -9. Is 4 a factor of b?
True
Is (-6)/12*(-34)/1 a multiple of 5?
False
Let s be 3 + -4 + (5 - 1). Suppose s*j - 18 = -3. Suppose -2*a + 2*o - 56 = -6*a, -j*a + 55 = -5*o. Is 6 a factor of a?
False
Let g(d) = -d**2 - d + 35. Suppose 0 = 3*l - l. Is 18 a factor of g(l)?
False
Does 11 divide 23 + -1 - (9 + -5)?
False
Suppose 12 = -s + 24. Is 5 a factor of s?
False
Let v(r) = -r. Let t be v(-5). Suppose -5 = -t*f - 105. Let x = f - -40. Does 7 divide x?
False
Let k(p) = 3*p - 6. Let a be k(4). Is 12 a factor of (3/a)/((-3)/(-72))?
True
Let h(f) = f**2 - 7*f + 6. Let w be h(6). Suppose 3*q + 15 = -27. Is 8 a factor of -5 - q - w/2?
False
Let c = -23 + 22. Is 9 a factor of (-8)/2 - (c + -19)?
False
Let z(n) be the third derivative of 7*n**4/24 - 4*n**3/3 + n**2. Let x be z(-8). Let m = -44 - x. Is 8 a factor of m?
False
Let y(g) = -g - 13. Let u be y(-9). Let t be 213/(-15) - (-1)/5. Does 17 divide u/t + (-1416)/(-42)?
True
Let r be (-72)/(-32)*2*2. Suppose 5*o = -3*b + 57, 2*o = b - 2*b + 22. Let h = r + o. Does 6 divide h?
True
Suppose 3*d = 9, -x = 8*d - 3*d - 68. Does 20 divide x?
False
Suppose 5*x - 12 = -37, 5*u - 40 = 3*x. Does 5 divide ((-288)/(-15))/6*u?
False
Let f(w) = 6*w**3 + 2*w**2 - 6*w + 5. Is f(1) a multiple of 6?
False
Let m(a) = 0*a - 11 - 9 - 5*a + 4*a. Let u be m(-11). Let n = -1 - u. Is n a multiple of 3?
False
Suppose -5 - 5 = -5*o. Suppose 0 = -4*u + 2*u + a + 64, o*a + 68 = 2*u. Does 9 divide u?
False
Let x(s) = -s**2 - 19*s + 1. Let z(u) = -u**2 - 19*u. Let h(t) = 7*x(t) - 6*z(t). Is 16 a factor of h(-14)?
False
Let l = 14 - 11. Suppose 2*u + z = 38, 0*u - l*z = -4*u + 86. Does 5 divide u?
True
Let y(l) = -2*l + 1. Let b be y(1). Let w(i) = -53*i + 1. Does 15 divide w(b)?
False
Suppose -5*j = -j - 12. Is 11 a factor of 2 - j - 0 - -12?
True
Let j(n) = n**2 + 8*n + 10. Let c be j(-10). Suppose 4*p + c = d, 4 = 3*p - 4*p. Is d a multiple of 7?
True
Suppose 4*h + 48 = 6*h. Is (-72)/(-7) + h/(-84) a multiple of 3?
False
Let o be (-24)/(-2) + -11 + 7. Let c = o - -10. Is c a multiple of 18?
True
Suppose 2*l + 46 = 3*l. Is 23 a factor of l?
True
Let d be (-21)/(6/8*2). Does 32 divide d/(-28) + 157/2?
False
Let d = -89 - -54. Let a(t) = -t**3 + 4*t**2 + 1. Let q be a(4). Let w = q - d. Is w a multiple of 21?
False
Let y(a) be the first derivative of 3*a**2 + 4*a + 1. Let n be y(-9). Let m = -29 - n. Is 12 a factor of m?
False
Let q = -124 - -190. Is 22 a factor of q?
True
Let x be (-2)/(-6)*(-6)/(-1). Let d(i) = 3*i**3 - 3*i**3 - 2*i**x - 28*i**3 - i. Is 10 a factor of d(-1)?
False
Let m(c) = c + 7. Let p be m(-4). Suppose -9 = -4*g + p, 5*g = -d + 36. Is d a multiple of 7?
True
Let i be (0/1)/(2 - 0). Suppose -v - 2*v + 12 = i. Is 19 a factor of (8/(-3))/(v/(-60))?
False
Let z(m) = m**2 + m - 1. Let q(w) = -4*w**2 - 5*w + 6. Let o(a) = -q(a) - 3*z(a). Suppose -3*p - 3 = -2*h + 11, -5*h - 3*p + 14 = 0. Is 9 a factor of o(h)?
False
Let j(s) = -s**3 - s - 1. Let v be j(2). Let m(a) = -3*a - 1. Does 16 divide m(v)?
True
Is ((-48)/10)/((-3)/10) a multiple of 4?
True
Let q = 671 + -437. Does 9 divide q?
True
Suppose 0 = -9*w + 10*w - 16. Is w a multiple of 16?
True
Let g(c) = -c**2 - 5*c - 9. Let b be g(-6). Let w = b + 28. Is 5 a factor of w?
False
Let z(d) = 2*d**2 - d. Let g be z(-1). Suppose 4*f - 3*m = 221, -g*f + m = -2*m - 165. Does 14 divide f?
True
Suppose -4*z + 269 = -7. Does 10 divide z?
False
Suppose -3*q = -5*q + 4. Suppose q*d - 518 = -4*c, 4*d - c - 1026 = -4*c. Suppose -5*o = -5*j + d, -3*j - 3*o = -212 + 71. Does 15 divide j?
False
Let l = 110 - 50. Is l a multiple of 10?
True
Suppose y - 3*y - 31 = -3*v, 50 = 5*v - 3*y. Let l(a) = 1 + v*a - a - 3*a. Does 8 divide l(5)?
True
Let l(d) = -d**2 - 9*d + 10. Suppose -5*g = 21 + 24. Does 6 divide l(g)?
False
Let v be 2/(-2)*(-1 - -1). Suppose v = 3*h + 1 + 17. Let j = h - -13. Is 2 a factor of j?
False
Suppose 3*j + 6*j = 621. Is 23 a factor of j?
True
Let i(w) = -w**3 + 10*w**2 - 6*w - 3. Is 6 a factor of i(9)?
True
Is 18 a factor of 6300/117 + 4/26?
True
Le