**3 - 3*d**2 - 3*d - 2. Let a be i(-2). Suppose 3*f + a*f = 9. Suppose -3*r = l - 124, 2*r - f = 3*l + 65. Is 20 a factor of r?
True
Let t = -175 + 250. Does 12 divide t?
False
Suppose -i = 3*b - 89, -2*b + 125 = 2*b - 5*i. Is b a multiple of 17?
False
Let m(q) = q + 8. Let u = -15 - -23. Is 8 a factor of m(u)?
True
Let n(l) = -l + 10. Let g be n(7). Let a(u) = u**2 - u + 1. Does 2 divide a(g)?
False
Let v(t) = t**2 - t + 2. Suppose -5*l + 4*l + 2*c - 2 = 0, 0 = -l - 3*c + 8. Let d be v(l). Let f(a) = a + 4. Is f(d) a multiple of 8?
True
Let m(w) = -w + 5. Let f be m(6). Let c(y) = -23*y + 1. Let v(o) = o. Let q(a) = c(a) + 3*v(a). Is q(f) a multiple of 21?
True
Suppose -77 = -4*x + 23. Is 10 a factor of x?
False
Suppose 0 = -o + 2*o - 10. Is 3 a factor of o?
False
Let n(w) = w**2 + 9*w + 8. Let z be n(-8). Suppose z*u + 15 = 5*u. Is 2 + (-3)/3 + u a multiple of 4?
True
Suppose 4*d - 28 = -3*i + 4, 4*i - 76 = 3*d. Does 8 divide i?
True
Let z(r) = r**3 + 5*r**2 - 10*r - 8. Let x = 2 - 8. Does 5 divide z(x)?
False
Suppose 3*r - 5 = -x, 2*x = 2*r + 3*x - 2. Suppose -2*z + r*u - 72 = -5*z, 2*z = -3*u + 51. Is z a multiple of 21?
True
Suppose -6*u + 2106 = 3*u. Is 31 a factor of u?
False
Let x(p) = p**3 - 8*p**2 + 3*p - 4. Let h be x(8). Let c = h - 4. Is 8 a factor of c?
True
Let q(k) be the third derivative of k**5/15 + 3*k**2. Is q(2) a multiple of 4?
True
Let g(c) = -3*c - 4. Let i be g(-3). Suppose -d + i = -0. Suppose -2*z + 27 = z + 3*h, -d*z - h = -33. Does 6 divide z?
True
Let g = -61 + 103. Is 3 a factor of 3/(-12) + g/8?
False
Let v be (-8 - -2)*1/(-3). Suppose 4*n + 5*q - 120 = 0, -2*n + v*q = -q - 38. Is n a multiple of 9?
False
Suppose -704 = -8*s + 504. Is s a multiple of 22?
False
Let j be (2 + -2)/(2/(-2)). Suppose j = 2*h - 2*r - 20, 4*r - 53 = -5*h - 12. Is h a multiple of 5?
False
Let l = -1 + 14. Let j(r) = -2*r + 1. Let h(a) = 9*a - 10. Let n(s) = h(s) + 4*j(s). Is n(l) a multiple of 4?
False
Is (-1 - 0)*(-3 + -32) a multiple of 21?
False
Let f = 19 - 14. Suppose -f*n + 43 = -122. Is n a multiple of 9?
False
Suppose 3*g + 10 = 2*y, -5*y + 0*g = 2*g - 6. Suppose 0 = d - 2, -59 = -b - y*d - 15. Does 20 divide b?
True
Suppose 0 = 5*l - 0 + 10. Let g = l - -8. Does 3 divide g?
True
Suppose -4*l = -5*l + 2*h + 11, 0 = 5*h. Suppose 2*x - 131 - l = 0. Is 17 a factor of x?
False
Suppose j + 528 = 4*z - 3*j, -3*j = -2*z + 268. Does 8 divide z?
True
Let s be (1 + -10)*20/(-12). Let z be (-1 - 0)*-3 + s. Let j = z + 8. Does 13 divide j?
True
Let a be 3*1 + 2/2. Suppose -87 = -3*j - 3*z, -a*j = 2*z + 1 - 127. Is j a multiple of 12?
False
Let h(l) = l - 17. Let y be h(11). Let o = y + 9. Suppose -b + o*b = 6. Does 3 divide b?
True
Let h(v) = 2*v**2 + 7*v - 5. Is h(-5) a multiple of 10?
True
Let y(w) = 13*w + 2. Let q be y(2). Suppose 5*a = -b + q, -b = 2*b + 3*a - 84. Does 11 divide b?
False
Suppose -3*x + 2*x = -5. Suppose -2*w = -7*w - x*s + 20, 0 = 4*w + 5*s - 21. Is 0 + w + (-34)/(-2) a multiple of 16?
True
Let x = -5 + -9. Let d = 15 - x. Is d a multiple of 15?
False
Suppose 0 = 2*c - 0*c - 4. Let h be (-1 - 0)/(3/(-15)). Suppose 4*r - 170 = 2*q, c*r + h*q - 59 = r. Is r a multiple of 20?
False
Is (-522)/(-33) - 2/(-11) a multiple of 8?
True
Let l = 54 + -26. Suppose 4*n - 9 = 3. Suppose 68 = n*a - v, a - v - l = -2*v. Does 12 divide a?
True
Let l = -34 - -71. Does 17 divide l?
False
Suppose -4*i - 2*u - 508 = -9*i, -2*i = -3*u - 212. Is 20 a factor of i?
True
Let h be 2 - (1 - 6 - -2). Suppose -2*p = 2, k + h*p = -2*k + 157. Is 20 a factor of k?
False
Let x = 0 + 5. Suppose -x*t + 2*m - 21 = 6, -4*t + m - 21 = 0. Is 10 a factor of t/((-15)/6) - -25?
False
Suppose -2*i - 5 = -15, -2*x + 158 = -2*i. Is x a multiple of 12?
True
Let u = 167 + -54. Is u a multiple of 20?
False
Is 13 a factor of 4/18 - 3*2102/(-54)?
True
Does 20 divide 35 + (3 - 0/4)?
False
Let i(w) = -w**3 + 5*w**2 - 6*w - 8. Let z(t) = 5*t**2 + t. Let c be z(1). Let d be i(c). Let r = d + 115. Is 19 a factor of r?
False
Suppose 7*z + 146 = 1007. Is z a multiple of 41?
True
Let a = 43 - 22. Suppose 2*j = a + 5. Is j a multiple of 8?
False
Suppose -h + 3*h = 36. Is 6 a factor of h?
True
Let i be (-1127)/(-28) - (-2)/(-8). Is 10 a factor of (-6)/((-12)/i*1)?
True
Let t(a) = 6*a**2 - 2*a - 2. Does 29 divide t(-3)?
True
Let f = 1 + 0. Let h(y) = -5*y. Let p be h(-2). Let r = f + p. Does 6 divide r?
False
Suppose -10*j + 372 = -668. Is 9 a factor of j?
False
Suppose -2*c - 516 = -6*c. Suppose -119 = -2*r - i, -5*r + 3*r + c = -i. Does 16 divide r?
False
Suppose p - 43 = 90. Does 19 divide p?
True
Let c = -460 - -856. Is 33 a factor of c?
True
Suppose -b + 79 = 11. Does 17 divide b?
True
Let w(n) = n**3 + 2*n + 0*n**3 - 2*n**3. Does 14 divide w(-3)?
False
Suppose 96 = 13*m - 9*m. Does 8 divide m?
True
Let m = 88 - -80. Is m a multiple of 12?
True
Let c(m) = 2*m**3 + m**2 + m. Let b = 2 + 0. Is c(b) a multiple of 8?
False
Let y = 14 - 28. Is ((-144)/(-28))/((-2)/y) a multiple of 12?
True
Let f = 71 - 38. Let u = -20 + f. Is 6 a factor of u?
False
Suppose -4*h + 0*h + 312 = 0. Suppose r = -r + h. Is 16 a factor of r?
False
Let x be 3 + (-180)/(-8)*2. Suppose b - 12 = x. Does 20 divide b?
True
Let a = 4 - 4. Let u(h) = h + 2. Let i be u(a). Suppose y = i*y - 13. Is 12 a factor of y?
False
Suppose 3*u + 677 = 4*d + 2*u, 0 = 5*d - 3*u - 841. Is d a multiple of 13?
False
Suppose 4*i - 3*y = -18 + 6, 0 = 3*i + 5*y - 20. Let k(z) = z - 9. Let j be k(i). Is (-2 - j - -2) + 2 a multiple of 9?
False
Let j be (8/(-8))/(2/(-14)). Is 4*17 + -9 + j a multiple of 11?
True
Suppose 0 = -2*c + 10, -2*c - c = h - 53. Is h a multiple of 19?
True
Let j(c) = c**3 - 9*c**2 + 9*c + 1. Let b be j(8). Suppose -l + 8 - b = 0. Let v(z) = -7*z - 1. Is v(l) a multiple of 5?
False
Suppose -h + 13 = 4*k, -2*h = 7*k - 4*k - 16. Suppose -4 = 3*v + h. Does 19 divide -36*(v - 6/(-3))?
False
Suppose 2*s = 2*c - 14, -2*s = -4*c - 3*s + 43. Does 10 divide c?
True
Does 18 divide 0 + 69 + (-3)/(-1)?
True
Let t be (-2)/3 + (-46)/(-6). Suppose -l + 3 = d, -5*l = 4*d - d - t. Suppose 79 = 5*r + d. Does 7 divide r?
False
Suppose n = -4*n - 285. Let l = n + 96. Is l a multiple of 17?
False
Let j be (11/3)/((-3)/(-27)). Let f = j - 6. Does 7 divide f?
False
Let c(p) = p**2 - 3. Suppose 24 = -4*m - 0*m. Let v be c(m). Suppose -2*z - v - 44 = -5*r, r + 2*z - 25 = 0. Is 10 a factor of r?
False
Let g be (-4)/(-6) + 322/(-6). Let u = g + 87. Does 17 divide u?
True
Let y(k) = -k**3 - 5*k**2 + 4*k - 4. Let h be y(-6). Let t = 22 + h. Does 15 divide t?
True
Suppose p - 3 = -2*u + 10, 5*u + 4*p = 40. Let q(z) = -2*z + 4. Let j be q(u). Let h(c) = c**3 + 4*c**2 - c - 1. Is h(j) a multiple of 3?
True
Let c(m) = -2*m + 7. Is c(-10) a multiple of 7?
False
Suppose -3*v = v - 684. Suppose -v = -2*u + 37. Does 19 divide u?
False
Let q(t) = -2*t + t + 3*t - 1 + 7*t**2. Is q(2) a multiple of 11?
False
Suppose 2*j = -2*x + 334 - 124, 202 = 2*j - 2*x. Let m = -56 + j. Is m a multiple of 12?
False
Let k(z) = z**3 - 6*z**2 + 4*z - 2. Let b be k(6). Suppose -6 = 2*g - b. Is 4 a factor of g?
True
Suppose 4*j - 1 + 42 = -3*b, -4*b - j - 33 = 0. Let d = -4 - b. Is 3 a factor of d?
True
Let p(a) = -a**3 - 9*a**2 - a - 6. Let m be p(-9). Let u(w) = 2*w**3 + 4*w**2 - 5*w + 3. Let o be u(m). Suppose 3*n = -0*n + o. Does 15 divide n?
False
Suppose -2*r - k = -496, -3*r + 2*k + 484 = -r. Suppose -r + 75 = -3*j. Is j a multiple of 15?
False
Suppose -w - 3*s = 2*s + 26, 14 = -4*w - 2*s. Let b = 5 - w. Does 2 divide b?
True
Suppose -3*y = -2*y - 7. Is y a multiple of 7?
True
Let z(w) = w**3 - 7*w**2 + w - 2. Let h be z(7). Suppose -4*y = -b - 2 - 5, -25 = -h*b. Is y even?
False
Let v be (7 - 2 - 1)*18. Suppose -22 + v = -5*j. Let y = 28 + j. Does 18 divide y?
True
Let x(a) = -a**3 - 5*a**2 - 5*a - 2. Let w be x(-4). Suppose -j = 2*y + 1, -y + 4*y - 2 = w*j. Suppose 4*f + y*f = 5*z - 140, 3*f - 56 = -2*z. Does 11 divide z?
False
Let h be 2 - (1 - (-489)/(-3)). Suppose -2*c = 5*d + h, 0 = 2*d + 2*d - 2*c + 124. Let s = -22 - d. Is s a multiple of 5?
True
Let t(b) = 120*b**3 - b + 1. Let x be t(1). Suppose -3*r = 3*h - 75, -h + r + x = 3*h. Suppose -3*s = -16 - h. Is 15 a factor of s?
True
Suppose 134 = -c + 3*c. Let v = -6 + c. Is v a multiple of 18?
False