)?
False
Let k(a) = 15*a - 50. Is k(4) even?
True
Let o(k) = 1 + 18*k - 11 - 11 + 4 - k**2. Is o(13) a multiple of 24?
True
Let u = 14 + -8. Let d = u - -8. Does 10 divide d?
False
Let f = -20 + 26. Does 5 divide f?
False
Let y(h) = -h + 50. Is 55 a factor of y(-25)?
False
Let v(y) = y**2 + 12*y + 8. Is v(-18) a multiple of 28?
False
Let a be (-26)/(-5) - 1/5. Let d(z) = 3*z - 7. Is 4 a factor of d(a)?
True
Let n(u) = 5*u + 9. Let x be n(-10). Let f = x + 85. Is 22 a factor of f?
True
Suppose 3 = 3*c, -3*z + 2*c + 3 - 5 = 0. Suppose -i + 135 = 4*x, z*x - 5*i + 147 = 4*x. Is x a multiple of 15?
False
Let g(w) = -2*w - 2. Let b be g(-4). Suppose 4*x = 2*j + b, 4*j + 4*x - 11 = 13. Is 3 a factor of j?
True
Does 22 divide 0 - (-4 + (-3 - 74))?
False
Suppose 2*k - 6 = -2*n + 4*k, 0 = -2*n + 5*k. Is n a multiple of 5?
True
Suppose -3*i + 64 = i. Suppose -5 = -3*l + i. Is l a multiple of 3?
False
Let a(f) = 2*f**3 + 3*f**2 - 3*f + 4. Let i be a(-3). Let j = 43 + i. Does 8 divide j?
False
Suppose 7*w - 9 = 4*w. Let g(y) = 5*y. Let i be g(1). Suppose w*x = i*x - 64. Does 16 divide x?
True
Let k be 407/55 + (-2)/5. Suppose -129 = 4*b - k*b. Is 20 a factor of b?
False
Let l be 12*4/(32/46). Suppose 3*m + 0*m = l. Is 15 a factor of m?
False
Let f = -6 - -10. Let o = 23 - f. Is 19 a factor of o?
True
Let x(t) = t**2 - 6*t + 5. Let b be x(5). Suppose b = 2*g - 3 - 1. Suppose 150 = 2*n + g*n + 5*y, 0 = -3*n + y + 122. Is n a multiple of 14?
False
Is 8 a factor of (4/5)/((-9)/(-360))?
True
Let c(w) = w**3 - 2*w**2 - 6*w**2 + 6*w + w**2 + 2. Let l be c(6). Let k(x) = 3*x - 3. Does 3 divide k(l)?
True
Let f(v) = -3*v + 9. Let k = 29 - 2. Let h be (-42)/(-4)*(-18)/k. Is 10 a factor of f(h)?
True
Does 28 divide 1006/9 + 16/72?
True
Let u be ((-2)/4)/(2/8). Suppose 2*w - 4 = -4*v - 2, 5*v + 10 = 0. Is w - (u + 0 + 4) a multiple of 2?
False
Suppose -3*a = 3 - 12. Is 2 a factor of 3 + (6/3 - a)?
True
Suppose 16 - 116 = -2*h. Suppose -k = 4*k - h. Does 10 divide k?
True
Let b(p) = -p**3 - p**2 + 2*p - 1. Let z be b(-2). Let q be (-1 + 2 + z)/2. Suppose -14 = -n - i, q = n + 2*i - 1 - 14. Does 10 divide n?
False
Let h = 30 + -3. Is h a multiple of 27?
True
Let q(y) = 9*y**2 + 2*y - 6. Is q(-4) a multiple of 26?
True
Let a = -19 + 34. Does 5 divide a?
True
Suppose 4*h = m + m, m - 3*h = -5. Is 10 a factor of m?
True
Suppose -1 = 3*c + 8. Let g(w) = -1 + 0 + 2*w**3 + 4*w**2 - w**3. Does 5 divide g(c)?
False
Suppose -13*o = -18*o + 125. Does 13 divide o?
False
Let f(n) = 205*n + 11. Let c(m) = 103*m + 5. Let a(k) = -9*c(k) + 4*f(k). Let o be a(-8). Is (-2)/(-7) + o/21 a multiple of 15?
False
Let o = 62 + -134. Let n = -41 - o. Is n a multiple of 16?
False
Suppose -65 = -3*z + 55. Let j = z + -14. Is 9 a factor of j?
False
Let f(k) = -k**3 + 7*k**2 + 16*k - 11. Let l(w) = w**3 - 7*w**2 - 15*w + 11. Let g(z) = 2*f(z) + 3*l(z). Let i be g(8). Let o = i - -40. Is 11 a factor of o?
True
Let w(m) = 2*m**2 - 11*m + 17. Does 23 divide w(11)?
True
Let z(a) = 58*a**2 - 1. Suppose d + 4*y + 21 = 0, -4 = 3*d + y + 4. Let m be z(d). Suppose 0*j - 3*j = -m. Is j a multiple of 14?
False
Let z = 138 + -80. Is 9 a factor of z?
False
Suppose 5*q - 333 + 0 = -y, -5*y = -4*q - 1520. Is y a multiple of 44?
True
Suppose 2*y = 3*b - 4, 1 = 4*b - 3*y - 4. Suppose u + l + 1 = 0, -4*u + l + 13 = -b*u. Is 20 a factor of (-2)/u*108*-1?
False
Suppose 0 = -a - 2 + 1. Let h be a + 1 + (-18)/6. Is (-4)/(-6) - 13/h a multiple of 3?
False
Let v(g) = 3*g - 3 - 12 + 2*g**2 + 9. Does 10 divide v(-5)?
False
Let k = -3 - -5. Suppose c + k*c - 123 = 0. Is 12 a factor of c?
False
Let z(t) = -6*t - 6. Let k = -16 + 10. Is z(k) a multiple of 24?
False
Let d(z) = -2*z**2 + z + 1. Let g be d(-1). Does 9 divide (-82)/(-4) - (-1)/g?
False
Let l = 49 - 24. Is 4 a factor of l?
False
Does 15 divide (-15)/70*-4*70/2?
True
Suppose -4*y - 3*u = -85, -4*u - 50 = -2*y - 8*u. Is y a multiple of 2?
False
Let d(c) = -c**2 + 9*c - 2. Let l = 6 + 2. Let i be d(l). Is 6 a factor of (2 + 0 - 1)*i?
True
Let d = 50 - 36. Suppose a - d = 5. Is 5 a factor of a?
False
Let b(o) = -o**2 - 10*o - 2. Let s be b(-8). Let f(a) = -s*a + 1 + 7*a - 3. Is 14 a factor of f(-6)?
False
Suppose 3*p - 723 + 135 = 0. Let f = p - 110. Is f a multiple of 24?
False
Let o be -3*(7/(-3) - 1). Suppose 2*g + 3*b - o = b, -b = 2*g - 8. Suppose -2*m + g*m - 16 = 0. Is 16 a factor of m?
True
Suppose 0 = -l - 0 + 5. Let j be (2 - l) + 3 - -3. Suppose 8*r - 100 = j*r. Is r a multiple of 10?
True
Let c = -11 + 11. Suppose -2*m - 3*j + 39 = c, 103 = 2*m + 3*m + 2*j. Suppose -4*o + 7 = -m. Is o a multiple of 4?
False
Let g be 1/(-3) + 147/9. Suppose -5*u + 2*w = 6*w - 162, 2*u + w - 63 = 0. Suppose -u = -2*l + g. Does 12 divide l?
False
Let j(p) = p + 7. Let n be j(-7). Suppose -1 = 2*c + 9, -3*i = -3*c - 15. Suppose i = 5*g - 4*a - 102, -2*g - 2*a + 30 = -n*g. Is g a multiple of 18?
True
Let h(n) = -22*n**3 + 2*n**2 + n. Suppose -3*y - 28 = -5*x - 0*x, 15 = 3*x. Does 7 divide h(y)?
False
Suppose 4*m - 224 = -0*m. Is m a multiple of 14?
True
Does 16 divide 2091/18 - 5/30?
False
Let h be -1 - (-1 + 0 + 2). Let y be (2*-9)/(-4 - h). Suppose 4*d - 3 = y. Is 2 a factor of d?
False
Suppose 12 = -2*f + q + q, -f + 4*q - 18 = 0. Let r(i) = i**2 - 2. Let n be r(f). Is 21 a factor of -87*2/(-3*n)?
False
Let o(k) = -k**2 - 14*k + 8. Let u be o(-12). Suppose 3*r = -u + 92. Is 8 a factor of r?
False
Suppose 63 = -3*s + 15. Let o = s + 31. Is o a multiple of 4?
False
Suppose 0*z - 140 = -5*z - 3*d, 77 = 2*z - 3*d. Is 15 a factor of z?
False
Let r be (0 - 1) + -1 - -16. Suppose -m + r = 3. Suppose 0*h = h - m. Is h a multiple of 11?
True
Let r = 5 - 5. Suppose 4*a - 32 = 4*l, -5*l + 16 = 2*a - r*a. Is 30/a + (-4)/(-16) a multiple of 4?
True
Suppose -5*a = -20, 24 = -5*z + 4*a + 83. Let r = 38 + -1. Let h = r - z. Is 8 a factor of h?
False
Let n be 96/(-10) - 2/5. Does 16 divide (-532)/(-20) + (-4)/n?
False
Let g be (-66)/(-14) + (-4)/(-14). Let u = 30 - -10. Suppose 0 = -g*c - 0*c + u. Is 4 a factor of c?
True
Let o(j) = -j**2 + 14*j - 7. Does 31 divide o(7)?
False
Let v be -1 + 1/(3/33). Let l(h) = -h**2 + 12*h - 15. Let o be l(v). Suppose -o*f - 25 + 165 = 0. Is f a multiple of 12?
False
Let f(b) = 2*b - 2. Let n be f(4). Suppose -156 = -n*s + 3*s. Does 21 divide s?
False
Let b(p) = -p**2 - 2*p + 2. Let a be b(-3). Let z be (0 - 2)/(a/(-1)). Let l(u) = u**3 + 4*u**2 + 3*u + 2. Is 4 a factor of l(z)?
True
Suppose -19 = 3*u - 1. Is 6 a factor of (-24)/((-2)/((-8)/u))?
False
Let o(s) = -s**3 - 13*s**2 - 13*s + 1. Is o(-12) a multiple of 2?
False
Suppose -3*n + 8 = 4*p - 6*p, 8 = 4*n. Let g be (5 + 0)*(p - 7). Let y = 56 + g. Is 8 a factor of y?
True
Let u(x) = 32*x + 26. Is 42 a factor of u(5)?
False
Let f(w) = -w**3 + 5*w**2 - 4*w + 6. Let m be f(4). Suppose m = -5*y + 26. Does 4 divide y?
True
Let g(t) = 2*t + 8. Let b be g(-6). Let i(x) = -2*x - 4. Let y be i(b). Suppose n + z = 5*n - 125, 3*n - y*z = 84. Does 16 divide n?
True
Suppose -3*s - 12 = -0*s. Is 9/1*s/(-2) a multiple of 9?
True
Let w(i) = -6 + 8*i + 11*i**2 + i**3 - 5 + 4 + 1. Let b be w(-7). Let o = -86 + b. Is o a multiple of 18?
False
Suppose 5 = -l + 43. Does 19 divide l?
True
Let a be (-26)/(-8) + (-1)/4. Suppose 2*s = a*s. Does 6 divide s + (-4)/(8/(-14))?
False
Let b(x) = -2*x - 10. Let d be b(-9). Suppose -y + 2 = 2*i, 0 = -4*i - i - y + d. Suppose i*l - 4 = 22. Does 13 divide l?
True
Let p(d) = d + 7. Let g be p(0). Let n = g + -2. Suppose 3*k = n*k - 24. Does 10 divide k?
False
Let h(v) = -2*v - 11. Let p be h(-8). Suppose -5*d - 5*g = -210, -d + p*g = -0*g - 54. Is d a multiple of 11?
True
Let j = 95 - 58. Suppose -h + j = -2. Is 13 a factor of h?
True
Suppose 4*p + 5*i - 28 = 0, -2*p - 5*i + 24 = -0*i. Suppose 36 = -0*b + p*b. Does 6 divide b?
True
Suppose 2*u - 114 = -0*u + 2*q, 4*u = -2*q + 204. Is 19 a factor of u?
False
Let k(s) = s**3 + 6*s**2 + 7*s + 6. Does 10 divide k(-4)?
True
Let f be -2 + 6*1/2. Let l be (-2 - 1) + 2 + f. Suppose -m + l*m - 48 = -4*h, 2*m - 36 = -3*h. Is h a multiple of 8?
False
Let r(a) = 9*a + 3. Is r(5) a multiple of 48?
True
Is 4 a factor of 4*(-8)/6*117/(-24)?
False
Let a = 52 + 0. Suppose 5*t = a - 7. Is t a multiple of 9?
True
Suppose -5*q + 15 = -5*v, 0 = 3*q - 2*q 