8 = 7*t. Does 26 divide d?
True
Suppose -5*t - 60 = -6*t + 5*j, -4*t = -2*j - 294. Is t a multiple of 16?
False
Suppose 8 = -4*o - 4. Does 6 divide (-6 + 0)/(-2) - o?
True
Suppose -2*q + 25 = 3*q. Suppose 0 = t - q*t + 28. Is 3 a factor of t?
False
Suppose -5*x = -0*x. Suppose 3*h - 6 - 30 = x. Does 14 divide h/(-18)*(-198)/4?
False
Suppose 0*m = -2*m + 20. Suppose -2*i - 3*i = 5*r - 50, -m = -i + r. Is i a multiple of 10?
True
Suppose 5*f + 78 = -22. Let h = 31 + f. Does 4 divide h?
False
Suppose -2*d = 1 - 5. Suppose 2*l + 3*l = -4*c - d, -2*l = -2*c + 8. Is l + 0 + 2 - -13 a multiple of 6?
False
Let p be (12 - 3)*(-6)/9. Let b = 32 - p. Is 21 a factor of b?
False
Let d(i) = -i + 63. Suppose 0 = s + 4 - 10. Suppose f - 2*p = -s, -f = -3*f + 5*p - 15. Is 17 a factor of d(f)?
False
Suppose -2*u = -0*u - 64. Let p be 2296/u + (-1)/(-4). Suppose w = 5*w - p. Is 18 a factor of w?
True
Suppose 0 = 4*w - 2*w - 306. Suppose 5*l - w = -0*l + p, -2*p = -l + 27. Is 14 a factor of l?
False
Suppose -29 - 16 = -5*k. Does 3 divide k?
True
Let j be (-4 + 1)*(-112)/24. Let q be 4/(-14) + 424/j. Suppose 0 = k - 2*a - q, 4*k + 0*a + 4*a = 132. Does 16 divide k?
True
Suppose -19 = -5*s + 21. Is s a multiple of 8?
True
Let b(r) = 3*r**2 + r + 1. Let p be b(-1). Suppose p*k - 32 = -k. Is 4 a factor of k?
True
Let r be 0 - 2*(-2)/4. Let m(z) = -1 + 2*z + z**2 - r + 5 + z**3 - 2*z**3. Is m(-3) a multiple of 19?
False
Let l be (135/(-4))/((-2)/8). Is 9 a factor of l*(8/(-12) + 1)?
True
Let d be 5/10*6/(-1). Let o = 15 + d. Is o a multiple of 8?
False
Suppose 0 = 2*q + 3 - 29. Suppose 73 = 5*z + q. Suppose 0 = -4*s + z, -r - 3*s = -0*s - 21. Is 10 a factor of r?
False
Does 9 divide 7/(-42) + (-109)/(-6)?
True
Let t(r) be the second derivative of 13*r**4/12 - r**3/2 + 3*r. Let z be t(2). Suppose c = -c + z. Does 12 divide c?
False
Let c(d) = d**2 - 5*d - 2. Let w be c(6). Suppose w*j - 1 + 15 = -x, -8 = 2*x - 2*j. Is 20/x*(-1 - 8) a multiple of 15?
True
Let w(o) = o**2 - 11*o + 15. Is 2 a factor of w(10)?
False
Suppose -2*m - 5*h + 8 = 0, 4*m + h + 8 = 2*m. Let a = 18 - m. Does 9 divide a?
False
Let x = -14 + 24. Is x a multiple of 3?
False
Let w(p) = 40*p + 29. Is w(5) a multiple of 24?
False
Suppose -1 - 7 = 4*s. Let p = s + 24. Is p a multiple of 5?
False
Let n(t) = t**3 - 5*t**2 - 7*t + 2. Suppose 0 = -g - 3, 3*p - 5 = -2*g + 10. Is n(p) a multiple of 17?
True
Is 9 a factor of 2 + -3*(-42)/9?
False
Let d = -3 - -6. Suppose 0*q - 2*q - d*x + 30 = 0, 42 = 3*q + 3*x. Is q a multiple of 9?
False
Let a(d) = 6*d + 5. Let j be a(4). Suppose l - z - 7 = 0, -2*l + 0*l - z + j = 0. Does 6 divide l?
True
Let f(z) = -7*z**3 - 3*z**2 - 2*z + 2. Let y(d) = -d**2 - 12*d - 13. Let m be y(-11). Does 25 divide f(m)?
True
Suppose -3 = -3*d - 6. Does 8 divide (4 - (4 + d))*16?
True
Let m = -16 + 22. Let a be 3/m - 1/2. Suppose a = 4*k - 5*k + 24. Does 11 divide k?
False
Let m be (3 - 380) + 2 - 0. Let l = -253 - m. Suppose 0 = -5*b + 2*i + l, -65 - 30 = -4*b - i. Does 8 divide b?
True
Let i = -143 - -17. Let v = i - -176. Let n = v - 25. Is n a multiple of 17?
False
Let a(b) = -b**3 + 3*b**2 + b - 4. Let c be a(3). Let d = 3 + c. Does 2 divide d?
True
Suppose -2*l + 90 = -60. Is l a multiple of 25?
True
Does 36 divide 35 - (5 - 3) - -3?
True
Let n(u) = -26*u + 3. Let j be n(2). Let d = 80 + j. Is d a multiple of 31?
True
Is (-1)/((-68)/22 - -3) a multiple of 2?
False
Let b be ((-7)/(-3))/((-2)/(-6)). Let n = b - 12. Let f(c) = -6*c - 1. Is 10 a factor of f(n)?
False
Suppose -3*m - 79 = -4*m. Does 26 divide m?
False
Is 2 a factor of (6/(-4))/(((-60)/88)/15)?
False
Let p(b) = -2*b + 21. Does 25 divide p(-11)?
False
Suppose 4*o - 5*x - 23 = 2*o, 5*o + x = 98. Let l = -2 + o. Is 17 a factor of l?
True
Suppose 8*l = -l + 216. Is l a multiple of 2?
True
Let y be 0*1/2 - 10. Let o(f) = -f + 1. Is 11 a factor of o(y)?
True
Let f(i) = i. Let n be (15/(-10))/((-6)/20). Let o(b) = -3*b**2 + 7*b + 2. Let c(a) = n*f(a) - o(a). Is c(-3) a multiple of 9?
False
Let l = 135 - -136. Is 9 a factor of l?
False
Let r = 261 + -52. Is r a multiple of 19?
True
Does 10 divide ((-2)/(-5))/((-7)/(-1575))?
True
Let v = 5 + -3. Let t = v + 2. Suppose 143 = 5*b + t*y - 3*y, 4*b - 4*y = 124. Is 16 a factor of b?
False
Let b(n) = n**2 - 4*n - 2. Let a be b(5). Let p(l) = 24*l - 6. Let c(f) = 12*f - 3. Let t(g) = 13*c(g) - 6*p(g). Is 14 a factor of t(a)?
False
Suppose 0 = -3*j + 3 + 3. Suppose c - 2 = j. Let h(s) = -s + 9. Is h(c) a multiple of 4?
False
Let q(m) = m**3 + 6*m**2 + m - 1. Let w be q(-4). Suppose -c + 3*z - 2*z + w = 0, -4*c + 105 = -z. Is 13 a factor of c?
True
Let g(l) = -4*l**2 + l + 3. Let c be g(-3). Let d = -20 - c. Is d a multiple of 4?
True
Suppose m = -2*y + 176, -y - m = 3*y - 356. Does 15 divide y?
True
Suppose -d - 3 = -40. Suppose -26 - d = -3*p. Is p a multiple of 8?
False
Let i = 428 - 248. Is i a multiple of 15?
True
Let b = 123 - 74. Is 7 a factor of b?
True
Let t(b) = 2*b**2 + b - 2. Is 13 a factor of t(-3)?
True
Let j(a) = -a**2 + 6*a - 3. Let q be j(5). Suppose -q*t = -p - 4 - 29, 3*t - 5*p = 46. Does 15 divide t?
False
Let k(t) be the first derivative of -t**3/3 - 11*t**2/2 + 5*t + 1. Suppose 4*f + 2*u = -34, 26 = -3*f + f + 2*u. Is k(f) a multiple of 15?
True
Let i = 10 + -6. Suppose -39 = -i*j + j. Is j a multiple of 13?
True
Suppose w + w = 5*b + 6, b + 3 = w. Let r = 6 - 2. Suppose 0 = -r*m - w + 15. Is m a multiple of 3?
True
Does 65 divide 6/4*2130/45?
False
Let y(t) = 9*t**2 + 2*t - 5. Is 19 a factor of y(-3)?
False
Let y(w) = -18*w**3 + w**2 + w + 1. Let h be y(-1). Suppose 4*v - 1 - h = 0. Is v a multiple of 5?
True
Let h be (-2)/(-6)*(-2 - -8). Suppose -4*t - 9 = -1, 0 = -c - h*t - 2. Suppose -2*z - 10 = -3*z + 4*w, -2*z + 50 = -c*w. Is 15 a factor of z?
True
Let g = 0 - -2. Suppose 0*o = o - 3. Suppose o + g = -d, 145 = 5*m - 5*d. Does 12 divide m?
True
Does 3 divide ((-27)/(-3))/3 - -2?
False
Let m(o) = -o - 14. Let j be m(0). Is 7 a factor of 94/14 + (-4)/j?
True
Let f(t) = t**2 + 6*t. Does 25 divide f(7)?
False
Let g(f) = -13*f - 2. Is 3 a factor of g(-2)?
True
Is 1/2*1*(81 - -1) a multiple of 24?
False
Suppose s - n = 2*n + 12, 5*s - 20 = -5*n. Is s a multiple of 6?
True
Let f(n) = n**3 + 8*n**2 - 12*n - 12. Let k(w) = w**3 + 2*w**2 - 2*w - 1. Let j be k(-3). Let y be (6/j)/(3/18). Is 8 a factor of f(y)?
False
Let r(l) = -4*l + 7. Let x = -6 - -12. Let n be r(x). Let t = n - -31. Does 5 divide t?
False
Let d(r) = -15*r + 14. Is 17 a factor of d(-3)?
False
Let r = -16 - -13. Does 12 divide r/4 + (-1323)/(-36)?
True
Suppose 2*r - 6*r = -4*a, 3*r - 2*a = 0. Suppose 3*q + o + 122 = 0, 5*q = 4*o - 1 - 174. Let k = r - q. Is k a multiple of 13?
True
Let m be (3/(-2))/((-4)/88). Let b = m + 28. Is 19 a factor of b?
False
Let p be (-1)/(-2)*-6*1. Let r = 0 - p. Does 4 divide 1/r + 46/6?
True
Suppose 84 = 2*w - 0*w. Suppose 5*r + 3*m = 37, -5*m - 2 + w = 4*r. Does 5 divide r?
True
Suppose 2*x + 2*n = 307 + 207, 4*n = x - 232. Does 36 divide x?
True
Suppose 0*v - 3*v - 246 = 0. Let l = -117 - v. Let w = -21 - l. Does 11 divide w?
False
Let t(n) = 20*n**2. Let y be t(1). Suppose 4*o = s + 21, -5*o - 3*s + 2 = -y. Let i(m) = -m**3 + 5*m**2 + 2*m + 2. Is i(o) a multiple of 5?
False
Let s(b) = b + 1. Let u = 6 - 4. Let x be s(u). Suppose -k = -x*k + 20. Is 6 a factor of k?
False
Suppose -i + 0*i + 11 = 4*a, -2*i = -a - 13. Let k = i - -2. Is 3 a factor of k?
True
Let j be (-1 - -3 - 4) + 23. Suppose -s = -2*s + j. Is s a multiple of 21?
True
Let m = -30 - -52. Does 10 divide m?
False
Is 6/6 + -2 - -18 a multiple of 17?
True
Suppose 0*h - 3*h = -84. Suppose -t = -0*t - h. Does 14 divide t?
True
Let j(l) = -l**3 - l**2 + 3*l + 205. Does 41 divide j(0)?
True
Let j(t) be the first derivative of -3*t**4 + t + 3. Let f be (1 + -3)/2 - 0. Does 13 divide j(f)?
True
Let v(d) = -d**2 + 7*d - 5. Does 3 divide v(5)?
False
Let p = 8 + -8. Suppose p = -2*m + 5*w + 3, -2*m - 4*w = 2*m - 76. Is m a multiple of 2?
True
Let n(d) = -d**3 + 4*d**2 + 6*d. Let x be n(5). Suppose v - x*s + 1 = -1, 2*v = -3*s + 9. Does 10 divide 74/v + (-2)/(-6)?
False
Suppose c + 4*p = 26, 8 = -c - 3*p + 39. Is 23 a factor of c?
True
Let f(u) = -2*u + 5. Let m be f(5). Let p(r) = r**3 + 5*r**2 - 8*r - 4. Let a be p