t x(g) = -5*g**3 + 11*g**2 - g - 27. Let a(l) = 9*d(l) + 2*x(l). Is a(-10) a multiple of 6?
False
Let u = -44 - -46. Suppose -117 - 188 = -5*q + x, -122 = -u*q + 5*x. Let s = q - -44. Is 7 a factor of s?
True
Let m = 3532 + -3066. Does 63 divide m?
False
Suppose 11*z = -2620 + 12916. Suppose 329*t + z = 335*t. Is 12 a factor of t?
True
Let f(i) = -13*i - 20. Let o(j) = j. Let a(t) = f(t) + 3*o(t). Let h be a(-8). Let d = h - 2. Is d a multiple of 26?
False
Suppose 16*j = -2*v + 12*j + 25572, v = 3*j + 12781. Is v a multiple of 68?
True
Let b(y) = 56*y + 88. Is b(7) a multiple of 15?
True
Suppose 832 = 5*r - r. Let l be (318 - -12)*(-24)/(-9). Suppose 8*h - l = r. Is 34 a factor of h?
True
Suppose -21*s + 44 = -82. Let f(v) = 23*v**2 - 19*v + 56. Is 35 a factor of f(s)?
True
Suppose -4*j - 5 = -5*j. Suppose f + j*h = -131, -3*h = -0 + 3. Let v = -105 - f. Is v a multiple of 4?
False
Let w(z) be the third derivative of z**6/120 - 2*z**5/15 + 23*z**4/24 - z**3 + z**2 + 22. Is w(5) a multiple of 7?
False
Is 8 - (-3998 + -7 + -3) a multiple of 49?
False
Suppose 11*l + 2*s + 46782 = 13*l, -5*l + 116945 = 5*s. Is 10 a factor of l?
True
Suppose -3*z = -4*d - 0*z + 73, d + 3*z = 7. Let l(t) = -t**2 + 17*t - 27. Let s be l(d). Let p(v) = -18*v - 36. Is 31 a factor of p(s)?
False
Let w(c) = 11*c**2 + 5*c + 12. Let p = -302 + 296. Is w(p) a multiple of 63?
True
Let r(x) = -18*x - 30. Let g be r(-3). Suppose g*c = -6*c + 4080. Is c a multiple of 5?
False
Let s = -188 + 203. Let x(q) = -q**2 + 15*q + 66. Does 5 divide x(s)?
False
Suppose -1766104 = -53*b - 1102167 + 1607855. Does 228 divide b?
True
Let i be ((-52)/(-6))/((-12)/18). Let t(r) = -r**3 - 14*r**2 - 16*r - 11. Let n be t(i). Suppose 2*b - 197 = 3*g - n, -4*b + 339 = -5*g. Is 36 a factor of b?
False
Let x be (-84)/(-24) - 3394/4. Let q = 1325 + x. Is 20 a factor of q?
True
Let d be 7 + 1 + -9 + (-1 - 19). Let q = d + 214. Is q a multiple of 9?
False
Let g be 15/35 - (-150)/42. Suppose g*n - 1726 = -3*x, -3*n + 6*n - 1722 = -3*x. Is x a multiple of 46?
False
Suppose 0 = 4*t - 2*r - 50, -2*r - 3*r - 53 = -4*t. Let d(c) = 8*c**2 - 47*c + 6. Is d(t) a multiple of 27?
True
Suppose p - 13 - 12 = 3*r, 111 = 5*p - r. Suppose -4*j = p*x - 21*x - 1117, -j = -2*x - 286. Is j a multiple of 5?
True
Let h = 143 + -58. Suppose -2*s - 12 = -76. Let j = h - s. Is j a multiple of 8?
False
Is 43 a factor of ((-753291)/(-165) - 7) + (-14)/10 + 1?
True
Let j(k) = 2*k**2 + 90*k + 1078. Is 22 a factor of j(-56)?
True
Suppose 88*s = -33*s + 39567. Is 25 a factor of s?
False
Suppose -14*u - 5 = -9*u. Let f be (89 - -29)*(-1)/u. Let m = 308 - f. Is m a multiple of 19?
True
Let q(o) be the third derivative of o**5/30 + o**4/12 + 10*o**3/3 + 60*o**2. Let k(s) = -s. Let x be k(0). Is 5 a factor of q(x)?
True
Let a be (1 - 11)/((-10)/55). Suppose -2*o = 4*x + 33 + a, 4*o - 34 = 2*x. Does 5 divide (-1632)/(-28) + (-36)/x + -2?
False
Let c(t) = -3*t**3 - 16*t**2 - 15*t - 5. Let n be 6/18 + -8*14/12. Does 20 divide c(n)?
False
Let s(k) = 315*k + 54. Is s(13) a multiple of 8?
False
Let j(f) = -2*f**3 + 36*f**2 - 21*f + 9. Let a be j(18). Let b = a - -530. Does 7 divide b?
True
Is (-481676)/(-182) - 70/(-49) a multiple of 8?
True
Suppose 6*d = 11*d - 370. Suppose 0 = -3*m - 20 + d. Is 15 a factor of m?
False
Let z be 441/(-18)*(-4)/7. Suppose 9*s = z*s - 5, 3*s = -4*t + 1019. Does 14 divide t?
False
Let s = 461 + -782. Let y = s - -421. Does 10 divide y?
True
Suppose 74*n - 462480 = -20*n. Is 123 a factor of n?
True
Let m(n) = 2*n**3 + n**2 - 7*n + 5. Let l be m(3). Let d = l + -3. Is d a multiple of 4?
True
Let j be 3/(-2) - (-2)/(-16)*4. Let i = j + 5. Suppose -i*r = 4*d - 17, 5*d + 0*d + 53 = 3*r. Does 6 divide r?
False
Let j(y) = -y**2 - 19*y - 17. Let f(x) = -4*x**2 + 2*x + 1. Let r be f(-2). Let w be j(r). Let l(q) = -q**2 - 17*q + 12. Is 8 a factor of l(w)?
False
Let m be 2/(-8) + (-7)/4 + 4. Suppose -1 = -5*r + 4, -4*f - m*r = -1146. Is f a multiple of 11?
True
Let o = -8062 + 12814. Is o a multiple of 198?
True
Let k(y) = 17*y - 364*y**2 + 773*y**2 - 385*y**2 + 31. Is 12 a factor of k(-2)?
False
Suppose -2*v + 413 = -r, 0 = -r - 5*v - 681 + 254. Let a = r + 517. Does 6 divide a?
False
Suppose b - 30 = -2. Let i(o) = o**3 - 11*o**2 + 3*o - 26. Let x be i(11). Is 264/b + 4/x a multiple of 10?
True
Suppose -2*t = 6*t + 48. Let q be 12/8 - (-9)/t - -11. Is 21 a factor of q/2*110/11?
False
Suppose -914 = -2*a + 8*t - 5*t, a + t - 452 = 0. Does 9 divide a?
False
Let t be (-577)/(1/(-3 - -4)). Let b = t + 1037. Does 16 divide b?
False
Suppose 3*r - 1553 = -4*z, -3*z + 0*z - 496 = -r. Let n = 834 - r. Is 23 a factor of n?
False
Let m(h) = -17*h**3 - h**2 + 12*h + 34. Let r be m(-3). Let l = r + -217. Is l a multiple of 4?
False
Is 125 a factor of (84/(-63))/(48/(-2197116))?
False
Let a be 7/21 + 182/(-6). Let u = a + 33. Is 11 a factor of 9/(-9) - (u - 67)?
False
Suppose -33 = 4*h + 3. Let d be (-2)/(-4 + (-30)/h). Suppose -3*i - 2*i + 255 = 5*y, -d*i + 55 = y. Does 13 divide y?
False
Let r(f) = 57*f - 112. Let c be r(2). Suppose -4*j + 2*y = j - 778, 0 = -c*j - 5*y + 317. Does 8 divide j?
False
Suppose 63 = 5*s - 27. Let g be 8*2*s/36. Suppose 3*t - 11 - 31 = -3*u, -g = -2*t. Does 9 divide u?
False
Let d = -107 - -72. Let a = d + 35. Suppose -w - 4*x + 61 = -6*x, a = w - 4*x - 65. Is w a multiple of 19?
True
Let b(h) = h**2 + 30*h + 54. Let i be b(-28). Does 43 divide i/3 - (-5 - 14420/30)?
False
Let a be (-2 + -3)*-2*(-120)/25. Is 21 a factor of ((-1 - -1) + 49)/((-16)/a)?
True
Suppose -2*s = -2, 0 = 2*r - 4*s + 2 + 2. Suppose r = 2*x - 2*c - 287 - 127, -5*x - 3*c = -1035. Is x a multiple of 23?
True
Suppose 2*q = 2*t + q + 682, -2*t - 682 = -3*q. Suppose -8*n + 2952 + 1272 = 0. Let p = t + n. Is 17 a factor of p?
True
Let o be (-62)/(-14) - 63/147. Suppose o*z - 1973 = -r, 5*z - r - 2*r = 2479. Does 46 divide z?
False
Let c be ((-3)/(-9))/((-1)/12) + 28. Is (c/10)/((-87)/(-580)) a multiple of 9?
False
Let i(n) = 3*n**2 + 7*n - 10. Suppose -9*x + 283 = -167. Let h be 6*x/(-45) - (-4)/6. Is i(h) a multiple of 18?
False
Let c be ((-98)/(-245))/((-1)/(-20)). Let n = c + 34. Does 4 divide n?
False
Let g(r) = 809*r**2 - 25*r - 47. Is 8 a factor of g(-3)?
False
Does 18 divide (5/((-5)/2052))/(-14*(-19)/(-1064))?
True
Let z(b) = -54*b**3 + 4*b**2 - 4*b - 2. Let g be z(2). Let h = g - -1266. Is h a multiple of 14?
True
Let d(y) be the first derivative of -6*y**2 - 18*y + 1. Suppose 3*w + 5 = 5*b + 1, 2*w = 5*b + 4. Is 5 a factor of d(w)?
False
Suppose k + 116 = 4*l, 2*l + l + 2*k - 87 = 0. Suppose -l*g + 22225 = 6*g. Is 11 a factor of g?
False
Let n(q) be the second derivative of -53*q**3/6 + 5*q**2 - q. Let w be n(6). Does 7 divide 3/(-2)*w/42?
False
Suppose 0 = -z - 3*w + 21 - 94, 4*w + 16 = 0. Let q = z - -49. Is 16 a factor of 3 + 142 - q/4?
False
Suppose -4*v + 8*v + 5*g = -1026, v + 246 = 4*g. Let s = 527 + v. Suppose 5*n - 54 = -2*t + t, 4*t + n - s = 0. Is 19 a factor of t?
False
Let j(d) = 65*d**2 - 91*d + 37. Does 18 divide j(-12)?
False
Let t(q) = 19*q**3 + 8*q**2 - 13*q + 3. Let u(o) = 6*o**3 + 3*o**2 - 4*o + 1. Let n(a) = -2*t(a) + 7*u(a). Does 56 divide n(5)?
True
Let g = 3746 - 3074. Is g a multiple of 48?
True
Let p be ((-32)/10)/(14/(-1925)). Suppose -5*a + p = -0. Does 24 divide a?
False
Let i = -337 - -1048. Let a be 69/21 - ((-78)/21 - -4). Suppose a*b = 5*o - 4*o + 543, -3*o + i = 4*b. Does 36 divide b?
True
Suppose 331*g + 32337 = 334*g - d, d - 6 = 0. Is g a multiple of 60?
False
Let b be ((-12)/(-8))/(3/32). Let t be (0 - b/72) + (-29)/(-9). Suppose -5*y + t = -12, -4*f + 3*y + 755 = 0. Does 27 divide f?
False
Let q(c) = c**2 + c - 4. Let l be q(0). Let y(v) = 12*v - 28*v**2 + 40*v**2 - 20*v - 29. Does 29 divide y(l)?
False
Let l(m) = -m**2 - 9*m - 11. Let u be l(-7). Suppose 5*y - n = -94, 5*n = -2*y - u - 13. Let i = 9 - y. Does 5 divide i?
False
Let o = 251 + -163. Suppose -2*q - 4*x = -o, -3*q - 3*x = 41 - 188. Suppose 47*z = q*z - 315. Is 4 a factor of z?
False
Let z = 68 + -66. Suppose -2*t + b + 22 = z*t, 0 = -2*t - 5*b. Suppose -s - 2*s = -9, 0 = -t*a - s + 328. Is a a multiple of 13?
True
Let q be (32 + -8)/(6/(-4)). Let g be q/24 - 22/(-6). Suppose 265 = 4*n - 3*p + 2*p, 0 = -g*n - 5*p + 216. Is 17