ose -11*k + 22 = -9*k. Does 6 divide k?
False
Let l = 23 + -18. Suppose 48 = 5*v - 3*f, l*f + 33 - 10 = 2*v. Is v even?
False
Suppose 5*g + 112 = 9*g. Is 7 a factor of g?
True
Suppose -5*s = -54 - 6. Let f(o) = 13*o - 15. Let j(q) = -3*q + 4. Let t(w) = -4*f(w) - 18*j(w). Is 12 a factor of t(s)?
True
Let x be 5*(-2 - (-16)/10). Let m be x + 3 + 15 + 3. Let q = m + -3. Is q a multiple of 8?
True
Let h = -3 + 7. Let u = h - -22. Suppose -4*z - 2*y + u = 0, 5*z - 3 = 2*y + 52. Is z a multiple of 9?
True
Suppose 0 = -5*f - 6 + 11. Is 27 a factor of (f - 3) + -1 + 69?
False
Suppose -3*w - 3 + 15 = q, -q + 5*w - 28 = 0. Is (q/(-6))/(1/38) a multiple of 19?
True
Suppose t + 2 = -3*b, -5*b = -6*t + 2*t - 42. Let z = t + 0. Let m(p) = -3*p - 8. Does 14 divide m(z)?
False
Let i(l) = -l**3 + 7*l**2 - 8*l + 8. Let v be i(6). Let a be (-3)/(-6) + (-50)/v. Suppose -2*x + 15 = -a. Is x a multiple of 6?
False
Let t(h) be the second derivative of -h**4/6 + h**3/3 + h**2/2 - 3*h. Let u be t(-1). Is 14 a factor of -1 - (-99)/(u/(-1))?
False
Is (-8)/(-6) - (-200)/3 a multiple of 10?
False
Suppose 12 = -5*o + 32. Is 4/16*o - -33 a multiple of 34?
True
Suppose -4*u - 48 = -6*u. Suppose m - 5*m - u = 0. Let q = m - -38. Is q a multiple of 11?
False
Let z(l) = l**2 + 4*l + 2. Let r be z(-4). Suppose -3*w - r*w + 4*q + 145 = 0, 2*q + 10 = 0. Is w a multiple of 10?
False
Let b be (2/(-4))/(8/(-48)). Suppose -b*x = -9*h + 4*h + 19, 20 = 4*h. Suppose x*n + 2*n - 32 = 0. Does 8 divide n?
True
Let p be -1*1/1 + 4. Suppose 56 = q + p*q. Is 5 a factor of q?
False
Suppose -28 = -2*r - 0*r + 2*n, -r - n = -6. Let d = 8 + r. Is 6 a factor of d?
True
Suppose 0 = -8*w + 727 + 2465. Is 19 a factor of w?
True
Suppose -c = -3*c + 84. Does 21 divide c?
True
Suppose -148 - 48 = -4*z. Suppose -z - 61 = 5*i. Let v = 47 + i. Is v a multiple of 11?
False
Let b = 12 - 8. Suppose -112 = b*g - 292. Does 20 divide g?
False
Suppose 3*w + 3 = -y - 64, 0 = 3*y - 3*w + 201. Let a = y + 27. Is (-2)/(2 - 0) - a a multiple of 17?
False
Suppose 0 = 2*k - 9 - 1. Suppose p = -k*z + 5, 28 = 3*p - 0*z + 2*z. Does 5 divide p?
True
Let q(k) be the third derivative of -k**6/120 + k**5/6 + k**4/8 - 2*k**3 + k**2. Does 6 divide q(10)?
True
Suppose -2*b - 3*s + s = -160, 4*s = b - 80. Does 10 divide b?
True
Suppose -4*z + 5 = -151. Does 10 divide z?
False
Does 13 divide 46/((-2)/(-1)) - -2?
False
Let i(x) = -3*x**3 - x**2 - 6. Let u(b) = -4*b**3 - b**2 - 6. Let q(r) = -5*i(r) + 4*u(r). Is q(0) even?
True
Does 23 divide (2/(-8))/((-2)/488)?
False
Suppose 7*o - 2*o = 40. Let j = -5 - -3. Let p = j + o. Is 3 a factor of p?
True
Suppose 0 = -z - 5, z - 6 = 3*y - 29. Does 14 divide 28/(-3)*(y + -9)?
True
Let k be (30/9)/((-4)/6). Let g = k + 14. Is 9 a factor of g?
True
Let o = -19 - -18. Is 8 a factor of 11 - ((-2 - -6) + o)?
True
Let k = 178 - 82. Does 13 divide k?
False
Let t(i) be the first derivative of i**4/4 + 7*i**3/3 + 2*i**2 + 2*i - 4. Is t(-5) a multiple of 32?
True
Suppose -1 - 5 = -3*c, -i - 3*c = -8. Suppose -z = -i - 9. Let d = z + -5. Is 6 a factor of d?
True
Let k = 23 + -21. Is k a multiple of 2?
True
Let i(l) = 5*l - 2. Let v(f) = -3*f**3 + 3*f**2 + 3*f - 3. Let h(s) = s**3 - s + 1. Let p(a) = 2*h(a) + v(a). Let z be p(3). Is 7 a factor of i(z)?
False
Suppose 7*p - 15 = 2*p. Suppose t - p*t + 334 = 0. Suppose t = 5*l + 42. Is 10 a factor of l?
False
Suppose 2*c - 2*k - 10 = 0, 2*c - c - 5*k = 17. Suppose 43 = s + c*p, 23 + 28 = s + 4*p. Is s a multiple of 13?
False
Let w(q) = q - 4. Let i be w(6). Suppose -f = 2*d + 2*d - 22, 0 = -5*d - i*f + 29. Is 5 a factor of d?
True
Suppose 2*p = -2*m + 28, -36 - 20 = -4*p + 2*m. Let l = p - -19. Is l a multiple of 10?
False
Suppose 600 = 5*n + h, 0*n - n + 120 = h. Does 18 divide n?
False
Let q be 2 + (-3)/(3/(-19)). Suppose 2*m - 57 = -3*y, -q = 2*m - 3*m + y. Is 7 a factor of m?
False
Let z(u) = 2*u + 51. Does 3 divide z(5)?
False
Suppose -3*u + 0*u = -9. Suppose -u*y + 0*y + 30 = 0. Is 5 a factor of y?
True
Suppose 5*f + 8 = -4*w, 26 = 2*w + 5*f - 10*f. Let y = 2 + w. Suppose y*k - g = 36, -3*k + g + 3 = -17. Is 4 a factor of k?
True
Suppose -3*a - 88 = -283. Suppose -4*d = d - a. Is 10 a factor of d?
False
Let z be (-2)/(-3)*12/(-8). Let k(j) = 2*j + 18. Let d(a) = -a - 1. Let s(g) = z*k(g) - 12*d(g). Is s(6) a multiple of 18?
True
Suppose -m + 10*k = 5*k - 14, -2 = -2*k. Suppose -5*w = -176 - m. Is w a multiple of 10?
False
Suppose 3*c - b = 9, 0*c - 2*c + b + 6 = 0. Is c a multiple of 3?
True
Suppose 0 = 2*a + 3*q + 8 + 1, -3*a + 3*q + 9 = 0. Suppose 4 + a = r. Suppose -r*j + 38 = -102. Does 14 divide j?
False
Suppose 0 = 4*v - 2*g - 256, -5*v + 2*v + 5*g + 199 = 0. Is v a multiple of 8?
False
Let v(j) = 12*j + 17. Let u(i) = -i**3 - 8*i**2 + 8. Let z be u(-8). Does 23 divide v(z)?
False
Let n = -36 + 64. Is n a multiple of 9?
False
Let r(d) = -d - 6. Let t be r(-8). Let a = 0 + t. Suppose 22 = 3*x + 4*j, -a*j - 16 = 5*x - 76. Is 7 a factor of x?
True
Suppose 4*l + v + 702 = 0, -3*l + v - 40 = 483. Does 3 divide (-4)/22 - l/55?
True
Let z be 13/4 - 3/(-4). Suppose 0 = z*m - 4*y - 240, 2*m = -m - 5*y + 212. Does 22 divide m?
False
Let m = 3 + 12. Does 5 divide m?
True
Suppose c - 3*h - 6 = 110, 648 = 5*c + 2*h. Does 32 divide c?
True
Let s = -19 - -20. Let o(l) = 59*l**3 - 1. Is 16 a factor of o(s)?
False
Suppose -2*a - 10 = -5*o + 3*a, 4*a + 4 = 0. Let m be (-51)/(-12) + o/(-4). Suppose -2 = -m*f + 110. Does 14 divide f?
True
Let z be ((-12)/(-2))/((-2)/4). Let u = 17 + z. Suppose u*t = -15, -3*p - 5*t = -2*t - 24. Is p a multiple of 5?
False
Let l(x) = -x**3 - 2*x**2 - 6*x - 5. Is 17 a factor of l(-4)?
True
Let j(c) = -c**2 - 3*c + 6. Let z be j(-5). Let f be 12*z/18*-9. Let l = f + -14. Does 10 divide l?
True
Let c(b) = b**3 + 10*b**2 + 10*b + 2. Let z be c(-9). Let r = z + 10. Is 3 a factor of r?
True
Let t = 42 + -25. Is t even?
False
Let t = 8 - 5. Suppose -3*i + 15 = -t. Let v(b) = b + 8. Is v(i) a multiple of 10?
False
Let j = 4 + -1. Suppose -c + 5*m = j + 16, 20 = 5*m. Is 3 a factor of 7*(0 - (c - 2))?
False
Let v be (4/8)/(2/(-16)). Let q = 10 - v. Is q a multiple of 7?
True
Let w be 10/4 - 1/(-2). Suppose 0 = -4*o, -4*l - w*o - 21 = -5*l. Does 21 divide l?
True
Let u = -370 + 1135. Suppose -4*o = 5*j - 3*o - u, 0 = j + 5*o - 177. Suppose -j = -4*p + 16. Does 12 divide p?
False
Suppose 5*q = 5*t, -2*t = 4*q - 17 - 1. Suppose -2*w = -q*i - 105, -190 = -2*w - 2*w + 2*i. Does 14 divide w?
False
Let h(n) = -3*n + 6. Let g be h(5). Let m = g - -15. Does 21 divide (3/m)/((-1)/(-106))?
False
Let a(b) = b**2 + 5*b. Let c be a(4). Let g = c + -13. Suppose -k + g = -0. Is k a multiple of 23?
True
Suppose 0 = -4*x - 20, g + 4*g = -4*x + 60. Suppose 0*d = d - 2*i - g, 2*i = -5*d + 68. Suppose -5*j + 30 = z, -z + 0*z = j - d. Is z a multiple of 10?
True
Suppose 0 = -3*o + 3*r + 210, -3*r + 189 = 5*o - 129. Does 2 divide o?
True
Does 7 divide 2 + (-10150)/(-77) + 2/11?
False
Does 13 divide (-386)/(-10) + -3 + 51/15?
True
Suppose -m - 2*s = m - 148, -4*m + 287 = -5*s. Is 64 a factor of m?
False
Let y(r) = r**2 - 3*r - 6. Let m be y(5). Suppose m*u = -0*u + 148. Is u a multiple of 14?
False
Let n(q) = q**3 + q**2 + 4. Let t(x) = -x**2 + 1. Let v(i) = n(i) - 3*t(i). Let w = 4 + -7. Is 10 a factor of v(w)?
True
Suppose 0 = 11*j - 7*j - 56. Is j a multiple of 10?
False
Let k(r) = r - 4. Suppose 4*a = -3*i + 4, 5*i = -0*a + 5*a + 30. Let d be k(i). Suppose d = -2*g + g + 12. Is g a multiple of 6?
True
Is (516/60)/(1/5) a multiple of 16?
False
Let a(x) be the third derivative of -x**4/4 - x**3/3 - 2*x**2. Does 16 divide a(-7)?
False
Let m(r) = r**3 + 2*r**2 + r. Does 9 divide m(2)?
True
Let j be ((-3)/2)/(4/(-8)). Does 4 divide 5 - (j - (2 - 0))?
True
Let y be ((-6)/4)/((-3)/6). Let h = 168 + -58. Suppose 2*b = -y*b + r + h, 38 = 3*b + 5*r. Is 21 a factor of b?
True
Suppose 4*j = 25 + 39. Does 16 divide j?
True
Let h = -13 + 18. Let f(p) = h - p**2 - 2*p + p + 1. Does 3 divide f(0)?
True
Let h(n) = -32*n - 9. Is 28 a factor of h(-10)?
False
Let y = -3 + 12. Suppose -y = 2*u - 147. Is u a multiple of 25?
False
Let y(t) = -t**2 - 20*t - 17. Is 17 a factor of y(-14)?
False
Let j = 2 + -4. Is 14 a factor of 2 - 1*6*j?
True
Let d = -95 - -170. Is 18 a factor of 