. Let z be 7 - 4 - 0 - 0. Suppose -p + 8 = -z*p. Is g(p) a multiple of 16?
True
Let f(a) = a + 9. Let g be f(-3). Let b be g/15 - (-410)/(-25). Is 31 a factor of 4/(b/(-156)) - -2?
False
Let j(k) = -k + 27. Let t be j(22). Suppose -5*f - g + 3*g + 319 = 0, -3*f = -t*g - 180. Does 13 divide f?
True
Let z be 5 - 4 - (-300 + 0). Suppose -j - v = 2*v - 152, 0 = -2*j - 3*v + z. Suppose j = 5*y + 19. Is 13 a factor of y?
True
Suppose 5*m - m + 8 = 0. Let v be (m - 0)*58/(-4). Let p = v - 20. Is p even?
False
Let g be 34/9 - (-4)/18. Let o be 1174/8 + g/16. Is o/6 - (-3)/(-6) a multiple of 8?
True
Let v be 4/8*6 - 0. Suppose -2*a - v - 107 = -4*k, 139 = 5*k - a. Does 14 divide k?
True
Suppose t + 2*u = 157, 0*u - 3*u = 6. Is t a multiple of 4?
False
Is -685*(3 - 34/10) a multiple of 18?
False
Let c(i) = -19*i + 9. Let n be c(9). Let j = n + 228. Is j a multiple of 22?
True
Let t = -502 + 978. Does 28 divide t?
True
Let c(y) = y - 5. Let x be c(9). Suppose -k + x*k = 99. Is k a multiple of 14?
False
Let r be 0 - ((-3 - 0) + -2). Suppose -2*w - l = -7*w + 389, r*w - 5*l - 405 = 0. Is 14 a factor of w?
False
Suppose 0 = -5*f - 5 + 20. Let b be 198/f*2/4. Suppose 2*h = h + b. Is 11 a factor of h?
True
Let k be (0 - -1)*(-7 - -15). Let b be 4/(-8) + 36/k. Is 20 a factor of b/8 + (-162)/(-4)?
False
Let p = -13 + 97. Suppose -5*a + p = -2*a. Suppose -g = -5*g + a. Does 2 divide g?
False
Let f(j) = -10*j - 2. Let x be f(1). Let k = -8 - x. Suppose 5*w + 3*v - 132 = 0, -v + 106 = k*w + v. Is w a multiple of 9?
True
Let h = -2365 - -5755. Is 159 a factor of h?
False
Let r = -16 - -11. Let c(k) = -6*k - 8. Let b be c(r). Let w = -15 + b. Is w a multiple of 4?
False
Let o(q) be the first derivative of -q**4/4 + 11*q**3/3 + 6. Is o(10) a multiple of 20?
True
Let z(j) = j**3 + 12*j**2 - j - 12. Let a be 12 + -2 + -5 + 4. Let u be 22/((-6)/a*3). Is 31 a factor of z(u)?
False
Suppose 4*n + u = -429, -u + 5*u = 12. Let s = -72 - n. Is 18 a factor of s?
True
Suppose -4*b + 8 = 0, 2837 + 1367 = 4*r + 2*b. Is 50 a factor of r?
True
Suppose 0 = -4*k - 30 + 22. Is 10 a factor of 91 - (-7 + 4 - k)?
False
Suppose t - 7 = -i + 4, -3*i + 8 = -2*t. Suppose -66 = i*s - 7*s. Does 22 divide s?
True
Is 25 a factor of 4/(-6) + 5815/15?
False
Let h be 7 - -2*25/(-10). Suppose 0 = h*w - n - 55, -2*w - n + 41 = -20. Is 3 a factor of w?
False
Suppose 6*i = 4*i + 2. Let n be ((-21)/6 + i)*2. Let y = n + 9. Does 2 divide y?
True
Let o(k) = -k**2 + 12*k - 13. Let a be o(11). Is 6 a factor of (9/a)/(3/(-16))?
True
Let n = 484 - -1858. Is 31 a factor of n?
False
Suppose -20522 + 34 = -52*t. Is 18 a factor of t?
False
Let o(k) = 142*k**3 - 2*k + 2. Let u = -93 - -94. Does 20 divide o(u)?
False
Suppose 0 = -7*w + 804 + 176. Is 8 a factor of ((-7)/(w/(-192)))/((-3)/(-30))?
True
Let j = 57 + -58. Is 12 a factor of j*2/8 + (-759)/(-44)?
False
Let p(u) = -14*u - 4. Let b be p(-3). Suppose 61 + b = -3*j. Let w = j + 47. Does 14 divide w?
True
Let r be 636/4*4/(-12). Let t = r + 95. Does 14 divide t?
True
Let i(p) be the second derivative of -5*p**3/2 + p**2/2 - 2*p. Suppose 4 = 5*a + 3*o, 4*a + a - o + 8 = 0. Is 8 a factor of i(a)?
True
Let v(j) = -2*j**2 - 1 + 0*j**2 + 3 + 3*j**3. Let s be v(2). Let y = s - 4. Is 14 a factor of y?
True
Suppose 0 = -9*o + 26436 + 1509. Does 45 divide o?
True
Let f(x) = 10*x**2 + 1. Let u(g) = -4*g**3 + 2*g - 1. Let p be u(1). Is 10 a factor of f(p)?
False
Let d = 11 - 9. Suppose -3*k - 3 = -d*p - 19, 5*p + 14 = k. Suppose -42 = -2*u - k*o, 2*u = u - 4*o + 27. Is u a multiple of 5?
True
Let p = 6 - 1. Suppose -4*r = p*u - 286, -u + 6*r = r - 34. Suppose -3*b - 4*j = -0*j - 78, 0 = 2*b + 2*j - u. Is b a multiple of 10?
True
Let x = 2 + -4. Let p be (3 - (3 - 2)) + x. Is 27 a factor of p + (-1)/((-1)/27)?
True
Let g(n) = -n**2 - 7*n - 4. Let t be g(-5). Is 13 a factor of 39 + 0/(3 - t)?
True
Let r be 1149 - 4*5/(-10). Let p = r + -791. Is p a multiple of 15?
True
Is 84/4 - (-54)/9 a multiple of 3?
True
Suppose 3*x = 5*p + 4464, 2*p + 4813 - 349 = 3*x. Is 8 a factor of x?
True
Let b(d) = d + 4. Let q be b(-1). Suppose -4*f = -q*f - 88. Is f a multiple of 22?
True
Let f(j) = 2*j - 10. Let x be f(7). Suppose v - m + 5 = -1, -v - x*m = 16. Does 8 divide (v/(-3))/((-7)/(-21))?
True
Let v(f) = -501*f - 9. Let t be v(-4). Suppose -10*h + 215 + t = 0. Does 17 divide h?
True
Is 1/((-20)/(-16))*2900/8 a multiple of 58?
True
Let o be 8/5*25/1. Suppose -4*y = -5*m - 25 - 120, -2*y = 4*m - o. Is y a multiple of 6?
True
Suppose 0 = 3*t + 6 + 12. Let i = -2 - t. Suppose 5*z = -25, -i*c - 5*z = 17 - 40. Is c a multiple of 6?
True
Let j(s) = -s**3 - 23*s**2 - 12*s - 23. Is j(-23) a multiple of 25?
False
Let a(q) = 9*q**2 - 5*q - 4. Let m = -9 - -13. Let k be a(m). Suppose 8*g - 3*g = k. Is 8 a factor of g?
True
Let f(m) = 156*m**2 + 3*m + 2. Let b be f(-1). Let d = 239 - b. Let t = d + -48. Is t a multiple of 10?
False
Suppose -2*g + 0 = -4. Let d be -8 + (2 - (g - -1)). Let o = d - -14. Is 2 a factor of o?
False
Let q be (80/50)/(4/10). Does 24 divide q/(-6) + (-4350)/(-45)?
True
Let w be ((-4)/2)/((-3)/6). Suppose w = 2*b - 38. Does 4 divide b?
False
Suppose 0 = -5*n + 46 + 19. Does 26 divide (n/(-2))/((-14)/56)?
True
Let g = 61 - 52. Is g a multiple of 3?
True
Let a(b) be the third derivative of b**6/60 - b**4/24 - b**3/2 - 6*b**2. Let x(z) be the first derivative of a(z). Is x(-2) a multiple of 7?
False
Let z = -15 + 27. Is -4*z/(-64)*112 a multiple of 12?
True
Let g be -12 + -4 + 0 - -4. Does 6 divide 16/g*12*-1?
False
Let l(m) = -210*m - 606. Is l(-13) a multiple of 11?
False
Suppose -51953 = -17*s - 15658. Does 31 divide s?
False
Let h = -6932 + 10319. Does 143 divide h?
False
Let f(a) = -3*a**3 - 2*a**2. Let w be f(-2). Let z(l) = -9*l**2 + l**2 + l**3 - 10*l + 1 + w*l**2. Does 4 divide z(-9)?
False
Let m(b) = -b**3 + 5*b**2 + 6*b - 5. Suppose 0 = -10*f + 9*f + 5. Let j be m(f). Suppose -2*k - 3*k = -j. Is 4 a factor of k?
False
Let y = 1359 + -1178. Is y a multiple of 31?
False
Let w = 919 + -190. Is 16 a factor of w?
False
Let a(d) = -3*d - 1. Let h be a(-3). Let s(l) = l + 2*l - 16 + 4. Does 6 divide s(h)?
True
Is 8 a factor of (-3287)/95*20/(-4)?
False
Suppose 7*c + 50 = 12*c. Let x(z) = -2*z**2 + 40*z + 7. Is x(c) a multiple of 17?
False
Suppose -6*i + i - 69 = -2*n, i = n - 30. Suppose 0 = -3*d - 5*j + 8, -j = -4*d + 2*d + n. Let f = 0 + d. Is f a multiple of 11?
True
Let r(h) = -10*h + 8. Let n be (-1 - 2) + 15 - 1. Let t be r(n). Let w = t + 156. Is w a multiple of 18?
True
Let v = -38 - -40. Suppose 2*m + v*d - 6*d - 46 = 0, -4*m = -2*d - 86. Let h = m + -11. Is h a multiple of 3?
False
Suppose -5*a = z - 22, -5*z = a + 3*a - 5. Is -1*3 + (4 - -24 - a) a multiple of 2?
True
Let q(z) be the second derivative of -z**5/20 - z**4/3 + 5*z**3/6 + 4*z**2 + 11*z. Is q(-6) a multiple of 31?
False
Let s(p) = p - 120*p**3 - 2*p**2 + 4*p**2 + 119*p**3. Let f be s(-1). Suppose -2*j + 4 = 0, -f*j + 186 = 5*n + j. Is 18 a factor of n?
True
Suppose 13*j = 3279 + 322. Is 18 a factor of j?
False
Let f = 14 + -12. Suppose 0 = f*c - 0*c - 288. Suppose 0 = -2*v + 2*t + c, v - 3*t - 34 - 38 = 0. Is 24 a factor of v?
True
Let r be (4 + -3)*-354 + -1. Let v = r + 597. Suppose -92 = -2*o + 3*x - x, x + v = 5*o. Is o a multiple of 21?
False
Suppose -178*b + 169*b = -3168. Is b a multiple of 8?
True
Suppose 3*a = -o - 3*o + 332, 0 = -a - 2*o + 114. Let q = a + 5. Is 31 a factor of q?
False
Let r = 242 - 218. Is r a multiple of 6?
True
Is 2 a factor of (-2780)/(-9) + (-180)/(-162)?
True
Suppose -4*j = 3*s - 33, -1 = -2*j - 3*s + 8. Let w(t) = t**2 - 9*t - 4. Does 16 divide w(j)?
True
Let r(b) = -15*b - 15. Let f(a) = -7*a - 8. Let q(c) = 7*f(c) - 4*r(c). Let y be q(6). Suppose y = 2*l + 3*l. Is 14 a factor of l?
True
Suppose 6*n - 3*n - 9 = 0. Let b(c) = c**3 + 2*c**2 + 9*c + 21. Let z be b(0). Suppose 0 = n*j - 4*j + z. Does 6 divide j?
False
Suppose 11 = 5*q + j, -2*q + 4*j + 23 = 1. Suppose 10*b - 5*b + 2*n = -303, 0 = -q*b + n - 173. Let m = -12 - b. Does 10 divide m?
False
Let k(a) be the first derivative of 41*a**2/2 + 12*a + 3. Let y be k(-10). Is 9 a factor of y/(-10) - 2/(-10)?
False
Suppose 0 = 35*l - 42*l + 1848. Is l a multiple of 11?
True
Let d(t) = -t**2 - 14*t - 16. Suppose 