 -5*t + 4*s. Let m = t - -15. Let i = m + -31. Is i a multiple of 10?
True
Suppose -5*v + 21 = -34. Suppose 0 = 3*k - k - h - v, -2*h = 10. Let a(n) = 2*n**3 - 3*n**2 - 2*n - 3. Is a(k) a multiple of 11?
False
Let m = -179 + 353. Is m a multiple of 29?
True
Let p(s) = 26*s - 22. Does 16 divide p(7)?
True
Suppose -2*n + 4 = 2*n. Let w be (1/n)/(2/104). Suppose -w = -2*j - 0*j. Is 13 a factor of j?
True
Let h(f) = -2*f**3 - 5*f**2 - 5*f - 2. Let x be h(-3). Let y(k) = -k**3 - k**2 + 6*k - 1. Let u be y(-3). Let z = x - u. Does 7 divide z?
False
Suppose -7*t + 2*t = -45. Let n = t - 4. Is 5 a factor of n?
True
Let g = 3 - 3. Suppose g*y + 7 = y. Does 2 divide y?
False
Suppose 0*s + c = 3*s - 7, 0 = -s - c + 5. Suppose 3*j + 25 = 2*b, -s*j = -b + 3*b - 31. Does 3 divide b?
False
Let x(a) = a - 11. Let c be x(-10). Let u = c + 49. Does 8 divide u?
False
Let i(r) = 19*r + 2. Let o(a) = -9*a - 1. Let f(q) = 4*i(q) + 7*o(q). Is 5 a factor of f(1)?
False
Let d = 9 - 4. Suppose -16 = y - d*y. Does 3 divide y?
False
Let x be 4 + 1 + (2 - 2). Let a(f) be the first derivative of -f**4/4 + 2*f**3 - f**2/2 - 5*f + 1. Is a(x) a multiple of 13?
False
Let z(r) = r**3 + 5*r**2 + 2. Let l be z(-5). Let w = 4 - l. Suppose 22 = w*o - 0. Does 7 divide o?
False
Let p(k) be the first derivative of -2*k**2 - 8*k - 2. Is 16 a factor of p(-6)?
True
Suppose 8*y - 9 - 543 = 0. Is 9 a factor of y?
False
Suppose 0 = -3*d + 2*d - 2. Let g = d + -11. Is 3 a factor of (-1)/4 - g/4?
True
Let g(w) = -w**2 + 6*w + 6. Let a be g(6). Suppose -2 = t - a. Suppose 2*m - m - t = 0. Is 2 a factor of m?
True
Suppose -4*p = -2*o - 8, p + 5*o + 6 - 19 = 0. Suppose -3*m = 3*d - 3, d + 0*d - p*m = 13. Is (-2208)/(-44) - d/22 a multiple of 18?
False
Suppose -4*j = -2*y + 76, -3*j - 132 = -4*y + 45. Is 12 a factor of y?
True
Let z(b) = 4*b**3 - 3*b**2 - 2*b + 3. Let d be (2/8)/((-8)/(-96)). Does 26 divide z(d)?
True
Let f be 16/24 - 76/6. Suppose 2 = -3*q - 1. Let u = q - f. Is u a multiple of 11?
True
Let z(w) = 2*w - 6. Let u be z(5). Let y be (-310)/(-4)*u/(-5). Let j = -39 - y. Is 13 a factor of j?
False
Let o be ((-11)/3)/((-3)/9). Let r(f) = 3*f**3 - 8*f**2 + 9*f + 4. Let a(k) = 16*k**3 - 41*k**2 + 46*k + 21. Let c(y) = o*r(y) - 2*a(y). Is 12 a factor of c(5)?
True
Suppose 0*c - 3*c + 6 = 0. Let m(s) = -10 + 3*s**3 - 4*s**2 - 2*s**c + 3*s - 4*s**3. Is 9 a factor of m(-7)?
True
Let a be (4 - (0 + 3)) + -46. Let i = a + 74. Is 10 a factor of i?
False
Let c(w) = -w**3 + 8*w**2 - 1. Let l be c(5). Let d = -33 + l. Suppose 7 = -r - 2*m - m, -5*r + 4*m = -d. Is 5 a factor of r?
True
Is 2/(-6) + (349/3 - 0) a multiple of 11?
False
Let z(i) be the second derivative of i**4/12 + 5*i**3/3 + 7*i**2/2 + i. Let p be z(-9). Let k(b) = 6*b**2 + 1. Does 13 divide k(p)?
False
Let z(q) = 3*q**3 + 3*q**2 + q - 1. Let o be z(-3). Let u = o - -91. Is 12 a factor of u?
False
Suppose -3*t = 2*t + 4*b - 25, -4*b + 20 = 0. Suppose t + 1 = r. Suppose 3*v + r*a + 12 = 66, 3*v - 5*a = 33. Is 8 a factor of v?
True
Let s = 32 - 22. Suppose 0 = -3*v + 52 - s. Is v a multiple of 8?
False
Suppose -12 = -2*i + 3*b, 8*b = 13*b - 10. Is i a multiple of 3?
True
Is 1/(-3) + 2470/39 a multiple of 19?
False
Let o(g) = -g**2 + 13*g - 3. Suppose 5*c - 24 = 36. Let s be o(c). Let n(v) = v**2 - 7*v - 12. Is 4 a factor of n(s)?
False
Let f(n) = n**3 + 4*n**2 - 2 - 5*n - 3*n**2 + n**2. Does 3 divide f(-3)?
False
Suppose 1 + 3 = m. Let l(s) = -s**3 - 3*s - 4*s + 6 + 6*s**2 + m*s. Does 8 divide l(5)?
True
Does 5 divide (-28)/(-112) + 46/8?
False
Let g(y) = -y**2 + 10*y + 7. Is 14 a factor of g(7)?
True
Let f = 606 - 414. Suppose j = -3*j + f. Is 21 a factor of j?
False
Let k(b) be the second derivative of b**5/20 - b**4/4 + 5*b**3/6 - 3*b**2/2 - b. Does 12 divide k(3)?
True
Let o(f) = 1 - 2*f - 16 + 5*f + 0*f. Does 10 divide o(9)?
False
Let y(c) = -2*c - 10. Let p(w) = -2*w + 1. Let o be p(5). Does 8 divide y(o)?
True
Is 4/(-26) - (-112)/52 - -4 a multiple of 3?
True
Let t(l) = l**2 + 10*l - 8. Let w be t(-11). Suppose -w*d + d = 0, -b - 3*d = -30. Does 10 divide b?
True
Let o(m) = -m + 1. Let s(z) = -5. Let b(d) = -5*o(d) - s(d). Let l be b(1). Suppose -2*t = -3*t - 2*r + l, -4*t - 3*r + 25 = 0. Is 7 a factor of t?
True
Let i be 262/(-2) + -5 + 6. Is 6*(i/(-6))/5 a multiple of 19?
False
Let j be 54/16 + (-9)/24. Is (-225)/(-20) - j/12 a multiple of 3?
False
Let j = 0 - 0. Suppose -u - 20 = -4*d - j*u, -5*d + 5*u = -25. Suppose 5*m - 30 = d*i - i, -3*i - 12 = -2*m. Does 6 divide m?
True
Is 130/14 + 4/(-14) a multiple of 2?
False
Let f = 9 + -4. Suppose -4*p + 3*p + t + 7 = 0, f*t = -5. Does 6 divide p?
True
Let n = -2 + -2. Let y(v) = 4*v**2 - 7. Does 18 divide y(n)?
False
Let j(y) = y**2 + 8*y + 6. Let q(m) = m**2 + 5*m + 4. Let p(a) = -5*j(a) + 7*q(a). Does 9 divide p(5)?
False
Does 40 divide 40/((-1)/(-2)*1)?
True
Let r = -15 - -21. Is r a multiple of 3?
True
Let i = 6 - 11. Let k(v) = -v**3 - 4*v**2 - 3*v + 7. Is k(i) a multiple of 12?
False
Let f(x) = 4*x + 6*x + 11*x - 4 + 3. Is 10 a factor of f(1)?
True
Suppose -2*c - 3*v = 5, -4*v + 3*v = -5*c + 30. Suppose -17 = -c*s + 13. Is 2 a factor of s?
True
Suppose -5*o + 125 + 1315 = 0. Does 18 divide o?
True
Let i = -9 + 10. Suppose q + i - 16 = 0. Let z = q - 4. Is 5 a factor of z?
False
Suppose -10 - 16 = -i. Let t = -36 + 54. Let c = i - t. Is 4 a factor of c?
True
Let j = -12 - -15. Suppose 0 = -0*o - 2*o + 5*c + 43, 3*o - 75 = -j*c. Is 8 a factor of o?
True
Let t(h) = 2*h + 5. Let p be t(4). Let u = p + -8. Suppose u*r = -5*f + 20, -4*r + f + 9 = -2*f. Is 2 a factor of r?
False
Is 7 a factor of 176/12 + (-2)/(-6)?
False
Let t(w) = -w**2 - 23*w + 43. Is t(-18) a multiple of 14?
False
Suppose -2*r + 5*c + 6 = 1, 4*r = 3*c + 45. Does 5 divide r?
True
Let d(r) = r + 135. Let a be d(0). Let c(s) = s**3 + 10*s**2 + 7*s - 12. Let u be c(-9). Suppose a = -z + u*z. Is z a multiple of 10?
False
Let o be (-4)/(-6) + (-8)/12. Let v be (o*3/(-6))/1. Suppose v*w + w = 9. Does 9 divide w?
True
Let k = 558 - 358. Is k a multiple of 20?
True
Let k = -41 - -79. Is 8 a factor of k?
False
Suppose 4*l - 12*l = -1136. Does 44 divide l?
False
Suppose -k + w = -2, 0*w - 8 = 4*w. Suppose k = -2*x + 7*x + 5, -2*x = 3*s - 34. Does 4 divide s?
True
Let r = 2 - 0. Suppose -r - 13 = -q. Does 5 divide q?
True
Let y(z) = z**2 - 8*z + 5. Let w(f) = -2*f**2 + 17*f - 11. Let c(x) = 6*w(x) + 13*y(x). Let q be c(-5). Let g = -24 + q. Is g a multiple of 4?
False
Let p(q) = -2*q - 1. Let u be p(-4). Let x(v) = 4*v - 5. Let l be x(u). Suppose -z + 9 + l = 0. Is 16 a factor of z?
True
Suppose -w - 2 = -0. Suppose -3*l - 2*g = -51 + 13, 4*g + 50 = 3*l. Let n = l + w. Does 6 divide n?
True
Let v = -17 + 27. Let m(r) = -6*r**3 - r - 1. Let k be m(-1). Let i = v - k. Is i even?
True
Suppose -5*a + 192 = -a + m, -96 = -2*a + 3*m. Is a a multiple of 12?
True
Let h be (15/6)/(-1)*-2. Suppose -3*n - 2*w = -5*w - 15, 4*w = h*n - 22. Is 2 a factor of n?
True
Let i = -13 - -11. Let j = 21 + i. Is j a multiple of 14?
False
Suppose 0*o + 2*o - 4 = 0. Let h = o + 1. Is 6 a factor of 114/9 - 2/h?
True
Let i(c) = 1 + 0*c + c - 4. Let o be i(6). Suppose -h = f - 22, -3*f + h - o*h = -67. Is f a multiple of 8?
False
Suppose 27 + 29 = h. Does 8 divide h?
True
Let r be 1/((6/(-177))/2). Let o = r - -106. Does 10 divide o?
False
Let q(m) be the third derivative of -m**7/2520 + m**6/60 - 7*m**5/120 - m**4/24 - 2*m**2. Let s(v) be the second derivative of q(v). Is s(5) a multiple of 14?
True
Let w = 69 + 17. Is w a multiple of 7?
False
Suppose -m = -2*m + 112. Is 16 a factor of m?
True
Let u = 6 - -75. Is 27 a factor of u?
True
Let l = 75 - 67. Is l a multiple of 2?
True
Suppose -2*h = -5*h - 351. Let u(t) = t**3 - 8*t**2 - 9*t + 5. Let n be u(9). Does 18 divide 1*n/((-15)/h)?
False
Suppose 0 = 3*f - 6*f - 5*s + 10, -8 = -4*s. Suppose 0 = -r - 5*j - 5, f = -3*r - 0*r + 4*j + 4. Does 17 divide r/1 - (-34)/1?
True
Let d(i) = -i**2 + 2*i + 3. Let x(o) = o**2 - o - 4. Let b(l) = 6*d(l) + 7*x(l). Does 10 divide b(-8)?
False
Let b(w) = w - 2. Let n be b(4). Does 11 divide (-4)/(-3)*57/n?
False
Is 2 a factor of (-50)/(-4) + 5/10?
False
Suppose -5*n - 275 = 5*t, -18 + 83 = -t + n. Let m = t + 89. Does 29 divide m?
True
Let i be (-4 - -5) + 0/1. 