
True
Suppose -3*j = -3*c + 705, -4*j = -2*c - c + 700. Is 30 a factor of c?
True
Suppose -185 = 7*g - 2*g. Let l = 57 + g. Does 7 divide l?
False
Suppose 4*k + 17 = 3*a, 0*a - 4*a + 8 = 2*k. Is (5 + k)*14/3 a multiple of 14?
True
Let u = 19 + -5. Let y(v) = 11*v - 2. Let t(j) = 33*j - 7. Let r(m) = u*y(m) - 4*t(m). Does 11 divide r(1)?
True
Suppose 2*s = 3*s + 3, -s = -5*u - 17. Let x be 18/u*2/(-3). Suppose -12 = -x*g - 0*g. Is 4 a factor of g?
True
Let o(d) = 8*d - 22. Is o(12) a multiple of 12?
False
Suppose 3*s = -s + 5*n - 52, -s - 3*n = -4. Let r(f) = -6*f**2 - 10*f + 16. Let k(c) = -c**2 - c + 1. Let i(w) = 5*k(w) - r(w). Is i(s) a multiple of 5?
False
Let s = 250 + -160. Is 18 a factor of s?
True
Let d(w) = -25*w - 65. Is 32 a factor of d(-9)?
True
Let a = -15 - -19. Suppose -a*u + 0*u + 72 = 0. Is u a multiple of 6?
True
Suppose 0*t - 10 = -2*t. Is 5 a factor of t?
True
Suppose 176 = 5*a + 3*h, 2*h - 106 = -4*a + a. Is a a multiple of 7?
False
Suppose 5 = v + 2*y, 0 = -2*v + 5*v + 2*y - 7. Let o be v*(2 + 0 - 2). Let q(z) = -z**3 + z**2 + z + 2. Is 2 a factor of q(o)?
True
Let y be 6/4*8/12. Let h be y*-1 - 208/(-4). Suppose -4*m - 3*o + h = 0, -5*m - 2*o + 66 = o. Is 5 a factor of m?
True
Let u be -5 + 2 + 3 - 0. Suppose 3*m + u*m = 0. Suppose m = 3*f - f - 40. Does 18 divide f?
False
Suppose 5*j = 11 + 9. Let v be -25 + (j - 2)/(-2). Let b = -12 - v. Is 14 a factor of b?
True
Suppose -4*i = -2*i - 40. Let h = 84 + i. Let r = h + -61. Is 11 a factor of r?
False
Let i(h) = -h**3 - 6*h**2 - h + 6. Suppose 2*c + 3 + 1 = 5*x, 0 = -4*c - 5*x - 38. Does 13 divide i(c)?
False
Suppose -4*l = 3*o - 1, -4*o - 10 = -3*l - 3. Let f = l - 1. Suppose -21 = -f*h - 3*h. Is h a multiple of 4?
False
Suppose 180 = -7*q + 2*q. Does 17 divide (-1232)/q + 2/(-9)?
True
Let w(s) be the third derivative of -2/3*s**3 - 1/8*s**4 - s**2 + 0 + 0*s. Does 4 divide w(-4)?
True
Suppose 0*w - 5*w - 30 = 0. Is w*((-58)/4 + 3) a multiple of 23?
True
Suppose 4*f + 192 = 4*n, 4*n = 3*n + 4*f + 39. Suppose -2*c + n = 13. Is 13 a factor of c?
False
Let k be 0 + 0 + 1 - -5. Let t(n) = n - 3 + n + 2*n - 3*n. Does 2 divide t(k)?
False
Let y be 0 - 13 - (3 + -3). Let k = y + 21. Is 6 a factor of k?
False
Let g = 16 - 9. Suppose 5*n - g*n + 16 = 0. Is 4 a factor of n?
True
Let i(a) = 3*a + 3. Let t(z) be the second derivative of -z**5/20 + z**4/2 - 2*z**3/3 + z**2 - z. Let g be t(5). Does 14 divide i(g)?
False
Let n = 117 + -3. Does 13 divide n?
False
Let f = 10 - 14. Let v(i) = -i**3 - i**2 + i - 2. Does 14 divide v(f)?
True
Suppose 10 = 3*y + 2*p, -2*p = -3*y - p + 4. Is 4*(3 + 1)/y a multiple of 8?
True
Let y(d) = 8*d + 11. Let t(a) = 9*a + 11. Let i(v) = 6*t(v) - 7*y(v). Is i(-11) a multiple of 7?
False
Suppose -4*f = -q + 8, -4*f - 5 = -4*q + 15. Is 2 a factor of 0 + (f - -2*3)?
False
Let i(v) = -14*v + 8. Let t be i(-6). Suppose 3*c = -c - t. Is (-1 + 3)*c/(-2) a multiple of 9?
False
Let l = 50 + 12. Let k = -26 + l. Is 10 a factor of k?
False
Let l be (-3)/6*2*0. Suppose -5*h = -s - 173 + 27, l = 5*h - 3*s - 148. Is 10 a factor of h?
False
Let m(v) = 18*v + 1. Is 19 a factor of m(4)?
False
Let p(k) = -3*k**3 + 4*k**2 + k - 4. Let i be p(3). Suppose 4 - 7 = -3*a. Is a/(1 - (-44)/i) a multiple of 9?
False
Suppose 2*c + 478 = 4*c. Is c a multiple of 55?
False
Let b(z) = 2*z + 4. Let u be 4/((-12)/(-9)) - -9. Does 28 divide b(u)?
True
Suppose 2*u + 85 = 5*a, -3 = -a + 3*u + 1. Is 4 a factor of a?
False
Let p(m) = 2*m - 2. Let x be p(3). Let i(n) = 2*n + 3 - 1 + 4*n. Is 13 a factor of i(x)?
True
Let c(n) = 4*n - 5. Let p be c(-8). Let t = p + 62. Is t a multiple of 13?
False
Let f = 3 - 5. Let b(y) = 27*y**2 + 4*y + 3. Let o be b(f). Suppose 4*c - 3*k - o = 0, -2*c - 2*k = 3*k - 19. Does 11 divide c?
True
Let o = 232 + -138. Is 10 a factor of o?
False
Suppose 0 = 5*h - 15, h = -y + 72 - 6. Is y a multiple of 13?
False
Let g(a) = a**2 + a + 143. Let j be g(0). Let n = j - 35. Suppose -d + 4*s + 31 = 0, -3*d + s = 4*s - n. Is d a multiple of 14?
False
Let v(g) = 6 + 0*g**3 - 4*g**2 - 2*g**2 - 5*g + g**3 - 2*g**2. Does 17 divide v(9)?
False
Suppose -69 = 4*i - 177. Does 4 divide i?
False
Suppose 3*u + 2*w = 5 - 1, 0 = -4*w + 8. Suppose u = 4*n - n - 84. Is 14 a factor of n?
True
Suppose 0*c + c = -3*g + 4, 0 = -2*g + 3*c + 21. Suppose g*v - 69 = 165. Is 19 a factor of v?
False
Let p = -55 - -114. Is p a multiple of 12?
False
Let v be (-2)/(-8) - (-3)/4. Let z be -1 - (v + 0 - 4). Suppose 3*u - 30 = 4*o - 83, 0 = z*o - 5*u - 37. Does 8 divide o?
False
Suppose -3*i - 4*y = i - 24, 3*i + 4*y - 21 = 0. Suppose -i*m = -2*m - 29. Does 16 divide m?
False
Let t = -322 + 492. Does 10 divide t?
True
Let y = -16 + 18. Suppose 0*a + 52 = y*a. Is 13 a factor of a?
True
Let b be 3/(9/(-4))*-15. Let g = b + -15. Does 2 divide g?
False
Is 6 a factor of (19 - -7)/((-4)/(-10))?
False
Suppose g - 32 = 88. Suppose 3*c - g = -c. Suppose 9 + c = 3*n. Is n a multiple of 8?
False
Let v = 13 - -1. Let x = v + -9. Is x a multiple of 5?
True
Suppose 3*l = 2*l + 3. Let w = l + 0. Is w even?
False
Let a(v) = -7*v - 1. Let q = -11 + 15. Let f be a(q). Let s = 52 + f. Does 8 divide s?
False
Suppose 0 = -r - r - 4. Let t(u) = -17*u - 1. Let z be t(r). Let h = -18 + z. Is h a multiple of 8?
False
Let h(z) = z**2 - 3*z - 3. Suppose 0 = 3*i - t + 3*t - 11, 6 = i + 3*t. Suppose i*g + 8 - 2 = 0. Is h(g) a multiple of 7?
True
Suppose 0 = 5*d - 9*d + 168. Is d a multiple of 7?
True
Suppose 3*m = 6*m - 6. Let u(p) = 11*p**2 - 4*p + 3. Is u(m) a multiple of 18?
False
Suppose -5*u - 27 = -2, -5*j - 20 = 4*u. Let c = j - -2. Does 7 divide 3/(-2)*(c - 8)?
False
Let g(v) = v**3 - 11*v**2 - 12*v + 4. Let q(b) = 3*b**3 - 23*b**2 - 25*b + 9. Let o(j) = -5*g(j) + 2*q(j). Let i = -39 - -32. Is 10 a factor of o(i)?
False
Let a = -37 + 75. Does 19 divide a?
True
Let n(y) = -y**3 - 12*y**2 - 13*y - 7. Let m(h) = -11*h**3 + h**2 - 2*h + 1. Let p be m(1). Is n(p) a multiple of 5?
True
Suppose -86 = -h - 2. Let z be (-17)/(-4) + 2/(-8). Suppose -3*y - 3*l - 33 + h = 0, z*y + 3*l = 63. Is y a multiple of 4?
True
Let n(c) = -c**2 + c + 20. Let p be n(0). Let x be -5*2*(-26)/(-65). Let u = p + x. Is u a multiple of 16?
True
Let x = 92 + 47. Is x a multiple of 10?
False
Suppose 8*z - 4*z = 16. Suppose 5*k - 50 = -3*p - 2*p, 0 = -z*p + 5*k + 31. Does 8 divide p?
False
Suppose 2*p - 54 = 4*y, 0 = -y - y + 4. Let z = p - 17. Is 5 a factor of z?
False
Let i = 31 + 2. Is 29 a factor of i?
False
Let m = 9 - 5. Does 2 divide m?
True
Let o be 2/((-4)/1)*-4. Suppose -11 = -o*m - 1. Suppose -26 = -2*z - m*y, -2*z + 46 = y + 12. Does 9 divide z?
True
Let h(c) = -11*c + 4. Let j be h(-4). Let m = j + -5. Does 16 divide m?
False
Suppose 4*p = -5*j + 2*p - 24, 3*j + 12 = -2*p. Let s = j - -6. Suppose -5*g + 4*f + s*f = -175, -5*g + 175 = 4*f. Is 9 a factor of g?
False
Let w = 12 - -35. Does 12 divide w?
False
Suppose d - 4 = 0, 4*b - 9*d + 12*d = 140. Is b a multiple of 5?
False
Let h = -40 - -84. Let t(r) = -r + 7. Let a be t(5). Suppose h = a*l + 2*l. Does 4 divide l?
False
Suppose t - 16 = 16. Does 8 divide t?
True
Let a(g) = -13*g + 3. Suppose 2*b + 8 = 4*m + 6*b, 5*m - b = -20. Is 11 a factor of a(m)?
False
Let h be (-26)/(-8) - (-3)/(-12). Suppose k - 40 = -h*k. Is k a multiple of 5?
True
Suppose k = 3*k - 2*d - 14, 5*k = -3*d - 5. Does 4 divide (-7 - -17) + (k - 1)?
False
Let x be (1/(-2))/(5/(-370)). Suppose -3*o + 2*o = -x. Let m = o + -12. Does 14 divide m?
False
Suppose 5*x = 5*a + 125, -3*x - a - 4*a + 67 = 0. Is 6 a factor of x?
True
Suppose -c - 17 = -47. Is c a multiple of 15?
True
Let m = 18 - 7. Does 4 divide m?
False
Let j(q) = 7*q + 4. Let u be j(-3). Let z = -10 - u. Let m = z - 0. Is 7 a factor of m?
True
Suppose 366 = 2*n - 4*q, -4*q = 4*n - 5*q - 767. Is n a multiple of 10?
False
Let k(q) = 2*q**2 - 3*q + 4. Let t be k(-4). Suppose 4*y - t = 2*l, -2*y - 1 = l + 3. Let f = l + 31. Is 6 a factor of f?
False
Suppose 2*g - 4*g + 5*y + 20 = 0, -3*y = 5*g - 112. Is 4 a factor of g?
True
Suppose -2*f = -h + 405, -5*h - 8*f + 2040 = -3*f. Does 63 divide h?
False
Let q(o) = o + 1. Let p be q(1). Suppose 2*n + 2*n = y + 29, 0 = -p*n - y + 7. Is n a multiple of 3?
True
Let z = 6 - 3. Suppose z*h - 3*t = h + 83, -2*t - 2 = 0. Let d = 