- c - s. Is 3 a factor of r/6 - 57/(-6)?
False
Let j(p) = -p**3 + 8*p**2 - 5. Let i be j(8). Let s(q) = q + 2 - 2*q - 3*q. Is s(i) a multiple of 11?
True
Let o = 131 - 56. Does 10 divide o?
False
Let h(y) = y**2 - 4*y + 4. Let i be h(4). Suppose -83 = -i*q + 3*l, -3*l = 3*q - 6*q + 66. Is q a multiple of 8?
False
Let q(d) = 2*d + 38. Is q(-14) a multiple of 2?
True
Let p = 83 + 5. Let j = 142 - p. Is 18 a factor of j?
True
Let t(h) = -h**2 - 4*h - 5. Let r be t(-4). Let o be (-1 - r)*(-195)/20. Is 15 a factor of 1 + (o + 1)/(-2)?
False
Let m(j) = 5*j + 18. Let g be m(-12). Let l = -24 - g. Is 17 a factor of l?
False
Suppose -4*j + 4*y = -0*y - 240, 3*j + 5*y = 148. Is 8 a factor of j?
True
Let o = 9 - 5. Suppose 2*v + 110 = v - 5*s, -o*v - 417 = -3*s. Does 9 divide 0 - 1 - v/5?
False
Suppose -4*i + 38 = 6. Let u(g) = -i + 0*g + 1 - 5*g + 0*g. Is 23 a factor of u(-7)?
False
Suppose 8*h + 99 = 2*r + 7*h, -2*h + 159 = 3*r. Is r a multiple of 17?
True
Let r be (-2)/12 + (-1)/(-6). Let k be 0/(-3 + r) + -1. Is 13 a factor of ((-6)/(-8))/(k/(-36))?
False
Let q(d) = -d**3 - 3*d**2 + 3. Let j be q(-3). Let y be 2 + j + (-2)/2. Suppose p = y*p - 36. Does 6 divide p?
True
Let a be (-58)/10 + 1/(-5). Does 3 divide (2 - 0)*(-9)/a?
True
Let w be 0/2 + 34/17. Suppose -d + v + 13 = 0, d + w*v - 26 = -7. Is d a multiple of 4?
False
Let a(i) = 2*i - 4. Let c(t) = 5*t**3 + 8*t**2 + 12*t - 3. Let y(b) = -b**3 - b + 1. Let h(k) = -c(k) - 4*y(k). Let z be h(-7). Is a(z) a multiple of 4?
True
Let z(t) = -15*t**3 + 1. Is z(-1) a multiple of 4?
True
Let n(q) be the second derivative of q**4/12 - q**3/2 - q**2/2 - 3*q. Is n(6) a multiple of 14?
False
Suppose -13 = -4*f - 3*p, -f + 4*p - 2*p = -6. Is f even?
True
Let b be (6/(-1))/((-2)/1). Let c(s) = 2 - 2*s - 2*s**3 - 6*s**2 + b*s**3 + s**2. Is 13 a factor of c(6)?
True
Let x(c) = -c**3 + 9*c**2 - 3*c - 6. Let r(m) = m**2 + 9*m + 8. Let h(u) = -u**2 - u + 3. Let b be h(-4). Let w be r(b). Is 17 a factor of x(w)?
True
Let g be -1 + 19 + (9 - 7). Suppose -4*m + 2*c + 18 = 0, -5*c = 3*m + g - 1. Is m a multiple of 2?
True
Let p(f) = 15*f + 11. Does 7 divide p(3)?
True
Let a(i) be the third derivative of -i**4/24 + 2*i**3 + 3*i**2. Let j be a(9). Suppose -j*p - 69 = -2*m, -2*m + 118 = 2*m - 2*p. Does 9 divide m?
True
Let s be 0 + (-2 - -2) + -2. Does 20 divide ((-4)/6)/(s/171)?
False
Suppose -3*m = v - 50, -5*v - m = -3*m - 318. Does 7 divide v?
False
Suppose 9 = 3*d + 3. Does 2 divide 12/d + 1/(-1)?
False
Let d be -1*((-3 - -1) + -29). Suppose -5*g + d = -3*c - 76, 20 = -5*c. Is g a multiple of 8?
False
Is 7 a factor of (4 - 296/32)/(3/(-8))?
True
Suppose 680 = 2*j + 8*j. Does 34 divide j?
True
Is (-19 - 0)/(2/(-6)) a multiple of 19?
True
Suppose 22 = -4*u + 2. Let p = u - -7. Let n(r) = 2*r**3 - r**2 + 1. Is n(p) a multiple of 4?
False
Let n(f) = 15*f + 1. Let b be n(-1). Let s be 4/b - (-639)/7. Let x = s + -51. Is x a multiple of 20?
True
Let v(y) = y**3 - 7*y**2 + 6*y. Let r be v(6). Suppose -3*u + 0*u - 3 = r. Is ((-9)/4)/u*4 a multiple of 4?
False
Let a be 246/(-12) - 3/2. Does 7 divide -1 + (-1)/(1/a)?
True
Let d(k) = -k**3 - k**2 - k - 2. Let z be d(-2). Suppose -p = 4*v - 5, 0 = z*p + 2*v - 46 - 30. Does 13 divide p?
False
Suppose 4*n = 2*n + 8. Suppose a = n*a. Is 11 a factor of 1 + 19 - (2 + a)?
False
Let f be ((-12)/(-10))/((-4)/(-10)). Suppose -5*c = -f*c - 24. Is c a multiple of 5?
False
Let v(h) = -4*h**2 + 3*h + 1. Let f be v(3). Let m be f/(-3)*(-15)/(-2). Suppose 0 = -3*s + r + m + 38, -4*r - 16 = 0. Does 12 divide s?
False
Let f = -1 - 36. Let i = 17 + -35. Let c = i - f. Is c a multiple of 5?
False
Let c(s) = 5*s**2 + 3*s - 4. Let l be c(3). Suppose 3*r = 4*k - 0*r - 44, 4*k = 5*r + 44. Suppose -2*b - 19 - k = -3*i, 5*i - l = -b. Does 9 divide i?
False
Does 18 divide 2/13*1 - (-14490)/117?
False
Let i = -6 + 8. Suppose i*s + 6 = 4*o, 2*s - 4 = o - 1. Suppose -2*v = -p - 22, v - 2*v = -o*p - 21. Is 7 a factor of v?
False
Suppose -2*m + 102 = -u + 3*u, -107 = -2*m - 3*u. Does 23 divide m?
True
Let k be 1*(-8)/(-6)*3. Suppose 2*r - 3 = -3*l, -2*r - 3*l + k = l. Suppose -i = -r*i - 28. Does 19 divide i?
False
Suppose 0 = -2*j - 4 + 2. Let m(x) be the first derivative of 2*x**3 - x - 1. Does 2 divide m(j)?
False
Suppose 5*k + f - 10 = -4*f, 25 = 2*k - 5*f. Suppose -5*t + 16 = 3*b, 5 = t + k*b + 15. Suppose 22 = t*q - 28. Does 10 divide q?
True
Let r be (-2 + 28/8)*-2. Let x(y) = -11*y - 7. Is x(r) a multiple of 5?
False
Let n = 386 + -126. Suppose -4*g = g - n. Suppose 5*b + 12 = g. Is 4 a factor of b?
True
Is 5 a factor of 26 + 2/3 + (-22)/33?
False
Let w be (-3)/2*16/(-12). Is (-15)/(-12)*10*w a multiple of 15?
False
Let a(o) = 106*o + 18. Is a(3) a multiple of 21?
True
Suppose -17*r + 10*r + 2716 = 0. Is r a multiple of 39?
False
Let r = -2 - -2. Suppose 2*y + 2*y = 2*c - 62, r = -4*c + 4*y + 104. Is -10*c/24*-4 a multiple of 13?
False
Let s = 10 + -10. Suppose 5*t + 11 = j, -j + 3*t + 6 + 3 = s. Is j a multiple of 6?
True
Let v = 61 + -31. Does 8 divide v?
False
Let u(g) = g**3 + 8*g**2 - 9*g + 7. Let p be (-3 + 1)*(-36)/(-8). Is 5 a factor of u(p)?
False
Let q be (1 - -1 - -1) + 2. Let c = -8 + q. Is (4 + -1)*(-16)/c a multiple of 8?
True
Suppose -4*t + 6 = -14. Is t even?
False
Let t be 4/(-14) + 45/35. Let q(y) be the second derivative of 17*y**5/20 + y**4/12 - y**2/2 + 2*y. Is 16 a factor of q(t)?
False
Suppose z = -3*m, 4*z - z - 2*m = 0. Suppose 0 = -2*s, 0*q + 5*s = -q + 1. Suppose 3*p - 12 = z, k + p - 14 = -q. Does 8 divide k?
False
Let m(r) = -r**2 + r + 63. Does 8 divide m(0)?
False
Suppose -2*n + 0*z + 46 = -4*z, 2*n = z + 43. Let h = n + 32. Does 10 divide h?
False
Let t be -2 + (-9)/(-3) - 1. Suppose -4*u - 3*f + t*f + 71 = 0, 6 = -2*f. Does 10 divide u?
True
Let y = -25 - -42. Let j = y - 4. Is 13 a factor of j?
True
Let i = 42 - 8. Suppose -5*o + 144 = i. Is 11 a factor of o?
True
Suppose 6*d - 7*d = -35. Does 5 divide d?
True
Let j(s) = 3 - 2*s**2 + 8*s**2 - 2*s + 14*s**3 - 15*s**3. Suppose -4*v = -3*v - 5. Is j(v) a multiple of 6?
True
Let j(x) = -6*x**2 - x - 7. Let r be j(-5). Is (1/4)/((-2)/r) a multiple of 16?
False
Let w = -24 - -54. Does 5 divide w?
True
Suppose 5*i + 6 + 3 = -2*s, -21 = 3*s + 5*i. Suppose -50 = -4*u - 14. Let t = u - s. Is t a multiple of 8?
False
Let f(i) = i**2 - 7*i + 3. Let v be f(8). Suppose -12*r = -v*r - 49. Is r a multiple of 14?
False
Let t = -28 + 118. Is 18 a factor of ((-12)/(-5))/(12/t)?
True
Suppose n = 6 - 3. Let l be (-2 + -1)/((-6)/8). Suppose -6 = -3*o - n*h + 48, l*o = -h + 63. Does 7 divide o?
False
Let f(c) = 4*c - 4. Let j be f(4). Suppose 0 = s - 4 - j. Is 15 a factor of s?
False
Let c(f) = f**3 + 8*f**2 - f - 4. Let g(n) = -2*n**2 + 7*n - 4. Let w be g(4). Is 2 a factor of c(w)?
True
Let g(c) = -c**3 + 8*c**2 - 6*c - 5. Let i be g(6). Suppose -5*b = -z - 4*b - 7, -i = 5*z - 3*b. Let n = z + 9. Is n a multiple of 4?
True
Let g be (-4*1)/(-1) + -3. Let s(l) = -12*l**3 + l**2. Let c be s(g). Let v = 15 + c. Is 4 a factor of v?
True
Suppose 9*v + 2*w + 40 = 4*v, -2*w + 20 = -5*v. Let k be (v - -5)*(7 + 1). Let l = k - -23. Is 15 a factor of l?
True
Let x = -76 - -76. Suppose -3*j = -4*j + 4. Suppose 56 = j*b - r, x = -3*b + 4*r - 3*r + 43. Does 4 divide b?
False
Is -1602*(-5)/30*2 a multiple of 27?
False
Let y(w) = w**2 - 2*w - 3. Let v(t) = -t**2 + t + 3. Let m(o) = -4*v(o) - 3*y(o). Let i be m(-3). Is 11 a factor of i + 2 + 18/2?
True
Suppose -5*s - 55 = -5*q, 8 = -3*s - s. Suppose -t = o + 3, 2*o - 2*t - q = -t. Does 4 divide o/(1*(-2)/(-12))?
True
Let a = 13 - -19. Does 8 divide a?
True
Let n be 2 + 1 + 9/(-3). Let v = n + 19. Does 10 divide v?
False
Let w(v) = -2*v**3 + 12*v**2 + 8*v - 15. Let b = -11 - -7. Let a(j) = -j**3 + 6*j**2 + 4*j - 7. Let q(x) = b*w(x) + 9*a(x). Is q(3) a multiple of 18?
True
Suppose 36 = 9*q - 5*q. Suppose -8*b + q*b - 39 = 0. Does 13 divide b?
True
Does 15 divide 50/(1/4*2)?
False
Suppose 5*q - 5*d + 10 = 0, -3*d - 2*d = 4*q - 10. Suppose 0 = s - q*s - 21. Is 15 a factor of s - 0/(0 + -3)?
False
Let g(q) = -22*q + 4. Let y be g(-3). Suppose 0 = -4*a - m + 116, 4*a - 186 = 2*m - y. Is a a multiple of 9?
False
Let p(x) = -x**3 - 5*x**2 + 6*x - 5. Let t be p(-6). Let y = t + 14. Suppose f - y = -3*m + 15, 