m(4). Is 6 a factor of 9 + (3 - (1 - h))?
False
Suppose 0 = -12*o + 1288 - 388. Is 25 a factor of o?
True
Let b be ((-2)/(-3))/((-2)/15). Let v = -5 - b. Suppose v = l - 3*l + 20. Is 8 a factor of l?
False
Suppose -4*h + 46 = -162. Does 12 divide h?
False
Let v(r) = -r + 9. Let x(j) = -j + 10. Let d(h) = 6*v(h) - 5*x(h). Let b be d(7). Let p(t) = t**2 - 4. Is 4 a factor of p(b)?
False
Let x = 24 - 15. Let l be 2 - x/(-3) - 0. Suppose 0 = j + l - 9. Is 2 a factor of j?
True
Let y(s) = s + 7. Let o be y(-7). Let u be (-2)/(-4)*(4 - o). Suppose 3*q = 4*x - 94, -3*x = u*x + q - 108. Is 22 a factor of x?
True
Is 15 a factor of (-3 - 144/(-3))*1?
True
Is 25*6/15*(3 - -1) a multiple of 20?
True
Suppose 3 = -5*r - p - 6, r - 1 = -3*p. Suppose 5*z + 10 = -w, -44 + 19 = 5*w. Does 12 divide 96/4*z/r?
True
Is 2/(-12) - 1518/(-36) a multiple of 14?
True
Let n = 24 - 0. Suppose -4*l = 2*u - 150, 0 = -2*l + 3*u + 111 - n. Is 11 a factor of l?
False
Let g(a) = a**2 - 10*a + 17. Is 8 a factor of g(12)?
False
Let z(x) = -x + 33. Is z(9) a multiple of 4?
True
Let j(p) = 150*p**3 - p + 1. Does 30 divide j(1)?
True
Suppose -s - 40 = -2*s + r, -3*r - 165 = -4*s. Let i = s - 20. Does 10 divide i?
False
Let d(s) = 10*s**2 + 14*s - 3 + s**3 + s**2 + 12. Does 14 divide d(-9)?
False
Let w = 184 - 124. Does 7 divide w?
False
Let y(i) = -i**2 - 14*i + 43. Is 7 a factor of y(-13)?
True
Let i = -131 + 65. Does 4 divide i/(-18) - 2/(-6)?
True
Suppose 5*v - b = 22, b - 13 = -3*v + 5. Does 3 divide v?
False
Let o(i) = -i + 6. Let y be o(4). Suppose 201 = b + y*b. Does 27 divide b?
False
Let l(w) = w**3 - 13*w**2 + 18*w - 10. Let x be (4 - 5)*-6*2. Is 31 a factor of l(x)?
True
Let r = 23 + -22. Let b = 9 + r. Is 5 a factor of b?
True
Let p(f) be the second derivative of -f**5/20 - f**4/6 + f. Is p(-3) a multiple of 8?
False
Let u(n) be the third derivative of 0*n + 5/6*n**3 + n**2 + 0 + 5/24*n**4. Is 14 a factor of u(4)?
False
Suppose 2*h - 5 - 9 = 0. Let g = 32 - h. Let x = -1 + g. Does 9 divide x?
False
Is (-1 - 3) + 3 - 1*-99 a multiple of 14?
True
Suppose 65 = 4*v - 87. Does 22 divide v?
False
Let l = 5 - -7. Does 6 divide l?
True
Let v(n) = -n + 39. Let g be v(0). Suppose 150 = 3*l + g. Does 11 divide l?
False
Suppose -u + 30 = -22. Let a = u + -30. Is 21 a factor of a?
False
Suppose 168 = 10*y - 7*y. Is 14 a factor of y?
True
Suppose -3*o - 2*l + 23 = 2*o, o + 4*l - 19 = 0. Is 3 a factor of o?
True
Is 6 a factor of (69/(-9))/((-2)/6)?
False
Let v = 53 - -12. Is v a multiple of 20?
False
Suppose -2*d + 12 = 2*d. Does 15 divide d - (0 - (36 + -1))?
False
Let i(f) = f**3 + 6*f**2 + 7*f + 7. Let c be i(-5). Let q(m) = -5*m - 2. Is 6 a factor of q(c)?
False
Suppose 5*x - 214 = 211. Does 21 divide x?
False
Let b = 32 - 16. Is b a multiple of 11?
False
Let h = -27 - -30. Does 3 divide h*(6 - 4)*1?
True
Suppose 15 = -9*n + 177. Is n even?
True
Suppose 48 = -8*m + 9*m. Is m a multiple of 16?
True
Let m = -105 + 210. Is 9 a factor of m?
False
Let o(c) = c**3 - 11*c**2 + 12*c + 1. Let x be o(10). Suppose -x = -2*m + 3. Is 6 a factor of m?
True
Let k = -59 - -95. Does 9 divide ((-4)/(-8))/(1/k)?
True
Suppose -3*c + 4*u - 27 = 0, -c - 5*u - 5 = 3*c. Let v be (-2)/(-1) + (c - -8). Suppose -v + 53 = 5*r - 4*p, 54 = 5*r - 2*p. Does 9 divide r?
False
Let j = 55 + -28. Does 9 divide j?
True
Suppose 4*n - 6*n = 4. Does 9 divide (-1)/1 + n - -12?
True
Let z = -2 + 4. Let o be 0/(1*-1*z). Suppose 0 = -q - 4*m - o + 3, -5 = 5*m. Does 3 divide q?
False
Let j(q) = -q**3 + 12*q**2 - 8*q + 3. Is 10 a factor of j(11)?
False
Suppose -2*o = 2*y - o - 53, -2*y - 3*o + 43 = 0. Let t = y + -14. Is 5 a factor of t?
True
Let d = -36 + 63. Let f = d + -46. Let i = 23 - f. Is 14 a factor of i?
True
Let z(l) = l. Let t(h) = 7*h - 1. Let s(j) = -t(j) - z(j). Suppose 4*y + 18 = -2*m, 5*y - m - 5 = 2*m. Does 6 divide s(y)?
False
Let p = 8 - 4. Suppose i = -p*t + 3*i + 66, 4*t - i - 61 = 0. Is t a multiple of 8?
False
Suppose g = c - 4 - 8, 2*c = 5*g + 39. Is c a multiple of 3?
False
Is 19 a factor of 2*-228*-3*2/12?
True
Let p(t) be the first derivative of -t**2/2 + 9*t + 3. Let a be p(10). Does 22 divide a/((-1)/(-4))*-11?
True
Let c be 5/(-15) + 178/(-6). Let j = c + 74. Is j a multiple of 14?
False
Let p(m) = -m**3 + 0*m**3 + 7*m + 10*m**2 - 6*m. Is p(10) a multiple of 5?
True
Let z(q) = -q**2 - 11*q - 4. Suppose -2*l = 5*s - 66, 3*s + 2*l + 2*l - 34 = 0. Suppose -2*m = -8, -5*v - 46 + s = 2*m. Is z(v) a multiple of 20?
True
Suppose 4*q + 7 = 15. Suppose -27 = -q*p + 21. Is 12 a factor of p?
True
Let v be 54 - (1 + 1/1). Let y = v + -24. Does 11 divide y?
False
Let v be 206/8 + 1/4. Suppose -q + 2*p = 5, 2*q + 0*q - v = -5*p. Suppose m + 4*w = 34, -q*w = 4*m - 2*w - 136. Does 17 divide m?
True
Suppose -2*n = -3*n + 22. Suppose -z + 6*z - 62 = -4*i, -z + n = 4*i. Is 7 a factor of z?
False
Suppose 5*w - 149 = 1. Suppose 0 = -n - 3*b + 15, 2*b - w = -2*n + 4*b. Suppose -92 + n = -5*c + x, -5*c = -2*x - 74. Is c a multiple of 16?
True
Let r(u) = u**2 - 5*u - 7. Let v be r(6). Is 14 a factor of (-1)/(-1) + v + 19?
False
Suppose -2*i + 4*b = -42, -i - 2*b = 3*i - 74. Let d = -11 + i. Is d a multiple of 8?
True
Let b = -8 - -17. Suppose j - b = 3. Let x = j + 10. Does 22 divide x?
True
Let y be ((-3)/2)/((-12)/(-32)). Is -3 - (-3 - -255)/y a multiple of 24?
False
Suppose -3 = -m - 8. Let t(y) be the third derivative of -y**4/24 - y**3/3 + 21*y**2. Is 2 a factor of t(m)?
False
Let r = -267 - -467. Does 13 divide r?
False
Suppose -3*t = -0*t + 15, t - 43 = -2*z. Is 8 a factor of z?
True
Suppose 4*u - 154 = 46. Suppose -r = 5*a - 6*r - u, -a - 3*r + 30 = 0. Is a a multiple of 7?
False
Let r(k) = 2*k**3. Suppose -2*w - 3*w + 5 = 0. Let h be r(w). Let o = h + 14. Does 10 divide o?
False
Let k(w) = w**3 - 7*w**2 + 3. Suppose -11 = -3*y + 10. Is 3 a factor of k(y)?
True
Let d(x) = x + 11. Let c be d(-9). Suppose -2*h - c*y + 4*y + 14 = 0, 0 = 4*h - 2*y - 28. Let v(q) = q**2 - 6*q + 3. Is v(h) a multiple of 5?
True
Suppose 2*h - 4 = h. Let g be (-2)/(2*-1) - -15. Suppose 5*d - g = -3*z + 28, -4*z = h*d - 56. Does 13 divide z?
True
Suppose 2*h + v + 12 = 3*v, -3*h - 4*v = 18. Does 10 divide (h/(-4))/(5/130)?
False
Suppose -2*a = -a. Suppose -1 + 3 = c + 4*u, -3*u = a. Is 2 a factor of c?
True
Let x(t) = -t**3 - 3*t**2 + 2*t - 2. Let l be x(-4). Suppose -l*y = -2*y - 12. Suppose -y*d + 18 = 3*u, 0*u - 3*u = 5*d - 22. Does 4 divide u?
True
Let o = 21 + -29. Let c(u) = 4*u + 11. Let x be c(o). Let s = 37 + x. Does 6 divide s?
False
Suppose 5*h - 20 = 5*y, 4*h - 2*h = 4*y - 2. Let g = h + 0. Does 5 divide g?
False
Let s(f) = 1 - 4 - 5*f + 0. Does 12 divide s(-6)?
False
Suppose 0 = 2*y - 14 - 2. Does 18 divide 338/7 + y/(-28)?
False
Let a be (1 + 1)*(59 + -4). Suppose -5*v = 2*s - a, 4*v + 60 = 5*s + 181. Is 12 a factor of v?
True
Let d = -202 + 358. Does 39 divide d?
True
Let n(o) = o**2 + 6*o - 1. Let s be n(-7). Let x(j) = j**3 - 6*j**2 + 6*j - 4. Is x(s) a multiple of 13?
False
Suppose m + 6 = 16. Is m a multiple of 10?
True
Suppose 0 = -54*k + 55*k - 18. Is 18 a factor of k?
True
Let l(t) = -2*t - 12. Let d be l(-8). Is 2 a factor of 6/d - 10/(-4)?
True
Is (1 - 0)/(12/492) a multiple of 9?
False
Let f = -92 - 8. Let a = 94 + 47. Let v = f + a. Does 11 divide v?
False
Suppose 121 = 2*c - 195. Let y be (-4)/(-18) + c/18. Let t = y + -4. Is t a multiple of 3?
False
Let r(t) = -8*t + 5. Suppose -2*w + 16 = 2*w. Let z be r(w). Is 6 a factor of z/(-4)*(-8)/(-3)?
True
Let z = 9 + 34. Let t = z - 23. Is 10 a factor of t?
True
Let p(a) = a**3 + 6*a**2 + 4*a. Suppose -4*b - 2*z = b + 20, -20 = 5*b + 5*z. Is 16 a factor of p(b)?
True
Let x(c) = 13*c**3 - 2*c**2 + c - 1. Let s be x(2). Let d = s + -63. Is d a multiple of 17?
True
Let o = 16 + -7. Is o a multiple of 3?
True
Let c(n) be the second derivative of -2*n**3/3 - 2*n**2 - 2*n. Does 12 divide c(-4)?
True
Let j be (20/(-8))/(1/(-30)). Suppose 2*h - 3*b + 9 = 0, 3*b = 4*h - 9*h - j. Is 414/h*(-2)/3 a multiple of 12?
False
Let p(t) = -15*t**3 + 2*t**2 + 5*t + 3. Is 3 a factor of p(-1)?
True
Let z be 6/(-4)*4/6. Let t be 14/(-1) - (-3 - z). Is ((-80)/t)/(2/6) a multiple of 20?
True
Let d(m) be the third derivative of m**5/12 - m**4/6 - 2*m**3/3 - 2*m**2. Let u be d(-3). Suppose