 divide q(-1)?
True
Let u(i) = 2*i**2 + 13*i + 13. Let k be u(-8). Suppose 3*v = -3*q + 93, 3*v + k = 5*q - 158. Is (3/4 + 1)*q a multiple of 21?
True
Let q(f) = -190*f - 362. Is q(-25) a multiple of 82?
False
Suppose 0 = -75*h + 79*h. Is (h - (-1 - 1))/(4/552) a multiple of 35?
False
Suppose -149*d + 459426 = -133*d - 3678. Is 16 a factor of d?
True
Does 19 divide (-2369)/345 - (-2)/(-15) - -8312?
False
Let i = -10934 + 19512. Let h be i/8 - (-4)/(-16). Is 14 a factor of (-1)/(4/(h/(-4)))?
False
Let b = -673 - -680. Let h(y) = 3*y**3 - y**2 - 14*y + 78. Is 64 a factor of h(b)?
True
Suppose -1 = -k, -w - w - 5*k + 21363 = 0. Is w a multiple of 294?
False
Let a(z) = -46*z + 3483. Is a(-23) a multiple of 3?
False
Let v(k) = -65*k + 442. Is 19 a factor of v(-3)?
False
Suppose -25*q - 27 = -34*q. Suppose 5*t - 4*t = -3*o + 226, -q*t = 4*o - 293. Is 4 a factor of o?
False
Let m = 14246 + -12286. Does 8 divide m?
True
Does 54 divide 4266 + 0 + (-2)/((38/(-3))/19)?
False
Suppose 0 = l - 5*v - 5 - 3, -2*v + 16 = 2*l. Let x(u) = -u**3 + 11*u**2 - 9*u + 17. Let p be x(l). Let o = p + -95. Does 6 divide o?
True
Suppose -251*u - 15*u + 171344 + 659640 = 0. Does 193 divide u?
False
Suppose -2*h = -h - 12. Let r(t) = 13*t - 18. Let z(w) = -28*w + 35. Let j(y) = -13*r(y) - 6*z(y). Is 3 a factor of j(h)?
True
Suppose 0*c + 47 = -2*c - 5*n, -c - 36 = 5*n. Let q(r) = -31*r + 22. Let i be q(c). Let p = i - 244. Is 13 a factor of p?
False
Let w be (42/4)/(15/40). Does 15 divide w/3*(-1 + (-184)/(-16))?
False
Let p(l) be the second derivative of 12*l - 11/6*l**3 + 1/20*l**5 + 5/2*l**2 - 5/12*l**4 + 0. Is p(7) a multiple of 4?
False
Let j(g) be the first derivative of 4*g**3/3 - 5*g**2/2 - 15*g - 9. Let h be j(-7). Suppose -4*d + 9*d - 360 = z, -3*d - 3*z = -h. Is d a multiple of 12?
True
Suppose 5*s = z - 3929, z - 3890 + 17 = -3*s. Is z a multiple of 22?
True
Let h(x) = 311*x**2 - 73*x + 676. Does 16 divide h(11)?
True
Let i(q) be the first derivative of 2*q**3/3 - 43*q**2/2 - 52*q - 8. Does 13 divide i(26)?
True
Suppose 14*q - 78329 + 17849 = 0. Suppose 5*f - 3*p = q, -9*p = -7*p. Is 19 a factor of f?
False
Suppose 8*n - 15*n + 358 = b, 0 = -3*n - 4*b + 182. Does 2 divide n?
True
Let s = 4908 + -1834. Does 29 divide s?
True
Suppose 2*p = 2*d + d + 187, 285 = -5*d - 2*p. Let i(a) = 2*a**3 - 4*a**2 + 7*a - 2. Let b be i(4). Let g = b + d. Is 4 a factor of g?
False
Suppose -17*l - 4 = -15*l, -3*j + 5623 = l. Does 25 divide j?
True
Suppose 10*m = 51 + 9. Is 5 a factor of -48*(-3)/m*(-6)/(-2)?
False
Let c(l) = l**3 - 4*l**2 - 20*l + 48. Let o be c(6). Suppose 3*u - 5*x - 431 = o, -3*u - 422 = -6*u - 4*x. Is 22 a factor of u?
False
Suppose -39*d + 3 = -36*d. Let q be 35/(-2)*d*-14. Suppose -q = -3*n + 76. Does 14 divide n?
False
Let d be (2/(-4))/(((-1)/(-132))/1). Let k be (-12)/d - (-2 - (-10998)/(-11)). Suppose -5*z = i - k, -6*z + 4*z = i - 402. Is z a multiple of 50?
True
Suppose 18*t + 5313 = 39*t. Is ((-36)/(-6) - 1) + t + 0 a multiple of 2?
True
Suppose 3*i + 12*x - 26044 = 11*x, i - 8676 = -3*x. Is i a multiple of 86?
False
Let x(m) = -38*m + 14. Let l be x(6). Let j = 448 + l. Is 26 a factor of j?
True
Let g = -39253 + 49708. Is g a multiple of 4?
False
Let r = -1098 + 3114. Is 32 a factor of r?
True
Is (-476256)/(-30) - (-18)/15*6/9 a multiple of 162?
True
Let g be 196/(-6)*(-1488)/434. Let l = 1764 - g. Is 59 a factor of l?
True
Let m(g) = 47*g**2 + 416*g + 22. Is m(-12) a multiple of 29?
True
Let d = 121 - 120. Let g be (d + 149)*(2/(-2) - -2). Let l = g + -64. Is l a multiple of 4?
False
Suppose 22 = -z + 5*z - 2*n, 3*z - 19 = n. Suppose 5*j + 2*h - 16 = 0, 3*j - z = -3*h + h. Suppose x - 200 = w, -3*x - j*w + 918 - 290 = 0. Does 18 divide x?
False
Let u(o) = 22*o + 5. Let k be 20/(-3)*(-18)/(-4). Let h be ((-108)/k)/(36/15 + -2). Does 11 divide u(h)?
False
Is 37 a factor of (-30081772)/(-833) - 4/7?
True
Let p(d) = -d**3 - 19*d**2 - 17*d + 21. Let y be p(-18). Suppose 3*o - 8 = o - y*g, g = -5*o + 46. Is 3 a factor of o?
False
Let h = 647 - 654. Is 16 a factor of 112/h + 9 + 135?
True
Let y be ((-1752)/9)/((-9)/((-81)/(-2))). Is (36/48)/(9/y) a multiple of 28?
False
Suppose 2503 + 838 = -13*a. Let w = 428 + a. Let j = 363 - w. Is j a multiple of 12?
True
Let h be (6/5)/((-2)/(-5)) - 0. Let v = 367 + -202. Suppose h*n = -0*n + v. Does 14 divide n?
False
Let g be (0 + -2 + 3 + 36)*1. Let z = g + -39. Is 31 a factor of (z + (-117)/(-12))/((-4)/(-16))?
True
Let t(p) = 24*p**2 + 9*p - 19. Let d be t(5). Suppose -3*x = 2*l - 354, 5*l + 31 = -5*x + d. Is x a multiple of 25?
False
Let j = -24 + 22. Does 21 divide j*(-1514)/12 - 13/39?
True
Let y(z) = -3*z**2 + 2*z - 647. Let g(m) = -8*m**2 + 7*m - 1944. Let x(b) = -4*g(b) + 11*y(b). Does 18 divide x(0)?
False
Suppose 0 = -0*k - 2*k + 18. Suppose 11*b - 8*b - k = 0. Suppose 4*j - 24 = 2*p, b*j - 3*p - 15 = -0*p. Does 7 divide j?
True
Let a = 16791 - 8559. Let n(h) = 0*h**2 - 8231*h**3 + a*h**3 - 2*h**2 - 3 - 8*h. Is n(5) a multiple of 27?
False
Is 39 a factor of (-9)/(-15) - ((-2)/10)/((-1)/(-3527))?
False
Suppose x + 96469 = 2*r, 798*r - 801*r = 4*x - 144709. Is r a multiple of 31?
False
Let n(y) = 169*y + 135. Let s be n(6). Let w = s + -548. Does 31 divide w?
False
Does 3 divide 294228/264 + 10/(-4)?
False
Let l(t) = -t**2 + t - 1. Let i(h) = -10*h**2 + 10*h - 24. Let r(k) = -i(k) + 12*l(k). Let f be r(5). Let y = 8 - f. Is y a multiple of 9?
True
Let p be ((-40)/12 + 4)*30. Does 3 divide (-10)/(p/80*8/(-34))?
False
Let h(t) = 4*t**2 - t - 4. Let w be h(-2). Suppose -17*g + w*g = -255. Is 5 a factor of g?
True
Let a = -336 + 1135. Is (-88)/(-396) + a/9 a multiple of 63?
False
Suppose 223*i - 215*i - 864 = 0. Suppose -1002 = -i*j + 102*j. Does 10 divide j?
False
Let i be (75/12 - 1)/(3/(-12)). Is 10 a factor of 8/(-6) - 70/i - -378?
True
Let i = 9010 - 3090. Suppose 206*q = 196*q + i. Is q a multiple of 16?
True
Let i(m) = 17*m**2 + 68*m + 332. Is 40 a factor of i(-28)?
False
Let r(b) = 6*b + 65. Let f be r(0). Let l = f + -56. Suppose 1339 = 4*z + l*z. Does 15 divide z?
False
Let p be (-1 - -11)/(3 - 505/165). Let g = 98 + p. Let c = -19 - g. Is c a multiple of 16?
True
Suppose 868 = -285*d + 278*d. Let y = -147 + 282. Let s = d + y. Does 2 divide s?
False
Let g be (-10)/(-2) + 13 + -14. Suppose 2*w + 5*l - 417 = 332, 3*w - g*l = 1112. Is 31 a factor of w?
True
Let v(i) = 2*i**3 - 8*i**2 - 12*i - 4. Let w(s) = -s**3 - 26*s**2 + 56*s + 9. Let z be w(-28). Does 32 divide v(z)?
False
Let m(a) = 3*a**2 + 91*a - 44. Is 6 a factor of m(13)?
False
Is 15 a factor of (-15)/6*(-3524 + 2)?
True
Let l = -83 + 110. Is (6/l + (-996)/108)*-37 a multiple of 9?
True
Is 137 a factor of (15338/(-8))/(((-5397)/(-672) + -8)*-2)?
False
Let n = 71017 - 48139. Is 73 a factor of n?
False
Suppose 0 = -7*i + 270 + 6324. Does 53 divide -1 - -3 - -4*i/24?
True
Suppose -3*k - b = -7 - 23, -21 = -4*k + 5*b. Let d = 14 - k. Suppose 159 = 3*o + 4*g - 8, -d*g - 73 = -2*o. Is o a multiple of 3?
False
Let r(x) = x**3 + 47*x**2 - 84*x - 56. Is 4 a factor of r(-48)?
True
Let g = 15480 - 15392. Is 18 a factor of g?
False
Suppose -5*g - 9 - 1 = -5*c, 0 = -3*g - 6. Suppose -9*m + 13*m - 468 = c. Is m a multiple of 49?
False
Suppose 0 = 53*f - 58*f + 30. Suppose -s - 580 = -f*s. Does 4 divide s?
True
Let f(b) = 7 - 7*b + b + 2*b**2 + 12*b. Let o be f(-6). Is (o + 2)*12/4 a multiple of 9?
True
Let y(u) = 4*u**3 + 23*u**2 - 73*u + 150. Is y(12) a multiple of 28?
False
Suppose 5*d - d = 0. Let r be -7*(30/(-35) - d). Is (-2)/(r/(-9)) - (-83 + 2) a multiple of 28?
True
Let y(a) = 18 - 67 + 80*a - 82*a. Let r be y(-7). Does 15 divide (3/1)/((-1)/r)?
True
Let h(u) = 2*u**3 + 43*u**2 - 71*u + 89. Let y(a) = -3*a**3 - 65*a**2 + 106*a - 133. Let m(r) = -8*h(r) - 5*y(r). Is 5 a factor of m(-21)?
False
Let d be (-6)/(-9) + (-704)/(-6). Let t(n) = 121*n - 2 + 0*n**2 - d*n - 3*n**2 + 6*n**3. Is t(2) a multiple of 14?
False
Suppose -340 = -15*p + 20*p. Let x = p - -54. Is ((-12)/x)/(1/42) a multiple of 9?
True
Let u = 590 - 638. Is 5 a factor of (80/(-15))/(2/u)?
False
Let d be 3 + 4748/12 + (-4)/(-3). Suppose -5*c + 20 = 0, -u - 2*c + d = 107. Suppose -191 = -4*v - 5*g, -4*g - u = -5*v - g. Does 27 divide v?
True
Let p(c) = -6*c**2 + 4*c + 3. Let w(t) = -11*