 = 8*f + 4. Let c be g(-6). Let w = 83 + c. Is 15 a factor of w?
False
Let o(r) = -r + 0*r + 2 + 0. Let a be o(-4). Let u = 11 - a. Is u a multiple of 3?
False
Let g = -35 - -80. Is g a multiple of 9?
True
Let z(t) = 0*t + 3 + 5*t - 3*t. Let g(p) = p + 2. Let c(j) = 6*g(j) - 5*z(j). Is 13 a factor of c(-4)?
True
Suppose -8 = -5*q - 3. Suppose 2*j = -17 - q. Is j/(-4)*8/3 a multiple of 6?
True
Let b be 6*2/(-12)*-3. Let z be (-158)/(-6) - (-2)/b. Let g = z + -19. Does 4 divide g?
True
Suppose 0 = k + i + 5, 0*i = -5*k + 4*i + 20. Is 156/6 - (3 + k) a multiple of 12?
False
Let t(o) = -15*o - 6. Let v(g) = 14*g + 6. Let h(x) = -6*t(x) - 7*v(x). Is h(-5) a multiple of 11?
False
Let c(f) = 47*f + 1. Let v = 8 - 5. Suppose x + 3 = -4*p, 6*x + 5*p + 2 = v*x. Is 16 a factor of c(x)?
True
Let h = -51 + 93. Is 13 a factor of h?
False
Suppose 0 = -2*d + 7*d - 10. Suppose -3*s + 32 = -4*p, -s - d*p = s - 40. Is s a multiple of 5?
False
Let o = 834 + -547. Does 41 divide o?
True
Let k(w) = -6*w - 1. Let u be k(1). Suppose -10 = -v - 4*v. Let b = v - u. Is 3 a factor of b?
True
Suppose -2*j + 81 = c, j + c = 3*c + 48. Suppose 5*p - j = 2*p. Does 10 divide p?
False
Suppose -6*k = 30 - 186. Is 2 a factor of k?
True
Let h(q) = -6*q**3 - 12*q**2 - 2*q - 10. Let v(r) = 5*r**3 + 11*r**2 + 3*r + 10. Let x(k) = -4*h(k) - 5*v(k). Let g be 3/3 + 8/(-1). Does 17 divide x(g)?
False
Does 10 divide -140*(1 - ((-3)/6 - -2))?
True
Let p = 141 + -67. Is p a multiple of 21?
False
Suppose d = -5*g + 35, 4 = 2*d - g - 22. Suppose 0 = -4*y + 143 - d. Is y a multiple of 16?
True
Let h = -20 + 24. Let s(y) be the third derivative of y**4/2 - 5*y**3/6 - y**2. Is s(h) a multiple of 16?
False
Suppose -5*z = -30 - 45. Suppose q + z + 6 = 0. Is 5 a factor of q/(-2) - (-1)/(-2)?
True
Let o(u) be the second derivative of u**4/2 + u**3/6 - u**2/2 + u. Let y be o(1). Let p(w) = w**2 - 3*w - 1. Is 17 a factor of p(y)?
True
Is 28 a factor of (-1 - 55)/((-14)/21)?
True
Let p be (-1)/(-3)*90/3. Suppose -p = -2*o, 5*o - 3*o - 235 = -5*i. Suppose w - 4*w = -i. Is w a multiple of 6?
False
Suppose h + 0*h = -2*z, 4*z = 2*h. Suppose 5*v + 0*w - 3*w - 280 = h, v = 5*w + 34. Is v a multiple of 14?
False
Suppose 4*m = -m + 30. Suppose -p = -m*p. Let x = 11 - p. Is x a multiple of 11?
True
Suppose -n = -3*n + 192. Is n a multiple of 24?
True
Let j(z) = 163*z**3 + 2*z**2 - z. Let q be j(1). Suppose 0 = -8*l + 4*l + q. Does 19 divide l?
False
Suppose -5*s + 4*r = -26, 12 = s - 5*r - 10. Suppose s*y - 6 = 2*u, 4*y + 3 = 2*u + 15. Suppose -o + u*o + 39 = 0. Is 25 a factor of o?
False
Let g(w) = w**3 - 6*w**2 - 7*w + 3. Let v be g(7). Suppose 9 = v*r, -l - 3*r = -0*r - 40. Let i = l - 16. Is i a multiple of 15?
True
Is 33 a factor of (0/5 - -162) + -3?
False
Suppose 64 = -4*m + 20. Let d(b) = b**3 - 13*b**2 + 10. Let o(t) = t**3 - t**2 - t - 1. Let a(n) = -d(n) + 2*o(n). Does 8 divide a(m)?
False
Let f = 74 - 48. Is f a multiple of 26?
True
Let v(i) = i**3 - 3*i**2 + 2*i - 5. Let s be v(4). Let q = s + 8. Is 8 a factor of q?
False
Is ((-16)/4 - -3) + 148 a multiple of 37?
False
Suppose -137 = -4*n - 2*v - 49, -3*v = -3*n + 84. Does 3 divide n?
True
Let w(h) = h**3 + 8*h**2 + h + 3. Let k be w(-8). Let u be (-8)/(-20) - 148/k. Suppose -5*b = -5*q - u, -4*b - 4*q + 15 + 25 = 0. Is b a multiple of 4?
True
Let t(x) = -60*x + 18. Does 16 divide t(-6)?
False
Let d = 39 + 19. Is d a multiple of 29?
True
Suppose -2*z + 199 = 73. Suppose m = -2*y + z, -3*m = -5*y + 260 - 97. Suppose -5*w + y + 33 = d, 2*w + 4*d - 26 = 0. Does 6 divide w?
False
Let v(x) = x**2 + 6*x + 9. Is 17 a factor of v(-13)?
False
Let m(k) = -7*k + 1. Suppose 3*w = -5*t - 2 + 4, 0 = 2*w + 3*t - 1. Is 8 a factor of m(w)?
True
Let g = 5 - -1. Is (-3)/6 + 135/g a multiple of 11?
True
Let j(m) be the first derivative of m**4/4 + 7*m**3/3 + 5*m**2/2 - 7*m - 2. Does 9 divide j(-5)?
True
Let h = -1 + 21. Suppose z = 5*z - h. Is z a multiple of 2?
False
Let f = 5 + -2. Suppose -5*u + 0*u - 3*o = -97, 0 = 3*u + f*o - 57. Is 7 a factor of u?
False
Let d(l) = 35*l + 21. Let b(w) = 17*w + 10. Let t(s) = 13*b(s) - 6*d(s). Does 13 divide t(3)?
False
Let z(g) = g**3 - 8*g**2 - 3. Let y be z(8). Is 15 a factor of y*(3 - 54/3)?
True
Suppose y = -3*y + 20. Let j(w) = w**3 - 4*w**2 + 3*w - 4. Does 12 divide j(y)?
True
Let g = -122 + -61. Is 6 a factor of (-4)/(-6) + g/(-9)?
False
Let s = 61 - 31. Does 15 divide s?
True
Let k = -16 + 46. Does 15 divide k?
True
Let v(g) = g**2 + 10*g - 9. Let k be v(-11). Suppose k*c - 260 = -3*c. Is 20 a factor of c?
False
Suppose 0 = -2*u + 13 + 1. Let t(k) = k**2 + k + 9. Let y be t(u). Suppose 20 = -3*v + y. Is v a multiple of 10?
False
Let w(l) = 82*l + 2. Is 21 a factor of w(1)?
True
Suppose 0 = -k - 4*g + 104, 4*k - 6*k + 2*g + 168 = 0. Does 11 divide k?
True
Suppose 8*s - 507 = -19. Is s a multiple of 21?
False
Let n = 210 + -31. Is n a multiple of 34?
False
Let j(l) = 5*l**2 - 3*l + 2. Let i(p) be the first derivative of 5*p**3/3 - 2*p**2 + p + 2. Let w(v) = -2*i(v) + 3*j(v). Is w(-3) a multiple of 21?
False
Let h(i) = -i**2 - 3*i - 1. Let k be h(-2). Is 10 a factor of 10 + (3 - k/1)?
False
Suppose 5 = 3*r - 4*c, r - 4*c = -2*c + 5. Does 19 divide (-110)/(-4)*(-6)/r?
False
Suppose -3*z - x + 15 = 0, -2*z + z - 4*x = -5. Suppose -2*a + 4*p - 73 = -7*a, 0 = 4*a - z*p - 83. Is 9 a factor of a?
False
Let a(b) = -7*b - 4. Suppose h + 5 = -4*h. Let i be h + 2 - (-10)/(-2). Is a(i) a multiple of 12?
True
Let z(y) = -y**3 - 3*y**2 + 5*y + 1. Let a be z(-5). Suppose a = -m + 2*m. Does 25 divide m?
False
Let i = -24 + 26. Suppose -5*u + i*k + 220 = 0, -u - k + 15 = -36. Is 22 a factor of u?
False
Suppose -91 = -6*h + 5*h. Is 13 a factor of h?
True
Suppose -5*f = -0*f - 25. Suppose -9 = -0*b - 3*b, 3*b = -f*w + 899. Suppose q + 5*i - 35 = 0, -5*q = 5*i + 3 - w. Does 13 divide q?
False
Suppose -4*a - 3*f + 85 = -3*a, 0 = -4*a + 2*f + 354. Does 35 divide a?
False
Suppose -b + 4*j + 44 = 0, 0 = -5*b + 5*j + 18 + 232. Suppose 7*q - 2*q = 3*h - b, -2*q - 10 = 0. Does 4 divide h?
False
Suppose 0 = 3*z - 3*t - 9, 0 = 2*z - 5*t - 3 - 0. Suppose -5*j + v = -z*v - 290, 131 = 2*j - 5*v. Is j a multiple of 19?
False
Suppose 3*z + 10 = 5*z. Let m = z - 1. Let o = 4 + m. Does 5 divide o?
False
Suppose -2*r - 2*r + 32 = 4*d, 5*d + 80 = 5*r. Let y(k) = -k**2 + k + 3. Let i be y(0). Suppose -r - 9 = -i*n. Is 7 a factor of n?
True
Let z(f) = -24*f - 2. Does 14 divide z(-3)?
True
Let z be -4 - 4/8*-8. Suppose 103 = 3*s - j, z*j - 165 = -5*s + 3*j. Does 18 divide s?
True
Suppose 2*n + 2*v + 4 = 0, v = 4*n + 6 + 2. Let u be 2 - (0 - n)/(-1). Suppose -8 = u*o, -2*p - 5*o = p - 53. Does 21 divide p?
True
Suppose 25 + 5 = 5*a. Does 3 divide a?
True
Suppose -2*f + 85 = s - 11, 3*s = -4*f + 188. Suppose -y + 4*u + f = y, -5*y + 4*u = -95. Does 15 divide y?
True
Suppose -2*h + 5*z = -79, -2*z - 9 = -3. Is 4 a factor of h?
True
Suppose -5*v + 17 - 7 = 0. Suppose 2*l - 300 = -v*l. Suppose -4*y + l = y. Is 8 a factor of y?
False
Let o(z) be the first derivative of -z**4/4 - 2*z**3 - 2*z**2 - 6*z - 3. Does 6 divide o(-6)?
True
Let h be (4/(-6))/(3/18). Let w be h/(-6) - (-160)/3. Suppose w = x + 2*x. Is x a multiple of 17?
False
Let c(u) = 3*u**3 + 3*u - 2*u**3 + 1 - 4*u**2 + 9*u**2. Let p be -1*6 - 1*(-12)/6. Does 5 divide c(p)?
True
Let a(q) = q + 10. Let w be a(-7). Let x be (2 - w) + 65/5. Suppose -12 = -4*y + x. Is y a multiple of 6?
True
Let j = 14 - 9. Suppose -13 = j*r - 53. Is r a multiple of 4?
True
Let l(t) = 11*t**2 + 14*t - 5. Let j(h) = -4*h**2 - 5*h + 2. Let q(s) = -8*j(s) - 3*l(s). Let z be q(-2). Does 4 divide 9 + z/(-2 - -3)?
True
Suppose -2*z + 158 = p + p, -149 = -2*z - 5*p. Suppose -4*u + z - 26 = 0. Does 14 divide u?
True
Suppose 0 = 4*j + 99 - 15. Let g be 6/j + 74/14. Suppose g*d - 2*a = d + 58, -5*d - 5*a + 50 = 0. Does 13 divide d?
True
Let t = 143 - 80. Is t a multiple of 7?
True
Let p(s) = -s + 2. Let y be p(-4). Suppose 4*h - y*h = -16. Does 3 divide h?
False
Let p = 5 + -8. Let b(d) = -10*d. Is b(p) a multiple of 15?
True
Let v(m) = -7*m - 6. Let u(b) = -13*b - 12. Let w(s) = -2*u(s) + 5*v(s). Is 19 a factor of w(-7)?
True
Let p = 18 + -16. Is -6*p/(-4)*15 a multiple of 12?
False
Let o be -6*(-2 + 1)*1. Let c = 3 + -6. Let f = o 