q**3 - 3*q**2 + 5*q + 176. Is f(0) a multiple of 22?
True
Suppose -3*u = 5*x - 162, -u = -4*x + 68 + 48. Suppose 25 = 5*t + 5*w, -w - x = -5*t - 5. Suppose t*a = a + 80. Does 6 divide a?
False
Suppose j - 9 = -3*r + 3, -4*r = 3*j - 11. Suppose -r*i = -3 - 12. Suppose -d - i = -2*d. Is d a multiple of 2?
False
Let u be ((-8)/(-3))/((-6)/(-9)). Suppose 4*n - k - 28 = -u*k, -4*k = -4*n. Suppose -4*i - q + 252 = -134, -n*i + 380 = 4*q. Is i a multiple of 18?
False
Let i be -80 + (-2 - 3/(-1)). Let h = -120 - i. Let q = h + 84. Does 14 divide q?
False
Is 38 a factor of (-1142)/(-4)*(2 - (-3 - -3))?
False
Let q(u) = -u**2 - 7*u - 5. Let v be q(-5). Is v + (8/(-6))/(32/(-48)) even?
False
Suppose 0 = 2*d - 9*d. Suppose d*w = -3*s + 5*w + 908, -s = 2*w - 299. Is 39 a factor of s?
False
Let g(u) = -17*u + 69. Does 39 divide g(-12)?
True
Let c be (-12)/21 - 100/(-28). Suppose c*o = -2*o + 105. Does 5 divide o?
False
Let y(o) be the second derivative of o**4/6 - o**3/2 + 5*o**2 + 5*o. Let t(z) = z**2 - 1. Let f(l) = 3*t(l) - y(l). Is f(7) a multiple of 8?
False
Let n be 3 - (34 + -2) - 2. Suppose i - 20 - 5 = 0. Let b = i - n. Is b a multiple of 14?
True
Let a(q) = -q**2 - 11*q + 2. Let n be a(-11). Let t(o) = -6*o - 3 + 3*o**2 - o**3 + 8*o**2 + 4*o**n - 6*o**2. Does 8 divide t(8)?
False
Let h(j) = 4*j**2 - 13*j + 10. Let f be h(-10). Suppose 6*v = -0*v + f. Is v a multiple of 15?
True
Is 11 a factor of 2692 - -185 - ((2 - 1) + 5)?
True
Suppose f - 3*f + c = -1178, 5*f = 3*c + 2947. Does 24 divide f?
False
Suppose 0 = -3*t - 2*t - 250. Let c = 142 + t. Suppose -95 = -5*w + 5*x, -3*w = 5*x - c + 27. Is w a multiple of 18?
False
Let p(t) = t**3 + 10*t**2 - 8*t + 27. Let w be p(-11). Does 22 divide ((-4)/w)/((-5)/(-165))?
True
Is (-828)/(-20) + (-6)/(-10) a multiple of 2?
True
Let q = -689 - -1457. Does 24 divide q?
True
Let h(q) = -q**3 + 3*q - 4. Let v be h(-3). Suppose 2*p - 10 = -2*u, -5*u + 3*p = -7*u + v. Let k = 10 + u. Does 10 divide k?
False
Let b = -15 - -19. Let k be 0 - 1 - (-303)/3. Suppose 9*n - b*n = k. Is n a multiple of 10?
True
Suppose -33 = -5*q - 13. Suppose -4*u = 4*m - 16 - 4, 0 = m + 5*u - 17. Suppose -2*a + 96 = -q*z + 270, m*a = 2*z - 88. Does 7 divide z?
False
Let c be 408*1 + 6*4/6. Let a = c - 188. Is a a multiple of 14?
True
Let i(m) = m**3 + 6*m**2 - 6*m - 6. Let b be i(-4). Suppose 45*z + 385 = b*z. Is 21 a factor of z?
False
Let x = -671 - -1075. Is 17 a factor of x?
False
Let v = 9 - 6. Let u be (132/20 - 5)/(4/(-50)). Is 5 a factor of 3*v - u/10?
False
Suppose 4*h - 3 - 9 = 0. Suppose -h*m + 5*m + 6 = 0. Does 33 divide (-1)/m + 394/6?
True
Let l be (-2 + -3)/5 - -3. Let z = 118 - l. Is z a multiple of 29?
True
Does 3 divide 20*(-2)/(-4)*(-12)/(-3)?
False
Let c(y) = 196*y - 8. Is 12 a factor of c(1)?
False
Let j = 1900 + -1193. Does 8 divide j?
False
Suppose -12 = -2*i - i. Let t(g) = -g**3 - 6*g**2 - 6*g. Let s be t(-5). Suppose -i*q - j - j = -68, 95 = s*q + 5*j. Is 15 a factor of q?
True
Suppose 62*t = 66*t - 2940. Suppose -3*s + 5*q - 373 = -5*s, q = 4*s - t. Is s a multiple of 14?
False
Let b = -6 - -13. Let m(f) = f - 7. Let k be m(b). Suppose k*w + 144 = 3*w. Is 16 a factor of w?
True
Let o(y) = 5*y**3 - y**2 + y - 4. Let u(d) = 4*d + 4 - d + 0*d**2 - 5*d - 6*d**3 + 2*d**2. Let n(v) = -7*o(v) - 6*u(v). Is 8 a factor of n(5)?
False
Let q(w) = w**3 - 3*w**2 - 8*w + 3. Let t be q(5). Suppose -2 = -3*g + t. Suppose u = 2*z - 0*u - 152, g*z = u + 374. Does 13 divide z?
False
Let z(t) = -t**3 + 30*t**2 - 30*t + 51. Does 11 divide z(29)?
True
Let s(p) = p**2 + 2*p. Let b(y) = 6*y**2 + 10*y - 1. Let t(d) = 2*b(d) - 11*s(d). Suppose 2*l - 16 = -o, o = 2*l - 5*l + 22. Is 22 a factor of t(l)?
True
Suppose 5*i + 5*d - 3*d = 2, 3*d + 14 = i. Suppose i*m = 5*m - 6. Is 1*(24 + (1 - m)) a multiple of 6?
False
Let g(y) = 21*y**2 + 2*y - 2. Let x be g(2). Let n = -50 + x. Let v = 81 - n. Does 15 divide v?
True
Let l = -2 - -5. Suppose 2*d = 6*d - 12, -4*q - l*d + 129 = 0. Is 25 a factor of q?
False
Suppose 8*v - 11*v = -4*x + 2907, -2*v + 724 = x. Is x a multiple of 22?
True
Suppose -3*j + j - 5*o + 1655 = 0, -2*j + 3*o = -1695. Is j a multiple of 28?
True
Let w(c) be the second derivative of -c**3/6 - c**2/2 - 6*c. Let b be w(-6). Suppose l - b*j = -2*j + 34, 4*j = l - 35. Is l a multiple of 13?
False
Let o = 380 + 148. Is o/(-22)*6*-1 a multiple of 16?
True
Let f(q) = -2*q + 3. Let t be f(6). Let d = t + 6. Let j(n) = 8*n**2 - 4*n - 6. Is j(d) a multiple of 26?
True
Let d = -27 + 31. Suppose 2*i = -5*z + 172, 161 = d*z - 3*i + 5. Does 12 divide z?
True
Suppose -1301 - 1534 = -21*a. Is a a multiple of 9?
True
Let f(k) = -2*k. Let a be f(-3). Is 52 + -3 + -1 + a a multiple of 27?
True
Let w be -2 + 12/4 - -3. Suppose -w + 0 = -4*f, -2*h - f + 153 = 0. Suppose 3*i = -0*i - 3*j + 57, -4*i + h = -2*j. Is i a multiple of 19?
True
Let d be (-80)/(-60) + (-4)/(-6). Suppose 50 - d = 4*p. Suppose -2*l + 6 = -p. Is l a multiple of 7?
False
Suppose 4*m + 1033 = r, -4*m - 22 + 18 = 0. Does 49 divide r?
True
Suppose 0 = -659*w + 647*w + 27456. Is 52 a factor of w?
True
Let a = 20 - -45. Let k = -23 + a. Is k a multiple of 21?
True
Does 30 divide (-6070)/(-40) + 14/(-8)?
True
Let d(z) = -7*z - 3*z + 3*z + 3*z. Is 10 a factor of d(-7)?
False
Let y(m) = -8*m**3 - 14*m**2 - 7*m - 25. Is 29 a factor of y(-5)?
False
Suppose 6*u - u = 4*r - 22, -5*r = -u - 17. Let x be r + 1/(3 - 2). Suppose 4*a - 53 = -5*q, -x*a + 27 = q + 2*q. Is 5 a factor of q?
False
Suppose 24*u - 15595 - 365 = 0. Does 19 divide u?
True
Let u(d) = d**2 - 2*d + 1. Let o be u(1). Is (-6 - o - -5)*-1*37 a multiple of 20?
False
Let z(w) = -w**2 - 10*w. Let r be z(-10). Suppose 0*o + o - 4 = r. Suppose o*q = -k + 18, 20 = 4*k + q + 2*q. Is 2 a factor of k?
True
Let j(c) = c**2 - c + 38. Let i be j(12). Let n = -121 + i. Is n a multiple of 23?
False
Let b(f) = -5*f - 3. Let m be b(-2). Suppose 24 = 5*w - 4*c - m, -2 = -w + 5*c. Is w a multiple of 4?
False
Let f(n) = -79*n + 6. Let p be f(1). Let d = p - -109. Does 3 divide d?
True
Let s(k) = -3*k**2 - 12*k + 14. Let p(m) = -2*m**2 - 12*m + 13. Let n be (-8)/(-20) - (-13)/5. Let c(d) = n*s(d) - 4*p(d). Does 5 divide c(10)?
True
Suppose 0 = p - 3*v - 2071, p + 3*v = 476 + 1607. Is p a multiple of 55?
False
Let j = 7 - -45. Does 22 divide 8/4*(j + 3)?
True
Let p = -2646 - -4860. Is 9 a factor of p?
True
Let m = 13 + -80. Let u be (2 - 0)/(-6)*129. Let o = u - m. Does 12 divide o?
True
Let q = -91 + 27. Let r = q + 97. Does 5 divide r?
False
Let d = 63 + -59. Suppose -d*t - 4*a + 200 = 0, -2*a - 2*a = -t + 50. Does 10 divide t?
True
Let a be (-32)/(-112) + 4/(-14). Suppose 0 = -4*i - 0*i - 4*r + 56, a = 2*r - 8. Does 10 divide i?
True
Let r(b) = 10*b**2 - 6*b - 10. Let l be r(-10). Suppose 0*f - 6*f + l = 0. Does 40 divide f?
False
Suppose a = -2*a + 9. Does 26 divide 2/(-3)*a + (107 - 1)?
True
Let z = 15 + -14. Let r = -1 + z. Suppose -126 = -r*w - 2*w. Does 21 divide w?
True
Let v(o) = -7*o**2 + 4*o - 4. Let d be v(2). Let q = d - -110. Is 19 a factor of q?
False
Let z(i) = -i**2 + 17*i - 14. Let n be z(16). Suppose -2*j - 4 + n = 0, -2*c - 3*j + 135 = 0. Is 23 a factor of c?
True
Let w be 0 + 3 + 2/(-2). Let l be (-1)/((-1)/5)*w. Suppose 0 = 5*f - 3*o - 58, 2*o - l = -f + 12. Does 5 divide f?
False
Let q be 39/15 - 4/(-10). Suppose -4*s - 5*h - 27 = -7*s, 3*h + 21 = q*s. Suppose -2*c = s*a - 28, -5*a + 20 = -5*c - 45. Is a a multiple of 3?
True
Let t = 32 - 27. Suppose -t*x = -x - 40. Is 5 a factor of x?
True
Is 6 + (9982 - -2)/8 a multiple of 66?
True
Suppose 85 - 412 = -3*n. Is 19 a factor of n?
False
Suppose 12*f - 85 - 263 = 0. Does 3 divide f?
False
Let l = 1654 + -1166. Suppose l = 3*p - 4*s, 3*p + s = p + 318. Is p a multiple of 24?
False
Let b = 315 - 269. Is b a multiple of 46?
True
Let q(s) = -1 - 2*s**2 + s**2 + s + 6*s**2 - 4*s**2. Is q(3) a multiple of 3?
False
Suppose 7*t + 2*t = 261. Suppose 33*f - 440 = t*f. Is 22 a factor of f?
True
Let u be ((-126)/15)/((-2)/(-40)). Is (u/10)/(((-154)/(-245))/(-11)) a multiple of 10?
False
Let w be (-2)/(-1) + (1 - 0). Suppose -w*f = -80 - 19. Is f a multiple of 29?
False
Let v be (4 - 5)*(-2 + -5). Let s = v - 4. Suppose -6 = -4*u + 10, -s*a + 3*u = -240. Is a a multiple of 21?
True
