 = -h**2 - h + 1. Let k(l) = z*m(l) - g(l). Is k(5) a multiple of 3?
True
Let m(s) = s**3 - s**2 - 2. Let f be m(2). Suppose 8 = f*u - 6. Is 3 a factor of u?
False
Let l(x) = -5*x**3 + 14*x**2 - 20*x - 9. Let d(n) = n**3 - 3*n**2 + 4*n + 2. Let g(p) = 11*d(p) + 2*l(p). Let k be g(4). Does 9 divide ((-6)/k)/((-6)/88)?
False
Let l(d) = -d**2 + 7*d - 2. Suppose 3*v + 2*v = -30. Let p be 68/18 - v/27. Does 4 divide l(p)?
False
Let l = -37 - -100. Does 19 divide l?
False
Suppose -2*f + 128 = -4*y, -f - 3*y + 49 = -0*y. Is f a multiple of 26?
False
Let i be 18*1/(1 + 1). Suppose -101 = -2*s - i. Is s a multiple of 11?
False
Let i be 70 - (8 - (0 - -4)). Suppose i = 4*w + p, 5*p = 4*w - 0*w - 78. Does 7 divide w?
False
Suppose 7 = 3*g + 16. Let w(d) = -3*d - 4. Does 2 divide w(g)?
False
Let l = 43 - 25. Is l a multiple of 6?
True
Let r(l) = l**3 + 5*l**2 - 6*l. Let j be r(-6). Let x(i) = i + 21. Is x(j) a multiple of 21?
True
Let k = 62 - 42. Is k even?
True
Let c be (4/(-14))/(6/(-84)). Suppose -18 = -c*g + g. Is g a multiple of 6?
True
Let k(r) = r**3 + r**2 - 2*r + 2. Suppose 0*n + 4*n - 8 = 0. Is 5 a factor of k(n)?
True
Does 9 divide (31 + 4)*1 - -1?
True
Let v(d) = -d**3 - 5*d**2 - 3*d - 2. Let u(a) = a - 9. Let k be u(6). Let f be v(k). Is (-123)/f - 2/11 a multiple of 11?
True
Let h = 21 - 16. Suppose -63 = -2*z - 5*n, 2*z = h*n + 28 + 5. Is 8 a factor of z?
True
Let h(a) = -2*a**3 - 9*a**2 - 12*a + 3. Let j(l) = l**3 + 5*l**2 + 6*l - 1. Let t(z) = 2*h(z) + 5*j(z). Let n be t(-6). Is 10 a factor of 16 + (1 - (n + -1))?
False
Suppose 2*v = 5*m - 0 + 2, -v = -2*m. Let d = m - -4. Is d even?
True
Does 2 divide 42/(-4)*8/(-6)?
True
Let z(c) = 8*c + 8. Does 14 divide z(2)?
False
Let h(g) = -g + 14. Let q be h(8). Suppose q*z - 13 = 5*z. Is 8 a factor of z?
False
Suppose 0 = -3*c + 114 + 222. Is c a multiple of 14?
True
Suppose 0 = -0*c + 5*c. Does 13 divide 24 - (-5 - -3) - c?
True
Suppose 3*j - 9 = -0*j. Let q be 10*-10*j/(-12). Suppose 0 = 3*m - q - 53. Does 15 divide m?
False
Let t be (-7)/(-28) - (-18)/(-8). Does 3 divide 11/(-22) + (-13)/t?
True
Suppose 2*q + q = -t - 5, 4*q + 50 = 3*t. Does 3 divide t?
False
Let v(j) = -6*j + 15. Let q be v(-8). Suppose -q - 81 = -4*h. Is h a multiple of 10?
False
Suppose 2*q = 88 + 88. Does 11 divide q?
True
Let o be 3*(150/9 + -2). Let k = -26 + o. Does 9 divide k?
True
Suppose -8*g + 90 = -5*g. Is g a multiple of 6?
True
Is 26 a factor of ((-453)/6 - 2)/((-4)/8)?
False
Suppose -c = -3*g - 35 - 58, -c + 4*g + 98 = 0. Is 18 a factor of c?
False
Suppose 2*m = 2*d + 2*d - 658, 4*m + 506 = 3*d. Is d a multiple of 27?
True
Let g = -120 + -101. Let w = 102 + g. Does 15 divide 1/4 - w/4?
True
Suppose 2*l = -a + 37, a = -4*l - 2 + 75. Suppose -2*c + 3*v = -41, l = -4*c + 5*c - 4*v. Suppose 2*x + 6*p - c = p, -p = -2*x + 10. Is 3 a factor of x?
True
Suppose 3*c = 158 - 47. Is 3 a factor of c?
False
Let g(s) = -2*s**3 + s**2 + 4*s + 4. Let v be g(-3). Let h = -19 + v. Is h a multiple of 12?
True
Let s(d) = -2*d. Let p(r) = 9*r**3 + 15*r**2 + r + 21. Let a(l) = 4*l**3 + 7*l**2 + 10. Let c(i) = 7*a(i) - 3*p(i). Let t be c(-5). Does 6 divide s(t)?
True
Suppose -3*j + 82 = m - 2*m, 2*j - 83 = -5*m. Let g = -17 + j. Does 12 divide g?
True
Suppose 7*p - 1 = 6*p. Is (-104)/(-4)*(p + 0) a multiple of 13?
True
Suppose -5*v = 1 + 4. Let o be ((-5)/((-5)/(-201)))/v. Suppose -5*b - 51 = -o. Is b a multiple of 10?
True
Let z(q) = -q**3 - 6*q**2 + 2*q + 7. Let l be z(-6). Let k be 2/l - (-2)/5. Is (-19)/(-4)*(4 + k) a multiple of 17?
False
Let w = -28 + 59. Let x = w - 13. Is x a multiple of 18?
True
Suppose 2 = 2*s - 3*s. Let g be 9/s*4/(-6). Let a(p) = 3*p - 4. Is a(g) a multiple of 5?
True
Suppose 2*f - 3*f = p - 200, -p + 5*f = -230. Does 7 divide p?
False
Suppose -65 = -3*q - 2*q. Suppose -4*k + 70 = b + 28, -k + b = -q. Does 5 divide k?
False
Let w(p) = 4*p - 5. Let o(b) = -9*b + 11. Let u(m) = -2*o(m) - 5*w(m). Let d be u(2). Is 15 a factor of (4 - 2)/d - -17?
True
Suppose u + 3*u = 0. Suppose -6*c + 2*c + 12 = u. Suppose -c*a = -3 - 30. Is a a multiple of 10?
False
Suppose -3*g - 8 - 4 = 0, 2*y + 4 = -g. Let u(a) = a**2 + 4*a - 23. Let o(d) = 2*d**2 + 7*d - 47. Let m(s) = -4*o(s) + 7*u(s). Does 7 divide m(y)?
False
Suppose 4*p + p + s = -228, 0 = 4*s - 8. Let b = p + 88. Is b a multiple of 16?
False
Suppose 3*d - m = 132, -4*d + 5*m = -6*d + 88. Does 16 divide d?
False
Let t = -31 + 10. Let u = -12 - t. Is 5 a factor of u?
False
Let q be ((-2)/4)/((-5)/10). Suppose -q + 0 = -v. Does 6 divide (v/3)/(1/69)?
False
Suppose -b + 2*q + 55 = 4*q, -5*b - 4*q + 251 = 0. Is 20 a factor of b?
False
Suppose -37 = -7*p - 9. Suppose -p*t - t + 75 = 0. Does 4 divide t?
False
Let l = -57 - 3. Let v be 43*-2*1/2. Let z = v - l. Is z a multiple of 17?
True
Let i(g) = 2*g**2 - 8*g - 1. Suppose 9*o - 4*o + 3*u - 39 = 0, -3*o = -u - 15. Does 12 divide i(o)?
False
Is 4 a factor of (-47)/(-4) + 1/4?
True
Let p(g) = -g**2. Let j be p(0). Let a(k) = -k**2 + 15. Is 5 a factor of a(j)?
True
Let r = -4 - -4. Suppose -3*d - v + r*v + 50 = 0, 3*d - 3*v - 42 = 0. Is 14 a factor of d?
False
Let y be ((-2)/(-7))/(-1)*-14. Suppose 108 = y*q - 192. Is q a multiple of 25?
True
Let d be (-1)/(2 - (-85)/(-43)). Let r be -2*(2 + d/2). Let m = 65 - r. Is 13 a factor of m?
True
Suppose 4*b - 5*j = -j + 8, 2*b + 4*j = -8. Does 14 divide -2 + b/(-2) - -71?
False
Suppose 62 = 5*r - 4*q, 2*r + 2*q = 7*q + 18. Let u be 0/6 + r*2. Suppose -b - 4 + u = 0. Is 8 a factor of b?
True
Let g = 9 + -6. Let l = 5 - g. Is 5 a factor of (l/3)/((-4)/(-78))?
False
Let r(b) = b + 30. Is r(8) a multiple of 4?
False
Suppose -12*o + 5*h + 245 = -8*o, -h = o - 59. Is o a multiple of 13?
False
Suppose -c + w = 27, 0*c = -3*c - 5*w - 89. Does 7 divide (c/(-6))/(8/12)?
True
Let g be (-1128)/(-27) - 4/(-18). Suppose -t = -0*t - g. Suppose s - 2*s = -t. Does 12 divide s?
False
Let w(h) = 65*h - 8. Does 17 divide w(3)?
True
Let u be 6/(-4)*(-16)/3. Suppose -q + x + 2 = -4, -19 = -4*q + 3*x. Let o = q + u. Does 3 divide o?
True
Let n be 6*(1/(-2) + 2). Let g(m) = -6*m**3 - 3*m**2 - 7*m - 11. Let a(w) = -3*w**3 - w**2 - 3*w - 5. Let q(t) = n*a(t) - 4*g(t). Is 15 a factor of q(-2)?
False
Let c(y) = y**3 + 18*y**2 + 16*y - 15. Let l be c(-17). Suppose 3*j = l*j + 9. Is j even?
False
Let v = -7 + 6. Let m = v - -1. Suppose m*z - 5*p - 8 = -z, -4*z + 4*p + 64 = 0. Is 9 a factor of z?
True
Let v = 22 + 49. Suppose -v = -5*w + 124. Is 13 a factor of w?
True
Suppose -2*q = -3*m - 15, -5*m = -3*q + 15 + 9. Let y be (-1)/q + 385/21. Let x = 27 - y. Is 9 a factor of x?
True
Let s(z) be the second derivative of 9*z**4/2 + 2*z. Does 27 divide s(-1)?
True
Suppose 0 = -4*u - 103 + 383. Is u a multiple of 9?
False
Let r(k) = k**2 - 1. Suppose 5*l + 4*n - 2 = 0, -5*l + 7 = n - 1. Let t be r(l). Let j = 8 + t. Is j a multiple of 8?
False
Suppose 0 = -c - p + 48, 148 = 3*c + 5*p - 3*p. Does 13 divide c?
True
Suppose 2*o - 2 = 2*c, 0*o - 2*c - 2 = 5*o. Suppose -3*i = -o*i - 57. Is 4 a factor of i?
False
Suppose p + z + 11 = -3*p, -4 = -4*p - 4*z. Let d be (-2)/8 - 21/p. Suppose -115 = -5*u - 4*s, d*u + 0*s - 2*s - 85 = 0. Is 11 a factor of u?
False
Let h = 75 - -7. Suppose -o + 59 = 2*l - 3, 3*l = 4*o + h. Is 22 a factor of l?
False
Let z = 1 - 2. Suppose 2*k + h - 74 = -0*k, -110 = -3*k - h. Does 10 divide k/2 + -1 + z?
False
Let y = 7 + -3. Suppose -4*x + 7*x + 15 = 0, -y*x = 4*a - 76. Does 12 divide a?
True
Let z(a) = 48*a**3 - a**2 - a + 2. Is z(1) a multiple of 16?
True
Let b = -15 + 31. Is 11 a factor of b?
False
Suppose -g + 2*p - 4 = -0*g, 0 = 2*p - 6. Suppose q - g = -0*q. Does 2 divide q?
True
Suppose 4*f = -5*u - 0*f - 37, 4*f - 8 = 0. Does 12 divide -1*u/6*18?
False
Suppose 45 = 2*l + 3*l. Let p = l - 2. Is 3 a factor of p?
False
Let o(n) = n - 3. Let r(h) = -3*h + 5. Let c(g) = 5*o(g) + 2*r(g). Is c(-11) a multiple of 5?
False
Let r(p) = p - 5. Let y be r(4). Let j = -8 + y. Let q(t) = t**3 + 10*t**2 + 8*t + 11. Is 13 a factor of q(j)?
False
Let b be (4/(-6))/((-10)/45). Suppose 0 = 3*o + 6 + b. Is 12 a factor of (11 + o)*(1 - -2)?
True
Suppose 4*s - 50 = -s. Is s even?
True
Suppose -184 = -5*f + 236. Is f a multiple of 17?
False
Let i(o) = o**2 - 6*o + 13. Is i(12) a multiple of 17?
True
Suppo