6*q - 11. Let f(k) = -4*k + 7. Let h(c) = -7*f(c) - 5*g(c). Let p be h(3). Suppose 8*b - 433 + 89 = p. Is 10 a factor of b?
False
Suppose 2390 = 33*b - 116938. Let k = b - 2152. Is 24 a factor of k?
True
Let c(n) = -63*n - 13. Let h be c(-6). Suppose -3*a - 5*x - 80 = 0, 5*a - x + 3*x + 108 = 0. Is (-8)/a + h/25 a multiple of 5?
True
Suppose 4*g - 127 = 101. Let u = 53 - g. Is 7 a factor of -3 - 1*(u + -21)?
False
Let g(s) = -s**3 - 15*s - 32 - 7*s**2 - 2*s**2 - 13*s. Is 7 a factor of g(-10)?
False
Is (4 + (-40365)/30)*-2 a multiple of 72?
False
Suppose 3*o + 3*z = 3924, 133*z = 3*o + 132*z - 3928. Does 11 divide o?
True
Let j(g) be the third derivative of -g**6/120 + g**5/12 - 5*g**4/24 - 11*g**3/6 + 2*g**2 + 6. Is j(-5) a multiple of 32?
False
Let y(h) = -394*h + 233. Is y(-4) a multiple of 9?
True
Is 20 a factor of (-16044 - -1)/(41 + -42)?
False
Let a = 11587 - -3032. Does 41 divide a?
False
Suppose 25*g = 20*g. Suppose g = 32*c - 31*c - 30. Does 30 divide c?
True
Let z = -743 + 1077. Let g = 110 - -114. Let d = z - g. Is 11 a factor of d?
True
Let x = 440 + -430. Suppose -2*t = -3*s - 378, -5*t + s - 979 = -x*t. Does 3 divide t?
True
Suppose 0 = -0*f + 101*f - 801132. Is f a multiple of 25?
False
Let w = 32953 + -18305. Is 6 a factor of w?
False
Suppose 0 = -4*q + 15*q - 55. Suppose -730 = -q*v + 495. Let d = -91 + v. Does 11 divide d?
True
Does 71 divide (54252/(-165) + -12)/(1/(-5))?
True
Let y = -344 - -2806. Is 15 a factor of y?
False
Let x(q) = 118*q**2 + 13*q - 1. Does 25 divide x(6)?
True
Let g(x) = 127 - 100*x + 27*x + 78 - 49. Does 27 divide g(-6)?
True
Let o(a) be the second derivative of a**3 - 10*a**2 - 5*a. Suppose -27 - 52 = -5*x - 4*q, -73 = -5*x + 2*q. Does 7 divide o(x)?
True
Let p(x) = x**2 + x + 1. Let m be p(4). Suppose m*t - 18*t + 3 = 0. Let o = t + 21. Does 5 divide o?
True
Suppose 28 + 26 = -6*u. Let x = 41 - u. Suppose 3*m - 72 - 48 = 4*h, 2*h = -m + x. Is 32 a factor of m?
False
Let w = 1404 - -11. Does 13 divide w?
False
Let y = 5748 - -6886. Is 13 a factor of y?
False
Let g(u) = 11*u - 6 + 2 + 6 + 15. Let y be g(9). Let k = -7 + y. Does 17 divide k?
False
Is 12/2 + 3768/7*385/110 a multiple of 54?
True
Let x(f) be the third derivative of -f**6/120 - f**5/30 + 5*f**4/24 + f**3/2 + 2*f**2 - 37*f. Let r be ((-10)/(-4))/(2/(-4)). Is 10 a factor of x(r)?
False
Let o be (-102)/(-27) + 20/90. Does 4 divide -1 - 49/(-28) - (-253)/o?
True
Suppose 0 = 6*r - 8*r - 4, 4*b - 3008 = 2*r. Is b even?
False
Suppose 13 = -6*t - 23. Let u(g) be the first derivative of g**4/4 + 8*g**3/3 + 3*g**2 - 15*g - 2. Is u(t) a multiple of 13?
False
Let z(l) = 4*l - 13. Let w be z(3). Is (-6 + 2)/((-1)/(-126)*w) a multiple of 24?
True
Suppose -38237 = -4*n + a, -2*n - 3*a + 996 = -18133. Does 20 divide n?
True
Let x be (-40)/(-15)*(-9)/(-2). Suppose -x = -4*t + t, -4*t - 230 = -h. Is 11 a factor of h?
False
Suppose -3*m + 260 = o, -4*o + 933 = -m - 107. Is o a multiple of 10?
True
Suppose 97 = f + 97. Suppose 36*n - 39*n + 504 = f. Is 24 a factor of n?
True
Suppose 4*l + 52 = -2*o, -4 = -2*o + 3*o. Does 39 divide (l - -6 - -1134) + 5 + -3?
True
Let r(o) = -o**3 - 20*o**2 - 16*o - 6. Is r(-20) a multiple of 8?
False
Let l = -55 + 68. Let n = 248 - 237. Suppose l*w = n*w + 104. Is 4 a factor of w?
True
Suppose -17425 = -93*t + 5360. Is 3 a factor of t?
False
Let g(m) = 704*m**2 - 167*m - 1658. Is 40 a factor of g(-9)?
False
Suppose -3*a - 34646 = -7*a + 3*l, a - 8655 = 4*l. Is a a multiple of 39?
False
Suppose 13050602 = 467*z - 1968118. Does 80 divide z?
True
Suppose -12*n - 256 = 128. Does 93 divide n/(-240) + 22543/15?
False
Suppose 12 = 7*m - 5*m. Let l be 2/(m/15) - 2. Suppose 0*j = s - l*j - 26, -4*s + 3*j = -59. Does 3 divide s?
False
Suppose -4*s + 189 = -5*x - 38, 4*x = -s - 169. Is -5 + x/(-9) - (-8381)/9 a multiple of 16?
False
Suppose 8709 = -22*d + 24*d + 5*u, -d = -2*u - 4332. Is d a multiple of 26?
True
Let k(p) = -2*p**3 - 4*p**2 + 6*p + 8. Let h be k(5). Let s = 1200 - h. Is 21 a factor of s?
True
Suppose 5*i + 515 = 5*j, 4*i + 227 + 203 = -2*j. Let y = i + 21. Let p = 164 + y. Is p a multiple of 29?
False
Let w = -71 + 75. Let i be 218/7*14/w. Let m = i + 3. Is m a multiple of 8?
True
Suppose 1383 - 1473 = -2*x - 2*p, -3*x - 4*p = -129. Suppose -4*m = 2*z - 232 - 108, z + 250 = 3*m. Let c = m - x. Is c a multiple of 33?
True
Let l be (-18)/4*(15/(-9) + 1). Suppose 4*d - l*p = 1113, 0*d + 5*p = 2*d - 539. Is d a multiple of 25?
False
Let m(d) = 299*d - 2860. Does 26 divide m(16)?
True
Suppose -10*d + 4 = -6*d. Let f(l) = 140*l**3 + 2*l**2 - 2*l. Let m be f(d). Let p = 240 - m. Is p a multiple of 23?
False
Suppose 4*p - 1024 = v, 2*v - p + 531 + 1538 = 0. Let t = v + 1828. Is 33 a factor of t?
True
Let z = 29 - -20647. Is 12 a factor of z?
True
Suppose -2*s + 54736 = 5*h, 4*h - 1375*s + 1376*s = 43784. Is h a multiple of 8?
True
Let r(i) = 119*i**2 + 8*i + 8. Suppose 1 = 5*s - 6*s. Is r(s) a multiple of 3?
False
Does 50 divide 8/44 + (-677568)/(-176)?
True
Suppose 5*b - 152 = -4*u, 4*b + 2*u = u + 115. Suppose -x + 4*c = -b, -5 + 6 = -3*x - 5*c. Is 35 a factor of (2/5)/(x/25)*120?
False
Suppose -36*i + 538 = -326. Suppose 30*w + i*w = 4158. Is 11 a factor of w?
True
Suppose 128*z - 3846575 = -801455. Does 30 divide z?
True
Let k = -10352 - -10924. Is 44 a factor of k?
True
Is (3058/(0 + 1))/((-54)/((-7452)/46)) a multiple of 4?
False
Suppose 15*q + 428 - 3353 = 0. Let f = 164 + -35. Let m = q - f. Does 9 divide m?
False
Let k(w) = -193*w**3 - 12*w**2 + w - 13. Is 19 a factor of k(-3)?
False
Let c = 73 + -70. Suppose c*g = -m - 2*m + 159, 5*m - g - 235 = 0. Let v = 112 - m. Is 16 a factor of v?
True
Let k = 6348 - 4823. Does 18 divide k?
False
Let t = 75 + -84. Let u = 2 - t. Does 4 divide u?
False
Let r be 2/((-6)/21 + 93/301). Let o = r + -123. Let n = 63 - o. Does 20 divide n?
True
Suppose 0 = 3*h + 2*j - 23, -2*h - 5*j = -8. Suppose -5*s - m = -4*m - 10, -4*s = m + h. Does 14 divide (s - -33) + 4/(-1)?
True
Let k = -132409 - -191940. Is k a multiple of 14?
False
Suppose -5*b + 13534 = -f, -587 = -4*b - f + 10251. Is b a multiple of 28?
False
Suppose -8*r + 14*r - 366 = 0. Let g = -39 + r. Is 6 a factor of g?
False
Let n(q) = q**3 - 11*q**2 + 8*q + 158. Is 143 a factor of n(14)?
True
Let h(k) = -k**2 + 23*k - 20. Let o be h(22). Suppose -20 = -4*c, -o = -3*m + 2*c - 0. Suppose -u + 169 = y, -4*u = m*y + y - 677. Is u a multiple of 19?
False
Let k = -51 - -54. Suppose 42 = 3*a + 3*y, -3*a - 2*y = -k*y - 30. Suppose 0 = -a*b + 2761 - 517. Is b a multiple of 51?
True
Suppose -5*l + 4*z = -442, 2*l - 111*z = -112*z + 169. Does 5 divide l?
False
Suppose 1423 = 3*a - 737. Suppose -y + 2*i = -361, -2*y - 2*i = -5*i - a. Is y a multiple of 9?
False
Let l(v) = -v**3 + 7*v**2 - 10*v + 14. Let z be l(6). Is 24 a factor of ((-68)/z - 6) + 1368/15?
False
Let f(x) = x**3 - 59*x**2 + 7*x + 211. Is f(72) a multiple of 13?
True
Is 2 a factor of (12 - 70215/(-62))/((-6)/(-16))?
True
Let x be 24/14 + (-12)/(-42). Suppose 3*s - 26 = 5*c, -5*c - 18 = -x*s + 1. Is s a multiple of 7?
True
Suppose -o = -2*t - 29667, 16*o + 59355 = 18*o + 3*t. Does 21 divide o?
True
Let z = 57 - 62. Let o be (-2 - (-56)/35) + (-842)/z. Suppose 0*a + o = 3*a. Does 7 divide a?
True
Let d(k) be the second derivative of -k**4/12 + 11*k**3/6 - 9*k**2 - 18*k. Let h be d(8). Is 3/(h/4)*(32 + 1) a multiple of 10?
False
Let t(r) = 40*r - 96. Let p = 27 - 12. Is t(p) a multiple of 12?
True
Let z(w) = 41*w**2 + w + 11. Let h(v) = -2*v**2 + v. Let c(n) = 4*h(n) + z(n). Is c(-3) a multiple of 18?
False
Let j(d) = 6*d - 12. Let u(w) be the first derivative of -w**2/2 + 14*w - 3. Let a be u(0). Is j(a) a multiple of 9?
True
Let f(j) = -15*j**3 + 24*j**2 - 59*j - 3. Let k(s) = -8*s**3 + 12*s**2 - 30*s - 1. Let p(t) = -6*f(t) + 11*k(t). Does 8 divide p(7)?
False
Suppose -429 - 759 = -18*d. Suppose -5*b - 26 = -2*y + 27, 4*y - 2*b = d. Is 12 a factor of y?
False
Is 121 a factor of -3*1*(-43076)/12?
True
Suppose -12*x + 32 + 3316 = 0. Suppose 4*f - x = 101. Is 53 a factor of f?
False
Does 98 divide (66/(-18) + 2)/(2*(-7)/12348)?
True
Let i(w) = 80*w**2 - 28*w + 192. Does 33 divide i(6)?
True
Let s be 5 + (-1 + -2)*1. Suppose -312 = 3*l + v, s*v = -0*v - 6. Let u = l - -153. Is u a