k(-7)?
False
Let m = -1 - -1. Let a be (-4 - -2)*(-4 - m). Suppose 0*q + a = 4*q. Does 2 divide q?
True
Suppose l + 15 = 4*l. Let f(o) = -6*o + 2. Let s be f(-8). Suppose -l*x + 45 = -s. Does 13 divide x?
False
Suppose 0 = b - 14 - 56. Is b a multiple of 14?
True
Suppose 0 = -i + 15 + 7. Does 11 divide i?
True
Suppose 2*u + 14 - 44 = 0. Suppose -2*j + 57 = u. Is 7 a factor of j?
True
Suppose -p = -0*p. Let x be 4/4 + -26 + p. Let m = x - -44. Is 13 a factor of m?
False
Suppose -3*p - 9 = -6*p + 3*l, p = -3*l - 9. Let x = p + 3. Is x a multiple of 2?
False
Suppose 18 = -5*h + 3. Is 27 - (-6)/9*h a multiple of 10?
False
Let n(w) = w**3 + 9*w**2 - 5*w - 2. Does 17 divide n(-9)?
False
Suppose -3*i = 2*b + 1 - 3, 4*b + 8 = 0. Does 9 divide (14/i + -4)*9?
True
Let p(f) = f**3 - 5*f**2 - 5*f - 4. Let m be p(6). Let b(r) = r**3 - 2*r**2 + 2*r - 2. Let x be b(m). Suppose x*a + a = 45. Does 9 divide a?
False
Suppose -2*o = 2*p + 20, 2*o + 2*p + 50 = -2*o. Let r = o - 252. Is 13 a factor of 2/7 + r/(-21)?
True
Let q(n) be the second derivative of 5/6*n**3 + 2*n + 0 - 3/2*n**2 + 1/12*n**4. Does 3 divide q(-7)?
False
Let a = 89 + -62. Suppose w = -2*w + a. Is 11 a factor of ((-6)/(-4))/(w/78)?
False
Let s = 0 - -3. Suppose -s*q - 63 = -6*q. Does 7 divide q?
True
Suppose -10 = -5*i, 0 = 5*y + 4*i - 3 - 5. Let b(k) = -k**3 + 5*k**2 + 2*k. Let s be b(3). Suppose -3*r + r + s = y. Is r a multiple of 6?
True
Let d = 22 - 6. Is d a multiple of 4?
True
Let u(h) = h**3 - 6*h**2 - 4*h. Let d be u(4). Suppose 0 = 3*p - 6*p - 12. Is 18 a factor of 54/p*d/18?
True
Let l(p) = -p**2 - 7*p + 4. Let v be l(-7). Suppose -5*m = 3*f - 100, -2*m = 2*m + v. Let k = -1 + f. Is k a multiple of 17?
True
Is 3 a factor of 6/2 - 0 - (-1 - 5)?
True
Let a(d) = d**3 - 5*d**2 - 4*d + 6. Is a(6) a multiple of 6?
True
Let h(s) = s**3 - 7*s**2 - 7*s + 6. Let t be h(8). Is 7 a factor of (-1)/(((-3)/3)/t)?
True
Suppose -3*q + 2*w + 0*w = -71, 0 = 4*q - 3*w - 93. Let r(d) = -d**3 + 10*d**2 - 8*d + 8. Let t be r(9). Let c = t + q. Does 13 divide c?
False
Let p(x) = -51*x - 50. Is 13 a factor of p(-5)?
False
Suppose -4*y - y - q + 438 = 0, 0 = -5*y - 3*q + 434. Is y a multiple of 11?
True
Suppose 3*q + a = -1, -6*q + 7*q + 2*a + 7 = 0. Let r be (-2284)/(-12) + q/(-3). Suppose -r = -8*k + 3*k. Does 17 divide k?
False
Suppose -4*v + v + 18 = 0. Let a(o) = o - 1. Let t be a(v). Suppose -2*q = 5*b - 8 - 7, t*q = 5*b - 50. Is b a multiple of 5?
True
Suppose 0*h - 4 = -h. Let w(p) = 5*p - 4. Is 14 a factor of w(h)?
False
Suppose 0 = -3*x + 4*i + 576, 2*x - i + 146 = 525. Is 47 a factor of x?
True
Suppose -l + 5*d + 1 = -18, 3*d + 29 = 5*l. Is 369/(-6)*l/(-6) a multiple of 31?
False
Let m(z) = -z**2 + 22*z - 46. Is 4 a factor of m(19)?
False
Suppose 2*g + 6 = 0, g + g + 309 = 3*l. Is 43 a factor of l?
False
Let n(z) = 2*z**3 - 5*z - 3. Let t be n(-5). Is (t/3)/((-4)/2) a multiple of 19?
True
Suppose 4*t - 33 = t. Let n = t - 1. Is 4 a factor of n?
False
Suppose -148 = -3*k + k. Let l = 132 - k. Let v = l + -41. Is 17 a factor of v?
True
Let x(n) = 2*n - 22. Is 3 a factor of x(22)?
False
Let n = 14 + -7. Let s(t) = -t**3 + 9*t**2 - 6. Is s(n) a multiple of 20?
False
Let d be 62/(1/(-1)) + -3. Let n = -37 - d. Is n a multiple of 14?
True
Let j(y) = -y**3 + 11*y**2 - 2*y - 6. Let b be j(7). Is 23 a factor of (1*b)/4 - 0?
False
Let a(q) = 4*q**2 - 5*q + 10. Does 11 divide a(7)?
False
Let w(m) = 16*m**2 + 8*m + 23. Is 58 a factor of w(-5)?
False
Is 15 a factor of 2/5 + ((-1352)/(-20) - -1)?
False
Is 4 a factor of (1 - 0)/(6/144)?
True
Let y(g) = 408*g**2 + 3*g - 3. Does 68 divide y(1)?
True
Let c be (25 - (1 + 0)) + 0. Suppose 4*t - 20 - c = 0. Is 11 a factor of t?
True
Let q(p) = p**2 - 3. Let y be q(-3). Suppose -y*r = -r + 10, -3*b = 2*r - 11. Does 2 divide b?
False
Suppose -4*n - n + 20 = 0. Suppose -g - n - 2 = 0. Is 22 a factor of 45 - (-2 + g/(-3))?
False
Suppose 0 = -y + 16 + 25. Suppose -3*t + 19 = -y. Is 7 a factor of t?
False
Let y = 13 - 11. Suppose -2 = t, -2*l + y*t + 116 = 2*l. Is 28 a factor of l?
True
Let i(n) be the third derivative of -n**6/120 + n**5/12 + n**4/24 - 5*n**3/6 - 3*n**2. Let s be i(5). Suppose 4*g = -s*g + 56. Is 5 a factor of g?
False
Suppose -x + 0*x - 12 = 0. Suppose 3*v - 15 = -3*g, -3*v = -5*v + 8. Is 12 a factor of 0 - x*g*2?
True
Suppose -s + 4*s = 15. Suppose -f + s = -0*f. Is 11 a factor of 276/10 + 2/f?
False
Suppose 2*d - 3*q - 54 = 0, 3*q = -0*d + 4*d - 102. Is d a multiple of 8?
True
Suppose 5*h = 4*u - 0*h + 93, -89 = 4*u - h. Let l = -12 - u. Let n = 17 - l. Is n a multiple of 7?
True
Let y(d) = d + 7. Let j be y(-5). Let m(v) = -v + 3*v**2 - v - v**3 - 4*v**j. Is m(-3) a multiple of 12?
True
Let j = 346 - 216. Does 19 divide j?
False
Suppose -x = 2*s - 68, 0 = 4*x - 4*s - 0*s - 272. Is x a multiple of 18?
False
Does 3 divide 6/(-5)*(-170)/17?
True
Suppose -2 = -x + 19. Does 21 divide x?
True
Let z(l) = -3*l**3 - 7*l**2 - 7*l - 3. Does 21 divide z(-4)?
True
Let n(s) = -s**2 - 4*s - 4. Let t = -12 + 8. Let g be n(t). Let x(l) = -l. Is x(g) even?
True
Let d(g) = -g - 14. Let r be d(0). Let c be 3348/96 - (-1)/8. Is (24/r)/((-2)/c) a multiple of 15?
True
Let s(m) = -3*m + 4. Let j(h) = -h**3 + 6*h**2 - 2*h + 9. Let c be j(6). Does 13 divide s(c)?
True
Let s(k) = 3*k + 8. Let i be s(-7). Let t = i + 30. Does 17 divide t?
True
Suppose 3*b + 2*d = -2*d + 44, 1 = -d. Is 2 a factor of b?
True
Suppose -5*w = -2*z - 10, -2*z + 5 = 2*w - 3*z. Suppose w*n = 5*n - 375. Is n a multiple of 15?
True
Suppose -4*d = -2*w - 33 + 5, 0 = 4*w + 3*d + 1. Let z = -8 + w. Does 10 divide 4/z + (-31)/(-3)?
True
Suppose -2*c + c = -8. Does 4 divide c?
True
Let f(v) be the second derivative of v**5/120 + v**4/6 + v**3/3 - v. Let h(g) be the second derivative of f(g). Is 7 a factor of h(7)?
False
Let j(z) = z**3 + 3*z**2 + 4. Let v be j(-3). Let g(f) = f + 1. Let t(q) = 12*q + 8. Let i(m) = -10*g(m) + t(m). Does 2 divide i(v)?
True
Suppose -36 - 16 = -g + v, 0 = 2*g - 3*v - 107. Is 21 a factor of g?
False
Suppose 2*u + 0*u = 0. Let f(n) = 27*n**2 - 2*n - 2*n**2 - 1 + u*n + 4*n**2. Is f(-1) a multiple of 15?
True
Suppose 2*n = 3*u - 180 + 565, 764 = 4*n - 4*u. Is 47 a factor of n?
True
Let a be -2 - -4 - (4 - -1). Does 13 divide (1/a)/((-5)/585)?
True
Let l = 2 + 13. Let t = l - 6. Is 5 a factor of t?
False
Let k = 1 + -2. Suppose -v = 3*q + 2*q + 26, -4*v + 2*q = -6. Does 8 divide (v/(-3))/(k/(-51))?
False
Let r(l) = 38*l**3 - l**2 - l + 1. Let a be r(1). Let b(u) = -2*u - 2. Let g be b(6). Let q = a + g. Is q a multiple of 13?
False
Let u(o) = 3*o**2 + 5*o + 6. Let v be ((-1)/1 - -10)/(-1). Let l = v + 5. Is u(l) a multiple of 17?
True
Is 19 a factor of 4/((-8)/10) - -35?
False
Let n be 9 - -1*(-1 - 0). Let f(r) = -4*r + 9. Let t be f(n). Let p = -11 - t. Is p a multiple of 12?
True
Let l(t) = t - 4. Suppose -2*j - 3*j + 5*z + 15 = 0, -5*j = 2*z + 6. Let q be l(j). Is 8 a factor of 184/10 - q/(-10)?
False
Let b(t) = t**2 + 5*t - 5. Does 7 divide b(-7)?
False
Suppose 6 = -a + 19. Is 2 a factor of a?
False
Let n = 17 - 10. Suppose -q + 71 = -n. Does 26 divide q?
True
Suppose -2*t - 19 + 7 = 0. Let r = 64 + t. Is r a multiple of 12?
False
Let i be (-1)/((-2)/10) + -3. Suppose 0 = i*f - 52 - 30. Is f a multiple of 10?
False
Let u be 1 - -6 - (-15)/5. Let q = -5 + u. Suppose -q = n - 21. Is n a multiple of 16?
True
Let y be (-1)/(-2) + (-38)/(-4). Suppose 0*q = q - y. Does 7 divide (-1)/(-5) - (-68)/q?
True
Let m(x) = 2*x - 7*x - 8*x**3 + 4*x. Is 6 a factor of m(-1)?
False
Let v = 160 - 82. Let l(r) = r**3 - 4*r**2 - 4*r + 3. Let a be l(5). Suppose -a = 5*n - v. Does 7 divide n?
True
Let c = 135 + 5. Is 31 a factor of c?
False
Suppose -252 - 158 = -5*j. Let v = j - 47. Is v a multiple of 7?
True
Suppose f = 6*f + d + 233, 4*d + 86 = -2*f. Let u = f + 67. Does 10 divide u?
True
Let t be 15/10 - 1/(-2). Suppose y = t*y - 2*s - 29, s + 92 = 3*y. Does 12 divide y?
False
Let v(x) = -1 - 4*x + 1 - 2 + x. Is 16 a factor of v(-6)?
True
Suppose 0 = b - 5*x + 3, 3*x - 4 = -b + x. Let j be (-4 + 2/b)*-1. Suppose -51 - 60 = -j*o. Is 13 a factor of o?
False
Suppose -3*a = a - 64. Let q(v) = -3*v + 6. Let i be q(-6). Let j = i - a. Is 8 a factor of j?
True
Let g = 39 - 23. Is g a multiple of 16?
True
