5. Let x be 2/o*(8 + -4). Let k = 11 - x. Does 3 divide k?
True
Let z(q) = 264*q - 44. Is 44 a factor of z(2)?
True
Suppose 6272 = 26*w + 6*w. Does 7 divide w?
True
Let t(v) = -36*v + 24. Let o be t(-5). Is 4 a factor of (-2 + (-28)/(-12))*o?
True
Let k(m) = -m**2 - 22*m - 16. Let p be k(-21). Let b(h) = 2*h**2 - h - 15. Is 5 a factor of b(p)?
True
Let i be (-23 - -11)*2*2/6. Let c(p) = -23*p - 20. Is 37 a factor of c(i)?
False
Suppose -6*m = -3*m - 12. Suppose 3*w + 57 = -3*r - 2*r, m*r - 5*w = -16. Let o = -1 - r. Does 6 divide o?
False
Is (-19 + 22)*784/6 a multiple of 14?
True
Let j = -13 - -13. Suppose -7*f + 1050 = -j*f. Does 15 divide f?
True
Let v(f) = 9*f + 8. Let c(a) = 8*a + 9. Let h(w) = -7*c(w) + 6*v(w). Let r be h(11). Let m = -30 - r. Does 7 divide m?
True
Let l = 47 - 42. Suppose 0*j - 3*j + l*d + 164 = 0, 44 = j + d. Is 8 a factor of j?
True
Suppose -p + 7 = 27. Is 11 a factor of 22/((24/p)/(-3))?
True
Let k(v) = v**3 + 12*v**2 + 11*v + 8. Let m = 42 - 47. Does 32 divide k(m)?
True
Suppose 5*r - 17 = 13. Suppose -r*s + 70 = -4*s. Is 10 a factor of (21 + 0)/(15/s)?
False
Let q = 30 - 27. Let r = -13 + 32. Let o = r + q. Is o a multiple of 11?
True
Suppose 2835 = 2*t + 25*t. Suppose -4*x + 39 + 165 = 0. Let c = t - x. Is c a multiple of 10?
False
Let f = 46 + -39. Suppose -3*c = -f*c + 504. Is c a multiple of 14?
True
Suppose 0 = 4*b + 4*k - 1764, k + 2209 = 5*b + 5*k. Does 13 divide b?
False
Let n be 0/(-3)*1/(-2). Suppose n = 4*d - 5*d + 7. Is 5 a factor of d?
False
Suppose -2*t = -1455 + 321. Let d be (-3)/(-2) - t/18. Let p = d - -52. Does 6 divide p?
False
Is 30 a factor of (((-39)/2)/3)/((-42)/4032)?
False
Let m = -11 + 15. Let k be m - (-7)/(21/(-66)). Let p = k - -113. Is 19 a factor of p?
True
Let v = 0 - -512. Is 32 a factor of v?
True
Suppose -2*c + 1 = -7, -5*f - 176 = -4*c. Let l = 50 + f. Is 3 a factor of l?
True
Suppose -5*j + 2*b = -3*b - 90, 5*j + 5*b - 90 = 0. Is 18 a factor of j?
True
Suppose n = -4*n - 2*g + 50, 4*n = -2*g + 38. Let d = 42 + -264. Does 37 divide (d/8)/((-3)/n)?
True
Suppose 5*v - d = v + 311, 0 = 2*v - 2*d - 160. Is v a multiple of 11?
True
Let z(k) = 2*k**2 + 5*k + 60. Is z(0) a multiple of 5?
True
Let l = 4107 + -2535. Suppose -l + 186 = -21*f. Is f a multiple of 11?
True
Let i be 4/2 - (-101 - 2). Let k = 216 + -212. Suppose f + i = k*f. Is 8 a factor of f?
False
Let a(d) = 55 + 12*d**2 - 11*d**2 + d**3 - 2*d + d. Is a(0) a multiple of 11?
True
Let n(h) = -29*h**3 + 22*h**3 + 23*h**2 - 16 - 10 + 8*h. Let u(c) = c**3 - c**2 - c + 1. Let t(s) = n(s) + 6*u(s). Is 13 a factor of t(17)?
False
Suppose 2*i + 2*i + 8 = -4*s, s = 2. Does 13 divide 30 + i*(-5)/20?
False
Let s = 164 + -12. Does 6 divide s/26 - 2/(-13)?
True
Let c = -96 + 569. Does 11 divide c?
True
Let x(g) = -g - 6. Let u be x(-8). Suppose -i = 5*k + 6, 2*k = -i + k + u. Is 2 a factor of i?
True
Let p(k) = k + 23. Let o be p(-19). Suppose 3*g = -4*v + 174, 4*g = -2*v + o*v - 98. Is v a multiple of 22?
False
Let j(f) = -f + 1. Let u(l) = 10*l - 15. Let g(k) = -k**2 + 5*k - 3. Let x be g(4). Let a(r) = x*u(r) + 6*j(r). Is 2 a factor of a(4)?
False
Suppose -2*g + l + 1424 = 0, 21*g = 26*g + l - 3546. Is g a multiple of 10?
True
Suppose -2*v + 6 = -2. Suppose -s + 8 = s + t, 16 = v*t. Suppose 5*u + 5*b - 190 = 0, -5*b = -s*u - 0*u + 90. Is u a multiple of 20?
True
Suppose 2*h - 2*t - 36 = 0, -2*t + 84 = 5*h - 4*t. Let l(v) = v**3 - 15*v**2 - 14*v - 17. Is l(h) a multiple of 6?
False
Let b(t) be the first derivative of t**4/4 - 4*t**3/3 + 3*t**2 + 11. Let h be b(4). Is (h/36)/(1/69) a multiple of 23?
True
Let p(z) = 6 + z - 2*z**2 + 3*z**2 - 5*z - 4*z. Let u be p(5). Is -2*u/(-6)*-1 even?
False
Let u = -61 + 197. Does 25 divide u?
False
Suppose 7735 = 35*v + 2870. Is 10 a factor of v?
False
Let p = 33 + -10. Let m = 49 - p. Is 13 a factor of m?
True
Let j(m) = 2*m**2 - 5*m + 4. Let r be j(4). Suppose -l = -3*h + 88, -2*l - 4*h - 79 - 57 = 0. Is 2 a factor of (-1)/(-4) - l/r?
False
Let a be 20/8*1*2. Let s(y) = a*y - 4 + 14 + 0*y - 3*y - y**3 + 16*y**2. Is s(16) a multiple of 10?
False
Suppose 5*c + 4*s - 3 = 5, -c + 3*s + 13 = 0. Suppose -t - 5*g = -13, c*g = -t - 0 + 10. Let h(a) = -2*a**3 - 4. Does 4 divide h(t)?
True
Let p = -1514 - -2402. Is 34 a factor of p?
False
Let a(t) = -72*t - 44. Let s(f) = -8*f - 5. Let p(n) = -3*a(n) + 28*s(n). Let q be p(-10). Let j = q - 38. Does 27 divide j?
False
Let w = 1690 - 626. Does 28 divide w?
True
Let f(k) = -k - 11. Let w be f(-15). Suppose 4*r + 3*u - 1193 = 0, r - 2*r - w*u = -295. Does 26 divide r?
False
Let y be 4/4 + 1 + 1. Let o be y + 0/(-2) + 64. Let a = 108 - o. Is a a multiple of 20?
False
Let t = -2167 + 1273. Is ((-2)/3)/(t/891 + 1) a multiple of 26?
False
Suppose -18 = -14*p + 5*p. Let a = p - -43. Is a a multiple of 9?
True
Suppose 0 = -6*z + 9166 + 9242. Is z a multiple of 24?
False
Let v(t) be the first derivative of t**2 - 2*t - 3. Let i(a) = -9*a - 2. Let x be i(-1). Does 6 divide v(x)?
True
Is 5 a factor of (-1)/(-4) - 2649/(-12)?
False
Let j(c) = 25*c + 7. Let y(d) = 2*d - 5. Let b be y(5). Let u be j(b). Suppose 3*l = 6*l - u. Is 22 a factor of l?
True
Let q = -236 + 884. Is 81 a factor of q?
True
Suppose -5*v + 4*u = 0, 5*v = -0*v - u + 25. Suppose -p - 69 = -v*p. Let f = p - 16. Does 3 divide f?
False
Is 26 a factor of (-16)/(144/(-23265)) + -11?
True
Suppose 0*f - 9 = -3*f. Let d(t) = 18*t**2 + 1 - 16*t**2 - t**2 - t. Is 5 a factor of d(f)?
False
Suppose 5*o - 4*o = x - 7, -5*o + 25 = 5*x. Let m be 2/4 + 261/x. Let c = m - 20. Does 6 divide c?
True
Suppose 0 - 8 = 2*y, 5*v + 3*y - 258 = 0. Is 6 a factor of v?
True
Let w(p) = -p**3 + 9*p**2 - 5*p + 1. Suppose 5*o + 3*d - 22 = d, 2*o - 4*d - 28 = 0. Is 7 a factor of w(o)?
False
Let n = 45 - 22. Let x = 71 - n. Is 16 a factor of x?
True
Let m be ((-10)/4)/((-5)/8). Suppose b - w - 189 = 0, 6*b = 8*b + m*w - 360. Is 31 a factor of b?
True
Let r(d) = -70*d - 14. Is 22 a factor of r(-9)?
True
Suppose 5*g - 2*g - 18 = 0. Let m be (g/(-10))/(1/(-15)). Let q = 19 - m. Is q a multiple of 5?
True
Let n(f) = f + 31 + 2*f**2 + 2*f - 45. Is n(-7) a multiple of 10?
False
Let s = -39 + 43. Suppose 77 - 17 = s*m. Is 140/m - 2/(-3) a multiple of 2?
True
Let q = 2684 - 1881. Does 71 divide q?
False
Let f = -107 - -111. Is 14 a factor of 50*f - (28 + -27)?
False
Is -87*(-1)/((-33)/(-682)) a multiple of 29?
True
Let b = -115 - -55. Let x = 108 + b. Is 12 a factor of x?
True
Suppose -3*r = -2*r. Let f = -22 + 72. Suppose 3*o - a - 59 = r, a = -2*o - a + f. Is o a multiple of 7?
True
Suppose j - 8 = 2*j + 4*x, 0 = -3*j + x - 11. Suppose -2*o + 14 = -0*o. Let r = o - j. Is 5 a factor of r?
False
Let a = 46 + -19. Suppose -20 = 2*g - 7*g. Suppose a = g*v - v. Does 5 divide v?
False
Let y be ((-42)/(-8))/((-18)/(-192)). Let j = 127 - y. Is j a multiple of 53?
False
Let n(l) = 4*l**2 - 2*l - 51. Does 60 divide n(-12)?
False
Is 26 a factor of (-11)/(-2)*(-14560)/(-112)?
False
Let z(d) be the second derivative of 7/2*d**2 + 0*d**3 - 13/12*d**4 + 4*d + 1/20*d**5 + 0. Is z(13) a multiple of 5?
False
Suppose 13*l - 7*l + 24 = 0. Does 2 divide (-26)/(6/(-12) - (-2)/l)?
True
Let u(z) be the second derivative of -2*z**5/5 - z**4/12 - z**3/2 - z**2 + 9*z. Does 3 divide u(-1)?
False
Let b(h) = 2*h**3 - 7*h**2 - 4*h + 1. Let w be b(7). Let a = -55 - w. Does 6 divide 3/9 + a/(-21)?
True
Let b be (-12 - -2)*(6 - 12). Suppose -3*a - 3*o = -b, 3*o = 4*o - 3. Is 4 a factor of a?
False
Suppose 73*r - 1904 = 4520. Is r a multiple of 22?
True
Let n(v) = -16*v - 33 + 54 - 25 + 2*v**2. Does 18 divide n(-11)?
True
Suppose 0 = 12*v + 1680 - 19320. Is 14 a factor of v?
True
Let p(j) be the first derivative of 4*j**3/3 + j**2 + 4*j + 1. Let n be (-24)/(-3) + -3 + -2. Is 23 a factor of p(n)?
True
Let q(l) = -l + 6. Let d be q(7). Let f be d - -5*(1 - 0). Suppose -f*m = m - j - 278, 2*m - 125 = 5*j. Is m a multiple of 28?
False
Suppose -3*v = -3*z - 369, 3*z - 575 = -9*v + 4*v. Suppose 2*d + 0*u - 204 = 2*u, d - 5*u - v = 0. Is 16 a factor of d?
False
Is -4 + (9/3 - 4 - -255) a multiple of 25?
True
Let k(i) = -i**2 - 15*i + 40. Let v be k(-17). Is 29 a factor of (2 + v/(-4))*66?
False
Let b be 39/12*66 - 2/4. Suppose -2*f = 2*g - 680, f - 542 = 5*g - b. Is f a multiple