 c**2 - 13*c - 27. Is 8 a factor of i(20)?
False
Suppose -3*q - 3*s + 6 = 0, -q + 22 = -3*s - s. Let n be (3 - q - 0)*-1. Suppose 0 = 5*y - n*i - 121, 40 = 4*y + 4*i - 44. Does 5 divide y?
False
Suppose y + 3*i - 302 = 5*i, 3*y - 922 = -2*i. Is 51 a factor of y?
True
Let k be 16*(-1 - 6/(-4)). Suppose -k*z + 30 = -9*z. Is 18 a factor of (-1608)/z + (-4)/(-10)?
True
Suppose -3*n - d + 1871 = 2*n, -d = -n + 373. Does 22 divide n?
True
Let y = 4 - 8. Let s be 6*y/(-24)*-2. Is 1*s + 28/4 even?
False
Let o be (-4 + 4 - -1) + -41. Suppose -2*a + 380 = -7*a - 5*g, 0 = 5*a + g + 388. Let t = o - a. Is t a multiple of 16?
False
Let x = -63 - -61. Is 9/6*x + 20 a multiple of 17?
True
Does 22 divide 1/((-3)/(-462))*(1 - -1)?
True
Let n(i) = -i**2 - 8*i + 32. Does 16 divide n(0)?
True
Let s be (318/(-4))/(2/(-12)). Suppose -2*h + 188 = 3*f, 0*f + 4*f - s = -5*h. Does 28 divide h?
False
Let r(s) = 6*s - 5. Let l be r(6). Let c = -16 + 5. Let m = l - c. Does 12 divide m?
False
Suppose -7*b + 13 + 22 = 0. Suppose b*d = 5*i + 55, 4*d - 44 = 2*i - i. Does 2 divide d?
False
Let q(i) = i**2 + 3*i - 7. Let p be q(-5). Suppose p*h = -h + 8. Suppose c = 19 + h. Is c a multiple of 7?
True
Suppose -5*c + 201 = 3*r, -2*r + c - 3*c + 138 = 0. Let l = -9 + 17. Suppose -2*o = -l - r. Is 13 a factor of o?
False
Let u(z) = -19*z**3 - 2*z**2 + z. Does 9 divide u(-3)?
False
Suppose 0 = -2*w + 1407 + 45. Does 38 divide w?
False
Suppose 5*c - 4*q - 157 = -q, 3*q + 93 = 3*c. Let a be ((-26)/(-8) - 0)*c. Suppose -n = n - a. Does 13 divide n?
True
Suppose 3*q - o - 7 + 3 = 0, 6 = 3*o. Let u be (10 + 1)/(q - 1). Is (u - 1) + (-4 - -3) a multiple of 7?
False
Suppose -4*z + 1364 = -0*v + 4*v, -2*z - 1691 = -5*v. Is 11 a factor of v?
False
Does 14 divide (3 - 0)/(30/5860)?
False
Let h be 223/(-5) + (-583)/(-55) + -10. Suppose -i = -2*i + 4*k - 18, i + k + 23 = 0. Let x = i - h. Does 22 divide x?
True
Let b be (8 + (-3 - -1))/2. Suppose -b*g = 4*l - 560 - 274, 627 = 3*l + 3*g. Is l a multiple of 23?
True
Let t be (-6)/4 + 77/14. Suppose t*n - 6 - 10 = 0. Let q(r) = 9*r + 1. Does 28 divide q(n)?
False
Suppose -7*u + 4196 = 5*l - 6*u, -824 = -l - 4*u. Is 6 a factor of l?
True
Let d(p) = 5*p**2 - p - 9. Suppose -4*l + 5*l = -4. Does 25 divide d(l)?
True
Let r(l) = -l**3 + 4*l**2 - l + 4. Let u be r(4). Suppose -15*x + 39 = -12*x. Is x - u - (-3 + 4) a multiple of 4?
True
Let j = 55 - 55. Suppose -5*x + 5*g + 215 = j, 0 = -5*g + 17 + 8. Is 12 a factor of x?
True
Suppose 0 = 12*a - 6*a - 1740. Does 10 divide a?
True
Let g(s) = s**3 + s + 5. Let y be g(0). Suppose -k - 9 = y*a, 5 = 3*k + 4*a - 1. Let m(f) = -f**2 + 7*f - 1. Is m(k) even?
False
Suppose 2*v = -3*d + 2*d + 6, d + 4*v - 8 = 0. Suppose 5*n + 2 - 21 = -2*l, 5*l = -d*n + 5. Does 3 divide n?
False
Let i = -551 + 742. Is 11 a factor of i?
False
Suppose 10 - 7 = u. Suppose -3*y - w + 338 = 0, 7*y - 2*y - 554 = u*w. Is y a multiple of 28?
True
Let y(l) = l**2 + 15*l + 21. Suppose -p + 5 = -2*n, -5*n = 6 - 1. Let q be (14/p)/((-1)/3). Does 3 divide y(q)?
False
Suppose -14*h = -9*h - 25. Is 4 a factor of (2 - 1 - h) + (5 - -20)?
False
Let p(j) be the second derivative of j**4/12 - j**3/6 + 9*j. Let t be p(0). Suppose t*l - 4*f = -l + 60, 0 = -4*l + 5*f + 207. Is l a multiple of 14?
False
Let o(f) = -f + 5. Let w be o(0). Suppose 0 = -w*t - 4*p + 2 + 1, 5*t = 2*p + 21. Suppose -4*x = t*u - 8, -2*x = u - 5*x - 7. Is u even?
True
Let s = 10 + -9. Is s/(-6) - 217/(-6) a multiple of 13?
False
Suppose 32*y - 6860 = 18*y. Is 35 a factor of y?
True
Let s be (-4)/16 - (17/(-4) + 1). Is (3 + 3)/s*164/8 a multiple of 4?
False
Let r(g) = 5*g. Let q be r(3). Let f be (-4 - (-78)/9)*q. Suppose 5*c - 38 = -4*w + f, -5*c + 12 = w. Is 16 a factor of w?
True
Suppose 4*t - 10 = -3*y, 0*y = t + 4*y - 9. Let p(s) = -21*s - 42. Let c(h) = 1. Let a(f) = -42*c(f) - p(f). Is 14 a factor of a(t)?
False
Let r = 3 - -2. Suppose -2*i - r = -25. Suppose -13 = -4*q - 3*t, 4*q - i = -2*t + 4. Does 2 divide q?
True
Suppose 6*x = 450 + 1992. Let s = x - 182. Does 23 divide s?
False
Let l = 2 - -2. Let m(y) be the first derivative of -y**4/4 + 5*y**3/3 - 3*y**2/2 + 2*y - 18. Is 2 a factor of m(l)?
True
Let l be (-1 + -11)*40/(-15). Suppose -k - q + 1 = 0, 0*q - 4*q = -2*k + l. Suppose z - 3*n - 29 = 2*n, 2*n + k = 0. Is z a multiple of 8?
False
Suppose 389 = 5*n - 311. Does 10 divide n?
True
Let w = -4 + 6. Suppose 0*c - 4 = -w*c. Suppose -3 - 113 = -c*s. Is 23 a factor of s?
False
Suppose 0*j = -j + 1. Let m be 18*j + 1 + -4. Let b = m + 51. Is b a multiple of 17?
False
Let k(q) = 3*q**3 + 27*q**2 + 18*q + 12. Let r(s) = -s**3 - 9*s**2 - 6*s - 4. Let m(b) = 4*k(b) + 11*r(b). Let d be 1/3 - (-88)/(-12). Is m(d) a multiple of 15?
True
Let l(b) = -5*b + 3. Let p be l(1). Is 18 a factor of ((-7)/((-28)/9))/(p/(-16))?
True
Let i = -351 + 363. Is i a multiple of 2?
True
Let k(g) = 2*g + 2. Let z be k(0). Suppose -z*i + 21 = 5*h - 3, -4*i - 12 = 0. Is 4 a factor of h?
False
Suppose -3*x + 413 = w, -3*w - 2*x = -1296 + 36. Let k = -275 + w. Is k a multiple of 46?
False
Suppose 2*v = m + 7, -11 = 5*m + 4. Let y be ((-51)/(-9))/(v/(-72)). Let x = 286 + y. Is x a multiple of 18?
False
Let n be -4*4/4*-1. Is (-5)/(10/(-96)) - n a multiple of 14?
False
Let m(f) = -f**2 + 7*f + 2. Let i be m(7). Is 5 a factor of (-17 + 57)*i/4?
True
Let y be (-14)/42*7*-3. Let r be (-26 + y)*(1 - 11). Suppose -5*p + 4*h = -160, 5*p - h + 3*h = r. Is 25 a factor of p?
False
Suppose l = -2, 4*u + l - 706 = -0*l. Let k = u - -20. Does 8 divide k?
False
Let q(k) = 7*k**2 - 2*k - 3. Let g be q(-2). Suppose -g = 2*x + 83. Is x*(1 + 6/(-4)) a multiple of 14?
True
Let m = 569 + -335. Is 7 a factor of m?
False
Let h(v) be the third derivative of -11*v**4/24 + v**3/3 + 74*v**2. Suppose 0 = -5*d - 1 - 9. Does 12 divide h(d)?
True
Suppose -1633 = -j + 1961. Does 26 divide j?
False
Let o(j) = j**2 - 4*j - 13. Let n be o(-5). Suppose -n = -5*v + 173. Does 16 divide v?
False
Suppose -7*g = 32*g - 111618. Does 106 divide g?
True
Let f = -121 - 72. Let z = -116 - f. Does 20 divide z?
False
Does 82 divide (9 + 5 + -11)*1886/3?
True
Suppose -951 = -13*b - 197. Does 3 divide b?
False
Let g = 891 - 714. Does 11 divide g?
False
Suppose -5*u - 4*q + 11 = 0, -u - 3*u + 14 = -2*q. Suppose 0*y = -y + r + 20, u*y = 5*r + 62. Is 5 a factor of y?
False
Let j be 45/(-2)*(-416)/12. Suppose 4*s - j = -0*s. Suppose 29 + s = 4*i. Is i a multiple of 22?
False
Let a be (-4)/6 - (-51)/9. Suppose 0 = -0*k + a*k - 120. Is 6 a factor of k?
True
Let q be 3 + (-334)/(2 - 3)*1. Suppose -b - 266 = -4*y + b, 5*y + 2*b - q = 0. Is y a multiple of 8?
False
Let x(o) = o**3 + 4*o**2 + 4. Suppose -10 = b - 6. Let a be x(b). Suppose -134 = -2*q - 0*q + a*s, 0 = -4*q + 5*s + 256. Does 18 divide q?
False
Let q(f) = 88*f - 24. Does 4 divide q(11)?
True
Let o be (104/3)/((-3)/(-9)) + 1. Suppose o = 30*s - 29*s. Does 15 divide s?
True
Suppose 5*u + 3*x - 16 = 7*u, -3*u - 4*x + 10 = 0. Let c = u + 5. Suppose 0 = -c*n + 2*n + 25. Is n a multiple of 11?
False
Let n = -34 - -38. Suppose -n*w = -f + 39, 0 = 2*f - w - 6 - 65. Is 8 a factor of f?
False
Suppose 2600 = -6*d + 10*d. Suppose c + c = -5*n + 835, d = 4*n - 2*c. Suppose n = -5*i + 570. Does 24 divide i?
False
Let r(f) = -f**2 + 21*f - 20. Is 26 a factor of r(14)?
True
Let b(f) = 46*f - 1. Let t be b(1). Suppose -3*d + t = -18. Does 7 divide d?
True
Suppose 9652 = 3*d + 343. Is d a multiple of 77?
False
Suppose 204 = 23*t - 19*t. Let i = t - -39. Is i a multiple of 10?
True
Suppose -5*h + 8 = 8. Is 2 a factor of (16/10)/(4/60 + h)?
True
Let c(f) = 14*f - 82. Let q be c(6). Is 3 a factor of (q + (-2)/6)*3 - -2?
False
Let j = -14 - -11. Is 3685/22 + j/(-6) a multiple of 14?
True
Let g(q) be the third derivative of -q**4/2 - 19*q**3/6 - q**2. Suppose -d - m - 8 = 0, -4*d - 6 - 24 = 3*m. Does 10 divide g(d)?
False
Suppose -z = 3*z - 76. Let q(o) = -o**2 + 24*o - 8. Does 16 divide q(z)?
False
Let l(r) = r**2 - 3*r + 1. Suppose 0 = 3*g + 2*g + 10. Let c be 2 + 0 - -2 - g. Is 19 a factor of l(c)?
True
Does 8 divide (-27545)/(-11) - 160/1760?
True
Suppose -2*s = -3*s + 89. Let v = s - 53. Suppose 113 - v = d. Is d a multiple of 26?
False
Let r be (36/27)/((-2)/(-6)). Suppose g - 50 = h, -3*g + r*g = 5*h + 