(m) = m**3 + 4*m**2 - 2*m + 1. Let s be t(-4). Suppose -3*h = -s - 6. Does 2 divide h?
False
Let r(p) = -p**2 + 6*p. Let f be r(5). Let l be 8/(-20) - (-2)/f. Suppose -4*a + 5*a - 24 = l. Is a a multiple of 12?
True
Suppose -4*v + 21 + 37 = 2*l, -4*v = -5*l + 201. Let h = l - 15. Does 22 divide h?
True
Let s = -61 + 43. Let u = -9 - s. Does 4 divide u?
False
Suppose 0 = -s + 4. Let q(n) = n + 216. Let l be q(0). Suppose 5*h - w = l, s*h - 1 = w + 172. Is h a multiple of 21?
False
Let g = 80 - 47. Does 7 divide g?
False
Is 8 a factor of 6 - (1 - -2) - -20?
False
Suppose -2*x = 3*h + h - 8, 4*h + 5*x - 14 = 0. Suppose -6 = 2*a, -m - h = 4*a + 4. Is m a multiple of 7?
True
Suppose 3*c - 1 = 5. Let f be (-2)/(-4) + (-77)/c. Is 10 a factor of (5 - 2)/3 - f?
False
Let d(s) = -90*s**3. Let g be d(1). Is 9 a factor of g/4*96/(-40)?
True
Suppose 0 = -5*a + 5*v + 150, 2*a + 2*v - 52 + 0 = 0. Does 14 divide a?
True
Let g be (-14)/4*(-16)/28. Suppose -g*c = c + 21. Let v(q) = -q**3 - 8*q**2 - 7*q + 10. Does 10 divide v(c)?
True
Let d = -220 - -381. Does 36 divide d?
False
Suppose -4*o + 2*o + 28 = 0. Does 6 divide o?
False
Suppose -7*n + 2*n + 2*i + 340 = 0, -2*n + 136 = 5*i. Is n a multiple of 45?
False
Let u be 2/2*(-2 - -2). Does 6 divide u + 33/3 + -1?
False
Let k(d) = 6*d**2 - 7 - d**2 - d**3 + 2*d**3 - 2*d. Let w be k(-5). Suppose -5*j + 0*o + o = -91, -w*o - 3 = 0. Does 10 divide j?
False
Suppose 0*q = 2*q - 8. Suppose q*a = 2*u - u + 4, -4*a = u + 20. Is 12 a factor of (46/3)/((-8)/u)?
False
Suppose 4*k = -0*c + 3*c + 143, -k - c + 27 = 0. Does 9 divide k?
False
Let a = -7 + 5. Let x = a + 2. Is 28/(-16)*(x - 12) a multiple of 9?
False
Let h = -8 - -5. Let w be 1 + 3/(-9)*h. Suppose 5*p - 21 = w*p. Is 7 a factor of p?
True
Let t(k) = -k**2 + 18*k + 12. Let h be t(18). Suppose -9*b = -4*b - 130. Let w = b - h. Is 12 a factor of w?
False
Suppose -2*m + 0*m = -92. Is m a multiple of 20?
False
Suppose -5*t + 132 + 28 = 0. Is 10 a factor of t?
False
Let h = 48 + -32. Is 12 a factor of h?
False
Suppose -5*x + x + 24 = 0. Let s(b) = -b**2 - b. Let z(j) = j**3 + j. Let n(p) = 5*s(p) + z(p). Is n(x) a multiple of 5?
False
Suppose -2*u + u = -20. Suppose 4*q - 6*q + u = 5*l, 5*q - 116 = 4*l. Is q a multiple of 10?
True
Let n(o) = o**2 + 10*o + 12. Let k be n(-9). Let i be (k/(-9))/((-2)/18). Suppose -i*x + 22 = -53. Is x a multiple of 9?
False
Suppose -j + 6*j - 580 = 0. Suppose -5*i + j = -54. Is 17 a factor of i?
True
Suppose 7*l - l = -108. Let g = 47 + l. Does 29 divide g?
True
Let z(u) = -11*u + 2. Suppose -4 + 8 = -2*a. Is z(a) a multiple of 24?
True
Let d(f) = -f**3 - 25*f**2 - 4*f + 28. Is d(-25) a multiple of 32?
True
Let p be 1/2*0/(-1). Suppose p = -m + 13 + 7. Is m a multiple of 8?
False
Suppose l = 5*f - 43, 3*f + 2*l + 2*l = 12. Let h = 0 + f. Suppose 3*b - 37 = h. Is 15 a factor of b?
True
Let j be (0 + 1)*4/(-2). Let d be (-1 - j)*(1 - 24). Let z = d - -40. Does 10 divide z?
False
Let y(x) = -x. Let f be y(3). Does 7 divide (-7)/(-2)*(-1 - f)?
True
Let i(j) = -5*j - 7. Let u be i(-3). Does 3 divide (3 + (u - 4))/1?
False
Let k = -34 + 69. Does 8 divide k?
False
Suppose 5*t - 38 = -3. Let w = t - -11. Does 5 divide w?
False
Suppose -4*m = 7*m - 528. Is 6 a factor of m?
True
Let a(j) = j**3 + 5*j**2 + 4*j + 5. Let v be a(-4). Let l(g) = g**3 - 5*g**2 + g + 6. Is l(v) a multiple of 5?
False
Let i(s) = 73*s - 13. Let u be i(9). Let m = -364 + u. Does 9 divide m/(-21)*(-12)/5?
False
Let t(c) = c**2 + 7*c + 2. Let k be t(-7). Suppose -n + k*l - 5*l = 10, -4*l = 16. Let p = 1 + n. Is p a multiple of 3?
True
Let j(o) = -o**2 + 6*o - 3. Let x be j(5). Let q(t) = 12 - 12*t**x - 10*t + t**3 - t - 2*t. Is 6 a factor of q(13)?
True
Suppose -3*u = 2*u. Let m = 3 + u. Let r(q) = 2*q**3 - q**2 + 4*q - 3. Does 27 divide r(m)?
True
Suppose 0 = 4*a - 2*d - 266, 3*a - a - 137 = 5*d. Does 22 divide a?
True
Let i(p) = 2*p**2 - 2*p - 2. Let m(r) = -r**2 + r - 2. Let j be m(0). Is 10 a factor of i(j)?
True
Suppose -v + 14 = 5*d - 7, -5*v - 2*d = -36. Let n(k) be the first derivative of -k**4/4 + 5*k**3/3 + 3*k**2 + 6*k + 10. Does 6 divide n(v)?
True
Let q be -7 - -6 - (-4)/1. Suppose -177 = -5*l - n, 3*l + 4*n - 102 = 2*n. Suppose -h + l = q*h. Does 9 divide h?
True
Suppose 0 = -4*y - x + 78, x = -5*y + 3*x + 104. Is 14 a factor of y?
False
Let r = 4 - 3. Does 20 divide (-1)/r - 0 - -41?
True
Let l = 9 - 11. Is 10/(l*(-3)/36) a multiple of 20?
True
Suppose -4*m + 8 = 5*x, 22 + 9 = 4*x - 5*m. Let v(f) = -4*f**2 - 22*f + 11. Let y(u) = 3*u**2 + 15*u - 7. Let h(j) = 5*v(j) + 7*y(j). Is 2 a factor of h(x)?
True
Let h = 9 + -5. Let j(d) = d**2 - 2. Does 8 divide j(h)?
False
Let i = 29 - 59. Let q = i + 62. Does 16 divide q?
True
Suppose o - 40 = 4*n, -5*o = -3*n + 2*n - 143. Suppose -2*z - 38 = -3*s, -3*z + o + 5 = 3*s. Does 6 divide s?
True
Suppose w + 5 = g, -4*g - 2*w + 16 = 2. Suppose g*j = 5*f + 16 + 19, -2*j - 4*f = 2. Suppose -11 = -n + j*c - 3*c, 2*c = 5*n - 31. Is 4 a factor of n?
False
Let j = -4 - -6. Suppose q - 7 = -i, 0*i + j*i = -3*q + 26. Does 12 divide q?
True
Let r = 47 + -11. Does 4 divide r?
True
Let a be (16 - 6)/(2/1). Suppose a*s - 124 = s. Does 11 divide s?
False
Let r(t) = -3*t + 1. Let f be r(2). Let w(d) = d + 8. Let y be w(f). Suppose 5*x = -4*k + 6, -14 = -4*k - 4*x + y*x. Is k even?
True
Let a be 9 + 1 - 4/1. Let i = 21 - a. Is 5 a factor of i?
True
Suppose 3*h + 28 = 5*h. Does 4 divide h?
False
Suppose 6 = 5*c - b, 0 = 3*c + 4*b + 1 - 0. Is (7 - c)/(11/77) a multiple of 11?
False
Let r be 1*(-2 - -3) - 1. Let z be (r + 0)*(-1)/(-1). Is z + (-2 - -3) + 7 a multiple of 5?
False
Let a be 26/8 + 4/(-16). Suppose -8 = a*n + 7, n + 8 = l. Suppose 0 = l*b - 0 - 96. Is b a multiple of 16?
True
Let r(m) = 3*m**2 + 2*m + 9. Is 21 a factor of r(-6)?
True
Suppose 3*u - 66 = -5*f, 11 = 2*f - 2*u - 25. Suppose -2*q + f = 3*q. Is q a multiple of 2?
False
Let j be ((-3)/3)/(2/(-74)). Let b = j + -12. Let d = b - 11. Is d a multiple of 6?
False
Suppose 0 = -2*l - 8, 9*i = 4*i + 3*l + 92. Suppose -4*t = -i, 5*s - 46 = 2*s - 4*t. Is s a multiple of 10?
True
Let q = 35 + -14. Let k(i) = -11*i**2 - 1. Let y be k(-1). Let c = y + q. Does 4 divide c?
False
Suppose -4*p - 30 = -74. Does 6 divide p?
False
Suppose -k - 217 = -3*d - 2*k, -5*k = -4*d + 321. Is 24 a factor of d?
False
Let u = 42 + -12. Suppose a - u = 6. Is 12 a factor of a?
True
Let v be (3/9 + 0)*0. Suppose 31 - 111 = -3*z + d, 2*d + 4 = v. Is z a multiple of 19?
False
Let o(d) = 63*d + 2. Is o(1) a multiple of 20?
False
Let w(r) = 28*r**2 + 2*r + 2. Is 7 a factor of w(-1)?
True
Let h(b) = b**2 + 5*b + 4. Let v be h(-3). Let y(s) = -s - 2 + 6*s**3 + 7*s**3 - 15*s**3. Does 8 divide y(v)?
True
Let y = -2 + 2. Suppose y = 4*x - x - 3. Is 39/((-15)/(-6) - x) a multiple of 13?
True
Suppose 5*k - 120 = k. Is k a multiple of 5?
True
Let z = 24 - 3. Suppose 5*t + 6 = z. Suppose -3*b = -3*n + 9, -3*b = t - 6. Does 4 divide n?
True
Let c = -26 + 28. Let s = -20 - -12. Does 2 divide ((-3)/c)/(6/s)?
True
Suppose 0 = -6*d + 4*d + 18. Is 5 a factor of d?
False
Let g be 1/2 + (-5)/10. Suppose -4*o = -g*o - 88. Does 11 divide o?
True
Let w(p) = -p - 1. Let h be w(3). Let o(v) = v**3 + 6*v**2 + v - 5. Is 7 a factor of o(h)?
False
Suppose 0*t + 3*t - 12 = 0. Suppose 0*d = -2*d + t. Let m = d - -1. Does 2 divide m?
False
Suppose -3 = -5*r + 7. Is 5 a factor of 1 + (r + -1)*13?
False
Let c(v) = v**3 - 2*v**2 + 3*v - 2. Let o be c(2). Suppose 0 = 8*b - o*b - 164. Suppose 6 = h - b. Is 18 a factor of h?
False
Suppose d - 57 = -3*m + 4*m, -3*m = -4*d + 228. Is 19 a factor of d?
True
Suppose -3*h + 176 = -5*a, h - 3*h = 2*a - 128. Is 6 a factor of h?
False
Suppose 6*u - 187 - 149 = 0. Does 28 divide u?
True
Let y = -101 - -245. Is 43 a factor of y?
False
Let z(l) = 15*l - 1. Suppose -3*h = 2*d - 0*d + 6, -5*d = -4*h + 15. Suppose -j = -3 - h. Does 22 divide z(j)?
True
Does 9 divide ((-52)/65)/((-2)/135)?
True
Let a(i) be the second derivative of 0 - 2*i**2 + 3*i - 1/6*i**3. Is 4 a factor of a(-9)?
False
Suppose 0 = -6*r + 400 - 16. Is 37 a factor of r?
False
Let d = 54 - 6. Suppose -5*z = -12 - d. Is 12 a factor of z?
True
Let m(c) = c**3 + 9*c**2 - 3*c + 18. Is m(-9) a multiple of 21?
False
Let r(v) = v**3 + 7*v**2 +