5. Suppose 0 = -3*o, 4*y = 4*o + b - 64. Does 25 divide y?
False
Let f(g) = -11*g - 2. Let t be f(-5). Is t/5 + (-12)/20 a multiple of 10?
True
Suppose 77 = -4*o + 373. Suppose -q - 25 + 96 = 0. Suppose 5*x - o = q. Is 14 a factor of x?
False
Let g(a) = -a**2 + 14*a - 13. Is 11 a factor of g(9)?
False
Let m be 0/(-3)*(-1)/2. Let c(u) = u**3 + u**2 + 23. Let p be c(0). Let k = p - m. Does 10 divide k?
False
Let p = -195 + 276. Is 25 a factor of p?
False
Let h = -8 - -56. Is h a multiple of 11?
False
Let v be (0/(-2))/((-4)/2). Suppose 52 = w - v*w. Suppose -o + w = 3*o. Is o a multiple of 5?
False
Suppose -3*v + 5*j + 530 = 2*v, -v = 5*j - 94. Suppose -5*m = -m - v. Is 13 a factor of m?
True
Let l(k) = 5*k**2 + 3*k + 4. Let i be l(-3). Let a(h) = -h**3 + 12*h**2 - 2*h - 4. Let u be a(12). Let q = i + u. Is 5 a factor of q?
False
Let v(k) = 10*k**3 + 2*k**2 - k. Let q be v(1). Suppose -10 = -0*z - 2*z. Suppose q + 4 = z*t. Is 3 a factor of t?
True
Let v(h) = -h**3 + h**2 + h - 11. Let c be v(0). Let o = c - -43. Let b = -19 + o. Is b a multiple of 8?
False
Let b = -38 + 63. Does 13 divide b?
False
Let r be (0 + 0 + 2)*-1. Suppose 18 - 2 = 2*j. Let p = r + j. Is 6 a factor of p?
True
Suppose l + 5*l = 168. Does 28 divide l?
True
Let v(i) = -22*i - 2. Let g(o) = -11*o - 1. Let c(y) = 5*g(y) - 2*v(y). Does 18 divide c(-5)?
True
Let y(c) = -c**3 - 5*c**2 - 6*c - 3. Let t be -6 + 1/(-1) - -1. Let x be (-20)/t*(-18)/15. Does 4 divide y(x)?
False
Suppose 2*s - s + 13 = 3*b, 2*b - 5*s = 0. Suppose -7 = 2*u + b*y, -3*u + 2*y + 3*y + 52 = 0. Suppose t = w - u, 1 = t - 0. Is w a multiple of 10?
True
Let x be 0 - -1*(2 + -2). Let p = 1 - x. Let t(v) = 8*v**3 - v**2 + 2*v - 1. Is 8 a factor of t(p)?
True
Suppose 0 = 5*h - 2*h - 504. Suppose -2*q + 90 = -4*w, 4*q + 4*w = 8*w + h. Is q a multiple of 16?
False
Is 43 a factor of 10/(5 + 0) - -59?
False
Let d = -150 + 262. Does 17 divide d?
False
Let a = 11 - -3. Suppose y - 3 = 2*q - 7*q, -5*q - 15 = -5*y. Is 7 a factor of (1*y)/(3/a)?
True
Let s be (-4)/6 + 50/(-15). Let o be 8/3 + s/(-12). Suppose 0 = -o*i + 18. Is 3 a factor of i?
True
Let g(o) = 4*o. Let s(a) = -2*a - 5. Let q be s(-5). Is g(q) a multiple of 20?
True
Let n = -7 + 37. Suppose 0 = -4*v + 5*o + 42, v - n = -2*v + 3*o. Does 5 divide v?
False
Suppose 3*z + 0 = 3, 3*z + 1 = m. Suppose -7*j = -m*j + 60. Let n = 35 + j. Is 5 a factor of n?
True
Suppose 4*f + 4 - 12 = -n, n = -f + 11. Is n a multiple of 3?
True
Let w(p) = 2*p + 21*p**2 - 3*p - 20*p**2. Let v be (-31)/(-6) + (-1)/6. Does 10 divide w(v)?
True
Suppose -16*l + 11 = -15*l. Does 2 divide l?
False
Suppose -2*g - 3*g + v + 256 = 0, -3*g + 5*v = -136. Suppose -2*s + 0*s - 27 = -3*a, -5*a + g = -s. Is 4 a factor of a?
False
Suppose -30*f + 1482 = -24*f. Is 12 a factor of f?
False
Let p be (-1)/((-3)/6) - -2. Let n = p + 5. Does 4 divide n?
False
Let u = -19 - -27. Let h be (u/6 - 2)*3. Is 19 a factor of -1*(-58)/(-4)*h?
False
Let y be 0 - 3 - (-2 + 2). Let l(f) be the third derivative of -f**6/60 - f**5/30 - f**3/3 - 5*f**2. Is 17 a factor of l(y)?
True
Let t(r) = -r**2 + 8*r + 6. Suppose 5*d + 38 = 4*u, 5 = 4*u - 3*d - 29. Is 12 a factor of t(u)?
False
Let i(y) = -y**3 - 7*y**2 - 6*y. Suppose 16 = -5*m - 14. Let w be i(m). Suppose w*t + 6 = t. Is 6 a factor of t?
True
Let u(c) = -2*c**3 - 17*c**2 + 10*c + 19. Let k(s) = s**3 + 9*s**2 - 5*s - 10. Let o(y) = 7*k(y) + 4*u(y). Is 4 a factor of o(-6)?
True
Let z be ((-2)/8)/(2/8). Does 4 divide 5 - z - 1*-2?
True
Suppose -5*j + 4*b = -33 + 3, -j + b + 7 = 0. Suppose -j*t - 8 = -22. Is 7 a factor of t?
True
Suppose -r + 4*r = -18. Let h(k) = -k - 6. Let f be h(r). Suppose i + f = 2. Is i even?
True
Suppose -28 = -d - 4*r, 0 = -4*d + d - r + 117. Is d a multiple of 40?
True
Suppose 22 = x + 3*z, -z = -x - 0*x + 14. Is 13 a factor of x?
False
Suppose 2*y = 2*z - 34, 4*z = -y + 4*y + 63. Suppose z*i - 7*i = 85. Is 17 a factor of i?
True
Let f(g) = 17*g**2 + 12. Is f(-3) a multiple of 22?
False
Let a(p) = p**2 - p. Suppose -4*x + 18 = 6. Suppose -3*t - 29 = -4*i, x*t + t = 2*i - 22. Is 12 a factor of a(t)?
True
Let a(z) = -3*z**3 + 4*z**2 - 3*z + 1. Let t be a(2). Is 1 + 6 - 13/t a multiple of 3?
False
Suppose 0 = -u - 4*u. Suppose 87 = -u*k + 5*k - b, 0 = 5*k - 5*b - 75. Is 9 a factor of k?
True
Let p(u) = 5*u - 13. Let n be p(9). Suppose n + 7 = 3*x. Does 13 divide x?
True
Suppose 10*d - 8 = 9*d. Suppose 5*x + 2*g = 260, x + d = -4*g + 42. Is x a multiple of 22?
False
Let d = 1 - 1. Suppose -3*f + 6 = -y, f + 14 = -5*y - d*f. Is 8 a factor of -3*1/y + 7?
True
Suppose 0 = d - 5*d + 28. Suppose -d*w = -y - 2*w - 9, -2*y - w = 18. Does 5 divide y*(-1)/1 - 0?
False
Let i(g) = g**3 - 12*g**2 + 11*g - 1. Let c be i(11). Let m(p) = -p**2 + p + 7. Let j be m(0). Let o = j + c. Does 6 divide o?
True
Let c be (11 - 2)/((-9)/6). Is (-1 + 76)*(-4)/c a multiple of 25?
True
Suppose 4*y + 2123 - 208 = -5*d, 25 = 5*d. Is 9/6 - y/10 a multiple of 10?
True
Let z = -4 - -7. Suppose -36 = -z*h - h. Is h a multiple of 4?
False
Let v be (5 + (1 - 0))*1. Suppose v*k = 4*k + 24. Is 6 a factor of k?
True
Let h = 6 + -4. Suppose q = 2*q + h. Does 13 divide (-2)/(93/48 + q)?
False
Let n = -5 + 4. Let z be -2 + (-107 - n)/(-2). Is 12 a factor of (z/2)/((-3)/(-4))?
False
Let i(p) = -p**3 + 8*p**2 + p - 11. Suppose 0*q + 16 = 2*q. Let d be i(q). Does 4 divide (d/6)/(-1)*16?
True
Let v = 80 + -72. Is v a multiple of 3?
False
Let h(x) = 5*x**2 - 5*x - 2. Let j be h(-3). Let r = j - 32. Is r a multiple of 8?
False
Suppose 0 = -4*d - 4, -5*d + 159 = 4*i. Is i a multiple of 18?
False
Suppose -2*d + 4*d - 352 = 0. Suppose -d = -12*y + 8*y. Does 11 divide y?
True
Suppose -152 = 2*u - 2*m, 2*u + 70 + 85 = m. Let w = 10 + -20. Does 8 divide w/35 + u/(-7)?
False
Let r be (-5550)/(-70) - (-4)/(-14). Suppose 4*v - h - r = 0, -2*v - v + 5*h + 72 = 0. Does 7 divide v?
False
Suppose -3*m + 3*c + 55 - 7 = 0, 2*m - 35 = -c. Is m a multiple of 6?
False
Suppose 4*v = 4*a - 276, -20 = -a + 2*v + 52. Is 41 a factor of a?
False
Let t be (4 + -1)*(-56)/3. Let x be -1 + t/(-3 + 1). Let m = x + -17. Is 10 a factor of m?
True
Suppose -2*w - v + 4*v + 257 = 0, 2*w + 4*v = 236. Is w a multiple of 13?
False
Let v = -35 - -143. Is 27 a factor of v?
True
Is 5 a factor of (-11 + -2)*(-2)/2?
False
Suppose 0 = 3*h - 13 + 1. Suppose 0 = -h*s - 8 + 32. Is 6 a factor of s?
True
Is 4 a factor of (-8 - 2)*(-54)/30?
False
Suppose -5*d + 0*x + 350 = -2*x, -2*d = -2*x - 146. Is 17 a factor of d?
True
Suppose -24 = 4*c - 8*c. Is 2 a factor of c?
True
Let d = 85 + -43. Is d a multiple of 21?
True
Suppose -2*t + 5*k - 9 = 3, -3*k = -2*t - 4. Suppose 0 = -5*g + h + 166 + 32, t*g - 141 = -5*h. Is 10 a factor of (g/2)/((-7)/(-14))?
False
Is (-6)/(-14) - 13*76/(-14) a multiple of 8?
False
Let l(b) = b**2 + 2*b - 4. Let u be l(-4). Let h(d) = d**2 - 4*d + 2. Let a be h(u). Suppose 2*m - j = 11, -2*m + 4*j - 6*j = -a. Is m even?
True
Let q(u) = 4*u**3 + 2*u**2 - 1. Let x be q(2). Let b = x - 18. Does 12 divide -7*(-1 - 33/b)?
False
Let y(u) = u**3 + 11*u**2 - 6*u + 4. Is 11 a factor of y(-10)?
False
Let x(u) be the second derivative of -6/5*u**5 + 0 + 0*u**3 + 0*u**4 + 0*u**2 - 3*u. Does 16 divide x(-1)?
False
Let r = -10 + 28. Suppose 3*j - 2*t - r = 0, 5*j + 3*t - 3 = 8. Is j even?
True
Suppose -115 = 2*b + 3*b. Is 6/(-9) - b/3 a multiple of 3?
False
Let h(i) = i**3 + 3*i**2 - i - 1. Let x be h(-3). Suppose x*w = w - 5*r + 14, -r - 26 = 5*w. Is 13 a factor of (-6)/(-4)*(-52)/w?
True
Let j(z) = -2*z + 6 - 4*z - z**3 - 3*z**2 - 4 - 4*z**2. Is 2 a factor of j(-6)?
True
Let i(n) = n**2 - 9*n - 9. Let r be i(10). Is (18 - (-2)/(-2))*r a multiple of 13?
False
Let w = -67 - -94. Suppose s = -20 - 16. Is s*3/(w/(-6)) a multiple of 12?
True
Let b(m) be the first derivative of -m**2/2 + 4*m + 1. Let n be b(0). Suppose -5*i + 26 = -n. Does 4 divide i?
False
Suppose -3*c + 2*h = 1, -5 = -3*c + 4*h - 16. Suppose -c*w - 4 = -4*d + 19, -2*w + 23 = 5*d. Is d even?
False
Suppose 2*k - 7 - 27 = 0. Let g = k - 14. Does 2 divide g?
False
Let o(y) = 9*y - 12. Does 8 divide o(4)?
True
Suppose -2*l + 7 = 3. Is 11*(l + -6 - -5) a multiple of 11?
True
Let s be -3*(3 + -2)/(-1). Suppose -24 = -s*n + 5*n. Is 4 a factor of -1 + (-1 - -1 - n)?
False
L