 h a multiple of 10?
True
Let k = -11 + 120. Suppose -3*a + 5*u = 14 - 109, 5*a + 4*u = k. Is 6 a factor of a?
False
Suppose -4 = 5*o - 14, z = 3*o + 258. Let n(m) = -33*m - 29. Let w be n(-1). Suppose -w*f + 0*f + z = 0. Does 27 divide f?
False
Let m be 2/(2/(-42)*2). Let o be 57/m - 4/14. Let n = o - -6. Does 3 divide n?
True
Let q(m) = -m**3 - 7*m**2 - 2*m + 10. Suppose 0 = -5*h + 2*n - 14 - 15, 29 = -2*h - 5*n. Does 4 divide q(h)?
True
Suppose 6*o - 3*s - 21 = 3*o, -2*o = -5*s + 1. Is o a multiple of 2?
True
Let a = -106 + 114. Let n(r) be the second derivative of -r**3/6 + 12*r**2 + r. Does 16 divide n(a)?
True
Suppose -5*d + 1687 = 4*g, 976 = 5*d + 2*g - 705. Is d a multiple of 12?
False
Suppose -3*c - 14 = -5*n + 4, 8 = n - 5*c. Suppose n*j - 400 = -4*x - j, 0 = 5*j + 5. Does 22 divide x?
False
Let t(x) = -16*x - 1. Suppose -5*r + 4 = 14. Let d be t(r). Suppose d = o - 0. Is o a multiple of 19?
False
Does 17 divide (8/(-5))/((-3 + -4)/700)?
False
Let d = 585 + -214. Does 20 divide d?
False
Let s = -66 + 68. Suppose -28 = -2*o - 2*a + 42, 3*o + s*a = 104. Is o even?
True
Suppose 1 = 5*i - 3*f, i + 4*f - 17 = -f. Suppose 0 = l - h - i, -l + 4*h = -0*l + 10. Is l a multiple of 6?
True
Suppose 0 = 3*z - 6*z + 2*c - 16, 2*c - 24 = 5*z. Let y be z/10 + 6345/(-75). Let f = 2 - y. Is f a multiple of 23?
False
Let o(x) = -x**2 + 58*x + 56. Is o(56) a multiple of 8?
True
Suppose 4*q - 19 = -5*d + 87, 5*q = 20. Suppose 15 = 3*k - 0. Let i = d + k. Is 12 a factor of i?
False
Suppose -994 = -2*q + 2*n, -3*n + n + 1970 = 4*q. Does 26 divide q?
True
Suppose -3*k + 105 = -21. Does 2 divide k?
True
Let r = 59 + -66. Does 13 divide (39/(-6))/(r/126)?
True
Is 4/(-10) + ((-37368)/30)/(-9) a multiple of 23?
True
Let p(z) = z**2 - 21. Let c be p(-7). Does 5 divide 3/(-7) - (-572)/c?
True
Let a(w) = -w**2 - 21*w - 6. Let g = -21 - -23. Let b = -13 - g. Does 14 divide a(b)?
True
Let u(h) = 63*h**3. Let i be u(1). Let c = i - 169. Is 11 a factor of (c/(-4))/((-2)/(-4))?
False
Let m(g) = g**2 + 6*g - 3. Let k be 16/(-8)*7/2. Let d be m(k). Suppose -2*j - 5*q = -105, -q = -d*j - 0*q + 199. Is j a multiple of 10?
True
Suppose -4*o = d - 134, -3*d + 449 - 107 = -3*o. Is d a multiple of 3?
False
Let w be (-42)/9 + (-2)/(-3). Let p be 3 + 1/(w/(-8)). Suppose b + 58 = 2*l + 3*b, 15 = p*b. Does 13 divide l?
True
Let w = 56 + -37. Suppose 5*f = -2*x - w, 5*f = x - 0*x - 28. Suppose x*o - 5*o = -32. Does 8 divide o?
True
Suppose 2*v + a = 793, -3*v = -v - 3*a - 805. Does 20 divide v?
False
Let y(h) = 4*h**2 + 11*h + 13. Suppose 36 = -4*x - 2*x. Does 13 divide y(x)?
True
Let w(f) = -5*f + 31. Let v(s) = s. Let m(j) = 2*v(j) + w(j). Is 9 a factor of m(-7)?
False
Suppose 4*a - 45 = 3*a. Suppose 1337 - a = 4*i. Suppose -5*x - 4*u = -i, x - 5*x - u = -265. Is 22 a factor of x?
False
Suppose -3*s - s - 152 = -t, 4*t = -4*s + 688. Let d = t - 48. Is 40 a factor of d?
True
Let b(r) = -8*r**3 - 3*r**2 + 3 + 4*r + 2*r**3 + 4*r**3. Suppose q + 2*q - 4*i = -17, 0 = q + i + 1. Is b(q) a multiple of 10?
False
Let y be ((-9)/27)/(2/(-48)). Suppose 5 = -4*j + f + 1, -2*f + y = 0. Suppose -2*n + 14 = -j*n. Is 5 a factor of n?
False
Suppose o + 3 = 2*o. Let c be (o/(-6))/(2/(-8)). Suppose 0*v - 40 = -c*v. Is 15 a factor of v?
False
Suppose 5*n = 43 + 127. Suppose a - 100 = -n. Is 9 a factor of a?
False
Let f(a) = 144*a**2 - a + 1. Suppose 2*c = -2*c + 4. Let j be f(c). Suppose 5*n - j = 2*n. Is n a multiple of 15?
False
Suppose -3*u + 4*d - 28 = 5*d, 3*d = 2*u + 37. Let f = u + 54. Is 4 a factor of f?
False
Suppose x + 2*k = 74, -3*x + 230 = -0*k - 2*k. Suppose -4*g + 4*t + x = 0, -12 + 44 = 2*g + t. Is g a multiple of 3?
False
Let p(d) = 2*d**2 + 3*d - 3. Let t be p(-3). Suppose t*y - 10 = 14. Suppose 7 = -y*f + 23. Does 2 divide f?
True
Let q be (-56)/(-20)*(2 + -12). Let y = q - -47. Suppose -5*p = -114 + y. Is p a multiple of 12?
False
Let v(g) = g**2 - 2*g - 1. Let i be v(2). Let k = i - -97. Suppose 9*x - k = 5*x. Is 8 a factor of x?
True
Let s be (-2)/((-32)/212)*4. Suppose -3*l = -46 - s. Is 20 a factor of l?
False
Let g(n) = n**2 + 10*n. Let t be g(-7). Does 25 divide (t/9)/((-5)/105)?
False
Let v(w) = 3*w**2 + 4*w. Let u(z) = -z**2 - z. Let t(n) = -7*u(n) - 2*v(n). Suppose 2*y + 0 - 6 = 0. Is 6 a factor of t(y)?
True
Let t(x) = x**2 + 20*x - 14. Let u be t(-21). Let d = u - 162. Does 13 divide 1/(d/78 - -2)?
True
Let a = 276 + 226. Does 6 divide a?
False
Let u(d) = -d**3 + 5*d**2 - 2*d - 2. Let i be u(4). Is (2 - i) + 68 + 1 a multiple of 11?
False
Suppose 0 = -2*j - 3*v + 31, 5*j - 7 - 13 = 4*v. Suppose 6*c = j*c. Suppose c = 5*o - 82 - 23. Is 21 a factor of o?
True
Suppose -3*s - 3*j = -927, -2*s - 5*j + 2*j = -623. Suppose 3*m - s = 4*x - 22, 4*x - 168 = -2*m. Suppose -25 + m = 5*k. Is k a multiple of 13?
True
Let z = 941 - 855. Is 2 a factor of z?
True
Let x(r) = -r**2 + 28*r + 26. Does 11 divide x(23)?
False
Suppose 4*g + 14*w - 171 = 9*w, 0 = -g + w + 54. Is 7 a factor of g?
True
Suppose 3*s = 2*f - 0*f - 7, 5*s + 7 = f. Suppose 3*o = 3*n - 78, 5*o = 4*n + f*o - 101. Does 9 divide n?
False
Let l(k) be the second derivative of k**7/2520 - k**5/20 + k**4/3 - 4*k. Let q(b) be the third derivative of l(b). Is q(6) a multiple of 14?
False
Let v = 1679 - 1053. Is v a multiple of 4?
False
Let r(m) = 3*m - 2. Let o be r(5). Let b = o + -11. Suppose 0 = -d + 4, -3*d = -b*x - 4*d + 46. Is 7 a factor of x?
True
Let t(c) be the third derivative of c**6/120 - c**5/15 + c**4/24 + 5*c**3/6 + 4*c**2. Suppose -7 = -7*l + 21. Is 3 a factor of t(l)?
True
Let n(j) be the second derivative of -j**4/12 + 7*j**3/3 - 5*j**2 - 2*j. Suppose s = -s - 6, 3*g - 36 = 4*s. Is 19 a factor of n(g)?
True
Let t be (-2)/(((-2)/(-12))/((-5)/20)). Suppose 4*d - d - 375 = -4*z, 195 = 2*z + t*d. Does 15 divide z?
True
Suppose -4 = 4*f - 24. Suppose 0 = -3*q + 5*a + 96, -2*a + 21 = -5*q + 162. Suppose -4*h + f*h - q = 0. Is 9 a factor of h?
True
Suppose -22 = -7*n + 8*n. Let f(t) = t**2 + 16*t - 48. Is 19 a factor of f(n)?
False
Suppose 0 = -4*p + 9 + 11. Let o = 10 - p. Suppose 6*f - 3*h = f + 275, -o*h + 27 = f. Is 16 a factor of f?
False
Suppose 5*v - 4*k = -6*k + 140, k = -5*v + 140. Let l be (-90)/14 - 16/v. Does 16 divide l - -59 - (-2 - -6)?
True
Suppose 9*x - 4*x = 110. Is x a multiple of 11?
True
Suppose 0 = -5*c + 3*c + 4. Suppose -3*b + 15 = 0, -4*d - 8 = -3*d + c*b. Let v = -2 - d. Does 6 divide v?
False
Let l = 17 + -1. Suppose 25 = 5*n + 3*w, 0 = n + 5*w - l - 11. Suppose -t = -n*t + 52. Does 14 divide t?
False
Let r be -3*-3*3/27. Let i = 3 - r. Is 10 a factor of (-3)/i*160/(-12)?
True
Suppose n + i - 11 = 0, n = -n + 4*i - 8. Suppose 8 = -4*u, 2*a - 3*u = n*a - 70. Is a a multiple of 19?
True
Suppose 5*p = -5*v, 14 = 2*v + v - 4*p. Suppose 181 = 5*l - 4*f - 104, -v*f = 0. Does 11 divide l?
False
Let c = -1467 + 2655. Is 18 a factor of c?
True
Let r = -112 - -1621. Is 22 a factor of r?
False
Let q = 423 - -281. Does 7 divide q?
False
Suppose -8945 = -20*v - 305. Is 8 a factor of v?
True
Let l be (-130)/(-3) + (-12)/9. Let f be 0/8*(0 + 1). Suppose f = m - 2, l = 2*v - 5*m - 20. Is v a multiple of 25?
False
Let j(s) = s**3 - 7*s**2 + 7*s + 6. Suppose 5*f - 47 = -3*q, -2*q + 12 = 4*f - 6*q. Does 11 divide j(f)?
True
Let b = -77 + 79. Suppose -b = 10*q - 302. Does 12 divide q?
False
Let f(z) = z**3 - z**2 + 1. Let t(q) = -3*q**3 + 2*q**2 - 3*q + 2. Let s(v) = -4*f(v) - t(v). Let k be s(4). Let l = 51 + k. Does 7 divide l?
False
Let x(d) = -d**3 + 10*d**2 - 9*d + 5. Let o be x(9). Suppose 16 = o*f - f. Suppose 18 = f*m - 3*m. Is 5 a factor of m?
False
Let l(j) be the third derivative of -j**5/60 + 7*j**4/12 - j**3/2 + 5*j**2. Let u be l(14). Is (u + 10)*(-1 - -6) a multiple of 7?
True
Let z be -1 + ((-15)/5 - 31). Let d = 1 - z. Does 6 divide d?
True
Suppose -5 = -h - 83. Let t = -27 - h. Is 17 a factor of t?
True
Suppose 4*j + 276 = 4*p - j, -3*j = 5*p - 308. Is 2 a factor of 18*(p/(-12))/(-4)?
True
Suppose -3*f - 12 + 3 = 0. Does 7 divide (-7 - (-18 + f))/(2/17)?
True
Let r = -17 + 22. Suppose -2*u + r*c = -15, -u + 14 = -2*c + 4. Suppose u = -4*i + 6*i. Is 2 a factor of i?
True
Let f(p) = 3*p**3 - 2*p**2 + 5*p - 6. Let q(x) = 5*x**3 - 4*x**2 + 9*x - 12. Let a(j) = -7*f(j) + 4*q(j). Is a(-5) a m