es 21 divide c?
False
Let i(l) = 6*l**3 - 50*l**2 - 20*l - 59. Let x(u) = -u**3 + 10*u**2 + 4*u + 12. Let s(h) = -2*i(h) - 11*x(h). Is 2 a factor of s(-10)?
True
Let a(k) be the first derivative of -k**4/4 + 7*k**3/3 - 3*k**2 + 12*k - 1. Is 3 a factor of a(6)?
True
Suppose 0*r = r - 2*x - 354, -2*x - 1062 = -3*r. Suppose 23*q + r = 25*q. Let j = q - 105. Does 20 divide j?
False
Let p = -10 + 16. Let u be (-6)/(-9)*(-657)/p. Is u/(-4) - (-1)/(-4) a multiple of 6?
True
Let d(p) = 3*p**3 - 2*p**2 + 6*p - 10. Is d(4) a multiple of 29?
True
Let q = -667 - -1531. Does 36 divide q?
True
Does 19 divide (-35)/(-4 + -1)*(-707)/(-7)?
False
Suppose -2*g + 265 = 3*g. Let v = 12 + g. Does 13 divide v?
True
Let s(x) = 7*x**2 - 1. Let j be 4/(-12)*-1*39. Suppose -5*b - j + 33 = 0. Is s(b) a multiple of 26?
False
Let k(d) = d + 77. Is 17 a factor of k(25)?
True
Suppose 11*a = d + 10*a - 6, 0 = 2*d + 2*a. Suppose 0 = 2*o + o - 12. Suppose o*m + x = 49, d*m + x - 42 = 2*x. Is 5 a factor of m?
False
Suppose -12 - 1 = -p. Suppose 0 = 4*i + p - 93. Suppose -3*q + 8 = z - 20, i = 4*q - 3*z. Is q a multiple of 3?
False
Suppose 116 - 1979 = -9*q. Does 14 divide q?
False
Does 6 divide -5 - (-219 - -4 - 2 - 0)?
False
Suppose 51 = -o - 42. Let k = 223 + o. Is 14 a factor of k?
False
Let u = 83 + -225. Let w = u - -186. Is w a multiple of 44?
True
Let j = 337 - 161. Is 11 a factor of j?
True
Suppose 640 = 5*t - 3*b, -2*t - 2*b + 256 = -0*b. Let c be t/((-4)/(-1)) - -2. Let v = c + -25. Is v even?
False
Let k(v) = 19*v + 16. Let d be k(3). Suppose 0 = -4*a + 4, a - d - 40 = -2*b. Is b a multiple of 8?
True
Suppose 0 = -124*k + 125*k - 90. Is k a multiple of 13?
False
Suppose 5*l - 167 = 4*t, -4*t = -l + 149 + 38. Let p be (-2)/10 + t/(-15). Suppose 0 = -q, p*o - 4 - 146 = -5*q. Is o a multiple of 25?
True
Suppose 3*j = 5*j - 4. Let c(x) = -x**j - 7 - x + 5*x**2 - 2*x**2. Is 14 a factor of c(-5)?
False
Suppose -35 = h - 6*h. Let y be (-1118)/h + (-12)/42. Let z = -98 - y. Does 26 divide z?
False
Let c(l) = l**3 - l**2 + 13*l - 39. Is c(7) a multiple of 8?
False
Let r(m) = 3*m**2 - m. Let l(y) = 2*y**3 - y**2. Let p be l(1). Let a(d) = d + 1. Let x be a(p). Is r(x) a multiple of 10?
True
Suppose -12*g = -7*g - 710. Is 39 a factor of (5/10)/(1/g)?
False
Let v(x) = 16*x - 25 - 26*x - 12*x - x**2. Is v(-14) a multiple of 8?
False
Suppose -9*r - 4*g + 880 = -8*r, -2*g - 3448 = -4*r. Does 48 divide r?
True
Suppose 18*i = 13*i + 3375. Is 75 a factor of i?
True
Let b(v) = 4*v**2 - 3*v - 2. Let j be b(-4). Let a = -29 + j. Let k = a - -10. Does 15 divide k?
False
Let v(h) = -2*h + h + 8 - 12. Let m be v(6). Let s = 47 + m. Is 10 a factor of s?
False
Let u(k) = -k**2 + 8*k + 10. Let z(n) = -n**3 - n**2 + 4*n + 2. Let o be z(-3). Suppose 4*a + 4*w = o*w + 32, 4*a - 2*w = 32. Does 4 divide u(a)?
False
Suppose 4*v + 0*v + 472 = 2*l, -2 = -2*v. Is 2 a factor of l?
True
Let y = -560 + 660. Is 25 a factor of y?
True
Suppose 5*h = 2*d + 55, 115 = -3*d + 3*h - 2*h. Let y = 100 + d. Is y/((2 + 0)/2) a multiple of 19?
False
Suppose 3*b - 67 = 14. Is 1305/b + 2/(-6) a multiple of 16?
True
Let i = 287 + -117. Is (8 - i)/(3/(-2)) a multiple of 12?
True
Suppose 3*n - 7*u = -3*u + 1360, -3*u = -3*n + 1356. Does 16 divide n?
True
Let g = -7 + 10. Let y be (5 - (-2 + 1)) + g. Suppose 2*b = y - 1. Is b a multiple of 4?
True
Let o(a) = -a**3 + 7*a**2 + 11*a - 8. Suppose -5*v - 6 = 4*l, -6*l - 16 = -2*l. Suppose -3*p - 7 + v = -m, 0 = 3*p - 3. Does 8 divide o(m)?
True
Let b be ((-6)/4)/(4/144). Suppose 4 = m, 5*v - 42 + 887 = 5*m. Let g = b - v. Is g a multiple of 23?
False
Let g(o) = -o**3 - 2*o**2 - o - 3. Let t be g(-2). Let c be 2 - 4 - (t - 11). Suppose 0 = 5*u - c, 0 = -4*n - 2*u + 117 + 159. Does 11 divide n?
False
Suppose 3*r = 5*r + 44. Let d = r - -50. Is 14 a factor of d?
True
Suppose 0 = -6*h + 48*h - 14280. Is 34 a factor of h?
True
Let j = -72 + 77. Suppose -j*k - 4 = -19. Does 3 divide k?
True
Let q be ((-10)/6)/((-9)/27). Suppose -3*p - 73 = 3*u - 283, 338 = q*p - u. Suppose 4*v = -5*y + 40, 0 = -4*y + v + 3*v + p. Is y a multiple of 9?
False
Let v be 1*(-2 + (5 - 2)). Let b(o) = o**3 - o**2 - o. Let l(j) = 20*j**3 - j**2 - j - 1. Let t(g) = -b(g) + l(g). Is 6 a factor of t(v)?
True
Let g(q) = -51*q**3 - 2*q**2 - 3*q - 2. Is 33 a factor of g(-2)?
False
Suppose 0 = -5*m + 3*m + 2. Is 13 a factor of (4/3)/(m/13)*3?
True
Let i(v) = -8*v**3. Let j be i(-1). Suppose 2*m = -0 + j. Does 2 divide 3*(m/(-12) - -3)?
True
Suppose 818 - 116 = 13*s. Does 24 divide s?
False
Let r = 17 - 12. Suppose 3 + 2 = r*k. Is (k/(-2))/(2/(-296)) a multiple of 19?
False
Let z = -391 + 1664. Does 39 divide z?
False
Let l(n) = n**3 - 8*n**2 + 3*n - 9. Let o be l(8). Let i = -10 + o. Suppose -d - d + 137 = -i*q, -2*q = -5*d + 290. Is 16 a factor of d?
False
Let r(f) = 799 - 796 + 3*f + f**3 - 5*f**2 - 3*f**3. Suppose 3*u = -m + 8, 4*u - 18 = 3*m + 10. Does 18 divide r(m)?
False
Let a(m) = -m**2 - 6*m - 1. Let j = 21 + -17. Suppose 4*u - j = 5*u. Is a(u) a multiple of 4?
False
Does 20 divide 17/((-170)/(-2190)) - (6 + -2)?
False
Let x = -21 - -81. Suppose -x = -3*v + 2*v. Is 12 a factor of v?
True
Suppose 3*u - 562 = 3*g - 106, u - 2*g - 156 = 0. Does 37 divide u?
True
Suppose 5*r + 0 = 4*v + 27, 4*r - 5*v - 27 = 0. Let t(x) = x**3 + 7 - 2*x**r - 4*x**2 - 3 + 3 + 6*x. Does 16 divide t(-6)?
False
Let f = -424 + 458. Is f a multiple of 34?
True
Suppose 2*w + 98 = k, 4*k + 5*w + 0*w - 392 = 0. Suppose 2*s = 2*i - 104, -i + k = i + s. Is i a multiple of 21?
False
Suppose 142*k - 3780 = 135*k. Is k a multiple of 20?
True
Suppose -9*s = -13*s + 3*y + 807, 0 = 3*s + y - 615. Is 12 a factor of s?
True
Suppose 3*u - 3*q - 24 = 0, -u + 3 = q + 5. Suppose -u - 3 = -j. Does 4 divide j/10*(12 + -2)?
False
Let s = -175 - -158. Let w(l) = l**3 + 35. Let m be w(0). Let y = s + m. Is 3 a factor of y?
True
Let p = -45 + -37. Let o = 86 - 240. Let u = p - o. Does 20 divide u?
False
Let g = 6788 + -3493. Does 16 divide g?
False
Let u be -1 + -1 - (-3 + -36). Suppose -3*r = 2*t - u, -4*t + r + 75 = 6*r. Let d = 70 - t. Is 20 a factor of d?
False
Suppose 30 = 2*v + 3*v. Let s be 3 + (-3)/(-1) + -2. Suppose 5*r = -5, 2*r - v*r = -s*b + 224. Does 18 divide b?
False
Suppose -4*c - 4 = 0, -3*f = -2*c + 6*c - 272. Let s = 14 + -10. Suppose -f = -s*b + 84. Is b a multiple of 11?
True
Suppose 5*h - 135 = 155. Suppose 92 + h = -3*m. Does 7 divide 3/(1 - m/(-56))?
True
Suppose 0 = 5*k - 15, -5*c + 583 = -c + 5*k. Is 28 a factor of c?
False
Let o = 2 - -2. Suppose -o*r + 28 + 68 = 0. Is r a multiple of 6?
True
Suppose -h = -a - 259, -2*h - a + 900 - 376 = 0. Is 8 a factor of h?
False
Suppose 2129 - 401 = 12*y. Is y a multiple of 6?
True
Let f = 83 - 64. Suppose -9*o - f = -2377. Does 15 divide o?
False
Suppose 25*l = -4*l + 19894. Is 17 a factor of l?
False
Let t(h) be the second derivative of h**4/12 - 2*h**3/3 + 6*h**2 - 32*h + 1. Let g = 16 + -8. Is 22 a factor of t(g)?
True
Suppose -4*a = -4*k - 1 - 7, -3*a - 4*k - 1 = 0. Suppose -w + 3*t + a = 5*t, 0 = -3*w + 4*t + 13. Suppose 26 = w*p - p. Is 6 a factor of p?
False
Let x(c) = -2*c**3 + c + 1. Let p(w) = -w**3 + w. Let f(a) = -3*p(a) + x(a). Let l be f(2). Suppose 0 = -l*i + 2*j + 94, -4*j + 0 = -12. Is 10 a factor of i?
True
Suppose -3*m - 2 = 4*b, 3*m + 5 + 6 = 5*b. Let x = 425 + -411. Let v = b + x. Is 7 a factor of v?
False
Let l = 229 - 137. Let d = l + -39. Is d a multiple of 18?
False
Let m(c) = -112*c**3 - 3*c - 1. Is m(-1) a multiple of 4?
False
Does 96 divide (-41412)/(-30) - 1 - 36/(-60)?
False
Let t(j) = 20*j**2 - 13*j - 8. Let m be t(-7). Suppose 17*p - m = 1997. Is p a multiple of 20?
True
Suppose -5*k - 104 = -k. Let b(y) = 4*y - 1. Let u be b(10). Let i = k + u. Is i a multiple of 9?
False
Suppose 4*x + 2*a = 948, 0*x + 3*a = 2*x - 458. Is x a multiple of 25?
False
Suppose -5*l = -5*t + 1365 + 2425, 4*l = -4. Suppose 0 = -7*a + t + 755. Does 27 divide a?
True
Suppose -33*d + 8235 + 17604 = 0. Does 8 divide d?
False
Suppose 4*w + 97 = 17. Let v = w - -59. Suppose 2*p + 3*c = v, -p - 3*c = -6*p + 45. Is p a multiple of 5?
False
Let w(u) = -2*u - 19. Let z = 41 - 22. Suppose -r - 62 = 5*j, 2*j - 2*r + z = j. Does 2 divide w(j)?
False
Does 32 divide (8 + 25/(-3))*-1908?
False
L