t h(j) = 11*j + 8. Let c be h(6). Let i(p) = 2*p + 13. Let d be i(-10). Is 2 a factor of 2/d - c/(-14)?
False
Suppose -2*o - 15 = -o. Let g be (-21868)/(-3) - 10/o. Does 23 divide (-6)/14 - g/(-105)?
True
Let w(a) = -2*a**3 - 8*a**2 - 12*a - 6. Is 30 a factor of w(-6)?
True
Let b = -36 - -6. Let j = -25 - b. Suppose 10*u - j*u = 220. Is u a multiple of 7?
False
Suppose 0 = -2*o - a + 10, 10 = 2*o + 4*a + a. Suppose -o*l + 3*x = -0*l, x + 10 = 5*l. Suppose 0 = -l*s + 63 + 93. Is s a multiple of 19?
False
Let h be (-6 + 2 - -2) + 30. Let r be 158/(2/1) - (-26 + 25). Let w = r + h. Is w a multiple of 27?
True
Suppose 5*r = -2*d + 1155, 0 = -r + 3*r - d - 453. Is r a multiple of 22?
False
Let p = 98 + 352. Is p a multiple of 30?
True
Let y be (-2716)/(-35) + (-6)/10. Let c = 145 - y. Suppose c = b - 0*b. Is b a multiple of 14?
False
Let m(d) = 18*d - 33. Let f = 73 + -67. Does 13 divide m(f)?
False
Let y(f) = -19*f - 36. Does 10 divide y(-14)?
True
Suppose 9*d - 8 = 7*d. Is d/(-2) + (3 - 1 - -69) a multiple of 23?
True
Let i be 0 + 1 + 0/(-1). Let y(r) = -70*r**3 - r**2 + 5*r - 5. Let j(z) = -70*z**3 - z**2 + 6*z - 6. Let b(g) = 4*j(g) - 5*y(g). Is 18 a factor of b(i)?
False
Let g be -26 + -1*((-4)/(-4) - 1). Let k = g - -68. Does 6 divide k?
True
Suppose 9*g - 4*g - q = 390, -g = -2*q - 78. Suppose y + 2*y = -z + g, -3*y - 192 = -2*z. Is 15 a factor of z?
True
Let j(d) = 2*d**3 + 44*d**2 - 6*d - 65. Is 41 a factor of j(-21)?
True
Suppose 0*i = 5*i - 25. Suppose -o + k = -5, 3*o - i*k = 8 + 9. Suppose 0 = r + o*r + 10, 0 = -5*s - 4*r + 402. Does 16 divide s?
False
Let f = 938 + -416. Is 57 a factor of f?
False
Suppose 2*v = -3*w - 99, 2*w = -5*v + 3*v - 68. Let s = w + 91. Does 4 divide s?
True
Let b(f) = 126*f**3 - f**2 + f. Let d be 3 + (3 - 5) + 0. Is b(d) a multiple of 24?
False
Let d be (2*3/(-1))/(-6 + 4). Suppose d*x = -88 + 214. Is x even?
True
Let g(r) = -r**3 + 15*r**2 + 3*r - 5. Let c be ((-5)/(-10))/(2/60). Is 36 a factor of g(c)?
False
Suppose -5*x = -24 + 4. Is 25 a factor of (-458)/(-2) - 16/x?
True
Suppose 0 = -0*o - o. Suppose 2*y - 5*b + 56 - 261 = o, 4*y + 5*b - 455 = 0. Does 22 divide y?
True
Suppose 0 = 3*h + 4*x - 41, 0 = x + 1 - 6. Let g = h - -5. Is g a multiple of 2?
True
Let a(g) be the third derivative of -g**4/4 - 4*g**3/3 - 156*g**2. Let t(n) = n**3 - 3*n**2 - n - 1. Let o be t(2). Does 14 divide a(o)?
False
Let v(h) = -15*h**3 - 2*h - 2. Let i(a) be the first derivative of 15*a**4/4 + a**2 + a + 2. Let u(y) = 3*i(y) + 2*v(y). Is u(1) a multiple of 8?
True
Is 83 a factor of (-2)/(-21) - 292782/(-441)?
True
Let m(j) = 3*j**2 - 5. Suppose -4*p + 100 = 2*q, 3*p + 3*q + 24 = 96. Let n = -21 + p. Does 26 divide m(n)?
False
Let h(x) = -7*x - 11. Let q be h(-2). Suppose -2*o = u - 177, 0 = q*u - 0 + 15. Is o a multiple of 13?
True
Let z be 1 - 9/((-54)/624). Let q = z + -78. Is 9 a factor of q?
True
Suppose 4*u - 3*h + 1 = 0, -u + 3*h + 2*h + 4 = 0. Let y be (u/(-2))/(3/(-12)). Is (21/(-6))/(y/20) a multiple of 16?
False
Let i be (-5)/15*(1 - (-476)/(-2)). Is 13 a factor of i - 3*(-10)/(-6)?
False
Does 3 divide 8 + (20/(-4) - -45)?
True
Suppose -3*w + 1 = 10, -4*l = -2*w - 38. Does 6 divide l?
False
Let a be (-448)/42*(-6)/4. Is 7 a factor of 59 - ((0 - a/4) + 3)?
False
Suppose 5*a - 892 + 12 = 0. Let f = a - 96. Is 14 a factor of f?
False
Suppose -2*k = -l - 86, -l + 7 = -k + 48. Let p = k - 10. Is 7 a factor of p?
True
Let q(w) be the third derivative of 11*w**4/12 + w**2. Is 7 a factor of q(2)?
False
Is (0 - -2723) + (44 - 39) a multiple of 13?
False
Let y be ((-4)/6)/(4/(-48)). Let p be 6*-6*2/y. Does 13 divide ((-51)/p - -3)*3?
True
Let y(h) = -h**3 + 7*h**2 + 27. Does 12 divide y(0)?
False
Suppose 4*h - m = 17, -2*m - 7 = 2*h - 3. Let o(b) = -17*b**3 + 3 + 18*b**h + 3*b + 9*b**2 + 7. Does 25 divide o(-8)?
True
Let g(l) = -l**3 + 3*l**2 - l + 7. Let j be g(3). Suppose -2*i - 2 = -5*u + 4, -i + 23 = j*u. Is 7 a factor of i?
True
Let o(p) = -36*p + 29. Does 9 divide o(-16)?
False
Let p(u) = -4*u + 2. Let s be p(0). Suppose o - 41 - 5 = -s*n, 4*n = -5*o + 260. Does 8 divide o?
True
Let w = 404 - -3. Does 25 divide w?
False
Let x(z) = 4*z**2 + 27*z - 4. Let y be x(9). Suppose -5*f + y + 57 = 0. Is f a multiple of 46?
False
Let v = 63 - -87. Does 12 divide v/3 + -1 + -1?
True
Suppose -2*i = 2*i - 632. Let d = i + -77. Does 17 divide d?
False
Let p be (5/2)/(2/4). Suppose 4*k - 2*f - 46 = 0, -4*k - p*f - 2 = -13. Is k a multiple of 3?
True
Suppose y - 405 = x, -2*y + 5*y - 1227 = -x. Does 32 divide y?
False
Let h be ((-185)/(-20) + -2)*-4. Let u = -14 - h. Does 2 divide u?
False
Let p(y) = -y. Let d(v) = v**2 + 16*v + 11. Let g(k) = d(k) + 6*p(k). Let l be g(-9). Suppose -j - 41 = -4*t, 0*t - 7 = l*t + 5*j. Is 9 a factor of t?
True
Suppose 16*p = 22*p - 3780. Is 45 a factor of p?
True
Let w = 1922 - -2043. Is w a multiple of 61?
True
Suppose 4*m = 8*m - 32. Suppose -3*d = d - m. Suppose -1 + d = -w, 2*q = -4*w + 42. Is 23 a factor of q?
True
Let b(g) = g**3 - g**2 + 16*g - 10. Let h(v) = -v**3 + v**2 - 15*v + 10. Let c(s) = -5*b(s) - 6*h(s). Is 19 a factor of c(5)?
False
Let b = -4 - -10. Let k(m) = -m**2 + 14*m - 5. Let v be k(b). Let n = 61 - v. Is n a multiple of 18?
True
Does 39 divide (26/(-1) - -5)*(-88 - 1)?
False
Suppose -5*v - 65 = -5*t, 4*v + 13 = t - 42. Does 10 divide (-12)/(-42) + 0 + (-1676)/v?
True
Suppose y + 3*a + 2*a - 95 = 0, -5*y + 379 = a. Suppose -5*j - z = 3*z - 18, 3*j = -4*z + 14. Suppose -3*t = -j*t - y. Is 13 a factor of t?
False
Suppose 0 = 2*c + 4*k - 68, k + 114 = 4*c - 2*k. Suppose 22 = 2*q - c. Is q a multiple of 13?
True
Is -36*(-7 - -6)*35/2 a multiple of 15?
True
Let k(i) = -3*i - 1. Let r be k(-2). Suppose -8*b + 6 = -r*b. Suppose z = -b*g - 0*g + 47, 3*g = -5*z + 270. Is 19 a factor of z?
True
Let c = -28 - -40. Suppose -9*r + c*r + 69 = 0. Is 1/((-4)/(r + 3)) even?
False
Let n be 6/27 - (-536)/18. Suppose 5*a + n = 5*m, 13 = -5*m + a + 47. Suppose -4*u + m*u - 42 = 0. Is u a multiple of 7?
True
Suppose -t - 4*t + 288 = 3*x, 3*x - 3 = 0. Suppose 3*m + t + 6 = 5*q, 0 = 4*q + 5*m - 80. Does 4 divide q?
False
Suppose 418 = 14*a - 142. Is 9 a factor of a?
False
Suppose 0*w = 8*w - 3392. Is w a multiple of 22?
False
Suppose -4*a - 5*r + 0 = 5, 4*a - 3*r - 3 = 0. Let s(t) = -4*t - 17. Let m(j) = -5*j - 16. Let l(p) = 3*m(p) - 4*s(p). Is 10 a factor of l(a)?
True
Suppose 4*q - 8*q + 880 = 0. Suppose -m = 3*m - q. Is m a multiple of 8?
False
Let o = -46 + 50. Suppose 0 = -5*u + u + 20. Suppose 0 = u*s + b - 69, o*s - s = b + 43. Is s a multiple of 14?
True
Let v be 1*(5 - 1)*(-16)/(-32). Suppose v*o + z - 66 = 61, -o - 3*z + 76 = 0. Does 21 divide o?
False
Let k(b) = -2 + 20*b - 2*b**2 + 0*b**2 + b**2. Does 44 divide k(8)?
False
Suppose 95 = 2*a - 79. Does 67 divide a?
False
Is 15 a factor of (-17)/68 - (-826)/8?
False
Let s = 70 + -59. Suppose -9*n + s*n = 208. Does 26 divide n?
True
Suppose 28*w = 46*w - 19476. Is 33 a factor of w?
False
Suppose -4*z = 4*q - 2256, -2*z + 685 = -5*q - 415. Suppose -16 = -4*c, 5*j - z = -0*c - 5*c. Does 12 divide j?
True
Let z(w) = -w**3 - 10*w**2 + 8*w + 38. Is z(-13) a multiple of 6?
False
Let s = -58 - -35. Let j = s + 32. Suppose -j = 2*k - 41. Is k a multiple of 6?
False
Let s = -420 + 892. Is s a multiple of 26?
False
Suppose -57*v = -64*v + 2100. Is 6 a factor of v?
True
Let d = 18 + 27. Let z be (4/(-6))/(3/d). Let m(a) = a + 19. Is 3 a factor of m(z)?
True
Let u = 0 + 144. Is u a multiple of 16?
True
Let a be (-15)/5*2/3. Is (-29)/a*(8 - 2) a multiple of 20?
False
Let p(n) = -32*n - 147. Is 47 a factor of p(-9)?
True
Suppose 5*g = -3*j + 25, -1 = 3*g - 0*j + 5*j. Is 20 a factor of 554/g - 13/52?
False
Suppose 12*d + 2 + 22 = 0. Is 10 + 2*1/d a multiple of 7?
False
Suppose -4*i - 20 = a - 71, -3*a - 2*i + 183 = 0. Does 21 divide a?
True
Suppose 2*q + 2 = -0*q + 5*z, -5*q + 2*z + 16 = 0. Suppose 51 = 2*s + 3*x, q*s - 2*s = 5*x + 27. Is 21 a factor of s?
True
Let d(t) be the first derivative of 8*t**2 + 3*t - 4. Let y be d(2). Let s = y + 49. Is s a multiple of 18?
False
Let b be (-18)/4*12/(-9). Suppose 0 = 2*t - 5*u - 11, -2*t + 3*u = -t - b. Does 5 divide (10/(-8))/(t/(-24))?
True
Suppose 48 = 5*q - 4*x, -7*q - 2*x + 36 = -2*q. Suppose 3*v + q = 38. D