de i?
True
Suppose 0 = 4*n - 16. Suppose n = b - 10. Is 11 a factor of b?
False
Let g(x) = x**3 - 6*x**2 + 4*x + 6. Let p be g(5). Let t = p - 0. Is -5*((-24)/15)/t a multiple of 8?
True
Let y(g) = -g**2 + g + 27. Is 16 a factor of y(0)?
False
Let s(b) = 16*b**2 - 1. Let o be s(1). Suppose l = q + o, 2*l - 4*l - q = -21. Does 9 divide l?
False
Suppose 5*f - 3*f + 2 = 0, f = -5*y + 119. Does 8 divide y?
True
Suppose -2*k + 16 = -2*l + 3*l, k = 5*l - 14. Suppose k = 4*s - 2*t, 5*s - 2*t - 4 = 5. Suppose j = 2*u + s*j - 12, 5*u + 2*j - 45 = 0. Is 9 a factor of u?
False
Suppose 67 = -y + 203. Let j = y + -75. Suppose 14 = 5*z - j. Is z a multiple of 9?
False
Let o(f) = f**3 - 2*f**2 - 4*f + 1. Let n(y) be the third derivative of -y**3/6 + 4*y**2. Let j(z) = 2*n(z) + o(z). Is 6 a factor of j(4)?
False
Suppose -g = 2*g - 66. Is 11 a factor of 0/(-12) + g/2?
True
Let p = 43 - -47. Is 10 a factor of p?
True
Let c(a) = -2*a. Let f be c(1). Does 14 divide f/6 - (-170)/6?
True
Let i(k) = k - 3. Let c(f) = -f**2 + 8*f - 1. Let v be c(7). Let q be i(v). Suppose q*o = -o + 132. Is 18 a factor of o?
False
Suppose t = 6*t - 20. Suppose 4*r - 76 = -3*w + w, 0 = -t*w - r + 166. Does 11 divide w?
False
Let t = 54 - 31. Suppose -t = 3*p + 1. Let l = 17 + p. Is 9 a factor of l?
True
Let z = 3 + -6. Let w = -6 - z. Is -14*(0 - w)*-1 a multiple of 17?
False
Let n = -9 + 87. Let r = -40 + n. Is r a multiple of 8?
False
Let d be -4 - 6/((-9)/3). Let l = 7 + d. Suppose -l*n + 7 = -8. Is n a multiple of 2?
False
Suppose -x - 2*x = -4*s - 46, 0 = -4*s - 4. Suppose -j + 4*u + 38 = x, -5*u + 140 = 3*j. Suppose -4*y = -0*y - j. Is y a multiple of 10?
True
Let f(m) = 7*m + 8. Let l be f(12). Let r = l + -63. Is 11 a factor of r?
False
Is (-307)/(-5) - (-12)/(-30) a multiple of 5?
False
Does 24 divide (-1)/(4/210)*30/(-45)?
False
Suppose 3*b - 22 = b. Is 2 a factor of b?
False
Suppose -c = 0, -6*b - 2*c + 56 = -2*b. Is b a multiple of 4?
False
Let m(f) = f**2 + 5*f + 6. Let d be m(-4). Let h be -2 + (2 - 3) + 5. Suppose -d*w + o + 23 = h*o, 3*w + 3*o - 42 = 0. Is 8 a factor of w?
False
Let q = -20 - -31. Let d = q - 4. Does 3 divide d?
False
Let g(w) = w**2 - 11*w + 8. Let c(s) = s**2 + 5*s - 4. Let n be c(-7). Let r be g(n). Does 12 divide r/(-7) + (-164)/(-14)?
True
Suppose 5*c - 4*l - 87 = 0, -4*c + 10*l - 5*l + 66 = 0. Does 15 divide c?
False
Suppose 0*a + 12 = 3*a. Let s be 25*2 + 2 - 2. Suppose a*j + j = s. Is j a multiple of 4?
False
Let y be (45/6)/(1/2). Let q = y - -3. Is 8 a factor of q?
False
Is 8 a factor of 129/6*(2 + 0)?
False
Let s(t) = t**3 + 2*t**2 + 264. Is 33 a factor of s(0)?
True
Let t = 102 - -44. Does 11 divide t?
False
Let f(n) = n + 3. Let v be f(0). Let l(q) = q - 3. Let k be l(8). Suppose t + v = k. Is t even?
True
Let l be (-86)/(-18) + 8/36. Is 36/l - 2/10 even?
False
Suppose 2*z + 14 = -4*a, z + 7 + 8 = -4*a. Is z/1 + 0 + 12 a multiple of 13?
True
Let f(b) be the first derivative of b**4/2 - 2*b**3/3 + b**2/2 - b - 4. Suppose 4*p + 3*d + 1 = 0, 2*d = p + 4*p - 16. Does 4 divide f(p)?
False
Let r(h) = -h**3 + 6*h**2 + 4*h + 1. Does 5 divide r(6)?
True
Let d = 11 + -19. Does 9 divide (5 + -1)*(-48)/d?
False
Let y = -53 - -123. Let z = y + -48. Is z a multiple of 6?
False
Let z(q) = 4*q + 6. Suppose 0 = 3*y - 5*y + 12. Does 15 divide z(y)?
True
Suppose 5*c - i = -239, -4*c - 2*i = -4*i + 196. Let b = -30 - c. Does 7 divide b?
False
Is (13 + 2)*(-56)/(-70) a multiple of 3?
True
Let g = 197 - 96. Is g a multiple of 11?
False
Let u = 91 + -323. Let i = u + 350. Suppose -i = -3*d + 5*f, 3*d - 21 = 2*d - 2*f. Is 14 a factor of d?
False
Suppose -256 = 2*o - 4*o. Suppose -10*f + 6*f = -o. Is f a multiple of 12?
False
Let x = 0 - 0. Is (-2)/(x + (-1)/12) a multiple of 24?
True
Suppose 0 = 18*s - 30 - 438. Is s even?
True
Let t be 248/5 + 8/20. Suppose -4*x + 6 = 3*h - t, -5*h = 3*x - 75. Suppose 0 = -a - 3*a + h. Is a a multiple of 2?
False
Let q be 5*2*2/4. Suppose 4*o - 201 = 47. Suppose 0 = -q*n + o - 7. Is n a multiple of 11?
True
Let w = -15 + 15. Let t(b) = -b**3 + 6. Is 3 a factor of t(w)?
True
Suppose 0 = -4*r - 2*h + 184, 2 = -3*r - 4*h + 135. Does 5 divide r?
False
Suppose -8 = -c + 2*y, -y + 4 = -c - 2*y. Suppose c*j + 5*j = 135. Is 8 a factor of j?
False
Is 24 a factor of (-32)/(-5)*(79 - 4)/5?
True
Suppose -9*r - 172 = -13*r. Suppose 2*l - 1 - r = 0. Is l a multiple of 11?
True
Suppose 70 = 3*q - 44. Suppose -v = -2*t - 2*t - q, -v = -t - 23. Does 9 divide v?
True
Suppose o - 168 = -5*i, -2*o + i - 5*i + 306 = 0. Is 11 a factor of o?
True
Suppose -6*o - 30 = 2*h - o, -3*o - 36 = 3*h. Let v = h - -22. Does 4 divide v?
True
Does 3 divide (-294)/(-28) + 2/4?
False
Suppose 180 - 476 = 4*z. Let a = -50 - z. Is 20 a factor of a?
False
Let m = 71 + -47. Is 12 a factor of m?
True
Let w(p) = p**3 + p**2 - 4*p - 3. Let l be w(-2). Suppose -2*f = 25 - l. Is (-28)/2*18/f a multiple of 13?
False
Suppose 5*a - 5*t + 842 = 9*a, a - 212 = -2*t. Is a a multiple of 26?
True
Is 13 a factor of ((-91)/14)/((-2)/4)?
True
Let d = -2 - -4. Suppose d - 18 = f. Let z = -7 - f. Does 8 divide z?
False
Let i(a) be the third derivative of a**8/210 - a**6/360 + a**5/120 + a**4/12 + a**2. Let z(w) be the second derivative of i(w). Is z(1) a multiple of 13?
False
Let f = 13 - 7. Let u = f - 4. Suppose 5*k = 3*d + 3*k - 29, -u*d = -k - 20. Is 6 a factor of d?
False
Is 897/9 - (-6)/18 a multiple of 25?
True
Let q = -30 - -53. Is q a multiple of 6?
False
Is 30 a factor of 112/12*(12 + 0)?
False
Let m = 2 - 2. Suppose 3*v - 2*v + 12 = m. Does 5 divide v/1*(-2)/4?
False
Suppose 7*m - 3*m - 20 = 4*h, -3*m + 2*h = -13. Suppose j = -2*j - m. Is 6 a factor of -69*((-1)/(-3))/j?
False
Is 13 a factor of 54/4 + 10/(-20)?
True
Suppose -13*r + 18 = -11*r. Is r even?
False
Let y(t) = -t**3 + 4*t**2 + t + 1. Let i be y(4). Suppose o - i = -2. Let m(s) = 2*s + 4. Is 9 a factor of m(o)?
False
Suppose -24 = 2*b - 2. Let z(f) = -f**3 - 10*f**2 + 9*f - 12. Does 10 divide z(b)?
True
Suppose -2*l - 6 = -3*v + 2, -v - 2*l + 8 = 0. Suppose 0 = v*w - 6 - 18. Suppose -3*q = -66 + w. Is q a multiple of 10?
True
Suppose 4*x - 5*x = 2*d - 8, 4*d + x - 16 = 0. Does 5 divide 10/(3 - (-3 + d))?
True
Let r(g) = g**2 + 12*g + 2. Let o be r(-8). Let w = -5 - -2. Does 5 divide (1 - 0)/(w/o)?
True
Let s(p) = p**2 + 9*p - 4. Let k be s(-10). Let d = k + 9. Is d a multiple of 5?
True
Let b(y) = 10*y - 3. Let q be 1 - ((-2 - 1) + 0). Does 13 divide b(q)?
False
Suppose l + z - 26 = 17, 2*z = 2. Is l a multiple of 14?
True
Suppose 2*b = 5*f - 92, 3*f - 3*b = 30 + 18. Let y be f - 2/4*4. Is 536/y - (-8)/36 a multiple of 15?
True
Suppose -3*b = -12 - 6. Let n be (-4)/b - (-98)/21. Suppose n = -s + 26. Does 19 divide s?
False
Suppose -11*m = -9*m - 132. Is 11 a factor of m?
True
Let h(y) be the second derivative of -y**5/20 + 5*y**4/12 + 2*y**3/3 - 2*y**2 - 7*y. Does 8 divide h(5)?
True
Suppose -3*r - 24 = -r. Let t = r + 22. Is 2 a factor of t?
True
Let n = 192 + -113. Does 13 divide n?
False
Let v(l) = -2*l - 2. Let x be v(-5). Let t(q) = q - 1. Does 7 divide t(x)?
True
Let c(o) = o - 35 + 0*o + 36. Does 16 divide c(15)?
True
Let c(y) = -y**2 - 8*y + 2. Let t(r) = -r - 8. Let p be t(0). Let f be c(p). Is 234/12*f/3 a multiple of 6?
False
Let m(c) = -c. Let p be m(-4). Suppose 0 = 3*a - p*b - 59, 5*a - 34 = -5*b + 6. Is 13 a factor of a?
True
Let g = 2 + -2. Suppose 0 = -0*r - 2*r + 4. Suppose -3*k - 2*h - 3*h + 141 = g, r*h - 6 = 0. Is k a multiple of 13?
False
Let v(k) = -k**2 - 5*k - 3. Let d be v(-6). Let n = d + 5. Does 4 divide (-21)/12*(n - 0)?
False
Let h(q) = -q**3 - 4*q**2 + q + 1. Let j be h(-4). Let d(k) = 2*k - 3. Let t be d(2). Let m = t - j. Is m a multiple of 3?
False
Suppose n + 4*l = 25, 8*n - 3*n - 2*l - 15 = 0. Suppose 4*i + 1 = -n*z, 2*i + 2*z - 8 = -i. Is 2 a factor of ((-2)/i)/(1/(-6))?
True
Let c = 1 + -1. Suppose c = -y + 2. Suppose -2*l = g - 10 + 4, 2*g = y*l + 24. Is g a multiple of 10?
True
Let m(i) = -i**3 + 6*i**2 - 4*i - 6. Let z be m(5). Let l be (-27)/(-6)*(-16)/(-6). Is 13 a factor of l + (z - -4) + -2?
True
Let g(f) be the second derivative of f**3/3 - 11*f**2/2 + 4*f. Let x be g(9). Is 10 a factor of 1*x/((-7)/(-10))?
True
Let v(y) be the first derivative of y**4/4 - 10*y**3/3 +