9. Is 31 a factor of i?
False
Let l = 146 + -113. Suppose 5*x + l = 618. Is x a multiple of 5?
False
Suppose 3*j - 363 - 2013 = 0. Suppose 3*x - 2*l + j = 2179, -4*x = -2*l - 1852. Does 15 divide x?
True
Let z be (-15)/((-4)/(-3 - -111)). Let m = z - 132. Suppose 3*a - m = -5*o + 121, -a = 2*o - 132. Is 8 a factor of a?
True
Let h(j) = -j**3 + 28*j**2 - 48*j - 45. Let g be h(24). Let z = g - 613. Is z a multiple of 26?
True
Suppose 2*f = 3*d - 13, -7*f - d - 7 = -2*f. Suppose 5 = 3*p - 6*h + 4*h, 4 = 2*h. Is 2 a factor of (p/(-6))/(f/10)*6?
False
Let d(i) = -209*i + 1135. Is 12 a factor of d(-30)?
False
Suppose 4*g = 2*b - 3*b + 4028, -b - 3*g + 4026 = 0. Suppose -960 = 17*f - b. Is 15 a factor of f?
True
Suppose -2*d + 5*r = 4*r, -d = 3*r. Suppose 5*z - 41 + 1 = d. Is (((-567)/12)/(-1))/(3/z) a multiple of 18?
True
Let k(s) = s**2 + 6*s + 9. Let m be k(-3). Let c be m + 4 - (0 + -1468). Suppose 0 = -4*a - 4*a + c. Is 46 a factor of a?
True
Let u = 190 - 106. Let w = u + 348. Suppose -q = 8*q - w. Is 10 a factor of q?
False
Let y = -3478 - -5446. Does 16 divide y?
True
Let r(v) = -v**3 - 4*v**2 + 10*v - 6. Let f(l) = -l**2 + 16*l + 11. Let o be f(17). Let d be r(o). Is 25 a factor of 591/d + 9/6?
True
Let y = 196 - 81. Let u = -75 + y. Let v = u + -23. Is v a multiple of 10?
False
Let h(v) = 68*v**2 + 18*v - 5. Let m(p) = 68*p**2 + 15*p - 4. Let b(w) = -5*h(w) + 6*m(w). Is 28 a factor of b(2)?
False
Let f(d) = 2*d**2 + 17*d - 27. Let h be f(-10). Is 10 a factor of 12603/21 + 132/(-42) + h?
True
Let n(t) = 11*t**3 - 4*t**2 - 5*t - 6. Let b(c) = -12*c**3 + 2*c**2 + 6*c + 5. Let g(k) = 3*b(k) + 2*n(k). Is g(-3) a multiple of 14?
False
Suppose 0 = -4*d - g + 3607, -2*d - 3*d = g - 4507. Does 50 divide d?
True
Suppose -3*u + 15*b = 11*b - 23902, -u + 7970 = -2*b. Does 76 divide u?
False
Let s = 24 - 18. Suppose 0 = c - 0*c - 3. Is 3 a factor of 52/c*9/s?
False
Let b = 40 - 27. Let h(u) = -u + 9. Let l be h(b). Is (90/l)/9*-42 a multiple of 27?
False
Let w(t) = t**2 + 9*t + 10. Let a be w(-8). Suppose 2*v = -4*n + 32, 5*v - 50 = 7*n - a*n. Suppose -c - 1584 = -v*c. Is 18 a factor of c?
True
Let m(n) = 15*n**2 - 16*n + 119. Is 25 a factor of m(-22)?
False
Let k(h) = h**2 + 3*h + 1. Let y be k(-2). Let n be (-84)/(-10) + 3/5 + y. Suppose 3*a = -5*q + 49, a - n = -4*q + 6. Is 6 a factor of a?
True
Let b = 122 - 94. Suppose 5*j - 11 - 34 = 0. Suppose x = b - j. Is x a multiple of 2?
False
Let d = -7870 - -13811. Is d a multiple of 24?
False
Suppose -2*y = -3*u - 3*y + 34, -3*u = -y - 26. Let g(k) = -k + 17. Let p be g(u). Let h(v) = 3*v**2 - 18*v + 15. Does 9 divide h(p)?
True
Suppose i = -o + 6 - 4, 5*i = 3*o + 26. Suppose 4*d = -2*m + 30, i*d + m - 15 = 4*m. Let u(v) = v**2 - 2*v + 2. Is u(d) a multiple of 13?
True
Is 15 a factor of (-4 - -6 - -16229) + 13 + -19?
False
Suppose 5*x = a + 134, 8*x - 12*x = -2*a - 112. Suppose -x*j + 915 = -1035. Is 15 a factor of j?
True
Let b = -14510 + 31402. Is b a multiple of 47?
False
Let q be 2/4 + 101/2. Let s = q - 63. Let r(a) = -6*a - 50. Is r(s) a multiple of 11?
True
Let d = -8685 - -11487. Is d a multiple of 13?
False
Let i(b) = 62*b**3 - 42*b**2 + 283*b + 6. Is 214 a factor of i(8)?
False
Let q = -50 + 115. Let v = q + -62. Suppose 2*n = f - 109, 0 = 3*f - v*n - n - 323. Is f a multiple of 35?
True
Suppose -4*p - 5*j + 513 = -500, 0 = 4*p - 2*j - 1006. Suppose 75 - p = -3*d. Is d even?
False
Suppose 339 = 16*a - 12317. Let g = -619 + 73. Let j = g + a. Is j a multiple of 34?
False
Let x(b) = b**3 - 5*b**2 + 3*b + 4. Let j be x(5). Suppose 13*k - j = 20. Suppose 3*n - 99 - 297 = -k*s, -s = 5*n - 644. Is 14 a factor of n?
False
Let g(r) be the second derivative of 60*r**2 - 13*r + 0 + 1/6*r**3 + 1/6*r**4. Does 10 divide g(0)?
True
Suppose 0 = -5*h + 5*f - 7 - 3, -2*h - 2*f - 12 = 0. Let n be 2/(((-6)/(-16))/((-6)/h)). Suppose -n*c + 180 = -1004. Is c a multiple of 38?
False
Let k(m) = 43*m - 9. Let w(i) = 42*i - 7. Let v(h) = -7*k(h) + 6*w(h). Let d be v(-5). Is (d/6)/((-6)/(-18)) a multiple of 21?
False
Suppose 0*h - t = -2*h + 13062, -4*h = -4*t - 26128. Is -1 + (-44)/(-36) - h/(-18) a multiple of 33?
True
Let x(z) = -401*z**3 - 10*z - 20. Is x(-2) a multiple of 8?
True
Suppose -3*g = v - 309, 3*g - v - 211 = g. Let m = g - 114. Let j = m + 38. Does 8 divide j?
False
Let l = -821 + 12896. Does 15 divide l?
True
Let d(p) = 4*p + 23. Let t be d(-10). Let h = t - 7. Is 10 a factor of 3*(516/h)/((-3)/2)?
False
Suppose 2*a = -2*x + 24866, 143*a + x - 24858 = 141*a. Does 175 divide a?
True
Let a(l) = 7*l**3 - 15*l**2 - 14*l - 6. Let w(m) = -11*m**3 + 23*m**2 + 21*m + 9. Suppose -20 = 3*j - 7*j. Let t(o) = j*w(o) + 8*a(o). Is t(7) a multiple of 23?
True
Let q = -219 + 254. Is ((-28)/q)/((-4)/650) a multiple of 13?
True
Suppose 2*u = -5 + 135. Suppose -g + 16*g = 3675. Suppose u = q + 2*m, -g = -4*q - 6*m + m. Is 7 a factor of q?
False
Is -25*42/(-7875) + 12193/15 a multiple of 58?
False
Suppose 15*j - 176 = 11*j. Let n = 46 - j. Suppose -n + 149 = 3*u. Is u a multiple of 5?
False
Suppose -26*v + 44*v - 544 = -148. Let l(c) = -c**3 + 2*c**2 - 2*c + 2. Let q be l(2). Let r = q + v. Is r a multiple of 8?
False
Let q(w) = -5 + 6 + w**3 - w**2 + 2 + 10 - 8*w. Let f be q(9). Suppose f = 4*i - 5*l, 0*i - 3*l - 297 = -2*i. Is 47 a factor of i?
True
Is 10 a factor of (-1)/17 + (-18832904)/(-17884)?
False
Does 5 divide (-27324)/(-9) - (-78)/(-6)?
False
Let r(x) = -2*x - 7. Let k be r(-5). Let v be 2/(k/9*3). Suppose -2*g - 230 = v*h - 6*h, 4*g - 130 = -2*h. Is h a multiple of 10?
False
Suppose 2*j - 14 = -5*u, 2 = 3*u - j - j. Let r(p) = p**2 + 18*p + 168. Let a be r(0). Suppose x + x = -3*t + 236, -4*x = -u*t + a. Is t a multiple of 10?
True
Let a(d) be the first derivative of -60*d**2 + 4 - 4 - 11. Is a(-1) a multiple of 30?
True
Let n = 5206 + -985. Is 63 a factor of n?
True
Let u be (4/3)/(-2)*-3 + 10. Suppose 18*q = u*q. Suppose -2*w = -n - 284, 4*w = n - q*n + 564. Is w a multiple of 35?
True
Let c(j) = 11*j**2 + j + 21. Suppose -35 - 5 = 8*y. Does 31 divide c(y)?
False
Let p be (-51)/(-2) + 9/(-6). Let t(q) = -q**3 + 24*q**2 + 4*q - 17. Let w be t(p). Let y = 33 + w. Does 15 divide y?
False
Suppose 5*q = -9 - 1. Let g(s) = 28*s - 7. Let l(t) = -9*t + 2. Let w(o) = q*g(o) - 7*l(o). Is 3 a factor of w(3)?
True
Suppose 35*y + 45 = 44*y. Suppose -s = i - 267, y*s - s = i - 282. Is 27 a factor of i?
True
Let c be -8 + (-530)/(-65) + 1389/13. Suppose -c*l = -131*l + 17712. Is 41 a factor of l?
True
Let v(u) = -10*u**2 - 2*u**3 - 55*u + 23*u + 25*u + 17 - 3. Let s(x) = -x**2 - 2*x - 4. Let f be s(-3). Is 30 a factor of v(f)?
False
Let j = -16 - -12. Let a be 16/j + 5 + 21. Suppose -n + a = 6. Does 8 divide n?
True
Let x be 8/1 - (1 - 5 - -6). Let g be (20/(-50))/(x/15). Is (-4)/(-8) + (-55)/(-2) + g a multiple of 9?
True
Let n = -72 - -462. Let d = n - 105. Is d a multiple of 33?
False
Let a = -16 + 18. Suppose -5*b + 5*f + 40 = 0, 4*b - 17 = 3*b - a*f. Does 11 divide b?
True
Let o = 105 - 73. Does 3 divide 129/2 - 16/o?
False
Let o(m) = m**3 + 30*m**2 - 25*m + 63. Let y = 13 + -43. Is 12 a factor of o(y)?
False
Suppose 146*r - 246953 - 76783 = -42*r. Is r a multiple of 42?
True
Suppose -14*n - 4*n = -16470. Suppose 835 = 5*s - n. Is 21 a factor of s?
False
Is (4 - -2*(6 - 24))/(3/(-330)) a multiple of 60?
False
Let y(k) = -k**3 - 11*k**2 + 2*k + 1. Let b be (-78)/6 - (-2 - (-4 + 3)). Is y(b) a multiple of 11?
True
Let f(t) = -t**3 + 6*t**2 + 7*t - 2. Let a be f(7). Let x = 1 + a. Is 0 + 17 - (7 + -3 + x) a multiple of 14?
True
Suppose 35932*k - 35912*k = 429160. Is k a multiple of 237?
False
Let i = 4004 + -844. Does 88 divide i?
False
Let n = -343 + 343. Let l(o) = -5*o**2 + 6. Is 4 a factor of l(n)?
False
Let k = -944 - -941. Is 12 a factor of ((-5)/k)/(39/15444)?
True
Suppose 2*q - 5*k - 8053 = -523, -3*k = -q + 3764. Is 26 a factor of q?
True
Let v be (-73)/2 + (-3)/2. Let r = 110 + v. Is r a multiple of 7?
False
Let s(m) = -219*m + 39. Let c be s(10). Let k = -1440 - c. Is k a multiple of 16?
False
Let f(c) = -20*c**2 - 8*c + 4. Let r be f(3). Let b = r + 355. Does 30 divide b?
False
Let b(i) = i**3 - 2*i**2 - i - 70. Let v be b(0). Let g be ((-12)/2)/2 + v + -2. Let h = g - -105. Is 15 a factor of h?
True
Let w