Does 16 divide d?
False
Let j(t) = -t - 17. Let a be j(-10). Does 4 divide a/(-1)*(-4 - -5)?
False
Suppose 81 = 3*v + 2*q, 2*v + 5*q = 31 + 12. Does 10 divide v?
False
Let f = 32 - 18. Suppose h - f = 2. Is h a multiple of 7?
False
Let r(b) = -b**2 - 6*b + 7. Let l be (5/4)/((-1)/4). Does 6 divide r(l)?
True
Suppose -4*c + 2*d = 6*d - 132, 66 = 2*c + 3*d. Is 11 a factor of c?
True
Let w = 9 + -11. Is 13 a factor of (w - -6)/(4/26)?
True
Is 85/2 + (-3)/6 a multiple of 14?
True
Let v(q) = 4*q**2 - 4*q - 3. Let i = -28 + 20. Let o = i - -6. Is v(o) a multiple of 21?
True
Let t(u) = -u**2 + 5*u + 7. Let y be t(6). Let k be 3 - (1/y - 3). Suppose k*q - 112 = q. Does 14 divide q?
True
Suppose -4*g + 2*s = 7*s - 8, 2 = g + 3*s. Suppose 4 = 4*p, 2*y + 9 = g*p + 3*p. Is ((-2)/(-6))/(y/(-186)) a multiple of 12?
False
Suppose -4*g + 62 = -2*g + 3*o, 3*g + o = 79. Suppose 5*f - g = 5*z, 2*f - 3*z = 2*z + 19. Is (0 + f)*(3 + 2) a multiple of 10?
True
Suppose -s + 0 = -4. Suppose t + 10 = -s*f, -3*t + f + 22 = -0*t. Is 3 a factor of t?
True
Is 9 a factor of (-66)/(-4)*-2*5/(-5)?
False
Let k = -1 + 5. Let z(q) = 8*q**2 - 1. Let d be z(-1). Suppose k*o = l - d, l - 8 = -l + 2*o. Is l a multiple of 3?
True
Suppose 0 = -4*n + 31 + 1. Is 8 a factor of n?
True
Let n(b) = -3*b**2 + 5*b - 3. Let z = 8 - 5. Let l be n(z). Let q = 30 + l. Is q a multiple of 14?
False
Suppose 0 = 5*f - 2*u - 350, 350 = 5*f - 0*u + 3*u. Is f a multiple of 30?
False
Suppose -2*u + 1 = -3*g - 1, 0 = -4*g + 8. Is u a multiple of 3?
False
Let x = 178 - 126. Is 8 a factor of x?
False
Let a = -113 - -172. Is a a multiple of 13?
False
Suppose 4*s + 11 = -3*z - 0*z, 5*s + 4*z = -14. Let q(f) = 6*f**2 - 2*f - 2. Does 8 divide q(s)?
False
Suppose -2*u = -0*u - 294. Is u a multiple of 13?
False
Suppose 15 = -3*u + 5*f, 12 = 4*u + 3*f + 3. Is (-7 - -2)*(u - 6) a multiple of 8?
False
Suppose 298 = 6*t - 4*t. Is 32 a factor of t?
False
Suppose 0*y + 39 = y. Let j(b) = -b**3 + b**2 + 7. Let q be j(3). Let t = q + y. Does 14 divide t?
True
Let a(m) = m. Let t(y) = 15*y + 2. Let x(r) = -6*a(r) - t(r). Is x(-1) a multiple of 14?
False
Let n(u) = -u**2 + 5*u + 8. Let m be n(6). Is -3 + 2 + (m - -25) a multiple of 14?
False
Let t = -11 + 14. Does 3 divide t?
True
Let s(t) = -2*t + 1. Let l be s(-7). Let i(o) = -o + 1. Let z be i(7). Does 12 divide l*4/z*-2?
False
Let b(w) = -6*w + 1 - w - w**3 + 4 + 11*w**2. Is 15 a factor of b(10)?
False
Let m = -14 - -21. Let h = m - 2. Suppose 3*o + 5 = -4*b + 25, -h*b = -10. Is 2 a factor of o?
True
Let w(y) = -29*y + 1. Let b be w(-5). Suppose -4*d + 30 = -b. Is 11 a factor of d?
True
Suppose -76 + 396 = 5*z. Is 13 a factor of z?
False
Let w = 6 - -14. Suppose p = w + 25. Is 24 a factor of p?
False
Suppose 266 = 2*w - 0*b + 2*b, -2*w + 5*b = -301. Is w a multiple of 36?
False
Let a be 29*1 + (-7 - -6). Let p = 71 - a. Is 18 a factor of p?
False
Let k be (-1)/(9/(-6) - -1). Let o(q) = q**2 + 2*q - 3. Let b be o(k). Suppose b*n = -i - 18, -3*i - 4*n = i - 8. Does 6 divide i?
False
Let o(l) = l - 4 + 4. Let b be o(3). Suppose 3*q + b*f = 42, 5*f + 2 = -q - 0. Is q a multiple of 8?
False
Let b(k) be the third derivative of k**6/120 + k**5/10 + k**4/6 + 2*k**3/3 + k**2. Does 7 divide b(-5)?
False
Suppose 0 = 2*i + 5*y + 2, 3 = 5*i - 2*y - 21. Suppose -9 = -i*j + 107. Is 12 a factor of j?
False
Let o(i) = -i**3 - 6*i**2 + 5*i + 3. Let z be 7*(1 - 2)*1. Does 15 divide o(z)?
False
Does 35 divide 15*(-118)/(-6) + 3*-1?
False
Let l(t) = -t**2 + 2. Let q be l(-2). Let w(z) be the first derivative of -2*z**2 - 3*z + 1. Is w(q) a multiple of 4?
False
Let n(i) be the third derivative of i**4/8 - 2*i**3/3 - 4*i**2. Is n(5) a multiple of 11?
True
Let f(z) = 8*z**3 + 2*z**2 - 1. Let a(n) = 16*n**3 + 4*n**2 - 2. Let d(w) = -6*a(w) + 11*f(w). Does 7 divide d(-1)?
True
Suppose 0 = 5*o + 4*g - 1390, -2*o - g = -503 - 56. Suppose -2*a + o = a. Suppose a = c + c. Is c a multiple of 18?
False
Suppose -r = -3 + 1. Suppose 4 = 2*y - 4*y + r*i, 5*y - 20 = -5*i. Let v(c) = 33*c - 1. Is v(y) a multiple of 16?
True
Suppose 0 = 5*w - w - 56. Let k = 20 - w. Does 3 divide k?
True
Suppose -3*r = -l - 361, 7*l = 2*l + 25. Let z = r - 2. Suppose k - z = -2*k. Is 14 a factor of k?
False
Let c = -20 - -118. Is 23 a factor of c?
False
Is 16 a factor of (806/39)/(2/6)?
False
Let k = 11 - 14. Does 16 divide k - -1*(-102)/(-2)?
True
Suppose 5*u = -3*y - 9, 5*y - 2*u = -0*y + 16. Let j(d) = 3*d - 2 - 5*d**3 + 6*d**3 + 3*d**3 - 4*d**2. Is j(y) a multiple of 9?
False
Let y be -1 + 3 - 54/3. Suppose -3*v + 19 = i, -2*i - 3*v = i - 69. Let g = i + y. Is 4 a factor of g?
False
Suppose 2*g + 6 = -g. Let q = g - -24. Is 22 a factor of q?
True
Does 12 divide 3/12 - (-190)/8?
True
Suppose 4*r = 15*r - 374. Does 17 divide r?
True
Suppose 2*k - 6*k - 3*h = -400, k + h = 100. Is 6 a factor of k?
False
Let k be (3 + 3)*3/(-6). Is 17 a factor of 0 + 17 - (3 + k)?
True
Let l(i) = -2*i - 11. Let d be l(-8). Suppose -d*y + 50 = -5*p - 60, 0 = -3*p - 12. Does 9 divide y?
True
Is (-116)/(-18)*3 - (-39)/(-117) a multiple of 6?
False
Let p(c) be the first derivative of -3*c**2 + 9*c - 1. Is 21 a factor of p(-9)?
True
Let y = -1 + -5. Is 25 a factor of 22 + (0 - (y - -3))?
True
Let x(l) = -5*l**3 + l**2 - l. Let w be x(-2). Let z = 65 - w. Is 13 a factor of z?
False
Let h(j) = 2*j - 6. Suppose 4*w - 15 = w. Let k = 10 - w. Does 4 divide h(k)?
True
Suppose 0 = 2*f + 3*p - 267, 5*f - 2*f - 4*p - 409 = 0. Is 27 a factor of f?
True
Suppose -u + 128 = r, -4*r - 5*u + 322 + 192 = 0. Does 9 divide r?
True
Let t be 4/(-10) - 312/20. Does 3 divide -2 + 1/(-2)*t?
True
Does 43 divide 149/((-3)/1 - -4)?
False
Is 48 a factor of 72*((-84)/9)/(-7)?
True
Suppose -3*q = 7*q - 450. Is 9 a factor of q?
True
Suppose -9 = 3*l, -2*l = 4*o - 3*o - 16. Let g = 92 + o. Suppose 2*j = 3*p - 88, 0*j - 2*j - g = -4*p. Is 9 a factor of p?
False
Suppose 0 = 3*k + 472 + 383. Let z be (-16)/6*k/20. Let l = -23 + z. Does 10 divide l?
False
Suppose -7*q - 216 = -3*q. Let j = q + 102. Does 12 divide j?
True
Let b = 0 + 0. Suppose -d + 3*x + 71 = d, -4*d + 3*x + 145 = b. Let r = d - 1. Is 18 a factor of r?
True
Suppose -5*b = i - 231, -2*b = -4*b + 6. Is 36 a factor of i?
True
Let r = -5 + 4. Let v = r + 1. Suppose v = 3*x - 31 - 2. Does 6 divide x?
False
Let t be (-32)/(-6) - (-2)/(-6). Suppose p = -t + 10. Is p even?
False
Let p = -8 - -12. Is 34 - 1/(2/p) a multiple of 9?
False
Let x = 305 - 190. Suppose -5*v + x = -35. Is v a multiple of 15?
True
Suppose 0 = -5*w + 9*w - 1160. Suppose -2*u + w = 3*u. Does 25 divide u?
False
Let o(q) be the second derivative of 7*q**4/12 + q**3/2 + q**2 + q. Suppose 5 = -6*y - 7. Does 12 divide o(y)?
True
Let p(o) = o + 1. Let u be p(5). Let h be 20/6*u/4. Suppose h*j - 206 = -61. Does 21 divide j?
False
Suppose 4*l + 94 = 3*i - 88, 2*l + 246 = 4*i. Is 31 a factor of i?
True
Suppose 0 = -10*b + 982 + 2568. Is b a multiple of 24?
False
Suppose -8 = 5*l - 53. Is 2 a factor of l?
False
Suppose -w = -2*w - 2. Does 8 divide 3*(w - (-28)/6)?
True
Suppose 128 = -3*k + 11. Let t = -47 - -19. Let f = t - k. Is 11 a factor of f?
True
Let z be 5/(-7) + (-2)/7. Let s(b) = 40*b + 1. Let a be s(z). Let t = -24 - a. Does 6 divide t?
False
Is ((-12)/9)/(3/(-108)) a multiple of 8?
True
Let y be ((-3)/2)/(18/336). Let i = y - -68. Is i a multiple of 20?
True
Let w(r) = r**3 - 11*r**2 - 3*r + 3. Let b be w(8). Let i = -132 - b. Is i a multiple of 27?
True
Let g = -4 - -4. Suppose g*c + 140 = 5*c. Does 7 divide c?
True
Let f(m) = 41*m + 5. Is f(3) a multiple of 32?
True
Suppose 3*z - d - 14 = 0, -5*z - 10 = 4*d + d. Let x be -27*(-2 + (-5)/(-5)). Suppose -i + a - 4*a = -x, -z*i + 61 = -a. Does 21 divide i?
True
Suppose -5 = 3*v - 29. Is v a multiple of 7?
False
Suppose 8*t = 7*t + 2. Suppose -4*n - t = -p, 0 = -4*p - 2*n - 2*n + 88. Is 6 a factor of p?
True
Let s = 28 + -25. Suppose 0 = s*g - 6, 5*g + 102 = 4*b - 0*g. Is 7 a factor of b?
True
Suppose -3*w - 5*c = -147, 0 = -5*w + 5*c + 90 + 115. Suppose 0*l = 2*d - 5*l - w, 3*d = -3*l + 66. Does 11 divide d?
True
Let u(x) = -x**3 + x**2 + 4*x + 1. Let j(c) = 2*c**3 - 2*c**2 - 7*c - 3. Let f(s) = -2*j(s) - 5*u(s). Let d be f(4). Suppose -d = -5*a + 20. Is 9 a factor of a?
True
Let i(o) = 6*o**2 