= -l**2 - 9*l + 8. Let c be v(-8). Suppose 4*p + c = 56. Suppose -7*t - p = -31. Does 3 divide t?
True
Let y = -145 + 243. Suppose 0 = -0*c - c + y. Does 24 divide c/4 + 8/(-16)?
True
Let f(l) = 6*l + 41. Suppose a + 4 = -5*x + 29, -5*a + 33 = 2*x. Is 20 a factor of f(a)?
False
Let q(o) = -56*o - 21*o + 0*o + 16. Does 25 divide q(-3)?
False
Let i be -1 - 2 - (4 - 0). Let f = i - -1. Let w = f + 36. Is 10 a factor of w?
True
Suppose 204*d - 696 = 200*d. Does 6 divide d?
True
Let a = -254 + 322. Let q be ((-22)/(-4))/((-2)/(-12)). Let r = a - q. Is 7 a factor of r?
True
Suppose -32*g - 477 = -r - 27*g, 5*r - g - 2457 = 0. Is r a multiple of 94?
False
Let w(s) = -s - 1. Let a be w(-6). Suppose -r + a*p + 93 = 0, r + 225 = 4*r + 3*p. Does 16 divide r?
False
Suppose -2*w = -4*y - 7*w + 18, -10 = -5*w. Suppose -2*r + y*p + 198 = 2*r, 2*r = -2*p + 114. Does 13 divide r?
True
Let g = -646 + 1658. Is 44 a factor of g?
True
Suppose 5*c - 764 + 239 = 0. Suppose -10*d = -15*d + c. Is 7 a factor of d?
True
Suppose -32*g + 1908 = -26*g. Is g a multiple of 29?
False
Suppose -2*s - 10 = 0, -3*o + s = 2*s - 58. Suppose 3*a - 9 - o = 0. Let k = 46 + a. Is 18 a factor of k?
False
Suppose -23736 = -2*w - 22*w. Is 23 a factor of w?
True
Let n = 7 + -8. Let r be 65/(4/(-8) - n). Suppose -4*g = -k - 187, 4*g = -2*k + 48 + r. Does 15 divide g?
False
Let i be 4*1*(-9)/(-12). Suppose -i*y - 3*t = -270, -2*t + 365 = 5*y - 91. Is y a multiple of 19?
False
Is 3 + 46*(-3)/(36/(-138)) a multiple of 38?
True
Let l = -12 - -17. Suppose -l*x + x = -144. Is ((-34)/(-6))/(12/x) a multiple of 5?
False
Suppose 0 = 7*n - 9*n. Suppose v + 64 = -3*o, 3*v + 0*v + 3 = n. Let l = 12 - o. Is l a multiple of 33?
True
Let k = 1614 - 469. Is 12 a factor of k?
False
Let w = -160 - -809. Does 41 divide w?
False
Let g = -13 + 19. Let b = 211 - 222. Let q = g - b. Is 3 a factor of q?
False
Let i(y) = y**2 - 10*y - 4. Let l(c) = c. Let a(k) = -i(k) + 2*l(k). Let r be a(12). Suppose 0*s - 108 = -r*s. Does 9 divide s?
True
Let b be (-8)/6*(1 - (0 + -5)). Is -3*(b/6 - -2) + 63 a multiple of 16?
False
Let b(r) = 11*r**3 - r**2 - r + 2. Let s be 10/20 - 1/(-2). Does 4 divide b(s)?
False
Suppose 0 = 12*m - 2*m - 250. Let n be 1 - (-26)/4*-2. Let d = n + m. Is d a multiple of 13?
True
Does 41 divide 11/4*(1 - 2)*-492?
True
Suppose -7*q = 89 - 1076. Is 47 a factor of q?
True
Let s(q) = 11*q**2 + 2*q + 11. Let p be s(5). Is ((-17)/(-17))/(1*2/p) a multiple of 14?
False
Let d = 6 + 16. Suppose -4*a + 78 = 2*x - d, -4*x = 3*a - 225. Is x a multiple of 18?
False
Suppose b = -7*b + 2872. Suppose -2*t = -t - b. Suppose 0 = 3*d - t + 119. Is 13 a factor of d?
False
Suppose 3*g - 992 = -13*g. Is g a multiple of 3?
False
Let j be 1 - (-3 - 2/2). Suppose 6*k - 95 = k - j*b, 4*k - 3*b = 41. Suppose k - 78 = -4*s. Is 14 a factor of s?
False
Suppose -3*a = -46 - 41. Is a + (-4 - (-2 + -1)) a multiple of 14?
True
Suppose 0 = -3*a + 28 + 77. Let v = 59 + -78. Let m = v + a. Is 4 a factor of m?
True
Suppose -2*q + 2*l + 4 = -0*l, -q + 3*l = 0. Let o = -16 + 16. Suppose o = -0*s + q*s - 111. Is s a multiple of 7?
False
Let y(c) = c**2 + 2*c - 19. Let d(r) = -2*r**2 - 4*r + 37. Let v(f) = 3*d(f) + 5*y(f). Suppose 0 = 4*b - b. Is 8 a factor of v(b)?
True
Let s(b) = b**2 - 7*b + 4. Let v be s(6). Let k be (-33 - (0 - v)) + -1. Let p = -31 - k. Is p even?
False
Let u be ((-4)/(-8))/((-2)/(-4)). Let c(z) = 2*z + 2. Let v be c(u). Is 6 a factor of 15/(-4 + 9 - v)?
False
Let a(x) = -x + 3. Suppose 91 = 5*d - r, 0 = 2*d - 4*d + r + 37. Let h be 1 + -1*(d + -4). Does 8 divide a(h)?
True
Let i = -1469 + 3453. Is 64 a factor of i?
True
Let o(u) be the first derivative of -u**2 - 4*u - 10. Does 5 divide o(-7)?
True
Let j(g) = -g - 1. Let w be j(-1). Suppose w = -o + 47 + 19. Let z = -39 + o. Is z a multiple of 8?
False
Let s = -286 + 519. Is 27 a factor of s?
False
Let s(f) = 2*f - 15. Let x be s(11). Is (-54)/x*56/(-12) a multiple of 13?
False
Suppose -2*q - 2*q - 16 = -4*o, -6 = o + 4*q. Suppose 48 = o*c - 4*g, 0 = -3*c - c - 5*g + 31. Does 14 divide c?
True
Let h = 78 - 73. Suppose -720 = -h*j + 5*y, 2*y - 576 = 4*j - 8*j. Does 24 divide j?
True
Suppose -3*s + 5*o + 1960 = 472, 1984 = 4*s - 3*o. Is 22 a factor of s?
False
Let w(x) = -x**2 + 10*x + 5. Let f be w(10). Suppose 5*m - 232 = -42. Suppose 2*d = 3*k + m + 67, 160 = 3*d - f*k. Does 16 divide d?
False
Let n(u) = -3*u + 94. Is n(28) a multiple of 10?
True
Let g(w) = w**2 - 3*w - 5. Let k be g(-2). Suppose 4*x - k - 211 = 0. Is 7 a factor of x?
False
Let c = 1235 + -568. Does 7 divide c?
False
Let j be (-1)/(-3) + 21/(-9). Let m be j - (-252)/(-1 - -5). Suppose -m = -4*v + 11. Is 6 a factor of v?
True
Let m be 3/(9*(-3)/(-18)). Let s(u) = -49 + 45 + 0*u**m + 3*u**2 - 9*u. Does 20 divide s(7)?
True
Suppose -35 - 175 = -k. Does 30 divide k?
True
Let z(s) = 2*s**3 - 19*s**2 + 40*s - 53. Does 29 divide z(16)?
True
Let c(b) = -2*b + 18. Let f be c(7). Suppose 0 = -4*g - d + 2*d + 361, -f*d - 94 = -g. Is g a multiple of 18?
True
Let d(u) = 42*u**2 + 0 - 43*u**2 + 0 - 4*u. Let o be d(-3). Suppose o*p + 29 = 4*p. Does 5 divide p?
False
Let f(p) = -p + 21. Suppose 4*h - 4*u = 36, 2*h - 20 = -u - 2. Is 12 a factor of f(h)?
True
Suppose 0*v + 4*f - 896 = -5*v, -3*f = 2*v - 364. Suppose 7*l - 300 = v. Is l a multiple of 27?
False
Let h(s) = s**2 - 4*s - 33. Does 11 divide h(-9)?
False
Suppose -t + 3*a + 168 = 0, 5*t + 0*t - 896 = a. Suppose 16*o - 13*o - t = 0. Does 39 divide o?
False
Does 51 divide (4 + -2)*8072/16?
False
Suppose 0 = 9*y - 105 + 33. Is 13 a factor of (260/8)/(4/y)?
True
Suppose -2*r + 3*g - 183 = 85, -5*g = -r - 120. Is 17 a factor of ((-34)/(-5))/((-14)/r)?
True
Let b(m) = 8*m + 15. Let n(s) = -1. Let x(h) = b(h) + 6*n(h). Is 20 a factor of x(8)?
False
Suppose -14*v = -11*v + 24. Let o be (4/v*0)/(-2). Suppose z + 3*l - 32 = 0, -z = 4*l - o*l - 36. Is z a multiple of 20?
True
Suppose 0 = -b + 55 - 36. Suppose 0 = -b*l + 17 + 3023. Does 40 divide l?
True
Let l = -96 - -225. Is l a multiple of 5?
False
Let n(z) = -3 - 2 + 7*z + 3*z**2 + 4*z - z**2. Does 25 divide n(5)?
True
Suppose 13*x = -5*f + 12*x + 1791, -5*f + 1794 = 4*x. Is f a multiple of 28?
False
Let s(q) = q**3 - 4*q**2 - q + 6. Let v be 24/(-30)*(0 - 5). Let l be s(v). Suppose -2*x + 288 = l*x. Is 18 a factor of x?
True
Suppose 0 = -5*r - p - 0*p + 17, 2*p = -3*r + 13. Let t be 1 - r/((-9)/87). Suppose 0 = -4*g + 122 + t. Is 13 a factor of g?
False
Suppose -6352 = -40*l + 24*l. Is 25 a factor of l?
False
Suppose r + 9 = 243. Does 32 divide r?
False
Let u(b) be the second derivative of 0 - b**3 - 11/2*b**2 + 1/20*b**5 - 1/2*b**4 + 4*b. Does 23 divide u(8)?
True
Suppose -13*x - 4*x + 3*x = 0. Suppose x = -2*b + 42 + 346. Is 32 a factor of b?
False
Suppose -32*i + 23*i + 81 = 0. Suppose 4*v - 316 = -2*s, -4*s - 5*v - i = -656. Is 24 a factor of s?
True
Let y be 0/2 + -4 + 7. Suppose y*b = w - 28, -w - w = 4*b - 106. Does 26 divide w?
False
Suppose 1921 = 5*j - 4*y, 4*j + 329 = -5*y + 1874. Is 15 a factor of j?
False
Let h(q) = -1081*q**2 - 5*q - 16 - 1080*q**2 + 2162*q**2. Let p be (-1 - (-6)/(-4))*-4. Is h(p) a multiple of 17?
True
Suppose 13*s = 10*s + 6. Suppose t + 12 = 3*t + 3*z, s*z = -4*t + 16. Suppose t*r = 4*l - 114, 5*r = -9 - 1. Does 9 divide l?
True
Let u(p) = 2*p**3 + 3*p**2 - 3. Let i(b) = b**3 + 13*b**2 - 13*b + 12. Let k be i(-14). Let w be u(k). Let q(l) = -12*l - 10. Does 16 divide q(w)?
False
Let z(i) = 11*i - 13. Let d be z(6). Suppose 3*n + f = 46, 0*n + 4*n + 3*f = d. Suppose -5*y + 63 = -n. Does 16 divide y?
True
Let a be (-1)/(2 + 15/(-6)). Suppose -3*c + 7 = -a*c. Suppose 3*b = c*b - 20. Is b a multiple of 3?
False
Let c(q) = -19*q - 34. Is c(-6) a multiple of 16?
True
Let w(f) = -15*f - 14. Let n(b) = 5*b + 5. Let p(z) = -11*n(z) - 4*w(z). Let h(l) = l - 1. Let y be h(5). Does 7 divide p(y)?
True
Let k = 50 + -26. Suppose 0 = -4*h + 12, -5*h + k = -2*w - 5. Let y(g) = -6*g + 3. Is y(w) a multiple of 15?
True
Suppose 5 = 7*o - 9. Suppose -o*a = 2*a - 392. Is 14 a factor of a?
True
Suppose 5*h + 3*d - 709 = 0, -6*d = 2*h - d - 295. Is h a multiple of 6?
False
Suppose -3*z + 1282 = -4*r, 0 = -4*z + 3*z - 4*r + 454. Is z a multiple of 7?
True
Let k = -44 + -14. Let j be (-1)/((3 - 2)/