of i*-1 - (-1 - 94)?
True
Let n(p) = -104*p + 24. Is 20 a factor of n(-4)?
True
Let j = -25 - -37. Does 6 divide (-6 - 1)*j/(-7)?
True
Suppose 2*k - 532 = -4*w + 2984, -4*w - 3*k = -3514. Does 16 divide w?
True
Let v(b) be the second derivative of -b**6/180 + b**5/15 - b**4/4 + b. Let d(t) be the third derivative of v(t). Is 16 a factor of d(-6)?
True
Let n(f) = -2*f + 9. Let y be n(4). Is 1/(y + 82/(-84)) a multiple of 6?
True
Let r be (-48)/9*((-63)/2)/3. Let i = 68 - r. Is i a multiple of 12?
True
Suppose 0 = -5*b - 1 + 16. Is 5 a factor of (b/(15/(-620)))/(1*-2)?
False
Let u(a) be the second derivative of -a**5/60 - 7*a**4/12 + 8*a**3/3 - a**2 - 8*a. Let r(z) be the first derivative of u(z). Is r(-14) a multiple of 6?
False
Let t(o) = -10*o - 31. Is t(-21) a multiple of 3?
False
Let y be (-2)/(-8) + (-46)/(-8) - 2. Suppose -y*v - 5*b = -742, v + 3*b = -b + 191. Does 41 divide v?
False
Suppose q - 131 = -o - 3*o, -5*o = 4*q - 546. Suppose 5*f + 101 = -q. Is 17 a factor of f/1*-1 - -3?
True
Suppose -6 = 5*f - 226. Suppose m + 0*m + w - 32 = 0, m + 4*w - f = 0. Is 15 a factor of m?
False
Let l = -30 - -97. Suppose 7*z - l = -389. Let i = -22 - z. Is 5 a factor of i?
False
Suppose 0 = -14*g - 230 + 1028. Does 12 divide g?
False
Does 35 divide 4/(-10) + 13/((-520)/(-22416))?
True
Suppose -2*z = 102 - 404. Let x = 319 - z. Suppose 0 = 12*s - 10*s - x. Is 19 a factor of s?
False
Suppose 5*x = 77 - 92, 7926 = 4*d - 2*x. Does 20 divide d?
True
Suppose 2*p - 10 = -0*p. Let o(l) = l + 7. Let a be o(p). Suppose a - 63 = -c. Is c a multiple of 22?
False
Suppose 2*x - 2*a = 810, 5*x + 2*a = 1150 + 896. Is 17 a factor of x?
True
Let n be (-2)/3*105/(-14). Let w be 2*1 - (n - 7). Suppose k + 141 = w*k. Is 16 a factor of k?
False
Suppose 0 = -2*u + s + 61, -2*s + 32 = 26. Is u a multiple of 11?
False
Let i(x) = x - 3. Suppose 5*p + 6 = -2*u, 3*u + 9 = -0*p + 2*p. Let f = 5 - p. Does 2 divide i(f)?
True
Let j be (7 - 3)*1 - -1. Let s = 5 + -1. Suppose j*l - s*l = 36. Is l a multiple of 12?
True
Suppose f - 4*f + 405 = 0. Suppose n + 165 = 5*n - i, 3*n = 3*i + f. Does 7 divide n?
False
Let v(n) = -n**3 - 4*n**2 + 4*n - 5. Let s be v(-5). Suppose -2*j = 3*k - s*j - 122, 2*k + 3*j = 83. Is k a multiple of 35?
False
Suppose 0 = -37*j + 40*j - 1743. Is j a multiple of 14?
False
Let a(j) = -j**3 + 2*j**2 - j - 8. Let v be a(5). Let h = v - -150. Is h a multiple of 31?
True
Let m be -2*(-1 - 1) + 3. Suppose m*b - 3*b = 336. Suppose 3*l - 2*l = b. Does 14 divide l?
True
Let l(r) = 76*r**2 + 15*r - 66. Is 23 a factor of l(6)?
True
Let l(x) = -x**3 - 13*x**2 - 6*x - 35. Is l(-13) a multiple of 4?
False
Suppose 41*c - 109356 = 76005. Is 137 a factor of c?
True
Suppose 0 = 2*u - h + 3 + 4, -4*h = 3*u + 5. Let s(f) = -f**2 - f + 4. Let t be s(u). Does 9 divide t/(-4 - (-102)/27)?
True
Suppose -5*k + 21*m + 3026 = 24*m, -5*k = -2*m - 3041. Does 32 divide k?
False
Suppose 0 = -4*w - u + 233, -218 = -4*w + u + u. Suppose -w = -2*p - p - 4*s, -p - 4*s + 19 = 0. Let n = p + -11. Is 2 a factor of n?
True
Let l be ((-2 - -1) + 3)*10/4. Suppose l*x - 3*m - 350 = 0, -3*x - 2*m + 69 = -122. Is 12 a factor of x?
False
Let n be -1 + 0 - (2 - -69). Let q = 120 + n. Suppose 0 = -3*u + v + 30, 0*u - v = -5*u + q. Is u even?
False
Let z(k) be the third derivative of k**5/20 + 11*k**4/24 + k**3/3 + 4*k**2. Let w be z(-6). Suppose 0 = -0*l + 4*l - w. Is 11 a factor of l?
True
Is (-46*(-49)/42)/((-3)/(-18)) a multiple of 19?
False
Let v = 181 - 28. Let w = v + -41. Is w a multiple of 23?
False
Let u be (-4)/(-10) + (-31528)/70. Is 6 a factor of (-8)/(-3)*u/(-40)?
True
Suppose -36 = -5*n - 4*n. Suppose -3*r + n*v + 194 = -3, -3*v = 6. Is r a multiple of 9?
True
Let z(q) = -2*q**3 + q**2 + q - 4. Suppose 9*t - 11*t = -6. Let u be z(t). Let m = u - -75. Is m a multiple of 29?
True
Let z = -619 + 1051. Suppose 4*g + z = 6*g. Is 36 a factor of g?
True
Suppose 0 = 5*g - k + 5*k + 13, 0 = 2*k + 4. Let q = 61 - 29. Let t = q + g. Does 17 divide t?
False
Is 5 a factor of (-3)/(54/(-4)) - 1393/(-9)?
True
Suppose 2*j - 1174 + 248 = 0. Is 11 a factor of j?
False
Let k(g) = -3*g - 7 + 3 + 2*g**2 - 4. Let m be k(4). Is 26 a factor of 36/(15/m + -1)?
False
Is 15 a factor of -3*(2/(-3))/((-4)/(-30))?
True
Let j(y) = 330*y**2 - 69*y + 70. Is 14 a factor of j(1)?
False
Let d(x) = x**3 - 29*x**2 - 27*x + 37. Let b be d(30). Suppose -2*c = -0*g + 2*g - 88, -3*g = -2*c - b. Is 7 a factor of g?
False
Let o = 626 - -1. Does 30 divide o?
False
Suppose -4*j = -3*d - 23, 4 - 3 = -2*j - d. Suppose j*c + 13 = 137. Is c a multiple of 14?
False
Suppose -1127 = -7*v + 364. Is v a multiple of 41?
False
Suppose -2*d = w - 57, -193 - 15 = -4*w + 2*d. Is w a multiple of 4?
False
Let b(r) = -r**3 - 3*r**2 - 3*r. Let k be b(-2). Suppose 4*x - 4*f = 4, -k*f + 17 = x + f. Suppose 5*t + 89 = 4*u, 4*t = 7 + x. Is 13 a factor of u?
True
Suppose 2*o = 2*v - 0*v - 348, -v = o - 172. Does 2 divide v?
False
Let u(c) be the first derivative of -c**4/2 - 4*c**3 - c**2 - 9*c + 4. Let m be u(-6). Suppose m*q - 112 = -i, -q - i = 3*i - 19. Does 13 divide q?
True
Suppose -146*c = -122*c - 66240. Is 22 a factor of c?
False
Let d = 1 + 2. Suppose 5*q = -2*j + 58, -3*q - 2*j = 2*j - 46. Suppose -d*u = -u - q. Is u a multiple of 5?
True
Let j(n) = n**2 + 20*n - 170. Is 10 a factor of j(-36)?
False
Let q be (-14)/(-6) - (-9)/(-27). Suppose -q*d = d - 42. Is 7 a factor of ((-147)/d)/(2/(-4))?
True
Suppose -u + 3*y - 3 = 0, -y = -u - u - 26. Let g = 9 + u. Let t = 11 - g. Is t a multiple of 7?
False
Suppose 3*y = 2*y - 9. Let q = 12 + y. Suppose q*z = -4*h + z + 250, -2*h - 3*z = -131. Does 17 divide h?
False
Let l be 76/12 - 2/(-3). Let q = l - 1. Let s(t) = t**2 - 3*t - 8. Does 3 divide s(q)?
False
Let o(f) = 3*f - 20. Let i be 6*(-4)/8 - -5. Suppose w - 8 - i = 0. Is o(w) a multiple of 2?
True
Let r(c) = 2*c**2 + 2*c - 16. Is r(14) a multiple of 16?
False
Suppose 10*b - 10615 - 265 = 0. Is 34 a factor of b?
True
Does 37 divide 1077 - (3 + (0 - -1))?
True
Suppose 0 = -2*a + 6*a + 3*c + 17, 18 = -4*a - 2*c. Let t = a - -20. Is t a multiple of 5?
True
Is ((-80)/10 + 1)*(-240)/7 a multiple of 6?
True
Let h = -97 - -164. Suppose -h + 392 = 5*z. Does 14 divide z?
False
Suppose 0 = -9*x + 77 + 4. Is 3 a factor of x?
True
Let v be 2/(-8) - 9/(-4). Suppose -6*u + 9*u + 24 = -5*x, -5*x = -5*u. Is x/(v*(-1)/10) a multiple of 5?
True
Suppose 11*k - 5 = 6*k. Let n(j) = 3*j**2 + 5*j + 9. Let i(x) = -x. Let c(v) = k*n(v) - 5*i(v). Is c(-7) a multiple of 31?
False
Let q = 64 + -17. Is q a multiple of 5?
False
Let f = -14 - -21. Suppose -24 = 3*p - f*p. Does 7 divide (p/(-8))/((-2)/24)?
False
Is ((-48)/15)/(627/210 + -3) a multiple of 32?
True
Suppose 5*u + 0 = 20. Let h(k) = 2*k - 5. Let m be h(u). Suppose 2*v = 4*r + m*v - 364, 5*r - 4*v = 476. Is 26 a factor of r?
False
Let n = 2285 + -1550. Is 15 a factor of n?
True
Let d(t) = -2*t**3 - 3*t**2 - 9*t. Is 7 a factor of d(-6)?
True
Let f(y) = 3*y**2 - 6*y + 5. Is f(-5) a multiple of 12?
False
Let l be 1/(14/10) - 38/(-133). Does 56 divide (l - 84)/(1/(-4))?
False
Let i = -16 - 17. Let y = -11 - i. Is 6 a factor of y?
False
Let q = -54 - -1. Let v = q + 168. Is v a multiple of 20?
False
Let j(l) = -l**3 + 6*l**2 - 7*l - 2. Let z be j(4). Let n = z - 5. Let s = n - -35. Is 8 a factor of s?
True
Let c = 435 + -196. Suppose -3*s = 62 - c. Is 16 a factor of s?
False
Suppose 5*p - 5*h = 4*p + 9, 5*p - 4*h = -60. Is 18 a factor of 12*-2*36/p?
True
Let m = -16 - -18. Suppose 0 = -3*z - 4*b + 528, 0 = -m*b + 4*b. Let d = -71 + z. Does 15 divide d?
True
Let f(r) = 4*r + 8. Let d be f(6). Let l(s) = -d + 10 + 0*s**3 - 10*s**2 + 15*s + s**3. Does 8 divide l(9)?
True
Let m = 17 - 5. Let x = m - 8. Suppose -4*p - 4*v + 8 + 48 = 0, -3*p + 45 = x*v. Is 3 a factor of p?
False
Let f(z) = -5 - z**3 - 2*z - 3*z**2 + 6 + 3. Let p = 68 + -71. Is f(p) a multiple of 4?
False
Suppose -3*s + 233 = 53. Let j = s - 36. Suppose -4 = g - j. Does 11 divide g?
False
Suppose -13*j + 12*j = -141. Suppose 2*q - j = -5*h, 28 + 240 = 4*q - 4*h. Is 10 a factor of q?
False
Suppose -4*j + 361 + 343 = 0. Let d = j + 29. Is d a multiple of 41?
True
Does 7 divide -5*(-2 - 41) - (-15)/(-3)?
True
Suppose -192 = 59*a - 65*a. Does 2 divide a?
True
Le