et q be g(-1). Is 27 a factor of f(q)?
False
Let a(g) = -2*g**2 - 6*g - 3. Let f be a(-6). Let x = 57 + f. Does 18 divide x?
True
Suppose -2*j + 0*j = -24. Is 3 a factor of j?
True
Let l be 6/((6/41)/3). Suppose -n = 2*n - l. Does 15 divide n?
False
Let f = 74 - -58. Does 17 divide f?
False
Let c(p) be the second derivative of -p**3 + p + 0 - 1/2*p**2. Is 10 a factor of c(-2)?
False
Suppose 18*t - 7*t = 473. Is t a multiple of 25?
False
Is 16 a factor of (-562)/(-6) - (8/(-6) - -2)?
False
Let d(y) = y**2 - 2*y - 3. Let g be d(4). Let l = g - -7. Does 12 divide l?
True
Let v be -12*(-3)/(-9)*-10. Suppose y - v = -y. Is 8 a factor of y?
False
Is 2/10*4*(-15)/(-2) a multiple of 3?
True
Let g(x) = 2*x**3 - 2*x**2 - 2*x + 2. Let h be g(4). Is 9 a factor of (h/(-25))/((-2)/5)?
True
Suppose -473 = -3*y - q, 5*y + 3*q - 1160 + 377 = 0. Is 22 a factor of y?
False
Let z(v) = v**3 - 8*v**2 + 4*v - 6. Suppose 12 = 4*b - 5*x, -8 = -0*x - 2*x. Is 13 a factor of z(b)?
True
Is (-1 - -18)*(1 - -8) a multiple of 17?
True
Suppose 44 = -3*b + 5*u, 5*b + 4*u = 2*u - 94. Is b*1*(1 + -3) a multiple of 18?
True
Let g be ((-2)/6)/((-8)/408). Suppose o + o + 18 = 0. Let z = g + o. Is 8 a factor of z?
True
Let j(z) = -z**2 - 12*z - 9. Does 16 divide j(-6)?
False
Suppose 5*q = 5*d - 270, -2 = -3*q - 11. Let s = -23 + d. Is s a multiple of 16?
False
Let n be ((-318)/4)/(9/(-12)). Let k = n + -37. Suppose -4*m + 7*m = k. Is m a multiple of 18?
False
Suppose -v + 9 + 5 = 0. Suppose -v = -2*f + 26. Does 6 divide f?
False
Let r = 98 - 52. Is r a multiple of 18?
False
Let z(o) = 2*o - 1. Let i(w) = 3*w. Let r(u) = 5*i(u) - 4*z(u). Is 8 a factor of r(2)?
False
Let u = -49 + 81. Suppose -2*a + u = 6. Is 4 a factor of 30/35*(a + 1)?
True
Let f = 22 + -19. Suppose 0 = x + 4*g - 59, 9 = f*x + g - 168. Does 11 divide x?
False
Let b = -7 + 10. Let c(n) = -n**2 + 4*n + 2. Does 5 divide c(b)?
True
Let g = -5 + 11. Let t = 15 + g. Is t a multiple of 7?
True
Let v(n) = -n**3 - 12*n**2 - 15*n + 12. Does 18 divide v(-11)?
False
Suppose -2*u - 150 = -5*j, -10 = 2*j + 2*u - 84. Is j a multiple of 16?
True
Is (-3*(-32)/12)/2 a multiple of 3?
False
Let l(s) = 2*s - 4*s**2 + 6*s**2 + 4*s**2. Is 14 a factor of l(2)?
True
Is 9 a factor of (7 + -13)*(-9)/2?
True
Suppose 25 = 4*s - 3*x + 4, 0 = 5*s - 4*x - 27. Suppose 0 = -3*a + a + 2*d + 14, -3*a - s = 3*d. Suppose a*w + 6 = 0, 2*f = -f - w + 7. Does 3 divide f?
True
Suppose 2*a - 4*i - 10 = 18, -5*a - 2*i = -118. Let p be (-4)/(-2)*15/6. Suppose p*d = g + a, -2*g = d + g - 14. Is d a multiple of 5?
True
Suppose 0 = -4*v - 0*v. Suppose v = -2*z + 4*z - 54. Is z a multiple of 6?
False
Let r be (-8)/(-8)*(0 + 1). Suppose -2*q - r = -11. Does 4 divide q?
False
Let j(y) = -y**3 - 4*y**2 - 7*y - 9. Does 15 divide j(-6)?
True
Let n = 5 - 13. Let r = 31 - n. Is r a multiple of 13?
True
Let o be (-24)/(-14) - (-10)/35. Let d be (-12 + 2/1)*o. Let y = d + 29. Is 9 a factor of y?
True
Suppose -167 = -5*k - s + 63, 5*s = 3*k - 110. Is k a multiple of 45?
True
Suppose 2*a - 76 - 28 = 0. Does 26 divide a?
True
Suppose 7 - 1 = f. Suppose -27 = 3*w - f*w. Is 4 a factor of w?
False
Let v = 6 - 4. Suppose 2*b + 3*i - 8*i - 7 = 0, 0 = -v*b - 2*i. Let o = 8 - b. Is o a multiple of 7?
True
Suppose -3*r + 12 = r, 4*g - 15 = -r. Suppose 58 + 11 = g*s. Is 11 a factor of s?
False
Suppose -4*r - 10 + 42 = 0. Suppose -125 = -r*k + 3*k. Does 10 divide k?
False
Suppose -5*o + 16 = -34. Suppose q + o = -4*q. Is 0 - q/(4/54) a multiple of 19?
False
Let y = 5 - 3. Suppose -y*x = -7 - 3. Suppose -4 = -4*b, x*b - 16 = -5*j + 49. Does 9 divide j?
False
Does 6 divide (3/(-1) - -2) + 31?
True
Suppose -2*t + 205 = 3*t. Suppose 2*g = -3*g. Suppose 2*o + 6 = g, 0 = 4*w - 0*o + o - t. Does 11 divide w?
True
Suppose -z - 7 = -12. Suppose 4*a - z*p - 69 = 0, -p - 18 = a - 2*a. Does 9 divide a?
False
Suppose -q = 2*v + 18, 3*v - 4*q + 9 = -q. Let w(k) be the first derivative of -k**4/4 - 7*k**3/3 - k**2/2 + 4*k + 6. Is 11 a factor of w(v)?
True
Let i(c) = -c + 3. Let w(s) = s**2 - 3*s - 3. Let d be w(3). Let f be i(d). Is ((-15)/(-10))/(f/40) a multiple of 5?
True
Suppose -k = -5*a + 12, 0*k = -3*k + 2*a + 3. Suppose 5*z + 4 = k*z. Is 2 a factor of (z/(-4))/(2/12)?
False
Let c(l) = -l**3 + 3*l**2 - 2*l**3 + 2*l**3 + l. Let p = 2 - 0. Is c(p) a multiple of 6?
True
Suppose 0 = -4*h + 13 + 19. Let w(n) be the second derivative of n**5/20 - 7*n**4/12 - 5*n**3/6 + 6*n**2 - 28*n. Does 22 divide w(h)?
False
Let y(g) = -8*g**3 + 2*g**2 - g - 1. Let z be y(-2). Let b = 29 - 57. Let w = b + z. Is 15 a factor of w?
True
Let y(t) = 3*t**3 + 3*t - 4*t**3 - 2 + 0. Is 18 a factor of y(-4)?
False
Let o = -44 + 86. Is 14 a factor of o?
True
Suppose 9 = 2*y - 11. Is (-392)/(-5) - 4/y a multiple of 16?
False
Let v = -95 - -159. Is v a multiple of 10?
False
Suppose -4 = -t + 2*g - 0*g, -3*t + 2*g = 8. Let i(f) be the first derivative of f**3/3 - f**2 - 7*f + 5. Is i(t) a multiple of 14?
False
Let j be 2/(-3) + (-51)/(-9). Suppose -w = j*z - 35, 2*z + 2*w - 4 = 2. Is z a multiple of 5?
False
Let v = 9 + -9. Suppose v = h + 3*h - 168. Is h a multiple of 11?
False
Suppose -p + h = -0*h - 3, 4*h = -2*p - 18. Let a = 28 + p. Does 9 divide a?
True
Suppose 0 = -u - 0*u + 10. Let f be 18/5 - u/(-25). Suppose f*q - 49 = 19. Is q a multiple of 6?
False
Let r(j) = j**2 - j. Let s(l) = 4*l**2 + 3*l + 11. Let q(p) = 5*r(p) - s(p). Is 11 a factor of q(11)?
True
Suppose 5*h + 127 + 18 = 0. Let y = h - -52. Is y a multiple of 23?
True
Let v(p) = 22*p**3 + 15*p**2 + 9*p + 5. Let u(f) = -7*f**3 - 5*f**2 - 3*f - 2. Let r(a) = 7*u(a) + 2*v(a). Let z be r(-4). Is 22 a factor of z/6 - (-12)/18?
False
Suppose 0 = -4*x + 201 + 71. Is 23 a factor of x?
False
Let j(d) = -d + 2*d + 2 + 1. Let a = 24 + -17. Is 5 a factor of j(a)?
True
Suppose -123 = -0*y - 3*y. Is y a multiple of 15?
False
Let w(o) = o**3 - o**2. Let m(j) = 5*j**3 - 11*j**2 - j - 6. Let z(y) = -m(y) + 4*w(y). Let g be 4/(-6) + 40/6. Does 16 divide z(g)?
True
Suppose -872 = -17*i + 9*i. Is 36 a factor of i?
False
Let k be (48/(-30))/((-2)/5). Suppose k*g + 0*g = 80. Is 8 a factor of -1*(1 - (1 + g))?
False
Let k = -5 - 1. Let z(f) = -f**2 - 7*f + 1. Is 3 a factor of z(k)?
False
Suppose 0 = -2*y + 222 + 10. Suppose 0 = -8*a + 4*a + y. Suppose 11 + a = 2*f - x, 3*f - 51 = -3*x. Does 8 divide f?
False
Let z(i) = 229*i + 1. Let b be z(3). Suppose -4*h = -5*t + 863, -2*h - b = -4*t + 2*h. Suppose -35 = -a - y, 0*a = 5*a - y - t. Does 17 divide a?
False
Let w be (48/(-15))/((-2)/5). Let j(x) = x + 10. Is j(w) a multiple of 9?
True
Let j(f) = f**3 - 9*f**2 - 9*f - 5. Does 3 divide j(10)?
False
Suppose -5*c + 129 + 26 = 0. Is c a multiple of 8?
False
Suppose -3*y + 3*j = -168, 3*y + 2*y - 280 = -5*j. Is y a multiple of 7?
True
Let p(s) = -8*s + 4. Let c be p(-4). Let x = -20 + c. Is x a multiple of 13?
False
Suppose -3*k + 3*s - 3 = 0, -3*s - 4 = 2*k + 3. Let v be 105/12 + k/(-8). Suppose -3*r - 2*o + v = 0, -r - 2*o - 7 = 2*o. Is r a multiple of 3?
False
Let d be (-92)/(-6) - (-3)/(-9). Let s be 93/d + (-1)/5. Suppose m = -3*y, -2*y = m - s*m + 17. Is 3 a factor of m?
True
Let b = 5 + 55. Is 6 a factor of b?
True
Let d be -4 + (0 - (-4 - -1)). Is (-4)/(-8)*(-32)/d a multiple of 11?
False
Let m(y) = 6*y**2 + 2*y - 2. Let n be 2/1 + (-6 - -1). Is 16 a factor of m(n)?
False
Let s(i) = 2*i - 11. Let a be s(5). Is 4 a factor of (10 - (-2 - -1)) + a?
False
Let o = -2 - -9. Is o a multiple of 7?
True
Suppose 25*h - 114 = 23*h. Is h a multiple of 4?
False
Let b(q) = q. Let a(z) = -z**2 + 4*z + 3. Let o(g) = a(g) - 3*b(g). Let t be o(0). Suppose -i + 10 = -t. Is 13 a factor of i?
True
Suppose -2*g = -9*r + 4*r - 102, -2*g + 130 = 2*r. Let d = -25 + g. Is 18 a factor of d?
True
Let s(y) be the second derivative of -y**3/6 + 11*y**2/2 + 2*y. Let m be s(5). Is (-2 + 4/m)*-21 a multiple of 14?
True
Let t be 1 + (-4)/(-2) - -50. Does 12 divide -8 + 8 + (t - -1)?
False
Suppose 4*r + h - 157 = -58, 0 = -2*r + 3*h + 53. Suppose 240 - r = 5*y. Is 16 a factor of y?
False
Let h be (2/(-2) - 14)*-23. Suppose -4*k = k - h. Is 21 a factor of k?
False
Let l(w) be the first derivative of w**3 + 3*w**2/2 + 2*w + 1. Suppose -2*n = 4*x + 2, -2*n - x - 11 = 2*n. Is 10 a factor of l(n)?
True
Suppose 0 