 d(x) = -10 - 6*x + 3 - 2*x. Let z be (1 + 1)*(-28)/8. Is d(z) a multiple of 18?
False
Let o(v) = 2*v + 3. Let k be o(3). Suppose 0 = -j - 2*j + k. Does 3 divide j?
True
Suppose -4*f + 125 = f. Suppose 5*y + f = -0*y. Does 8 divide (4 + y)/((-1)/8)?
True
Let k(n) = -10*n + 4. Let f(j) = 21*j**2 - 26*j + 16. Let i(o) = -4*o**2 + 5*o - 3. Let s(w) = 2*f(w) + 11*i(w). Let a be s(2). Does 12 divide k(a)?
False
Let z(r) = r**3 - 4*r**2 - 5*r - 12. Is 9 a factor of z(6)?
False
Let h(s) = s**2 + 5*s - 9. Let z(g) = g**2 + 5*g - 8. Let n(a) = -5*h(a) + 6*z(a). Let r be n(-6). Suppose -r*y = 0, 0*l + 16 = 2*l + 2*y. Is l a multiple of 3?
False
Suppose 0*u - 2*u + 140 = 0. Is 13 a factor of (48/5)/(21/u)?
False
Let u = 102 - -18. Is 12 a factor of u?
True
Let t(d) = d + 2. Let c be t(-8). Let m = 11 + c. Suppose 5*z - 60 = 5*u, -u = m*z + 21 - 99. Does 15 divide z?
True
Let m(p) = 41*p + 1. Is m(1) a multiple of 18?
False
Let u = 191 + -83. Suppose -4*g = f + g - u, 400 = 5*f - 3*g. Suppose 4*y - 17 - f = 4*b, -140 = -4*y - 4*b. Does 8 divide y?
False
Let g = -11 + 17. Suppose -2*u + 36 = -g*i + 3*i, u - 16 = i. Does 5 divide u?
False
Let p(d) = d**2 + 3*d + 3. Let j be p(-2). Suppose w = 3 - j. Suppose 0 = -w*k + 10, 0 = 3*s + 4*k - 183 + 43. Does 17 divide s?
False
Let i = 6 + -1. Suppose i*x = 10*x - 275. Is x a multiple of 20?
False
Let p(j) = 2*j**3 - 3*j**2 - 6*j + 6. Does 9 divide p(3)?
False
Let h(r) = 3*r - 4. Let n be h(3). Suppose -3*u - 133 - 27 = -5*b, -n*b = -4*u - 160. Is b a multiple of 16?
True
Suppose -2*t = 3*t + 15. Let a = t + 10. Is 7 a factor of a?
True
Is (35 - 24) + 0 + 4 a multiple of 15?
True
Suppose -q - 6 = 7. Let p = 3 - q. Is p a multiple of 7?
False
Let u(h) = h - 4. Let l be u(4). Suppose 5*f - 5*p - 30 = -l*p, 0 = -f + 5*p - 10. Is 5 a factor of f?
True
Let h(t) = -3*t**3 + 14*t**2 - 3*t + 38. Let v(g) = g**3 - 5*g**2 + g - 13. Let b(p) = 6*h(p) + 17*v(p). Let l be 6/(-21) - 4/(-14). Is b(l) a multiple of 4?
False
Suppose 3*b = -5*x - b + 140, 2*b - 130 = -5*x. Does 12 divide x?
True
Suppose 4*s = 2*s + 4*o + 276, -s = 2*o - 126. Is s a multiple of 11?
True
Let t be (-1)/(-4)*4*54. Suppose 3*i + 0*i - t = 0. Is 18 a factor of i?
True
Is 42 a factor of (489/(-9) + -3)/((-2)/12)?
False
Let z be 0*(3 - 2) - 0. Suppose 3*y = -z*y. Suppose y = -4*s - 0*s + 16. Does 4 divide s?
True
Suppose 0 = 4*i - 7*i + 33. Let p = i + 16. Is p a multiple of 11?
False
Let f(n) = -n**2 - 18*n - 6. Is f(-10) a multiple of 11?
False
Let u(p) = p**2 - 2*p - 7. Is 3 a factor of u(5)?
False
Suppose -2 + 16 = 2*w. Let s = 19 + w. Is 13 a factor of s?
True
Let j(s) = s**2 - 4*s - 1. Let r be j(5). Suppose 2*k - 1 = 7. Suppose t + 77 = k*t + 4*l, -t = -r*l + 1. Is 14 a factor of t?
False
Let d = 32 - 12. Is 5 a factor of d?
True
Let c(z) = -z**2 + 9*z + 3. Let x = -1 + 7. Does 21 divide c(x)?
True
Suppose -r = 4 - 55. Is r a multiple of 17?
True
Let j(n) = -n + 7. Let u be j(5). Suppose 2*z - l = 4*l - u, 4*z + 3*l = 22. Is z a multiple of 2?
True
Let p(z) = 4*z + 8. Let l be p(6). Suppose 4*g + 0 = -l. Is 226/4 + (-4)/g a multiple of 21?
False
Suppose -78 = -3*k - 0*k - 2*d, d - 27 = -k. Suppose 0*y - 3*y = -k. Does 8 divide y?
True
Let n(v) = -6 - 7*v - 4*v + 4*v. Is n(-5) a multiple of 18?
False
Let n = 2 - 3. Let t(s) = 13*s - 13. Let j(w) = 7*w - 7. Let q(k) = 11*j(k) - 6*t(k). Is q(n) even?
True
Let x(i) be the first derivative of 5*i**3/3 + i**2 - i + 2. Let h be x(-2). Suppose 2*g - 1 = h. Does 8 divide g?
True
Is ((-6)/(-12))/((-2)/(-256)) a multiple of 16?
True
Let y be 18*(3/(-2) - 0). Let h = 0 - y. Suppose 2*v - 51 - h = -3*z, -z + 38 = v. Is v a multiple of 18?
True
Let n(o) = -17*o**3 + o**2 + o. Does 12 divide n(-1)?
False
Let b = 2 - 2. Suppose -3*u + 4*c + 74 = 0, -5*u + b*c + 105 = -3*c. Does 9 divide u?
True
Let z(r) = -5*r + 4. Let s(k) = 10*k - 9. Let u(p) = 3*s(p) + 7*z(p). Is u(-1) even?
True
Is ((-48)/20)/((-1)/20) a multiple of 12?
True
Let h(s) = s**2 + 9*s + 11. Let x be h(-8). Suppose -t - x*t = -36. Is 9 a factor of t?
True
Let n(j) be the third derivative of -1/8*j**4 + 0*j - 2/3*j**3 + 0 - j**2. Is 4 a factor of n(-4)?
True
Let w = -1 + 9. Does 4 divide w?
True
Let u = -2 + 4. Suppose u*v - 2*f - 19 = 29, 5*f + 93 = 4*v. Is 9 a factor of v?
True
Let m = -63 - -107. Is 4/22 + 608/m a multiple of 14?
True
Let v(k) = 51*k. Is 34 a factor of v(4)?
True
Suppose -14*t = -17*t - 345. Let n = t + 163. Is n a multiple of 10?
False
Let c be (28 - 2) + 1 + 1. Is -1 + (7*c)/4 a multiple of 12?
True
Let n = -1 - 2. Let u(d) = -4*d**3 + 2*d**2 - 2*d. Let o(f) = -9*f**3 + 3*f**2 - 5*f. Let h(x) = n*o(x) + 7*u(x). Is h(5) a multiple of 2?
False
Is 1362/5 + (-27)/(-45) a multiple of 13?
True
Suppose -90 = -3*g + 48. Suppose 0 = -n + 2*n + 4*z - 97, -109 = -n + 2*z. Suppose 3*t + p = -30 + n, 2*t + 2*p - g = 0. Does 13 divide t?
True
Let s(u) = u**3 - u**2 + u + 2. Let w be s(0). Suppose 2*f - w = -52. Let o = -16 - f. Is o a multiple of 6?
False
Let r be (-2)/(-3)*(-75)/10. Is (6/r)/(3/(-15)) a multiple of 3?
True
Suppose -5*j - 40 = 5*l, 0 = 5*j - 2*l + 47 + 7. Does 23 divide 456/10 - 4/j?
True
Suppose m - 5*m = 64. Is (m/10)/(2/(-40)) a multiple of 12?
False
Let i(r) = -84*r + 1. Let s be i(-1). Let q = 129 - s. Suppose q = 3*o - 4. Is 9 a factor of o?
False
Suppose 5*g - 127 = -2*y, -g - y + 11 = 3*y. Is g a multiple of 13?
False
Suppose -5 = -5*l, -3*s = -4*l + 5 - 1. Suppose 5*z - 5*c - 32 = 53, -c + 1 = s. Is z a multiple of 12?
False
Suppose -37 = -4*p + 43. Let w be 4/(-6)*(p + -8). Let b(l) = -6*l - 10. Is 13 a factor of b(w)?
False
Let l be (-2)/(-6) + (-100)/12. Let d = -6 - l. Suppose 3*w = d*j + 14, -5*j = 2 - 27. Is 5 a factor of w?
False
Suppose -u = v - 7, -4*v = -3*u - 2*v + 11. Suppose -2*l - 3*h + 23 = 0, u*l + 5*h - 47 = l. Does 6 divide l?
False
Let j(s) = -s**3 + 2*s + 1. Let a be j(-1). Let m = 3 + a. Suppose 0*z + 2*z = 4, -4*z = -m*i + 22. Does 4 divide i?
False
Let o(d) = 54*d**3 + 1 + 51*d**3 - 104*d**3 - d. Suppose 7 = 3*b + 2*x, 2*b - b - 8 = 5*x. Is o(b) a multiple of 8?
False
Suppose -2*q = -3 - 1. Let b = q - -4. Is 2 a factor of b?
True
Suppose 2*c - 2*k - 2*k = 36, -4*c + 67 = -3*k. Suppose -c = l - 129. Suppose 0*a = -5*f + 4*a + l, 0 = -3*f + 5*a + 73. Does 7 divide f?
True
Does 6 divide (-16368)/(-90) - 1/((-15)/2)?
False
Let a = 10 - -23. Does 17 divide a?
False
Let j(p) = 3*p - 2*p - 4*p + 2. Let k be j(2). Let i = k + 36. Is i a multiple of 16?
True
Suppose 3 + 50 = c. Let a = c + -31. Does 22 divide a?
True
Is 5 a factor of 9*((-80)/(-12) + -4)?
False
Is 2 + 11/(33/126) a multiple of 11?
True
Let a be (8/(-6))/(2/(-27)). Suppose -5*k - a + 3 = 0. Is k*21/(-45)*5 a multiple of 3?
False
Suppose -2*v - 2*v + 120 = 0. Suppose 2*j - 160 - v = 0. Is 29 a factor of j?
False
Let o = -6 + 10. Suppose -80 = o*s - 288. Does 16 divide s?
False
Let a = 453 + -851. Let r = 218 + a. Is 9 a factor of ((-6)/15)/(3/r)?
False
Let y(v) = v**2 + 8*v + 2. Let n be y(-8). Suppose -4*o + 10 + 0 = -n*m, 0 = o - 4. Suppose 0 = p + m*p - 96. Does 24 divide p?
True
Let l be (-3 - 2)*2/5. Does 14 divide 213/6 + 1/l?
False
Let s be (-4)/14 + 102/14. Suppose 2*g = -4*z + s*g - 25, 0 = -5*z + 5*g - 25. Suppose 2*r + z*r = 6. Is r even?
False
Suppose 4*q + 4*d - 76 = 2*q, -q - 4*d = -38. Is 3 a factor of q?
False
Let w(l) = -l**3 - l**2 + 17. Is w(0) a multiple of 11?
False
Let k = 13 - 11. Suppose -k*l + 80 = -36. Is 15 a factor of l?
False
Let z(y) be the second derivative of 1/20*y**5 + 0*y**2 + 0 + 2*y - 1/3*y**3 + 1/4*y**4. Is 12 a factor of z(2)?
False
Suppose 4*r - 199 = 29. Is r a multiple of 19?
True
Let n be (-2)/(-1) - (-2 + 2). Suppose -q + n*q = 6. Is 5 a factor of q?
False
Suppose -61 = -d + 4*v, 2*d - 150 = v - 0*v. Is 13 a factor of d?
False
Suppose -4*l = -11 - 1. Suppose -n - 3*j + 81 = 2*j, -l*j + 239 = 4*n. Let s = n + -11. Is s a multiple of 15?
True
Is 8 a factor of (-468)/(-27) + (-2)/6?
False
Suppose 0 = 4*c - c - 675. Is 15 a factor of c?
True
Suppose 0*o - 4*u + 325 = 5*o, -o + 65 = -3*u. Suppose -6*t - o = -221. Is t a multiple of 13?
True
Let a(r) = -4*r**2 - 5*r - 3. Let p be a(5). Does 8 divide ((-6)/4)/(12/p)?
True
Let h = 89 - 57. Let z = -17 - h. Let p = -20 - z. Is 12 a factor of p?
Fals