2?
False
Does 9 divide (58/145)/(2/880)?
False
Let v = 12 - -10. Does 22 divide v?
True
Let q(v) = -v**2 - 15*v - 18. Is q(-13) a multiple of 8?
True
Let q be 5 + 2*3/(-2). Suppose -2*d - 23 = 3*l - 89, 0 = -3*d + q*l + 86. Suppose d = -2*b + 3*b. Is 14 a factor of b?
False
Does 4 divide -14 - -186 - (-1)/(-1)*-4?
True
Suppose -2*h = 2*h - 4*u - 12, -3*h + 5 = -4*u. Is (3/(-2))/(h/(-126)) a multiple of 9?
True
Let v be (-4)/(-3)*117/6. Let s = 53 - v. Is 8 a factor of s?
False
Suppose -k - 5*m + 42 = 0, -k + 0*m + 3*m + 2 = 0. Is k a multiple of 14?
False
Suppose 3*p + 9 = h - p, 0 = -5*h - 5*p + 20. Suppose -h*u + 83 = -12. Is 8 a factor of u?
False
Let z(p) = -10*p - 8. Let a = -23 - -14. Is z(a) a multiple of 19?
False
Suppose -54 = 2*m - 12. Let l be m/(-2)*(-32)/12. Does 14 divide (1 - 3) + 2 - l?
True
Let b(h) = -7*h**3 + 3*h**2 - 6*h + 5. Let c(s) = -3*s**3 + 2*s**2 - 3*s + 3. Let x(r) = 4*b(r) - 9*c(r). Is 11 a factor of x(-7)?
False
Let r = 17 - 23. Is 1/(-3) - 302/r a multiple of 18?
False
Let z = 2 - -10. Is 10 a factor of (-2)/(-8) - (-357)/z?
True
Let u = 127 - 72. Let f(b) = -7*b**2 + 1. Let a be f(-1). Is (a/(-10))/(1/u) a multiple of 11?
True
Let b(o) be the second derivative of o**5/60 + o**4/12 - o**3/2 - 3*o**2/2 + 3*o. Let y(n) be the first derivative of b(n). Does 12 divide y(-5)?
True
Let q(d) = -6*d + 38. Does 2 divide q(5)?
True
Suppose -2*a + 56 = -3*j + 2*j, 5*a - 2*j = 141. Is 1/3 - a/(-3) a multiple of 5?
True
Suppose 2*f - 4*f = -38. Is 19 a factor of f?
True
Let b(f) = f**3 + 2*f**2 - 2*f - 1. Let h be b(-2). Let k be (357/12)/((-2)/(-8)). Suppose -v - 53 = -h*v - 5*z, 0 = 5*v - z - k. Is 9 a factor of v?
False
Suppose 6*g - 7*g + 14 = 0. Is 5 a factor of g?
False
Suppose -o = -3*j + 2*o + 12, 7 = -5*j - 4*o. Let x be (j + 0)*0/(-2). Suppose x*t - 2*t = -64. Does 12 divide t?
False
Is 13 a factor of 6/8 - (-303)/12?
True
Suppose -4*n = -5*d + 277, -2*d + 3*n - 74 = -182. Is 16 a factor of d?
False
Let x be 2/(-9) + 173/9. Let c(z) = -2*z + 1. Let w be c(-16). Let i = w - x. Is 7 a factor of i?
True
Suppose 8*f - 4*f + 16 = 0. Does 8 divide ((-2)/f)/(7/112)?
True
Let j = -19 - -58. Let g = 20 + j. Is g a multiple of 16?
False
Let i(a) = a**2 + 16*a + 42. Is i(-14) a multiple of 2?
True
Let j = 44 - 82. Let s = j + 72. Is s a multiple of 26?
False
Does 3 divide 8/(-52) - ((-134)/26 + 0)?
False
Let d = 128 - 61. Is d a multiple of 27?
False
Let m(l) = -l**2 - 5*l + 9. Let w be m(-7). Let f = w - -5. Suppose 2*r - 26 - 22 = f. Is r a multiple of 12?
True
Let k = -7 + 10. Suppose k*f = 5*f - 130. Does 17 divide f?
False
Suppose -4*j = -4 - 0. Let d be (2 + 0)/(j - 2). Is 13 a factor of (41 + d)*(-4)/(-6)?
True
Let v be ((-2)/(-2) + -2)*-2. Let z = -10 - -22. Suppose -v*b + z = -b. Is 12 a factor of b?
True
Let l(i) = i**3 - 3*i**2 + 3*i - 4. Let x be l(3). Let k be (8/(-5))/(1/(-25)). Suppose x*h - k = 15. Is 9 a factor of h?
False
Let d(i) = 5*i**2. Is 17 a factor of d(4)?
False
Let h be (-132)/(-8)*6/(-9). Let y = h - -20. Is y a multiple of 8?
False
Suppose 5*l = l + 64. Does 4 divide l?
True
Suppose v = -z + 14, -4*z + 2*v + 24 = -2*v. Let s(h) = -h + 12. Let t be s(z). Suppose 4*r = 3*d - 40, -d - t*r = -0*d - 10. Does 12 divide d?
True
Let b = 315 + -155. Is b a multiple of 15?
False
Suppose -3*g + 54 = 3*d, 4*d - 5*g + 10 = 64. Is d a multiple of 8?
True
Let g = 29 - 16. Suppose -n + 14 = -g. Let c = n + -3. Is 14 a factor of c?
False
Let t(d) = 4*d**2 - 4*d. Is t(4) a multiple of 12?
True
Is ((-69)/(-12))/(5/40) a multiple of 11?
False
Let l(r) = -6 - 3 + r + r. Let z be l(6). Suppose 0 = 4*g - z - 65. Does 17 divide g?
True
Let q be -41 - 2 - 2/2. Let y = 4 - q. Is 16 a factor of y?
True
Let u(p) = -p**3 - 9*p**2 - 3*p + 9. Let m(v) = v**3 + 4*v**2 + 2*v - 1. Let c be m(-4). Does 18 divide u(c)?
True
Let n(f) = 3*f - 4. Let c be n(4). Suppose 0 = -3*b + b + c. Is b even?
True
Suppose 3*d = 4*c + 553, -3*c - 541 = c + d. Let w = -91 - c. Suppose 0 = -3*n + 3*g + w, 0*g + 39 = 3*n - 5*g. Is 10 a factor of n?
False
Let m(k) = -k**3 + 4*k**2 + k - 5. Let s(o) = o - 7. Let u be s(3). Does 32 divide m(u)?
False
Suppose -4*r - 11 - 1 = 0. Does 7 divide (-2)/(r/((-63)/(-2)))?
True
Let n = -4 + 3. Is 5 a factor of (-42)/(-9) + n/(-3)?
True
Let a(y) = -5*y**2 - 9*y - 3. Let t(j) = 4*j**2 + 8*j + 3. Let h(w) = 3*a(w) + 4*t(w). Is 19 a factor of h(4)?
False
Let p be 1 + (3 + -2)/1. Suppose 0 = -u - p - 6. Let t = u - -42. Does 12 divide t?
False
Suppose 0*h = -2*h + 22. Does 3 divide h?
False
Let f(u) = u**2 - u + 15. Is f(0) a multiple of 8?
False
Let r(q) = -q**2 + 10*q - 7. Let k be (-7)/(3 - 12/3). Is 7 a factor of r(k)?
True
Suppose -4592 = -22*o + 5110. Is o a multiple of 63?
True
Let w be (12/(-9))/(1/(-3)). Let u(k) = 23*k. Let t be u(1). Let g = t - w. Does 7 divide g?
False
Let q(o) = -5*o - 8. Suppose 2*k + 4*b - b = -37, 2*k + 5*b + 47 = 0. Is q(k) a multiple of 17?
False
Is (342/(-2) - 3)*-1 a multiple of 29?
True
Suppose -13 = -3*l - 1. Suppose -3*b - 1 = -l*b. Suppose -m + 8 = -b. Is m a multiple of 7?
False
Suppose -2*v - 27 + 5 = 0. Let f = -7 - v. Suppose -3*c - 2*w = 2*c - 88, 0 = -f*w + 16. Does 8 divide c?
True
Let z(s) be the third derivative of s**5/30 + s**4/6 + s**3/2 - 2*s**2. Let j be z(-2). Suppose o - 9 = -2*b, -24 = -5*b - 3*o - j. Is 3 a factor of b?
True
Let l(j) = j**3 - 8*j**2 + 4*j + 2. Let t be l(7). Let n = t + 49. Does 30 divide n?
True
Let x(p) = -9*p**2 - p + 1. Let r be x(-2). Let l = -7 - r. Does 14 divide l?
False
Is 25 a factor of 22/99 - 673/(-9)?
True
Let j = 516 + -361. Let i = -85 + j. Does 13 divide i?
False
Let v(o) = o**2 + 5*o - 2. Let w be v(-6). Suppose -4*z - 5*s = z + 50, 68 = -4*z + 3*s. Let h = w - z. Is h a multiple of 18?
True
Suppose l - 15 = -5*a, -5*a - 6 = -5*l + 9. Suppose -58 = -3*d - 2*n, -a*n = -5*d + n + 65. Is d a multiple of 16?
True
Suppose 2*c = -0*c - 4*w + 188, 3*c + 5*w = 284. Suppose s + 2*d - 53 = 0, 2*d - c = 2*s - 4*s. Is s a multiple of 14?
False
Suppose 2*j - 60 = -3*j. Let a = j + -8. Suppose 0*p = p + 5*k - 1, -a*p + 19 = 5*k. Does 3 divide p?
True
Let k = -87 - -123. Does 12 divide k?
True
Let n(t) = -10*t**3 + 2*t**2 + t + 2. Is n(-2) a multiple of 11?
True
Let q(t) = -2*t + 4. Let j be (-1)/(-2)*-2*-3. Let o be q(j). Let i = o + 15. Is i a multiple of 5?
False
Let k(s) be the second derivative of 2*s + 3*s**2 + 1/20*s**5 - 1/12*s**4 + 0 - 1/3*s**3. Is 14 a factor of k(4)?
False
Let v(o) = -o**3 - o**2 - 2*o - 3. Let f be v(-2). Suppose 0 = f*q - 3*z + 1 - 41, q - 26 = -3*z. Suppose w = q - 1. Does 4 divide w?
False
Let y = -2 + 7. Suppose s - y*s = 0. Suppose s*m = -3*m + 45. Is 15 a factor of m?
True
Let f be (-110)/(-7) - 6/(-21). Let s be 3 + -1 + (-15)/3. Let j = s + f. Is j a multiple of 10?
False
Let h = 116 - 62. Suppose 2*w - h = -w. Is w a multiple of 6?
True
Let x be ((-1)/(-2))/((-2)/(-4)). Let m = 27 + -25. Does 8 divide 2*m*(1 + x)?
True
Let b = -113 + 176. Is b a multiple of 12?
False
Suppose -q - 33 = 2*g - 4*g, 2*g + q - 35 = 0. Does 8 divide -60*(g/(-5) + 3)?
True
Let k be (-2)/((-2)/3)*10. Let j = -8 + k. Does 7 divide j?
False
Let w(h) = 2*h**2 - 11*h + 17. Is w(6) a multiple of 23?
True
Let o be 1/(-4) + (-515)/4. Let p = -75 - o. Suppose 5*a - 174 = q, -a + 0*q + p = -5*q. Does 17 divide a?
True
Let j = -1 + 3. Let t(b) = -j + 0 - 2 + 7*b. Is t(5) a multiple of 12?
False
Let q(d) = 3*d + 1. Does 19 divide q(17)?
False
Suppose 5*y + l + 376 = 0, 4*y + 135 = 5*l - 160. Let a(g) = g**3 - 7*g**2 - 1. Let d be a(6). Let q = d - y. Is 14 a factor of q?
False
Let p(a) = -a**2 + 2*a + 24. Does 7 divide p(0)?
False
Suppose 0 = 3*f + 3*q - 228, 0*f + 64 = f + 5*q. Is f a multiple of 17?
False
Suppose -8 = -3*b + 7. Suppose -b*y + 31 - 6 = -q, -3*y + 2*q + 8 = 0. Is y a multiple of 5?
False
Let i(k) = k**3 - 3*k + 2. Let t be i(2). Suppose -4*f = j - 31, -j - 9 = -t*j. Suppose 0 = -g - 2*m + 20, -5*m - 8 - f = -4*g. Is 5 a factor of g?
True
Let p = 27 + -19. Is p a multiple of 8?
True
Let c(i) = -47*i - 3. Let b(a) = -23*a - 1. Let z(p) = 5*b(p) - 2*c(p). Let g(t) = t**2 - 6*t - 1. Let v be g(6). Is 11 a factor of z(v)?
True
Let u = -1 + 4. Suppose -2*v = l - u*l - 10, l = -4*v + 30. Suppose 4*i - r = 141, 4*r - 15 = v*r.