 Let o = 3 + -3. Let c be i(o). Let w = c + 12. Is w a multiple of 9?
True
Let u(n) = 4*n**3 - 7*n**2 + 5*n - 3. Let m(h) = -5*h**3 + 7*h**2 - 5*h + 3. Let o(k) = 2*m(k) + 3*u(k). Is 16 a factor of o(4)?
False
Let w(v) = 2*v**2 + 8*v - 8. Is 8 a factor of w(-8)?
True
Let c = 97 - 55. Suppose -s + c - 14 = 0. Let a = s + 0. Does 28 divide a?
True
Let m(p) = 2*p**2 + 5*p - 7. Is 11 a factor of m(-6)?
False
Let v be 1124/10 - (-2)/(-5). Suppose v = 4*s - 2*c, -6*s = -s - 5*c - 140. Is s a multiple of 14?
True
Let k = -11 + 8. Let s = -4 - k. Is 9 a factor of (0 - s) + 8/1?
True
Let z(q) = 19*q + 1. Does 16 divide z(3)?
False
Suppose 2*a = 6*a + 144. Suppose -3*c = -2*v - 213, -3*c + v = 2*c - 355. Let w = c + a. Is 10 a factor of w?
False
Suppose 250 + 98 = 4*l. Is l a multiple of 3?
True
Suppose -z = -5*r + 170, -2*r - z + 46 = 3*z. Let c = r - 18. Does 5 divide c?
True
Let u = -1 + 6. Suppose -25 = -5*m, 0*h = -3*h + u*m + 455. Suppose 6*q - h = 2*q - 5*i, -q = -3*i - 40. Is 14 a factor of q?
False
Let g(a) be the third derivative of 1/8*a**4 - 1/2*a**3 + 0*a - 1/15*a**5 + 2*a**2 + 0 + 1/120*a**6. Is 4 a factor of g(4)?
False
Suppose -3*z + 2*r = -192 + 62, -z = 5*r - 32. Is z a multiple of 12?
False
Suppose 10*c - 95 - 235 = 0. Is 7 a factor of c?
False
Let y be 2431/34 + 2/4. Suppose 68 = 5*i - y. Does 10 divide i?
False
Let r(s) = -3*s**3 - 8*s**2 + 4. Let m(j) = 4*j**3 + 9*j**2 - 5. Let i(u) = -4*m(u) - 5*r(u). Let g be i(4). Let f = g + 26. Is 13 a factor of f?
True
Suppose -43 = 3*d + 11. Let n = 44 + d. Does 7 divide n?
False
Let t be (-42)/(-9) - (-1)/3. Suppose h = 5*y - 1 - 5, -t = -5*y. Is 9 a factor of h/(-3) - (-106)/6?
True
Let u(f) = f**3 + 11*f**2 - 5*f - 3. Does 13 divide u(-11)?
True
Is (-3)/(-3) - (-135 + (0 - -4)) a multiple of 12?
True
Suppose 7*h = 6*h + 72. Does 19 divide h?
False
Suppose 5*u - 718 = 3*u. Let p = 233 - u. Let y = -79 - p. Is y a multiple of 19?
False
Is (8/5)/4*30 a multiple of 9?
False
Suppose -4*c + 92 + 68 = 0. Does 6 divide c?
False
Does 11 divide (3 - 2)/(5/225)?
False
Let w(h) = h**3 + 8*h**2 - h - 5. Let l be w(-8). Let k(f) = -2*f + 2 + 6*f + 8*f**2 - l*f**2. Is 6 a factor of k(-2)?
False
Let o(d) = d - 3. Let y be o(8). Suppose 2*w = -2*g + 22, y*w + 5*g - 65 = 2*g. Does 8 divide w?
True
Let c(v) be the second derivative of -2*v**3/3 - 2*v**2 - v. Does 2 divide c(-2)?
True
Let x be (-8 - -2)*(-4)/(-3). Let c = 11 + x. Is 4 a factor of 33/4 - c/12?
True
Let w = 14 - 9. Suppose 0 = w*h - 3*f - 23, -2*h - 5*f + 13 = -3*h. Is h a multiple of 6?
False
Let k(b) = 3*b + 4. Let t be k(-2). Does 3 divide (1*t)/(5/(-30))?
True
Let h = 3 + 4. Let v(b) = -b**3 + 6*b**2 + 8*b - 5. Let d be v(h). Suppose n + d = 0, -78 = 4*s - 8*s + 3*n. Is 6 a factor of s?
True
Let w be 43 + 2 + -1 - 3. Suppose -n - w = -5*b - 0*n, 0 = n + 1. Does 3 divide b?
False
Let d = -12 + 13. Suppose 14 = z - d. Is 4 a factor of z?
False
Suppose -t + 5*p + 99 = 0, -144 = -t - 0*p - 4*p. Is t a multiple of 26?
False
Let s be (4/6)/((-4)/(-30)). Suppose 3*h - h - 89 = a, s*h - 212 = -a. Is 23 a factor of h?
False
Suppose -21 + 9 = -4*n + 4*p, -3*n + 2 = 4*p. Suppose -h + 9 = n*h. Is 3 a factor of h?
True
Let v(n) = 2*n**3 - 8*n**2 - 6*n + 5. Does 28 divide v(6)?
False
Suppose -216 = -r - 2*r + 5*l, 0 = -3*r + l + 216. Is 22 a factor of r?
False
Suppose m + 0*m - 3 = -y, y - 15 = -5*m. Suppose -4*o - o + 10 = y. Is 15 a factor of o/(((-8)/(-47))/4)?
False
Suppose 5*m + 4*b - 13 = -0*b, -5*b = 3*m. Suppose 0 = -18*g + 15*g. Suppose g = m*n - n - 8. Does 2 divide n?
True
Suppose 11 = x + r, -3*x - 4*r + 30 = -2*r. Is x a multiple of 4?
True
Let c(n) = n - 6. Let l be c(4). Let p(g) = g**2 + 1. Let w be p(l). Suppose w*f - 65 = -5*m, -31 - 7 = -3*m - 4*f. Is m a multiple of 5?
False
Suppose 228 - 78 = -5*n. Let c = 44 + n. Is 7 a factor of c?
True
Let d(t) = -2*t**3 + 2*t**2 - 5*t. Let u(h) be the second derivative of -h**5/20 - h**4/12 + h**3/6 + 4*h. Let v(p) = d(p) - 3*u(p). Is 6 a factor of v(-6)?
True
Let q = 326 - 191. Is 6 a factor of q?
False
Let x(g) = g**3 - 8*g**2 - 4*g - 4. Is 25 a factor of x(9)?
False
Let g = 6 + -2. Let t = 12 - g. Does 3 divide t?
False
Suppose -4*v + 60 = 4*p, p + 4*v - 30 = -p. Suppose 5*t = 4*g - p, 0 = 3*g - 2*t - 28 + 8. Is 6 a factor of g?
False
Let v = -10 + 23. Let z = v - 1. Is z a multiple of 12?
True
Let u(o) = -o**3 + 7*o**2 - 2*o + 3. Suppose -1 = -2*w + 3. Suppose -m = -w - 4. Is u(m) a multiple of 11?
False
Suppose 2 + 1 = -3*a. Let x be 63/(-7) - (0 - a). Does 5 divide (-1 + 0)/(2/x)?
True
Let k = -111 + 123. Is k a multiple of 9?
False
Let v(l) = 0*l + 2*l - l**2 + 28 - 2*l. Suppose -3*u - 7 = 5*t + 5, -5*t + 4 = -u. Is 14 a factor of v(t)?
True
Suppose -5*o + 0*o - 10 = 0. Let i be 2*o*492/(-16). Suppose 0 = 5*n - i + 43. Is 7 a factor of n?
False
Let s = 218 - 20. Is s a multiple of 22?
True
Let m(r) be the third derivative of -3*r**2 + 3/2*r**3 + 1/24*r**4 + 0 + 0*r. Does 9 divide m(9)?
True
Let d(t) = -4*t**2 + 7*t + 3. Let g(u) = 3*u**2 - 6*u - 3. Let w(l) = -2*d(l) - 3*g(l). Let x be w(6). Let s = x + 22. Does 8 divide s?
False
Suppose v + 4*r + 6 = 2*r, 6 = -2*v - 2*r. Suppose -n - 5 - 1 = v. Let g(o) = -o**3 - 5*o**2 + 2*o - 4. Does 8 divide g(n)?
False
Let c(f) = -f**2 - f - 4. Let n be c(-3). Let u = 5 + n. Let h(r) = -r**3 - 5*r**2 - 5*r + 3. Is h(u) a multiple of 16?
False
Let c = -5 + 18. Let h = 28 - c. Is h a multiple of 3?
True
Let s(y) = -y + 1. Suppose 2*q - 22 = 4*q - 4*z, -55 = 5*q + 4*z. Does 12 divide s(q)?
True
Let x be 10 + (-2 - -1)/1. Let g be 8/6*(-2 + -1). Let k = g + x. Is 2 a factor of k?
False
Let t(q) = -4*q**3 - 1. Let l be t(-1). Let b = 9 - l. Is 6 a factor of b?
True
Let u be ((-6)/(-5))/(6/100). Suppose 4*j - 4*o - 1 = 19, -3*o = 4*j - u. Suppose -3*f = -5*v - 84, j*f - 4*v = f + 112. Is f a multiple of 14?
True
Let s(x) = 4*x - 3. Let o be s(2). Suppose 2*i = 3*y - 87, 2*i = o*y - 0*y - 145. Suppose 5*n - 51 = y. Does 16 divide n?
True
Let w(i) = -14*i - 1. Suppose -4*l = -l + 3. Is 13 a factor of w(l)?
True
Let t(r) = 5*r + 8. Is 31 a factor of t(6)?
False
Suppose -h = k - 76, -4*k - 5*h = -322 + 17. Does 7 divide k?
False
Let h(n) = -14*n - 9. Is 3 a factor of h(-9)?
True
Let q(j) = -j**2 + 3*j + 1. Let t be q(4). Let y be 1/(t/18*1). Is 13 a factor of y/(-24) - 51/(-4)?
True
Let u be 3/(2/(-6)*-3). Suppose -m + 71 = 5*w + m, 35 = u*w + 5*m. Is 5 a factor of w?
True
Let q(u) = u**2 + u + 1. Suppose 4*w = 3*b + 25, -6 = -0*b + b + w. Let p(m) = m**3 + 6*m**2 - 7*m + 4. Let g be p(b). Is 6 a factor of q(g)?
False
Is 2 - 364/(-6) - (-20)/(-30) a multiple of 18?
False
Suppose -2*y = -0 + 12. Let j(l) = 2*l**2 - l. Is 24 a factor of j(y)?
False
Let g be (-1*1)/((-6)/798). Let w = -77 + g. Is w a multiple of 28?
True
Suppose -i - 5 = 5*y, 0 = -y + 4*y + 5*i + 3. Does 10 divide (y - (-1 + -2)) + 18?
True
Let t be 3 - (-1 + (3 - 1)). Suppose 3*r - t*z + 7*z - 50 = 0, -4*r = -5*z - 20. Is 10 a factor of r?
True
Let y(g) = g**2 - 4*g - 10. Does 18 divide y(-7)?
False
Is 21 a factor of (16 - -2)*1 + 3?
True
Let n be (3*-1)/((-15)/(-165)). Does 8 divide 123/11 - (-6)/n?
False
Let o = -234 + 333. Is 9 a factor of o?
True
Suppose 0 = 2*p - 3*l - 4, 7 = 3*l + 1. Suppose 76 = p*a - 49. Is a a multiple of 25?
True
Suppose 5*h + 162 = -5*o - 3, -5*o = 10. Let m = -17 - h. Is m a multiple of 14?
True
Suppose 4*i = -3*j + 2*j - 12, -4*j + i = -20. Let h(t) = t**3 - 5*t**2 + 3*t - 5. Let d be h(j). Does 9 divide (6/(-2))/d*27?
True
Let j be 2/(-4) - 12/(-8). Let q be (6 + -4 + j)/1. Suppose q*g = -3*w + 54, -4*g + g = -12. Does 9 divide w?
False
Suppose 0 = -2*o - 3*o + 40. Let n = -5 + o. Is ((-1)/2)/(n/(-60)) a multiple of 4?
False
Suppose -3*n - 5*d = -21, 0 - 10 = -2*n - 2*d. Suppose n*j = -2*j + 48. Is 12 a factor of j?
True
Let v be -113*(3 + -2)/1. Let l = -74 - v. Is 13 a factor of l?
True
Let n(u) = 9*u - 1. Is 8 a factor of n(3)?
False
Suppose -2*v - 32 = -5*a, -3*v + 4 = 2*a - 5. Is 2 a factor of a?
True
Suppose -2*v + 403 = -35. Is 21 a factor of v?
False
Let a be (-62)/22 - 4/22. Let i = 19 + a. Does 8 divide i?
True
Suppose -3*z = 4*l - 5*z - 80, l + 2*z = 25. Does 3 divide l?
True
Suppose 3*t = -3*c + 84 + 63, -3*c = 2*t - 99. Is 16 a factor of t?
True
S