2 = -n + 4*i. Suppose 5*t + 0*x = 3*x + 20, n*t - h = -x. Is t even?
True
Let p(u) = 8*u**3 - u**2 + 1. Let v be 9/4 + 1/(-4). Suppose 0 = 5*g + 3*i - 14, v*g - 4*i = 7*g - 17. Does 6 divide p(g)?
False
Let t be 306/15 - (-4)/(-10). Suppose r + r = t. Does 4 divide r?
False
Let o be 2*3/(-24)*-4. Is 75*((-18)/(-10) - o) a multiple of 16?
False
Let b = -33 - -57. Is b a multiple of 6?
True
Let g(v) = 9*v - 4. Let d be g(11). Suppose 2*k + 5*a - 85 = 0, -3*k + 5*k - 5*a - d = 0. Is 19 a factor of k?
False
Let k(m) = -m - 1. Let x be k(-3). Does 7 divide (x - -5)*(4 - 3)?
True
Suppose -5*w = -96 - 139. Is w a multiple of 32?
False
Let n = -51 - -111. Is n a multiple of 14?
False
Suppose t + 5*i = 29 - 6, 3 = -3*t + 3*i. Suppose -u + t*l = 12, -5 = -3*u - l + 9. Suppose -u*h + 6*f - f = -23, 3*h + 5*f - 73 = 0. Is 11 a factor of h?
False
Suppose 0 = -4*r + 4*i + 132, 3*r = -i + 59 + 32. Does 6 divide r?
False
Suppose 0*v + v - 12 = -4*p, -3 = 4*v - p. Is 11 a factor of (-16)/4 - (v - 26)?
True
Suppose -2*j - p - 4*p + 8 = 0, -8 = -2*j - 2*p. Let x(b) = 3*b + j*b**2 - b**2 - 6 - 2*b**2. Is x(4) a multiple of 11?
True
Let z = -7 + 4. Let o be 0 - 1 - (-15)/z. Let k(h) = -5*h + 6. Is 14 a factor of k(o)?
False
Let z(q) = 12*q**2 + 4 - q**2 - 2*q**3 + q**3. Let p be (-237)/(-21) - (-14)/(-49). Is z(p) even?
True
Let p(w) = -2*w + 1. Suppose 5*x - 3*v = -27, -v = 4*x - 4*v + 24. Does 5 divide p(x)?
False
Suppose -20 = 2*h + 5*g + 1, 3*g + 36 = -3*h. Let x = -8 - h. Does 5 divide x?
True
Suppose 0 = -b + 3*b - 6. Suppose -b*w + 60 = -w. Is w a multiple of 9?
False
Let l be (3/2 + 0)*2. Suppose -l*q - 2 = -4*q. Is 1/(-2) - (-19)/q a multiple of 5?
False
Let t(d) = -d**3 - 7*d**2 - 7*d - 8. Let q be t(-6). Does 9 divide q/(-6)*3 - -8?
True
Suppose 0 = -2*z + o + 2, o - 1 = 3*z + 2*z. Let t(i) = i**2 - 2*i - 1. Let d be t(z). Let k = d - -4. Is k a multiple of 4?
False
Suppose m - 1 = 18. Is m a multiple of 11?
False
Let n(m) = -5*m + 2. Let p be n(5). Let w = p - -48. Is 25 a factor of w?
True
Suppose -16 = 4*z - 8*z. Let c(i) = i**3 - 4*i**2 + 5. Let v be c(z). Suppose -3*x - 2*x + 135 = 4*g, -v*x + g + 160 = 0. Does 11 divide x?
False
Let n be 25/4 + (-6)/(-8). Let r = n + 2. Is r a multiple of 4?
False
Suppose d + d - 4*r - 20 = 0, -2*d - 20 = 4*r. Let s = 5 + 55. Suppose d = 4*a - 4 - s. Does 12 divide a?
False
Let j be ((-18)/12)/((-1)/2). Is 10 a factor of (5*j - -1) + 0?
False
Is ((-36)/(-10))/(2/(-140)*-4) a multiple of 9?
True
Does 22 divide (-1226)/(-14) + 57/133?
True
Let v = -4 + 7. Suppose 5*i = 4*y - 27, 0 = y - 0 - v. Does 4 divide i/2 - 42/(-4)?
False
Let f(v) = -11*v + 11. Does 22 divide f(-5)?
True
Let l(b) = b**3 - b + 1. Let y(s) = 20*s**3 - s**2 - 3*s + 3. Let x(a) = -4*l(a) + y(a). Is x(1) a multiple of 13?
False
Let r(j) = 6*j - 6. Suppose 0*b = 5*g - 2*b - 18, -6 = -g - 2*b. Is 14 a factor of r(g)?
False
Suppose 2*m + 2*m + 4972 = -4*d, -4*d + 2*m - 4990 = 0. Let a(z) = 5*z + 1. Let y be a(-1). Is 8 a factor of d/(-77) - y/(-22)?
True
Let b be 2/(-3) - (-112)/6. Let p = b + -12. Suppose 2*r = p*r - 36. Does 9 divide r?
True
Let a(q) = -q**2 - 4*q + 5. Does 2 divide a(-3)?
True
Does 13 divide 64 + (-6)/2 + 4?
True
Let u(r) = -r**2 - 3*r + 4. Let p be u(-4). Suppose c + 0*c = p. Suppose -114 = -3*h - c*h. Is 19 a factor of h?
True
Let u = 9 - 1. Is u a multiple of 6?
False
Let k = 458 - 128. Does 16 divide k?
False
Let r(n) = -n**2 - 12*n - 1. Let i(w) = w**3 + 5*w**2 - 5*w + 6. Let f be i(-6). Let c be 1 - f - (4 + 2). Does 17 divide r(c)?
True
Let a(f) = -2*f + 10. Is 11 a factor of a(-12)?
False
Let u(f) = f**3 + 9*f**2 + 5*f - 10. Let t be u(-8). Suppose -4*j - 4*q = -124, j - q - t - 9 = 0. Does 16 divide j?
False
Let g(d) = 35*d**2 - 2*d - 1. Let o(c) = c**3 - c**2 - 4*c - 1. Let i be o(3). Suppose -5*q + 3*z + 13 = -3*q, i = 5*q - 2*z. Does 14 divide g(q)?
False
Let c(s) = s**2 + 44. Let h be ((-3)/(-6) - 0)*0. Is 14 a factor of c(h)?
False
Let v(w) = -27*w**3 + w**2 + w + 1. Let c be v(-1). Let d(i) = 3*i**2 - 2*i. Let j be d(-2). Let y = c - j. Is y a multiple of 12?
True
Let j = 0 - -2. Suppose j*w - 148 = -4*v + 3*w, 3*w = -3*v + 96. Does 12 divide v?
True
Suppose 0 = -c - 7*s + 4*s + 63, -4*c + 4*s + 172 = 0. Does 12 divide c?
True
Let p(h) = h + 1 + 0 - 5*h - 2*h. Let j be p(-5). Suppose j + 19 = 5*y. Is y a multiple of 6?
False
Let f = -17 + 74. Is f a multiple of 5?
False
Let d(c) = -c**3 - 6*c**2 - 7*c - 1. Let b be d(-6). Suppose -9 = 4*l - b. Is 4 a factor of l?
True
Let k be ((-16)/(-24))/((-2)/(-12)). Suppose -k + 212 = 4*r. Is 20 a factor of r?
False
Let d(b) = b**2 - 9*b + 11. Let i be (3 - -7) + (2 - 2). Is d(i) a multiple of 13?
False
Suppose g - 6*g - 20 = -3*y, 9 = -4*g + y. Let o = g - 12. Let t = o - -26. Is 13 a factor of t?
True
Let w(n) = 2*n**2 - 2. Let r be w(-2). Suppose 2*b - 4 = -r. Let a(q) = 53*q**2 - q. Does 22 divide a(b)?
False
Does 11 divide (-132)/(-20)*((-86)/(-2) - -2)?
True
Let x(h) = h + 3. Let l be x(-5). Is (5/3)/(l/(-24)) a multiple of 18?
False
Suppose 0 = -l + 5*g + 46, 2*g - 32 = 3*l - 5*l. Is l a multiple of 21?
True
Does 19 divide 8*(-2 + (-25)/(-2))?
False
Let y be (-3 + (0 - -2))*1. Is y/(-4) + (-124)/(-16) a multiple of 3?
False
Let k be 32/(-20)*(1 + -6). Let s = k - -15. Is s a multiple of 14?
False
Let r(n) = -14 - 8*n**3 + 0*n**3 + 13*n**2 + 9*n**3 - 17*n. Does 14 divide r(-14)?
True
Suppose 0 = o - 0*o - 3*d - 1, -3*d + 2 = 2*o. Suppose -y + o = -10. Is y a multiple of 3?
False
Let x be (6/15)/(3/15). Let q be 14/(-9)*-3*-3. Is 7 a factor of q/7*(-19)/x?
False
Suppose -2*q = -4, 2*p + 2*p + 4*q - 308 = 0. Suppose p = g - 22. Is g a multiple of 29?
False
Let z = 40 + 26. Is 15 a factor of z?
False
Let n(x) = -32*x - 2. Is n(-1) a multiple of 17?
False
Let q = -16 - -22. Does 10 divide q + 12 + (-2 - -1)?
False
Let y be ((-43)/(-2))/((-9)/18). Let p = y + 78. Does 12 divide (126/p)/((-2)/(-20))?
True
Suppose 0 = 24*u - 18*u - 522. Is 58 a factor of u?
False
Let s(x) = -x**3 - x**2 + 4. Let l be s(0). Let y be l/(-3)*(5 - -1). Does 9 divide y*5*4/(-8)?
False
Let h(k) = 4*k**2 - k - 1. Is 16 a factor of h(-2)?
False
Let r(o) = o + 3 - o**2 - 1 + 2 - 12*o. Is 3 a factor of r(-11)?
False
Suppose 0 = -3*l + 23 - 5. Let x = 18 - l. Is x a multiple of 6?
True
Let y(f) = 9*f - 4. Suppose 0 = -2*t - 10 - 0, -4*t - 2 = 3*x. Suppose -v + x = v. Is y(v) a multiple of 12?
False
Suppose 5*b + 20 = a, -1 - 19 = 5*b - 4*a. Let l(v) = 4*v**2 + 5*v + 1. Is 15 a factor of l(b)?
True
Let a = 126 - 36. Is a a multiple of 6?
True
Suppose -10*q + 398 = -832. Does 24 divide q?
False
Suppose 1 - 5 = 2*b. Let p(n) = 15*n**2 + n - 1. Does 22 divide p(b)?
False
Suppose 2*m = -2, 0 = -3*n - 3*m + 6 - 3. Suppose 4*o - n*o = 44. Is o a multiple of 11?
True
Suppose 2*c - 14 + 8 = 0. Let j(l) = l**3 - 3*l**2 + 3*l. Let t be j(2). Suppose 2*n - c*i - 34 = 0, n + 4*n - 63 = t*i. Is 11 a factor of n?
True
Let i(y) be the second derivative of -y**7/2520 + 7*y**6/360 + y**5/24 - y**4/12 - 2*y. Let s(t) be the third derivative of i(t). Does 16 divide s(12)?
False
Let q = 5 - 1. Let m = 5 - q. Suppose -145 = -4*z - m. Is z a multiple of 18?
True
Suppose 33 = q - 4*y, 0 = -5*q - 0*y + 4*y + 85. Is 6 a factor of q?
False
Let z = -4 - 1. Let j(r) = -r**3 - 4*r**2 + 2*r + 3. Is j(z) a multiple of 6?
True
Suppose 7 + 8 = -5*x. Let o = x + 15. Is 12 a factor of o?
True
Let f(v) = 4*v**2 + 5*v + 4. Is f(-4) a multiple of 12?
True
Let k(d) = 14*d - 36. Is k(9) a multiple of 30?
True
Suppose 0 = 2*h - 70 - 18. Is 22 a factor of h?
True
Suppose 2*b = 4*b - 10. Let s be 138/b - 2/(-5). Suppose 5*g - 22 = s. Is 5 a factor of g?
True
Let r = 39 - 27. Suppose 2*q + v = 109, 2*v - 122 = -2*q - r. Is q a multiple of 18?
True
Suppose 0 = -4*u - 29 + 253. Is u a multiple of 19?
False
Suppose 0 = 8*y + 153 - 857. Does 22 divide y?
True
Let a = -35 - -77. Let b = 48 - 45. Suppose -5*q = 2*f - 17, 0*q = b*f + 2*q - a. Is 8 a factor of f?
True
Suppose 0*f - 187 = -f. Suppose 0 = -4*i - i + 3*h + f, -5*i - h + 171 = 0. Is i a multiple of 13?
False
Suppose -3*h + 20 = 2*h. Suppose z + d - 4 = 0, -4*d = 5*z - 2 - 18. Suppose -z*j + h + 8 = 0. Does 2 divide j?
False
Let w = 14 - 9. Suppose s = l + 31, 0*l = -w*l - 5. Does 15 divide s