+ 212 = 2*d + f*n. Suppose d = -p + 3*p - 5*z, 0 = -3*p + 5*z + 179. Is p a multiple of 17?
True
Suppose 5*m = 4*v - 776, 0*v - 4*m = -2*v + 394. Suppose -3*r + 3*p + v + 42 = 0, -2*r = -4*p - 158. Is r a multiple of 17?
False
Let a(g) = -51*g**3 + g**2 - 1. Let s be -4*((-28)/(-8))/(-7). Let v(n) = -3*n + 5. Let j be v(s). Is 10 a factor of a(j)?
False
Let b = 8956 - 4172. Is b even?
True
Let s(j) = -8*j**3 + 14*j**2 + 30*j + 11. Let t be s(-7). Suppose 0 = -14*y + 5*y + t. Is y a multiple of 9?
False
Let x be ((-2)/6)/((-6)/(-36)). Let s be (x - -7) + -2 + (-1068)/(-3). Suppose -2*f + 6*f = -5*y + 454, -4*y + f + s = 0. Is 18 a factor of y?
True
Let l(v) = -376*v + 1121. Is l(-40) a multiple of 71?
False
Let o = 1001 - -221. Suppose -20*j = -18*j - o. Is 69 a factor of j?
False
Suppose 383*o - 404*o + 82026 = 0. Does 186 divide o?
True
Suppose 0 = -11*o - 204 + 4197. Suppose 3*s - o = 237. Does 40 divide s?
True
Let x = -13 + -3641. Let t = -2562 - x. Is 18 a factor of t?
False
Let f(l) = -l**2 - 9*l + 2. Let k be f(-9). Let h(y) = -k*y**2 - 2 + 4*y**2 + 0 - 5*y + 16*y. Is h(-9) a multiple of 10?
False
Let z = 0 + 2. Suppose 4*f - g - 4*g + 1 = 0, -2 = -3*f + g. Does 16 divide f/5*0 + (34 - z)?
True
Let t(l) = -94*l**3 - 337*l**3 + 2*l + 97 - 3*l - l**2 - 96. Is t(-1) a multiple of 54?
True
Let d = -29 - -16. Let b be d/52 - 29/(-4). Suppose b*w = 108 + 333. Does 31 divide w?
False
Let n(a) = -a**3 + 12*a**2 - 17*a - 7. Suppose -f = -0*s - s + 12, 2*f = 3*s - 32. Let v be n(s). Suppose -111 - v = -4*b. Is 9 a factor of b?
False
Let w = 518 + 15791. Does 47 divide w?
True
Suppose -7*r - 15 = -6*r - 3*c, 4*r - 4*c + 68 = 0. Let j(i) = 44 + i + i - 3*i + 2*i. Is j(r) a multiple of 13?
True
Let u = -181 - -454. Suppose 6*y - u = 5109. Is y a multiple of 23?
True
Suppose 7*u + 7*u - 238 = 0. Is 10 a factor of 660/24*(u - 2/2)?
True
Let s(y) = -31*y + 2600. Let q be s(0). Suppose -470*t = -478*t + q. Is 13 a factor of t?
True
Suppose 8*w - 78 = -18*w. Suppose -w*x + 22 = -2*v - 18, -v = 2*x - 36. Is 16 a factor of x?
True
Is (36788/24 - -1) + (-15)/18 a multiple of 73?
True
Suppose 0 = 4*k - 55 - 73. Let u = 59 - k. Let m = u - 7. Is 12 a factor of m?
False
Is (-2)/14 - 2976626/(-1778) a multiple of 62?
True
Suppose -2*a + 5*h = 585, -3*a + 4*h + h - 890 = 0. Is 19 a factor of (a/5)/(8/(-176))?
False
Suppose -50*l - 52320 = -60*l. Suppose l + 18176 = 44*p. Is p a multiple of 19?
True
Suppose -n = -5*d + 724, 25*d - 4*n - 721 = 20*d. Is 40 a factor of d + (-6)/9*-6?
False
Suppose -10*b + 8*b = 10, 2*q - b - 19 = 0. Suppose q*c + 602 = 175. Let k = 62 - c. Is k a multiple of 14?
False
Suppose -8*x = -49 - 63. Suppose -8*p - 1974 = -x*p. Is 12 a factor of p?
False
Suppose -209*i = -286*i + 1633940. Is 20 a factor of i?
True
Suppose -3*y + 151102 = -7*d + 6*d, d = 4*y - 201472. Does 73 divide y?
True
Let m = -28 + 39. Let q(w) = w**3 - 6*w**2 - 19*w - 12. Is 4 a factor of q(m)?
True
Suppose -19*l - 4*p - 4759 = -16*l, -5*p - 7925 = 5*l. Is (-16)/(-6)*(2 - l/6) a multiple of 30?
False
Suppose -2*d + 6 = -3*h, -4*d + 11*h = 12*h + 2. Suppose d = -5*v - f + 1270, -7*v - 2*f = -3*v - 1022. Does 25 divide v?
False
Let d(l) = l**3 - 17*l**2 - 26*l - 27. Let s(f) = 2*f**3 + f**2 + f - 1. Let y(p) = d(p) - s(p). Is 18 a factor of y(-17)?
True
Let l = 288 + 1697. Let i = -1265 + l. Does 16 divide i?
True
Suppose 12 = 3*w - 0. Suppose -4*r = w, -2*o = -7*o - r + 204. Does 3 divide o?
False
Suppose 6*y - 6584 - 2260 = 0. Suppose 759 = y*b - 1473*b. Is b a multiple of 41?
False
Let d(o) = -5 - 1 + 99*o**2 - 6 - 6*o - 100*o**2. Let t be d(-17). Let j = t - -310. Is 15 a factor of j?
False
Let w = 1735 + 4852. Does 10 divide w?
False
Is 8 a factor of (-1966)/(-10) + -2 + (-28)/(-70)?
False
Suppose 3*q + 2*q - 20 = 0. Let v = 522 - 396. Suppose q*s - v = -5*s. Does 14 divide s?
True
Let d(p) = -6957*p - 336. Is d(-1) a multiple of 101?
False
Suppose -4*z = -55*y + 50*y + 45, -3*z = 4*y - 5. Suppose 4*n = -3*a + 258, -122 = -2*n - y*a + 7*a. Is n even?
False
Let x be 4/(-44)*2 - 62537/(-11). Suppose 651 + x = 12*u. Is u a multiple of 33?
True
Suppose -2*n - 2*o + 8748 = -1002, -10*n + o + 48750 = 0. Is 3 a factor of n?
True
Let i be (21/6)/(3/(-6)). Does 2 divide (-192)/i + (78/14 - 6)?
False
Suppose 49*f - 8250 = -43*f + 82*f. Does 64 divide f?
False
Suppose 3253 = j + 4*f, 4*f + 1412 = -2*j + 7890. Is j a multiple of 17?
False
Suppose -5*k + g = -122291, -716*g + 3 = -719*g. Is k a multiple of 14?
True
Let q = 531 - -1845. Does 27 divide q?
True
Suppose -4*y - 5*f - 18 = -1, 11 = -2*y - 3*f. Suppose 2*h - 62 = -m, 2*h = -4*m - y*h + 244. Let l = m + -37. Does 23 divide l?
True
Suppose 0 = 5*f, -3*k = -k - 3*f + 462. Let x = k + 404. Suppose 2*l = -4, 0*l - x = -t - l. Is t a multiple of 25?
True
Suppose -3*l + 7867 = -5*v, 14*l - 10505 = 10*l - 9*v. Is l a multiple of 32?
True
Suppose 0 = -4*f + 8 - 0. Suppose d - 4 - f = 0. Suppose n = i + 36, d*n + 5*i = 3*n + 76. Does 3 divide n?
False
Suppose 5*x = -2*i + 11085, -8*x + 11*x - 6650 = -i. Does 5 divide x?
True
Suppose -14 = 7*q - 14*q. Suppose -2*n - q*s = -1990, 0 = -25*n + 22*n + 3*s + 2955. Is 11 a factor of n?
True
Suppose 0 = 3*o - 2*o + w + 4, -o + w = 0. Let g be (1/o)/((-1)/526) + -1. Suppose -3*f - g + 811 = 0. Is f a multiple of 13?
False
Suppose 9*c - 66 = 3*c. Let o(m) = 14*m - 17. Let w be o(c). Suppose 0 = 2*j - 3*r - 113, 4*r + w = 2*j + 23. Is j a multiple of 8?
False
Suppose -4*g + 113 = 5*j, 3*j = -0*j - 5*g + 60. Suppose -4*s - 3*u + 336 = -u, -5*u = 2*s - 176. Let q = s - j. Is q a multiple of 29?
True
Let o(h) be the third derivative of 5*h**5/12 + 7*h**4/24 + h**3/2 + 22*h**2. Does 4 divide o(2)?
False
Let r = 7950 + 349. Does 43 divide r?
True
Suppose 3*j = 3*t - 42, j = -3*t + 6*j + 34. Is (-162)/(-4)*t/27 a multiple of 9?
True
Suppose -10*w - 10 = -12*w, -w - 27055 = -2*p. Is 66 a factor of p?
True
Is 16 a factor of ((-42)/(-84))/((-1)/(-14122))?
False
Let s be 3 + -2 - (-6 - -2). Suppose -4*k = -s*b - 9*k, 0 = b + 3*k + 8. Is 7 a factor of 19/1 - (24/(-6) + b)?
False
Suppose -2*s = 4*b - 11 + 19, 0 = -5*s - 4*b - 20. Is (180/(-8) + s)/((-9)/54) a multiple of 10?
False
Let f(w) = w**3 + 14*w**2 - w + 14. Let y(d) = -3*d**3 + 4*d**2 - d - 1. Let l be y(3). Let i = l + 35. Is f(i) a multiple of 14?
True
Let u(a) = -377*a - 1535. Is u(-8) a multiple of 5?
False
Let l(u) = 260*u - 1484. Is l(23) a multiple of 8?
True
Let o = -24 + 24. Suppose o = -3*v - 0*v. Is 6 a factor of 29 + (v + 0)/1?
False
Let r(d) = -21*d - 54. Let f be r(-3). Let h(a) be the second derivative of a**5/20 - 2*a**4/3 + a**3/3 - 9*a**2/2 + 10*a. Is 10 a factor of h(f)?
True
Let a be 65 + 2 + -5 + (-4 - -2). Suppose 0 = -k - 5*n + a, 0 = -4*k + 2*n - 21 + 239. Does 4 divide k?
False
Suppose 23*x - 39677 - 454915 = 0. Does 16 divide x?
True
Let z(l) = -l**2 - 14*l - 13. Let h be z(-13). Suppose 2*k + 8 - 12 = h. Is 4 a factor of ((-76)/(-8))/1*k?
False
Let q be ((-4)/8)/((-2)/8). Suppose 2*c + 13 = l, -3*c + 0 = q*l - 26. Suppose 0 = -p - l + 31. Is 18 a factor of p?
True
Let n(y) = -2*y**3 - 3*y**2 - 11*y - 9. Let r be (11 - 4) + 1 + (-2 - -4). Suppose -2*o = m + r, -o = m + 2 + 5. Is n(o) a multiple of 13?
False
Suppose 0 = -13*w - 1141 - 2356. Let r = w + 520. Is 4 a factor of r?
False
Suppose 0 = x - 20 - 12. Let c = 68 - x. Suppose c = 3*r + r. Is r a multiple of 9?
True
Let t be 2 - (2 + 1 - 126/6). Let d(u) = -7*u - t + 12*u + 6*u + 15*u. Does 48 divide d(10)?
True
Suppose 7*o = 3*o + 1340. Let z = 485 - o. Is 50 a factor of z?
True
Let o be -3 - (-70)/(-4) - (-1)/(-2). Does 67 divide 8/28 + (-3291)/o + 2?
False
Suppose -125 = -2*t - 3*t. Let h be -11*(-5)/(10/2). Let m = h + t. Does 11 divide m?
False
Let x be (1 - (2 + -7)) + 2081. Suppose -14*i = -13*i - x. Is 13 a factor of i?
False
Let m = 2 + 1. Suppose 5*s + 70 = m*b - 17, -50 = 2*s - 5*b. Let a = s + 51. Does 6 divide a?
True
Let t(d) be the first derivative of -5*d**4/2 - d**3/3 + 11*d**2/2 + 32*d - 38. Is t(-3) a multiple of 22?
False
Let n be (51/(1 - 4))/(9/(-378)). Suppose -3*j = 3*o - 1008, -n = -3*j + 3*o + 294. Is 42 a factor of j?
True
Let o(a) = 38*a**2 + 17*a. Let u(g) = g**2 - g - 23. Let p be u(5). Is o(p) a multiple of 60?
False
Let b = 4 