divide f?
False
Suppose -23 = -3*n - 113. Let v = -3 - 1. Let h = v - n. Does 13 divide h?
True
Suppose 2*j = -2*o - 0*j + 20, 2*j - 65 = -5*o. Let d(c) = -15*c + 18 + c**3 - 11*c**2 - 5*c**2 + 2*c**2. Does 15 divide d(o)?
False
Let p(h) = -7*h**3 + 4*h**2 + 6*h + 180. Does 12 divide p(-8)?
True
Let l = 92 - -72. Suppose -12*p = -8*p - l. Is 10 a factor of p?
False
Suppose 5*c = -2*q - 25, 5*q + 67 - 15 = -2*c. Is (-32 + 4 + -7)*q/7 a multiple of 4?
False
Let n(w) = -17*w - 35. Suppose -6*i + 4*i + 3*f = 7, 2*i - 5*f = -5. Is n(i) a multiple of 5?
True
Let l = -44 - -42. Is 3 + (-52)/(-6)*(-33)/l a multiple of 34?
False
Suppose h - 4*d - 2 = 0, 2*h + 3*d = -h + 6. Suppose -5*c = -h*i + 143, 4*i = 3*c - 7*c + 216. Suppose -10 + i = f. Does 19 divide f?
False
Let a = 66 + -40. Let x = a - -9. Suppose 4*b - 3*p = 226, 5*b - x = -2*p + 236. Does 19 divide b?
False
Suppose -8 = 5*h - h. Let d be -7 - -4 - (h - 1). Suppose s - 6*s + 335 = d. Is 23 a factor of s?
False
Suppose 4*x - 3*x + 6 = 0. Let j be (36/x)/(2/2). Let f(t) = -5*t - 6. Is f(j) a multiple of 6?
True
Let j(w) = -3*w**2 + 2*w + 3. Let v be j(5). Suppose z + z - 178 = 0. Let f = v + z. Is f a multiple of 15?
False
Let j(a) = a**3 + 12*a**2 - 16*a + 1. Suppose 2*t + b = -30, -3*b - 59 = 3*t - 8. Does 14 divide j(t)?
False
Let j(a) = -85*a + 2. Let t be j(-1). Suppose n - 63 = 59. Let v = n - t. Does 10 divide v?
False
Let u be (12/9)/(4*3/(-162)). Let q = 58 + u. Is q a multiple of 8?
True
Suppose -4*j = -3*j - 12. Let n be ((-15)/(-6))/((-11)/22). Let v = j - n. Is 11 a factor of v?
False
Suppose -4*y + 2*o + 3023 = 39, -5*o - 2224 = -3*y. Is 22 a factor of y?
True
Suppose 1449 = 4*f + 189. Suppose 0 = -15*l + 10*l + f. Is 16 a factor of l?
False
Let j = 8 + -5. Suppose -a + 0*a = -j. Suppose -a*u = -5*u + 82. Is u a multiple of 6?
False
Let b = -284 - -656. Is 12 a factor of b?
True
Let n = -12 - -10. Let r be 4/(n + 0 - -3). Suppose -r = f - 31. Is f a multiple of 26?
False
Suppose -3*t - 513 = -4*u - 6*t, -t = u - 129. Does 63 divide u?
True
Let v = -1982 + 1340. Let i = -379 - v. Is 39 a factor of i?
False
Let n = 29 + -25. Suppose -n*j = -12 - 0, 3*d + j = 183. Does 10 divide d?
True
Is (195 - 11) + 7/(-1) a multiple of 18?
False
Is ((-6)/(-4))/1*232/6 a multiple of 10?
False
Let p(z) = 4*z**2 - 2*z. Let h(i) = -4*i + 8*i**2 + 0*i**2 - 7 - i**3 - 2*i**2. Let a be h(5). Is p(a) a multiple of 5?
True
Does 7 divide (18 - -409) + (-7)/1?
True
Let n be (2*15/(-10))/(1/(-45)). Suppose t - 6*t = -n. Does 4 divide t?
False
Let b = 6287 + -2981. Is 29 a factor of b?
True
Let u = -222 - -373. Does 15 divide u?
False
Let z(h) be the third derivative of h**6/120 + h**5/20 + h**4/8 - h**3/3 + 5*h**2. Let l be z(3). Let k = l + -28. Is 33 a factor of k?
True
Let r = 15 - 12. Let z(x) = -3*x**2 + 3 + 14*x**2 - 4*x**2 - 5*x. Is 19 a factor of z(r)?
False
Let x(n) be the second derivative of n**4/12 + 5*n**3/2 + 8*n**2 - n. Let b be x(-14). Suppose 2*y = 2*t + 50, -b*y - 5*t + 50 = -3*t. Is 9 a factor of y?
False
Is 24*(16 + 5 + -3) a multiple of 3?
True
Let j(u) = 1175*u + 9. Does 74 divide j(1)?
True
Suppose 58 = 2*z - g - 51, 3 = 3*g. Let n = -20 + z. Is 8 a factor of n?
False
Suppose -4*f - 350 = -5*t, 0*f = -t + 5*f + 70. Suppose b = 2*w - w - t, 0 = 5*w + 5*b - 310. Is w a multiple of 33?
True
Let h = 1975 - 1862. Is 2 a factor of h?
False
Suppose 0 = -57*b + 60*b - 42. Does 9 divide b?
False
Let o(c) = c**3 + c**2 - 2*c - 4. Let u be o(-2). Does 33 divide -4 - u/((-16)/(-716))?
False
Let s be (-2 + -16)*(-8)/12. Let m = s - -114. Is m a multiple of 6?
True
Let n = -348 + 647. Let y = n + -113. Does 36 divide y?
False
Suppose 36*j - 200 = 32*j. Is j a multiple of 3?
False
Let l(v) be the second derivative of -31*v**3/6 + 9*v**2/2 - 13*v. Does 6 divide l(-2)?
False
Suppose -82*d + 2*u = -81*d - 89, -2*u = 8. Is d a multiple of 60?
False
Suppose -9*g + 135 = -6*g. Is g a multiple of 9?
True
Let u(h) = -h**2 - 5*h - 2. Let j be u(-3). Suppose 0*r - 140 = -j*r. Does 11 divide r?
False
Let h = 14 - 10. Suppose h*a + 176 = 2*r, 2*a + 88 = -4*r - r. Does 5 divide 1/3 - a/3?
True
Suppose 11*x - 9*x + 108 = 0. Let c = x - -146. Is 15 a factor of (-8)/12 - c/(-3)?
True
Let j = 129 - 39. Suppose -12*x + 30 = -j. Is 2 a factor of x?
True
Is 21 a factor of (-2557792)/(-737) + 12/(-22)?
False
Let b(v) = v**3 + 5*v**2 - 6*v + 3. Let c be b(-6). Suppose 4*d - 663 + 150 = 5*g, -5*g = c*d - 411. Is 12 a factor of d?
True
Let q be ((-4)/6)/((-6)/981). Let l = q - -51. Does 10 divide l?
True
Let d = -113 + 185. Suppose -w + d = w. Is w a multiple of 18?
True
Let u(i) = i**3 + 9*i**2 - 8*i - 7. Does 5 divide u(-7)?
False
Let d(z) = z**2 - 24*z + 29. Let k(j) = -j**2 + 24*j - 29. Let s = -21 + 14. Let q(x) = s*d(x) - 6*k(x). Is q(20) a multiple of 17?
True
Suppose -5*f + 2*b + 8 - 39 = 0, 0 = -f - 4*b + 7. Let y be ((-8)/(-10))/(f/(-25)). Suppose 0*u + 16 = y*u. Is u a multiple of 3?
False
Suppose -4 = 4*y, 3*y = -0*n + 3*n + 567. Let k be n/(-70) + 4/14. Suppose k*i = 8*i - 55. Does 10 divide i?
False
Let o = 3 - 0. Suppose o*l = -0*l + 384. Let v = l + -34. Is 14 a factor of v?
False
Suppose 6*z = 5*d + 3*z + 15, -d + 19 = -5*z. Does 16 divide (-1 - d)*448/20?
True
Suppose -x - x + 4*h = 8, -2*h + 12 = -5*x. Does 11 divide x*(-3)/4*22?
True
Let l = 1191 - 672. Is l a multiple of 31?
False
Suppose 15 = -4*v - 4*w - 21, -3*v + 2*w = 12. Let b be ((-6)/2)/((-3)/16). Does 4 divide b/(-3)*9/v?
True
Let b = 373 + 61. Does 31 divide b?
True
Let v(s) = -s**2 - 5*s - 4. Let l be v(-3). Suppose -3*t = o - 32, o + 10 + 8 = l*t. Is 3 a factor of t?
False
Let u(o) = -8*o - 7. Let v(p) = -7*p - 6. Let r(i) = 5*u(i) - 6*v(i). Let b be r(-6). Let n = b + 20. Does 9 divide n?
True
Suppose -q + 0*q = -p + 2, -3*p + 9 = 0. Let v be (-3 - -4)*(q - -56). Suppose 0 = 3*g - v + 3. Is g a multiple of 8?
False
Let w = 63 + 45. Let g = -48 + w. Does 15 divide g?
True
Let m be 88/16*(3 - 1). Suppose x = 51 + m. Is x a multiple of 11?
False
Suppose -446 = -3*d - 2*f, d - 158 = -0*d + 4*f. Let k = -69 + d. Does 26 divide k?
False
Is 20 a factor of (-160)/24*(-876)/10?
False
Suppose -8*r + 1120 = -3*r. Does 7 divide r?
True
Does 28 divide (-3)/(-2*(-8)/(-5072))?
False
Let h be 4/(-48) + (-507)/(-36). Let l(t) = 0*t - 1 - 10 + 19*t - t**2. Does 25 divide l(h)?
False
Let s = 2 - -987. Is 16 a factor of s?
False
Does 41 divide -1 - ((-12)/20 - (-8592)/(-30))?
False
Let g(h) = 3*h**3 + 2*h**2 - 3*h + 2. Let x be g(1). Suppose x*u = -u + 360. Is u a multiple of 10?
False
Let j = -20 - -162. Is j a multiple of 12?
False
Let l = 19 + -19. Suppose 0 = v - 7 + 6. Suppose l = j - 20 + v. Does 7 divide j?
False
Suppose -2*c + c + 113 = -4*u, 5*c + u - 628 = 0. Is c a multiple of 63?
False
Let z(s) = -4*s - 3. Let k be z(-6). Let y be (28/(-6))/((-2)/6). Let v = k - y. Does 7 divide v?
True
Suppose -4 = -3*m + 8, 5*n - 2 = 2*m. Let c(z) = -4*z + z**2 + z**n - z - 1. Is 11 a factor of c(6)?
False
Let g = 1049 - 929. Does 30 divide g?
True
Let s(o) = -31*o - 9. Suppose 14 = -3*u - p, 0*p - 10 = 3*u + 5*p. Let f be s(u). Suppose -5*b + f = -64. Does 6 divide b?
True
Does 59 divide ((-708)/10)/(11/((-2310)/12))?
True
Let q(m) = m - 4. Let u be q(4). Suppose u*j + 792 = 4*j. Suppose 3*i = 3*s - 303, 0*i + 4*i + j = 2*s. Is 13 a factor of s?
False
Let h be 46/10 - (40/25 - 2). Suppose 6*a - h*a = 120. Is 11 a factor of a?
False
Suppose -6*c + g = -11*c + 11878, 4*g - 9496 = -4*c. Does 132 divide c?
True
Let l(q) = -14*q**2 + 33*q - 31. Let i(w) = -9*w**2 + 22*w - 21. Let m(x) = 8*i(x) - 5*l(x). Let d be m(6). Let r = -8 - d. Is 4 a factor of r?
False
Let t = 83 - 13. Suppose -t = -4*k + 214. Suppose -2*o = 27 - k. Is 8 a factor of o?
False
Suppose -5*r - 24 = -2*g - 3*r, 5*g + 2*r = 39. Suppose 4*y + 560 = g*y. Does 9 divide 976/y - (-4)/14?
True
Let u(s) = s**3 - 6*s**2 - 5*s + 10. Let p be u(7). Let d = p + -11. Does 13 divide d?
True
Let z(x) = 3*x + 6*x + 2 - 5*x. Let w(r) = 2*r**2 + 6*r - 5. Let j be w(-4). Does 7 divide z(j)?
True
Suppose -o + 660 - 210 = 0. Does 58 divide o?
False
Let l(d) be the third derivative of -d**6/24 - d**5/20 + d**3/6 + 6*d**2 - 3*d. Is 4 a factor of l(-3)?
False
Let f = 3300 + -1331. Is f a multiple of 25?
False
Is 16 