
False
Suppose u - 2*u = 2*h + 6, u + 4*h = -12. Suppose -2*b = -2*i + 36, b - 2*b - 2 = u. Is 16 a factor of i?
True
Let q(b) = -b**3 + 7*b**2 - 7*b + 6. Let i be q(6). Suppose 2*j + 3*j - x + 14 = i, 12 = -2*j + 2*x. Does 8 divide 18*2*j/(-3)?
True
Let n be (3 - 3)*-1*1. Suppose n*d = 5*d. Suppose d = 2*y - 43 + 13. Does 15 divide y?
True
Suppose -17 = -4*l - 3*t - 4, -2*l + 14 = 4*t. Let n = 12 - l. Let y = 19 - n. Is 3 a factor of y?
False
Let u(m) = 3*m**2 - 9*m + 8. Let l be u(-8). Suppose l = 2*t + 2*t. Does 34 divide t?
True
Suppose -5*k + 4 = -2*t + 128, t = -3*k + 84. Is 9 a factor of t?
True
Let c(d) = d - 3. Let r be c(5). Suppose -3*g = -3*p + 57, -2*p + 2*g + 32 = -r*g. Suppose -7 = 5*a - p. Does 2 divide a?
False
Is (-2 + 1)/(3/(-30)) a multiple of 10?
True
Let g(k) = 36*k + 2. Let q be g(-2). Let c(o) = -o**3 + 6*o + 6. Let v be c(-5). Let j = q + v. Is j a multiple of 16?
False
Does 40 divide ((-12)/5)/((-194)/(-200) + -1)?
True
Does 15 divide 2*2 + -1 + (4 - -97)?
False
Is 3/(-9) + 232/3 a multiple of 7?
True
Let w(v) = -v**2 + 6*v + 1. Let c be w(5). Suppose -y = -c*y + 480. Suppose 5*i = i + 4*k + y, -5*k = 5*i - 100. Does 7 divide i?
False
Let w(v) = -v**3 - 10*v**2 + 11. Suppose 0*u + 4*u + 40 = 0. Does 2 divide w(u)?
False
Suppose -14 = 4*d - 2*d. Does 23 divide (-6 - d) + (-63)/(-1)?
False
Let l = 16 - 11. Suppose -36 + 206 = l*o. Is 17 a factor of o?
True
Let o = 121 - 85. Let w = o - -6. Does 14 divide w?
True
Let h be (-1 - -4)*4/4. Suppose -h*g - 49 = -m, -4*m + 96 = 3*g - 130. Is m a multiple of 24?
False
Suppose 3*a = -4*j + 107, a + 133 = 5*j + 5*a. Is 7 a factor of j?
False
Is 10 a factor of (-6)/9 - (-844)/6?
True
Let u(y) = 3*y + 66. Is 6 a factor of u(-20)?
True
Let t(v) = 2*v + 1. Does 31 divide t(15)?
True
Let t(y) = -y**3 + 5*y**2 - y - 5. Let x be t(5). Is 3*(-2)/(-6) - x a multiple of 3?
False
Suppose 0*v = -4*v - 3*a + 228, -a + 114 = 2*v. Does 19 divide v?
True
Let c(n) = 19*n - 6. Is c(4) a multiple of 19?
False
Suppose -v = -20 - 2. Let j be 53/11 - (-4)/v. Suppose j*m - 3*r - 108 + 27 = 0, 4*r + 23 = m. Is 15 a factor of m?
True
Let u = -52 + 110. Let y be 28 - (3 - (1 - -1)). Let z = u - y. Does 12 divide z?
False
Let i(b) = 19*b + 2. Is 16 a factor of i(4)?
False
Suppose f - 74 = -3*c, 0 = f - 2*c - 100 + 21. Is f a multiple of 11?
True
Let c be 54/24 - (-3)/4. Is 19 a factor of (3/c)/(2/76)?
True
Let r(n) = 2*n + 10. Let w be r(-7). Let l(p) = 4 + 5*p + 4*p**2 - 3*p**2 + p**2. Does 12 divide l(w)?
False
Let t(b) = 3*b - 3. Let a(w) = -w + 3. Let g be a(-6). Let z be g/(-6)*28/(-6). Does 18 divide t(z)?
True
Does 12 divide (416/12)/(6/27)?
True
Is 8 a factor of (2 - 0) + 28 + 1?
False
Does 29 divide 1044/54*6/2?
True
Let q(z) = 9*z**2 + 4*z + 2. Is 15 a factor of q(-2)?
True
Let w(q) = -q**2 + 26*q - 3. Is w(24) a multiple of 13?
False
Suppose 21*b = 23*b - 216. Suppose -v + b = v + 4*c, 4*c = -5*v + 276. Does 14 divide v?
True
Let m(l) = 34*l - 18. Is 20 a factor of m(7)?
True
Let f = -64 - -89. Is f a multiple of 11?
False
Suppose -5*j + 8 = 2*x, 2*x - 5*j + 0*j = 8. Suppose -x*v + 19 = y, 3*y - 37 = -0*y - 2*v. Does 8 divide y?
False
Suppose 2380 = 20*s - 3*s. Does 22 divide s?
False
Let g be (-17)/(-3) - 6/9. Let w(y) = 4*y**2 - 2*y + 1. Let k be w(2). Suppose 3*b - k = g. Is b a multiple of 3?
True
Let q be (1 - (1 - 1))*2. Suppose 81 - 1 = q*z. Is z a multiple of 23?
False
Suppose -450 = -5*w - 65. Is 15 a factor of w?
False
Let l(f) = f**3 + 10*f**2 - 4*f - 11. Is l(-10) a multiple of 11?
False
Let r(i) = -i - 4. Suppose 0 = -3*d - 2*f - 32, -2*d + 5*f + 4 = -0. Let y be r(d). Suppose y*q + p - 53 = 0, -4*q - p = p - 54. Is 13 a factor of q?
True
Does 8 divide (-1*(-2)/(-4))/(36/(-9432))?
False
Let k(r) = r**2 - 6*r + 2. Let g be k(6). Let t(d) = 0 - 3 + 4*d + 2. Is 6 a factor of t(g)?
False
Let o = 4 + -2. Let g be (o/(-3))/(2/(-9)). Suppose w - g - 10 = 0. Is w a multiple of 13?
True
Is 54 a factor of (36 - 33) + (-49 + -2)*-1?
True
Let s = 16 + -10. Let h(j) = -j**2 - 5*j + s + 6*j + 5*j. Is h(6) a multiple of 4?
False
Suppose 3*r - 7 = k, -r + 4 = 5*k - 25. Suppose 3*m - 41 + 16 = -k*z, m = 0. Is 5 a factor of z?
True
Let p be (10/4 - 2)*66. Suppose t - 35 = p. Does 17 divide t?
True
Let l be (-815)/(-5) + 0/2. Let i = -111 + l. Is i a multiple of 13?
True
Let u(d) = 9*d**2 - d - 3. Let p(a) = -10*a**2 + 2*a + 4. Let z(f) = 6*p(f) + 7*u(f). Let o(g) = -g**2 - g. Let q(h) = -4*o(h) - z(h). Is 7 a factor of q(-3)?
False
Let p(j) = j**3 - 12*j**2 + 7*j + 14. Is 28 a factor of p(12)?
False
Let b(r) = 12*r + 4. Let q(a) = a**3 - a**2 - 4*a. Let c be q(3). Is b(c) a multiple of 19?
True
Suppose 3*x = -x + 8. Suppose 0*c = -x*c - 48. Let a = -13 - c. Is a a multiple of 5?
False
Let w = 99 + -43. Is w a multiple of 5?
False
Let k(h) = -3*h - 3. Suppose r = -5 + 3. Is 2 a factor of k(r)?
False
Suppose p - 170 = -4*v, 2*p - 13 + 135 = 3*v. Does 21 divide v?
True
Let l = 33 - 61. Let d be (-1)/5 + l/10. Let m(t) = -t**3 - 2*t**2 - 4*t - 3. Does 9 divide m(d)?
True
Suppose -21 = -4*u - 5. Suppose -2*q + u*j - 12 = 0, -3*q - 2*j - 6 = 2*q. Does 8 divide q + 1 + 2*12?
False
Let q be (-36)/54 - (-14)/3. Suppose 2*n - 10 = n + q*g, -2*g = -5*n + 68. Does 7 divide n?
True
Let p = 5 + 0. Suppose 0 = -p*l + 65 + 60. Is 10 a factor of l?
False
Let p(c) = -5*c**2 - 17*c - 8. Let z(r) = -2*r**2 - 6*r - 3. Let u(k) = -3*p(k) + 8*z(k). Let d be u(3). Does 9 divide d/1 + 9*2?
True
Let d be (-8 + -1)*(-3)/9. Suppose 2*b - 1 = 4*c + 3, 4*b - d*c - 23 = 0. Suppose -5*v - b = -y, y - 3*v = 3 + 7. Is 13 a factor of y?
True
Suppose 0 = -3*h + k + 94, 57 = 2*h - 2*k + 1. Is h a multiple of 11?
True
Suppose 18 = 6*v - 4*v. Let k = -3 + v. Is 6 a factor of k?
True
Let a(y) be the second derivative of -y**4/12 + 3*y**3/2 - y**2 + 4*y. Is 12 a factor of a(7)?
True
Let i(p) = 111*p - 4. Does 11 divide i(1)?
False
Suppose -37*p = -35*p - 106. Is p a multiple of 10?
False
Let b be (24/15)/((-4)/(-10)). Suppose -20 = -d - b*d. Suppose u - d = -3*j, 3*u - 2*j + 7 = 19. Is 3 a factor of u?
False
Let k be (75/9)/((-2)/(-12)). Suppose 68 = 3*t + 2*p, 0 = 3*t - p - k - 15. Does 11 divide t?
True
Let l be (0 - 1) + 1 - -67. Suppose 5*d - 75 = 5*g, -l = -5*d - 0*d + g. Is 7 a factor of d?
False
Let w be (-15 - -3)/4 - -3. Is 3 a factor of (-15)/10*(-4 - w)?
True
Let n be (-113)/(-4) + 6/8. Let w = n - 18. Does 11 divide w?
True
Let a(r) = -32*r + 0 + 1 - 110*r. Let x be a(-1). Suppose -4*o + 1 + x = 0. Is 18 a factor of o?
True
Suppose 0 = -2*i + i + 730. Suppose -5*m + 4*d + i = 0, 4*m - 548 = -4*d - 0*d. Suppose 5*c - m = -5*y + 13, -4*y - 32 = -2*c. Is c a multiple of 13?
True
Let u be (0 + 1 + -2)*0. Suppose u = -4*l - 16, -4*l - 46 = -2*g. Suppose -4*b = g - 55. Is b a multiple of 5?
True
Let u(d) = 12*d**2 - 2*d - 8. Is u(4) a multiple of 11?
True
Let o = -10 + 5. Let r = -9 - -10. Is 1/(r/(-2)) - o a multiple of 2?
False
Suppose 0*v = -4*v + 16. Suppose -2 = -v*b + 6. Suppose -3*d = b*u - 2*d - 24, -u - 4*d + 12 = 0. Is u a multiple of 6?
True
Let q be (-3 + -1)/((-2)/(-11)). Is 10 a factor of -1*(3/3 + q)?
False
Let p(u) = u**3 + 5*u**2 + 2*u - 3. Let h be p(-4). Let x = h + -8. Does 15 divide (3/(-2))/(x/30)?
True
Suppose 0 = 2*t + 2*w + 78 - 18, w + 92 = -3*t. Let v = 19 + t. Let c = -6 - v. Is 2 a factor of c?
True
Let f(o) = -o**3 + 8*o**2 - 6*o - 8. Let v be f(7). Let b be 1 + 2 + 53 + v. Let q = b + -21. Does 12 divide q?
False
Let a(n) = n**3 + 4*n**2 + 4*n + 1. Let p be a(-3). Let x be p/(-2)*244/4. Let v = x - 34. Is v a multiple of 16?
False
Suppose -j - 2*p + 37 = -7*p, 0 = j - 3*p - 27. Is j a multiple of 5?
False
Is ((-3 - -6) + 4)*(-60)/(-42) a multiple of 5?
True
Let v(x) = x**2 + 24*x + 15. Is v(-27) a multiple of 6?
True
Let h(b) = b**3 - 4*b**2 - 5. Let j(v) = -v**3 + 4*v**2 + v + 6. Let q(p) = 3*h(p) + 2*j(p). Let n be q(4). Suppose -70 = -n*z + 25. Is z a multiple of 7?
False
Let y(j) = 2*j - 3. Let q(s) = -2*s + 4. Let n(h) = -3*q(h) - 2*y(h). Let o be n(5). Suppose i + 54 = 5*p, 0*i = -o*p + i + 44. Does 10 divide p?
True
Suppose -722 = 5*h - f, -6*h = -h + 5*f + 710. Does 24 divide 20/(-6)*h/10?
True
Let k(z) = 335*z**2 - 6*z - 2. Is 14 a factor of k(-1)?
False
Let p = 99 + -48. Is 17 a factor of 