= -2*k - 5*r. Is 9 a factor of k?
False
Let i(s) = -s**2 - 3*s + 12. Let l be i(-5). Does 8 divide ((-16)/(-24))/(l/96)?
True
Suppose -5*h + 65 = 5*t, 0 = 5*t - 3*h - 45 - 44. Suppose 3 + t = d. Does 19 divide d?
True
Does 42 divide (516/(-30))/(4/(-20))?
False
Let d(x) = 0*x**3 - 3 - 2*x + x**3 - 8*x**2 + 2*x**2. Let y be d(3). Let b = y - -52. Does 8 divide b?
True
Let s(f) = 4*f**3 - 2*f**2 - f. Let v be s(-1). Suppose 77 = 4*d + 9. Let o = v + d. Is 6 a factor of o?
True
Let p be 3 + -6 - (1 - 4). Suppose 2*q - 15 = -h, -10 = -3*q - p*h + h. Does 3 divide q?
False
Let n(c) = -c**3 - 7*c**2 - 9*c - 2. Let o be n(-6). Suppose s = -s - o. Let b = 22 + s. Is b a multiple of 6?
False
Suppose -2*u = -u - 2. Suppose 0 = -b + u*b - 3. Suppose -b*g + 102 = 15. Does 16 divide g?
False
Let z be (-33)/(-2)*(-4)/2. Let g = 94 + z. Does 17 divide g?
False
Does 8 divide 2/(-1) + -2 + 30?
False
Let k = -21 - -5. Let y = 38 + k. Is y a multiple of 11?
True
Let m be 342/30*1*5. Suppose -4*g = 17 - m. Suppose -3*j - 2*r + 17 = -0*r, 0 = -2*j - r + g. Does 2 divide j?
False
Let w(h) = -3*h - 18. Is w(-16) a multiple of 15?
True
Let z = -115 - -232. Is 13 a factor of z?
True
Let u(y) = 3*y**3 + 8*y**2 + 12*y. Let l(r) = r**3 + 3*r**2 + 4*r. Let j(w) = -7*l(w) + 2*u(w). Let x be j(-4). Suppose 4*f + 31 - 199 = x. Does 13 divide f?
False
Suppose 0 = -4*q + 16, 2*k = -0*q + q + 404. Suppose 0*l - k = -4*l. Is l a multiple of 21?
False
Let d(h) = h**3 - 8. Let a be d(0). Let q be ((-4)/(-6))/(a/(-12)). Does 16 divide -24*((-4)/3)/q?
True
Suppose k - y = -1, -5*k = -y - 3 - 0. Is k - -1 - (-9)/1 a multiple of 11?
True
Suppose 4*v - 3 - 5 = 0. Suppose 5*y - v*b = -0*b - 253, -225 = 5*y + 5*b. Is 4 a factor of (-14)/y - (-52)/14?
True
Does 30 divide (-870)/(-6)*16/10?
False
Let o be ((-1)/3)/(2/(-198)). Suppose o = 2*s + s. Is 3 a factor of s?
False
Suppose -w - 102 = -5*j + 2*w, -5*j = -5*w - 110. Is 9 a factor of j?
True
Suppose 3*o = 2*g - 38 + 3, 5 = -o. Is g a multiple of 6?
False
Let g(w) = -2*w**3 - 2*w**2 - 2*w + 1. Is 13 a factor of g(-2)?
True
Let a(l) = -20*l**2 - l. Let y = -2 - -3. Let r be a(y). Is 16 a factor of (-4)/14 - 342/r?
True
Let o = 33 - -20. Suppose -5*v + o = 4*p, -4*p - v = -7*p + 16. Does 4 divide p?
False
Suppose -23 = 3*n - 5. Is 6 a factor of (2 + 4)*n/(-4)?
False
Suppose -n = 2*z + 17, z + 2*n = -0*z - 16. Let l be (-32)/3 + 2/z. Is (3 - l) + (1 - 0) a multiple of 6?
False
Is 565/20 - 9/(-12) a multiple of 26?
False
Let d = 408 - 263. Does 17 divide d?
False
Suppose -4*o + 140 - 52 = 0. Let d = 53 - o. Does 8 divide d?
False
Let l be ((-112)/(-12))/(8/36). Let u be (-1)/(-1) - 0 - -1. Suppose j - 28 = -j - u*y, 3*j - y = l. Does 14 divide j?
True
Suppose x + 15 = 6*x. Suppose v - 2*i + 1 = -0*v, x*v + 5*i = 30. Is 5 a factor of v?
True
Let n = -6 + 4. Let h be 21/((n/13)/(-2)). Does 9 divide (-3)/18 - h/(-18)?
False
Suppose 91 = -q - 3*m, 3*m + m = -4*q - 356. Let r = q - -123. Does 9 divide r?
False
Suppose -5*t + 0*t + 64 = -2*p, t - 5 = 3*p. Suppose 0 = 4*o + 4, 40 = -5*k + 3*o - 8*o. Let b = k + t. Does 7 divide b?
True
Suppose 3*d + d = 0. Let l be -11*(-3 - -1 - d). Let z = l - 6. Is z a multiple of 8?
True
Suppose 0 = -5*g + 1 + 39. Does 4 divide g?
True
Let s(b) = 65*b + 1. Let a be s(2). Suppose -5*k = -a - 144. Suppose -1 = -v + 2, -k = -2*x - 5*v. Does 10 divide x?
True
Let n = 547 + -362. Is n a multiple of 37?
True
Let s(o) = 5*o + 2*o**2 - 8*o - 9*o + 12. Is 20 a factor of s(8)?
False
Let j be 0 + (2 - (1 - -1)). Let u = -2 + j. Is 7 a factor of 2/u - (-2 + -11)?
False
Let a = -13 - -5. Is (-390)/a + 12/(-16) a multiple of 16?
True
Suppose 24 = y + 4*s + 6, -3*y + 70 = -4*s. Is y a multiple of 11?
True
Let u = -130 + 239. Suppose -101 = -5*l - 4*t, 5*l - u = 5*t - t. Is l*(2/6 - 0) a multiple of 2?
False
Does 12 divide (-6)/(-21) - (-1000)/28?
True
Let q(o) = -o**3 + 36. Let z = -18 - -18. Is q(z) a multiple of 12?
True
Let z(j) = -2*j - 6. Is z(-5) even?
True
Does 11 divide (-176)/8*(1 + -2)?
True
Let d = -21 + 29. Suppose -60 = 4*z - d*z. Is 15 a factor of z?
True
Let z = 1 + 3. Suppose 2*l - 5*x = 26, -3*l + 9 = -z*x - 16. Let k(q) = q**2 - 3*q + 3. Is k(l) a multiple of 3?
True
Let u = -10 + 12. Suppose 0*d + u*d - 70 = 0. Is d a multiple of 11?
False
Let r(c) = c**3 - 11*c**2 + 12. Is 4 a factor of r(11)?
True
Let t(u) = 32*u**2 + u + 1. Suppose -4*o = -3*o - 2. Let p be t(o). Suppose 5*v - x = p, -x + 5*x - 151 = -5*v. Is 9 a factor of v?
True
Let q(n) = -9*n + 4. Let v be q(-5). Let p(i) = -12*i + 13*i - 1 + v*i. Does 20 divide p(1)?
False
Let w be (1 - 6) + 5/(-5). Let a be (81/w + 2)*-4. Suppose 0 = 5*g - a - 4. Is 5 a factor of g?
True
Suppose -9*y = -4*y + 2*v - 8, 4*v + 4 = 0. Suppose 5*b - 3*h - 2 = -5*h, -b = -2*h + y. Suppose 3*x - 5*u - 88 = b, -5*x + 152 = 3*u - 6*u. Is 8 a factor of x?
False
Let q = -69 + 1. Let k = 128 + q. Does 15 divide k?
True
Suppose -2*u - 3*u + 30 = 0. Let m = -9 - u. Is 4/(-10) - 246/m a multiple of 6?
False
Let g = 24 - 4. Does 3 divide g?
False
Let p(n) = -n - 1. Let d be p(-6). Suppose -15 + d = -5*a. Suppose -r = a*r - 45. Is 13 a factor of r?
False
Suppose -g - 19 = -4*g - m, 5*g + 5*m = 45. Suppose -2*h + 44 = -4*w, -4*h + 5*w + 84 = g. Is 16 a factor of h?
True
Suppose -240 = -8*x + 336. Is x a multiple of 12?
True
Does 12 divide (-225)/4*48/(-18)?
False
Let x be 225 + 2*1/(-2). Suppose 3*z - x = -4*u, -5*z - 256 = 2*u - 6*u. Suppose -l - u = -4*d, -34 = -2*d - 0*d + 2*l. Does 6 divide d?
False
Let q = 9 + -7. Let m(o) = 2*o - 1 - q - 6. Is 3 a factor of m(9)?
True
Let m(q) = -21*q - 3. Let k(d) = -189*d - 28. Let a(p) = 3*k(p) - 28*m(p). Suppose -b + 0*b + 1 = 0. Is 8 a factor of a(b)?
False
Suppose 3 = -4*v - 5*g + 20, 0 = -4*v + 2*g - 18. Let q(u) = u + 2. Let j be q(v). Suppose j = 5*i - 116 - 149. Is i a multiple of 18?
False
Let o(h) = h - h**3 - h**3 - h**2 + 48 + h**3. Is 24 a factor of o(0)?
True
Suppose 144 - 393 = -3*x. Does 9 divide x?
False
Suppose 0 = -4*h - 4*y + 504, -261 = -2*h - 4*y - y. Is h a multiple of 18?
False
Let m be (-2)/3*171/(-6). Suppose 8*j = 7*j + m. Is j a multiple of 19?
True
Suppose 0 = -3*f - 4 - 2. Let g be 38/(-1)*(f - 0). Suppose 0 = -a - a + g. Does 13 divide a?
False
Is 14 a factor of ((-21)/(-6))/(1/4)?
True
Let a(h) = h + 1. Let r(g) = -4 + 4 + 0*g - g. Let p(b) = 2*a(b) + r(b). Is p(8) a multiple of 4?
False
Suppose -5*h - 4 = -24. Let y = -4 + h. Suppose -p + y*p = -31. Does 13 divide p?
False
Is 12 - (-4 + 3 - 1) a multiple of 6?
False
Let v(r) = 31*r**2 - 1. Let d be v(1). Does 4 divide d/(-9)*9/(-3)?
False
Let l = 5 - 1. Let o = 58 + l. Is 31 a factor of o?
True
Suppose 8*j = 10*j - 260. Is j a multiple of 10?
True
Let h = 17 - 13. Suppose -b - 6*r = -h*r - 28, -2*r = -4*b + 102. Does 8 divide b?
False
Let j(k) = -3 - 7 + 1 - 10*k + 3. Is j(-4) a multiple of 17?
True
Let c = -52 + 70. Does 6 divide c?
True
Let a = -1 + 2. Suppose -2*t = -t - a. Is (t + -4 + -1)*-3 a multiple of 8?
False
Suppose 80 = -4*c - 2*y, y + 22 = -3*c + 2*c. Let u = 81 + -47. Let g = c + u. Does 8 divide g?
True
Is 32 a factor of -1 + 2 - (-1 - 146)?
False
Suppose j - 108 = 44. Suppose -2*w - 2*w = -j. Is w a multiple of 16?
False
Let s be 67/3 + (-2)/6. Let i = 24 - 22. Suppose -i*d + s = -26. Does 12 divide d?
True
Is 5 a factor of (60/(-8))/(15/(-40))?
True
Let y be 2*3 - (8 + -5). Suppose -2*r + r + 95 = -3*b, b = y*r - 269. Suppose 4*n - 3*j - 63 = n, 4*n - 5*j = r. Is 8 a factor of n?
True
Let p = 2 + 14. Suppose 2*o - 14 - p = 0. Does 14 divide o?
False
Let w = -10 + 31. Is 8 a factor of w?
False
Suppose 0*f = 2*f - 12. Is 25 a factor of (-2)/f - 154/(-3)?
False
Let r(h) = -h**3 + 13*h**2 + 12*h + 7. Is 44 a factor of r(12)?
False
Suppose 3*v + 4 - 46 = 0. Suppose 13*u + 28 = v*u. Is u a multiple of 13?
False
Let v be 291/(-12) + 9/(-12). Let x = 17 - v. Is x a multiple of 14?
True
Let j be 4 + 1 - (3 - 2). Suppose z + 6 = j*z. Is z even?
True
Let b be 2 + 0/4 + -7. Let f(s) = s**2 - 3*s + 7. Let p(w) = -w**2 + 2*w - 7. Let d(j) = -4*f(j) - 5*p(j). Is 11 a factor of d(b)?
True
Let l be 2/(-12) - (-150)/36. Suppose f = 4 + l. Does 3 divide f?
False
Suppose -5*l = -5*r + 45, l = 4*r + r + 11. Does 20 divide 158/4 + (-7)/l?
True
Suppose -h - 7