(2). Let v be 345/27 - (-2)/9. Suppose -u*o - 28 = -4*x, v + 23 = 5*x - 3*o. Is x even?
True
Is 18 a factor of (-2 - -4)/(-6) - (-218)/6?
True
Let u(l) = l**2 + l + 14. Let p be (-1)/4 - (-2)/8. Is 5 a factor of u(p)?
False
Suppose 3*n + b = 446, -b - 7 = -9. Does 19 divide n?
False
Suppose 3*z + n + 8 = 35, z - 13 = n. Suppose -x - 5 = -6*x. Does 7 divide ((-5)/z)/(x/(-36))?
False
Let l = -21 - -10. Suppose 0 = -5*f + 7 + 68. Let n = f + l. Is n a multiple of 4?
True
Does 28 divide 2 + -2 - (-123 - 1)?
False
Let k be (-480)/(-14) + (-10)/35. Suppose -k = -l - l. Does 8 divide l?
False
Suppose -n + 3*v + 54 = 0, -2*n + 2*v + 205 = 3*n. Does 13 divide n?
True
Let h(r) = -4 - 3 - 5 - 6*r + 6. Is 18 a factor of h(-4)?
True
Let v(p) = -p**2 + 19*p - 6. Is 33 a factor of v(13)?
False
Suppose -3*l + 65 = 2*j, 4*j + 0*l - 133 = -5*l. Does 10 divide j?
False
Let p be 4/14 + 165/35. Suppose 2*l - p - 41 = 0. Does 9 divide l?
False
Let h be (12/(-15))/(2/(-5)). Suppose -4*f = -j + h, -j + 4*f - f = -2. Suppose j*t + 2 = 3*t + 3*s, 0 = 4*t - 2*s - 50. Is t a multiple of 8?
False
Let p(y) = -5*y + 2. Let a(g) = g. Let b(i) = -10*a(i) + 2*p(i). Let x be b(-3). Let o = x + -32. Is o a multiple of 13?
False
Let d(k) = 6*k**2 + 13*k - 9. Let r(m) = -m**2. Let o(b) = -d(b) - 5*r(b). Does 7 divide o(-12)?
True
Let m(k) = k**3 + 8*k**2 + 6*k + 5. Suppose 0 = -5*q - 0*l - 2*l + 14, 0 = l - 2. Suppose 4*b = q*b - 14. Is m(b) a multiple of 10?
False
Let c(r) = 2*r**2 - 10*r - 3. Let g be c(5). Let f(o) = -2*o**3 - o**2 - o - 1. Is 15 a factor of f(g)?
False
Suppose 2*m - 5*r = -m - 16, 2*m = -5*r + 31. Suppose -5*y + m*j + 2*j = -20, 21 = 5*y - 4*j. Does 5 divide y?
True
Let n(b) = 6*b - 7*b - 34*b**3 - b**2 - 6*b**3 - 1. Is 13 a factor of n(-1)?
True
Does 4 divide 37 + 0 + (4 - 1)?
True
Suppose 5*l - 5 = -a - 2*a, 4*a - 60 = 4*l. Is 10/4*88/a a multiple of 12?
False
Let i = 1 - 1. Suppose 4*o = d + o + 6, 5*o - 25 = i. Does 4 divide (d/(-2))/((-1)/2)?
False
Let s be 3*(1/(-3) - -1). Let n be ((-84)/(-18))/(s/(-15)). Let y = -19 - n. Is y a multiple of 6?
False
Suppose 0 = -3*h + 240 + 111. Suppose z + h = 5*p + 26, 0 = p + 4*z - 35. Does 7 divide p?
False
Suppose -2*y = -h + 3*y - 17, -4*h - 5*y + 32 = 0. Suppose -h*r + 67 = -77. Suppose l = -3*l + r. Does 9 divide l?
False
Suppose -4*v + c = -221, -3*v + 2*c + 118 = -v. Does 5 divide v?
False
Let r(j) = -2*j**2 + j - 1. Let h be r(1). Let w = 1 - 1. Is 5 a factor of 6 - (w + 3 + h)?
True
Let f be 84/98 + (-1)/(-7). Let x(h) be the second derivative of 5*h**4/6 - h. Does 10 divide x(f)?
True
Suppose -5*t + 20 = -t. Suppose t*k - 21 = 49. Is k a multiple of 5?
False
Let p = -2 + 21. Let v = p + -3. Does 5 divide v?
False
Let l = -14 - -23. Suppose 0 = 3*o - l, -3*s + 0*o + o - 21 = 0. Let q = 7 - s. Does 13 divide q?
True
Let i(r) = 18*r - r + 2 - 1. Let h(y) = -y**2 - 7*y - 5. Let q be h(-6). Does 16 divide i(q)?
False
Let b be (-3)/(-9) + (-34)/(-6). Is 7 a factor of 5 + (-9)/b*-2?
False
Suppose 5*r - u - 71 = -5*u, 4*u + 4 = 0. Is 5 a factor of r?
True
Suppose i = w + 1 - 25, 40 = -i + 5*w. Let d = i - -33. Is d a multiple of 11?
False
Let i(l) = l**3 + 8*l**2 + l + 10. Let s be i(-8). Let t be (-1)/s*(-4 + 0). Suppose t*x + 138 = 5*r, -r + 16 = -x - 11. Does 12 divide r?
False
Let h be 0 + (113/(-1))/(-1). Suppose -4*r - h = -1001. Is 10 a factor of 10/(-55) + r/11?
True
Suppose 4*b + n - 257 = 0, -3*b = -0*n - 4*n - 207. Is 13 a factor of b?
True
Let o be 6/(-4) + (-28)/(-8). Suppose o*m + 70 = 4*r, -2*m - 67 = -4*r - 3*m. Does 5 divide r?
False
Let p = 39 - 3. Does 12 divide p?
True
Let p = 184 - 50. Suppose -91 - p = 3*b. Is 7 a factor of 0 - -2 - b/3?
False
Does 5 divide -18*((-15)/(-10) - 6)?
False
Suppose a + 5*x - 35 = 0, -a + 3*x = -0*a + 5. Does 7 divide a?
False
Let b = -84 + 118. Is b + 3 + 5 + -2 a multiple of 20?
True
Suppose 3*s + 202 = 5*b - 0*s, 4*b - 3*s - 164 = 0. Is 5 a factor of b?
False
Let w(x) = x**2 - 4*x - 6. Let b be w(7). Suppose 5*f - b - 60 = 0. Is f a multiple of 9?
False
Is (5 + -29)/6 - -427 a multiple of 41?
False
Let q(y) be the third derivative of y**5/60 + 5*y**4/24 - y**2. Let k be (-3)/((5/(-2))/(-5)). Is 3 a factor of q(k)?
True
Suppose -17 = -4*k + 3. Let z = -1 - k. Is (15/z)/(-5)*46 a multiple of 14?
False
Let z = -1 - 3. Let q = -2 - z. Is -1 - 74/(q + -4) a multiple of 18?
True
Let a(v) = v**2 - 6*v + 2. Let h be a(3). Let f be (-2)/h - (-12)/7. Suppose -f*s + 5*j = 19, 30 = 5*s - 0*s + 3*j. Is 2 a factor of s?
False
Suppose 3*p = -2*l - p + 2, 0 = -5*l - 3*p + 26. Is l a multiple of 2?
False
Let q(k) = -k**2 + 16*k + 10. Is 14 a factor of q(10)?
True
Is 3 a factor of -3*-3*8/12?
True
Let y(a) be the third derivative of -9*a**4/8 + a**3/6 - 11*a**2. Suppose q - 2*u - 3*u = 24, 8 = -3*q - u. Is y(q) a multiple of 14?
True
Suppose -2*f = -3 - 1. Let x(u) = 4*u. Is 8 a factor of x(f)?
True
Let x(v) be the first derivative of 11*v**2/2 - 5*v + 5. Is x(7) a multiple of 24?
True
Suppose u - 47 = 4*z, u - 5*z = -8 + 59. Suppose a + 3*d - u = -2*d, a + 2*d = 40. Does 23 divide a?
True
Let c = -1 + 1. Let t be (-74)/(-3) - (-12)/(-18). Suppose y - 2*y + t = c. Is 18 a factor of y?
False
Let v(c) = -c**2 - 14*c + 1. Does 10 divide v(-8)?
False
Let q = 35 - 23. Is q a multiple of 3?
True
Let i(l) = 5*l**2. Let z be i(1). Suppose 2*y - 9 = -z*v, -4*v = -5*y - 21 - 6. Is 1 - (-1)/(v/72) a multiple of 9?
False
Let t = 49 + -70. Let w = 27 - t. Does 12 divide w?
True
Let d be (62/(-6))/(1/(-3)). Let v = 53 - d. Does 11 divide v?
True
Let k(q) = q**2 - 2*q - 6. Let y(l) = -l**3 + 2*l**2 - 3*l + 1. Let f be y(2). Is 10 a factor of k(f)?
False
Let h(g) = -g**3 + 7*g**2 - 5*g - 4. Let p be h(6). Suppose -97 = -p*y - 33. Does 11 divide y?
False
Let z(v) = v**2 + 4*v + 13. Let t be z(-6). Let a(k) = k**2 - 3*k. Let q be a(3). Suppose r = -q*r + t. Does 8 divide r?
False
Let p(x) = 2*x**3 - 8*x**2 + 10*x + 11. Is 5 a factor of p(5)?
False
Suppose 13 + 19 = 4*o. Let l = o + -7. Does 10 divide ((-3)/(-6))/(l/20)?
True
Let k(t) = -5*t**3 + t**2 + t. Let d be k(-1). Is 15 a factor of (1 - -45)*5/d?
False
Let s be 5/(4/(-48)*-4). Is 62/((-6)/s*-5) a multiple of 15?
False
Suppose 2*r - 17 = -3*k - 0*r, 0 = 3*k + r - 13. Let l(x) = 1 + 0*x + 2*x**2 - k*x + 0*x**2 + 8*x. Is 13 a factor of l(-5)?
True
Let m(t) = t**3 - t**2 + t - 1. Let p be m(-3). Let o = -28 - p. Is o a multiple of 12?
True
Let f be ((-2)/(-4))/((-1)/14). Is 1020/42 + 2/f a multiple of 6?
True
Let a(b) = -b**2 + 7*b + 11. Let o be a(8). Let y = 1 - o. Does 12 divide y/3 - (-190)/6?
False
Suppose 3*h + 5*r - 3*r - 20 = 0, -15 = -2*h - 3*r. Is 20/h*(-390)/(-20) a multiple of 33?
False
Let v(q) = q**2 + 11. Let p be v(0). Let s = p + -8. Suppose 2*d - 51 = s*o, -o + 20 = -5*o. Is 9 a factor of d?
True
Let s(a) = 6*a**2 - 7*a + 14. Does 8 divide s(4)?
False
Let z = -36 + 51. Suppose z = -2*h + 5*h. Suppose h*p = -2*c + 114, -p + 8 = -5*c - 4. Does 11 divide p?
True
Let i(m) = m**2 + 7. Is 28 a factor of i(-5)?
False
Let v(h) = h**2 - h. Let q(a) = a**3 + 15*a**2 - 6*a + 8. Let x(o) = q(o) - 6*v(o). Suppose -3*s - 45 = 2*s. Does 3 divide x(s)?
False
Suppose g - 4*v = -4*g + 8, -5*v = 4*g + 10. Suppose 4*c = -0*i + 2*i - 52, 5*c + 20 = g. Does 6 divide i?
True
Suppose -168 = -13*m + 12*m. Does 19 divide m?
False
Let f(t) = 0*t - 2 - 4 - 3*t. Does 18 divide f(-8)?
True
Suppose 0 = 4*w + 4*l - 424, 0 = -4*w + 4*l + 90 + 366. Let g = w - 56. Is 27 a factor of g?
True
Let d = -150 + 463. Is d a multiple of 21?
False
Let d be 106/22 - (-2)/11. Let v = d + 6. Is 9 a factor of v?
False
Let k = 113 + -211. Let h = -46 - k. Does 13 divide h?
True
Suppose -3*g - b = 62, g - 3*b + 15 - 1 = 0. Let o be ((-16)/g)/(4/10). Is (-71 + 1 + o)/(-2) a multiple of 17?
True
Suppose 7*k - 5*u = 2*k + 5, -25 = 5*k + u. Let h(f) = -f**3 - 3*f**2 + 3*f - 4. Let j be h(k). Suppose -n + j = -7. Is 3 a factor of n?
False
Suppose 0 = -5*d + q + 226, 2*q = -4*d + q + 188. Is 23 a factor of d?
True
Let k = 4 - 3. Let p(o) = 36*o. Let f be p(k). Is 15 a factor of 137/9 + (-8)/f?
True
Suppose -33*x = -36*x + 225. Does 25 divide x?
True
Let m(t) = 12*t - 7. Let w be m(5). Suppose 2*n - 3*c - w = 0, -5*n - 4*c - 25 = -192. Does 16 divide n?
False
Let f = 24 + -15. S