. Let j be l(6). Let s = j - u. Does 11 divide s?
True
Suppose -5*t = 5, -3*v - 2*t = -0*t - 136. Is v a multiple of 2?
True
Let v = -19 - -40. Suppose -v + 3 = -2*x. Is x a multiple of 7?
False
Let m be (-1)/2 + 23/(-2). Let d be (m/9)/(4/(-90)). Suppose 4 = 2*s - 5*o + o, -3*s - 2*o = -d. Is s a multiple of 7?
False
Let g be (0 - (0 + 0))/2. Suppose g = 3*d + 2*d - 160. Is 16 a factor of d?
True
Let p(u) = -u**2 - 10*u + 5. Let c be p(-8). Let f = -6 + c. Is f a multiple of 5?
True
Let b(c) = -c**3 + 7*c**2 - 5*c + 4. Let y(w) = -2*w - 3. Let h be y(-4). Is 12 a factor of b(h)?
False
Suppose -y + 1 = -91. Does 24 divide y?
False
Suppose -2*j - 5*v + 49 = -0*v, 2*j - v - 55 = 0. Suppose -5*t + j = -33. Is 8 a factor of t?
False
Suppose 2*w + g = -2*w + 625, 2*g = w - 145. Is w a multiple of 17?
False
Let f = -2 - -2. Suppose -3*s - 2*r = -37, f = -2*s + 4*r + 41 + 5. Suppose 5*u - s = 40. Is u a multiple of 11?
True
Let z(p) = -p**2 - 12*p - 15. Let h be z(-10). Suppose -s = -5*n + 22, -s = h*n + 4*s - 10. Does 4 divide n?
True
Suppose 131 + 79 = 5*n. Is 14 a factor of n?
True
Let u be -17 + 4 + (2 - 5). Let b = 32 + u. Is 4 a factor of b?
True
Let n = 54 - -21. Does 20 divide n?
False
Let u(w) = -7*w**3 - 2*w**2 + 6*w + 6. Let p(n) = n**3 - n**2 + 1. Let b(v) = -3*p(v) + u(v). Is 16 a factor of b(-2)?
False
Suppose -y - 2*y = 6. Let c = y + 2. Is (c - 10)/(-5 + 3) even?
False
Suppose 5*n - 5 = 40. Let j(g) = 2*g + 8. Is 7 a factor of j(n)?
False
Let q be ((-30)/9)/(6/(-153)). Suppose q = -o + 6*o. Does 6 divide o?
False
Let x = 5 - 5. Suppose -4*m = 4*l - 188, -m - 5*l + 63 = -x*m. Let d = m + -28. Is d a multiple of 15?
True
Suppose -6*u = -4*u - 240. Let j(p) = p**2 - 11*p + 10. Let o be j(10). Suppose -4*y + u = -o. Does 16 divide y?
False
Let h be 6/(-4)*(-2 + -2). Let q = h + -5. Is q + 1 - (-6 + -1) a multiple of 8?
False
Suppose 4*f - 12 - 16 = 0. Does 2 divide f?
False
Let h(f) = f - 2. Let i(m) = 5*m - 8. Let y(o) = o - 8. Let n be y(6). Let j(b) = n*i(b) + 9*h(b). Does 2 divide j(-4)?
True
Suppose -2*s - 28 = -224. Suppose -26 + s = -3*d. Does 18 divide 2 + d*2/(-3)?
True
Let j = 84 - 51. Does 6 divide j?
False
Let h(t) = -4*t - 3*t + t**2 + 3*t - 6. Let j be h(6). Does 5 divide j*(-6)/(-9) - -1?
True
Is 11 a factor of (17/(85/(-330)))/((-6)/16)?
True
Let v(f) = -f**3 + 5*f**2 + 7*f - 2. Let y be v(6). Let b be (72/5)/(6/40). Suppose 3*g = -5*t + b, 5*g - 238 + 78 = y*t. Does 12 divide g?
False
Suppose 0 = 3*m + 9, 2*y + 17 = 3*y - 2*m. Is y a multiple of 3?
False
Suppose -165 = -y - 5*v, 3*y - 5*v + 3*v - 444 = 0. Does 8 divide y?
False
Let a(c) = c**2 - 2*c - 18. Does 6 divide a(11)?
False
Let k(w) = w**3 - 3*w - 4*w**2 + 10*w**2 + 2*w**2 + 13 - 5*w. Let q(h) = 8*h**3 + h. Let g be q(-1). Does 3 divide k(g)?
False
Suppose -16 = -3*b + 5*f, 2 + 2 = 5*b + 3*f. Suppose -3*t = -2*j - 69, 2*t - 2 = -j + 37. Suppose -b*u + t + 27 = 0. Is u a multiple of 8?
True
Suppose n + 380 = 3*k, -4*k + 0*k + 508 = -n. Is k a multiple of 24?
False
Let t be (-1 - 82) + -3 + 6. Does 20 divide (3 - 0)/((-12)/t)?
True
Suppose -4*r + 77 = -23. Does 10 divide r?
False
Is (-35)/14 - 98/(-4) a multiple of 10?
False
Suppose -2*t + 3*t - b = 151, t = -2*b + 157. Is 14 a factor of t?
False
Let w(i) = -i**3 + 6*i**2 - 6*i - 3. Let q be w(5). Let a = q - -24. Is 8 a factor of a?
True
Suppose 2*l - 12 = -2*l. Is 17 a factor of l/(-9) + 616/12?
True
Does 15 divide (-7)/(245/(-150))*7?
True
Let b = -2 - -2. Suppose b = 9*s - 4*s - 190. Is 8 a factor of s?
False
Suppose -55 = 5*n - 180. Is 16 a factor of n?
False
Let k = 484 - 81. Is 51 a factor of k?
False
Let n = 195 + -108. Is 27 a factor of n?
False
Let l = -11 - -25. Is l a multiple of 7?
True
Let u(c) = 3*c**2 - c - c**3 + 1 + 2*c**3 - 6*c**2. Let j be u(3). Does 8 divide j/(-5) + 309/15?
False
Suppose -5 = -2*a - 3. Does 21 divide a/3 + 1760/48?
False
Let b = -5 + 25. Is 10 a factor of b?
True
Let w(h) = h**2 + 10*h + 3. Suppose 4*v - 5*j = -40, 2*j + 40 = -4*v + 3*j. Is 3 a factor of w(v)?
True
Let a = 15 + -8. Let u = a + 3. Does 5 divide u?
True
Suppose 3*f - k + 29 = 366, -563 = -5*f + 3*k. Is f a multiple of 16?
True
Suppose 0 = 4*f - 8*f + 300. Is f a multiple of 25?
True
Is (-1)/9 - 1352/(-18) a multiple of 25?
True
Suppose -i - i = -60. Is i a multiple of 12?
False
Is 2 a factor of 4/1 + (1 - 0)?
False
Let w = -16 - -27. Suppose -w = 3*z - 35. Is 8 a factor of z?
True
Let f(n) = 20*n**2 + 1. Suppose 3*o = 4*o + 1. Does 12 divide f(o)?
False
Let a be ((-2)/6)/(3/63). Let d be (2 + -5)*26/6. Let y = a - d. Is 3 a factor of y?
True
Suppose -8*k - 15 = -3*k, -2*n + 109 = -k. Does 10 divide n?
False
Let r = 15 + -15. Suppose -5*c + 0*c + 85 = r. Is c a multiple of 17?
True
Let s(n) be the second derivative of -1/2*n**2 + n + 0 + 2/3*n**3 - 1/12*n**4. Does 3 divide s(2)?
True
Let q(d) = d**2 + 4*d + 3. Let h be q(-2). Is 39 + (-1 - (-1 - h)) a multiple of 20?
False
Let g(l) = 64*l**3 - l + 1. Let u be g(1). Suppose -4*w - a = u, 4*w - a + 38 = 2*w. Let k = w + 28. Is 5 a factor of k?
False
Let s(y) = y**2 + 5*y - 6. Let h be s(-6). Suppose -2*o + h*o = -60. Does 10 divide o?
True
Let p(q) = -q**2 + 11*q - 13. Let x be p(10). Let s = 7 + x. Suppose -3*b + 4*b + 3*n - 20 = 0, -s*b + 30 = 2*n. Is 2 a factor of b?
False
Suppose 3*k + 24 = -5*y + 304, -4*y + 197 = -3*k. Suppose -2 = 3*t - y. Suppose -32 = -4*u + 2*v, 4*u - 3*u = 5*v + t. Is 7 a factor of u?
True
Let j(o) be the first derivative of -3*o**2 - 6*o + 13. Let d be 17/(-2) + (-2)/4. Is j(d) a multiple of 24?
True
Let s = 7 + 5. Is 19 a factor of (-2 + -36)*(-6)/s?
True
Let x(w) = w - 14. Let s(b) = 14. Let a(q) = 2*s(q) + 3*x(q). Is 7 a factor of a(10)?
False
Let p(o) = 3*o + 15. Let u be p(-7). Does 20 divide ((-52)/u)/((-3)/(-18))?
False
Let t = 83 + -31. Is 26 a factor of t?
True
Let n(g) = g**3 - 9*g + 6. Is n(4) a multiple of 17?
True
Let j(f) be the third derivative of -3*f**2 + 0 - f**3 + 1/60*f**5 + 0*f**4 + 0*f. Is j(-5) a multiple of 8?
False
Suppose 7*b - 8*b = 0. Suppose b*r + 16 = r. Does 4 divide r?
True
Suppose 0 = 2*q - 6. Suppose 0 = 5*m - 5*p - 65, p = -q*m - 4*p + 31. Does 3 divide m?
True
Suppose 0 = -b + 63. Does 9 divide b?
True
Let c be 8/4 + 6 - 1. Suppose 0 = -w + 16 - c. Is w a multiple of 9?
True
Is 4 a factor of ((-96)/80)/(3/(-20))?
True
Let x(o) = 5*o**2 + 6*o - 4. Does 13 divide x(-3)?
False
Let u = 209 - 122. Suppose 4*s = u + 5. Is 13 a factor of s?
False
Suppose 2*z = -4*p + 42, -4*p - 4*z + 43 - 7 = 0. Suppose -4*d + p = -q, -1 = -d - 3*q + 2. Does 2 divide d?
False
Let p(m) = -m**3 + 5*m**2 + 2*m + 2. Let q(u) = -u**2 - 7*u - 6. Let d be q(-5). Is 13 a factor of p(d)?
True
Let k(g) be the third derivative of -g**4/6 - 7*g**3/6 + 4*g**2. Does 13 divide k(-8)?
False
Suppose -3*b - p = 4, p = b + 2*p + 4. Suppose 114 = -3*j - b*j - 2*c, 5*c = j + 38. Let x = -16 - j. Does 20 divide x?
False
Suppose 4*o + o = 570. Suppose 5*p - o = 36. Suppose 2*a - p = -a. Is a a multiple of 10?
True
Let c be (-5)/3*(-28 - 5). Suppose -r - 5*k = -c, -2*r + 6*k + 138 = 2*k. Suppose -4*j + r + 159 = 0. Does 19 divide j?
False
Is 8 a factor of (-1 + 0)*(-141)/3?
False
Let o = -137 + 228. Does 22 divide o?
False
Let s(u) = -2*u**2 + 4*u**2 + 7 - 2 - 2*u - 1. Is 14 a factor of s(4)?
True
Let m(h) = h**2 + h - 9. Does 8 divide m(-8)?
False
Let s(j) = j**2 + 4*j - 5. Suppose 0 = -5*m + 4*i - 29, 0 = -3*i + 3. Let y be s(m). Let t(p) = -p + 16. Is t(y) a multiple of 8?
True
Suppose -3*b + 2 = 26. Let y = 1 - b. Is 9 a factor of y?
True
Let c be (-5)/((-10)/4) - 2. Suppose c = 5*q - 6 - 9. Suppose -q*s = -8*s + 15. Is 2 a factor of s?
False
Let f(b) = 20*b - 6. Is 20 a factor of f(4)?
False
Let c(j) be the third derivative of -j**6/120 - j**5/6 - 5*j**4/12 - j**3/3 + 2*j**2. Is 2 a factor of c(-9)?
False
Let k = -16 - 11. Let v = k + 42. Is 6 a factor of 4/10 - (-174)/v?
True
Let z = 4 + -4. Suppose z*c = -c + 20. Is c a multiple of 18?
False
Is 3 a factor of 0 + 2 + (-2 - -3)?
True
Let c(t) = -t + 9. Let x be c(9). Suppose x = -6*g + g + 15. Suppose 2*s - 200 = -g*s. Does 20 divide s?
True
Suppose -3 = g - 2*g. Suppose 6 = -0*s + g*s. Does 2 divide s?
True
Let l = 4 + -2. Suppose -u = -l*u + 2. Suppose 2*h - u*j = 20, 3*h = 2*h + 5*j - 6