 16 a factor of l(f)?
False
Suppose -15 + 36 = -7*x. Is 17 a factor of 122 + x*5/15?
False
Let t(j) = 4 + j**2 + 5 - 11 - 18. Let z be t(5). Suppose -x + f + 27 = 5*f, 2*x + z*f - 45 = 0. Is x a multiple of 8?
False
Is 39 a factor of ((-192)/(-5))/(-13 - (-1959)/150)?
False
Let z(a) = a + 104. Does 47 divide z(-10)?
True
Suppose 2*r = -r - 300. Let u = -56 - r. Is 11 a factor of u?
True
Suppose 829 = 5*i - 211. Is 13 a factor of i?
True
Does 27 divide ((-351)/12)/(27/(-324))?
True
Let q = 11 + -27. Let h(c) = -c**3 - 17*c**2 - 17*c + 14. Is h(q) a multiple of 5?
True
Let u(m) = 0 - 19*m - 10 + 2 - m**2 + 2*m. Let n be u(-8). Let h = n + -35. Does 16 divide h?
False
Suppose 0 = -l + 31 - 8. Is l a multiple of 23?
True
Suppose 0 = -4*g + g + 30. Suppose -4*a = a - g. Suppose 0*p - p = -a. Is p even?
True
Let n be -1*1/(-2)*0. Suppose 2*d + y = 111, n = 5*d - 12*y + 9*y - 272. Is 13 a factor of d?
False
Suppose -s + 1 = -5*h, -s + 5*s = -5*h + 4. Suppose 4*m - 110 = -m. Suppose 2*l - l - 2*p - m = 0, -l - 3*p + 27 = h. Is l a multiple of 22?
False
Suppose -2*d = m - 22, -4*d + 2*d = -2*m + 50. Suppose 2*a - a = 126. Suppose -m = -5*i + a. Does 15 divide i?
True
Let b(c) be the third derivative of c**6/24 - c**5/30 + c**4/24 + 14*c**2. Let u be b(1). Is (-4)/u*(-47 - 2) a multiple of 40?
False
Let p = 29 + -27. Does 3 divide (27/p)/((-7)/(-14))?
True
Suppose -t = -r + 109, 4*r = -4*t + 60 + 352. Does 53 divide r?
True
Let d(c) = -472*c - 184. Is d(-5) a multiple of 5?
False
Let g(x) be the first derivative of 29*x**5/60 - x**4/24 + x**3/3 - 5. Let v(y) be the third derivative of g(y). Is 13 a factor of v(1)?
False
Let j = 92 + -37. Suppose s - j = 4*l, l = 3*s - 263 + 76. Is s a multiple of 21?
True
Suppose 2*j = 5 - 11. Let x(d) = 5*d + 3. Let w be x(j). Let m = w - -15. Is 3 a factor of m?
True
Let w = 19 - -6. Suppose 149 - w = 2*q. Let a = 126 - q. Does 16 divide a?
True
Suppose -3*g + 5*g = 10. Suppose 57 = z - q, g*q - 349 = -4*z - 94. Let m = -18 + z. Is 14 a factor of m?
True
Suppose 0 = 2*i - 6*i + 672. Suppose -5*m - 43 + 242 = -n, 4*m = 3*n + i. Is 21 a factor of m?
False
Suppose -66 = -5*w + 4*k, 5 = w - 3*k - 6. Is 14 a factor of w?
True
Let g(i) = 14*i**2 - 15*i - 278. Let a(v) = 5*v**2 - 5*v - 93. Let q(x) = 17*a(x) - 6*g(x). Is q(0) a multiple of 30?
False
Let i(r) = -3*r + 15. Let l be i(3). Is 7 a factor of 2/(((-6)/(-65))/l)?
False
Suppose -3*s - 2*s + 925 = 0. Suppose 4*x - 5*a - s = 0, -4*x = -9*x + 5*a + 230. Let i = x + -29. Does 7 divide i?
False
Suppose 0 = -29*s + 7163 + 7685. Does 16 divide s?
True
Let k = -75 - -384. Is k a multiple of 4?
False
Let c = -16 - -13. Let u be 1/c - 196/(-21). Suppose 2*o - 13 = u. Is o a multiple of 3?
False
Let n = 20 + -18. Suppose 3*x - n*x = 0, -x = -2*i - 24. Let r(f) = f**3 + 13*f**2 + 9*f - 17. Is r(i) a multiple of 6?
False
Suppose -4 - 2 = 6*w. Is w - (4/6)/((-6)/792) a multiple of 23?
False
Suppose 3*w - 8*w + 14 = 3*b, 5*w + 10 = 0. Is b even?
True
Suppose 0 = 2*s + 2 + 4. Let q(f) = f - 2. Let u be q(s). Let c = 18 + u. Does 6 divide c?
False
Let b(v) = 51*v**3 + 2*v + 1. Let r(k) = 102*k**3 + 5*k + 3. Let w(f) = -5*b(f) + 2*r(f). Let o be w(-1). Is o/3 + 11/(-33) a multiple of 3?
False
Let u(q) = -9*q**3 - 24*q**2 - 3*q - 4. Let h(i) = 5*i**3 + 12*i**2 + 2*i + 2. Let k be 3/1 + (12 - 4). Let m(v) = k*h(v) + 6*u(v). Is m(12) a multiple of 14?
False
Let s(f) = 4*f + 6. Let v be s(0). Suppose -z + 651 = v*z. Is 3 a factor of z?
True
Let g(d) = d**3 + 6*d**2 + 4*d + 6. Let v be g(-5). Let k = 20 - v. Is k a multiple of 6?
False
Let u = 258 - 115. Does 16 divide u?
False
Suppose 2*y = 3*o - 66, -5*y + 2*o - 62 - 81 = 0. Let v = 42 + y. Does 8 divide v?
False
Let l(n) = -n - 1. Let m = 39 + -23. Let t = 9 - m. Is 3 a factor of l(t)?
True
Let y be (-1)/(-5) - (-420)/25. Suppose -3*m = -4*k + 35 + y, 4*m = -2*k - 62. Let u(r) = -r - 12. Is 3 a factor of u(m)?
False
Suppose 0 = -8*t - 415 + 1279. Is t a multiple of 12?
True
Suppose -3*n - 2219 = b, -n + 2*b = 3*b + 743. Is 20 a factor of n/4*18/(-27)?
False
Suppose 0 = 5*r - 15, -40 = -y - 6*r + 2*r. Is 14 a factor of y?
True
Let k(w) = -6*w**2 - 111*w - 6. Does 2 divide k(-17)?
False
Let f = -1244 - -1274. Is f a multiple of 5?
True
Let d(n) = 119*n + 45. Does 31 divide d(9)?
True
Let g(f) = -f**3 - 5*f**2 + f + 5. Let v be g(-6). Suppose -4*k = 18*k + 418. Let j = v + k. Does 4 divide j?
True
Let r = -91 - -105. Suppose 4*f - r*f = -2580. Is f a multiple of 14?
False
Suppose 0 = -6*j + 33*j - 4509. Does 12 divide j?
False
Let g(x) = 2*x**3 - 4*x**2 + 119*x + 16. Does 12 divide g(9)?
False
Let h(t) = t**3 - 3*t**2 + 6. Let p be h(6). Let u = 194 - p. Does 3 divide (36/(-10))/((-32)/u)?
True
Suppose -2*x + 702 = 2*l, -2*x - 347 = -3*x - 3*l. Is x a multiple of 25?
False
Let k(x) = -x**3 + 5*x**2 - 2*x - 4. Let i be k(4). Let p be 2*(-6)/4 + 85 + 2. Suppose -100 = 3*q - 7*q - 2*u, i*q - p = 2*u. Does 9 divide q?
False
Let w(s) = 465*s + 437. Is 61 a factor of w(6)?
False
Let d(q) = -95*q - 137. Does 68 divide d(-4)?
False
Suppose 0 = l + 4*x + 108, 0 = -0*l + 3*l - 3*x + 249. Let d be (l/(-6))/((-2)/(-21)). Suppose -5*u + 26 + d = 0. Does 9 divide u?
True
Let g(j) = -7*j - 17. Let q be g(-3). Suppose 7 = y - v, q*y + 0*v - 5*v - 23 = 0. Does 12 divide y?
True
Does 30 divide 2/(-3) + 2978/3 + -2?
True
Let w(k) = 2*k**2 - 5*k - 118. Is w(-11) a multiple of 60?
False
Suppose -3*m + 2941 = 2*m + 4*g, -4*m - 3*g + 2352 = 0. Is m a multiple of 13?
True
Is 8 a factor of -1 - 0 - (2 + 1400/(-1))?
False
Suppose -7*x = -3*x - 44. Let j(t) = -8*t + 40. Let w(l) = 3*l - 14. Let k(y) = 4*j(y) + 11*w(y). Is k(x) a multiple of 4?
False
Let r = -442 - -842. Suppose -40*b + 45*b - r = 0. Does 16 divide b?
True
Let j be -1*4/4 - 109. Let b = j + 174. Suppose -4*f + b = -2*f. Is 16 a factor of f?
True
Let c be -1 + (-1)/((-5)/20). Suppose 2*n - 2*p = 4*n - 12, 5*n - c*p - 14 = 0. Suppose -2*z = n*f - z - 167, 5*f - 225 = 2*z. Is f a multiple of 17?
False
Suppose 5*y - 9*f - 2209 = -6*f, 3*y - 4*f = 1332. Is 9 a factor of y?
False
Let p(v) = -v**2 - v + 4. Let l(m) = -m + 4. Let b be (-24)/9*(-9)/(-6). Let t(h) = b*p(h) + 5*l(h). Is t(-3) a multiple of 10?
False
Let r = 1818 + -944. Let w = r + -597. Does 55 divide w?
False
Let i = -452 - -528. Is i a multiple of 4?
True
Suppose 3*j = 4*g + 12, 10 = 4*j + 4*g - 6. Suppose -j*x + 5*p + 185 = x, 5*p + 5 = 0. Is x a multiple of 2?
True
Let d(f) = 5*f**3 + 3*f**2 - f - 7. Let r be d(-2). Let l = 23 - r. Is 29 a factor of l?
False
Let a be (-2)/(-11) - 592/(-11). Let o = 91 - a. Is o a multiple of 11?
False
Suppose -q - 2*f + 3 - 1 = 0, -16 = -3*q + 4*f. Suppose r = -q*r. Suppose r = -2*u + 3*u - 20. Is u a multiple of 5?
True
Let j be (1 - 4/(-8))*2. Suppose -4*b + 2*t - t - 15 = 0, 0 = 4*b + 5*t - j. Let v(f) = 4*f**2 - 1. Is v(b) a multiple of 21?
False
Let a be (1 + 3)/((-2)/(-273) - 0). Suppose -9*u + a = 4*u. Is 6 a factor of u?
True
Let b = -61 + 21. Suppose z = 2*v + 72, -3*z + 2*v - 3*v = -188. Let w = b + z. Is 9 a factor of w?
False
Let k be (0 - 1 - 13)*180/105. Is 20 a factor of ((-166)/7 + -2)/(k/168)?
True
Let j(p) = p**3 - 44*p**2 - 188*p + 116. Is j(49) a multiple of 10?
False
Suppose -3*t + t - 12 = 0. Let h be t/((-12)/7)*18. Suppose h + 9 = 2*r. Is 9 a factor of r?
True
Let j = -27 + 31. Suppose -329 = -3*f + j*z - 28, -368 = -4*f - 3*z. Is 29 a factor of f?
False
Suppose -9 = c - 2*c. Suppose -c*g + 7*g = -68. Is g a multiple of 15?
False
Let u(n) = -2*n + 9. Let y be u(6). Let p = 32 + -19. Does 5 divide p + (0/2)/y?
False
Suppose 0 = 13*h - 18*h + 250. Suppose -128 = -o - h. Is o a multiple of 16?
False
Let q(j) = -j**3 - 8*j**2 + 8*j - 5. Let n be q(-9). Suppose -2*r - 4*s + 244 = 0, r - n*r + 368 = 5*s. Is r a multiple of 31?
False
Let u(i) = -53*i - 328. Does 4 divide u(-7)?
False
Suppose -322*n = -317*n - 100. Is 5 a factor of n?
True
Suppose 0 = 2*b - 0*b - 12. Let r be (-21)/(-14)*(-16)/b. Is 8 a factor of (r/6)/(6/(-360))?
True
Suppose -247 = 4*z - 4*n + 197, -2*z - 5*n - 229 = 0. Let o = -67 - z. Is o a multiple of 11?
False
Let p = 95 + -99. Let m(v) = 13*v**2 + v - 8. Does 9 divide m(p)?
False
Suppose -6*f = -3124 + 64. Is f a multiple of 17?
True
Let u(d) = d**2 - 10*d - 31