de r?
True
Let h(l) = l**3 + 6*l**2 - 7*l + 5. Let n be h(-7). Let a = n + 4. Is 2 a factor of a?
False
Let q be (4/3)/((-18)/(-81)). Let r(s) = s**3 - 7*s**2 + 11*s + 10. Is 20 a factor of r(q)?
True
Let x = 1 - -10. Suppose -x*o = -4*o - 588. Is o a multiple of 21?
True
Let r = 107 + 243. Does 10 divide r?
True
Let j(n) be the first derivative of n**3/3 + 3*n**2/2 + 3*n - 2. Let m be j(-3). Suppose y - 2*s + 5*s = 48, -128 = -m*y - s. Is 14 a factor of y?
True
Suppose 2*s - 6 = 4*s. Let m be (-19)/s + 24/(-18). Suppose -2*i + 24 + 17 = -3*n, m*n = 2*i - 39. Does 11 divide i?
True
Suppose 20*x - 8415 = 15*x. Is 33 a factor of x?
True
Suppose 24531 = 38*j - 20081. Does 15 divide j?
False
Suppose 0*l + 6 = -l. Let n(t) = t**2 + 15*t + 17. Let y(h) = -h**2 - 13*h - 16. Let i(u) = -4*n(u) - 5*y(u). Is 18 a factor of i(l)?
True
Suppose -71*g + 74*g = 786. Does 57 divide g?
False
Let j = 4597 + -2980. Is j a multiple of 33?
True
Let q = -15 + 22. Suppose q*v + 129 - 612 = 0. Does 12 divide v?
False
Is 20 a factor of ((-1106)/(-49))/((-1)/(-7))?
False
Suppose -242 - 168 = -5*u - s, -u + 103 = -4*s. Let c be -3 - ((u - -3) + -2). Let o = c - -124. Is 10 a factor of o?
False
Let w(t) = -215*t**2 + 2*t + 2. Let v be w(-2). Let l be 12*(-1 + v/(-6)). Does 22 divide l/26 + 10/65?
True
Let f(k) = k + 10. Let l be f(-3). Suppose -l*c + 312 = -5*c. Suppose q = 4*h + 24, 0*q - 2*h - c = -5*q. Does 8 divide q?
True
Let x(u) = -3*u + 2. Let g(t) = -t**2 - 2*t**2 - t**3 - 4*t - 4 - 2*t**2. Let k be g(-4). Is x(k) a multiple of 8?
False
Let o(r) = r**2 - 2*r + 94. Does 30 divide o(14)?
False
Suppose -2*d = -7*d - 2*f + 2710, 0 = d + f - 539. Does 34 divide d?
True
Suppose d + 4 - 14 = 0. Let x be (-3 - -3) + (-3 - d). Is (0 - -1)/(x/(-689)) a multiple of 7?
False
Suppose -578 = -4*s - 2*q - 3*q, 0 = -3*s + 2*q + 422. Let k = s - -34. Suppose 4*d - k = h + 3*h, -4*d = -3*h - 171. Does 13 divide d?
True
Suppose -2*r + l = -0*l - 8, 4*r - 12 = 4*l. Suppose -r*w + 292 = 122. Is 14 a factor of w?
False
Let n(d) = -d**3 + d**2 + d + 23. Let v(w) = -w**3 - 7*w**2 - w + 4. Let i be v(-6). Let u = i - -26. Does 13 divide n(u)?
False
Suppose 117*k - 124*k = -7084. Does 11 divide k?
True
Suppose 3*o = 4*i - 213, 4*i + 11*o = 13*o + 210. Does 4 divide i?
False
Suppose 4*i - 5*i + j + 628 = 0, 5*i = -3*j + 3148. Let p = -2349 + i. Is 6/(-39) + p/(-26) a multiple of 17?
False
Suppose 0 = -5*k - 3*i - 39 + 183, -i - 152 = -5*k. Is ((-342)/15)/(-4 - (-116)/k) a multiple of 31?
False
Let b(u) be the third derivative of u**7/336 + u**6/60 - 7*u**5/60 + 2*u**2. Let m(c) be the third derivative of b(c). Is 18 a factor of m(4)?
True
Suppose -t - 13 = -2*t. Let m = t + 15. Is m a multiple of 28?
True
Suppose 0 = m + 18 - 2. Let r be ((-8)/m)/(2/76). Let f = r + 25. Is 12 a factor of f?
False
Let o = 17 + -12. Suppose -2*m - 46 = 2*m - 2*i, -o*i = -2*m - 19. Let b = 20 - m. Is 9 a factor of b?
False
Let p = -172 - -652. Is 15 a factor of p?
True
Let p(o) = o**2 + 7*o - 10. Suppose -4*v = 0, 4*u + u = -3*v + 20. Is p(u) a multiple of 9?
False
Suppose 0 = 8*q - 3*q - 3*x - 4614, -5*x + 3706 = 4*q. Is 12 a factor of q?
True
Let n = -968 - -1526. Does 9 divide n?
True
Suppose -13 + 1 = -4*x. Suppose x*q - 406 = -2*t, -3*q + 3*t = -t - 394. Is q a multiple of 33?
False
Let r(y) = -y**3 - 6*y**2 + y - 1. Let l(o) = -o**3 + o**2 + o - 1. Let w(q) = -2*l(q) + r(q). Let j be w(6). Let c = 116 + j. Is c a multiple of 13?
True
Let y = 307 + -207. Let x = 105 + y. Is x a multiple of 20?
False
Let i be 3/1 - (-9 + 3)/(-6). Suppose -2*y - y - 3*g + 738 = 0, -i*y + 492 = -2*g. Is y a multiple of 41?
True
Let h = 78 + 410. Suppose 3*x + 47 - h = 0. Does 34 divide x?
False
Suppose -189*b + 163*b = -30914. Does 74 divide b?
False
Let d(n) = -n**2 + 2*n - 1. Let q be d(3). Suppose -5 = m - 7. Is 6 a factor of 12 - q/(-2 - m)?
False
Let a(c) = -c**2 - 10*c + 3. Suppose 2*i - 16 = -5*x, -5*x + 0 + 10 = 0. Suppose -i*s + 57 = -5*p - 0*p, 5*s = 5*p + 65. Is a(p) a multiple of 2?
True
Does 5 divide ((-576)/27)/(6/(-9))?
False
Let r = 1055 + -639. Is r a multiple of 32?
True
Let t be (-18 - -18) + 0/2. Let g(y) = -3*y**2 - y + 140. Does 14 divide g(t)?
True
Let y(m) = -m**2 - 8*m + 9. Let q = 63 - 23. Suppose 10*h - 5*h + q = 0. Does 3 divide y(h)?
True
Let m = -25 - -27. Let a be 4/m - (13 - 15). Suppose 7*g - 12 = a*g. Does 4 divide g?
True
Let m(y) = -y**2 + 1. Let v(k) = -11*k**2 + 7*k - 2. Let w(t) = 6*m(t) - v(t). Is w(4) a multiple of 15?
True
Suppose -4 = -2*f - 6. Let g(r) = -55*r**3 - r**2 + r + 2. Does 7 divide g(f)?
False
Let k(u) = -u**2 + 6*u + 7. Suppose -l = v - 9, 0*v = -2*l + 3*v + 3. Let t be ((-18)/10)/(l/(-20)). Does 6 divide k(t)?
False
Suppose u + 5*n = -22, 4*n + 0 = -5*u - 5. Suppose -2*p = -u*p + 51. Does 17 divide p?
True
Let h = -29 - -40. Suppose h*o = 9*o. Suppose o = 2*a - 28. Is 7 a factor of a?
True
Let h(s) = s**2 + 2*s - 10. Let j(f) = f**2 - 15*f - 8. Let d be j(15). Let p be h(d). Let y = 63 - p. Is y a multiple of 13?
False
Suppose 12*r = 4913 + 5131. Is 47 a factor of r?
False
Suppose 0 = d + 3, 4*n = 2*n + d + 9. Suppose n*x - 64 = -19. Does 12 divide x?
False
Let s = 9 - 7. Suppose 9 = 2*x + 3*h - s*h, 6 = 2*x + 4*h. Suppose 0 = -x*a - 138 + 448. Is 31 a factor of a?
True
Let y(p) be the third derivative of p**4/6 - p**3/6 + 2*p**2. Suppose 2*s - 3 = -s. Does 3 divide y(s)?
True
Let n(g) = 4*g**3 - 20*g**2 + 13*g - 17. Is 6 a factor of n(6)?
False
Suppose 0 = -5*x + 4*t - t + 2142, 0 = 4*x + 4*t - 1720. Does 11 divide x?
True
Let d(i) = -i**2. Let p(l) = -l**3 - 15*l**2 + 12*l. Suppose 0 + 5 = -5*b. Let o(c) = b*p(c) + 6*d(c). Is o(-10) a multiple of 16?
False
Let r be (860/(-7))/((-35)/245). Suppose -18*q = -22*q + r. Is q a multiple of 11?
False
Let q(j) = 15*j**2 + 32*j + 52. Is q(12) a multiple of 127?
False
Let a(i) = 30*i + 186. Does 28 divide a(19)?
True
Let o(l) = 6*l**3 + 4*l**2 + 10*l - 12. Let b be o(6). Suppose -6*f + b = -3*f. Suppose -k = 5*a - 501, 0*a + 5*a = 4*k + f. Is 20 a factor of a?
True
Let t = -36 - -34. Let a(l) = -3*l**3 - 4*l**2 - l + 2. Is a(t) a multiple of 2?
True
Let o be ((-63)/14)/(6/8). Let d = 11 + o. Suppose 7 = -r - d*h - 1, 5*r - 23 = -4*h. Does 7 divide r?
True
Suppose f - 2*a - 12 + 2 = 0, 0 = 4*f + 4*a - 28. Let i = f + 8. Does 4 divide i?
True
Let r be (-102)/(-8) - (-2)/8. Suppose 2*y - y + r = 0. Let s = 19 + y. Is s a multiple of 6?
True
Let k(z) = -z**3 - 3*z**2 + 9*z - 9. Let b be k(-7). Let v = -3 + b. Does 20 divide v?
False
Let o = 110 - 48. Let x = o - 28. Is 15 a factor of x?
False
Let d(g) = -g**3 + 2*g**2 - 2*g + 2. Let n be 156/60 + (-6)/10. Let w be d(n). Does 19 divide 1/((-111)/57 - w)?
True
Let m be -2 + 2 + 22 + -1. Suppose m - 46 = -5*o. Suppose -69 = -z - 3*s, 290 = 5*z + o*s - 15. Is 15 a factor of z?
False
Let y(j) = 68*j**2 + 2*j - 1. Is 10 a factor of y(1)?
False
Let c(d) = -3*d + 20*d - 6*d + 59*d - 10. Does 13 divide c(2)?
True
Let x = -1140 + 1921. Is x a multiple of 46?
False
Let w(p) be the second derivative of p**5/20 + 7*p**4/12 - p**3/6 - 25*p. Does 13 divide w(-6)?
False
Let l(g) = -27*g + 4. Let s(z) = 80*z - 13. Let m(q) = -7*l(q) - 2*s(q). Is m(2) a multiple of 14?
True
Let p = 56 + -55. Let m(u) = 19*u - 3. Is 3 a factor of m(p)?
False
Let c(j) = 31*j + 177. Is c(-3) a multiple of 14?
True
Suppose 5*b - 487 = -3*k + 224, -585 = -4*b + 3*k. Suppose -6*r + b = -r - 4*p, 0 = -2*r - 3*p + 53. Is 5 a factor of r?
False
Let c = 1 + -15. Let r be (-5 + 5 + -4)/(4/(-80)). Let w = c + r. Is w a multiple of 22?
True
Let v = 15 - 11. Let k(h) = -3*h - v + 5*h - 6 + 15*h. Does 20 divide k(5)?
False
Let p = 3717 - 2596. Does 42 divide p?
False
Let y(x) = -89*x + 7. Let d be y(-3). Let k = -194 + d. Does 20 divide k?
True
Let h(x) = 95*x + 47. Let j be h(5). Suppose -9*g + 18*g - j = 0. Is 35 a factor of g?
False
Let n be 10*(-6)/(-24)*(-16)/(-10). Suppose 240 = 6*w - n*w. Is 7 a factor of w?
False
Suppose 2*n + 11*k - 336 = 7*k, 0 = -4*n + k + 672. Is n a multiple of 39?
False
Suppose z + 4 = 6. Suppose 0 = 2*w, -3*a = -z*a + 4*w - 105. Suppose -4*i - 196 = -4*l, 48 + a = 3*l + 3*i. Is 10 a factor of l?
True
Let s(u) = -2 + 3 + 8*u + 5 - 7*u. Is s(-2) a multiple of 4?
True
Suppose c - 6*c = 0. Let a