- 267 = k. Does 18 divide s?
True
Suppose 5*q - 31 = -3*h, -q - 3 + 6 = -h. Suppose 2 = -2*l, 0 = q*m - 4*l + l - 53. Is 10 a factor of m?
True
Let t be ((-12)/9 - 1)*3. Let p = t + 16. Is 4 a factor of p?
False
Let m(p) = 23*p**3 + 7*p**2 + 3. Let g(w) = 11*w**3 + 4*w**2 + 2. Let t(a) = 5*g(a) - 3*m(a). Is t(-1) a multiple of 7?
True
Suppose -3 + 11 = o. Suppose o = 4*z - 2*z. Is 2 a factor of z?
True
Let z = -9 + 10. Is 7 a factor of 3 - (9/(-3) - z)?
True
Suppose w - 2*d = 35, 2*d + 202 = 5*w + d. Is w a multiple of 10?
False
Let t = 187 + -107. Is t a multiple of 10?
True
Suppose -k + 12 = -3*k - 4*y, 10 = -k - 3*y. Let b(l) = -l**3 - l**2. Let g(q) = 8*q**3 + q**2 + 2*q - 2. Let r(d) = 4*b(d) + g(d). Is r(k) a multiple of 8?
False
Let m = -22 + 24. Suppose -m*n - 24 + 60 = 0. Is n a multiple of 13?
False
Suppose -12 = -2*p + h, 7 = 4*h - 1. Let b be 2/p - 94/(-14). Let c = 14 - b. Is c a multiple of 7?
True
Is 16 a factor of 4/(4 + (-126)/32)?
True
Let r be (-1)/3 - (-12)/9. Let o be r*(-33*2)/(-2). Is 21*(o/9 - 3) a multiple of 14?
True
Let n(c) be the first derivative of c**2/2 + 2*c - 2. Is 2 a factor of n(3)?
False
Let o(c) = -3*c - 20. Is 11 a factor of o(-14)?
True
Let k(z) = 15*z - 13. Is 46 a factor of k(7)?
True
Let r be -15*(0 + 6/(-9)). Does 14 divide ((-56)/r)/(2/(-10))?
True
Suppose -5*m - 14 - 6 = -5*n, 18 = -2*m + 4*n. Let o be (0 + m)*1 - -99. Suppose -4*p = -9*p + o. Is 7 a factor of p?
False
Suppose n - 3*n = -8. Let r be n/2 - (0 - 43). Suppose 0*h + 11 = h + 3*s, 3*h = 3*s + r. Does 14 divide h?
True
Suppose -205 = -3*k - 2*k. Is 13 a factor of k?
False
Let h = 10 - 29. Let a = h + 35. Is 6 a factor of a?
False
Let w(b) = -56*b - 7. Is 9 a factor of w(-2)?
False
Suppose 3*c - 5*c = -84. Is 23 a factor of c?
False
Let i = 78 - 30. Does 28 divide i?
False
Is 3 a factor of 4/((-8)/(-14)) + -2?
False
Suppose 0 = y, 2*v - 5 = -3*v + 2*y. Let o = v + 2. Let g = o - -4. Is g a multiple of 3?
False
Suppose j - 20 - 7 = 0. Suppose -4*b + 3*t + 9 = 0, 0*b - 2*b - 3*t = -j. Let q = -3 + b. Is q a multiple of 3?
True
Let g(s) = -s**2 + 4*s + 7. Let y be g(5). Suppose -w - 6 = -u - 0*w, y*u - 16 = w. Let q = 36 - u. Does 13 divide q?
True
Let b = 12 + -11. Is -5 + b + 1 + 18 a multiple of 5?
True
Let u(p) = p**2 - 7*p - 4. Let g be u(-6). Suppose 5*j - 4*y = 134, 3*j - 5*y = -y + g. Is j a multiple of 18?
False
Let s be 3 + -1 - 2 - -13. Suppose -8*u - 50 = -s*u. Is 7 a factor of u?
False
Let b = -222 - -141. Is 16 a factor of 511/9 + (-18)/b?
False
Suppose -5*k - 3*z = -701, -6*k + 2*k + 4*z + 580 = 0. Is k a multiple of 28?
False
Let d(c) = -3*c**2 + 7*c. Let m be d(5). Let v = m + 80. Does 20 divide v?
True
Let l = 220 - 380. Let z = -92 - l. Is 19 a factor of z?
False
Let r = -4 + 8. Suppose r*u - 2*d = 38, u - 5 = 5*d + 9. Does 9 divide u?
True
Let d(o) = -5*o**2 + 2*o - 13. Let w(n) = 3*n**2 - n + 7. Let c be -12*2/(1 + -5). Let u(q) = c*d(q) + 11*w(q). Does 4 divide u(-2)?
False
Suppose 3*l - w - 53 = -6*w, -3*l + 44 = -4*w. Is 4 a factor of l?
True
Let b = 49 - 18. Suppose -2*x + 78 = 3*y, -y + x = -0*y - b. Is 14 a factor of y?
True
Is (-12)/(-3*(14/(-4))/(-7)) a multiple of 2?
True
Suppose -r - 2*n = -162, -798 = -5*r - 4*n - 0*n. Is 17 a factor of r?
False
Let h(t) = 28*t + 8. Let s be h(4). Suppose -2*i + s = i. Does 26 divide i?
False
Let c(z) = 13*z**2 - z + 3. Is 5 a factor of c(1)?
True
Suppose 2*n = -4*d + 166, 47 = d + n - 6*n. Does 18 divide d?
False
Let p(b) = 35*b**2 + 5*b - 4. Does 42 divide p(-2)?
True
Suppose -12 - 3 = -5*y. Is y + 17 - 0/(-1) a multiple of 5?
True
Let p = 71 + -18. Is 11 a factor of p?
False
Suppose 2*t = -3*t + 3*f + 161, -3*f = t - 25. Is t a multiple of 31?
True
Let c be (-21)/(-9) - (-2)/(-6). Let u = -79 - -111. Suppose -4*i = -c*i - u. Is 14 a factor of i?
False
Let o(i) = -i + 2. Let f be o(-2). Suppose 48 = 4*p - 4*r, 48 = f*p - 10*r + 5*r. Is 5 a factor of -1*1*(-2 - p)?
False
Let i(r) = -r**3 + r**2 - r + 12. Let d(w) = -w**2 + 10*w - 9. Let n be d(9). Let y be i(n). Suppose 2*b = b + y. Is 6 a factor of b?
True
Let w(f) = -f**2 - 3*f + 4. Let k be w(-3). Suppose -3*r = -4*s - 2*r + 140, -k*r - 16 = 0. Suppose -4*d = -3*c + 6*c - 16, -5*c = 3*d - s. Does 4 divide c?
True
Suppose -27 = r - 2*r. Suppose 0*v + 18 = -v. Is (-230)/v - (-6)/r a multiple of 8?
False
Let j(c) = -5*c + 1. Let n be j(2). Let u = n - -33. Is 8 a factor of u?
True
Does 32 divide (-1)/(-2) + (-638)/(-4)?
True
Let g be -6*((-8)/(-12))/1. Let i(a) = a**3 + 5*a**2 - 3*a - 3. Is i(g) a multiple of 25?
True
Suppose -2*t + 0 = -6. Suppose -t*c - 35 = -4*r, 5*c = -5*r - 0*c. Is r a multiple of 5?
True
Let x = -2 - -2. Suppose u - 25 = -x. Let f = -9 + u. Does 16 divide f?
True
Let x(c) = -c**2 + 6*c + 6. Let s be x(6). Let i be s + ((-2)/(-2) - 0). Let w(y) = y**2 - 4*y - 8. Does 7 divide w(i)?
False
Let t(i) = i**2 + 1. Let k(f) = 2*f**3 + 6*f**2 + 3*f + 1. Let g(x) = -x**2 - 6*x - 1. Let j be g(-6). Let z(p) = j*k(p) + 3*t(p). Does 16 divide z(-3)?
False
Let b(y) = 25*y + 51. Is b(9) a multiple of 23?
True
Let w = -2 + 5. Let o = -7 + w. Is o/(-6)*9/2 a multiple of 3?
True
Suppose -2*r - 2*r = -4. Suppose 21 - r = 4*v. Is v a multiple of 4?
False
Suppose 0 = -5*m + 25 - 0. Suppose 4*j = q + 11, 7 = -2*j - m*q - 4. Suppose -j*v = -0*v - 26. Is 13 a factor of v?
True
Let o be 165/18 - (-1)/(-6). Suppose -o = -0*r - r. Does 8 divide r?
False
Suppose h = -3*o + 2*o + 20, 0 = 3*h + 2*o - 56. Is 8 a factor of h?
True
Let r = 11 + -6. Suppose d = 3*n + 31, -89 = d - r*d + 5*n. Is 8 a factor of d?
True
Let w = 6 + -3. Let j = 1 - w. Let f = 3 - j. Does 2 divide f?
False
Let v = -15 + 20. Suppose 41 - 11 = v*r. Is r a multiple of 6?
True
Let o = -9 - -10. Is 3 + o*(0 - -12) a multiple of 6?
False
Let l(n) = n**2 + 2*n**2 - 3*n**2 + n**2 + n + n**3 + 2. Let u be l(0). Suppose 2*q = -5*r + 57, -q = -r + u - 13. Is q a multiple of 7?
False
Suppose 0 = w + 3*b - 17, 3*w - 3*b = -5 - 4. Is w/((-5)/(300/(-8))) a multiple of 15?
True
Let s = -80 - -145. Is 16 a factor of s?
False
Let d be (-3)/(-6)*(-1 - -3). Is 2 a factor of d/2*-2*-4?
True
Suppose -24 = -a - f, 0 = a - 0*a - 3*f - 12. Is 18 a factor of a?
False
Let r(g) = 3*g - 8. Let j be r(6). Let t(x) = j + 4*x - 3*x + 0*x. Is t(0) a multiple of 5?
True
Suppose 4*w = -4*n - 48, -3*w - 4*n = -0*n + 41. Is 10 a factor of (0 + -1)/(w/140)?
True
Let p(u) be the first derivative of u**4/4 + 8*u**3/3 + 3*u**2 - 4*u - 3. Let i be p(-5). Let g = i - 5. Is 16 a factor of g?
False
Suppose 0 = -2*t + 3*t + 2*i - 132, -2*i = 4*t - 522. Is t a multiple of 39?
False
Let j be 8/8 + (0 - -27). Let z = j - 7. Does 7 divide z?
True
Suppose -298 = -4*r - r + 4*l, -3*l = 6. Is r a multiple of 12?
False
Let y(f) = f**3 + 8*f**2 - 4*f + 3. Is y(-6) a multiple of 33?
True
Suppose 3*m + 1 = 10. Let c = -10 + 22. Suppose 1 = -q - m, q = 4*n - c. Is 2 a factor of n?
True
Does 5 divide (2*(-1)/4)/(3/(-414))?
False
Let h(d) = 9*d**2 + 2*d - 2. Let t(y) = -2*y - 5. Let p be t(-4). Let u be h(p). Let z = -34 + u. Does 21 divide z?
False
Suppose 15 = -4*s - s. Let j(n) = -n**2 - n + 4. Let l be j(s). Is l/6 - 122/(-6) a multiple of 11?
False
Let q = 17 + -9. Suppose 5*r + 3 = 4*t - 5, -3*r + 4*t = q. Suppose 5*p - 20 + r = -u, -50 = -5*p + 5*u. Is p even?
False
Suppose -p + 3*h + 190 = 0, 0*p + 3*p - 2*h = 591. Is p a multiple of 12?
False
Suppose 24 = 2*s - 0. Is s a multiple of 12?
True
Let t be 5 + 1/((-3)/(-9)). Let a = t - 14. Is 1/a - (-345)/18 a multiple of 7?
False
Suppose -g - 121 = -3*q - 2*g, 0 = q - 4*g - 23. Suppose -q = -z - 0*z. Suppose 4*p - z + 117 = 5*s, 38 = 3*s + 2*p. Is 14 a factor of s?
True
Let z(l) = 19*l**2 + 6*l - 3. Let j be z(4). Suppose n + 4*n - j = 0. Is 15 a factor of n?
False
Does 17 divide (-20 - 2)*-2 + -2?
False
Let x(b) = 29*b - 2. Suppose -4 = -3*n + 2. Is x(n) a multiple of 17?
False
Suppose 0 = -17*o + 13*o + 800. Does 33 divide o?
False
Let i(p) = p**3 - 3*p**2 + 2*p + 3. Is i(3) a multiple of 9?
True
Let f = 155 + -8. Suppose 0 = -6*i + 2*i + 20. Suppose -i*a + 43 = -f. Is a a multiple of 12?
False
Let f(g) = -g - 2. Let l be f(7). Does 8 divide 48/l*12/(-4)?
True
Suppose -2*f + 7*f = 690. Let i = f - 87. Does 19 divide i?
False
Suppose -10*i + 6*i = -252. Is 