 factor of n?
True
Suppose -3*k - 16 = -22, -726 = -2*b + k. Is b a multiple of 14?
True
Let c be ((-1)/(-2))/(2/32). Suppose -8 = -3*r - 20. Is 15 a factor of 93/6 + r/c?
True
Let t(j) be the third derivative of -j**6/120 - j**5/20 + 5*j**4/24 + j**3/2 - j**2. Let r = -360 + 355. Does 28 divide t(r)?
True
Let r(q) = -1063*q - 37. Is r(-1) a multiple of 9?
True
Suppose -r + 5 = -9*p + 4*p, -r = -5. Suppose -9*a + 270 = -p*a. Is 15 a factor of a?
True
Let h(a) = a**3 - 9*a**2 + 7*a + 9. Let t be h(8). Let i(f) = 2*f**2 - 2*f - 6. Let p be i(3). Does 3 divide t*4 - 6/p?
True
Is 2 a factor of (11/(-5))/(-11) + 159/5?
True
Suppose 0 = 4*y + 3*i - 16, 5*i + 3 = y - 1. Suppose -z + 5 = y*z. Does 6 divide 0/(-9) + 15*z?
False
Let g = 43 + -40. Suppose -5*h + g*z = -265, 3*z + 142 = 4*h - 67. Is h a multiple of 14?
True
Let n(o) = o**2 + 14. Let b be n(5). Is -18*(-8)/6*b/12 a multiple of 4?
False
Suppose v - 1 - 1 = 0. Suppose s - d = 8, -v*d - 6 - 4 = 0. Suppose m + 3*m - 501 = -5*j, s*j + m - 302 = 0. Is j a multiple of 18?
False
Let x be (-35210)/(-15) - (-1)/(-3). Suppose 3*j + x = 5*w, 5*j + 3*w = 4*j - 801. Is j/(-12) - 2/(-8) a multiple of 12?
False
Let t be (-1 - -10)/((-2)/2). Let g be (-4 - -5) + 88/2. Does 24 divide t/(2 - 5) + g?
True
Suppose 0*u = -2*u + 14. Let r be (5 - u)*(-2 - 0). Is -12*6/(-16)*r a multiple of 12?
False
Let o(s) = 4*s**2 + s + 5. Let i(q) = -q**2 - 1. Let m(u) = -9*i(u) - 2*o(u). Let k be m(-11). Is 12 a factor of (-1 + k)*(-5)/(-15)?
False
Is ((-2016)/294)/(2/(-105)) a multiple of 28?
False
Suppose 118 = -2*r + 570. Suppose 0 = 3*q - 161 - r. Does 39 divide q?
False
Let f(i) = -i**3 - 12*i**2 - 29*i - 4. Let k be f(-9). Let s(z) be the second derivative of z**4/12 - 2*z**3 - 7*z**2 + 3*z. Does 9 divide s(k)?
False
Suppose -26*r + 650 = 4*q - 24*r, -5*r = -15. Is 7 a factor of q?
True
Let y be ((-447)/6)/(1/2). Let z = 239 + y. Does 30 divide z?
True
Suppose 0 = y + 59 - 94. Does 21 divide y?
False
Suppose 0 = -3*t + 6 + 9. Let y be 4332/84 - (-6)/14. Suppose x = t*x - y. Is 3 a factor of x?
False
Let c(h) be the second derivative of h**4/12 - 7*h**3/6 - h**2/2 + 5*h. Let f be c(6). Does 25 divide (2/4)/(f/(-434))?
False
Suppose 7*p = 6*p - 66. Let s = p - -185. Is 17 a factor of s?
True
Let h = -816 - -1938. Does 11 divide h?
True
Let s(q) = -109*q + 257. Does 52 divide s(-11)?
True
Let f(y) be the second derivative of y**2/2 + 7*y. Let t(q) = 4*q + 10. Let x(p) = 2*f(p) + t(p). Does 22 divide x(9)?
False
Is 104 a factor of (-14)/8*(14 - 45954/27)?
False
Suppose 8*c - 3*c + m = 8777, 6 = -2*m. Does 20 divide c?
False
Let j(u) = -2*u**3 - 11*u**2 + 7*u + 7. Let b be j(-6). Is b/(-1)*-4 - -122 a multiple of 18?
True
Let p = -79 + 367. Does 36 divide p?
True
Suppose 8*n + 2*t - 742 = 3*n, 4*t + 16 = 0. Is 11 a factor of n?
False
Suppose -5*c = -297 - 653. Let p = 333 - c. Let t = p + -15. Is 34 a factor of t?
False
Suppose -55*g + 33364 = 21*g. Is 8 a factor of g?
False
Let y(r) = -4*r**2 + 7*r - 5. Let q be y(4). Let n = q - -2. Let g = 39 - n. Is g a multiple of 21?
False
Suppose 0 = -14*j + 13*j + 1. Does 27 divide (-2)/j*438/(-12)?
False
Let q(s) be the second derivative of s**5/60 + 5*s**3/3 - 5*s. Let j(z) be the second derivative of q(z). Is j(11) a multiple of 22?
True
Does 25 divide 6*(-121)/(-66) + 1132?
False
Is (8 + (3 - -9))/(4/14) a multiple of 5?
True
Let b(t) = 4*t**3 - 81*t**2 + 71*t - 11. Let x(g) = 6*g**3 - 121*g**2 + 106*g - 17. Let o(n) = 7*b(n) - 5*x(n). Does 12 divide o(18)?
False
Suppose -2*s + 2466 = d, 2*s - 5*d - 1133 = 1321. Does 11 divide s?
True
Let u(s) = s**3 + 12*s**2 - 12*s + 18. Suppose 4*x + 83 = -4*k + 27, -2*k = -3*x - 32. Is 7 a factor of u(x)?
False
Let n = 1437 - 645. Is 27 a factor of n?
False
Let a(d) be the first derivative of -10*d**2 + 2*d + 5. Is a(-2) a multiple of 21?
True
Let y(j) = 107*j**2 + 3*j + 2. Let l(r) = 4*r - 30. Let s(g) = -2*g + 15. Let c(x) = -6*l(x) - 13*s(x). Let n be c(7). Is y(n) a multiple of 24?
False
Suppose -2*j = -7*j. Is 16 a factor of 71 - (0 - j) - 3?
False
Let m(x) = x**3 - 3*x**2 + 3. Let r be m(3). Suppose -4 = -s + r. Is 5 a factor of s?
False
Let k be 0 + -2 - (-54 - -1). Let t = 15 + k. Suppose 2*q = 3*m + t, -m = 2 - 0. Does 15 divide q?
True
Let q(n) = n**3 - 6*n**2 + 7*n. Suppose v = -0*v + 5. Suppose -h + 0*h = -v. Is q(h) a multiple of 10?
True
Let h be (2/(-3))/(((-55)/(-75))/11). Let u(a) = -a**2 - 11*a + 5. Does 4 divide u(h)?
False
Let h = -6 + 8. Let x(w) = -h*w + 4*w - w**2 - 4*w**2 + w**3. Is x(5) a multiple of 3?
False
Suppose 5*h = -20, 0 = -6*f + 4*f - 4*h + 794. Is 45 a factor of f?
True
Let h(l) = 597*l**3 + 2*l**2 - 3*l + 2. Let r be h(2). Suppose 5*m = -4*n - n - r, 2*n + 8 = 0. Does 13 divide m/(-24) - (-4)/(-6)?
True
Let v(c) = 15*c + 3. Let a be v(3). Suppose -3*n + a = 2*d - 52, -d + 3*n + 32 = 0. Is d a multiple of 9?
False
Let u be (-1*4)/2 - -7. Suppose u*g = 5*o - 5, -2*o + 1 = -g - 3. Suppose -o*r + 48 = -0*r. Is 10 a factor of r?
False
Suppose -4*u + 2*r - r = -124, 0 = -2*u - 4*r + 80. Let n = 62 - u. Does 27 divide n?
False
Suppose -9*s - 3*c - 55 = -10*s, 2*c - 192 = -4*s. Is s a multiple of 7?
True
Suppose 62*q = -51*q + 59890. Is q a multiple of 5?
True
Let y(v) = -9 + v**2 + 16 + v - 8 + 31*v**3. Suppose 0 = 10*n - 13 + 3. Is y(n) a multiple of 32?
True
Let s(y) = 21*y + 342. Is 18 a factor of s(12)?
True
Let f = -17 - -9. Let h = f + 10. Suppose -u = 3*g - 35, h*u + 11 = -4*g + 87. Is u a multiple of 17?
False
Suppose 86*h + 35720 = 106*h. Is 65 a factor of h?
False
Suppose 0 = -7*d + 5376 - 1848. Is d a multiple of 14?
True
Suppose -s + 20 = 3*s. Let u be (-5)/(-3)*(1 - -2). Suppose -4*i + s*n - 3*n = -358, -2*i - u*n = -149. Is i a multiple of 30?
False
Let j be (0 - 3 - -3)/4. Let k(r) = -r + 25. Let g be k(j). Let w = -9 + g. Is w a multiple of 3?
False
Let g(p) = 2*p - 19. Let o be g(10). Is ((-10)/(-5) + o)*7 a multiple of 5?
False
Suppose 0*h + 4*l = 4*h - 560, -664 = -5*h - 4*l. Is h a multiple of 17?
True
Let u = -187 - -443. Let n = u + -176. Let i = 144 - n. Does 32 divide i?
True
Is (-18)/63 + (-8)/(-28) + 292 a multiple of 22?
False
Let a = 2669 - 1734. Is a a multiple of 88?
False
Let h(c) = -c**2 + 4 + 3 + c - 1 + 0. Let s be h(3). Suppose 3*o + o - 80 = s. Is 10 a factor of o?
True
Suppose -5 = -5*c, 5*c - 2*c = 5*s - 12. Let z be (s - 40/12)*-3. Does 4 divide 6 - 8/(z*-4)?
True
Let u(l) = 2*l + 14. Let p be u(-6). Suppose 111 = -h + p*h. Suppose 7*a - 4*a = -3, 0 = 5*t - a - h. Is 9 a factor of t?
False
Let h = 8 - -2. Does 7 divide (0 - 2) + 5/h*158?
True
Let d(h) = -h**3 + 4*h**2 + 2*h - 5. Let b be d(4). Let g be 4/12*b + -5. Let r = g + 55. Is 17 a factor of r?
True
Is 882/35*2/8*110 a multiple of 77?
True
Let f(j) be the third derivative of j**6/120 + 17*j**5/60 - j**4/6 - 3*j**3 - 9*j**2. Is f(-17) a multiple of 19?
False
Let j(z) = -5*z**3 - 6*z**2 + 6*z + 5. Does 25 divide j(-5)?
True
Suppose -28 = -4*i + 16. Suppose t + i = 31. Is 5 a factor of t?
True
Let g = 198 + 186. Does 35 divide g?
False
Let y(s) = 124*s - 458. Is y(33) a multiple of 12?
False
Let z be (1/(-2))/(3/(-30)). Suppose -z - 1 = -2*h. Suppose -4*y + 4*w + 93 + 35 = 0, -h*w = 3*y - 84. Does 30 divide y?
True
Let x(m) = -m**2 - 4*m + 15. Let d be x(-11). Let n = 152 + d. Is n a multiple of 30?
True
Let l = 1237 - -55. Is 17 a factor of l?
True
Let q(l) = 6*l**2 + 13*l + 33. Does 18 divide q(-6)?
False
Suppose 894 = 1184*u - 1182*u. Does 20 divide u?
False
Let o = -449 + 644. Is 20 a factor of o?
False
Let x = 851 + -837. Is x a multiple of 14?
True
Suppose 33 = 6*v - 615. Is v a multiple of 3?
True
Let k(w) be the second derivative of 5*w**4/4 + 5*w. Does 13 divide k(2)?
False
Suppose 0 = -312*k + 294*k + 13680. Does 6 divide k?
False
Let x(p) = -p**3 + 10*p**2 - 8*p - 3. Let q be x(9). Suppose -2*y - 3*c = 4, -c + 28 = 2*y - q*c. Suppose 0*z - y*z + 112 = 0. Does 14 divide z?
True
Let y(t) = 27*t + 18. Suppose -4*f + l = -4*l - 1, 2*l = -5*f + 26. Does 14 divide y(f)?
True
Let d = -6 + 10. Suppose -2*j - d*n - 75 = -n, 4*n - 4 = 0. Let u = j + 69. Is u a multiple of 12?
False
Suppose -2*o + 3*a = -1, -5*o - a + 8 = -4*o. Suppose o*m - 143 = -3*u + 7*m, -m = -u + 48. Is u a multiple of 22?
False
Let z = 81 +