k + 1020 = -h*k, d = -5*k - 239. Is d/(-3) + (-2)/6 a multiple of 27?
False
Let i(b) = 2*b**3 + 4*b. Let t be i(3). Is 20 a factor of 1 - 3 - (-17 - t)?
False
Let m = -17 + 20. Suppose 6*p = m*p, -2*f + 4 = -4*p. Does 5 divide (-3)/(-1) - (-44)/f?
True
Let j(z) = 5*z**2 - z - 2. Let k be j(2). Suppose -s + m + 4 = -2*s, -5*m = -s - k. Does 6 divide (-7)/(2/(-2 + s))?
False
Suppose -3*g + 15 = -4*j - j, 3*g = -j + 15. Suppose t - 326 = -3*q - 3*t, 4*t - 8 = j. Does 36 divide q?
False
Let v(u) = 6 - 24 + u**2 + 5*u - 3. Is 20 a factor of v(-10)?
False
Let k(m) = 17*m**3 + 7*m**2 - 15*m + 20. Is k(4) a multiple of 6?
False
Let o = -737 - -3113. Let f be o/15 - 10/25. Suppose -4*z = -2*w - f, -3 = -z - 3*w + 40. Does 10 divide z?
True
Let i be (228/(-8))/((-6)/8). Suppose -2*h + 4*h - 2*n = -i, n - 53 = 3*h. Let l = h + 22. Is 5 a factor of l?
True
Suppose 198*i - 2340 = 196*i. Is i a multiple of 26?
True
Let a(m) = -2*m**3 - 8*m**2 - 5*m - 11. Does 16 divide a(-5)?
True
Suppose -v + 960 = 4*t - 5*v, -5*t + 1202 = -4*v. Is 19 a factor of t?
False
Suppose -2*p = 4*u + 32, 3*p - 4*u = -u - 12. Let l(w) = 2*w. Let k be l(9). Let y = p + k. Is 4 a factor of y?
False
Let u = 1017 + -371. Does 34 divide u?
True
Let k be 1616/24 - 4/(-6). Let h = k + -17. Let z = h - 30. Is 8 a factor of z?
False
Suppose 5 + 0 = c. Suppose 3*r + 2 - c = 0. Is 12 a factor of ((-6)/12)/(r/(-24))?
True
Let r(g) be the third derivative of g**5/120 + 7*g**4/8 - 2*g**3 + 6*g**2. Let q(o) be the first derivative of r(o). Is q(19) a multiple of 20?
True
Let m(q) = 8*q + 3. Let c be 6/(-9)*(-63)/14. Is 14 a factor of m(c)?
False
Suppose -11 = -d + 12. Let z = d - 13. Does 13 divide 2 + (z - (2 + -3))?
True
Let f(u) = -u**3 + 34*u**2 + 9*u + 90. Is 90 a factor of f(30)?
True
Suppose 4*p + p + 20 = 0, 5*p - 390 = 5*z. Let r = 82 - 131. Let k = r - z. Is k a multiple of 11?
True
Let u(n) = 26*n**2 + 4*n - 3. Is 3 a factor of u(1)?
True
Suppose -1 - 65 = 3*x. Let j(u) = u**2 + 8*u - 3. Let c be j(-6). Let b = c - x. Is b even?
False
Let x(p) = p - 19. Let q be x(5). Is (-2 - q) + (-8)/(-2) a multiple of 4?
True
Let b = 887 + 3053. Is b a multiple of 33?
False
Suppose -5*b + 6 = -h, 5*h - 11 = -2*b + 13. Suppose 0 = m + 5*g + b, 2*m = 5*g + 14 - 3. Let p = m + 15. Is p a multiple of 6?
True
Suppose 4*z + 14 = -u, -5*z + 2 = 4*u + 14. Suppose 6*c - 5*c = -3*y + 59, -64 = -c + u*y. Is c a multiple of 31?
True
Let f(u) = 20*u**2 - 11*u - 12. Is f(4) a multiple of 44?
True
Let g(u) = -u + 12. Suppose 0*f + 2*f = 8. Is 2 a factor of g(f)?
True
Let d(t) = t**3 + t**2 + t + 3. Let x be d(0). Suppose -v + 4*s - 128 = -3*v, -12 = x*s. Is 24 a factor of v?
True
Does 5 divide (-4)/(-22) + -2 + 2355/55?
False
Suppose 47 = y - 146. Let x be 1*(-1 + 0/2). Is 12 a factor of y/4 + x/4?
True
Suppose -4*s + 1434 = 2*p, -2187 = -5*s + 4*p - 427. Does 14 divide s?
False
Suppose -2*u = 2*h - 2084, 0 = 3*u + 3*h + 2*h - 3116. Suppose -15*i + 288 + u = 0. Is 7 a factor of i?
False
Suppose b - 2*l = -5 - 1, 5*b - 5*l = -10. Suppose 0 = k - b*x + 4, -3*k + 0*x + x = -13. Let y = k - -19. Is 10 a factor of y?
False
Suppose 3*t = 2*k + 9, -t = -3*k - k - 13. Let d = 7 + k. Suppose 3*u + 2*p - 8 = 14, 2*u + d*p = 4. Does 10 divide u?
True
Let s(f) be the third derivative of f**7/2520 - f**5/60 + 7*f**4/24 + 5*f**2. Let q(z) be the second derivative of s(z). Does 2 divide q(-3)?
False
Let m be 759/44 - 2/8. Suppose -4*s - m = -165. Is 2 a factor of s?
False
Let c be (12/3 - 3) + 4. Suppose 0 = -3*a - s + 61, 7*s = c*a + 2*s - 95. Is a a multiple of 5?
True
Suppose -2*q = v - 55, 2*q - v + 11 - 76 = 0. Is (2 + q)*4/8 a multiple of 16?
True
Let d be (1813/28)/7*4. Let l(o) = -2*o**3 - o**2 + o - 1. Let b be l(2). Let z = d + b. Is z a multiple of 8?
False
Let x = 35 - -14. Let f = x - -6. Is f a multiple of 28?
False
Suppose -3*r = 4*j - 15, 4*r = -5*j + 18 + 1. Suppose -j*b = -168 - 207. Is 41 a factor of b?
False
Let r(d) = 44*d**3 + d**2 + 6*d - 8. Let v be r(2). Suppose 0 = 2*g - v + 80. Is 7 a factor of g?
True
Let t be 5 + (-1 + 0 - 1). Suppose -t*z = 5*u + 169, -4*u + 4*z - z - 146 = 0. Does 8 divide u/(-4) - 9/12?
True
Let k(g) be the second derivative of -g**3/6 - 6*g**2 - 6*g. Let r be k(-13). Is 24 a factor of 3*(-141)/(-9) + r?
True
Let w(a) = -4 + 11 + 2*a - 6*a - a. Let h be w(5). Does 30 divide (h/8)/(27/(-360))?
True
Let w(s) = 64*s**3 - s**2 - s + 2. Suppose 0 = -3*l + l + 2. Does 32 divide w(l)?
True
Let z = 1587 + -1047. Is z a multiple of 36?
True
Let d(o) = 2*o**2 + 101*o + 82. Does 47 divide d(-61)?
True
Let v(p) = -12*p + 1. Let i be v(-5). Let s = 108 - i. Does 14 divide s?
False
Suppose -4*x = 5*d - 25, 0 = 2*d + x + 3*x - 10. Suppose -145 = -d*l + 5*o, -2*l - 5*o - 91 = -5*l. Is 10 a factor of l?
False
Suppose 10*m - 2420 = 9740. Is m a multiple of 32?
True
Suppose -21*a + 410 + 1228 = 0. Suppose q + a = 4*q. Is 13 a factor of q?
True
Suppose -4*m - 4*d = -0*m + 40, 3*m + 2*d + 25 = 0. Let h(l) = 2*l**2 + 2*l + 10. Let y be h(m). Let t = 76 - y. Is 13 a factor of t?
True
Let h be (4/6)/((-40)/(-1140)). Let z = h - 7. Is 9 a factor of z?
False
Let f(g) = -g**3 - g**2 + 10*g + 9. Let p be f(-6). Let h = p - 85. Is 5 a factor of h?
False
Let m(i) = -i**3 - 6*i**2 - 6*i + 1. Let c be m(-5). Suppose -c*j + 433 = -17. Does 13 divide j?
False
Let w be (1 + 5)/(2 - 121/62). Let d be (-1)/(-3) + (-484)/(-6). Let q = w - d. Is 17 a factor of q?
False
Let h(z) be the second derivative of z**4/2 + z**3/3 + 4*z**2 - 7*z. Is 21 a factor of h(5)?
True
Let h = -205 - -116. Let d = -138 - h. Let l = -14 - d. Is l a multiple of 9?
False
Let p(z) = 3*z**2 + 5*z + 16. Let r be (-2 - (0 - 0))/(38/133). Is p(r) a multiple of 16?
True
Let b(f) = 17*f**2 + 7*f - 4. Suppose t = -g - 8, 8 = -3*t + 4*g - 3*g. Does 30 divide b(t)?
True
Let k(z) = -z**2 - 7*z + 90. Does 3 divide k(6)?
True
Suppose 0 = -73*y + 11*y + 96162. Is 11 a factor of y?
True
Suppose 0 = -0*k - k + 2*f + 10, 0 = -5*k - f + 105. Let h be ((-96)/(-10))/(2/k). Suppose -c = -3*c + h. Does 8 divide c?
True
Suppose 4*r - 66 = 3*r - 4*b, -4*r + 5*b + 180 = 0. Is r a multiple of 10?
True
Let x = -87 + 72. Is (-1743)/x + 2/(-10) a multiple of 13?
False
Let p(u) = u**3 - 7*u**2 + 7*u + 6. Let d be p(6). Let z = d - 7. Suppose z*m - 3*i - 250 = 0, 4*i - 250 = -5*m + i. Does 11 divide m?
False
Let n(g) = -107*g - 196. Does 10 divide n(-15)?
False
Let t(d) = -3*d + 20. Let j be t(6). Suppose 7*w + j*a = 2*w + 40, 0 = 2*a - 10. Does 12 divide (55/(-4))/(w/(-24))?
False
Suppose -v + 3 = -2. Suppose -r = v*d - 46, -5*r - 2*d + 272 = 2*d. Suppose 4*s - 6*s + r = 0. Is 17 a factor of s?
False
Is 17 a factor of (-10896)/(-12)*2/8?
False
Is 9 a factor of (346/10)/(((-15)/375)/(-1))?
False
Let v = 15 + -10. Suppose -17*a + 1312 = -303. Suppose -2*b - v*w = -a, -3*w + 75 = 3*b - 45. Is 13 a factor of b?
False
Let s = -162 + 352. Suppose 8 = -4*y, j = -4*y + s - 51. Is j a multiple of 38?
False
Suppose -4*y + m + 484 = 0, -y - 4*y + 605 = -3*m. Is y a multiple of 4?
False
Is 12 a factor of 3/(-2) + 1602/12?
True
Let u be 262/(-1 - (0 + 1)). Let h = u + 232. Let b = h - 53. Does 12 divide b?
True
Let l = -701 - -1167. Is 36 a factor of l?
False
Let d(b) be the second derivative of -b**3/6 + 6*b**2 + 4*b. Let w(u) = -u**3 - 5*u**2 - u - 5. Let v be w(-5). Is d(v) a multiple of 3?
True
Let q(g) = g + 9. Let b be q(-5). Suppose 5*u = w + b + 8, -u + 4 = 0. Does 6 divide w?
False
Is (793/(-3))/(95/(-15) + 6) a multiple of 23?
False
Suppose -3*t = -3*v - 96, -5*t + 12*v = 10*v - 148. Is 14 a factor of t?
True
Suppose 3*h + 74 - 3521 = 0. Is 18 a factor of h?
False
Let g = 9 + 212. Is 17 a factor of g?
True
Suppose -5*c + 14 = -7*c. Let n = c - -12. Suppose -5*k + 175 = n*z, -4*z + 3*z + 10 = -4*k. Is 6 a factor of z?
True
Suppose -5*s + 159 = 4. Let v = -21 + s. Does 2 divide 104/v - (-20)/(-50)?
True
Suppose 0 = 2*l + 2*y + 2, -3*l + 37 = -y - 4*y. Suppose -8*j + l*j = -760. Is j a multiple of 37?
False
Let n(m) = 9*m - 1. Let d be 3 + (-6)/((-24)/(-20)). Let c be n(d). Let g = c + 29. Is 10 a factor of g?
True
Is 5 a factor of (0 - -1)/(2/350)?
True
Let z be ((-3)/(-2))/(4/(-80)*-3). Is 14 a factor of (168/z)/(-6)*-5?
True
Let l(u) = u + 4. Does 7 divide l(10)?
True
