**2 - 12 + 8*l - 3*l. Does 9 divide x(-10)?
True
Let h be 8/(-68) - (-6808)/68. Let j = 87 + h. Is 11 a factor of j?
True
Let p = 785 - 416. Does 9 divide p?
True
Let r = -2 + -4. Is (-2)/r + 325/15 a multiple of 5?
False
Suppose -302 = -10*w + 1978. Does 57 divide w?
True
Suppose -3*q + 5*f = -0*q + 906, 0 = 4*q - 5*f + 1203. Is (-16269)/q - -2*(-2)/(-18) a multiple of 9?
False
Suppose 2*i + 0*l = l - 122, 4*l - 110 = 2*i. Let a = 97 + i. Suppose 2*p = 3*z + 150 - a, -4*z - 276 = -5*p. Is 26 a factor of p?
True
Suppose 2*v + 4*b = 1936, 3*b = -v + 654 + 317. Is v a multiple of 37?
True
Suppose -5*b - 10 = 0, 0 = 2*t + 2*b + 3*b - 6. Suppose 0 = 2*s + t + 8. Let c = 19 - s. Is 9 a factor of c?
True
Let w = -67 + 137. Let h = w + -41. Suppose 0 = a - h - 27. Is a a multiple of 14?
True
Suppose 3*b = 4*h - 316, -26*h = -29*h - 3*b + 216. Is 38 a factor of h?
True
Let i be ((-1)/(-2))/(9/54). Let w(y) = -y**2 - 2*y + 3. Let j be w(-4). Is 15 a factor of (0 - j)*(12 - i)?
True
Suppose 1077 + 658 = 5*y. Does 4 divide y?
False
Let q(z) = 6*z - 12. Let u be q(8). Is 2640/72*u/10 a multiple of 23?
False
Suppose -13*s = -1176 + 396. Does 15 divide s?
True
Let q = -13 - -73. Is 5 a factor of q?
True
Let g = -101 + 10. Let y = g + 125. Is y a multiple of 28?
False
Let i = -2229 - -3133. Is i a multiple of 26?
False
Let n(u) = -u**2 + 10*u + 21. Does 2 divide n(10)?
False
Suppose -3*g + 15 = 2*g. Let b(q) = q**3 - q**2 - 3*q + 2. Let m be b(2). Suppose m = -3*k + 5*o + 36, -g*k + 34 = -3*o + 4. Does 7 divide k?
True
Suppose -2*u = 4*w - 434, 5*w = 5*u + 10*w - 1105. Is 3 a factor of u?
True
Suppose 18 - 67 = j. Let t = -27 - j. Is 2 a factor of t?
True
Does 63 divide 644/(-460) - 4832/(-5)?
False
Let r be -1*3*3/(-3). Suppose 0 = -r*n + n - 54. Let g = 53 + n. Is 13 a factor of g?
True
Suppose 2*x - 3*x = 5*u - 12, -x - 4 = -3*u. Suppose o - 5*h + 57 = 3*o, 2*o = -u*h + 42. Is 13 a factor of o?
False
Suppose 4*g - 4*u = -8, u = -4*g - u + 4. Suppose -z + q = g, -q - 12 = -9*z + 4*z. Suppose 2*b + 24 = 4*b + 4*r, z*b - 4*r - 6 = 0. Is b a multiple of 3?
True
Let x(g) = 1 - g + 0 - 4 + 16. Let v be x(9). Suppose -v*c - 1 + 49 = 0. Is 6 a factor of c?
True
Suppose -u + 6*j + 655 = 5*j, -4*u + j = -2626. Is 11 a factor of u?
False
Suppose -19*f + 6 = -18*f. Let m be (-3)/2*(-3 + 1). Does 10 divide m/(-9) + 62/f?
True
Let b = -15 + 19. Suppose 3*f - 210 = b*u, -f + 4*u + 75 = u. Does 22 divide f?
True
Let v(y) = -3*y + 33. Let m(u) = -1. Let o(i) = -3*m(i) + v(i). Is o(6) a multiple of 9?
True
Suppose 2*t + 2195 = 5*m, -2*m + 1122 = 2*t + 258. Is 49 a factor of m?
False
Let b(p) = 10*p - 24. Is 22 a factor of b(9)?
True
Let v(g) = -35*g**3 - g**2 + 10*g + 32. Is v(-3) a multiple of 67?
True
Let k(v) = -16*v + 59. Let o(l) = -3*l + 12. Let g(p) = -2*k(p) + 11*o(p). Let i be g(11). Suppose 64 = i*x - x. Is 16 a factor of x?
True
Let f(c) = -2*c**2 + 17*c - 25. Let i(t) = 6 - 7*t + t**2 + 0*t - 2*t + 6. Let v(p) = -2*f(p) - 5*i(p). Does 9 divide v(8)?
False
Let y = 19 - 17. Let q(t) = -13*t + t**y + 3*t + 6*t + 3. Is q(7) a multiple of 8?
True
Let q = 286 + -127. Let x = q - -104. Is x a multiple of 14?
False
Let r be 8/(-48) - ((-230)/12 + 1). Suppose 5*d + 2*a - 36 = 0, 4*d = -4*a + 6 + r. Is d a multiple of 4?
True
Suppose 3*c + 20 = -7. Let b = c + 14. Suppose 15 + b = 2*d. Is d a multiple of 5?
True
Let x(q) = 185*q. Let h be x(-1). Let m = -86 - h. Is m a multiple of 20?
False
Let t(f) = -f**2 + 6*f + 9. Let d be t(7). Suppose -5*n = 2*m - 104 - 189, n + d*m = 65. Let i = -15 + n. Is 15 a factor of i?
False
Let i(r) = r**2 + 6*r - 10. Let j be -3 - (8 + -5 + 3). Let m be i(j). Suppose -b + 43 - m = 0. Does 18 divide b?
False
Let v(u) be the third derivative of -11*u**4/8 + 29*u**3/6 - 39*u**2. Is 23 a factor of v(-6)?
False
Let h(u) = -u**3 + 5*u**2 - 4*u + 3. Let i be h(4). Let o(j) = i*j - 4*j - 2*j + 0*j. Does 15 divide o(-5)?
True
Suppose 34*b - 28056 - 133716 = 0. Is b a multiple of 61?
True
Suppose 1155 + 2520 = 21*v. Is 15 a factor of v?
False
Is ((273/28)/(-13))/(2/(-1176)) a multiple of 2?
False
Suppose -3*m = m - 164. Suppose 0 = 3*n + 2*n - 90. Let o = m - n. Does 6 divide o?
False
Suppose -15 = -3*i + 5*c, -6*c + 5 = i - 4*c. Suppose 5*v + 2*d = -160, 0 = -3*v + i*d - 3*d - 80. Let o = -15 - v. Is 8 a factor of o?
False
Let v(z) = -16*z - 12 + 23 + 30. Is v(-4) a multiple of 21?
True
Suppose 5*c - 5*y + 20 = 0, -c - 2*y - 7 = -0*c. Does 7 divide ((-32)/3)/(c/15)?
False
Let h be 2 + 5*2/10. Suppose 5*f - 3*r - 40 = 0, 0 = f + h*r + 9 + 1. Suppose f*y + 0*y = 0, -3*y = 4*p - 288. Does 12 divide p?
True
Let l be 49*(-2*1 + 1). Suppose -1795 = -24*k + 53. Let h = k + l. Is 10 a factor of h?
False
Let o = 6 + -2. Suppose -5*g = -o*g - 2. Suppose -g*a = a - 54. Is 17 a factor of a?
False
Let f(q) be the second derivative of 13*q**4/12 + q**3/6 - q**2/2 + 16*q. Does 5 divide f(2)?
False
Is 31 a factor of (-8 - (-8)/6)*-144?
False
Let f(d) = d**2 - 20*d + 22. Let g be f(19). Is 14 a factor of (-14)/g*25*36/(-15)?
True
Suppose 0 = 2*r - k + 2*k + 3, 0 = -2*k - 2. Let i be (4 + -2 + r)/1. Let s(a) = 7*a - 1. Is 2 a factor of s(i)?
True
Let r be (-13)/(-6) - (-7)/(-42). Suppose h + r = 4. Suppose 0*n - 3*n = -5*l + 188, 4*n = h*l - 78. Is 16 a factor of l?
False
Suppose 0 = 8*a + g - 4476, -2235 = -5*a + 5*g + 585. Is a a multiple of 56?
True
Let g = -18 - -15. Is 43 a factor of 7/5*(g + 118)?
False
Let h = 37 + -35. Suppose -135 = -h*f - 3*f. Does 9 divide f?
True
Suppose 0 = -i + 226 + 223. Does 6 divide i?
False
Suppose 5*w = -4*d + 1675, 0 = -57*d + 60*d. Does 13 divide w?
False
Suppose 4*g + 3325 = q, -2*g + 6610 = -25*q + 27*q. Is q a multiple of 96?
False
Suppose -4*o + 9*o - 3*j - 771 = 0, 0 = 4*o + 3*j - 633. Is o a multiple of 5?
False
Let x(o) = 4*o - 2. Let q(k) = -k + 1. Let p(r) = -5*q(r) - x(r). Let s be p(4). Is (s*-16)/(-2) - 1 a multiple of 2?
False
Suppose -77*o - 4532 = -99*o. Does 4 divide o?
False
Suppose 861*d = 864*d - 1206. Does 67 divide d?
True
Suppose 8*n - 6*n - 40 = 0. Is n a multiple of 5?
True
Suppose -3*d = 3*k + 8 + 1, k + 2*d = 0. Let v(r) = 1 + 0 + r**3 + 10*r**2 - 7*r - 3*r**2 - 7. Does 24 divide v(k)?
True
Let q(s) = s**2 - 14*s + 10. Let y be q(16). Suppose -5*r = -4*u - 37, -4*u + u = 4*r - y. Let h(p) = 5*p + 11. Is h(r) a multiple of 14?
True
Suppose 0 = 10*n - 48 + 8. Let t be -1 + (0 - (-113 - -1)). Suppose -n*k = -k - t. Is 13 a factor of k?
False
Let f be (-6 - -9) + 0/(-1). Let m be 1/f + 287/21. Does 16 divide (0 - m)/((-10)/35)?
False
Suppose -8*p + 396 = -5*p. Suppose 0 = 2*b - p - 84. Does 12 divide b?
True
Suppose -4*l - 3*w + 18 + 8 = 0, l + 5*w = -2. Suppose 5*b - l = v, v + 7*b = 2*b + 12. Suppose v*k = -3*m + 160, 0 = m - k - 36 - 14. Is 22 a factor of m?
False
Suppose -2*f = 2*f - 12. Let o be (-20)/90 - (-2 + (-1916)/36). Suppose -4*d + 28 = f*q - o, -3*q + 58 = -d. Is 21 a factor of q?
True
Let m be (-51 + 0)/(-3 - (-56)/20). Suppose -4*k = 3*c - 153 - 312, -2*k + m = -3*c. Does 12 divide k?
True
Suppose g = -3*j - j + 65, 0 = -3*j + 2*g + 46. Let k(v) be the first derivative of v**3/3 - 15*v**2/2 + 2*v + 12. Does 6 divide k(j)?
True
Let h(s) = 3*s**3 - 6*s**2 - 2*s + 27. Let a(f) = 5*f**3 - 13*f**2 - 3*f + 53. Let d(b) = -4*a(b) + 7*h(b). Does 15 divide d(-7)?
False
Let f = -624 - -676. Is f a multiple of 21?
False
Let q(l) be the first derivative of -l**4/4 + 13*l**3/3 + 4*l**2 - 12*l - 1. Let s(w) = w**2 + 20*w - 8. Let j be s(-21). Is 23 a factor of q(j)?
True
Let s be -2 - (3 - 4)*15. Let r(h) = -h**2 + 16*h + 17. Is r(s) a multiple of 26?
False
Suppose -4*v + 9 + 11 = 0. Suppose 109 = 2*q + v*b, 5*q - 4*b + 37 = 227. Suppose 0 = 5*t + 5*l - 317 + q, 5*t - l - 305 = 0. Is 12 a factor of t?
True
Let p = 3049 + -2695. Suppose 4*k - 4 = 0, -3*k + 29 - 6 = 4*s. Suppose a = -s*c - 0*a + p, -5*c + 358 = -3*a. Is c a multiple of 17?
False
Is 16 a factor of ((-6)/(-15) - (-6285)/(-25))/(-1)?
False
Let g(p) = -2*p**2 - 3*p + 1. Let t(y) = 1. Let n(z) = -g(z) - t(z). Let f(q) = -2*q**2 + 10*q - 4. Let w be f(5). Is 12 a factor of n(w)?
False
Suppose -s + 11*s = s. Suppose s = -f + 45 - 4. Is f a multiple of 9?
False
Let c(u) = -u**3 + 5*u**2 + 12*u - 1. Let g be c(5). Suppose -4*p = -5 - g. Is 16 a