5. Suppose r - 18 = -4*d. Does 3 divide d?
True
Let n be -4 + 9 + -1*1. Suppose 0 = -3*f - n*o + 27, 0*o + 5*o + 2 = -f. Is 4 a factor of f?
False
Suppose 0 = -3*a + 5*a - z + 351, 705 = -4*a + 5*z. Is (16/(-10))/(5/a) a multiple of 23?
False
Suppose 180 = 18*o - 12*o. Does 4 divide o?
False
Let t(c) = 5*c**3 + c**2 - 1. Let q be t(-1). Does 2 divide q/(0 + -1 + 0)?
False
Let d be 3 + (-1 - 0 - -2). Suppose d*y + 64 = -0*y. Let v = -9 - y. Is v a multiple of 7?
True
Let w be (-1)/(3/(-117)*1). Suppose -24 + 69 = -4*i + f, -w = 3*i + f. Is 9 a factor of 12*(-2 - 33/i)?
True
Suppose -4*i - 5*k = 0, 5*k = -3*i - 1 - 4. Suppose -4*c - 3*u + 188 = 0, -5*c - 4*u + 254 = 20. Suppose 0 = -4*x, i*t - c = -3*x + x. Is 4 a factor of t?
False
Let h(f) = -4*f**2 + 3*f + 3. Let l(t) = t**2. Let s(o) = 5*o**2 - o - 1. Let r(w) = -12*l(w) + 3*s(w). Let m(y) = 2*h(y) + 3*r(y). Does 15 divide m(6)?
True
Suppose -9*p + 4*p = 0. Suppose 2*l - 5*l + 15 = p. Suppose 5*g = l, g = u - 3 - 5. Is 4 a factor of u?
False
Let m be 32/(-3)*(-12)/(-8). Let c = 18 + m. Is c a multiple of 2?
True
Let u be (4/1)/(-5 + 6). Suppose 11 = u*h - 5. Is 3 a factor of h?
False
Let b = 154 + -110. Suppose -4*k + v + 0*v + b = 0, 3*v = -3*k + 48. Let a = k - 8. Is 4 a factor of a?
True
Suppose f = 4*r + 8, 5*f = -2*r + 4*r + 58. Does 12 divide f?
True
Suppose 2*s = -0*v + 2*v - 2, s = 5*v - 21. Is 2 a factor of s?
True
Let h(l) be the first derivative of l**3/3 + 3*l**2 + 10*l + 5. Does 8 divide h(-8)?
False
Is 4 a factor of (-1 - (-187)/3) + 7/(-21)?
False
Let h(x) = -x. Let i be 0 - (4/2 - 1). Let r be h(i). Is (9 - -1) + 1 + r a multiple of 6?
True
Let q(u) = -2*u**2 + 2. Let x be q(-4). Let v = 2 - x. Suppose 4*m - v + 10 = -3*h, 4*m + h = 26. Is m a multiple of 3?
False
Let c(o) = 24*o + 1. Let z be c(1). Suppose -4*b + 44 = 2*s, b - 6*b = s - z. Is 20 a factor of s?
True
Let c(g) be the second derivative of g**5/20 - g**4/6 + g**3/6 + 4*g. Let z be c(1). Let j = z - -4. Is j even?
True
Suppose y = -2*o - 2, 5*y = -o - 2*o - 10. Does 12 divide 1 - -22 - 1 - y?
True
Let i be 2/4 + (-161)/(-2). Let z be -1*(2 + 2 + -4). Suppose 4*h - r = i, z*h - 78 = -4*h + 2*r. Is 21 a factor of h?
True
Suppose -2*g - g + 393 = 0. Suppose -g = -2*m + 25. Does 26 divide m?
True
Let r be (-6)/(-24) + 38/8. Let l = r + -5. Suppose v = -l*v + 19. Is v a multiple of 7?
False
Suppose 3*q - 107 = -29. Is q a multiple of 13?
True
Does 34 divide 2/(-2) + 12*155/15?
False
Suppose 2 + 38 = 4*m. Suppose 0 = -5*a + m*a - 210. Is 14 a factor of a?
True
Let b(m) = 2*m**2 - 2. Let q be 3/(-2)*(-3 + 1). Let n = q - 0. Is b(n) a multiple of 16?
True
Let i(p) = 7*p**3 + 15*p**2 - 20*p - 15. Let q(b) = 3*b**3 + 8*b**2 - 10*b - 7. Let j(o) = -4*i(o) + 9*q(o). Is j(11) a multiple of 8?
True
Let b(w) = w**2 - 6*w. Let r be b(3). Let k = r + 5. Let q = 19 - k. Does 8 divide q?
False
Let b be (-12)/3 - (-1 + 1). Let g(j) = 2*j**2 - 3*j + 1. Is g(b) a multiple of 15?
True
Let f = 123 - 71. Does 13 divide f?
True
Let k = -50 + 71. Let n = -12 + k. Is 9 a factor of n?
True
Suppose 5 = 3*c - 4*l, 5*l + 0 + 15 = -5*c. Let v be c*(5 + 3) + 3. Let k = -1 - v. Does 4 divide k?
True
Let i = 34 + -30. Is 3 a factor of i?
False
Let q(y) be the second derivative of 9/2*y**2 - 1/20*y**5 - 5/12*y**4 + y + 0 + 7/6*y**3. Is 2 a factor of q(-6)?
False
Let b(k) = -5*k**3 - 7*k**2 - 8*k + 1. Let a(m) = -14*m**3 - 21*m**2 - 23*m + 4. Let p(h) = -4*a(h) + 11*b(h). Let g = -32 + 26. Does 7 divide p(g)?
True
Let p be (-155)/9 + (-4)/(-18). Let w = -10 - p. Is 110/w - 2/(-7) a multiple of 6?
False
Is 32 a factor of (-8)/(((-15)/20)/3)?
True
Let x = 11 - 21. Let d(b) = b**3 + 9*b**2 - 10*b + 8. Does 6 divide d(x)?
False
Suppose 0 = -2*s + 4, -5*z - 2*s + 9 = -10. Let i be (0*z/(-9))/2. Suppose i*w + 99 = 3*w. Does 11 divide w?
True
Let b(k) = -2*k**2 + k. Let a(u) = -6*u**2 + 4*u + 1. Let m(d) = -4*a(d) + 11*b(d). Let w(o) = -4*o - 3. Let p be w(-2). Is 21 a factor of m(p)?
True
Let h be (4 - 2)/(1 + 0). Suppose -h*f = -6*f + 188. Is f a multiple of 21?
False
Let i(t) = -t**3 - 14*t**2 - 17*t - 28. Is 3 a factor of i(-13)?
True
Suppose 0 = -2*c + 4 + 6. Suppose -7*i + 3*i = -12. Let n = i + c. Does 4 divide n?
True
Does 16 divide 7812/70 + 2/5?
True
Let r = 4 + 0. Suppose -v - 192 = -r*v. Does 17 divide v?
False
Let p(m) = -3*m + 3. Suppose 4*v + 40 = -4*y, 3*v - 1 - 4 = 2*y. Is p(y) a multiple of 6?
True
Let p(g) = 7*g**3 + 2*g - 7. Let f(w) = 8*w**3 - w**2 + 2*w - 8. Let l(j) = 5*f(j) - 6*p(j). Is l(-3) a multiple of 17?
True
Let h = 42 - 2. Does 10 divide h?
True
Let h(j) be the second derivative of -j**3/2 - j**2/2 - j. Does 8 divide h(-3)?
True
Let b(u) = 6*u - 1. Let d be b(1). Suppose -1 = -a - d. Is 6 a factor of a/(-6) + 28/3?
False
Suppose 2*i + 0*i = -22. Let r = i - -18. Does 2 divide r?
False
Suppose 35*p + 195 = 40*p. Does 16 divide p?
False
Let i be 4/6 - (-57)/9. Suppose -5*c - i = -u - c, c + 7 = u. Is 5 a factor of u?
False
Let r(a) = -a**3 - 4*a**2 + 6*a + 8. Let z be r(-6). Let k = z + -62. Let b = 42 + k. Does 12 divide b?
True
Suppose 0 = -2*u - 2*u + 48. Suppose -a + 4*q + 16 = 0, 5*a - q + u = -4*q. Suppose -5*l + 110 = 4*m - a*l, 34 = m - 2*l. Does 15 divide m?
True
Does 5 divide 6/2 + 5*18/15?
False
Let x(u) = -u**3 - 4*u**2 + 6*u - 2. Let s be x(-5). Let a(b) = -6*b**2 + b**2 + 3 + 4 + 6*b**2 + 6*b. Is 14 a factor of a(s)?
True
Suppose 5*z = 3*x + 13, 0 = -2*z - 2*z + 3*x + 11. Does 19 divide 42/((z - 3)*-1)?
False
Suppose 0*j = j + 6. Let g(m) = m**3 + 5*m**2 - 6*m - 4. Let d be g(j). Let z = -1 - d. Is 2 a factor of z?
False
Suppose 4 = -s + 5*s. Suppose -2*a - u + 2 = s, -4*a - 1 = 3*u. Suppose -5*b + 30 = -a*b. Is 10 a factor of b?
True
Let m(c) be the second derivative of 3/2*c**2 - 1/12*c**4 - 2*c**3 - c + 0. Is 12 a factor of m(-9)?
False
Let m(s) = s**2 + 5*s + 12. Let t be m(-9). Suppose n + t = h + 4*h, -4*h - 5*n = -21. Is 6 a factor of h?
False
Let t(u) = -11*u - 2. Is t(-5) a multiple of 12?
False
Let k be (0 - 2)*79/2. Let y = -18 - k. Is y a multiple of 18?
False
Let r(p) = 7*p**3 - 10*p**2 - 3*p + 3. Let o(q) = 3*q**3 - 5*q**2 - q + 2. Let a(z) = -5*o(z) + 2*r(z). Does 7 divide a(4)?
False
Suppose 118 + 24 = 2*z. Is z a multiple of 10?
False
Let l = 156 + -88. Is 17 a factor of l?
True
Let q(w) = w + 3. Let f be q(-4). Let g be f/6 + (-1634)/(-12). Let l = g + -93. Does 13 divide l?
False
Let g(f) = 2*f**3 - 5*f**2 - 8*f + 4. Does 9 divide g(5)?
False
Let f(u) = -2*u + 4. Suppose -5 - 7 = 3*r. Is 5 a factor of f(r)?
False
Does 17 divide 83 - 2/4*-4?
True
Let r be 6*(-2)/(-4) - -2. Suppose -3*z = -4*z, -3*c - r*z + 60 = 0. Is c a multiple of 10?
True
Let g(c) = -4*c**3 - 2*c + 7*c**2 + c - 4 + 7*c + 3*c**3. Is 19 a factor of g(7)?
True
Suppose y - 2*o - 89 = 0, y - 3*y - 5*o = -223. Is 33 a factor of y?
True
Suppose -q + 36 = 4*i, 0 = -3*q - q. Suppose 4*p - i - 15 = 0. Is 3 a factor of p?
True
Suppose -m - 5*i = -1, 0 = -3*m - 2*i + 3 - 0. Let r = 10 - m. Does 9 divide r?
True
Let o(i) = -i**2 - 11*i + 21. Does 3 divide o(-8)?
True
Let a(v) = -3*v - 3. Let o be a(-2). Suppose -2*i = -o*i. Suppose 3*h - 4*h + 22 = i. Is 11 a factor of h?
True
Let b(k) = -k**2 + 23*k - 3. Is 12 a factor of b(18)?
False
Let l(o) = 9*o**3 + 2*o**2 - 1. Let r(t) = t**2 - t + 1. Let m be r(0). Let g be l(m). Let b = g - 7. Is 3 a factor of b?
True
Suppose -2*b + 20 = 3*v, 0 = -3*b - 0*v + 3*v. Suppose d = -c + 7, -b*d + 9*d - c = 5. Is d a multiple of 2?
True
Suppose 0 = -j - 2*j - 30. Let n = j + 7. Let s = 8 + n. Is s a multiple of 5?
True
Let c = -10 + 14. Suppose -c*u + 3*u = -17. Does 17 divide u?
True
Suppose 4*q = i - 10, 6*q = 3*q - 3*i. Is 12 a factor of (2/q)/(7/(-119))?
False
Suppose 4*w - 7 - 1 = 0. Suppose -3*z + 39 = 3*p, 0 = w*z + 3*z + 4*p - 69. Is z a multiple of 5?
False
Suppose -4*j + 57 = -3. Suppose -11 = -2*c + j. Is 5 a factor of c?
False
Let y(s) = -100*s**3 - s**2 - s - 1. Is y(-1) a multiple of 33?
True
Suppose -5*r + x = -r - 167, 5*r + 2*x - 212 = 0. Suppose 3*n + o = 25, -2*n = 2*n - 3*o - r. Suppose 0 = z - n - 7. Is 7 a factor of z?
False
Suppose -c = -6*c. Let s be c - -18 - 2*1. Suppose -s = -0*a - 4*a. Is a a multiple of 4?
True
Suppose -2*t + 4*t - 94 = 0. Is 5 a factor of t?
False
Let v(