6*l - 1. Let m be w(-9). Suppose -h*i + 0*x + x = -127, 2*i + 2*x - m = 0. Does 11 divide i?
True
Suppose 5*j = q - 27, j = -5*q + 5 + 26. Suppose 0 = 2*z - 4, 3*f = q*f + 2*z - 24. Suppose 12 = -0*d + 3*d, -4*d = f*l - 91. Is 8 a factor of l?
False
Let t(q) = 2*q + 134. Let d be t(-53). Let p be (2 + 10/(-4))*-46. Let v = d - p. Does 5 divide v?
True
Let r(a) = -a + 2. Let t be r(2). Let u = 6 - t. Suppose 0 = -u*p + 7*p - 3. Is p even?
False
Let r(z) = -z**2 + 1. Let y(l) = -l**3 + 3*l**2 + 2*l + 26. Let f(n) = -5*r(n) + y(n). Is f(8) a multiple of 10?
False
Let l(v) = 10*v + 10. Let i be l(-9). Let a be (10/(-8))/((-10)/i). Is 552/(-30)*a/4 a multiple of 30?
False
Let z(a) = -9*a. Let h be z(-17). Suppose -v = -4*d + 163, -h = 2*d - 6*d + 3*v. Is d a multiple of 13?
False
Suppose -6*f = -3836 + 1382. Is 13 a factor of f?
False
Let b = 154 + 1548. Is 46 a factor of b?
True
Let f(m) be the first derivative of -m**3/3 + 7*m**2/2 + 2*m + 8. Let y be f(7). Suppose -2 + 34 = y*i. Is i a multiple of 16?
True
Suppose 8 = 4*b - 48. Let h(f) = f**3 - 12*f**2 - 19*f - 14. Does 22 divide h(b)?
False
Let d(f) = -7*f + 32. Let v be d(4). Is (v/2)/(-1 - 54/(-52)) a multiple of 26?
True
Suppose 0 = -2*r + 4*r - 496. Let d = -136 + r. Is 16 a factor of d?
True
Is 32 a factor of ((-640)/(-30))/(1/21)?
True
Let g = 48 + -52. Let r(w) = 11*w**2 - 18*w + 1. Is 23 a factor of r(g)?
False
Let b = 418 + -271. Does 7 divide b?
True
Suppose 1246 = -24*b + 6478. Does 28 divide b?
False
Suppose 0 = -13*n + 598 + 2795. Is n a multiple of 18?
False
Suppose z = -2*t - 20, 2*z + 53 = -z + t. Let o be ((-3)/(-9))/((-2)/z). Suppose -6 = -2*i - 2, -o*m + 26 = i. Does 2 divide m?
True
Let n = -26 - -36. Let i be 54/(-15)*n/3. Let g = 9 - i. Does 17 divide g?
False
Suppose 159*d = 160*d - 616. Is d a multiple of 56?
True
Let q(x) = x**2 - 6*x - 22. Let k be (-2 - 9)*(-1)/1. Is 8 a factor of q(k)?
False
Suppose 0 = -4*h + 13 - 1, h = s + 1. Let w be (13*s)/(11/(-11)). Let z = -12 - w. Is z a multiple of 7?
True
Let l = -13 - -35. Suppose 5*x = l + 78. Is 10 a factor of x?
True
Let d(o) = 7*o**3 + 3*o**2 + 7*o - 18. Let n be d(2). Let p = 9 - 4. Suppose -4*i - n = -2*r, -3*r + 29 = -p*i - 69. Is 9 a factor of r?
True
Suppose -4207 = -4*w - 8*x + 5*x, -4*x + 2116 = 2*w. Is 28 a factor of w?
False
Suppose 763*n + 3300 = 768*n. Is 11 a factor of n?
True
Let i = 96 - 92. Suppose -i*n - 20 = 0, -71 = 2*q - 2*n - 273. Does 24 divide q?
True
Is (409292/(-2431))/((-4)/22) a multiple of 8?
False
Suppose -154*h + 1045 = -149*h. Does 31 divide h?
False
Let d = 1607 - 951. Is 16 a factor of d?
True
Let v = -11 - -11. Suppose y + v*y + 5 = 0. Let o(k) = -k**3 - 5*k**2 - 6*k + 3. Is o(y) a multiple of 11?
True
Suppose 8 = 22*g - 20*g. Suppose i = -j + 8, -6*j + g*j + 31 = 5*i. Is i a multiple of 5?
True
Let a = -12 - -14. Suppose a*u = 3*u + 43. Let r = -10 - u. Is r a multiple of 16?
False
Let k = -29 + 30. Is 13 a factor of k/(-4) + 9/(-12)*-259?
False
Suppose -l = -k - 415 + 143, 5*l - 4*k - 1358 = 0. Does 3 divide l?
True
Is (-4)/(-10) + 22704/240 a multiple of 19?
True
Suppose -4*o = 0, -s - 3*s + 3744 = 5*o. Is 9 a factor of s?
True
Suppose c - 190 = -4*x, -x = -c - 14 - 36. Suppose -16 - x = -o. Is o a multiple of 32?
True
Suppose 8*m = 10*m - 4. Let w = m - -3. Suppose 220 = -w*i + 9*i. Is 23 a factor of i?
False
Suppose 316*l = 304*l + 4416. Is 19 a factor of l?
False
Let s be (-3)/(-1) - (-2 + 0). Let f = 2 - s. Let b(i) = -i**3 - 2*i**2 + i - 2. Is b(f) a multiple of 4?
True
Let h(a) = -a**3 + 5*a**2 + 15*a + 9. Is 8 a factor of h(-5)?
True
Suppose 3*p = 4*x - 234 + 3, 228 = -3*p + 3*x. Let y = p - -128. Is 11 a factor of y?
True
Let d = -115 - -124. Suppose 0 = d*u - 4*u - 370. Does 64 divide u?
False
Let q(r) = 5*r - 6. Let b(s) = 6*s - 6. Let n(j) = -3*b(j) + 4*q(j). Does 17 divide n(20)?
True
Let f(n) = -30*n + 46. Let z(p) = 10*p - 15. Let o(h) = 5*f(h) + 16*z(h). Is 10 a factor of o(8)?
True
Let n be 1/((-16)/6 + 3). Let s(f) = 4*f - 3. Is 5 a factor of s(n)?
False
Suppose 602 - 3431 = -23*h. Is h a multiple of 8?
False
Suppose 2*a - 3*p = 819, 7*a - 3*p - 2025 = 2*a. Does 17 divide a?
False
Is (-5)/6 - (-255723)/234 a multiple of 42?
True
Let b be (2 - 2/(-3))*12. Suppose -4*v - b + 120 = -4*h, 4*h + v + 68 = 0. Is 8 a factor of -45*4*3/h?
False
Let p = -45 - -37. Is 17 a factor of 8/16 + (-1084)/p?
True
Let o be (-6)/(-21) - 201/(-7). Let w = o - 7. Is 2/((-18)/w + 1) a multiple of 10?
False
Suppose -5*c + 2649 - 894 = 0. Suppose 7*t = 10*t - c. Is t a multiple of 11?
False
Suppose 4*u + t = -2*t - 200, -2*t = u + 50. Suppose -4*b - 72 = -2*b. Let d = b - u. Does 14 divide d?
True
Is (1140/24 - 7)*(22 + 2) a multiple of 7?
False
Let z = 8 - 14. Let c be (-840)/18 + (-4)/z. Let w = c + 68. Is 5 a factor of w?
False
Let z(x) = 2*x**3 - 35*x**2 + 39*x + 15. Let l(t) = t**3 - 18*t**2 + 20*t + 7. Let d(f) = -11*l(f) + 6*z(f). Let o be ((-9)/3)/1 - -14. Does 23 divide d(o)?
True
Let w be (-20)/((1 - 3) + 3). Let o be -11 + (2 - 1 - (-3 + 3)). Does 4 divide (-128)/w*o/(-4)?
True
Let t be -10*(-8)/40*(1 - 3). Does 36 divide (-1)/((-10)/(-885)*6/t)?
False
Let b be (-8 + 13)*(-6)/(-10) - -2. Suppose 2*r + 4*m + 430 = b*r, -3*r = -m - 445. Is 32 a factor of r?
False
Suppose 6*g = -g - 329. Let i = g - -71. Is 3 a factor of i?
True
Let z = 792 + 333. Does 25 divide z?
True
Let u(i) = i**2 + i. Let b(j) = 2*j**2 + 7*j - 2. Let q(n) = -b(n) + 4*u(n). Let w be q(2). Suppose 5*x + k = 2*k + 372, 0 = -w*k + 12. Does 19 divide x?
False
Let w(s) = s**2 - 5*s - 6. Let z be w(6). Suppose z = -5*x + 4*x + 35. Does 5 divide x?
True
Let z(o) = o**3 - 7*o**2 + 19*o + 8. Let x be z(8). Let a = -146 + x. Is a a multiple of 42?
False
Suppose 0 = 19*k - 6538 - 10980. Does 71 divide k?
False
Suppose -63*w - 15317 = -80*w. Is w a multiple of 53?
True
Let q(i) = i + 38. Let n be q(0). Suppose -3*v - 2*f = -116, -2*v + 21 + n = 5*f. Is 21 a factor of v?
True
Let j(t) = -21*t**2 - 2*t + 1. Let h be j(1). Let p = -18 - h. Is 4 a factor of p?
True
Let d = 9 + -9. Suppose -12 = -3*y, d = -2*r + 3*y - y + 54. Is 4 a factor of r?
False
Let w(g) = -5*g - g**2 - 2*g + 6 + 0*g**2 + 9*g. Let s be w(8). Let j = s + 63. Is 5 a factor of j?
False
Let f = 759 + -297. Does 42 divide f?
True
Let k(w) = 7 + 5 - w + 11. Does 2 divide k(11)?
True
Let q = 286 + -4. Is 3 a factor of q?
True
Suppose -1855 = -4*d - 415. Is 24 a factor of d?
True
Suppose -5*u = -0*r + 3*r - 428, -r + 86 = u. Is 17 a factor of u?
True
Suppose 8*f - 7279 = 2601. Suppose y = 4*y + 2*q - 939, -f = -4*y + 3*q. Is 25 a factor of y?
False
Let m = -914 + 341. Let a = -333 - m. Does 48 divide a?
True
Let k(m) = -6*m - 10. Let s = -16 - -21. Let p(w) = -9*w - 15. Let h(a) = s*p(a) - 8*k(a). Is 15 a factor of h(7)?
False
Let t = 53 + -29. Let a(p) = -p**2 + 4*p + 6. Let i be a(6). Is 13 a factor of ((-26)/i)/(8/t)?
True
Suppose -5*j + 3*j - 98 = 0. Let s = -19 - j. Let l = s - -18. Is 12 a factor of l?
True
Suppose 0 = 3*a + 4*p - 112, 2*p - 3 = -p. Does 36 divide (162/a)/((-2)/(-96))?
True
Let o = 17 - 14. Let c(v) = 2*v**3 - 2*v + v**2 - o*v**2 - 2*v**2 - v**3 + 8. Does 15 divide c(5)?
False
Let x(n) = 12*n**3 + 5*n**2 - 4*n + 3. Suppose -9 = 4*g + 3*z - 24, 4*g - 2*z - 10 = 0. Let r be x(g). Suppose 0*f + 5*f - r = 0. Is 31 a factor of f?
False
Suppose -2 - 3 = 4*b - 3*o, -11 = -2*b - 3*o. Suppose b = 3*a - 5. Suppose 5*z = -3*d + 25, 0 = d - a*z + 3 - 15. Does 5 divide d?
True
Let x be ((-5)/(-15))/((-1)/9). Let y be -1*(-9)/x*-40. Suppose 2*w - y = -3*w. Does 11 divide w?
False
Let b(k) = -3*k - 2. Let l be b(-6). Suppose -l = -t - 3*v, -t + 2*t - 4*v + 12 = 0. Suppose -14 - 194 = -t*d. Does 16 divide d?
False
Suppose 3*t + 2 = t. Let n be 4*t*3/1. Is 15 a factor of (14 - 2)*(-15)/n?
True
Let d = 1876 - 1070. Is d a multiple of 13?
True
Suppose 17*x = -5*f + 21*x + 458, -2*x = 5*f - 446. Is 5 a factor of f?
True
Suppose -990 = -3*q - 195. Let g = q + -184. Does 9 divide g?
True
Suppose 0 = 5*r + 20, -18*z + 20*z - r - 1294 = 0. Is 43 a factor of z?
True
Let r be ((-1)/(-4))/((-6)/(-120)). Suppose -4*a = -o - 9, -a + r*a - 15 = -o. Let y(u) = 4*u**2 - 3*u + 3. Is 6 a factor of y(a)?
True
Let a = -6 + 11. Let b(w) = 2*w + 5*w + 5*w**2 - 7*w + a*w. I