*2 + 8*s + 12. Let z be 88/10 - 2/(-10). Is j(z) even?
False
Suppose 0 = 5*f + 20, 2*f - 4*f = 4*q - 812. Is 9 a factor of q?
False
Let g(i) = 6*i**2 + 2*i - 1. Suppose -4*l - 4 = 4. Is g(l) a multiple of 9?
False
Let z = -20 - -38. Is 9 a factor of z?
True
Let w = -185 + 273. Does 44 divide w?
True
Let m(i) be the first derivative of -i**4/4 + 3*i**3 - 4*i**2 - 8*i + 3. Does 11 divide m(7)?
False
Suppose 1710 = -57*g + 62*g. Is 48 a factor of g?
False
Let h(f) = f**2 - 2*f - 1. Let i(c) = -c + 15. Let q be i(12). Let s be h(q). Does 16 divide s/9 - (-430)/9?
True
Suppose -3*l + 3 = 3*p, -l - 4*p - 1 = -2. Let g = 1 + l. Suppose 4*r + 0*r - 13 = -z, -52 = -g*z + 5*r. Is 13 a factor of z?
False
Let i be (-10 + 2)*108/(-16). Let x(p) = 17*p**2 - 2*p - 1. Let j be x(-1). Is 10 a factor of 302/j - (-12)/i?
False
Let c(s) = -21*s**3 + s**2. Suppose 4 = -5*h - 1. Is 18 a factor of c(h)?
False
Suppose 2*x + 3*g = -0*x + 67, -2*g - 158 = -5*x. Is 8 a factor of x?
True
Let i = -12 - -48. Suppose 4*d = 2*d - i. Let c = -13 - d. Is 5 a factor of c?
True
Let r = 8 - 5. Let m(g) = 6*g - 4. Is 14 a factor of m(r)?
True
Suppose u = -0*u + 40. Suppose 3*z = u + 8. Is z a multiple of 8?
True
Let g = 16 - 22. Let v = 28 + g. Is 11 a factor of v?
True
Let x = 60 - 25. Let z be (1/(-1))/((-2)/24). Let u = x - z. Is u a multiple of 14?
False
Let i be (6/(-9))/(3/(-54)). Is 25 a factor of 264/i - (-3 - 0)?
True
Suppose 2*v = -1 + 11. Suppose 43 - 523 = -v*w. Is 32 a factor of w?
True
Let m(w) = -w**3 - 5*w**2 + 5*w - 2. Let u be m(-6). Let d = -13 - -16. Is 39/4 - d/u a multiple of 5?
False
Suppose 4*d + 177 + 107 = 0. Let s = 23 - d. Does 34 divide s?
False
Suppose -4*w + 3*d + 2*d = -216, d = -3*w + 143. Does 37 divide w?
False
Let x(m) = -m**2 - 8*m - 9. Let r be x(-6). Let b = r + 1. Suppose b*v = -4 + 80. Is 13 a factor of v?
False
Let t = -39 - -61. Suppose 0 = 4*j + 3*h - 17, -3*j + 5 + 7 = 2*h. Suppose 0*c = j*c - t. Does 5 divide c?
False
Suppose a = 5*a - 172. Suppose a = t + p - 6, 2*p = -3*t + 150. Does 16 divide t?
False
Let n = 23 - 15. Let r = n - 4. Suppose r*q = 3 + 37. Does 5 divide q?
True
Let i be 0 - -12*(-6)/9. Suppose 53 = 4*s - z - 2*z, 0 = 2*z - 2. Let c = i + s. Is c a multiple of 6?
True
Suppose -7 = z - 11. Suppose 6*c + 3*w - 306 = c, -3*c + z*w + 201 = 0. Is c a multiple of 21?
True
Let f = 4 + 3. Suppose -f*o = -2*o - 250. Suppose -1 = -3*x + o. Is x a multiple of 6?
False
Suppose -z + 16 = 4*d, -3*d + z = 4*z - 12. Suppose h - 2*f = 44, 0*h - 3*h = d*f - 112. Is 16 a factor of h?
False
Let f(h) = 2*h - 6. Let j(o) = -o**3 - 6*o**2 - 2*o - 8. Let g be j(-6). Let t be f(g). Suppose -t*d - 3*l + 99 = 0, 3*l + 2*l = 5*d - 210. Does 15 divide d?
True
Let c be (-26)/(-7) - 4/(-14). Does 5 divide 108/16 + 1/c?
False
Suppose -3*t - t = -12. Suppose t*v + 249 = 4*g, -3*g - 2*g = 2*v - 294. Is g a multiple of 16?
False
Suppose 0 = n - 4*n + 738. Is 32 a factor of n?
False
Suppose -u + 98 = 6*u. Is u a multiple of 13?
False
Suppose 3*h - 2*r = -38, 4*r + 4 = -2*h - 0. Is ((-6)/h)/((-6)/(-60)) a multiple of 6?
True
Is 2 - (-21 - (3 + -5)) a multiple of 7?
True
Let s(k) = 10*k**2 - k - 1. Suppose 20 = 4*r - 4*u, 5*r - 3 = -3*u - 18. Suppose -2*b + 5*b + 3 = r. Is s(b) a multiple of 6?
False
Let z = -17 - -47. Is 8 a factor of z?
False
Suppose -4 = 4*q - 3*q. Let x be (-66)/15 - q/10. Let j = x - -16. Does 6 divide j?
True
Suppose -12*n + 3*n = -648. Does 12 divide n?
True
Let f(b) = -b**3 + 3*b**2 + 6*b - 3. Let p be f(4). Suppose 11 = 3*q + 3*w - 2*w, p*q + 4*w - 30 = 0. Suppose -q*o + 145 = 3*o. Does 11 divide o?
False
Let x(b) = 2*b**3 - 3*b**2 - b. Let t(q) = q**2 - 4*q + 3. Let u be t(4). Is 7 a factor of x(u)?
False
Let d(p) = p**3 - 2*p**2 + p - 2. Let c be d(3). Let z = -5 + c. Does 2 divide z?
False
Is 12 a factor of -3*(1/2 + 515/(-30))?
False
Suppose -6*d - 132 = -10*d. Does 33 divide d?
True
Let l(q) = -q**2 - 11*q + 20. Is l(-7) a multiple of 4?
True
Suppose 0 = u + 3*y - 30, -4*u + 66 = -u + y. Let a = u - 15. Is 8 a factor of 10/6*2*a?
False
Let c(j) be the first derivative of -3*j**2 + j + 3. Is c(-6) a multiple of 17?
False
Let f = -1 + -2. Is (f + 6)*-1 + 20 a multiple of 17?
True
Let q = 75 + -10. Is 7 a factor of q?
False
Suppose -3*s + 17 = -7. Does 3 divide 1/4 + 78/s?
False
Let a = 98 + -46. Is 13 a factor of a?
True
Let u(l) = l**3 - 8*l**2 + 7*l + 4. Suppose -4 = -g - 1, -x + 4*g = 5. Let f be u(x). Suppose -101 = -f*c + m, c - 115 = -4*c - m. Does 12 divide c?
True
Suppose 12 = -4*f - 24. Let z = f + 14. Suppose z*y - 2*k - 273 = 0, 5*k + 1 + 49 = y. Is y a multiple of 15?
False
Let w = 10 + -5. Suppose w*y = y + 32. Suppose 88 + y = 3*h. Is 16 a factor of h?
True
Let m = -5 - -10. Suppose -2*g + 4*s = s - 2, m*g = -5*s + 30. Is g a multiple of 4?
True
Suppose -3*r = -5*b + b - 39, 6 = 2*b. Let t = r - -8. Does 16 divide t?
False
Suppose -3*f + 43 = -83. Let q = f - 4. Does 19 divide q?
True
Let r(i) = i**3 + 9*i**2 + 4*i + 6. Let f be r(-7). Suppose -2*v = -f - 20. Suppose 0 = -2*w + v - 14. Does 15 divide w?
False
Suppose -3*c = 5*d - 2*c + 23, 0 = -5*c + 10. Let q = d - -8. Does 18 divide -10*(q/3 + -3)?
False
Let g = -3 - -5. Suppose -g*k - 46 = -4*k. Does 6 divide k?
False
Suppose -7*g - 3*d = -2*g - 29, -2*g = 3*d - 17. Suppose -4*m + 326 = 3*s, -2*m = -0*m + 2*s - 164. Is 10 a factor of ((-1)/(-1))/(g/m)?
True
Let r be 2/(-5) - 17/(-5). Let z be r/4 + (-57)/12. Let k = 19 - z. Is k a multiple of 14?
False
Suppose 0 = j + 3*f - 26, j + 42 = 3*j + f. Is 20 a factor of j?
True
Let i(a) = -a**3 - 6*a**2 - 7*a - 5. Let d(o) = o + 6. Let s be d(-11). Does 2 divide i(s)?
False
Let t = -2 + 6. Let f be (-1)/(2/(0 + -2)). Let i = t - f. Is i a multiple of 3?
True
Suppose 0 = -4*c + 8, -4*q + 140 + 78 = -5*c. Is q a multiple of 13?
False
Let d = -38 - -17. Is (d/(-12))/((-2)/(-8)) a multiple of 6?
False
Let g(j) = -j**3 - 9*j**2 - 2*j - 9. Let m be g(-9). Is (1 - 2)*-1*m a multiple of 3?
True
Suppose 2*p - 572 = -5*i, -2*i + 0*i + 229 = p. Is i a multiple of 13?
False
Is 3 - (-7)/(7/8) a multiple of 11?
True
Let k = -24 - -15. Let r = -6 - k. Does 2 divide r?
False
Let t be (-2)/(-4) - 3/(-2). Let w(i) = -i**2 + i. Let m be w(t). Is m - -2 - -1*26 a multiple of 13?
True
Let g be -2 - (-1 + 2)*-13. Suppose 2 = -v + g. Is v a multiple of 9?
True
Suppose -73 = -7*s + 18. Does 13 divide s?
True
Let d(o) = o**3 - 8*o**2 + 4*o + 4. Let r be d(8). Let j = r - 8. Does 7 divide j?
True
Let l = 51 + -1. Is l a multiple of 28?
False
Let o = -10 - -13. Suppose 0 = 2*l + o*l - 160. Is l a multiple of 13?
False
Let a(s) = 5*s + 0*s - 3*s - 11. Let r be a(8). Suppose -4*x + 74 - 10 = r*f, -5*x + 75 = 5*f. Is x a multiple of 6?
False
Suppose p + 5*v = -41, p - v = -0*p - 35. Let f = 65 + p. Is 8 a factor of f?
False
Let z(v) be the second derivative of -v**5/20 - v**4/4 + v**3/6 + 2*v**2 + v. Let j be z(-4). Let q = 28 - j. Is 6 a factor of q?
True
Let n = -299 + 179. Let k = -53 - n. Does 23 divide k?
False
Suppose 6*d = 10*d - 80. Is 4 a factor of d?
True
Suppose 3*w - 82 = 5*z, -4*w + 2*z = -0*z - 128. Is w a multiple of 7?
False
Is 10 a factor of ((-88)/(-24))/(1/12)?
False
Let n(y) = y**3 + 11*y**2 + 10*y. Is 28 a factor of n(-8)?
True
Let x(h) = -h**2 - h - 1. Let l(p) = 3*p + 4. Let z(t) = l(t) + 3*x(t). Let m be z(-4). Let u = -27 - m. Does 10 divide u?
True
Suppose 3*d + 5*g - 11 = 4, -3*d + 15 = g. Let w be 77/d + 2/(-5). Let m = w - -9. Is m a multiple of 15?
False
Suppose 0*l + l = -5*t + 16, 0 = 4*l - t - 1. Is 3 a factor of 3 + (0 - l - -2)?
False
Let v(x) = 1 - 6*x - 5 + x**2 + x. Is v(9) a multiple of 24?
False
Let z be 3 - (-1)/(2 + -3). Suppose -2*v + 64 = 3*j, 2*v + 0 = -2. Suppose 2*t + z*m = 24, -t - m + j = 2*m. Is t a multiple of 7?
True
Let m(n) = 26*n**2 + 1. Let k(r) = r**2 - 10*r + 10. Suppose -3*l - 45 = -8*l. Let z be k(l). Does 15 divide m(z)?
False
Let v = -6 - -8. Let a be (1/v)/((-3)/6). Does 5 divide -10*((-1)/(-2))/a?
True
Suppose -5*i - 3*q + 1 = 0, -i = 2*i + q + 1. Is 27 a factor of (-30 + 3)/i*1?
True
Let x = 7 - 4. Suppose -5*d = 3*t - 53, -3*t - 2*d + x*d + 29 = 0. Does 3 divide t?
False
Suppose -30 = -2*l + 5*l. Let t = 7 + l. Is 15/(2 - t/(-6)) a multiple of 7?
False
Suppose 70 = -0*q + 5*q. 