s - 5*m + 59 = 5*s. Let t = 25 - s. Suppose g - t = -g. Does 21 divide g?
True
Let j(f) = f**3 - f**2 + f + 1. Let t(n) = -5*n**3 - 2*n**2 + n + 6. Let z(b) = 6*j(b) + t(b). Is z(7) a multiple of 3?
True
Let x = 4 - -1. Let h = 1 + 2. Suppose -x*q + h*q + 114 = 0. Is q a multiple of 19?
True
Let v = 16 - 11. Let l(r) = -r**3 + 4*r**2 + 6*r - 2. Let i be l(v). Suppose -5*f + f + i*y = -87, 62 = 3*f + y. Is 21 a factor of f?
True
Suppose 5*g - g - 3*q - 21 = 0, 0 = 2*g + 4*q - 16. Is 9 a factor of (-861)/(-18) - (-1)/g?
False
Let j = -17 - -268. Is 4 a factor of j?
False
Let j(m) = -4*m. Let w be j(-4). Suppose y = -w + 20. Suppose -y*s + 24 = -8. Is 8 a factor of s?
True
Let y(k) = -2*k**3 - 14*k**2 - 3*k + 6. Is 53 a factor of y(-10)?
True
Suppose 3*s + 3*h - 23 = -s, 0 = -3*h + 3. Let t be s*4/30*-51. Let q = -16 - t. Does 11 divide q?
False
Suppose 12*j = 16*j + 204. Let t = j - -61. Does 3 divide t?
False
Let k(t) = 91*t - 4. Does 87 divide k(1)?
True
Suppose 4*y - 856 = 4*t, 5*y + 226 = -t + 42. Let o = t + 351. Is 12 a factor of o?
False
Let t(j) = -j**3 - 7*j**2 + j + 3. Let d be t(-7). Let p(r) = r**2 + 8*r. Let s be p(d). Let m = 28 + s. Is m a multiple of 5?
False
Does 24 divide 6/14 + 58650/350?
True
Suppose 0 = 5*m - 5*z - 780, 4 - 778 = -5*m + 2*z. Let x = m + -78. Let p = 110 - x. Does 21 divide p?
False
Is 4 a factor of -4 + (-348)/(-90) + 4444/30?
True
Suppose -4*g = -r - 34, g - r = -2*r + 6. Suppose 0 = 7*p - g*p + 30. Is p a multiple of 6?
True
Let s(u) = 11*u - 71. Is 14 a factor of s(9)?
True
Let f(z) = z**2 + 4*z + 2. Let j be f(-4). Suppose -2*p - j + 8 = 0. Suppose 2*q = -2*t + 4*t - 42, 0 = 5*t + p*q - 129. Is t a multiple of 12?
True
Suppose -8*i + 6 = -6*i. Suppose 97 = i*d + 4*w, -2*d + 5*w - 44 + 147 = 0. Let t = d + -7. Is 11 a factor of t?
False
Does 17 divide (-8 + 19)/(3/81)?
False
Does 23 divide 1*233 + 2/((-8)/12)?
True
Suppose -2 = -f + 2. Suppose -r = -f*r - 63. Is (-1 - r/15)*30 a multiple of 12?
True
Let h be (-1 - -4)*(7 + -8). Let l = h - -17. Let d(k) = 2*k - 19. Is d(l) a multiple of 3?
True
Let a(j) = 557*j**2 - 561*j**2 + 0 - 10 - j**3 - 7*j. Is 8 a factor of a(-4)?
False
Let b(j) = -j**3 + 4*j**2 + 77. Is 5 a factor of b(0)?
False
Let y = 14 + -14. Suppose y = -u + w + 361, -1439 = -3*u - u - w. Is (u/(-27))/((-1)/3) a multiple of 36?
False
Let g be 5/(-2)*(0 - (-8)/(-10)). Suppose 0 = t - g - 57. Is t a multiple of 12?
False
Suppose -4*l - 2*y + 3*y + 551 = 0, 5*l = -5*y + 720. Is l even?
False
Let j(z) = -4*z - 3. Let t be j(6). Does 4 divide (8/(-3))/(9/t)?
True
Let n(s) be the second derivative of 7*s**3/6 + 9*s**2 + 5*s. Let c be n(12). Suppose 0*u + 2*u - c = 0. Is u a multiple of 17?
True
Suppose -5*k = -14 + 4. Suppose -3*q - 1 = -10. Is (-8)/(-1) + k - q a multiple of 2?
False
Let a(q) = -4*q + 1. Let b be a(-3). Let z = 3 - -3. Let f = b - z. Does 2 divide f?
False
Let h be 14/3*15/(-10). Let j = h + 5. Is -135*2/(-3) - j a multiple of 25?
False
Suppose -31 - 368 = -3*p. Does 7 divide p?
True
Suppose -168*w + 177*w = 2700. Is 15 a factor of w?
True
Let d(v) = 208*v - 13. Is 9 a factor of d(4)?
True
Let w be 1*3/(-12) - (-49)/4. Is 23 a factor of -2*415/(-6) - w/36?
True
Let p(x) = 201*x**2 + 5*x - 7. Does 30 divide p(2)?
False
Let f(w) = w**3 - 13*w**2 - 15*w + 18. Suppose 7 = 5*z - 63. Let g be f(z). Suppose -5*s + 135 = 5*o, -3*s + 0*s + 67 = -g*o. Does 4 divide s?
False
Let x = 6 + 2. Suppose -3*g + u - 6*u = x, -3*g = -5*u + 58. Is g/((-33)/126) + -2 a multiple of 10?
True
Suppose t + 2*t - 24 = 0. Let w = 1 - -1. Suppose -w*u - 2 = -t. Is u even?
False
Let l = -38 - -43. Let r = 90 + l. Is r a multiple of 19?
True
Suppose 0 = -24*f + 19*f - 140. Let h = 64 + f. Is h a multiple of 12?
True
Let j(d) = -7 + 3*d - 4*d + 17*d - 10. Is 6 a factor of j(4)?
False
Suppose 0 = 5*b - 2*b + x - 1263, 4*b - x - 1677 = 0. Is 84 a factor of b?
True
Suppose -3*j - 5*x = 2*j - 5, 3*j - 35 = 5*x. Suppose -j*h + 207 - 7 = 0. Is 10 a factor of h?
True
Let g = -90 - -94. Suppose -4*j + 1074 = -4*m + 230, j = -g*m + 201. Does 13 divide j?
False
Suppose -14 = h - 22. Does 6 divide (-1 - -2 - -3)*h?
False
Let c(i) = -2*i**2 - 12*i + 3. Let p be c(-6). Suppose -3*o = -3, 10*d + p*o - 73 = 5*d. Does 2 divide d?
True
Let m be -25 + 1 - 4*-1. Let a = 63 + m. Let w = a - 24. Is 16 a factor of w?
False
Let i be (-2)/(-2) + -4 + 6. Suppose 1 - 7 = i*l. Let z = l + 20. Is 12 a factor of z?
False
Let v be -2*5/((-20)/26). Let c be (-11 + v)*5/2. Suppose 135 = c*t - 65. Does 8 divide t?
True
Does 9 divide (1042/6)/((143/(-33))/(-13))?
False
Let r = -13 - -15. Suppose 0 = -4*i + v + 393, -v = i + r*v - 108. Is i a multiple of 11?
True
Suppose -n - 246 = -3*n. Does 3 divide n?
True
Let t be 0 + 6 + -2 - -1. Let a = 16 + 35. Suppose 24 = t*x - a. Is 5 a factor of x?
True
Suppose 8 = -2*m + 24. Suppose 11*f - m*f - 276 = 0. Is 23 a factor of f?
True
Let w(z) = -39*z + 3. Let x(f) = 17*f + 1. Let u(a) = 16*a + 2. Let i(k) = -2*u(k) + 3*x(k). Let j(s) = -5*i(s) - 2*w(s). Is 17 a factor of j(-4)?
False
Suppose -149*h + 166*h - 47855 = 0. Is h a multiple of 88?
False
Let l(p) = -p**3 - 4*p**2 - 3*p - 2. Let b be l(-2). Let q be b/(-6) + (-28)/6. Does 15 divide 65/4 - (-1)/q?
False
Let m(b) be the first derivative of 5*b**3/3 + b**2 + b + 1. Is 34 a factor of m(3)?
False
Let l = 152 + 25. Is 30 a factor of l?
False
Suppose 53*z + 4756 = 43393. Is 56 a factor of z?
False
Suppose -3*h = 4*f + 2 - 21, -5*f = -4*h - 47. Suppose 5 + f = 3*y. Is (y + 34/(-4))*-8 a multiple of 12?
True
Let n(h) = 99*h**2 + 4*h - 3. Let j be n(1). Does 2 divide (-10)/35 - j/(-7)?
True
Let r(i) = i**3 + 8*i**2 + 4*i + 7. Does 4 divide r(-6)?
False
Suppose x - 34 = 5*t - x, -t - 16 = -5*x. Is 29 a factor of ((-4)/(-6))/(t/(-774)) - 3?
False
Let j(h) = h - 15. Let b be j(11). Does 16 divide 43 - (-1)/(b/12)?
False
Suppose 790 = 5*n - 900. Let r be 5/(-20) + n/8. Suppose 2*d + 2*v = r, -3*v = 2*v - 5. Is d a multiple of 5?
True
Let v(w) be the second derivative of w**5/20 - 5*w**4/12 + w**3/2 - 5*w**2/2 - w. Let h be (18/(-10) - -2) + 24/5. Is v(h) a multiple of 5?
True
Suppose 2*n + 3*v - 606 = 0, 2*n + 4*v - 610 = 3*v. Is 10 a factor of n?
False
Let s(z) = 12*z**2 - 19*z + 217. Does 8 divide s(7)?
True
Let d = 787 - 323. Suppose k + 3*k - d = 0. Does 13 divide k?
False
Let t(p) = -36*p - 2. Let r be t(2). Let n = -71 - r. Is n even?
False
Let p(c) = -4*c**2 + 4*c - 2. Suppose -m + 2*m - 2 = 0. Let v be p(m). Is 15 a factor of ((-225)/v)/((-2)/(-4))?
True
Let a be (-1)/(-1) - (-27 - -29). Let b(h) = 136*h**2 + 1. Is b(a) a multiple of 9?
False
Suppose -50*r + 53*r - i = 4322, -4*r + 3*i = -5756. Does 74 divide r?
False
Let r(q) = -q**2 - 1. Let w(y) = -5*y**2 - 11*y + 24. Let f(n) = -6*r(n) + w(n). Does 13 divide f(14)?
False
Let n = -41 - -46. Suppose n*u + 0*h - 654 = h, -3*u = 3*h - 396. Is u a multiple of 13?
False
Let q be (-172)/5*(-15)/2. Suppose -2*w - w - 2*v = -142, 0 = -5*w + 2*v + q. Does 5 divide w?
True
Let u(m) be the first derivative of -m**5/20 - m**4/12 + m**3/6 + 19*m**2 + 8*m + 7. Let p(t) be the first derivative of u(t). Is 17 a factor of p(0)?
False
Let z(p) = -11*p + 61. Does 50 divide z(-15)?
False
Suppose 0 = 5*a + 4*y - 2652, -4*a - 4*y + 2713 = 593. Does 14 divide a?
True
Suppose -2*c - 4*n = -4, 5*c - 10 = -2*n - n. Suppose -6*i + 5*i - 3*x + 64 = 0, -c*i = -4*x - 78. Is 34 a factor of i?
False
Let p(u) = -516*u - 213. Does 31 divide p(-6)?
True
Let c be 249/(-27) + 40/18 + -2. Let q(j) = -j**3 - 8*j**2 - 10*j - 21. Is 25 a factor of q(c)?
True
Suppose 0*c - c - 5 = 0. Let a(g) = 7*g**2 + 5*g - 10. Let p be a(c). Suppose 4*v = 8*v - p. Is v a multiple of 6?
False
Is -1 - (-18)/10 - (-66)/5 a multiple of 7?
True
Suppose 9 = 4*a - 3. Suppose -4*b + 4*h = -116, h + 87 = a*b - 3*h. Is b/(2/6*3) a multiple of 8?
False
Suppose 0 = 491*m - 499*m + 1200. Does 36 divide m?
False
Suppose -52 - 20 = 3*v. Is (-2268)/v - (-3)/2 a multiple of 16?
True
Let h be 1058/6 + (-22)/(-33). Suppose 3*o + 2*v = 276, 2*o - 2*v + v - h = 0. Does 15 divide o?
True
Suppose 8*p - 1254 - 1530 = 0. Is 29 a factor of p?
True
Let b be 3*(-6)/(-4)*74. Suppose -r = -4*p - 4*r + b, 332 = 4*p + 4*r. Is 6 a factor of p?
True
Suppose 0 = -57*z + 55*z. Suppose 