tor of z?
True
Let v(h) = h**3 + 4*h**2 - 2. Let u be v(-4). Let k be 13/(-4) - (-2)/8. Is u/(-2) - 4*k a multiple of 13?
True
Is 2 a factor of (-432)/(-42) - 8/28?
True
Let c = 111 + -43. Suppose 5*i - c = -3*p + 7, i - 22 = -2*p. Does 6 divide i?
True
Let l = -201 + 285. Does 28 divide l?
True
Let a = 94 + -67. Is 13 a factor of a?
False
Suppose -2*v = -2 - 6. Suppose -8 - 8 = -v*s. Suppose 0 = -2*n + s, 62 = u + u - n. Does 16 divide u?
True
Let v = 0 + 2. Suppose -5*g + v*z + 310 = 0, g - 16 = 2*z + 54. Is g a multiple of 22?
False
Let j = -56 - -95. Is j a multiple of 13?
True
Suppose 4*t + 2*a = 94, -2*t + 14 = 4*a - 18. Let f = 62 - t. Does 18 divide f?
True
Let g = -1 + 4. Suppose -4*h + 2*l = -6, 2*h = -5*l - g - 0. Is (h + 28)/(1 - 0) a multiple of 8?
False
Let n = -9 - -18. Let w be 10*(0 - n/(-6)). Suppose o = 5*a + w - 1, 23 = o + 4*a. Is 7 a factor of o?
False
Suppose -3*m = -0*m. Suppose -r - 8 - 1 = m. Does 13 divide (-111)/r + (-2)/(-3)?
True
Let m(s) = -5*s**3 - s**2 + 1. Let q be m(1). Let h = -3 - q. Does 2 divide h?
True
Suppose 4*g - 9*g - 4*p + 92 = 0, 4*g + 4*p = 76. Suppose -3*j + 4*j - 5*y - g = 0, -4*y = 2*j + 10. Is 17 a factor of j - (-1 - -2) - -17?
True
Let k(j) = -4*j + 0*j + 5*j. Suppose -34 = 8*n - 90. Is 3 a factor of k(n)?
False
Let a(j) = 7*j + j**3 - j - 2*j**3 + 8*j**2 + 9. Let i be a(7). Suppose 0 = -5*y - p + 96, -4*y = -p - 4*p - i. Does 10 divide y?
True
Suppose 4*u - 15 = u. Does 2 divide u?
False
Let u(t) = -t**2 + 5*t + 4. Let b be u(5). Let x = b + 18. Is x a multiple of 10?
False
Is ((-3)/(-6))/(1/38) a multiple of 9?
False
Let t = 13 + 62. Is 13 a factor of t?
False
Let v(i) = -18*i**2 - 2*i + 1. Let t be v(1). Let u = t - -31. Suppose -g + u = 2*g. Is 3 a factor of g?
False
Let d be -1*3*(1 - 0). Let x be (d/(-2))/((-15)/(-500)). Is 21 a factor of x - ((-1)/(-1))/(-1)?
False
Let u = -3 + 6. Suppose 4*j - 17 = -u*g, 8*g + 29 = 5*j + 4*g. Is j a multiple of 5?
True
Suppose 0 = -7*d + 3*d + 132. Does 29 divide d?
False
Is 11 a factor of (-4)/6 - (-808)/24?
True
Suppose 6*h - 2*h = 0. Suppose 4*a - a - 36 = h. Suppose 7*y - a = 3*y. Does 3 divide y?
True
Suppose -l + 15 = 2*l - 4*s, -3*l + 15 = 4*s. Suppose 0*j - 5*j + t + 165 = 0, -165 = -5*j - l*t. Is 10 a factor of j?
False
Let z be (-4)/30*-3*10. Suppose 3*k - 691 = 2*o + 714, z*o - k = -2795. Is o/(-12) + (-3)/18 a multiple of 23?
False
Suppose w - 4*w = -123. Does 14 divide w?
False
Suppose 0 = a + 2*a - 120. Does 22 divide 2 + (-3)/(-3) + a?
False
Suppose 46 = 5*b - 29. Does 5 divide b?
True
Let x(d) be the third derivative of d**6/120 + d**4/6 - d**2. Is x(3) a multiple of 13?
True
Let k(d) = -42*d + 88. Is k(-6) a multiple of 20?
True
Let p be (-1768)/(-14) - (-12)/(-42). Suppose 3*z + 0 - p = 0. Does 14 divide z?
True
Suppose 0*j - z = -4*j + 480, 120 = j + 4*z. Suppose -3*g - g - j = 0. Let s = -15 - g. Does 5 divide s?
True
Suppose -2*r = -4*r - x + 116, 3*r - 173 = -x. Suppose -76 = -4*q + 4*m, -7 = 2*q - 5*m - r. Is 11 a factor of q?
False
Let u = 9 - 6. Is 3 a factor of u?
True
Suppose 4*d + 122 = -86. Let n = d - -75. Does 16 divide n?
False
Let m(b) = -363*b**3 - b**2 + b. Let a be m(1). Is a/(-21) + 4/(-14) a multiple of 11?
False
Let q(c) = -34*c - 1. Let r(y) = -1 - 29*y - 2 - 38*y. Let n(v) = -5*q(v) + 2*r(v). Does 13 divide n(1)?
False
Suppose 4*j + 3*c + c = 4, 8 = 3*j - 2*c. Suppose 4*s - 5*t = 124, 8 = j*t - 0*t. Is 10 a factor of s?
False
Let l be 6 + ((-4)/2 - 0). Let n be (-16)/(-12) + l/6. Is 15 a factor of -12*((-3)/2 - n)?
False
Is 3 + -3 - (-22 + 4) a multiple of 6?
True
Let u = 1 + 3. Suppose 9 = j - u. Is j a multiple of 11?
False
Suppose -m = -5, -4*m - 44 + 12 = -p. Let z = -11 + p. Does 12 divide z?
False
Let q be (-82)/(-10) + (-2)/10. Suppose 5*v - q*v + 51 = 0. Is v a multiple of 9?
False
Let n(l) = 28 + l**3 - 30 - 4*l**2 + l**2. Is n(4) a multiple of 11?
False
Suppose -5*u + 1210 = 50. Suppose 2*g - u = -g + 5*o, 4*o + 304 = 4*g. Suppose -2 = -v + 2, -g = -3*y - 2*v. Does 11 divide y?
True
Let x(i) = -i + 3 + 2*i + 4*i - 2*i. Does 6 divide x(5)?
True
Let u(o) be the first derivative of -o**4/4 - o**3/3 + 3*o**2/2 + o + 3. Let y(m) = -2*m**2 - 4*m - 3. Let q be y(-2). Is u(q) a multiple of 10?
True
Suppose -4*q = -462 - 58. Suppose 0 = 3*v + 2*k - q, 5*v = 2*v + 2*k + 110. Suppose l + v = 2*i, 0 = i - 3*l - 2*l - 20. Is i a multiple of 19?
False
Let s = -58 - -121. Is 12 a factor of s?
False
Let m = -117 - -139. Is 22 a factor of m?
True
Suppose 2*m - 72 = -4*d, 3*m + 4*d - 2*d = 96. Suppose -24 - m = -2*n. Suppose 3*w = 45 + n. Does 12 divide w?
True
Let a(u) = u**2 + u. Let d be a(0). Let t(r) = -r**3 + r + 17. Is 17 a factor of t(d)?
True
Let v(b) = -b + 6. Let d be v(6). Suppose -j + 3 = -d. Let s = j - -6. Does 4 divide s?
False
Let w be ((-135)/(-6))/(6/8). Suppose -122 - w = -4*m. Is m a multiple of 20?
False
Let v(o) = -o**2 - 6*o - 5. Let y be v(-6). Let s be 124/6 - y/15. Is 12 a factor of (-18)/s*(-14)/1?
True
Let j(d) = 9*d - 30. Does 22 divide j(18)?
True
Let g = 87 + -38. Is 13 a factor of g?
False
Suppose 3*f + 3 = -o, -4*o - 5*f = 3 + 2. Let r(w) = -w**2 + 5*w - 2. Let c be r(4). Suppose -j - 4*v + 31 = o, 2*j + c*v - 13 = 49. Is j a multiple of 15?
False
Suppose 12 = 2*s - 30. Does 8 divide s?
False
Let u(o) = o**3 - o**2 + 28. Let q be (5/(-15))/(1/(-6)). Let z be 0/(-2*(-1 + q)). Does 14 divide u(z)?
True
Suppose -3*g = -g - 10. Does 2 divide g?
False
Suppose 0 = -5*j + 23 + 2. Suppose 103 = j*f - 7. Does 12 divide f?
False
Let t(v) = v**3 - v**2 - v + 1. Let y be t(3). Suppose -2 = -3*r + y. Is r a multiple of 5?
False
Let u(x) = -4*x**2 - 17*x - 9. Let p be u(-7). Let z = p + 130. Does 11 divide z?
True
Let o(d) = d**2 + 3*d. Let j be o(-4). Suppose 0*i = j*i - 128. Does 32 divide i?
True
Suppose 2*i - 6*i = -272. Is i a multiple of 15?
False
Let c(f) = -f**3 + 6*f**2 + 8*f - 5. Let b be c(7). Suppose j + 2*j = -z - 42, -b*z = 0. Does 12 divide ((-144)/j)/(-3)*-7?
True
Let s(n) = -n**2 - 7*n - 8. Let j be s(-5). Suppose j*o - 136 = -2*o. Is o a multiple of 13?
False
Suppose -4*a + 793 = -3*z, 4*a + z - 798 = -17. Is a a multiple of 22?
False
Let t = 105 - 73. Let h = 25 + t. Is 27 a factor of h?
False
Let o be (30/(-7))/((-1)/42). Suppose 0 = 5*c - o - 25. Does 14 divide c?
False
Let x = 5 - -5. Is x a multiple of 4?
False
Suppose 139 = -4*c - 4*q + 591, 455 = 4*c + 5*q. Is c a multiple of 11?
True
Let a(y) = 44*y**3 - y**2 - 4*y + 4. Is 4 a factor of a(1)?
False
Let g = -47 + 95. Does 24 divide g?
True
Suppose 10*u - 3 = 11*u. Let p(l) = -18*l + 3. Is 19 a factor of p(u)?
True
Let z(y) = 2*y**2 - 2*y - 1. Let v(l) = -l**2 + 3*l + 3. Let j be v(4). Let a be z(j). Suppose a*x = -3*p + 84, -p = 4*x - 36 - 73. Is 11 a factor of x?
False
Suppose -3*b + 5*m - 18 = -85, 2*b - 49 = -m. Is 6 a factor of b?
True
Let y(x) = 6*x**2 - 2*x - 2. Let i = -1 - 1. Is 9 a factor of y(i)?
False
Let b(r) = -r**3 + 6*r**2 - 4*r + 2. Let f be b(4). Let n = f + -27. Let m = n - -16. Is 6 a factor of m?
False
Is 23 a factor of 417/9 - (-2)/(-6)?
True
Let t be ((-1)/2 + 0)*-2. Let w be 0*t/(-2)*1. Suppose -3 = 3*z, 5*r + 3*z - 4*z - 101 = w. Is r a multiple of 13?
False
Let t = -1 + 4. Suppose 3*c - m = t*m + 13, -c - 5*m + 17 = 0. Does 3 divide c?
False
Let p(s) = s**3 - s**2 + 3*s - 6. Does 5 divide p(3)?
False
Does 8 divide (36 - -1)*7/(7/5)?
False
Suppose 27 = -3*i - 3*p, 3*p = 3*i + p + 7. Is 8 a factor of (-27 - -3)/(5/i)?
True
Suppose 3*v - 44 = 2*v. Is 22 a factor of v?
True
Let h(s) = -s**2 - 8*s + 5. Let a be h(-8). Suppose 0 = r - a*r - 132. Let m = r - -70. Is 15 a factor of m?
False
Suppose -2*i + 5 = 1. Suppose -g - i*g = -180. Does 10 divide 0 + g/2 + -1?
False
Suppose -3*p = -0*p. Suppose -t - 2 + 6 = p. Is 10 a factor of (-69)/2*t/(-6)?
False
Suppose 5*x - i + 3*i = 546, -120 = -x + 5*i. Let z = 11 - 9. Suppose -5*f + x = -z*t, -2*t + 1 = f - 33. Is 14 a factor of f?
False
Suppose 2*g + 1 - 3 = 0. Let d = 3 + -11. Is 4 a factor of g + -3 + d/(-1)?
False
Let f(z) = z**3 + 7*z**2 - z - 3. Let m be f(-7). Let c be (17 + m)*(-2)/(-6). Let n(i) = i**2 - 5*i + 6. Is n(c) a multiple of 16?
False
Suppose -5*w + 3*v = v - 480, 470 = 5*w - 4*v. Is w a multiple of 47?
False
Suppose 4*a = -a + 25. Supp