w - 3*l = -0*l + 57, -4*w = -4*l - 220. Let j(c) = c**2 + c - 4. Let z be j(-3). Is 9 a factor of (-1)/((-110)/w + z)?
True
Let s(t) = -t**2 + 7*t - 1. Let r be s(6). Suppose r*y - 2*j = 123, 23 = -0*y + y - 2*j. Is y a multiple of 5?
True
Let h be (-3)/6*2 - 10. Let u(y) = -y - 9. Let o be u(h). Is 10 a factor of 9 + (o - (-1)/(-1))?
True
Let x = 5 + 0. Suppose -2 = 2*u + x*k, 5*k - 14 = -5*u + 2*k. Suppose -39 = j - u*j. Is j a multiple of 6?
False
Let k be (-4)/((-8)/22) + -4. Suppose -4*l - 21 = -k*l. Is l a multiple of 7?
True
Let j(f) = 3*f**2 - 4*f - 5. Let v(a) = 6*a**2 - 9*a - 11. Let z(n) = 13*j(n) - 6*v(n). Let q(w) = w**2 + 2*w + 2. Let i be q(-2). Is 17 a factor of z(i)?
True
Suppose -3*v + 0*v + 30 = 0. Is v a multiple of 5?
True
Suppose -2*g = 4*z - 164, 3*z + 4*g + 59 = 4*z. Does 4 divide z?
False
Let h(r) = r**3 - 5*r**2 + 6*r + 1. Let y be h(5). Let d(v) = 2*v - 13. Let c be d(9). Suppose -19 = l - 4*j - j, -c*j + y = l. Is 6 a factor of l?
True
Let i be (-81)/(-3) - (-1 + 4). Does 4 divide i*-5*(-2)/15?
True
Is -12*39/(-6)*1 a multiple of 13?
True
Let s(p) = p**2 + 7*p - 12. Let f be s(-7). Let u = f + 19. Does 6 divide u?
False
Let l be (0 - -1)/((-1)/(-4)). Let k(r) = 11*r - 6. Does 19 divide k(l)?
True
Let k = 11 + -7. Let f = k - 6. Let m = f + 22. Is 12 a factor of m?
False
Let i = 337 + -207. Is i a multiple of 10?
True
Suppose -3*o = o - 16. Suppose 0 + 3 = -3*n + 5*l, o*n - 4*l - 4 = 0. Let d(q) = 2*q - 1. Is d(n) a multiple of 3?
False
Is ((-12)/18)/((-1)/39) a multiple of 13?
True
Let j = 28 + -16. Suppose 2*m - 4*m = j. Is (10 + -1)*(-2)/m even?
False
Let d(p) = p + 25. Let a be d(0). Suppose -2*r = 2, -4*c + r + 4*r = -a. Suppose 10*i - c*i - 5*w = 120, 5*i - 110 = 3*w. Is i a multiple of 19?
True
Suppose t - 2*t = y - 122, t - 110 = -5*y. Does 16 divide t?
False
Let w = 5 + 28. Is w a multiple of 12?
False
Let y = 14 + -24. Let v = 67 + y. Is v a multiple of 14?
False
Suppose 3*l = 4*l - 2*c - 359, 1077 = 3*l + 4*c. Does 64 divide l?
False
Does 13 divide -1*(-1 - 780/6)?
False
Let j = 267 - 159. Suppose -2*f - j = -6*f. Does 9 divide f?
True
Suppose -4*c = -22 - 30. Is 10 a factor of c?
False
Let p = 21 + -18. Let d be 0 - (-135 - (0 - -1)). Suppose -d = -p*h - h. Does 17 divide h?
True
Let a(t) = t**2 - t. Let w be a(-1). Is (-42)/(((-3)/w)/1) a multiple of 14?
True
Suppose -4*t + 18 + 0 = l, 3*l + 10 = 4*t. Suppose -l*x = 6, 4*b - 4*x = -x + 321. Does 20 divide b?
False
Suppose 0 = -3*z - 2*i + 182, -5*z - 7*i = -6*i - 301. Is 14 a factor of z?
False
Let n = 8 + -3. Suppose -n*p - 544 = -p. Does 8 divide (p/(-24))/((-1)/(-3))?
False
Let s(f) = f**3 - 2*f**2 + 5*f - 5. Let r be s(5). Suppose -359 = -4*c - r. Does 22 divide c?
True
Let y(w) = w**3 + w**2 - 3*w - 2. Let n be y(-2). Let z = -1 - n. Is 4*(z + 18/4) a multiple of 14?
True
Let a(y) = -3*y - 3. Suppose 5*r = 5*t - 5, t - 2*r = 3*t + 14. Let p be a(t). Suppose -3*i = -p*i + 51. Is 8 a factor of i?
False
Suppose 12 = u - 29. Suppose -4*n = 4, 4*n = 2*q - n - u. Is q a multiple of 6?
True
Let x(c) = c - 3. Let v be x(6). Suppose 3*w + 13 = 5*j, 0 = -j + 4*w - v*w + 1. Is j a multiple of 5?
True
Is 12 a factor of 192/4 - 0/(-2)?
True
Suppose 0*y + 208 = 4*y - 4*g, 5*y - 2*g = 272. Is y a multiple of 19?
False
Let h be 1*10/(-3 - -1). Let v(w) be the third derivative of w**6/120 + w**5/10 + w**4/24 + w**3/3 + 8*w**2. Does 13 divide v(h)?
False
Is 13 a factor of -260*(-1 + (1/(-2) - -1))?
True
Is 14 a factor of (-6)/4 - (1542/(-12) + 1)?
True
Let q(v) = -v**3 - 12*v**2 + 8. Is q(-12) even?
True
Suppose 0 = -3*u - 6, -3*f = -0*u + 4*u + 5. Does 13 divide -4*(f + (-153)/12)?
False
Let p = 39 - -49. Is p a multiple of 16?
False
Let u be (-25)/(-10)*(-8)/(-1). Suppose u - 5 = 3*j. Is j a multiple of 5?
True
Let x(a) be the second derivative of a**5/20 + a**4/12 + a**3/6 + 5*a**2/2 + a. Does 5 divide x(0)?
True
Suppose 0 = h + h + 2. Does 5 divide (-2 - -3) + 11 - h?
False
Let v(w) = -2*w**2 + 7*w - 11. Let r(d) = 3*d**2 - 11*d + 16. Let g(b) = 5*r(b) + 7*v(b). Is 3 a factor of g(7)?
False
Let k = -52 - -85. Does 2 divide k?
False
Suppose 0 = -0*x + x - 2. Suppose -z + 1 + x = 0. Suppose -5*u = 4*i - 197, z*u = 4*i + 121 + 10. Does 14 divide u?
False
Let y(x) = x**3 + x**2 + 2*x + 21. Does 7 divide y(0)?
True
Suppose -4 = -2*z - 8, -z + 94 = 3*i. Does 8 divide i?
True
Suppose 0 = x - 5*x + 224. Does 7 divide x?
True
Let f be 2/(-2*(-2)/52). Let w = 8 + f. Is w a multiple of 12?
False
Let x be (-9)/4 - (-6)/(-8). Is 7 a factor of 2*((5 - x) + 0)?
False
Let p be 60/8 - (-2)/(-4). Let f(g) = -g**2 + 8*g + 3. Is 10 a factor of f(p)?
True
Let k = -12 + 78. Is 22 a factor of k?
True
Suppose 0 = 5*y - 3*d - 1322, 4*y - d + 2*d - 1044 = 0. Suppose 5*u = -2*g - 0*u + 167, 3*g = 4*u + y. Suppose -4*m + g = -70. Is 17 a factor of m?
False
Let m(p) = p + 51. Is 2 a factor of m(-13)?
True
Suppose 3*b + 4*p + 42 = 0, 16 = -3*b - 3*p - 23. Let m = b - -27. Does 8 divide m?
False
Let b(m) = -m**3 + 5*m**2 + 2*m - 7. Let n be b(5). Suppose 164 = 2*t - 2*p, -88 = -t - n*p + 7*p. Is 22 a factor of t?
False
Let n = 59 - 12. Does 11 divide n?
False
Let m(f) = -f. Let y be m(-3). Let n = 10 - y. Does 2 divide n?
False
Suppose w - 3*t + 4*t - 4 = 0, 5*t = 3*w + 4. Suppose 5*h - 4 = u + w*u, -5*h = -u + 12. Does 4 divide (-5 + 10)*u/(-10)?
True
Let q(s) = 15*s - 15. Is 68 a factor of q(15)?
False
Suppose 2*i = 1 + 401. Is i a multiple of 11?
False
Let u(p) = -p**2 + 24*p - 38. Does 26 divide u(17)?
False
Let v = 4 + -5. Does 5 divide -16*1*(v + 0)?
False
Suppose 0 = 5*o + 5*h - 685, 640 = 5*o - 3*h - h. Suppose -6*x + o = -3*x. Is 14 a factor of x?
False
Let b(f) = -f - 11. Let v be b(0). Let l = v - -24. Is l a multiple of 13?
True
Suppose 3*h = 4*p + 8, -3*h + 5*p + 0 + 7 = 0. Suppose -4*y + 8 = -h. Suppose 0 = -2*x + y*x - 9. Is 9 a factor of x?
True
Let x(h) = h + 16. Let z be x(-8). Suppose 0 = s - 3*s + z. Does 4 divide s?
True
Let f be 2/6 + (-8)/(-3). Let v(q) = -5 + 5 + 14*q**f. Is v(1) a multiple of 13?
False
Suppose -2*r - 5*z - 1 = -6, -14 = -3*r - z. Suppose -4*q = -r*m - 36 - 29, -4*m - 21 = 3*q. Let y = -5 - m. Does 4 divide y?
True
Let r = -48 - -138. Is r a multiple of 30?
True
Let w(k) = 7*k**2 + 4*k. Let z be w(-3). Suppose -q - z = -19. Let r = q + 46. Is 6 a factor of r?
False
Suppose 0 = 6*q - 11*q + 45. Does 3 divide q?
True
Let q = -333 + 588. Does 17 divide q?
True
Is (-75)/((-3)/1) + 1 + 0 even?
True
Let a(b) = -9*b**3 + 14*b**2 - 5*b. Let j(i) = -4*i**3 + 7*i**2 - 3*i. Let s(d) = 2*a(d) - 5*j(d). Does 9 divide s(4)?
True
Is (-20)/(-10) - -25*1 a multiple of 10?
False
Let o(s) = -s**2 + 12*s - 17. Is o(7) a multiple of 14?
False
Let x = 19 - 45. Does 16 divide (-10)/4*x - 1?
True
Let m = -6 - 1. Let q(c) = -4*c + 2 + 2*c + 2. Is q(m) a multiple of 18?
True
Suppose -3*x = -x - 3*i - 40, 3*i = 5*x - 118. Is x a multiple of 13?
True
Let m be ((-6)/4)/((-5)/10). Suppose -m*f + f + 24 = 0. Is f a multiple of 12?
True
Let a(b) = -b**3 - b**2 + b + 73. Is 22 a factor of a(0)?
False
Let h(q) = -q**2 - q - 3. Let z be h(0). Let s = -2 - z. Is 8 a factor of 4/s*(-2 - -4)?
True
Let f = -51 - -75. Does 24 divide f?
True
Suppose 3*r + x - 6*x - 520 = 0, 4*r - 684 = 2*x. Let z = r + -106. Is 16 a factor of z?
True
Suppose 0 = -4*y - 2*y + 102. Is y a multiple of 13?
False
Let x = 9 - 6. Suppose g = x*g. Suppose -2*w - w + 36 = g. Is 6 a factor of w?
True
Does 32 divide -6 + 104 + 1*-2?
True
Let b(q) = 7*q**3 + q - 1. Let l be b(1). Suppose 0 = 5*i + l - 2. Does 3 divide 7 - i/(-1) - -3?
True
Suppose 9 = v + 51. Let f = 85 + v. Let h = f + -7. Is h a multiple of 18?
True
Suppose -3*t + 256 = -3*m - 206, 0 = -2*m + 5*t - 296. Suppose -3*r + 5*r = 6. Does 11 divide r/15 - m/10?
False
Let s(c) = 6*c**3 + c**2 - 1. Let m be s(-1). Let v be m/(-18) - (-28)/6. Suppose 0 = 4*x - 5*x + v*z + 50, -2*z - 158 = -5*x. Is x a multiple of 15?
True
Suppose -4*i + 2 = -3*i. Suppose -i*b + 4*p = -86, 4*p - 229 = -3*b - 2*b. Does 10 divide b?
False
Suppose 0 = -8*w + 3*w + 145. Is 14 a factor of w?
False
Let j(v) be the second derivative of v**3/6 - v**2/2 + v. Let s be j(3). Suppose s*l - 5*k = 55, 0 = -4*k - 4 + 8. Is 15 a factor of l?
True
Let o(q) = q + 71. Is 37 a factor of o(0)?
Fa