-22) + 2/11. Suppose -71 = 3*f + b*o, 6 + 83 = -4*f + 3*o. Let t = f + 37. Does 14 divide t?
True
Suppose -22 = -4*l + 38. Does 3 divide l?
True
Let a = -2 - -3. Let p(k) = k**2 + k. Let g be p(a). Suppose -7*d - 3*j + 129 = -g*d, -d + 4*j + 35 = 0. Is 23 a factor of d?
False
Let i(o) = -42*o**3 - 2*o**2 + 1. Suppose 3*g = -g - 4. Is 14 a factor of i(g)?
False
Let y = -127 - -271. Does 36 divide y?
True
Let k be 9/12 + (-3)/4. Let r be 0/(1 - (0 + k)). Suppose r = -2*q + 6*q - 280. Is q a multiple of 24?
False
Let v be (-22)/(-8) - 3/(-12). Suppose 21 = -v*d - 2*x + 5*x, -4*d - 3*x = 35. Let n(m) = -m**3 - 9*m**2 - 9*m + 4. Is n(d) a multiple of 6?
True
Suppose 4*l - 208 = -5*u + 344, 0 = 2*u + l - 219. Is u a multiple of 12?
True
Let b = -7 + 8. Let s = 1 + b. Suppose s*h + u - 39 = 20, -3*u = -5*h + 131. Is 18 a factor of h?
False
Suppose 4*w = -5*h - 9, -2*h - 15 = h. Suppose 4*d - 15 = z, w*z + 13 = -2*d + 43. Suppose 4*r = p + 143, 2*r - 5 - 50 = -d*p. Is r a multiple of 13?
False
Let z(a) = -a - 6. Let k be z(-5). Let s be (k + 2)/(1/(-5)). Does 5 divide 10 + (-1 - s)/(-2)?
False
Does 13 divide -1*(0 + -2) - -13?
False
Suppose 0 = 4*g - l - 111, -3*g = -2*l + 5*l - 87. Is 11 a factor of g?
False
Suppose 5*j - 122 = 223. Is 14 a factor of j?
False
Let t(j) = 10*j - 7*j**2 + 2*j**3 - 5*j - 3*j**3 - 8. Does 8 divide t(-8)?
True
Let x(f) = f**3 + 11*f**2 - 4*f - 8. Does 12 divide x(-11)?
True
Suppose 3*t + 0*t = 5*d - 19, -4*d = 3*t - 26. Let u(o) = -5*o**2 - 9*o + 0*o**3 - d + 5*o**3 - 4*o**3. Is u(7) a multiple of 10?
True
Does 10 divide 12/(-20) - 203/(-5)?
True
Suppose -2*o + 5*d + 147 = 0, -4*o - 7*d = -5*d - 354. Does 28 divide o?
False
Let v(i) = -i**2 - 2*i + 2. Let o be v(-3). Let h be (2/(-6))/(o/18). Let t = -4 + h. Does 2 divide t?
True
Suppose -36 = -i + 39. Does 13 divide i?
False
Does 9 divide (-428)/(-12) - 1/(-3)?
True
Let t be (0 - 27)*1/(-3). Suppose -t = -3*d - 0*d. Suppose -4*i = z + 4, 8*z - d*z + 4*i = 44. Does 4 divide z?
True
Let a = 10 - 7. Let o be (a/(-2))/((-12)/64). Is 8 a factor of (2 + 0)/(1/o)?
True
Let h = -15 + 13. Let f(k) = 1 + 2 + 5*k**2 + k**3 - 2 + 2*k. Is f(h) a multiple of 7?
False
Let o be 4/(-1*2) + 17. Let s = 9 + 11. Suppose -s - o = -z. Is 16 a factor of z?
False
Let d(b) = -b**3 - 4*b**2 + 2*b - 6. Let g = -16 + 11. Is d(g) a multiple of 9?
True
Suppose -3*p + 162 = 3*f, -4*p + 2*f + 3*f = -216. Does 24 divide ((-32)/(-12))/(4/p)?
False
Let a = -1 - 1. Let j(v) = -v**3 - v**2 + 2*v + 2. Let t be j(a). Suppose t*w = w + 15. Does 5 divide w?
True
Let f(c) = 14*c - 1. Let w be f(2). Suppose -b - w = -2*b. Is 14 a factor of b?
False
Suppose 2*k = 5*v - 655, 6*v - 5*k = v + 670. Is v a multiple of 13?
False
Suppose -5*n - 4*h - 1 + 16 = 0, 3*n = -5*h + 9. Suppose 2 = -u - 5*q, 7 = n*u - 2*q - 4. Suppose 2*v - d - 15 = -4*d, 0 = -u*v + 4*d - 3. Is 2 a factor of v?
False
Let g be 22/6 + 4/(-6). Suppose -g*p - 48 = -4*p. Let j = p + -32. Is 9 a factor of j?
False
Suppose 7 - 1 = 3*f. Let v be 8*(f + 1)/3. Let l = v - 5. Is 3 a factor of l?
True
Let k be (6/(-1))/((-3)/2). Suppose -5*n = -2*y - 17, -2*y = -4*y + 3*n - 19. Let u = k - y. Does 8 divide u?
False
Let a = 1 - -4. Suppose -1200 = -a*w + w. Suppose -8*y + w = -3*y. Is y a multiple of 30?
True
Let i = 17 + -9. Is 8 a factor of i?
True
Let q = 9 - 4. Suppose -56 = y - q*y. Is 7 a factor of y?
True
Let k be (-34)/(-4)*(-26 - -12). Let v = -57 - k. Is 23 a factor of v?
False
Suppose 3*k = 0, 4*k - 342 = -3*n + 7*k. Does 38 divide n?
True
Suppose 4*j = 4*t + 11 + 133, 3*t + 77 = 2*j. Suppose 5*z = -11 + j. Suppose -z*r - 2*a + 46 = 0, -r - r + 4*a = -18. Is r a multiple of 7?
False
Is 11 a factor of 1 - ((-3)/1)/(18/96)?
False
Let u = 4 - 37. Let z = 73 + u. Does 20 divide z?
True
Let a(q) = 2*q - 9. Let u be a(6). Suppose -5*d + 125 = u*l, 3*d - 2*l = l + 51. Does 9 divide d?
False
Suppose 9*l + 5*l - 2016 = 0. Is l a multiple of 18?
True
Suppose -29 = -5*p + s + 8, 4*p + 5*s - 47 = 0. Is p a multiple of 5?
False
Is 13 a factor of 0/(-4) + 32*2?
False
Let a(y) be the first derivative of -y**4/24 + 3*y**3/2 + 3*y**2/2 + 1. Let t(u) be the second derivative of a(u). Is t(5) a multiple of 4?
True
Suppose -5*f - 1 = -6. Let h(w) = 9*w - 1. Let c(o) = o + 1. Let k(u) = 2*c(u) + h(u). Is k(f) a multiple of 12?
True
Suppose -5*n + 5*x + 120 = 0, -n + 4*x = -0*n - 24. Does 8 divide n?
True
Suppose -4*p + 216 = 4*f - 2*p, -3*p - 12 = 0. Does 14 divide f?
True
Let r(o) = -11*o + 8. Let l be r(13). Is (8/6)/((-3)/l) a multiple of 20?
True
Let f be (-1)/(-4) + 2275/20. Suppose 3 = 3*r - f. Does 13 divide r?
True
Suppose -5*w + 0*n = -2*n - 716, -5*w + 718 = -n. Let u = w - 60. Is 15 a factor of u?
False
Suppose r - 4 = -4*c, -5*r + 20 = -2*c - c. Suppose c*a + 82 = 2*a. Is 10 a factor of a?
False
Let j be 3 - (4 + -3)*6. Let q be (-3 + -3 - j) + 28. Suppose 3*i = 2*i + 5*d + q, 58 = 2*i - 2*d. Is i a multiple of 10?
True
Let s(n) = n**3 + 20*n**2 - 3*n + 3. Is 21 a factor of s(-20)?
True
Let r = 5 - 1. Suppose -113 + 26 = -3*j - 2*x, 0 = r*j - 2*x - 130. Let s = 53 - j. Does 11 divide s?
True
Suppose -2 = p - 5. Suppose -5*q = -2*j - 0*q - 125, -5*j - p*q - 297 = 0. Let l = j - -90. Does 13 divide l?
False
Suppose -5*r + 70 = 5*u, -2*u + 4*r + 31 = 7*r. Is 2 a factor of u?
False
Let q = -6 - -9. Suppose -w + 4*h + 41 = q, -5*w + 5*h + 205 = 0. Is 21 a factor of w?
True
Let m(b) = b**2 + b - 6. Let u = 10 + -16. Is m(u) a multiple of 8?
True
Let c = 4 + 77. Is c a multiple of 38?
False
Let h(a) = a**3 - 20*a**2 + 5*a - 28. Is h(20) a multiple of 24?
True
Let x = 7 + -7. Let f be x/((-4)/2*-1). Suppose 67 = -f*b + b. Is 19 a factor of b?
False
Let j(o) = -10*o**2 + 1. Let u be j(1). Let f(w) = -3*w - 1. Does 26 divide f(u)?
True
Is 3*-1 - (-781)/11 a multiple of 17?
True
Let t(l) = -13*l - 9. Let a(z) = z**3 + 5*z**2 - 6. Let n be a(-5). Is t(n) a multiple of 28?
False
Suppose -3*y = -8 - 7. Let p = -9 + 14. Suppose p*c = 25, 0 = 2*f - y*c - 1 + 2. Is f a multiple of 5?
False
Let l = -2 + 11. Suppose l*x = 4*x + 290. Is 6/(-9) - x/(-6) a multiple of 4?
False
Does 2 divide ((-18)/(-12))/((-2)/(-12))?
False
Let w = 1 + 77. Is 13 a factor of w?
True
Let h(k) = -64*k**3 - k**2 + 5*k + 6. Does 8 divide h(-1)?
True
Let q(t) = 3*t**2 + 2*t. Let h(o) = -o**2 - 1. Let w(d) = -4*h(d) - q(d). Let b be w(-6). Is 9 a factor of (-1)/(-2)*b + -3?
False
Suppose 6*l - 7*l + 120 = 0. Is 15 a factor of l?
True
Suppose 3*x + 2*h + 4 = 9, 0 = -4*x + 4*h + 20. Is 2 a factor of x?
False
Suppose 338 + 3622 = 5*a. Does 13 divide (-2)/5 - a/(-30)?
True
Let d(h) = -h**3 - 13*h**2 - 9*h - 17. Is d(-13) a multiple of 21?
False
Suppose -4*y + t + 157 = 0, 2*t = t - 1. Let d be 14 + -2 - (-6)/(-2). Suppose -5*f - d = -y. Is 3 a factor of f?
True
Let g(s) = s**3 + 8*s**2 - 7*s + 6. Let m be g(-9). Let w = m + 8. Is 9 a factor of 2/3*(-54)/w?
True
Suppose -x + 5 + 31 = 0. Does 9 divide x?
True
Let b = -165 + 275. Is b a multiple of 22?
True
Let p = -51 - -10. Let j = 11 - p. Does 13 divide j?
True
Let o = 1943 - 1084. Suppose -o + 179 = -5*x. Suppose -3*y + 2*a + x = y, 3*a = y - 29. Is 12 a factor of y?
False
Let f(r) = 10*r + 4. Is 22 a factor of f(4)?
True
Suppose -3*q + 650 = -5*k, -k + 488 + 192 = 3*q. Is 15 a factor of q?
True
Suppose 0 = -4*m + 2*m + 214. Let f = -55 + m. Is f a multiple of 21?
False
Let b be 2 + 62 + 3 - -1. Suppose -46 = -3*u + b. Is 19 a factor of u?
True
Let h(t) = 7*t**2 + 2*t + 1. Does 8 divide h(2)?
False
Let m(l) = 8*l**2 - 2*l + 1. Let o be -12*((-22)/(-8) - 2). Let c(w) = -w**2 - 8*w + 10. Let a be c(o). Is m(a) a multiple of 2?
False
Let l(q) = -q**2 - 5*q. Let x be l(-5). Suppose -3*f + 0*f + 99 = x. Is f a multiple of 11?
True
Let x(h) = -h**3 - h**2 + 2. Is x(-4) a multiple of 23?
False
Suppose -4*t + 3*z = 8, -z - 4 = -2*z. Is 20 + t + (-3)/3 a multiple of 20?
True
Suppose -d + 3 = -2*l, d + 4*l = -3*d + 24. Suppose -2*g = -d + 1. Suppose -2 - 10 = -g*f. Does 6 divide f?
True
Suppose -3*x - 5*g + 206 = x, -106 = -2*x - 4*g. Is x a multiple of 15?
False
Is 16 a factor of ((-2)/(-6))/((-5)/15) - -27?
False
Let j(p) = -p**2 - 6*p - 5. Let z be j(-4). Suppose 0 = -2*x + z*x - 11. Suppose 0*h = h - x. Is 11 a factor of h?
True
Let l(g) = -4*g + 4. Let s(j