o + 4 = -7*g, -5*g - 5 = 3*o. Does 3 divide (4/(-8))/(g/10)?
False
Suppose -4*j + 18 = 6. Suppose -j*x - x + 28 = 0. Is 6 a factor of x?
False
Suppose -4*t + 99 = 5*x, 0*x - 2*x - 4*t = -30. Is x even?
False
Let i(b) = -3*b - 2. Let s be i(-2). Suppose s*t + 19 = 51. Does 8 divide t?
True
Suppose 4 = -2*s - 4. Let d(r) = r**2 + 2*r + 4. Let f be d(s). Let p = f - 4. Is p a multiple of 3?
False
Let n(k) = k**2 - 7*k + 9. Let s be (-2 - -1)*3/(-1). Suppose 0 = -s*h, 5*g = -2*h + h + 55. Does 19 divide n(g)?
False
Let s(h) = -h**3 - 4*h**2 + 3. Is s(-5) a multiple of 14?
True
Let a be (34/(-6))/(1/(-9)). Suppose -j = 4*r - 2*j - 47, -a = -2*r - 5*j. Let b = r - 5. Is b a multiple of 4?
True
Suppose -5*q - 5*d - 40 = 0, 2*q + 5*d = -3 - 16. Let w(f) = f + 8. Let o be w(q). Is (-206)/(-4) - o/(-2) a multiple of 20?
False
Let z(f) = 14*f**3 - 2*f**2 + f. Let g be 93/12 + 2/8. Suppose g*i - 5 = 3*i. Is 13 a factor of z(i)?
True
Let v = 109 - 86. Is 15 a factor of v?
False
Let l(i) = 3*i**3 - 4*i**2 + 5*i + 5. Let h(x) = -x**3 - x. Let w(m) = 2*h(m) + l(m). Is w(4) a multiple of 17?
True
Let m(x) = 43*x**2 - 2*x + 1. Is m(1) a multiple of 14?
True
Suppose 0*o = o - 41. Is 14 a factor of o?
False
Suppose -5*f = -1 - 14. Suppose -f*u = k - 21, -3*k + 2*u = -6*k + 35. Is k a multiple of 7?
False
Suppose 0 = 2*a - 5*a + 6. Suppose c + 3*k = 0, -k - a = -c - 3*k. Suppose -2*o - 36 = -c*o. Is o a multiple of 9?
True
Suppose 0 = 2*k + 2*k + 16. Let q be (-1)/4 - (-35)/k. Let c = 29 + q. Is c a multiple of 8?
False
Let v(g) = -g**3 + 15*g**2 - 15*g + 20. Is v(14) a multiple of 6?
True
Suppose 0 = 17*j - 14*j - 156. Is j a multiple of 26?
True
Let k(l) = -14*l + 1. Let d be k(-1). Suppose -d + 109 = 2*a. Does 11 divide a?
False
Suppose t + 1 = -2. Let s = 5 + t. Suppose -4*l = 2*j - 5*j + 41, -5*j - s*l + 77 = 0. Is 15 a factor of j?
True
Let d(l) = 4*l**2 + 4*l + 6. Is 27 a factor of d(-6)?
False
Suppose 3*d - 4*c - 50 = 6, -5*c + 35 = 5*d. Is 6 a factor of d?
True
Let c(p) be the second derivative of p**7/504 - p**6/360 - p**5/40 - p**4/4 - 2*p. Let n(j) be the third derivative of c(j). Does 8 divide n(-2)?
False
Let j(d) = -1 - 4*d**2 - 2 + 1 + 5*d. Let r be j(-5). Is r/(-4) - 3/4 a multiple of 11?
False
Suppose 35 = 3*a + 2*j - 3*j, -2*a = j - 15. Does 5 divide a/(-4)*(-12)/2?
True
Suppose y - 6*y = -160. Suppose 0 = a + 3*a - y. Does 9 divide (-2)/a + 219/12?
True
Let i(z) = z**2 + 15*z + 6. Let g be i(-15). Let x = 50 + g. Is x a multiple of 14?
True
Suppose q + 54 = -33. Is 3 - (0 + 3 + q) a multiple of 29?
True
Let k = -127 + 178. Is 22 a factor of k?
False
Suppose -55 = -4*s + p - 3, 5*p = -4*s + 52. Is s even?
False
Let x = -2 - -2. Let n(c) = -c**2 + c**3 - 2*c**3 - c + 18 + 2*c. Is 9 a factor of n(x)?
True
Let u(q) = q**3 + 15*q**2 + 14*q + 3. Let k be u(-14). Does 13 divide 1 - k - 40/(-2)?
False
Suppose f - 2*y - 17 = 0, 0 = -f + 3*y + 3 + 9. Suppose 0 = -5*p + 3 + f. Is 4 a factor of p?
False
Suppose -3*q + 4*d + 63 = 0, 0 = -0*q + q - 2*d - 19. Is q a multiple of 19?
False
Is (18/(-4))/(-9)*(217 - 1) a multiple of 14?
False
Let o(x) = x**2 + 11*x + 12. Does 8 divide o(-12)?
True
Let f(s) = -6*s**2 - 2. Let p be f(4). Let u = 42 - p. Suppose 0 = 5*a - u. Is 21 a factor of a?
False
Let r(c) be the second derivative of c**5/10 - c**4/6 + c**3/6 - c**2 + 5*c. Does 3 divide r(2)?
False
Suppose -2*w + 5*v + 8 = 0, 2*w + 4*v + 4 = 3*v. Let t be (1 - 0) + 4 + w. Suppose 53 = -t*o + 2*f + 149, 5*o - 5*f = 120. Is 12 a factor of o?
True
Let q(p) = p**2 + 3*p - 2. Let y = 6 - 12. Is q(y) a multiple of 7?
False
Let b(w) = -w + 18. Suppose 3*z + 3*n + 18 = 0, -5*z = -3*n + n - 5. Let o be 0/(0 - (3 + z)). Is b(o) a multiple of 13?
False
Suppose 3*i = 2*p + 15, -2*i + 3*i + 5*p + 12 = 0. Does 3 divide i?
True
Let b = 2 - -3. Suppose -b*l + 0*j - 30 = -5*j, -2*l + 3*j - 12 = 0. Let s(q) = q**3 + 6*q**2 - 4*q + 2. Does 13 divide s(l)?
True
Does 29 divide 2 - (-44)/(-20) - (-582)/10?
True
Let i(j) = -j**3 - 8*j**2 - 9*j - 3. Let a be -2 + -1 - (-2 + 6). Is 7 a factor of i(a)?
False
Let l(u) = -20*u - 5. Suppose 3*v = 2*f - 15 + 4, 5*f - 5*v = 15. Does 8 divide l(f)?
False
Suppose -4*i + 3*c - 103 = 0, i - 5*i = 5*c + 95. Suppose 108 = 3*l - 21. Let s = i + l. Is s a multiple of 10?
False
Let f(o) = o**3 - 5*o**2 + 2*o - 1. Let k(m) = m**3 - 5*m**2 - 5*m - 1. Let h be k(6). Is f(h) a multiple of 5?
False
Let p = 1 + 20. Let i be 10*(p/(-6) - -3). Let j(k) = -5*k + 1. Does 14 divide j(i)?
False
Suppose -5*z - 7*z + 2316 = 0. Does 13 divide z?
False
Suppose 0 = 4*v - 4*a + 4, -3*v - 5 = a - 3*a. Let t = v + 5. Suppose 0 = -t*g + s + s + 30, -2*g + 9 = 5*s. Does 6 divide g?
True
Let h = 25 + -63. Is -1*(h*1)/2 a multiple of 19?
True
Let a(u) = -2*u - 3. Let p be a(-2). Suppose c = 3*s - 1, -4*s + 3*c = 2*c - p. Suppose s = -2*w + 6*w - 120. Does 13 divide w?
False
Let s(p) = -p**3 + 7*p**2 + 3*p - 5. Is s(5) a multiple of 15?
True
Suppose 9 + 42 = 3*x. Is x a multiple of 6?
False
Let k = -14 + 61. Suppose 0 - 9 = -3*o. Suppose -v = -3*w - 5, v - o*w - k = -3*v. Does 7 divide v?
True
Let u be 9/6*12*8. Does 9 divide ((-3)/(-2))/(6/u)?
True
Suppose -2*i - 3 = 27. Let n = -1 - 0. Is n + i/(-2)*6 a multiple of 22?
True
Let a(s) = -18*s + 4. Let q be a(-6). Suppose 0 = -5*w - 2*y + q, -w - 2*y = -0*y - 16. Is w a multiple of 12?
True
Let l(h) = h + 20. Is l(-5) a multiple of 5?
True
Is (-4)/(-18) - 345/(-27) a multiple of 13?
True
Let u be (-2)/(-7) + 816/(-14). Let h = u + 82. Does 17 divide h?
False
Let p(f) = f**3 + 4*f**2 + 3*f + 3. Let u be p(-3). Suppose 0 = -13*w + 541 - 47. Suppose 2*y + c - w = -c, 3*c = u*y - 39. Is 13 a factor of y?
False
Let n = -4 - -4. Suppose -f + 4*s - 10 - 23 = n, -4*f - 132 = -3*s. Let u = f + 50. Does 8 divide u?
False
Is 9 a factor of (-27)/(4/10 + 114/(-60))?
True
Suppose 2*u + 4 = -2. Let y = u + 3. Suppose y = h + 2*h - 66. Is 11 a factor of h?
True
Let y(j) = 2*j**2 - j - 10. Does 21 divide y(-8)?
True
Is (-12672)/(-84) + (-1)/(-7) a multiple of 16?
False
Let s(m) = -5*m - 1. Let d be s(-4). Suppose 11 + 4 = -3*x. Is 10 a factor of (-5)/x*(1 + d)?
True
Suppose 0 = 2*p - 3*p + 3. Suppose p*z + 0*z - 78 = 0. Is z a multiple of 7?
False
Let t be (2 + -8)*6/(-9). Is -3 + 2 + t + 0 a multiple of 2?
False
Let z = 52 + -21. Is z a multiple of 7?
False
Let l be 1/((-6)/9)*-2. Suppose -5*g + 24 = -l*g. Is g a multiple of 4?
True
Suppose 2*r - 5 = 5. Suppose -5*v = 2*w - 35, 3*w - 19 = -v + r*w. Does 9 divide v?
True
Suppose 0*m - 2*m + 5*a = -18, 0 = -5*m - a + 99. Is m a multiple of 19?
True
Let o = -5 - -7. Suppose 0 = -2*t - 5*s + 2 + 5, 0 = o*t - 5*s + 43. Let i(f) = f**3 + 9*f**2 - 2*f - 6. Is i(t) a multiple of 6?
True
Let j = 782 + -558. Does 28 divide j?
True
Let j = 70 - 36. Is j a multiple of 12?
False
Let m be ((-24)/(-4))/((-2)/(-1)). Let h be (-4)/2*m/(-6). Let l = 3 - h. Is l a multiple of 2?
True
Suppose -3*l + 7 + 29 = 0. Is 390/12*l/15 a multiple of 13?
True
Let y(j) be the second derivative of j**3/3 + j**2/2 + j. Is 23 a factor of y(11)?
True
Let w be (-5)/(-1)*78/15. Suppose -18 = -4*n + w. Does 11 divide n?
True
Let g(f) = f**2 + 11*f - 7. Let j be g(-12). Is 12 a factor of (j/(15/(-108)))/(-1)?
True
Suppose 0 = -5*b - 3*c - 55, -2*c - 30 = 5*b + 20. Let k = -1 - b. Suppose n = 6 + k. Is n a multiple of 13?
True
Suppose y + 23 = -4*c, -4*c - 2*y - 32 = -6. Suppose -7 = 3*i - f, 0*i = i + 3*f + 9. Does 2 divide 3/(9/c)*i?
False
Does 16 divide (7 - (-455)/(-10))/(2/(-8))?
False
Let f be (-3)/(-9)*(0 - -939). Is 1/(-6) + f/6 a multiple of 20?
False
Suppose 4*o + o - 240 = 0. Let x = 179 - o. Does 33 divide x?
False
Let x be (-80)/6*18/(-15). Suppose k + 4*u + 21 = -4*k, 4*k + 3*u = -x. Is 6 a factor of (-120)/(-9) - k/(-3)?
False
Let m be 10/2 + 2 + -3. Suppose -3*o = -3*t + 57, m*t = o + 11 + 56. Is 8 a factor of t?
True
Let o(j) = 6 + 26*j + 3 - 7. Is o(2) a multiple of 14?
False
Let w = -4 - -17. Is w a multiple of 4?
False
Suppose m - 3*k = 45 + 15, 5*m - k = 300. Is 37 a factor of m?
False
Let c = 334 - 205. Is c a multiple of 25?
False
Suppose 3*w = w + 4*q, 2*w + q + 5 = 0. Let z be w + 2/(0 + -2). Let f = z + 18. Does 10 divide f?
False
Let d(h) = h**2 + 10*h + 5. Let n be d(-9). Let t be 659/4 - n/16. Suppo