2 - 8*j + 29. Is 17 a factor of a(12)?
True
Let b = -12 - 11. Let g = 34 - 48. Let y = g - b. Is 4 a factor of y?
False
Let m be (2 - 1)/1 + -2. Let l = 25 - m. Does 12 divide l?
False
Let o = 1 + 3. Let y be (4 - 22/6)*18. Does 9 divide (-8)/y*(-54)/o?
True
Let q = -114 + 144. Is q a multiple of 10?
True
Suppose 0 = 3*r + 3*t - 69, -2*t = 2*r + 3*r - 109. Does 5 divide r?
False
Let x(b) = -2*b**3 - 6*b**2 + 5*b + 7. Let f be x(-5). Let r(j) = -j**3 - j**2 + j - 2. Let c be r(-4). Let n = f - c. Is n a multiple of 20?
True
Let n = 42 - -5. Does 14 divide 3 - (1 - 2 - n)?
False
Let h = -8 + 8. Let i = h - -6. Is i even?
True
Let c be 3/(30/(-8) - -3). Does 12 divide (12/(-7))/(c/42)?
False
Let j(b) = b**2 + 3*b - 6. Let g be j(-5). Suppose 0*c + m - 198 = -g*c, 3*c + 3*m = 144. Is 13 a factor of c?
False
Let a = -83 - -153. Suppose 0 = -5*c + 40 + a. Is 12 a factor of c?
False
Suppose -4*z = -8*z + 4. Let j(l) = 2 + z + 2*l**2 - l**2 + 0*l**2 + 7*l. Is 11 a factor of j(-8)?
True
Suppose 5 = 5*x - 0. Suppose x = -j + 11. Does 5 divide j?
True
Let c = 73 - -32. Is 15 a factor of c?
True
Let t = 10 - 5. Suppose -t*k + 18 = -2. Is k a multiple of 2?
True
Suppose f = 14 - 17. Let i be 60 - (-3 - 2*-1). Let a = i + f. Does 15 divide a?
False
Suppose 6*o = 2*n + 3*o - 503, -3*n + 3*o + 762 = 0. Is n a multiple of 12?
False
Let m(j) = -j. Let g(p) = 2*p**2 + 3*p - 3. Let v(t) = g(t) + 4*m(t). Is 11 a factor of v(4)?
False
Suppose -4*q = 2*u, -3*q = -8*q - 5*u - 10. Suppose -3*r + 18 = -q*b + 3*b, 0 = -2*b + 4*r - 14. Suppose -5*m = -m - 3*t - 201, -3 = -b*t. Is 17 a factor of m?
True
Let i(z) = -z**3 - z**2 + 3. Is 3 a factor of i(0)?
True
Let c = -12 - 46. Let u = -20 - c. Is u a multiple of 19?
True
Let y(a) = -a**3 - 4*a**2 - 4*a - 2. Let n be y(-2). Let p = n - 0. Let m = p + 7. Is m a multiple of 5?
True
Is 237/6 - (-3)/6 a multiple of 10?
True
Let q(d) be the first derivative of 21*d**2/2 - 37*d - 2. Let y(j) = -5*j + 9. Let p(b) = -2*q(b) - 9*y(b). Is p(5) a multiple of 4?
True
Suppose 0 = 2*l - 32 - 34. Is l a multiple of 11?
True
Suppose -s = -2*h + 11, -h = 2*h + 5*s + 16. Suppose h*o + 2*o = -75. Let a = 39 + o. Does 8 divide a?
True
Let y = -9 + 13. Suppose -r + 260 = y*r. Let t = r + -9. Is 14 a factor of t?
False
Let y(i) = -i**2 - 11*i + 5. Let q be ((-9)/6)/(1/6). Does 11 divide y(q)?
False
Let j(d) = d**2 - 3*d. Let v be j(4). Suppose -v*n = -y - 2 - 0, 0 = -2*y + n + 17. Is y a multiple of 8?
False
Let m(j) be the first derivative of 5*j**4/24 + 5*j**3/6 + j**2/2 + 2. Let p(o) be the second derivative of m(o). Does 15 divide p(5)?
True
Suppose r = 2*r - 24. Let k = 84 - r. Suppose -k = -2*c - c. Is c a multiple of 10?
True
Let s = -77 + 148. Does 20 divide s?
False
Let q = -27 + 45. Is q a multiple of 9?
True
Suppose 4*m = 3*z - 2 - 24, 0 = -z - 4*m - 2. Suppose -3*b + 25 = -u, 4*b = 2*u - z*u + 60. Let x = 15 - b. Is x a multiple of 5?
True
Let b(x) = -x**3 + 2. Let q(o) = o + 1. Let a be q(-1). Let z be b(a). Suppose 0 = -z*f - 0*f + 18. Is f a multiple of 4?
False
Suppose 3*g + 18 = 2*c + g, -35 = -4*c + 5*g. Is 3 a factor of c?
False
Let w = 515 - 190. Does 65 divide w?
True
Let v(o) = o**3 + 11*o**2 - 3*o + 6. Let p be v(-6). Suppose t + p = 5*t. Is t a multiple of 17?
True
Let n = 6 - 8. Let i be -12*2*n/8. Let b(y) = -y**3 + 7*y**2 - 6*y + 4. Is b(i) a multiple of 2?
True
Let x(k) be the third derivative of 19*k**6/120 + 2*k**2. Let m be x(-1). Let z = -12 - m. Is 5 a factor of z?
False
Let u(v) = 3*v + 10 - 2 + 2*v - 6*v. Does 6 divide u(0)?
False
Does 13 divide (-8)/52 + (-1902)/(-26)?
False
Let p = -464 - -663. Is p a multiple of 26?
False
Let i = 11 + 35. Does 23 divide i?
True
Let c(g) = -g**3 + 9*g**2 - 5*g + 3. Let q be (35/(-10))/((-2)/4). Does 18 divide c(q)?
False
Suppose -3*m - 10 = z, -3*m + 0*z = -2*z - 2. Let g be m/(-10) + (-136)/(-20). Let x = 17 - g. Is x a multiple of 10?
True
Let c(s) = -s**3 - 11*s**2 - 10*s + 2. Let x be c(-10). Suppose f - 3 = 0, x*u = -u - f - 3. Does 3 divide 3*(u/(-3) - -1)?
False
Let f(l) = l**3 - 6*l**2 + l - 2. Let a be f(6). Suppose -4*k - 8 = 2*r - 0*r, 4*r - 20 = a*k. Let o = r + 2. Is o a multiple of 2?
True
Suppose -4*r = -2*r + 6. Is ((-1)/r)/((-2)/(-30)) even?
False
Let v(y) = 2*y**3 + 3*y**2 - 2. Let g be v(-2). Is 12 a factor of (-5)/10 - 75/g?
True
Let i(w) = -2*w**3 + 11*w**2 - 3*w + 6. Is i(5) a multiple of 4?
True
Suppose 5*g - o = 2*o + 108, 5*g - 4*o = 104. Does 12 divide g?
True
Suppose 24 = 2*v - 24. Does 4 divide v?
True
Suppose 13 = u + a - 3*a, -15 = -u + 4*a. Suppose u*k - 9*k = 182. Is 23 a factor of k?
False
Suppose 2*i = -5*m - 2, 5 = 3*m + 2*m - 5*i. Let n be m*(-3)/18*-3. Suppose n = -2*f + f + 5. Is 5 a factor of f?
True
Let b(v) = v**3 + 13*v**2 - 5*v - 10. Is b(-13) a multiple of 14?
False
Does 16 divide ((-6)/21)/2 - 1122/(-14)?
True
Suppose 0 = 3*x - 5*x + 42. Is x a multiple of 7?
True
Let d(l) = 4*l - 5. Let c = -2 - -1. Let v be 5 + (0 + -1)/c. Does 12 divide d(v)?
False
Suppose n - 252 = -5*d, 3*n + 0*d - 4*d - 756 = 0. Does 28 divide n?
True
Suppose 2*t + 2*t = 132. Suppose 0 = -3*g - 2*s - t, 3*s - 5*s - 6 = 0. Let a = 1 - g. Is 10 a factor of a?
True
Is 3 a factor of 1/(-1)*(-29 + -2)?
False
Suppose 12 = 3*n - z, 0 = 5*n - 2*z - 0*z - 21. Suppose 55 = n*r + c, 4*r + c - 90 = 3*c. Is 5 a factor of r?
True
Let o(x) be the second derivative of x**5/10 - x**4/4 - x**3/2 + x**2 - 6*x. Does 10 divide o(3)?
True
Suppose -x + 5*w + 2 = w, -2*x + 30 = 5*w. Is 5 a factor of x?
True
Suppose 10*p - 43 = 97. Is p a multiple of 8?
False
Let y be (-30)/7 - 8/(-28). Suppose 2*s - 24 = -s. Let a = s + y. Is a a multiple of 4?
True
Let c be (-3 - -1)*6/(-4). Suppose 0 = -3*v - 5*u + 17, 1 = -2*v - c*u + 14. Is v a multiple of 14?
True
Suppose o = -o - r - 1, 3*r = 2*o + 13. Let c be ((-54)/o)/(3/(-2)). Let w = c - -27. Does 7 divide w?
False
Let z = -3 + 5. Suppose 2*y = z + 16. Is y a multiple of 9?
True
Is 23 a factor of (4/6)/(3/207)?
True
Let s = 69 + 96. Is 15 a factor of s?
True
Let d be 5/15 - (-28)/(-3). Does 8 divide 24*4/((-48)/d)?
False
Let g = 13 + 98. Is g a multiple of 37?
True
Is 39 a factor of (208/(-32))/((-1)/18)?
True
Let f(c) = 4*c - 5. Does 6 divide f(8)?
False
Let o(q) = 9*q**2 - 3*q. Let h be o(-3). Suppose 4*s - h = s. Does 10 divide s?
True
Let v(j) = -3*j**3 + 25*j**2 - 44*j - 38. Let u(f) = f**3 - 8*f**2 + 15*f + 13. Let l(a) = -8*u(a) - 3*v(a). Is l(10) a multiple of 10?
True
Let h = 247 + -134. Is h a multiple of 9?
False
Let j = -1 + 6. Suppose -7*q + 52 = -j*q. Is 13 a factor of q?
True
Let b be (2 + -7)*(-4)/(-10). Let w be 2/4*(b - -2). Let m = w + 2. Is m a multiple of 2?
True
Suppose 0 = -2*f + 25 + 65. Let l = -8 + 2. Let q = l + f. Does 15 divide q?
False
Let j = -40 - -58. Is 8 a factor of j?
False
Let y(b) = -2*b**2 - 2*b - 1. Let m be y(-1). Let p be 2*m*(1 + -2). Suppose -p*w + 18 = j, -3*w - 2*j + 18 + 10 = 0. Is w a multiple of 8?
True
Let l(r) = 4*r - 1. Let p(u) = -u + 1. Let b(n) = -l(n) - p(n). Let h be b(-1). Suppose 3*j - h - 9 = 0. Is j a multiple of 4?
True
Suppose 82 = 2*y - 62. Is 9 a factor of y?
True
Let i(m) = -58*m**2 + 4*m - 4. Let l(f) = -115*f**2 + 7*f - 7. Let q(j) = 7*i(j) - 4*l(j). Is 18 a factor of q(-1)?
True
Suppose -2*l = 30 - 118. Does 11 divide l?
True
Suppose -j = 3*y - 192, 5*j + 256 = 4*y + 19. Does 7 divide y?
True
Let t be (-4)/(-6) + 33/(-9). Let k(g) = -g + 6. Is k(t) a multiple of 9?
True
Let w be ((-12)/(-10))/((-1)/(-20)). Let o be 68/(-6) + (-16)/w. Let l = o - -25. Is l a multiple of 13?
True
Let u be 9/(-2)*4/(-3). Let z = -2 + u. Suppose 52 = z*q - 24. Is 9 a factor of q?
False
Suppose -2*w + 93 + 375 = 0. Is 13 a factor of w?
True
Let x(c) = 5*c**3 - c**2 + 2*c - 1. Let m be x(1). Suppose -d + 29 = 2*z + 2*d, m*z - 5*d - 10 = 0. Suppose z*h = 4*h + 15. Does 5 divide h?
True
Let y = 3 + -3. Suppose -5*w + 11 = -3*c, 3*c = 3*w - y*c - 9. Is 5 a factor of (-1)/1 + (w - -14)?
False
Suppose 0 = 5*u - 9 - 21. Suppose -u = -t - 0. Suppose -2*x + t = -x. Is x a multiple of 4?
False
Suppose 2*f + 5*j = 24, 2 = -3*f - 2*f + 3*j. Let o be -3*(-2 + (-2)/(-3)). Is 15/f*o/6 a multiple of 2?
False
Let s be (-1 + 0)*-1 + 2. Suppose 1 = -s*o + 2*c + 25, 42 = 5*o - 4*c. Does 10 divide 304/12 + 