 - 2617 = 0. Is 8 a factor of t?
True
Suppose 10*p - 7 = 13. Suppose 3*s = l + 15 + p, 0 = -2*s + 3*l + 9. Let g(r) = 11*r - 2. Does 6 divide g(s)?
False
Let r = -5224 + 6249. Is r a multiple of 25?
True
Is (-50029)/(-11) + (-113)/1243 a multiple of 3?
True
Suppose 3*w - 3*z - 9 = 0, 3*w - 13 = -0*z + 5*z. Let l(j) = 22*j + 90*j**2 - 21*j**2 - 18*j - w. Is l(2) a multiple of 33?
False
Suppose -40*r - 422730 = -51*r - 55*r. Does 5 divide r?
True
Let y be 6 - (-16 + (-18)/6). Let d = y + 213. Is d a multiple of 7?
True
Is ((-105)/1)/(-15) + 6453 a multiple of 68?
True
Let w = -1470 + 1896. Does 4 divide w?
False
Let g be 8 - (-18)/(18/(-6)). Does 8 divide 24/(-132) + ((-8192)/(-22))/g?
False
Let j(q) = 2*q**2 + 18*q - 41. Let k(x) = -x**2 - 5*x - 2. Let w be k(-7). Does 21 divide j(w)?
False
Is 6 a factor of (-32)/(-14) - 2 - (6 + (-18002)/7)?
False
Let x(g) = -g**3 + 4*g**2 + g - 2. Let v be x(2). Let q(d) = 2*d - 13. Let l be q(v). Suppose -l*a = -49 - 11. Is 8 a factor of a?
False
Let x(c) = 2*c + 104. Suppose -38*n + 25 = -1115. Is x(n) a multiple of 82?
True
Suppose 1 = 2*i - h + 2, -h = -i + 1. Let d be (-54)/(-1 + -2 + (-2)/i). Let m = d + 14. Is m a multiple of 18?
False
Let t be (-32)/6*9/6. Let s = t - -10. Suppose 0 = -s*l + 189 - 25. Is 28 a factor of l?
False
Let l be (-10)/(-10)*0/2. Let t(s) = s**3 + s**2 + 2*s + 45. Let x be t(l). Is 10/x + (-1024)/(-9) a multiple of 20?
False
Let h = 337 - 343. Is (-17 - -140)/((-3)/h*6) a multiple of 18?
False
Let w(y) = -20*y**2 + 63. Let p(j) = -7*j**2 + 21. Let g(v) = 17*p(v) - 6*w(v). Let d be g(11). Suppose 40 = 2*n - d. Is 13 a factor of n?
False
Let b(q) = -16*q + 26. Let u be b(-14). Suppose -5*n + g + 123 = -4*n, -2*g + u = 2*n. Does 20 divide n?
False
Suppose 44*i - 780 = 38*i. Suppose -i = -5*j - 25. Is (-3 - j/(-6))/((-4)/(-216)) a multiple of 27?
True
Let j(b) = -43*b - 1059. Is 4 a factor of j(-29)?
True
Suppose f - 78 = -p, -3*f + p = -0*p - 226. Suppose -f*t + 1595 = -71*t. Is t a multiple of 29?
True
Suppose 0 = -a - 4*t - 68, 8*a - 3*t + 317 = 3*a. Let q be (-1)/(15/(-6)) - a/(-10). Is (68/q)/((-18)/162) a multiple of 17?
True
Let r(o) = 96*o**3 + 2*o + 3. Let h be r(-1). Let f = 16 - h. Is 37 a factor of f?
True
Let c be (-286)/(-10) - 38/(-95). Let i = -9 - c. Does 4 divide (-2)/(-6) - i/3?
False
Let q be -2 - 6*3/(-3). Suppose 26 = 4*m + 2*y, 0 = -4*m + 3*m + q*y + 20. Is 16 a factor of m/(-14) - (-1140)/35?
True
Let h(g) = 103*g - 174. Let n be h(6). Suppose -2*z + 5*l = -873, -9*l - n = -z - 4*l. Is 33 a factor of z?
True
Let r(m) = m**2 + 28*m + 117. Let g be r(17). Let s be 15/2 + (-1)/(-2). Suppose s*u - g = u. Is 18 a factor of u?
True
Let u(n) be the first derivative of -n**7/840 + n**6/30 - n**5/10 + 3*n**4/8 - 12*n**3 - 29. Let m(k) be the third derivative of u(k). Is m(10) a multiple of 9?
False
Suppose 1568 + 570 = 2*c. Does 10 divide c?
False
Let v(g) = -g**3 - 63*g**2 + 52*g + 88. Does 8 divide v(-64)?
True
Suppose -4*l = -38 + 54. Is 20 a factor of 575/(-6)*-3 + 2/l?
False
Suppose 39 - 9 = -5*v. Let o(c) = -11*c - 12 + c + 0. Is o(v) a multiple of 12?
True
Suppose -315 + 38 = -f. Suppose 3*q - f = 98. Let y = q - 73. Does 4 divide y?
True
Let x(p) = 9*p**3 - 3*p - 2. Let a be x(-1). Is (-2801)/a - (-3)/(-24) a multiple of 23?
False
Let y be 12/4*(-2)/18*219. Let t = 90 + y. Suppose -5*r - 1008 = -t*r. Does 12 divide r?
True
Is (2 - -30371) + (24 - -17 - 34) a multiple of 49?
True
Let a be (24/(-40))/((-1)/5). Suppose -1 = u - m, 2*u - 13 = -a*u - m. Is (u + -1)/(-1 + (-36)/(-35)) a multiple of 23?
False
Let v = 16 + -13. Suppose 0 = -5*o - 2*t + 448, -v*o + 3*t - 73 = -325. Does 22 divide o?
True
Let g = -58602 - -85629. Does 94 divide g?
False
Let c(f) = f**3 - f**2 + 1. Let x be c(2). Let v be ((-153)/4)/(x + (-126)/24). Suppose 3*s - 3*k = v, -4*s + 5 + 178 = 3*k. Is s a multiple of 18?
False
Suppose -2*i + s = -s - 38, -3*i + 37 = 2*s. Suppose 6*j - i = 45. Let b = 10 + j. Does 15 divide b?
False
Is 29 a factor of 111274/16 - 7/((-112)/6) - -5?
True
Let l = 251 - 244. Suppose -2*p - l*p = -1944. Is 54 a factor of p?
True
Is 186 a factor of 9113 - 10/(-3 + -7) - (-2 + 2)?
True
Let r(a) = 9*a - 113. Let m be r(13). Suppose m*x = -7*x + 66. Is x a multiple of 3?
True
Let l(u) = -2*u + 32. Let m be l(10). Suppose -m*c = -13*c + 2. Suppose -g = -60 - c. Is g a multiple of 12?
False
Let p = 107 - 88. Suppose f - p = 3*f + 3*c, -20 = 5*f + 2*c. Does 10 divide 3/f + (-2187)/(-18)?
True
Let g = -15 + 3. Let s be (-5)/2*g/15 + 1. Suppose -1002 = -4*p + s*k, -3*p + k + 998 = p. Is 36 a factor of p?
False
Let f be (-786)/(-1)*352/64. Does 12 divide f/8 - (429/(-104))/(-11)?
True
Suppose -165 - 175 = -10*z. Let i = z - 33. Is 17 a factor of (0 - 4/i)*-13?
False
Suppose 14*u - 9*u = 0. Suppose -4*c = -z - 520 - 104, -2*z = u. Is 26 a factor of c?
True
Suppose v + k - 44125 = 0, 0 = v - 3*k - 33434 - 10687. Is 48 a factor of v?
False
Let w(n) = -3*n + 64. Let h be w(19). Let s(x) = -x**3 + 9*x**2 - 7*x - 7. Let b be s(h). Let l = 42 + b. Is 12 a factor of l?
True
Is 22 + 1853/(-85) + -2 + 45078/10 a multiple of 53?
False
Is 197 a factor of (-1)/(4132736/317904 - 13)?
False
Suppose 7419 = 16*b - 1205. Suppose b - 97 = r. Does 13 divide r?
True
Let b = -206 + 210. Suppose 3*x - 150 + 17 = -4*h, b*h - 4*x - 168 = 0. Does 6 divide h?
False
Suppose -2*a + 6*w + 1421 = 5*w, 0 = -3*a - 3*w + 2127. Is a a multiple of 5?
True
Let t(j) = -2*j**3 - 2*j**2 + j - 3. Let o be t(-2). Suppose -h - q - q = -575, o*q + 575 = h. Is 13 a factor of h?
False
Let v(i) = 86*i**2 + 322*i + 13. Is v(8) a multiple of 33?
False
Suppose 76*g - 49300 = 47*g. Is 20 a factor of g?
True
Let u(r) = -4*r + 7086. Is 74 a factor of u(-60)?
True
Let d(x) = -x**3 - 12*x**2 + 47*x + 36. Let r be d(-15). Let j(z) = 10*z + 3. Let p be j(3). Does 11 divide (-3810)/(-22) - r/p?
False
Suppose -2*j + 594 = j. Suppose 301 - j = n. Is 4 a factor of n?
False
Suppose 12*r - 130504 = 213512. Suppose -r = -49*f + 18372. Is 8 a factor of f?
True
Let u(b) = 34*b**2 - 26*b - 77. Let o(c) = -7*c**3 + 5*c - 4. Let f be o(1). Is 30 a factor of u(f)?
False
Let l(m) be the first derivative of -3*m**2 - 5*m + 9. Let f be l(-5). Suppose 0 = -30*t + f*t + 115. Is t a multiple of 6?
False
Let c(b) = -6*b - 9. Let w be c(-2). Suppose 0 = x + w*n - 11, -5*x + n + 2*n + 37 = 0. Is (-1)/((x/(-324))/2) a multiple of 9?
True
Let y(f) = 5*f + 5*f**2 - 3*f**2 + 3*f**2 - 11. Let b be ((-7)/(42/30)*-2)/(-2). Does 11 divide y(b)?
False
Let k(j) = j**3 + 5*j**2 + 6*j + 10. Let t be k(-4). Suppose -5*i - t*b + 53 = 0, 5*b - 19 = 4*i - 68. Suppose -40 = -i*l + 70. Is 5 a factor of l?
True
Let n(f) = -4*f**2 + 329*f - 147. Is n(75) a multiple of 3?
True
Let p = -154 - -73. Is 29 a factor of (-1)/(6/4)*p?
False
Suppose 519*u + 494*u - 2940 = 978*u. Is u a multiple of 28?
True
Let f(d) = 17*d + 9. Let p(r) = r**2 + 35*r + 17. Let m(c) = 7*f(c) - 3*p(c). Let b be m(6). Let y(k) = -k**3 - 12*k**2 - 5*k - 18. Does 14 divide y(b)?
True
Suppose 5*l + 252 = 1122. Suppose 3*w + 5*f = l, -w - 2*f - f + 58 = 0. Suppose -3*h + 4*h = p + w, 64 = h + 2*p. Does 6 divide h?
True
Suppose -14*v + 18 = -8*v. Suppose -v*s - 5*a + 696 = 0, -5*s - a + 1301 = 141. Is 47 a factor of s?
False
Does 200 divide 1 + 19558 - (18/21)/(33/(-154))?
False
Let a(v) = v**3 + 10*v**2 - 10*v + 13. Let u be a(-11). Suppose 2*h + 18 = 5*b, 6*h - u*h - 8 = -b. Is (h + -2)/((-1)/(-144)*-1) a multiple of 24?
True
Let h(k) = -k**3 - 20*k**2 + 74*k - 201. Is 10 a factor of h(-25)?
False
Let z(b) = 2*b**3 - 6*b**2 + 2*b - 24. Let f be z(6). Let r = 291 - f. Suppose l - 46 = -5*d + 43, 3*d = -l + r. Is 21 a factor of l?
True
Let a = -297 - -3069. Does 198 divide a?
True
Let l(p) = 4*p + 120. Let n be l(-32). Is 33 a factor of 4180/n*(-18)/15?
True
Suppose 102*c - 1289670 + 393334 = -10*c. Does 151 divide c?
True
Is 1 + 116/1 - 13 even?
True
Suppose 3*l + x = 3*x + 46, 4*l - 63 = x. Let u(c) = c**3 - 11*c**2 - 59*c + 4. Is u(l) a multiple of 17?
True
Let f = -33 - -40. Let s be (-162)/(-2) + (-12)/3 + f. Suppose 0 = -m + 168 - s. Is m a multiple of 21?
True
Let p(i) = -i**2 - i - 2. Let o(b) = -329*b**2 + 5*b + 11. Let n(k) = -o(k) - 4*p(k). Is 15 a factor of n(-1)?
False
Let v = 34502 + 34