 d be (6/(-9))/(4/(-198)). Let k = d - 5. Is 11 a factor of k?
False
Let d(u) = 2*u**3 - 5*u**2 + u + 9. Is 19 a factor of d(5)?
False
Suppose -3*h = -0*h - 2*j - 14, 5*h = 4*j + 22. Let p be (-11 + 2)*h/9. Let r(x) = -x**2 - 8*x + 3. Does 15 divide r(p)?
True
Let m be (-2)/(-4)*1*0. Suppose 0 = 4*t + 5*q - 36, -3*t = 2*t - 5*q. Let b = t - m. Does 4 divide b?
True
Let u be (9/(-6))/((-6)/32). Let b = 0 + 0. Suppose -2*s = -b*s - u. Does 3 divide s?
False
Suppose -3*f = -f - 62. Suppose 9 = 2*h - f. Is h a multiple of 4?
True
Let i(t) = 40*t**2 - t - 1. Suppose u + 6 = 3*j, -2*j + 0*u = -3*u - 4. Suppose j*f + 12 = -w - 3*w, -11 = -w + 3*f. Does 12 divide i(w)?
False
Suppose -252 = -24*p + 22*p. Does 21 divide p?
True
Let k(y) = y**3 + 6*y**2 - 7*y - 3. Let w be k(-7). Let q be (-6)/2 - (-5 + w). Suppose -q*l - 7 = -82. Does 9 divide l?
False
Let r(g) = -2*g. Let n be r(2). Let p = 358 + -50. Is 13 a factor of (-2)/n + p/8?
True
Let z be ((-44)/(-6))/((-2)/(-18)). Suppose z = 4*f + 2*n, -n = -f + 4*n. Is f a multiple of 5?
True
Let x = 60 - 36. Is x a multiple of 8?
True
Let g be 0/1 - (7 - 10). Suppose 2*h - b - 133 = -g*h, 4*b + 19 = h. Is 15 a factor of h?
False
Let q(l) = -l - 5. Let m be q(-10). Let o be 1 + 0 + 1 + 14. Suppose -o = -3*h + m. Is 3 a factor of h?
False
Let b(y) be the second derivative of -y**5/20 + 5*y**4/6 - y**3 - 6*y**2 - 2*y. Does 6 divide b(9)?
False
Let y = -94 - -165. Is y a multiple of 13?
False
Let n = -28 - -44. Does 16 divide n?
True
Let c be (-2)/(3 + 112/(-36)). Does 13 divide 6/c + (-47)/(-3)?
False
Let f = -7 - -7. Let h(k) = -3*k + 27. Does 9 divide h(f)?
True
Suppose 0 = -10*t + 5*t - 20. Let y be 2 + (-2)/4*t. Suppose 3*q + 108 = 3*l, 2*l + y*q + 43 = 145. Does 15 divide l?
False
Let i = 8 + -9. Is 23 a factor of i/(-4) - 273/(-12)?
True
Let h(v) = -8*v**3 + v + 1. Is 2 a factor of h(-1)?
True
Let s(c) = 8*c - 2. Is s(2) a multiple of 5?
False
Let i be (-270)/20*(-4)/(-2). Let p = 50 + i. Is 22 a factor of p?
False
Let t = -16 + 29. Suppose -t = -3*w + 20. Suppose -w = 3*g + 5*f, 5*f = 2*g - 0*f - 26. Is 2 a factor of g?
False
Let a(f) be the third derivative of -f**6/120 - f**5/6 + 3*f**4/8 + 7*f**3/6 + 3*f**2. Let g be a(-11). Is 10 a factor of (2/(-1) - -3) + g?
True
Suppose 5*c = -1 + 31. Suppose -2*k = -c, k - 38 = -5*n - 10. Suppose -14 = -3*t + d - n*d, -3*t = d - 26. Is t a multiple of 5?
True
Suppose 9*n + 200 = 4*n. Let o be 66/(-8) + 2/8. Let h = o - n. Does 16 divide h?
True
Let d(z) = z**3 - 16*z**2 + 10*z. Is 32 a factor of d(16)?
True
Let n(i) = 24*i + 1. Let x be n(1). Suppose -50 = -2*m + 5*h, -x + 95 = 3*m - 5*h. Suppose c - m = -c. Does 4 divide c?
False
Let k be -3 + 5 + 7/(-1). Let t(b) = 2*b**2 + 6*b - 1. Is t(k) a multiple of 9?
False
Let i(l) = l**2 + 7*l + 4. Let d be i(-7). Is d/(-6) - 85/(-15) a multiple of 5?
True
Let u(x) = -x**3 - 2*x**2 + 6*x + 9. Let l(m) = 2*m**3 + 4*m**2 - 11*m - 17. Let b(c) = -3*l(c) - 5*u(c). Is b(-4) a multiple of 9?
False
Let m be -3*(-5)/6*2. Suppose 0 = -m*o + 120 + 10. Is o a multiple of 23?
False
Let h be 6/45 - (-1796)/30. Suppose -6*y - h = -9*y. Does 11 divide y?
False
Let v(b) be the first derivative of -3 + 1/3*b**3 + b**2 + 0*b. Is 5 a factor of v(-5)?
True
Let n(c) = -c**2 + 8*c - 3. Let m be n(7). Suppose m*b - 131 = b - 5*y, 5*y + 233 = 4*b. Is 21 a factor of b?
False
Let l(g) be the third derivative of -g**5/60 + g**4/6 + 2*g**3/3 - 4*g**2. Is 3 a factor of l(4)?
False
Suppose -r + 126 = -m, 0*r + m = 5*r - 646. Suppose t - 6*t = -r. Is t a multiple of 26?
True
Suppose -4*k = -27 - 21. Let c = k + -7. Suppose -4*n + 42 = 2*y, c*y - 7*n = -2*n + 45. Does 8 divide y?
False
Suppose -3*g = -2*q - 298, 468 = 4*g + 3*q + 99. Is 12 a factor of g?
True
Is 15 a factor of (-66)/(-110) + (-1387)/(-5)?
False
Let x(u) = -2*u**2 - 3*u + 11. Let b be x(5). Let w = -19 - b. Is w a multiple of 8?
False
Suppose 108 = 3*g + w - 77, 3*g + 4*w - 182 = 0. Does 8 divide g?
False
Let y = -302 - -442. Does 35 divide y?
True
Let c be (45/12)/(-5)*1376. Is 12 a factor of (-3)/2 + c/(-16)?
False
Let i = -27 + 101. Is i a multiple of 5?
False
Let b be -2*(1 - (-1 + 1)). Let j(q) = q**3 - 3*q**3 - q**2 - q + 1 + 0. Is 10 a factor of j(b)?
False
Let m(v) = 5*v - 2. Let q(z) = -z - 1. Let n(l) = -m(l) - 4*q(l). Let y be n(0). Let c(i) = -i**2 + 7*i - 2. Is c(y) a multiple of 3?
False
Let i(f) = -f**2 - 18*f + 5. Is 16 a factor of i(-15)?
False
Let v be (-3)/2*2/(-3). Let f be 1*(v - 24)*-1. Let i = f + -14. Is i a multiple of 5?
False
Let f(q) = q**3 - 6*q**2 + 12*q - 9. Is 26 a factor of f(6)?
False
Let p = 205 + -141. Is 4 a factor of p?
True
Suppose 0 = -w + 3*w - 2. Let z = 4 + w. Suppose z*t = -4*o + 2*o + 5, 3*t - 31 = -4*o. Does 10 divide o?
True
Let g = -18 - 3. Let t = 36 + g. Is 15 a factor of t?
True
Suppose 39*x + 1326 = 45*x. Does 13 divide x?
True
Is 5 a factor of ((-4)/(-3))/(2 - -2)*69?
False
Let d = -7 - -25. Does 6 divide d?
True
Does 6 divide (21 - (-16)/4) + 1?
False
Suppose 0 = -2*j - 0*j + 68. Suppose -t - 3*t - 2*l = -j, 5*l = 2*t - 11. Suppose -4*c = -4*d - 8, 2*c = d - 0*d + t. Is 5 a factor of c?
False
Suppose 2*y + 4*s - 66 = 0, -48 = -y - 3*s - 2*s. Is y a multiple of 23?
True
Suppose 0 = 4*t - 1518 - 402. Does 11 divide (-2)/(-11) + t/22?
True
Let r(q) = q + 24. Is r(0) a multiple of 11?
False
Let l be (8/12)/((-2)/3). Let p(y) = -7*y + 1. Let z be p(l). Suppose 4*a - z = 8. Does 2 divide a?
True
Let q be (-1 + 2)/((-2)/(-32)). Suppose -2*g - 5*f - 2 = 0, g + 5*f - 4 = -10. Let d = q + g. Does 10 divide d?
True
Let f(o) = -o + 4. Let n be f(-11). Let d be 6/27 + 79/9. Let k = n + d. Is k a multiple of 14?
False
Suppose k + k + 60 = -4*v, 5*v - 5*k = -60. Let b = v - -32. Does 3 divide (b/(-12))/((-2)/8)?
True
Suppose 3*f - 70 - 4 = 5*u, -3*f - 2*u + 46 = 0. Suppose 0 = v + v - f. Is 9 a factor of v?
True
Let z = 38 - 4. Is z a multiple of 17?
True
Let b(q) = 2*q**2 + 10*q - 7. Is b(6) a multiple of 31?
False
Suppose 2*n - 6*w + w - 143 = 0, -4*n + 2*w = -262. Suppose -4*q - 16 + n = 0. Is 7 a factor of q?
False
Let v(l) = l**3 + l**2 - 4. Let n be v(3). Let q = 49 - n. Suppose 4*c = 7*c + 4*f - q, 0 = 5*f + 5. Is 7 a factor of c?
True
Let q(s) = s**2 + 2*s + 1. Let l be q(-3). Suppose -3*h + l = -2. Is 2 a factor of h?
True
Suppose -q - 17 = -116. Is 8 a factor of q?
False
Let k = -20 - -22. Suppose -27 = -3*i + k*i. Is 9 a factor of i?
True
Is 51*1 + 2 + -4 a multiple of 13?
False
Let k = -64 - -30. Is k*1/(-4)*2 a multiple of 17?
True
Let i = 47 + -81. Let w = 2 - i. Is w a multiple of 12?
True
Let o = -23 + 40. Let a be (3/2)/(-1)*-2. Let l = o - a. Is l a multiple of 14?
True
Suppose 0 = -2*o + 3*z + 47, 29 = -o + 3*o + 3*z. Let v(c) = 0*c**2 - c**3 + 0*c**2 + o + 0. Does 19 divide v(0)?
True
Suppose 5*x - 4*k - 295 = -51, -5*x + 280 = 5*k. Is 13 a factor of x?
True
Suppose z - 4*z + 21 = 0. Does 7 divide z?
True
Suppose 4*j = 4*n + 196, 3*j - 53 = 2*j - 3*n. Does 10 divide j?
True
Let v(m) = m**2 + 7*m + 10. Is v(-7) a multiple of 5?
True
Let m(x) = 2*x - 9. Let v(b) = 3*b - 10. Let l(n) = -4*m(n) + 3*v(n). Let c be l(-6). Is 1 + c + -1 + 11 a multiple of 8?
False
Let q be (-1)/(3/(-18)) + -2. Let f(s) be the third derivative of s**6/120 - s**5/20 + s**4/6 - s**3 - s**2. Is f(q) a multiple of 9?
False
Let q = 33 - -6. Suppose 0*l + 3*l - 3*i - q = 0, 0 = 2*l - 3*i - 30. Does 4 divide l?
False
Let n(f) = 3*f. Let s be n(1). Suppose 3*j + 2 = -5*h, 4*h + 34 = s*j - 0*h. Suppose -18 = -2*x - 5*a, 0 + j = 3*a. Is x a multiple of 3?
False
Let r be ((-1)/(-2) - 1)*-36. Suppose -d - 5*o = -4*o - r, 4*d + 5*o = 71. Let v = d - -1. Is 10 a factor of v?
True
Let a be 5*(2 - 72/20). Let k(c) be the second derivative of c**5/20 + 7*c**4/12 - 2*c**3 - 3*c**2/2 - c. Does 19 divide k(a)?
False
Let b(l) = l - 4. Let n be b(7). Suppose 3*z - 93 = -n*w, z + 5*w + 34 = 3*z. Does 17 divide z?
False
Let x = -12 + 7. Let p = -7 - x. Is 2 a factor of 0/2 - (p + -1)?
False
Suppose -r + 0*r + 67 = 0. Suppose g - r = -3*a, -5*a + 5*g + 53 + 92 = 0. Is a a multiple of 7?
False
Suppose 0*l = 2*l - r + 30, -52 = 4*l + 2*r. Let m = -7 - l. Does 7 divide m?
True
Let l(g) = -5*g - 4. Let q be (-12)/10*(-30)/(-9). Is l(q) a multiple of 8?
True
Let s = 260 + -16