(39)?
True
Let q(a) = a**3 - a**2 - 2*a + 204. Let m be q(0). Let f be m - 5 - (6 + -4). Let u = f - 137. Is u a multiple of 12?
True
Does 11 divide -9*7551/(-81) - (-3 - -3)?
False
Let d(x) = -4*x**2. Let p be d(1). Let o(a) = -19*a - 12. Let y be o(p). Suppose -3*u = -u - y. Does 14 divide u?
False
Let x(l) = -l - 2. Let q(r) = -2. Let h(d) = -3*q(d) + 2*x(d). Let i be h(1). Suppose i = 2*u - 120. Is u a multiple of 11?
False
Let x(w) = 31*w**2 - 9*w - 28. Let g be x(-5). Let i(s) = s**3 - 6*s**2 + 7*s - 6. Let y be i(5). Suppose y*p + 296 = g. Is 31 a factor of p?
True
Let o(p) = p**3 + 14*p**2 + 13*p + 4. Let h be o(-13). Suppose w + 601 = -h*j - 0*j, 4*j + 619 = 5*w. Let v = j - -523. Is 25 a factor of v?
False
Let o(z) = -z**3 + 16*z**2 - 25*z - 42. Let w be o(14). Suppose 3*l + 7*s = 2*s + 558, 2*l + s - 372 = w. Is l a multiple of 12?
False
Let r(f) = 38*f**3 + 40*f**3 - 8*f + 40 + 36*f**3 + 3*f**2 - 111*f**3. Is 9 a factor of r(6)?
False
Suppose 0 = -5*v + 3*a + 44340, -666*v + 35465 = -662*v - a. Is v a multiple of 121?
False
Let h(q) = -585*q + 32. Let j be h(-12). Does 10 divide 4/10 + j/20?
False
Let o(l) = l**3 + 4*l**2 + l + 5. Let z be o(-3). Suppose 0 = -4*d - 4*v - 20 - 4, z = -d - 2*v. Let n(x) = 143*x**2 - x. Is n(d) a multiple of 21?
False
Suppose j = q + 47, -q - 111 = -3*j - 4*q. Suppose -5*p = -103 - j. Suppose 26*i - p*i = -213. Does 13 divide i?
False
Suppose 8*h = 30934 + 22050. Does 24 divide h?
False
Let a(t) = t**3 + 53*t**2 - 102*t - 402. Is a(-48) a multiple of 19?
False
Suppose 706*y = 696*y - 14970. Let r = y + 2174. Does 13 divide r?
False
Let q be ((-3)/2)/(30/(-200)) + -4. Suppose q*u + 127 = 5389. Is 33 a factor of u?
False
Let v(b) = 526*b**2 - 31*b - 32. Let i be v(-1). Suppose 31*k - 1676 = i. Is 2 a factor of k?
False
Let a be (-7)/(42/18) + 5. Let u be 177 - a*(-6)/(-4). Suppose -8*l + u = 38. Does 6 divide l?
False
Is (-55896)/(-3) + 19 + -28 a multiple of 11?
True
Let j = -7 + 14. Let a(o) = 4*o**2 + 4*o - 20. Is 17 a factor of a(j)?
True
Suppose 6*q + 170 = 16*q. Let g(n) = -n**2 + 17*n + 24. Is g(q) a multiple of 3?
True
Suppose 2391 = 35*z - 13079. Let h = z - 428. Does 14 divide h?
True
Suppose -4*t + 2*d + 27363 = -51101, 3*d + 78464 = 4*t. Is 32 a factor of t?
True
Let t(i) = 1041*i**2 + 66*i - 64. Is t(1) a multiple of 49?
False
Suppose -17 = 12*d - 41. Does 10 divide (-3 - 889/(-11)) + d/11?
False
Let f = 5585 + -3825. Suppose 3*d + f = 11*d. Let v = d - 124. Is 13 a factor of v?
False
Let l(y) = 6*y + 19. Let s be l(12). Suppose 2*v + s + 141 = 0. Let w = v - -120. Does 4 divide w?
True
Suppose -5*u + 145 = 5*x - 8*u, -u = -x + 27. Suppose -35*y + 1491 = -x*y. Is 25 a factor of y?
False
Let z(g) = -3*g**3 - 11*g**2 + 2*g + 5. Let v be z(-3). Let u = -93 - -16. Let q = v - u. Is q a multiple of 11?
False
Let s = 10764 + -5938. Is 38 a factor of s?
True
Let l = -5576 + 6859. Does 5 divide l?
False
Suppose 2*n - f = -0*n + 343, 0 = 5*n + 2*f - 835. Suppose 0 = -9*t + n + 380. Is t a multiple of 3?
False
Let x = -50236 - -71000. Is x a multiple of 29?
True
Suppose g - 314 = -l + 749, -4*l + 4234 = g. Is 6 a factor of l?
False
Suppose -2*m + 732 = z, 0 = -5*m + 3*m - 4. Suppose 6*p = -160 + z. Is 12 a factor of p?
True
Suppose -4*t + 34 = -14. Let i(y) = -2. Let w(k) = -8*k + 20. Let b(c) = -12*i(c) - w(c). Does 25 divide b(t)?
True
Suppose -2*w - 1 = -11. Suppose -13 = -w*p + u, -2*u - 15 = 3*u. Does 12 divide (-33)/(-55) - p/(20/(-114))?
True
Suppose -p + 5*h + 5 = 0, 4 = -0*p - p - 4*h. Suppose 2*d + p*d - 5*g - 26 = 0, 3*d = 3*g + 30. Is 38 a factor of -9*d*-1 - -2?
False
Let t(i) = -i**3 + 9*i**2 - 17*i - 1. Let h be t(5). Suppose 28 + h = -2*v. Let y = 56 + v. Is y a multiple of 10?
False
Let p(a) = 2*a**2 - 4*a - 93. Suppose 2*s + 3*c = 19, 18 = -4*c - 2. Is p(s) a multiple of 17?
False
Let r = -130 + 140. Let j(c) = -c**3 + 9*c**2 + 23*c - 4. Is 6 a factor of j(r)?
True
Let i = 10785 - 7836. Is 43 a factor of i?
False
Let s be (-1 - 0)*(-6048)/14. Let r = s - 37. Is r a multiple of 17?
False
Let i be -1 - -2 - (-3 + -10). Suppose 0 = 18*c - i*c + 132. Let r = 63 + c. Is r a multiple of 10?
True
Let k = 460 + -456. Suppose 0 = 2*a - 6, -4*a = k*h - 7*a - 6651. Is h a multiple of 111?
True
Is 200910/(-444)*1/5*-34 a multiple of 13?
False
Suppose 8*r + 82 = 4*r - 5*n, r = 4*n - 31. Does 13 divide 191444/437 - (-2)/r?
False
Let h(a) = 56*a + 551. Is h(28) a multiple of 46?
False
Suppose h - 5 = -3*i, h - 4*i = -h. Let z be 61*((h - 1) + 0)*-1. Let a = z + 167. Does 28 divide a?
False
Let u(v) be the first derivative of -5*v**4/4 - v**3/3 - 4*v + 6. Let w(l) = -3*l**3 + 4*l**2 - 8*l + 5. Let r be w(1). Is 2 a factor of u(r)?
True
Suppose -3*c + 234 - 27 = 0. Is 36 a factor of 42222/c + (-6)/(-69)?
True
Suppose -34980 = 186*y - 197*y. Is y a multiple of 10?
True
Let n(l) be the second derivative of -l**5/20 + l**4/2 + 17*l**3/6 - 9*l**2/2 - l + 20. Is 13 a factor of n(4)?
True
Let o(j) = j**2 - 11*j - 4. Let d be (-18)/8*(-16)/12. Let a be o(d). Let z = a - -51. Is z a multiple of 23?
True
Let j(b) = 3*b**2 + 40*b + 328. Is 7 a factor of j(-26)?
True
Let g = 94 + -88. Suppose 3*z - 510 = -g*o + 9*o, 5*z = 3*o + 860. Is z a multiple of 35?
True
Let h = -132 - -133. Let y(i) = 165*i**2 + 2*i + 1. Does 28 divide y(h)?
True
Let i(s) = -1669*s**3 + 6*s**2 + 6*s + 1. Is i(-1) a multiple of 43?
False
Let u = -14 - -14. Suppose -4*j + 116 = -w, 4*j + w - 116 = -u*j. Let k = j - -151. Is 20 a factor of k?
True
Let v = 3607 + -1591. Suppose 0 = 49*u - 55*u + v. Does 14 divide u?
True
Let y(j) = -3*j**3 + 18*j**2 - 54*j - 947. Is 76 a factor of y(-17)?
True
Let i(b) = b**2 - b - 1. Let q(g) = -8*g**2 + 8. Let z(j) = 18*i(j) + 2*q(j). Let k be z(9). Is 5 a factor of (-7)/(-1) - (3 + (-3 - k))?
True
Let c = 238 - 246. Let f(l) = 2*l**2 - 32*l - 9. Is 75 a factor of f(c)?
True
Let o(h) = -h - 22. Let d be o(-12). Let p be 244/(-2)*5/d. Suppose 0 = p*r - 62*r + 112. Is 56 a factor of r?
True
Let p(x) = -5*x**2 + 3*x - 2. Let g be p(3). Let q = g - -171. Is 7 a factor of q?
True
Let v = 30 - 28. Let x(q) = -10*q - 7. Let u be x(v). Let c = -9 - u. Does 3 divide c?
True
Let n(h) = -h**3 - 10*h**2 - 5*h + 10. Let y be n(-6). Let k = -67 - y. Suppose 5*s + k = 97. Is 2 a factor of s?
True
Let n be 2/((-164)/(-42) + -4). Let p be 12/(-4)*3/(-9) - n. Let d = 41 - p. Does 4 divide d?
False
Suppose -28*z + 19921 = -10431. Suppose 0 = 19*f - 17*f - z. Is 15 a factor of f?
False
Let a(o) = -o**3 + 10*o**2 - 3*o + 9. Let i be ((-33)/(-9))/((-3)/(-333)). Let w be (-1 - 1)/8 + i/44. Is 9 a factor of a(w)?
True
Let i = -19904 - -31344. Is i a multiple of 10?
True
Let a(i) = i**3 + 40*i**2 + 76*i + 55. Suppose -19*p - 456 = -7*p. Does 20 divide a(p)?
False
Let l = -30 + 46. Suppose -8*t - 1800 = -l*t. Is t a multiple of 30?
False
Suppose 3*y - 4163 = 5*p + 79, 2*p = y - 1415. Let v = 2033 - y. Is v a multiple of 16?
True
Suppose 2*q - 51 = -9. Suppose 8 = 2*d + o - 16, -5*d - 5*o + 50 = 0. Let u = q + d. Is 13 a factor of u?
False
Let i(v) be the first derivative of -v**2 - 2*v - 16. Let x be i(-4). Is 29 a factor of 164 + (0 - 2) - (x + -3)?
False
Does 109 divide 18814/2 - 0/((-20)/(-5))?
False
Let n be (1 - -2)/(-2*(-6)/(-24)). Let s be ((-8)/n)/((-2)/(-6)). Suppose 2*f - z - 50 = -8, 0 = 4*f + s*z - 96. Does 3 divide f?
False
Let a(k) = -3*k + 32. Suppose -5*g + 10 + 52 = 4*q, -5*q = 4*g - 55. Let t be a(g). Suppose 3*n = 7*n - s - 27, t*n + 4*s - 18 = 0. Does 4 divide n?
False
Let p = 10 + -11. Let h be (p/(-2))/(-2 + 6/4). Is ((-819)/15 + h)/((-10)/25) a multiple of 23?
False
Suppose -5*v + 7*v - 1673 = 563. Does 26 divide v?
True
Does 20 divide (2740/20)/(1 - (-54)/(-57))?
False
Suppose -4*m = 12 - 4. Let k be (5 - 6)*(m - 0). Suppose -k*p - 2*w + 179 = 49, 2*p - 126 = -3*w. Is 23 a factor of p?
True
Let b(n) = 7*n - 81. Suppose 3*a + 378 = 17*a. Does 3 divide b(a)?
True
Is 20 a factor of (-18 - (-1033252)/110)*(-15)/(-6)?
False
Suppose -5*j + 19555 - 6071 = 2*w, 8109 = 3*j - 5*w. Is 15 a factor of j?
False
Let r = 4636 - 2620. Suppose -29*o + 32*o - r = 0. Is 32 a factor of o?
True
Suppose -b + 6*b - 66 = -3*a, -3*b + 46 = 5*a. Suppose t - b = -6. Suppose -t*m + f + 597 = -m, -4*f = 3*m - 372. Is 15 a factor of