se -2*z = -4*f - 7316, z = 6*z - 4*f - 18284. Is z a multiple of 119?
False
Let q = 13 + -19. Let u(p) be the second derivative of p**4/12 + 7*p**2/2 + 12*p - 2. Is u(q) a multiple of 16?
False
Suppose -146 = -u - 0*u. Let w = u + -96. Is 16 a factor of w?
False
Let c(g) = -g**3 - 3*g**2 - 3*g - 2. Let d be c(-2). Suppose d = -4*m + 2*m + 56. Is 19 a factor of 2618/m - 3/(-2)?
True
Let u(n) be the second derivative of -n**4/12 + 2*n**3 + n**2 + 6*n. Let j be u(12). Let c(x) = -x**3 + 4*x**2 + 1. Is c(j) a multiple of 6?
False
Let y(p) = 830*p**2 - 2*p. Is y(1) a multiple of 60?
False
Suppose 214*y - 45144 = 195*y. Is 24 a factor of y?
True
Let w(s) = -2*s**2 - 41*s + 16. Let q be w(-21). Does 17 divide (-167)/q - (48/20)/(-4)?
True
Let q(b) = b**2 + 5*b + 4. Let s be q(-1). Suppose s = -2*k - u + 9, -2*u + 3 = -u. Suppose k*t = -0*t + 54. Is 18 a factor of t?
True
Let c(o) = -8*o + 7 - 4 + 11*o. Is c(7) a multiple of 12?
True
Let s(i) = -3*i**3 - 3*i**2 - 5*i + 4. Let j be s(-8). Suppose -6*d + j = -688. Is 34 a factor of d?
False
Let y(j) = -2*j**3 + 4*j**2 + j - 3. Is 9 a factor of y(-2)?
True
Suppose 13*z + 10470 = 5*d + 17*z, 0 = -2*d + 2*z + 4170. Is 22 a factor of d?
True
Let j be (8/6)/(2/6). Suppose 22 = -3*t + j*b, 0 = 2*t - b + 15 + 3. Is 228/t*(-90)/36 a multiple of 14?
False
Suppose 7*j - 786 = 4*j. Let c = j + -170. Is 23 a factor of c?
True
Let n = 73 - 87. Is 21 a factor of (n/(-4))/((-13)/(-312))?
True
Let r = 207 + -51. Let q = r + -82. Is 37 a factor of q?
True
Suppose 0*p - 6995 = -3*p + 2*n, -2*p + 4674 = 4*n. Does 21 divide p?
False
Let u = 1198 - 456. Does 45 divide u?
False
Suppose -m + 1900 + 117 = h, 0 = m - 3*h - 2009. Does 65 divide m?
True
Let s(u) = u + 32 + 3 + 31. Does 8 divide s(-10)?
True
Suppose 0 = 4*s - 7 + 3. Suppose -x - 4 = -s, 2*q - 71 = x. Is q a multiple of 21?
False
Let t(w) = -3*w**3 - 69*w**2 + 21*w + 54. Is t(-24) a multiple of 71?
True
Let g be 476/36 - (4/(-18))/(-1). Suppose -2*p = 2*c - 7*p - g, 4*c = -2*p + 62. Is c a multiple of 14?
True
Let m(h) = 2*h**3 + 4*h**2 + 18*h + 8. Does 53 divide m(8)?
False
Suppose 4*c + 702 = 1926. Does 34 divide c?
True
Suppose 2 = -2*q - 2*b - 6, 1 = -b. Is 3 a factor of 26 + (7 - q)/(-5)?
True
Suppose 0 = 22*g - 18*g - 2*b - 192, 5*g = -2*b + 258. Is 10 a factor of g?
True
Let y(g) = -23*g - 12. Let t(q) = -12*q - 6. Let c(r) = 5*t(r) - 2*y(r). Is 11 a factor of c(-2)?
True
Let v(s) = 22*s**2 - 22*s - 72. Is v(-12) a multiple of 17?
False
Suppose -2*k = -5*q + 25, -4*q - 3 = -0*q + 3*k. Suppose -x = f - 120, 4*x - 65 = -q*f + 294. Is f a multiple of 29?
False
Let s(y) = y**2 + 12*y - 107. Does 4 divide s(-20)?
False
Suppose 8*a + 778 = 3498. Does 11 divide a?
False
Let m = 17 + -9. Suppose z = 3*z - m. Suppose 3*p = z*p - 39. Does 13 divide p?
True
Let u(h) = -6*h - 7. Let w be u(-5). Let v = w - 11. Is 3 a factor of v?
True
Let z be (-3 - 0/(-2))/(-1). Let l = 1402 - 1387. Suppose 2*t - 3*d - 7 = 0, 0 = z*t + 4*d - l - 21. Is 7 a factor of t?
False
Let i be -4*((-94)/8)/1. Suppose 4*l + 64 = 4*h, 0*l + 5*l = 2*h - i. Is h a multiple of 6?
False
Let n = 935 + -481. Does 59 divide n?
False
Let y(k) = -10 - 257*k**2 + 141*k**2 - 5*k + 132*k**2. Is y(-3) a multiple of 14?
False
Suppose 5*s = -2*n + 157 + 106, 5*n = -5*s + 275. Suppose -2*z - s = -3*z. Is 17 a factor of z?
True
Let r = -110 - -110. Suppose -4*f + 384 = m, r = -3*f - 2*m - m + 288. Does 12 divide f?
True
Is 4 a factor of (-6)/(-27) - (-340)/90?
True
Let b(z) = -z**2. Let j(x) = -7*x**2 - 2. Let f(y) = -6*b(y) + j(y). Let l be f(2). Does 13 divide 53*1 + 6 + l?
False
Suppose -378 = -8*v + 46. Suppose 0*s - 103 = 3*s + 2*m, 138 = -4*s - 3*m. Let f = s + v. Does 17 divide f?
False
Let s be 204/6*(-10)/(-4). Suppose 5*t - 582 = -4*j, 4*t - 55 = -j + s. Suppose j = 3*h + 4*f, -h - 3*f + 19 + 22 = 0. Does 28 divide h?
True
Let n(r) = -11*r**3 - 9*r**2 - 20*r - 9. Is 10 a factor of n(-4)?
False
Let x(r) be the second derivative of -r**5/20 + 4*r**4/3 + 7*r**3/2 - 16*r**2 - 23*r. Is 31 a factor of x(17)?
False
Suppose 4*h - 23 = 9. Suppose -h = -29*s + 27*s. Suppose 3*r = -2*a + 20 + 55, s*a - 140 = -4*r. Does 10 divide a?
True
Let l = 12 - 12. Suppose l = -5*c - v - 29, -v - 13 = 3*c + 4*v. Is 3 a factor of 2 + -6*4/c?
True
Let w(u) = -84*u + 5. Let j be w(-6). Suppose -b + 3*y = 4*b - j, 0 = 3*y - 6. Is b a multiple of 10?
False
Let h = -518 - -771. Is 46 a factor of h?
False
Does 53 divide 72/(-120) - ((-10793)/5 + -4)?
False
Let b be ((-9)/(-12) - 2)*4. Does 33 divide 1 - 859/b - 4/5?
False
Suppose 5*a + u = 3043, 5*a + 7*u - 4*u = 3049. Is a a multiple of 24?
False
Let r = -6 + 8. Suppose 224 = r*j + 5*j. Does 8 divide j?
True
Suppose 16*w - 9394 = 12926. Is 12 a factor of w?
False
Let x(y) = 5*y**2 - 2*y + 12. Is x(-12) a multiple of 42?
True
Let f(a) = 84*a + 60. Is 51 a factor of f(9)?
True
Suppose -3*b + x + 3*x - 51 = 0, 35 = -2*b + 3*x. Let d = 47 + b. Does 17 divide d?
True
Let c be -3 - -137 - (0 + 2). Let s = c + -52. Is 16 a factor of s?
True
Suppose -4*g = -5*m + 56, 13 = -g - 2*m + 3*m. Is 3*g*(-156)/18 a multiple of 18?
True
Let g(b) = b**2 + 8*b + 5. Let l be g(-9). Suppose 4 = -2*k + l. Suppose -3*f = -q - 128, -5*q = -k*f - q + 211. Is 31 a factor of f?
False
Let w(j) = 17*j + 11. Let i = 15 + -10. Is w(i) a multiple of 32?
True
Suppose -4*b - n = -9*b + 10, n - 8 = -b. Suppose 3*z + 4*i = -20, 5*i + 2 = -b*z - 20. Is 6 a factor of 6 - 1*(z - -1)?
False
Let z(p) = -25*p + 6. Let i be z(2). Let r(w) = -8*w + 78. Let h(n) = n - 11. Let b(x) = i*h(x) - 6*r(x). Is 28 a factor of b(17)?
True
Is (-1 - -117) + (11 - 18 - -3) a multiple of 3?
False
Suppose 11 = 4*t + 3*z, 4*t - z - 29 = 2*z. Suppose -t*j + 172 = -108. Does 16 divide j?
False
Let l(w) = 5*w**2 - 2*w - 1. Suppose 2*a - 3*a = -2. Suppose k = 4 - a. Is l(k) a multiple of 6?
False
Let s = -1 + -1. Let f = s - -20. Is f/6*(-58)/(-6) a multiple of 12?
False
Suppose n + 3*n + 36 = 0. Let o = n - -20. Does 3 divide o?
False
Let i(t) = -4*t**2 + 3*t**2 + 6 - 3 + 6*t**3 - t. Does 9 divide i(2)?
True
Is (-175 + 0)*-1 + 2 a multiple of 5?
False
Let m(g) = -g**3 - 24*g**2 + 24*g - 26. Let d be m(-25). Does 14 divide -282*d*(3 + -2)?
False
Let j = 69 + -9. Let a be (3/9)/((-1)/(-9)). Suppose a*n + j = 5*n. Does 23 divide n?
False
Let g be (-6)/(-4)*(7 - 15). Let j be (-3)/g + (-7)/(-4). Suppose 4*z = 2*s + 76, -5*z = -0*z - j*s - 96. Does 6 divide z?
False
Let b be (-5)/(-6) - 7/(-42). Suppose 0 = -5*p + b + 74. Does 5 divide p?
True
Suppose 0*j + 285 = 5*j. Suppose 0 = -s + j + 3. Suppose b - 4*b + s = -v, 3*v - 80 = -4*b. Does 10 divide b?
True
Let m be 105/(-135) + (-4)/18. Let z = 3 + m. Suppose -2*x + 124 = 3*g + z*x, -2*g + 81 = 3*x. Is g a multiple of 16?
True
Let j(d) = 6*d**2 + 19*d - 15. Let t(o) = -o**2 - 4*o + 3. Let n(z) = 2*j(z) + 11*t(z). Let g be n(6). Let h(r) = 12*r - 4. Is 27 a factor of h(g)?
False
Let o be (-3)/(-9) - 318/(-18). Let p = o + -14. Suppose -64 + 16 = -p*w. Is 4 a factor of w?
True
Let l(y) = 40*y**3 - 5*y**2 - 2 - 21*y**3 + 2*y**2 + 4*y + 17*y**3. Is l(2) a multiple of 47?
True
Suppose -2*i + 2*v = -0*v - 24, 2*i = -4*v + 24. Let g be 16/24 - 326/(-6). Suppose g = i*o - 7*o. Is o a multiple of 11?
True
Suppose -4*v + 5544 = 4*g - 5*g, -5*v + 6930 = -2*g. Suppose -181 = 9*i - 235. Is 10 a factor of v/27 + (-2)/i?
False
Let q(y) = 67*y**2 + 5*y - 4. Let w be q(-4). Suppose 5*z - 200 = -r + z, -4*z = -5*r + w. Does 22 divide r?
False
Suppose 0 = -26*u + 22*u + 44. Let f(l) = 3*l - 4 - 11 + 2. Is f(u) a multiple of 10?
True
Let g(z) = -2*z + 1. Let v be g(-1). Suppose 5*j = v*d + 520, -3*d - 312 = -2*j - j. Suppose 77 = 3*k - 2*f, -4*k + 0*k = -4*f - j. Is k a multiple of 5?
True
Let p(h) = h**2 + 6*h + 2. Let k be p(-7). Suppose -10*v + k*v + 13 = 0. Is v a multiple of 5?
False
Let n(b) be the third derivative of -2*b**4 - 17*b**2. Does 14 divide n(-1)?
False
Let q be ((-253)/92)/(-1*(-1)/(-12)). Let l(k) = 4*k - 1. Let y be l(4). Let p = q - y. Is 6 a factor of p?
True
Suppose 0 = -6*c + 5*c - c. Suppose c = 11*p + p - 1404. Is p a multiple of 9?
True
Let s = -65 + 857. Is 72 a factor of s?
True
Let n(w) be the first derivative of w**4/4 + 8*w**3/3 + 3*w**2 - 9*w + 7. Let f be n(-7). Is 12 a factor of f*