divide c?
False
Let v = 887 + -692. Is 14 a factor of v?
False
Let u(d) = -d**3 + 6*d**2 - 4*d. Let a be u(6). Let y = 24 + a. Does 17 divide 68 + (y + -3)*1?
False
Suppose 2*y - 7 + 1 = 0. Let a be y/(33/(-12) - -2). Does 6 divide (-1)/(1*a/72)?
True
Let q = -45 + 50. Let w(r) = 2*r**2 - 3*r - 8. Is w(q) a multiple of 15?
False
Let s(j) = -j**2 - 17*j + 17. Suppose -27 - 5 = 2*v. Does 11 divide s(v)?
True
Is (-5 - -10 - 7) + 103 a multiple of 32?
False
Let b(d) = -14*d + 170. Is 17 a factor of b(-17)?
True
Suppose 0 = -4*h + 2*i + 670, -4*h - i + 505 = -h. Does 7 divide h?
True
Let f(q) = -7*q**2 - 7*q - 8. Let j be f(-5). Let s = j + 228. Is 16 a factor of s?
True
Suppose 4*c + 184 = -3*y, 8*c = 3*y + 3*c + 175. Let j = 28 - y. Is 15 a factor of j?
False
Let w(g) = 17*g - 35. Is 24 a factor of w(19)?
True
Let n be (-4)/18 - (-2384)/36. Let o = n + -28. Does 19 divide o?
True
Suppose 51*v = 11908 - 2728. Is 60 a factor of v?
True
Is 1096/(-4)*72/(-48) a multiple of 3?
True
Suppose -92*l + 101*l - 738 = 0. Is 41 a factor of l?
True
Suppose 26 + 51 = j. Let c = j + -29. Is 24 a factor of c?
True
Let m(j) be the first derivative of j**5/30 - j**4/12 - 2*j**3/3 - 3*j**2/2 - 8. Let t(a) be the second derivative of m(a). Is 4 a factor of t(3)?
True
Let n = 89 + -62. Let j = 5 - -58. Let m = j - n. Is m a multiple of 18?
True
Let c(k) = k + 2. Let y be c(3). Suppose 190 = y*s - 0. Suppose -125 = -5*u + 3*r, -r - r = u - s. Is 8 a factor of u?
False
Let o(z) = -z**2 - 7*z. Let f be o(-6). Let s(i) = -i**3 + 5*i**2 + 7*i - 6. Let q be s(f). Suppose -5*h + 162 + 88 = q. Does 16 divide h?
False
Let a = 11222 - 6635. Is 18 a factor of a?
False
Let b(h) = h**2 + 21*h + 20. Does 5 divide b(-37)?
False
Suppose -3 = -3*o, 2*f + 5*o - 106 + 15 = 0. Is 5 a factor of f?
False
Let g = 45 - 29. Suppose -g = 4*k + 4. Is (-1785)/(-75) - 1/k a multiple of 8?
True
Suppose 0 = p + 17 - 8. Let c(r) = -8*r**2 + 25*r + 29. Let u(g) = -2*g**2 + 6*g + 7. Let v(i) = p*u(i) + 2*c(i). Is 12 a factor of v(6)?
False
Let c = -17 - -17. Suppose c*f + 2*i = -f + 87, -3*f = 3*i - 246. Is 11 a factor of f?
True
Is 37 a factor of (42/(-4))/7 - 1113/(-6)?
False
Suppose -15*r + 495 = -0*r. Let y = r - -12. Is 13 a factor of y?
False
Suppose l - 16 = -3*l, -3*l + 4 = -4*p. Let u(w) = -w**3 + 4*w**2 - 2*w - 2. Let b be u(p). Suppose 15 = b*g - y, -g - 5*y - 20 = -0*g. Is 4 a factor of g?
False
Let o = -4 - -11. Let z be o/1 - 2/(-2). Suppose z + 17 = 5*d. Does 3 divide d?
False
Let b(y) be the third derivative of y**5/30 - 17*y**4/12 + 2*y**3 + 8*y**2. Is b(17) a multiple of 12?
True
Let d(h) = h**3 - 5*h**2 + 2*h + 61. Does 4 divide d(10)?
False
Let x(r) = 9*r**2 - r - 11. Let u be x(-7). Suppose -6*y - 89 + u = 0. Is y a multiple of 34?
False
Suppose 0 = 3*j - 4 - 17. Let r(u) = -u**3 + 7*u**2 + 3*u - 5. Let a be r(j). Is ((-30)/(-20))/(3/a) a multiple of 8?
True
Suppose 3*r + 4*w - 2 = -1, 37 = -5*r + 3*w. Let i(q) = q**3 + 9*q**2 - 3*q + 4. Let x be i(-9). Let c = x + r. Is c a multiple of 13?
True
Suppose 3*b - t - 141 - 119 = 0, -2*b + 168 = -2*t. Does 16 divide b?
False
Let d = 2645 - 905. Does 18 divide d?
False
Suppose 20 = 4*p - 4*a, -p + 2*p - 4*a - 20 = 0. Let b(l) be the second derivative of l**3/3 + 34*l**2 + l. Does 28 divide b(p)?
False
Let j(h) = h**2 - 5*h - 24. Let m be j(8). Suppose 8*b - 13*b + 280 = m. Is 7 a factor of b?
True
Let c(f) = 16*f - 7. Suppose w = -4*q + 7, 2*w + 4 - 3 = -3*q. Let d be c(q). Suppose 5*g + 3*z = d, -g - 2*z + 2 + 2 = 0. Is g a multiple of 10?
True
Suppose a = 6*a + 2*t - 20, 0 = 2*a - t - 8. Is 4 a factor of a?
True
Let m(p) = 3*p**2 + p + 5. Let a = -23 + 17. Is m(a) a multiple of 28?
False
Let i(k) = -k + 109. Is 10 a factor of i(28)?
False
Suppose -y = 4*t - 22 + 1, 5*t = 4*y. Let o be (-1 + 2)*(1 + t). Suppose -o*g - 2*j = -4*j - 280, -g = 3*j - 39. Is 18 a factor of g?
True
Let r(h) be the second derivative of h**5/20 + h**4/2 - h**3/6 + 5*h. Let l be r(-6). Does 4 divide 11 + l/3 + -1?
True
Let u(x) = 14*x. Let o be u(-13). Let a = o - -305. Suppose 4*i - a = -43. Is i a multiple of 9?
False
Let a be 6796/12 - 2/6. Does 9 divide a/4 - 32/(-64)?
False
Let v = 25 - -231. Is v a multiple of 8?
True
Let a be 2*(3*-26)/(-1). Let t = a + -72. Is 21 a factor of t?
True
Suppose 4*t - 11 = -3. Suppose -t*k - 99 - 152 = -3*b, 4*k - 20 = 0. Is b a multiple of 13?
False
Suppose -b = 3*b - 7*b. Suppose 5*c - 3*s - 112 = b, -c + 6*s + 28 = 4*s. Is 20 a factor of c?
True
Suppose -5*n = -5, -3*w + 3*n + 72 = 2*w. Suppose 336 = 5*z - 819. Suppose 6*u - z + w = 0. Does 9 divide u?
True
Let d(h) be the first derivative of h**4/4 - h**3/3 - h**2 + 29*h - 23. Let k(u) = -u**3 - 4*u**2 + 6*u + 5. Let g be k(-5). Is d(g) a multiple of 7?
False
Let n(j) be the first derivative of -1/4*j**4 + 7 + 3*j + 8/3*j**3 - 3/2*j**2. Is n(6) a multiple of 19?
True
Suppose 5*a - 2*k - 16 = 0, -2 + 0 = -3*a + 5*k. Suppose x + a*c = 64, 123 = 3*x - c - 17. Does 12 divide x?
True
Let j(r) = -r**2 - 10*r - 15. Let z be j(-7). Let m = 8 + z. Is 7 a factor of m?
True
Suppose -5*d + 2589 + 231 = 0. Suppose 4*h = 5*o - 8*o + d, o - 189 = -h. Is o a multiple of 32?
True
Let a = 6 + -8. Let t(f) = -f**2 - 2*f + 2. Let r be t(a). Suppose r*w - 133 = 61. Does 14 divide w?
False
Does 14 divide 14/(-4)*(264/(-8) - 7)?
True
Suppose 2348 = 2*j - 4*n, -4*j - 674 = -2*n - 5358. Is 65 a factor of j?
True
Suppose 2 = -k, 7*k = -5*v + 9*k + 319. Is 9 a factor of v?
True
Let s = 29 - 48. Suppose 4*r - 5*w - 152 = 0, 0*w = -4*r + 4*w + 148. Let x = r + s. Does 14 divide x?
True
Let q(k) = 2*k + 13. Let n be q(-5). Suppose -z - 4*h - 160 = -4*z, -n*h - 50 = -z. Does 14 divide z?
True
Suppose k + 30 = -2*k. Let y = k + 23. Let u = 23 + y. Is 18 a factor of u?
True
Suppose 5*l - 47 + 67 = 0. Let p(n) = -n**3 - n**2 + 2*n. Does 14 divide p(l)?
False
Let x(b) = 7*b + 434. Is 22 a factor of x(41)?
False
Suppose -4*l = w - 19, 0 = 3*l - w + 3*w - 18. Suppose -r - 2*m + 27 = 0, l*r - 4*m = r + 81. Is r a multiple of 4?
False
Let h be 20*(21/15 - 1). Let v be -4*((-182)/h)/(-7). Let o = 2 - v. Is o a multiple of 10?
False
Let a(s) = 17*s + 6. Let g(z) = 3*z**2 + 8*z + 16. Let d be g(-3). Is 23 a factor of a(d)?
False
Is 11 a factor of (-32)/10*8225/(-70)?
False
Let m = 1 - -1. Let z be m/(-9) - 1298/(-9). Let u = z + -84. Is u a multiple of 15?
True
Let s be (-4)/10 + (-6402)/(-55). Let l = s - 70. Suppose -4*w + 0*w + 2*m + 128 = 0, -w + 4*m = -l. Does 8 divide w?
False
Let u(z) = 2*z - 16. Let a be u(9). Suppose -4*p + 178 + 96 = -q, 0 = a*p + q - 140. Is p a multiple of 23?
True
Suppose -28*m - 1416 = -40*m. Is m a multiple of 2?
True
Let o(c) be the first derivative of c**7/168 - c**5/120 - 7*c**3/3 - 2. Let l(v) be the third derivative of o(v). Is l(1) a multiple of 4?
True
Suppose -13*p = -17*p + 320. Suppose p = 2*a + 2*t, t - 4 = -8. Is 22 a factor of a?
True
Let g(z) = z + 19. Suppose -3*s + 48 = 2*f, -f + 25 = 2*s - 2*f. Does 4 divide g(s)?
False
Suppose -2*h = x - 0*x - 502, -h + 254 = -x. Is 26 a factor of h?
False
Let h(k) = 16. Let d(u) = u. Let f(q) = -4*d(q) - 2*h(q). Is 4 a factor of f(-11)?
True
Let o = 14 - 10. Suppose 0 = o*y - 4*n - 672, 13*n = -4*y + 15*n + 682. Does 31 divide y?
False
Suppose -2*x = -4*p - 1172, -3*p + 2924 = 5*x - 7*p. Is x a multiple of 14?
False
Let q(f) = -1552*f**3 + 3*f**2 - 2*f - 4. Does 14 divide q(-1)?
False
Suppose 0 = -2*g + 201 + 343. Is g a multiple of 11?
False
Let r(d) = -d**3 + 13*d**2 + 24*d - 70. Is 17 a factor of r(14)?
False
Let k = 1756 - 1090. Let x = -392 + k. Is 25 a factor of x?
False
Let k = -1512 + 2368. Is 8 a factor of k?
True
Let c be (-670)/20 + 6/4. Let f = 24 - c. Is f a multiple of 8?
True
Suppose 0 = 2*c, -12 = -2*p + c - 0*c. Let s(x) = 2*x**2 - 3*x. Let q be s(2). Suppose -q*j + 50 = -p. Is j a multiple of 6?
False
Let j(l) = -17*l + 14*l - l + 5. Let q(k) = 3*k. Let f be q(-3). Does 20 divide j(f)?
False
Let u(n) = -2*n**2 + 33*n - 52. Let r be u(15). Is 76/((-2)/r*7) a multiple of 9?
False
Let a be 2/(-6) + 1070/6. Suppose 0 = 2*t - 22 - a. Is 20 a factor of t?
True
Let z = -775 + 1782. Is z a multiple of 6?
False
Let z(n) = n**3 - 11*n**2 - 10*n - 15. Let b be z(12). Suppose b*o = 7*o + 30. Is 5 a factor of o?
True
L