pose -5*o - 5 + 0 = 0, -4*r - o = -31. Suppose 2*a + v = -v + r, -20 = 5*v. Does 12 divide -9*(a/(-6) - 0)?
True
Suppose -232 = -2*a - 72. Is a a multiple of 20?
True
Let l = 5 - 4. Let v be 0 + l + -2 + 61. Suppose g = 5*g - v. Is 15 a factor of g?
True
Let x = 5 + -1. Let y = x + -1. Let p = y - -17. Is p a multiple of 10?
True
Suppose -6*s - 38 = -5*s. Let k = s + 54. Is 7 a factor of k?
False
Let o(r) = 27*r + 2. Suppose -9 = -2*t - 5. Let y be o(t). Suppose -102 = -4*u - 2*z - 20, -4*z - y = -3*u. Does 11 divide u?
False
Suppose 0 = -10*u + 14*u - 120. Let n = -8 + u. Is 11 a factor of n?
True
Let b(z) = -z**2 - 2*z + 99. Does 33 divide b(0)?
True
Suppose p = 2*p - 5*f - 22, 3*f = 15. Is 33 a factor of p?
False
Suppose -5*p - 15 = -a - 10*p, -2*a - 12 = -4*p. Suppose -5*z - 3*l + 8 = 0, 5*l - 1 = -a*z + 4*z. Is 9 a factor of z/(0 - (-1)/11)?
False
Let g(b) = -4*b - 3. Let v be g(-2). Let m = -21 - -31. Let p = m - v. Does 4 divide p?
False
Suppose h = -4*k + 3*h + 202, 2*k = 3*h + 111. Is 16 a factor of k?
True
Let x(n) = n**2 + 10*n + 13. Let b be x(-9). Suppose 4*q = -j + 96, -q + 120 = b*q - j. Is 12 a factor of q?
True
Let o(q) = q**2 - 6*q - 6. Is 10 a factor of o(8)?
True
Let h = -36 - -81. Is 9 a factor of h?
True
Let c = 154 + -82. Suppose 5*b - w + 0*w = -c, 3*b = w - 44. Does 4 divide (-52)/b - (-6)/21?
True
Let u = -61 + 83. Is 11 a factor of u?
True
Let c = 10 + -6. Let z = 7 - c. Suppose -4*v - 5*s - z = -20, 0 = -3*v - 5*s + 9. Does 3 divide v?
False
Let m be 4/(-6) - (-888)/9. Let s(j) = -j**3 - j**2 + 4*j - 1. Let z be s(4). Let c = z + m. Does 12 divide c?
False
Let q be 8/10*(-5)/(-2). Let i be 16 - (2 + -1 + 1). Let w = i - q. Is w a multiple of 4?
True
Suppose -2*q + q = -2*o + 185, 0 = -4*o - 3*q + 345. Suppose -r = -3*r + o. Does 21 divide r?
False
Suppose 5*t + 3 = 4*l, 5*l - 4 = 2*t + 4. Suppose 0 = 2*i + 4*q, 3*i - 22 = 7*q - l*q. Let d(f) = f**3 - 2*f**2 - 4*f - 5. Is 10 a factor of d(i)?
False
Suppose -2697 - 75 = 4*u. Is 10 a factor of u/(-35) + (-2)/(-10)?
True
Suppose -5*f = 3 + 2. Let h(o) = -6*o**3 - o**2 + o + 1. Let u be h(f). Suppose -i + x = -5 + 1, 3*i - 52 = -u*x. Does 9 divide i?
True
Suppose 26 = 2*b + 3*b + 2*k, 2 = -k. Suppose -v = -3*a + 243, 324 = 4*a + 2*v - b*v. Let u = a - 54. Is 23 a factor of u?
False
Suppose 2*i - 7 = 9. Let w = -8 + 26. Let x = w - i. Is 7 a factor of x?
False
Let t(d) = 1. Let p(w) = w + 8. Let a(m) = -p(m) + 6*t(m). Let c(l) = 3*l + 5. Let o(y) = 5*a(y) + 2*c(y). Is o(4) a multiple of 3?
False
Let a(l) = -2 + 0*l**2 + 28*l - l**2 - 9*l. Is 25 a factor of a(10)?
False
Let n = -145 + 458. Does 18 divide n?
False
Let g(w) = w**3 - w**2 + 13. Let i = 4 - 4. Does 6 divide g(i)?
False
Suppose -36 = -q + 2*z - 10, 2*q - 5*z = 57. Is 9 a factor of q?
False
Suppose -4*s + 3 = z - 11, -3*z = -2*s. Suppose -3*o + 228 = s*o. Does 19 divide o?
True
Let a(o) = -3 - 2*o + 6*o + 3*o. Let p be a(3). Suppose 2*f - p = 28. Is f a multiple of 12?
False
Let s(n) be the first derivative of -n**4/4 + n**2/2 + 6*n - 4. Does 11 divide s(-4)?
True
Suppose -g = g - 186. Let v = -7 + g. Let j = -48 + v. Does 19 divide j?
True
Suppose -4*s + 3*b + 1 + 4 = 0, -3*s + 4*b - 5 = 0. Suppose 0 = -m + 2, -2*w + 2*m - 10 = s*m. Let f = w + 30. Is f a multiple of 11?
True
Let h be 75/(-9) - 2/3. Is 3 a factor of (-74)/h - 14/63?
False
Let t(n) = -n**3 - 25*n**2 - 30*n - 5. Is 18 a factor of t(-24)?
False
Suppose -5*o - 384 = -o. Let w = -62 - o. Is 10 a factor of w?
False
Suppose 0 = 5*m - 3*m. Let s = -3 + 7. Suppose m = f - 1 - s. Is f a multiple of 4?
False
Let u(a) = -a**3 - 8*a**2 + 10*a + 11. Let j be u(-9). Suppose 2*k + 74 = j*w, 3*k + 2*k + 59 = 2*w. Does 17 divide w?
False
Suppose -4*q + 14 + 0 = 2*u, -5*q = 2*u - 16. Let g(h) = -h**3 + 2*h**2 + 4*h - 1. Does 2 divide g(u)?
True
Suppose -63*g + 345 = -60*g. Does 16 divide g?
False
Let h(u) = u**2 + u - 3. Let z be h(-3). Suppose -k + 5*k - 612 = -3*t, 5*t = z*k - 488. Suppose -46 = -v + 2*s, -5*v + 4*s + 74 = -k. Is v a multiple of 23?
True
Let x = -2 + -1. Is 5 a factor of 1/((x/(-11))/3)?
False
Is 4 a factor of (-13 - 5)/((-1)/(-2)*-3)?
True
Suppose 2*p - 51 = -2*p - 5*b, 2*p + 4*b - 30 = 0. Suppose 8*l + 6 = p*l. Is 5 a factor of l?
False
Let q(o) = -11*o - 48. Is q(-6) a multiple of 6?
True
Suppose 205 = -h - 2*h - 2*x, -3*x = 2*h + 130. Is 4/16 + h/(-4) a multiple of 9?
True
Suppose g = -0 + 6. Let o = g - -2. Suppose -o = l - 20. Is 12 a factor of l?
True
Let m(v) = v**2 - v + 7. Let u be m(0). Suppose -u*h = -2*h - 60. Is h/(((-63)/12)/(-7)) a multiple of 8?
True
Let m be (2 - 1)/(1/19). Let k be (0 + (-1 - 2))*-1. Suppose 12 = 2*q + k*f, 5*q - m = -2*f + 22. Does 9 divide q?
True
Let z(i) = i**3 - 12*i**2 + 14*i - 10. Is z(11) a multiple of 5?
False
Is 22 a factor of ((-4)/(-10))/(3/165)?
True
Suppose 4*m = -x + 72 + 282, 0 = 4*m - 5*x - 366. Suppose -4*q - 4*s + 60 = 0, q + m = 6*q - 2*s. Is q a multiple of 3?
False
Suppose 2*r = 5*a - r - 33, 3*r = -4*a + 21. Let n(g) = -4*g. Let o be n(a). Does 14 divide (o/(-20))/(3/70)?
True
Let x be (-2 - -3)/(1/(-2)). Let t(v) = -v**3 + v + 2. Let q be t(-2). Let m = x + q. Is 3 a factor of m?
True
Suppose 0*f + 4 = 4*f. Suppose -2*k + 5 - f = 0. Is ((-6)/12)/(k/(-28)) a multiple of 3?
False
Let f(z) = -z**2 + 7*z - 7. Let d be 4/(-3*2/(-12)). Suppose n = -c + d, 5*n = -7*c + 3*c + 35. Does 3 divide f(c)?
True
Let t(o) = o**2 + 6*o + 6. Let p be t(-5). Let u = p - -2. Suppose 14 = -u*n + 170. Does 18 divide n?
False
Let s(o) = -o**3 - 6*o**2 + 2*o - 27. Is 2 a factor of s(-7)?
True
Is 42 a factor of 5*(-8)/(-20) - -166?
True
Suppose -4*j + 205 - 33 = 0. Suppose 2*p - 5*b = -27, 0 = 3*p + p + b + j. Does 4 divide 0/1 - (p - -2)?
False
Suppose 5*a = -5*f + 185, 0*f = 4*a + 2*f - 152. Is 10 a factor of a?
False
Let i(o) be the third derivative of -o**5/60 - 5*o**4/8 - 5*o**3/2 - o**2. Suppose -13 = 3*m + 17. Does 13 divide i(m)?
False
Let d = 84 - -124. Is 57 a factor of d?
False
Let a be 4/(-10) - 36/(-15). Let g(l) = 2 - 4*l - 2*l - l**a - 4*l. Is 9 a factor of g(-8)?
True
Suppose 1 = f - 2*w + 2, -5*w = -2*f - 3. Is 11 a factor of (0 + -2)/f - -33?
False
Suppose 10*m - 5*m = 15. Suppose -n + m*n = 72. Suppose 4*v + 72 = 6*v - 4*w, -v = 4*w - n. Does 18 divide v?
True
Let d = 31 + -26. Let b(h) = -h**3 + h**2. Let k be b(0). Suppose 2*i + d*t - 18 = k, 50 = -i + 5*i + 3*t. Is 4 a factor of i?
False
Let f = 81 + -67. Is 3 a factor of f?
False
Let j(r) = 3*r**2 - 4*r + 2. Let z be j(2). Suppose 0 = -2*h + p + 18, h = -2*p + p + z. Suppose h = m - 35. Is m a multiple of 15?
False
Let w(k) be the third derivative of k**4/12 - 5*k**3/2 + 3*k**2. Let g(q) = q - 8. Let v(s) = 11*g(s) - 6*w(s). Is v(-2) even?
True
Let i be 24/(-108) - (-346)/18. Suppose y + y = -2, 3*o + 2*y - i = 0. Is 2 a factor of o?
False
Let h(a) = 31*a - 15. Let q be h(16). Suppose -5*m - i + q = 0, 0 = 3*m - 3*i + 6*i - 291. Is m a multiple of 32?
True
Suppose 68 = 3*b + b. Suppose -2*h = -35 - b. Is h a multiple of 13?
True
Let q(h) = h**2 + 2*h - 3. Let u be q(-3). Suppose u*y - y + 24 = 0. Is 12 a factor of y?
True
Suppose 0 = -4*f - 8, -f = 4*q - 0 + 2. Suppose q = -4*c + 141 + 11. Is 16 a factor of c?
False
Let t(j) = -7*j + 3. Is 6 a factor of t(-6)?
False
Let z be (-64)/(-6) - 4/6. Let j = z + -7. Suppose j*f - 158 = -23. Is 16 a factor of f?
False
Let q(a) be the first derivative of a**3/3 + a + 1. Let y be q(-1). Suppose -t + y*t = 11. Is 11 a factor of t?
True
Is 11 - (3 + -1 + -1) a multiple of 3?
False
Let l be 4/(-3) + 657/27. Let r(f) = -2*f**2 - 4*f + 1. Let b be r(-4). Let a = b + l. Is a a multiple of 4?
True
Let a be 24/4 - (-2)/(-2). Suppose 5*g = -a*i + 85, 2*g + 3*i = -11 + 42. Is 13 a factor of g?
False
Suppose -2*c = -3*c - 1. Is c*-1*14*1 a multiple of 14?
True
Let m(n) = n**3 - 3*n**2 - 3*n - 4. Let b be m(4). Suppose 4*h + 0*x - 4*x = 212, b = 2*h + 5*x - 85. Is 19 a factor of h?
False
Let v = 8 - 5. Suppose 3*d + 87 = o, v*o + d = 2*o + 87. Is 19 a factor of (o/(-6) + 2)*-4?
False
Let c = -3 + 30. Is 27 a factor of c?
True
Does 39 divide 6/4*(161 - -21)?
True
Suppose -7*w + 729 - 99 = 0. Does 30 divide w?
True
Suppose 0 = -j - v + 33, j - 2*v + 6*v - 27 = 0. Does 14 divide j?
False
Let i(w) = -19*w + 6.