se -z - 2 = -s*m. Is m a multiple of 3?
True
Is ((168/10)/4)/(1/5) a multiple of 7?
True
Let o(d) be the first derivative of 0*d - 1/3*d**3 - 2 + 4*d**2. Does 5 divide o(7)?
False
Let s(t) = -t**3 - t**2 + 4. Let a be s(0). Suppose a*q - 18 = 18. Is q a multiple of 9?
True
Let q = 2 + 1. Suppose 52 = q*u + u. Is 13 a factor of u?
True
Let z(s) = -2*s + 3. Let j(u) = -2*u + 2. Let b(v) = -2*j(v) + 3*z(v). Let n be b(4). Is 2 a factor of 20/15*n/(-2)?
True
Let b(y) = -3*y**2 - 8*y. Let d(t) = 4*t**2 + 8*t - 1. Let w(m) = 3*b(m) + 2*d(m). Let f be w(-8). Let z = f + 8. Does 2 divide z?
True
Let d = -2 + -1. Let c(h) = h + 3. Let y be c(d). Suppose y = -f - f + 16. Is 8 a factor of f?
True
Let m(i) = -i**3 + 6*i**2 + 5*i - 6. Let o be m(6). Let h = -1 + 6. Suppose h*b - 26 = o. Is 10 a factor of b?
True
Let b = 4 + 19. Does 23 divide b?
True
Let j = -102 - -72. Let l = 80 + j. Is l a multiple of 25?
True
Suppose 0 = -5*y + 3*y + 4. Does 11 divide 1 + y + 42 + -5?
False
Let z(n) be the third derivative of 7*n**5/60 - n**4/12 - n**3/2 - 3*n**2. Is 18 a factor of z(3)?
True
Suppose 0 = -n + 4*n - 18. Does 18 divide ((-6)/1)/(n/(-33))?
False
Let f be (-5 - -2)*(-26)/6. Suppose 130 = 5*b + 3*v, -b - v + f = -3*v. Does 23 divide b?
True
Let r be -1*1 - (-7 + 1). Let p = -14 + 16. Suppose p*f - r*f + 132 = 0. Is 18 a factor of f?
False
Suppose 2*w - t = 126, 2*w - 71 - 53 = 2*t. Does 16 divide w?
True
Let n(z) be the third derivative of z**5/60 - z**4/24 - 5*z**3/6 - 2*z**2. Does 11 divide n(6)?
False
Suppose -4*l = 4*r - 356, -3*r = -l + 47 + 38. Suppose -l = -v - v. Let p = v - 28. Is p a multiple of 12?
False
Is -1 - (-1*5)/(9/45) a multiple of 4?
True
Suppose -t + 30 = 5*t. Suppose 0 = 3*l + 5*q - 103 - 12, -4*l + 155 = t*q. Does 15 divide l?
False
Does 26 divide 61 - (-4 - -12 - 4)?
False
Suppose -3*r + 37 = 4*b - 133, 0 = -2*r - 5*b + 111. Suppose -5*z = 3*j - r, -7 + 49 = 2*j + 4*z. Let w = j - -15. Is w a multiple of 13?
True
Let w = -14 - -6. Let k = -15 - w. Let v = k - -15. Is 4 a factor of v?
True
Suppose -2*h + 80 = 5*v - 3*v, 0 = -4*h + 3*v + 146. Does 19 divide h?
True
Suppose 0*k = 2*k + 4*y - 88, -2*y + 194 = 4*k. Is k a multiple of 10?
True
Suppose 7 = 2*i - g, -g - 1 - 1 = -i. Suppose 14 = i*z - 2*m, 0 = 2*z + 4*m - 0*m - 20. Is (-1 - z)*27/(-15) a multiple of 4?
False
Suppose 5*x - 1 = 14. Suppose -92 = -x*c - c. Is c - (-3)/3*2 a multiple of 9?
False
Let w(u) be the second derivative of -1/2*u**2 + 0 + 17/12*u**4 + 4*u + 1/3*u**3. Is w(1) a multiple of 7?
False
Is 6 a factor of 6/(6 + -18) + (-165)/(-2)?
False
Suppose 0 = 4*t + 20, t = -5*a - t + 290. Does 12 divide a?
True
Let r(z) be the third derivative of z**5/10 + z**4/12 - z**3/3 + z**2. Let p be 18/(-8) - (-2)/8. Is 9 a factor of r(p)?
True
Let b = 583 + -870. Is b/(-28) + 6/8 a multiple of 9?
False
Suppose j - 415 = -0*a - 5*a, a + 4*j - 64 = 0. Does 26 divide a?
False
Suppose -12*h + 720 = -7*h. Is h a multiple of 18?
True
Is 2/(-5) - 585/(-25) a multiple of 9?
False
Suppose -30 = 5*u - 2*d, 4*d + 20 + 24 = -3*u. Let z = u + 20. Suppose 0 = n + 2*n - z. Is 2 a factor of n?
True
Let o = 3 + -3. Let h(u) = u + 6. Is 3 a factor of h(o)?
True
Is (46/(-10))/(1/(-5)) a multiple of 23?
True
Suppose -3*x + 65 = 5*i, x - i = -3*x + 102. Let q = x + 2. Does 9 divide q?
True
Suppose 0 = -2*c + c. Let z(t) = t**2 - t - 14. Let m be z(c). Is 8 a factor of (m/3)/((-4)/18)?
False
Let g be 2/(-4)*-34*9. Suppose 3*y - 5*a = 132, -3*y + g = -0*y + 2*a. Suppose 17 = t - 3*x, -5*t + 4*x + 14 = -y. Does 8 divide t?
False
Suppose -i + 5*i + 2*j = 6, -5*j + 26 = -i. Is 9/(-18)*(i + -29) a multiple of 15?
True
Is 10 a factor of (-14)/((-18)/8 + 2)?
False
Let j(p) be the second derivative of -3*p**3/2 + p**2/2 + 7*p. Is 19 a factor of j(-8)?
False
Suppose 12 = f - 10. Suppose 3*w - 9 = 2*d, 0 = 2*w + 3*w - d - f. Does 5 divide w?
True
Let s be -2 + (-1 - -3) + 1. Let b = 17 - 5. Let j = b - s. Is 9 a factor of j?
False
Is 31 a factor of (1 + 178/8)/((-6)/(-16))?
True
Is 11 a factor of (-186 + (-2 - 2))/3*-3?
False
Let h(w) = w + 4. Let v be 0 + -12*(-2)/3. Let k be h(v). Let x = k - 6. Does 4 divide x?
False
Suppose -3*a - 5*k + 49 = 0, 0*k - 5*k = -25. Let z = 3 + -2. Let b = a - z. Is b a multiple of 7?
True
Suppose -5*o + 17 = -2*k + 6*k, -5*o - 31 = -2*k. Is 8 a factor of k?
True
Let g = -64 + 415. Is g a multiple of 39?
True
Suppose -4*p + 19 = -3*n, 2*n = p - 6*p + 18. Suppose -a - 105 = -3*i + a, -i + p*a = -45. Is 11 a factor of i?
True
Let g(s) = 17*s + 2. Is 16 a factor of g(3)?
False
Let b(o) = o**3 - 6*o**2 + 5*o + 5. Let a be b(5). Suppose -g + a*u = -25, -4*g + u = -4 - 39. Does 5 divide g?
True
Let q be (-2)/(-5) + (-7)/5. Does 3 divide q/((3 - 5)/10)?
False
Let f(p) = p**3 + 20*p**2 - 48*p - 26. Is 15 a factor of f(-22)?
False
Let q = 8 + -4. Suppose -y + q*k = -24, 4*k = 6*k + 10. Does 2 divide y?
True
Let s be (2 - 1) + (-2)/(-1). Suppose -4*n + s + 13 = 0. Suppose 0 = n*u - 12, 3*b + 2*b - 3*u = 121. Is 26 a factor of b?
True
Suppose 4*v = 5*n + 232, v + n = 2*n + 58. Is 11 a factor of v?
False
Suppose -3*b = -6*b + 6. Suppose 4*u - u - b*o - 6 = 0, -4*u + 2*o = -10. Let g(c) = 2*c**2 - 7*c + 4. Is g(u) a multiple of 7?
False
Is 18 a factor of -2 + (-60)/9*-3?
True
Let d(t) = t**2 + 18*t - 13. Is 3 a factor of d(-19)?
True
Let b = 66 - 5. Suppose -3*k = j - 38, 2*j - b = -3*k + 6. Does 13 divide j?
False
Suppose -q + 137 = 3*f, -5*q + 685 = 2*f - 6*f. Does 27 divide q?
False
Suppose 5*l - 960 = -5*j, -l + 118 = -3*j - 86. Does 13 divide l?
True
Let v be 0 + -3 + -3 + 10. Is 12 a factor of (0 + v)*(-390)/(-40)?
False
Let k = -3 + 2. Let n(a) = 0*a - 2*a + 21*a**2 + a - 3*a**2. Is n(k) a multiple of 18?
False
Let b(u) = -6*u - 7. Let m be b(-6). Let k be (-13)/((-4)/(-16)*4). Let s = m + k. Does 7 divide s?
False
Let v be (-1512)/(-20) - (-4)/10. Let l = 48 + -10. Let s = v - l. Is 19 a factor of s?
True
Let f = -24 - -59. Suppose -5*d + f = 2*i + 3*i, 3*d + 4*i - 25 = 0. Suppose 3 = -d*p, 6*t = 2*t + 5*p + 97. Does 8 divide t?
False
Let o be ((-266)/(-21))/(2/3). Let c = o + -2. Does 17 divide c?
True
Let x = 672 + -457. Does 43 divide x?
True
Let t be ((-16)/10)/(14/(-105)). Let l = 24 - t. Does 6 divide l?
True
Let h = 51 - 9. Suppose -h = 5*m - 8*m. Is m a multiple of 7?
True
Suppose -g = -j + 39 - 144, 0 = 4*g + 2*j - 390. Does 35 divide g?
False
Let i = 6 - -3. Is 9 a factor of i?
True
Let v be (6/(-9))/(2/(-60)). Is 32/v*(-25)/(-2) a multiple of 10?
True
Suppose 0 = 2*y - 0*y + 4*h - 50, -2*y - 2*h + 44 = 0. Is 13 a factor of y?
False
Let b be 1/(-1)*18/(-9). Let t(l) = -12*l**3 - 2*l**2 + 12*l. Let a(v) = v**3 - v. Let j(c) = -10*a(c) - t(c). Is j(b) a multiple of 10?
True
Suppose 237 = 7*w - 2*w - 2*b, 2*b - 139 = -3*w. Suppose w = 2*g + 5*t, 3*g = -0*t - 4*t + 60. Is 8 a factor of g?
True
Suppose -3*p + 21 = -4*k, 2*k = -3*k - 2*p - 32. Let r(y) be the third derivative of -y**5/60 - y**4/3 - y**3/2 + 4*y**2. Does 9 divide r(k)?
True
Suppose -n - 3*n = -16. Suppose -n*p + 34 = -26. Let x = p - 3. Is 6 a factor of x?
True
Suppose -3*l = -3 - 3. Suppose -4*v - 6 = -l*v - 4*i, 6 = 5*v - 3*i. Does 3 divide v?
True
Let k(i) = 6*i + 8*i - 1 + 1 - 1. Does 20 divide k(2)?
False
Let p = -3 + 33. Suppose -z - z = -p. Suppose -5*y + 21 + z = -3*h, 3*y = -h + 16. Is 3 a factor of y?
True
Suppose n - 5*v + 0 = -11, -v - 13 = -4*n. Suppose 0 = -0*y - y + 4*d + 22, -4*y - 5*d = 17. Suppose y = -n*j + 18. Is 2 a factor of j?
True
Let m(o) = -o**2 - 4*o + 5. Let a be m(-5). Suppose -2*r + r + 2 = a. Suppose 4*k + 58 = 3*b, 6*b - r*b = -k + 71. Is b a multiple of 11?
False
Suppose 4*j + 15 = -5. Let d(i) be the first derivative of -i**4/4 - 5*i**3/3 - i**2 - 3*i - 28. Is d(j) a multiple of 7?
True
Suppose -l + 140 = l. Is l a multiple of 10?
True
Let w(j) be the second derivative of j**4/6 - 4*j**3/3 - 2*j**2 + j. Let r be w(6). Suppose 2*z + 2*z = r. Does 2 divide z?
False
Suppose 4*v = -5*u + 34 + 71, -4*v = 3*u - 95. Let i be (6/(-8))/(5/v). Does 8 divide (-12)/(-1 + i/(-9))?
False
Let m(w) = 2*w**2 + 11*w - 8. Is m(-8) a multiple of 23?
False
Suppose 2*k - 168 = -12. Is k a multiple of 13?
True
Suppose -16 = -r - 2*u, 3*u + 2 = r - 2*u. Is 9 a factor of (-6)/r - 38/(-4)?
True
Let h(