third derivative of -3*w**4/2 + 2*w**3/3 + 19*w**2. Let k be f(5). Let a = k + 296. Is 40 a factor of a?
True
Suppose -6*q = -11*q + 10. Suppose -q*p = -3 - 15. Suppose -2*l + w + 145 = 0, 2*l - 121 = -2*w + p. Does 12 divide l?
False
Let p be (2 + (7 - 11))*10/(-4). Let f be p + -4 - (-7 - -3). Suppose -f*w + 120 = 5*w. Is w a multiple of 3?
True
Let a be 1/5 + 44/(-20). Does 9 divide 189/6*a/(-1)?
True
Let w = 6 + 114. Suppose -6*p = -90 - w. Is 5 a factor of p?
True
Suppose 8 = 9*x - 5*x. Suppose 28 = x*u - 20. Does 34 divide (-994)/(-6) + 32/u?
False
Let r be 1*(2 + -1) - 6. Let s(d) = -d**3 - d**2 - d + 1. Let j(u) = 7*u**2 + 6*u - 3. Let k(g) = r*s(g) - j(g). Does 15 divide k(2)?
False
Suppose 2*k + 14 + 3 = a, 2*a - 16 = k. Let s(f) = -14*f + 24. Let p be s(k). Suppose 0 = 4*x + 4*b - p, -b - 16 = 3*b. Is x a multiple of 2?
False
Suppose 0 = -4*y + 2*a, a = 3*y - 2*a - 3. Let s be ((-2)/(-4))/(y/108). Is ((-85)/51)/((-53)/s + -1) a multiple of 9?
True
Suppose 13*x = 33*x - 60. Suppose x*u + 2*r + 268 = 1690, -2*u + 2*r + 938 = 0. Does 24 divide u?
False
Let g(z) = -277*z + 17. Let x(p) = -1. Let b(r) = -g(r) - 6*x(r). Let m(j) = 46*j - 1379. Let l be m(30). Does 13 divide b(l)?
False
Suppose 6*n = 14 - 2. Let q(g) = 14*g**2 - 11*g + 6. Does 4 divide q(n)?
True
Does 13 divide 12604/138*(-1212)/(-8)?
False
Suppose 0 = -2*h + 4*h - 258. Suppose 0 = 4*v - 379 - h. Suppose 173 = 4*k - v. Does 18 divide k?
False
Let s(i) = 636*i - 10257. Is 19 a factor of s(47)?
False
Let g = 158 + -26. Is 12 a factor of g?
True
Let g = 8398 + -7260. Is g a multiple of 39?
False
Let m(r) = 3*r**2 + 6*r - 1. Let a be m(-5). Let x = 146 + a. Suppose 5*h - 587 = -5*b - 132, -2*h - 4*b + x = 0. Does 29 divide h?
True
Let k = 259 + -275. Let r(q) = q**3 + 20*q**2 - 24*q + 11. Does 31 divide r(k)?
False
Suppose 18*a = a + 52*a - 754180. Is 25 a factor of a?
False
Let f(c) = 3*c**3 - 17*c**2 + 176*c - 3389. Is 9 a factor of f(18)?
False
Let a(b) be the second derivative of -b**5/10 + b**4/3 + b**3/6 - b**2 - 2*b + 1. Is 4 a factor of a(-2)?
True
Let q(p) = -53*p + 23. Suppose -2*y + 5 = 13. Let u be q(y). Suppose -8*z + 3*z = -5*m - 275, 0 = -4*z + m + u. Does 15 divide z?
True
Let a(u) = u**3 + 4*u**2 + 9*u + 11. Let k be a(-3). Does 17 divide 322/3*(k/(-14) - -1)?
False
Let g = 505 + -378. Suppose -7*s = -547 + g. Is 30 a factor of s?
True
Let y(d) be the second derivative of d**4/12 - d**3/3 - 11*d**2/2 - 16*d. Let z be y(-3). Suppose -t - 2*t = z*h - 130, 122 = 3*t - 4*h. Is t a multiple of 15?
False
Let k = 107114 + -59373. Does 11 divide k?
False
Suppose 0 = -5*t + 2*h + 77, -3*h + 7*h = 4*t - 52. Let j(l) = t*l**2 + 19*l - 6*l**3 + 4 + 8*l + 0*l**3 + 7*l**3. Does 17 divide j(-15)?
False
Let l be 58 + 0 + 1 - (-1 - -4). Let o = l + -45. Let t(p) = p**3 - 10*p**2 - 7*p - 26. Does 18 divide t(o)?
True
Let x be (-2211)/(-15) - (-3)/(-30)*-6. Suppose 0 = 2*b - 3*b - 2*g + 76, 0 = -3*b - g + 248. Let f = x - b. Is 12 a factor of f?
False
Let u(y) = 5*y**2 - 23*y - 17. Let c be u(-6). Suppose -96 = -o + 19*m - 14*m, 3*o = 2*m + c. Is o a multiple of 39?
False
Suppose 46*k - 18 = 37*k. Suppose 2 = -f - k, -3*f + 813 = 5*b. Is 5 a factor of b?
True
Suppose 2*c - 390 = 5*l, 3*l = 3*c + 43 - 277. Let q = l + 342. Does 24 divide q?
True
Let y be (-56)/(-5) - 23/115. Suppose -y*a = 1342 - 7106. Is 23 a factor of a?
False
Let c = -115 - 60. Let w(o) = 4*o**3 - 60*o**2 + 36*o + 31. Let h be w(14). Let g = c - h. Is g a multiple of 37?
True
Let b(n) = -n**3 - 15*n**2 - 4. Let c be b(-15). Let u(i) = -2*i**2 + 3*i + 4. Let j be u(c). Is 8 a factor of (-430)/j*(0 - -8)?
False
Let z be 6/(((-3)/5)/(36/(-90))). Suppose -4*k + 4 + 0 = i, 2*k - i - 8 = 0. Suppose -y + k*d + 33 = -3*d, 0 = -d - z. Is 13 a factor of y?
True
Let d = 109896 - 58087. Is 35 a factor of d?
False
Let n(m) = -11*m - 8. Let v be n(-4). Let c = -32 + v. Suppose c*x = -3*x + 1295. Is x a multiple of 37?
True
Let x = 13140 + 2251. Is x a multiple of 33?
False
Let r(s) = -s**3 - 13*s**2 - 12*s + 5. Let p be r(-12). Let h be 221 - ((4 - 8) + p). Suppose -k = -4*t + 228, 4*t - 4*k = -5*k + h. Does 7 divide t?
True
Let j = 44 - 24. Suppose -j*a + a + 5472 = 0. Does 16 divide a?
True
Suppose 0 = -2404*j + 2316*j + 714560. Does 28 divide j?
True
Let k(o) = 6*o**2 + 6*o - 41. Let i(g) = -4*g**2 + 5*g - 4. Let t be i(2). Let j be k(t). Let m = 763 - j. Does 17 divide m?
False
Does 20 divide 27/(-42)*28/(-12) + 12111/6?
True
Suppose 52*n = 7*n + 35640. Suppose -3*i + 5*l + 1933 = -375, i - n = -4*l. Does 8 divide i?
True
Let w(i) be the second derivative of i**4/2 + i**3/2 - 3*i**2/2 + 40*i. Is w(-5) a multiple of 22?
True
Suppose 0 = 3*v + 14 - 26. Suppose z + 2*s = -2*s + 28, 92 = v*z - 4*s. Suppose -4 - z = -c. Is 14 a factor of c?
True
Let f = -8154 + 14006. Is 11 a factor of f?
True
Suppose -12*x = -20*x + 40. Suppose -38*n + 33*n = -x*k + 925, n = -2*k + 361. Does 28 divide k?
False
Suppose -x - 178 = f - 2*x, 0 = -3*f - 2*x - 534. Let i = f - -332. Is 18 a factor of i?
False
Let g(n) be the first derivative of -n**3/3 + 10*n**2 - 36*n - 8. Let k be g(17). Suppose k = 5*o - 30. Does 6 divide o?
False
Suppose -153529 = -19*f + 64990. Is f a multiple of 31?
True
Let l = 170 - 141. Let d = 105 - l. Is d a multiple of 7?
False
Suppose -19*h = -33*h + 20174. Does 8 divide h/5 - (-6)/(-360)*12?
True
Let l(g) = g**3 + 14*g**2 + 12*g - 7. Let v be l(-13). Suppose 0 = 18*a - v*a - 4080. Suppose 112 - a = -i. Does 14 divide i?
False
Does 4 divide (-9)/(45/(-10)) + (-4)/((-12)/3099)?
False
Let p(z) = -24*z + 2. Let q(a) = -2*a - 20. Let g be q(-11). Let b be p(g). Let h = 152 + b. Does 22 divide h?
False
Let y be (20/1*1)/(6/(-12)). Does 18 divide -1 - (-441 + 4) - y/(-10)?
True
Suppose -3*j - 2*k = -129 + 37, k + 59 = 2*j. Does 14 divide j?
False
Let f be (725/(-20))/(3/36). Let x = 576 + f. Is 17 a factor of x?
False
Let y = -11 - 1. Let t(s) = -s**3 - 11*s**2 + 10*s + 11. Let h be t(y). Let n = h - 22. Is 13 a factor of n?
True
Suppose -38*n - 131450 = -63*n. Does 14 divide n?
False
Let y(u) = u**3 + 17*u**2 + 15*u - 12. Let h be y(-16). Let f be (-1 + 739/(-2))*h/(-6). Suppose 2*l = -3*q - 3*l + f, -2*q + l = -143. Is q a multiple of 19?
False
Let r = -5249 - -5320. Is r a multiple of 5?
False
Let r be 2/((-2)/(-3)) + -5. Let i(j) = -72*j**3 - 2*j**2 - 7*j - 4. Is i(r) a multiple of 34?
True
Let v = -96 + 97. Let a(b) = 5*b**2 + 7*b - 8. Is 3 a factor of a(v)?
False
Suppose 0 = -2*o - 4*n + 13675 + 14285, 41880 = 3*o - 4*n. Does 144 divide o?
True
Let q be 2*7/4*-2. Let k(x) = 8*x**2 - 7*x + 15. Does 19 divide k(q)?
True
Let g(j) be the third derivative of -11*j**5/60 + j**4/8 + 2*j**2. Let p be g(4). Let f = p + 244. Does 28 divide f?
False
Let m = 4446 - 3528. Does 51 divide m?
True
Let d(x) = -3*x + 47. Suppose -g + 4*g - 3*y = 0, 0 = 3*y. Let t be d(g). Suppose 5*m - t - 68 = 0. Is m a multiple of 17?
False
Let n(z) = 114*z**3 + 4*z**2 - 13*z - 2. Let r = 345 + -343. Is 36 a factor of n(r)?
True
Suppose -4*o = 8, -w = 2*w - 2*o - 79. Suppose -13*g = 1 + w. Is (6/g - -60) + -1 a multiple of 8?
True
Let a be 1 - (46/(-8) - (-3)/(-12)). Suppose 63 = -a*n + 4*n. Let b = n - -40. Is b a multiple of 17?
False
Is 25 a factor of (-5 + 14 + (-977)/2)*-6?
False
Suppose -2*z = z - 4*q, 3*q - 9 = 0. Let y(r) be the third derivative of 7*r**4/8 + r**3/6 - 694*r**2. Is 17 a factor of y(z)?
True
Does 141 divide (-6 - 4) + -1 - -5628?
False
Suppose 3*p - 2270 = -4*o, -10*p + 5*o + 2252 = -7*p. Is p a multiple of 13?
True
Let q(t) = t**2 - 35*t - 1527. Let z be q(0). Is z/(-9) + (-1)/(9/15) a multiple of 22?
False
Suppose 0 = -5*k - 4*h + 52964, 4*h = k - 13647 + 3083. Is k a multiple of 99?
False
Suppose -6*p + 2*u - 1134 = -2*p, 0 = -4*p - 5*u - 1169. Is 73 a factor of (-10 + (-5 - -10))/1 - p?
False
Let p(g) = 3*g**3 - 24*g**2 - 36*g - 3. Suppose -127*m = -135*m + 88. Does 29 divide p(m)?
False
Let b be 62 - ((-5)/10)/((-1)/(-4)). Suppose -128*n = -127*n - b. Does 16 divide n?
True
Let j(z) = 106*z**2 - z - 1. Let q be (1 + (-1 - -1))*-1*-15. Let w be (3/(q/5))/(-3 + 2). Is j(w) a multiple of 17?
False
Let y be (2938/(-13))/(0 - 1). Let o = 360 - y. Does 25 divide o?
False
Let x = -476 - -12. Suppose -2*o - 556 = 2*a, 23*a -