-38*q**2 + 4*q + 1. Let v(a) = -5*o(a) + 4*x(a). Is v(-2) a multiple of 8?
False
Let z(g) = -g**3 - 11*g**2 - 9*g + 12. Let i be z(-10). Suppose 0 = i*a - 4*a + 4. Suppose 3*t + f - 11 = 0, t - a*t = 4*f - 22. Is t a multiple of 2?
True
Let l be 768 + (3 - 4 - -3). Suppose -5*n - 6*n + l = 0. Is 35 a factor of n?
True
Let g = -10 + 38. Is g even?
True
Let a(z) be the third derivative of -3*z**4/4 + z**3/3 + 4*z**2. Is 10 a factor of a(-1)?
True
Suppose 0 = -9*v + 8*v + 96. Suppose 7*l - v = 4*l. Does 12 divide l?
False
Let r(a) = 7*a**2 + 3. Is 11 a factor of r(-3)?
True
Suppose 0 = 3*z - 9, -z = 6*r - 4*r - 823. Let n = r + -242. Is n a multiple of 6?
True
Is 5 + 13/((-104)/(-4760)) a multiple of 15?
True
Let k = -2062 + 4718. Does 32 divide k?
True
Let t(p) be the third derivative of -p**5/60 + 23*p**4/24 - 13*p**3/3 + 9*p**2. Does 8 divide t(20)?
False
Let f be 2/2 - 1 - -33. Suppose 28*z - 34*z = -174. Let t = f + z. Is 14 a factor of t?
False
Let y be (-2 - (-13)/5)*5. Suppose 3*n + 2*d = -n + 1378, y*n + 4*d - 1031 = 0. Does 13 divide (-10)/(-15) + n/9?
True
Let s be 1/2*(-1 - -1). Suppose 2*c - 88 + 22 = s. Suppose 4*o + 5*x = 111, -5*x = 2*o - 4*o + c. Is o a multiple of 8?
True
Suppose -2*w = w - 15. Suppose -s + 5*b + 6 = 0, -s = -w*s - 4*b. Let k(f) = 98*f**3 - 2*f + 1. Does 15 divide k(s)?
False
Suppose -2*l + 190 = -5*s + 8*s, 2*l - s = 206. Does 20 divide l?
False
Let b = 2977 + -2103. Does 38 divide b?
True
Suppose 33*z - 284 = 29*z. Does 5 divide z?
False
Let h(x) = -19*x - 119. Is h(-11) a multiple of 10?
True
Suppose -16 = 3*k + k, -k - 10 = -3*a. Suppose 0 = 2*z - 5*m + 27, 5*z = -3*m - a*m - 120. Is 10/(-35) - 426/z a multiple of 10?
True
Suppose -19 = -2*t + t - 4*n, -4*n + 13 = -t. Let u(l) = -l + 42*l**2 + 1 + 4*l - 44*l**2 + l**3. Does 4 divide u(t)?
False
Let b(f) = 3*f**3 - 15*f**2 + 26*f - 5. Is 37 a factor of b(6)?
True
Let v = -6 - -14. Suppose -10*u = -v*u + 14. Let k(d) = -5*d - 14. Does 7 divide k(u)?
True
Suppose 126 = 3*s - 2*q - 177, -4*s + 4*q + 400 = 0. Let a(r) = 18*r**3 + 2*r**2 - 4*r + 1. Let m be a(2). Let u = m - s. Does 14 divide u?
True
Is 12 a factor of ((-80)/6)/((-38)/342)?
True
Let y = -1006 - -1066. Is y a multiple of 3?
True
Let c be 2 - (3 - -12*2). Is 17 a factor of 3/(-5) - 1190/c?
False
Let b = -1048 - -1057. Does 3 divide b?
True
Suppose -2*q = -4*v - 88, 3*q - 40 = 2*v - 0*v. Let o = v - -45. Is o a multiple of 11?
True
Suppose 3*a + 34 = -4*p - 0*p, p = -4*a - 67. Let b = 11 + a. Is 84/(-3 - b) - -3 a multiple of 12?
True
Let g = 449 - 1197. Let r = -496 - g. Does 36 divide r?
True
Let z(k) = -k**3 - 23*k**2 + 16*k + 68. Does 18 divide z(-24)?
False
Suppose 0 = -125*v + 128*v - 846. Does 16 divide v?
False
Let p(c) = -3*c - 3 - 2*c + 2*c + c**3 - c**2 + 2*c**2. Let n be p(-3). Does 8 divide 0 - -19 - n/4?
False
Let v(w) = -22*w**2 - w + 4. Let q(o) = 88*o**2 + 5*o - 17. Let p(u) = -2*q(u) - 9*v(u). Does 7 divide p(-1)?
True
Suppose -4*o = l - 25, -3*l + 28 = 2*o - 17. Suppose -3*u = i - 464, l*u - 10*u = 3*i + 480. Does 26 divide u?
True
Let g be (3*1)/(3/(-564)*6). Let i = -80 - g. Does 11 divide i?
False
Let u be ((-4)/8)/((-1)/6). Suppose -5*m + 4 = -2*v, u*v = -3*m - 2*v + 21. Suppose m*i + 6 = 70. Is 16 a factor of i?
True
Let z(n) = -336*n + 60. Is z(-3) a multiple of 65?
False
Let t = -2 + 4. Let b be (12/(-10))/(t/(-10)). Is 31 a factor of (-8)/b*(-93)/2?
True
Let k = 36 - 30. Suppose 0*j - k*j = -30. Suppose -2*m = 3*o - 9 - 3, 0 = j*m + 3*o - 39. Is m a multiple of 3?
True
Does 7 divide (-7 - (-459)/63) + (-2054)/(-14)?
True
Let a(v) = 36*v**2 + 4*v + 7. Let o(w) = -2*w**2 - 6*w - 6. Let d be o(-2). Is a(d) a multiple of 13?
True
Let x(d) = -2*d - d**2 + 3*d - 1 + d + 4*d. Is x(5) a multiple of 4?
True
Suppose 4331 = 5*v + 3*h, v - 541 = -2*h + 321. Is v a multiple of 15?
False
Suppose 0 = -f + 8 + 1. Suppose f - 33 = 2*l. Does 32 divide (-1473)/l + (-2)/(-8)?
False
Let s(m) be the second derivative of 5*m**4/12 + m**3/3 - 3*m**2/2 + 2*m. Is 12 a factor of s(2)?
False
Suppose 4*h = -0*h + 1392. Does 18 divide (h/9)/((-6)/(-9))?
False
Suppose 53 = -l + 120. Is l a multiple of 21?
False
Let u = 30 + 9. Let n = u - 0. Is n a multiple of 3?
True
Let i(k) be the first derivative of 3*k**4/4 - 5*k**3/3 + 3*k**2/2 + 24. Suppose -2*z - 3*m + 26 = 2*m, 4*z + 4*m = 28. Is 15 a factor of i(z)?
True
Let o = -95 + -24. Let s = -26 - o. Is 13 a factor of s?
False
Suppose -2*a = -4*p + 3424, 8*a + 3420 = 4*p + 5*a. Is 22 a factor of p?
True
Suppose 5*g - g - 2312 = -2*z, -g + 576 = z. Is 58 a factor of g?
True
Let o = 5 - 4. Suppose -5*b = -4*b - o. Does 4 divide (20/(-25))/(b/(-10))?
True
Let r(g) = g**2 + 2*g - 41. Let t(x) = x**3 + 4*x**2 + 5*x - 5. Let p be t(-3). Is r(p) a multiple of 8?
False
Let m(a) = 4*a**3 - 6*a**2 + 5*a - 3. Let v(b) = -4*b**3 - 3*b**2 - 2*b - 1. Let z be v(-1). Does 2 divide m(z)?
False
Suppose 0 = 5*v + 4*m - 451, -5*m + 40 = v - 67. Suppose 4*k + 3*l = 19 + v, -5*l + 74 = 3*k. Is 7 a factor of k?
True
Let a = -657 + 1364. Is 61 a factor of a?
False
Let g(v) = 8*v - 10. Let w(x) = -12*x + 15. Let b(m) = -m**3 + 7*m**2 + 2*m - 9. Let s be b(7). Let u(a) = s*w(a) + 7*g(a). Is 20 a factor of u(-4)?
False
Let g(y) be the first derivative of -1/4*y**4 - 2 + 4*y**2 - 3*y**3 - 10*y. Does 6 divide g(-10)?
False
Let c = 656 + -519. Is c a multiple of 24?
False
Let z = -115 + 105. Is 9 a factor of ((-1086)/(-10) - 1) + z/(-25)?
True
Let d(k) = k**2 + 37*k - 30. Is d(-39) a multiple of 2?
True
Let m(q) = -2*q**3 + 20*q**2 + q - 2. Let g be m(9). Suppose -4*x + 637 = g. Is 9 a factor of x?
True
Let w(v) = -34*v - 8. Let d(c) = -c + 1. Let k(j) = -5*d(j) - w(j). Does 20 divide k(3)?
True
Let c = 496 - -154. Is c a multiple of 50?
True
Let a(c) = c**2 + 25*c + 65. Does 9 divide a(-27)?
False
Suppose -132 + 41 = -u. Does 21 divide u?
False
Let a = 57 - 49. Let r = a + 100. Does 18 divide r?
True
Let l = -9 + 12. Suppose 2*n = l*g - 59, 2*n + 50 = 5*g - 11. Is 11 a factor of 1 + (n/(-2) - 4)?
True
Suppose 100 = 4*i + 2*f, -3*f + 0*f = 0. Let h = i - 20. Suppose 6*j - j + 485 = h*k, k = -4*j + 102. Does 15 divide k?
False
Suppose -4*n + 5 = 3*d - 18, 3*n - 3*d - 33 = 0. Suppose 3*o = 3*i + 33, i = 5*o + 4*i - 15. Is 3*n - (-6 + o) a multiple of 7?
False
Let x = -468 - -930. Does 7 divide x?
True
Suppose -1 = -q, 3*q + 123 = -2*a + 5*a. Does 11 divide (-4)/14 - (-2322)/a?
True
Suppose -4*z = 4*a - 0*a - 1460, -3*a = 5*z - 1831. Is z a multiple of 84?
False
Suppose -4*z = -6*z. Let q(m) = -7 - 6*m**3 - 3*m + z - 4*m**2 + 5 + 3*m**3. Does 3 divide q(-2)?
True
Suppose -139 = -g - 33. Let a = 4 + g. Is 22 a factor of a?
True
Let o = 7652 + -4836. Is o a multiple of 56?
False
Let a be 2 - (3 + -1) - -86. Suppose -204 = u + 3*u. Let c = u + a. Does 13 divide c?
False
Is (4040/14 - 3) + 27/63 a multiple of 22?
True
Suppose i - 280 = -z, -18*i + 5*z = -17*i - 262. Is i a multiple of 2?
False
Let a = -10 + 15. Let g(i) = 1 - 3 + 4 + i. Is g(a) a multiple of 3?
False
Suppose -b - 5*o = -9, 2*b - 2*o - 3 = 3*o. Suppose -4*g - 2*l = -7*g + 338, -3*g + b*l + 340 = 0. Is g a multiple of 7?
True
Let j(h) = h**3 - h**2 - h + 32. Let b(r) = -r**2 - 2*r. Let u be 6/2*4/(-6). Let g be b(u). Is 16 a factor of j(g)?
True
Suppose 3*j - 363 = 3*h, 0*j = -2*j. Let x = 267 + h. Is 22 a factor of x?
False
Let i = -565 - -810. Suppose -2*d - i = -7*d. Does 6 divide (d + -5)*1/2?
False
Let j be (2/4)/(4/1256). Let w = -100 + j. Let g = -30 + w. Does 19 divide g?
False
Let c(h) = 959*h**2 - 49*h - 94. Is 80 a factor of c(-2)?
True
Let o(i) = -i**2 + 6*i - 2. Let z be o(5). Suppose 4*m = z*d - 8, -d + 5 = -0*d + m. Suppose 0 = -4*g - 0*g + d*q + 300, -16 = 4*q. Does 18 divide g?
False
Let b = 2403 + -1194. Is b a multiple of 39?
True
Is 14 a factor of (-10)/(-20) + 2*(-131)/(-4)?
False
Suppose -v + 4*w + 21 = 0, -3*v - 1 = 2*w - 8. Suppose 1 = -v*d + 11. Suppose -y - 2*m - 11 + 36 = 0, 2 = d*m. Is y a multiple of 9?
False
Let q = -1145 + 1561. Is 16 a factor of q?
True
Let i(a) = a**2 - 8*a + 3. Let o be i(8). Suppose -r + 126 = -0*r - 4*j, o*r - 367 = j. Let x = r - 86. Does 5 divide x?
False
Let k(v) = -v**2 - 4*v + 26. Let p be k(-7). Suppose -26 = p*w - 141. Does 23 divide w?
True
Let m(v) be the firs