 y(i) = 0*i**2 - 6 + 4*i**2 - 5*i**2 - v*i. Is y(-12) a multiple of 2?
True
Suppose -4*v - 183 = -859. Let g = 304 - v. Is 14 a factor of g?
False
Let r = -65 - -166. Let v(q) = 34*q + 140. Let y be v(-6). Let b = r + y. Is b a multiple of 18?
False
Let u(x) = 7*x + 113. Is u(-10) a multiple of 4?
False
Suppose 4*o = -0*s - 2*s + 10, -3*s - o = 5. Let i(h) = -34*h + 4. Let p be i(s). Suppose -4*g + 8 = 0, 5*g = 2*x - 28 - p. Is x a multiple of 24?
True
Suppose 3*z = -2 + 5. Suppose 6 = -2*r, 5*b + 3*r - z = -0. Suppose -n + 57 = p, 3*n + 69 = -b*p + 3*p. Is 20 a factor of p?
True
Let h(z) = -9*z + 4. Suppose i + 2*i = -4*q + 212, q - 2*i - 42 = 0. Suppose -q = f + 4*f. Is 22 a factor of h(f)?
False
Let g(z) = -22*z**3 - 3*z**2 - 12*z - 2. Does 16 divide g(-4)?
False
Suppose -7*y + 198 = -6*y. Is 9 a factor of y?
True
Let d(j) = j**3 + 6*j**2 + 5*j + 6. Let k be d(-5). Suppose -k*a + 3*a + 6 = 0. Suppose 5*f = a*p + 68, 3*f - 38 - 1 = 3*p. Is f a multiple of 8?
False
Suppose 2*x - 9 = -1. Let r(a) = 4*a**2 + 5*a - 13. Is 10 a factor of r(x)?
False
Let a(k) = 26*k**3 - 12*k**2 - 8*k + 16. Is 14 a factor of a(4)?
True
Let p = 1992 - 766. Is 25 a factor of p?
False
Suppose 1 = -g + 5. Let s = g - -52. Is 11 a factor of s?
False
Let g(l) = -l**3 - 7*l**2 - 7*l - 9. Let p be g(-7). Suppose -a = -58 - p. Is 16 a factor of a?
False
Does 38 divide (505 - 11)*(1 - 0)?
True
Let x(o) = 2*o**2 - 8*o - 27. Let t be x(-11). Suppose 3*j - l - t = 0, -2*l = 5*j + l - 491. Is j a multiple of 46?
False
Suppose 2*r = 3*g + 606, -5*r = 10*g - 6*g - 1492. Is 50 a factor of r?
True
Suppose h - 46 = -0*j + j, -8 = -4*h. Let t = j + 55. Is 11 a factor of t?
True
Suppose 4*i + 51 = 215. Suppose 5*c = -11 + i. Is c a multiple of 3?
True
Suppose 4*z - i + 129 = -0*z, 2*i - 103 = 3*z. Let b = z + 71. Is b a multiple of 20?
True
Let a(u) = 8*u**3 - 7*u**2 + 17*u - 41. Does 5 divide a(6)?
False
Let u(n) = -n**3 - 64*n**2 - 43*n + 166. Does 91 divide u(-64)?
False
Let u = -1616 + 2638. Does 7 divide u?
True
Let c(h) = -h + 1. Let i(a) = -6*a + 4. Let m(j) = 3*c(j) - i(j). Let r be m(2). Suppose r*b - 2*u = 108, -2*b = 4*u - 23 - 1. Does 10 divide b?
True
Let h(s) = -372*s + 40. Is h(-8) a multiple of 13?
True
Let b(k) = 25*k**2 - 10*k + 31. Is 12 a factor of b(9)?
False
Suppose -3*o - 23 = 5*v, 2*o - 5*v + 4*v = 2. Suppose 3*a - 8*a = -2*f + 15, 2*f - 4*a - 10 = 0. Does 3 divide (6 - f) + o + 1?
False
Is 14 a factor of (-1683)/(-4) + (-33)/44?
True
Let w be (78/24)/(1/4). Let x be (-2)/13 - (-28)/w. Is 7 a factor of (0 + -35)*x/(-5)?
True
Is 258 - (3/2)/((-7)/14) a multiple of 12?
False
Suppose 2*c + 6 = -3*o + 4, -2 = 4*c + 5*o. Is 32 a factor of c - ((-4)/14 + (-2682)/21)?
False
Suppose 4*g - 2*c = 336, -g + 65 = -5*c - 10. Is 5 a factor of g?
True
Suppose 0 = 2*z - 3*z. Does 13 divide -4 - (82/(-1) + z)?
True
Let k be -6 - -5 - (-4 + 1). Suppose 1 = -k*a - 5*q + 27, -4*q = -4*a - 4. Let g = 42 - a. Is 14 a factor of g?
False
Is 3 a factor of ((-1005)/60)/(3/(-108))?
True
Let b(l) = l**3 + 9*l**2 - 23*l - 4. Let z be b(-11). Suppose 8*w = z*w + 20. Is w even?
True
Let m be 92/3 + 2/(-3). Suppose 2*x = -0*x + 2*r - 38, 4*x + 69 = -3*r. Let t = x + m. Is 6 a factor of t?
True
Let z = -3 + 3. Suppose 0 = 4*u + 16, -2*g + 2*u + 59 = g. Suppose g + 61 = 2*t - v, -4*v + 8 = z. Is 12 a factor of t?
False
Suppose 3*b + 20 = -4*n + 3*n, -5*b - 4*n - 31 = 0. Let x = -11 - b. Let s(v) = v**3 + 6*v**2 + 5*v - 2. Is 2 a factor of s(x)?
True
Let q = 6 - -37. Suppose -q = 2*i - 3*i. Is i a multiple of 6?
False
Suppose 4 = -3*r + 5*r + s, 3*r + 5*s + 1 = 0. Suppose i + r*n = 19 - 3, 3*i = -3*n + 72. Suppose 34 + i = 2*b + 4*p, b - 5*p = 3. Is 7 a factor of b?
False
Let g = -5 - -17. Let p be 5/2*g/10. Suppose p*j - 34 = -1. Is j a multiple of 9?
False
Suppose -d - 7 = -2*o, -4*o = -4*d - 9 - 3. Let t be 1/o + 45/12. Suppose -t*l + 117 = -l. Is l a multiple of 13?
True
Suppose -2*t + t = 1. Let j = 3 + t. Suppose 3*c = o - 0*c + 9, -3*o - j = -4*c. Is o a multiple of 3?
True
Let c = 36 + -33. Suppose 3*t + 12 = 0, -a + t + 24 = c*a. Suppose -q = a*z - 26, 5*z = 4*q - 3*q + 24. Is 3 a factor of z?
False
Let r(f) = f**3 - 43. Let x(s) = -s**2 + 10*s - 9. Let b be x(9). Let k be r(b). Is (-2 + 5)*k/(-3) a multiple of 9?
False
Suppose 9*m - 7147 = 854. Is 7 a factor of m?
True
Suppose t + 3*r = 121, 0 = -2*t - 15*r + 19*r + 212. Is t a multiple of 15?
False
Let j = -1988 + 4214. Does 6 divide j?
True
Let r(m) = 2*m**2 + 70*m + 63. Is r(33) a multiple of 41?
True
Let j(i) = -i + 6. Let u be j(-8). Let f = u + 67. Let q = f - 18. Is 14 a factor of q?
False
Let u = 1602 - 1234. Is u a multiple of 5?
False
Suppose -3568 = -4*t - 5*r, -9*t + 2*r - 889 = -10*t. Is t a multiple of 47?
False
Suppose 16*l = 506 - 4906. Let x = -134 - l. Is x a multiple of 9?
False
Let b(m) = -4*m**3 + 3*m**2 - 19*m - 4. Let i be b(8). Is (32/28)/4 + i/(-14) a multiple of 12?
True
Does 32 divide (-68)/187 - 29576/(-22)?
True
Suppose 0 = 4*z - 5*n - 607, 4*z - 2*n = 846 - 236. Is 17 a factor of z?
True
Suppose -485 + 1700 = 3*t. Does 66 divide t?
False
Let b(a) = 13*a + 4. Suppose -5*g - 5 = -35. Suppose 0 = -g*d + 3*d + 12. Does 14 divide b(d)?
True
Let q(f) = 13*f - f**3 + f**3 - 7*f + f**3 - 11*f**2 - 11. Is 11 a factor of q(11)?
True
Let j = -106 + 258. Is j a multiple of 27?
False
Suppose j - 4 = -2*u, 3*u + 0 = -j + 6. Suppose 5*t - 168 = 5*q + t, j = t + 3. Let b = 4 - q. Is b a multiple of 20?
True
Suppose 2958 - 1143 = 3*h - r, -3025 = -5*h + r. Is 55 a factor of h?
True
Let x = 70 + -137. Suppose 5*y - 5*u - 30 = 0, -2*y + 5*u - u + 16 = 0. Let o = y - x. Does 31 divide o?
False
Is 52038/153 + 5 - (-2)/(-17) a multiple of 23?
True
Let x = -164 + 472. Is x a multiple of 14?
True
Let b(w) = -14*w - 3. Let d be b(2). Let p = 124 - d. Suppose -q + p = 3*s, -4*s + 224 = -q - 2*q. Does 9 divide s?
False
Let m = -599 - -1415. Suppose 7*f - m = -f. Is f a multiple of 21?
False
Let b(f) be the second derivative of 11*f**5/20 - f**3/3 - f**2/2 - 2*f. Let t be b(2). Let l = t + -11. Does 24 divide l?
True
Let c be ((-13)/5 - -3) + (-39)/(-15). Suppose -j = 3*p - 424, -1232 = -c*j - 4*p + 3*p. Is 41 a factor of j?
False
Suppose 5*c + j + 131 - 3426 = 0, 2*c - 4*j - 1340 = 0. Is c a multiple of 55?
True
Let l be (10/(-4))/((-5)/20). Let s = 18 - l. Let c(v) = -v**2 + 9*v + 11. Is c(s) a multiple of 17?
False
Suppose 3*m = 3*h + 801, -2*h - 509 = -3*m + 289. Suppose 6*o - 2*o = m. Suppose 4*b - o = 2*b. Does 11 divide b?
True
Let g be 20*((-6)/8)/(-3). Let h(m) = -m**3 + 5*m**2 + 3*m + 2. Is 17 a factor of h(g)?
True
Let w(u) be the third derivative of u**5/60 - 3*u**4/8 + u**3/2 + u**2. Let r be w(9). Suppose r*p + p = 108. Is 9 a factor of p?
True
Let s = 4 + 1. Suppose 2*x - 7*x + 2*z = -377, 0 = s*x + 5*z - 405. Let o = x - 49. Is 6 a factor of o?
False
Let j(g) = -39*g + 68. Is 31 a factor of j(-23)?
False
Suppose 3*x + 5*m = 3007, -x + 2*x + 3*m - 1005 = 0. Is 11 a factor of x?
False
Suppose 3*y = 9 - 3, 0 = -5*g + y - 132. Let b = 29 + g. Suppose 2*d - 62 = b*c, -2*d = -0*d - 5*c - 66. Does 11 divide d?
False
Suppose -5*m + 5*o + 270 = -705, 5*o - 585 = -3*m. Is m a multiple of 5?
True
Suppose -3*h - 9 = 0, -5*j = -4*j - 3*h - 369. Suppose -5*l + j = 3*l. Does 9 divide l?
True
Let v(g) = -g**3 - 4*g**2 + 4*g - 6. Let s be v(3). Let c = 106 + s. Does 49 divide c?
True
Let r(o) = o**2 + 11*o - 9. Let g be r(-13). Let w = 17 - g. Let a = 9 + w. Is a a multiple of 2?
False
Suppose 37479 = 3017*p - 3004*p. Does 21 divide p?
False
Let p(k) = 16*k**2 - 2*k + 2*k - 3*k - 4 - 3*k. Is p(-3) a multiple of 23?
False
Let t = 17 + -9. Suppose -3*v = -t*v + 245. Does 27 divide v?
False
Let m(o) = 24*o**2 + 38 - 22*o**2 + 17*o - 4*o. Is 11 a factor of m(-8)?
False
Suppose -l + 4 = 12. Let i(n) = -n - 5. Let j be i(l). Suppose j*t = 9 + 18. Does 9 divide t?
True
Let z(v) = -v**3 + 22*v**2 + 3*v - 14. Does 49 divide z(21)?
True
Let q = 3253 + -1893. Does 16 divide q?
True
Let u be 308/6 + 12/18. Let x = u + -359. Let q = -143 - x. Does 36 divide q?
False
Let a be (5 - (4 + 0))*293. Suppose -a = -2*c - 53. Is 30 a factor of c?
True
Let r(f) = -f**2 - 17*f + 3. Let x = 5 - 5. Let y be -7 + x + (-54)/18. Does 16 divide r(y)?
False
Su