et i(q) = 7*q**2 - q + 2. Let m be i(2). Suppose 5 + 3 = 4*t. Suppose 5*v - t*b = 20 + m, -v = 3*b - 13. Is 4 a factor of v?
False
Suppose 6*y = 4*y - 5*f - 1, -y + f + 3 = 0. Suppose -y*t = -3*u - 12, 3*t + 30 = 8*t + 3*u. Is t a multiple of 2?
True
Let w be (-40)/50*5/(-2). Suppose -6 = -w*j + 36. Let i = j - 8. Is i a multiple of 9?
False
Suppose -18 + 318 = 3*b. Is b a multiple of 19?
False
Suppose -5*a + 2*y = -0*y - 1298, 0 = -a + 2*y + 258. Is a a multiple of 52?
True
Let b = 4 + -8. Let r be -3*b*(-6 - -1). Is 1*(-2 - r/3) a multiple of 9?
True
Suppose 20 = 4*p + 4*q - 6*q, -3*p + 9 = -3*q. Does 7 divide p?
True
Let g = -33 + 61. Does 14 divide g?
True
Let j = 0 - 1. Let c be 1 + 1*6/j. Does 2 divide (-2)/4*(1 + c)?
True
Suppose -3*b + 47 + 67 = 0. Does 38 divide b?
True
Let z(j) = j**2 - 3*j + 6. Suppose 7*y = 3*y + 24. Does 12 divide z(y)?
True
Suppose 4*j + 112 = 544. Is j a multiple of 27?
True
Suppose 5*t + s - 73 = 0, 8*t - 3*t - 85 = 5*s. Is 15 a factor of t?
True
Suppose 4*g = -g - 10. Is 4/(-8) + (-71)/g a multiple of 20?
False
Let x = -216 + 92. Let n be (-2)/(-8) - x/16. Let t = 13 - n. Does 2 divide t?
False
Suppose 66 = 5*a - 4*t - 4, -3*a = t - 25. Does 3 divide a?
False
Suppose 4*v + v = 15. Suppose -8*a + 80 = -v*a. Does 8 divide a?
True
Suppose -5*p = -4*o + 225, -251 = -3*o + 2*p - 91. Does 16 divide o?
False
Let t = 5 + -14. Let f be (t - -2)/(-1) - 2. Suppose -f*u + 44 + 32 = 4*x, -3*u - 2*x = -46. Is 8 a factor of u?
True
Suppose -2*f + u = -7*f - 53, -3*u + 39 = -3*f. Let l = f - -15. Is 16 a factor of l/18 - (-426)/27?
True
Let z(t) = t + 6. Let o be z(-4). Suppose 4*x - n = 97, 5*n = -o*x + 3*x - 29. Does 8 divide x?
True
Let k(h) = h**3 - h**2 - 5*h + 9. Does 13 divide k(6)?
False
Suppose -2*s = -147 - 45. Is s a multiple of 22?
False
Let f = 2 - 4. Is f + (-2 - -1) + 9 a multiple of 3?
True
Does 12 divide ((-62)/3)/(6/(-9))?
False
Suppose -4*j - 12 = -4*n, 15 = 6*n - n. Let i be (54 + -1)/(1 - j). Let w = 75 - i. Is 11 a factor of w?
True
Suppose 0 = 3*i - 3*q + q - 16, 0 = -3*i - 2*q + 20. Let u be (-4)/6 - 10/3. Is 2 a factor of (6/(-3))/(u/i)?
False
Suppose 0 = 2*v - 2*s - 2, 5*v - s - 14 = 3. Suppose 53 - 149 = -v*q. Is 12 a factor of q?
True
Let v = 9 + -15. Let b(i) = -i**2 - 6*i - 6. Let z be b(v). Let r(t) = -2*t - 3. Is r(z) a multiple of 5?
False
Let d = 491 - 274. Suppose -7*b + y = -2*b - 229, 5*b + 2*y = d. Let v = b - 32. Does 11 divide v?
False
Let l = 213 - 119. Let w = l + -28. Does 22 divide w?
True
Let u = 64 + -2. Is u a multiple of 62?
True
Let b(u) = -27*u**3 + 1. Let r be b(1). Let i = r - -36. Does 10 divide i?
True
Let d = -6 + 9. Is (304/12)/(2/d) a multiple of 19?
True
Let i(g) = -14*g**3 - g**2 + g + 1. Is i(-1) a multiple of 13?
True
Let n = -116 + 214. Let g be 48 - 7/(7/2). Let l = n - g. Is l a multiple of 26?
True
Let t be 3/(-3*2/(-6)). Suppose t*y - 30 = -4*a + 49, 0 = -5*a - 4*y + 98. Is a a multiple of 11?
True
Let n(l) = 20*l**3 - 3*l**2 + 3*l - 2. Let q be n(2). Let j = -81 + q. Is 16 a factor of j?
False
Suppose 2*p - 2*u = -3*u - 12, 5*p - u + 23 = 0. Let s be -6 - p - (1 + 17). Let z = 31 + s. Does 6 divide z?
True
Suppose -76 = 4*y - 6*y. Does 16 divide y?
False
Let p(d) = 66*d**2 - 3*d - 3. Let v be p(-2). Let j = v + -135. Suppose -n + j = 2*n. Is 23 a factor of n?
False
Let w(b) = 0*b + 0*b + b + 4. Let f be w(-4). Suppose f = -d + 29 - 0. Is d a multiple of 16?
False
Suppose 2*p = 2*x + 2, 10 = 2*x + 2*p - 0*p. Suppose -3*s + x*s + 14 = 0. Is s a multiple of 14?
True
Let s(v) = 4*v - v**2 - 8*v + 2 + 0*v**2. Let i be s(-3). Is (-30)/1*(-2)/i a multiple of 5?
False
Let w(b) = -b + 1. Let p be w(3). Let r be (-1)/(p*1/(-2)). Let v(s) = 10*s**2 + 1. Does 4 divide v(r)?
False
Let i be (-24)/(9*(-2)/(-60)). Let u(h) = -22*h + 3. Let m be u(-5). Let c = i + m. Does 16 divide c?
False
Let b(r) = r**2 + 4*r - 2. Let n be (1/(-1))/(5/25). Let f be b(n). Suppose -3*a = 3*m - 18, -2*a - a + 2*m + f = 0. Does 3 divide a?
True
Suppose -347 + 1619 = 12*r. Does 11 divide r?
False
Let f(p) = -p**3 + 2*p**2 + 3*p. Let q be f(-2). Let b = -59 + 82. Let d = b - q. Does 5 divide d?
False
Is 12 a factor of 2/(-3)*(-3807)/18?
False
Let r(t) = t**2 + t - 5. Is r(3) even?
False
Let a(r) = -r**3 - 7*r**2 + 5. Let h be a(-7). Let v = h + -4. Is 5/(10/84)*v a multiple of 15?
False
Let o = 13 - 0. Suppose 0 = -3*l + o + 2. Suppose -2*w - 216 = -5*a - 3*w, -l*w = -4*a + 196. Is 28 a factor of a?
False
Let a(u) = u**2 - 4*u - 1. Let l be a(4). Is 11 a factor of ((-6)/l)/((-24)/(-132))?
True
Suppose 2*b - 4*p = 4*b + 10, 2*b - 11 = 3*p. Let t be (7/(-5) + b)*-80. Let g = 52 - t. Is g a multiple of 8?
False
Suppose 3*u = 2*f - 8, -4*f + 3*u = -u - 16. Suppose 4 + 6 = -4*b + 2*m, 5*b - f = -3*m. Does 9 divide (1/2)/(b/(-24))?
False
Suppose 9*k = -f + 4*k - 11, -5*f + k - 29 = 0. Suppose z + 10 = j, -3*j - z = 3*z - 37. Let m = f + j. Does 5 divide m?
True
Does 9 divide (-35)/2*42/(-35)?
False
Suppose -18 + 1 = 3*b - 4*m, 3*b + 15 = 3*m. Suppose 0 = -0*s + 5*s - 30. Let x = b + s. Is 3 a factor of x?
True
Let p(w) = -4*w**2 - w - 7. Let q(z) = 4*z**2 + z + 8. Let x(d) = -7*p(d) - 6*q(d). Is 2 a factor of x(-1)?
True
Let q = 22 + -13. Let t = -4 + q. Suppose -75 - 65 = -t*s. Does 9 divide s?
False
Let t be 7*3/((-6)/(-2)). Let r(w) = 1 - 3 + 5*w**2 - 1 - 4*w**2 - 3*w. Is 8 a factor of r(t)?
False
Does 10 divide (-6)/14 - 1/(14/(-2946))?
True
Let r(m) be the second derivative of -m**4/12 - 5*m**3/6 - m**2 + m. Let b be r(-6). Is (10/b)/((-2)/56) a multiple of 15?
False
Let l = 138 + -101. Does 5 divide l?
False
Suppose 4*p - 173 = 3*o + 48, -o - 223 = -4*p. Is 14 a factor of p?
True
Let t(q) = -q**2 - 6*q + 4. Suppose 20 = -2*a + 5*m, 5*a + 4*m = -6 - 11. Is 5 a factor of t(a)?
False
Is (-2)/(-2) - -2 - -1 a multiple of 4?
True
Suppose -z - 2*z + 144 = 0. Does 12 divide z?
True
Suppose -8 = -3*q + 25. Is 11 a factor of q?
True
Let c(r) = -4*r - r + 6 + 2*r. Is c(-5) a multiple of 10?
False
Let m = -118 + 259. Is m a multiple of 25?
False
Suppose 2*z + 0*z = 0. Suppose o - 1 = -s, z = 5*s - o - o - 26. Suppose 2*x + 26 = 4*p - 8, 3*p + s*x - 42 = 0. Is p a multiple of 4?
False
Suppose 2*c = -3*w - 8, -2*w + 5 = c - 5*w. Let j be 1 - (c - (-1 + 0)). Let f = j - -8. Does 9 divide f?
True
Let m(o) = -11*o - 2. Let j be m(-5). Let l be ((-3)/(-9))/(2/30). Suppose l*q - j = 12. Does 9 divide q?
False
Suppose 2*c + c = 12. Suppose -2*r = -3*p - 7, r + 0*p + 2 = -4*p. Suppose -x + 5*h = -c, 3*h = r*x + x - 24. Does 9 divide x?
True
Let z(f) = -2*f**3 - 3*f**2 - 8*f + 7. Let p(k) = 3*k**3 + 3*k**2 + 9*k - 7. Let v(m) = 3*p(m) + 4*z(m). Does 16 divide v(5)?
True
Let l be 711/99 - 4/22. Let v(p) = -p**3 + 7*p**2 + p - 3. Does 4 divide v(l)?
True
Let i(v) = v**3 + 8*v**2 + 4*v - 5. Suppose -13 = 3*x + 8. Let c be i(x). Let l = 25 - c. Does 7 divide l?
False
Let j = -28 + 60. Is 16 a factor of j?
True
Let s(r) = -r**2 - 12*r - 20. Let m be s(-10). Suppose m*o + 2*o - 76 = 0. Is o a multiple of 19?
True
Suppose -3*r + 25 = 2*r. Suppose -4*l - 2*t + 86 = 0, -r*l - 4*t + 0*t + 100 = 0. Does 8 divide l?
True
Let s(o) = -9*o**2 + 4*o - 2. Let n be s(3). Let p = n - -15. Let q = 98 + p. Does 14 divide q?
True
Suppose -4*b - 56 = 4. Let s = 24 + b. Is s a multiple of 2?
False
Let p(j) = -11*j - 3. Let z(n) be the second derivative of -5*n**3/3 - n**2 + n. Let k(a) = 4*p(a) - 6*z(a). Is 11 a factor of k(2)?
False
Let u = 0 - -4. Suppose -5*a + 5*y - 5 = y, -u*a + 17 = y. Let r(w) = 2*w**3 - 4*w**2 - 2*w + 2. Does 14 divide r(a)?
True
Let j = -53 - -37. Let v = 40 - j. Does 12 divide v?
False
Let n(p) = p + 5. Suppose 0 = -u + 6*u - 3*t - 35, -5*t - 13 = 3*u. Suppose -4 = -u*s + 12. Is 9 a factor of n(s)?
True
Does 11 divide (-260)/(-5) + 6/(-2)?
False
Let t(i) = -i**3 - 6*i**2 - 4*i + 14. Is 21 a factor of t(-7)?
False
Let t = 1 + 29. Let m = -26 - -46. Is (-16)/m*t/(-1) a multiple of 24?
True
Let x(a) = 68*a - 43. Is 25 a factor of x(4)?
False
Suppose 31 - 9 = i. Is i/5 + (-3)/(-5) a multiple of 2?
False
Let n(s) = 4*s + 2. Suppose 3 = 3*y, 0 = -3*b - 0*b + y + 14. Does 11 divide n(b)?
True
Suppose -1 = -k - 5. Let i(x) = x**2 - 3*x - 3. Is 5 a factor of i(k)?
True
Let s(k) = -2 + 0*k + 0*k - 10*k - 2*k. Let v be 