s = -3*q + 52. Does 14 divide s?
False
Suppose 0 = -2*r + 3*b + 7 + 82, 2*r - 77 = -b. Let t be ((-408)/r)/(18/15 + -1). Let i = 54 + t. Is i a multiple of 2?
False
Let u(o) be the first derivative of 2*o**3/3 - 2*o**2 + 264*o - 199. Does 11 divide u(0)?
True
Suppose -12549 = -3*l - 3*r, -35*l = -30*l - r - 20903. Is l a multiple of 120?
False
Suppose 230*l - 732060 = -19*l. Is 70 a factor of l?
True
Let s(i) = -2*i**2 - 34*i + 42. Let m be s(-18). Suppose -108 - 84 = -m*d. Does 4 divide d?
True
Let v = -328 + 331. Suppose -8*o = -10*o - v*y + 2778, 2794 = 2*o - y. Does 9 divide o?
True
Does 6 divide (-103668)/(-371)*(-63)/(-12)*2?
True
Let q be (470 - -5)*6/10. Is 47 a factor of q + (-6 + 30)/(-8)?
True
Suppose 35084 = 519*l - 470*l. Is l a multiple of 11?
False
Suppose -53*o + 18*o = -1319123 + 37143. Does 54 divide o?
False
Suppose -2*f - 16 = -4*f. Let o be 6/((-96)/40)*(-36)/15. Suppose o*n = f*n - 352. Does 22 divide n?
True
Let k = -340 + 356. Suppose -15283 + 4979 = -k*z. Is z a multiple of 23?
True
Suppose j - 2 = 3*s, -6*s = -3*s + 5*j - 28. Is (756/45)/(0 + s/10) a multiple of 14?
True
Suppose 37196 = 4*y + 5*v, 4*y + 11*v - 14*v - 37196 = 0. Does 32 divide y?
False
Let j be (0 + 916)*1/(-4)*2. Let z = j + 942. Suppose 2*t - 5*c = -6*c + z, -4*t = -2*c - 984. Does 38 divide t?
False
Let j(f) = -f**3 + 63*f**2 - 93*f - 350. Does 109 divide j(57)?
True
Let d(o) be the first derivative of -o**6/40 + o**5/60 - o**4/4 + 7*o**2 + 9. Let j(y) be the second derivative of d(y). Is j(-3) a multiple of 12?
True
Let t(l) = -13*l**2 - 291*l - 14. Does 14 divide t(-13)?
False
Let u(a) = -62*a + 109. Suppose 4*j = 4*s - 32, -3*j - 22 - 5 = -4*s. Is 9 a factor of u(j)?
False
Let h(a) = a + 13. Let l be h(0). Suppose 655 + 2374 = l*y. Is 17 a factor of y?
False
Let d(x) = 3*x**3 + 36*x**2 - 7*x + 3. Let z be 0 + -2 - (1 + 9). Is 59 a factor of d(z)?
False
Let k be (-28)/7 + 0 - -38. Suppose k = 3*i + 4*v, -6 = -5*i - 4*v + 56. Does 2 divide i?
True
Let j = 87 + -54. Let c = -27 + j. Suppose 45 = -5*n + c*n. Is n a multiple of 34?
False
Is 67 a factor of (-21 - 21)/(4/(-268))?
True
Suppose -25 = -5*j + 260. Let f(y) = -y + 9. Let k be f(3). Does 2 divide 3/k + (j/6 - -1)?
False
Let l(b) = 5*b**2 + 2*b - 3. Let k be (12/(-24))/((-1)/6) + -7. Is 23 a factor of l(k)?
True
Let i(b) = -b**3 + 4*b**2 + 6*b - 294. Is i(-11) a multiple of 15?
True
Let s(t) = 8*t**2 - 12*t + 11966. Does 31 divide s(0)?
True
Let g = 7 - 71. Let x = 67 + g. Suppose -2*i + 87 = x. Does 14 divide i?
True
Suppose 7*q - 19 = 2. Is ((-17)/q)/(4/(-900)*3) a multiple of 17?
True
Suppose -517039 = -47*w - 316598 + 525709. Is w a multiple of 10?
True
Suppose 10*c = -34*c + 5*c. Suppose 0 = 3*q + 6*j - j - 1407, c = 3*j - 9. Is q a multiple of 16?
True
Let g(a) = -a**3 - 18*a**2 - 13*a + 16. Let n(t) = 2*t**3 + 19*t**2 + 14*t - 17. Let h(y) = 7*g(y) + 6*n(y). Does 55 divide h(4)?
True
Suppose 5*c + 5*p = 4605, 2*c + 3*p - 957 - 891 = 0. Is c a multiple of 7?
False
Does 54 divide (-104)/(-28) + -4 + 112288/77?
True
Suppose 18*h + 156 = -8*h. Let f(i) = 5*i**2 - 9*i - 10. Does 28 divide f(h)?
True
Suppose 975 - 195 = -2*o. Let c = 473 + o. Does 6 divide c?
False
Let i(h) = -8*h**3 - 9*h**2 + 3*h + 16. Let t = 146 - 150. Is 14 a factor of i(t)?
False
Suppose 4*a + 3*w - 5851 = 13571, 4*a - 19416 = -4*w. Does 10 divide a?
True
Does 96 divide 4428 - (-20)/(120/18)?
False
Let i = 51 + 27. Suppose 15 = 3*t - i. Is 4 a factor of 3 + (1 - 2) + t + -1?
True
Let b be (-4)/3 + 2 - 38/3. Let a be 26*(b/(-8) + -2). Let p(s) = s**2 + 9*s - 25. Is p(a) a multiple of 9?
True
Suppose -26*t - 120 = -6*t. Let h(x) = -x**3 + 12*x - 6. Is h(t) a multiple of 4?
False
Let t(j) be the first derivative of -234*j**2 + 2*j + 12. Let s be t(-1). Suppose 0 = 7*m - 2*m - s. Is 15 a factor of m?
False
Suppose 9*n + 22 = f + 4*n, -5*f - 2*n + 29 = 0. Let l(j) = -4*j**2 + 41*j - 10. Does 5 divide l(f)?
False
Suppose -14*s = 4*s - 972. Let x = s + -117. Does 12 divide 18/x - -634*(-3)/(-42)?
False
Does 73 divide (23 - 27) + 36*65?
True
Let f(s) = 14*s + 31. Let y be f(-2). Let d(p) = 20*p**3 - 6*p**2 + 5*p + 3. Does 28 divide d(y)?
True
Let a be (-10 - -9)/(1/(-229) - 0). Let k = -190 + a. Is k a multiple of 3?
True
Suppose 2*o - 128 = -2*s, 0*s = 2*o - s - 140. Suppose -4*t = 4*b - 6*b + o, -100 = -4*b - 4*t. Is b a multiple of 4?
True
Suppose -4*d + 4 = 0, -o - d + 7 = -0*d. Suppose o*a = 1002 + 246. Does 52 divide a?
True
Let x(i) = -i**3 + 23*i**2 + 9*i + 13. Let f(p) = 8*p - 17. Let y be f(-4). Let k = -26 - y. Is x(k) a multiple of 27?
False
Suppose 2*h = -8*h + 90. Let j be (6/4 - 1) + h/6. Suppose 3*c + 3*t - 183 = 0, -2*t + 181 = -j*c + 5*c. Is 8 a factor of c?
False
Suppose 3*t - 4*p = 98, 5*t - 6*t + 5*p = -40. Is 4 a factor of 308*((-21)/(-15) - 12/t)?
True
Let k = -36 + 9. Let i = -35 - k. Does 6 divide (-1 - -5)*(-134)/i?
False
Let z(h) be the first derivative of -h**4/2 + 19*h**3/3 - 4*h**2 - 10*h - 11. Let o be z(9). Does 36 divide 12/(o + (-16)/(-15))?
True
Let d = 5952 - 2564. Does 11 divide d?
True
Let g(m) = m**2 - 15*m + 54. Let y be g(9). Does 2 divide 2 + y + 928/8 + -5?
False
Let h(c) = -1100*c - 515. Does 4 divide h(-11)?
False
Let m = -196 - -416. Suppose -5*f - 3*k + 974 = 0, -k + 21 + 368 = 2*f. Suppose 4*c + 5*w = f, 0*w = -5*c - 2*w + m. Is c a multiple of 13?
False
Let n(k) = k**2 + 18*k + 80. Let d(p) = -3*p**3 - 17*p**2 - 4*p + 6. Let s be d(-5). Does 14 divide n(s)?
True
Suppose 4*p + m = 24841, 4*m - 4880 - 7544 = -2*p. Does 106 divide p?
False
Suppose -2*m = 3*j - 12, 2*j + 0*j = -m + 8. Suppose 122 - 558 = j*o. Is 16 a factor of (36 - o) + (0 - (-1)/1)?
False
Let s(i) = 35*i**2 - 16*i - 73. Is s(-11) a multiple of 18?
True
Suppose -4*b = j + j - 44, 3*j = -b + 16. Let k(c) = -c + 1. Let p(d) = -4*d - 27. Let f(i) = 5*k(i) - p(i). Does 2 divide f(b)?
True
Let p(s) = 17*s**2 + 3*s + 2. Let j be 10/(-20) - 5/2. Let f be p(j). Suppose -3*n = n - 4*o - 208, -3*n + o = -f. Is n a multiple of 21?
False
Suppose 4*t + 2814 = 2*a, -11*t + 8*t - 3 = 0. Suppose -a = -21*h + 3614. Does 92 divide h?
False
Suppose 5*v = 2*o + 909, 3*o + 925 = 4*v + 195. Let j = 61 + v. Does 35 divide j?
False
Suppose 6*m - 2*m + r = -306, 10 = 5*r. Let c = -77 - m. Suppose 3*y - 5*y + 252 = c. Does 7 divide y?
True
Suppose -151*u + 1396 = -149*u. Is 2 a factor of u?
True
Let b(l) = -l**2 - 41*l - 28. Let p be b(-31). Let z = p + -255. Is 13 a factor of z?
False
Does 47 divide 3425 + (840/126)/(4/(-6))?
False
Suppose -16*t + 48*t = 0. Suppose 2*h = -2*h + 3*z + 5971, t = 3*z - 9. Is 51 a factor of h?
False
Let l = -71 + 9. Let z = l - -67. Suppose 0 = -3*o - 3, -z*w - o = -171 - 68. Is w a multiple of 7?
False
Let v = 343 + -221. Suppose -f = -v - 175. Let k = f + -197. Is 20 a factor of k?
True
Let i(r) be the second derivative of 5/2*r**2 + 0 + 47/6*r**3 + 13*r. Is 6 a factor of i(1)?
False
Suppose 3*q = i - 81, 0*q = i + 2*q - 76. Does 25 divide 5/3 - (-14690)/i?
False
Let x = 118 + -115. Let m be 2 + x - 10/5. Suppose m*a - 216 = a. Is a a multiple of 9?
True
Suppose -2*q + 25751 = q + 3698. Does 28 divide q?
False
Let s(p) = 31*p**2 - 5*p + 1171. Is 125 a factor of s(18)?
True
Let l = -5279 + 6335. Is 3 a factor of l?
True
Let z(w) be the second derivative of w**4/12 - w**3/2 - 11*w**2 - 5*w. Let v be z(-4). Is ((-52)/v)/(((-10)/(-9))/(-5)) a multiple of 6?
False
Suppose -49 = -2*h - 107. Is 9 a factor of h/(-116) + 861/12?
True
Let a = 274 - 621. Let l = 522 + a. Suppose 2*z = -4*v - 2*z + 184, -4*v + 5*z + l = 0. Does 9 divide v?
True
Suppose -s = -5*m - 17, -2*m + 14 = 4*s - 4*m. Let j = 282 - s. Does 35 divide j?
True
Let z = -1018 + 2638. Suppose -z = 3*j - 8*j. Is 27 a factor of j?
True
Let v(g) = 4 - 175*g + 11 + 172*g. Is v(-10) a multiple of 5?
True
Suppose -185400 = -5*s - 11*s - 2*s. Is s a multiple of 69?
False
Let s(k) = 213*k**3 - 2*k**2 - 27*k + 53. Is 113 a factor of s(2)?
True
Let i be 58506/154 - 4/(-44). Let x = -180 + i. Is 40 a factor of x?
True
Let y(u) = 88*u + 3. Let f be 54/(-63)*7*(-2)/3. Let g be y(f). Suppose -4*m + g = m. Is 12 a factor of m?
False
Let g = -31107 + 93490. Is g a multiple of 291?
False
Let h = 7959 - 5899. Is 20 a factor of h?
True
Suppose -313*l + 13012133 - 7300