 = 289, 362 = -5*y - d*h + 3*h. Let w = 113 + y. Is w a multiple of 28?
False
Let y be (-4)/(-4)*(1 + -6). Let l = y + 7. Let d = 19 + l. Does 7 divide d?
True
Suppose 5*b = -w - 2*w + 25, 3*w - b = -5. Suppose -4*n - 35 + 147 = w. Is 3 a factor of n?
False
Let j = 7 + 3. Suppose -8*l = -j*l + 94. Does 19 divide l?
False
Let i(p) = -2*p**3 + 3*p**2 + 15*p + 10. Does 18 divide i(-7)?
True
Suppose 0 = 15*i - 20*i - 3*x + 657, x - 4 = 0. Does 7 divide i?
False
Let q(m) = -m**3 - 14*m**2 + 24*m - 55. Is q(-17) a multiple of 24?
False
Let m(y) = -79*y - 81. Is 12 a factor of m(-5)?
False
Suppose 0 = 6*s - 850 + 10. Does 14 divide s?
True
Suppose -b - 2 - 2 = 0, 3555 = 5*j + 5*b. Suppose j = l + 4*l. Suppose 5*c = -2*i + 107, 0 = 3*i - 6*i - 4*c + l. Is 6 a factor of i?
False
Let c(u) = -277*u**3 + 2*u**2 + 2*u + 1. Is 8 a factor of c(-2)?
False
Let x = 7 - 1. Let y = -3 + x. Suppose 33 = y*s + 2*s - 2*f, -13 = -5*s - 3*f. Is s even?
False
Let i be (-4 + 240/9)*-3. Let h = -26 - i. Does 21 divide h?
True
Suppose 4*b - 5*w = 85 + 96, 5*b + 3*w = 254. Let i be 116/14 - 14/b. Let o(n) = n**2 - n + 7. Is 21 a factor of o(i)?
True
Let s be (0/2)/(15 - 17). Suppose 6*h = -s*h - 144. Does 27 divide h/(-6) + (-208)/(-2)?
True
Suppose 15 = 3*k, -4*k - 26 = -2*z - 2. Let s be ((-6)/12)/(2/20). Let x = z - s. Is x a multiple of 9?
True
Let n = -519 + 1152. Does 15 divide n?
False
Let b = -27 + 44. Let u = -15 + b. Suppose 0*h - 58 = -3*p + 2*h, 3*h - 30 = -u*p. Is p a multiple of 9?
True
Let p(v) be the second derivative of v**4/3 + 5*v**3 + 15*v**2/2 + 36*v. Is p(-9) a multiple of 10?
False
Suppose 0 = -9*s + 564 + 201. Let m = s - 32. Does 12 divide m?
False
Suppose 5*b + 513 = -122. Let z = b + 212. Does 19 divide z?
False
Suppose -6*f + 270 = 9*f. Is 2 a factor of f?
True
Let v = 66 - 122. Let r = -47 - v. Is 3 a factor of r?
True
Suppose m = -5*o + 56 + 4, 4*m = 2*o - 24. Let d(s) = s**2 - 10*s + 14. Let j(g) = -g**2 + 9*g - 13. Let n(p) = -3*d(p) - 4*j(p). Is n(o) a multiple of 23?
False
Is 9 a factor of (16/20)/((-718)/360 - -2)?
True
Let u(c) = 1 - 5 + 2*c - 3. Let i be u(3). Let b(f) = -72*f. Is b(i) a multiple of 18?
True
Suppose 9 = -5*n + 34. Suppose -n*p - 20 = 0, -14 + 88 = -2*d + p. Let t = d - -56. Is 5 a factor of t?
False
Let n = 100 - 45. Does 2 divide n?
False
Does 81 divide ((-6)/(-10))/(((-39)/(-4455))/13)?
True
Let k(y) = -3*y**3 + 2*y**2 - y + 3. Let o be k(2). Suppose 3*z = q - 42, -5*q = 2*z + z - 192. Let w = o + q. Does 12 divide w?
True
Suppose 29 = d + 8*b - 5*b, -5*b = 2*d - 57. Suppose 0 = 4*c - 4 - 12, -4*j = 5*c - 108. Let m = d - j. Is 3 a factor of m?
False
Let v be (-2)/(-1) - (2 + -35). Suppose -2*o + v = 25. Suppose g + 3*a = 6, -o*g + 3*a + 23 = -61. Is g a multiple of 3?
True
Let x(m) = 16*m**3 - m. Let s be x(1). Suppose l - 15 = s. Does 30 divide l?
True
Let k(d) = -d**3 + 20*d**2 - 41*d + 12. Does 10 divide k(16)?
True
Suppose -19*m + 14*m = -n + 501, m - 1471 = -3*n. Is n a multiple of 54?
False
Let g = -4 - 83. Let v = g - -204. Suppose -v = -3*m + 51. Is m a multiple of 14?
True
Let j(q) = q**3 - 11*q**2 + 3*q + 13. Let o be -21 + 8/(-4) + 1. Let k be o*(-2)/8*2. Is 13 a factor of j(k)?
False
Let k = 1 + -9. Let d(c) = -c**3 - 6*c**2 + 11*c + 11. Let o be d(k). Suppose h + h - 3*q = o, 4*h = -5*q + 47. Does 6 divide h?
True
Let w(o) = o + 11. Suppose -2*d + 0*d = 0. Let h = d - 5. Is w(h) a multiple of 6?
True
Let y be 9/(-6)*(-8)/(-6). Let o be (-66)/21 + y/(-14). Let n = 10 - o. Is n a multiple of 13?
True
Let q(j) = -j**3 - 6*j**2 - 4*j - 8. Suppose 7*o - 2*o = -5, 4*m - 4*o = -20. Is q(m) a multiple of 16?
True
Suppose -2*n + 329 = -2*g - 471, -5*g + 1555 = 4*n. Is n a multiple of 2?
False
Let n(v) = 302*v**2 - 7*v + 17. Is 106 a factor of n(-3)?
True
Let c = -28 - -33. Let m(d) = -4*d + 2. Let f be m(-3). Suppose 0*q = -b - 2*q + f, -c*q - 100 = -5*b. Is b a multiple of 9?
True
Let h(u) = 164*u - 4. Does 5 divide h(1)?
True
Let o(j) = 3*j**3 + j - 1. Let k be o(1). Suppose -6*h - 3 = -15. Suppose h*q + k - 87 = 0. Is q a multiple of 14?
True
Suppose 0 = 5*y - j - 2144, 2*y - 7*j = -6*j + 857. Is y a multiple of 33?
True
Is 4 a factor of -104*((-95)/90 + (-8)/18)?
True
Is 48 a factor of 124/(-8)*(-220)/5?
False
Let l be 5520/15 + 4/2. Does 5 divide ((-9)/5)/((-6)/l)?
False
Let n(u) = 9*u**2 - 62*u + 3. Is n(10) a multiple of 41?
False
Let v(h) = h**3 - 13*h**2 + 11. Let t be v(13). Let d = -24 - -17. Let x = d + t. Is 4 a factor of x?
True
Let h = -473 - -613. Does 10 divide h?
True
Suppose -3*h - 78 = -h + 2*n, 0 = 3*h - 3*n + 117. Let y = 109 + h. Does 10 divide y?
True
Let w(p) = 114*p - 8. Let s be w(4). Suppose -5*b = -212 - s. Is b a multiple of 22?
True
Let s = -32 - -36. Suppose 24 = 2*d - 4*v + 2, s*d = 2*v + 26. Is 4 a factor of d?
False
Let x = -61 - -63. Suppose 0 = x*d + 8, -4*t = -4*d - 1032. Does 38 divide t?
False
Let f = 937 - 667. Is f a multiple of 13?
False
Let u(t) = -t**3 - 23*t**2 - 50*t - 105. Is u(-21) a multiple of 2?
False
Let q be (7 - (-4 + 8 + -3)) + 1. Suppose 3*n - 325 = -5*w, -215 = q*n - 9*n - 3*w. Is 31 a factor of n?
False
Let g(z) = 10*z - 2. Let n(d) = d**3 - 12*d**2 - 12*d - 10. Let x be n(13). Is g(x) a multiple of 10?
False
Let k be 2760/16*8/10. Let j = k - 82. Does 6 divide j?
False
Let n(d) = 4*d - 5. Let c be n(2). Let b be (-2)/(182/62 - c). Let f = 91 - b. Does 30 divide f?
True
Let j be 17/68 - (-2682)/(-8). Let o = j + 153. Let q = -92 - o. Is q a multiple of 18?
True
Suppose a + 1 + 3 = 3*k, 5*a = k + 22. Let i be (4 - 5) + k*2. Let q = 9 - i. Does 4 divide q?
True
Let m(i) = i**3 - i**2. Let k(c) = -2*c**3 + 8*c**2 - c - 7. Let y(w) = k(w) + 3*m(w). Let p be y(-5). Is (-3 - 1)/p + 36 a multiple of 7?
False
Let k = 1737 - -1854. Does 57 divide k?
True
Let i(f) be the second derivative of 5*f**3/6 + f**2 - f. Is 7 a factor of i(6)?
False
Let p(s) = 13*s + 88. Is 11 a factor of p(7)?
False
Suppose -351 = 3*w + 2*z, -w + 5*z = -3*w - 234. Let y = w + 134. Is y even?
False
Let z(b) = -2*b + 6. Let k be z(6). Let x be 54 + k/(-3) + -3. Let r = x + -20. Is r a multiple of 11?
True
Let l(i) = 19*i**2 - 16*i + 47. Is 50 a factor of l(4)?
False
Let i be (-4)/10*1380/(-12). Let v = i - 38. Does 2 divide v?
True
Let u(p) = 3*p - 24. Suppose k = 12*d - 14*d + 13, 4*d - 61 = 5*k. Is 3 a factor of u(d)?
True
Does 41 divide 7 + (-1 + 3 - 13) + 1450?
False
Let j(y) = 11*y + 117. Let l(r) = 4*r + 39. Let f(b) = 6*j(b) - 17*l(b). Let h(z) = -26*z - 156. Let s be h(-6). Is 13 a factor of f(s)?
True
Let y(u) = u - 4. Let r be y(7). Suppose -12 = -5*m + r. Suppose -m = 3*f, s = -0*s - 5*f + 16. Is 21 a factor of s?
True
Let i = -6 + 12. Suppose 10*y = 8*y - x - 8, -3*y = -4*x + 1. Is 17 a factor of (17/y)/((-2)/i)?
True
Let f(a) = 7*a**2 + 10*a - 9. Is f(5) a multiple of 6?
True
Suppose 3*d + 12 = 2*b + b, -4*b - 2*d + 46 = 0. Let c(j) = -20*j + 8*j - 3*j**2 + 5*j**2 - 13 + 3. Is 16 a factor of c(b)?
False
Suppose -22 = -a - 4*h, -a - 8 = -3*a + h. Suppose k + 0 = a. Let r = k - -15. Is r a multiple of 12?
False
Suppose 3*v = -v + 12. Suppose 0 = -m + 9 - v. Is 6 a factor of m?
True
Let y be 6/(-39) - 45/(-39). Let a(n) = 3*n - 4. Let w(l) = l. Let g(z) = y*a(z) + 2*w(z). Is g(5) a multiple of 10?
False
Let k(v) = 2*v - 9. Let o be k(6). Let c(r) = 11*r**2 - 3*r + 30. Let i(d) = -4*d**2 + d - 10. Let y(t) = o*c(t) + 8*i(t). Is 10 a factor of y(0)?
True
Let f = 361 + -177. Does 8 divide f?
True
Let v(b) = -39*b**2 + 6*b - 7. Let n(d) = -8*d**2 + 1 + 4*d**2 - d + 3*d**2. Let z(a) = -6*n(a) - v(a). Is 23 a factor of z(1)?
True
Let n = 10 + -8. Is 18 a factor of 1*(n - (0 + -159))?
False
Suppose 0*o + 2*o - 4 = 0. Suppose -6 = -3*p - 2*k, 2*k = -0*p - o*p + 2. Suppose -6 - 170 = -p*q. Is q a multiple of 23?
False
Let k(j) = j**2 - 2*j - 4. Let z be k(4). Suppose 0*p - 27 = -4*p + 5*c, p + 9 = -z*c. Suppose -d + 6 = -0*d + 3*b, 4*d + p*b = 60. Is 6 a factor of d?
True
Let m be (-4)/(-4) - -4*2. Let b be (-26)/(-4) + m/(-6). Suppose 0 = b*u + u - 474. Does 15 divide u?
False
Let j(w) = -w**2 + 9*w - 11. Let x be j(8). Does 22 divide (x + 5)*2 + 2 + 62?
False
Let n be 3*(0 + 4 + -3). Suppose -n*g + l + 396 = -7*g, 0 = g - 2*l + 90. Let z = -59 - g. Does 27 divide z?
False
Let i = 15 