 16*z - 11. Let x be u(14). Let q be (-3)/2 + x/(-6). Suppose -3*c - 3*d - 22 + 139 = 0, q*c - d - 165 = 0. Is 17 a factor of c?
True
Let z(n) = -4*n**3 - 13*n**2 + 4*n - 9. Let b(v) = v**3 + v**2 + v. Let k(f) = -3*b(f) - z(f). Let y be k(-11). Let x = y - -45. Is x a multiple of 3?
False
Is 22 a factor of (-21)/3 - (-122 - 6)?
False
Let y(f) = 47*f - 29. Does 10 divide y(9)?
False
Suppose -3*i = -4*n - 176, 286 = 4*i - n + 60. Is 14 a factor of i?
True
Suppose -3*t - 1686 = -3*c, -2*c - 2*c = 3*t - 2241. Is 33 a factor of c?
True
Suppose -1918 = 54*g - 6832. Is 19 a factor of g?
False
Let r be 10/(-15) - (-44)/3. Let d(s) = -s**3 - 7*s**2 - 2*s - 7. Let c be d(-7). Let j = r + c. Is 7 a factor of j?
True
Let z(s) = -35*s**3 + 3*s**2 - 3*s - 10. Is 24 a factor of z(-2)?
True
Let z(q) = q**2 - 7*q + 64. Let m(l) = l**2 - 8*l + 63. Let h(v) = -5*m(v) + 6*z(v). Is 23 a factor of h(0)?
True
Let l be (-24)/(-3 - 1) + -3. Let y(i) = 14*i**3 + 2*i**2 - 2*i + 2. Let j be y(l). Suppose -w = 3*w - j. Is w a multiple of 25?
False
Let h = 543 - 248. Let l = h + -175. Is l a multiple of 20?
True
Is 7/(-1) + -2 - -163 a multiple of 7?
True
Let w be ((-100)/5)/5 - -9. Let j be (108/90)/(3/w). Does 12 divide (j - 52/14)*-28?
True
Let g(k) = k + 11. Let j be (-16)/(-1) + -3 + 5. Suppose -13*h = -11*h - j. Is 4 a factor of g(h)?
True
Suppose -s + 8 = -10. Suppose 0 = 2*w + 3*w. Suppose w = -s*d + 14*d + 32. Is 8 a factor of d?
True
Let h(j) = j**2 + j + 5. Let g be h(0). Suppose -q = -5*v - 36, -q = -g*v + v - 28. Let n = 11 + v. Is 2 a factor of n?
False
Suppose -q + a = -7, 4*a + 35 = 5*q + 3. Let u be (-2 - q/(-4)) + 5. Suppose -3*r = u*x - 53, 2 = -3*r - 1. Is 10 a factor of x?
False
Suppose 0 = 4*q + 6*a - 9*a - 833, 809 = 4*q + 5*a. Is 6 a factor of q?
False
Let v(c) = -c**3 + 32*c**2 - 50*c + 420. Does 104 divide v(28)?
False
Suppose -13 = -4*n - 5. Suppose 4*y - 134 = -n*h, -137 = -5*y + 5*h + 53. Is y a multiple of 7?
True
Is 5 a factor of (435/(-725))/((-2)/250*1)?
True
Suppose -j + 35 - 170 = 0. Let z = j - -180. Is z a multiple of 9?
True
Suppose -3*r + x + x + 500 = 0, r - x - 168 = 0. Is 4 a factor of r?
True
Suppose 24*f = 947 + 517. Let w(k) = 3*k - 3. Let m be w(2). Suppose 0*i + m*u + f = i, i + 3*u = 55. Is i a multiple of 11?
False
Suppose 0 = -15*w + 13262 + 1798. Does 77 divide w?
False
Suppose 7 = 4*y + 2*g - 93, -3*y - 3*g = -72. Let d = -25 + y. Is 7 a factor of d + 7/(21/144)?
True
Let r = 22 - 19. Let f(l) = 3*l + 3. Is 9 a factor of f(r)?
False
Suppose 5*d = 6*d - 3*g - 463, 3*g + 6 = 0. Is d a multiple of 18?
False
Suppose 0 = 3*j - 10 + 4. Suppose -51 = -g - 3*o, 116 = j*g + 2*o + 2. Does 12 divide g?
True
Let a(c) = -3*c**2 - 9*c - 2. Let o(p) = -4*p**2 - 10*p - 2. Let q(h) = -5*a(h) + 4*o(h). Let d be q(7). Let y = d + 26. Is 7 a factor of y?
True
Suppose -9767 = 26*q - 65381. Is 49 a factor of q?
False
Suppose -52*r = -53*r - b + 818, r + 2*b = 813. Is 17 a factor of r?
False
Let v(o) = -o + 31. Suppose 4*c = -5*y + 19, 4*c - 57 = -y - 18. Does 7 divide v(c)?
False
Let s be (-11)/((-11)/(-10)) - 3. Let k = s + 18. Suppose k*v - v = 80. Does 5 divide v?
True
Suppose -4*x + 3*r = 59, -3*r - 15 = -6. Let w(j) = 2*j**2 + 30*j + 9. Is w(x) a multiple of 11?
True
Suppose 21 = 5*n - 24. Let o = n - 6. Let h = 13 + o. Is h a multiple of 16?
True
Let i(j) = 22*j. Let v be i(3). Let q be 12/v - (-2174)/22. Suppose 5*c + 34 = q. Is 5 a factor of c?
False
Let o(t) = -5*t + 69. Let p be o(13). Suppose -p*r + 716 = -180. Does 28 divide r?
True
Suppose -3*v = 18 + 15. Does 3 divide 132/v*(-1)/2?
True
Let g(z) = -1 + 3*z - 96*z**2 - 7 + 99*z**2. Is g(-5) a multiple of 7?
False
Let n be -2*((-6)/(-3) + 0). Is ((-8)/5)/(n/60) a multiple of 8?
True
Let n(x) be the second derivative of 13*x**4/3 + x**3/2 + 3*x**2/2 + 26*x. Is 26 a factor of n(-1)?
True
Let l(u) = -u**2 + 5*u - 3. Let r be l(4). Is (212/2*r)/2 a multiple of 15?
False
Let y(m) = -m**2 - 13*m - 15. Let j be y(-9). Does 13 divide 1/(2 - 9) + 2733/j?
True
Let c = -21 + 27. Suppose c*f + 268 - 808 = 0. Does 7 divide f?
False
Does 13 divide (6870/2)/(6/6)?
False
Let x(k) = 4*k + k**3 + 2 + 2*k - 5*k**3 + 3*k**3 + 5*k**2. Let d be x(6). Suppose -d*v = -3*y + 86, 3*y - v = 11 + 71. Is y a multiple of 13?
True
Let s = -1310 + 3058. Does 21 divide s?
False
Let v be -2 + (-2 - -3)/1. Let p(c) = c + 2 - 83*c**2 - 1 + 4*c - 3*c + 128*c**2. Is 11 a factor of p(v)?
True
Suppose 2*u + 0 - 88 = x, 0 = 4*x + 16. Suppose 5*t + 14 = 3*f, 4*f - 3*t + 8*t = u. Does 4 divide f?
True
Suppose -9 = -t + 3*a, t - 9 = -0*t - 5*a. Suppose -26*u + t = -23*u. Is u even?
False
Let k = 1049 + -710. Let w = -189 + k. Is 15 a factor of w?
True
Let x(a) = 5*a + 11. Let y = 1 - -13. Let k be x(y). Suppose k + 34 = 5*i. Is i a multiple of 8?
False
Suppose -3*v = 2*q - 600, 10*v - 12*v - 4 = 0. Is q a multiple of 5?
False
Is 16 a factor of (3 + -10 + 5)*-296?
True
Suppose 0*b + b + 1 = 0. Let h be -3*((-15)/9 - b). Suppose a = h*w - 67, 4*w + 0*a - 137 = 3*a. Does 16 divide w?
True
Let g(u) be the second derivative of -21*u**5/4 - u**4/12 + u**3/6 - u**2/2 + 6*u. Let j be g(1). Let l = -66 - j. Does 16 divide l?
False
Let i(x) = -x**3 + 4*x**2 + 4*x. Let b be i(5). Let j(d) = -d**3 - d - 3. Let c be j(b). Suppose -c = -3*f - 10. Does 11 divide f?
False
Let v(j) = -2*j**3 - 6*j**2. Let m be (2 + 0)*(-18)/12. Let c(y) = 6*y**3 + 17*y**2. Let x(q) = m*c(q) - 8*v(q). Is 3 a factor of x(-2)?
False
Let h(z) = -5 - 7 - 5*z - 8*z - z**2. Let n(f) = f**2 + 8*f + 3. Let o be n(-6). Is 12 a factor of h(o)?
True
Suppose -2*k + 2*t + 3 = t, t - 3 = 0. Suppose -q = -s - 35, 2*q + 5*s + 47 = k*q. Does 16 divide q?
True
Let p(u) = u**3 - 7*u**2 + 5*u - 4. Let m be p(6). Let o = 9 + m. Let z = o + 4. Is z a multiple of 3?
True
Suppose -3*k + 4*k - 2*d - 1 = 0, 5*d = 2*k. Suppose 5*j = k*n - 225, -3*n - j = -2*n - 51. Is n a multiple of 8?
True
Let c = 823 - -4505. Is c a multiple of 20?
False
Let l be (0 - -3 - 2)*98. Suppose 4*w + 20 - l = -2*r, 4*w + 27 = r. Is r a multiple of 27?
False
Suppose d = -t + 687, -4*t + 799 = 5*d - 2634. Does 33 divide d?
False
Is 56 a factor of (76/5)/(15/1050) - 0?
True
Let k = 120 - 62. Let f = 364 - k. Does 34 divide f?
True
Let f(u) be the second derivative of 13*u**4/4 - u**3/2 - u**2 + 7*u. Let c be f(-1). Let l = c + -28. Does 3 divide l?
True
Let x(h) = 8*h**2 + 59*h + 123. Is 26 a factor of x(-2)?
False
Let l be 0/(-4 - (-3 - -1)). Suppose l = 5*s - 9 - 6. Suppose -4*h + s*h + 91 = 0. Is 25 a factor of h?
False
Suppose 0 = -0*c - c - 2. Does 7 divide (140/(-16))/(c/8)?
True
Suppose -3*h = -2*b - 1258, -h = -4*b - b - 402. Is 12 a factor of h?
False
Let r(a) = a**3 + 6*a**2 + 8*a + 4. Let h be r(-4). Suppose h*l = -0*l + 20. Is 2 a factor of l?
False
Is 46 a factor of 0 + 4 + -5 + 415?
True
Let t = -7 + 5. Let b(n) be the first derivative of -n**4/4 - n**2/2 - 2*n + 103. Is 3 a factor of b(t)?
False
Is 35 a factor of (-77)/((-2)/(-5) - (-7)/(-14))?
True
Suppose -101 + 1539 = w. Is 14 a factor of w?
False
Suppose -2*a - 4*j + 84 = 0, 2*a + j + 51 = 3*a. Suppose 5*f - a = 72. Let y = -12 + f. Is y a multiple of 7?
False
Suppose -31*z + 35*z = 836. Does 11 divide z?
True
Let a = 369 - 207. Suppose -a = -2*j + 42. Is 17 a factor of j?
True
Suppose 7*u - 18*u + 66 = 0. Let n = u + 14. Is n a multiple of 10?
True
Suppose -4*c - 44 = 168. Let y = 35 - c. Does 11 divide y?
True
Let x = 21 - 31. Is (-4)/(3/x*(-20)/(-168)) a multiple of 19?
False
Let y(t) = -t**3 - 5*t**2 - 18*t + 18. Let j be y(-9). Suppose 17*a - 25*a = -j. Is 9 a factor of a?
True
Suppose -2*j + 9*j = 9422. Does 39 divide j?
False
Suppose 7*p + 1076 - 4212 = 0. Is p a multiple of 16?
True
Suppose 2*t = 707 + 1015. Does 68 divide t?
False
Suppose 4*m = -34 - 102. Let k = -32 - m. Suppose -k*t - s + 11 = -21, -47 = -3*t - 2*s. Does 14 divide t?
False
Suppose -34*f = 2*f - 40464. Is 77 a factor of f?
False
Suppose -5*h + 4*w = -26 - 19, 5*h - w = 30. Does 9 divide 3*41/3 - h?
True
Suppose -8 = -2*h - 2. Suppose -6 + h = -q. Is q + 10 + -4 + 1 a multiple of 6?
False
Let x(d) = -d**3 - 5*d**2 - 9*d - 3. Let q(l) = 5*l**2 + 8*l + 3. Let r(n) = 3*q(n) + 2*x(n). Does 14 divide r(-3)?
True
Let k = -23 + 28. Suppose 2*j - 2*i + 8 = 0, -5*j + 