uppose 0 = s - 2*m + 3, 2*s = i*m + 6 - 2. Is 7 a factor of s?
True
Suppose 3 = 4*q - 2*q - 3*d, -4*q = -5*d - 3. Let v(a) = a**2 + 3*a. Let r be v(q). Suppose k = r, 0 = 3*f - f - 3*k - 76. Is 18 a factor of f?
False
Let i(p) = -25*p - 1. Let q be i(-1). Let b = q + -16. Does 3 divide b?
False
Let g(n) = 17*n - 7. Is g(2) a multiple of 6?
False
Let y(q) = 5*q + 2. Let p(s) = -s**2 - 11*s + 8. Let z(a) = -a**2 - 3*a - 1. Let g be z(-5). Let i be p(g). Does 14 divide y(i)?
True
Let y be 6*2/4 + 22. Suppose -2*n + 35 = -5*o, -2*o - 3*o - y = -n. Is 5 a factor of n?
True
Let i = 0 - -5. Suppose 0 = -i*s + 4*j + 328, -4*j = -0*s - s + 72. Is 8 a factor of (2/(-4))/((-2)/s)?
True
Suppose 2*u = 2*a - a + 53, 4*a = 5*u - 131. Let f(k) = -3*k - 5. Let d be f(-4). Let y = u - d. Is y a multiple of 10?
True
Let q = 9 - -14. Is q a multiple of 9?
False
Is 12 a factor of (510/35)/((-5)/(-35))?
False
Suppose -4*u + 3*g = 3, 3*u + 0*u - 5*g = -16. Suppose -2*r = -u*r + 32. Does 16 divide r?
True
Suppose w + 4*l + 18 = 0, 5*l = -3*w - 0 - 19. Let s(c) = -6*c**3 + 9*c**w + 5*c**3 + 2 + 2*c - 8. Does 6 divide s(9)?
True
Let q = 4 + -1. Let p = 3 - q. Suppose d + 5*a - 37 - 8 = p, -2*d - 4*a = -78. Does 20 divide d?
False
Suppose -2 = -2*d + 4. Is d a multiple of 2?
False
Suppose 3*k - 4*u - 177 = 0, 3*k = -4*u + 64 + 137. Is 36 a factor of k?
False
Let m(i) = -i**3 - 9*i**2 - 9*i - 11. Let v be m(-8). Is 15 a factor of -1 - v/(9/48)?
True
Suppose -3*w = -3, 0 = 4*n + w + w - 314. Is n a multiple of 11?
False
Let m be (-116)/14 - 2/(-7). Let l = m - -4. Does 7 divide (-84)/(-9)*(-6)/l?
True
Let c(h) = 13*h. Let n be c(-1). Suppose 3*r - 6 = 0, 5*a - 124 = -2*r - 0*r. Let m = n + a. Is 11 a factor of m?
True
Let m = 109 - 70. Is m a multiple of 13?
True
Let s(x) = x - 3. Let f be s(3). Suppose f = g - 3. Suppose 2*v + 2*p = 32, -v + 2*p = -g*p + 8. Does 12 divide v?
True
Let p(h) = -4*h**3 + h**2 + h. Let y be p(-1). Suppose -2*t - y*w = -0*t - 28, 0 = 2*t + 3*w - 28. Is 3 a factor of (2/t + -1)*-7?
True
Is (-92)/((-2 + 1 - 0) + 0) a multiple of 11?
False
Suppose -5*n = s - 290, -2*n = -3*n + 1. Let x = s + -116. Suppose -6*c + 3*c = -3*h + 123, 5*c = 4*h - x. Is h a multiple of 16?
False
Suppose 0 = -3*v + v + 8. Suppose -l = -v*x + 48, x + 4*x + 3*l = 60. Is x a multiple of 12?
True
Let s = -14 - -17. Suppose 0 = s*l + l - 80. Does 20 divide l?
True
Let o = 127 + -87. Is o a multiple of 8?
True
Let o(q) = 17*q - 10. Let c(r) = 2*r**2 + 8*r + 8. Let p be c(-4). Is o(p) a multiple of 36?
False
Let a = -3 - -6. Does 16 divide (-11 + 3)/(a/(-12))?
True
Suppose r - 10 = 2*v, 0*r = 3*r + v - 44. Is 7 a factor of r?
True
Suppose 2*d - 26 = 3*d. Let v = d + 52. Does 18 divide v?
False
Suppose -8*t = -4*t. Suppose 5*j - 39 - 141 = t. Does 19 divide j?
False
Let v = 12 - 10. Suppose 0 - v = -y. Is y a multiple of 2?
True
Let r(q) = -q**2 + 8*q - 7. Let v be r(6). Suppose 0 = v*u - 3 - 2. Is 16 a factor of (-132)/(-8) + u/(-2)?
True
Suppose r + 1 + 1 = 0. Let z = 0 - r. Suppose 0 = -w + 6 + z. Is w a multiple of 4?
True
Let x be (3 + -4)*3/(-1). Suppose -r + 0*r + 63 = -2*o, 0 = -3*r + x*o + 174. Does 12 divide r?
False
Suppose 4*b + l = 3*l + 14, -5*b = -l - 22. Let k = -5 + b. Is 2 a factor of 2 + (k - (0 + -3))?
False
Let b be 3/(-9) - (-7)/3. Is (b - -1)/3*23 a multiple of 7?
False
Let k(d) = -2*d**2 - 2. Let h(x) = 2*x**2 + 2. Let o(n) = 6*h(n) + 5*k(n). Is o(-3) a multiple of 14?
False
Suppose 284 = 3*g - x, -5*g + 3*x + 0*x = -480. Is 31 a factor of g?
True
Suppose 0 = -5*y - 14 - 26. Is 22 a factor of y/(-3)*(-18)/(-2)?
False
Let w(x) = -x**3 + 7*x**2 + x - 1. Let c be w(7). Is 131/c + (-4)/(-24) a multiple of 6?
False
Let w be (4 + -1 + -1)*-2. Is 32 + (-2)/w*4 a multiple of 14?
False
Suppose -2*z - 40 = -6*z. Let s(d) = 2*d - 13. Does 4 divide s(z)?
False
Let i(f) = f + 6. Suppose -4*t = 3*s + 20, -3*t - 21 = -5*s - 6. Let r = 0 - t. Does 4 divide i(r)?
False
Let y(n) = -n**3 + 17*n**2 + 18. Does 8 divide y(17)?
False
Let o(s) = s**2 - 6*s - 7. Let b be o(7). Suppose b = -0*h - 4*h + 20. Suppose 0*q - 5*q = 2*c - 36, h*q = c + 12. Is 6 a factor of c?
False
Let x = -68 + 35. Let j = -17 - x. Is 8 a factor of j?
True
Suppose 0 = -0*n + 4*n - 8. Let z = 6 - n. Is z even?
True
Let b(j) = 2*j - 11. Let p be b(8). Suppose -6 = 4*q + 5*t, q + 22 = -2*q + p*t. Let w = q + 6. Is w a multiple of 2?
True
Suppose 3*w = 7*w - 64. Does 8 divide w?
True
Let j be 9/(-4)*(-2 + -2). Let k(b) = 3*b - 12. Is 14 a factor of k(j)?
False
Let h be 190/(-25) + 2/(-5). Let p = -31 + h. Let r = -26 - p. Does 13 divide r?
True
Suppose 4 = -2*y, -4*y - 18 = -4*z - 3*y. Suppose 4*b - 48 = -z*q, -3*b - 48 = -3*q - 0*b. Is 14 a factor of q?
True
Is 6 a factor of 18/27 + 93/9?
False
Let k be (3/(1 - 2))/(-1). Suppose -70 = -2*u + 3*i, u = -2*u + k*i + 108. Let g = u + -18. Is 13 a factor of g?
False
Let y(q) = -q**2 + 13*q. Let t be (-7 - -4)/(3/(-10)). Is 15 a factor of y(t)?
True
Suppose 4*b = -f + 17, -10 = -0*f + f - 5*b. Suppose 6*x - f*x - 31 = 0. Does 6 divide x?
False
Let d be 426/21 + 2/(-7). Suppose 0 = 5*f - 25, l = -0*l + 4*f - d. Suppose -44 = -2*z - l*j - 4*j, -108 = -4*z - 3*j. Does 15 divide z?
True
Suppose 0 = 3*f - 5*b - 166, 4*f - 204 = -3*b + b. Suppose -i + 5*i = f. Is i a multiple of 12?
False
Let p(s) = s**2 - 4*s + 5. Suppose -3*k + 4 = -8. Is p(k) even?
False
Suppose 2*q - 141 = -4*h - q, h - 24 = 3*q. Let a = 46 - h. Let u = a - 6. Is u a multiple of 7?
True
Suppose 555 = 5*f + 4*l, 3*f + 3*l = 4*l + 333. Suppose 3*q - 68 = v + f, -5*v - 175 = -3*q. Is 20 a factor of q?
True
Let s(x) = x**3 - 11*x**2 + 11*x. Let v = -5 - -15. Is s(v) a multiple of 5?
True
Let a(r) = 7*r**2 - 21. Is a(-6) a multiple of 21?
True
Let w(j) = 8*j**2 - 29*j - 8. Let x(l) = 2*l**2 - 7*l - 2. Let h(u) = -2*w(u) + 9*x(u). Is h(6) a multiple of 10?
True
Let s(b) = -7*b**2 - 10*b + 10. Let g(w) = 8*w**2 + 11*w - 11. Let v(m) = -5*g(m) - 6*s(m). Let n be v(-5). Is 0 + -3 - (-3 - n) a multiple of 10?
True
Suppose -3*c = 2*c - 25. Suppose 2*v = c*v - 9. Suppose -u = 4*q - 12, 8*u + 2*q - 114 = v*u. Is 14 a factor of u?
False
Let b = 2 - -2. Suppose 5*v + l + 5 = -4*l, -b*l = -5*v + 4. Suppose 4*p - 5 - 75 = v. Is 11 a factor of p?
False
Suppose -b - 4*q = 29, 2*b - 2*q + 64 = -4*q. Let t be (-10)/((-63)/b - 2). Let w = -59 + t. Does 22 divide w?
False
Suppose 0 = 4*u - 53 - 59. Let c = -18 + u. Is 10 a factor of c?
True
Let v = -19 + 22. Suppose v*r + 0*h = -2*h + 28, 0 = 2*r + 4*h - 8. Does 5 divide r?
False
Suppose -133 - 247 = -5*y. Is y a multiple of 19?
True
Let u = 100 + -28. Is u a multiple of 18?
True
Is (-8)/36 - ((-3464)/18)/2 a multiple of 32?
True
Is ((-5)/3)/((-1)/6) even?
True
Suppose -2*f + 3 = -3. Suppose -5*i + f*i = -56. Is 14 a factor of i?
True
Suppose 4*k - k = 0. Suppose -2*r - 2*r + s + 11 = 0, 0 = r - 5*s - 17. Suppose k = -2*f - r*f + 56. Is f a multiple of 12?
False
Does 7 divide -28*(0 - 65/10)?
True
Suppose -3*z = 2*m - 14, -2*z + 0*z - 2*m + 12 = 0. Let b be 1/(-4) - (-33)/4. Suppose -4*g = -z*c + 66, -b = 3*g + 7. Is c a multiple of 8?
False
Let g = -1 + 4. Let c(j) = g*j + j + 0*j. Does 14 divide c(7)?
True
Let m be 0*(-1 - (-1 + -1)). Suppose m*a - 3*f = 4*a - 66, -73 = -5*a + f. Is a a multiple of 4?
False
Let i(x) = 4*x + 36. Is 32 a factor of i(15)?
True
Suppose -4*w + 0*w = -24. Let b = 8 - w. Suppose 0 = 3*h - 2*c - 37, -4*h = -b*c + c - 51. Does 4 divide h?
False
Let s(y) = -2. Let w(n) = 2*n + 38. Let r(o) = -28*s(o) - 2*w(o). Is r(-18) a multiple of 16?
False
Let y = -6 - -4. Let q be 1/y - 94/4. Let v = 50 + q. Is v a multiple of 13?
True
Suppose -i = -5*i + 20. Suppose i*c + 2*g = 5, 2*g = -5*c - g. Let t = 34 + c. Does 17 divide t?
False
Suppose 2*c - 3*s = 3*c - 100, 2*c = 4*s + 210. Is c a multiple of 33?
False
Let a be (2/6)/(3/36). Let t = 10 - a. Is 13 a factor of 0 + 24 + t/3?
True
Is 510/9 + 5/15 a multiple of 28?
False
Let u(s) = s + 18. Let n be u(-13). Suppose 116 = n*k - 9. Is 11 a factor of k?
False
Does 63 divide (-6)/(-14) - (78660/21)/(-10)?
False
Let y(j) = 52*j**2 - 2*j + 1. Is y(1) a multiple of 17?
True
Let t be (2/1 - 3)*0. Let p be (6/(-4))/((-2)/4). Is 3 a factor of (-2)/((-2)/p + t)?
True
Let g be (-1)/(2/(-52)) + -1. Let y = g 