= x - 1065. Is 64 a factor of n?
False
Suppose 3*o + 39*g - 37*g = 2871, 3*g = -5*o + 4785. Is o a multiple of 11?
True
Let a(u) = 127*u + 3296. Does 42 divide a(7)?
False
Let z = -676 - 73. Let r = 797 + z. Does 2 divide r?
True
Let i(u) be the third derivative of -u**6/30 - u**5/6 - 7*u**4/8 - 7*u**3/6 + 11*u**2. Is 32 a factor of i(-5)?
False
Let g(b) = -b**3 + b**2 + b + 1770. Let o be g(0). Suppose 2*x + x = o. Suppose 15*z - 205 = x. Is z a multiple of 26?
False
Suppose 2*v = 10, -9*m + 6*m - 5*v = -34. Is -8 - (1 - m - 415) a multiple of 19?
False
Suppose 4*v = -6*b + 3*b + 7904, 2*v = 5*b - 13208. Suppose -s + b = 14*s. Is 8 a factor of s?
True
Suppose -s + 846*i - 849*i = -23204, -2*s + 3*i + 46444 = 0. Does 144 divide s?
False
Let x = 2992 - 2102. Let l = x + -333. Let d = -253 + l. Is d a multiple of 35?
False
Let f be (1 - 5)/(24/(-108)). Suppose f*d - 7121 - 11563 = 0. Does 12 divide d?
False
Let a(j) = 2*j - 4. Suppose 0 = -4*d - 5*p + 12 + 6, 5*d + 5*p - 20 = 0. Let x be a(d). Suppose 9*m - 858 + 228 = x. Is m a multiple of 14?
True
Suppose -22*g + 17*g - 4*i = -25195, -3*g - 2*i = -15115. Is g a multiple of 53?
True
Let h = 3279 + -12673. Is 56 a factor of (-1 + 0)/(22/h)?
False
Let h be 3564/(-45)*70/(-2). Suppose 12*o - 18*o + h = 0. Does 11 divide o?
True
Suppose -1016 = -5*i + 1099. Does 29 divide i - 2*(-1)/(-2)?
False
Let k(n) = -2*n - 14. Let v be k(-10). Is 2 a factor of (-1)/(6/(-282)) - v?
False
Suppose 4*z + 3*y + 11 = -z, 0 = 4*z - 5*y - 6. Is 46 a factor of ((1 - -1) + 276)*z/(-2)?
False
Suppose -503*r + 508*r - 119146 = 3*c, r = -3*c + 23822. Is 74 a factor of r?
True
Let m = -3577 + 5788. Is 13 a factor of m?
False
Suppose -12*z = -227 - 109. Let v(g) = 43*g - 537. Is 23 a factor of v(z)?
True
Let o be (1/(-3))/(8/(-24)). Let y(b) = 9*b**3 + 3*b**2 - 3*b + 1. Let d be y(o). Suppose -d*u = -1326 - 134. Does 10 divide u?
False
Suppose 0 = 477*q - 511*q + 266968. Is 208 a factor of q?
False
Let y(h) = h**3 - 8*h**2 + 13*h - 1. Let d be y(6). Suppose -1 = -d*s + 9. Suppose 0 = -2*a - 2*w + 172, s*a - a - 98 = 5*w. Is a a multiple of 11?
True
Suppose 915 = 9*y + 924. Let m(k) = k**2 + k - 10. Let z be m(0). Does 12 divide (-119)/y + (-10)/(z/3)?
False
Suppose d + 3*h + 841 = 2369, 3*d = -h + 4648. Is 16 a factor of d?
True
Let d = 48 + -54. Let c be 12/(-18)*1*d. Suppose 53 = 4*l - v - c*v, -29 = -2*l + 5*v. Does 6 divide l?
True
Suppose 0 = 4*s + 2*d - 72746 - 2636, 0 = -4*s - 5*d + 75403. Does 51 divide s?
False
Let z = -5128 - -7000. Is 15 a factor of z?
False
Suppose -241*l = -248*l + 14. Is (-3 - (-6 + l))/(2/276) a multiple of 3?
True
Let i = -133 + -31. Let s = -114 - i. Does 25 divide s?
True
Suppose -5*f - 52 = -18*f. Suppose 2*o = -2*u + 378, -f*u - 14*o + 756 = -13*o. Is 39 a factor of u?
False
Let j = 330 - 566. Let w = j + 1171. Is 17 a factor of w/(-22)*12/(-5)?
True
Suppose -16*f + 70734 = 16222. Does 17 divide f?
False
Is 102 a factor of ((-2754)/(-486))/(2/1116)?
True
Let o(f) = 250*f - 511*f + 224*f - 152. Does 73 divide o(-12)?
True
Let z be 27*10/(-120)*(-4)/3. Suppose -5*v + 347 = -z*k + 78, -4*k = 4*v - 196. Is v a multiple of 7?
False
Let l(k) = k**2 + 7*k + 15. Let q be l(-9). Suppose 3*m + q + 6 = 0. Does 15 divide (16 + m)/(3/67)?
False
Suppose 2*w - z = 14187, -21277 = 31*w - 34*w - 2*z. Is 154 a factor of w?
False
Suppose i - 86806 = -5*x, 29*x = 31*x + i - 34720. Is 15 a factor of x?
False
Let h(z) = -119*z - 3. Let t(u) = -595*u - 16. Let c(g) = 11*h(g) - 2*t(g). Let b be c(-5). Does 4 divide 8/(-28) + b/21?
True
Suppose -5 = 3*h - 2*h, -2062 = -4*k - 6*h. Is 11 a factor of k?
False
Suppose 16*n + 114*n - 68856 = -21*n. Is n a multiple of 9?
False
Let i(b) = 10*b**2 - 8*b - 38. Let p = 338 - 328. Is i(p) a multiple of 63?
True
Let a(x) = -x**2 - 12*x + 13. Let p be a(-13). Suppose p = 10*j - 7*j - 798. Suppose 0 = 2*z + b - 3*b - 138, -j = -4*z + 2*b. Is z a multiple of 20?
False
Let k be (-14)/49*(-14)/2. Suppose 4 = -s + k*s, 4 = -2*t + 5*s. Does 9 divide (-2)/t - 465/(-20)?
False
Let d(c) = -c**2 - 44*c - 47. Let u be d(-42). Suppose -1008 = -u*b + 36*b. Does 18 divide b?
True
Suppose 53172 + 342144 = 158*f. Is 45 a factor of f?
False
Let n(w) = -w**3 - 8*w**2 + 107*w + 159. Does 24 divide n(-26)?
False
Let f be 1 + (-9)/3*(-1)/3. Suppose 2*x - 6 = -3*o, 4*o - 5*o = 4*x - f. Suppose -o*n + 43 = -5. Is n a multiple of 6?
True
Let c be 8/(-6) + (-7)/21*1481. Let t = c - -863. Is t a multiple of 10?
False
Let x = -326 - -323. Does 13 divide (-299)/(2/x + 22/132)?
True
Suppose a - 2226 - 936 = 0. Is a a multiple of 58?
False
Suppose 4*u - 3*r - 10 = 13, 0 = -5*u - 3*r - 5. Suppose -u*v + 5 = -v. Suppose -2*k = -4*k - 2*j + 82, -2*k = v*j - 88. Does 13 divide k?
True
Let k = 6024 + -4104. Suppose 0 = -3*h - 3*h + k. Is 20 a factor of h?
True
Suppose -5*t = 4*g - 24 - 10, -4*g = -t + 26. Suppose t*u = 2*u. Suppose 2*k = -u*k + 6. Does 3 divide k?
True
Suppose 2*j = 16 - 116. Let v = j - -469. Is v a multiple of 12?
False
Suppose j = -5*g + 37678, 35*g - 22612 = 32*g + 2*j. Is 199 a factor of g?
False
Let c(a) = 9*a + 464. Let t(v) = v. Let l(j) = c(j) + t(j). Is 42 a factor of l(0)?
False
Let y(l) = 5*l**2 + 5*l - 6. Let h be y(-3). Let p = h + 282. Is 14 a factor of p?
False
Is 34 a factor of (-3198 + 2)*(-18 - (-24 + 8))?
True
Suppose -5*c + 3*w - 408 = -3289, 5*c - 2953 = -6*w. Is c a multiple of 21?
False
Let l(t) be the third derivative of 13*t**4/24 - 41*t**3/6 + 21*t**2. Is 2 a factor of l(5)?
True
Let j(f) = -15*f + 9. Let m = 338 - 371. Is j(m) a multiple of 8?
True
Suppose -6426 - 2991 = -j + 10879. Does 172 divide j?
True
Suppose 14*z = 11*z + 435. Let j be -121 - (-13 + 9 + 9). Let b = j + z. Is 7 a factor of b?
False
Is 1809*(2 - (-5 - -5)) a multiple of 39?
False
Let l(v) = 2*v**2 + 4*v + 28. Let u be l(0). Let i(c) = -c**2 + 28*c + 62. Is i(u) a multiple of 3?
False
Let j(u) = 20*u + 36. Let q be j(15). Let i be ((-6)/(-7))/(8/q). Let m = 43 - i. Is 4 a factor of m?
False
Let v = -25 + 25. Suppose 0 = -4*o + 3*z + z + 20, -4*o - 5*z + 29 = v. Does 11 divide ((-22)/o)/(5/(-90))?
True
Suppose -28860 = -140*y + 134*y. Suppose 0 = 14*x - 24*x + y. Does 13 divide x?
True
Suppose 0 = 18*o - 747 - 2187. Let j = o - 115. Does 6 divide j?
True
Suppose 44*z - 235 = 39*z. Let a = z - 45. Suppose -1248 = a*j - 8*j. Does 16 divide j?
True
Suppose 2*m + 4*y = 4, -3*y = -8*y - 5. Let c(q) = -q**3 + 4*q**2 - q + 8. Let w be c(m). Suppose -w*o + 396 = 4*p, 5*o - 45 = 2*p - 222. Is 16 a factor of p?
True
Let b = -333 + 387. Does 3 divide b/5 - (2/(-10))/1?
False
Suppose -291*l + 1629014 = -716446. Is 19 a factor of l?
False
Suppose 0*o = -5*o + 30. Suppose -75 = -11*k + o*k. Is 22 a factor of 1*(0 + (-136)/(-20))*k?
False
Let i = 404 - 180. Suppose -5*p + 2*f + 263 = 0, p + 5*f + i = 5*p. Is p a multiple of 14?
False
Suppose 5 = -16*o - 43. Let v be ((-9)/(-6))/((-4)/(320/o)). Let x = 134 - v. Is 5 a factor of x?
False
Suppose -4*m + d + 1617 = 0, 0*d - 3*d = 3. Does 89 divide m?
False
Let d = 28 - -7019. Does 38 divide d?
False
Suppose -4 = -5*t + 11. Let v be t/((3 + -2)/231). Let h = v + -493. Is 48 a factor of h?
False
Let j be 3*(-1)/(-9) - (-33)/9. Suppose 0 = j*d - 5*s - 237, 2*d + s - 111 = 6*s. Is 30 a factor of d?
False
Suppose 4*x - 4*h = -28 + 144, -2*x + h + 53 = 0. Let j(q) = q + x + 0*q + 0*q. Is j(-12) a multiple of 3?
True
Suppose -24 = -4*a - 4*l, 4*a - 20 = -7*l + 2*l. Let c be (a/3)/((-4)/(-6)). Suppose 0 = -4*z + 3*z + c, -2*z = -2*h + 18. Does 6 divide h?
False
Suppose r = -22 + 30. Let y = 20 - r. Suppose -14*u = -y*u - 196. Does 21 divide u?
False
Suppose 11370171 = 301*j - 6093071 + 3511892. Is j a multiple of 103?
True
Let p = 93 + -73. Suppose 0 = 4*b - p, 3*o - 16 = 6*o - 5*b. Suppose -70 = -4*c + o*c. Does 7 divide c?
True
Let y = 5282 - -608. Is 62 a factor of y?
True
Let n = 440 + -427. Suppose 6*j = -n*j + 3553. Is j a multiple of 17?
True
Suppose 62*f + 6 = 68*f. Is 8 a factor of (-672)/f*1/(-2)?
True
Suppose l = -19*c + 35366, -80*c + 81*c + 5*l = 1896. Is c a multiple of 5?
False
Let t(r) = -22*r - 15. Let p be t(-5). Let l(h) = h**2 + 12*h + 30. Let q be l(-8). Is p + q + 4 + -2 a multiple of 5?
True
Suppose -2*s - s + 15 = 0. Suppose 15 = s*y - 25. Does