. Let v = -50 + 52. Is n(v) a multiple of 22?
False
Suppose -p + 1 - 1 = 0. Let y(a) = -a**3 + 9*a**2 + 4*a + 2. Let x be y(8). Is 16 a factor of 2 + 2 + p + x?
False
Let f(s) = 3642*s - 210. Is f(2) a multiple of 27?
True
Let c(y) = -y**3 - 23*y**2 - 115*y - 5. Does 8 divide c(-17)?
True
Suppose -47*p + 8291 = 4*p + 284. Let x(i) = 313*i - 1. Let b be x(1). Let k = b - p. Is k a multiple of 31?
True
Let r(c) = -2*c**2 + c + 2. Let u be r(0). Suppose -3*n - 3*h + 212 = -2*h, 0 = -u*n - 5*h + 124. Is n a multiple of 4?
True
Let s be (22/(-55))/(1/105). Let v = s + 8. Let a = v + 88. Is a a multiple of 11?
False
Suppose 4*m + 6 = 5*m. Suppose -p + 19 = q, 0 = 4*q + 3*p - m*p - 97. Is 5 a factor of q?
False
Let z(x) = x - 11. Let t be z(5). Let k(j) = j**2 - j - 2. Is 10 a factor of k(t)?
True
Let y(j) = 15*j + 5*j + 9 - 13*j. Does 3 divide y(6)?
True
Let t(g) = -24*g - 30. Let i = 69 + -62. Let v be 1 - (i + (5 - 7)). Is 22 a factor of t(v)?
True
Suppose 46434 = 5*f + 3*k, 9942 - 56379 = -5*f - 4*k. Is f a multiple of 69?
False
Let k be -1 + (8 - 3) + 1. Suppose -3*o = -k*d + 2 + 7, 5*o + 15 = 4*d. Is 5/15 - ((-77)/3 - d) a multiple of 13?
True
Suppose 0 = -12*x - 158*x + 842180. Does 58 divide x?
False
Let t = 1428 + 4201. Is 42 a factor of t?
False
Let o = 55 - 57. Let s be -1*(-1)/o + (-3)/(-6). Suppose s = 3*u + 4*t - 6, -3*u = 2*u + 3*t - 21. Does 6 divide u?
True
Let z(u) = 22*u**2 + 19*u - 254. Does 30 divide z(10)?
False
Suppose 0 = -5*a - 5*p - 1305, 2*a + 2*a + 3*p + 1047 = 0. Is 13 a factor of a/(-3) + (1 - -2)?
True
Let h = 17013 - 11539. Does 161 divide h?
True
Suppose y + 5*n - 678 = 42, y - 720 = 4*n. Suppose 2*v - 8 = v. Suppose v*g + y = 18*g. Is 18 a factor of g?
True
Let m = 282 + 2658. Is 147 a factor of m?
True
Suppose -2857 - 4289 = 18*y. Let j = 862 + y. Is j a multiple of 15?
True
Suppose 2*k + 2*r + 62 = 0, 5*r + 20 = r. Let m be k/8 - 30/40. Does 12 divide 2/(m + 338/84)?
True
Let r = 336 + -180. Suppose -r*w - 756 = -159*w. Does 18 divide w?
True
Let i(u) = -32*u + 1900. Is i(-14) a multiple of 76?
False
Let t = -2678 - -8632. Does 26 divide t?
True
Let k(h) = -104*h - 37. Let s be k(-13). Suppose -7*g + 5718 = s. Is g a multiple of 37?
True
Let k = -11976 + 27328. Is 76 a factor of k?
True
Let j(t) = -16*t - 149. Let b be j(-14). Suppose b*s = 84*s - 1449. Does 7 divide s?
True
Let o be (4156/56 + (-8)/(-28))*-4. Let r = o - -740. Is 21 a factor of r?
False
Is 89 a factor of (-1 - 11035)*((-120)/(-16) + -8)?
True
Let x = 41838 - 32040. Is 142 a factor of x?
True
Suppose 4*b - 108 + 36 = 0. Let n = 17 - b. Does 8 divide (-1 - 9/n)/(4/16)?
True
Suppose 4*a + 226 = -p + 2*p, 0 = -4*p - 2*a + 958. Let c = p - 60. Is c a multiple of 46?
False
Let b = 142 - 82. Let l = b - 39. Does 44 divide (-2)/6*(-10269)/l?
False
Let m(w) = -2*w - 30. Let k be m(-16). Suppose -2*f + 5 = n, 4*f - 2*n = k*n - 20. Suppose f = -3*b + o + 4*o + 79, o + 77 = 4*b. Is 6 a factor of b?
True
Let i(k) = 686*k**3 - 14 + 59*k - 687*k**3 - 32*k**2 - 64. Does 11 divide i(-34)?
False
Let v(y) = y**2 + 61*y + 827. Let u be v(-29). Let d be 1/(0 + 1)*-1. Let o = d - u. Is o a multiple of 10?
True
Suppose 0 = 2*g + 248*g - 5941500. Is 7 a factor of g?
False
Suppose -13 = -2*h - 13. Suppose -8*g + 3735 - 3279 = h. Is g a multiple of 10?
False
Suppose -38*t + 80883 = -53*t + 26*t. Is t a multiple of 2?
False
Suppose 0 = 1897*o - 1830*o - 38592. Is 144 a factor of o?
True
Suppose -109*s = -1695009 - 597152. Is 8 a factor of s?
False
Let h(r) = 517*r**2 + 78*r + 158. Does 62 divide h(10)?
True
Suppose 0 = p + 3*z - 318, 934 = 2*p + p + 5*z. Let h be (-2 - 33/(-12)) + p/12. Suppose -h = -2*i + 4. Is i a multiple of 6?
False
Let u be (4 + (-38)/8)*-4. Let w(z) = -131*z + 8 + 3*z**3 - z**2 + 126*z - 4*z**u - 3*z**2. Is w(-7) a multiple of 51?
False
Suppose 2*x = 2*u + 17 + 15, 2*u = x - 20. Suppose x = z - r - r, -2*r - 14 = -2*z. Does 45 divide z + 1155/27 - (-4)/18?
True
Suppose 5*w = 4*z - 2, 4*z - 13 = w - 3. Does 17 divide 7124/8 - (14/4 - z)?
False
Let n = 125 - 971. Let l = n + 1224. Is 27 a factor of l?
True
Let h(b) = b**3 - 10*b**2 + 7*b + 36. Let n be h(14). Suppose n = -108*x + 114*x. Is x a multiple of 11?
False
Let t = 5670 + -5496. Is 3 a factor of t?
True
Let o(f) = 4*f - 15. Let z(q) = q**3 + 18*q**2 + 18*q + 22. Let b be z(-17). Let d be o(b). Suppose -3*m = 3*x + x - 34, m = d*x - 52. Is x a multiple of 10?
True
Let p(m) = -m**2 - 13*m + 14. Let h be p(-14). Let r be (h/(-1))/((-6)/(-3)). Suppose -5*c = -4*d - 90, r = -4*c + 2*c - 2*d + 36. Does 9 divide c?
True
Suppose 5*c - 31 + 11 = 0. Suppose -5*g = -2*g + c*v - 40, 3*g - 5*v = 85. Let w(f) = 2*f + 6. Does 13 divide w(g)?
False
Let i(d) = 5*d**2 - 13*d - 17. Let t(s) = 4*s**2 - 14*s - 18. Let l(h) = -3*i(h) + 4*t(h). Let b be 598/1495 - ((-196)/(-5))/(-2). Is l(b) a multiple of 12?
False
Let n(m) = -m**3 + 9*m**2 + 10*m + 6. Let v(c) = -c**2 + 11*c - 19. Let z be v(7). Is n(z) a multiple of 22?
False
Let a(d) = -d**3 - 6*d**2 - 5*d - 1. Let f be a(-6). Suppose -870 = -2*b + h - f, -h = 3*b - 1259. Is b a multiple of 21?
True
Let w(d) = -40*d + 74. Let x be w(-11). Suppose 282 = 2*r - r. Let t = x - r. Does 29 divide t?
True
Let p(y) = -4*y - 4. Let n be p(-4). Suppose 2*s + t + n = 3*s, 8 = -4*t. Suppose 5*i = s*i - 475. Is 19 a factor of i?
True
Suppose 0 = -12*s + 6*s - 1242. Let o = -119 - s. Suppose -13*l + 15*l = o. Is 11 a factor of l?
True
Let x(t) = 10 - 21*t**2 + 6*t**2 - 17*t - t**3 + 2*t. Does 16 divide x(-15)?
False
Suppose -5*h + 5*o + 7795 = 8*o, 0 = 4*h + 5*o - 6223. Does 22 divide h?
True
Let i be 20*2/10*2. Let c = -2 + i. Suppose -r - 115 = -c*r. Does 4 divide r?
False
Let v be (((-4)/6)/1)/((-3)/54). Suppose -3*z + 5*z - v = 0. Suppose 219 - 57 = z*c. Is 6 a factor of c?
False
Suppose 32*a = 41*a - 9. Is 6 a factor of (10/40*-2)/(a/(-96))?
True
Let b = 49 - 55. Is (-112)/(-20)*-15*(b - -4) a multiple of 12?
True
Suppose -3*a - 152 = -740. Suppose -828 = -8*i - a. Is i even?
False
Let g = 331 + -1073. Let x = g + 1176. Does 62 divide x?
True
Let k be -1 - -1 - (-53)/((-2)/(-2)). Let g = k + -57. Let a(l) = -2*l**3 + l**2 - 5*l + 1. Is a(g) a multiple of 33?
True
Suppose 5*v = -2*p, 3*p = 4*v - p. Let b(o) = -238*o + 2. Let j be b(0). Suppose 0 = 4*n - u - 37, v*u + 4*u + 8 = j*n. Is n a multiple of 5?
True
Suppose -3*c - 5*r + 47 = 0, 3*r - 2 = r. Suppose p + c - 17 = 0. Suppose p*n = 18 + 72. Is n a multiple of 15?
True
Suppose 1028*r - 963*r = 164190. Is r a multiple of 91?
False
Suppose -4*d = 4*u - 60, 5 = d + 4*u - 10. Suppose 7*g = 2*g + d. Suppose g*a = 2*w - 7*w + 563, -444 = -4*w - 4*a. Is w a multiple of 9?
False
Let u be (-1 - 7/(-5)) + (-1278)/(-30). Suppose -40*q + u*q = 117. Is q a multiple of 3?
True
Let y(x) be the third derivative of x**5/30 + x**4/6 - x**3/3 + 12*x**2. Let r be y(3). Let c = r - 22. Does 2 divide c?
True
Let c(v) = 48*v - 16. Let t be (-2 - (-1 + 0))/((-20)/100). Is c(t) a multiple of 16?
True
Suppose -4*c + 8*c = -p + 181, c + 326 = 2*p. Let a = -102 + p. Suppose 0 = -t - 5*m + a, 308 = 5*t + 3*m + 59. Is t a multiple of 12?
True
Suppose 0 = a + 3*i - 8634, -16198 - 1025 = -2*a - i. Is a a multiple of 19?
True
Let c(v) = -v + 3. Let s be c(-1). Suppose d - 100 = -s*d. Suppose -4*r + d = 0, -w = -2*r + 1 - 0. Is w a multiple of 2?
False
Suppose 30*x - 30384 = 21*x. Suppose 17*h - h = x. Is 26 a factor of h?
False
Let m = 30849 + -10793. Is m a multiple of 23?
True
Let f = 26 + -23. Suppose 0 = 4*y + m - 36997, -36977 = 3*y - 7*y + f*m. Is 35 a factor of 1 + (-3)/5 - y/(-80)?
False
Let m(n) = -15*n**2 - 22*n + 1. Let q be m(4). Let c = q - -404. Is c a multiple of 56?
False
Let t be (-147)/(-51) - 70/(-595). Suppose -759 = -3*h + t*q, 2*h - 2*q = -q + 503. Is h a multiple of 25?
True
Let p = 971 - 11. Does 48 divide p?
True
Suppose -23 - 177 = 5*l. Let f be 15*(l/15)/8. Is (-51)/(-3 + (-3 - f)) + -3 a multiple of 16?
True
Let p be -3 + 112 - 0 - 2. Let w = p - 184. Is (-66)/w*(-1 + 29) a multiple of 12?
True
Let g be 66/((-15)/(-5)) + 5. Suppose g*m - 24*m = -3*f + 1530, -2*f + 5*m + 1013 = 0. Does 14 divide f?
False
Let i(b) = 54*b**2 + 203*b - 38. Is 77 a factor of i(10)?
True
Suppose 2*x = z - 0*z + 10, 0 = -3*z + 2*x - 42. Let k =