. Let n(i) = i**3 + 10*i**2 + 9*i + 6. Let j be n(c). Let h = 177 - j. Does 27 divide h?
True
Suppose -3*r + 5*r - 2*o = 762, 5 = -o. Suppose -1850 = -5*s + a, -s + 2*s = -a + r. Does 23 divide s?
False
Let l(w) = -131*w - 5. Let f be l(-1). Let d be 10/(-5) - -2*2. Suppose 0*o - d*y - f = -3*o, 5*o - 197 = -y. Does 8 divide o?
True
Let b(v) = 3*v**2 - 19*v + 47. Let r(h) = 4*h**2 - 17*h + 47. Let g(p) = -5*b(p) + 4*r(p). Is 4 a factor of g(-31)?
False
Let v(j) = -212*j - 7603. Is 3 a factor of v(-36)?
False
Is (-756)/24*(-96)/9 a multiple of 10?
False
Let q be (-12)/(-5)*(8 + 114/(-18)). Is 67 a factor of q/4 + (-8032)/((-64)/8)?
True
Suppose -3*i + 2538 = -h - h, -h + 851 = i. Suppose -5*k = -232 - i. Is 20 a factor of ((-6)/15 - (-66)/15) + k?
True
Let l = -4297 + 4797. Is 45 a factor of l?
False
Suppose 157813 - 480858 - 212555 = -65*m. Does 8 divide m?
True
Let w = 438 + -430. Let k(h) = h**3 + 4*h**2 - 84*h + 1. Is k(w) a multiple of 13?
False
Suppose 110*u - 115*u + 1379 = c, -6750 = -5*c + 4*u. Is c a multiple of 3?
False
Let a = -384 + 430. Is -48*a*(-8)/48 a multiple of 20?
False
Let y(d) = 2*d**2 - 8*d - 3. Let v be y(-5). Suppose -2*o + 0*o - n = -174, o = -3*n + v. Let u = o - 73. Is u a multiple of 7?
True
Let g(h) = -406*h - 223. Is g(-9) a multiple of 22?
False
Let c = -238 - -238. Suppose c = -2*j + l + 30 + 353, -2 = -2*l. Does 66 divide j?
False
Suppose 425324 + 407512 - 32796 = 118*o. Does 15 divide o?
True
Is 25 a factor of 1030432/260 - 8/(-10)?
False
Let i(t) = 1774*t - 20. Is i(14) a multiple of 12?
True
Let l(v) be the third derivative of 253*v**5/60 + v**4/6 + 2*v**3/3 - 59*v**2. Is 11 a factor of l(-1)?
True
Let u(t) = 2*t - 4. Let o = 53 + -49. Let k be u(o). Suppose -68 = -4*g - f, 34 = k*g - 2*g + 5*f. Does 9 divide g?
False
Let d(o) = 12 + 8 - 12 - 162*o - 12*o. Let z be d(-13). Suppose 0 = -4*g - 6*g + z. Is 29 a factor of g?
False
Let m be 3*((-1 - 3) + 13/3). Is 5 a factor of 15/(-20)*m*-92?
False
Does 3 divide (-2067)/(-9) + (-49)/(-21)?
False
Let s = 6582 - 4984. Does 8 divide s?
False
Let x(t) = -9*t + 20. Let c be x(2). Suppose 2*f - j - 5 = -c*f, -4*f - 3*j + 17 = 0. Suppose 3*g - 26 = -f*m - 8, 0 = m - 2*g - 16. Does 4 divide m?
True
Suppose -4*o + 7*o - 9 = 0. Suppose 2097 = o*s - 1431. Suppose -12*g + s = -4*g. Is 42 a factor of g?
False
Suppose 0 = 9*z - 2*z - 63. Suppose z = y + 5. Is 39/(-52)*y*-4 a multiple of 10?
False
Let a = -3824 + 6257. Is 2 a factor of a?
False
Let r(q) be the third derivative of 29/6*q**3 - 1/24*q**4 + 0*q + 8*q**2 + 0. Is r(-7) a multiple of 12?
True
Let m be 100/2*(-5 - (-78)/12). Suppose m*d - 80*d = -875. Is d a multiple of 27?
False
Suppose -148*h = -146*h - 10, 0 = 5*z + 3*h - 4290. Is z a multiple of 5?
True
Let r(l) = -l**3 - 2*l**2 + 4*l + 7. Let k = 6 - 11. Let d be r(k). Let s = 110 - d. Does 6 divide s?
True
Let g = 19629 + -5001. Does 77 divide g?
False
Does 201 divide (1530/(-9) + 6)*((-11325)/20)/15?
False
Let p = 62 + -57. Suppose -5*r + 2*r + 435 = 0. Suppose a = 4*a - i - 81, -p*a = -5*i - r. Does 14 divide a?
False
Let c be 22 + -19 + (-141 - (-2 + 4)). Let y be (-220)/c + 6/14. Suppose 0 = -y*t - 0*t + 212. Is 15 a factor of t?
False
Let y(r) = -352*r**3 + 2*r**2 - 21*r - 85. Does 95 divide y(-3)?
True
Suppose 104*k - 2814 - 7066 = 0. Let g(a) = -25*a**3 + a**2 + 2*a + 1. Let s be g(-1). Let m = s + k. Does 10 divide m?
True
Let y(j) = 2324*j**3 + 12*j**2 - 38*j + 12. Does 4 divide y(2)?
True
Suppose -3*q + 3745 = 2*q - 5*x, -2*q + 1518 = 3*x. Does 19 divide q?
False
Let p(x) = -29*x**3 + 3*x**2 - x - 3. Let o be p(-2). Let i = -227 + o. Is 16 a factor of i?
True
Suppose -b + 5*b - 6416 = 0. Let o = b - 386. Is 21 a factor of o?
True
Let y = -168 - -626. Let q = -122 + y. Is 12 a factor of q?
True
Suppose -438*i - 749412 = -474*i. Is 9 a factor of i?
True
Suppose 350 = 12*q + 2*q. Suppose 3*h - 21*j - 1467 = -q*j, h + 4*j - 489 = 0. Is h a multiple of 35?
False
Suppose -9*v - 4*o = -5*v - 12, 0 = -2*v + 2*o + 10. Does 22 divide 427 - (v + (-4 - 0) + 1)?
False
Let c(w) = w**2 - 16*w + 94. Let a be c(24). Let f = -70 + a. Does 6 divide f?
True
Let p(m) = -5*m**2 - 154*m - 5. Let c be p(-30). Let f = c + 365. Is f a multiple of 32?
True
Suppose -x - 6*x = -4767. Suppose 5*u - 4*s - x = 0, 7*s - 4*s = -3*u + 387. Let j = u + -92. Is 8 a factor of j?
False
Suppose 0 = 17*i + b - 198903, 4*i - 50379 + 3591 = 4*b. Is 30 a factor of i?
True
Suppose 0 = -12*i + 5838 - 942. Is 29 a factor of i + 2 + 32/(-8)?
True
Does 34 divide 19/(209/3652)*104/4?
False
Suppose m + 162 = 165. Suppose m*h - 287 = 274. Is 11 a factor of h?
True
Let k(z) = 8*z**2 + 3*z**2 - 11*z**2 + 3 - z**2. Let y be k(0). Suppose 33 = y*i - 0*h - 3*h, 0 = -4*i - h + 19. Is i a multiple of 3?
True
Let n = -971 + 3544. Does 83 divide n?
True
Suppose 2*p = 22 + 148. Suppose -38*y + 1422 = -1547 - 1211. Let n = y - p. Does 4 divide n?
False
Let g(d) = 843*d**2 + 3*d - 1. Let h be g(1). Let y = -505 + h. Is y a multiple of 17?
True
Suppose x - 13468 = -2*u, -13*x + 8*x + 67312 = -4*u. Is x a multiple of 6?
True
Let c = -1755 + 2493. Is c a multiple of 6?
True
Suppose 2*q = 5*j - q - 25, 0 = 4*j + 3*q - 20. Suppose -2*m = -2, -4*c - 3*m = -j*m - 558. Is c a multiple of 14?
True
Suppose 135*l - 136*l + 7400 = 2*t, -5*t - 14746 = -2*l. Is 24 a factor of l?
False
Suppose y = 10 - 9. Is 3 a factor of 85 + (4/y)/2?
True
Let x(d) = 195*d - 6041. Is x(84) a multiple of 16?
False
Suppose -5*i - 2*z + 66722 = -80343, -5*z = -i + 29413. Is 27 a factor of i?
False
Let a(j) = 19*j + 20*j + 22*j - 56*j - 24. Let m be a(8). Suppose -m*h = -4*h - 2100. Does 25 divide h?
True
Suppose -2*f = -o - 0*o, 5*f - 7 = -o. Let u(l) = l**3 - 9*l**2 - 50*l - 22. Let q be u(13). Suppose q*h = -m + 69, 2*h + o*m + 0*m = 42. Is 16 a factor of h?
True
Does 37 divide ((-3293)/(-178))/(-2 - 397/(-198))?
True
Let g = -175 - -1597. Suppose 0 = 35*k - 38*k - 5*q + 2134, 4*q - g = -2*k. Is 31 a factor of k?
True
Let g(q) = -q**2 - 150*q + 205. Is g(-33) a multiple of 13?
False
Let g(s) = 6155*s**3 + 43*s**2 + 10*s - 5. Does 12 divide g(2)?
False
Let g(b) = -51*b + 9837. Is 147 a factor of g(92)?
True
Let a(p) = -2 + 9*p + 12 - 37. Let g be a(19). Suppose -20*l - g = -24*l. Is l a multiple of 6?
True
Let q(k) = -6*k - 123. Let l be q(-21). Let c(f) = 18*f**2 - 9*f - 2. Is c(l) a multiple of 3?
False
Let a(i) = 4*i - 8. Let s be a(5). Suppose s*t - 14 = 58. Suppose -384 = -0*n - t*n. Is 9 a factor of n?
False
Suppose 3*j = -c + 19, 0 = -5*j + 10*j - 5*c - 45. Suppose j - 252 = -p. Does 15 divide p?
False
Let m(f) be the first derivative of 19*f**2/2 - 215*f - 82. Is 3 a factor of m(19)?
False
Let k(b) = -b**3 - 8*b + 10940. Is k(0) a multiple of 44?
False
Suppose -v + 5185 = f, 2*f + 5*v - 10335 = 10*v. Is f a multiple of 70?
True
Suppose 20*n - 26*n + 138 = 0. Let d = 243 + n. Is d a multiple of 14?
True
Suppose x = -4*x - 4*w + 7268, 6*x - 4*w = 8660. Is x a multiple of 3?
False
Let y(p) = -p**2. Let f(z) = -z**2 - 45*z - 22. Let k(b) = -f(b) + 3*y(b). Let t be k(19). Suppose -159*x + t*x + 1336 = 0. Is 12 a factor of x?
False
Let d(v) be the first derivative of v**3/3 - 3*v**2 - 22*v - 20. Let r be d(9). Suppose 2*a + 0*k = -2*k + 166, -2*a = -r*k - 180. Is a a multiple of 23?
False
Is 8/2 - 528748/(-197) a multiple of 32?
True
Is 41 a factor of ((-1950)/(-15))/(-13) - -4274?
True
Suppose -3*g - 5*s = -145452, 2*g - 102*s + 107*s - 96958 = 0. Is g a multiple of 362?
False
Let x be -2*((-2)/(-3))/((-4)/3). Is ((-6738)/15)/(-2)*(6 - x) a multiple of 17?
False
Is 11 a factor of (-2)/(279570/(-21505) + 13)?
True
Suppose -5*c + 195 = -h, 5*c + 5*h - 231 + 36 = 0. Suppose -p - 3 = -c. Suppose -3*t + 6*t = p. Is 3 a factor of t?
True
Let h(j) = 6*j**3 + 2*j. Let g be h(2). Let p = g + -33. Suppose 466 = 5*o - p. Is 19 a factor of o?
False
Suppose 8*l + 60 = 5*x + 10*l, 2*x - 5*l = -5. Is 22 a factor of (x + 0)*(517/22 - -1)?
False
Let p(m) = 35*m + 18. Let s(h) = 34*h + 18. Let y(a) = 4*p(a) - 3*s(a). Let o be y(11). Suppose -7*z + 180 + o = 0. Does 22 divide z?
True
Let v be (-84)/(-8)*(-128)/(-6). Let r = -106 + v. Does 25 divide r?
False
Let d be -1 - (0 - -1)*-3. Suppose -4*c = -3*c + 2*p - 430, 862 = d*c + 3*p. Does 14 divide c?
True
I