e -7 + 7122/36 - (-10)/(-12)?
False
Suppose 4*w + w = 25. Suppose w = -10*v + 1365. Is v a multiple of 17?
True
Let w(k) = -11*k - 8. Let c(o) = o + 6. Let h be c(-10). Is 4 a factor of w(h)?
True
Let d be 70/245 + (-12)/(-7). Suppose 0 = -d*o + 6, -19*v - o + 723 = -14*v. Is 8 a factor of v?
True
Suppose -q + 11 = -5*d - 6, -3*q + 87 = 3*d. Is 17 a factor of 0 + 3 - q*-2?
False
Let v(a) = a**3 - a**2 - 8*a + 10. Let p be v(6). Let h = p - 95. Is 5 a factor of h?
False
Suppose -7*b = -2*b - 20. Suppose -4*p + b = -96. Is 5 a factor of p?
True
Let f(x) = -32*x - 3. Let a be f(-2). Let g(z) = -2*z**3 + z**2 + 3*z + 3. Let i be g(-2). Let w = a - i. Does 11 divide w?
True
Is 23 a factor of 15/(-40) + 139419/72?
False
Let q = -423 + 730. Does 3 divide q?
False
Let f(b) be the third derivative of b**8/10080 - b**7/1680 - b**6/720 - b**5/20 + b**2. Let h(o) be the third derivative of f(o). Does 6 divide h(4)?
False
Let d(v) = -v**3 + 11*v**2 - 12*v + 19. Let f be d(10). Is (f/(-4))/((-7)/(-84)) even?
False
Let r = -21 + 25. Suppose -4*p - v + 232 = 0, 3*p = -r*v + 2*v + 179. Is 9 a factor of p?
False
Let o(h) = 110*h**2 - 3*h + 1. Is o(1) a multiple of 36?
True
Suppose 18 = 2*w - 0*w + 3*p, 0 = -p - 4. Suppose 5*l = 5*o - w, 3*l - 3*o = l - 9. Suppose -v - 5 = -0*y + 5*y, -v - y + 7 = l. Does 3 divide v?
False
Let r(m) be the third derivative of -5*m**4/4 + 4*m**2. Let x be r(-6). Suppose 0*h - 2*h = -x. Is h a multiple of 28?
False
Suppose 4*p + 327 = -s + 1401, 0 = p + s - 270. Suppose -7*x = -3*x - p. Does 9 divide x?
False
Suppose 0 = 5*n + 4*l - 7, 0*l + 16 = 4*n - 2*l. Suppose -h = -3*m + 6 - 46, 5*m = -n*h + 120. Does 10 divide h?
True
Suppose 14 = 5*a + 59. Let b be (1 - 2) + (a - -33). Suppose -3*x + 166 = -b. Does 21 divide x?
True
Let w = -484 - -1012. Does 66 divide w?
True
Let r be 1 - 176 - (1 - 2). Suppose -2*n - 236 = 3*q, -4*n + 4*q = n + 613. Let s = n - r. Does 19 divide s?
False
Suppose 7*f - 569 = 866. Let t = f - 124. Does 9 divide t?
True
Let a(y) = -49*y - 364. Is a(-40) a multiple of 76?
True
Let t = -2803 + 8707. Is 24 a factor of t?
True
Let i = -22 - -23. Let r be (-394)/(-5) - i/(-5). Let v = -50 + r. Is v a multiple of 14?
False
Suppose -2*i + 1 = -2*m + 9, 4*i - 8 = -2*m. Suppose -m*f = -0*f - 900. Suppose -z + 2*c + 86 = 0, 3*z - 6*z + f = 5*c. Does 19 divide z?
False
Suppose -3*o + 1 = -8, -4*a + 4*o + 4 = 0. Suppose a*p = 480 + 544. Suppose -8*m = -4*m - p. Does 13 divide m?
False
Let z(i) = -3*i**2 + 2*i + 12. Let u(m) = -5*m - 9. Let j be u(-3). Let q be z(j). Let s = -42 - q. Is 11 a factor of s?
False
Suppose -5*x + 18 + 7 = 0. Suppose 0*n = x*n - 90. Suppose 0 = -2*g + g + n. Is g a multiple of 9?
True
Suppose 3*u + 5*l = -33, -5*u + l = -0*u + 27. Let b = u - -14. Suppose -4*d - 2*x = -72, 0 = x - b + 4. Is 7 a factor of d?
False
Let q(t) = 2390*t**2 - 21*t - 2. Does 11 divide q(-1)?
True
Let f be (7/2)/(2/4). Suppose -f*s + 25 = -2*s. Let r = 22 - s. Is r a multiple of 5?
False
Suppose -2*b = 11 - 7. Is 1/b*-246*3/3 a multiple of 29?
False
Let i(h) = -h**3 - 2*h**2 + 7*h + 5. Let q be i(-3). Is 12 a factor of -4 - 2584/(-14) - (-4)/q?
True
Suppose -11*u = -2*u - 3402. Suppose 2*l = -5*s - 80 + u, -314 = -2*l - s. Is 12 a factor of l?
False
Let a(l) = 2*l**2 - 12*l + 5. Let t be a(8). Let q = t + -4. Let x = 48 - q. Is 15 a factor of x?
True
Suppose 2*n = -n - 195. Let m(a) = -2*a**2 - a - 1. Let d be m(2). Let t = d - n. Is 34 a factor of t?
False
Suppose 2*i + 20 + 280 = 0. Does 7 divide (-1)/(1/i*3)?
False
Let y(f) = -48*f + 1192. Is y(-9) a multiple of 56?
True
Suppose -5*h = 5*r - 8120, -1600 = 16*h - 17*h + 5*r. Is h a multiple of 20?
True
Let p = -702 - -1030. Is 41 a factor of p?
True
Suppose 0 = 57*a - 41*a - 3888. Is 27 a factor of a?
True
Let m = 7 - -69. Is m a multiple of 3?
False
Let n = 1512 + -1069. Suppose -5*v + n = -112. Suppose v = 4*l - l. Does 13 divide l?
False
Let p be ((-1)/(-2))/(7026/(-3516) + 2). Suppose -2*x - 4*a - 6 = 0, 5*x + 0*a = -a + 12. Suppose -2*v - x*v = 2*l - p, 3*l = 5*v - 273. Does 21 divide v?
False
Let t(q) = -18*q + 29. Let z = -57 + 47. Is t(z) a multiple of 19?
True
Suppose 0 = 5*p - 2*v + 80, 0*p - 5*p + 4*v - 90 = 0. Let q be (p + 3)/(3/(-9)). Suppose 0 = -3*j - 0*j + q. Is 4 a factor of j?
False
Let d(h) = -h**3 - 2*h**2 + 3. Let s be d(-3). Is ((-24)/(-48))/(((-2)/(-1))/s) a multiple of 2?
False
Suppose 0 = 2*d + 5*s - 2605 - 1602, -d - 3*s = -2103. Is 26 a factor of d?
True
Suppose -3*q + 2*g = -2*g - 22, g = 3*q - 10. Suppose 3*p - 4*x - 5 = q, 0 = -2*p - 3*x + 16. Is 17 a factor of -1*p/(5/(-42))?
False
Let d = 23 + -13. Suppose -4*w + d = -2. Suppose w*v - 48 = -3. Is 5 a factor of v?
True
Let h(z) = -z**3 + 6*z**2 + 4*z + 46. Does 2 divide h(-5)?
False
Let u = 1139 - 2269. Let k be u/(-14) - 2/(-7). Let a = -49 + k. Is a a multiple of 16?
True
Let h be 1*(-24)/(-10)*2120/6. Suppose -798 + 120 = -4*y + 3*i, 5*y - 4*i = h. Does 56 divide y?
True
Let g(k) = 1 + 3*k**2 - 67 - 4*k**2. Let f be g(0). Is 1/(-6) - 935/f a multiple of 14?
True
Let h(x) = x**2 - 9*x + 9. Let i be h(8). Does 13 divide 2 + 24*i/1?
True
Suppose -3*m = -1 - 11. Is 49 + m + 0 + -4 a multiple of 32?
False
Suppose -3*z + 10 = 1. Suppose 0*s = o + 4*s + 10, 3*s + z = -3*o. Suppose -v = -o - 18. Does 10 divide v?
True
Let h(g) = g**2 - 19. Let a be h(0). Let s(q) = q + 61. Let n be s(-21). Let i = n + a. Is i a multiple of 7?
True
Let n(f) = 68*f**2 + f + 2. Suppose -3*w + 9 - 84 = 4*m, -4*m - 65 = w. Let x(b) = b + 14. Let y be x(m). Is n(y) a multiple of 30?
False
Let x = 81 + -48. Suppose 0 = -2*n + 7 + x. Does 5 divide n?
True
Let y(l) = l + 3. Let v(p) = -p**2 - 12*p - 14. Let b be v(-11). Let o be y(b). Suppose 5*t - 367 + 112 = o. Does 23 divide t?
False
Let v be ((-16)/(-10))/((-16)/(-40)). Let p be (-17)/(-5) - v/10. Suppose -p*o = 3*j - 24, -5*o + 22 = -j + 3*j. Does 3 divide j?
True
Does 21 divide ((-293)/6)/(4/(-312))?
False
Let t = -48 - -27. Let r be 5/(-10)*8 + -47. Let v = t - r. Is v a multiple of 30?
True
Let g(a) = 49*a - 131. Is g(9) a multiple of 31?
True
Let v = 19 + -13. Suppose 5*o + 635 = 5*q, o - v*o = 3*q - 389. Is 26 a factor of q?
False
Let j = -20 + 17. Is 32 a factor of (1/j)/(1/(-129))?
False
Is 28 a factor of (-4)/12 - (7 + (-12282)/18)?
False
Suppose -42 = -5*z + 9*z - 2*u, -9 = 3*u. Is ((-208)/6)/(1/(18/z)) a multiple of 13?
True
Let k(h) = 23*h + 19. Let v be k(11). Suppose -94 = -g + 3*r, 0*g = 3*g - 4*r - v. Is g a multiple of 13?
False
Let u = 22 - 20. Let d(n) = 3*n**u + 13 - 12 + 10*n - 4*n**2. Does 5 divide d(7)?
False
Suppose -8*i = -798 - 10. Does 8 divide i?
False
Suppose 3*a = 5*v - 4*v + 682, 3*a + 5*v - 694 = 0. Is a a multiple of 12?
True
Suppose -5*g - 2*o - 189 + 2473 = 0, g - 5*o - 446 = 0. Does 57 divide g?
True
Let k = 342 + -57. Is k a multiple of 19?
True
Suppose 3*l + 3*x = 0, 4*l + 0*x - 18 = 2*x. Suppose -3*d - 2*f - 163 = 0, l*d + 93 + 58 = 4*f. Let o = 67 - d. Is o a multiple of 30?
True
Does 7 divide (35/(-70))/((-2)/28)?
True
Let a = -3 - -1. Let c(r) = r**2. Let w be c(a). Suppose 8*m = w*m + 56. Is 7 a factor of m?
True
Suppose -39 = -4*f - 3*d, f = -2*f - 2*d + 30. Suppose f*v - 17*v = -295. Does 13 divide v?
False
Let f = 44 - 68. Let h be ((-4)/(-6))/((-5)/15). Does 8 divide f/((-2)/(-4)*h)?
True
Suppose 3*t = 4*x + 172, 0*x - 2*x + 244 = 4*t. Suppose -3*c = c - t. Suppose -c = -4*p + 3*p - m, 2*m - 18 = -p. Is p a multiple of 8?
False
Suppose 6*m - 576 = -3*m. Does 2 divide m?
True
Does 51 divide 7 + (-41680)/(-35) - 1/(-7)?
False
Suppose 4*t - 1984 = -3*f, -1487 = -4*t + t - 2*f. Is t a multiple of 53?
False
Let p(g) = g**3 - 9*g**2 - 10*g + 4. Let u be 9 - (-1)/(-1 + 2). Let y be p(u). Does 13 divide (-10)/y*130/(-25)?
True
Suppose 0 = 5*d - 8*b + 4*b - 14581, 3*b - 14588 = -5*d. Is d a multiple of 22?
False
Let s(u) = -4*u - 2. Let x(q) = -5*q - 3. Let f(z) = -7*s(z) + 6*x(z). Let c be f(-3). Is -1*(-1 + c)*-8 a multiple of 4?
True
Suppose -3*b = -0*b. Suppose -4*m - 5*f - 7 = b, 0 = -0*m + 2*m + 2*f + 2. Let p(q) = q**2 - 1. Is 2 a factor of p(m)?
False
Let s = -22 - -16. Let p(b) = -2*b**2 + b + 1. Let k(o) = 10*o**2 + 6*o - 7. Let i(x) = k(x) + 4*p(x). Is i(s) a multiple of 8?
False
Let l = 55 + -53. Does 19 div