derivative of r**6/120 + r**5/12 + r**4/12 + 5*r**3/6 - 2*r**2. Let u be f(-4). Let j = -6 + u. Is 7 a factor of j?
True
Suppose -3*g + 311 = 2*g + b, 5*g + 5*b - 295 = 0. Suppose -2*x + 12 - g = -3*h, 5*h = -x + 72. Is h a multiple of 7?
False
Suppose -3*a + 2*d = -10 - 3, 0 = -4*a - 4*d - 16. Is 15 a factor of (-3 + -5)*-8*a?
False
Let s(r) = -16*r**3 + 11*r**2 - 11*r + 46. Let l(o) = 3*o**3 - 2*o**2 + 2*o - 9. Let u(c) = -11*l(c) - 2*s(c). Does 3 divide u(0)?
False
Suppose 3*t - 7*t + 592 = 0. Suppose 2*j = -0*j - t. Let r = -28 - j. Is 17 a factor of r?
False
Suppose 5*u - u = -r + 21, -5*u = -5*r + 5. Suppose -17 - 3 = -r*j - 5*z, 2*j + z - 9 = 0. Is j even?
False
Suppose 0 = y - 3 + 1. Let a = -4 + y. Is -2 - (a - 24) - -2 a multiple of 10?
False
Suppose 5*v - 13 = -o, -6*v + 4*v = 3*o - 13. Suppose 3*n - 33 = -o. Is n a multiple of 10?
True
Let l be (-1)/(-3) - 248/(-12). Suppose k + 1 = -8. Let j = l + k. Does 12 divide j?
True
Suppose -2*x = x + 6. Is 2 a factor of (x - -1)/(3/(-9))?
False
Let y(o) = 2*o**2 - 7*o - 6. Is y(5) a multiple of 2?
False
Suppose 4*x - 10 = 3*c + 1, 0 = 4*c + 3*x - 27. Let b = c - 3. Suppose b*d = -d + 17. Is 12 a factor of d?
False
Let f = 30 + -18. Suppose 0 = 2*p + 6 + f. Let c = p + 16. Is 3 a factor of c?
False
Let q = -237 - -408. Is q a multiple of 19?
True
Let z be 3 + (2 - (-1)/(-1)). Suppose 125 = z*u + u. Is u a multiple of 9?
False
Let v = -24 + 112. Does 13 divide v?
False
Suppose -l = l - 4. Suppose 0*b + 80 = l*b. Is b a multiple of 20?
True
Suppose -3*d = 94 - 409. Is 21 a factor of d?
True
Let s be 9/6 + 9/6. Suppose c - s*c = 3*d - 17, c = -3*d + 13. Does 4 divide c?
True
Suppose 2*m - 3*a = 260, a + 360 = 3*m + 4*a. Let g = m - 87. Suppose -5 = d, 4*w - 4*d - 51 = g. Is 15 a factor of w?
False
Suppose -12 = 4*i + 5*g, -7*i - 10 = -2*i + 5*g. Suppose -4*l - 6*h + 16 = -i*h, h - 4 = 2*l. Suppose -4*n + 64 = -l*n. Does 12 divide n?
False
Suppose 7*a - 16 = 3*a, -2*g = a + 8. Let u be 4*-1*g/8. Is 18 a factor of ((-41)/u)/(3/(-9))?
False
Suppose -2*f - 36 = -6*f. Suppose 6*s - f*s = -15. Does 5 divide s?
True
Let t(w) = 9*w**3 + 2*w**2 - 1. Let o be t(1). Suppose -6*n - 20 = -n. Let h = o + n. Is 3 a factor of h?
True
Let t be -1 - 5/(5/(-9)). Suppose -2 = -5*q + t. Suppose 0 = q*p - 5*m - 1 - 0, p = 4*m - 7. Does 13 divide p?
True
Suppose -2*w + 2*y = -134, -15 = y - 6*y. Is 5 a factor of w?
True
Let w(p) be the first derivative of 7*p**2/2 - 8*p + 3. Is w(7) a multiple of 18?
False
Suppose 0 = -0*m + 2*m. Suppose 5 = k - m*k. Suppose 4*i - k*c = -i + 85, 3*c + 21 = i. Is 15 a factor of i?
True
Suppose g = -0*g - 4*y + 16, g - y - 1 = 0. Suppose 2*j + 2 = -g. Does 26 divide -45*(0 + 2 + j)?
False
Let r be 17*(-4 + 5)*1. Let p = 58 - r. Is 28 a factor of p?
False
Let a(d) = -9*d - 3. Suppose 0 = 2*x + x - 21. Let y(r) = 14*r + 4. Let b(t) = x*a(t) + 5*y(t). Is b(5) a multiple of 17?
True
Suppose -2*z - m + 8 = -4*z, -3*m + 4 = -z. Is 22 a factor of (z + 1)/(6/(-44))?
True
Let m(i) = 2*i - 4. Let z be m(-3). Let h = z + 21. Let t = h + -7. Does 2 divide t?
True
Let j(q) = 2*q**3 - 1. Let m be 0 - 3*2/(-2). Does 21 divide j(m)?
False
Let h(c) = -3*c + 7. Let v be h(-5). Suppose 0*l - 24 = -2*y + l, 3*y + 2*l - v = 0. Does 10 divide y?
True
Let l(t) = -t - 3. Let i be l(-7). Suppose 0 = i*a + 3*m + 2*m - 240, -a + 5*m = -85. Does 19 divide a?
False
Let j(u) = -u**3 - 4*u**2 - u - 1. Suppose -4*g + 0*l = 4*l + 8, 7 = -g + 4*l. Let f be j(g). Let v(a) = -4*a. Does 14 divide v(f)?
True
Let t(d) = 6*d + 296. Is t(0) a multiple of 30?
False
Let p be -8 + 5 - 2*-4. Is 4 a factor of ((-2)/p)/((-2)/60)?
True
Let g(q) = q + 15. Is g(-10) a multiple of 2?
False
Suppose 8*x + 64 = 3*y + 3*x, -5*y = -5*x - 100. Is 5 a factor of y?
False
Let c be -1 + 2 + (-69)/(-3). Let h = 7 - 4. Let q = c + h. Is q a multiple of 11?
False
Suppose -152 = -2*o - 4*h, 0 = -3*o + 5*h + 51 + 177. Is 19 a factor of o?
True
Suppose 3*d + 4*l - 215 = -2*d, 0 = l - 5. Is d a multiple of 13?
True
Let g(d) = -12*d**3 - d**2 + 2*d + 2. Is g(-2) a multiple of 4?
False
Suppose -2*k + 140 = -0*m + 2*m, 4*k - 3*m - 280 = 0. Suppose j - 3*j = -2*v - k, 126 = 3*j + 4*v. Is j a multiple of 15?
False
Let t(s) = s**2 - s - 5. Suppose 14 = d - 2*q, 2*d - q - 1 = 3*d. Let w(i) = i**2 - 2*i - 6. Let z(y) = d*t(y) - 3*w(y). Does 11 divide z(-6)?
True
Let d = -1 + 7. Is (-20)/(d/(-3)) + 0 a multiple of 10?
True
Let g be (8/12)/((-2)/6). Let m = g + -4. Is 4 a factor of 108/8*(-4)/m?
False
Does 11 divide -4 - -38 - (-1)/(-1)?
True
Let u be 1 + -4 + -1 - -2. Let t = 9 - u. Is 8 a factor of t?
False
Let j be 55/(-10)*-2*5. Suppose -t + j = 4*t. Is t a multiple of 11?
True
Suppose -2*v - 83 + 15 = 0. Let m = v - -76. Suppose -2*r + m = -10. Is 13 a factor of r?
True
Is 12 a factor of -12*(-12)/8 - 3?
False
Let f(q) = 11*q - 3. Let c be f(6). Suppose r - 34 = -t, 3*r - 3*t - 39 = c. Is 9 a factor of r?
False
Is 37 + (-12)/3 - -4 a multiple of 16?
False
Let i = -6 - -67. Suppose t = 3*o - i, -20 = -2*o + 2*t + 22. Is o a multiple of 15?
False
Let a(c) = -9*c - 7. Does 9 divide a(-2)?
False
Suppose 4*m - 47 = 97. Does 9 divide m?
True
Suppose -10*b + 1051 = 391. Is 11 a factor of b?
True
Suppose 4*c + 75 = -c. Let o = c + 27. Is 6 a factor of o?
True
Let p(m) = 3*m + 45. Does 4 divide p(0)?
False
Suppose b + 1 = 5*g, -5*g - 41 = -3*b - g. Let x = b - 10. Is 9 a factor of x?
True
Let g(x) = -x**3 - x**2 + x - 2. Let z be g(-2). Suppose z = 2*w + 3 - 9. Is 3 a factor of w?
True
Let s be (-158)/(-6) + 6/9. Suppose w - s = 11. Is 16 a factor of w?
False
Let f(m) = -17*m + 5. Is f(-12) a multiple of 27?
False
Let g(r) = r**2 + 2*r - 18. Is g(5) a multiple of 17?
True
Let x = 120 - 63. Is 19 a factor of x?
True
Let v = 5 + -3. Let c(a) = -2*a + 3 - a - v*a. Is c(-3) a multiple of 10?
False
Let w(n) = 5*n**2 + n - 4. Suppose -5*t + 13 = 3. Does 6 divide w(t)?
True
Let b be ((-24)/(-15))/(1/5). Suppose -z + s = -5, -3*s + 2*s - b = -2*z. Does 3 divide z?
True
Let x(p) = -5*p**2 + 4*p + 3. Let r(k) = -4*k**2 + 4*k + 3. Let h(d) = 4*r(d) - 3*x(d). Let t be h(4). Suppose 76 = -t*z + 7*z. Does 13 divide z?
False
Suppose -4*x - 24 = -2*z, 0 = -3*x - x + 5*z - 12. Let g be (-40)/15*18/x. Suppose -3*t - 3*d - 63 = -g*t, -t = 3*d - 17. Does 10 divide t?
True
Let y be (2/(-2))/(4/(-180)). Suppose v = y - 18. Does 9 divide v?
True
Let s be (2 + -113)/(-3) + 1. Suppose -i = i - s. Does 19 divide i?
True
Let g(u) = 7*u. Let j(f) = -6*f + 1. Let t(m) = 4*m. Let x be t(-1). Let q(y) = x*j(y) - 3*g(y). Is 16 a factor of q(8)?
False
Let q(j) = j**3 - 7*j**2 + 2*j + 8. Let l be q(6). Let m = l - -29. Is 9 a factor of m?
False
Let b = 1 - -18. Does 19 divide b?
True
Does 30 divide ((-2)/4)/((-3)/1194)?
False
Let b(r) = 16*r + 1. Suppose 2*m + 2*p = -6, 5*m - p = p + 6. Suppose m = 2*v + 3*w - 16, w - 14 = -3*v - w. Does 11 divide b(v)?
True
Suppose -7*x - 5*u + 36 = -3*x, 32 = 5*x + 3*u. Let a = x - 0. Suppose 4*w - 76 = -3*t, -t - 3*t = -a*w + 76. Does 12 divide w?
False
Let i be 52/12 + (-2)/6. Suppose 0 = -i*j + 5 + 75. Is 12 a factor of j?
False
Let i(q) = q**3 - 2*q**2 + 2*q - 2. Let k be i(2). Let o be (6 + -5)/(k/6). Is 4 a factor of (-8)/o*(-2 - 1)?
True
Let i be (-8)/3*(-3)/2. Is 4*(i + -2) - -1 a multiple of 9?
True
Suppose -3*k + 3 = -75. Is k a multiple of 6?
False
Suppose 7 = 4*m - 9. Let i be 32/14 + m/(-14). Does 13 divide 36/1 - (i + -4)?
False
Let b(v) = 2*v + 4. Let q be b(-3). Is 12 a factor of 28 - 1 - (q - -5)?
True
Suppose 5*s - 414 = 136. Does 22 divide s?
True
Let k(u) be the second derivative of u**3/6 - u**2/2 - u. Is 2 a factor of k(6)?
False
Let d = 13 - 9. Suppose -8*f + 2*b + d = -3*f, -4*f = 3*b - 17. Suppose -f*z = -50 - 10. Is z a multiple of 15?
True
Let k = -3 - -3. Suppose 4*i + i = k. Suppose 0 = -5*n + 4*a + 35, n + i*n + a = 7. Does 3 divide n?
False
Let q be 3/((3/1)/45). Let f = q - 25. Let a = f + -10. Is a a multiple of 10?
True
Suppose 3*o - 38 = 5*j, 5*o + 3*j = 6 + 46. Let s = o - -15. Suppose s = -4*v + 66. Is v a multiple of 7?
False
Let n(c) = -7*c - 12*c + 10*c**2 + 2 + 19*c. Is 11 a factor of n(2)?
False
Let u be 2/(-9) - (-652)/18. Suppose m + 2*m = u. Let k = 40 - m. Is 28 a factor of k?
True
Suppose -k - 688 = -5*k + 3*g, 