of x(0)?
False
Suppose 3*n = -9*n + 1464. Is 10 a factor of n?
False
Let z be (-1)/2 + (-5)/(-10). Suppose -2*x = l - 38, z = 2*l + 2*l - x - 143. Does 16 divide l?
False
Suppose 0 = p - 6*p + 15. Suppose -5*t = p*y - 274, -4*t + 4*y = -46 - 154. Does 14 divide t?
False
Let f = 8 + -2. Suppose 9 = n + 3*o, -5*o + f = -3*n - 9. Let j(k) = -k**2 + k + 17. Does 8 divide j(n)?
False
Let j = -3 + -21. Let y = 4 - 7. Is 9 a factor of (y/4)/(1/j)?
True
Let r be (3/2)/((-9)/(-12)). Suppose -8 = -k + r*f + 17, -3*k - 4*f = -105. Is k a multiple of 17?
False
Let o(y) = -5*y - 2. Let v be o(2). Does 19 divide ((-33)/v)/(3/24)?
False
Let d(z) = 2*z**2 + 6*z - 1. Let r(t) = -t - 3. Let o be r(4). Let i be d(o). Suppose 5*a = i + 165. Does 22 divide a?
True
Let s(w) = -w**3 - 3*w**2 - 12*w - 5. Is s(-6) a multiple of 27?
False
Suppose -5*x + 14 + 1 = 0. Let n(r) = 7*r**2 - 3*r - 2. Does 12 divide n(x)?
False
Let h(b) = -8*b + 16. Is h(-3) a multiple of 23?
False
Suppose -24 = -4*w + 4. Suppose -n = 5*o - 5 - 6, -4*o = n - w. Let h = n - -20. Is 11 a factor of h?
True
Suppose 5*o + t - 10 = 3*o, -4*t + 28 = 4*o. Suppose 4*q = 2*k - 35 + 11, q + 33 = 2*k. Let i = k - o. Is 15 a factor of i?
True
Let r(l) = l**2 + 3*l. Let c be r(-4). Suppose c*o + 9 = 45. Is 9 a factor of o?
True
Suppose 0 = 3*u + 5*w - 7, -5*u - 5*w = -2*w - 17. Is u a multiple of 4?
True
Suppose 4*k - 2*g - 2 = -6, 5*g - 10 = -5*k. Let c = 11 + k. Is 11 a factor of c?
True
Let g = -113 + 291. Is g a multiple of 42?
False
Suppose 0 = -d + 3, 0 = -0*a + 2*a + 5*d + 7. Let p = a - -9. Let g = p + 61. Is g a multiple of 18?
False
Let h(b) = -b - 5. Let m be h(-7). Let l(o) = -3*o + 3. Let a be l(m). Let w(j) = 4*j**2 + 3*j - 3. Does 15 divide w(a)?
False
Let d(m) = -5*m + 7. Let t be d(-9). Suppose -4*b + 0*b + t = 0. Let g = -4 + b. Is 9 a factor of g?
True
Let a = 54 - -32. Does 14 divide a?
False
Suppose 59 + 57 = 2*f. Is f a multiple of 3?
False
Suppose -2*t + 0 + 8 = -g, -t + 4 = -2*g. Suppose n = 23 - g. Does 23 divide n?
True
Let v(t) = 6*t + 1. Does 4 divide v(1)?
False
Let g = 2 - -2. Let q = 2 + -4. Does 13 divide (-153)/(-6) - q/g?
True
Let f(g) be the first derivative of -g**4/4 - g**3/3 + g**2/2 + 72*g - 2. Is f(0) a multiple of 13?
False
Let t(q) = q**2 - 2*q - 3. Let n be t(-4). Suppose -n = w - 4*w. Suppose 2*v + 205 = w*v. Does 14 divide v?
False
Let i = 1 + 1. Suppose 0 = -5*a - l - 2*l + 249, 6 = i*l. Is a a multiple of 24?
True
Is 6 a factor of 2/11 - ((-1052)/22 - 0)?
True
Let r = 8 + -5. Suppose 34 = r*j + u + 14, -4*j = -4*u. Is j a multiple of 2?
False
Let y be (-2)/(-8) + (-189)/(-28). Does 5 divide 1*y - (-9 + 11)?
True
Suppose z = -3*w + 795, 0 = 2*w + 2*z + 2*z - 540. Is 12 a factor of w?
True
Let m = 16 + 19. Is m a multiple of 35?
True
Let s(v) = 5*v**2 + 30*v - 4. Does 20 divide s(-8)?
False
Let q(s) = s**2 - 3*s - 7. Let v be q(6). Suppose 33 = 4*o - v. Is 11 a factor of o?
True
Suppose u = -3*h - 29, -15 = -0*h + 3*h. Does 10 divide 675/21 + 2/u?
False
Let c = 52 - -16. Is c a multiple of 17?
True
Let s(j) = -j**3 - 8*j**2 - 9*j - 10. Let d be s(-7). Suppose 5*q - 68 = d*q. Suppose 4*p = u + q, 2*p + 3*u - 40 = 8. Is p a multiple of 9?
True
Suppose 3*c - c = 4. Let i = c + 1. Suppose -5*u + 35 = -i*v, -5*v = -v. Does 5 divide u?
False
Does 13 divide -3*4/(-30)*65?
True
Let v = 6 - 11. Let y(m) = m**3 + 6*m**2 + 4*m - 1. Let l be y(v). Is 6 a factor of 4 - l - 3*-4?
True
Let m be 1 + 1 - (-7 - -6). Suppose -35 + 119 = m*f. Let j = f - -7. Is 20 a factor of j?
False
Suppose 2*c - 397 = 5*u + 310, -3*c = 5*u - 1098. Does 35 divide c?
False
Let y(w) = 19*w - 1. Does 18 divide y(1)?
True
Suppose -6*p - 8 = -2*p. Let o = p + 5. Suppose -5*r + 108 = o*v - 5*v, -2*r - 2*v = -32. Is r a multiple of 20?
True
Let s be (-240)/(-7) + (-20)/70. Suppose h - s = 12. Is h a multiple of 29?
False
Let f(t) = 60*t**2 + 3*t + 4. Does 10 divide f(2)?
True
Let g(n) = n**2 - 4*n - 11. Does 27 divide g(12)?
False
Let i = -84 + 197. Is i a multiple of 28?
False
Let m = 309 - 129. Is 30 a factor of m?
True
Is 52 a factor of -4 - (632/6)/(3/(-9))?
True
Let b(v) = -11*v + 3. Let c(m) = -10*m + 3. Let q(t) = -3*b(t) + 4*c(t). Does 9 divide q(-6)?
True
Let v be (-21)/(-4) - (-4)/(-16). Suppose 3*s - 14 = -v*m - 77, -72 = 4*m - 3*s. Does 6 divide 4/(-10) + (-96)/m?
True
Let f be -2 - 6/(-1 - 2). Suppose -12 = 4*s - x, -4*s + 8 = -f*s + 4*x. Does 5 divide 2*(9 + s) - 1?
False
Suppose 5*z - 104 = 66. Does 16 divide z?
False
Let t(y) = -4*y - 7. Does 17 divide t(-6)?
True
Suppose 0 = 2*g + 6, -4*f - 2 = -g - 1. Let k(j) = 5*j**2 + 1. Does 2 divide k(f)?
True
Let g be ((-3)/(-2))/(9/1500). Does 18 divide 6/21 + g/7?
True
Is (-12 - -298) + (-2)/(-1) + -1 a multiple of 48?
False
Let h(v) be the first derivative of -v**4/4 + 10*v**3/3 + 11*v**2/2 + 15*v + 4. Let o be h(11). Let t = 1 + o. Is 8 a factor of t?
True
Suppose 7 + 15 = y. Let n = y + -50. Does 7 divide (2/(-4))/(2/n)?
True
Let k(p) = 2*p + 2. Is 8 a factor of k(3)?
True
Let m = -181 + 289. Does 10 divide m?
False
Suppose -2*o - 2*t = -48, -3*o + 0*o = 5*t - 66. Suppose 0 = -2*w + 5 + o. Is 16 a factor of w?
True
Let o = 32 - 22. Is 4 a factor of o?
False
Suppose 5*d - 45 = 35. Does 3 divide d?
False
Let h(q) = -q**2 - 1. Let p(i) = 6*i**2 + 5*i - 4. Let l(g) = -g - 3. Let o be l(-4). Let s(j) = o*p(j) + 5*h(j). Is 3 a factor of s(-7)?
False
Let a(x) = 3*x**3 + 2*x**2 + 4*x + 3. Let s be a(-2). Let v = 33 + s. Does 3 divide v?
True
Let u(g) = 3*g + 3. Let k be u(3). Is (k - -9) + 1*-1 a multiple of 10?
True
Let r(b) = b**2 - 2*b + 3. Suppose 8 = -4*v - 4. Let g be r(v). Suppose -c = c - g. Is 6 a factor of c?
False
Let x(s) = -s**3 - 3*s**2 + 8*s - 5. Is 17 a factor of x(-6)?
False
Let i(v) = -v + 4 - 2*v**2 + 16 + v**2. Suppose 0 = -0*g + 2*g. Is 10 a factor of i(g)?
True
Does 14 divide (-48)/(-22) - 10/55 - -17?
False
Suppose 4*t = -0*t + 132. Suppose 4*v = 25 - 5. Suppose 32 = v*d - t. Is d a multiple of 8?
False
Let i(j) = -j**3 - 8*j**2 - 6*j - 10. Is i(-8) a multiple of 10?
False
Let k(l) = 0 + 5 - l - 3 + 0*l. Is 6 a factor of k(-4)?
True
Is (3/(-6))/(2/(-272)) a multiple of 17?
True
Suppose 5*x - 405 = -0*x. Let u = x + -56. Suppose -3*k + u = -5. Does 10 divide k?
True
Let q(n) = -9*n - 9. Let i(c) = 8*c + 10. Let u(l) = 6*i(l) + 5*q(l). Is u(11) a multiple of 14?
False
Let x be 6 + (-3)/(9/12). Suppose x*b = -4*g - 8, -3 - 3 = 2*g. Is b even?
True
Suppose f - 68 = -f + 2*x, -2*f - x = -80. Let y(a) = -18*a**3 + 2*a**2 - a. Let s be y(1). Let k = s + f. Does 15 divide k?
False
Let u = 14 - 7. Suppose -6*w + u*w = -v + 5, w = 3*v - 15. Let d = 22 + v. Does 13 divide d?
False
Is (-1)/((-4)/160) + -4 a multiple of 23?
False
Suppose 0 = -2*n + 8, -a - 2*n + 12 = 2*n. Let u = 45 + a. Is u a multiple of 13?
False
Let n = -46 + 61. Is 11 a factor of n?
False
Let x(y) = -y**3 + 7*y**2 - 5*y + 5. Let l be x(5). Suppose 0 = -3*v + l + 12. Is v a multiple of 7?
True
Does 17 divide (510/(-75))/(1/(-5))?
True
Suppose -11 = -2*u + 79. Is u a multiple of 15?
True
Let b be (-4)/6*36/(-8). Let j be (-88)/b*(1 + -4). Let n = 128 - j. Does 12 divide n?
False
Let w(x) = -x**3 - 17*x**2 - 18*x + 39. Is w(-16) a multiple of 15?
False
Suppose 2 = 2*s + 2*n, -3*s + 10 = -2*n + 2. Let v = s + -1. Let i(b) = 26*b**2. Is i(v) a multiple of 11?
False
Suppose 0 = 3*c + c - b - 237, 3*c - 5*b = 182. Does 17 divide c?
False
Suppose -n + 209 - 34 = 0. Let r = 259 - n. Is 22 a factor of r?
False
Let c(b) = -1. Let o(t) = -t - 3. Let r(y) = -4*c(y) - o(y). Does 7 divide r(0)?
True
Let q(z) be the first derivative of 1/2*z**2 - 3 + 2*z. Does 4 divide q(3)?
False
Suppose 0 = -0*u + 3*u. Let w = u + 2. Suppose 3*b - 67 = k, 2*b = w*k - 4*k + 34. Is b a multiple of 21?
True
Suppose 12*w = -3*w + 1320. Is w a multiple of 22?
True
Let g be 20/(-6)*(-78)/65. Suppose g*r = -4*w + 32, r + 0*w + 17 = 4*w. Does 2 divide r?
False
Let b(c) = c**3 + 5*c**2 + 3. Let o be b(-5). Suppose -o*t = 12, 3*k - 3*t = -k + 60. Is 13 a factor of (-1)/(-2) + 162/k?
False
Let l(a) = -6*a - 13. Is l(-9) a multiple of 14?
False
Let q(y) = -y**2 + 5*y + 6. Let u(m) = m**2 - 6*m - 7. Let h(f) = -6*q(f) - 5*u(f). Let n be h(1). Let t(s) = s**3 + s**2 + s + 5. Is t(n) a multiple of 5?
True
Sup