z - 91. Is 10 a factor of x?
True
Let c(q) = 4*q**2 - 160*q + 56. Let w(t) = -3*t**2 + 107*t - 38. Let j(u) = 5*c(u) + 8*w(u). Is j(11) a multiple of 9?
True
Does 126 divide 1 + 10587 + (-1408)/352?
True
Let l(k) = -k**2 + 4. Let n be 4 + (1 + 0)/((-5)/10). Let i be l(n). Suppose 192 = a - i*a + 5*c, 186 = a + 3*c. Is 37 a factor of a?
False
Let x = 298 + -295. Suppose x*l - 1056 = -3*i, -2*i + 2*l = -432 - 288. Is 87 a factor of i?
False
Let g(z) = 5*z**2 - 87*z + 589. Is 37 a factor of g(-44)?
True
Suppose -3*b + 708 = -3*t, -7*b - t = -6*b - 232. Suppose 4*f = 3*v - b, 0*f + 2*f = -6. Is 6 a factor of v?
False
Suppose 160 = d + 158. Suppose -d*n = 9 - 1, 0 = 5*v + 2*n - 422. Is 8 a factor of v?
False
Let m(b) = 9*b - 3. Let i = -31 + 31. Let c be m(i). Does 14 divide 119 + (c/1 - -1)?
False
Suppose -5*p + 7*p - f + 388 = 0, -3*p = -2*f + 583. Let r = p - -381. Is r a multiple of 4?
True
Suppose 4*f + 43850 = 14*f. Suppose 7*p + 1277 = f. Does 6 divide p?
True
Let r be (16/48)/(1/(-1227)). Let l = 462 + r. Is l a multiple of 3?
False
Suppose 2*y = -5*z + 10485, 7 + 3 = 2*z. Is y a multiple of 97?
False
Let y(u) = u**2 + u - 13. Let q be y(3). Let z(p) = -53*p**3 - p**2 - 2*p - 1. Let s be z(q). Let j = -42 + s. Is j a multiple of 8?
False
Suppose -4*a = 4*n - 88800, -n + 39346 = 2*a - 5058. Is a a multiple of 92?
False
Let o = -372 - -382. Is 13/3*((-665)/(-5) - o) a multiple of 13?
True
Let i = -3278 + 5627. Does 29 divide i?
True
Suppose 242*x = 248*x + 336. Is (4 + x/3)*-3 + -4 even?
True
Is 37 a factor of (-1)/20 - 5*175202/(-200)?
False
Suppose 14*b = -19*b + 20394. Suppose -2*t = -5*l - 376, 5*l = 3*t - b + 44. Does 12 divide t?
False
Let w = -13437 + 19164. Is w a multiple of 86?
False
Suppose 134*u = 144*u - 110. Is 7 a factor of 4857/u + 24/(-44)?
True
Let p(o) = -o**2 + o + 6. Let w be p(0). Suppose w*z + 3 = 9*z. Does 7 divide z/(2 - 74/38)?
False
Does 72 divide ((-60)/48)/((-4)/64864)?
False
Let x be 588/16 - 9/12. Does 2 divide (x/45)/(((-6)/50)/(-3))?
True
Let v = 25383 + -25070. Does 5 divide v?
False
Let t be -98*(4/1)/(-8). Let y = -51 + t. Let r(w) = -12*w - 7. Does 10 divide r(y)?
False
Suppose -2*y + 2*q + 110 = 0, 0*q + 116 = 2*y + q. Suppose 4*f = -4, -y = -2*v + 10*f - 9*f. Is 26 a factor of v?
False
Is -7 - ((-4128 - 3) + (-2)/(8/(-20))) even?
False
Suppose 7*z = -2*z - 225. Let o(h) = -h**3 - 26*h**2 - 24*h + 71. Does 2 divide o(z)?
True
Suppose -6521 - 8039 = -14*y. Let i = y + -440. Is 75 a factor of i?
True
Is 9 a factor of 8/((4/10380)/(24/80))?
True
Let t be (9/(-6) - 2/4)/(-1). Does 13 divide -2 + t + (0 - -4) + 175?
False
Does 23 divide ((-1335)/356)/((-3)/6100)?
False
Let w = -65 + 205. Let u = -51 + w. Let h = u + -61. Does 14 divide h?
True
Let u be 23*2/12 + 2/12. Suppose -u*k + 356 = -644. Suppose -188 = -3*c + n, -4*c + 2*n = -0*c - k. Is 15 a factor of c?
False
Let c = -76 + 97. Let p = -16 + c. Suppose -252 = -2*x + 5*s, -p*x + 2*s + 660 = -3*s. Does 17 divide x?
True
Let c be 1/2 - 655/(-10). Let x = -71 + c. Let m = 68 - x. Does 7 divide m?
False
Let o(c) = c + 27. Suppose 13 = j - 16*v + 12*v, 4*j = -4*v + 52. Does 20 divide o(j)?
True
Let b be 4/(120/(-126))*20/(-6). Suppose -x + 4*j = -247, -x - 9*j + b*j = -248. Is 9 a factor of x?
True
Let k(h) be the second derivative of h**5/60 + h**4/24 + 3*h**3/2 - 13*h**2/2 + 10*h + 2. Let j(o) be the first derivative of k(o). Is 13 a factor of j(5)?
True
Let c(l) = l**3 - 23*l**2 + 56*l - 4. Let x be c(9). Let p = 661 + x. Is 9 a factor of p?
True
Let u = -12 + 33. Suppose 4*l = -5*q + u, -l + 2*l + 4*q = 19. Is 3/(12/(-16)*l) a multiple of 4?
True
Let w(v) = -5*v**3 - 20*v**2 + 31*v + 138. Let q(c) = -14*c**3 - 61*c**2 + 91*c + 413. Let p(r) = -4*q(r) + 11*w(r). Does 36 divide p(-23)?
False
Suppose -529 = 4*b - 529. Suppose 2*s - 75 - 229 = b. Is 8 a factor of s?
True
Let i = 4892 + 289. Does 11 divide i?
True
Let h(n) = n**3 + 16*n**2 + 2*n + 34. Let u be h(-16). Suppose 2*q - 580 = -u*v, 0 = 5*q - 2*v + 6*v - 1454. Is 14 a factor of q?
True
Let p(t) = -4*t**2 - 4*t - 4. Let g be p(-3). Suppose 4*z = 6*z - 86. Let s = g + z. Is 3 a factor of s?
True
Let x = -168 - -171. Suppose -18 = -x*t - 9. Is 3 a factor of t?
True
Let h = 12 + 15. Let w = -21 + h. Suppose -91 = -7*f + w*f. Is f a multiple of 26?
False
Let c = 4564 + -2072. Is c a multiple of 2?
True
Suppose 2720 = 2*g + 3*z - 1275, 4*g - 7969 = -9*z. Is g a multiple of 8?
True
Let w be ((-30)/1)/((2 - 0) + -4). Suppose -u - 5*b + 554 = 0, 12 = 3*b + w. Is 9 a factor of u?
False
Suppose 2*m - w + 5*w - 30900 = 0, 3*m - 2*w = 46374. Is m a multiple of 24?
True
Let p = -2869 + 12170. Does 8 divide p?
False
Let a(o) = 23*o + 185. Let v be a(-7). Suppose 598 = v*w - 22*w. Does 8 divide w?
False
Suppose 19195 = 13*s - 206875. Is s a multiple of 37?
True
Suppose 2*w - 5*z + 15 = -5, -3*w + 4*z - 16 = 0. Suppose w = -2*q + 32 + 184. Does 18 divide q?
True
Let n(p) = 17*p**3 - 2*p**2 - 2*p - 1. Let h be n(-1). Let o be -4*(-5 + h/(-4)). Suppose 0 = -u + 2*g + 107, 12 = 2*g + o*g. Is 39 a factor of u?
False
Let p(f) be the third derivative of -27*f**4/8 + 52*f**3/3 + 14*f**2. Is p(-5) a multiple of 45?
False
Suppose 4*w + 3 + 3 = -2*o, 4*w + 5 = -3*o. Is o/(10/6)*(-4590)/(-6) a multiple of 27?
True
Let u(d) = 2*d**2 - 29*d - 6. Let k be u(15). Let o be (1 - k/15)/(3/915). Let b = -86 + o. Is 6 a factor of b?
True
Let g(u) = -6*u**2 - 4*u - 3. Let k(x) = -x**2 + x + 1. Let h(y) = -g(y) + 4*k(y). Let q be h(-3). Is ((-7)/q)/(13/(-143)) a multiple of 11?
True
Let h = 100 + 1591. Is 4 a factor of h?
False
Let j be (-1)/((-3)/(-15)) + -9 + 8. Let c(v) = v**3 + 4*v**2 - 9*v - 19. Let b be c(j). Let l = 121 + b. Is l a multiple of 14?
True
Let z = 50 - 46. Let y be (38/8 - z)*-4 - -175. Suppose 416 = 7*m - y. Is m a multiple of 6?
True
Let h = -18 - -20. Suppose 7 + h = -3*j, 4*a = -5*j + 245. Suppose -3*w - a = -4*w - 5*c, 4*c - 220 = -5*w. Is 20 a factor of w?
True
Suppose 4*u = -l - 0*u + 56, -4*l - u + 149 = 0. Suppose -19*x - l = -15*x. Let j(o) = -11*o - 3. Is 16 a factor of j(x)?
True
Suppose -3 = -4*x + 21. Suppose -2*g - 4*h = -46, 3*h = -g + x + 17. Does 23 divide g?
True
Suppose 5*m = -5*n + 10, -4*m - 1 = 11. Is 268 - n/(-10)*2 a multiple of 17?
False
Let f(w) = 30*w - 1. Let l be f(-2). Let k = -58 - l. Suppose -2*d - 4*h + 130 = 0, 0 = k*d + d - 5*h - 195. Does 5 divide d?
True
Let g = 84 - 62. Suppose 0 = -g*s + 17*s + 210. Suppose 0 = 15*o - 12*o - s. Does 14 divide o?
True
Suppose 2*y - 654 - 9186 = 5*b, 0 = -b - 2. Is 12 a factor of y?
False
Let o(y) = 31*y**2 - 1. Let k be o(-1). Suppose -k - 48 = -2*p. Let t = p - 1. Is 5 a factor of t?
False
Let g(v) = v**2 + 3*v + 15. Let x be g(6). Suppose 3*y - 2*b = 116, -y - 3*b - x = -3*y. Let a = y - -7. Is a a multiple of 14?
False
Does 107 divide -856*((-132)/8 + 4)?
True
Suppose -4*u - u + 5 = 0, 3*u - 15 = 4*r. Let l(g) = -5*g - 11. Let t be l(r). Suppose 8*b - t*b - 112 = 0. Is 4 a factor of b?
True
Let m(p) = -154*p + 6. Let t(u) = -4*u - 80*u + 4 - 19*u. Let b(z) = 5*m(z) - 8*t(z). Does 26 divide b(1)?
True
Let p = -512 - -876. Suppose p = 4*f + 4*r, -4*f - 2*r + 161 = -203. Let o = -70 + f. Is o a multiple of 21?
True
Let g be 370/3*(-6)/(-10)*2. Suppose -f + 296 = 3*f - 2*p, -2*f - p = -g. Does 7 divide f?
False
Let m(b) = -88*b + 14740. Is m(-158) a multiple of 66?
True
Let m = -21525 - -39000. Is 25 a factor of m?
True
Does 109 divide 2020622/306 + (-10)/45 - 50/425?
False
Let y be (4/(-3))/(-2) - 83470/(-255). Is 4448/13 + (y/(-104) - -3) a multiple of 19?
True
Let m = 2597 + -1576. Let o = -676 + m. Does 23 divide o?
True
Let a be (-56)/(-16)*118/(-1) + 3. Let g = 891 + a. Is g a multiple of 12?
False
Let y(b) = 179*b - 161. Let l be ((5 - 8) + 4)*4. Is 18 a factor of y(l)?
False
Let i = 4 + 11. Let g(m) = 37*m + 22. Let j be g(i). Let f = j + -337. Is f a multiple of 60?
True
Let t(y) = -6*y + 12*y - 2*y**2 - 6 + 11*y**2 + 8*y - 4*y**2. Let c be (-2)/(-5) - 54/10. Is 16 a factor of t(c)?
False
Let b = 50 - 49. Let u(t) = -4*t**3 + 2 - 17*t + 19*t**2 + 3*t**3 + b. Does 21 divide u(18)?
True
Let t(a) = -a**3 - 7*a**2 - 8*a - 5. Let w be t(-5). Is 2 a factor of 12 - (10/w)/((-2)/(-6))?
True
Let r = -19287 + 43810. Is r a multiple of 98?
Fal