. Does 16 divide a?
False
Let z = 81 - 19. Is 38 a factor of z?
False
Let v be (-873)/(-45) + 2/(-5). Suppose 0*j - 4*p - 52 = -4*j, 2*j + 5*p = v. Is 12 a factor of j?
True
Let s be ((-2)/1 - -77) + 2. Let g = -12 + s. Is 13 a factor of g?
True
Let x be (-7 - -1)/3 - -4. Let o(t) = 3*t - 3. Let d be o(x). Suppose 4*h - 57 = d*b, -h + 9 = 4*b - 29. Is 9 a factor of h?
True
Let z = -12 + 23. Is z a multiple of 4?
False
Suppose 0 = -5*i - 0 + 55. Does 4 divide i?
False
Suppose n + 5*z - 126 = 0, 3*n + 3*z = -n + 504. Is n a multiple of 36?
False
Let p be 6/(-4) - 819/(-2). Suppose -p = -4*q - 92. Is q a multiple of 31?
False
Suppose 2*f + 0*f = -5*b + 16, -2*b + 16 = 2*f. Is f a multiple of 6?
False
Let q be (-1)/(-2 - 21/(-11)). Let h(a) = 16*a**3 - 2*a**3 - 4*a**3 + q*a**3 + 1. Does 11 divide h(1)?
True
Suppose 2*u - 16 = -2*q, 5*u - 18 = -4*q + 18. Suppose u*p = -p + 20. Suppose -g + 13 = -0*g + p*r, -g + r = -28. Does 20 divide g?
False
Suppose 2*p + 5*n - 15 = 18, 0 = 5*p - 4*n. Suppose p*j = 70 + 14. Does 7 divide j?
True
Suppose -12 = -3*q, -n - 3*q = -7*q - 178. Is 32 a factor of n?
False
Suppose -3*r - 2*r = -65. Let w = -6 + r. Is 15 a factor of 2/w - (-309)/21?
True
Suppose 6*v - 21 = 3*v. Suppose -v = -2*z + 1. Suppose 3*s = -z + 34. Is s a multiple of 5?
True
Let v = 4 - 1. Suppose 4*x - v*k = -2 - 8, -4*x = -k + 6. Does 6 divide 2 - 3 - (x - 12)?
True
Suppose -5*r + 45 + 635 = -5*c, -3*c + 420 = 3*r. Is 23 a factor of r?
True
Let i(y) = y**3 - 7*y**2 - 2*y - 7. Does 14 divide i(8)?
False
Let s be (0 - -2)/2*-1. Suppose -b = 2*b. Does 13 divide (b + 78/(-3))/s?
True
Let x be 6/(2 + -2 + 2). Suppose -3*h - 4*g + 3*g = -293, h - 91 = x*g. Is 28 a factor of h?
False
Let r = -8 + 10. Suppose 0 = -2*n - 4, -6*i + r*n - 52 = -7*i. Does 22 divide i?
False
Let i = 340 + -223. Is 9 a factor of i?
True
Is 6 a factor of (-1448)/(-40) + 1/(-5)?
True
Suppose q + 42 = 121. Does 8 divide q?
False
Let r(h) = h**3 - 1. Let f be r(1). Let p(w) = -w**2 + 2*w. Let o be p(2). Suppose -4*t + x + o*x = -61, -5*t + 4*x + 90 = f. Is 7 a factor of t?
True
Let u be 1*(-2 - (-3)/(-1)). Let m(i) = -i. Let t be m(u). Suppose -3*k = z - 84, t*k = -z - 4*z + 140. Does 13 divide k?
False
Suppose 0 = 3*f - 15, -3*w = -5*f - 48 - 5. Does 7 divide w?
False
Let w = -7 + 11. Suppose w*m + 8 = -o, -5*m + 3 = -4*o - 113. Is 8 a factor of 3 - (-2 - -5) - o?
True
Let b(g) = 5*g**3 - g. Let j be (6/9*3)/2. Does 2 divide b(j)?
True
Suppose o = 6*o - 170. Is o/9 + 4/18 a multiple of 2?
True
Let z(m) = m**2 - 7*m - 9. Is z(9) a multiple of 4?
False
Suppose 3*d = 6, 3*w = 2*d - 2 + 4. Let o = -33 - -36. Let u = o + w. Is u even?
False
Suppose 2*m - 2020 = -2*m - 4*u, 5*u + 1491 = 3*m. Suppose 2*l - 392 = m. Is 13 a factor of 2/(-3) - l/(-9)?
False
Let o = -7 - -13. Let j(p) = 2*p**2 - 7*p - 2. Does 15 divide j(o)?
False
Let k = 25 - -35. Does 30 divide k?
True
Let j(w) = w + 8. Let k be j(-4). Suppose -g - 2*u - 6 = 0, -k*g + 8*u + 15 = 3*u. Does 14 divide -1 - (1 - (g - -51))?
False
Is 21*(0 + 2)/2 a multiple of 21?
True
Let b = 134 - 27. Is b a multiple of 13?
False
Let d = 282 - 157. Does 22 divide d?
False
Suppose 6*a - 633 = 3*a. Is 14 a factor of a?
False
Let i(r) = -r**3 + 6*r**2 + 5*r - 6. Let t be i(6). Suppose t + 30 = x. Is 18 a factor of x?
True
Let u = 6 + -6. Suppose 8 = j - u*j. Is j a multiple of 8?
True
Let n = -9 + 18. Suppose 1 = 3*a - 5. Is 7 a factor of 174/n + a/(-6)?
False
Let c = -63 + 99. Is 34 a factor of c?
False
Let t(b) = -5 + 5*b - 2*b + 19*b**3 - 12*b**3 - 9*b**2 - 6*b**3. Does 6 divide t(9)?
False
Let h(p) = 30*p**2 - 5*p - 10. Does 40 divide h(-2)?
True
Let u = 100 - 58. Let d = u + -22. Does 14 divide d?
False
Let q(j) = 3*j**3 - 6*j**2 - 4*j - 1. Does 12 divide q(5)?
True
Let w = 6 - 2. Let y = 2 - w. Let g = y + 20. Is 16 a factor of g?
False
Suppose -4*r + 2*r = -186. Suppose o + 17 = -4*c, 4*o + 0*o - 2 = -2*c. Suppose o*m = -0*m + r. Is m a multiple of 8?
False
Suppose 8*z = 4*z + 20. Let d(g) = g + 5. Does 5 divide d(z)?
True
Suppose 2*a = -2*a - 5*i + 269, 2*a - 137 = -5*i. Is a a multiple of 18?
False
Suppose 0*t = 3*t - 15. Does 3 divide t?
False
Is 2 a factor of -3 + 0 + (-8)/(-1)?
False
Let x(z) = -z**2 + 10*z + 14. Suppose -8 - 12 = -2*g. Let p be x(g). Suppose -5*c - 5*s + 16 = -p, 59 = 4*c - 3*s. Is c a multiple of 3?
False
Does 2 divide (3 + 20/(-8))*(13 + -1)?
True
Let b be 4/(-6) - 4/3. Let z = 26 - 16. Let r = z + b. Is r a multiple of 8?
True
Suppose 0 = -2*h + 3*i + 276, 4*h - 5*i = 8*h - 552. Suppose 3*m + 5*d - 77 = d, -3*d - h = -5*m. Let l = 53 - m. Is l a multiple of 13?
True
Suppose -5*p + 39 + 1 = 0. Suppose 6 = 5*v + 4*a, 0 + 6 = 4*v + 2*a. Suppose -v*z + p = 4. Is z a multiple of 2?
True
Let f = 6 + -10. Is 12 a factor of 3 + 3 + (2 - f)?
True
Suppose b = 5*k + 51, -3*b - k + 3*k + 114 = 0. Suppose -2*c + 81 = 5*i, -2*c - 33 - b = -5*i. Does 10 divide i?
False
Let k(d) = -2*d - 1. Let n be k(-2). Suppose t - 7 = -n*g, 0 = 3*g - 5*t - 25 + 6. Suppose 4*a = h + 34, -a + 7 = -g*h + 2*h. Is 8 a factor of a?
False
Let u be (-12)/(-9) + (-4)/(-6). Suppose 70 = 3*w + u*w. Is w a multiple of 4?
False
Let x(c) = c**2 - c - 1. Let q(t) = 3*t**2 + 5*t - 6. Let p(v) = q(v) - 4*x(v). Is 12 a factor of p(7)?
True
Let c be 76/3 - 10/(-15). Let m = c - 14. Is m a multiple of 8?
False
Let h(y) = y**3 - 3*y**2 + 2*y + 2. Let o be h(2). Suppose 0 = -o*w - 3 + 39. Is w a multiple of 6?
True
Suppose p - v - 3*v - 22 = 0, 0 = -p - v + 22. Let j = 37 - p. Let n = j - 6. Is 8 a factor of n?
False
Let d be 1 - 1 - (-8 - -8). Suppose d = -2*t + 5*i, 0 = 3*t + t - i. Suppose 3*b + 4*p - 30 - 26 = t, 2*b + 3*p - 39 = 0. Is 6 a factor of b?
True
Let u = -542 + 789. Does 19 divide u?
True
Let v = -5 - -1. Let p be (-218)/(-10) - 1/(-5). Let a = p + v. Is a a multiple of 8?
False
Let b(y) = 7*y**3 + 10*y**2 + y + 9. Let o(v) = 4*v**3 + 5*v**2 + 5. Let m(i) = -3*b(i) + 5*o(i). Does 13 divide m(-5)?
True
Let a = 48 - -87. Is 27 a factor of a?
True
Let g = -29 - -50. Is 7 a factor of g?
True
Suppose c + 2*g = 6, -4*c + 8 = 5*g - 7. Suppose -s + c*s = 4. Does 6 divide (-65)/(-10) - 2/s?
False
Suppose -42 - 26 = -4*q. Let a = -7 + q. Does 5 divide a?
True
Let f(o) = -7 - o - 2*o - 3*o. Let p be f(-5). Suppose z = 2*r - 4*z - p, 3*r = 5*z + 47. Does 12 divide r?
True
Suppose 5*d + 32 = -3*l + 861, 0 = l - 4*d - 299. Is 34 a factor of l?
False
Let c = -133 + 199. Is c a multiple of 33?
True
Let y(j) = -j**3 + 10*j**2 + 2*j + 2. Let m be y(10). Suppose -m = -3*n + 29. Is n a multiple of 8?
False
Let i be 10/(9/(-6) + 1). Let b = i - -10. Let h = b + 23. Is 9 a factor of h?
False
Suppose -160 = -2*m - 4*w, -4*w = -5*m + 329 + 127. Does 11 divide m?
True
Let b be 1 - (0 - -2) - -107. Suppose -5*s - 4*u = -b, 3*s + 2*u = -0*u + 62. Is 9 a factor of s?
True
Let r(s) be the first derivative of -12*s + 5/2*s**2 - 8/3*s**3 - 2 - 1/4*s**4. Is 12 a factor of r(-9)?
True
Let c be (1 - 274)/(-3) - 1. Suppose -g + 4 = 7, 2*k = 4*g + c. Is 17 a factor of k?
False
Suppose 7*s - 5*s = 10. Suppose -2*p + 7 = s*q - 19, -3*p = 4*q - 25. Is 2 a factor of q?
True
Suppose -4*r + 8 = 0, 5*r = 2*f + 12 - 2. Suppose 0 = -4*h - 4*n + 156, -135 = -3*h + 3*n - f*n. Does 10 divide h?
False
Let y(m) = -m**3 + 8*m**2 - 7*m + 4. Let i be y(7). Suppose -w + 22 = -2*k + 7*k, -w + 2*k - 6 = 0. Suppose 30 = -w*g + i*g. Does 8 divide g?
False
Suppose 5*s - 4*w = 79 - 26, 5*s = -2*w + 41. Is s a multiple of 4?
False
Suppose 0 = -5*m + 4*m + 3. Suppose 3*n = -3*s + 162, -n + 4*s = m*n - 256. Suppose 0 = -5*j + n - 9. Is j a multiple of 5?
True
Suppose -3*t = -2*t + 6. Is 5 a factor of (-2)/2 + (0 - t)?
True
Let o(t) = 2*t - 4. Let u be o(6). Suppose -5*r = u - 88. Is 12 a factor of r?
False
Let c(z) = -2 + 4 - 1 - 2*z**2 + z. Let f be c(-1). Let a = 6 + f. Does 2 divide a?
True
Let a(s) be the second derivative of 25*s**3/3 + s**2/2 + 3*s. Is a(1) a multiple of 14?
False
Suppose -2*x + 2 = 0, q - 2*q - x + 10 = 0. Suppose 2*u - q = -u. Is u a multiple of 2?
False
Let k(f) = 20*f**2 - 3*f + 1. Let r be k(2). Let t = 119 - r. Is 22 a factor of t?
True
Let g = 12 - 17. Let t(l) = -l**3 - 2*l**2 + 8*l + 5. Is t(g) a multiple of 20?
True
Suppose 2*y + 4 = 0, -2*y + 1 = -5*p + 15. Suppose p*t 