0. Does 16 divide t?
True
Suppose 2*i + 5*t = 7*t + 144, -3*i + 2*t = -221. Is i a multiple of 3?
False
Let j(l) = l - 6. Suppose -7*o - 80 = -2*o. Let m be j(o). Does 6 divide m/(-121) - 196/(-11)?
True
Let r(w) = -5*w + 37. Is 10 a factor of r(-16)?
False
Let p = -37 - -15. Let l = 16 + p. Let z(b) = -b**3 - 5*b**2 - 7*b - 9. Is 23 a factor of z(l)?
True
Let n(j) = -2*j**3 - 6*j**2 - 3*j - 5. Let y(w) = -6*w + 2. Let k = 7 + -6. Let q be y(k). Is 15 a factor of n(q)?
False
Let h(q) = 6*q**3 + 3*q**2 - 3*q + 5. Let w = 36 + -34. Is 9 a factor of h(w)?
False
Let z(w) = -3*w**2 + 5*w - 3. Let q(u) = u**2 + 1. Let m(x) = -4*q(x) - z(x). Let a be m(-4). Does 27 divide -1*(-2 + -160)/a?
True
Suppose 4*y = y + 5*t - 2, -t = 3*y - 22. Let q be 1441/y + 2/(-12). Suppose 7*x - q = 3*x. Is x a multiple of 20?
True
Suppose 2*v = 11*v - 3240. Is 15 a factor of v?
True
Suppose 103 = 4*o - 3*p, 5*o + 0*p = 2*p + 120. Let k be (-10)/55 - (-4)/o. Suppose -y - 3 = k, 2*y = -5*j + 3*y + 318. Is 13 a factor of j?
False
Suppose f = -3*o + 3*f + 130, -5*o + 2*f = -210. Suppose -5*d = 4*t - 88, 3*t = -3*d + 7*t + o. Does 3 divide d?
False
Suppose 0 = -5*p + 5*d - 25, -d + 7 = 3*p + 2. Does 9 divide 31*2 + p*6/(-12)?
False
Let v be 1 + -2*(1 - -2). Let d = 2 - v. Let y = d - -24. Does 14 divide y?
False
Suppose 2*l + 2*r = 4, -3*l - 10 = -8*l + 3*r. Suppose -74 = -l*g - z, -5*g - 5*z + 142 = -g. Does 13 divide g?
False
Let q(y) = y**3 + 4*y**2 - 7*y - 2. Let x be q(-5). Suppose x = t + 3. Is t a multiple of 2?
False
Suppose 8*p + 541 = 11*p + 4*n, 181 = p + n. Is p a multiple of 29?
False
Suppose 2*o = -6 + 52. Let r = -16 + o. Suppose r*a - 120 = 4*a. Does 23 divide a?
False
Let k = 1786 + -1330. Does 12 divide k?
True
Suppose -55 = 12*q - 17*q. Let r(m) = m**3 - 10*m**2 + 7*m - 11. Let p be r(10). Suppose 3*y = p - q. Is 5 a factor of y?
False
Suppose 0 = 697*v - 704*v + 9107. Is 6 a factor of v?
False
Suppose -2*v + 2*y + 1687 - 105 = 0, -791 = -v + 3*y. Suppose -v = -4*t + 329. Suppose 3*l = -2*l + t. Does 12 divide l?
False
Let q = -107 + 109. Is ((q*132)/3)/(1/4) a multiple of 11?
True
Let o(t) = -t**2 + 9*t - 3. Let q(c) = -c + 4. Suppose 4*j - 5*v = -0*j - 16, -3*j = v + 12. Let m be q(j). Is 5 a factor of o(m)?
True
Let m = 2 - 1. Suppose 3*n + m = 6*n - 5*v, 2*n = 3*v + 1. Is (-198)/(-42) - n/(-7) a multiple of 3?
False
Let o = 232 + 40. Is o a multiple of 68?
True
Let d be 6/8*32/2. Suppose -d = -k - 2*k. Suppose 0 = k*h + 26 - 194. Is h a multiple of 14?
True
Let h(p) = p + 63. Let b be h(0). Suppose 12*n - 117 - b = 0. Does 3 divide n?
True
Let p(q) = -84*q + 14. Does 61 divide p(-10)?
True
Let f(o) = 2*o**2 + o + 5. Let k be f(0). Suppose 3*c - k*n - 123 = -0*c, 0 = 3*n. Is 5 a factor of c?
False
Let s(y) = -y**3 + 7*y**2 - y + 6. Let x be s(5). Suppose -255 = -5*z + z - 5*c, 3*c + x = z. Is z a multiple of 10?
True
Let j(k) = k**2 - 3*k + 6. Let b(x) = x**3 + 4*x**2 + x - 1. Let o be b(-3). Is j(o) a multiple of 8?
True
Let u = 28 - -77. Suppose 0*k + 42 = 14*k. Suppose 0*z + 4*x = -3*z + 84, -4*z - k*x = -u. Does 8 divide z?
True
Suppose 0 = -a - 3*b - 0*b + 10, -3*a - 3*b = -18. Suppose -a*h = 2*h - 48. Does 3 divide h?
False
Suppose -3*v = -5*q + 30, -2*q - 2*q + 5*v + 24 = 0. Let r = 8 - q. Suppose d - 3*d + 6 = 5*x, r*d - x = 30. Is d a multiple of 4?
False
Let f(v) = -v**2 - v + 1. Let l(a) = 14*a**2 + 1. Let n(b) = -2*f(b) + l(b). Does 19 divide n(-4)?
True
Let a(f) = -20*f**2 + f. Let d be a(1). Suppose 0 = -5*v, -2*j + 2*v + 56 = -3*v. Let l = j + d. Is l a multiple of 9?
True
Let s(k) = k**3 + 13*k**2 + 11*k + 4. Suppose 56 = -4*o - x, -2*o - o - 4*x - 29 = 0. Let i be (-3)/(-15)*4*o. Is 4 a factor of s(i)?
True
Let y(l) = 63*l + 58. Is 9 a factor of y(6)?
False
Is (44/7 - 6)/((-5)/(-35315)) a multiple of 27?
False
Let x(t) = 2*t + 5. Let w be x(9). Suppose 0 = 4*y + 7 - w. Suppose -5*c - 54 = -y*b + 34, 2*b + 3*c - 22 = 0. Does 6 divide b?
False
Suppose 0 = -6*r + 2*r - 184. Let x = r + 31. Is 15 a factor of (0/(-5) - 1)*x?
True
Let y = 30 - 43. Let x = y - -28. Is 3 a factor of x?
True
Suppose 4*d - 8 = 4*q, 4*q - 3 = d + 4. Suppose -5*x - q = -13. Suppose -4*n + 2*n + x*b + 62 = 0, -47 = -2*n + 5*b. Is n a multiple of 12?
True
Let w be (46/(-7) - -6)*14/(-4). Is 2 a factor of 17 + w - 2/2?
True
Suppose 4*z + 4*v = 5*z + 1, z - v = -1. Is z + 178 + (-4 - -7) a multiple of 12?
True
Suppose -3*c - 859 = -5*z, -c - 3*c + 354 = 2*z. Let f = z + -88. Suppose -3*d = 2*d - f. Is d a multiple of 17?
True
Suppose 10*o = -n + 6*o + 167, 5*n + 5*o - 790 = 0. Is n a multiple of 22?
False
Let f be 1/(-5) - (-1 - (-1116)/(-30)). Let n = 43 + f. Does 30 divide n?
False
Does 19 divide 4 - 1645/14*-4?
False
Suppose -6*v = -20079 + 3447. Is 36 a factor of v?
True
Let m(a) = 4*a**2 + a + 1. Let c be m(-1). Let g(p) = 3*p**2 + 5 + 36*p - 1 - 40*p. Is 28 a factor of g(c)?
False
Suppose -4*p + 2581 = 3*c - 16, -5*p - 853 = -c. Is 65 a factor of c?
False
Does 35 divide 201/3 - (-4 - -4)?
False
Suppose 7*l - 2*l - 3*i = 576, -3*i + 564 = 5*l. Let w = l + -85. Is w a multiple of 20?
False
Let f(d) = 2*d - 135. Let a be f(0). Let x be (3 + (-34)/10)*a. Let q = x + -33. Is q a multiple of 19?
False
Suppose h - 18 = -4*x, 3*h + x = 4 + 6. Suppose -3*t + 157 = -o - 39, -136 = -2*t - h*o. Does 33 divide t?
True
Let s(k) = -k + 38. Let m be s(0). Does 8 divide (19/m)/(1/48)?
True
Let u(i) = -3*i**2 - 49*i + 55. Let b(a) = -a**2 - 24*a + 27. Let h(r) = 5*b(r) - 2*u(r). Is 3 a factor of h(21)?
False
Suppose 2*p - 12 = 5*p. Let i be p/(-5)*15/(-2). Let q(y) = 3*y**2 + 14*y. Does 12 divide q(i)?
True
Let a = -34 + 37. Suppose -161 = -a*y + 37. Does 22 divide y?
True
Let t(o) = -o**2 + 8*o - 10. Let g be t(5). Suppose 3*a + 2 = -g*q + 36, -22 = -3*q - a. Is 4 a factor of q?
True
Let r(b) = -298*b**3 - b**2 + b + 2. Does 30 divide r(-1)?
False
Let n = -171 - -246. Let s be (2 - -2) + n + -1. Let o = 119 - s. Is o a multiple of 10?
False
Let n(x) = -8*x**2 - 3*x - 1. Let d be n(-2). Let o = -32 - d. Let t(q) = -q**3 - 3*q**2 + 6*q - 6. Does 14 divide t(o)?
True
Let n = 653 - 211. Is 26 a factor of n?
True
Suppose 67 = -j + 151. Is 21 a factor of j?
True
Let u be 2/9 + (-14)/(-18). Let v be 290/5*u/(-2). Let d = -1 - v. Is d a multiple of 7?
True
Let a(f) = -22*f**3 + f**2 + 4*f + 4. Let m(g) = -3 + 0 + g + 1 + 3. Let u(o) = -a(o) + 4*m(o). Is 7 a factor of u(1)?
True
Let r(d) = 897*d + 132. Does 24 divide r(4)?
True
Let h = 40 - 22. Is 9 a factor of h?
True
Suppose 0 = -2*t + 2*n + 1344, 3*n + 1985 = 5*t - 1379. Does 26 divide t?
False
Let q be (-10)/(-6) + 7/21. Let k = 0 + 4. Suppose -q*f - 22 = -2*r, 0 = -r - 4*r - k*f + 46. Is r a multiple of 9?
False
Suppose 18*t - 18 = 9*t. Suppose 0 = -7*p + t*p + 725. Does 21 divide p?
False
Suppose 2*z + 40 = 5*f - 0*z, f - 8 = 5*z. Let n = 7 - f. Is 29 a factor of 58*4/(-8)*n?
True
Suppose 0 = 4*c - 7*c + 15. Let m(n) = 6*n - 8. Let i be m(c). Suppose 3*k + 4*s - 85 = -27, -3*k + 5*s = -i. Does 4 divide k?
False
Suppose -a + 8 = -2*s, s + 5 = 2*a + 1. Suppose a*i + 3*p - 6 = -i, -37 = -2*i - p. Does 21 divide i?
True
Suppose 0 = -2*k + 12*k - 1350. Does 9 divide k?
True
Let r(a) = a + 14. Let v be r(-12). Suppose 4*m - 30 = -v*m. Suppose 0 = -2*o + m*o - 96. Is o a multiple of 8?
True
Let j = 9 - 7. Suppose j*u = 4*u + 8. Is 36 a factor of 4 + (-4)/u + 31?
True
Let t(l) = -l**3 - 2*l**2 + l + 2. Let f be t(-2). Let o = 0 + f. Let a(n) = -n**3 + n**2 + 28. Is 28 a factor of a(o)?
True
Let q = -327 - -759. Is 24 a factor of q?
True
Is 15 a factor of (((-28)/35)/2)/(2/(-450))?
True
Let r(i) = 546*i - 18. Does 12 divide r(1)?
True
Does 116 divide (1 - -869)/((-82)/(-164))?
True
Let q(l) = l + 7. Let d be q(-15). Let o be d - -52 - (-2 - -1). Let a = o - 25. Is a a multiple of 20?
True
Let h(r) = -1548*r + 171. Is 9 a factor of h(-2)?
True
Suppose -3*i + t + 721 = 0, -2*i - 3*t + 0*t + 499 = 0. Is 17 a factor of i?
False
Suppose 4*g = 5*b - 1681, -b - 2*g + 439 - 114 = 0. Is 15 a factor of b?
False
Let q(j) = j**2 - 43*j + 912. Is 16 a factor of q(0)?
True
Let w(q) = -7*q + 6 + q**3 + 4*q - 4*q**2 - 9*q + 1. Let a be w(5). Is 11 a factor of a/(-42) + 196/3?
True
Let i = 21 + -17. Suppose 2*k - i*f = 6*k - 60, -3*k + 45 = f. Does 15 