 + g**4/12 + g**3/6 + 5*g**2/2 - 3. Let d(a) be the second derivative of r(a). Is 22 a factor of d(-1)?
True
Let u(l) = -l + 21. Let k be u(-7). Let j = k - 23. Is j a multiple of 3?
False
Suppose 0 = -3*q + 706 + 512. Does 11 divide q?
False
Let f(h) = -2*h - 9. Let d(r) = -r**3 + 6*r**2 - 9*r + 7. Let q be ((-10)/6)/(9/(-27)). Let i be d(q). Is f(i) a multiple of 4?
False
Let s be (2 - (-1 - -2))*2. Suppose 149 + 71 = s*j. Suppose -4*y + j = 14. Does 9 divide y?
False
Let g(k) be the second derivative of -7*k**3/3 - 17*k**2/2 - 7*k. Does 10 divide g(-5)?
False
Suppose i + 1134 = 7*i. Let a = 45 + i. Does 13 divide a?
True
Suppose 0*l + 188 = 5*l + 2*y, -y - 191 = -5*l. Suppose 0 = -4*f + v + 159 + l, 5*f - 3*v - 255 = 0. Is f a multiple of 16?
True
Suppose 5*i + 7 = -t, -2*t + 5*t = -2*i - 60. Let a(u) = u**3 + 5*u**2 + 3*u - 8. Let y be a(-4). Let h = y - t. Is h a multiple of 6?
True
Let n be (-6)/8 + (-378)/(-56). Let o = n - 4. Suppose -10 = -o*d + 14. Is 6 a factor of d?
True
Let f = 15 - -10. Let i = 12 - f. Let x(m) = m**2 + 8*m + 3. Is 17 a factor of x(i)?
True
Suppose 0 = -17*i + 16*i + 37. Suppose 11 - i = -l. Does 26 divide l?
True
Let o(p) = -3*p**2 + 10*p + 1. Let n be o(3). Suppose -n = -2*x, 6*x - 224 = -4*j + 2*x. Is j a multiple of 26?
False
Suppose -2*j = j - 117. Let v(c) = c. Let q be v(-6). Does 10 divide (q/18)/((-1)/j)?
False
Let u be 37/(-1 - 0/(-2)). Let q(v) = 16*v - 74. Let h be q(11). Let c = h + u. Is 13 a factor of c?
True
Suppose -3*u = 0, -252 = -2*p + 5*u + 244. Is p a multiple of 37?
False
Let g(t) = -82*t + 23. Let z(l) = -55*l + 15. Let y(b) = 5*g(b) - 7*z(b). Is y(-2) a multiple of 20?
True
Let n be (-3 - -4) + (-8)/(-1). Let t = -4 + n. Suppose t*o = -5*q + 225, 5*q - 231 = -o - 2*o. Is q a multiple of 16?
True
Suppose -20 + 4 = -8*r. Let q be 0*r*1/6. Suppose -3*y + 5*y - 30 = q. Is y a multiple of 4?
False
Suppose v - 20 = -4*v. Suppose 5*m = v*m + 46. Is 6 a factor of m?
False
Let x(b) = 10*b. Let u be x(3). Suppose -28 = 5*v - k, u = -5*v + 2*v + 5*k. Is 2 a factor of 68/20 + (-3)/v?
True
Suppose 26 = 5*x - z, -4 = -2*z + 4. Does 7 divide (-37)/(3*(-2)/x)?
False
Let d(q) = q - 7. Let k be d(6). Does 17 divide (-1 - (-2 - k)) + 124?
False
Suppose 9*x - 45563 = -14*x. Is x a multiple of 19?
False
Suppose -25309 + 1549 = -40*x. Is 7 a factor of x?
False
Let i(z) = 2*z**2 + 12*z + 4. Let d be i(-5). Let j be 2/(-1*d/(-15)). Is (-54)/j*(-130)/(-39) a multiple of 9?
True
Let n be 5*-2512 - (2 - -2). Does 12 divide n/(-132) + (-4)/22?
False
Suppose -5*l = -2*l + 69. Let j = -7 - l. Is j a multiple of 16?
True
Suppose 0*i + 5*i + 28 = 2*n, -2*i = 5*n - 12. Let x be (15/i)/(-3)*20. Suppose -62 = -4*o + 2*o - 4*m, 5*m = x. Is 21 a factor of o?
True
Suppose 2*u + 4*c - 14 = 0, 0 = -0*u - 2*u + c + 29. Let w = -24 + u. Does 3 divide (-26)/(-8) - w/(-44)?
True
Suppose 182 + 541 = 3*p - 5*d, -d + 249 = p. Does 3 divide p?
True
Let o(w) = 2 - 2*w - 4 + 67*w**3 + 3*w + 2*w**2 + 50*w**3. Does 23 divide o(1)?
False
Suppose 2*r = -2*r + 24. Let j(c) = -c**2 - 15*c + 18. Let w be j(-16). Is 22 a factor of ((-15)/r)/(w/(-48))?
False
Let j = -1220 - -1703. Does 27 divide j?
False
Does 18 divide (24/(-10))/(52/(-24960))?
True
Suppose -168 = 8*j - 16*j. Does 21 divide j?
True
Let b = 18 - 13. Suppose 0 = -b*l + 19 + 21. Suppose 10*p - l = 8*p. Is p a multiple of 4?
True
Suppose 10*m - 3*m - 4095 = 0. Is m a multiple of 9?
True
Suppose 6 = -n + 4*n. Suppose -13 = -3*a + n, 4*r = -a + 45. Let g = r + 8. Does 18 divide g?
True
Suppose 0*y - 3*m - 23 = -5*y, 3*m = -3. Suppose 0 = 2*u + y*l - 42, 3*u - 28 = -l + 35. Suppose -4*z - 149 = -5*g, 2*z = 2*g - 81 + u. Does 19 divide g?
False
Let j(f) = 2*f**3 - 2*f**2 - 2*f - 2. Let t be j(5). Suppose -5*z = -5, -2*z + t = 3*x - x. Is x a multiple of 14?
False
Suppose -5*t - 4*w = -0*w - 42, -t - 3*w = -15. Let j be t*((-3)/(-9) + 0). Suppose 4*o + j*c - 166 = 0, 4*c + 160 = 3*o + o. Does 11 divide o?
False
Is 20 a factor of -4 + (-1 - 4) + 249?
True
Let u = 142 + -142. Suppose -145*w + 140*w + 120 = u. Is w a multiple of 24?
True
Let j be 1/2 + 63/(-14). Let c = 2 - -3. Is 8 a factor of -2 - j - c - -31?
False
Suppose l - 1 = -0*l + 2*a, 4*a = -5*l + 19. Let v(s) = 11*s**2 - 2 + 3*s**l - 9*s**3 + 7*s**3 + 13*s. Is 8 a factor of v(-9)?
False
Let y(r) = r**2 - 11. Let p be y(4). Suppose -2*c + p*j + 46 = 9, c + j = 22. Does 13 divide c?
False
Suppose -r + 3*a = 3*r - 42, 2*r + 4*a - 32 = 0. Is 22 a factor of r + -8 + 122*1?
False
Let d(m) = -m**3 + 11*m**2 + m - 8. Let l be d(11). Is 165*1 + (-9 + l - -7) a multiple of 7?
False
Let s(x) = 12*x - 18. Let q be s(4). Let w = 69 - q. Does 13 divide w?
True
Suppose 2 = 2*t + 6, 2 = 3*g - t. Suppose 4*v - 5*u = -g*u + 67, 2*u = 2*v - 36. Let c = v + -13. Does 4 divide c?
False
Let o = 433 + 89. Does 12 divide o?
False
Let n(z) = 0*z**2 + z**3 + 30 + z**2 - z + z**3. Does 5 divide n(0)?
True
Let v = 31 + -35. Is 8 a factor of v + 20 + 3 + 3?
False
Let q(g) = g**3 - 3*g**2 - 31*g + 1. Is q(9) a multiple of 35?
False
Let q be ((-3)/(-2))/((-6)/80). Let h = -38 - q. Does 17 divide (49/3)/((-6)/h)?
False
Suppose 0 = -2*n - 5 + 13. Suppose j - n*f = 26, 0 = f + 4 - 1. Is j a multiple of 14?
True
Let h = -486 - -1292. Is h a multiple of 13?
True
Let q(j) = 16*j**2 - 3*j + 2. Does 12 divide q(1)?
False
Let h = 6268 + -4046. Is 12 a factor of h?
False
Let c = -13 + 9. Let w(r) = 14*r**2 - 5*r - 10. Is w(c) a multiple of 26?
True
Suppose 20*j - 22*j = 30. Is ((-38)/(-3))/((-5)/j) a multiple of 38?
True
Suppose -18024 - 1656 = -6*o. Is 15 a factor of o?
False
Let m(h) = h**2 - 27*h - 1. Let k be m(17). Let b = -89 - k. Is 6 a factor of b?
False
Suppose -4*s - 4*i - 3 - 17 = 0, -2*s - 14 = 3*i. Let c be 1/((0 + -1)/9). Is c/(s + 4/(-8)) a multiple of 6?
True
Suppose 0*o - 135 = -o + 5*u, -o - u + 129 = 0. Suppose -2*n = 2*a - o, n - 76 - 54 = -2*a. Is a a multiple of 13?
True
Let j = -598 - -698. Does 4 divide j?
True
Suppose -w + 182 = -p, 4*w - p - 725 = -0*p. Is w a multiple of 17?
False
Let d = 283 - 163. Is d a multiple of 6?
True
Suppose 5*a + 0 + 4 = 4*r, 4 = -2*a + 4*r. Suppose 16 = -y + n - a*n, -5*y + n - 92 = 0. Let s = 39 - y. Is s a multiple of 19?
False
Let l be 1*(3 - (0 - -1)). Suppose q + 3 = l*t, -3*t - 3*q = -0*q - 18. Suppose t*c + 10 - 55 = 3*s, -2*c + 36 = -5*s. Is 7 a factor of c?
False
Let m(o) = 3*o**2 + 102. Let v be m(0). Suppose p + 2*u = -0*p + 22, 4*p = -u + v. Does 9 divide p?
False
Let f = 419 + -270. Suppose 6*q = -f + 539. Does 13 divide q?
True
Let b = -1981 - -2868. Is b a multiple of 9?
False
Let f(w) = w**2 + 12*w - 10. Let y be f(-13). Suppose -y*c + 3 = -6. Suppose m + m - 95 = -g, -5*m = -c*g + 263. Is g a multiple of 28?
False
Let g = 15 - 13. Let b(v) = 3*v**2 - 6 + 24*v**g + 6 + v. Is b(1) a multiple of 14?
True
Suppose -147 - 1133 = -5*n - s, -1015 = -4*n + s. Is n a multiple of 17?
True
Suppose -7 = -4*x + 1. Let c(f) = f**2 - 4*f - 4. Let p be c(6). Suppose x*w - 6*w - p = 0, 4*z + 4*w = 200. Does 26 divide z?
True
Let r(j) be the second derivative of 0*j**2 + 1/20*j**5 + 11*j + 1/2*j**4 - 5/3*j**3 + 0. Is r(-7) a multiple of 5?
False
Suppose -18*g = -16*g - 1052. Suppose g + 22 = 4*n. Does 16 divide n?
False
Let k(h) = h - 12. Let w be k(16). Suppose 434 + 10 = w*s. Is 20 a factor of s?
False
Let n(q) be the third derivative of 23*q**4/8 - q**3/6 + 3*q**2. Let o be n(2). Let m = -77 + o. Is 30 a factor of m?
True
Let y(m) = m**3 + 9*m**2 - 9*m + 9. Let c be y(-10). Let r be 20/c*(6 + -7). Let d = r - -9. Does 20 divide d?
False
Let n = -57 + 67. Is ((-46)/n - -3)*-115 a multiple of 46?
True
Let a = -51 + 56. Suppose -176 = -a*m + 159. Is m a multiple of 13?
False
Is (-861)/(-1) + (35 - 28) a multiple of 14?
True
Suppose -5*z = 3*l - 35, 5*z - z - 41 = -5*l. Is 25 a factor of z - (-41 - (-4 + 3))?
False
Let r = -54 + 56. Suppose 0 = 2*z + r*j - 78, 3*z - j + 2*j = 115. Is z a multiple of 10?
False
Suppose 2*m + 100 = -2*m. Let g = -13 - m. Let w = 27 - g. Is 5 a factor of w?
True
Let k(r) be the first derivative of r**4/4 - 4*r**3/3 - 3*r**2/2 + 9*r + 4. Let m be k(5). Let v = m - -3. Is 4 a factor of v?
False
Let y(b) be the third derivative of b**7/720 + b**6/180 + b**5/30 + 2*b**2. Let v(w) be the t