(q) = 5*q - 139. Let w be d(29). Let a(b) = 11*b + 13*b + 9 - 1. Is 38 a factor of a(w)?
True
Suppose 3 = 6*k - 117. Let j be (-240)/(25/k - 2). Suppose 0*f + j = 2*f + 2*g, 2*f = 2*g + 324. Is f a multiple of 33?
False
Suppose 5*l = -3*h - 6, -4*l + 8*l - 4*h - 8 = 0. Suppose 5*z - o + 396 + 727 = l, 4*z = o - 898. Let a = 332 + z. Is a a multiple of 24?
False
Let j(v) = -12*v - 118. Let r be j(-11). Suppose -2352 = 6*k - r*k. Is 21 a factor of k?
True
Let q be (-22 - -19) + 0/(-2). Let w be (q - -7)*(9/(-6))/(-3). Suppose 0 = w*t + 4 + 2, s - 4*t - 73 = 0. Is 6 a factor of s?
False
Suppose 18147 = 3*b - 3*h, 107*b + 5*h = 108*b - 6053. Is 126 a factor of b?
True
Let p be 0/(-1 - (-8)/2) + 2. Suppose -p*o = t - 138, 0 = -0*t + 2*t - o - 261. Does 12 divide t?
True
Suppose 34*c + 44833 = 256143. Does 55 divide c?
True
Suppose 0 = -49*h + 40*h + 29610. Is h a multiple of 7?
True
Suppose -l - l - 2 = 0. Let a be 210/28 + l/2. Is 30 a factor of -7 + a + (-6)/(-3) + 150?
False
Suppose 6*y = 11 + 1. Suppose -2*s + 0*l + 262 = 3*l, -y*s - l = -258. Is 6 a factor of s?
False
Suppose 0 = -21*b + 62*b - 81016. Does 52 divide b?
True
Suppose 3*o - 5*h = -2690, 5*h + 114 - 1014 = o. Let t = o + 958. Is 24 a factor of t?
False
Let l = -11 + -98. Let g = l - -114. Suppose 12*y - 173 = -g. Is 14 a factor of y?
True
Let d(t) = -t**3 - 3*t**2 - 4*t - 6. Let u be d(-5). Let o(s) = -s**2 - 44*s - 344. Let c be o(-35). Let k = u + c. Is 31 a factor of k?
False
Let y(t) = 6*t**3 + 216*t**2 + 46*t + 11. Is 77 a factor of y(-33)?
True
Suppose 0 = 10*u - 3*u + 21. Let c be (9 - -1)*((-9)/6)/u. Suppose -c*o = -10*o + 450. Is o a multiple of 15?
True
Suppose 10*x + 19*x = 78416. Is x a multiple of 16?
True
Suppose -4*f - 3 = 3*z + 13, -f + 7 = -2*z. Let q be (-3)/2*z/3 - 8. Is 7 a factor of (3/q)/(-1 - 55/(-56))?
True
Suppose -3*y = 2*i - 58, 9 = -y - 0*y + 5*i. Let q = 22 - y. Suppose -z - 170 = -q*z + v, z = v + 38. Does 16 divide z?
False
Let a(z) = 9*z**2 + 22*z + 7. Let c be (-28)/6*(-63)/(-42). Is a(c) a multiple of 33?
False
Let j(g) = 62*g**2 - 2*g + 6. Suppose -4*f = 184 - 172. Does 28 divide j(f)?
False
Let y be 6/2*(-2 + 109). Let h = y - 636. Let t = h - -452. Is 15 a factor of t?
False
Suppose -5*j = -0*j + 40*u - 136205, -5*u = 40. Is 94 a factor of j?
False
Let z(o) = -14*o - 24. Let b be z(-2). Is 5 a factor of 1694/10 - b/80*8?
False
Let g(l) = -l**3 + l**2 + l + 9. Let t be g(-3). Is ((-8)/(-12))/(1/t) a multiple of 7?
True
Let w(i) = -5 + 5 - 14 - 14*i. Let p(r) = -r**3 - 5*r**2 - 4*r - 2. Let k be p(-3). Is 26 a factor of w(k)?
False
Does 57 divide (((-21)/(-1))/(43/(-258)))/((-6)/76)?
True
Let a(h) = -309*h - 4883. Is a(-18) a multiple of 14?
False
Suppose -915 = -h + 2738 - 354. Is h a multiple of 20?
False
Let f(y) = -2*y**2 - 7*y + 22. Let o be f(-18). Let m = -50 - o. Is m a multiple of 7?
False
Let s(t) = 3*t**2 - t + 23. Let a(x) = -x**2 - x - 1. Let i(o) = -6*a(o) - s(o). Let w be i(7). Let d = 338 - w. Is d a multiple of 16?
False
Suppose 2*n = -g + n, 5*g - 5*n - 20 = 0. Suppose 1563 = 4*q + 5*z - 2*z, -1971 = -5*q + g*z. Does 49 divide q?
False
Let u = 199 - 205. Does 12 divide u/(-4) + (-1 - (-789)/6)?
True
Suppose -5*w = -p - 27409, w = 3*w - 5*p - 10936. Is w a multiple of 58?
False
Suppose -4*t = -25 + 9. Suppose t*k - g = -k + 276, 5*g + 60 = k. Is k a multiple of 5?
True
Let x(v) be the third derivative of -v**6/120 - v**5/10 + 7*v**4/12 + 2*v**2. Let u(s) be the second derivative of x(s). Is u(-17) a multiple of 15?
True
Let f(s) = -89*s**2 + 8*s + 72*s**2 + 24 - 4*s + 30*s**2. Is 78 a factor of f(-6)?
True
Does 17 divide (130/78)/((-45)/(-254286))?
True
Let y(v) = v**3 - 15*v**2 - 3*v + 47. Let l be y(15). Suppose 4*q - 584 = 3*q - 3*o, 2 = l*o. Does 7 divide q?
True
Let b = 8283 - 1827. Does 24 divide b?
True
Let f(a) = -74*a**3 + 136*a**3 - 63*a**3 + a + 1102 - a**2. Does 38 divide f(0)?
True
Suppose -15*l + 1708 = -22*l. Let k = 454 + l. Is 14 a factor of k?
True
Suppose 2*b = -x + b + 6, 3*b = x + 10. Suppose -x*m - 1668 = -8*l + 4*l, -4*m = -5*l + 2088. Is l a multiple of 13?
True
Let k = 0 - 0. Suppose 113 - 5 = j + 5*x, 2*j + 4*x - 228 = k. Suppose d = l - 4*l + j, -4*d + 463 = 3*l. Is 23 a factor of d?
True
Suppose -11 = -k + 21. Suppose -46 = -3*s + 2*q, 3*q + 2*q = 4*s - 59. Let l = k - s. Does 8 divide l?
True
Suppose m + 5*c - 19 = 0, 2*c + 17 = 5*m + 3. Suppose m*q = 4 + 12. Suppose 228 = -3*n + 7*n + x, 57 = n - q*x. Is n a multiple of 10?
False
Suppose -6000 = -9*x + 8229. Is x a multiple of 17?
True
Let r(u) = 31*u**2 + 14*u - 17. Let w(j) = 31*j**2 + 15*j - 16. Let x(g) = 4*r(g) - 3*w(g). Is x(5) a multiple of 30?
True
Let k = -3013 - -3366. Does 9 divide k?
False
Suppose -4 = 2*c - 2*q, -q + 3*q - 11 = -5*c. Let f be c/(-2) - 21/(-42). Suppose -5*n + 276 = -n - o, f = 2*n - 3*o - 148. Is n a multiple of 17?
True
Let p(u) = u**3 + u - 84. Let t be p(0). Let w(a) = 16*a - 160. Let q be w(17). Does 5 divide ((-24)/t)/(2/q)?
False
Let a = 22 - 12. Let y = 1182 - 1175. Suppose y*i + 405 = a*i. Is i a multiple of 15?
True
Let p = 160292 + -75332. Does 60 divide p?
True
Suppose 4*h + 4*r - 8 = 28, 3*h - 5*r = -5. Suppose 5*m + 129 = o - 0*o, -5*m - 705 = -h*o. Does 10 divide o?
False
Let f be (-15)/35 - (-324)/21. Suppose -r = -f + 11. Suppose r*i - 4*m + 26 = 1114, 814 = 3*i - 2*m. Is 30 a factor of i?
True
Suppose 0 = -r - 4, -88 = t + 11*r - 15*r. Let q be (2 + -2 + 1)*140. Let f = q + t. Is 4 a factor of f?
True
Let q = 58 - 84. Let j = -40 + q. Is 23 a factor of j/15*-5*8?
False
Is 21518 - (27/(-6))/(117/(-52)) a multiple of 66?
True
Let f(i) = -i - 5. Let u be f(-4). Let r(v) = 755*v**2 + 5 - 4 - 580*v**2 + 2*v. Does 29 divide r(u)?
True
Let i(o) = o**3 + o**2 + 24. Let u be i(0). Let w = -1660 - -1662. Is 1024/u + (w - 8/3) a multiple of 6?
True
Let s = 8 + -12. Let b be (3620/(-3))/(-5) + s/(-6). Let q = b + -167. Is 16 a factor of q?
False
Suppose 183*r - 163*r - 2028 = 712. Let y = 6 + -2. Is 47 a factor of r + y*(-5 + 6)?
True
Let z(p) = 7*p + 277. Is 6 a factor of z(-25)?
True
Let m be 4 + (-2 - -9) + -1. Suppose m = q + q. Suppose 140 = q*f - 4*s, 5*f - 3*s - 113 = f. Is 32 a factor of f?
True
Let f(v) = v**3 - 19*v**2 + 176*v - 2375. Is f(20) a multiple of 3?
True
Suppose -n = -54*u + 51*u - 2955, -2*u - 2960 = -n. Does 54 divide n?
True
Let a = 40 - 55. Let l be (18/(-15))/(2/a). Is 12 a factor of 1101/l - 2/(-3)?
False
Suppose -l - 26 = -28. Suppose 2 = 11*f + l. Suppose -4*r - 3*s + 313 = f, -4*r + s = -0*s - 333. Is r a multiple of 18?
False
Suppose l - 3*r = 14, 0 = 5*l - 14*r + 15*r - 22. Is 4 a factor of -2 + 0 + ((-1785)/(-3))/l?
False
Suppose -59*z + 63*z - 3968 = -2*o, 0 = -5*o + 5*z + 9890. Does 55 divide o?
True
Suppose -12*k - 376 = 68. Let x = 39 + k. Let o(q) = 16*q**3 - 3*q**2 + 7*q - 5. Does 13 divide o(x)?
False
Let s(p) = 29*p**3 + 3*p**2 - 4*p. Let t(q) = 28*q**3 + 4*q**2 - 5*q. Let k(n) = 5*s(n) - 4*t(n). Is 4 a factor of k(1)?
True
Let o(q) = -7*q**3 + 12*q**2 + 14*q + 5. Let i be o(6). Let h = -54 - i. Is 12 a factor of h?
False
Suppose 0 = -2*y + 3*t + 1, -5*t = -y + 7 + 4. Let n be ((-51)/6)/(y/8). Is 13 a factor of n/(-85) - (-392)/10?
True
Let m be (-3 + 97/3)/(4/18). Let k = 268 + 62. Let b = k - m. Is b a multiple of 8?
False
Let y be 4/1 - (-3 - -6). Let u be 0 - -1 - (y + 4 - 2). Is 8 a factor of (-53)/(u/8 - (-18)/(-24))?
False
Let h(t) = 2*t**3 + 3*t**2 - 3*t + 1. Let f be h(3). Suppose -d = -3*g + 333, 4*g + 33*d - 38*d - 455 = 0. Let k = g - f. Is k a multiple of 16?
False
Let o(y) = -y**2 + 4*y + 62. Let m be o(12). Is (-2 - 18)*391/m a multiple of 46?
True
Suppose -8*t + 8 = -104. Let l be (4 + -6 - 0) + t. Is 1267/42 + (-2)/l a multiple of 14?
False
Let d(c) = 11*c + 63 - 73 + c**2 - 8*c. Does 20 divide d(-10)?
True
Suppose 0 = 2*c - 5*g - 24, -6*g + g + 4 = 2*c. Does 22 divide ((-7)/c)/((-2468)/1232 - -2)?
True
Let k be (-67 - 0/1) + 0/(-9). Let p = 129 + k. Suppose -4*q = -j - 2*j - p, -12 = -q - j. Does 8 divide q?
False
Suppose -2*t + 9 = -3*q, 0 = t - q + 3 - 9. Suppose 5 = -2*d + t. Suppose -d*h - 2*k = -60, h + 3*k = 9 + 29. Does 9 divide h?
False
Suppose 5*t - 62 = 73. Suppose 30*s = t*s + 2*k + 2224, 2*s = -k + 1492. Is 31 a factor of s?
True
Let g(q) = 