(-18). Let x(h) = -19*h**2 + h + 4. Let y(k) = c*u(k) - 9*x(k). Is y(2) a multiple of 15?
False
Suppose 2*f = 4*i - 42, -i = 2*i - 3*f - 39. Is i - (6 - 1) - -18 a multiple of 6?
False
Suppose 0 = 2*l - 4*i + 158, 4*l + 81 = 5*i - 247. Let q = l - -131. Does 20 divide q?
False
Let w = 8 - 3. Suppose -35 = 3*a - 8*a - 2*l, 4*a - 5*l + w = 0. Suppose -n - 31 = -a*v + 57, 2*n - 22 = -v. Does 18 divide v?
True
Suppose -5*o - 15 = -10. Is -1 - 584/4*o a multiple of 27?
False
Suppose 0 = t - 2*f + 4, 0 = -2*t + 5*f - 2 - 2. Let o be (t/8)/(3/(-6)). Suppose 5*x - 2*c - 23 = 0, c - 6 = -o*x + 2*x. Is 5 a factor of x?
True
Let v(n) = -3*n**2 - 53*n + 10. Let z = 14 + -30. Is v(z) a multiple of 18?
True
Let z(v) = 3*v + 4 + 7 - 3. Suppose 72 = -143*g + 151*g. Is 10 a factor of z(g)?
False
Suppose -2*m + 2*w = -28, m = 5*w - w + 20. Suppose 0 = -m*r + 729 + 615. Is 16 a factor of r?
True
Let o(x) = 81*x**3 - x**2 + 5*x - 1. Let k be o(2). Suppose -2*v + 261 = u, 5*v = -u - 2*u + k. Does 13 divide v?
True
Let y = 1395 + -1265. Does 65 divide y?
True
Let x be 1790/60 + 1/6. Is 6/(-10) + 1578/x a multiple of 9?
False
Suppose 6*z + 45 + 447 = 0. Let c = -54 - z. Is c a multiple of 10?
False
Let d be ((-14)/(-5) - 0)*105. Suppose 0 = -11*b - 12 + 56. Suppose -b*z - 86 = -d. Is z a multiple of 26?
True
Let a(h) = -12*h - 9. Let i be a(-5). Let j = i + -29. Is j a multiple of 22?
True
Let p = 99 - 96. Suppose 209 = 2*s - 0*n + p*n, -3*n + 97 = s. Is s a multiple of 7?
True
Suppose 2*q + 644 = 5*a, -4*q - 60 = 4*a - 564. Is a a multiple of 69?
False
Let i(a) = -a + 1. Let g be (3/1 - 0) + -6. Let t be i(g). Let r(o) = 2*o**2 + 2*o - 4. Is 12 a factor of r(t)?
True
Suppose -16*v + 8190 = 4*b - 13*v, 5*b + 2*v = 10234. Is 46 a factor of b?
False
Let q = 5 + 2. Let v(f) = q - 4*f - 7 - 11. Is 16 a factor of v(-10)?
False
Does 73 divide (15/3 + (-14 - 1))*-107?
False
Let f(m) = -m**2 - 19*m + 8. Let n be f(-15). Let w = n + -10. Does 12 divide w?
False
Suppose -2*j - 5*u = -3*j + 17, -8 = 2*u. Let n(t) = 3*t + 3. Let w(s) = -2*s - 2. Let c(q) = j*n(q) - 5*w(q). Does 6 divide c(7)?
False
Suppose -5*n + 2055 = 4*m + 271, 2*n = m + 724. Is n a multiple of 40?
True
Suppose -8 = -5*o + 3*t, 4*t = 5*o + 6*t - 28. Suppose -o*n + 96 = -24. Suppose r + n = 3*r. Is 5 a factor of r?
True
Suppose -23*y = 6*y - 16704. Does 20 divide y?
False
Suppose 0 = -4*m + 37*x - 40*x + 3012, 0 = 2*m + 3*x - 1506. Is m a multiple of 31?
False
Let k(m) = -2*m**3 - 8*m**2 - 8*m - 6. Is 8 a factor of k(-6)?
False
Suppose 644 = -40*q + 44*q. Let c = q - -9. Does 10 divide c?
True
Suppose 5*o + 495 = 2*q, -10*q = -15*q - o + 1278. Does 32 divide q?
False
Let z(k) = -6 + 55*k**3 - k**2 + 1 + 5*k - 54*k**3. Is z(4) a multiple of 9?
True
Let v(x) = x + 8. Let k be v(-5). Suppose k - 7 = 2*u. Let b = 7 + u. Is 3 a factor of b?
False
Let n(i) = i**3 + 5*i**2 - 5*i - 17. Let c be n(-5). Let o be (-28)/(-5) + (-8)/(-20). Suppose -o*l + c*l = 72. Is 12 a factor of l?
True
Let x(s) = s**2 - s + 4. Let d be x(3). Let r = -8 + d. Let f(t) = t**2 + t - 1. Is 4 a factor of f(r)?
False
Suppose 3*f - 429 = -4*o, o + 5*f = -4*o + 540. Suppose 108 = 3*b + 3*y, 5*b - o = 2*b - 4*y. Is b a multiple of 13?
True
Let y(n) = n**2 + 3*n + 25. Is 13 a factor of y(14)?
False
Suppose q - 2*q + 5*h - 23 = 0, 4*h - 18 = q. Suppose 0 = -q*y - 0*i - 4*i + 200, i = 5*y - 522. Is y a multiple of 13?
True
Let h be (-4)/5*25/(-10). Suppose m - 4*w = -h*m + 20, 4*w + 20 = m. Is 15 a factor of 51*(2 + m + -1)?
False
Let x = -8 - -11. Suppose -45 = -x*f + 210. Is 8 a factor of f?
False
Let p(w) = -12*w + 15. Let u = 23 + -28. Does 25 divide p(u)?
True
Let y(n) = 21*n + 6. Let r(o) = 41*o + 12. Let l(i) = 3*r(i) - 5*y(i). Suppose -4*b - 29 = -3*z, 0*b + b = -4*z + 7. Is l(z) a multiple of 20?
True
Suppose 0 = -53*s + 4012 - 355. Is s a multiple of 26?
False
Let i = -432 + 789. Is 17 a factor of i?
True
Suppose -233 = -4*o - o + 3*f, -5*o = -4*f - 229. Suppose -4 = 2*k + 2, 5*i = -3*k - o. Let y(p) = p**3 + 8*p**2 - 3*p. Does 6 divide y(i)?
True
Suppose g - 2*j = 19, -111 = -2*g - 2*g + j. Is g even?
False
Let d(p) = -p**3 - 6*p**2 + 3*p + 8. Suppose 3*n + 15 = -3*z, -z - 4*n - 26 = 4*z. Let f be d(z). Let i(g) = g**3 + 10*g**2 + g + 14. Is 3 a factor of i(f)?
False
Suppose 3*d = -2*i + 594, -3*d - i + 101 = -490. Suppose 4*u = 2*b - d, 8*b + 5*u = 5*b + 349. Is 6 a factor of b?
True
Let t be (-3)/((60/(-376))/5*-2). Suppose -2 = 2*o + 10. Let c = o - t. Is 41 a factor of c?
True
Suppose m + 4*m - 25 = 0. Suppose 0 = m*d - 4*d - 40. Does 19 divide d?
False
Let z = 48 - -10. Let g(v) = -2*v**2 + 8*v - 8. Let f be g(6). Let i = z + f. Does 13 divide i?
True
Suppose 5*j - 29 = -3*x + 2*x, 0 = j + x - 9. Suppose -165 = -j*f + 3*h, h = 2*f - 0*f - 67. Does 4 divide f?
True
Suppose 4*j + 40 = 352. Is j a multiple of 13?
True
Let l(c) = -2*c**3 - 8*c**2 - 5*c + 4. Let y be (28/6 - 4)*-12. Let a(s) = -s**2 - 8*s - 5. Let j be a(y). Is l(j) a multiple of 28?
False
Suppose -9*d - 149 = 40. Is 133/3 - (-28)/d a multiple of 7?
False
Let h(a) = -4*a - 28. Let p be h(-8). Suppose -4*l - 2*s + 20 = 0, -2*l - s + 22 = 3*s. Suppose 5*n - p*c - 60 = 10, l*c - 25 = -4*n. Is n a multiple of 2?
True
Let p = -36 - -225. Is p a multiple of 27?
True
Suppose 5*q + 4 = -21. Let c be 12/(-30)*q*1. Suppose c*t - 49 = -2*u + 3*t, -3*t - 66 = -3*u. Is 27 a factor of u?
True
Let i be (-2)/14 + 29/7. Suppose -i*a - 2*a + 672 = 0. Is 23 a factor of a?
False
Suppose -5*y = 5*t - 5565, 2*y - 769 = 3*t + 1442. Let r be (0 - -6)*y/45. Let c = 226 - r. Does 26 divide c?
True
Let m(j) = 18*j**2 + 15*j + 3. Is 15 a factor of m(7)?
True
Suppose 4*f + 9 + 3 = 0, 4*j - 3*f - 9 = 0. Let y = 31 + -9. Let g = y - j. Does 22 divide g?
True
Let a(f) = 13*f**2 - 27*f + 52. Is a(4) a multiple of 3?
False
Let n = 36 - 36. Suppose 4*l = -n*l - 56. Does 8 divide (l + 13)*-13*2?
False
Suppose i = o + 5, -5*o - 4 = 2*i - 0. Suppose i*w - 2*w - 17 = 0. Is 7 a factor of w?
False
Let v = 4118 - 2512. Does 88 divide v?
False
Let o be (-1)/(2 - (-35)/(-15)). Suppose 2*l - 5*l + 5*p + 131 = 0, 5*p = -o*l + 121. Does 15 divide l?
False
Let h be (-12)/(-42) - 5/(70/(-24)). Suppose -h*y + 104 = -156. Does 10 divide y?
True
Does 27 divide (-4 - 0) + (-19233)/(-9)?
True
Let a(o) = -o**3 - 22*o**2 - 114*o + 10. Is a(-16) a multiple of 10?
False
Let q = -1 + 1. Suppose q = -2*j - 2*j + 96. Let v = j + -17. Is v even?
False
Let t(b) = b + 23. Suppose 8*g - 10*g - 18 = 0. Does 2 divide t(g)?
True
Suppose -3*k + 736 = -4*d, 0 = 3*k - 0*d + 2*d - 766. Let s = k - 171. Let t = s + -49. Does 9 divide t?
False
Is (-23)/4*(2 + -8 - 26) a multiple of 17?
False
Let p(t) = 22*t - 1. Suppose -3*f = -2*m - 10, 0*m - 2 = 4*m + 3*f. Let g = 2 - m. Is 29 a factor of p(g)?
True
Let g(f) = 9*f**3 - f + 2. Let t be g(1). Is t/(-9)*-6*9 a multiple of 6?
True
Is 2 + 1317*(4 + -3) a multiple of 28?
False
Let d be 94/18 - (-18)/(-81). Suppose -5*s + i = -2*i - 138, 4*s - 100 = d*i. Let u = 60 - s. Is 15 a factor of u?
True
Let c = -109 - -154. Suppose -3*h + 2*g = g - c, 5*g + 29 = h. Is 7 a factor of h?
True
Suppose -5*w + 3*w + 2 = 0. Suppose -h = w - 17. Does 16 divide h?
True
Let r(h) = -2*h + 6. Suppose 4*n = d - 10, 2*d - 4*d = 2*n. Suppose -d*w - 36 = 2*w. Does 18 divide r(w)?
False
Let d(o) = 132*o - 1138. Is 34 a factor of d(37)?
False
Let x be -29 + -23 + (-1 - -2)*1. Let a = -17 - x. Is 17 a factor of a?
True
Let v(b) = -5*b**2 + 22*b - 9. Let c be 9*-2*(-1)/6. Let i(j) = 2*j**2 - 11*j + 4. Let n(w) = c*v(w) + 7*i(w). Does 5 divide n(-10)?
False
Let c(k) = 2*k**2 + 7*k - 39. Is 21 a factor of c(-11)?
True
Suppose 3*u = -8*u - 1628. Let g = u - -155. Is 5 a factor of g?
False
Let u(n) be the third derivative of 23*n**5/12 - n**4/8 - n**3/6 - 33*n**2. Is u(-1) a multiple of 33?
False
Let i be 1/((-3)/(-16)) + (-42)/(-63). Let j be 2 - (-22)/4*-2. Is (-2)/i - 129/j a multiple of 4?
False
Let a(c) = 33*c**2 + 28*c + 95. Is 14 a factor of a(-3)?
True
Let y be ((-196)/(-21))/((-2)/9). Let u be 73/(-3 + -3 + 7). Let r = u + y. Is 11 a factor of r?
False
Suppose -2*x - 4*f = -10, -5*x - 4*f = -f - 25. Suppose 4*c = 4*a - 45 - 203, -c = -x*a + 322. Is 5 a factor of a?
True
Let z(u) = u**3 + 4*u**2 - u - 3. Let i be z(