(-24 + m - -1)*-1?
True
Let v(g) = g**3 + 7*g**2 + 7*g + 4. Let s be v(-6). Let d(o) = -o + 14. Let r be d(11). Is 8 a factor of s/r*8*-3?
True
Let j(f) = -55*f. Does 11 divide j(-5)?
True
Suppose 2*h + k - 30 = 5*k, 5*h + 4*k - 5 = 0. Does 2 divide h?
False
Let d = -312 - -578. Is 38 a factor of d?
True
Let q be (-3 - -27)/((-1)/(-1)). Suppose z = 2*z - q. Is 12 a factor of z?
True
Let g = -30 - -122. Is 46 a factor of g?
True
Let h(z) = 2*z**2 + 4*z + 3. Let a be h(-2). Suppose 4*t - a*v = 557, 0 = -2*v + v + 1. Suppose t = -p + 6*p. Is 11 a factor of p?
False
Let k be ((-2)/1)/((-6)/21). Suppose 3*m + 2*u = m + 4, -3*m + k = 2*u. Suppose -18 = -z - 4*b + b, -78 = -m*z + 3*b. Does 24 divide z?
True
Let w = -9 - -2. Let v(s) be the first derivative of s**3/3 + 3*s**2 + 9*s + 1. Is 6 a factor of v(w)?
False
Let v(y) = y**3 + 9*y**2 + 4*y. Is 28 a factor of v(-6)?
True
Suppose -3*y - 1 = -10. Let i be (-1)/1 + y + 0. Is 4 a factor of (i/5)/((-3)/(-60))?
True
Suppose 3*g - 74 = 5*b, 4*g + 5*b - 91 = 2*g. Suppose 0 = 3*p - 3 - g. Does 10 divide p?
False
Let g = 4 + -2. Let j be 11/g*(-4)/(-2). Is (3 + 0 + -1)*j a multiple of 22?
True
Suppose -9 = 3*k - 27. Suppose 0 = 3*w - k - 24. Is 5 a factor of w?
True
Let p(k) = -k**3 + 8*k**2 + 2*k - 5. Let y(z) = z**2 - 8*z - 1. Let n be y(9). Is p(n) a multiple of 11?
True
Suppose d - 4*a = -4 + 66, 4*a = 8. Is 7 a factor of d?
True
Is 12 a factor of 2/(-2)*4 + 88?
True
Does 8 divide (160/(-30))/((-2)/3)?
True
Does 8 divide 33/132 + (-1014)/(-8)?
False
Let b(j) be the third derivative of 11*j**9/20160 - j**8/10080 + j**6/720 + j**5/60 - j**2. Let l(z) be the third derivative of b(z). Is l(1) a multiple of 16?
True
Let h = 534 + -352. Suppose -h + 40 = -2*d. Is 25 a factor of d?
False
Suppose 5*v - 304 + 64 = 0. Is 5 a factor of v?
False
Let c = -3 - -5. Suppose -c*l = -3*l + 2. Suppose r - 36 = -l*r. Is 12 a factor of r?
True
Suppose -t - 3*t + 8 = 0, 3*m - 2*t - 92 = 0. Is 8 a factor of m?
True
Let v(l) = -2*l + 9. Is 2 a factor of v(0)?
False
Let v = -1 + 1. Suppose 0 = 4*p + 4*u - 44, -10 = -5*p + 4*u - v. Is 6 a factor of p?
True
Suppose 4*f - 3*b + 324 = -374, -b = -4*f - 702. Is f/(-6) + 8/12 a multiple of 15?
True
Let l(f) = -3 - 3*f - 2*f + 2. Is 17 a factor of l(-7)?
True
Let q(z) = z + 16. Let u be q(-13). Let p be 3*(-3 + 1 + u). Suppose -p*b + 8 = -7. Is 3 a factor of b?
False
Suppose -4*f + 96 = -72. Let w(n) = n**3 - 4*n**2 + 2. Let y be w(4). Is f + y + -3*1 a multiple of 15?
False
Let k(j) = -j + 4. Let m = 1 - -1. Let y(v) = -3*v + 9. Let l(d) = m*y(d) - 5*k(d). Does 3 divide l(-8)?
True
Does 50 divide ((-300)/(-2) - -1) + 1/1?
False
Let x(w) = 14*w**2 - 11*w - 7. Is 32 a factor of x(4)?
False
Let v = 58 + -9. Let a = 86 - v. Let p = 53 - a. Is 16 a factor of p?
True
Let p = 8 + -8. Suppose r + 0*r - 34 = p. Is 15 a factor of r?
False
Let r be ((-92)/(-3))/(4/6). Suppose 5*b + n = r, 0*b + 3*b - 46 = 4*n. Is b a multiple of 5?
True
Let l be 2/3 - 56/3. Let y be (0 - -1)*(30 - -1). Let d = l + y. Is 7 a factor of d?
False
Let n = 4 + 1. Let s = n + 0. Is s a multiple of 3?
False
Let q be (-4)/2*21/(-14). Let j = 13 + q. Is j a multiple of 8?
True
Suppose c + c - 5*h = 10, -5*h - 10 = c. Suppose -2*a - 496 + 156 = c. Is 13 a factor of a/(-4) + (-2)/4?
False
Suppose -2*d + d = -6. Suppose 3*a - d = 3. Is a even?
False
Let a = 2 - 2. Suppose 0 = l - 10 - a. Is 9 a factor of l?
False
Let b be (-2 - 0 - -3) + 2. Suppose 0 = -3*n - 2*n - f + 231, -3*n + 153 = -b*f. Is n a multiple of 18?
False
Let h = -52 - -59. Let j be (-163)/4 + 2/(-8). Let m = h - j. Is m a multiple of 14?
False
Let a(c) be the third derivative of c**4/12 - c**2. Let l be a(1). Suppose l = 2*m - 10. Does 6 divide m?
True
Let n(l) = 3*l**3 - 6*l**2 - 15*l + 3. Let k(f) = 4*f**3 - 5*f**2 - 16*f + 2. Let a(p) = 4*k(p) - 5*n(p). Let b be a(-8). Let u = -20 + b. Is u a multiple of 9?
False
Let w be 44/33*3/(-2). Is 32 a factor of (-766)/(-8) + w/(-8)?
True
Let d(v) = -v**2 - 9*v - 3. Let c be ((-15)/(-10))/(1/2). Suppose 0 = c*q + 4*i + 15, 2*q + i = -10. Is 14 a factor of d(q)?
False
Let h(o) = -o + 5. Suppose 0 = -2*f + 3*f + 5. Does 9 divide h(f)?
False
Let k = 13 - -90. Is k a multiple of 13?
False
Suppose -85 - 10 = -5*a. Suppose -a = s - 73. Is 18 a factor of s?
True
Let c(v) = -v. Let f be c(-2). Suppose 5*t = b - 43, 2 + 2 = -f*t. Is b a multiple of 14?
False
Suppose -x = 3*x. Suppose s - 46 = -x*s - 2*k, -4 = -4*k. Is s a multiple of 12?
False
Suppose 5*p = -d + 667, 0*p = 5*p + 5*d - 675. Does 19 divide p?
True
Let m be (40/(-12))/((-4)/6). Suppose -m*c + 3*c = -36. Suppose 3*j = -3*l + 18, 0 = -2*l - 0*j - 5*j + c. Does 3 divide l?
False
Suppose -3*r + 3*b = 2*b - 4, -12 = -r + 3*b. Is 8 a factor of 112/7 - (0 - r)?
True
Is (-18)/(-12)*4/(-3) + 47 a multiple of 5?
True
Let c(b) = -b**3 + 2*b**2 + b + 2. Let u be c(3). Is 2 a factor of u*-3*2/12?
True
Let f = -4 - -6. Is (46/6)/(f/6) a multiple of 11?
False
Let m(v) = -75*v**3 - v**2 - 2*v - 1. Let c be m(-1). Let y = 127 - c. Does 26 divide y?
True
Let r be 373/5 - (-16)/40. Suppose 4*s + 12 = p + 3, -r = -4*p + 3*s. Is 19 a factor of p?
False
Suppose -5*i + 4*i = 6. Is 19 a factor of ((-3)/i)/(2/76)?
True
Let f = -5 - -7. Suppose -f*w + 4*w = 16. Is w*2/4*2 a multiple of 4?
True
Suppose 2*k = -3*x + 206, 2*k = 2*x - 0*k - 124. Does 22 divide x?
True
Let v(y) = -y**2. Let p be v(0). Suppose -7*q = -3*r - 2*q - 14, p = r + q - 6. Suppose 6 = 2*n + r. Does 2 divide n?
True
Let t = 4 - 3. Let z be -1*(t + 1*-3). Suppose -2*l = -5*q - 22, l - 3*q - z*q = 11. Does 9 divide l?
False
Is 2 a factor of ((-2)/1)/(6/(-33))?
False
Suppose 5 + 7 = 3*q. Suppose q*z - 8 - 12 = 0. Does 2 divide z?
False
Suppose 2*x = -2*b - 2*x + 150, 0 = 2*b - 2*x - 180. Is b a multiple of 26?
False
Let r = -15 + 31. Suppose a - r = -w + 6*a, 3*a = -4*w + 87. Is w a multiple of 7?
True
Suppose -34 = -5*o + 26. Is o a multiple of 3?
True
Suppose -2*w = -4*j - 4*w, -w = -3*j + 10. Suppose -6*y - 8 = -j*y. Does 4 divide (-1)/y + (-21)/(-2)?
False
Let n(c) = 8*c**3 + c**2 + 23*c - 9. Let x(l) = 3*l**3 + 8*l - 3. Let d(i) = -4*n(i) + 11*x(i). Is d(5) a multiple of 4?
True
Let h(c) = -c**3 + 13*c**2 + 3*c + 6. Does 15 divide h(13)?
True
Suppose -4*h = -5*q - 366 - 88, 2*h - 4*q = 224. Suppose -4*t = -3*i - 236, -5*i + i + 5*t = 313. Let v = h + i. Is v a multiple of 16?
False
Let r = 4 - -63. Does 13 divide r?
False
Let r(p) be the second derivative of 3*p**4/2 + p**3/6 - 3*p. Is r(-1) a multiple of 10?
False
Let b = 13 + -36. Let c be (8 - 4) + -4 - 2. Is 1 + (0 + c)*b a multiple of 16?
False
Let k(s) be the first derivative of s**4/4 + s**3/3 - s**2/2 + s + 2. Let o be k(-2). Is 7 a factor of 2 - o - (-76)/4?
False
Let u be 1*(3 - (-1 + 2)). Suppose -4*j = -u*j. Suppose 2*n + 34 = 2*i, 5*i - n - 70 - 15 = j. Is i a multiple of 8?
False
Let c = 227 + -117. Is 22 a factor of c?
True
Let d = 11 - 25. Is (-4)/d + 1450/70 a multiple of 7?
True
Let z(o) = -6*o + 8. Let g be z(-7). Let a = g + -36. Let q = a + -3. Does 11 divide q?
True
Suppose -5*i + 97 = -233. Let d = i + -18. Does 21 divide d?
False
Let a(h) = -4*h**3 + 2*h**2 + 2*h + 2. Does 38 divide a(-2)?
True
Let j be 1 + (3 - 2) - -1. Suppose 0 = 2*d + 4*m + 12, j*m - 6*m = 3*d + 3. Is 4 a factor of d?
True
Suppose 0*u - 36 = -2*u. Is 9 a factor of u?
True
Let j(t) = t**2 + 4*t + 1. Let r be j(-5). Does 5 divide (-16)/r*150/(-40)?
True
Suppose 3 + 15 = 2*q. Let n = q - 6. Does 24 divide 26 - 1*(2 - n)?
False
Let r(c) be the second derivative of -c**5/20 + 7*c**4/12 + 7*c**3/6 - 9*c**2/2 + 2*c. Let l be r(8). Is 3/6*-2 - l a multiple of 8?
True
Suppose 0 = -2*i + 4*i - 134. Suppose 5*g = -w + i, -5*w - g + 235 = 4*g. Does 19 divide w?
False
Is 44/(-6)*9/(-2) a multiple of 11?
True
Let d(n) = n**2 + 2*n + 3. Let c be 1*((-1 - -2) + -3). Let b be d(c). Suppose -2*v = u - 10, u = b*u + 5*v - 21. Does 8 divide u?
True
Let a(u) = -3*u - 4. Let i be 8/(-28) + (-40)/7. Is a(i) a multiple of 7?
True
Let c(r) = -2*r + 4. Suppose -5*q + 3*j = -15, q = 3*j + j + 20. Suppose -3 + q = d. Does 8 divide c(d)?
False
Let o(j) = j**3 + 8*j**2 - 3*j - 3. Let g be o(-8). Suppose -5*p = -5*b, -b + 1 = -5*p + g. Suppose 0*x - 3*l = p*x - 49, -4*x + 20 = -4*l. Is 3 a fac