 Let u be o(-1). Is 94/14 + 2/u a multiple of 3?
False
Suppose -4*v = -5*j + 9, 2*j + 0*v - 6 = 4*v. Let o be j/(-4) + (-86)/8. Is 2/o + 932/44 a multiple of 9?
False
Does 7 divide (18 - 10) + -1*1?
True
Suppose 2 = 4*o + 34. Let t(h) = h**2 + h - 1. Let b be t(1). Let x = b - o. Is 9 a factor of x?
True
Suppose 4*w = -5*t + 63, 0*w + 2*w = -t + 33. Suppose n = 13 + w. Is 12 a factor of n?
False
Suppose 0 = 7*c - 2*c - 170. Does 17 divide c?
True
Let s(i) = -i**3 + 5*i**2 + 8*i - 5. Let z be s(6). Suppose -3*b = -z*b + 68. Is 17 a factor of b?
True
Let o = -34 + 146. Let f = 232 - o. Suppose -2*v - 2*v - 2*m = -f, 4*v - 4*m = 96. Is 14 a factor of v?
True
Let c be 2*((-117)/6 + 3). Does 20 divide (-6)/c + (-2205)/(-33)?
False
Let y(l) = l**2 - 9*l + 12. Let p be y(8). Suppose 0*u + 2*u = p. Suppose -u*w + w = -12. Is w a multiple of 6?
True
Let z be 1/(-2)*106*-1. Let y = z - 17. Does 12 divide y?
True
Let d = 9 + -3. Let i(t) = 5 - 2*t - 1 + d*t. Is i(6) a multiple of 10?
False
Let z be (-2)/5 + (-24)/(-60). Suppose -4*n - 2*h + 78 = 0, -3*n + 5*h - 4*h + 71 = z. Is n a multiple of 11?
True
Suppose -2*t = -4*t + 156. Does 39 divide t?
True
Let j be (-1*1)/(2/(-4)). Suppose 0 = -l - j + 62. Does 10 divide l?
True
Let r(y) = y**2 + y + 1. Let z be r(-2). Suppose -z = x - 16. Suppose -11 - x = -3*c. Is c a multiple of 8?
True
Let h = -5 + 5. Suppose 7 = -4*b - 2*d - d, h = -b + 5*d + 27. Is (1/3)/(b/78) a multiple of 13?
True
Let w = -6 - -11. Let z(a) be the second derivative of a**3/2 - 3*a**2 + 4*a. Does 9 divide z(w)?
True
Let h be 10/4*16/10. Suppose 0 = -2*i - h + 20. Does 5 divide (-4)/(-6)*60/i?
True
Let p be (2/8)/((-1)/(-12)). Let f = p + 8. Is 4 a factor of f?
False
Suppose 4 = -2*k + 6, 0 = -2*q - 5*k + 23. Does 3 divide q?
True
Suppose -4*u - 37 = -205. Does 6 divide u?
True
Let q(w) = -w**2 - 9*w - 5. Let l be q(-8). Suppose 5*d + 2*x - 87 = 103, -15 = -l*x. Does 14 divide d?
False
Let q be 8295/55 + (-2)/(-11). Suppose -3*j = -4*s - q, -5*j + 92 = -s - 137. Is 15 a factor of j?
True
Suppose 5*c - 13 = 2. Is 12 a factor of 1/(c/147) + -3?
False
Let x = -6 - -8. Suppose -5*a = -x*z - 270, 4*a = -0*a + 5*z + 199. Let q = a - 26. Is q a multiple of 10?
True
Let v = 51 + -34. Suppose 5*n + 2 - v = 0. Is 2 a factor of n?
False
Let f = 11 + -7. Suppose 3*p + 12 = 4*c, -p + 22 = -c + f*c. Let i = 0 + c. Is 6 a factor of i?
True
Let c(j) = 3*j**2 - 1. Let k(x) = -3*x**2 - 5*x + 0*x**2 + 1 + 3*x. Let t be k(1). Is 16 a factor of c(t)?
False
Suppose 0*u = 2*u - 4, -3*c = 3*u - 39. Is 8 a factor of 1180/44 - (-2)/c?
False
Suppose 3*y = -5*o - 103, -o = -0*o - 3*y + 35. Let f = 73 + o. Is 25 a factor of f?
True
Suppose 4*r = -r - f + 25, -10 = -2*r + 5*f. Let g = r - -23. Is g a multiple of 18?
False
Let g(y) = -y**2 - 6*y - 4. Suppose 0 = -2*t - 14 + 4. Let p be g(t). Is 2 - (0 + p) - -5 a multiple of 5?
False
Suppose 0 = -s - g - 12, 0 = 5*s + 2*g + 26 + 22. Does 21 divide 8*(-2 + (-58)/s)?
True
Let i be -99*(0 + -1) - 2. Suppose -5*v + 0*v + 2*w = i, 4*w + 16 = 0. Let k = v + 35. Is k a multiple of 7?
True
Let u(h) be the first derivative of 4*h**3/3 + 7*h**2/2 - 4*h + 3. Is 33 a factor of u(5)?
False
Let p(n) = 35*n**2 - 2*n - 1. Let z be p(-1). Suppose 5*v = v - z. Let q = v - -23. Does 7 divide q?
True
Let f(x) = -x**3 - 7*x**2 - 3*x + 19. Is 27 a factor of f(-8)?
False
Suppose -12*t + 560 = -7*t. Is 16 a factor of t?
True
Let u = 9 - 13. Let w be (51/(-2))/(3/u). Let f = w - 4. Is 11 a factor of f?
False
Let u = -9 + 9. Suppose -4*l - l + 220 = u. Does 17 divide l?
False
Suppose -2*g - 38 = -7*g + 3*o, 4 = -4*o. Let w(q) = 4*q + 0*q + q**3 - g*q**2 + q**3. Is w(4) a multiple of 16?
True
Let u be 45 - 4*(-3)/(-4). Suppose h - 2 = u. Does 14 divide h?
False
Let f = -50 - -86. Is 6 a factor of f?
True
Let y be 10/6 - (-4)/12. Suppose -4*f + 12 = 2*x - y*f, -4*x = 2*f - 16. Suppose 0 = x*i - 22 + 6. Is i a multiple of 8?
True
Let o be 4/(-6)*-18*1. Let a be 1*(-4)/6*-9. Suppose -4*b + a*b = o. Is b a multiple of 6?
True
Let b(j) = -2*j**3 - 2*j**2 + 2. Let n be b(2). Let r = n - -40. Let d = -11 + r. Does 7 divide d?
True
Suppose 2*h + 2 = -2. Let f = 6 - h. Suppose -5*g - f = -113. Does 7 divide g?
True
Suppose 0 = 5*y - 46 - 44. Is y a multiple of 7?
False
Suppose -5*g + 16 = 1, 0 = -4*p - 5*g + 183. Is p a multiple of 12?
False
Let k = 23 + -24. Is 7 a factor of 7*k/((-3)/6)?
True
Let k(o) = o**3 + 3*o**2 + 2*o + 6. Let u be k(-3). Suppose -5*g + 361 + 134 = u. Is 25 a factor of g?
False
Let a = -1 - -2. Let f = a - -2. Suppose 2*l - 11 = f*x + 28, -x - 49 = -2*l. Is l a multiple of 15?
False
Suppose -c + 220 = 3*q, 4*q + c - 291 = 2*c. Suppose -j + 52 = -q. Suppose 5*u - j = -0*u. Does 10 divide u?
False
Let w = -9 - -16. Is 2 a factor of w?
False
Suppose 0*k + 4*k = -8. Let j = k - -4. Is j even?
True
Let h(y) = -y**2 - 4*y + 3. Let b be h(-6). Let q = 24 + b. Is q a multiple of 8?
False
Let m(u) = u**2 + 5*u - 4. Let c be m(-6). Let f(d) = 9*d - 1. Is 6 a factor of f(c)?
False
Is 12 a factor of (16 + -14)*(-37)/(-2)?
False
Let o be 32/12 + (-4)/6. Suppose -o*b = 4*q - 62, -5*b = -0*q - q + 21. Is q a multiple of 7?
False
Let k(g) be the third derivative of g**6/40 + g**5/30 + g**4/24 - 2*g**3/3 + 4*g**2. Is k(2) a multiple of 10?
True
Let j be (-1 + 0)/((-4)/352). Suppose -12 = -5*k - 5*f + j, 4*f = -k + 35. Does 12 divide 10/k - 140/(-6)?
True
Let q(v) = v**2 - 10*v + 22. Let j be q(7). Does 9 divide j*(-4 + (-186)/(-3))?
False
Suppose 8*n + 3*h - 56 = 3*n, 2*n - 22 = -h. Let l = -2 + n. Suppose -l = 4*o, -3*o - 4 + 18 = 4*y. Does 2 divide y?
False
Let c(t) = 4*t**2 + t + 2. Let l(i) = -5*i**2 - i - 2. Let v(b) = -7*c(b) - 6*l(b). Is v(-4) a multiple of 14?
False
Let h(u) = 0 + 1 - 19*u + 2. Is h(-3) a multiple of 30?
True
Suppose -4*a + 153 + 215 = 0. Does 23 divide a?
True
Let g(o) = o**3 - 4*o**2 - 3*o - 7. Let l be g(5). Is l/(-6)*-22 + -3 a multiple of 8?
True
Let q be 8*1*(-9)/(-6). Let r be -34*(-3)/q*2. Suppose 0 = 5*n + r - 47. Is 3 a factor of n?
True
Let o = -2 + 1. Let l = o + 3. Does 17 divide 0 - 2 - l*-17?
False
Let n(u) = u + 22. Let k be n(0). Let o be k + 2/(2 + -1). Let f = o - 0. Is 12 a factor of f?
True
Let b(p) = 2*p**2 + 3*p + 2. Let r(w) = -w**2 - w - 1. Let v(u) = -b(u) - 5*r(u). Let m be v(6). Suppose 0 = -5*o + m - 43. Is 6 a factor of o?
False
Suppose -4*b = 10 - 46. Suppose b = 3*v - 4*n - 25, 4*v - 35 = -5*n. Suppose v + 14 = m. Is m a multiple of 12?
True
Let w(d) = -9*d**2 - 2*d + 1. Let a be w(1). Let t be (a/(-15))/((-4)/(-18)). Suppose -t*f + 32 = f. Does 8 divide f?
True
Suppose 58 + 8 = 2*f. Suppose 42 = 3*a - k, -2*a + 5*a = -2*k + f. Is 6 a factor of a?
False
Let v(k) = k**3 - 5*k**2 + 2. Let q be v(5). Suppose 0 = h - 6 + q. Is h a multiple of 4?
True
Suppose 3*d - 520 = -d - 4*o, d - 136 = 2*o. Does 14 divide d?
False
Suppose 2*h - 96 = -0. Suppose n + 20 = h. Is 14 a factor of n?
True
Suppose -4*z + 3*o - 88 = -5*z, -5*z - 4*o = -418. Is z a multiple of 41?
True
Let m be ((-1)/(-1))/(2/(-90)). Let q(i) = i**3 - 25*i**2 + 26*i + 19. Let h be q(24). Let k = h + m. Is k a multiple of 11?
True
Let h be ((-6)/4)/(6/(-8)). Suppose 0 = h*a - a - 8. Does 6 divide a?
False
Let p = 27 - 27. Suppose -k - 2*g + 17 = 0, k + 5*g - 23 = -p*k. Is k even?
False
Suppose 11 + 4 = -3*m. Let b = 26 + m. Does 21 divide b?
True
Suppose -4*w + 0*w = 0. Suppose w*k - 5*k + 60 = -3*p, -k + 2*p + 12 = 0. Suppose 56 - k = 2*x. Is x a multiple of 11?
True
Let r be -3 - -4*(-2 - -4). Suppose b + 3*z - 24 = 0, -b - 49 = -3*b - r*z. Is b a multiple of 14?
False
Suppose 3*j - 980 = -347. Is 17 a factor of j?
False
Is (-298)/(-3) + (-5)/(-45)*-3 a multiple of 21?
False
Let x(k) = -k - 340. Let u(j) = -68. Let l(n) = -11*u(n) + 2*x(n). Does 34 divide l(0)?
True
Suppose -180 = 5*s + 2*b, 2*s = -3*b - 0*b - 61. Let r = s + 59. Is r a multiple of 6?
False
Let m = -74 + 128. Is 8/(1 + 3) + m a multiple of 28?
True
Let g(x) = 13*x**2 + 4*x - 5. Let d be g(-5). Suppose 3*u + d = 7*u. Does 25 divide u?
True
Does 3 divide 0 + (-2 + 12)*1?
False
Suppose -9*j + 477 = -63. Is j a multiple of 6?
True
Suppose 0 = -k - 2*k. Suppose k = -0*d + d. Is (d - 6/(-4))*12 a multiple of 6?
True
Let a(p) = -p - 7. Let h be a(-5). Let z(o) = o**