3*d - 843 = -4*s. Does 30 divide s?
False
Suppose 5 = t - 2*t. Let b = 14 + t. Is 9 a factor of b?
True
Suppose 3*o - 187 = 2*o. Does 13 divide o?
False
Let o be 5/3 - 8/(-24). Suppose -o*b + 40 = -2. Is 21 a factor of b?
True
Let p = -48 - -126. Let r = p + -45. Is 11 a factor of r?
True
Let o(k) be the first derivative of -k**6/360 - 3*k**5/40 - k**4/3 - k**3/3 - 3. Let c(t) be the third derivative of o(t). Is c(-6) a multiple of 10?
True
Suppose z - 6 = -2. Is 7/(7/44) - z a multiple of 20?
True
Let i(q) be the first derivative of -q**7/840 - q**6/60 + q**5/40 - q**4/6 + q**3 - 2. Let b(s) be the third derivative of i(s). Is b(-7) a multiple of 12?
True
Suppose -2*w + 58 + 44 = 0. Does 3 divide w?
True
Is 7 a factor of (14/8)/(7/56)?
True
Suppose h - 5*h = 40. Let d(g) = -5*g**3 + 4*g**2 + 8*g + 12. Let r(l) = l**3 + l**2 - l. Let v(m) = -d(m) - 6*r(m). Is 8 a factor of v(h)?
True
Suppose 4*n + n = 0. Let t be (-4 + 14)*(-1)/(-2). Suppose -r + t = -n. Is r a multiple of 2?
False
Let y(x) = x**3 + x**2 + 2. Let s be y(0). Suppose -s*p = -2*q - q + 36, 12 = q + 4*p. Is 6 a factor of q?
True
Let w(k) = -6*k**3 + 2*k**2 - 1. Let p be w(1). Let t(x) = -x**2 + 5*x + 4. Let b be t(7). Let h = p - b. Does 2 divide h?
False
Let b(q) = q**2 - 6*q + 2. Let i be b(5). Let u be ((-4)/i)/((-8)/(-36)). Is (-3)/9 + 80/u a multiple of 7?
False
Suppose -u = -108 - 55. Suppose -26 = -3*t + u. Let c = 105 - t. Is c a multiple of 21?
True
Suppose -8 = 7*a - 43. Is a a multiple of 2?
False
Suppose 3*j = 3*t + 93, -2*j = 5*t - 120 + 30. Let o(s) = -2 - 10*s + 1 + j*s. Is o(1) a multiple of 11?
False
Let n be 46/11 + (-6)/33. Suppose -2*z + 134 = 3*f, -z = n*f - 174 - 8. Is f a multiple of 11?
False
Let h(z) = 68*z + 2. Is 7 a factor of h(1)?
True
Let r be 1/(-2) + (-2)/(-4). Let a(p) = p**2 + 5. Is 4 a factor of a(r)?
False
Let w = 8 + 24. Is w a multiple of 12?
False
Does 4 divide (-209)/(-44) + 3/(-4)?
True
Let y = 2 - 2. Suppose y = -3*n + n. Suppose 0 = 5*d - n*d - 20. Is 2 a factor of d?
True
Suppose 448 = -2*i + 10*i. Does 8 divide i?
True
Let f = -90 - -131. Suppose l + 2*s - f = 0, -4*l - s - 4*s + 176 = 0. Is l a multiple of 11?
False
Suppose t - 5*t + 818 = -3*i, -808 = -4*t - 2*i. Does 17 divide t?
False
Let l = -4 - 0. Let g = l - -6. Suppose -g*m + 26 = -m. Is 9 a factor of m?
False
Suppose 2*s + 3*s - 605 = -4*r, 0 = -3*r - 3*s + 453. Is r a multiple of 19?
False
Let d(c) be the third derivative of 1/4*c**4 + 0 + 1/15*c**5 + 0*c + 1/6*c**3 - 3*c**2 - 1/120*c**6. Is 2 a factor of d(5)?
True
Let l = 33 - 48. Suppose -j - 2 = -4. Let w = j - l. Is 17 a factor of w?
True
Suppose -6*t + 60 = -4*t. Is 10 a factor of t?
True
Suppose l - 6 = -2*l. Suppose l*q = -3 + 21. Suppose 0 = -2*x - 2*c + c + q, 3*c + 13 = 2*x. Is x even?
False
Is (-2)/3 + 41/3 even?
False
Let l = 33 + 11. Let k be l/10 + (-2)/5. Suppose -k*c + 2*t = t - 182, -2*t = 4. Is c a multiple of 13?
False
Let b(q) = -70*q - 5. Does 18 divide b(-1)?
False
Let g be 1*-3*7/(-3). Let u(d) = d**2 - 4*d + 3. Let j be u(g). Suppose -j = -4*r - p, 4*p + p = -r - 13. Does 7 divide r?
True
Let s(k) = -3*k - 5. Let d be 3/(39/(-21) - -2). Suppose 4*b - 5*n + 7 = -d, -3*n = 0. Is 13 a factor of s(b)?
False
Let d = -9 + 12. Suppose -3*y = 3 + d. Is 9 a factor of 33/3 + y + 2?
False
Let g be ((-4)/(-2))/(-2)*-45. Suppose -g = -4*y - y. Is y a multiple of 7?
False
Is (9/6)/(6/16) a multiple of 3?
False
Let a = -5 + -1. Let d = -4 - a. Suppose -d*f - 30 = -3*f. Is 20 a factor of f?
False
Suppose 0 = -6*z + 3*z. Is 16 a factor of 13 + z + 27/9?
True
Let z = -12 + 20. Does 2 divide z?
True
Suppose 2*y + 96 = 5*y. Let s = -16 + y. Is s a multiple of 8?
True
Let c = 38 + 58. Suppose 3*j + 3*y = c, 4*j - 146 = -0*j + 2*y. Does 9 divide j?
False
Let h(k) = 28*k - 13. Is h(5) a multiple of 25?
False
Suppose -t - 3 + 6 = 0. Suppose 0 = t*u - 2*u - 22. Is u a multiple of 11?
True
Let d = -7 + 11. Let n = d - -16. Is n a multiple of 10?
True
Let w(i) = -6*i - 2. Suppose 3*j + 5*g = g - 10, -5*j - 28 = g. Does 17 divide w(j)?
True
Suppose 78 = -4*i + 7*i. Is i a multiple of 26?
True
Let v(s) = s**3 + 6*s**2 + 5*s - 2. Let d(c) = -c**3 - 7*c**2 - 5*c + 3. Let l(r) = -2*d(r) - 3*v(r). Is 6 a factor of l(-4)?
False
Suppose j + 0*j = -6. Let z be (j/(-2))/(6/4). Suppose -z*f = -3 - 11. Does 4 divide f?
False
Is -6*84*2/(-9) a multiple of 28?
True
Suppose 0 = -2*j + 10, -4*h + 2*j = 2 - 4. Suppose h*y + 0*y = 0. Suppose -7*s + 3*s + 52 = y. Does 5 divide s?
False
Let g(u) = u**2 + u + 4. Is g(3) even?
True
Suppose x = -13 + 61. Is 10 a factor of x?
False
Suppose 2*y + 18 = -4*h, -3*y = 5*h - y + 21. Does 4 divide h - (-10 - -1) - -2?
True
Suppose -5*a = 169 - 604. Let f = a - 60. Is f a multiple of 9?
True
Suppose 0*i + 93 = 4*k + 3*i, -5*k - 3*i = -117. Is k a multiple of 6?
True
Let h be 10/(-3)*(4 + -1). Let g(z) = 3*z - 4 + 0*z + 4*z**2 - 3*z**2 - 7. Is 20 a factor of g(h)?
False
Suppose -2*i = -4*i - 14. Let b = -11 - i. Is 13 a factor of (-103)/(-4) - 1/b?
True
Let q be 1/(7/(-3) + 2). Let n(s) be the second derivative of s**4/12 + s**3/6 - 2*s. Is n(q) a multiple of 6?
True
Let h = -260 - -367. Is 30 a factor of h?
False
Let w be (-6204)/(-30) + 2/10. Let m = -309 + w. Is 10 a factor of m/(-5) + 4/(-10)?
True
Suppose 0 = -4*d + 2*k - k - 99, 5*d + 3*k + 145 = 0. Let j be 1/5 + 478/10. Let h = j + d. Is 11 a factor of h?
True
Suppose -4*o = -8, -2*i + 4*o = 2 + 6. Suppose 3*l - p - 1 = i, -p = 4*p - 10. Let h = l - -14. Is h a multiple of 15?
True
Let b = 33 - 28. Suppose 3*g - 210 = t - b*t, 2*t + g = 106. Is 18 a factor of t?
True
Let n = 1 - -2. Suppose -12 = -0*b - n*b. Suppose 15 + 11 = v - 5*f, 72 = 5*v + b*f. Is 8 a factor of v?
True
Suppose -5*r = 25, 10 = -0*h - 5*h - 4*r. Let x(y) = y - h + 0*y + 2*y. Does 10 divide x(4)?
True
Suppose 4*c - 57 = 35. Let x = 51 - c. Is x a multiple of 11?
False
Let i(p) = p**2 + p + 5. Let g be i(0). Suppose -224 = -g*m + m. Does 8 divide m?
True
Let i(c) = 8*c**2 + 3*c - 6. Is 9 a factor of i(2)?
False
Let i = -60 + 116. Suppose -163 = -5*q + 4*d, -q - 15 = -5*d - i. Is q a multiple of 7?
False
Suppose 0 = 4*o - o - 93. Is o a multiple of 9?
False
Let g(x) = 7*x - 1. Suppose -4*b + 16 = 0, -4*v + 5*b + 0 = -12. Suppose 4*u + q - 15 = 0, v*u = 3*u + 5*q. Is g(u) a multiple of 17?
False
Let w be 1 - (-5)/(-3)*3. Let g(y) = -6*y + 4. Let l be g(w). Let s = -8 + l. Is 20 a factor of s?
True
Suppose j = 56 + 65. Is j a multiple of 12?
False
Let j = -3 - -6. Is 27/(((-18)/(-4))/j) a multiple of 9?
True
Let u(n) = -n**3 + 3*n**2 - n - 3. Let a be u(3). Is 17 a factor of (-268)/a*(-6)/(-4)?
False
Is 14 a factor of (-14 + 13)/((-2)/136)?
False
Suppose -t + 2*b = 5*b - 108, -4*t + 3*b = -417. Is t a multiple of 21?
True
Let q(b) = -b**2 + 6*b + 7. Let m be ((-15)/((-3)/(-1)))/(-1). Is q(m) a multiple of 6?
True
Let w = -17 + 22. Suppose 5*i = -3*a + w, -2*i - 2 = 5*a - 23. Is 5 a factor of a?
True
Suppose 5*j + 3 = 2*c + 1, -3*j + 14 = -5*c. Is 3 a factor of 12/c + -2 + 15?
False
Suppose f - x = -2, 2*x - x = -2*f + 8. Suppose -f*k - 14 + 86 = 0. Is 12 a factor of k?
True
Let w(x) = -6*x - 30. Does 14 divide w(-16)?
False
Let x = -2 - 4. Does 4 divide (-10)/(-3) - 4/x?
True
Let f(v) = -3*v**2 - 11*v - 2. Let c(s) = -4*s**2 - 12*s - 1. Let k(o) = 2*c(o) - 3*f(o). Let x be k(-9). Suppose x*u = 60 + 12. Is u a multiple of 6?
True
Suppose 4*h - 5*h = 0. Suppose 5*o + 2 - 32 = h. Does 4 divide o?
False
Let w(q) = -3*q**2 + 8*q - 3. Let h(x) be the second derivative of x**4/12 - x**3/2 + x**2/2 + x. Let b(s) = -17*h(s) - 6*w(s). Is b(3) a multiple of 7?
False
Suppose -d = -0*d - 19. Does 5 divide d?
False
Let b(q) = 3*q**2 - 11*q + 24. Does 7 divide b(5)?
False
Suppose o = 2*o - 266. Suppose 0 = -0*u - 2*u + o. Let l = u + -95. Is l a multiple of 19?
True
Let b = -26 - -28. Suppose -b - 18 = -5*c, 2*q + c = 118. Is 19 a factor of q?
True
Let r = -12 - -29. Suppose 2*u - 3*u = -r. Is 14 a factor of u?
False
Let n = -22 - -67. Suppose -5*b = 5*m - n, 3*b + 2*m - 35 = -5. Suppose 5*s - b - 8 = 0. Is s even?
True
Let q(a) = -a**3 + 11*a**2 + 2. Let z be q(11). Let k(x) = 5*x**3 - 3*x**2 + x + 1. Let s be k(z). Is 17 a factor of 3 + -2 + s - 2?
False
Suppose 3*x + 36 = n, -5*n + x = -2*x - 