or of c?
False
Let q(j) = 16*j + 4*j - 6*j - 1. Does 13 divide q(1)?
True
Suppose 4*y - 8 = -32. Does 14 divide (-5)/((-15)/(-14))*y?
True
Let q(s) = -s**2 - 5*s. Let g be q(-4). Let l be g + (-1)/(-1) - 1. Suppose l*k - 59 = -c, 2*k = -k + 2*c + 58. Does 6 divide k?
False
Suppose 9*i - 8*i - 32 = 0. Is 4 a factor of i?
True
Let a(y) = -4*y**3 + y + 0*y**2 - 1 + 3*y**2 - 2*y**3 + 5*y**3. Let b be a(2). Suppose 105 = b*o - 4*k, -4*o + 2*k = 3*k - 63. Is 6 a factor of o?
False
Let g = -6 + 33. Is 8 a factor of g?
False
Let b(a) = 4*a - 11. Let m(k) = -k + 1. Let y(z) = b(z) + 2*m(z). Let u be y(6). Let f = u - -8. Is 6 a factor of f?
False
Suppose -100 = -4*t - 2*j + 74, 5*t + 3*j = 216. Is t a multiple of 42?
False
Suppose -b = 5*d - 20, -4*d = 3*b - 17 - 10. Suppose -5*y - b*z = -290, 0*y - 130 = -2*y + 5*z. Does 15 divide y?
True
Let u(n) = n - 4. Suppose 13 = -2*x + 4*g + 1, -3*x = g - 3. Let a be u(x). Does 6 divide 63/5 - a/10?
False
Let d(x) = -7*x - 8. Let l(w) = -7*w**2 + 2*w + 1. Let c be l(-1). Let a be d(c). Suppose f - a = -3*f. Does 6 divide f?
True
Let z(b) = -b**2 - 9*b + 6. Let j be z(-7). Let s = -14 + j. Does 6 divide s?
True
Let m be (-8)/2 + (4 - -4). Suppose -m*w - 5*q - 3 = -243, 120 = 2*w + 3*q. Is w a multiple of 20?
True
Let j = 173 + -33. Does 35 divide j?
True
Suppose 0 = -5*f - 4*d + 6, -d = f - 3*f + 5. Suppose -j + 15 = 4*j, -5*j = -m + f. Does 15 divide m?
False
Suppose 4*d = 5 - 1. Let n be (d*-2 - 7)*2. Let h = n + 38. Does 10 divide h?
True
Let j be (-8)/(-6)*(-27)/(-2). Let n = j - 12. Is 6 a factor of n?
True
Let h = 21 + -17. Suppose -h*d + 0*d = -t - 97, -5*d + 4*t = -135. Does 9 divide d?
False
Suppose -k + 3 = -0. Let s(r) = -2*r**2 + 0 - r**k + 2 - 2*r - 4. Is s(-2) even?
True
Suppose 0 = -24*l + 21*l + 72. Is l a multiple of 6?
True
Suppose 0 = -3*m + 12, -s - 4*m = -14 - 4. Let c(y) = 4*y - 2. Does 3 divide c(s)?
True
Is (-1885)/(-39) + 2/(-6) a multiple of 13?
False
Let d = 4 + -4. Let f = d - 0. Let w(v) = -v**3 + v**2 - v + 4. Is 2 a factor of w(f)?
True
Let z = 120 - 42. Is 26 a factor of z?
True
Let f(y) = -9 - 7*y - 3*y + 3. Let n be f(8). Let p = -34 - n. Is p a multiple of 18?
False
Suppose -5*y - 3*a + 30 = 0, 0*a = 3*a. Let i(h) = 7*h + 2. Is 17 a factor of i(y)?
False
Let c = 13 + -9. Suppose -4*j = -c*k + 17 + 87, 5*j + 25 = 0. Suppose 0 = -h + 22 + k. Does 15 divide h?
False
Let d = 3 + -1. Suppose 15 = 2*x + x - 3*w, -d = -4*x - 5*w. Suppose -119 = -6*t + 2*t + x*f, 3*f + 55 = 2*t. Is t a multiple of 16?
True
Let q(c) = -c + 2. Let a be q(6). Does 16 divide (a + 1 + -71)/(-1)?
False
Let g be 3/(-2) + (-28)/(-8). Suppose 6*v = g*v + 176. Does 22 divide v?
True
Let u = 15 - 23. Let z = 38 + u. Does 8 divide z?
False
Suppose 6*p - 4*p = 10. Suppose -2*x + 123 = p*f - 3, -5*x - 62 = -2*f. Does 13 divide f?
True
Let o be (-1 + 1)/1 + -5. Let r be (-2)/o - 554/10. Let q = -15 - r. Is q a multiple of 20?
True
Let k be 1*((6 - 2) + 121). Suppose -2*r - q = -24 - 15, k = 5*r - 3*q. Does 9 divide r?
False
Let i = 36 - -9. Suppose 2*v - i = -3*v. Does 7 divide 2/6 - (-60)/v?
True
Let u be (3 + -4)/(2/10). Let y(q) = q**2 - 2*q - 5. Is y(u) a multiple of 10?
True
Let w be 1*-2*(-1006)/(-4). Let j = w - -721. Suppose -2*m = -4*h + j, 4*h - 3*m = 2*h + 119. Does 19 divide h?
False
Is 0 - (0 - 60/2) a multiple of 18?
False
Let i = 0 + 1. Let v be (-1)/(i - (-10)/(-9)). Suppose -46 = -4*l + 2*z, -4*z + v*z - 35 = -5*l. Does 9 divide l?
False
Let m = 146 - -107. Is m a multiple of 23?
True
Suppose -4*f + 0*f = -12. Suppose -5*s = -f*s + 16. Is 8 a factor of s/(-2*2/8)?
True
Let z = 4 + 0. Let f be (1 + (3 - 5))*1. Let s = z - f. Does 2 divide s?
False
Suppose 3*f - 54 - 66 = 0. Is 13 a factor of f?
False
Suppose 4*u + k = 39, -3*u - 3*k + 7 = -20. Suppose -3*p = -o - u, 0*p - 10 = -4*p + 3*o. Suppose 43 = 2*c - 4*x + 13, p*c + 5*x + 5 = 0. Does 3 divide c?
False
Suppose 3*d - 5*a + 28 = 0, 5*d + 0*a = -3*a + 10. Let i(v) = -v + 36. Let f be i(0). Is 9 a factor of (2 + d)/(2/f)?
True
Let t(d) = d**2 - 6. Let b be t(-9). Suppose 0*w - 3*w = -b. Does 7 divide w?
False
Let d(l) = l + 5. Is 7 a factor of d(4)?
False
Suppose 3*u = -4*y + 3 + 5, 5*y = 5*u + 10. Suppose -24 = y*f - 6*f. Is 4 a factor of f?
False
Suppose -2*i + 21 = -9. Is i a multiple of 5?
True
Suppose -h = 3*h - 5*p - 102, -5*h + 136 = -2*p. Let k = h - 17. Is 4 a factor of k?
False
Suppose -v + 3*q + 16 = 0, 3*v - 2*q - 2*q = 28. Let d be 128/(-7) - v/(-14). Is 3/2*(4 - d) a multiple of 14?
False
Let x be 2 + (9/(-3))/(-3). Suppose -x*m = 5 + 13. Is (8/m)/(6/(-117)) a multiple of 13?
True
Let i(x) = 4*x + 12. Suppose c + 2*c + 4*g - 35 = 0, -2*c = -2*g. Is 16 a factor of i(c)?
True
Let h be 1 - 9/(1 - -2). Let y be 2 + 1 + 0 - h. Suppose s = 3*u - 76, -7 = y*s - 2. Does 12 divide u?
False
Suppose -66 = -2*h - 2*t, t - 120 = -3*h - h. Let y = 48 - h. Does 19 divide y?
True
Suppose 0 = 6*n - 3*n. Suppose 4*z + 3 = -4*c + 383, -4*c + 2*z + 410 = n. Is 7 a factor of (8/(-5))/((-8)/c)?
False
Suppose -3*s - 17 - 43 = 0. Let b = s + 34. Does 14 divide b?
True
Let x(l) = 29*l + 3. Let v(j) = -59*j - 7. Let a(r) = -2*v(r) - 5*x(r). Does 13 divide a(-1)?
True
Let m be 3*(-2)/(-4)*114. Is 2 a factor of m/27 - (-4)/6?
False
Let y(z) = -20*z. Let p be y(-1). Suppose 5 = -3*g + p. Suppose -g*v - 5 = -5*u + 5, 2*u + 5*v - 32 = 0. Is 6 a factor of u?
True
Suppose 0 = 5*b - 118 - 62. Is 9 a factor of b?
True
Let q be 4/(-26) - 15/(-13). Let j be (q/2)/((-7)/(-42)). Suppose -5*h - 154 = -3*w - j*h, 3*h - 211 = -4*w. Does 19 divide w?
False
Is 14 a factor of -1*3/((-6)/28)?
True
Let v(l) = l**2 - 4*l + 5. Let b be v(4). Let a(y) = 2*y**2 - 7*y - 6 + 1 + 3. Is 13 a factor of a(b)?
True
Let c be (-6)/27 + (-4)/(-18). Let l = c - -12. Suppose 4 - l = -x. Is x a multiple of 7?
False
Let b be -3 - (-1 + 0) - -1. Let h = 5 + b. Suppose -a + 2*a - 4*t = 17, -h*a + 28 = 4*t. Is 4 a factor of a?
False
Suppose -2*k + 68 = x, 2*x + k - 2*k - 151 = 0. Is x a multiple of 10?
False
Suppose c - 2 = -2*i, -2*c + 4*i = -0*i + 12. Let k(n) = -14*n - 2. Does 9 divide k(c)?
False
Suppose 0 = -3*o - 19 - 11. Let n(y) = y**2 - 3*y + 3. Let j be n(6). Let c = o + j. Does 11 divide c?
True
Let r(p) be the first derivative of p**2/2 + 8*p + 2. Let n be r(-6). Suppose -n*k = k - 39. Does 13 divide k?
True
Suppose 6*h - 5*h - 20 = n, 0 = -4*n. Is 13 a factor of h?
False
Let s(w) = 6*w. Let d(o) = -7*o - 1. Let x(n) = -4*d(n) - 5*s(n). Suppose -l = 2 + 5. Is x(l) a multiple of 18?
True
Suppose 4*t = -2*q + 62, t + 3*t + 64 = 4*q. Is 8 a factor of q?
False
Let t = 5 - 3. Suppose -t*x - 5*g + 12 = 2*x, -2*x + 6 = 2*g. Suppose 2*p = p + 5*s - 4, 48 = 3*p - x*s. Does 11 divide p?
False
Is (-15)/(-105) + (-174)/(-7) a multiple of 6?
False
Let a be (-3)/(-9)*(4 - -2). Let s be 111/a + (-2)/(-4). Suppose 4*m = -16 + s. Does 5 divide m?
True
Suppose -5*i + 3*w = -114, -4*i + 5*i - 5*w = 36. Is 13 a factor of i?
False
Suppose -295 = -5*b + 5*r, b + r - 157 = -2*b. Does 9 divide b?
True
Let k(m) be the second derivative of m**5/20 + 13*m**4/12 + 4*m**3/3 - 5*m**2/2 + 4*m. Is 10 a factor of k(-12)?
False
Let p = 5 + 45. Is p a multiple of 15?
False
Let u(t) = -20*t**2 + 38*t - 17. Let p(m) = 7*m**2 - 13*m + 6. Let y(q) = 17*p(q) + 6*u(q). Suppose -2*r - 3*r + 30 = 0. Is y(r) a multiple of 5?
False
Let o(m) = -m**3 + 11*m**2 - m - 15. Let d be o(11). Is 3 a factor of (-4)/(-10) - d/10?
True
Suppose -m = -0*m - 3. Let l = 0 + m. Suppose -78 = l*c - 6*c. Does 13 divide c?
True
Let p(x) = 2*x - 2. Suppose 2*d + 2*z - 57 = -3*d, -4*d - 4*z + 48 = 0. Let q = d + -3. Is 7 a factor of p(q)?
True
Suppose -6*m + 23 = z - m, 4*m - 28 = -4*z. Suppose j + 2*l = 50, -3*j - 6*l + 159 = -z*l. Suppose 0 = 3*v - v - j. Is 14 a factor of v?
True
Suppose -i + 41 - 14 = 0. Is (i - -3)/(3/2) a multiple of 19?
False
Let j(v) = v**3 + 18*v**2 + 15*v + 18. Does 26 divide j(-17)?
True
Let w(m) = m**3 + 9*m**2 - 7. Does 11 divide w(-8)?
False
Suppose 0*q = -2*q + 10. Suppose -q*y + 284 = 4*s, -y - 3 = 3*s - 205. Let n = s - 42. Is n a multiple of 13?
False
Let r(c) = c**2 + 2*c - 1. Let g(p) = -p**3 + p**2 + p - 3. Let i be g(0). Let k be r(i). Suppose -120 = -u - k*u. Does 15 divide u?
False
Is -9*((-10)/35 - (-127)/(-21