11). Suppose k - w = 20*g - 24*g, 4*g - 632 = 5*k. Is 17 a factor of g?
True
Suppose -q - 12 = 4*y, 5*q + 5 = -y + 2. Suppose q = 11*i - 0*i - 4950. Does 15 divide i?
True
Suppose -4*g = -3*t - 24, -9 = -2*g + 3*t + 3. Let f be (0 - 1*-91) + 0. Suppose 3*k - f = 4*i + g, -3*i = -6. Is 7 a factor of k?
True
Let k be (22 + -28)*(-4)/(-3). Is 2 - 4532/k - 1/(-2) a multiple of 51?
False
Suppose 3*r + 186 = -5*n, 5*r - r - 2*n = -222. Let t = 105 + r. Is t even?
True
Let o(x) = -183*x - 477. Is 5 a factor of o(-8)?
False
Suppose 39*r + 342 = 1122. Suppose r*d = 24*d - 2240. Is d a multiple of 40?
True
Let h(n) = 2060*n - 4962. Is 6 a factor of h(6)?
True
Suppose 223*i - 220*i = 3030. Suppose k + 22 + i = 2*w, -k = 4. Is 18 a factor of w?
False
Let s be 4 - (2 - (-5 - -2)/3). Let y be (3 + 2 + -5)*s. Suppose t + y*t + 2*f = 72, 3*t + 3*f = 222. Is t a multiple of 5?
False
Does 33 divide 1081/1 - 28/308*11?
False
Does 25 divide (1211238/456)/(7/28) + 2/19?
True
Let k be (-1)/(-2*2/20). Is 3 a factor of (2 - (-17)/k)/((-12)/(-40))?
True
Suppose -5*l - 2*j - 34 = -9*l, 0 = -3*l + 4*j + 18. Suppose 884 = -l*n + 4734. Is 55 a factor of n?
True
Let d(y) = -8*y - 22 + 9*y - 8*y**2 + 7*y + 6*y + 27*y**2. Is 2 a factor of d(3)?
False
Let f = 1580 - 747. Suppose -8*p = -2703 - f. Does 34 divide p?
True
Suppose -3*l = 111*i - 108*i - 8631, -32 = 4*l. Does 196 divide i?
False
Suppose -2*o = -245 - 267. Suppose -2*i - 4*r = -324, 226 = 3*i + 2*r - o. Is 5 a factor of i?
True
Suppose -2*q = 2*q. Let z(p) be the first derivative of -p**2 + 32*p - 226. Does 8 divide z(q)?
True
Suppose -a + 2*a = -3, -2*c + 245 = a. Let p = c + -118. Let j(i) = 2*i**3 - 8*i**2 + 16*i - 8. Does 14 divide j(p)?
False
Let w(j) = 4*j**2 + 195*j - 52. Is w(15) a multiple of 47?
False
Let n be (-1 - -5)*14/4. Let o be ((-45)/(-2))/5 - 7/n. Suppose 2*d - o*q = 3*d - 156, -4*d + 576 = 4*q. Is 40 a factor of d?
False
Suppose 7*s - 3 = 46. Suppose 368 = -s*c + 1355. Is c a multiple of 47?
True
Suppose -606 - 1763 = -4*g - 753. Does 23 divide g?
False
Suppose -38074 = -22*s + 246430. Is 122 a factor of s?
True
Suppose 12*b - 10*b - f = 3, -b = -4*f + 16. Let m = 37 - 40. Is 10 a factor of (m/b)/((-7)/280*1)?
True
Let h = -739 + 899. Suppose 4*b + 7*w - 137 = 6*w, 5*b + 5*w = h. Is b a multiple of 3?
False
Let r(n) = -2*n**3 + n**2 + 12*n + 2. Let b = 165 + -169. Is r(b) a multiple of 14?
True
Let t = -3954 + 8258. Is t a multiple of 8?
True
Let i = 102 + -97. Suppose -f + 3*o + 123 = -31, 2*o = -i*f + 804. Is 13 a factor of f?
False
Suppose 4*b = 30 + 2. Suppose b = h - 2*s, 3*h = 7*h + 3*s + 12. Does 17 divide (-15)/(-30)*(h - -204)?
True
Let m(p) = -p**3 - 38*p**2 + 35*p + 87. Let n(s) = -5*s**3 - 152*s**2 + 140*s + 347. Let i(r) = 9*m(r) - 2*n(r). Does 15 divide i(37)?
True
Suppose -4*r + 40 + 44 = 0. Suppose 9 = 4*b - 0*t - t, 5*t = -2*b + r. Suppose -z = -2*f - b*f + 315, 4*z + 144 = 2*f. Is 15 a factor of f?
False
Let p be 6/45 - (-9)/((-945)/(-71806)). Suppose 17*i - 20*i = -p. Is 19 a factor of i?
True
Let s = 6508 + -4312. Is 12 a factor of s?
True
Let k(m) be the second derivative of 11*m**3/2 + 3*m**2/2 - 2*m. Let n be k(4). Is n/6 - 6/12 a multiple of 11?
True
Suppose f = -3*g + 6*f + 6364, 3*g + 5*f = 6404. Is 16 a factor of g?
True
Suppose 3*m = 812 + 343. Suppose 15*n = 4*n + 33. Suppose 120 = i - 4*g, -2*i = 2*i + n*g - m. Is 20 a factor of i?
True
Let b(l) = 5*l**3 - 10*l**2 + 12*l - 5. Let x be b(6). Let k = x + -403. Is k a multiple of 63?
False
Suppose 0 = 5*j - 5*l - 100980, -j - 27*l = -22*l - 20196. Is 66 a factor of j?
True
Let a(p) be the second derivative of 5*p**4/6 - 5*p**3/3 - 3*p**2 + 28*p. Does 18 divide a(-5)?
False
Suppose -154*k + 9941 = -153*k + 3*f, 5*f - 39743 = -4*k. Is 89 a factor of k?
False
Suppose -3*j - 5*k + 202 + 1499 = 0, 4*j + 4*k = 2276. Is 52 a factor of j?
True
Let u(g) = g**3 + 6*g**2 - 9*g - 14. Let l be u(-7). Suppose 3*p + 5*r = 137, p - 3*r = -l*r + 41. Let b = p + 28. Does 15 divide b?
False
Let u(i) = -2*i**3 + 13*i**2 + 2*i + 25. Let c(k) = 3*k**3 - 14*k**2 - 2*k - 25. Let m(r) = 3*c(r) + 4*u(r). Is 15 a factor of m(-8)?
False
Let q = 201 + -208. Let m(g) = -12*g + 11. Let a(h) = 12*h - 11. Let v(l) = -5*a(l) - 4*m(l). Is v(q) a multiple of 19?
True
Let o(j) = -2*j**3 + 33*j**2 - 23*j + 18. Let y be ((-117)/6)/((-3)/2). Does 41 divide o(y)?
True
Let n(d) = -d**3 + 9*d**2 + 10*d + 18. Let f be n(10). Suppose -f*i + 210 = -12*i. Does 35 divide i?
True
Let t(i) = i**3 - 43*i**2 + 6*i + 232. Does 32 divide t(44)?
True
Suppose 0 = 2*n - 4*o - 8, -4*n - 3*o + 5 = -0*o. Suppose x + n = -2. Does 11 divide (-134)/x - -4*(-3)/24?
True
Let i = 20710 - -9663. Does 7 divide i?
True
Let d = -3055 - -6595. Does 3 divide d?
True
Let z = 1 + 14. Suppose z*m + 8 = 17*m. Suppose -2*s = m*s - 654. Is 15 a factor of s?
False
Does 21 divide (13895/(-21) - 9)/(4/(-24))?
False
Let y = -127 - -359. Let k = y + -40. Does 16 divide k?
True
Suppose -126 = -19*y - 31. Suppose 4*b + 2640 + 2532 = y*c, 3 = -b. Does 24 divide c?
True
Suppose 0 = -3*i + 19*g - 16*g, -3*i - 3 = -4*g. Suppose q + i*q = r + 575, -5*q = -4*r - 716. Is q a multiple of 24?
True
Let y be ((-68)/6 - -12)/((-2)/540). Is 9 a factor of (-187944)/y - 6/45?
True
Let l(a) = 16*a - 184. Let h(r) = 2*r**2 - 24*r - 43. Let y be h(14). Is 4 a factor of l(y)?
True
Let c = 408 - 78. Let j = c + -310. Is j a multiple of 10?
True
Suppose -88954 + 21854 = -55*j. Is j a multiple of 55?
False
Suppose 3*l - 4*l + 5*a - 11 = 0, -3*l + 7 = -5*a. Suppose -42 = -5*n - l*n. Suppose n*c - 881 = -2*c - 3*d, 3*c + 4*d - 533 = 0. Does 21 divide c?
False
Let v(j) = j**2 + 82*j - 193. Is 11 a factor of v(45)?
True
Suppose 0 = -13920*a + 13939*a - 153862. Does 92 divide a?
False
Let a be (-3153)/(-9) + (-1)/(1 + 2). Suppose -5*j = 5*h - 1220, 5*h - a - 150 = -2*j. Does 9 divide j?
False
Suppose 2*c - 3*g - 5 = c, -4*c + 30 = -2*g. Suppose -3*b + 20 = c. Suppose 0 = -x - j - 5 + 68, 2*x - 102 = b*j. Does 9 divide x?
False
Let y(k) = -90*k + 141. Let m(l) = -45*l + 70. Let h(u) = -9*m(u) + 4*y(u). Is 7 a factor of h(6)?
False
Let k(v) = -v + 3. Let u be k(-17). Suppose -5*r = -r - u. Suppose -1092 = r*c - 11*c. Does 13 divide c?
True
Suppose -3*p + 2*u = -18614, p - 3*u = -5*u + 6226. Is 115 a factor of p?
True
Suppose 0 = g - 3*z + 10, -5*g + 0*z = 5*z - 30. Suppose 20 = 2*h + 2*u, -3*h - g*h - u + 46 = 0. Suppose h*o - 11*o + 72 = 0. Does 36 divide o?
True
Let n = -175 + 43. Let c(j) = -3*j**2 + 2*j - 13. Let r be c(5). Let f = r - n. Does 9 divide f?
True
Let j(k) = k**3 - 3*k**2 + 6*k - 20. Let l be j(4). Let o be (8/l)/((-7)/(-3150)). Let r = o - -7. Is r a multiple of 16?
False
Let q = -22 - -43. Suppose -4719 = -4*w + q*m - 22*m, 3*w - 3552 = -5*m. Is 34 a factor of w?
False
Let a be -1 - (-3 + 3) - -5. Suppose 6*k - k - 36 = -3*s, -a*k + 33 = 3*s. Suppose -s*x = 21 - 126. Is x a multiple of 3?
True
Let o be (-3)/((-12)/1204) + -1. Let w = o - 102. Does 22 divide w?
True
Suppose 36*d - 780 = 49*d. Is (-2)/(-12) + (3 - 5570/d) even?
True
Suppose -20*p + 2072 = -6368. Let t = p - -1008. Does 55 divide t?
True
Let d(j) = j**3 - 25*j**2 + 26*j - 36. Suppose 5*q - 3*o + o = 124, 3*o - 90 = -4*q. Let s be d(q). Suppose t - 38 - s = 0. Is 25 a factor of t?
True
Let q be -2 + 6/4*2216/6. Suppose q = -2*w + 5*w. Suppose -20 - w = -3*p. Is p a multiple of 17?
True
Let z = -218 + 153. Let f = -65 - z. Does 10 divide (-1 - f/(-4))*-43?
False
Let f be 2/4 - 9207/(-22). Suppose -2*j - 3*i = -408, f = 2*j + 2*i + 15. Is j a multiple of 11?
True
Let b be (-16 + 12 + 1)/((-6)/26). Suppose b*l = 955 + 410. Does 21 divide l?
True
Suppose 19 = -5*m - 4*q, 0 = m - q - 2*q. Does 13 divide 3948/3 - (m + (-5 - -6))?
False
Let t(g) = -3*g**2 - 56*g + 3. Suppose -5*u + 3*w = 48, w + 42 = -5*u - 2*w. Is 8 a factor of t(u)?
True
Let o be 506/(-6) + (-9)/(-27). Let i = o - -90. Let q(f) = f**2 - 12. Is q(i) a multiple of 4?
True
Suppose h + 82 = -5*m + 5538, m - 1088 = -h. Is 3 a factor of m?
True
Let j = -55 + 40. Let h = -11 - j. Suppose 84 = h*d + 2*t - 26, d = 3*t + 17. Is d a multiple of 3?
False
Let m(v) = -v**3 + 15*v**2 + 19*v - 2. Suppose -3*w - 124 = -4*y + 6*y, 0 = 2*y - 2*w + 104. Let l = y + 72. Is m(l) a multiple of 11?
False
L