+ 37. Let k be (-21)/15 - i/(-10). Let n(z) = -8*z**3 - 2*z**2 - 2*z - 1. Is 3 a factor of n(k)?
False
Suppose -3*g - 22 = -4*g + q, -3*g + 2*q = -66. Is 5 a factor of g?
False
Let c(w) = 3*w + w - 8 - 3*w. Let k be c(7). Is ((-52)/10)/(k/5) a multiple of 13?
True
Let k(w) = w**2 + 4*w - 6. Let b be k(-6). Let u = b + 0. Is 17 a factor of 235/u + (-2)/12?
False
Suppose 420 = 7*l - 2*l. Is 14 a factor of l?
True
Suppose -3*f + f + 10 = 0. Suppose -5*k = -4*p + p - 355, p - f*k + 115 = 0. Let t = 173 + p. Is 19 a factor of t?
False
Suppose 4*z = 3*z + 5*d + 9, 2*z + 2*d + 30 = 0. Is 1*z/2*-12 a multiple of 17?
False
Let h = 445 - 309. Is h a multiple of 8?
True
Suppose -24 = 4*m - d + 5*d, -3*d = 4*m + 20. Let c(g) = -16*g + 1. Let t be c(m). Let u = t + -16. Is 14 a factor of u?
False
Suppose 3*k - 115 + 9 = -g, 69 = 2*k + g. Is k a multiple of 15?
False
Suppose -4*u = 20, -3*u - 4 - 17 = 3*s. Is (-8 + 2)*9/s a multiple of 12?
False
Suppose -4*n + 3*h = -254, -4*n + 364 = 2*h + 100. Let c = -21 + n. Suppose 4*r = 2*r + c. Does 11 divide r?
True
Suppose 0 = -9*a - 38 + 146. Does 2 divide a?
True
Suppose -5*x + 147 = 4*w, -7*w = -3*w + 8. Does 17 divide x?
False
Let m(y) be the first derivative of -5*y**2/2 - 10*y - 6. Does 17 divide m(-7)?
False
Suppose -2*i = 2*g + 3*g + 51, 0 = -i + 5*g + 12. Let a = i - -19. Is 8 a factor of 32/3 + (-4)/a?
False
Let u = -7 - -9. Suppose 19 = a + t - u, 3*a - 81 = 3*t. Does 24 divide a?
True
Let z(r) = -r**3 + r**2 + r + 22. Let c = 2 + 1. Suppose -4*i = 4, c*a + i = -a - 1. Is z(a) a multiple of 8?
False
Suppose 0 = 2*y - 6 - 0. Let h(g) = g + 3. Is 2 a factor of h(y)?
True
Let l = 13 - 1. Let o = l - 5. Does 7 divide o?
True
Let d(j) = 30*j**2 + 5*j - 6. Does 31 divide d(2)?
True
Let s = -2 - 5. Let y be (-2)/4 - s/2. Suppose y*l = l + 24. Is 6 a factor of l?
True
Suppose 0 = c - 0*c + 81. Let d = c - -148. Is d a multiple of 17?
False
Let j = -350 - -514. Is 21 a factor of j?
False
Suppose 0 = 3*v + 1 - 4. Let c = v - -8. Does 3 divide c?
True
Let b = 12 + -11. Does 29 divide b/(3 + -1)*58?
True
Suppose 2*u - 2*o - 68 = 174, -1 = o. Suppose u = f + 3*f. Let a = f - 20. Is a a multiple of 5?
True
Suppose -3*r - 2*i = -172, 5*r + 4*i + i - 285 = 0. Does 16 divide r?
False
Suppose -3*w = -4*w. Suppose 5*m - 4*m - 26 = w. Does 13 divide m?
True
Let b(a) = 13*a - 7. Is 5 a factor of b(3)?
False
Let o(l) = -l - 3. Let u be o(-3). Suppose 5*a - 15 = -0*a, 3*w - 2*a - 129 = u. Suppose -2*r - g + w = -0*g, -5*r - 2*g + 114 = 0. Is r a multiple of 12?
True
Let y(j) = 62*j**2 + 1. Let f be y(1). Suppose -f = -2*g + 5*z, g + 4*g = -3*z + 80. Is 9 a factor of g?
False
Suppose 2*d + d = -3*t + 84, -5*t + 5*d + 110 = 0. Does 25 divide ((-580)/t)/(2/(-5))?
False
Suppose 5*b + 4*j - 180 = 0, -3*b + 108 = 5*j - 0*j. Does 6 divide b?
True
Suppose 5352 = 7*h + 5*h. Does 18 divide h?
False
Let t(o) = 2*o**2 - 4*o + 2. Let x be t(2). Suppose 0 = -3*y - x*y + 110. Is y a multiple of 22?
True
Let u = 2 - -2. Suppose 5*s - 2*s = -4*a + 6, u*a + 4 = 2*s. Is 12 a factor of 32/s - (-3)/3?
False
Let r(c) = c + 4. Let x be r(-4). Suppose 2*d - 101 = -t, -d - 5*t = -x*d - 37. Does 18 divide d?
False
Suppose -358 = -3*r - 2*x, r = 5*r + 5*x - 489. Suppose -3*b + 7*b = -4*c + r, -133 = -5*c - 2*b. Does 9 divide c?
False
Is (-6)/(-45)*3 + 578/5 a multiple of 14?
False
Suppose 3*k = 3*z + 3 - 9, 4*z = -k - 22. Let s(g) = g**3 + 11*g**2 + 6*g - 4. Let u be s(k). Suppose -2*a = -4*p - 0*p - 32, 5*a - u = -5*p. Does 12 divide a?
True
Let h be (-2 + 0)/(4/74*-1). Suppose 5*n + 35 = 4*p, 0*p - 5*p = 0. Let t = n + h. Is 9 a factor of t?
False
Let s(c) = 6*c**2. Let q be s(2). Suppose -q + 123 = 3*g. Is 9 a factor of g?
False
Suppose -2*w + u = -4*w + 58, -w - u = -29. Does 3 divide w?
False
Let x(h) = 47*h - 6. Let n be x(2). Suppose 0 = -4*c + 16, -4*d = 5*c - n. Does 11 divide d?
False
Suppose -5*j = -0 + 5. Let r = -3 - j. Does 18 divide r/4*-4*14?
False
Suppose 0*d + d + 693 = 0. Let b be 2/10 - d/(-15). Is (-5 + 3)/(4/b) a multiple of 9?
False
Let u(q) = -73*q + 4. Let z be u(-3). Let c = z + 33. Does 13 divide c/10 - 8/(-20)?
True
Let a be (-31)/(-8) - 2/(-16). Let f be 3/(2/((-2)/(-1))). Suppose -f*u + 8*u = -y - 1, a*u = -12. Is 4 a factor of y?
False
Let c(o) = 2*o**3 + o**2 - o. Suppose 5*n = 7*n - 6. Is 10 a factor of c(n)?
True
Let p be (-12)/(-3)*-1 - 2. Let f = p + 27. Does 21 divide f?
True
Let n(k) = -k**3 - 14*k**2 + 14*k - 11. Let v be n(-15). Suppose 3*j - 123 = -3*x, -v*j - 2*x = j - 208. Is j a multiple of 21?
True
Let d be 52/20 + 2/5. Suppose d = 3*x - 6, -174 = -4*k + 2*x. Is 13 a factor of k?
False
Let r(f) = f**3 + 5*f**2 + 3*f + 4. Let i be r(-6). Let j = 92 + i. Is 12 a factor of j?
False
Suppose 0 = 4*k + 3*x - 87, -4*k - k - 2*x = -107. Is k a multiple of 7?
True
Does 3 divide ((-160)/15)/(((-6)/9)/1)?
False
Suppose -2*n + 94 = 34. Let r be n/(-9)*3/(-2). Suppose -7 = -x + r. Does 4 divide x?
True
Suppose 2*h = -h + 18. Let i be 28/h - (-2)/6. Suppose -i*o + 39 = -1. Does 8 divide o?
True
Let q = -920 - -196. Is q/(-18) + (-6)/27 a multiple of 11?
False
Let o(r) = -2*r**2 - 6*r + 2. Let j be o(-5). Let u = j + 44. Does 13 divide u?
True
Suppose -3*v + 10 = 2*v. Let y = 4 - v. Suppose 0 = 2*u + y*p + 2*p - 32, -u + 2*p = -12. Is u a multiple of 7?
True
Let u = -7 - -4. Let t(i) = i**3 + 4*i**2 + i - 3. Is 2 a factor of t(u)?
False
Is 3 a factor of 6*(-2)/15*-15?
True
Let y = -9 + 27. Let b be (5/15)/(2/y). Does 3 divide 3*(0 - (1 - b))?
True
Let m = 24 + 3. Suppose 4*u = d - m, -2*d - 5*u = -0*d + 11. Is 2 a factor of d?
False
Suppose 0 = -f - 3*f - 28. Let u be (12/(-14))/(1/f). Is 4 a factor of -4*u/(3*-1)?
True
Suppose -2*o + 233 - 803 = -4*b, -o + 144 = b. Is b a multiple of 13?
True
Suppose 10*i = -53 + 283. Does 23 divide i?
True
Let f be -2 + -4*1/(-2). Suppose 2*h = -h + 12. Suppose -21 = -2*x - 5*d + 11, f = 3*x + h*d - 41. Is 6 a factor of x?
False
Suppose 3*a + 2*f - 43 = 12, 5*a - 4*f = 55. Suppose 2*n - 4*n = -3*c - 4, -3*n + a = 0. Suppose -c*g + 26 = -g. Is 13 a factor of g?
True
Let f = 0 - -3. Let g be ((-6)/(-5))/(f/(-10)). Does 2 divide 1/g + (-13)/(-4)?
False
Let i = 75 + -37. Is i a multiple of 8?
False
Let m be ((-12)/(-10))/((-10)/(-50)). Let v(p) = p. Is v(m) a multiple of 6?
True
Let g(t) = 14*t - 31. Is g(14) a multiple of 11?
True
Is 10 a factor of (-2)/7 + (-704)/(-14)?
True
Suppose -66 = n + n. Let b = 36 - n. Is b a multiple of 19?
False
Let q = -50 - -150. Does 17 divide q?
False
Suppose -3*t - 3 = 3. Let u be -32 + t + -4 + 2. Is 6 a factor of (-356)/(-18) - 8/u?
False
Let o be ((-4)/3)/(4/(-12)). Suppose 0*k - 3 = k - 5*l, o*l - 15 = 5*k. Is 3 a factor of ((-4)/(-10))/(k/(-60))?
False
Let p(v) = -v**2 + v**2 - 3 + v - v**3 - 1 - v**2. Is p(-4) a multiple of 20?
True
Let w(x) = -2*x - 5. Is 12 a factor of w(-10)?
False
Let q(l) be the third derivative of -l**5/120 + 7*l**4/12 - l**3/3 + l**2. Let g(o) be the first derivative of q(o). Is g(0) a multiple of 7?
True
Let s(j) = j**3 - 6*j**2 + j + 3. Is 18 a factor of s(7)?
False
Let x(m) = -9*m**2 + 2*m + 12. Let q be x(-8). Is 29 a factor of q/(-8)*6/5?
True
Suppose -4*d = -5*b - 56, -4*d + 3*b - 4*b = -56. Is 14 a factor of d?
True
Is (-21)/7*(-26)/6 a multiple of 11?
False
Suppose -z = -3*z - 6. Let i be (-49)/(-3) - (-1)/z. Let k = i + -9. Does 7 divide k?
True
Suppose -3*a + 17 = -214. Is a a multiple of 13?
False
Let u = -13 - -42. Let i = u - 21. Is i a multiple of 8?
True
Let x = -15 + 16. Let l(o) = 8*o - 1. Let i be l(-3). Is 9 a factor of 2/(-1 - x)*i?
False
Suppose -2*t = -o + 2*t + 62, 5*o - 3*t - 242 = 0. Let n be 16/6*(-1 - 11). Let f = n + o. Does 7 divide f?
True
Let b(o) = o**3 - 15*o**2 + 5*o - 21. Does 27 divide b(15)?
True
Is 24 a factor of 10/(-25) - 517/(-5)?
False
Let j(t) = 2*t**2 + t. Let q be j(1). Suppose -8 = -q*h + 4. Does 2 divide h?
True
Let o be -1 + (5 - 6/(-3)). Suppose -o*h + 2*h = -16. Is 4 a factor of h?
True
Is (-3 - -2)/(((-4)/(-36))/(-1)) a multiple of 9?
True
Let i(f) = f**3 + 8*f**2 - f - 5. Is i(-8) a multiple of 2?
False
Let r(h) = -2*h**2 + h + 1. Let w(v) = -v - 4. Let u be w(-7). Let p be r(u). Is 11 a factor of (-150)/(-14) + (-4)/p?
True
Suppose 6*w + 193 = -3*b + w, b + 65 = -2*w. Sup