?
True
Suppose -3*a = -x - 1, -x = -3*a + 2*x + 3. Suppose -4*v + 90 = -f + 2*f, -v + f + 20 = a. Suppose -v = -h - 3*p, -h - 2*h + 5*p = -10. Is 5 a factor of h?
True
Let q be (-2)/((-51)/15 + 3). Suppose -28 = -2*h - 3*y, q*h + 5*y = 3*h + 32. Does 10 divide h?
False
Let b(t) = 19*t + 3. Let a be b(-3). Let u = -15 - a. Let i = 67 - u. Does 10 divide i?
False
Let t(s) be the first derivative of -3*s**2/2 - 4*s + 2. Let y be t(6). Let f = -12 - y. Is 5 a factor of f?
True
Suppose -2*q = -0*q - 94. Suppose 5*p - 2*p - 41 = -4*s, -3*s + q = -p. Is 7 a factor of s?
True
Let i(x) = -x**2 - 7*x + 8. Let j be (-7)/(-1)*(-3)/3. Does 4 divide i(j)?
True
Let x be 1 + 2 + -10 - -3. Let q(o) = -o**2 - 7*o - 6. Is q(x) a multiple of 5?
False
Suppose 9*l = -4*l + 2730. Is l a multiple of 38?
False
Let q(n) = 6*n**3 + 2*n**2 - 1. Let l be q(-1). Is (58/8)/(l/(-20)) a multiple of 29?
True
Let w = 174 + -49. Is 10 a factor of w?
False
Suppose -4*s - z = 2*z - 35, s = z. Let i be 4/(-6) - (-290)/3. Suppose s*y - 44 = i. Does 14 divide y?
True
Let d(z) = -16*z - 50. Does 30 divide d(-20)?
True
Let v = 118 + -80. Let k be 6*(2 - (-12)/(-8)). Suppose k*r = -3*g - r + v, 4*g - 57 = r. Is 14 a factor of g?
True
Suppose -5*j + 118 - 33 = 0. Is 17 a factor of j?
True
Let g(n) = 6 - 12*n + 1 + 9*n. Does 16 divide g(-10)?
False
Let h be ((-636)/(-10))/((-8)/(-20)). Suppose 4*l + 45 = 5*l + 5*y, -h = -5*l - 3*y. Is 9 a factor of l?
False
Is 13 a factor of (1 - 1) + (40 - 1)?
True
Let n be (-1)/(-2) + (-23)/(-2). Let f = -5 + n. Let i(x) = -x**3 + 6*x**2 + 8*x + 6. Does 12 divide i(f)?
False
Suppose 5*p = -3*n - 19, p - 2 - 1 = -4*n. Does 2 divide (-1)/n*0 + 3?
False
Let h(z) = -2*z**2 + 5*z + 2. Let q be h(-8). Let k = -96 - q. Let m = k - 49. Does 15 divide m?
False
Let b(n) = -2*n + 2. Is b(-2) a multiple of 6?
True
Let j = 113 + 12. Suppose 74 = 3*s + 2*f, -4*s - 3*f = s - j. Does 9 divide 2/7 - (-496)/s?
True
Let f = -32 + 68. Is 14 a factor of f?
False
Suppose 11 = -0*w - w. Is 16 a factor of (-3 - w/(-5))*-5?
False
Suppose 0*c - 74 = -c. Let u = -37 + c. Is u a multiple of 12?
False
Let y = 82 + -59. Suppose 3*v + 45 = -3*o, 6*o + 3*v = 5*o - y. Let r = -8 - o. Does 3 divide r?
True
Suppose -5*m + o = -44 - 19, 36 = 2*m - 4*o. Does 12 divide m?
True
Suppose 0 = 5*v - 3*v - 84. Is 14 a factor of v?
True
Let r(v) = -v**2 + 15*v + 10. Is 7 a factor of r(15)?
False
Let j = 64 - 89. Let l = 1 + -3. Let r = l - j. Does 23 divide r?
True
Let i(y) = y**3 + y**2 - 2*y - 2. Let q be i(-2). Let v(a) = a + 17. Let r be v(-12). Let z = r - q. Does 2 divide z?
False
Suppose f - 6*f - 9 = -3*p, 2*f + 9 = 3*p. Suppose 7*t - 25 = 2*t. Let z = f + t. Does 5 divide z?
True
Let x(h) = -1 + 5 - 2 - h. Does 2 divide x(-2)?
True
Let t = 57 - 104. Is 20 a factor of 3*t*(-1)/3?
False
Suppose 3*u - 4*z + 9*z = -10, 4*u + 2*z = -32. Is 205/7 - u/(-35) a multiple of 22?
False
Suppose 3*n = -5 - 4. Let c = 19 - n. Does 13 divide c?
False
Let h(u) = 2*u - 8. Let w be h(7). Let p = -2 + w. Is 142/5 + p/(-10) a multiple of 10?
False
Suppose 3*p = 2*p - 3, 4*f - 5*p - 39 = 0. Let z be (-141)/21 - f/21. Let i = 47 + z. Is 15 a factor of i?
False
Let c(t) be the third derivative of t**6/60 + t**5/20 + t**4/24 - 3*t**2. Let i be c(-2). Is (-472)/(-18) - i/(-27) a multiple of 12?
False
Let u(i) = -i**2 + 11*i + 8. Suppose -3*f = -0*f - 27. Is u(f) a multiple of 10?
False
Suppose 2*f = -4*r + 48, r - 18 = -f - 5. Is r a multiple of 3?
False
Let q = -6 - -11. Suppose 4*a + 16 = q*a. Is a a multiple of 7?
False
Suppose -3*u - 22 = -2*u - 3*t, 0 = -5*u + t - 54. Let i = -7 - u. Suppose 0*n = i*n - 48. Is 11 a factor of n?
False
Let o(g) = 4*g + 23. Does 23 divide o(0)?
True
Let i be -1*3/6*-2. Does 12 divide 18 + (2 + -2 - i)?
False
Let q(f) = -f**3 + 3*f**2 - f + 3. Let b be q(3). Suppose x + 4*x = b. Let l = 20 - x. Is 6 a factor of l?
False
Suppose -24 - 41 = -x. Is x a multiple of 13?
True
Is 19 a factor of 24/36 + (-23)/3*-5?
False
Suppose -3*h + 258 = -5*d + d, -5*h - 3*d = -459. Is 18 a factor of h?
True
Suppose -2*x + 6*x + 36 = 0. Let u be (0 + 3)/(x/(-6)). Suppose 0 = -2*s - u + 24. Does 11 divide s?
True
Let i = 92 - 75. Is i a multiple of 8?
False
Does 11 divide (4 + 56/(-12))*-66?
True
Does 18 divide (4 - 1)*(12 + 3)?
False
Suppose -2*m - o - 73 = 0, 6 = 3*o - 9. Let q = m + 57. Does 6 divide q?
True
Suppose -3*a = -7*a - 2*c + 14, 0 = 5*a - c. Let j = 2 + a. Suppose d + 2*p = -0*d + 14, -j*d = 3*p - 39. Is d a multiple of 6?
True
Let m = -16 - -11. Is 8 a factor of m/(5/(-9)) - -2?
False
Suppose -2*z - 5 = 5*r, 0 = -3*z - 7*r + 2*r. Let u = 2 + z. Is 2 a factor of u?
False
Let h(m) = 23*m**2 - m - 1. Suppose 2*b + 7 - 25 = -4*u, -3*u = -4*b - 19. Is h(b) a multiple of 23?
True
Suppose 3*m = -2*m. Let s be 28/10 - 5/(-25). Suppose p + 1 + s = 2*o, m = -5*o - p + 24. Is 3 a factor of o?
False
Let n(r) = r. Let s(l) = -4*l + 1. Let c(o) = -6*n(o) - s(o). Is c(-4) a multiple of 4?
False
Let m(a) = 9*a**2 - 6*a - 3. Is 33 a factor of m(-4)?
True
Does 13 divide (-2 + 8)*(-13)/(-2)?
True
Is 31 a factor of 1*(-8)/44 + (-6828)/(-44)?
True
Let b(w) = -w**2 + 3. Let m be b(3). Let y(o) = 8*o + 6. Let a(n) = -n. Let f(k) = m*a(k) - y(k). Is f(-4) even?
True
Let w be (-74)/6 - (-1)/3. Let z(u) = u**3 + 12*u**2 - 8*u - 9. Is z(w) a multiple of 29?
True
Suppose 2*l = 2*t + 98, -196 = -4*l - 5*t - 0*t. Is l a multiple of 18?
False
Let z be (-2)/(-3) + (-26)/(-6). Suppose 5*r + 2*g = 4*r - 8, 10 = -z*r - 4*g. Suppose 3*s + 11 = 3*v - 2*v, -s = r*v - 36. Is 15 a factor of v?
False
Let l = -2 + 5. Suppose 4*h + l*d = 48, h + 3*d - 5 - 7 = 0. Is 6 a factor of h?
True
Does 13 divide (-4)/8*(-309 + -3)?
True
Suppose -u - x + 232 = 0, -3*u + 3*x + 691 = x. Does 14 divide u/12 + 3/(-12)?
False
Is 14 a factor of (70 - -4) + -3 + 0?
False
Let t(c) = 2*c + 1. Let n be t(-1). Let i = n - -18. Let u = i - 7. Is u a multiple of 10?
True
Let f = -49 + 73. Does 6 divide f?
True
Suppose -4*q + 3*q + 3*z - 7 = 0, -3*z = -9. Suppose -q*a + 0 + 20 = 0. Is 5 a factor of a?
True
Suppose -4*m - 2*o = 34, 0*m - m = -2*o + 21. Let f = m - -26. Is 6 a factor of f?
False
Let d(z) = -z**3 + 4*z**2 + 6*z + 4. Does 5 divide d(5)?
False
Does 2 divide -4*(-1)/(-4)*-3?
False
Let h be (24/(-18))/((-2)/3). Suppose -3*s - 108 = -0*s + 3*n, 69 = -h*s - n. Let b = 51 + s. Does 15 divide b?
False
Let p = -46 + 4. Does 17 divide (p/8)/(1/(-4))?
False
Suppose 5*w = -4*i + 30, -5*i = 4*w - 2*i - 23. Suppose 0 = 2*l - j - 1, -w*l + l - 2 = 2*j. Suppose -u + 2*u - 14 = l. Does 5 divide u?
False
Is 3 a factor of (0/(-4) + 18)/2?
True
Let y(n) = -14*n. Let g be y(1). Let a = 10 + g. Is 49/4 + 1/a a multiple of 12?
True
Let z be (2/3)/((-6)/(-9)). Suppose -5*y - 15 = 0, -a + z = y - 0*y. Suppose 2*t - 124 = -4*q, -5*t + 2*t = a*q - 126. Is q a multiple of 15?
True
Let j = 3 - 3. Suppose 60 = -j*f + 4*f. Does 14 divide f?
False
Let p(j) = -27*j + 2. Let o(w) = -3*w**2 - 2*w - 1. Let b(r) = -r**3 - 5*r**2 + 7*r + 5. Let m be b(-6). Let z be o(m). Is 20 a factor of p(z)?
False
Let t(j) = -2*j - 5. Let f be 1 - -46 - (-1 + 0). Suppose 4*d - 2*w = -f, 4*d - 2*w - w = -52. Is t(d) a multiple of 8?
False
Let d(j) = -j**3 + 19*j**2 - 33*j + 29. Is d(17) a multiple of 23?
True
Let f(i) = -i**3 + 7*i**2 - 8*i - 11. Let n be f(7). Let y = -37 - n. Is y a multiple of 29?
False
Let u(h) = -4*h - 38. Does 13 divide u(-18)?
False
Let d = -15 - -27. Is d a multiple of 4?
True
Let q(v) = -15*v + 28. Is 34 a factor of q(-5)?
False
Suppose -220 = -5*w + 4*g - 27, 4*w = -5*g + 138. Is 5 a factor of w?
False
Suppose 19 = -2*x - 3*n, 5*n + 7 = -2*x - 6. Is 4 a factor of (-14)/(-49) + (-164)/x?
True
Suppose -5*j + 92 = -8. Is j a multiple of 13?
False
Let k(d) be the third derivative of -d**5/60 + 11*d**4/24 - d**3/3 - 2*d**2. Suppose 4*m = 2*l, 4*m + 0*m = 16. Is k(l) a multiple of 11?
True
Let f(o) = -2*o - 1. Let i be f(-3). Suppose 0 = -2*t + i*t - 33. Is 4 a factor of t?
False
Suppose 0*h + 6*h = 210. Is 7 a factor of h?
True
Let f = -14 + -2. Let k = f - -26. Does 4 divide k?
False
Suppose -3*m + 4*m + 17 = -3*x, -2*m = -3*x - 11. Let t = 8 + x. Suppose d = -t*o + 10, 4 = -d - 1. Is 2 a factor of o?
False
Let t(c) be the first derivative of c**6/360 + c**5/120 - 