le of 21?
True
Does 8 divide (4 + -148)*((-119)/((-42)/(-6)) + 7)?
True
Is 13 a factor of (-8112)/(-9)*(-198)/(-24)?
True
Let z(c) = c**2 + c. Let b(n) = -135*n**2 - 2*n - 1. Let g(o) = -b(o) - 2*z(o). Let p be g(1). Let d = -41 + p. Is d a multiple of 10?
False
Suppose 0 = 29*o - 13*o - 3872. Suppose -119*l + 121*l = o. Does 15 divide l?
False
Let l be (0 + -4 + 2)*-5. Let p = l - -9. Suppose -23*d = -p*d - 432. Does 24 divide d?
False
Let o be (-14)/(-35) - 54/(-15). Let y be (0 + (-1)/2)*o. Is (-15)/5 - (-1 + 123)/y a multiple of 4?
False
Let k be -3*(-15)/9*(-14)/(-35). Suppose k*g = -3*i + 55, 0 = 2*g + 2*g + 2*i - 122. Does 6 divide g?
False
Let l be 73/(-3)*(-5 - -2). Suppose -10 = -5*h + 3*p + 2*p, 3*p = -4*h + 15. Suppose 4*i = -h*j + 9*i + l, -2*j = -3*i - 47. Is 6 a factor of j?
False
Let t(s) = s**2 - s - 1. Let m be t(3). Suppose -m*r + 9 = -2*p - p, 8 = 4*p. Suppose r*c = 28 + 197. Does 9 divide c?
False
Suppose 23*a - 15 = 169. Suppose 4870 = a*z - 7938. Is z a multiple of 24?
False
Let u be (-3)/(-1 + 2)*110/15. Is 43 a factor of (11/(u/808))/(-2)?
False
Let n(s) = -s**2 - 9*s + 27. Let m be n(-7). Let c = 11 + m. Does 7 divide (c - 3)*(-4)/(-4)?
True
Let s = -309 - -314. Let q be (3/2)/((-48)/(-128)). Suppose s*a = 5*x - 435, q*x = 4*a - 5*a + 323. Is x a multiple of 38?
False
Let b(y) = -8 + 18*y - 30*y - y**2 - 2. Let c be b(-4). Suppose -u + 16 = -c. Does 19 divide u?
True
Suppose -4*m = -0*m + 16. Let r(f) = 15*f**2 - 7*f - 2. Let o(c) = 16*c**2 - 8*c - 3. Let q(d) = m*o(d) + 5*r(d). Is q(1) even?
True
Let u(q) = 31*q**3 - 4*q**2 + 3*q - 1. Let r(l) = -l**3 + l**2 - l. Let s be 1*(-5 - -4)*1. Let k(w) = s*u(w) - 4*r(w). Is k(-1) a multiple of 9?
True
Let q(b) = -b**2 - 39*b - 207. Let t be q(-6). Is 9 a factor of -22*-2*t/(-18)?
False
Let u(w) = w**2 + 7*w - 13. Let v be u(-9). Suppose v*p = o - 24, 3*p + 6 = p. Does 2 divide (-3 + (-32)/(-12))*o*-1?
False
Suppose 2*t + 10243 = 5*t - 2411. Is 57 a factor of t?
True
Suppose -410 - 257 = i. Let u = i - -811. Is 8 a factor of u?
True
Let c = 23 + 59. Suppose 75*u = c*u - 1918. Does 6 divide u?
False
Suppose -z + 179 = 9*x - 4*x, 5*z = -5. Suppose -37*s = -x*s - 351. Does 9 divide s?
True
Let a be (5 - 4)*(4 + 6 - 2). Is 13 a factor of a/7 - 151488/(-336)?
False
Does 55 divide (441/189)/((-1)/3) - -1492?
True
Let w = -48 - -47. Let s be (w - 0)*-11 + (-64)/16. Suppose -s*y + 101 = -207. Is 11 a factor of y?
True
Let w = 70309 - 26402. Is w a multiple of 83?
True
Suppose 3*p + 48*u - 47*u - 175 = 0, -3*p + 179 = 2*u. Is p a multiple of 2?
False
Suppose -22*q = -135127 + 38459. Does 4 divide q?
False
Let s(a) = -a**2 - 5*a - 9. Let w be s(-3). Let b be (4/(-6))/(w/(-27)). Is 3 a factor of (-39)/((9/b)/1)?
False
Let f(l) = -41*l**3 + 9*l + 26. Is 14 a factor of f(-4)?
False
Let l(q) = 30*q - 1. Let j be l(1). Suppose -4 = -4*c - 4*v, 5*c + 3*v = -10 + 5. Is 7 a factor of 2 + (j/c)/((-1)/4)?
False
Let l be (8 - -1610) + 5 + -2. Let g = -464 + l. Is g a multiple of 13?
True
Let q(r) = -60*r**3 + 6*r**2 - 5. Is q(-2) a multiple of 3?
False
Let s(i) = 6*i**3 + 3*i**2 - 4*i. Let r be (15/(-20)*-4)/(1 + 0). Let l be s(r). Let t = l + -102. Does 5 divide t?
True
Suppose -33*y + 66*y = 45*y - 171504. Is 18 a factor of y?
True
Let b(k) be the third derivative of 2*k**5/5 - k**4/12 + k**3/3 - 19*k**2. Is b(-4) a multiple of 38?
False
Is 26 a factor of (-93 + -3)*624/(-96)?
True
Let q(k) = -3*k + 150 + 105 + 319 + 224*k**2 - 225*k**2. Is q(0) a multiple of 14?
True
Let u be 1 - 5 - (1 + -108). Suppose -9*n = -10*n + u. Suppose 2*d - n = -r + d, r = 5*d + 109. Is r a multiple of 13?
True
Suppose -4*g + 19 = 3. Suppose g*m = 12*m - 1024. Does 16 divide m?
True
Let u(v) be the second derivative of -5*v**3/6 + 20*v**2 + 38*v. Is 10 a factor of u(-4)?
True
Let s = 86 - 213. Suppose 7*j - 856 = 3*j. Let g = s + j. Is 19 a factor of g?
False
Let x = -4783 - -6407. Is 18 a factor of x?
False
Let a = 13125 + 25655. Does 29 divide a?
False
Let r(x) = -x**2 - 10*x + 5. Let n be r(-10). Suppose 811 + 1839 = 10*g. Suppose -3 = -l - n*j + 58, -5*j + g = 5*l. Does 11 divide l?
False
Suppose -4*b + t + 31489 = 529, 4*b = -4*t + 30960. Does 90 divide b?
True
Suppose -2008 = -50*z + 58*z. Let x = -157 - z. Does 13 divide x?
False
Let r be (-4 - -18) + -3 + -3. Suppose 0 = -2*g + 2*b - 5*b + 182, 0 = 4*b + r. Is g a multiple of 9?
False
Suppose -z = -7*k + 5*k - 3018, 9066 = 3*z - 2*k. Suppose -6*r = -24*r + z. Is r a multiple of 21?
True
Is -434*-1*(8 + -7) + -3 a multiple of 5?
False
Suppose -24*a + 5762 = 45*a - 21769. Is a a multiple of 3?
True
Let s be (-226)/2 - (-40)/8. Let h = s - -225. Is h a multiple of 8?
False
Suppose -3*n - 38308 = -q, 2*n - 2*q = 3*q - 25556. Is (-4)/(-6) - n/18 a multiple of 10?
True
Let w(x) = 14*x + 46 + 30*x**2 - 31*x**2 - 16. Let i(d) = -d**2 + 9*d - 4. Let p be i(6). Is 10 a factor of w(p)?
True
Does 174 divide 145/10*5*86?
False
Does 12 divide (-4068*43)/4*(11 - (-444)/(-36))?
True
Let p be ((-1680)/(-70))/(-1 + -1). Is 95670/(-60)*(p/(-9))/(-2) a multiple of 28?
False
Suppose 4*t - 6 = -r, -9*r + t = -6*r + 8. Let w(z) = 4*z**2 - z - 6. Let c be w(r). Suppose 396 = -c*d + 18*d. Is d a multiple of 22?
True
Let x(m) = -m**2 + 14*m - 9. Let k be x(4). Suppose -2*d + 6*d + 42 = 2*i, -i - k = 2*d. Let z(a) = -13*a - 41. Is 19 a factor of z(d)?
False
Suppose n + 2976 = 4236. Does 45 divide n?
True
Suppose -4*c = d + 18, -3*c = -3*d + 4 + 2. Let q be 20*((-15)/(-22) - (-2)/(-11)). Is 29 a factor of 12*q + (-7)/((-7)/c)?
True
Let c be 2/(-7) - 5676/(-21). Let u = c + -103. Is u a multiple of 11?
False
Let o = 39570 + -30853. Does 23 divide o?
True
Let y = -104 + 109. Suppose -3*c + 3*d = -2*c - 159, -y*c = -5*d - 825. Does 32 divide c?
False
Suppose 1594 = a + 3*q, 0 = a - 2*q + 650 - 2264. Is a a multiple of 4?
False
Suppose 0 = -2*z + 5*f + 32, -f = 1 + 3. Suppose 517 = 5*y + k, z + 2 = 4*k. Is 8 a factor of (-2 - -2 - -1) + y?
True
Suppose -3740 = -5*n + 2*t, -2*n - 3*t - 40 + 1555 = 0. Suppose -3*m + n = -p - 154, 280 = m + 5*p. Suppose -m = 195*a - 197*a. Is a a multiple of 30?
True
Let r(p) = -p**3 + 4*p**2 + 13*p. Let o be 30/45*(10 - 1). Let u be r(o). Suppose -m = 5*h - 82, 3*m = m - u. Is h a multiple of 3?
False
Is 17 a factor of (-2241)/(-249) - (283388/(-20) + (-4)/(-10))?
True
Let l(u) = u**3 + 19*u**2 + 16*u - 24. Let c be l(-15). Suppose -4*y = -56 - c. Does 31 divide y?
False
Let t = -239 - -259. Suppose -t = -17*i + 2530. Is 10 a factor of i?
True
Let t(f) = -2*f**2 - 58*f + 618. Let w be t(9). Suppose 371 = d - 183. Does 44 divide (d/6)/((-22)/w)?
False
Let n(f) = 60*f - 14. Suppose -3*c - 6*m = -2*m, m + 15 = 3*c. Let h be n(c). Suppose -4*a + z + h = 89, 2*a + 5*z - 63 = 0. Is a a multiple of 17?
True
Let x(s) = -59*s - 7. Let n = 0 - -32. Suppose -3*t = -23 + n. Is 17 a factor of x(t)?
True
Let n = 1581 - 725. Suppose 72 = -4*z + n. Does 14 divide z?
True
Suppose -6*f + 161 = -1687. Suppose 4*v + 4*j = f, 3*v = -3*j + 4*j + 243. Is 8 a factor of v?
True
Let g(v) = v**2 - 15*v - 60. Let m be g(18). Does 28 divide (-1902)/m + (-8 - -1)?
False
Let d = 34539 - 34320. Let t = 452 - -33. Suppose 8*l - t = d. Is 22 a factor of l?
True
Let q = -70 - -82. Suppose -q*r - 4865 = 2947. Does 15 divide (-1)/(5 + r/130)?
False
Let n = 3557 + -3077. Is 16 a factor of n?
True
Suppose 2*i + 2*u - 11416 = 0, -622*i + 4*u = -619*i - 17082. Is i a multiple of 48?
False
Let x = 2621 - -161. Let q = x - 1662. Is 13 a factor of (3/(-2))/((-21)/q) - 0?
False
Suppose 0 = 4*z - 7*z + 21. Suppose 0*p = -z*p - 42. Is ((-184)/(-16))/((-1)/p) a multiple of 4?
False
Let o = 43 - 46. Let a be 3 - 8 - -6 - o. Suppose -a*h - h = -120. Is 18 a factor of h?
False
Suppose 16255 = 17*b - 38876. Does 17 divide b?
False
Suppose -3*d - 2*d = -10. Suppose -27 = 3*m + 3*z, m - d*z = -0 + 6. Does 16 divide 1296/40 + m/10?
True
Let y(s) = 2*s**3 - 3*s**2 + 2*s - 5. Let l be y(2). Is 7 a factor of (86/7)/(4*l/84)?
False
Suppose 1050 = k + 2*o, 2*k = 314*o - 309*o + 2127. Is k a multiple of 16?
True
Let q = 13511 + -8587. Does 32 divide q?
False
Suppose -k = -s + 7677, -4*s = 5*k - 28734 - 2028. Is 10 a factor of s?
False
Let w(f) = -f**2 - 8*f - 14. Let t(g) = -g**2 - 8*g - 14. Suppose -y - 15 = -3