*t + 8 = 0, -3*f - 3*t = -m. Does 3 divide ((-6)/(-12))/(f/12)?
True
Suppose -3*x = -0*x + 213. Let y = x + 131. Suppose 0 = g + 2*g - y. Is 12 a factor of g?
False
Let w(l) = 50*l**2 + 1. Is w(1) a multiple of 17?
True
Let j be ((-1)/2)/((-2)/12). Suppose -4*h + h = 9, -42 = -j*t + 3*h. Is t a multiple of 11?
True
Let z be (-4 - -3)*-4 - 0. Suppose 5*s - 79 = -3*y, 2*y = z*y - 3*s - 59. Is y a multiple of 17?
False
Suppose 3*d - u - 61 = 11, -u = 3*d - 78. Let k(w) = 2*w + 13. Let g be k(-15). Let a = d + g. Is a a multiple of 4?
True
Suppose 3*b - 231 = 57. Is 16 a factor of b?
True
Let c(w) = w**3 - 6*w**2 + 6*w + 3. Let m(j) = 4*j**2 + 2*j - 3. Let n be m(2). Suppose -8 - n = -5*r. Is 8 a factor of c(r)?
True
Let c(u) = u + 17. Let j be c(0). Let z = j + 40. Is z/2 + 3/6 a multiple of 22?
False
Let j = -3 + 7. Suppose 0 = j*g + 8, 0 = 4*x + 3*g - 6*g - 74. Is 17 a factor of x?
True
Let f = -5 - -56. Let d = f + -33. Does 6 divide d?
True
Let u be 3 + (-4)/(12/(-9)). Suppose -3*t = -u - 36. Is t a multiple of 14?
True
Let d(f) = -26*f - 9*f - 13*f - 6*f. Does 31 divide d(-1)?
False
Suppose 320 = -19*x + 23*x. Does 8 divide x?
True
Suppose 0*b + 2*b - 26 = 0. Let v = b - -20. Is 13 a factor of v?
False
Let t = -9 + 23. Is t a multiple of 10?
False
Let n(r) = r**3 + 4*r**2 - 8*r - 12. Is 2 a factor of n(-5)?
False
Let u(w) = w**3 + 3*w**2 + 4*w. Suppose -12 = i + 5*z + 1, -5*i + 2*z - 11 = 0. Let h be u(i). Let c = 28 + h. Does 8 divide c?
True
Let y(q) be the third derivative of q**6/120 + q**5/60 + 7*q**3/3 - 2*q**2. Let t be y(0). Is 44/7 - 4/t a multiple of 3?
True
Suppose 7*h = 9*h - 120. Is 15 a factor of h?
True
Suppose 0 = -y - 3*k - 2*k - 2, -3*k - 102 = -5*y. Does 9 divide y?
True
Suppose 3*j + 8 = -4*g, g + j + 5 = 2. Let k be 3 + (-4)/(-2)*g. Suppose 0 = -3*o - 5*w - 0*w + 43, 85 = 5*o - k*w. Is 8 a factor of o?
True
Let i = 7 - 7. Suppose -4*a = -3*p - 20 - 6, i = -a + 5*p + 15. Is a a multiple of 2?
False
Let n(f) = 1 + 2*f**2 + 5*f - 5 + 5. Let o be ((-3)/2)/((-3)/(-8)). Is n(o) a multiple of 13?
True
Let z be 3/(-1) - (-9)/(-1). Let x(q) = q**2 + 10*q - 17. Is x(z) a multiple of 3?
False
Is 6/(-12)*256/(-2) a multiple of 18?
False
Let s(a) = -3*a + 8. Let r be s(-10). Let n = -3 + r. Does 18 divide n?
False
Is (-6)/3 - -4 - -34 a multiple of 11?
False
Does 11 divide 22 + 2 + (-2)/2?
False
Let z(x) = 2 + 1 - 5 + 4*x. Does 3 divide z(2)?
True
Let d(c) = -c**2 - 9*c - 6. Let t be d(-8). Suppose 4*i - i = t*l - 5, l - 4*i = 0. Suppose l*q - 39 = q. Is 10 a factor of q?
False
Let t(x) = 2*x**2 + 7*x - 15. Suppose 1 - 10 = -y + 4*z, 2 = 2*y - 4*z. Is t(y) a multiple of 16?
False
Is (2 - (-28)/10)*(-70)/(-7) a multiple of 16?
True
Let c(v) = 3*v**3 + 7*v**2 - 8*v + 4. Let a(b) = -2*b**3 - 7*b**2 + 8*b - 4. Let s(l) = -4*a(l) - 3*c(l). Is s(3) a multiple of 4?
True
Let p(s) = s**3 - 5*s**2 + s - 8. Let h be p(6). Suppose h = -5*b + 229. Is b a multiple of 13?
True
Let y(c) = c**2 - 7*c + 4. Let a be y(7). Suppose -3*t + a*t - 3 = 0. Suppose -2*i + 2*l + 6 = 0, 0*i + i + t*l - 15 = 0. Is i a multiple of 3?
True
Let j = -26 - -98. Is j a multiple of 12?
True
Does 8 divide (-912)/(-32) + (-2)/4?
False
Suppose -s = 4*w - 37, 3*w + s + 1 = 29. Is w a multiple of 9?
True
Let g = 16 + -11. Suppose -s = -g*t + 180, -4*t + 4*s + 3 + 141 = 0. Does 18 divide t?
True
Let d(b) = -2*b + 22. Let j(u) = -1. Let z(s) = -d(s) - 6*j(s). Is z(12) a multiple of 7?
False
Let o be -7*3/(12/(-20)). Suppose o = -3*k + 143. Does 12 divide k?
True
Suppose 6*z - 72 = 5*z. Is z a multiple of 13?
False
Suppose b = -2, 2*f + 2*b = -3*f + 866. Is f a multiple of 29?
True
Suppose o + 105 = 5*c, 4*c = -o - 0*o + 84. Is 7 a factor of c?
True
Let o = 59 + -14. Is o a multiple of 14?
False
Does 12 divide (-715)/(-25) + (-8)/(-20)?
False
Suppose -i = -3*g + g + 235, -5*i = -5*g + 580. Does 17 divide g?
True
Let y(s) = s**3 - 13*s**2 + 5*s - 8. Is 19 a factor of y(13)?
True
Let p be 2/(2/7 + 0). Let r(k) = -1 - k + 3 - p*k - 3. Is 8 a factor of r(-2)?
False
Let i = -4 + 5. Let a = i + 1. Suppose 20 = 6*q - a*q. Is 2 a factor of q?
False
Suppose -3*s = s - 24. Suppose -3*f + 9 + 0 = 0. Suppose 5*l = -f*y + 14, 5*y + 0 = -l - s. Is l a multiple of 4?
True
Suppose -4 = -m - 0. Suppose -2*f - m*a + 214 = 0, 3*f + a - 321 = -0*f. Let j = -71 + f. Does 15 divide j?
False
Let s(q) = -8*q + 2. Let t(k) = k - 1. Let b(u) = -2*s(u) - 2*t(u). Does 9 divide b(2)?
False
Let j = -39 + 79. Does 8 divide j?
True
Let t be (12/(-10))/((-3)/15). Let a be (0 - 39/t)*-2. Is (2 - (0 + 2)) + a a multiple of 4?
False
Suppose 3*i + 48 = 7*i. Suppose 3*j - 7*j = -i. Suppose -5*a = -3*f + 5, 0 = f - j*a + 1 - 0. Does 4 divide f?
False
Let x(a) = a + 18. Let t be x(-17). Is -2*t*(2 - 16) a multiple of 8?
False
Let u = -36 + 60. Does 6 divide u?
True
Suppose 2*k - k = 0. Suppose k = c - 3 - 6. Is c a multiple of 6?
False
Let v(y) = 3*y - 4. Let o be v(3). Suppose 0*d - o*d + 3*r = -38, r = 4. Is 5 a factor of d?
True
Let q(p) = -2*p + 2. Let v(j) = -2*j**2 - 1. Let g be v(1). Is 4 a factor of q(g)?
True
Let r(n) = 5*n**3 - 3*n**2 + n - 4. Let v(w) = 6*w**3 - 2*w**2 - 4. Let o(u) = -5*r(u) + 4*v(u). Is o(6) a multiple of 10?
True
Let g(v) be the first derivative of v**6/120 + v**5/10 - v**4/24 + v**3/2 - v**2/2 - 2. Let p(m) be the second derivative of g(m). Is p(-6) a multiple of 5?
False
Suppose -i = -3*h - 45, -4*i - 6*h = -2*h - 148. Does 13 divide i?
True
Let n = -186 + 64. Let t be 4/(-8) - n/4. Is 17 a factor of t*((1 - 2) + 2)?
False
Let w be (-80)/14 - (-2)/(-7). Let m be 3/(1 - (-4)/w). Does 3 divide m/(-2)*(-4)/6?
True
Let b be ((-2)/(-2) - -1) + 39. Let z = b + -25. Does 8 divide z?
True
Suppose -2306 = -5*z + 2*b, 5*z - 5*b - 168 = 2147. Does 20 divide z?
True
Suppose 0 = 6*w - 16*w + 2040. Is 15 a factor of w?
False
Suppose 5*s = 4*s + 2. Let n be ((3 - s) + 20)*1. Let b = n - -9. Is 10 a factor of b?
True
Let l = 7 + 31. Is 12 a factor of l?
False
Suppose -6 = -5*u + 3*y, 3*u - y + 2 = 8. Suppose -b + 0*g - u*g = -12, -2*b + 4*g + 44 = 0. Is 18 a factor of b?
True
Let n(l) = l**2 + 10*l - 8. Is n(4) a multiple of 4?
True
Let k(b) = -2*b - 1. Let n be k(-6). Suppose -4*t + n = -p, -3*p - 3 = 3*t - 5*t. Is p*-24*(-8)/6 a multiple of 11?
False
Suppose -d - 2*d + 5*i = -15, 0 = 4*d - 2*i - 34. Is 6 a factor of d?
False
Let r(m) = -m + 1. Is 2 a factor of r(-8)?
False
Let f be (2 + -8)*-1*1. Let x be (-287)/(-3) - 4/f. Let b = x + -53. Is 14 a factor of b?
True
Suppose 10*b = 2*b + 240. Is b a multiple of 6?
True
Suppose -6*g + 200 = -g. Does 20 divide g?
True
Let h = 0 - 6. Let z = -41 - -59. Does 13 divide (h/z)/(2/(-78))?
True
Let l(a) = 9*a - 5. Let b(o) = 4*o - 2. Let q(s) = 7*b(s) - 4*l(s). Is q(-2) a multiple of 11?
True
Let k(b) = -14*b + 2. Let z(a) = -14*a + 3. Let r(d) = 4*k(d) - 3*z(d). Suppose 1 = t + 3. Is r(t) a multiple of 17?
False
Suppose 0*m = -2*m + 36. Is 6 a factor of m?
True
Let g(y) = 9*y - 3. Let h(k) = k**3 - 6*k**2 - 3*k + 9. Let t be h(6). Let l be g(t). Is (l/(-9))/((-6)/(-9)) a multiple of 7?
True
Let m be (-3)/3*(0 + 1). Let q(u) = 12*u**2 - u - 1. Is q(m) a multiple of 2?
True
Let n(c) = -16*c. Let h be n(-2). Let g = h + -22. Suppose g + 2 = 2*r. Is r a multiple of 6?
True
Suppose -3*j = -0*j - 21. Suppose -4*q = -j*q + 39. Is q a multiple of 4?
False
Suppose -472 = -2*j + 3*u, 0 = 5*j - u + 5*u - 1134. Suppose 0 = 5*b - 0*b - j. Suppose z + 13 - b = 0. Is 11 a factor of z?
True
Let a(i) = 2 + 21*i**2 - 5 + 2 + 2*i. Does 11 divide a(1)?
True
Is (-1 - 1) + (18 - 15) + 233 a multiple of 39?
True
Suppose -g = -6*g - 5*b + 20, 12 = 4*b. Let i = g - -14. Does 4 divide i?
False
Let i(p) = 4*p - 1. Let o be i(1). Suppose 2*r - o*r + 2*y + 12 = 0, 5*y + 36 = 3*r. Let m = -8 + r. Is m a multiple of 4?
True
Let f be ((-18)/(-21))/((-3)/(-21)). Suppose -3*u + 1170 = 2*u. Is 10 a factor of (2/f)/(6/u)?
False
Suppose 0 = 6*j + 24 - 654. Does 30 divide j?
False
Let p = -11 + 5. Is 14 a factor of (-2)/p - (-240)/9?
False
Let v(t) = -1 + 8*t - 4 + 0. Let k be v(-4). Let q = k - -55. Does 8 divide q?
False
Suppose -5*u + 158 - 55 = 4*f, 4*f - 4*u = 112. Is f a multiple of 9?
True
Let p = 211 + -40. Suppose -2*u - p = -5*u. Is u a multiple of 23?
False
Let k(z) be the seco