r of z?
True
Does 31 divide 2*((-399)/(-6) - 0)?
False
Let s = -459 - -603. Is 16 a factor of s?
True
Suppose 0 = 2*l - 6 - 98. Let d = l + 14. Does 33 divide d?
True
Let w be -1 + 0 + (9 - 42). Let b = 50 - w. Is 13 a factor of b?
False
Is (-6 - -35)/((-4)/(-52)) a multiple of 13?
True
Let b(f) = f**3 - 9*f**2 - 9*f + 9. Let a be b(10). Let d = -4 + a. Is 8 a factor of (-24)/d*(-105)/6?
False
Let v(y) = -8*y + 4. Let o be v(-5). Suppose -8 = -o*r + 43*r. Does 8 divide r?
True
Suppose 0 = 6*s - 2*s - 384. Is 1/3 - s/(-9) a multiple of 11?
True
Let q(f) be the second derivative of f**5/60 + f**4/12 + 2*f**3/3 + 2*f**2 - 6*f. Let d(x) be the first derivative of q(x). Is 11 a factor of d(-6)?
False
Let l = -119 - -85. Let m(f) = -3*f**3 - 8*f**2 - 15*f - 9. Let u be m(-4). Let t = l + u. Is 27 a factor of t?
True
Is 10 a factor of (27 - 15)*(0 - (-10)/4)?
True
Let p = -6 + 7. Let f be 12*((-4)/(-6))/p. Suppose -f = -3*m + 13. Is m a multiple of 2?
False
Suppose -4*x - 5*a = -x - 1936, 3*x + 2*a - 1939 = 0. Is 105 a factor of x?
False
Let g(t) = 4*t**2 - 16. Let f(o) = o**2 - 5. Let z(p) = -7*f(p) + 2*g(p). Let l be z(-4). Let k = -4 + l. Does 15 divide k?
True
Suppose -7*m - 26 = 121. Let s = m - -133. Is 14 a factor of s?
True
Suppose 632*v - 622*v = 7410. Does 39 divide v?
True
Suppose f - 5 - 10 = 0. Suppose 5*s + 6*v + f = 3*v, 4*s + 2*v = -10. Suppose s = -3*p + 2*r - 8 + 172, 240 = 5*p + 5*r. Is 12 a factor of p?
False
Suppose 3*k - 24*k + 4620 = 0. Is 20 a factor of k?
True
Let b(j) be the third derivative of j**6/120 + 2*j**5/15 - j**4/24 + 8*j**3/3 - 37*j**2. Does 6 divide b(-5)?
True
Let z(r) = -7*r + 4. Is z(-2) a multiple of 6?
True
Let f = -5 + 3. Let o(i) = -17*i**3 - 5*i**2 - 3*i + 2. Is 26 a factor of o(f)?
False
Let m = -18 - -21. Suppose -6 - 54 = 5*a. Is (-8)/a - (-223)/m a multiple of 25?
True
Let r = -35 + 39. Suppose 0 = q + 2*s - 104, -r*q + 331 = 3*s - 75. Is 10 a factor of q?
True
Let b = -22 - -22. Let a = 22 + -13. Is a*(b/(-2) + 2) a multiple of 17?
False
Let l be 2 + -9 + (-3 - -8). Is 30 a factor of ((-10)/(-15))/((-1442)/(-720) + l)?
True
Suppose -5*q + 12 = -13. Suppose 0 = q*k + 3*w + 4 - 24, -4 = -k + 5*w. Suppose 141 = k*i - 103. Is i a multiple of 8?
False
Let q(h) = -17*h + 24. Let t(r) = -17*r + 24. Let a(k) = -3*q(k) + 2*t(k). Let g be a(10). Suppose g = 5*s + v, 0*s + 4*v = -3*s + 91. Is s a multiple of 6?
False
Suppose z = -5*x + 28, 3*x - 2*z + 3*z - 18 = 0. Does 2 divide x?
False
Let i = 1297 - 157. Is i a multiple of 20?
True
Let x(i) = i**3 + 20*i**2 + 22*i - 11. Is x(-7) a multiple of 3?
False
Suppose 2*f = -6, 133 = q - 5*f - 66. Is 15 a factor of q?
False
Let t(o) = -o**3 + 24*o**2 + 64*o + 11. Does 6 divide t(26)?
False
Let h(m) = -m**2 + 3*m + 2. Let x be h(2). Suppose x*b - 7*b + 105 = 0. Let g = -23 + b. Is g a multiple of 5?
False
Suppose -4 - 5 = k. Let s be 30/k*12/5. Is 5 a factor of 231/12 + 2/s?
False
Let f = 262 - 400. Let i = -33 + -176. Let a = f - i. Is 24 a factor of a?
False
Suppose 0 = -4*l + 1172 - 116. Is l a multiple of 6?
True
Let i(a) be the first derivative of -a**3/3 - 6*a**2 - 14*a - 6. Does 3 divide i(-10)?
True
Suppose -99 + 19 = -4*x. Let n = 59 - x. Is n a multiple of 13?
True
Suppose u - 3*j - 407 = 0, 9*j - 12 = 13*j. Does 17 divide u?
False
Let c = 446 + 36. Is 13 a factor of c?
False
Suppose 6*h - 5 = 37. Suppose h*a - 184 = -30. Is 13 a factor of a?
False
Let g = 30 - 41. Let u(f) = f**3 + 12*f**2 + 10*f + 11. Does 7 divide u(g)?
False
Let y = 402 - 271. Is y a multiple of 10?
False
Suppose 0 = -n - 8. Let c(j) = 2*j**2 + 8*j - 10. Does 18 divide c(n)?
True
Suppose 10 = 5*c - 15. Suppose -21 = 2*x + x - v, c*v = -15. Let r(j) = -7*j + 2. Is r(x) a multiple of 11?
False
Suppose 2*g + 1 = g. Let k be 10/((6/(-9))/g). Suppose 2*v - 33 = -0*b - 3*b, k = 5*b. Is 6 a factor of v?
True
Let t = -324 - -881. Is 35 a factor of t?
False
Let t be 4/(-6)*(-960)/8. Suppose 20 = -l + t. Does 10 divide l?
True
Suppose 2*s = 4*o + 378, -4*s + 5*o = 2*o - 736. Does 31 divide s?
False
Suppose 0 = -5*s - 8*n + 10*n + 4818, 4*s - 5*n - 3868 = 0. Does 13 divide s?
True
Let j(h) = -95*h - 55. Is j(-7) a multiple of 41?
False
Suppose 0 = -162*n + 168*n - 252. Is n a multiple of 14?
True
Let g = -6 + 7. Let v be 7/3 - g/3. Suppose 2*h - 26 = -0*h - 2*s, 0 = -v*h + s + 17. Is h a multiple of 5?
True
Let c(v) = 299*v**2 + 9*v + 9. Does 25 divide c(-1)?
False
Let m be (10 + -1)*(-7)/21. Let k be (-6 + 3)*(-2)/m. Is 22 a factor of (36/(-45))/(k/150)?
False
Let f(r) = r**2 - r - 1. Let d(l) = 2*l**2 - 7*l + 5. Let o(a) = -d(a) + 3*f(a). Does 22 divide o(8)?
True
Suppose 2*f + w + 4*w + 16 = 0, 0 = 3*f + w - 2. Let x be (1 + -3)*f - -1. Is 0 + -1*3*x a multiple of 3?
True
Suppose 0*l + 4*l - 62 = -5*h, 4*l = -h + 22. Is ((-188)/h)/(2/(-5)) a multiple of 16?
False
Let f = 610 + -386. Does 8 divide f?
True
Is 12 a factor of (-6 - (-343)/56) + 3263/8?
True
Let t(c) = -c**2 + 20*c + 163. Is 26 a factor of t(19)?
True
Let s = -260 - -464. Suppose -3*b + 7*b = s. Suppose 3 = -4*n + b. Is 9 a factor of n?
False
Suppose 59 = d + 4*t, 4*d - d - t - 164 = 0. Suppose 30 = -3*m + 3*o, 4*o - 4 = -3*m - d. Let s(x) = -9*x - 18. Does 12 divide s(m)?
False
Does 2 divide (-35)/(-315) - 629/(-9)?
True
Suppose -2*v - 1861 = -c, -8*v = 5*c - 5*v - 9370. Does 19 divide c?
False
Is 55 a factor of -3 + 3 + (-3520)/(16/(-8))?
True
Suppose -12 = 5*y + 13. Let r(b) = 2*b**2 - 2*b + 16. Is 6 a factor of r(y)?
False
Let j be (-18*4)/(18/(-63)). Suppose x = -2, -4*p + j = x + x. Is p a multiple of 32?
True
Let s = -26 - -26. Suppose -14 - 12 = -g + 5*v, g + 3*v - 26 = s. Does 15 divide g?
False
Let s(v) = -33*v - 26. Is 7 a factor of s(-8)?
True
Suppose 11*x = 10*x + 2040. Is 120 a factor of x?
True
Let n(o) = 304*o - 880. Does 4 divide n(5)?
True
Let t(a) = 2*a**2 - 6*a. Let b be t(4). Suppose 0 = -13*k + b*k + 125. Does 5 divide k?
True
Suppose -1997 = -11*m + 2502. Is 11 a factor of m?
False
Suppose 4*z = 2481 + 5043. Is z a multiple of 57?
True
Suppose 0*a = 5*a + 110. Let h(l) = -8*l - 57. Is h(a) a multiple of 4?
False
Let b(y) = -y**3 - 11*y**2 - 9*y + 11. Let u be b(-10). Is 59 - (u + 1)/(-2) a multiple of 12?
True
Let f be 5 + 3/(5 + -2). Suppose 10 = -5*v + f*v. Suppose 4*z - v = 3*z. Is 10 a factor of z?
True
Suppose w = 250 + 409. Is w a multiple of 60?
False
Let j(t) = -t**3 + 6*t**2 - t + 12. Let y be j(6). Suppose -y*z + 704 = -856. Is 52 a factor of z?
True
Let v(y) = y**3 + 3*y**2 - 5*y + 5. Let a be v(-6). Let g be (-3 + a)/((-4)/6). Suppose -9 = -c - 5*i, 0 = -3*c - i - 17 + g. Is 34 a factor of c?
True
Let b = 67 + -47. Let c be 10*((-32)/b)/(-2). Suppose 45 = -c*j + 13*j. Is 9 a factor of j?
True
Let y be 12*(4/(-3))/(-4). Suppose -y*i - 48 = -6*i. Does 3 divide i?
True
Let d(b) = -8*b**3 - 3*b**2 + b + 2. Let i = 9 - 20. Let f be 20/i - 14/77. Is d(f) a multiple of 18?
False
Let m(n) = n**3 - 10*n**2 - 2. Let g be m(10). Let f be (-26)/g*(-3)/(-3). Let v = f - -5. Is 3 a factor of v?
True
Is 49 a factor of -1 - ((-589)/1 + -2 - -2)?
True
Let l = -207 + -85. Let a = 653 + l. Suppose 0 = 2*o + 3*o + 20, o = -5*g + a. Is g a multiple of 20?
False
Suppose 13716 = -6*d + 24*d. Is d a multiple of 46?
False
Let s(y) = 11*y**2 + y + 6. Suppose 4*j - 27 = 13*j. Is s(j) a multiple of 13?
False
Let x(a) = a**3 + 4*a**2 - 4*a - 2. Let q be (3/(15/40))/2. Is x(q) a multiple of 34?
False
Let g be 2/(-6) + 130/30. Suppose g*n = 325 + 155. Is n a multiple of 30?
True
Let m(j) = 27*j + 12. Let c be m(2). Suppose -2*u + k = -0*k - c, 0 = 2*u + 5*k - 42. Is u a multiple of 8?
False
Let m(p) be the third derivative of 1/6*p**5 - 1/2*p**3 + 0 + 1/24*p**4 + 0*p - 7*p**2. Is 21 a factor of m(-3)?
True
Let b = -91 + 157. Let c(m) = m**3 + 8*m**2 - 6*m + 4. Let n be c(-7). Let t = n - b. Is t a multiple of 15?
False
Let o = 0 + 4. Suppose o*r + 4 = h + 2*r, 3*r = h - 3. Let t = h - -11. Is 5 a factor of t?
False
Let i = -944 + 3244. Is i a multiple of 29?
False
Suppose -2*t - 38 = -3*t. Let c = -3 - 2. Does 3 divide 8/20 - t/c?
False
Let o(c) = 2*c**2 - c + 5. Let u be o(-4). Let b = 874 - 813. Let t = b - u. Is 3 a factor of t?
False
Suppose -21770 = -49*j + 44*j. Is 13 a factor of j?
False
Suppose 0 = 3*z + z - 20, -5*z 