-46*x - 14. Let n = -72 - -58. Does 35 divide f(n)?
True
Let g(l) be the first derivative of l**4/4 + 13*l**3/3 + 9*l**2/2 + 67*l + 77. Does 15 divide g(-11)?
True
Does 15 divide 30/10*(-202155)/(-15)?
False
Let u = -103 - -91. Let m = u - -28. Is 2/(-4)*2 + m + 1 a multiple of 2?
True
Suppose 47*j - 104167 = 42*j + r, r + 7 = 0. Does 82 divide j?
False
Suppose 0 = -27*z + 166 + 77. Let m(a) = -a**3 + 19*a**2 - 3*a + 27. Is 23 a factor of m(z)?
False
Let r = -22 + 16. Let k be 0/(r/(-15)*5). Suppose k = -2*h + 4*d + 48, 8 = -d - d. Is 4 a factor of h?
True
Suppose 18*t - 9*t = 36. Suppose -2*q + 252 = 2*n, t*n - 3*q + 2*q - 494 = 0. Does 25 divide n?
False
Let w = -15194 - -16079. Is w a multiple of 5?
True
Suppose -632 = 7*n + 285. Let r = n - -355. Let f = -112 + r. Is 8 a factor of f?
True
Let m(a) = -12*a - 72. Let l be m(-5). Is 19 a factor of l/(-3) - (-303 - -22)?
True
Suppose -b - 35 = -x, x - 26 = -3*b + 29. Let h = -36 + x. Suppose -2*f - 2*p + 442 = 3*f, 0 = h*f + 2*p - 354. Does 13 divide f?
False
Let d be 0 - ((251 - -6) + -5). Is (-24)/((d/32)/(-7))*-12 a multiple of 51?
False
Is 45 a factor of 28/(-4) - 10/20*-23144?
True
Let r = -33111 + 49977. Does 43 divide r?
False
Let a be (5 + 70/(-15))*3267. Let p = 1754 - a. Does 13 divide p?
False
Let d = -63 + 67. Suppose -h + 1 = -5*f, -d*f + 5*h = -3*f + 5. Suppose f = 2*o - 0 - 488. Is o a multiple of 39?
False
Let p(f) = 43*f**2 - 2*f + 1. Suppose 28*w = 21*w + 7. Is 22 a factor of p(w)?
False
Let r be (-1)/((-10)/15 - 1/(-3)). Let m be (-2 - (-1)/2)/(r/(-8)). Suppose -5*p + 228 + 867 = m*d, 819 = 3*d + 3*p. Is 15 a factor of d?
True
Let j(p) = -3*p**2 - 6*p - 6. Let w be j(-3). Does 9 divide (222/(-5))/(w/50)?
False
Is 1*(611 - (-3)/(-1)) - 0/5 a multiple of 152?
True
Let s(a) = a**3 - 13*a**2 - 17*a + 14. Let p be s(15). Let g(v) = -v**3 + 2*v**3 - p - 2*v**2 + 4*v + 216. Does 11 divide g(4)?
True
Suppose 0 = 10*q - 17 - 6253. Suppose 39*a - 37*a = 5*f + q, a - 4*f = 306. Is 9 a factor of a?
False
Suppose -4*a - 5*q + 646 + 2352 = 0, 0 = 5*a + 4*q - 3734. Is 3 a factor of a?
False
Is 72 a factor of 4 + -4 + -1 - 10/(110/(-106931))?
True
Let w(g) = -3*g**2 + 20*g - 16. Let m be w(6). Is (26/(-5))/((-7)/490) + m a multiple of 12?
True
Let f(b) = 0 - 4 + 6 - 3. Let z(j) = 3*j**2 - 2*j - 1. Let c(l) = -f(l) + z(l). Does 8 divide c(2)?
True
Suppose 0 = l - 2*l + 2. Let d be ((-182)/(-10))/1 + l/(-10). Is (-996)/8*3/(d/(-4)) a multiple of 15?
False
Let k(b) be the third derivative of -b**4/4 - 17*b**3/6 - 4*b**2. Let i = -253 + 237. Is k(i) a multiple of 12?
False
Let y be (17/(-3))/((-33)/1881). Let q = y + 12. Does 42 divide q?
False
Let n(s) = -1036*s**3 - 16*s**2 + 1. Does 8 divide n(-1)?
False
Let i(m) = -8*m - 27. Let a be i(-4). Suppose 4*h + l = 206, -h - h + 94 = a*l. Is 21 a factor of h?
False
Does 135 divide (18792/(-406))/(8/(-420))?
True
Suppose 307 = m + 3*b + 85, 198 = m - 3*b. Is 30/m - (-4688)/14 a multiple of 29?
False
Let t(j) = 55*j**3 - j**2 - j. Let v be t(-1). Let w = v + 57. Suppose -w*y - 104 = -2*u + 20, 0 = 3*u + 4*y - 172. Does 9 divide u?
False
Suppose -5*q = -42*v + 40*v - 139144, 0 = 4*q + v - 111336. Is 61 a factor of q?
False
Let f(j) = -4*j**2 + 5*j - 9. Let c(y) = -5*y**2 + 4*y - 9. Let d(k) = 2*c(k) - 3*f(k). Suppose 0 = 891*z - 899*z + 48. Is d(z) a multiple of 11?
False
Let y = 26449 + -12868. Is y a multiple of 44?
False
Let r = 10976 + -7892. Does 13 divide r?
False
Let j(q) = 773*q + 7245. Is 124 a factor of j(11)?
True
Let b = -1445 + 69. Let n = -816 - b. Is 40 a factor of n?
True
Suppose 4*v - 73927 = 5*q, -5*v - 21*q + 23*q = -92379. Is 91 a factor of v?
True
Suppose 5*r + 3*j = 257 + 414, 0 = 2*j + 6. Let x = 263 - r. Is 6 a factor of x?
False
Let h be (-4)/4 - -1 - 0. Suppose h = -2*c - 2*z + 956, c - 5*z = 331 + 165. Is c a multiple of 36?
False
Suppose -r + 114 = -3*q, 3*q - 15 = -2*r + 186. Suppose 230 = r*k - 103*k. Is 8 a factor of k?
False
Let k be 35 - -381 - (0 - 7). Let g = -59 + k. Does 91 divide g?
True
Let k = 45 + -45. Suppose -2*x = 0, k = 5*t + 3*x - 740 + 185. Let w = -67 + t. Is w a multiple of 17?
False
Let p(m) = 20*m**2. Let f = -188 + 184. Does 9 divide p(f)?
False
Let u(x) = -2*x + 3. Let y be u(-5). Suppose -5*k + y*k = -8. Is 2/1 - k - -83 a multiple of 19?
False
Let f = -12 - -16. Let v(y) = f*y + 2*y - 11 + 64. Does 32 divide v(12)?
False
Let x = 139 + -54. Suppose 3*v + 3*q - 74 = -q, -q = -5*v + x. Is v a multiple of 18?
True
Suppose -126*r + 132*r - 24090 = 0. Suppose -17*j + r = -405. Is 26 a factor of j?
True
Let w(j) = 2*j + 9. Suppose -y - y - 30 = -p, 4*y = 0. Suppose -32*q = -p*q - 8. Is 17 a factor of w(q)?
True
Let x = 354 + -312. Suppose x*t - 196 = 38*t. Is t a multiple of 4?
False
Let l be (-2 - -14)/(-3) + -3. Is 251 - ((-108)/84 + (-2)/l) a multiple of 24?
False
Let i(l) = -l**3 - 5*l**2 + l - 89. Let s be i(-7). Does 10 divide (-3)/s*-73*8/12?
False
Let h(o) = 103*o**2 - 889*o - 8808. Does 45 divide h(-10)?
False
Let k be (-114)/(-76) + 3/(-2). Suppose -30*i + 11760 = -k*i. Is 7 a factor of i?
True
Let z(t) be the second derivative of -t**3 + 3*t**2 + 21*t. Let f be z(3). Let x(b) = b**2 + 3*b - 12. Does 24 divide x(f)?
True
Suppose 10 = 4*y - 14. Suppose y*b + 1445 = b. Let o = b - -408. Is o a multiple of 21?
False
Let y(f) = f + 3. Let k be y(4). Suppose -j + 1752 = k*j. Suppose j = -4*v + 839. Does 13 divide v?
False
Let x(z) = -z**2 - z + 1. Let n(r) = 2*r**2 + 10*r + 15. Let k(t) = -n(t) - x(t). Let d be k(-6). Suppose 2*v = 3*v - 5*m - 31, -m + 40 = d*v. Is v even?
False
Let k(y) = -y - 3. Let w(h) = h + 2. Let l(n) = 2*k(n) + 3*w(n). Let b be l(3). Suppose 0 = -r + s + 127, -r + b*s = -2*r + 139. Is 27 a factor of r?
False
Let l = -2296 - -2394. Is 4 a factor of l?
False
Suppose 5*v + 48 = 313. Is v - (5 - (-2 + 2)) a multiple of 4?
True
Suppose 17*c - 15*c = -8. Is 10 a factor of 1/(c/112)*10/(-4)?
True
Suppose 2*c = 8*c. Suppose 3*g = -2*x - c*g + 21, -5*x - 2*g = -47. Does 3 divide -19*(-3)/x*3?
False
Suppose 2382 = 233*p - 68*p - 588. Let r(t) = 4*t + 39 + 0*t - 5*t. Is r(p) even?
False
Let n(v) = -11*v + 634. Is 5 a factor of n(14)?
True
Let j(q) = -4*q + 32 + q - 7*q**2 + 27*q**2 - 5*q. Let i be j(-20). Does 14 divide ((-8)/9)/(-4) - i/(-72)?
False
Let g = 478 - 227. Let y = 467 - g. Is y a multiple of 27?
True
Suppose -5*t + 15 = 0, -18*t = 2*f - 20*t - 1402. Is f a multiple of 97?
False
Suppose -283*d - 22926 = -75281. Is 9 a factor of d?
False
Let l(o) = -2*o**3 - 6*o**2 - 3*o - 7. Let n be l(-3). Suppose 4 = -r, -t + 0*r = -n*r - 416. Is t a multiple of 68?
True
Let y(k) = k**3 + 15*k**2 + 20*k + 89. Let v be y(-14). Suppose v*f = g + 7 - 83, -f = 3*g - 244. Does 12 divide g?
False
Suppose -10326 = -33*b + 11901 + 2853. Does 20 divide b?
True
Suppose 2*u + 3*l + 15 = -3*u, l + 5 = -5*u. Suppose u*n = 7*n - 1393. Is n a multiple of 31?
False
Is -3*(751/9)/(2/(-96)) a multiple of 19?
False
Let c = -199 - -117. Let r = 85 + c. Suppose r*j - 5*g - 24 = j, 5*g = 0. Is 12 a factor of j?
True
Let l(d) = -d**2 + 2*d + 13. Let u be l(3). Suppose 0 = -u*w + 19*w - 1728. Does 8 divide w?
True
Let a be 4/3 + 8/(-6). Suppose 19*f + a*f - 950 = 0. Does 10 divide f?
True
Let a be (-819)/(-18) - (-2)/4. Suppose a = u + 3*b, -u - b - 188 = -4*u. Let l = 15 + u. Is 19 a factor of l?
True
Let u(z) = 3*z**2 + 18*z + 47. Let f(d) = 3*d**2 + 17*d + 48. Let y(k) = 4*f(k) - 5*u(k). Let j(w) be the first derivative of y(w). Does 9 divide j(-11)?
False
Suppose -34 + 25 = -3*a. Suppose a*l = -p + 363, -588 = -5*l - 2*p + 6*p. Is l a multiple of 30?
True
Let w(h) = h**2 + 5*h**2 + 48*h - 141 - 3*h**2 + 159. Is 13 a factor of w(-24)?
False
Suppose -8*t = -6*t - 40. Let v be (-5)/75*-27*t/6. Suppose -264 = -v*s + 4*s. Is s a multiple of 11?
True
Suppose 4*g - 18 = -2*a + 4*a, -3*g - a + 21 = 0. Is 22 a factor of (3 - g) + -79*(1 + -2)?
False
Let q = 13497 - 6497. Does 56 divide q?
True
Suppose -8*d + 13016 + 15936 = 0. Is 77 a factor of d?
True
Let y(d) = -d**2 + 6. Let z be y(0). Let t be 0/(-1*-2*3/6). Suppose t = 9*h - 201 - z. Does 23 divide h?
True
Let k = 134 + -146. Is 43554/252 + (-2)/k a multiple of 9?
False
Let j be 172/(-3)*3/2. Let t = -61 - j. Does 5 divide t?
True
Let u be 0 + -5 + (3 - -27