 divide a?
True
Let n = -38 - -55. Is 7 a factor of n?
False
Let k = 87 + -34. Let h = k + -29. Is 8 a factor of h?
True
Let t be (-140)/15 - 1/(-3). Let q(x) = x**3 - 6*x**2 + 7*x - 4. Let s be q(5). Is 16 a factor of (-76)/(-3) - s/t?
False
Let j(r) = -4*r - 18. Does 4 divide j(-8)?
False
Let d(r) = 5*r - 4. Is d(12) a multiple of 14?
True
Let r = 5 - -79. Does 28 divide r?
True
Let k(o) = 6 - 2 - o**2 - 3*o - o**3 + 8*o. Is k(-3) a multiple of 7?
True
Let r be (-4 - 3 - -3) + -2. Is 15 a factor of r*(1 + 2 + -8)?
True
Let g(b) be the first derivative of 4*b**3/3 - b**2/2 - 4*b - 1. Let m(t) = t - 9. Let w be m(6). Is 13 a factor of g(w)?
False
Let m = 69 + -47. Is 11 a factor of m?
True
Suppose v + 16 = 2*s - v, -36 = -5*s + 3*v. Suppose -q = -4*q - 5*p + 9, 2*q - s = 4*p. Does 2 divide q?
False
Suppose 19*b + 500 = 24*b. Does 10 divide b?
True
Let q be (-2 - 54/4)*-2. Suppose -3*i + q = -29. Does 5 divide i?
True
Let a = -14 - -46. Is a a multiple of 5?
False
Let h(s) be the third derivative of s**4/8 + 4*s**3/3 - s**2. Suppose 4*k + 33 = 5*u, -u = 4*k - 5*k - 6. Does 15 divide h(u)?
False
Let v be (-1 - 0) + (3 - 5). Let q be 12/(-2)*v/6. Suppose 5*a - 4*x = 176, x = -q*a - 0*a + 92. Is a a multiple of 16?
True
Let i = 5 - 2. Suppose 0 = -4*t + u - 5, -i*t - 2*u = -6*u + 20. Suppose t*g + 4*g = 32. Is 8 a factor of g?
True
Let x be 0/(2 - 4 - -1). Let o(t) = x*t - 1 + 10*t + 0. Is 9 a factor of o(1)?
True
Let y(c) = 11*c - 6. Is 10 a factor of y(5)?
False
Let u be (-4)/6*(-6)/4. Does 4 divide (4 - (-6 + 3))*u?
False
Let k = -53 + 58. Is 2 a factor of k?
False
Suppose 0 = -4*j - 39 + 151. Does 3 divide j?
False
Does 36 divide (11/22)/(2/240)?
False
Let y(v) = -v**2 - 7*v - 7. Let p be y(-5). Is (-56 + -1)*(-2)/p a multiple of 19?
True
Let f(k) = -2*k - 4. Suppose -5*h = 4*d + 24, 4*h - 5*d = 2*h - 36. Does 7 divide f(h)?
False
Let b = -2 - -4. Is 9 a factor of (49 - 1)/b + 2?
False
Let c = 0 - -9. Let j = -138 + 234. Suppose 0 = 3*u - j - c. Does 12 divide u?
False
Let j = -24 + 68. Is j a multiple of 15?
False
Suppose 4*j = 6*j - 20. Suppose -j = -3*d - 2*p - 1, d - p = 8. Suppose o + 2*l - d*l - 38 = 0, -o + 36 = -l. Is 13 a factor of o?
False
Let p = -5 + 10. Suppose -16 = 3*y - p*y. Is (-2)/8 + 90/y a multiple of 7?
False
Suppose -x = -4*r - 22, 3*x + 0*x = 4*r + 26. Suppose -18 = -x*t + t. Does 9 divide t?
True
Is 2352/108 - (-2)/9 a multiple of 11?
True
Let t = -134 + 152. Is t a multiple of 3?
True
Let g(h) = h - 5. Let b(d) = 4*d - 15. Let i be b(6). Is g(i) a multiple of 4?
True
Let s(n) = -13*n + 1. Let a be s(-3). Is (-1 + 3)*-1 + a a multiple of 20?
False
Let q(j) = -j**2 - 4*j + 4. Let b be q(-4). Suppose -5 = z + b*z. Does 3 divide z/4 - (-100)/16?
True
Suppose 11*h - 12*h = -75. Does 25 divide h?
True
Let i = -6 + 1. Is (i/(-2))/((-3)/(-6)) a multiple of 5?
True
Let s(u) = u**2 - 2*u - 9. Is 15 a factor of s(-9)?
True
Let n be (-912)/(-15) - (-3)/15. Let h = n - 33. Does 14 divide h?
True
Let p(x) = 2*x**2 - 3*x + 3. Let s be p(2). Suppose 5*b = 2*h - 88, -2*h + 0*b - s*b + 88 = 0. Is 11 a factor of h?
True
Let j(z) = z**2 + 6*z + 2. Let s be j(-6). Let o be 10/4 + s/4. Suppose 0 = o*c + 12, -2*p + c - 13 = -3*p. Is p a multiple of 8?
False
Let c(q) = 226*q**2 + 4*q - 5. Is c(1) a multiple of 9?
True
Let o = 55 + -55. Let d(j) = -13*j**3 - 2*j**2 + 2*j + 2. Let x be d(-2). Suppose 5*q - 31 - x = o. Is q a multiple of 11?
False
Is 1 - -3 - 252/(-3) a multiple of 22?
True
Let k be (-2)/(-4) + 42/(-12). Let y(s) = -s**3 - 2*s**2 + s + 3. Does 5 divide y(k)?
False
Let z(v) = v**2 + 7*v - 16. Does 14 divide z(-10)?
True
Let u be 4/6 + 1/3. Let h(n) = 36*n**2 - n. Is 14 a factor of h(u)?
False
Let g(v) = 2*v + 5*v - 9 + 3. Let l(u) = u**3 - 3*u**2 - 3*u + 2. Let r be l(4). Is 18 a factor of g(r)?
True
Suppose 0 = -5*i + 71 + 29. Suppose -i = -2*t - 2. Is 4 a factor of t?
False
Let w(v) = -v**3 - 2*v**2 + 2*v. Let t be w(-5). Let x(u) = u**2 - 17*u + 17. Let p be x(14). Let h = p + t. Is h a multiple of 20?
True
Let g(z) = z**2 + 3*z + 6. Is 15 a factor of g(-7)?
False
Suppose -6*d + 30 = -3*d. Let f(q) = 2*q**3 - 2*q**3 - 8*q**2 - 6*q - q**3 + d. Is 3 a factor of f(-7)?
True
Let b(k) = k**2 - 7*k + 9. Let h = 12 + -5. Is b(h) a multiple of 3?
True
Let n(f) = -f**2 + 3*f + 4. Suppose -t + i = -2*t + 7, -5*t - 2*i + 26 = 0. Let r be n(t). Suppose r*a - 2*a + 84 = 0. Is 14 a factor of a?
True
Suppose 13 = i - 1. Does 14 divide i?
True
Does 13 divide 4*(-4 + 3) - -29?
False
Let k = 11 + -8. Suppose 3*a - 235 - 88 = -4*f, k*f + 4*a = 251. Does 10 divide f?
False
Let i = -2 + 4. Let r(z) = -4*z + 6*z**i + z**3 - 5*z + 0*z + 8. Is 11 a factor of r(-7)?
True
Let c = 5 - 1. Let o be (0 + 1)*(c - -1). Suppose o*n - 27 = -2*z, -2*z + 0*n + 25 = 3*n. Is 11 a factor of z?
True
Suppose 0 = i + 51 - 77. Is i a multiple of 5?
False
Let h be (-2*1)/((-6)/51). Suppose -1 - h = -3*k. Suppose -k = -0*z - 2*z. Is 3 a factor of z?
True
Let n(k) be the first derivative of k**2 - 11*k - 2. Let f be n(8). Let o(a) = -a**3 + 6*a**2 - a - 6. Is 7 a factor of o(f)?
True
Suppose 3*q = 2*q - 4. Let b be 1*2*(-6)/q. Suppose 31 = p - 6*h + 3*h, -35 = -2*p - b*h. Does 10 divide p?
False
Let l(k) = 3 + 18*k - 17*k + 10. Let h be l(-9). Suppose h*p - 23 - 9 = 0. Does 8 divide p?
True
Let v = -25 - -18. Let h(o) be the first derivative of -o**3/3 - 9*o**2/2 - 9*o + 1. Does 4 divide h(v)?
False
Suppose 4*a + 5*o - 60 = 0, 2*a + 1 = o + 17. Suppose c - 14 = v, -v - 3 = -1. Let p = c + a. Does 11 divide p?
True
Let k = -4 - -31. Let m = -16 + k. Suppose m + 41 = 2*o. Does 15 divide o?
False
Is 14 a factor of (-246)/(-9) - 8/(-12)?
True
Let n = -3 - -8. Suppose 3*w + n*r - r - 24 = 0, -w = -r - 1. Let m(b) = 3*b - 2. Is 10 a factor of m(w)?
True
Suppose -3*d = -7*d + 4. Does 14 divide (0 - -1)*(d + 37)?
False
Suppose 4*w = 2*m - 16, 5*m - 4 = -3*w - 3. Suppose -u - 4*u + 80 = 0. Suppose m*s + u = 70. Does 12 divide s?
False
Let p = -24 - -49. Does 5 divide p?
True
Suppose 4*j - 7 = 5*f, -4 = -3*j + 3*f + 2*f. Suppose -5*k - 5*d + 93 + 22 = 0, j*d = -k + 25. Suppose k = -a + 67. Is 23 a factor of a?
False
Let t(i) = 3*i - 1. Suppose -n + d = 0, 5*n + 5*d = 8 + 12. Is 5 a factor of t(n)?
True
Is 5 a factor of (-3 - -1)/(85/87 + -1)?
False
Suppose -3*s - 5*d - 129 = -7*s, -5*d - 5 = 0. Is s a multiple of 9?
False
Let t = 19 + -10. Let r = -5 + t. Is r even?
True
Let o = -3 - -7. Suppose j - d = 1, -7*j + o*j + 2 = -2*d. Suppose 3*g - 38 - 52 = j. Does 15 divide g?
True
Let c = -7 + 12. Suppose 0 = -5*v + 5*a + 220, 3*v = -c*a + a + 146. Is 21 a factor of v?
False
Suppose -3*o + 0*o = -12. Let j be 14/((-2)/o - -1). Suppose -2*w + j + 10 = 0. Is 12 a factor of w?
False
Let a = -11 + 15. Suppose 0 = 2*n - 3*p - 21, 0 = -9*n + a*n - 3*p + 21. Suppose -n*j + 76 = -2*j. Is j a multiple of 14?
False
Let z = 27 + 1. Is 14 a factor of (4/8)/(1/z)?
True
Let v(h) = 8*h + 1. Let s(r) = r**2 + 3*r + 3. Let j be s(-4). Is 19 a factor of v(j)?
True
Suppose 3*r = 75 - 33. Suppose r = -5*g + 64. Suppose g = -2*j + 32. Is 9 a factor of j?
False
Suppose -255 = -2*q - q. Does 20 divide q?
False
Let c be (-2)/3*81/(-18). Suppose -28 = 2*u - 3*u + c*l, u = 2*l + 24. Does 4 divide u?
True
Let t be (-12)/(-1)*(-1)/(-2). Suppose o = t*o. Let w(y) = y + 27. Is w(o) a multiple of 20?
False
Let n(p) = p**2 + 4*p + 7. Let w be n(-5). Suppose -w = -3*b + 45. Suppose y = i + b, -y - 3*y + 83 = 3*i. Is 12 a factor of y?
False
Suppose 3*o - 2*o = 4. Suppose 0 = -5*w + o*w - 12. Let z = 1 - w. Is 13 a factor of z?
True
Let z(u) = 6*u**3 + 2*u**2 + 4*u + 3. Let q(c) = 13*c**3 + 5*c**2 + 9*c + 7. Let w(j) = 2*q(j) - 5*z(j). Is w(-1) a multiple of 5?
True
Let w(j) = j**2 - 8*j - 4. Let o be w(6). Does 8 divide o*(-1 - 0/4)?
True
Suppose -4*i - 83 = 3*l, -19 = 4*i + 4*l + 69. Let n = 42 + i. Is 11 a factor of n?
False
Suppose 0 = -5*w - 1 + 11. Suppose g - w*q = -5*q + 18, 5*q = 2*g + 8. Is g a multiple of 3?
True
Let i be 58/8 - 3/(-4). Suppose -3*r + 12 = 0, -4*m - r + 7 + 5 = 0. Is 3 a factor of 2/(-4)*(m - i)?
True
Let d(f) = 4*f + 2. Let t(i) = -4*i - 1. Let w(o) = -4*d(o) - 3*t(o). Suppose v = -3*p - 5, -3*v + 0*p - 15 = -5*p. Does 15 divide w(v)?
True
Let n be -4 + 8 - 1/1. Suppose -n*s - 5*i = -2