i?
True
Let n = -10 - 87. Let y = 149 + n. Does 21 divide y?
False
Let y(x) = 2*x**3 - 9*x**2. Suppose -c + 6*c - 30 = 0. Is y(c) a multiple of 27?
True
Let b(n) = -57*n - 1. Let d(y) = -57*y - 1. Let q(h) = -3*b(h) + 2*d(h). Let m be q(1). Let j = m - 28. Is 15 a factor of j?
True
Is 1/7 + ((-7612)/(-28) - -1) a multiple of 13?
True
Let v(o) = 26*o - 46. Let b(t) = -5*t + 9. Let m(r) = -11*b(r) - 2*v(r). Let p(l) = -3*l - 3. Let z be p(-3). Is m(z) a multiple of 11?
True
Suppose 3*s - 6*s - 22 = -5*k, -2*s - k + 7 = 0. Suppose m - 43 = -5*l, -2*l + 3 = -s. Let x = m + -13. Is 10 a factor of x?
True
Let m = 69 - 22. Let c = m + -92. Is (c/12)/((-1)/4) a multiple of 5?
True
Suppose -3*r = -4*r + 28. Is 17 a factor of r?
False
Let i = 5 - 2. Suppose 0 = i*b - 2*h - 78, 2*b - 52 = h + h. Is b a multiple of 13?
True
Suppose 3*b = -2*b - u + 92, 4*b + 2*u - 70 = 0. Let q = 11 + b. Does 13 divide q?
False
Let w be (-10)/(-1) - (2 + -2). Suppose b + 4*b = -w. Is -2 + 1 - 78/b a multiple of 15?
False
Let v(d) be the first derivative of d**2/2 - 3*d - 3. Let z be v(4). Is z/((-8)/9 - -1) a multiple of 9?
True
Let k(y) = -11*y - 1. Let h be k(-1). Let n(j) = -11*j**2 - 2 + 6*j + h*j**2 + 5. Does 8 divide n(5)?
True
Let r = 44 - 5. Does 11 divide r?
False
Is (-12)/(-60) - (-674)/5 - -1 a multiple of 17?
True
Is 1/3 + (-617)/(-3) a multiple of 25?
False
Suppose -i + 3 = 0, -2*i + 0*i = -3*q + 90. Is 7 a factor of q?
False
Let r = 9 - 5. Suppose 0 = c - 42 - 39. Suppose c = -r*l + 229. Does 11 divide l?
False
Suppose 3*a = -0*a - 3. Let u = 1 + a. Suppose u = 3*y + 15, 2*g = -4*y - 10 + 4. Is 4 a factor of g?
False
Let x(t) be the third derivative of -19*t**4/24 - t**3/3 + 3*t**2. Is x(-6) a multiple of 30?
False
Suppose 0*j + 2*j = 72. Does 9 divide j?
True
Let d = 7 + 22. Suppose -2*b = 2*j - 21 - d, -3*j + 40 = -4*b. Is (-102)/(-5) + (-8)/j a multiple of 14?
False
Let i be 8/3*9/6. Suppose 0 = -i*w - 4*o, 1 = -2*o + 3. Let v = 15 + w. Is v a multiple of 14?
True
Let w(j) = 2 + 11*j - 30*j - 1 + 1. Is w(-4) a multiple of 25?
False
Suppose -6*o + 4*o - 17 = 5*c, -c = 2*o + 5. Let a be o + 2 + 1 - -20. Let n = a + -13. Is 9 a factor of n?
True
Suppose 0 = -5*r + r + 308. Does 18 divide r?
False
Let c(r) = 48*r + 2. Let o be c(2). Suppose 5*b + 2*f + 197 = 2*b, 4*b + 272 = -5*f. Let n = o + b. Is 13 a factor of n?
False
Let y(u) = u**2 + u. Let b(z) = -z**2 - 13*z. Let g(h) = -b(h) - 2*y(h). Does 15 divide g(5)?
True
Suppose -2*l = 3*k - 6*l - 31, -3*l = -3*k + 27. Does 3 divide k?
False
Suppose -143 = 5*n + 212. Let d = -42 - n. Is d a multiple of 22?
False
Suppose 5 = i, 4*d - 104 = -i - 11. Is d a multiple of 11?
True
Suppose 513 = 5*j + 3*b, b = 4*j - 2*j - 214. Is 35 a factor of j?
True
Let w(s) = 3*s + 15. Let o(x) = -16*x - 74. Let k(p) = -3*o(p) - 14*w(p). Is 21 a factor of k(5)?
True
Suppose -15 = -3*u, -2*t = -0*t + 2*u - 12. Does 14 divide (0 - t)*(-39 - 2)?
False
Suppose -25 = 5*z - 2*o, 3*o + 39 = -2*z - 2*o. Let c(r) = -r**3 - 6*r**2 + 7*r + 5. Let n be c(z). Let m(x) = x**3 - 5*x**2 + x + 7. Does 7 divide m(n)?
False
Suppose 498 = 3*p - k, -7 = 3*k + 2. Is 34 a factor of p?
False
Let o(j) = -j + 22. Does 8 divide o(-7)?
False
Let y = -21 - -27. Does 10 divide y + -3 - (-40 + -1)?
False
Suppose 5*l - 25 = 0, 5*v + 5*l = 4*l - 130. Let s = v + 45. Is s a multiple of 18?
True
Suppose a + 12 = 4*a. Suppose -3*i + a*t + 48 = 0, -t + 128 - 25 = 5*i. Does 11 divide i?
False
Let f(v) = 7*v - 25. Is f(10) a multiple of 15?
True
Let f be (-12)/6 - 6/(-2). Suppose -l + 2 + f = 0. Is l a multiple of 2?
False
Suppose 5*i + 229 = 3*g, -g + 2*g = i + 77. Let b = g - -26. Suppose -68 = -4*d - 4*z, z = -4*d + b - 24. Is d a multiple of 7?
True
Let z = -7 - -10. Does 7 divide (z + 2)*(-2 - -9)?
True
Let z = -11 + 13. Suppose z*v - 9 = v. Is 3 a factor of v?
True
Let p(c) = c**2 + 5*c - 3. Let k be p(-8). Let t = k + 0. Is t a multiple of 21?
True
Let l = -46 + -4. Let h = -26 - l. Let x = h - 8. Is x a multiple of 8?
True
Let r be ((-1)/2)/((-2)/(-28)). Let m = 0 - r. Is m a multiple of 7?
True
Let v = 6 - -9. Let i be 2661/15 - 6/v. Suppose 5*m - i = 93. Is m a multiple of 21?
False
Suppose t - 7 + 3 = 0. Suppose 4*g - 5 = -d + 7, t*g + 3*d = 12. Is g a multiple of 2?
False
Suppose 4*b - 4*c + 68 = 0, -3*c - 93 = 5*b - 4*c. Let m = -3 - b. Is m a multiple of 14?
False
Let q(o) = -12*o - 8. Does 8 divide q(-2)?
True
Suppose 6 - 102 = -6*r. Does 16 divide r?
True
Let c be (0 + 12)*(-14)/3. Let y be -1 - (0 - 84) - 2. Let o = c + y. Is 11 a factor of o?
False
Does 4 divide (15/20)/3 - (-284)/16?
False
Let w = 326 - 156. Suppose 0*o - 5*o = -w. Does 24 divide o?
False
Suppose i - 1 - 1 = -3*r, r + 3*i = -10. Suppose 26 = 2*w - r*a, 2*a = 6*a + 12. Is w a multiple of 5?
True
Let o = 6 - 4. Let i = 1 - o. Is i/2*(-18)/1 a multiple of 9?
True
Suppose -4*z = -2*s + 116, 0 = 3*s + s - 5*z - 229. Is 4 a factor of s?
True
Let y = 23 - 8. Does 5 divide y?
True
Let f(n) = -9*n + 5. Let o be f(5). Let m be o/(-2)*(-16)/(-20). Suppose 4*u - 164 = m. Is 13 a factor of u?
False
Let v(f) = f. Let z be v(-6). Does 30 divide ((-92)/z)/(8/36)?
False
Let n be 1/(-4) + (-34)/(-8). Suppose n*p = -p - 4*o - 231, 4*o + 102 = -2*p. Let j = -19 - p. Is 12 a factor of j?
True
Suppose -4*o = -9*o - 660. Is (-1)/(o/(-68) - 2) a multiple of 17?
True
Suppose 6*a = 5*a - b - 8, -14 = 3*a + b. Let f = a - -12. Is 9 a factor of f?
True
Suppose -10 = -5*i - 5. Is 3 a factor of -1*i/1 - -10?
True
Let z = 32 - 53. Suppose -a + 2 + 29 = 0. Let b = z + a. Is 5 a factor of b?
True
Let x(f) be the second derivative of f**5/20 - 2*f**4/3 + 4*f**3/3 + 3*f**2 + 2*f. Is 4 a factor of x(7)?
False
Suppose -5*l + 18 = 43. Let i be (-2)/l - 90/(-25). Suppose 2 = -3*f + i*f. Does 2 divide f?
True
Let c be (3 - (2 - 3)) + -2. Suppose 4 = 4*g, 0 = 5*u - g - c*g - 27. Suppose -3*j + u*j - 66 = 0. Does 10 divide j?
False
Let j(g) = -2*g - 8. Let n be j(8). Let m = -12 - n. Is 7 a factor of m?
False
Suppose -65 = 5*g - 170. Is 9 a factor of g?
False
Let w(g) = -g + 6. Let z be w(4). Suppose -5*s - 138 = z*l + l, s + 22 = -2*l. Is 10 a factor of ((-2)/(-1))/((-4)/s)?
False
Suppose 3*p = -2*p + 5. Is 11 a factor of 11 + 0*(0 + p)?
True
Suppose -4*m - 2*s = 34, -5*m - 4*s - 31 - 19 = 0. Does 13 divide (3/(-2))/(m/184)?
False
Suppose 17*u - 3847 + 1399 = 0. Does 12 divide u?
True
Is 10 a factor of 0 - -2 - (-190)/5?
True
Let a(j) = j**3 - 3 + 0 + 0 - 2*j**3 + 4*j**2. Let l be a(4). Does 11 divide (-39)/9*l + -2?
True
Let s(z) = z**2 + 4*z - 2. Let j(v) = -v**2 - 5*v. Let y be j(-6). Does 6 divide s(y)?
False
Is 13 a factor of -1*52/16*-16?
True
Let j be (2/2 - 2) + -16. Let r = j + 36. Is 16 a factor of r?
False
Let a = -34 + 16. Let v = -13 - a. Suppose 0*t - v*t = -35. Is t a multiple of 5?
False
Let k = 385 - 167. Let r = k + -104. Suppose -a + 5*a - r = i, -2 = -i. Is a a multiple of 12?
False
Suppose 5*k + o - 11 = 15, -k + o = -4. Let i(p) = 4*p**2 - 3 - 3 - 1 - 8*p**2 + 4*p + p**3. Does 14 divide i(k)?
False
Is (32 - 0)*-4*9/(-12) a multiple of 9?
False
Suppose 0 = 6*c - 2*c - 16. Suppose g + c*g - 10 = 0. Suppose 12 = -3*x, -g*x - 4 = -h + 18. Is 5 a factor of h?
False
Let u = 51 + 69. Suppose 0 = -4*w + 5*h + 232, 0 = 2*w + 5*h - u + 4. Suppose 5*d - w + 3 = 0. Is d a multiple of 8?
False
Does 17 divide ((-34)/6)/(6/(-36))?
True
Let g(k) = 3*k**3 + 11*k**2 - 7*k + 1. Let p(l) = -5*l**3 - 21*l**2 + 14*l - 2. Let t(u) = 7*g(u) + 4*p(u). Is t(6) a multiple of 5?
True
Suppose 4 = -2*o + 2*y, o + 5*y = -3*o + 37. Let t = 0 + o. Suppose q - 18 = -u + t*u, -4*q + 63 = u. Is 8 a factor of q?
True
Let d = 3 + -13. Let w(x) = -x - 1 + 0 - 2. Is w(d) a multiple of 3?
False
Let s be (6/2 - 2) + -41. Let i be (s/50)/((-2)/5). Does 4 divide ((-48)/(-28))/(i/7)?
False
Let j be 147/5 - (-6)/(-15). Let n = 18 - j. Is 7 a factor of (-3 - 0 - n) + -1?
True
Let b(r) = 15*r - 3. Let m be b(2). Let l be (-220)/(-30) + 1/(-3). Is 9 a factor of m/(-2 + l/2)?
True
Let g(a) be the second derivative of -5*a**4/12 + 2*a**3/3 - a**2 + 3*a. Let u(z) = 14*z**2 - 12*z + 6. Let k(n) = 8*g(n) + 3*u(n). Is 9 a factor of k(4)?
True
Is 8 a factor of 2/4*(-3 - -39)?
False
Let t be 4/22 + (-422)/22. Let n = 0 - t. Is n a multiple of 16?
False
