 - 2*z**2 - z. Let f be s(-1). Let y = f - -28. Does 9 divide y?
False
Let v = -3103 - -5391. Is 13 a factor of v?
True
Let x be -1*(-181 + -4)*1. Suppose 3*z - 2*z - 5*q - x = 0, -2*q - 10 = 0. Suppose 2*h = 3*f - 239, -2*f + h = -0*f - z. Is f a multiple of 27?
True
Suppose 2124 = 7*w - 256. Is 4 a factor of w?
True
Is (-5 + 3483/(-36))*-20 a multiple of 55?
True
Suppose 3 = -g - 1, 3*o = -5*g + 139. Suppose -n + o = -21. Is 20 a factor of n?
False
Suppose -12 = -0*m - 3*m. Suppose -m*i = -7*i + 186. Does 8 divide i?
False
Let k(f) = 38*f**2 - 2*f + 13. Is k(4) a multiple of 9?
False
Suppose l = -0*l - 5*r + 13, -5*l + r = -13. Suppose 0 = l*a - 0 - 21. Let j = 14 - a. Is 7 a factor of j?
True
Let q = -10 - -12. Is 25 a factor of 1/q - (1 - (-204)/(-8))?
True
Suppose -2*j + 4*m + 259 = -123, 5*m = 0. Does 18 divide j?
False
Let m(p) be the first derivative of p**4/12 + 5*p**3/6 - 6*p**2 - 7*p + 5. Let l(w) be the first derivative of m(w). Does 12 divide l(-9)?
True
Let t be (-46)/115 + (-754)/(-10). Suppose -145 + t = -k. Is k a multiple of 5?
True
Let n be (-3)/(8/(-6) - -1). Suppose -76*y + 731 = -59*y. Let v = y - n. Does 8 divide v?
False
Let a(h) be the second derivative of 1/12*h**4 + 5*h + 0 + 2*h**2 + 11/6*h**3. Does 4 divide a(-12)?
True
Let s be (-132)/(-15) + (-2)/(-10). Suppose -s*r - 20 = -5*r. Is 14 a factor of (28/(-6))/(r/30)?
True
Let i be -2 + -2 + 9 + -1. Is 9 a factor of 1 + (-56)/(-4) - i?
False
Let s be 1/(-3) - 9/(-27). Does 15 divide 1 + 3 + 41 + s?
True
Let c be (6/3)/(8/(-12)). Let g = c + 8. Suppose g*j - 390 = 10. Is j a multiple of 17?
False
Suppose 6*u - 2 + 14 = 0. Let w(n) = -79*n + 7. Is 9 a factor of w(u)?
False
Let s(u) = 18*u**2 + 2*u + 3. Let k be s(-2). Let q = -65 - -19. Let p = q + k. Is p a multiple of 25?
True
Suppose 0 = -46*g + 42*g - 1616. Is (-5 + 11)/3 + g/(-2) a multiple of 51?
True
Let n = 52 + -49. Suppose 5*u - n = 42. Does 2 divide u?
False
Let s be ((-26)/(-4))/((-6)/48). Let w = -6 - -4. Does 5 divide s/(-4) - -2 - w?
False
Suppose -7*n = -n. Suppose 2*h - 5*h - 6 = n. Let o = h - -9. Is o even?
False
Let y = -106 - -54. Is ((-13)/(y/408))/1 a multiple of 34?
True
Let p(g) = -3*g**2 + 2*g + 1. Let q be p(-1). Let m(z) be the second derivative of -z**4/12 - 3*z**3/2 - 3*z**2/2 - 19*z. Does 17 divide m(q)?
True
Suppose -75 = 4*a + 11*a. Let m(k) = k**3 + k**2 - k + 1. Let f(t) = 4*t**3 + 9*t**2 - 3*t - 2. Let x(u) = f(u) - 3*m(u). Is x(a) a multiple of 10?
True
Suppose 2*g = -4*b + 192 + 404, 896 = 3*g + 4*b. Is 30 a factor of g?
True
Let s = -2160 + 3656. Does 99 divide s?
False
Suppose -h = -5, -4*q = 2*h - 0*h - 50. Suppose 280 = 5*m - q. Suppose -f - 6 + m = 0. Does 26 divide f?
True
Let f be 1*(0 - -2 - 2). Suppose -40 = -2*u + t - 0*t, -5*u + 2*t + 98 = f. Is u a multiple of 18?
True
Suppose -5*p + 1657 = 4*u, -5*u - 2*p = 2*p - 2060. Suppose 2*s = 8*s - u. Is 17 a factor of s?
True
Let o = 20 + -39. Let m = o + 22. Suppose 2*y - 6*y + 5*f + 140 = 0, -m*f = 4*y - 108. Does 10 divide y?
True
Suppose 2*y + s + 64 = 2*s, 3*y - 3*s = -102. Let a = -15 - y. Is a a multiple of 15?
True
Let h(a) = a**3 - 8*a**2 - 10*a + 9. Let f be h(9). Suppose -25 = -4*n + n - g, -5*n + 4*g + 36 = f. Suppose w - 4 = n. Is 5 a factor of w?
False
Suppose -5*a + z + 3*z - 1408 = 0, 3*a + 846 = 3*z. Let c = -124 - a. Is 13 a factor of c?
True
Let v(x) be the first derivative of -x**4/4 - 3*x**3 + 9*x**2/2 - 8*x - 7. Does 15 divide v(-11)?
True
Let i = 1 + 4. Suppose -2*d + i*d = 0. Suppose 5*b + 0 - 15 = d. Does 2 divide b?
False
Let u(j) = j**2 + 14*j - 4. Let y be u(-15). Suppose 20 = -y*h + 6*h. Is 3 a factor of ((-9)/h)/(14/56)?
True
Let f = 9 - -19. Suppose 2*t - 12 = -0*t - 2*h, 3*t - f = 2*h. Suppose 4*n - t - 80 = 0. Is n a multiple of 8?
False
Suppose 5*d - 5*c = 175, -3*d + 3*c - 19 = -4*d. Let m = d + -29. Suppose -2*s = m, -183 = -4*k + s + 2*s. Is 9 a factor of k?
True
Let i = -4 - 15. Is 9 a factor of 1/(-2) + i/(-2)?
True
Let n = 278 + -254. Does 4 divide n?
True
Let r be 2/(-9) + 222/27*1. Suppose -r = -2*c + 62. Is c a multiple of 7?
True
Suppose 3*q - o = q + 114, 3*q - 5*o = 178. Suppose -6*g - q = -10*g. Is 7 a factor of g?
True
Let x(r) = -6*r - 39. Is x(-59) a multiple of 24?
False
Suppose 7*u - 9*u = -8, 5*k = 4*u + 3824. Does 32 divide k?
True
Suppose 0 = -z + 140 + 92. Suppose 5*b + 4*k - 65 = z, b - 42 = 5*k. Is 21 a factor of b?
False
Suppose -17*l - 810 = -22*l. Is l a multiple of 13?
False
Suppose -5*h - 1425 = -4*n, 2*h = -n - 0*h + 366. Is n a multiple of 9?
True
Let a = -65 - -67. Is 17 a factor of -3 - a/2 - -139 - 4?
False
Let b = 38 + -35. Suppose -b*i + 240 = -0*i. Is i a multiple of 20?
True
Let g(o) = 5*o + 3. Let b be g(9). Let q = b - 14. Let c = q + -11. Is c a multiple of 7?
False
Let a = -1 - -58. Is a a multiple of 3?
True
Let h(v) = v + 11. Let n be h(-6). Let x be (3*n)/(7 + -6). Suppose -r + 7 = -x. Does 22 divide r?
True
Let d be 204/66 + (-1)/11. Let h(c) = 5*c**3 + c**2 - 6*c + 3. Let a(n) = 6*n**3 + 2*n**2 - 7*n + 4. Let w(x) = 4*a(x) - 5*h(x). Is 7 a factor of w(d)?
True
Let c = 38 - 53. Let p = 31 + c. Is 8 a factor of p?
True
Let w(l) = l + 1. Suppose 2*c + 4*f - 2 = 0, -4*c = -7*c + f - 4. Let d(z) = 30*z + 35. Let b(u) = c*d(u) + 25*w(u). Is 15 a factor of b(-11)?
True
Suppose 448 = 2*j + 4*u, -21*j - 5*u = -23*j + 466. Is 12 a factor of j?
True
Let o be (76/(-10))/(49/(-35) + 1). Let i be 33 - -1*1*1. Let w = i + o. Is w a multiple of 15?
False
Is 2/(-2) + 497 + 31 a multiple of 8?
False
Suppose -2*a - 3 = -a. Let w be 6/(-18) - (-111)/9. Let s = a + w. Is s a multiple of 3?
True
Let q(f) = 16*f + 79. Is q(7) a multiple of 16?
False
Let x(o) = 17*o - 89. Is 18 a factor of x(16)?
False
Let h(p) = p**2 + 15*p + 10. Let i be h(-14). Is 130 - i - -4 - 4 a multiple of 25?
False
Suppose -5*f + 39 = 4. Suppose f*v - 54 - 30 = 0. Is 4 a factor of v?
True
Suppose 232 = -15*u + 19*u. Suppose -3*x - 236 = -3*t - 68, t - u = 2*x. Is t a multiple of 6?
True
Let j = 469 + -98. Is j a multiple of 74?
False
Suppose 2*l = -6*l + 2376. Suppose -195 = -2*c + l. Is 28 a factor of c?
False
Let q be (18/(-4))/(5/(-610)). Suppose -5*f = -q + 24. Does 7 divide f?
True
Suppose 26*y - 12012 = -16*y. Does 2 divide y?
True
Let m = 139 + 196. Is m a multiple of 38?
False
Suppose -h + 4 = -2*h. Suppose -36*n - 83 = -947. Is 10 a factor of (-10)/h*n/6?
True
Let s = -14 - -20. Let f(r) = -3*r - 4*r**2 + s*r + 6*r**2 + 0*r. Is f(-3) a multiple of 2?
False
Suppose -4*c = 4*n - n, -4*n = -3*c. Suppose g - w - 43 = -n*g, -236 = -5*g - 2*w. Is g a multiple of 19?
False
Suppose -10*x = -3*x - 700. Suppose -x = -r + z, -5*z = -0*z + 10. Does 49 divide r?
True
Let c(w) = w**2 - 8*w. Let q be c(8). Suppose g - 3 = -q. Suppose 260 = m + g*m. Is 10 a factor of m?
False
Let a = -13 + 17. Suppose -3*u - 2*p - 69 = p, 5*u = a*p - 142. Let n = u + 67. Is 17 a factor of n?
False
Let m be (-87)/2*36/(-3). Suppose -o - p + 140 - 35 = 0, 5*o = -4*p + m. Is o a multiple of 17?
True
Suppose k - 2 = 2*k. Let f(r) = 3*r**2 + 3*r - 2. Let j be f(k). Suppose -25 = j*u - 9*u. Is u a multiple of 2?
False
Suppose 0*j = -j - 2. Let h(b) = -3*b + 3*b - b - 1 - 2*b + 9*b**2 + 0*b**2. Does 16 divide h(j)?
False
Let v(a) be the third derivative of a**6/120 + 2*a**5/15 - a**4/2 + 4*a**3/3 + 9*a**2. Let c be v(-9). Is 3/5 - (-1554)/c a multiple of 11?
False
Let o(m) be the third derivative of -m**6/120 + 2*m**5/15 - m**4/24 - m**3/3 - 11*m**2. Let f be o(5). Suppose -d - f = -2*d. Is 18 a factor of d?
False
Let g = -242 - -434. Is 12 a factor of g?
True
Suppose 3*l - 15 = -0*l. Let v = 7 + -6. Suppose -c + l = 4*s + 18, -3*s = 2*c + v. Does 4 divide c?
False
Suppose 4 = 2*b, -5*b - 102 = -2*s - 0*b. Suppose 6*c - 2*c = s. Does 3 divide c?
False
Suppose 12 = 5*q - 2*q. Suppose -q*a = -61 - 31. Suppose 4*x = a - 7. Is x a multiple of 3?
False
Suppose 5*g = -0*m + 5*m - 120, 0 = 5*m + 5*g - 70. Let p = m - 5. Does 2 divide p?
True
Suppose 0 = 4*q - 1876 - 1676. Is 8 a factor of q?
True
Is 169*(15/12 - (-2)/(-8)) a multiple of 5?
False
Let v(x) = x**3 - 7*x**2 - 13*x + 11. Let b(i) = i**3 + 10*i**2 - 2*i - 11. Let m be b(-10). Does 16 divide v(m)?
False
Let b be (9/6)/((-9)/60). Let s(o) = -o**3 - 10*o**2 - o + 7. Let 