s - 2 - 1 - s**2. Does 5 divide d(7)?
False
Suppose -5*w + 5*c + 675 = 0, -w + 12*c = 8*c - 120. Is 12 a factor of w?
False
Let h = 14 - 9. Suppose 0 = -0*f + h*f - 50. Is f a multiple of 10?
True
Let u = 35 + -21. Let h = u - 0. Is 6 a factor of h?
False
Let i = 284 + -64. Is i a multiple of 44?
True
Let a = 374 - 122. Is a a multiple of 36?
True
Let z be (1 + (-3)/(-6))*4. Suppose -z = u + 2*i, 0 = 4*u - 4*i + 4 - 40. Suppose -2*q - r - r = -4, u*r = -q + 2. Is q even?
True
Suppose 0 = 3*g + 2 + 1. Does 4 divide 8*-1*g/2?
True
Let f = -13 - -38. Is f a multiple of 10?
False
Let l(o) = o**2 + o + 28. Let p = 1 + -1. Let v be l(p). Is 15 a factor of (-208)/(-7) + 8/v?
True
Let k be 1/(2/(-2790)*-3). Is 26 a factor of (-1)/(-3 + k/156)?
True
Let t(c) = -c**3 + 2*c**2 + 4*c - 1. Let l be t(3). Suppose l*q - 14 + 4 = p, -28 = -5*q + p. Is q a multiple of 3?
True
Does 8 divide -32*(4/4 + (-9)/6)?
True
Let w(n) = n**3 - 8*n**2 - 9*n - 4. Let a be w(9). Is 5 a factor of 1/a - 873/(-36)?
False
Let o be (1/(-1) - 2)*-1. Let q(u) = 0*u - 2 - o*u + 6*u. Is 13 a factor of q(6)?
False
Let y(v) = 2*v**3 - v**2 - v + 16. Does 5 divide y(0)?
False
Suppose -4*c + 14 + 2 = 0. Suppose 6*y - 40 = c*y. Does 20 divide y?
True
Let x = -11 - -7. Does 4 divide (12/(-1))/(8/x)?
False
Let h = -254 - -551. Does 15 divide h?
False
Suppose -5*j + 9 = -2*j. Suppose -97 = -3*b - 5*p, 105 = 5*b - 2*b - j*p. Is 17 a factor of b?
True
Let u be 5 - (-1 - -3) - 1. Let q = 1 + u. Suppose -q*m + 68 = 8. Is m a multiple of 20?
True
Suppose -4*w + 15 = -w. Suppose w*g = 2*o - 55, 3*g + 22 = -4*o + 3*o. Let a(m) = -8*m + 7. Is 20 a factor of a(g)?
False
Is 6/(-12)*-288*1*1 a multiple of 24?
True
Suppose -5*w = 20, w = -2*t - 2*w + 28. Is 4 a factor of t?
True
Is 11 a factor of ((-10)/3)/((-1)/15)?
False
Suppose -4*b + 8*b = -v - 14, -5*v = 3*b + 36. Let k(z) = 2*z**2 - 11*z - 5. Let u(g) = -3*g**2 + 21*g + 11. Let y(d) = -5*k(d) - 3*u(d). Is 2 a factor of y(v)?
True
Let r(d) = -d**3 - 4*d**2 + 5*d. Let a be r(-5). Let h(z) = z**2 - z + 24. Is 10 a factor of h(a)?
False
Suppose f = -6 + 9. Suppose -5*n = -f*n - 96. Does 16 divide n?
True
Let f be 10/(-45) + (-76)/(-18). Suppose 6*y - 14 = f*y. Is y a multiple of 2?
False
Let g(k) = -k - 4. Let m be g(-2). Let t be 2*((-38)/4 + m). Let d = -14 - t. Is 6 a factor of d?
False
Let b(n) = -n**2 - 3*n + 4. Let j = -11 - -8. Let g be b(j). Suppose g = 2*x, -3*s - 5*x = s - 38. Is s a multiple of 3?
False
Let x be (-2)/(-1) + 2 + -1. Suppose 56 = 4*f - 2*j, -4*f + 46 = -0*j + x*j. Is 13 a factor of f?
True
Let u(o) = 5*o - 29. Let h be u(12). Let x = h - 21. Is 10 a factor of x?
True
Let s = 7 - 1. Let l = s + -3. Suppose l*t + 5 - 17 = 0. Does 4 divide t?
True
Does 35 divide 1/(-3) + 8416/48?
True
Suppose -v + 3 = 0, -s + 8*v - 3*v - 6 = 0. Is s even?
False
Suppose 4*j = -3*n + n + 94, -151 = -3*n + 4*j. Is n a multiple of 7?
True
Suppose -v + 143 = -4*m + m, v + 3*m - 137 = 0. Suppose 0 = -4*l + 3*l. Suppose l*i + v = 4*i. Does 20 divide i?
False
Let r = -2 - -1. Let w be ((-3)/2 + 1)*0. Is 4 a factor of r/(w + 3/(-18))?
False
Let k = 203 + -86. Suppose 3*i - 9 + 3 = 4*u, 3*u + 8 = 4*i. Suppose u = -3*x + 5*o + 57, 5*x + 0*o - k = o. Is 9 a factor of x?
False
Suppose 5*q - 3*b - 822 = 0, -5*b + b = 16. Does 27 divide q?
True
Let x(g) be the third derivative of -g**6/120 - g**5/12 + 5*g**4/24 + g**3 + 3*g**2. Is x(-6) a multiple of 5?
False
Is 15 a factor of -9 + 6 - 63/(-1)?
True
Suppose -2*s + 768 = 3*s + 4*m, -5*s + 765 = 5*m. Suppose 3*r + s = 5*f, f - 3*r = -4*r + 28. Is 8 a factor of f?
False
Let h be (-1)/((-1 + -1)/6). Let m(v) = 6*v**2 - 1 + 3 - 4*v**2. Does 10 divide m(h)?
True
Suppose 2*b - 245 = 5*z, 0 = -4*b + z + 3*z + 484. Does 10 divide b?
True
Let a(r) = r - 7. Let z be a(8). Suppose -s - 15 = 4*t - 2*t, -t - z = 0. Let c = 26 + s. Does 13 divide c?
True
Let i = 148 - 107. Is 10 a factor of i?
False
Let f(q) = 2*q**2 - 11*q - 2. Is f(10) a multiple of 21?
False
Let q(x) = -x + 1. Suppose 3*y - 7 = -2*m, 0 = 4*m - 0*m + 5*y - 11. Let l be m - (2 + 0)*2. Is 3 a factor of q(l)?
True
Let x(p) = -p - 1. Let j be x(-3). Let t(r) = 20*r + 1. Is t(j) a multiple of 9?
False
Let f(x) = 105*x**2 + 2*x - 1. Let z be f(1). Suppose -3*a + z = -20. Is a a multiple of 21?
True
Let f(r) = r**2 + 7*r + 4. Is 6 a factor of f(-8)?
True
Let n = 2 + -1. Let q = -239 - -141. Is n/5 + q/(-10) a multiple of 10?
True
Let f = 15 + -14. Let w(s) = 37*s. Is w(f) a multiple of 18?
False
Let s be 0/(-2 - (-12)/3). Suppose -4*z + 154 + 62 = s. Is 22 a factor of z?
False
Suppose 4*l - 4*h - 3 - 17 = 0, 0 = 3*l - 2*h - 15. Is l a multiple of 3?
False
Let s be (-10)/(-6) - 3/(-9). Suppose -m - 3*m + 51 = -3*g, 58 = 5*m + s*g. Is 5 a factor of m?
False
Let y(n) = -10*n - 14. Does 20 divide y(-6)?
False
Suppose 5*b - 2*l - 176 = 0, -3*b + 4*l + 28 = -2*b. Is b a multiple of 3?
True
Is (0 - -141)*(-8)/(-24) a multiple of 47?
True
Let n = 95 - 80. Is n a multiple of 2?
False
Let w be 112 + -4 + (1 - 1). Suppose -4*q = -8*q + w. Is q a multiple of 7?
False
Suppose -2*k = -141 + 21. Does 15 divide k?
True
Suppose -5*b = -8 - 7. Is (15 - (b - 3)) + -2 a multiple of 11?
False
Suppose -x + 0*x + 9 = 0. Is 9 a factor of x?
True
Let k(j) = -j**3 + 7*j**2 + 10. Let z be k(7). Let g be 63/5 - (-4)/z. Suppose -4*h = -g - 27. Is h a multiple of 7?
False
Let m(p) = -p**3 - p + 4. Let a be m(0). Suppose 4*k + 2*c = -2*c - 24, 4*k - 16 = a*c. Is 10 a factor of (2 + -4 - 8)*k?
True
Is (-54)/4*400/(-30) a multiple of 8?
False
Let o = -2 + 4. Suppose -3*z + 25 = o*z. Suppose -x - 96 = -z*x. Does 12 divide x?
True
Let x(o) be the first derivative of -o**5/20 - o**4/12 + o**3/6 + o**2/2 + 2*o + 2. Let z(v) be the first derivative of x(v). Is z(-2) a multiple of 3?
True
Let s(l) = 5*l**2 - l + 1. Let i be s(-3). Suppose -3*m + i = 2*z, 2*z - 16 = -5*m + 31. Does 13 divide z?
True
Let i = 4 - 10. Does 7 divide (-64)/i + (-4)/(-12)?
False
Does 6 divide 11/44 + 143/4?
True
Suppose 122 = 2*q - 2*u, -q - u = -5*q + 253. Suppose 3*f - 7*f + q = 0. Does 8 divide f?
True
Let n = 2 + 1. Suppose -2*k - 3 = -n*k, 153 = 3*b + 4*k. Is b a multiple of 12?
False
Is 19 a factor of 33 - 4 - (8 + -3)?
False
Let q = -2 + -3. Let j = q - -29. Is j a multiple of 12?
True
Let j = 15 - 21. Let z(t) = -t**2 - 7*t + 7. Let u be z(j). Suppose y + 0*y - u = 0. Does 6 divide y?
False
Let m = 19 - 9. Does 3 divide m?
False
Let n = 18 + -12. Let l(v) = -v**2 - 2*v - 5. Let b be l(n). Let w = b + 89. Is 12 a factor of w?
True
Let y = -19 + 19. Suppose y*r + 288 = 6*r. Is 16 a factor of r?
True
Suppose 0 = -4*j - 0*j + 232. Suppose 2*n + j = 3*g, 5*g - 76 = g + 2*n. Is 18 a factor of g?
True
Let n = 2 - -2. Is 13 a factor of (2/2)/(n/132)?
False
Suppose z - 4 = -5. Let o = z + 49. Does 12 divide o?
True
Is 23 a factor of (46/(-6))/((-2)/24)?
True
Let m(f) = f + 14. Let b be m(-9). Suppose 0*l = -b*l + 220. Is 22 a factor of l?
True
Suppose 0*i - 56 = -5*j - 2*i, -j = 5*i - 2. Let q be (j/(-10))/(3/(-10)). Is (-284)/(-14) - q/14 a multiple of 9?
False
Let o(v) = -v**2 + v + 1. Let s(t) = -5*t**2 + 19*t + 22. Let c(l) = -4*o(l) + s(l). Is 9 a factor of c(15)?
True
Let v = -1 + 6. Let y be 8/(-16) + (-6)/(-4). Does 3 divide (0 + y)/(v/15)?
True
Suppose -3*t - 2*m + 63 = 0, 5*t = m + 88 + 17. Suppose -3*c = 5*b + 6, b = 6*b - 4*c - 8. Suppose t = 3*n - b*n. Is n even?
False
Let n(l) = l**3 - 5*l**2 + 5*l - 7. Let t = 7 - 5. Suppose 30 = 4*g + t*a, -13 - 22 = -2*g - 5*a. Does 9 divide n(g)?
True
Let v(p) = 23*p**3 - p. Let u = 7 + -17. Let s be u/(-6) + (-2)/3. Is 9 a factor of v(s)?
False
Let t = 86 + -34. Suppose 3*v = -2*v + 5, -3*o + 2*v + t = 0. Does 18 divide o?
True
Let z = 5 - 6. Let o = -9 + z. Let a(p) = -2*p - 15. Is 5 a factor of a(o)?
True
Suppose -d - 4*k = -18, k + 90 = 4*d + d. Is d a multiple of 6?
True
Suppose 0*g + 2*g = 4. Suppose g*h - 4 = z + z, 3 = h. Does 12 divide 3 - (-61 + z)/3?
False
Suppose 4*d - 5 = 3. Suppose d*t - 44 = w - 5*w, -3*t + 1 = w. Is w a multiple of 7?
False
Let g(z) = 3*z - 2. Let x be g(2). Let u = -6 - -10. Suppose u*k = a + 45, -3*a + x*a = -2*k + 15. Is 8 a factor of k?
False
Let o be (-3)/((-182)/(-61) - 3). Suppose -10 = -i - 5*j + 33, 0 = 3*i - 3*j - o. Is i a mul