 c?
False
Let w(x) = -x - 1. Suppose 5 + 9 = 2*z - p, -3*p - 6 = 0. Let m be (15/(-10))/(1/z). Is 4 a factor of w(m)?
True
Suppose -3*v = -3, v - 29 = 4*g - 4. Let j(n) = 2*n**2 + 8*n - 5. Does 6 divide j(g)?
False
Let t(b) = 3*b + 6. Let m(p) = -6 + 2*p + 3*p + 3. Let v be m(2). Is t(v) a multiple of 15?
False
Suppose -4*y = 3*j + 27, -3*y + 3 - 17 = j. Let r be -5*((-56)/j)/4. Does 3 divide (-6)/12 - r/4?
True
Suppose -6 = -3*h + 2*q + 162, 0 = -q. Is 8 a factor of h?
True
Let b(d) = d**3 - 10*d**2 + 7*d + 6. Let j be b(9). Is 15 a factor of (-345)/j - (-3)/(-4)?
False
Suppose f = 3*n + 15, -2*n + n + 9 = 2*f. Let r(a) = 9*a - 11. Does 25 divide r(f)?
False
Suppose z - 40 = -m + 5*m, 5*z = 3*m + 285. Does 6 divide z?
True
Suppose 0*l = 3*l + 180. Let s = -14 - l. Is s a multiple of 11?
False
Let x(h) = -5*h - 3. Let p be x(-3). Let j be 8/p + (-2)/3. Is 15 a factor of j - 2 - 27/(-1)?
False
Let p = 4 - -1. Suppose -r = -2*r + p. Is 5 a factor of r?
True
Suppose z + 60 = 4*s, -s - 2*z - z = -2. Suppose -4*v = -2*u + 26 + s, -3*v = 12. Is u a multiple of 6?
True
Suppose -s + 10 = s - 3*n, -10 = -2*s - n. Suppose 16 = 4*j, 0*u = s*u + 2*j - 28. Suppose -u*q = -k + 6, 5*q + 0 = 5*k - 30. Is k a multiple of 3?
True
Suppose 2*b - 10*b + 384 = 0. Is b a multiple of 12?
True
Let h(y) = -y + 6. Let u be h(9). Let f = 20 + u. Let b = f - 10. Is b a multiple of 3?
False
Let g(b) = -b + 4. Let y be g(3). Let v = y + 1. Suppose -14 = -v*j - l, -6*l = -2*l. Is j a multiple of 3?
False
Let t(l) = -3*l**3 - 2*l**2 - 7*l - 8. Is t(-3) a multiple of 38?
True
Let l(y) = y - 1. Let p be l(-5). Let b = 7 - 16. Is 14 a factor of (-354)/b + (-4)/p?
False
Let u(q) = -q**3 - 8*q**2 + 4*q + 1. Let j be u(-9). Let w be (-20)/((-2)/(-2) + -2). Let a = j - w. Is a a multiple of 13?
True
Let n(p) = p**2 + p. Let x(z) = -2*z**2 - 4*z - 4. Let d(j) = -3*n(j) - x(j). Let f(b) = -2*b**2 + 2*b + 7. Let o(a) = 7*d(a) - 4*f(a). Is 13 a factor of o(-5)?
False
Let k be -3*(-2)/(-12)*-2. Suppose 0 = 4*y - k - 3. Is 3 a factor of (6/7)/(y/7)?
True
Suppose 72 = 13*m - 58. Is 5 a factor of m?
True
Suppose 0 = -6*y + 3*y + 51. Suppose -4*m - 15 - y = 0. Does 16 divide (-3)/2 + (-252)/m?
False
Suppose -2*f = -7*f + 95. Suppose 5*m + o = 104, -2*o + f = m - 0*m. Does 21 divide m?
True
Let k(d) = -27*d**3 - d - 1. Let l be k(-1). Suppose 5 = 2*w - l. Let c = w - 10. Is 4 a factor of c?
False
Let k be 0 - -1*(1 + -1). Does 7 divide (1 - -12) + k/5?
False
Let z = 21 + -11. Does 14 divide (-7)/(z/6 - 2)?
False
Let d be -1 + -1 + (5 - -3). Does 19 divide (-224)/(-10) + d/10?
False
Let g(y) = 4*y - 4. Let x be g(6). Does 2 divide x/(5 - 3) - 1?
False
Suppose -c = -5*d + 14, -4*c = -5*d + 4*d + 18. Suppose -r - 297 = -3*s, -198 = -d*s - r + 3*r. Let y = -59 + s. Is 20 a factor of y?
True
Let t = -10 + 30. Let u = 10 + t. Does 10 divide u?
True
Suppose 0 = 2*k - 10, 3*r + 0*k - 2*k = 47. Is 3 a factor of r?
False
Let w(v) = 9*v**3 - v**2 - v - 1. Let y be w(-1). Is 3 a factor of (1 - -11)/((-15)/y)?
False
Let l(t) = -10*t - 5. Does 17 divide l(-7)?
False
Let d(a) = 20*a. Let g be (1 + 0)/(1/(-5)). Let j(y) = -10*y. Let n(v) = g*j(v) - 2*d(v). Does 10 divide n(3)?
True
Is 29 a factor of (5 - (-371)/35)/((-4)/(-10))?
False
Let g = -26 - -49. Does 6 divide g?
False
Let a(z) = -z**3 - 7*z**2 + 2*z + 5. Let d be a(-7). Let f be ((-42)/d)/(4/6). Let b(c) = 2*c**2 - 8*c + 10. Is 14 a factor of b(f)?
False
Is 5 a factor of 1*4/(8/50)?
True
Suppose -5*c = -q - 69, -2*c - 136 - 155 = 5*q. Let b = q + 92. Does 11 divide b?
True
Is 29 a factor of (-116)/(-20)*(-4 + 9)?
True
Let r be (-64)/(-6) + (-1)/(-3). Let k be (-2)/(-6) - r/(-3). Suppose k*d - 96 + 4 = 0. Is 15 a factor of d?
False
Let k(o) = -2*o**2 - 16*o - 2. Let p(f) = -4*f**2 - 31*f - 5. Let v(l) = 11*k(l) - 6*p(l). Is v(-6) a multiple of 12?
False
Let o(c) = -7*c. Let f be o(1). Is (-2)/f + (-340)/(-35) a multiple of 10?
True
Suppose 0 = 6*o - 11*o. Suppose -4*j + 47 + 17 = o. Is j a multiple of 8?
True
Let v be ((-42)/4)/(18/(-48)). Suppose o = -3*f + v, 14 + 8 = 3*f + 4*o. Is f a multiple of 5?
True
Let b = 9 - -9. Is 6 a factor of b?
True
Let h be 15/25 - (-16)/(-10). Is 11 a factor of 11/(3 - (3 + h))?
True
Let u be (-2 - -2)/(-1 + 3). Let r be (u - 2 - -2)/2. Suppose 11 - 163 = -4*s - 2*l, r = -4*s + 3*l + 152. Is 19 a factor of s?
True
Let r(q) = q**3 - q - 22. Let p be r(0). Let b = 2 - p. Is b a multiple of 5?
False
Let u(q) = q**3 + 2*q**2 - 3*q. Let w be u(-3). Suppose -d + 14 = -x, -12 = 4*x - w*x. Does 11 divide d?
True
Let x(y) = -y**2 + 8*y - 6. Let k be x(5). Does 9 divide ((-12)/k)/((-8)/84)?
False
Let n = -1 + 18. Let m(v) = -v**3 - 6*v**2 - 4*v + 6. Let i be m(-5). Let o = n + i. Does 5 divide o?
False
Suppose 5*b = 3*f - 0*f - 32, 5*f - 2*b = 28. Is 10 - (f - 1)/(-3) a multiple of 11?
True
Let y(v) = 5*v - 17. Does 2 divide y(7)?
True
Let o = 25 + -5. Let s = o + 3. Is 14 a factor of s?
False
Let g = -7 - -9. Suppose g*y = 2*k, y + 2*k + 10 = -2*k. Is ((-10)/3)/(y/6) a multiple of 10?
True
Let b be (204/30)/((-4)/(-10)). Suppose 7 = q + u, -3*u = -3*q + b - 2. Is q a multiple of 4?
False
Let o(n) = -n**3 + 7*n**2 - 3*n + 2. Suppose -6 = -2*m - 2*z, 4*z = -3*m - 0*z + 10. Suppose -11 + m = -3*i. Is 13 a factor of o(i)?
False
Suppose -r + 4 = -5*d + 17, -4*d = 3*r - 18. Suppose 2*y - 44 = -2*z - d*z, y = 3*z. Does 5 divide 16/(-6)*y/(-4)?
False
Does 26 divide 2084/20 - 4/20?
True
Suppose p + p + 6 = 0, q + 3*p = -60. Let l = 3 - q. Is l a multiple of 18?
True
Let k = -7 - -3. Let g = -38 + k. Let n = -23 - g. Does 19 divide n?
True
Let h = 13 - 9. Suppose -h*a + y = -44, -3*a - 2*a + 46 = y. Does 3 divide a?
False
Let m(s) = -2*s + 49. Is m(0) a multiple of 13?
False
Suppose 0 = -8*r + 3*r + 250. Does 10 divide r?
True
Suppose -5*s + 5*i + 9 = 3*i, -3*i + 18 = 3*s. Suppose -4 = -q - y, -s*q + y + 0 + 8 = 0. Is 3 a factor of 1 - (2 + -1 - q)?
True
Let v(u) = -16*u - 51. Does 27 divide v(-16)?
False
Let f = 42 - 17. Is 14 a factor of f?
False
Let y(z) = 3*z - 1. Let h be y(-1). Let f(g) = g**3 + 6*g**2 + 5*g + 2. Is 7 a factor of f(h)?
True
Let j(d) = d**3 + 12*d**2 + 9*d - 12. Let w be j(-11). Suppose 2*g = 80 + w. Does 15 divide g?
True
Let w = -6 - -1. Is 8 a factor of ((-6)/w)/(12/80)?
True
Let z = -99 + 52. Suppose 3*m - 6 = 0, -3*m = h + h + 38. Let c = h - z. Is 17 a factor of c?
False
Does 25 divide -93*(4 - 2)/(-2)?
False
Suppose 3*w - 148 = -2*d, -73 = -w + 3*d - 9. Does 4 divide w?
True
Let u(x) = 7*x - 27. Is 36 a factor of u(9)?
True
Let j(z) = -z - 14. Let s be j(-6). Is 14 a factor of (2 - 58/8)*s?
True
Suppose -3*r + 25 = n, 0*n + 4*n = -20. Is 10 a factor of r?
True
Let b be 3/3*(-2 + 5). Suppose f - 1 = -u, -f - 2*u + 1 = b. Suppose k - 16 = -0*t - 3*t, -4*t = f*k - 48. Is k a multiple of 5?
True
Let b(d) = d**2 + d + 20. Is b(0) a multiple of 4?
True
Let g(q) = q**2 - 8*q - 9. Is 8 a factor of g(11)?
True
Let g = -128 + 170. Is 7 a factor of g?
True
Let z = 0 + -12. Let w be 2 + z/3 - -3. Let f = 4 - w. Does 3 divide f?
True
Let c = 6 + -12. Let f(b) = -b**2 - 3*b + 4. Let x(h) = -2*h**2 - 6*h + 8. Let t(s) = -9*f(s) + 4*x(s). Is t(c) a multiple of 10?
False
Is (-119)/(-1) - (-21)/(-7) a multiple of 16?
False
Let b be 20 - (1 - 0/2). Suppose 5*i - b = 1. Suppose i*d - 48 = -16. Does 8 divide d?
True
Let b(q) = q**3 + 9 - 9*q + 1 + 6*q**2 + 0*q**3. Is 12 a factor of b(-7)?
True
Suppose 6 = f + 2*f. Let a(n) = -7 - 4*n + f - 3*n - 2. Does 14 divide a(-7)?
True
Suppose 5*q + 140 = 9*q. Is 5 a factor of q?
True
Let m = -2 - -2. Let n be 3/(-2 + 5)*m. Suppose n = -3*w - 0*w + 24. Does 8 divide w?
True
Is 18 a factor of -36*12/(-8) + 0?
True
Let d be (-2)/((-6)/9) - 0. Is 2 a factor of 7*(6 - d)/3?
False
Let m(x) be the third derivative of x**6/120 - x**4/24 + 2*x**2. Let k be m(0). Suppose k*n + n - 18 = 0. Is n a multiple of 9?
True
Let a(i) = -2*i**2 - 2*i + 3. Let y be a(-3). Let g = 31 + y. Is g a multiple of 18?
False
Let z be (-4)/(-3)*(-12)/(-8). Suppose z*h - 5*k = 9, k - 3*k - 2 = 0. Suppose 0 = 6*i - h*i - 32. Is 8 a factor of i?
True
Let v(n) = -2 + 3*n + 4*n - 7*n + 3*n**2 + 5*n. Is 20 a factor of v(5)?
False
Suppose 2*x = y - 11, y - 8 = x + 2. Is 9 a factor of y?
True
Let c = -3 + 4. Let u be (2 + 