-11 + 6*r**3 + 20*r**2 - 4*r**3 + 11*r - 9*r**2 - m*r**3. Does 22 divide o(11)?
True
Let f(s) be the second derivative of 5*s**3/6 - 23*s**2/2 + 41*s. Let b be f(5). Suppose 5*u + 5*z = 640, -b*u + 76 = -z - 171. Is u a multiple of 5?
True
Suppose 543348 = 1219*x - 1167*x. Is x a multiple of 9?
True
Suppose 291527 + 2663998 = 75*i. Is i a multiple of 15?
False
Suppose -307*d - 28080 = -315*d. Does 10 divide d?
True
Let o(r) = r**3 + 8*r**2 + 2*r - 5. Let y be o(-7). Suppose -y*c + 29*c = -2. Is 7 a factor of 0 + (22 - 1*(c - 3))?
False
Suppose 46094 = 123*t - 46771. Is 5 a factor of t?
True
Suppose 31*g + 11 = -82. Let x(u) = 2 + 5 - 17*u + 2. Does 19 divide x(g)?
False
Let q be 2/(-3) + 16/6. Suppose 0 = g - 3, 3*i = 3*g + q*g + 609. Is i a multiple of 7?
False
Suppose 7*j - 5*j - 6*k = 19238, -9599 = -j - k. Does 47 divide j?
False
Suppose 2*z + r = 10, 16*z - 12*z - 2*r = 4. Suppose -2*m + 3*d + 243 = 0, 0 = -z*m - d + 285 + 74. Does 10 divide m?
True
Let d be 136/40 - 6/(-10). Suppose -10 = -9*s + d*s. Suppose -t + 159 = s*j, -7*t - j + 650 = -3*t. Is 10 a factor of t?
False
Let p(f) = f**3 + 4*f**2 - 2 - 10*f + 0*f**2 + 5*f + 0. Let c be p(-5). Is -5*(c + 3)*(-5)/1 a multiple of 12?
False
Let u = -1836 - -15876. Suppose -a + u = 25*a. Does 60 divide a?
True
Suppose 3*i + 5*l = -121, 0 = 3*i + 3*l + 34 + 77. Let z be (8*3)/(0 - 4/i). Suppose 0 = 4*m - 2*m - z. Is 6 a factor of m?
True
Let s(f) = -19*f - 4. Let u be s(-1). Suppose -u*h + 5*h = 60. Is 4 a factor of (6/1)/((-9)/h)?
True
Is (188/705)/(4/(-10))*7122/(-4) a multiple of 119?
False
Let k(f) = -f**3 + 4*f**2 + 2*f - 6. Let t be k(4). Let b(x) = -5*x + 10*x**t - 4*x**3 - x**3 + 4*x**3 + 2*x. Does 23 divide b(8)?
False
Suppose 3*u = -2*f + 929, -1813 = -5*f + 4*u + 452. Suppose 848 = 3*v + j, j - f - 673 = -4*v. Is v a multiple of 47?
True
Suppose -2*z = 51 + 93. Does 24 divide (z/9 + 11)/((-6)/(-434))?
False
Suppose -5*p - 5*x + 555 = 0, -103*p + 101*p + 210 = 4*x. Is p a multiple of 74?
False
Suppose -5213 = -28*f + 15*f. Let s(b) = 2*b**3 - 4*b**2 + b + 2. Let d be s(2). Suppose 0*a + f = d*a + i, 2*a - 204 = -4*i. Does 25 divide a?
True
Let s(z) = -4*z**3 - 42*z**2 - 7*z + 112. Does 19 divide s(-13)?
False
Let d = -34 + 32. Let j be ((-1)/d)/(10/(-4) + 2). Does 19 divide 4 + j + 164 + 4?
True
Let v(b) = 7*b - 3. Let u be 5 + -2 + -2 + -5. Let m be v(u). Let l = 40 + m. Does 4 divide l?
False
Let x = 8 - 6. Let c = -14561 - -14170. Is 7 a factor of c/(-46) + (-3)/x?
True
Suppose -13*v = -763 - 537. Suppose 5*t + 10 = -0*t, 0 = 2*f - t - v. Does 7 divide f?
True
Suppose -5107 = -c + 3*o, 2*c - 54*o - 10213 = -49*o. Is c a multiple of 11?
True
Let z = -18438 - -26208. Does 122 divide z?
False
Let a = 13815 - 35667. Is (-2)/6 + a/(-108) a multiple of 50?
False
Let n(z) = 9*z - 12. Let t(i) = -9*i + 12. Let o be (8/(-2))/1 - 1. Let k(x) = o*n(x) - 4*t(x). Is 10 a factor of k(-2)?
True
Let q(y) = -2*y + 17. Let x be q(4). Suppose -x*a + 12 = -24. Suppose i - 249 - 98 = -a*n, 2*n - 181 = i. Does 8 divide n?
True
Suppose a - 3*t - 8 = 9, -5*t = -2*a + 29. Let y be 5 + -4 + a + 0. Suppose o - 38 = y*c + 4, -c + 1 = 0. Is o a multiple of 15?
True
Let v be (-18)/(-5) + 13/((-390)/(-12)). Is v/(-16) - (-1421)/8*2 a multiple of 71?
True
Let u(v) = -v**2 + 13*v - 24. Let i be u(3). Suppose 938 = i*x - 1312. Does 10 divide x?
False
Let a(m) = 18*m**2 - m - 3. Let x be a(1). Suppose 9*k = x*k - 980. Is 4 a factor of k?
True
Suppose 50*a + 1477980 = 96*a. Does 85 divide a?
True
Suppose -2 - 16 = -6*g. Let s = 90 - 88. Suppose 0 = 4*t - 2*v - 488, -g*t + 2*t - s*v + 112 = 0. Is t a multiple of 30?
True
Suppose -3*k - 30*k = -126390. Suppose k = 9*y - 4*y + 5*j, 5*j = 5. Does 10 divide y?
False
Is 95 a factor of (7 - (-216)/(-32)) + (-1071580)/(-80)?
True
Let j be (-10 - 4)*(-18)/21. Suppose 72*z - 78*z + j = 0. Does 2 divide z?
True
Suppose -5*r - d + 89248 = 0, -2*r + 13*d + 35706 = 10*d. Does 34 divide r?
True
Suppose -7*q + q = -18. Is 3 a factor of 1 + q - (-44 + 1)?
False
Suppose -3*r = -16*r + 39. Suppose -473 = -v - 4*c, -137 = -r*v + 4*c + 1362. Does 17 divide v?
True
Suppose 315 = 6*o - 1263. Is 6 + (-12)/1 + o a multiple of 16?
False
Let p = 7998 + 9615. Is p a multiple of 125?
False
Let g be (-2 - 2/(-3))/((-6)/(-9)). Let b(s) = 5*s**2 + 3*s + 1. Let h be b(g). Does 10 divide (-2015)/(-25) - 9/h?
True
Let q(y) = -y**3 + 16*y**2 + 17*y + 34. Does 17 divide q(17)?
True
Let z be (-34)/(-10) - (-2)/(-5). Suppose 58 = -r + 505. Suppose -z*m + r = 15. Does 25 divide m?
False
Suppose 13 - 3 = -5*q, 0 = -t - 4*q + 10981. Is t a multiple of 27?
True
Suppose -2835 = 5*c - 10*c + 5*x, -4*x + 592 = c. Suppose -2*m = 3*w - 7*w - c, -5*w + 1183 = 4*m. Suppose -6*d = -10*d + m. Does 37 divide d?
False
Let i(n) = 52*n**2 - n - 7. Let j(q) = -q**2 + 2. Let u(r) = i(r) + 6*j(r). Does 11 divide u(2)?
True
Let a(w) = -w**3 + 4*w**2 + 5*w + 2. Let c be a(3). Suppose -11*p + 9*p = -c. Is ((-6)/4 - (-20)/8) + p a multiple of 4?
False
Suppose 5*a - 845 = 5*q, -67*q = -69*q + 5*a - 356. Suppose -722 = -0*y + 2*y. Let b = q - y. Is b a multiple of 22?
True
Suppose -5*k = 2*o - 13304, 0 = 3*o - 5*o + 4*k + 13340. Is o a multiple of 185?
False
Let u(s) = s + 11. Let g be u(-8). Let l be (213/(-6))/(g/(-6)). Suppose -4*d - 4*f = -80, -4*d = 2*f - l - 3. Is 9 a factor of d?
False
Let z(g) = 25*g**3 - 7*g**2 + 46*g + 188. Is 93 a factor of z(7)?
True
Let i = 1 + 0. Is ((-5)/10 - i)*-2 even?
False
Let o(f) = f**2 + 12*f + 21. Let m be o(-7). Let r = 15 - m. Is r even?
False
Let j = -269 + 32. Let d = 274 + j. Does 15 divide d?
False
Suppose 9260 + 25272 = 5*s - 4*a, -13796 = -2*s + 4*a. Does 128 divide s?
True
Suppose 3*p - 135 = -2*p. Suppose 12 = -25*f + p*f. Suppose f*w + 240 = 10*w. Does 30 divide w?
True
Let r(w) = -6*w**3 - w**2 + 2*w. Let x be (-2 - 3) + (-18)/(-6). Let y be r(x). Let h = y + -16. Does 8 divide h?
True
Suppose 214*f = 210*f + 3192. Let y = f + -545. Is 6 a factor of y?
False
Let k = 14 + -10. Suppose k*f - 2737 = p, -2*f - 4*p + 2732 = 2*f. Does 76 divide f?
True
Let p be (((-3)/5)/1)/((-2)/20). Does 3 divide -2 + 90/(p - 1)?
False
Suppose 33*t + 2*t = -25*t + 1055040. Does 28 divide t?
True
Let q(g) = g**3 + 7*g**2 + 7*g + 11. Let a be q(-6). Suppose 10*x + 2*j = 6*x + 248, 3*x = -a*j + 200. Is x a multiple of 9?
False
Suppose -x + 5 = -2*d - 7, -36 = -4*x + 4*d. Suppose -2*k + 66 = 2*y + x, k - 3*y - 10 = 0. Is k a multiple of 15?
False
Let p = 10151 + 14. Is 95 a factor of p?
True
Does 39 divide -6*14277/(-6) + (278 - 281)?
True
Let r(m) = -1. Let g(i) = 25*i - 3. Let p(w) = -g(w) + 6*r(w). Let c be -5 - (5 + (-40)/5). Does 8 divide p(c)?
False
Suppose -12734110 = -145*t - 475*t - 2419790. Is t a multiple of 7?
False
Let n(i) = 22*i - 9. Let x(t) = -3*t - 7. Let g be x(-3). Let l be n(g). Does 16 divide (-1372)/l*5/(-2)?
False
Suppose 274800 = -50*t + 125*t. Is t a multiple of 61?
False
Suppose 31*i - 12558 = 44792. Does 25 divide i?
True
Let h = -116 - -76. Let m be (-4)/(-6) + (h/15 - 1). Let g(v) = v**3 + 4*v**2 - 1. Does 2 divide g(m)?
True
Suppose 36*j - 24*j + 154020 = 29*j. Does 60 divide j?
True
Let m = 161 + -337. Let j be (1/(-2))/((-8)/3936). Let q = m + j. Does 14 divide q?
True
Let s(a) = -a + 60*a**3 + 4*a**2 - 30*a**3 + 9 - 31*a**3. Let x be s(4). Is 1/x - (-1074)/30 a multiple of 18?
True
Let l(j) = -4*j**3 + 10 + 3*j**3 + 8*j**2 - 9*j - 3 + 3*j**2. Let s = 92 + -83. Does 22 divide l(s)?
True
Suppose -11*u - 1300 = 2*u. Let z = 429 + u. Is 36 a factor of z?
False
Let u(d) = -969*d - 2794. Is 17 a factor of u(-9)?
False
Let q = 2235 + -1191. Is 87 a factor of q?
True
Suppose -r + 3*f + 7773 = 0, 4*r - 12*f = -9*f + 31101. Does 44 divide r?
False
Let m = -285 + 301. Suppose -m*i = i - 1411. Does 9 divide i?
False
Let t(c) = -3*c + 57. Let f be t(19). Suppose f = -46*r + 39*r + 3542. Is 22 a factor of r?
True
Let s(h) = 21*h + 709. Let c(w) = -116*w - 3900. Let i(q) = 5*c(q) + 28*s(q). Does 32 divide i(-24)?
True
Let x be (-939)/21 - 16/56. Let q = x - -48. Suppose -4*r - q*r + 665 = 0. Does 24 divide r?
False
Let i = 8216 + -3599. Is 42 a factor of i?
False
Suppose -3*s + 3*a = 8*a - 150, -5*s + a = -278. Suppose 7*l = -29 - s. Does 20 divide ((-40)/(-3))/((-4)/l)?
True
Su