= o - 2*o + 1. Is a a multiple of 5?
True
Let d(s) = -11*s - 2. Let v be d(-5). Let t = 115 - v. Does 16 divide t?
False
Suppose 0*n + 3*n - 249 = -t, 4*t - 951 = 3*n. Does 30 divide t?
True
Suppose 0 = -0*x + x + 11. Let a = x - -16. Does 5 divide a?
True
Let u(q) = q**3 + 15*q**2 + 15*q + 14. Let j be u(-14). Suppose -3*k + 6 + j = 0, 0 = -3*t + 3*k + 639. Is t a multiple of 22?
False
Let u = -24 + 30. Suppose 2*n + 16 = 4*v - n, -2*v + 2*n = -u. Is 2 a factor of v?
False
Let m = 2637 - 1545. Is 42 a factor of m?
True
Let r(z) = -z**3 - 9*z**2 - z + 11. Let a be r(-8). Let y be (3 + a/12)*-116. Let s = -48 + y. Is 13 a factor of s?
True
Let r(d) = -d**2 + 86*d - 24. Is 8 a factor of r(11)?
False
Let c(l) = -l**3 - 9*l**2 - 10*l - 9. Let y be c(-8). Suppose -6 = 5*r - y*r. Let z = 21 - r. Does 6 divide z?
True
Let f(t) = 18*t**2 - t + 11. Let i be (-7 - (-161)/21)/(4/18). Is 24 a factor of f(i)?
False
Let w(n) = -6*n - 6. Let h(u) = -u - 1. Let c(q) = -34*h(q) + 6*w(q). Suppose 3*k = 2*b + 23, 6 = -b + k - 4. Is c(b) a multiple of 6?
True
Let j be (1 - 5/1)/(-1). Does 11 divide j/16*-10*-22?
True
Suppose -o = 5*b - 11, 2*b + o - 5*o = 22. Suppose -3*r = 2*d - 229 - 61, -b*r + 293 = 5*d. Does 24 divide r?
True
Let n be 0 + -9 - (-3 + 5). Let j be 3174/33 + 2/n. Suppose -3*z - z + j = 0. Is 6 a factor of z?
True
Let g = -80 - -136. Let s(d) = -56 + g + 17*d. Does 6 divide s(1)?
False
Suppose 12 = a + 3*a. Let f(o) = 17*o + 5. Is f(a) a multiple of 29?
False
Suppose a = -2*s - 0*s + 117, -294 = -5*s - 3*a. Does 3 divide s?
True
Let a(b) = 103*b - 111. Is a(11) a multiple of 73?
True
Let z be 4960/(-48)*12/(-5) + -4. Suppose 0 = -5*i + z + 581. Is 9 a factor of i?
False
Suppose -2*u + 5*b + 8 = -0*u, u = 3*b + 4. Is 5 a factor of u/22 + (-53)/(-11)?
True
Let k = 1364 - -292. Is 13 a factor of k?
False
Let v be -2 + 4 - (124 - 2). Let k = v - -332. Does 4 divide k/18 + 4/18?
True
Suppose -2*x + 40 = -2*g, 3*g - 4*g - 5*x = 14. Let h = 15 - g. Is h a multiple of 4?
False
Let a(b) = 7*b**2 - b - 1. Let t be a(-1). Suppose m = t*d - 5*d - 35, -d = -2*m - 25. Is 3 a factor of d?
True
Let t = 26 - 15. Suppose -h - t = -25. Does 14 divide h?
True
Does 22 divide (-88*(-3)/(-18))/(2/(-24))?
True
Let o(r) = -17*r - 121. Is 53 a factor of o(-20)?
False
Let j(k) = k**2 - k. Let w(g) = -g - 6. Let a(u) = 2*j(u) - w(u). Does 7 divide a(-3)?
False
Let p(c) = 2*c**2 - 3. Suppose 4 = -z - 0*z. Let i be p(z). Suppose -2*r = i - 119. Does 19 divide r?
False
Let n(t) = -4*t**2 + 7*t + 7. Let b(c) = c**2 + 1. Let k(j) = 5*b(j) + n(j). Does 19 divide k(-8)?
False
Let n = 5 + 50. Suppose -2*l - 51 = -p, -2*l = p - 0*l - n. Suppose -p - 32 = -5*f. Is 7 a factor of f?
False
Let w = 361 + -163. Suppose w = 5*a - 137. Does 34 divide a?
False
Let w be 58/6 - (-2)/6. Is (7/((-140)/(-8)))/(2/w) a multiple of 2?
True
Let v(r) be the first derivative of r**4/2 - 4*r**3/3 - r**2/2 - 3. Let l be v(4). Let z = 112 - l. Does 15 divide z?
False
Suppose 0 = -m - 1 - 3. Let u = 8 + 0. Is (m/u)/(1/(-36)) a multiple of 10?
False
Let b be 1359/18 - (-6)/(-4). Let w = -14 + b. Is 16 a factor of w?
False
Let t be (2/(-6))/(3 + 46/(-15)). Suppose -t*z + 186 + 339 = 0. Is z a multiple of 13?
False
Suppose -5291 = 17*f - 33851. Is f a multiple of 21?
True
Is 22250/175 + (-12)/(-14) a multiple of 2?
True
Let q be (1/((-4)/(-24)))/2. Suppose 5*h - q*v = 20, h - v - 4 = -5*v. Suppose j + 4*x = -j + 26, -107 = -h*j + 3*x. Is j a multiple of 10?
False
Let w = 36 + -3. Let k be -4*4/(48/w). Let s = k + 34. Is 11 a factor of s?
False
Let a(v) = -7*v - 34. Let f(r) = -3*r - 17. Let l(z) = -4*a(z) + 9*f(z). Let y be l(14). Is (-3 - (-141)/(-9))*y a multiple of 11?
False
Let c(j) = 6*j + 4. Let o be c(-1). Let i = 98 - o. Is 25 a factor of i?
True
Let h be (-6)/4*10/(-15). Suppose -14 = -o + 5*p + h, 5*o + p - 23 = 0. Suppose 4*w + 104 + 90 = 2*c, 97 = c + o*w. Is c a multiple of 26?
False
Let d(j) be the third derivative of j**5/60 + 5*j**4/24 + 2*j**3/3 + j**2. Is 20 a factor of d(-9)?
True
Let y(f) = -168*f - 60. Does 18 divide y(-16)?
True
Suppose -4*y + 28 = v + v, 5*y + 30 = 4*v. Is (25/v)/(2/124) a multiple of 28?
False
Let l = 774 - -3734. Is l a multiple of 20?
False
Does 65 divide 84/15*(291 - -4)?
False
Suppose 0 = n + n - 432. Suppose 0 = -157*w + 153*w + n. Is 7 a factor of w?
False
Let c = 5766 - 3225. Is c a multiple of 7?
True
Suppose 0 = 3*w, -5*d = -d - w - 8. Suppose -k + 89 = 5*y - d*y, 97 = 3*y + 5*k. Does 3 divide y?
False
Suppose d - 2*q + 4 = 38, 2*q - 126 = -3*d. Does 20 divide d?
True
Does 21 divide (0 + 4 + -6)/((-16)/1848)?
True
Let a(j) = -135*j - 872. Does 17 divide a(-29)?
True
Let c = 835 - 235. Does 25 divide c?
True
Let t(h) = -h**2 + 27*h + 39. Suppose -4*k - 24 + 120 = 0. Does 10 divide t(k)?
False
Suppose -4*t + 18 = 2. Suppose t*w = m - 92, -2*w = m - 4*w - 96. Is 27 a factor of m?
False
Let y = -67 - -47. Let m = 10 + y. Is 1 - m - (-4 - -7) even?
True
Let d = -21 + 25. Is 34 a factor of d + (-392)/(2 + -6)?
True
Let b = -21 - -7. Let k = b - -14. Suppose -6*y + 144 = -k*y. Does 12 divide y?
True
Is (-8010)/2*111/(-185) a multiple of 89?
True
Let y be (-24)/(-108) + 4/(-18). Suppose y = 2*z + z - 156. Is 17 a factor of z?
False
Let m = 686 + 84. Does 22 divide m?
True
Suppose -2*k = 2*c + 70, 0*k - 58 = 2*c - k. Let z = 85 + c. Is z a multiple of 18?
True
Let q(p) = p**3 - 8*p**2 + p - 4. Let y be q(8). Suppose 0 = -a + 3, -y*x + 48 = -3*a + 13. Is x a multiple of 3?
False
Suppose -t + 217 = 4*u, 0*t + u = 4*t - 919. Does 34 divide t?
False
Let a(s) = 19*s**2 - 2*s - 1. Let t = 5 - 4. Let l be (2 + -6 + 3)/t. Does 20 divide a(l)?
True
Suppose 4*z - 163 = -3*f, -z - 4*f = -3*f - 40. Does 2 divide z?
False
Let a(o) = o**2 - 7*o + 655. Is 56 a factor of a(0)?
False
Let o be (-1 - 1) + (-1232 - 2). Let v be ((-7)/(-14))/((-3)/o). Let w = v - 143. Is 24 a factor of w?
False
Does 18 divide 227/5 - (-5)/((-50)/4)?
False
Let v = 185 + -110. Suppose -3*c + 2*s = -v, -4*s = -c - 0*c + 15. Is 9 a factor of c?
True
Suppose -4*d = -3*q - 48, 6*d = d + 3*q + 57. Suppose -g + d = -0*g + 2*w, -32 = -3*g - w. Does 4 divide g?
False
Suppose -2*g - v + 10 = 0, -5*g - v + 24 = v. Let n be (14/3)/((-1)/(-3)). Suppose 0 = -3*o + 5*u + n, -g*o = -o + u - 44. Is o a multiple of 11?
False
Let u(n) = -4*n + 11. Let y be u(-6). Suppose j = 5, 5*w = -4*j - 0*j + y. Suppose w*g - 36 = -3*z, 5*g + z - 23 = 53. Does 16 divide g?
True
Suppose 384 = 35*p - 41*p. Is 22 a factor of 330*(-5 - p/12)?
True
Suppose -4*y + 266 = -3*t, 0*t + y - 359 = 4*t. Is (-944)/(-10) - 6*(-6)/t a multiple of 12?
False
Let v(r) be the third derivative of r**6/60 + 7*r**5/20 - 5*r**4/12 - 3*r**3/2 + 34*r**2. Is v(-9) a multiple of 27?
True
Suppose -5*l + 3951 + 799 = 0. Does 95 divide l?
True
Is 174992/240 - (-4)/(-30) a multiple of 16?
False
Let k = 423 + 114. Is 26 a factor of k?
False
Suppose -4*b + 27 = 7. Suppose -4 = -b*x + 21. Suppose 2*s + 0*z = 4*z + 146, x*s - 3*z - 337 = 0. Is 18 a factor of s?
False
Suppose 97*j = 121*j - 13104. Does 15 divide j?
False
Suppose 0 = 3*b - 5*n + 6, 0*b + 1 = 2*b - 5*n. Let q(g) = -g**3 - 7*g**2 - 5*g - 20. Is 15 a factor of q(b)?
True
Suppose -h - 520 = 3*h. Let x = 218 + h. Is 44 a factor of x?
True
Let h(n) = -683*n - 26. Let u be h(-4). Does 25 divide u/27 - (-9)/(81/(-2))?
True
Let v(z) = -z**3 - 6*z**2 - 7*z + 8. Suppose -2*p + 5*i - 27 = 0, 2*p + 2*i + 9 = i. Is 10 a factor of v(p)?
True
Let x = 45 + -45. Is (12*(x + 2 - 1))/1 a multiple of 7?
False
Let i(m) be the first derivative of -m**3/3 - 7*m**2/2 - m + 3. Let z(v) = -v - 11. Let x be z(-5). Is 5 a factor of i(x)?
True
Is 9 a factor of (99/2)/((-18)/(-36))?
True
Let g(k) = k**3 - 13*k**2 + 50*k - 17. Is 91 a factor of g(15)?
True
Suppose -318 + 2750 = 38*t. Is t a multiple of 22?
False
Let z be 3 - (12/2)/1. Let v be (-9)/4*64/z. Suppose 0 = -4*a + a + v. Does 13 divide a?
False
Suppose -5*z - f = -44 - 48, 2*f = -6. Suppose -u = c + 22, 0 = 2*c - 4*c + 3*u - z. Let v(i) = -3*i - 16. Is 9 a factor of v(c)?
False
Suppose 0 = -5*l - 3*q + 3355, -12*l + q + 2667 = -8*l. Suppose -2*t = -3*t - 5*s + 214, 3*t + 2*s - l = 0. Does 14 divide t?
True
Let f(s) = -s**3 + 2*s**2 + 2*s + 1. Let q be f(-1). Suppose q*k - 36