 j**2 - 9*j + 8. Let q be d(7). Let n(u) be the third derivative of u**5/30 + u**4/4 + 7*u**3/3 - 16*u**2. Is 25 a factor of n(q)?
True
Let q = -4544 - -4712. Is 2 a factor of q?
True
Is 9 a factor of (-271940)/(-11) + 304/(-380)*(-5)/22?
False
Let q = 625 + -370. Suppose 9*n = 15*n - 24. Suppose n*v + q = 19*v. Is 2 a factor of v?
False
Suppose 0*n - 3 = -2*w - 3*n, -3*w = 5*n - 3. Let d be (w/5)/((-9)/60). Let a = d + 38. Is 8 a factor of a?
False
Let c(n) = -4*n + 14. Let d be c(3). Suppose 5*f + 2*p - 24 = 0, -3*f + d*p = 4*p - 12. Suppose f*h = -92 + 668. Is 16 a factor of h?
True
Is 16 a factor of 195816/20 - (-90)/75?
True
Suppose 0 = 3*u - 7*u + 700. Let b = -58 - -108. Suppose u = x + b. Does 12 divide x?
False
Suppose 2345 + 665 = 10*n. Suppose 40*l = -3*l + n. Is 7 a factor of l?
True
Let f(c) = 31*c**2 - 4*c + 5. Suppose 0 = 4*v - 4*w + 4, 0*v + v + 5*w = -19. Let r be f(v). Let t = -363 + r. Is t a multiple of 27?
False
Let k(b) = 11*b - 8. Let a = -42 + 56. Is k(a) a multiple of 6?
False
Let x(n) = 11*n**2 + 4*n**2 + 12 - 2*n**2 - 6*n - 22. Let i(h) = -h**2 - h - 2. Let y be i(0). Does 3 divide x(y)?
True
Is 37 a factor of ((-19048)/12)/(-5*(-10)/(-75))?
False
Let p(y) = 4*y**2 - 4*y + 1. Let v be ((-36)/(-10))/(-1 - 85/(-75)). Suppose -i = 5*l + v, -2*l = -3*i - 5*l - 21. Is 13 a factor of p(i)?
False
Let o(x) = -x**2 + 3*x + 7. Let w be o(4). Suppose w*b = 3 - 6. Is b/((-1)/1) - -41 a multiple of 21?
True
Suppose -4*h = 3*r - 3781, 23*r = -3*h + 20*r + 2832. Does 13 divide h?
True
Let r = 605 + 552. Is 9 a factor of r?
False
Does 115 divide -3*(660/(-77) + 9 - (-125355)/(-63))?
False
Suppose 6*d + 515 = 5*v + d, -2*v + 3*d + 202 = 0. Let l = 69 + v. Is 88 a factor of l?
True
Suppose -14*t - 119 = 21. Does 14 divide 36*(-5 + (-105)/t)?
False
Let s = 1756 - 1455. Is s a multiple of 6?
False
Is (-34)/(-51) - (1/(-3))/((-17)/(-82331)) a multiple of 5?
True
Suppose -242*o + 1785972 = 79*o - 6179964. Is o a multiple of 24?
True
Let l(o) = -936*o + 8232. Is l(-15) a multiple of 16?
True
Let z(w) = -w - 7. Let f be z(-10). Let s(i) = -1 - 2*i + 6*i**2 + 2*i + 4*i + 15*i**3 - 14*i**f. Does 2 divide s(-5)?
True
Let z(l) = -972*l + 1802. Does 73 divide z(-11)?
False
Let g(n) = 34*n + 116. Let u be g(-5). Suppose 0 = 2*t + 3*q - 164, -3*t = q + 57 - 289. Let o = u + t. Is o a multiple of 3?
False
Suppose 6*h = -3*d + 5*h - 8, -15 = 3*h. Let m(k) = -702*k**3 - 3*k**2 - 2*k - 1. Is m(d) a multiple of 14?
True
Suppose 50*y - 6138 = -43*y. Is 2 a factor of y?
True
Let w(g) = -2 + 45 - 7*g - 15*g - 8. Let h = -12 - -3. Does 19 divide w(h)?
False
Suppose 2*k = 10, -6505 = -y + 4*k + 5175. Is 39 a factor of y?
True
Let k(l) = -24*l**3 + 4*l**2 + 4*l + 18. Is k(-6) a multiple of 192?
False
Suppose 128*a = 132*a + 80. Is 40 a factor of (-2136)/a*(-25)/(-15)?
False
Suppose -p - 133092 = -5*f, 79851 = 3*f + 44*p - 46*p. Is 56 a factor of f?
False
Let d(w) = 367*w - 4035. Is 34 a factor of d(55)?
True
Let b be (-12)/(-24) - (-9)/6. Suppose -4*f + 96 = -2*w, 0 = 3*f - b*f - 4*w - 38. Is f even?
True
Suppose 0 = -q - 6 + 24. Suppose 19175 = q*z + 7*z. Is z a multiple of 14?
False
Let n = 949 + -839. Let x = 756 - n. Is 34 a factor of x?
True
Suppose 147*l = 480*l - 8944713. Does 176 divide l?
False
Does 6 divide (536 - -1) + (17 - 8)?
True
Suppose -2*s - 5*k + 5 = -10, -k - 24 = -5*s. Is (-5)/s*-10*28 a multiple of 33?
False
Suppose 2*f - z = 6*f + 251, -5*f - 319 = 3*z. Let t = f - -62. Let j(v) = -v**3 + 124. Does 31 divide j(t)?
True
Let u be (2/3 - 192/72) + 179. Suppose 2 = w - 1, 3*l + 5*w - u = 0. Is l a multiple of 18?
True
Suppose -39197 - 20485 = -49*n. Is n a multiple of 13?
False
Suppose -9*y + 51464 + 91426 - 19662 = 0. Is 6 a factor of y?
True
Suppose -4*y = 2*c - 8, -2*c = -4*y - 1 + 9. Suppose 4*s + 4*i - 48 = 0, -3*i = -y + 11. Does 9 divide (-3)/(s/(-305) - 0)?
False
Let q(n) = 1 - 2*n**2 - 3*n**2 - 14*n + n**2 + 3*n**2. Let b be q(-11). Suppose 6*m - b = 8. Does 2 divide m?
False
Let q = 22915 - 12635. Is 20 a factor of q?
True
Suppose f + 11*f = 684. Let q = f - 48. Suppose -i + q*i = 352. Is 22 a factor of i?
True
Let x(v) be the first derivative of -v**7/840 - v**6/180 + v**5/8 + v**4/12 - 9*v**3 + 29. Let t(l) be the third derivative of x(l). Does 14 divide t(-6)?
True
Suppose 0 = 1265*z - 1228*z - 535686. Is 19 a factor of z?
True
Let h(l) = 4*l**2 - 7*l - 323. Does 10 divide h(-15)?
False
Suppose 14*u - 1399464 = -41*u - 38*u. Does 9 divide u?
True
Suppose -2*j = -2*b - 3 - 7, 3*j = b + 13. Suppose 0 = 3*l - j*a - 7, 21 = 4*l - 3*a. Is 2 a factor of l?
False
Let x(l) be the second derivative of -8*l**3 + l**2 - 8*l. Let m be x(-4). Does 21 divide (-18)/(-63) + m/7?
False
Let i = -784 - -786. Suppose 0 = -5*t + x + 3479, -3*t - 96 = -i*x - 2189. Is t a multiple of 15?
False
Suppose -15*j + 25830 = -6*j. Suppose -14*k + 672 = -j. Is k a multiple of 7?
False
Suppose 0*u = -6*u. Suppose 9 = -u*w - w. Let s = w + 84. Does 11 divide s?
False
Let f = -1988 + 2268. Is 7 a factor of f?
True
Let z be (2 - 115)/((-2)/(-2)). Suppose 32*q = 21*q - 2134. Let d = z - q. Does 12 divide d?
False
Let r(h) = h**3 - 3*h**2 - 8*h + 4. Let o be r(8). Let a = o - -688. Is a a multiple of 12?
True
Let v be 69/(-6)*(24/4 + -4). Let h(m) = -2*m**3 - 45*m**2 - 29*m + 1. Does 19 divide h(v)?
True
Suppose 0 = -11*g + 31907 + 21363 + 61306. Is g a multiple of 24?
True
Suppose 3839 + 4465 = 8*x. Let j = 2218 - x. Suppose 7*a - 12*a = -j. Is 47 a factor of a?
False
Let g = 134 - 142. Let s = 293 + g. Is s a multiple of 12?
False
Let x = 80 + -69. Suppose 105 + 676 = -x*j. Let y = j - -101. Is 4 a factor of y?
False
Let u(t) = 3*t - 57. Let o(i) = 6*i - 113. Let w(z) = -6*o(z) + 11*u(z). Is 10 a factor of w(7)?
True
Suppose 0 = 2*h - 2*p - 20, -p = p + 2. Suppose 0 = -h*r + 4*r + 930. Is ((-30)/45)/((-4)/r) a multiple of 16?
False
Let x(l) = l**3 + 11*l**2 + 5*l - 12. Let r be x(-10). Let u = -45 + r. Is ((-1)/3*u)/((-12)/(-72)) a multiple of 14?
True
Let g(f) = -f**3 - 6*f**2 - 5*f + 5. Let p be g(-5). Let c be 267/(-15) + (-1)/p. Is (-2223)/c + (-3)/2 a multiple of 34?
False
Suppose 86*x - 152*x = -326040. Does 34 divide x?
False
Let u be -1 - ((-6)/3 - 1). Is u*(-415)/(-20)*16 a multiple of 59?
False
Let n be 24/2*(6 - (-1 - 4)). Let s = n + -135. Is s*(-249)/9 + 1 a multiple of 12?
True
Let u be -1 + -122*5*(-3)/6. Let g be u/48 + 1/(-3) + 0. Suppose -g*m + 2*m = -416. Does 11 divide m?
False
Let y be (((-140)/21)/10)/((-2)/9). Suppose 2*p + y*u = 347, 0*p - 4*p + 715 = -u. Is p a multiple of 37?
False
Let r = 16200 + -11209. Does 8 divide r?
False
Does 88 divide (-2)/(-12) - 6/72*-177358?
False
Let s(a) = -a**2 - 20*a + 7. Let r be s(-17). Let w = r + 42. Suppose 4*t - 8*t + w = 5*l, -t - 4*l = -14. Is 8 a factor of t?
False
Let k(u) = -u**2 + u - 2. Let g(d) = d**2 - d + 3. Let y(x) = -6*g(x) - 11*k(x). Let h be y(5). Suppose 0 = 5*a - a - h. Is 4 a factor of a?
False
Let l = 27676 - 16471. Does 249 divide l?
True
Let x(h) = -15*h - 4 + 4 + 0. Let z(b) = 15*b. Let m(c) = -4*x(c) - 5*z(c). Does 19 divide m(-6)?
False
Is 67 a factor of 2*1 - 375/100*(0 - 3412)?
True
Let x(w) = -w**3 + w**2 + w - 1. Let a(o) = -10*o**3 + o. Let v(p) = -a(p) + x(p). Let m be v(1). Suppose -m + 339 = 5*u. Is 22 a factor of u?
True
Does 32 divide 7 + 0 - ((-240)/(-15) - 5673)?
True
Let y(w) = -w**3 - 2*w**2 - 2*w - 4. Let c be y(-2). Suppose -f + 216 = -c*f. Is 5 a factor of (-48)/f + (-227)/(-9)?
True
Let s be (-4 - 12)/(-4) + 299. Suppose -p + 5*r + 43 = -0*p, -4*r = 3*p - 72. Suppose 5*t + p = s. Is 10 a factor of t?
False
Let r = 13677 + -711. Is 13 a factor of r?
False
Let r = 1793 - 1038. Suppose 30*l = 31*l - r. Suppose -71 + 222 = h - 5*d, -5*h + l = -3*d. Is 26 a factor of h?
False
Suppose -30 = -3*y + 3*t, 32 = y + 3*y - 2*t. Let i be ((-87)/y*-2)/1. Suppose d + 5*b + 1 - i = 0, -2*b = -4*d + 200. Does 8 divide d?
True
Suppose 3*y - 25656 = -5*s + 1896, -6*y - 5*s + 55089 = 0. Is y a multiple of 67?
True
Suppose 6*s = 30*s - 18360. Let c = -385 + s. Is c a multiple of 24?
False
Suppose -s + 101 = -3*w, 0 = 5*w + 7*s - 6*s + 163. Is (-1902)/(-8) - (-3 - w/12) a multiple of 9?
False
Let i(h) be the first derivative of -161*h**2/2 + 6*h - 43. Let n be i(-1). Suppose