 third derivative of u**6/120 - 3*u**5/20 + 5*u**4/24 - 10*u**3/3 + 28*u**2. Let a be l(8). Let d = a + 191. Is d a multiple of 47?
False
Suppose -5124 - 496 = -10*c. Is c a multiple of 8?
False
Let x = 2430 + -22. Is 43 a factor of x?
True
Suppose 49 = 7*y + 28. Let i(w) = 6*w**3 - w**2 - 6. Let b be i(y). Suppose 8*a - b = 5*a. Is a a multiple of 10?
False
Let b = -179 - -193. Let c(i) = -i**3 + 14*i**2 + 12*i - 56. Is c(b) a multiple of 14?
True
Let u = -934 + 945. Let f(n) = n**3 - 5*n**2 + 56*n - 8. Is 31 a factor of f(u)?
False
Suppose b - 2*j - 12 = 2*b, -2*b - 2*j - 18 = 0. Let m be (b/8)/(-1*5/20). Suppose -5*p - 31 = -z - z, 0 = -m*p + 15. Is 7 a factor of z?
True
Suppose 15*g - 84 = 3*g. Suppose -g*v = -4*v - 168. Is v a multiple of 14?
True
Let r = -596 + 15926. Is 35 a factor of r?
True
Let u(n) = n**3 + 12*n**2 - 19*n - 4. Let f be u(-12). Suppose -f = -13*k + 9*k. Is k a multiple of 14?
True
Let v(m) = 255*m - 1789. Is 98 a factor of v(27)?
True
Let a = 280 + -280. Suppose a = 3*z - 3 - 108. Is z a multiple of 6?
False
Let t(a) = 40*a + 2627. Is t(69) a multiple of 125?
False
Let t = 12619 + -5395. Is t a multiple of 56?
True
Suppose 0 = 4*y + 241 + 115. Let b = 55 + y. Is ((-18)/20 - 14/(-35))*b even?
False
Let f(p) = -p**3 + 11*p**2 - 9*p - 19. Let h be f(10). Let b(g) = g**2 - 2*g - 6. Let q be b(h). Let y = -38 + q. Is 11 a factor of y?
True
Suppose 11*g + 1591 = m + 10*g, 0 = m - 5*g - 1587. Is m a multiple of 6?
False
Let a(q) = -q**3 - 6*q**2 + 3*q + 15. Let j be a(-6). Let i be 24 + -8 + (j - -2). Let s(p) = 2*p**2 - 22*p - 4. Does 32 divide s(i)?
False
Does 14 divide -2*2/18 - ((-1717571968)/(-666))/(-112)?
False
Suppose -15*s = -24*s - 315. Is 8 a factor of (-8375)/s + 1 - 20/70?
True
Let m = -134 + 425. Suppose 3*b + 3*w = 1506, -b + 2*w + 223 = -m. Is 27 a factor of b?
False
Let l(x) = x**2 + 2*x + 16. Let b be l(0). Suppose -b*a + 4400 = -6*a. Is a a multiple of 44?
True
Let x = 5592 - -1374. Is x a multiple of 59?
False
Let o(f) = -f**3 - 5*f**2 - 10*f - 3. Let r be o(-2). Is (1/r)/((-10)/(-5450)) a multiple of 38?
False
Suppose 16 = 4*l, 8*j - 3*j = 3*l - 2. Suppose 808 = 4*t + 4*u, 3*t = j*t + u + 194. Is t a multiple of 2?
True
Suppose 8053 = -36*j - 51671. Let s = j + 2991. Is 14 a factor of s?
False
Suppose 0 = 4*o + o - 14106 - 47829. Does 8 divide o?
False
Let k(h) = -5*h - 47. Let p(c) = 9*c - 64. Let l be p(6). Let s be k(l). Suppose -r - u = -141, -3*r + 4*u + 431 = s*u. Is 12 a factor of r?
False
Let h(q) = 3 - 11*q**2 + 6*q**2 + 4*q**2 - 21*q - 38. Let d be h(-19). Does 31 divide 12/8*4/d + 152?
False
Let c = -671 - -670. Suppose 0 = 3*h - 5*l - 27, -l + 0*l + 31 = 2*h. Let m = h - c. Is m a multiple of 3?
True
Let v = -42160 - -63380. Does 156 divide v?
False
Does 2 divide (147/(-6) - 12)*(-5 - 1)?
False
Suppose 6*s = 5*s - 44. Let f = s - -26. Does 18 divide (f/(-21))/(2/252)?
True
Let j = 3914 - 1264. Suppose 5*y - 2658 = -4*n + n, -5*y - 5*n = -j. Is y a multiple of 59?
False
Suppose 3*x = -v + 4681, 4*v - 18789 = -61*x + 62*x. Is v a multiple of 8?
True
Let k be (51/(-34))/(2/(-4)). Suppose k*i = 2*x + 14, -3 = -3*i - x - 1. Suppose -3*z = -i*t + 2*z + 47, 4*z = -5*t + 68. Is t a multiple of 2?
True
Let o(d) = 31*d**2 + 108*d + 10. Does 29 divide o(-16)?
False
Let t(g) = -12*g - 26. Let n be t(-5). Suppose h - n = 2*r, -9*h - 3*r = -6*h - 93. Is h a multiple of 30?
False
Suppose 3*v = 2 - 11, 5*v + 13 = -z. Let o be (7*6/z)/(6/4). Is 2/7 + 1480/o a multiple of 34?
False
Let p(k) = -2*k + 299. Let x be p(0). Suppose 4*w - 4*c - x = 61, -3*w + 246 = 5*c. Suppose -3*u = m - w - 627, 2*u - 2*m - 476 = 0. Is u a multiple of 17?
True
Let d = -48 - -175. Suppose j - 242 = -d. Does 15 divide j?
False
Let k(g) = g**3 - 7*g**2 + 7*g - 11. Let c(u) = 52*u**2 - u - 2. Let x be c(-1). Let h = x + -44. Does 19 divide k(h)?
True
Suppose -22165 + 102652 = -50*f + 61*f. Is 25 a factor of f?
False
Let n(j) = 2*j**2 + 3*j + 38. Let v be ((-2)/9)/(2/(-18)). Let g be 24/v*(-30)/45. Is n(g) a multiple of 49?
False
Suppose -2*s + 415 = 3*l, 0 = 2*l - s - 3*s - 250. Let y = l + -143. Is 14 a factor of ((-6)/y)/(2/184)?
False
Let o(t) be the second derivative of t**4/6 + 14*t**3/3 - t**2 + 33*t. Let n be o(-14). Let m = n + 128. Does 42 divide m?
True
Suppose 7*p - 72 = p. Is (7/(98/5985))/(9/p) a multiple of 19?
True
Suppose -4*p - 439 = -a, a - 3*p = -6*p + 411. Let t = a + -295. Does 16 divide t?
True
Let x(d) = -3*d - 17. Let u be x(8). Let p = 0 - u. Suppose -14 - p = -l. Is 25 a factor of l?
False
Is (-138)/(-5) + -28 - 142/(-5) a multiple of 7?
True
Let m = -9 + 29. Let h be (-3)/(-5 - (-88)/m). Is 42 a factor of -1*h/15 + 658/3?
False
Let x = -20624 - -43049. Is x a multiple of 13?
True
Let v be (2 - 1)/(9/18). Let u(d) = d + 5. Let b be u(-3). Suppose b*k = 42 + v. Does 5 divide k?
False
Let q be 712/(-21) + 14/(-147). Let p = 34 + q. Suppose 0 = 5*f - 2*s - 169, -8*s + 11*s + 6 = p. Is f a multiple of 3?
True
Let p = -61373 - -115980. Does 203 divide p?
True
Let u(w) be the third derivative of w**8/3360 - w**7/1260 + w**6/120 + w**5/12 + 13*w**2. Let b(o) be the third derivative of u(o). Is b(3) a multiple of 14?
False
Let y(n) = 307*n**2 - 350*n + 57. Does 72 divide y(-8)?
False
Let x = 600 - 491. Let o = 36 + x. Is 2 a factor of o?
False
Let a be 1975 + -2 - (1 + 6). Suppose 5*c - 144 = a. Does 11 divide c?
False
Let m be ((-1)/4)/(1/(-292)). Let v = 627 + -608. Let q = m + v. Does 46 divide q?
True
Suppose -6*u = -4*z - u - 266, -5*z - 339 = -3*u. Let s = 633 - 504. Let r = s + z. Is 51 a factor of r?
False
Let b(s) = -1 - 8 + 5 + 6*s - 7*s. Let x be b(-7). Suppose 736 = -x*k + 7*k. Is 33 a factor of k?
False
Let h be 25/2 + 9/6. Suppose -5*g + 3*g = 2*m - h, -m - 3*g + 9 = 0. Suppose 352 = 2*y + m*y. Is y a multiple of 13?
False
Is 5 a factor of (9/(-2) - 625/(-250)) + 17794?
False
Suppose -8*m - 10 = -3*m. Let z(s) = -142*s - 7. Let a be z(m). Suppose -105 = 272*v - a*v. Is v a multiple of 18?
False
Let u be (3 + 0)*30/45. Suppose -409 = p - u*v - 1211, 0 = -p + v + 804. Is 19 a factor of p?
False
Suppose x - 15 = 3*y - 48, -5*y + 48 = -4*x. Suppose -19*p + y*p + 2030 = 0. Does 29 divide p?
True
Suppose -7*p = 529 - 109. Let j = 217 - p. Does 4 divide j?
False
Suppose -3*a + 159 = 5*c + 61, -3*c = -4*a + 150. Suppose -3*y + y - a = -j, 0 = 3*j + 5*y - 97. Does 9 divide j?
False
Suppose 0 = 4*l - p - 194, 4*p = 3 - 11. Let w = 373 - l. Does 7 divide w?
False
Let v = 217 - -15. Suppose 0 = -5*n - 27 + 42. Suppose n*p + 5*p = v. Is 19 a factor of p?
False
Let d(j) = -4*j**3 - 38*j**2 - 436*j - 26. Is 18 a factor of d(-17)?
True
Suppose 4*d + 80 = -i, -2*d - i - 19 = 19. Let f be (252/(-147))/(2/d). Is 36/f - 170/(-1) a multiple of 43?
True
Suppose -128 = -3*d - 4*q, -2*d = 4*q - 19 - 65. Suppose -m - 2 + 16 = 0. Let g = d - m. Is 6 a factor of g?
True
Suppose 2*k + 0 = -y - 2, -11 = -2*y + k. Suppose -18 = 5*u - 14*u. Suppose u*x = -4*f - 2*x + 384, y*f - 393 = -x. Is f a multiple of 31?
False
Let u(j) = j**3 - j**2 + 7*j - 3. Let o be u(6). Is 63 a factor of (o - 29)*1/1?
False
Let q = -381 - -2475. Suppose 0 = 2*c - n - 928, 250 - q = -4*c - n. Does 18 divide c?
False
Is (-1738)/316 - 14806/(-4) a multiple of 6?
True
Let l = 297 + -294. Suppose 4*i + i + 1118 = l*s, -3*s + 1111 = 2*i. Is s a multiple of 12?
False
Let r = 544 - 496. Suppose 51*t - r*t = 588. Is 5 a factor of t?
False
Suppose -4*w + 41 = -5*a, 19*w + 3*a = 20*w - 19. Suppose -3*k - 4*z + 312 = -k, w*z + 138 = k. Does 25 divide k?
True
Suppose -b + 242 + 133 = 0. Let d be -27*(-11 - 192/(-18)). Suppose -d*p - b = -14*p. Is 15 a factor of p?
True
Suppose 7*k - 79 = 68. Suppose -1176 = k*c - 25*c. Is 7 a factor of c/56*(-56)/(-6)?
True
Let r(c) = -c**3 + 15*c**2 + c - 19. Let q be r(15). Is 4 a factor of -1*-1*(-732)/q?
False
Suppose 1442 = 10*w - 158. Suppose 0 = -l + 11*l + w. Let m(r) = r**3 + 17*r**2 + 10*r - 26. Is 10 a factor of m(l)?
True
Let n = -17 + 77. Suppose -n*l - 1540 = -67*l. Does 22 divide l?
True
Let p = -3360 - -3370. Let w = 1 + -1. Suppose -p*r - 416 + 2836 = w. Does 22 divide r?
True
Suppose o - 24471 = -5*q, -14*q - 6*o = -13*q - 4871. Does 11 divide q?
True
Suppose 11*a - 7129 = 8601. Is a a multiple of 5?
True
Suppose