et i(l) = -l**2 + 8*l + 96. Let k be i(-7). Is 26 a factor of ((-30)/k)/((-15)/(-4095))?
True
Suppose -f - k = -976, -6*k - 4900 = -5*f - 7*k. Is 2 a factor of f?
False
Let a(x) be the third derivative of x**7/5040 - 13*x**6/720 - 11*x**5/60 + 5*x**2. Let d(q) be the third derivative of a(q). Is d(17) a multiple of 4?
True
Let j(k) = k**3 + 26*k**2 - 25*k + 64. Let d be j(-27). Suppose -v = -3*f - 120, -9*f - 4 = -d*f. Is v a multiple of 33?
True
Suppose 23720 = -65*h + 120496 + 666649. Is h a multiple of 29?
True
Suppose 0 = 100*j - 391419 - 700681. Is 163 a factor of j?
True
Let k = 34536 + -23407. Is k a multiple of 9?
False
Suppose 11 = 5*i + 2*g, 3*i + 0*i = 4*g - 9. Let p be (-675)/(i + -6) - (-6 + 2). Let x = -66 + p. Does 16 divide x?
False
Let o be (-1404)/260*(-15)/9. Suppose -4*v + 8*v = -5*f + 130, -f = 2*v - 26. Suppose w - f = -o. Is w a multiple of 5?
False
Let c(t) = 5*t - 36. Let r be c(7). Let k(x) = 155*x**2 + x + 1. Does 25 divide k(r)?
False
Let c be (-10)/(-8)*(3 - -1). Suppose 2*s + 6*y = 2*y + 204, -c*s = -y - 554. Suppose -f - s = -2*f - 3*k, -4*f + 4*k = -472. Is 20 a factor of f?
False
Suppose -56 - 106 = 9*n. Let h be (-78)/n + 4/6. Suppose -23 = -h*g + 152. Is 11 a factor of g?
False
Let o(u) = -u**3 - 11*u**2 + u + 11. Let y be o(-11). Suppose -3*h = -y*h + b - 1567, h = -4*b + 504. Suppose 3*r + 200 = h. Does 12 divide r?
True
Let y = 9455 + -8713. Is y even?
True
Let t be (-5 + 3/3)/(-2). Suppose 3*x - 4*h - 58 = 13, -t*x = 2*h - 24. Is 4 a factor of x?
False
Suppose -90*j = -96*j + 6. Does 6 divide (-2088)/(-48)*(j - -3)?
True
Suppose -2*o + 0*o - 220 = -4*m, 5*m = 5*o + 555. Does 2 divide (-2)/4 + o/(-32)?
False
Suppose -22*h + 7584 = -69504. Is 16 a factor of h?
True
Suppose -5*n + 18440 = z, -4*z = 2*n - 11094 + 3736. Is n a multiple of 17?
True
Let j(i) = 2622*i - 1784. Is j(8) a multiple of 33?
False
Let h(o) = 27*o**2 - 20*o + 14. Let j(g) = 24*g**2 - 21*g + 13. Let r(f) = -5*h(f) + 6*j(f). Is 19 a factor of r(-5)?
False
Let z(i) = i**3 - i. Let l(y) = -y**2 - 9*y - 8. Let x(d) = l(d) - 2*z(d). Let p be x(-4). Let h = -76 + p. Is 12 a factor of h?
False
Suppose -2302*s + 13335 = -2297*s. Is 9 a factor of s?
False
Suppose 134940 - 457220 = -34*p + 104284. Is 17 a factor of p?
True
Let n = -72 - 96. Let b = n - -238. Is 7 a factor of b?
True
Let g(f) = -48*f - 224. Let c be g(-6). Suppose u = 2*a + c, 114 = 5*u - 4*a - 212. Is 22 a factor of u?
True
Suppose 5*t - 458 = -z + 4*t, 0 = -5*z - 2*t + 2281. Let n = z + 705. Is n a multiple of 29?
True
Let x(d) = 80*d + 22. Let s be x(13). Suppose 0 = 54*u - 63*u + s. Is 7 a factor of u?
False
Let r = 389 - 344. Is (-1 + 298)*150/r a multiple of 15?
True
Let j = 36387 + -26070. Does 134 divide j?
False
Let c be 2/(-9)*-3*12/(-2). Let y be (10 - 0/(-6))*(-62)/c. Let g = -85 + y. Is g a multiple of 9?
False
Let j = -45020 + 78810. Is j a multiple of 109?
True
Let z = 194 + -116. Let v = z - 29. Is v a multiple of 2?
False
Let r = 38 + -34. Suppose 3*z - 1 = r*m - 3, -z + 4*m - 6 = 0. Suppose 8*t = z*t + 774. Is t a multiple of 37?
False
Let q = 20583 - 7521. Does 42 divide q?
True
Let a(g) = 8*g + 6*g - 4*g + 4*g**2 + 0*g + 15. Let y be a(-6). Let d = 181 - y. Is d a multiple of 27?
False
Suppose 4*r + 3167 = z - 13525, -5*z = -3*r - 83460. Does 94 divide z?
False
Let y be 192/(-9) - 2/3. Let g(p) be the first derivative of -p**2 - 15*p + 140. Does 19 divide g(y)?
False
Let w(b) be the second derivative of b**3/2 - 31*b**2/2 + 29*b. Let x be w(11). Suppose -x*p + 282 = 4*m - 184, -3*p = 4*m - 701. Is p a multiple of 18?
False
Let b(g) be the first derivative of g**4/4 + 10*g**3/3 - 7*g**2/2 + 2*g - 29. Is b(-5) a multiple of 14?
False
Let k(h) = 44*h - 77. Let z be k(-9). Let t = z - -713. Does 41 divide t?
False
Let p be (-3 + 20/5)*-1. Does 33 divide 269 - (5 - 1 - p)?
True
Let m = 53 - 31. Suppose -6*u = -u - 10. Let v = m - u. Does 10 divide v?
True
Let v(m) = 37*m**2 + 49*m - 776. Does 24 divide v(16)?
True
Let u = 366 - 331. Suppose u*d - 50*d = -1755. Is d a multiple of 60?
False
Let o be (-5)/(-3) - (-630)/189. Suppose -o*v + 4*k + 1116 = -4*v, -2*k - 2232 = -2*v. Is v a multiple of 21?
False
Let r(u) = -5*u**3 + 3*u**2 + 3*u + 1. Let n be r(3). Let t = 42 + n. Let k = t - -112. Is k a multiple of 4?
True
Let i be 30/4*128/12. Is 1*-35*(-64)/i a multiple of 7?
True
Let m(t) = -t**3 - 15*t**2 - 13*t + 20. Let v be m(-14). Suppose -2*r + 6*h = 4*h - v, -26 = -2*r - 2*h. Suppose 3*n = r*n - 300. Is n a multiple of 13?
False
Suppose 5*z - z = 20. Let m be 12936/980 + (-22)/10. Suppose m*q - 294 = z*q. Is q a multiple of 5?
False
Suppose 15 = 2*b + m - 55, 0 = -4*b + 5*m + 112. Let i = b - 34. Does 4 divide -2 + (i - -1) - -17?
False
Let l = -2 - -6. Let u(q) be the second derivative of q**4/12 + q**3/6 - 5*q**2/2 - 314*q + 1. Is 5 a factor of u(l)?
True
Suppose 3*s - 17089 = 3*z - 69391, 5*z - 87142 = -2*s. Does 35 divide z?
True
Does 14 divide 3442734/386 - (1 - 0 - 0)?
True
Let u(j) = -j**2 - 8*j - 15. Let b be u(-9). Let a = 76 + b. Suppose -a = 4*y - 232. Is 14 a factor of y?
False
Let k = 1013 - -2125. Is 101 a factor of k?
False
Is 16 a factor of (-31 + 63)*(-558)/(-4)?
True
Let y(i) = i - 20 - 3*i - 9*i + 5*i**2 - i**2. Is y(-12) a multiple of 24?
False
Let u(s) = 75*s + 5. Let o be u(-2). Let q = o - -473. Is q a multiple of 39?
False
Suppose -2*w - 5*g = -2*g - 7709, 3854 = w + 2*g. Let v = -2476 + w. Is 30 a factor of v?
True
Suppose -27*l - 4 = -29*l. Suppose -2*i - 572 = -4*d - 0*i, 4 = l*i. Is 9 a factor of d?
True
Let z(f) = -5*f + 31. Suppose s - 19 + 24 = 0. Is z(s) a multiple of 2?
True
Let s = 3537 + 14987. Does 22 divide s?
True
Let f(g) = 3*g**2 + 10*g - 4898. Does 10 divide f(56)?
True
Let w(q) be the second derivative of -q**3/6 + 37*q**2/2 + 3*q + 6. Is w(5) a multiple of 4?
True
Suppose -2*k = 3*z + 2*k - 12, -5*z + 2*k + 20 = 0. Suppose 4*x - 2*a = 1163 - 27, -3*a - 1132 = -z*x. Does 11 divide x?
True
Let a be (-1 + 97)/(24/12). Let c = 64 - a. Does 3 divide c?
False
Let t(w) = 5*w**3 - w**2 - 3*w + 7. Let b(z) = -4*z**3 + 2*z - 8. Suppose 12*l + 68 - 8 = 0. Let p(f) = l*t(f) - 4*b(f). Is 36 a factor of p(-2)?
False
Let i = 14836 + -11608. Does 14 divide i?
False
Let h = 35 - 33. Suppose 4*j = 5*t + 124, -53 = -0*t + h*t - 5*j. Does 10 divide -183*4/(t/2)?
False
Let y be 2/(-2) + 0 - -1. Suppose 0 = -13*d - 12*d + 50. Suppose d*i - 45 - 123 = y. Is i a multiple of 14?
True
Suppose 2*i - 1052 = 3*n, 2084 = 4*i - 5*n + 4*n. Does 3 divide i?
False
Let w(j) = -28*j + 416. Is 40 a factor of w(-28)?
True
Suppose -5*p + 0 = -2*o - 1, 5 = 5*p. Suppose -o*m + 435 = 5*y - 5*m, y = -2*m + 100. Suppose 2*q + y = 5*q. Does 6 divide q?
True
Suppose 0*o - 4*o = 8. Let f be 0 - (1/1)/(o/(-14)). Is 5 a factor of 1/(-3) - ((-5740)/(-12))/f?
False
Let y(j) = j**3 - 9*j**2 - 2*j + 18. Suppose 4*o = -3*z + 48, o - 4 - 13 = -2*z. Let x be y(o). Suppose x = 5*c - 42 - 453. Is c a multiple of 11?
True
Let h be 10/3 + 128/(-96). Suppose -h*t + 116 = -332. Suppose -19*x - t = -23*x. Is 17 a factor of x?
False
Suppose 153 + 1923 = -4*d. Let o = -211 - d. Is 8 a factor of o?
False
Let b = 7 - 7. Suppose 2*u + 0*u - 3*j = -7, b = -2*u - 4*j. Does 33 divide (5 - -28)/(u/(-6))?
True
Let w = -412 - -424. Is 32/w*(810/(-12))/(-9) a multiple of 2?
True
Let x(p) be the first derivative of p**4/4 - 8*p**3 + p**2/2 - 14*p + 8. Let r = -664 + 688. Is 10 a factor of x(r)?
True
Let m = 94 + -99. Let b(v) = v**3 + 7*v**2. Is 11 a factor of b(m)?
False
Let w = 421 + -421. Suppose w = -2*l + 463 + 303. Is 10 a factor of l?
False
Let b be 300*((-6804)/(-30))/9. Suppose 60*s - 24*s = b. Does 13 divide s?
False
Is 10 a factor of (-65)/(-2)*(8 - (3 - 35))?
True
Let k be -238 - 4 - -7 - 5. Is 7 a factor of (-1 + -3 + 0)/(3/k)?
False
Suppose 109 + 97 = 2*v. Suppose -5*n - 5*r + 1587 = -v, -2*n + 671 = 3*r. Does 17 divide n?
False
Suppose 8*i - 218 = 614. Let m = 108 - i. Suppose 2*z = 4*f - 5*f + 38, -m*z - 3*f = -76. Does 2 divide z?
False
Suppose -135*u + 134*u = a - 6241, -5*u + a = -31199. Does 8 divide u?
True
Let h be 30 - (3 + -1 + -10 + 6). Suppose -41 = -3*p - 5*d, -h = 2*p - 4*p - d. Suppose -p*t + 18*t = 152. Is 39 a factor of t?
False
Let p(h) = -17*h**3 - 28*h**2 - 5*