 derivative of -r**5/15 - 3*r**4/8 + 11*r**3/3 - r**2. Let w(h) = -3*k(h) - m(h). Is 16 a factor of w(-13)?
False
Let u = -5 - -5. Suppose 2*g - 46 = -u*g. Let n = g - 15. Is 3 a factor of n?
False
Is 6 a factor of (2319/(-24) - 3/8)*-1?
False
Suppose 750 = 2*f + 4*j, f = 3*f + 3*j - 755. Is f a multiple of 7?
True
Let b be (24 - 4)/(2/3). Suppose -5*n - 30 = 2*j + b, 4*j + 2*n + 104 = 0. Is 5 a factor of (j/(-10))/((-1)/(-6))?
True
Let z(k) = -k**3 + 9*k**2 + 5*k - 7. Let w be -1 + (-1 - -2)/1. Suppose 4*o - 3*v - 13 - 22 = w, -o = -3*v - 11. Is z(o) a multiple of 22?
False
Let l(i) = 10*i**2 + 3*i + 187. Is l(11) a multiple of 65?
True
Suppose q = -q + 176. Suppose -9*a + z - 89 = -7*a, -5*a - 2*z = 209. Let k = q + a. Is k a multiple of 15?
True
Suppose 27*z + 2598 = 33*z. Does 22 divide z?
False
Suppose 0 = 229*i - 200*i - 3045. Is i a multiple of 15?
True
Suppose d = 6*d - u - 17, -4*u = d + 5. Let m = d - -2. Suppose 3*q - 195 = -4*g, 16 - 1 = -m*q. Does 17 divide g?
True
Let y = 1433 - 880. Is 50 a factor of y?
False
Let w be (18/(-45))/(2/(-5)). Suppose -p - w = -3*m, -5*p + 1 + 10 = m. Suppose p*h = -0*h + 3*r + 39, 4*r = 4. Does 8 divide h?
False
Let o = 1601 - 685. Does 14 divide o?
False
Suppose 0 = -9*s - 276 + 11562. Is s a multiple of 19?
True
Let s(f) be the first derivative of -2*f**2 + 3*f + 1. Suppose -4*x = 18*x + 66. Is 15 a factor of s(x)?
True
Let h(i) = i**2 + 8*i + 5. Let u be h(-7). Does 15 divide ((6 - 4) + u/4)*60?
True
Does 16 divide (1 - 6) + 689*1 - 0?
False
Let l(h) = 3*h**3 - h + 2. Let m be l(1). Suppose -m*x = 3*r, -2*x = -5*r - x. Is r + -2 + (-40)/(-5) a multiple of 6?
True
Let i = -1 - -12. Suppose -4*c + 9*c = 185. Suppose i = 4*d - c. Is 12 a factor of d?
True
Let u be (6 - 3)*(0 + 19/3). Let v(t) = 6*t - t**2 + 20*t**2 + 0*t**3 + 3 + 6 - t**3. Does 31 divide v(u)?
False
Suppose 4*n + 0*n + h + 4 = 0, -n + 4 = -h. Suppose n*f = 2*f - 810. Suppose 4*b - f = -b. Is 14 a factor of b?
False
Let t(p) = -2 + 10*p + 2*p**2 - 2*p**2 - 8*p**2 + p**3 - 2. Is t(7) a multiple of 11?
False
Suppose 8*o - 23 = -7. Suppose 0 = -3*t + 2*p, -2*t + o*p - 4 = -t. Suppose t*z = 4*y + 112, 2*z + y + 3 - 100 = 0. Is 17 a factor of z?
False
Suppose -86*o + 2709 = -77*o. Is 43 a factor of o?
True
Suppose 2*d - 595 = -p, -1199 = -5*d + d - 5*p. Does 29 divide d?
False
Let d(u) = 3*u**2 + 7*u + 1. Let t(f) = 9*f**2 + 21*f + 4. Let i(b) = -11*d(b) + 4*t(b). Suppose 4*o = -7 - 17. Is 26 a factor of i(o)?
False
Let v(a) be the second derivative of a**5/20 - 5*a**4/4 - 5*a**3/2 + 23*a**2/2 - 7*a. Let m be v(16). Suppose 3*j - 27 = m. Is 11 a factor of j?
True
Let s = 2 + 0. Let x = 3 + 36. Suppose -3*c = -2*n + 2*c + x, -68 = -3*n - s*c. Is n a multiple of 8?
False
Let d be 34/(((-42)/(-9))/(-7)). Let k = 93 + d. Let l = 87 - k. Is l a multiple of 15?
True
Let k(t) = -10*t**2 + 11*t + 4. Let n(v) = 9*v**2 - 10*v - 4. Let f(o) = 5*k(o) + 6*n(o). Let l be -8 + (1 - -2) + 10. Does 24 divide f(l)?
False
Let x(l) = 485*l**2 - 8*l + 6. Is x(1) a multiple of 21?
True
Let n(t) = -t + t - 3 + t. Let j(d) = 4. Let u(k) = 3*j(k) + 4*n(k). Does 8 divide u(10)?
True
Suppose 35 = 10*c - 5*c. Suppose -17 + c = -2*j. Suppose -71 = -j*n + 34. Is n a multiple of 4?
False
Suppose 0*x - 113 = -x. Let a = -77 + x. Suppose 3*r = -h + 60, -4*h = -3*h - 3*r - a. Does 16 divide h?
True
Let a be 3*((-14)/4 - (-5)/10). Let s(i) = i**3 + 10*i**2 + 3*i + 20. Does 5 divide s(a)?
False
Let p(f) = 42*f**2 - 4*f - 7. Is 31 a factor of p(2)?
False
Suppose 0 = 3*k - 710 - 2053. Is k a multiple of 9?
False
Let i be 160/48*(-12)/(-10). Suppose -s = -2*s + i. Let z = 18 + s. Is z a multiple of 10?
False
Suppose 0 = 4*f + l + l + 254, f - 5*l = -36. Suppose -9*g - 232 = -2*n - 5*g, -2*n = 4*g - 200. Let p = n + f. Does 12 divide p?
False
Let l = -468 - -894. Is 6 a factor of l?
True
Suppose 0 = 13*s - 8*s - 60. Suppose 2 = 2*w - 2. Suppose 2 - s = -w*f. Is f even?
False
Suppose 4*h - q = -0*h + 214, 5*h - q - 268 = 0. Suppose -5*o = 5*s - 345, -o = -4*s + 2*s - h. Does 32 divide o?
True
Let h = -86 + 153. Let n = -61 + h. Is 2 a factor of n?
True
Suppose -3*o + 7 = -5, -v - 3*o + 22 = 0. Suppose -4*z + 274 - 24 = -2*w, -v = 2*w. Does 15 divide z?
True
Let i be 26/4*((-24)/(-3))/(-4). Let l = i + 128. Is 23 a factor of l?
True
Let o(k) = 8*k**2 - 2*k - 10. Let c be (-1)/((-105)/25 + 4). Is o(c) a multiple of 15?
True
Let x be 1*3 + 13/(-13). Let r be -19*8/4 - x. Let w = -22 - r. Is 6 a factor of w?
True
Let d be ((-6)/(-15))/(1 + 123/(-120)). Is (52/d - -1)/(6/(-80)) a multiple of 2?
True
Let i(p) = -5*p + 1. Suppose -16 = 3*h + 8. Let r = h + 5. Is i(r) a multiple of 7?
False
Suppose -q = -3 - 60. Suppose -d = 2*d - q. Let h = d - 14. Is h a multiple of 4?
False
Suppose -1036 = -5*b - 76. Let u = -3 + 8. Suppose b = -2*q + 5*q + v, u*q - 306 = 3*v. Is 21 a factor of q?
True
Let d(m) = -461*m - 303. Does 4 divide d(-2)?
False
Suppose 0 = -8*k + 11*k - 39. Suppose k*d = 16*d - 255. Is d a multiple of 9?
False
Suppose -2*c + 2*u + 199 = 61, -4*u + 284 = 4*c. Does 2 divide c?
True
Let l = -4328 - -6178. Is l a multiple of 18?
False
Let j = -140 + 92. Let a = j - -106. Does 29 divide a?
True
Let d = -197 + 399. Suppose 5*y + b = d, -2*y = -3*y + 3*b + 34. Is y a multiple of 9?
False
Let a be 4806/(-36) + 2/4*-1. Let w = a - -227. Does 31 divide w?
True
Let j(o) = 5*o**3 - 8*o**2 + 10*o + 4. Is j(4) a multiple of 4?
True
Let z(u) = -3*u**3 + 35*u**2 - 11*u - 65. Let b(g) = g**3 - 12*g**2 + 4*g + 22. Let i(k) = -7*b(k) - 2*z(k). Is 18 a factor of i(13)?
False
Let h be (-3)/((-3)/2) - 2. Suppose -3*p + 5*g + 25 + h = 0, -3*p - 2*g = -11. Suppose 4*t - 57 = 3*i - 6*i, 33 = 4*t - p*i. Does 12 divide t?
True
Let n(l) = 6*l**3 + 2*l**2 - 11*l - 5. Does 5 divide n(3)?
False
Let d be 50/15 + (-4)/3. Let l(w) = 2*w**3 + 2*w**2 - w - 1. Is l(d) a multiple of 4?
False
Is ((-140)/(-3) + -2)/(9/27) a multiple of 67?
True
Let m = -104 + 272. Does 12 divide (-2 - 0)/((-7)/m)?
True
Suppose 5*x - 529 = -w, -2*w + 11 = 3. Suppose -3*m + 6*m + x = 0. Is (-970)/(-14) + 10/m a multiple of 23?
True
Let s be 120/9*(-6)/4. Let v(c) = 34*c**3 + 3*c**2 - 3*c - 1. Let i be v(1). Let t = i + s. Is t a multiple of 13?
True
Let p(s) = 6*s**3. Let v be p(1). Suppose 5*i = z - v - 6, 5*i + 24 = -3*z. Does 5 divide ((-1)/(-1))/(i/(-60))?
True
Let v = -1157 + 1783. Is v a multiple of 24?
False
Suppose -6*m - 2*d + 3672 = -2*m, 4*m - 2*d - 3688 = 0. Does 23 divide m?
True
Let p = -13 + 7. Does 10 divide 20/((-10)/p - 1)?
True
Let d(j) = -4*j**2 + 10*j + 7. Let g(n) = 5*n**2 - 10*n - 8. Let o(q) = -4*d(q) - 3*g(q). Let u be o(10). Let b(p) = 3*p**2 + 5*p - 3. Does 25 divide b(u)?
True
Let i be (-56)/(-21)*6/8. Let d = 63 + i. Is 13 a factor of d?
True
Suppose 4*u = g + 2428 - 471, u = -5*g + 484. Is u a multiple of 7?
False
Suppose 588 = j + 2*m, -21*m + 22*m = 2*j - 1151. Is j a multiple of 34?
True
Suppose -3*u = -3*j + 1044, 827 + 919 = 5*j - 3*u. Is 81 a factor of j?
False
Let i = -1350 + 1933. Does 53 divide i?
True
Let a(c) = c**2 - 26*c - 25. Let x be a(27). Is 9 a factor of (-16176)/(-180) - x/(-15)?
True
Let d = -4254 - -6405. Does 11 divide d?
False
Suppose -2440 = -2*l - 2*l. Let q = -387 + l. Is q a multiple of 13?
False
Let y(k) = -2*k - 9. Let p be y(-7). Is (-2513)/(-35) + 1/p a multiple of 24?
True
Let j = -1109 - -1201. Is j a multiple of 63?
False
Let r = 20 + -1. Let m = r - -20. Is m a multiple of 39?
True
Let z = -17 - -13. Let l = z + 12. Let v = 11 + l. Does 6 divide v?
False
Let l = -267 + 637. Does 15 divide l?
False
Suppose -52 = 2*u - 4*i, i - 43 = 3*u + 20. Does 46 divide (1104/u)/((-12)/30)?
True
Let s be 2/2 - (-9 - -14). Let n be 1/s - (-1)/4. Suppose -5*f + 88 + 72 = n. Does 17 divide f?
False
Let g(w) = 11*w**2 + 18*w - 98. Is g(8) a multiple of 15?
True
Let a(y) = 1. Let c(x) = x**2 + 3*x + 7. Let s(r) = -3*a(r) + c(r). Let t(k) = k**2 - k - 1. Let l(n) = s(n) + 4*t(n). Does 11 divide l(-2)?
True
Let x be (-2)/(6 + -7 + (-27)/(-24)). Let j = 288 + x. Is 34 a factor of j?
True
Let g(b) = -b**3 - 7*b**2 - 12*b - 4. Let x be g(-6). Suppose 0*u + 4*u - x = 0. Is 6 a factor of u?
False
Let w = -78 - -110. Suppose w + 108 = 7*m. Does 8 divide m?
False
Suppose -n + 8 = -3*n. Let l(