
True
Let y = 16 - -15. Let d = y - 26. Suppose 0 = -13*f + d*f + 176. Does 22 divide f?
True
Suppose -248*y = 76*y - 33048. Is 26 a factor of y?
False
Let o be ((-23)/(-1))/(9/144). Suppose -7*p + f + o = -5*p, f - 178 = -p. Is 26 a factor of p?
True
Suppose 29*r = 21*r + 4008. Let v = r + -14. Is v a multiple of 15?
False
Let p = 66 - 46. Suppose -5*g - p = 0, 3*g + 49 = 5*m + 2*g. Let z(t) = -2*t**2 + 22*t - 10. Is z(m) a multiple of 6?
False
Let j = 0 + 5. Let d = 235 - 235. Suppose -4*t = -z - 69, j*t + d*z + 2*z = 70. Is 2 a factor of t?
True
Suppose 9*o = 15*o + 1884. Let d = 394 + o. Is 22 a factor of d?
False
Let f(t) = -13 - t + 3*t**2 + 4*t**2 - t**3 - 2*t + 12. Let h be f(7). Is 4/h - 7175/(-77) a multiple of 19?
False
Suppose 5*q - 34482 = -3*g, -4*q - 20694 = -7*q - 3*g. Does 35 divide q?
False
Suppose 34*x - 49 = -15. Is 36 a factor of (-1*(0 - x))/((-193)/(-286026))?
False
Suppose -13*q = 17216 - 93058. Is q a multiple of 36?
False
Suppose 0 = -5*f + 1348*o - 1346*o + 234540, 3*f - 140743 = 5*o. Is 94 a factor of f?
True
Let d = 44 - 18. Suppose d*h = 28*h + 918. Does 9 divide h/34*(-1 - 1)?
True
Suppose 5*h + 370 = 10*h. Suppose -5*i - 244 = -3*r - 0*i, -2*i = r - h. Suppose -r = -29*v + 28*v. Is v a multiple of 13?
True
Let z(d) = d**2 + 38*d - 755. Is 8 a factor of z(51)?
True
Let a(v) = 991*v - 10603. Is 92 a factor of a(69)?
True
Let k(a) = -4*a**2 - 3*a + 10. Let y be k(3). Let i be (3/5)/(7/y). Is (10 - 15)/(1/i) a multiple of 4?
False
Let j(d) = 5*d**2 + 55*d - 1. Let v = -161 - -148. Is 43 a factor of j(v)?
True
Let v be (311*(2 + -1))/(4/24). Suppose -v - 3570 = -9*g. Is g a multiple of 54?
False
Suppose -a + 2225 = -b, b - 3*b + 6670 = 3*a. Suppose 757 = g + a. Is g/(-36) - 1/(-4) a multiple of 5?
False
Let u be 4/14 - 14/49. Suppose u = 18*t - 17346 + 4566. Does 9 divide t?
False
Let l(g) = -2*g + 37. Let h(v) = v - 18. Let f(n) = 13*h(n) + 6*l(n). Let w be f(14). Is ((-5)/10)/((-377)/188 + w) a multiple of 8?
False
Suppose -2*c - 13*c = 2745. Let x = -177 - c. Is x even?
True
Let m be (-25)/4 + 21/84. Is (-292)/m*(-162)/(-36) a multiple of 11?
False
Let o = -65 - -70. Does 29 divide 292/o + (-4)/10?
True
Let m = 6240 - -7263. Is m a multiple of 21?
True
Let q = 439 + -305. Suppose -5*m + 1304 = q. Does 11 divide m?
False
Let l(u) = -9*u**3 - 15*u**2 - 57*u - 690. Is 111 a factor of l(-11)?
True
Let m(n) = n**3 + n**2 + 3*n + 9. Let p = 42 - 36. Let r be m(p). Suppose 3*z + r = 2*w, 4*w - 437 = z + 96. Is 12 a factor of w?
True
Let s(x) = 5*x + 21. Let h(i) = 16*i + 62. Let r(b) = 8*b + 31. Let j(v) = -4*h(v) + 9*r(v). Let m(t) = 5*j(t) - 7*s(t). Is m(6) a multiple of 11?
False
Is 74 a factor of 5 - (-8 + (-50935)/10 - 3/(-6))?
True
Let v = -19167 + 19394. Is 25 a factor of v?
False
Suppose -19*f + 204830 = -15*f - 3*d, 3*f = -3*d + 153654. Is f a multiple of 31?
True
Let w(a) = 48*a**3 - 2*a**2 + 2*a - 1. Let u be w(1). Let l = -65 + u. Let h(f) = -f**2 - 25*f - 12. Is h(l) a multiple of 19?
True
Suppose s + w - 16 = 5*w, 0 = 3*s + 4*w - 48. Does 16 divide (2 - 170)/((-24)/s)?
True
Suppose 24 = 15*z - 9*z. Suppose -z*g = g + 75. Let c(w) = -w**3 - 14*w**2 + 16*w + 25. Does 10 divide c(g)?
True
Let h be 3468/9 - (-12)/(-9). Suppose 8*a - 584 = h. Is a a multiple of 11?
True
Suppose 4*j + 614 = 5*t, 2*t - j - 272 = -6*j. Is 33 a factor of 480/(-18)*t/(-8)?
False
Let i = 13620 + -884. Is i a multiple of 16?
True
Let h(r) = -3*r + 15. Let i be h(17). Let v = 215 - i. Does 38 divide v?
False
Let w be (-8 - (-7 - 544))/1. Suppose -l = -14*f + 18*f - 525, l - 5*f = w. Does 13 divide l?
True
Let b be (-2)/7 + (-180)/7. Suppose 4*p = -19*n + 18*n - 196, 5*p = 5*n - 270. Let t = b - p. Is 13 a factor of t?
False
Suppose 229 = 2*x - 381. Let t(l) = 28*l**3 + l**2 - 3*l - 3. Let h be t(-2). Let w = x + h. Is 22 a factor of w?
True
Suppose -2*s = 72 - 56. Let r = 98 + s. Does 3 divide r?
True
Suppose 6*j - 12*j = -144. Suppose -j*g - 5040 = -48*g. Does 7 divide g?
True
Let x = 362 + -360. Let o(g) be the second derivative of g**5/20 - g**4/6 + 4*g**3/3 - 9*g**2/2 + 2*g. Is o(x) a multiple of 2?
False
Let w be 1/(3692/(-3679) + 1). Suppose l - 226 = 2*u + 6*l, 0 = 2*u + 4*l + 230. Let h = u - w. Does 16 divide h?
True
Is 194240/120 + (-2)/3 - 6 a multiple of 13?
True
Let t = 8049 - 5421. Is t a multiple of 4?
True
Let i(o) = -17*o - 1. Let m(h) = -4*h. Let d(q) = -2*i(q) + 9*m(q). Let b be d(0). Suppose -b*l = 2*l + 4*x - 464, 3*x - 464 = -4*l. Does 58 divide l?
True
Let m(k) = k**3 + 15*k**2 - 32*k + 15. Let j be m(-10). Suppose 7*y = j + 243. Does 7 divide y?
True
Is 19 a factor of (-5 - -747)/(-7)*(-7 - -4)?
False
Suppose 4*t - b = -5028, 2*t = -b + 5*b - 2528. Let a = 2931 + t. Is a a multiple of 25?
True
Let c = 87 - 83. Suppose -c*q + 463 = -3*q. Is 29 a factor of q?
False
Suppose 3 = -5*d + 23. Suppose -d*p + 842 = -2*r, 3*p + 5*r - 749 = -124. Does 21 divide p?
True
Let l(a) = 4*a**2 + 11*a - 15. Let m(h) = 27*h**2 + 78*h - 105. Let c(i) = 15*l(i) - 2*m(i). Does 5 divide c(4)?
False
Suppose t - 1780 = 4*o, 7*o - 10*o - 5349 = -3*t. Is t a multiple of 132?
False
Suppose -1269*p + 1268*p = -23400. Is 52 a factor of p?
True
Let g(s) = 672*s - 1675. Does 135 divide g(7)?
False
Let p(w) be the third derivative of -5*w**4/24 + 19*w**3/6 - 24*w**2. Let x be p(0). Suppose 0 = 17*f - x*f + 390. Is f a multiple of 15?
True
Let g(j) = -j**2 + 17*j + 59. Let x be g(20). Is ((-6)/(-12))/(x/(-60)) a multiple of 15?
True
Suppose 174*w - 177*w = 0. Suppose -z - 2*b = -6, 3*b = -z - w*b + 6. Does 6 divide z?
True
Let o = 128 - 358. Let r = o - -350. Is r a multiple of 4?
True
Suppose 5*q = -4*t + 131, -2*t + 52 = -0*q + 2*q. Suppose 0 = -11*v + 2*v + q. Suppose -4*a = v*z - 0 - 98, 4*a - 68 = -2*z. Does 3 divide z?
True
Suppose 28*n + 1495094 = 98*n - 1580776. Is n a multiple of 19?
False
Let f(d) = -3286*d - 1057. Is f(-4) a multiple of 69?
False
Suppose -4*y = -4*d - 680, -746 - 102 = -5*y + 3*d. Is 3 a factor of -3 - (-6 - -7 - y)?
True
Suppose -5*b = 4*g - 39, -2*b - 4*g + 18 = -0*b. Suppose 791 = -0*a + b*a. Suppose 0 = 2*n - a + 15. Is n a multiple of 13?
False
Let b(w) be the second derivative of 0*w**2 + 1/6*w**3 + 0 + 0*w**4 + 15*w - 9/5*w**5. Is b(-1) a multiple of 3?
False
Suppose -41*k + 18 - 777 = -52*k. Is k a multiple of 10?
False
Let d be 80/6 + 22/(-66). Suppose -8*g + d*g - 1145 = 0. Suppose g = 4*i - 171. Is i a multiple of 25?
True
Suppose -49 = -2*k - 5. Let d = -18 + k. Suppose 7*c - d*c = 90. Is 15 a factor of c?
True
Let h = 17094 - 9984. Is 45 a factor of h?
True
Let g(p) be the first derivative of -22*p**2 + 4*p - 88. Is 8 a factor of g(-1)?
True
Let y be (1 - (-4)/(-3))/(2/2166). Let o = y - -627. Is o a multiple of 14?
True
Let u be 321/((-2)/3 - 26/(-12)). Let q = -139 + u. Is q a multiple of 32?
False
Let c = 29226 + -16444. Does 83 divide c?
True
Let y(i) be the third derivative of 35*i**2 + 1/24*i**4 + 0 - 1/120*i**6 + 7/6*i**3 + 7/60*i**5 + 0*i. Does 16 divide y(4)?
False
Let i(w) = 84*w**2 + 44*w - 152. Is 7 a factor of i(-8)?
True
Let g(a) = -3*a + 29. Let z be g(17). Let l = z - -32. Suppose 5*s + 5*k = 85, 5*s - 4*k = l*s - 89. Is 12 a factor of s?
False
Suppose 1957*r = 2033*r - 3200208. Does 319 divide r?
True
Let z(r) = 150*r + 6466. Is z(-11) a multiple of 43?
True
Suppose -278*d = -276*d + 5*a - 56391, -d + 2*a + 28173 = 0. Is d a multiple of 14?
False
Suppose 4*t - 2*h = 2248, 4*h - 12 = h. Let x = t - 451. Is x a multiple of 10?
False
Suppose -3*a = -32*a + 8768 + 976. Is a a multiple of 48?
True
Is 123/7*(-300286)/(-723) a multiple of 24?
False
Suppose -p - 3*n = 113, n = p + p + 191. Suppose -484 = -3*c + f, c + f - 2*f = 160. Let k = c + p. Is k a multiple of 13?
False
Suppose -3*t + 9 = 0, -5*g + 3*t - 10 = 8*t. Let o be (-3 + g/(-1))/((-8)/1084). Let q = o - -401. Is 19 a factor of q?
False
Suppose -12*k = -12679 - 6209. Suppose -4*r + 0*r = 3*m - 949, -r = -5*m + k. Does 14 divide m?
False
Suppose -4*n + 20556 = 3*k, 3*k - 16*n - 20556 = -15*n. Does 6 divide k?
True
Let k be (52 + -49)/((-2)/250 - 0). Let a = k + 632. Is a a multiple of 13?
False
Let c be (4/(-16) + 0)/((-1)/28). Let t be 2/c + (-6)/21. Let z(l) = l**2 + l + 260. Is z(t) a multiple of 28?
False
Let o(v) = 4368*v - 28