*a. Suppose z = a + 2. Suppose -z*f + 22 = 3*o - 8, 0 = 4*o - f - 25. Does 5 divide o?
False
Let o(t) = -t**3 + 10*t**2 + 12*t + 20. Let v be o(10). Suppose -2*g + v = -g. Does 28 divide g?
True
Suppose -366 + 47 = -h + 2*f, -4*h - 2*f = -1316. Is h a multiple of 24?
False
Suppose -u = -1104 - 506. Does 10 divide u?
True
Suppose 20 = -2*t - 5*o + o, 0 = 5*t + o + 5. Suppose -12 = -5*c - 4*b, b - 3 = -c + 4*c. Suppose t*l - l + 16 = c. Is 4 a factor of l?
True
Suppose 0*r + 2*r = 2*s + 16, s + r = 0. Let w = 7 + s. Is 5 a factor of (w - -23)*(-5)/(-10)?
False
Does 80 divide (-120)/(876/(-168) - 15/(-3))?
True
Let q(z) = z + 8. Let c be q(-3). Let m = 1 - -1. Suppose 2*w - c*k - 116 = 0, w + m*k = -w + 88. Is 16 a factor of w?
True
Let d be (-2)/4 - 51/(-6). Suppose -6*h - 542 = -d*h. Does 31 divide h?
False
Let r = -423 - -608. Suppose -4*i - 4*v = -236, -3*i - v + 6*v + r = 0. Is 12 a factor of i?
True
Let p = 359 - 159. Suppose -k = -6*k + p. Is k a multiple of 8?
True
Suppose 3*b - 7 = -1. Suppose b*x = 3*r + 107, -2*r = -4*x - 0*r + 202. Does 14 divide 2/(-7) + 700/x?
True
Let g = 19 - 34. Let z be 616/105 - 2/g. Suppose 11*o - z*o - 170 = 0. Does 8 divide o?
False
Let q(g) = -5*g + 9. Let d be q(2). Is (-1)/(3*d/195) a multiple of 24?
False
Let f(g) = -5*g + 0*g**3 - g**3 - 19 - 7*g**2 + 2*g**3. Let z = -996 - -1004. Is 2 a factor of f(z)?
False
Is (-1)/(-3 + 0 - (-2660)/889) a multiple of 52?
False
Let j = -58 + 493. Does 5 divide j?
True
Let f be (1/3)/((-3)/45). Let m = f - -23. Does 6 divide m?
True
Suppose 9*j - 8*j - 224 = 0. Is (2/(-4))/((-4)/j) a multiple of 10?
False
Let p(k) = -k**3 + 4*k**2 + 4*k + 7. Let q be p(5). Let z(h) = 2*h**2 - 2*h - 1. Let w be z(q). Is (87 - 0)*(w + -2) a multiple of 23?
False
Let y(p) be the third derivative of p**6/40 - 11*p**5/60 + 7*p**4/24 - 5*p**3/6 + 3*p**2 + 6. Let u = 10 + -6. Does 13 divide y(u)?
True
Suppose -14*o - 8*o = -396. Is o a multiple of 16?
False
Is 135 a factor of (-848)/6*(-17550)/468?
False
Suppose 10*x - 2530 = 2170. Is x a multiple of 5?
True
Suppose -4*k = -k + 4*c - 635, -k = -5*c - 180. Does 9 divide k?
False
Let d(o) = o**2 + 9*o + 7. Let f be 2/(-10) - 864/80. Does 12 divide d(f)?
False
Let h be (-4)/(2 - 124/64). Let b = -29 - h. Suppose b = -5*o + 120. Is o a multiple of 17?
True
Let d(y) = y**2 - 12*y + 15. Let a be d(11). Suppose 0 = -3*f - 6, -h - 76 = -4*h - a*f. Does 7 divide h?
True
Let p(c) be the second derivative of -c**5/20 + 5*c**4/6 - c**3/2 + 4*c**2 + c. Is p(4) a multiple of 23?
True
Let t(y) = -486*y - 96. Is t(-4) a multiple of 66?
True
Let g(a) = -a**3 + 17*a**2 - 13*a + 18. Let u = 23 - 7. Does 22 divide g(u)?
True
Suppose 0*a = -7*a - 301. Let u = a + 170. Is u a multiple of 6?
False
Let b = 568 - 100. Does 9 divide b?
True
Let u be 1*-1*(-22)/2. Let l(i) = -14*i - 22. Let j(z) = z - 1. Let c(o) = -4*j(o) - l(o). Is 29 a factor of c(u)?
False
Suppose -3*y = -w - 79, -16*w + 4 = -20*w. Let a be (2 - 1)/(-1)*-5. Suppose 6*s = a*s + y. Does 13 divide s?
True
Let y = -20 - -56. Let j = 13 - y. Let b = -4 - j. Is b a multiple of 8?
False
Let x(w) = -w + 4. Let s be x(4). Let f be (-5 + 34)/(s + 1). Let j = f - 9. Does 10 divide j?
True
Suppose -i + 3 = c, 3*i - 2*c - 3*c - 1 = 0. Suppose i*b - 47 = -1. Is b a multiple of 22?
False
Let l(r) = 22*r - 14. Let c be l(2). Suppose 33*d = c*d + 528. Is d a multiple of 11?
True
Is 252 - ((-2)/7)/((-4)/14) a multiple of 9?
False
Let w be (1 + 5)/(2/5). Suppose -9 = -12*g + 13*g. Is 13 a factor of (g/w)/(2/(-90))?
False
Let c(h) = -2*h**3 - 7*h**2 - 7*h + 44. Is c(-11) a multiple of 44?
True
Suppose 0 = 5*y - o + 100, 20 = 2*y - 3*y + 3*o. Let w = y - -23. Suppose -66 = -w*p + p. Is p a multiple of 11?
True
Let j(i) = 2*i**2. Let s be j(1). Let h(q) = 3*q - 4. Let p be h(s). Suppose -p*k = -u + 53, 4*k = -0 - 4. Is 14 a factor of u?
False
Suppose -5*j - 71 = -v - 3*j, 216 = 3*v - 5*j. Let k = v - -98. Is 24 a factor of k?
False
Let y be 4*(-5)/(-2) + 0. Let l = y - 9. Does 19 divide (3 + -2)*(l - -31)?
False
Let c = 671 - 652. Is c a multiple of 5?
False
Suppose 0 = k - 27*h + 32*h - 631, 3*k - 1915 = -4*h. Is 9 a factor of k?
False
Suppose -3*o + 4819 = p, -2*o + 3209 = -12*p + 9*p. Does 73 divide o?
True
Let i(k) = k + 5. Let s = 31 + -22. Does 6 divide i(s)?
False
Let y be (-2)/(8/5 + -2). Suppose y*r + 5*j = -7 + 47, j = 4*r - 17. Suppose n - 4*w = 108, r*w + 201 = n + n. Does 11 divide n?
True
Suppose -2*u + d + 540 = 0, 3*d + d = u - 270. Does 15 divide u?
True
Is 37 a factor of 0 - 0 - (3 - 369)?
False
Let m = -113 - -105. Let c(p) = -29*p - 51. Does 8 divide c(m)?
False
Let l(o) = o**3 - o**2 - 2*o + 4. Let z be l(2). Suppose -2 - 144 = -4*p + 2*f, 0 = -z*p - f + 143. Does 36 divide p?
True
Let p(q) = -q**3 - 9*q**2 + 4*q + 8. Let m be p(-11). Let a = 326 - m. Is a a multiple of 10?
True
Let v(l) = -l - 2. Let j be v(5). Let i(z) = -7*z**2 - 20*z - 17. Let u(o) = -3*o**2 - 10*o - 8. Let n(q) = -2*i(q) + 5*u(q). Does 5 divide n(j)?
True
Suppose -3*d = 4*u - 1703, 793*u - 789*u = -4. Does 53 divide d?
False
Suppose 0 = 3*c - 3 + 6. Let s be 21/(-7) + (0 - c). Is 21 a factor of 25 + (-6 - s) + 0?
True
Let j(k) be the third derivative of -2*k**2 + 1/3*k**3 + 0*k - 1/24*k**4 + 0. Is j(-8) a multiple of 10?
True
Is ((-48)/1)/(-1 + (-6)/(-18)) a multiple of 9?
True
Suppose -2*t + 4 = 2*t + 4*f, -2*f = -4*t + 4. Let x be 8*t*(-2 - -3). Suppose x = 2*p - 16. Is 3 a factor of p?
True
Suppose -3*b + 80 = 5*i, -4*i + 5*b = b - 64. Is 32 a factor of -159*(i/12 - -1 - 3)?
False
Suppose g + 4 = -8. Let z(d) = -d**3 - 14*d**2 - 26*d + 6. Is 9 a factor of z(g)?
False
Suppose -37 = 7*n + 75. Let a = 124 + n. Is a a multiple of 12?
True
Let i = -2642 - -5250. Is i a multiple of 11?
False
Is 2 + ((-36)/12 - -571) a multiple of 14?
False
Suppose -3*v + 4*g + 464 = 0, -v + 3*g + 162 = 9. Does 39 divide v?
True
Let y(x) = x + 13. Let c be y(-7). Is c*(3/9 - -1) a multiple of 6?
False
Let m = 14 + -23. Let k(o) = -o + 4. Let q be k(m). Suppose j - 5 = q. Is j a multiple of 18?
True
Let d(b) = b - 14. Let f be d(7). Let w(c) = c**3 - c. Let s(a) = -3*a**3 + 8*a**2 + 5*a - 6. Let h(z) = s(z) + 4*w(z). Is h(f) a multiple of 9?
True
Suppose -2*t = -6*v + 2*v + 490, 3*v + t = 380. Let o = v + -59. Does 22 divide o?
True
Let a(d) = d**3 - 7*d**2 + 8*d - 8. Let p be a(6). Suppose 5*g = 4*f + 58, -p*g + 88 = 2*f + 26. Is 9 a factor of g/(-14) - 10*-1?
True
Suppose 4*o = 20, -281 = -4*h + 2*o + 385. Let i = -118 + h. Does 12 divide i?
False
Suppose 4*r + 52 = 5*v + 3*r, -3*v + 3*r + 24 = 0. Let d(p) be the third derivative of -p**4/24 + 11*p**3/3 + 4*p**2. Is 3 a factor of d(v)?
False
Let z(o) = 2*o - 3*o + 5 + 3 - 3. Is z(-7) a multiple of 5?
False
Let x(h) = 2*h**2 - 18*h + 10. Let t be x(10). Suppose t*q - 26*q = -8. Does 19 divide (q/4)/((-1)/82)?
False
Let z = 290 - 139. Does 6 divide z?
False
Let z = -14 - -8. Let g be (-4)/6*(-166 + -2 - 0). Does 5 divide (-2)/z - g/(-6)?
False
Let z = 842 - 840. Let w(s) = -s**2 - 8*s - 3. Let l be w(-3). Does 13 divide (0 + z)*(-5 + l)?
False
Let g(f) = -72*f**3 + 6. Let d be g(2). Is 4 a factor of (d/(-75))/((-2)/(-20))?
True
Let k = 619 + -25. Does 27 divide k?
True
Let j = 779 - 219. Is j a multiple of 56?
True
Let i be 4/16 + 2 + 17/(-4). Let u(g) = -22*g - 4. Does 15 divide u(i)?
False
Let t(r) = 4*r - 8. Let z be t(-7). Let l = -24 - z. Is l a multiple of 12?
True
Let x(u) = 49*u - 62. Let h be x(31). Suppose 412 = 7*t - h. Does 12 divide t?
False
Suppose -3*r - 2 = -5. Let o be (-21)/63*(r - 1). Let i(c) = -c**3 + 87. Is i(o) a multiple of 29?
True
Let c = 2386 + -720. Does 23 divide c?
False
Suppose -4*u - 1 = 5*k, -3*k = -2*u + u + 21. Let o(q) = 2*q**3 - 10*q**2 + 6*q + 6. Does 19 divide o(u)?
True
Suppose -68 = -o - 3*o. Let u = o - 14. Suppose -u*x + 8*x - 115 = 0. Does 6 divide x?
False
Let l(p) be the third derivative of -7*p**4/24 - 2*p**3 - 19*p**2. Does 2 divide l(-4)?
True
Suppose -3*k - 2*h + 23 = 0, -4*k + 6 + 22 = 2*h. Suppose 4*y + k*d - 380 = -y, -5*y = -2*d - 366. Suppose 5 - 13 = 4*a, 4*g = -3*a + y. Is 10 a factor of g?
True
Suppose 7*g - 5 = 2*g, -i + 2*g = 2. Suppose i = -5*h - 66 + 6. Does 2 divide (-1)/6 - 38/h?
False
Let s be (2 - 1)*6/6. Let a = s + 1. Suppose 0