he third derivative of r**4/4 + 2*r**3 + 11*r**2. Is z(3) a multiple of 5?
True
Is (-25810)/(-80) - (-12)/32 a multiple of 17?
True
Is (-3)/(-21) - -4*1345/70 a multiple of 11?
True
Is 25 a factor of -2 - (-1434 + 11 + -4)?
True
Suppose -a + 6 = 10. Does 12 divide 24/10*(-130)/a?
False
Let t be 8*(-3)/(-6)*-20. Let x = 104 + t. Is 24 a factor of x?
True
Suppose 2949 = 7*y + 933. Is 37 a factor of y?
False
Suppose -2*y - 757 = -1737. Is y a multiple of 11?
False
Let m(b) = 15*b - 10. Let j be m(3). Let y = 37 - j. Suppose 4*v - 128 = -x - x, -y*v = 4*x - 52. Does 17 divide v?
True
Is 53 a factor of 5 - (-14216)/32 - (-1)/(-4)?
False
Let p = 26 + -15. Is 27 a factor of (-2)/p - 1880/(-55)?
False
Let f = 209 - -405. Suppose -3*q - 3*y - f = -7*q, y - 150 = -q. Does 19 divide q?
True
Suppose 0 = -a + 1, 5*a - 13 = -3*w + 58. Suppose w*x + 276 = 25*x. Is x a multiple of 46?
True
Let m = 65 + 476. Let i = m - 379. Is 9 a factor of i?
True
Suppose -4*x - 3*k + 4172 = 0, -x + 5*k - k + 1043 = 0. Is x a multiple of 23?
False
Let b(o) = -o - 2. Let s be b(-8). Let v(y) = y + 2*y**3 - 3*y**3 + 3 + s*y - 5*y**2. Is 13 a factor of v(-7)?
True
Let a be 10 - 9 - (4 + -1). Does 5 divide (40/a)/((-8)/12)?
True
Let o = -1684 + 2561. Is 15 a factor of o?
False
Let j(r) = -479*r**3 - 3*r**2 - 2*r + 1. Is 40 a factor of j(-1)?
False
Let u(t) = -2*t**2 + 2*t - 2*t + t**2 - 9 - 19*t. Does 13 divide u(-8)?
False
Suppose -435 = 2036*o - 2039*o. Is o a multiple of 5?
True
Let x(t) = -2*t**3 - 5*t**2 + 4*t - 6. Let c be x(-6). Let f = -147 + c. Is 8 a factor of f?
False
Suppose 30 = 4*s + 22. Suppose -t = 3*i - 4*i - 27, 5*i + 54 = s*t. Is 3 a factor of t?
True
Suppose -2*v - v = -4*o + 18, 5*v + 22 = 4*o. Let d = o + 0. Suppose d*z - q - 98 = 0, -3*z - z + 4*q + 120 = 0. Does 10 divide z?
False
Let f = -145 + 144. Does 14 divide (f + -2 + 1)*-91?
True
Let l be 2/(-4)*(2 + -6). Let f = 28 - l. Is 18 a factor of f?
False
Suppose 0*m + 371 = 4*d + 3*m, -276 = -3*d - 3*m. Suppose -314 + d = 3*g. Let y = -30 - g. Is 14 a factor of y?
False
Let p(z) = z**2 + 32*z + 24. Does 11 divide p(-33)?
False
Suppose f = -0 + 3. Suppose 4*o - 2 = 2*o, 0 = -f*a + 2*o - 2. Does 21 divide (a - 1)*510/(-17)?
False
Suppose -3*f = -95 - 64. Does 7 divide f*-1*(19 + -20)?
False
Suppose w + 1112 = 3*w + 2*j, 0 = -w - 5*j + 540. Is w a multiple of 14?
True
Let p(z) = -z**2 - 67*z - 172. Is p(-22) a multiple of 20?
False
Let k be -6*((-69)/(-18) - 4). Let d = k - -10. Is d a multiple of 2?
False
Suppose -94 = 14*d - 766. Is 2 a factor of d?
True
Let i(w) = -6*w**2 - 4*w. Let s(m) = m**2 + m - 1. Let k(p) = -i(p) - s(p). Is k(-2) a multiple of 3?
True
Let d(n) = -n**3 + 4*n**2 + n - 3. Let f be d(4). Let o be f/4 + 563/4. Suppose 69 = 5*i - o. Is 17 a factor of i?
False
Suppose -5*r = -r + 16, -r - 36 = -4*x. Does 4 divide x?
True
Suppose 2*i = 0, -4 + 2 = -h - 4*i. Suppose -h*q = q. Suppose -3*l + 2*l + 15 = q. Is l a multiple of 12?
False
Let d be 6/(-2)*(-149)/3. Suppose 62 = y - 2*f, 2*y + 0*y + f - d = 0. Is 21 a factor of y?
False
Suppose -k + 2994 = 3*s, 2*s + 9012 = 3*k + 5*s. Is k a multiple of 51?
True
Let t(b) = 2*b**2 + 60*b - 86. Does 12 divide t(25)?
True
Suppose 10*g + 10*g - 26320 = 0. Is g a multiple of 47?
True
Let o be 203 + -4 - 2 - 1. Suppose -2*a - 62 = -t + 135, -2*t = -2*a - o. Let v = -12 - a. Does 29 divide v?
True
Let f(g) = g**2 - 4*g + 4. Let c be f(2). Let b(h) = 4 + c + h**3 - 4*h + 6*h**2 - 4*h. Is 16 a factor of b(-6)?
False
Let o = -65 - -35. Is 24 a factor of (86/12)/((-5)/o)?
False
Let v(m) = -30*m + 35. Does 25 divide v(-13)?
True
Suppose -2*l + 1552 - 124 = 0. Is 21 a factor of l?
True
Suppose 3184 = -20*b + 6804. Is b a multiple of 3?
False
Let t(k) = -35*k + 23. Let g be t(4). Let n = g - -215. Is n a multiple of 7?
True
Let i be -22*(-5 + -2 + 6). Let m = 47 - i. Is m a multiple of 5?
True
Let u = 45 - -560. Is 3 a factor of u?
False
Let d(y) = 34*y**3 + 3*y**2 - 1. Let i be d(1). Does 2 divide (1*-5)/((-30)/i)?
True
Suppose -3*g = 5*z - 2 - 16, 3*z - g - 22 = 0. Suppose s = -s - z. Let f(c) = c**2 - 4*c - 1. Does 5 divide f(s)?
True
Does 24 divide (-1674)/(-14) - (-42)/98?
True
Let m(w) = -w**3 + 11*w**2 - 14*w + 9. Let b be m(8). Suppose 16 = -4*s, -4*o - 5*s - b = -357. Is o a multiple of 11?
False
Suppose 3*h - y = -5*y - 16, -16 = 4*y. Let v(n) = 5*n + 12*n**2 + h*n**3 + 2*n**3 - 3*n**2 - 7 - n**3. Is v(-8) a multiple of 6?
False
Let u(s) = 4*s**2 + 2*s - 3. Let v be u(1). Suppose 5*i + 85 = v*k, -6*k + 3*i = -k - 115. Is k a multiple of 8?
False
Let z(u) = -u**3 - 2*u**2 - 4*u + 24. Does 12 divide z(0)?
True
Let s = 109 + -195. Let i = 91 + s. Does 2 divide i?
False
Suppose 2*q + 47 = -21. Let k = 68 + q. Let z = k - -31. Is 21 a factor of z?
False
Is 11 a factor of ((-108)/(-7))/(58/7308)?
False
Suppose 4*m = 3*z - 748, -24*z + 996 = -20*z - 5*m. Is 34 a factor of z?
False
Let o(l) = -8*l + 12. Let a be o(-5). Suppose -2 = -h + a. Is 27 a factor of h?
True
Let z be (-8)/2 - 4*-1. Is 8 a factor of (1 - z)/((-7)/(-140))?
False
Suppose -92 = -5*g - 17. Suppose -3*u - l = -11, 0*u - 4*u - l + 14 = 0. Suppose -u*p + 111 = -g. Is 9 a factor of p?
False
Let g be (18/5)/(24/80). Suppose 0 = -4*d - h + g, -3*d - 5 - 1 = -3*h. Suppose d*i = -i + 42. Does 7 divide i?
True
Suppose 69*f - 71*f + 252 = 0. Let q = f - 80. Is 15 a factor of q?
False
Suppose 5*z = -5*d + 60, -4*d + d - 2*z = -38. Let u = d - -16. Is 15 a factor of u?
True
Suppose 2*w = 6*w - 24. Let t(d) = 2*d**2 - 6*d. Let x be t(w). Let m = x - 28. Is m a multiple of 3?
False
Let x be 135/7 - 8/28. Let l(d) = -10 - 4*d + x*d - d**2 - d. Is 17 a factor of l(10)?
False
Let v(s) = 88*s - 120. Is v(3) a multiple of 4?
True
Suppose 3*p - 492 = -3*k, 4*p + 1 = -3. Let t(x) = 6*x - 2. Let f be t(15). Let d = k - f. Is 26 a factor of d?
False
Suppose -865 = -4*z - 101. Is z a multiple of 17?
False
Suppose -x - x = -h - 416, -x + 222 = 3*h. Let m = x - 150. Is m a multiple of 12?
True
Let r(m) be the third derivative of 3*m**6/20 + m**5/60 - m**3/6 - 5*m**2. Let z be r(1). Is (z - 15) + 13/1 a multiple of 8?
True
Suppose o + 16 = -9*p + 4*p, 5*p = 2*o - 28. Suppose 0 = -0*h + 7*h - 56. Suppose h = o*t - 64. Is t a multiple of 9?
True
Let t(h) = h**3 - 9*h**2 - h - 2. Is 8 a factor of t(11)?
False
Suppose -2*q - 5*u = -26, 0 = 2*q - 2*u + 5 - 3. Suppose -d + 2*v = d, -4 = -q*d + 2*v. Suppose -d*c + 81 = 13. Does 17 divide c?
True
Let h(c) = 0*c**2 + 0*c**2 + 84 - 4*c + c**2 - 24. Is h(0) a multiple of 31?
False
Let z = 4 + -7. Let r be -21*1*1/z. Let i(a) = a**3 - 6*a**2 - 5*a + 2. Does 5 divide i(r)?
False
Suppose -19*i + 15*i + 520 = 0. Let d = i + -100. Is 3 a factor of d?
True
Suppose -2*j - 18 = -5*j. Let r be j/8 - (-9)/4. Suppose z - r*z + 4*g + 72 = 0, 4*z = 3*g + 139. Is z a multiple of 14?
False
Suppose -5*m + 16 = 4*t - 2*t, -5*t + 7 = -4*m. Suppose 2*s = s + 360. Suppose -8*i + s = -t*i. Is i a multiple of 36?
True
Let a = -5 + 5. Suppose 8*q - 7*q - 3 = a. Does 8 divide q - 88/(-4) - 1?
True
Let r = -58 + 178. Suppose r = 5*w + 3*k, -4*w = 5*k - k - 88. Is 5 a factor of w?
False
Let v be ((-45)/(-90))/(((-2)/540)/(-1)). Let k = v + -95. Is k a multiple of 8?
True
Suppose 0 = 6*n - n - 5, 2*n = -5*h - 108. Is (0 + -1)/(2/h) a multiple of 6?
False
Suppose 0*r - 3*r + 12 = 0. Let h be (0 - 0)/(6 - r). Suppose h = u + 4*p - 25, -7*p + 3*p = -4*u + 80. Is 7 a factor of u?
True
Suppose -3*b + 12 = 3. Does 4 divide b + -1 - (-6 - 1)?
False
Let b(d) = 2*d**3 + 3*d**2 + 6*d + 2. Let j be b(-2). Suppose c = -4*c + 160. Let q = j + c. Is q a multiple of 6?
True
Let n = 167 - 270. Let d = n + 193. Does 18 divide d?
True
Suppose 2*r - 4 = 4*r. Let t be (-9)/(-1) + (r - -2). Is (3/t)/(1/111) a multiple of 19?
False
Let v(m) = -277*m - 8. Does 6 divide v(-2)?
True
Let j(u) = 2*u**2 + 2*u - 1. Let s be j(-2). Suppose -w - 17 = -5*n - 3, 2*w = s*n - 7. Suppose a - 50 - 81 = -3*b, -153 = -4*b + n*a. Is 21 a factor of b?
True
Let t(s) = -s**3 + 11*s**2 + 11*s + 12. Let l be t(12). Suppose 2*j + 5*k = -2*j - 19, l = -3*k + 3. Let z = j + 13. Is 5 a factor of z?
False
Let s = -35 - -28. Let c(f) = -3 + f**3 + 3*f**2 - 8*f + 0*f**2 + 3*f**2. Is c(s) even?
True
Let c(y) = 2*y**2 + 20*y + 7. Let v be c(-14). Let w