e f(6). Let g = 4 - b. Does 26 divide g?
True
Is (-2)/16 + (-4207)/(-56) a multiple of 15?
True
Suppose 4*h + 5*b = 4*b + 32, -3*h = 3*b - 15. Let a(o) = o**3 - 10*o**2 + 11*o + 3. Does 3 divide a(h)?
True
Does 17 divide 1 - (-107 - (-2)/(-2))?
False
Suppose -4*b + r + 16 = 0, -2*b - 4*r = b - 12. Suppose b*m + 12 = m + 4*k, 5*m - 5*k = -15. Suppose 3*j + m*j - 15 = 0. Does 5 divide j?
True
Is 3*(-1)/(-6)*74 a multiple of 15?
False
Let i = 117 - 15. Let d = i - 69. Is 11 a factor of d?
True
Let s(i) = -i**3 - 5*i**2 + 7. Let o be s(-5). Suppose o*p = 3*p + 4. Suppose 0 = r - p - 13. Is r a multiple of 7?
True
Let n(o) be the second derivative of o**3/6 + 5*o**2/2 - 3*o. Let x be n(-4). Let f(b) = 17*b**3 + b - 1. Does 12 divide f(x)?
False
Let g(m) = -4 + 2*m**3 + 0*m + 1 + 2*m + m**2. Let z = 1 + 1. Is 9 a factor of g(z)?
False
Suppose 2*o = -3*b + 12, -3*o - b = -o - 4. Let k = 21 + o. Does 21 divide k?
True
Suppose 9*b - 3249 = -0*b. Does 23 divide b?
False
Suppose 60 = n - 2*s, -n - 192 = -5*n - 4*s. Is 6 a factor of n?
False
Suppose -5*x = b - 22, -x - 18 = -3*x - 5*b. Suppose x*o = 3*g - 1, 0 = -3*o + g - 0*g - 2. Does 7 divide 18 + 1 + o + 1?
False
Is 7 a factor of ((-3)/(-6))/((-3)/(-174))?
False
Let h = 16 - 4. Is 5 a factor of h?
False
Let h be 48*(-4)/(-6) - 0. Let p = 50 - h. Does 9 divide p?
True
Suppose y = -0*y + 3. Suppose -5 = -4*l - 1, 4*l = y*t - 23. Is t a multiple of 4?
False
Let m be 4/14 + 84/49. Suppose 2*j - 72 = -m*j. Does 6 divide j?
True
Let j(f) = -14*f + 20. Let c(d) = 5*d - 7. Let y(r) = -17*c(r) - 6*j(r). Let o be y(-4). Does 13 divide 2/o - (-55)/3?
False
Let w = 23 - 14. Let l = 16 - w. Does 4 divide l?
False
Let n(x) = 2*x - 6*x - 3*x - 6 - x. Is 14 a factor of n(-6)?
True
Let n = 111 + -61. Suppose 0 = -3*z + 8*z - n. Suppose -5*f - z = h, -f + 2*f + 14 = h. Is h a multiple of 10?
True
Let v = 22 + -16. Let a(u) = -u**3 + 5*u**2 + 4*u + 1. Let b be a(v). Let t = b - -18. Does 7 divide t?
True
Let r = 39 - -72. Is r a multiple of 9?
False
Suppose -3*o = -17 + 2. Suppose -o*y = 8 - 33. Suppose l + l + y*t - 39 = 0, 4*l - 3*t = 39. Is l a multiple of 12?
True
Let t(b) be the third derivative of -b**5/60 - 5*b**4/24 + b**3/2 - b**2. Suppose -3*p - 2*u - 9 = 2*u, 0 = -4*p - 3*u - 12. Is 4 a factor of t(p)?
False
Suppose 9 = -5*b - 16, 0 = 3*g - 4*b - 1001. Is g a multiple of 15?
False
Let o(w) = -w**2 - 3*w + 4. Let j be o(-4). Let r(f) = -f**3 - 2*f**2 + f + 9. Is 9 a factor of r(j)?
True
Let s(d) = 4*d**2 + 7*d - 9. Is s(-4) a multiple of 3?
True
Suppose -2*a - 2*i - 5 = 5, -27 = 3*a - 3*i. Suppose 4*t + 424 = -s, -t - 5*s - 301 = 2*t. Does 15 divide t/a + (-4)/14?
True
Suppose -y + 3 = -2. Suppose 0*l + 20 = y*l. Suppose -l*b = 4*x - 16, -5*b + x + 28 = 2*x. Does 3 divide b?
True
Let v = -2 - -92. Does 10 divide v?
True
Let a = -19 - -69. Let q(w) = w**3 + 7*w**2 - 8*w + 5. Let r be q(-8). Suppose 0 = -k + 6*k - 3*i - 54, -5*i - a = -r*k. Does 5 divide k?
False
Let k(t) = -t**3 - 4*t**2 + 6*t - 3. Let w be k(-5). Let f = w + 4. Let b(j) = -j**3 - 3*j**2 + 2*j - 1. Does 5 divide b(f)?
False
Let r = 4 - 3. Let y(f) = 20*f**2 - 1. Is y(r) a multiple of 7?
False
Suppose 0 = -4*h + 4*b, 0*h + 2*h = -5*b + 35. Let i(v) = 14*v + 2. Let f be i(4). Suppose -w = r - 3*r + 24, -h*r + 3*w + f = 0. Is r a multiple of 7?
True
Let h = -31 + 53. Is h a multiple of 11?
True
Suppose 5*d - 15 = 3*z + 2*z, -2*d = z + 3. Suppose d = -5*y + 5 + 45. Does 10 divide y?
True
Suppose -5*b - 14 = 3*x, -3*b - 4 - 2 = 3*x. Let a be 159/(-9) + x/(-6). Is 2 a factor of (-48)/a + (-2)/3?
True
Let o = 41 - 64. Suppose 4*a - m - 29 = -9, 4*a = 5*m + 4. Is 14 a factor of -3 - -1 - (a + o)?
False
Let p(y) = y**2 + 14*y - 12. Let z be p(-14). Let w = z + 42. Does 11 divide w?
False
Suppose -5*s - 2*b + 32 = -s, 3*s - 2*b = 17. Is s a multiple of 7?
True
Let d be (2 + 0 - -26) + 2. Does 14 divide d/(-1)*(-8)/12?
False
Let o(n) = n - n - 4*n - 4. Suppose g = 5*k - 26, -12 = 2*k - 5*k. Is o(g) a multiple of 10?
True
Let i = 19 - 9. Suppose -5*n = -k + 5*k - 10, k + i = 5*n. Does 13 divide -1*n/6*-93?
False
Let d = -15 - -63. Does 8 divide d?
True
Suppose -3*d = 49 - 118. Let m = d + -8. Is 15 a factor of m?
True
Let k(o) = 2*o**3 + 7*o**2 + 4*o - 6. Let t(s) = s**3 + 6*s**2 + 4*s - 6. Let q(z) = 2*k(z) - 3*t(z). Does 11 divide q(5)?
True
Let d = -55 + 107. Is d a multiple of 13?
True
Let l = 311 + -178. Does 30 divide l?
False
Let k be (-8)/12 - 23/(-3). Let d = k - 16. Does 9 divide (-6)/d + 110/6?
False
Let t be 0 + ((-4)/2 - -4). Let v(f) = f - 11. Let g be v(11). Suppose -t*k = -g*k - 8. Is k a multiple of 2?
True
Let z be 10/(-45) - 716/18. Let s = z + 64. Does 13 divide s?
False
Let w = -6 - -6. Let j be 3 + -1 - (1 + w). Does 8 divide (8 - -1) + j + 1?
False
Suppose -328 = 3*c - 79. Let v = -52 - c. Does 7 divide v?
False
Let w(m) = 4*m**2 + 8*m + 2. Does 14 divide w(7)?
False
Let u = 0 - -4. Suppose -u*l + 23 = 7, 64 = 4*w - 4*l. Is w a multiple of 10?
True
Suppose 10*n - 5*n + 10 = 0. Is ((n*15)/(-3))/1 a multiple of 5?
True
Let i be (2/(-6))/(2/(-18)). Suppose -4*n = h - 10, -4*h - 1 = -3*n - i. Does 17 divide 38 - (12/h)/2?
False
Suppose 0 = -5*g - 4*c + 147, 0 = -g + 2*g - c - 24. Is g a multiple of 8?
False
Suppose -4*p - 3*l + 1188 = 0, -594 = -2*p + 4*l - 3*l. Is 37 a factor of p?
False
Suppose -3*t = w - 22, t + 0*w = w + 6. Let f(n) = 2*n + 7. Does 12 divide f(t)?
False
Suppose 5*j + 2*v - 1680 = 0, -17*v - 1344 = -4*j - 14*v. Is 24 a factor of j?
True
Let s = -6 - -9. Let k = -5 - -20. Suppose -2*p + k = s*p. Is p a multiple of 3?
True
Let h(k) = k**2 - 3*k + 7. Suppose -4*v - 176 = -32. Let m be ((-6)/(-18))/((-2)/v). Is h(m) a multiple of 14?
False
Let o(q) = -q**3 + 5*q**2 + 6*q + 7. Is 9 a factor of o(5)?
False
Let d = -6 + 11. Suppose 3*q + 107 = 5*u + q, 0 = 4*u + d*q - 79. Suppose -t + 2*z + 0*z + u = 0, -3*z = t - 36. Is 12 a factor of t?
False
Suppose 4*q - 2*y - 64 = -4*y, 3*q + 5*y = 48. Suppose 3*m + f = q + 18, -5*m + 2*f + 75 = 0. Does 13 divide m - 2 - (-4)/2?
True
Suppose 3*i - 28 = -5*j, 9 + 17 = 2*i - 4*j. Let p(a) = a**2 - 6*a. Is 11 a factor of p(i)?
True
Let k(b) = -b**3 - 5*b**2 + b + 5. Let n be k(-5). Is 1 + (1 - (-11 - n)) a multiple of 10?
False
Let s be 247/(-3)*(-17 - -14). Suppose -4*w = -213 - s. Is 34 a factor of w?
False
Suppose 5*y = 10*y + 25. Does 11 divide (-2)/y*5 + 20?
True
Let h be (2 - 1) + -2*1. Is 3 + (0 + h)*1 even?
True
Suppose -2*q + 0 + 10 = 0. Is q even?
False
Suppose -3 - 2 = -5*w. Let v be 2 - 0 - -3 - w. Suppose x + 3*x - 110 = -2*n, v*x + n = 111. Is 14 a factor of x?
True
Let y = 2 + 100. Is 34 a factor of y?
True
Suppose -r - 3*y = 3*r - 35, -5*y - 4 = r. Is r a multiple of 3?
False
Let p(d) = 3*d + 2. Let r be p(-3). Let z(s) = -s**3 - 6*s**2 + 6*s - 2. Is 3 a factor of z(r)?
False
Suppose 5*x = 6*x - 104. Is 13 a factor of x?
True
Suppose -2 - 2 = 2*o - 2*i, -4*i = -o - 17. Suppose 2*c - 3*c - 59 = -4*h, o*c = 3. Does 10 divide h?
False
Let u(p) = -p**2 + 6*p + 9. Let r be u(7). Let v be (90/(-25))/(r/10). Let q = v - -70. Does 27 divide q?
False
Suppose -g + 3 = -c, 0 = -c - g - 3*g + 17. Let a be (5 - 6) + 6*c. Suppose a = 2*o - 1. Is o even?
False
Is ((-24)/15)/((-42)/10 - -4) a multiple of 4?
True
Suppose -4*c + 4*k = -8, 4*c = -3*k + 8 + 28. Is c a multiple of 6?
True
Suppose -23 - 1 = -2*z. Suppose -5*q + z + 3 = 0. Suppose -65 = -q*f + 1. Is f a multiple of 10?
False
Is 324/33 + (-10)/(-55) a multiple of 2?
True
Suppose 6*f - 24 = 4*f. Does 12 divide f?
True
Suppose 2*d + 5*n + 128 = 0, 2*d + 104 = -4*n - 20. Suppose v = 5*h + 18, -v + 4*h + 10 + 5 = 0. Is 3*(2 - v) - d a multiple of 14?
False
Let b = 3 + 1. Suppose 0 = -b*u + 14 + 34. Is 11 a factor of u?
False
Does 45 divide ((-50)/(-3))/(4/54)?
True
Let n = -91 - -204. Does 11 divide n?
False
Suppose -3*o + 8 = -121. Suppose 0 = 3*k + 7 - o. Is 9 a factor of k?
False
Let r = -234 - -388. Is 11 a factor of r?
True
Let n = 9 + 1. Suppose -9*o + n*o = 10. Is o a multiple of 5?
True
Suppose 3*m - 45 - 78 = 0. Suppose -141 + m = -5*g. Is 11 a factor of g?
False
Is (-3)/1 - (-10 - -4 - 30) a multiple of 11?
True
Suppose 16*d - 18*d = -104. Does 13 divide d?
True
Let w(q) = -4*q + 5. Let t be w(5). Let m be (-9)/t - 266/