 -11*w - 5. Let k = -11 - -7. Let g be d(k). Suppose -107 = -4*t - g. Is 7 a factor of t?
False
Let z be 12 - (2 + 0/(-2)). Suppose -2*c + 3*c = z. Is 9 a factor of c?
False
Is 39/26 - 26/(-4) a multiple of 3?
False
Let p(y) = -y**3 - 3*y**2 + y. Does 6 divide p(-4)?
True
Let x(q) = -3*q. Let o be x(-1). Suppose 4*f = 7*f - 3*s - 171, 2*s = o*f - 166. Does 26 divide f?
True
Let p(u) = -2*u**3 + 2*u + 4. Does 9 divide p(-4)?
False
Let l(x) = 37*x**2 + 2*x + 1. Suppose -2 = 3*d + 1. Is l(d) a multiple of 13?
False
Let y be ((-2)/3)/((-1)/6). Suppose 3*m = y*m - 23. Is m a multiple of 23?
True
Let u be (-14)/35 + 54/10. Suppose 5*q = 2*p + 22, -u*p + 8 = -3*p. Is q a multiple of 3?
True
Suppose -9 = -d + 4. Does 9 divide d?
False
Suppose 2*p = -3*p + 395. Suppose -3*g + p = -5. Is g a multiple of 13?
False
Let j(r) = -r**2 - 8*r - 5. Let b be j(-6). Let k(x) = -x**3 + 8*x**2 - 5*x - 10. Let d be k(b). Is 9 a factor of (-48)/1*(-2)/d?
False
Suppose -5*l + 24 = 2*t - 2*l, -5*t = -l - 43. Is t a multiple of 9?
True
Let m(x) = -3*x - 3*x + x + 4*x. Is m(-10) a multiple of 3?
False
Does 13 divide (1 - 2)*(-468)/12?
True
Suppose 4*m + 4 = -3*u + 8*u, -2*m + 28 = 5*u. Does 2 divide u?
True
Let t be (3/(-6))/(2/(-12)). Suppose 152 = x + t*x. Does 15 divide x?
False
Let m(t) = 2*t**2 - 17*t - 9. Is m(-9) a multiple of 17?
True
Suppose 2*x + x + 6 = 0. Let a be (1 - -1) + 4/x. Suppose 2*b - 28 = -a*b. Is 5 a factor of b?
False
Let c be (-14)/(-3) + 6/(-9). Let x be (34/(-3))/(4/6). Is 0 + c + -2 - x a multiple of 13?
False
Suppose -2*y + 40 = s, -2*s + 0 = y - 26. Is 6 a factor of y?
True
Let k(g) = g**3 + 8*g**2 + 6*g + 6. Is 3 a factor of k(-7)?
False
Let y(i) = -i + 11. Let f be y(9). Let t = 25 - 22. Suppose 9*q = 4*q - f*c + 106, 0 = -2*q + t*c + 50. Is 11 a factor of q?
True
Let q = 91 - 37. Does 5 divide q?
False
Let o(t) = t**2 - 7*t + 7. Let y be o(8). Is (-15)/2*(-84)/y a multiple of 13?
False
Let q = 10 - 4. Let w(r) = -r**3 + 8*r**2 - 8*r - 6. Let l be w(q). Suppose 0 = -u + 2*v + l, -3*u + 8*u - 4*v = 78. Is 10 a factor of u?
False
Let r(w) = -w**3 - 4*w**2 - 2*w - 6. Let t be r(-4). Suppose t = 2*a - 6. Does 21 divide 4/(-8) + 86/a?
True
Let j(z) = -2*z - 7. Let u be j(-8). Is 16 a factor of ((-30)/u)/(2/(-21))?
False
Suppose p + 6 = -4*x, -4*x = -4*p + 6*p + 4. Suppose p*w + 0 = -v + 5, 0 = -5*w - 5*v + 10. Is w a multiple of 2?
False
Let f be ((-147)/(-6))/((-1)/(-2)). Let y(u) = -u**2 - 2*u + 2. Let h be y(-7). Let k = h + f. Does 8 divide k?
True
Suppose -3*o + 162 + 9 = 0. Is 19 a factor of o?
True
Let o = 4 + -11. Let j = o + 7. Suppose j = -5*h - 5, -4*a + 58 + 93 = 5*h. Is a a multiple of 13?
True
Let f(b) = -b + 6. Let j be f(4). Let m(u) = 8*u**3 + 3*u**2 - u - 2. Let d be m(j). Suppose -d = -k - k. Is 18 a factor of k?
True
Does 16 divide 4/(-3) + 804/9?
False
Let w(x) = x**2 - 2. Let m be w(-2). Suppose -t - m*t = -21. Is t a multiple of 5?
False
Let b(l) = l**2 - 4*l + 2. Let m be b(4). Let r be ((-3)/m)/(1/(-2)). Let h(x) = x + 3. Does 3 divide h(r)?
True
Suppose -o + 2 = -5*a - 3, 5*a = -o + 55. Does 10 divide o?
True
Let q(s) = -5*s - 3. Let b(m) = -m**2 - 9*m - 5. Let z(w) = -3*b(w) + 7*q(w). Suppose i - 5 = 1. Does 18 divide z(i)?
True
Let b(i) = i**3 + 4*i**2 + 3*i + 1. Does 2 divide b(-2)?
False
Let m = -8 + 5. Does 8 divide (-1 - m)*51/6?
False
Suppose -12*p = -31*p + 6137. Is p a multiple of 17?
True
Suppose 3*t = -2*v + 1, 2*v + 0*v + t - 7 = 0. Suppose v*f = -10, 102 = -2*o + 6*o - 5*f. Is o a multiple of 7?
False
Let x be ((-2)/4)/((-2)/112). Let o(f) = f**2 - 7*f - 10. Let v be o(10). Let g = x - v. Is 4 a factor of g?
True
Let n = -3 + 65. Let j = -25 + n. Is 9 a factor of j?
False
Let l = -7 + -1. Is 7 a factor of (l + 10)/((-2)/(-28))?
True
Suppose 0 = -4*x - 2*w + 2, x + 10 = -4*w. Suppose -x*u = -u - 13. Let k = u - -7. Is 10 a factor of k?
True
Let r(f) = -f - 7. Let b be r(-6). Let l(n) = 3*n**3 + n**2 + n + 1. Let o be l(b). Is 11 a factor of 17 + o*2/(-4)?
False
Let v be 1*10/(1 - -1). Let g(s) = -s**3 + 6*s**2 + 5*s - 2. Is 24 a factor of g(v)?
True
Let l(a) = -a**2 + 7*a - 4. Let i = 6 + -1. Does 6 divide l(i)?
True
Let g = -12 + -6. Does 3 divide (-194)/(-18) - 4/g?
False
Let b = -21 - -29. Let c be 90/24 + 2/b. Is 10 a factor of 78/8 - (-1)/c?
True
Suppose 0 = 4*z - 12, -5*z = -v - 4*v + 20. Suppose 0 = -2*h - 2 - 4. Let t = v + h. Is t even?
True
Let u(j) = 8 - 7 + 11 - 6*j. Let z be u(8). Let o = z + 76. Does 19 divide o?
False
Suppose -6*s = -s - v - 40, 56 = 4*s + 4*v. Suppose 0 = 2*b - 63 - s. Is b a multiple of 13?
False
Let f(x) = 56*x**2 - 3*x + 2. Does 15 divide f(1)?
False
Let i be -3 + 2 + (2 - 1). Let l be (-1 - 1) + (1 - -100). Suppose -2*u - u + l = i. Does 11 divide u?
True
Suppose 0 = a + 2 - 6. Suppose -3*p + 22 = -p. Suppose 3*x + p = a*x. Is 11 a factor of x?
True
Suppose 0*z - z - 35 = -5*p, 2*p = 2*z + 14. Suppose 0 = -h, l - 4*h + 0 = p. Suppose -10*w = -l*w - 51. Is 8 a factor of w?
False
Let b(p) = 2*p**3 - p**2 - 4*p + 3. Suppose 28 = -3*t - t + 2*f, -2*t - f = 14. Let h(w) = w**3 + 6*w**2 - 7*w + 2. Let o be h(t). Is b(o) a multiple of 4?
False
Suppose d = p + 55, 4*d - 248 = 3*p - 31. Does 13 divide d?
True
Suppose -d = 3*d. Suppose -q + 2*q - 20 = d. Is q a multiple of 6?
False
Suppose 0 = 3*r + r - 24. Let i = r + -2. Let m(w) = w**2 + 3*w - 3. Does 13 divide m(i)?
False
Does 14 divide 55/2 - 6/(-12)?
True
Suppose -10 = -2*d - 3*d. Suppose -16 = -p - d. Does 2 divide p?
True
Let z(j) = -j - 1. Let c be z(-1). Suppose 0 = -3*k + g + 122, k - 64 = -c*k + 5*g. Does 15 divide k?
False
Is 30 + (-1 + 3 - 0) a multiple of 16?
True
Is 4/(-4)*-227 - 0 a multiple of 18?
False
Suppose -2*s + 548 = 4*g, 4*s + 0*g + 5*g - 1108 = 0. Does 33 divide s?
False
Suppose -32 = 2*h + 8. Let t = h + 30. Does 5 divide t?
True
Let c be (-3)/(-4) + 20/16. Suppose 5*v = -c*n + 330, -3*v + 114 = 5*n - 103. Suppose 2*p = 6*p - v. Is 16 a factor of p?
True
Suppose 3*y - 35 - 13 = 0. Is y a multiple of 8?
True
Let r be (7 + -2)*(-2)/(-5). Suppose 0 = -5*z - 10, 4*d + 2*z = -r*z + 56. Does 12 divide d?
False
Suppose -4*g + u - 3*u + 90 = 0, 4*g - 4*u - 108 = 0. Let q(z) = -5*z + 6. Let f be q(4). Let a = g + f. Does 4 divide a?
False
Let n(l) = -l**2 + 10*l - 10. Let b be n(8). Does 11 divide 110/9 - b/27?
False
Suppose -131 = 5*n - 366. Does 12 divide n?
False
Let c = -308 + 506. Let p(t) = -2*t + 2. Let k be p(3). Does 11 divide (-1)/k - c/(-8)?
False
Suppose 4*d = -d + 20. Suppose 2*q - 2*l - 76 = 0, 16 = -0*l - d*l. Is q a multiple of 13?
False
Suppose 0 = 3*p - 6*p + 108. Does 9 divide p?
True
Let t = -157 - -112. Let h(y) = -2*y**3 - 2*y + 7. Let k be h(-3). Let d = k + t. Does 11 divide d?
True
Let f(j) = 5*j**3 + j**2 - j - 1. Let r be f(2). Let a = -23 + r. Is a a multiple of 18?
True
Suppose -3*u - 19 = -5*r, -33 + 4 = -5*r - 2*u. Suppose 0 = n + r*c - 19, 5*n + 3*c - 94 = 89. Is n a multiple of 14?
False
Suppose -44 - 101 = 5*d. Suppose -180 = -4*z + 3*v - v, 4*v + 90 = 2*z. Let n = z + d. Is 8 a factor of n?
True
Let v = 8 + -6. Suppose 19 = v*t + 7. Let r(a) = 4*a - 7. Is 6 a factor of r(t)?
False
Suppose 0 = -2*q + 7 - 3. Suppose 2*n - 52 = -4*w + n, -w = 4*n + q. Does 9 divide w?
False
Let r = 4 - 1. Is 1/r + (-56)/(-3) a multiple of 19?
True
Let s(a) = 11*a**3 - a. Suppose -3*k - 5 = 2*k. Let q = k + 2. Does 10 divide s(q)?
True
Let y = -1 - -4. Let i(r) = r**3 - r**2 - r + 3. Let s be i(0). Suppose -5*a + 63 = -w, 39 = a + y*a + s*w. Is 12 a factor of a?
True
Is -15*(39/(-9) - -4) a multiple of 3?
False
Let r(f) = -f - 2. Let d be r(-5). Suppose d*o - o = 14. Is o a multiple of 7?
True
Let o(s) = 3*s**3 - 3*s**2 + s - 7. Is o(3) a multiple of 17?
False
Let w = -11 + 3. Let u = w + 11. Suppose -u*x + 18 = -84. Is 14 a factor of x?
False
Suppose 3*f = -t - 4, -4*f - 11 = -4*t + 53. Let z = -9 + t. Suppose -2*u = z*u - 124. Is u a multiple of 13?
False
Let l(i) = i**2 - 14*i + 15. Let v = -6 + 20. Is l(v) a multiple of 6?
False
Let r(w) = w**3 + 11*w**2 - 7*w - 14. Let a be r(-10). Suppose 4*o - a = o + 4*l, 15 = 5*l. Does 16 divide o?
False
Let f(x) = x**2 + 5*x + 3. Let m be f(-4). Let z be m*1/((-2)/10). Suppose -z*a + 100 - 30 = 0. Is 14 a factor of a?
True
Let r = 15 - 16. Let f(g) =