. Suppose 5*s = -4*r + 203, 0 = -2*s - 5*r + o - 9. Let u = s + -23. Is u a multiple of 16?
True
Let q = 32 - 22. Let n(r) = 2*r - 8. Let w be n(q). Is 3 a factor of 40/w + (-2)/6?
True
Suppose y - 39 = 27. Is 6 a factor of y?
True
Suppose 3*o - 36 = 2*b, -5*o - 1 = b + 4. Does 16 divide (-381)/b - 6/15?
False
Let p = -34 + 41. Is 4 a factor of p?
False
Let i(p) = p**2 + 85. Is 14 a factor of i(0)?
False
Let x = -13 + 19. Let i = x - -6. Is i a multiple of 3?
True
Suppose 0*n + 2 = n. Let f = -94 + 132. Suppose -y = -2*l - 0*y + 38, 2*l - f = n*y. Does 8 divide l?
False
Let t(w) = -2*w**3 + 2*w**2. Let u be t(-3). Suppose 4*x - u = -4*f, 2*f + 82 = 5*x - f. Does 11 divide x?
False
Let j(l) = -l**3 + 8*l**2 - 7*l + 1. Let v be j(7). Let f be (v/(-3))/((-1)/9). Suppose -f*t + 42 - 6 = 0. Is t a multiple of 11?
False
Let n(b) = -8*b - 2. Let p be n(3). Suppose -160 = -4*x + 4*v, 3*v = 5*x - 97 - 103. Let w = x + p. Is w a multiple of 7?
True
Let l(m) = m - 1. Let j be l(4). Suppose 4*o - 10 = -c, -c + 2*o + 28 = -j*o. Is c a multiple of 6?
True
Suppose 0 = 2*c - m - 2*m - 112, c - 4*m = 66. Is 25 a factor of c?
True
Suppose -5*m = 3*j + 25, 0 = 2*j + m - 5*m - 20. Suppose r + 0*r - 3 = j. Suppose 0 = r*p - 2*p - 42. Is 14 a factor of p?
True
Let j be (-6)/(-9) - (-224)/6. Let c = -32 + 13. Let y = j + c. Does 7 divide y?
False
Let v be 6/(-18) - (-10)/3. Suppose -2*z = b - 19, v*b = -0*z - 4*z + 49. Does 7 divide b?
False
Suppose -2*d - 5*t + 95 = 0, 55 = 2*d - 4*t - 31. Is 9 a factor of d?
True
Let i(a) = 9*a - 17. Let s(u) = 1. Let x(d) = i(d) + 6*s(d). Is 25 a factor of x(4)?
True
Is (35/28)/(5/360) a multiple of 39?
False
Suppose 0 = -2*n - n - v + 9, -3*n - 3*v = -9. Is n a multiple of 2?
False
Let r(t) = 11 - 4 + 2*t + 3. Suppose -4*f - 22 = -0*x - 2*x, x - 1 = -3*f. Is r(x) a multiple of 8?
True
Let v be (-1796)/18 - 6/27. Let q = -58 - v. Is 20 a factor of q?
False
Let d(k) = 2*k**2 - 3*k + 1. Let j be d(2). Suppose -4*u = -5 - j. Is u a multiple of 2?
True
Let k(c) = c**3 - 4*c**2 + 3*c - 3. Let l be k(3). Let b be l*1/(-3) - 25. Does 10 divide (-8)/(b/(-15) - 2)?
True
Let g be 3 + 2/1 - 1. Is 7 a factor of (-134)/(-10) + g/(-10)?
False
Let n = 7 - -1. Is 5 a factor of n?
False
Let p(n) = -n**3 - 6*n**2. Suppose -o + 0*o = 6. Let w be p(o). Suppose 19 = -w*k + k. Is k a multiple of 13?
False
Suppose -4*v + 8*v - j = 112, 4*v = 2*j + 108. Let l = v + -3. Is l a multiple of 13?
True
Let k be (-5)/15 - (-4)/(-6). Suppose 0 = 5*u + 3*y + 12 + 150, 128 = -4*u - 2*y. Does 10 divide (k - u) + -1 + -1?
False
Suppose 4*h - 2*h = 24. Suppose 7*k + 70 = h*k. Is k a multiple of 9?
False
Suppose -3*c = 5*k - 2*c - 245, 0 = 4*k + 3*c - 185. Is k a multiple of 25?
True
Let b(k) = k**2 - 8*k - 3. Let m be b(6). Let h be (-177)/(-15) + (-3)/m. Suppose s - 10 = h. Is s a multiple of 11?
True
Let b(h) = h**2 - 6*h - 14. Let o be b(8). Suppose 2*g = 3*j - 127, -o*j + 147 = j + 3*g. Is j a multiple of 7?
False
Let i(p) = -4*p + 2. Let a be i(3). Let z(k) = k + 16. Let c(g) = 1. Let t(y) = -2*c(y) + z(y). Is t(a) even?
True
Let a(g) = g**3 - 4*g**2 - 5*g + 3. Let k be a(5). Let z be k - 1 - 2/(-2). Is 14 a factor of (-1)/3 - (-118)/z?
False
Suppose -3*m = -4*m + 3. Suppose 0 = 5*g - 3*t - 37 - 25, -4*g = -m*t - 52. Is g a multiple of 3?
False
Suppose 0 = 2*x + 28 + 4. Let o = -68 + 100. Let j = x + o. Does 8 divide j?
True
Suppose -5*t + 2*x + 745 = 0, 8*t - 10*t = 2*x - 298. Is 18 a factor of t?
False
Suppose 2*a = -0*a + 96. Let r(g) = -g**3 - 5*g**2 - g - 5. Let z be r(-5). Suppose z = -0*c + 4*c - a. Is 12 a factor of c?
True
Suppose 3*k - 23 = 46. Does 10 divide k?
False
Let z = 5 + -6. Is 26 a factor of 18*z*(-26)/6?
True
Let t be (-153)/(3 + -6) + 1. Suppose m + 50 = 3*x - m, 4*x + m = t. Does 14 divide x?
True
Let r = -42 + 56. Does 14 divide r?
True
Let o be 2 - 3/(3/14). Let a = 17 + o. Suppose 4*h - a*d - 35 = 0, -2*h = d + 2*d - 1. Is h even?
False
Let c(y) be the second derivative of -23*y**3/6 - y**2/2 - y. Let b be c(8). Is 9 a factor of (-1)/3 + b/(-15)?
False
Let s be 1/8 + 230/80. Suppose 4*f - 50 = s*f. Is 25 a factor of f?
True
Let p = -250 + 397. Does 21 divide p?
True
Suppose -51 = -4*t - 3. Suppose 0 = -3*h - t, 122 = 2*d - 8*h + 3*h. Is 17 a factor of d?
True
Suppose u - 29 = 59. Does 22 divide u?
True
Suppose -2*l + 3 + 1 = 0. Suppose -27 = x - l*x. Is x/6 - 2/(-4) a multiple of 5?
True
Suppose -24 = 2*d - 4*o, 3*d - 5*o + 4*o + 56 = 0. Let f = -9 - d. Is f a multiple of 4?
False
Suppose 0 = -0*z - 2*z - 86. Let u = -7 - z. Does 18 divide u?
True
Suppose -i - 3*k = -4, -i - k = -2*i + 12. Let a = i + -6. Is 2 a factor of (-114)/(-27) + a/(-18)?
True
Let t be ((-6)/9)/((-4)/12). Suppose 4*l = -2*f + 8, 0 = -0*l + t*l + 10. Is 7 a factor of f?
True
Let l be (-4)/(-14) + (-623)/(-49). Let s = 23 - l. Does 10 divide s?
True
Suppose 3*q + 1 = -i - 6, 2*q - 18 = 5*i. Let g = 4 + i. Suppose g = -5*z - 1 + 11. Is z even?
True
Is (48/(-20))/(3/(-40)) a multiple of 8?
True
Is 1*(0 - 1)*-100 a multiple of 26?
False
Suppose 0 = -7*z + 2*z - 3*u + 25, -3*u = -2*z - 11. Suppose 2*y + 10 + 2 = 0. Is 8 a factor of y/12 - (-33)/z?
True
Let v(r) = -r**3 - 6*r**2 - 3*r - 1. Let s be v(-6). Suppose -3*c + 1 = -s. Is 5 a factor of c?
False
Let b(l) = -l - 15. Let k be b(-13). Is (13/k)/(1/(-2)) a multiple of 13?
True
Let m = 5 + -3. Suppose 4*r = m*r + 204. Suppose -6*h = -3*h - r. Does 19 divide h?
False
Let v(c) = 10*c - 5. Let m be v(-4). Is 4 a factor of m/(-3) - (4 - 3)?
False
Is (-100)/6*(-72)/30 a multiple of 11?
False
Suppose g + 4*g = 160. Is g a multiple of 10?
False
Let p(g) = g**3 + g**2 + 2*g + 47. Is 26 a factor of p(0)?
False
Let j(x) = -x**3 + 5*x + 2. Suppose w + 15 = -4*w. Does 10 divide j(w)?
False
Let j = 4 + -10. Let s(b) = b**2 + 6*b + 2. Let z be s(j). Let y = 11 - z. Is y a multiple of 7?
False
Suppose -8*s = 119 - 951. Does 13 divide s?
True
Let m(f) = f**3 + 4*f**2 + 3*f + 4. Let b be m(-3). Suppose -3*x + 12 = 5*p - 21, b*x + 2*p - 44 = 0. Is x a multiple of 11?
True
Let k(j) = 0*j - 4 - j + 2*j + 3*j**2. Suppose 3*c = 3, 4*p = 2*c - 11 - 7. Is 19 a factor of k(p)?
False
Let h(l) = l**2 - 2*l - 12. Does 12 divide h(6)?
True
Is ((-2)/3)/(1*3/(-54)) a multiple of 6?
True
Let o(v) = -v**3 - 4*v**2 - 2*v + 2. Let u be o(-2). Let b(j) = -j**3 + j**2 - j + 17. Let d be b(0). Let f = u + d. Is f a multiple of 15?
True
Suppose 3*p = -3*d + 546, -3*d + 182 = -2*d - 3*p. Is d a multiple of 35?
False
Let h be -1 + 1 + 1 - -3. Let j be h - 3 - (-2 + 1). Suppose -40 = -3*y - j*y. Does 3 divide y?
False
Let k(q) = q**3 + 8*q**2 + 2*q + 2. Let x be k(-5). Let i = x + -27. Is i a multiple of 13?
False
Let o = -22 + 66. Is 11 a factor of o?
True
Let r(x) be the first derivative of -31*x**2/2 + x - 2. Does 16 divide r(-1)?
True
Suppose -6 - 12 = -2*l. Is 9 a factor of l?
True
Suppose 4 = 5*o - 6. Is (-37)/o*(-14)/7 a multiple of 12?
False
Suppose d - b = 183, -b - 357 = -2*d + 4*b. Let z be 6/9*d/4. Suppose 13 = 4*l - z. Is l a multiple of 11?
True
Let p be 3*(-38)/(-6)*-4. Let v = -24 - p. Let u = 106 - v. Does 18 divide u?
True
Let d be ((-2)/4)/((-2)/8). Suppose -2*h = 4*s + 29 + 7, -2*s - 24 = -d*h. Let t = s - -18. Does 8 divide t?
True
Let x(g) be the second derivative of 5*g**3/3 - 2*g**2 - 4*g. Let c(q) = -q**3 - q**2 - q - 2. Let u be c(-2). Does 10 divide x(u)?
False
Let m(b) = -b**2 - 9*b + 10. Let o be m(-10). Let w(l) = -l**2 + l + 7. Let s be w(o). Suppose 2*n + 95 = s*n. Is n a multiple of 6?
False
Suppose -1 = 4*x - 13. Is 9 a factor of 0 + x/((-12)/(-124))?
False
Let c(h) = -14*h**2 - 3*h + 1. Let k(w) = w**2 - w + 1. Let f(s) = -c(s) - 2*k(s). Let g be f(3). Suppose 0 = -5*m - 0*m + g. Does 15 divide m?
False
Let c(i) = 8*i**2 - 3*i + 3. Is 14 a factor of c(-3)?
True
Let w be (12/10)/((-2)/(-5)). Suppose 4*u = -3*j - 4 + w, 0 = -u + 3*j - 4. Is 2 a factor of (u + 2)*-2 - -7?
False
Let v(p) = 14*p + 4. Let i be v(4). Suppose i = 4*r - 6*r. Is 6 a factor of (6/(-9))/(1/r)?
False
Let r = 81 + -37. Suppose n - 5*n - 2*k - r = 0, 2*k - 64 = 5*n. Does 6 divide (-3)/(-4) - 207/n?
True
Suppose 3*q - 4*p = -q + 12, 3*q = -3*p + 39. Does 2 divide q?
True
Suppose -3*n + 4*t = -6*n + 197, -n = -3*t - 57. Is 7 a factor of 2*-3*n/(-18)?
