 10 divide a?
True
Is 48/26 + -2 - 14*(-1895)/65 a multiple of 17?
True
Suppose -6*o + 28*n = 26*n - 363476, -2*o - 4*n + 121168 = 0. Is o a multiple of 278?
False
Let k(q) = 37*q**2 + 25 - 38*q**2 - 15*q - 19. Is 29 a factor of k(-7)?
False
Let y = 57 - -4483. Is y a multiple of 108?
False
Let k = 75 - 71. Suppose -1086 = k*n + w, 2*n - 2*w = 3*n + 268. Let x = 532 + n. Is 38 a factor of x?
False
Suppose -86 - 4 = 9*m. Let k be (25/m - -1)/((-3)/(-4)). Is 41 a factor of (k - (-26)/12) + (-730)/(-12)?
False
Suppose 74*s = 4*s + 844900. Is 19 a factor of s?
False
Let b = 503 + -831. Let h = 368 + b. Is h a multiple of 7?
False
Suppose 0 = 11*d - 50*d + 270621. Is 34 a factor of d?
False
Suppose q = -3*q. Suppose -4*c - 4*y + 32 = q, -3*c + 0*c = -4*y + 11. Suppose -n - 4*n - 4*f = -288, -n = -c*f - 50. Is 8 a factor of n?
True
Let b = 1090 - 1113. Let u(n) = -4*n**2 - 14 + n**2 + 71 + 5*n**2 + 36*n. Is u(b) a multiple of 31?
False
Does 5 divide 5120060/1184 - (-3)/(-8)?
False
Let g = -15 - -5. Is (-20)/g*1*31/2 a multiple of 31?
True
Let w(k) = 15*k**3 - 610*k**2 + 93*k - 28. Does 32 divide w(41)?
False
Suppose -2*c = -14*c + 24. Suppose 0 = c*b + 5*p - 87 - 196, p - 650 = -5*b. Does 43 divide b?
True
Suppose 2*z - 2*m - 147160 = 0, 37*z + 367892 = 42*z - 3*m. Does 136 divide z?
True
Let f(z) = z**2 - 3*z - 10. Let o be f(5). Suppose -u + 3*u + 2 = o. Let t(v) = -11*v + 2. Is t(u) a multiple of 6?
False
Suppose 4938075 = 285*v - 30*v. Is 5 a factor of v?
True
Let i(p) = -5*p**2 + 20*p - 189. Let k(j) = -j**2 - 2*j. Let q(n) = -i(n) - 6*k(n). Is q(9) a multiple of 12?
True
Suppose -2*o - 3*m - 23 = 0, -3*o + 6*o = -2*m - 27. Let s(g) = g**2 - 13*g - 12. Is 8 a factor of s(o)?
True
Let m = 101 - 99. Suppose 0 = 5*d - 25, -3*y + 615 - 161 = m*d. Is y a multiple of 10?
False
Let q be (-3)/6 + 39/(-2). Let j(g) = -g**3 + 9*g**2 - 12*g + 65. Let r be j(7). Let w = r + q. Is 16 a factor of w?
False
Let b(n) = 682*n**2 + 41*n + 234. Does 13 divide b(-6)?
False
Let y(v) = -3*v - 8. Let t be y(-2). Let g = -33 - t. Let l = 112 + g. Is 17 a factor of l?
False
Suppose 30 = 2*d - b, 0 = -6*d + 7*d - 4*b - 1. Suppose -k - 220 = -2*a - 32, -204 = -2*a - 3*k. Suppose -d*i = -16*i - a. Is 11 a factor of i?
False
Let p(d) = d**3 - d**2 - 7*d + 10. Let k be p(2). Is 6 a factor of 475 + (k - (-6 + 7))?
True
Suppose 133*x - 132*x - 83 = 0. Let j(a) = a**2 - 3*a + 4. Let r be j(3). Is (-2)/3*(r/(-4) - x) a multiple of 8?
True
Let n = 30793 + -21574. Is n a multiple of 23?
False
Let g(r) = -r**3 - 7*r**2 - 7*r + 1. Let v be g(-6). Let s = v - -19. Suppose -42 = -4*i - 0*i + 2*t, -4*t + s = 3*i. Is 3 a factor of i?
False
Does 99 divide -1*376567/(-34)*2?
False
Let k(i) = 2*i**2 + 2*i - 4. Let t be k(-4). Suppose -12*y + 17*y = 115. Suppose t*o + 150 = y*o. Is 10 a factor of o?
True
Suppose -1103 = -22*p + 2923 + 1342. Is p a multiple of 4?
True
Is 18 a factor of (1*(-4)/16)/((-2)/16) - -6406?
True
Let s(b) = b**3 + 19*b**2 + 34*b - 6. Let i be s(-17). Let k be (-22)/(-6) - 8/36*i. Is 3 a factor of 0 - k - (-45 - 0)?
False
Let m = 90 + -66. Is (-1 + (-27)/(-4))*m a multiple of 6?
True
Let l(m) = -18*m + 2861. Is l(-65) a multiple of 76?
False
Is 3 a factor of 404 - (0 - (-1)/1 - -4)?
True
Suppose -5*n + 2*f + 17 + 8 = 0, -15 = 3*f. Is ((-40)/n)/(6/(-162)*2) a multiple of 18?
True
Suppose 21*x - 18*x + 6*x - 75600 = 0. Is 105 a factor of x?
True
Suppose 0 = 2*c - 56 - 14. Suppose 9*q - c = 4*q. Let v(z) = 3*z**2 + 12*z - 29. Does 26 divide v(q)?
False
Suppose -15*d = 1633 - 7243. Let x = 1035 - d. Is x a multiple of 100?
False
Let x(b) = 35*b**2 - 17*b - 7. Let l be x(5). Suppose -2*m - r + 972 = 0, 3*m - l = -2*r + 674. Let k = m - 237. Is k a multiple of 50?
True
Suppose 1181*q - 1175*q - 22602 = 0. Is q a multiple of 77?
False
Suppose 2*g + 33 - 112 = 3*y, 5*y + 135 = 4*g. Let l = -19 - y. Let d(o) = 12*o - 3. Does 10 divide d(l)?
False
Is ((-290)/15)/((-68)/8262) a multiple of 27?
True
Let w(d) = -34*d + 6. Let o be (-8)/28 - 36/21. Let q be w(o). Let j = q + -31. Does 17 divide j?
False
Let a(p) = 83*p + 56. Let i be a(6). Let j = i - 206. Is j a multiple of 12?
True
Suppose 0*t - 2*t - 3*y = -25, -5*t + 40 = 3*y. Suppose 4*r + t = -h + 22, 5*r - 3*h - 17 = 0. Let x(p) = 2*p**3 - 2*p**2 + 5*p + 8. Is x(r) a multiple of 12?
False
Suppose 0 = 2*k - 4*g - 9260, 5*k + 397*g - 395*g = 23186. Is 38 a factor of k?
True
Let l(o) = -o**3 - 6*o**2 + 7*o + 10. Let v be 7/((-1 + 2 + -2)/1). Let d be l(v). Is 4 a factor of (-8)/(((-6)/d)/(3/2))?
True
Suppose -2*a = -6723 + 5582 - 37871. Is a a multiple of 12?
False
Suppose -1506*z = -1556*z + 470750. Is z a multiple of 35?
True
Let s be (-12)/(-27) + (-285)/(-27). Let f(q) = q**3 - 4*q**2 + 3*q + 2. Let y be f(2). Suppose y = l - s*l + 920. Is 23 a factor of l?
True
Is 5 a factor of (6 - 3)/(1 - 0) + 4036?
False
Let u(c) = 14*c**2 - 2*c - 54. Suppose 2*f - 18 = 5*f. Does 21 divide u(f)?
True
Let y(a) be the first derivative of a**4/4 - 8*a**3/3 - 12*a**2 + 12*a - 170. Is y(12) a multiple of 12?
True
Suppose -y - 1 + 5 = 0. Does 11 divide y/((-24)/(-30)) - -61?
True
Let x(u) = 487*u + 422. Does 6 divide x(10)?
True
Suppose 980 = -5*b - o, b + o + 190 = 2*o. Let q = b + 528. Is 5 a factor of q/(-36)*((-2 - 1) + -1)?
False
Let u = 1030 + -786. Is u even?
True
Let v = 180 + -178. Suppose 0*t + 2*f = -2*t + 296, 3*t = v*f + 424. Does 36 divide t?
True
Let n = 31773 - 12094. Is n a multiple of 25?
False
Suppose 11*d = 46 + 20. Suppose -d*y - 2*y = -y. Suppose -3*p + 540 + 117 = y. Does 40 divide p?
False
Suppose -408*i + 1131202 = 156490. Is i a multiple of 58?
False
Suppose 0 = -4*a + 4942 - 1426. Suppose -40*h + a = -39*h. Is h a multiple of 23?
False
Suppose q - 5*t - 18 = -2*t, -2*t = -5*q + 38. Suppose -8*s = -q*s. Suppose s = -9*j + 11 + 169. Does 10 divide j?
True
Let n(j) = -315*j**2 - 21*j + 11. Let g(a) = -63*a**2 - 4*a + 2. Let s(b) = -11*g(b) + 2*n(b). Suppose 4*i - 8 = -3*l, 4*l = -0*l. Does 55 divide s(i)?
False
Suppose -2*i + 166 = -4*y, 8 = -2*y - 2*y. Suppose 0 = -5*a + 2*d + i, -3*a + 0*d + 51 = -3*d. Is 15 a factor of a?
True
Let n(x) = -11*x + 4. Let p be n(-1). Let q(f) = -f**3 + 15*f**2 - f + 17. Let t be q(p). Suppose 90 = -t*b + 4*b. Is b a multiple of 13?
False
Is 77 a factor of (-6)/36 - (3/(72/(-7324)) + -3)?
True
Let b(r) be the first derivative of -r**4/2 - 13*r**3/3 - 13*r**2/2 - 16*r - 137. Is 35 a factor of b(-8)?
True
Suppose 17*d - 16 - 154 = 0. Suppose d*v = 2202 + 2508. Does 6 divide v?
False
Let r(p) = 78*p**3 + p**2 + p - 1. Let g(z) = -4*z - 19. Let k be g(-5). Is r(k) a multiple of 20?
False
Suppose 0 = -276*b + 277*b + c - 3975, 0 = -2*b + 3*c + 7975. Is 29 a factor of b?
False
Let i = 1772 - 781. Suppose -8*a - i + 3183 = 0. Is a a multiple of 29?
False
Suppose 0 = m + 5*l + 183, 0 = -0*m + 4*m + 2*l + 768. Let h = -41 - m. Is h a multiple of 19?
True
Suppose -416 = -x + 2*n, -4*x - 2*n = -902 - 732. Is x a multiple of 5?
True
Let o = -28 + 28. Suppose -1 = 3*a + 2*h - 45, -5*a + 5*h + 65 = o. Suppose -a - 38 = -2*v. Does 19 divide v?
False
Let n = -31 - -31. Let v be n/(-2) + -12 + 16. Suppose -131 = -v*x - 31. Is x a multiple of 12?
False
Suppose 0*i - 14 = 4*i + 2*d, -i = d + 5. Is 0 - (-4 - i) - -375 a multiple of 28?
False
Suppose 25*f - 26*f = -4. Suppose 2*x + 3*a = x + 435, f*x - 5*a = 1706. Is x a multiple of 47?
False
Let f be 147/(-9)*(-1 + -2). Let i = f - -91. Does 3 divide i?
False
Let w(g) = 105*g**2 - 47*g - 300. Is w(-6) a multiple of 2?
True
Let m(a) = -a**3 - a**2 + 4*a + 38. Let l be ((-7)/5)/((-2)/(-10)). Is 8 a factor of m(l)?
True
Let u = -28394 + 46295. Is u a multiple of 221?
True
Suppose -2362 = -3*c + 1928. Suppose -11*s = -21*s + c. Is s a multiple of 13?
True
Let y(j) = j**2 + 17*j + 34. Let g be y(-20). Suppose 0 = q - g - 143. Suppose 0 = -5*i + q + 38. Is 11 a factor of i?
True
Let m(y) = 2*y**3 - 15*y**2 - 10*y + 16. Let d be m(8). Suppose q + 5 = 0, -4*v = -d*v - 3*q - 4103. Is v a multiple of 53?
False
Suppose -58*n + 225873 = -104928 + 73919. Does 56 divide n?
False
Let n = 6297 + -3951. Does 17 divide n?
True
Suppose -5*a - 4*p + 4460 = 0, -a - 4*p = -891 - 1. Does 41 divide a?
False
Suppose -5*q - r + 95 = 0, -370 = r - 375. Does 3 divide q?
True
Sup