(8/(-10))/2 - h/5 a multiple of 6?
True
Let o(f) = -f**2 + 17*f - 21. Let d be o(15). Let s = d + 6. Is 11 a factor of 2/(-6) + 605/s?
False
Let r(q) = -2*q - 2. Let l be r(-4). Suppose 6 = l*f - 3*f. Suppose -f*s + 7*s = 40. Is 8 a factor of s?
True
Suppose -61 = -q + 4*m, -5*q + 2*q = -m - 172. Is 24 a factor of q?
False
Suppose -p = -13 + 8. Suppose 4*k - 200 = -4*z, 2*k = p*z - 28 + 142. Does 13 divide k?
True
Let f(g) = -15*g - 5. Does 20 divide f(-3)?
True
Let d(s) = -3*s - 6. Suppose 0*j - 2*j = i + 7, 0 = 3*i - 3*j + 30. Does 8 divide d(i)?
False
Suppose -u + n = 3*n - 12, -11 = -u - 3*n. Let l = -10 + u. Is 2 a factor of l?
True
Let u = 39 + -34. Suppose 2*v + 2*x - 148 = 0, u*v + 2*x = 448 - 78. Does 12 divide v?
False
Let r(w) = 130*w**3 + w. Does 14 divide r(1)?
False
Suppose 40*k - 90096 + 3736 = 0. Does 13 divide k?
False
Let k(v) = -v**3 - 6*v**2 + 8*v + 9. Let a be k(-7). Is (-1)/(12/(-66))*a*13 a multiple of 13?
True
Suppose -1505 = -5*f + 1155. Is 38 a factor of f?
True
Let o(y) = 6*y**2 + 3*y - 7. Let s be o(3). Suppose -4*l = 2*p - s, 4*p - 128 + 0 = -4*l. Is p a multiple of 15?
False
Let k(f) = f**2 + 8*f + 3. Let c be k(-8). Let l(w) = 12*w**2 - 7*w + 1. Does 8 divide l(c)?
True
Let h(w) = -18*w - 1. Let a be h(-2). Let g(n) = n**3 - 2*n**2 - n - 1. Let l be g(0). Let r = a - l. Is r a multiple of 24?
False
Is 17 a factor of (372 - -23) + (-2 - 2)?
True
Let m(t) = t. Let g(x) be the second derivative of -25*x**4/12 - 4*x**3/3 + x**2/2 - 4*x. Let o(u) = -2*g(u) - 14*m(u). Does 25 divide o(1)?
True
Let h(p) = -4*p**2 + 2 + 6*p**2 - 4*p - 3*p**2 + 7*p. Let m be h(3). Is (-32)/(-10)*10/m a multiple of 8?
True
Suppose 3*t + 60 = -2*w + 219, -345 = -4*w + 3*t. Suppose 4*j = p - 2*p + 23, -3*p = -3*j - w. Is p a multiple of 15?
False
Let u = 629 + 258. Is 18 a factor of u?
False
Suppose 0 = -83*j + 46908 + 568. Is j a multiple of 4?
True
Suppose -5*i + 543 = 2*g - 1594, 0 = 2*g + 8. Is 48 a factor of i?
False
Let x(q) = 863*q**3 + 2*q - 1. Does 12 divide x(1)?
True
Let j(x) = x**3 - x**2 + 6. Let h be j(6). Suppose h = 2*l - 0*l. Let r = 154 - l. Does 19 divide r?
False
Let m(r) = 4*r**3 - 21*r**2 - 16*r + 15. Let c(b) = -b**3 + 4*b**2 + 3*b - 3. Let x(i) = -11*c(i) - 2*m(i). Is x(2) a multiple of 2?
False
Let k(r) = -r**2 + 1. Let t(s) = 4*s**2 - 3*s - 4. Let c = 11 + -8. Let a(d) = c*k(d) + t(d). Is 23 a factor of a(10)?
True
Suppose -15*v = 3*d - 14*v - 7453, v = -2. Does 71 divide d?
True
Let x(w) = -w**2 - 5*w + 1. Let s be x(-4). Suppose 4*u - 2*t = 4, -u - 4*u + s*t = 0. Suppose 94 = 3*y + u*p, -5*y + 3*p = -2*y - 69. Is y a multiple of 10?
False
Suppose 0 = 3*s - 729 - 1128. Does 42 divide s?
False
Let t(w) = -w**2 - 10*w - 8. Let q be t(-9). Let f(c) = 42*c**3 - 3*c + 20*c**3 + q + c. Does 9 divide f(1)?
False
Suppose -w + 5*g + 100 + 595 = 0, 0 = 5*w + 5*g - 3415. Is 52 a factor of w?
False
Let h(t) = t**2 - 7*t - 2. Let z be h(7). Let m be ((-6)/(-3) - -62) + z. Let p = 96 - m. Does 17 divide p?
True
Let i be (-18 - 2)*(-1)/(-2). Let u be ((-8)/i)/(6/(-645)). Does 17 divide (2 - 0) + u/(-2)?
False
Let t be (-6)/(-15) - (-424)/(-10). Let g(q) = q**3 + 32*q**2 + 29*q + 36. Let r be g(-31). Let x = t + r. Is x a multiple of 9?
False
Let g(z) = 23*z**2 - 6*z + 3. Does 20 divide g(-6)?
False
Let f(k) = -k**2 - 12*k - 3. Let q(o) = -3*o**2 + o + 3. Suppose -p - 5 = -t, p = -3*p - 5*t + 7. Let v be q(p). Does 3 divide f(v)?
False
Let u be 8/1*(-12 - -14). Let c(x) = 3*x - 18. Is 15 a factor of c(u)?
True
Let w(k) = -k**3 - 5*k**2 - k + 3. Let v be w(-4). Does 34 divide (v/1)/(((-14)/(-77))/(-2))?
False
Let f be 5*((-48)/(-5))/3. Does 16 divide -6 + 6 + 3*f?
True
Suppose 2*n = -n - 189. Suppose 4*i - 50 = -410. Let a = n - i. Is a a multiple of 11?
False
Suppose b = 5*d - 24, d - 12 = -2*d. Let w(h) = -11*h - 5. Let q be w(-3). Let g = b + q. Is g a multiple of 12?
True
Is 13 a factor of ((-1027)/(-5))/(26/5 + -5)?
True
Let w = 157 - -181. Is 15 a factor of w?
False
Let r(k) = -k**3 + 5 - 3 - k**2 - 2*k**2 - 5*k. Let f = -55 + 51. Is r(f) a multiple of 19?
True
Let d be (-120 + 2)*(-5)/15*3. Suppose -m = 4*m - 20. Suppose a - 55 = 4*t - 3, m*a = -2*t + d. Is 10 a factor of a?
False
Let t be (64/(-40))/(3/(-90)). Is (t/36)/((-4)/(-354)) a multiple of 6?
False
Suppose -2*z = -z - 98. Suppose -4*u + z = -90. Does 13 divide u?
False
Let d = -943 + 1111. Is 42 a factor of d?
True
Let g(c) = c**3 - 7*c**2 + c - 6. Let y be g(7). Let d(x) = x**2 - 2*x. Let p(t) = 4*t**2 - 7*t. Let z(l) = -21*d(l) + 6*p(l). Is 3 a factor of z(y)?
True
Let u = 102 - 62. Suppose -2*h + u = -8. Does 24 divide h?
True
Suppose -89*y + 178117 = -50168. Is y a multiple of 20?
False
Suppose -5*v - 74 = 2*s + 2*s, -s + 4 = 0. Let n = 35 + v. Suppose -44 = -5*t + 2*j + j, 0 = 2*t - j - n. Does 3 divide t?
False
Suppose -2*t = -5*t. Suppose 0 = g + g + r - 328, -5*g + 5*r + 850 = t. Let i = g + -116. Is 13 a factor of i?
False
Let q = 67 + -132. Let h = -35 - q. Is h a multiple of 18?
False
Suppose l - 1173 = -4*u - 0*u, 4*l = 5*u - 1482. Does 11 divide u?
False
Let g(k) = 49*k - 66. Is g(3) a multiple of 2?
False
Suppose 1961 + 679 = 11*z. Is (-5 - 44/(-8))/(1/z) a multiple of 12?
True
Let j = -812 + 1259. Does 75 divide j?
False
Let a(w) = w**3 + 7*w**2 + w - 14. Suppose 2*y + 22 = -5*m + 2*m, -3*y = m + 12. Is 8 a factor of a(m)?
True
Suppose 2*o + 4 = v + 58, 3*v = 4*o - 170. Let x = -17 - v. Does 5 divide x?
True
Let t(w) be the first derivative of -w**4/4 + 3*w**3 + 4*w**2 - 14*w + 4. Is 23 a factor of t(6)?
False
Let p be 4/(-7)*(-196)/8. Let d be (4 + 0)/(2/p). Suppose i - 3 = 0, 56 + d = 3*o - 2*i. Does 7 divide o?
False
Let n = 227 + -101. Is n a multiple of 42?
True
Let w(a) = 3*a**3 - 4*a**2 + 10*a - 8. Is w(5) a multiple of 12?
False
Let f = 34 + -62. Let y be 1/3 - f/6. Suppose 5*l = -0*k - y*k + 310, -4*k = 3*l - 250. Is k a multiple of 19?
False
Let z = 364 + 35. Suppose 7*u + 0*u = z. Does 23 divide u?
False
Let z = 61 + -13. Suppose -u = u - z. Is 6 a factor of u?
True
Let a(i) = 45*i + 40. Let x be a(4). Let s = 436 - x. Is 18 a factor of s?
True
Let r = 1234 - 134. Is 57 a factor of r?
False
Let u(m) = -m**3 + 2*m - 2. Let g be u(2). Let i be (0 + 2 + g)*-16. Suppose 3*y = 5*s - 0*y - i, 4*s - 38 = -2*y. Is s a multiple of 11?
True
Let o be (-2)/3 - (-496)/6. Suppose 3*t = -20 - o. Is 15 a factor of -2 - ((-4)/(-2) + t)?
True
Let w(p) = p**2 - 5*p + 2. Let g be w(5). Suppose g*r - r + 1 = 0. Does 15 divide (2 - r)*(14 - -1)?
True
Suppose -4*y + 4*z + 270 = z, -4*y + 2*z + 268 = 0. Is y a multiple of 22?
True
Let v(f) = 2*f. Let h be v(2). Suppose -12 = -4*r + h. Suppose r*n - 3*i - 54 = 131, -85 = -2*n + 3*i. Does 25 divide n?
True
Let l(b) = -2*b + 17. Let i be l(6). Suppose -5*y + i*s + 100 = 0, 0 = 5*s + 2 + 3. Is 19 a factor of y?
True
Let n = 276 + -144. Is (n/(-48))/((3 - 1)/(-8)) a multiple of 6?
False
Let y be (-1)/3 + 70/21. Let n(a) = y - 5 + 7 + 2*a. Does 4 divide n(5)?
False
Let l = 7 - 3. Suppose 0 - 2 = -l*v - 3*j, -16 = -4*v + 4*j. Suppose 4*z = 10 - v. Does 2 divide z?
True
Suppose -5*c = -2465 - 7290. Does 16 divide c?
False
Suppose -22*n - 4 = -24*n. Suppose -v - 4*a = -12, -v - a - 7 = -n*v. Suppose 5*r = 0, 3*r + v - 41 = -g. Does 11 divide g?
True
Suppose 28 - 1348 = 4*l. Does 11 divide ((-5)/15)/(5/l)?
True
Suppose 3*s + 0*s = b + 11, 3*b = 3. Suppose -s*w + 0*d + 17 = -d, -2*w - 19 = 5*d. Suppose -10 + 64 = w*n - 2*o, 4*o = -12. Does 16 divide n?
True
Let b be (3 - -3)*(1 + 0). Does 4 divide (4/2 - 17)/((-2)/b)?
False
Let b = 189 - 310. Let z = 49 - b. Is z a multiple of 25?
False
Suppose 13*j + 3751 = 10511. Is j a multiple of 13?
True
Let z = 7 + -5. Let s = 139 + -135. Suppose -z*p + s*q + q = -112, -280 = -5*p - 2*q. Does 28 divide p?
True
Let l = 460 + -311. Let x = l + 24. Is 25 a factor of x?
False
Is 3863/3 + -3*(-1)/9 a multiple of 92?
True
Suppose 0 = n - m - 0*m - 6, 0 = 4*n - 5*m - 24. Let z(u) be the first derivative of 3*u**2/2 - 44. Is z(n) a multiple of 6?
True
Suppose 48 = -4*z + 12*z. Suppose -k = z*k - 812. Is 11 a factor of k?
False
Let y = -122 - -217. Suppose -2*j - 139 - 119 = 4*a, -5*j + 70 = -a. Let m = y + a. Is 11 a factor of m?
False
Suppose -2*h + 4*m + 12 = -4, 0 = h + 3*m + 17. Let c