 7 divide 29/i - 7/28?
True
Let o(m) = 2*m**2 + 6*m + 3. Is o(5) a multiple of 6?
False
Suppose 0 = f - 2*c - 1, f + 3*f + 12 = 4*c. Let t(s) = s - 9. Let z(r) = r - 1. Let o(q) = t(q) - 4*z(q). Is o(f) a multiple of 15?
False
Let h(u) = 10*u + 1. Let r be h(3). Suppose v - 13 = -2*y, 5*y + 2*v = v + r. Is y a multiple of 6?
True
Let a(q) = q**3 + 5*q**2 + 3*q - 2. Let s be a(-4). Let l be (-1 - 3)/(s/(-9)). Is 11 a factor of (-98)/(-6) + (-6)/l?
False
Let j(x) = 3*x**2 - x + 1. Let p be j(2). Suppose 0 = -p*h + 9*h + 44. Is 6 a factor of h?
False
Let x = 111 + -46. Is 2 a factor of x/5 + 0 + -1?
True
Suppose 0*b = 4*b - 224. Suppose 5*m = -11 + b. Is 9 a factor of m?
True
Suppose 0 = -2*q + y + 91, -y - 103 = -2*q + 4*y. Suppose k - 5*k + q = 0. Is k a multiple of 6?
False
Let i = -10 - -23. Let r(y) = y**2 - 12*y + 7. Does 7 divide r(i)?
False
Let c(z) = z**3 + z**2 - 2*z + 174. Is 56 a factor of c(0)?
False
Let c(a) = a - 1. Let f(o) = -o**3 + 8*o**2 + 4*o - 12. Let d(z) = -3*c(z) + f(z). Let h be d(8). Let i = h - -26. Is 12 a factor of i?
False
Suppose -m = 3*m + 8. Does 7 divide m - -6 - (-10 - 0)?
True
Suppose -4*c = -3*c - 10. Suppose 2*t + 5*s = 8, 4*t + s = 6 + c. Suppose 0 = -b - 2, 40 = t*i - 0*b + 2*b. Is i a multiple of 11?
True
Let f = -1 + 3. Suppose 0 = -2*a - f*a + 32. Is 4 a factor of a?
True
Is 9 a factor of (4 - 5) + 15 + -2?
False
Suppose 3*h = -3, 0 = 4*f - 2*h + 3*h - 95. Is 9 a factor of f?
False
Let t(z) be the first derivative of 4*z**3/3 - z**2 + 2. Let i = 11 + -7. Is t(i) a multiple of 20?
False
Let r = -1 - -1. Suppose r = -7*n + 4*n + 48. Does 11 divide n?
False
Suppose -i = -2, 0 = -l - 2*i - 3*i + 270. Is 20 a factor of l?
True
Let l(s) = 1 - 1 + 3*s**2 + 1 - 2 + 4*s. Is 11 a factor of l(3)?
False
Let r = -25 + 110. Is r a multiple of 21?
False
Let x = 30 + -25. Does 10 divide ((-24)/x)/((-17)/85)?
False
Suppose 0 = 5*w - 2*v + 29 - 353, 0 = -v + 3. Does 33 divide w?
True
Let v(d) be the third derivative of d**3 + 2*d**2 + 0 + 3/8*d**4 + 0*d - 1/60*d**5. Does 19 divide v(5)?
False
Suppose 4*a - 21 = -h, -2*h + 2*a + 2 = -0*h. Suppose -4*g = 4*f - 60, -2*g = h*f - 12 - 48. Does 11 divide 2/(-5) + 114/f?
True
Let o = -5 - -2. Let w be o/6 - 21/(-2). Suppose 0 = 2*i - 6 - w. Is 7 a factor of i?
False
Let c(h) = -11*h**3 + h**2 - 2*h - 2. Does 12 divide c(-1)?
True
Does 17 divide 38 + (-5 - -1) - 0?
True
Suppose 4*i + 3*c + 33 = 0, 0*i + 5*c = i + 37. Let u = -7 - i. Suppose u*n + 8*z - 102 = 4*z, -z - 33 = -2*n. Does 16 divide n?
False
Suppose 5 = -t, -4*l + 10 = -t - 15. Suppose l*i = d - 4*d - 1, 4*i = -3*d + 4. Let b = d + -3. Is 5 a factor of b?
True
Let k be 1 + -1*(3 + -3). Let a = -3 - k. Let b(i) = 3*i**2 + 7*i + 4. Is 12 a factor of b(a)?
True
Suppose -15 = -3*g + 5*v, 0*v + 3 = 5*g - v. Suppose g = 3*p - 65 - 208. Is 21 a factor of p?
False
Suppose -2*h + 23 + 13 = 0. Does 9 divide h?
True
Let m(j) = -j**3 - 3*j**2 + 3*j + 3. Suppose -5*v - 15 = -2*v. Let w be m(v). Is 9 a factor of -1 - (w*-1)/2?
True
Let c(a) = 0 - 2 - 5*a**2 + 2*a + 3. Let n be c(-1). Let h = 19 + n. Is h a multiple of 8?
False
Let p(o) = 3*o**2 - 10*o + 20. Let k(g) = g**2 - 3*g + 7. Let i(y) = -8*k(y) + 3*p(y). Is i(9) a multiple of 11?
False
Let y(t) = -1. Let f(x) = x**2 - 8*x - 7. Let q(j) = -f(j) - 2*y(j). Is q(8) a multiple of 5?
False
Let a(v) = v**2 - 11*v - 16. Is a(13) a multiple of 10?
True
Suppose 0 = -5*a + 3*k + 23, 4*k = -4*a + 3*k + 32. Suppose -3*l - 348 = -a*l. Suppose -5*g + l = 12. Is 5 a factor of g?
True
Suppose -144 = -3*f - 4*p - 31, 36 = f + p. Suppose 3 = b - f. Is b a multiple of 17?
True
Let u = -8 + 16. Let q = 21 + u. Is q a multiple of 15?
False
Let z = 41 - 17. Suppose 0 = 6*s - 2*s - z. Is s even?
True
Suppose -4*a + 69 = w, 4*a + w = 8*a - 75. Suppose 0 = 3*s - s - a. Is 5 a factor of s?
False
Let t be 29/3 - (-1)/3. Is 2 a factor of 112/18 - t/45?
True
Suppose -4*m + 0*m - b = -7, 0 = 5*m + 3*b - 14. Let h(a) = a**2 - 3*a. Let d be h(5). Let l = m + d. Is 11 a factor of l?
True
Let r = -14 + 65. Is r a multiple of 17?
True
Let t = 5 - 4. Does 9 divide t/3 + 104/12?
True
Is 11 a factor of ((-68)/(-17))/(2/29)?
False
Suppose 30 = -7*w + 2*w. Is 1410/25 - w/10 a multiple of 19?
True
Let k(g) = 2*g**3 + g**2 - 2*g - 1. Is 3 a factor of k(2)?
True
Let t(c) = 89*c**2 - 1. Let w be t(1). Suppose 4*y - 40 - w = 0. Does 8 divide y?
True
Suppose 70 = -q + 2*q. Suppose -3*b = 2*b - q. Is 12 a factor of b?
False
Let c = 10 + -22. Suppose 0 = 2*w + s + 3*s - 56, 0 = -5*w + 5*s + 110. Let i = w + c. Is 6 a factor of i?
True
Let t be 1/((-1)/2) - 16. Is 29 a factor of (-3)/(-9) + (-1038)/t?
True
Let f(a) = 23*a + 4. Is f(4) a multiple of 24?
True
Let c(j) = -j. Let g be c(-3). Suppose g*w + 17 = 5*i, -4*w + 8 = 4*i - 3*i. Is i a multiple of 3?
False
Is 21 a factor of 1 + 96 + (-4 - -7)?
False
Is ((-212)/(-2))/(12/6) a multiple of 15?
False
Suppose -2*w + 0 = -3*z - 1, -6 = 3*z - 3*w. Suppose 15 = -z*b + 4*b. Is b a multiple of 5?
True
Suppose -4*c - 72 = 2*i, 5*i + 2*c - 4*c + 180 = 0. Let b = i - -64. Is 10 a factor of b?
False
Suppose l + 5 = h, 2*l + 2*l + 20 = 5*h. Suppose o + h*o = 0. Let r = o + 7. Is r a multiple of 2?
False
Is 39 a factor of 5/(25/290) - -4?
False
Let j be -2 - 20/(-3 - -1). Let t = j + -5. Let q = t + 1. Is q a multiple of 2?
True
Suppose 4*x + 168 = 10*x. Does 14 divide x?
True
Suppose 4*q - 16 = 3*f, -f - f + 12 = 3*q. Suppose -3*z + 3*t - 61 = -5*z, 0 = q*z - 3*t - 167. Does 19 divide z?
True
Suppose 3*a = a + 60. Let i = a + -3. Is i a multiple of 9?
True
Is (-16)/(-20) - (-1130)/25 a multiple of 23?
True
Suppose -2*n - 4 = -3*t - n, -4*n - 16 = -t. Let f = 3 + t. Let b(i) = -i**2 + 8*i - 2. Is b(f) a multiple of 13?
True
Suppose -4*a + g + 11 = 0, -7*g + 2*g = -5. Suppose 3 = l - 3*z, 0 = 4*l - a*l + z - 15. Is l a multiple of 4?
True
Let z be 2/8*4 - -1. Suppose -3*y = -z*l + 31 - 1, l - 2 = -5*y. Does 4 divide l?
True
Let h(s) = 7*s**2 + s + 2. Is h(3) a multiple of 17?
True
Let w be 5*(2 + 1 - 14). Let v be ((-12)/15)/((-2)/w). Let n = v - -38. Is 14 a factor of n?
False
Let q(a) = 128*a**2 - a. Does 15 divide q(-1)?
False
Let a(i) = -i**2 - 4*i + 2. Let s be a(-5). Does 10 divide (9/(-4) + s)*-4?
False
Suppose 2*k = -5*y + 168, 0*k + 132 = 4*y + k. Is y a multiple of 8?
True
Let d(l) = l**2 - 2*l - 1. Is d(-8) a multiple of 12?
False
Let b(k) = -k**2 + 23. Let t(s) = s - 3. Let z(q) = -4*q**3 - q**2. Let i be z(-1). Let u be t(i). Is b(u) a multiple of 8?
False
Suppose 5*d - 5*x = -975, -d + 2*x + 406 = -3*d. Let o = -115 - d. Let a = -58 + o. Is a a multiple of 13?
True
Let d = 269 - 161. Is 36 a factor of d?
True
Let c(j) = 3*j**3 + 2*j**2 + j + 1. Let r be c(-2). Let w = 55 + r. Is 22 a factor of w?
False
Suppose -88 = -2*z - 2*z. Let d = 33 - z. Is 8 a factor of d?
False
Let w(o) = 0 + 0 - 5*o - 6. Is 2 a factor of w(-3)?
False
Suppose 0 = 2*b + 6, 0 = -g - 0*b + b - 1. Let r be (g - -13)*(-1)/3. Is 14 a factor of ((-10)/r)/((-3)/(-27))?
False
Let j = 153 + -244. Is 22 a factor of j/(-2) + 21/(-14)?
True
Suppose 0 = 3*n + 5*c - 37, -4*n - 3*c + 41 = 2*c. Let w be (-2)/((-2)/97) - 0. Suppose 49 = -o + 4*o + n*q, -w = -4*o + q. Is 11 a factor of o?
False
Let d(m) = -m**3 + 11*m**2 - 5*m + 1. Does 4 divide d(10)?
False
Let o = 143 - 101. Is 21 a factor of o?
True
Let k = 9 + 31. Suppose 95 + k = 5*i. Does 9 divide i?
True
Let x = 57 + -60. Let p be (-6)/4*(-4 + 2). Is p - (x*3 - 2) a multiple of 14?
True
Let v be (-19 - -1)/((-8)/48). Suppose 0*l = 2*l - v. Is 16 a factor of l?
False
Let p(y) = 7*y + 2. Let b be p(4). Let f be (-3)/4 - b/(-8). Let n(j) = j**3 - j**2 - j - 1. Is 10 a factor of n(f)?
False
Let j = 335 + -181. Does 14 divide j?
True
Suppose 5*y = 3*o + 2*o - 85, -3*o = 3*y - 21. Does 6 divide o?
True
Let b be -2*(1 + (-15)/6). Suppose -i - v = -0*v - 21, b*v - 39 = -2*i. Is 12 a factor of i?
True
Suppose -40 = -5*v + 365. Suppose 4*z - 4*g - 60 = 0, -g = 5*z - 3*g - v. Suppose 2*o = 13 + z. Is o a multiple of 9?
False
Suppose -24 = -7*z + 3*z. Let q(y) = y**3 + y**2 - y. Let h(p) = -4*p**3 + 3*p**2 + p - 8. Let k(l) = -h(l) - 3*q(l). Is 9 a factor of k(z)?
False
Let q(s) = -s + 81. Let k be q(0). Suppose 4*t + 12 = 0, -4*m + 2*t = -76 - 126. Let g = k - m. Is