. Let h(u) = 15*u - 15. Let x(k) = 6*h(k) - 13*q(k). Let w be x(-1). Is 22 a factor of (w/1)/((-3)/(-33))?
True
Let x(t) = 46*t + 2. Let k be x(8). Suppose 0*h - k = 5*h. Let b = -46 - h. Is 10 a factor of b?
False
Let z(y) = -y - 4. Let k be z(-6). Suppose 4*a - 204 = 2*v + 74, 0 = -5*a + k*v + 349. Does 10 divide a?
False
Let u = 6759 + -3121. Is u a multiple of 34?
True
Let a(p) = 22*p**2 + 116*p - 14. Is 7 a factor of a(-7)?
True
Let s(j) = 19*j - 317. Does 11 divide s(41)?
True
Suppose o + 7089 = 4*k, 8*k - 9*k + 1781 = -2*o. Does 11 divide k?
True
Let x be (-2)/9 + (-245)/(-9). Is (176/3)/(9/x) a multiple of 44?
True
Suppose 4*p + 79 = 43. Let l(b) = b - 5. Let q be l(3). Is 15 a factor of p/(-6)*38 - q?
False
Suppose 4*y = 2*s + 8, -5*y + 1 = -s - 4*y. Suppose f - 9 = -s*f. Suppose 3*h - 54 = -4*r, f*r + h - 59 = -21. Does 4 divide r?
True
Suppose -m + 10 = m - 4*k, -25 = -5*m + 2*k. Suppose m*l - 326 = 224. Let y = l + -26. Does 28 divide y?
True
Let i(o) = -o**3 + 7*o**2 - 4*o + 2. Let f be i(3). Let u = 88 - f. Is 31 a factor of u?
True
Suppose 0 = -3*f + 4*g - 11, -7*f + 3*f + 2 = -2*g. Let u(s) = 5*s**2 - 5*s + 2. Is u(f) a multiple of 6?
False
Suppose 2*x - 551 = -3*k, 6*x + 286 = 7*x - 2*k. Is x a multiple of 14?
True
Suppose -3*n + 33*m = 38*m - 853, -2*n + 4*m = -554. Does 21 divide n?
False
Suppose 5*c - 13 = -o, 19 = 5*c - 2*o - 0*o. Suppose 7*v = -c*r + 2*v + 9, 5*r + 22 = 4*v. Is (-2 - r) + 45 + 0 a multiple of 15?
True
Suppose -19*w + 24*w = 720. Is w a multiple of 4?
True
Suppose -u + 14 = -p, -p - 2*u - 74 = 3*p. Let j be 2/(2 - 56/26). Let s = j - p. Is 3 a factor of s?
False
Let w = 646 - 484. Is w a multiple of 3?
True
Let i = 943 + -730. Is i a multiple of 15?
False
Suppose -4*a + 4 = -0*a, 4*t + 4*a - 80 = 0. Let d = 16 - t. Let u(s) = 3*s**2 + s. Does 6 divide u(d)?
True
Let g be ((-12)/8 + 2)*0. Suppose -5*y + 10 = l - 0*l, g = l - y - 34. Is l a multiple of 6?
True
Let w(x) = -x - 1. Let z = 39 - 43. Let y be w(z). Let d(s) = 36*s + 6. Is 19 a factor of d(y)?
True
Is 13 a factor of (-2 - (3 - 8)) + 1155?
False
Let u(g) = -4*g - 9. Let y(b) = -6*b + 1. Suppose -3*m + 5 = 2. Let f be y(m). Is 8 a factor of u(f)?
False
Let m be 3/(-6)*0/(-1). Suppose -2*x + 4 + 10 = m. Is -2 + x/(21/36) a multiple of 3?
False
Is 4 a factor of (7/(-2) - -3) + (-290)/(-20)?
False
Let u(c) = 3*c**2 - 13*c - 38. Is 4 a factor of u(9)?
True
Suppose 2*g + 3*w - 4113 = 0, 3*g - 4*g + w = -2049. Is g a multiple of 108?
True
Suppose f = 4*f + 30. Is (3 + 25/f)*68 a multiple of 17?
True
Suppose 11 + 34 = 5*h. Let i = h + -10. Let d = i - -10. Does 9 divide d?
True
Suppose -3*i = -2*x + 114, -i - 33 = 5*x - 12. Let w = i + 93. Is w a multiple of 7?
False
Let f = 87 - 45. Is (-2 - -1)/((-6)/f) a multiple of 3?
False
Suppose -34 = 3*c - 4*b, -5*c = -4*b + 32 + 14. Let h be (5 - 2)/((-9)/c). Suppose -h*q - 36 = -5*q. Is q a multiple of 6?
True
Let v(m) = -m + 1. Let d(j) = 4*j - 3. Let t(u) = 6*d(u) + 21*v(u). Let l = -11 - -18. Is t(l) a multiple of 24?
True
Let b(i) = 28*i - 479. Is 15 a factor of b(23)?
True
Let c = -9 - -2. Let t = c - -11. Suppose -d = -3*m + 7*m - 39, -2*m - t*d + 30 = 0. Is m a multiple of 4?
False
Suppose -3*j + 5*r + 461 = -j, 5*r = 3*j - 689. Let q = j - 107. Does 10 divide q?
False
Is 2*(2/10 + (-31603)/(-110)) a multiple of 25?
True
Let k = -1336 - -2053. Is 35 a factor of k?
False
Let z be 3/(-3)*(10 - 3). Is 5 a factor of (-40)/(-14)*z/(-2)?
True
Let y be (-30)/((-1)/(-3)*(6 - 12)). Suppose -27 = -4*u - y. Is 2 a factor of u?
False
Does 5 divide (-1)/(10/(-8))*5400/16?
True
Let i = 11 - 5. Suppose -10*n + i = -8*n. Suppose n*x = 6*x - 66. Is 7 a factor of x?
False
Suppose 25*a - 29897 + 8122 = 0. Is 58 a factor of a?
False
Suppose 10 = 11*l - 12. Is (0 + -86)*(-1)/l a multiple of 4?
False
Suppose 2*t = -0*t + 4*o + 726, 1408 = 4*t + 3*o. Let q = 241 - t. Does 15 divide (20/(-15))/(4/q)?
False
Suppose -115 = -5*r + 2*u, u = 2*r - 2*u - 46. Is 23 a factor of r?
True
Does 29 divide -5 + 703 + (3 - 5)?
True
Let v be -35*(-8)/30*-3. Let q be 35 - (-7)/(v/16). Let l = -15 + q. Does 3 divide l?
False
Let i = 93 + -62. Let q = 131 + -47. Suppose -33*v + q = -i*v. Is v a multiple of 9?
False
Suppose -w + 2*a + 56 = 0, -w + 23 + 18 = 3*a. Is 18 a factor of w?
False
Let x = 2776 - 1943. Is 7 a factor of x?
True
Does 17 divide (3*(-3 + (-1552)/(-12)))/1?
False
Suppose -516 = -3*p + 3*k, -552 = -4*p - 5*k + 100. Is 8 a factor of p?
True
Let i(k) = -6*k**2 + 34*k - 10. Let a(m) = -5*m**2 + 33*m - 10. Let v(q) = 5*a(q) - 4*i(q). Is v(22) a multiple of 12?
True
Let w = 2710 + -1493. Is 44 a factor of w?
False
Let g be 27/(-9)*2/6. Let c be 2/(-4)*6/g. Suppose 0 = -b - 5*m + 7, -2*b - 5*m = c*b - 35. Is 7 a factor of b?
True
Does 7 divide -155*(7 - (-304)/(-40))?
False
Let d = -20 - -18. Does 10 divide (-2460)/(-35) - d/(-7)?
True
Let i be 2*(-2 - (-20)/5). Does 4 divide (-3)/((-42)/i) + 416/14?
False
Let o(z) = 2*z**2 - 2. Let b = 18 + -16. Suppose -f - 7 = 2*i, -b*f - i - 2*i = 9. Is 7 a factor of o(f)?
False
Let q(r) = -r - 189. Let y be q(0). Let g = -342 - y. Is (g/18)/((-3)/6) a multiple of 16?
False
Let l = 177 - -36. Is 23 a factor of l?
False
Let c = -50 - -226. Is 11 a factor of c?
True
Suppose -2*u + 300 = 2*d, 0 = 5*d + u - 1269 + 503. Does 7 divide d?
True
Let p(x) = x**3 - 4*x**2 + 5*x. Let l be p(3). Suppose y - 90 = -3*q, 2*q - l = 2*y - 162. Is 32 a factor of y?
False
Let d = -92 + 87. Does 8 divide (d + 4 - -111) + 1?
False
Let w = 216 + 183. Is w a multiple of 33?
False
Let w(n) = 10*n - 11. Let m(z) = 11*z - 12. Let u(i) = -6*m(i) + 7*w(i). Let h be u(2). Let q = h - -5. Is q even?
True
Does 7 divide 5 + -1 - (-1 - 66)?
False
Suppose 0 = -2*h + 2*m + 18, -4*m - 2 + 1 = 3*h. Suppose -20 = -0*b + 4*b, 0 = h*f + 4*b - 45. Is f even?
False
Suppose -4*v + r = 73 - 2089, -2*r = -3*v + 1517. Does 26 divide v?
False
Suppose -5*v = 2*f + 11 - 42, 5*f = -v + 20. Suppose -v*u + 3*j + 83 = 18, -13 = -u + 2*j. Is (u + -1)/((-3)/(-2)) a multiple of 7?
False
Let v(f) = 16*f**3 - 7*f**2 + 10*f - 1. Does 37 divide v(3)?
False
Is 11 a factor of ((-63)/7)/(9/(-33))?
True
Let h be (4 - 7)/(1 + -2). Let j(o) = 10*o**2 + 2*o**3 + 9*o + 6 + o + 15 - o**h. Is j(-9) a multiple of 4?
True
Let a(x) = -38*x - 5. Let t be a(-3). Let u = 284 - t. Suppose 0 = -3*l + 2*g + u - 1, 3*l - 3*g = 174. Is l a multiple of 20?
False
Let s(a) = -43*a - 74. Let o(d) = d - 1. Let h(u) = -5*o(u) + s(u). Let r(x) = 7*x + 10. Let b(y) = 4*h(y) + 27*r(y). Is b(-7) a multiple of 5?
True
Is 35 a factor of 2 - 3 - (-5)/(20/1264)?
True
Does 11 divide (56 - 198)/(-1 - 1)?
False
Let a = 154 - 65. Let b = 197 - a. Is 27 a factor of b?
True
Let c(k) = 209*k - 144. Is 17 a factor of c(6)?
False
Suppose -3*t + 126 = 3*q, 2*q + 138 = 8*t - 4*t. Suppose u + 3*w + t = -92, 0 = 4*u - 2*w + 474. Let r = -86 - u. Is 15 a factor of r?
False
Let x = 57 + -62. Is (x/(-3) + -1)/(8/1284) a multiple of 15?
False
Let n = 1238 + -1125. Does 4 divide n?
False
Let v(c) = -2*c - 28. Let r be v(-14). Suppose 3*s - 872 = -r*s - 4*l, -l = -2. Does 18 divide s?
True
Let v(w) be the third derivative of w**5/30 - w**4/8 + 19*w**3/6 + 25*w**2. Does 24 divide v(7)?
True
Let c = 14 - 11. Suppose -4*u - 5 = -3*g, c*u - 3*g + 4 = 1. Let t(b) = -13*b - 2. Is t(u) a multiple of 12?
True
Suppose 142800 = 37*c + 48*c. Is 7 a factor of c?
True
Suppose -4*c + 2*y - 3*y = -389, -3*y = -15. Does 3 divide c?
True
Suppose 252 = 3*o + 57. Let a be 473/5 + (-14)/(-35). Let g = a - o. Is g a multiple of 15?
True
Suppose 26*a = 29*a - 915. Let y = a + -201. Is 22 a factor of y?
False
Suppose o - 49 = 3*i + 5*o, 3*o + 32 = -2*i. Let j = i + 39. Is 8 a factor of j?
False
Let c = -1314 + 2402. Suppose x - o - 2*o = 286, -4*x + c = 2*o. Is 12 a factor of x?
False
Let h(k) = k**3 - 6*k**2 + 2*k + 15. Let x be h(5). Is 8 a factor of x - 7/(7/(-64))?
True
Suppose 2*z - 2*c - 278 = 0, -2*c - 161 - 256 = -3*z. Let w = -35 + z. Is w a multiple of 13?
True
Is (-6)/(-10) - 46235/(-25) a multiple of 74?
True
Suppose -4*h - w = -403, 2*h = 4*w - 2*w + 214. Does 25 divide h?
False
Suppose k - 4 = 5*f - 0, -5*k + f - 4 = 0. Let g(y) = 13*y**2 - y - 1. Let d be g(k). Suppose 0 = -2*t - d + 63. Does 21 divide t?
False
Supp