ose 2*z - 2*m = w, -f*z - m = -2*m - 183. Does 20 divide z?
False
Let u(f) = -106*f + 3. Let n(i) = 106*i - 4. Let v(z) = -5*n(z) - 6*u(z). Let p be v(1). Suppose p = -0*c + 4*c. Does 6 divide c?
False
Suppose -9*o + 10*o = 173. Suppose 0 = -5*j + 953 - o. Is j a multiple of 39?
True
Let l(k) = 3*k + 4. Let r be l(4). Let b(n) = 3*n**2 + n + 7. Let u be b(4). Let j = u - r. Is 17 a factor of j?
False
Let c = 67 + 553. Is c a multiple of 31?
True
Is 11 a factor of (264/15)/(-3 + (-217)/(-70))?
True
Is 13 a factor of (-1645)/(-7) + -9 + 2?
False
Suppose -5*v - 3*b - 316 = 0, 0 = 8*v - 4*v - b + 246. Is 48/(-40)*(v - (-2)/1) a multiple of 18?
True
Let k(m) = -m**2 - 11*m - 9. Let b be k(-10). Let l be -3 + b - 42/(-7). Suppose 2*q - 4*i - 92 = 0, l*q - 147 = i + 58. Does 6 divide q?
False
Let k(f) = -f**3 + 8*f**2 - 18*f + 11. Let o be k(5). Let u(p) = -p. Let n(c) = c - 2. Let q(r) = n(r) + 4*u(r). Is q(o) a multiple of 7?
False
Let t(g) = -g**3 - 8*g**2 - 5*g + 14. Let j be t(-6). Let b = j - -40. Suppose b = 3*a, -4*z - a + 72 = 3*a. Is z a multiple of 13?
False
Let p(q) = 6*q**2 - 3*q + 1. Let h be p(2). Suppose 17 = -4*r - h. Is 15 a factor of (-2)/r - 4880/(-72)?
False
Does 46 divide (-1484)/70*-1*10?
False
Suppose -5*r = -2*l + 334, -l + 94 = -2*r - 75. Let s = 289 - l. Suppose -s + 4 = -3*i. Does 18 divide i?
True
Suppose 5*c - 3*c = 3*m + 258, 4*c + 5*m = 516. Let g(p) = -86*p**3 + p**2 - p + 1. Let l be g(1). Let i = l + c. Is 22 a factor of i?
True
Suppose 2*h = 16*h - 7*h. Let w be 26/6 - 4/(-6). Suppose h = 2*c, 2*z + 3*z - 225 = w*c. Is 15 a factor of z?
True
Suppose 2*c = -2*c + 3*j + 813, 2*c - 410 = -2*j. Is 18 a factor of c?
False
Suppose 455 = -7*c + 1925. Suppose -3*j - 3*o - 21 = -c, 2*o + 8 = 0. Does 30 divide j?
False
Let s(a) = 4*a**2 + a + 9. Let z(i) = 9*i**2 + i + 18. Let c(h) = 7*s(h) - 3*z(h). Let y = 4 - 8. Is c(y) a multiple of 3?
True
Suppose -36*d = -39*d - 2*a + 986, 334 = d - 2*a. Is 5 a factor of d?
True
Let y = -1500 - -1630. Is 4 a factor of y?
False
Suppose 17 - 21 = -2*p. Let z(u) = -u**3 + 4*u**2 + 7*u - 4. Let m be z(5). Is m/(-2) + p + 51 a multiple of 16?
False
Let x(k) = -k**3 - 11*k**2 - 8*k + 7. Let q be x(-7). Let g = q - -250. Is 14 a factor of g?
False
Let j = -2 - 0. Is (-12)/((-11)/(-4)*j + 4) a multiple of 4?
True
Suppose -4*u + 5*s - 1 = 0, -3*u + 0 + 8 = 5*s. Let i(r) = 4 + r**3 + 13 - u + 2 - r**2 + r. Is i(0) a multiple of 6?
True
Is 4 - (6/(-6) - 7)*74 a multiple of 45?
False
Is 3 a factor of (3/(-3))/((-1)/257)?
False
Let u(j) = 3*j**2 + 2*j - 11. Let z be (-2)/(-4) + (-27)/(-6). Does 13 divide u(z)?
False
Suppose -5*g + 63 = -2*g. Suppose 5*n - 122 = r, -r + 3*n - 149 = -g. Let q = -52 - r. Is q a multiple of 14?
False
Suppose 73*z = 82*z - 180. Is 7 a factor of z?
False
Suppose -14463 = -21*u + 12165. Is 41 a factor of u?
False
Is 12 a factor of (9 - -1306)*(-1)/(-5)?
False
Let p = 1624 - 1018. Is p a multiple of 17?
False
Suppose 3*p - 369 = -5*f + p, 5*p = -4*f + 285. Suppose -f*r + 76*r = 6. Is 2 a factor of r?
True
Suppose -n = 5*l - 2*l - 13, -36 = -4*n - 4*l. Suppose -5*w = -n*w - 24. Does 8 divide w/(-8)*(-32)/(-3)?
True
Let d = -917 + 2664. Does 17 divide d?
False
Let z = 2073 + -801. Is z a multiple of 49?
False
Let f(v) = 180*v - 6. Let o(q) = 180*q - 5. Let b(s) = -4*f(s) + 3*o(s). Is b(-2) a multiple of 46?
False
Is 32 a factor of ((-1145)/35 + -1)/((-3)/21)?
False
Let q = 124 + -30. Let d = q - 36. Is d a multiple of 29?
True
Let r(x) = -3 + 9 + x + 5*x**2 + 7 - 4. Is 11 a factor of r(3)?
False
Let x(r) = 11*r**2 + 16*r + 141. Is 16 a factor of x(21)?
True
Let l(y) = -166*y**3 + 2*y**2 - 5*y - 5. Does 24 divide l(-1)?
True
Does 9 divide -7 - ((-7034)/(-4))/((-38)/76)?
True
Let z = -8 - -25. Suppose z = -f - 76. Let s = f - -134. Is s a multiple of 25?
False
Suppose 29*o = 35*o. Suppose -4*f = 5*p - 49, -2*f + 0*p - 5*p + 37 = 0. Suppose o = -i + 13 + f. Does 7 divide i?
False
Suppose 1019 + 3657 = 3*q - 2*g, -1 = g. Is q a multiple of 22?
False
Suppose 0 = -3*x + 7*x - 12. Let v(o) = -x - 9*o + 7*o + 4. Is v(-8) a multiple of 10?
False
Let z(m) = 5*m**2. Let j be z(-1). Suppose 4*n - 27 = -2*q + 19, -2 = -3*n + j*q. Suppose 11*v - n*v = 130. Does 35 divide v?
False
Let d(t) = 7*t - 2. Is d(16) a multiple of 10?
True
Suppose 2 + 6 = -2*s + 3*q, -3*s = -4*q + 13. Let t(v) = 2*v**3 + 5*v**2 - 6*v - 9. Let l be t(s). Is 17 a factor of ((-1)/2)/(4/l)?
True
Let t(a) = -5*a**3 + 6*a**2 - 3*a + 6. Let g(m) = 4*m**3 - 6*m**2 + 4*m - 6. Let r(o) = -4*g(o) - 3*t(o). Let d be r(6). Let f = -21 - d. Is f a multiple of 4?
False
Let i(o) = 3*o**2 - 10*o + 7. Is i(14) a multiple of 65?
True
Let h(b) = -b**3 + 4*b**2 - b - 3. Suppose -6*s + 2*s + 2*f = -18, -3*s - 3*f = 0. Let g be h(s). Suppose -5 = -4*j + g. Is 2 a factor of j?
True
Suppose 923*i = 914*i + 5967. Does 25 divide i?
False
Let t be (-18 + 15)/(1 + 74/(-68)). Does 38 divide 12/(-102) + 4084/t?
False
Suppose 0 = -3*r + 11 + 4. Suppose 2*c = 5*v - 23, -5 = -2*v - 0*v + r*c. Is 2 a factor of v?
False
Let y(h) = -h**3 + h + 2. Let w be y(-1). Let z(c) = c - 4. Let f be z(w). Let t(a) = -27*a - 4. Does 11 divide t(f)?
False
Suppose 294 = 5*a - 3*k, -a - k = -54 - 8. Does 4 divide a?
True
Let i(f) = 64*f. Suppose 5*t = 2*h - 22, -4*h - 3*t - t = 12. Does 15 divide i(h)?
False
Suppose 4*q + 8 = 24. Let m(d) = 2*d**3 + 2*d - 8. Is m(q) a multiple of 31?
False
Is 10 a factor of (-136 - 2)/(-3)*(-2 + 4)?
False
Let j be (12/15)/((-1)/(-60)). Let t = -15 + 13. Does 9 divide (4 - j)*1/t?
False
Suppose -2 = 4*r + 5*m, 0 = -2*r + 7*r - m - 12. Suppose -3*p + 5*z = -124, 6*z - r*z = -p + 64. Does 8 divide p?
True
Suppose 21*x - 26783 = -3221. Is 34 a factor of x?
True
Let q = -10 + 16. Let p(w) = -w**2 + 11*w + 6. Let g be p(q). Suppose -g = -4*n - 3*v, 3*n - 3*v = n. Is n a multiple of 3?
True
Suppose 1537 + 211 = 4*w - 4*o, -w + 2*o = -433. Is 21 a factor of w?
True
Let c be ((-6)/4)/(1/(-2)). Suppose 0 = 115*m - 120*m - 10. Does 7 divide 54/c + (-2)/m?
False
Let s = 714 - 480. Does 6 divide s?
True
Suppose a - 100 = -4*a. Suppose 2*f - 5 - 5 = 0. Is 12 a factor of (-6)/((a/(-8))/f)?
True
Let k = -17 - -27. Let g(m) = -2 - 2 - m**2 - 2*m + 4*m + k*m. Is 17 a factor of g(5)?
False
Is 20 a factor of 1/(0 - 4/(-452))?
False
Suppose 0 = -5*r - 8*q + 4*q + 2225, q = -5. Is r a multiple of 58?
False
Suppose -28 + 22 = 2*q, 2*b - 3*q - 15 = 0. Is b a multiple of 2?
False
Does 10 divide (0 - (-10)/45) + 448/9?
True
Suppose 5 = 5*v - 10. Let x(i) = -7 + i**v + 2*i**2 + 1 + 8*i**2 - 13*i. Is x(-11) a multiple of 6?
False
Let m(a) = -a**2 + 5*a + 6. Suppose q - 6 = 1. Suppose 2 = -i + q. Is m(i) a multiple of 3?
True
Suppose -2*a = -3*r - 13, -4*r + 2*r = -4*a + 6. Let i(f) be the second derivative of -29*f**3/6 - f**2 + f. Does 27 divide i(a)?
True
Suppose -3*g - 3 = -36. Suppose -3*o - g = -68. Is o + (-6)/((-3)/1) a multiple of 7?
True
Suppose -4*h + 2 = -6*h. Is 10 a factor of (-9)/9*h*40?
True
Let n(f) be the second derivative of f**5/20 - 3*f**4/4 + 5*f**3/3 + 3*f**2/2 + 19*f. Let g be 1*(0 + -2 + 10). Is 7 a factor of n(g)?
False
Let b(d) = -4*d**2 - 8*d + 0*d + 6 + 6*d**2. Does 4 divide b(5)?
True
Let a(v) = 76*v - 1. Let p be a(-2). Let s be 16/6*((-7074)/(-8))/9. Let u = p + s. Is u a multiple of 28?
False
Let j(s) = -s**2 - 4*s + 4. Let u be j(-5). Is (-6)/(-9)*(u - -79) a multiple of 26?
True
Let s(d) = 88*d - 35. Let g be s(3). Let h = g + -83. Is h a multiple of 7?
False
Let v = 338 + -100. Suppose -2*p - 5*k = -55 - v, -k - 575 = -4*p. Is p a multiple of 16?
True
Let j(q) = 94*q**3 + 3*q**2 - 5*q - 4. Does 19 divide j(2)?
False
Let d(o) = o - 1. Let v be d(6). Suppose 0 = -v*t + s + s + 610, -3*s - 15 = 0. Does 23 divide t?
False
Suppose 1152 = 2*n - 4*m, 5*m + 193 = -4*n + 2497. Suppose -2*t + x + 1394 = 3*t, n = 2*t - 5*x. Is t a multiple of 16?
False
Let c be 6/(-2) - (0 + -8). Suppose c*g = 13 - 3. Suppose -5 = t, -5*x = g*t - 13 - 117. Is x a multiple of 14?
True
Suppose -400*a = -371*a - 25404. Is a a multiple of 73?
True
Suppose 3*u = -i + 12, u + 2*u + 60 = 2*i. Suppose -5*o + i = -4*j - 47, 2*o - 4*j - 26 = 0. Is 4 a factor of o?
False
Let r = -60 - -268. Does 27 divide r?
False
Suppose 0 = -298*w + 311*w - 6370. Is w a mu