of 12?
True
Let h = -5 + 7. Suppose -d + 0 = -h. Suppose 0 = -l - d*l + 60. Does 10 divide l?
True
Let n(a) = -6*a + 5. Is 8 a factor of n(-5)?
False
Suppose 0*i + 4*i = -20. Does 2 divide ((-15)/(-6))/i*-6?
False
Let y(k) = 4*k + 6. Does 26 divide y(5)?
True
Suppose -153 = -v + 2*q + 2*q, 0 = 5*v + 3*q - 811. Does 23 divide v?
True
Let l be (1 - 2) + 0 + 47. Suppose 2*a = 4*v - 9*v + 107, 0 = 2*v + 4*a - l. Is v a multiple of 7?
True
Suppose 5*b - 7 - 3 = 0. Suppose 17 = -b*f + 93. Is f a multiple of 12?
False
Let b(z) = z - z + 2*z - 3*z. Is 2 a factor of b(-4)?
True
Let l = -6 + 6. Suppose -4*i = -l*i - 72. Is 9 a factor of i?
True
Let t = 3 + 0. Suppose -11 + 32 = t*y. Is 7 a factor of y?
True
Let m(p) be the second derivative of p**4/6 + p**2/2 - p. Suppose 2*k + 0*k - x + 2 = 0, -3*x = 5*k + 16. Does 4 divide m(k)?
False
Let z(w) = w**3 + 18*w**2 - 5*w - 8. Is z(-18) a multiple of 18?
False
Let w(a) = 3*a**2 + a + 3. Suppose -6 - 10 = -4*u. Does 20 divide w(u)?
False
Let y(g) = g**3 + 7*g**2 - 7*g - 1. Is 9 a factor of y(-7)?
False
Let f(h) = 44*h**2 - 2*h - 2. Is 30 a factor of f(-2)?
False
Suppose 2*y - 12 = 4*p, y - 46 = -4*y + 2*p. Suppose 4*n + 6 = 2*w - 0*w, -3*n = 3*w. Let i = y - w. Is i a multiple of 9?
True
Let p = -318 + 511. Is 10 a factor of p?
False
Suppose 5*m = r + 45, -r = -4*m + 47 - 12. Is m even?
True
Let f = 230 - 57. Is f a multiple of 13?
False
Let j(p) = p**3 - 11*p**2 + 13*p - 10. Let v(l) = -l**3 + 5*l**2 + 9*l - 9. Let g be v(6). Let h be j(g). Let c = h + 78. Does 8 divide c?
False
Let z(v) = -v - 2. Let j be z(-4). Suppose 58 = 4*p + j*n, 0 = p - 2*n - 21 + 4. Does 15 divide p?
True
Suppose -j = -4*j + h + 479, -4 = -4*h. Does 40 divide j?
True
Let n(f) = f**2 - 4*f - 3. Let c be n(4). Let v = c - -9. Is 6 a factor of v?
True
Suppose -7*d + 1995 = 371. Is d a multiple of 13?
False
Suppose 8*r = 5*r + 3. Does 9 divide r + 2*(24 - 3)?
False
Let l be 2/(17/5 - 3). Suppose -5*a = -l*f + 5, -4*f + 2*f = 3*a - 22. Suppose 0 = -f*y + y + 104. Does 13 divide y?
True
Let g(m) = m**2 - m + 32. Suppose 0 = 5*b - 15, -4*y - 4*b = -13 + 1. Let p be g(y). Suppose 92 = 5*q + p. Is 6 a factor of q?
True
Let q(b) be the first derivative of -5*b**2/2 - 6*b + 5. Is 19 a factor of q(-5)?
True
Let u = 210 - 136. Is 37 a factor of u?
True
Suppose -5*m - n + 0*n = -166, 0 = 5*n - 5. Does 33 divide m?
True
Suppose 0*r = -2*r - 10. Let b = r + 14. Let w = b + 2. Does 11 divide w?
True
Let z(g) = 13*g - 3. Let j be z(3). Suppose 4*f + f = 0. Suppose f = n + n - j. Is n a multiple of 9?
True
Let y(d) = -d**3 - d**2 + d. Let v be y(-3). Suppose 2*k - 7 = -2*i + v, 0 = -4*i + 4. Does 3 divide k?
False
Let j(w) = -19*w - 5. Is 16 a factor of j(-7)?
True
Suppose -p = 1, -5*p + 2 - 3 = y. Suppose -y*b - 68 = 4. Is (-126)/(-8) + b/24 a multiple of 5?
True
Does 25 divide (-140)/6*(-105)/14?
True
Let r(v) = 9*v**2 + 7. Let j be r(3). Suppose 4*u + 4*d = 8 + j, 5*u - 120 = -4*d. Is 14 a factor of u?
False
Suppose -3*l + 15 = 2*l. Suppose 5*k = 1 + 14, l*k = -5*u + 89. Is u a multiple of 8?
True
Suppose -4*p + 7 = 4*g - 17, 22 = 5*p + 3*g. Let k(h) = 18*h - 4. Is k(p) a multiple of 9?
False
Let l = 101 - 26. Is 25 a factor of l?
True
Let t(j) = -j**3 - 8*j**2 - 8*j + 11. Is t(-7) a multiple of 18?
True
Is 5 a factor of (-28)/6*9/(-6)?
False
Let y = 242 - -7. Is 32 a factor of y?
False
Suppose 3*z = 16 + 2. Suppose 3*s + 80 = z*s + 5*q, 0 = -s + q + 32. Is s a multiple of 15?
True
Let a(o) = 12*o - 1. Let n be a(-2). Let h(f) = f**3 + 9*f**2 + 9*f - 1. Let c be h(-8). Let u = c - n. Is 16 a factor of u?
True
Let i be (-92)/22 + 2/11. Let t be 0/i + -1 + 29. Suppose -86 = -3*d + t. Is d a multiple of 20?
False
Let g = 1 - -2. Suppose g*y - 3*d = 8*y - 126, 0 = -5*d - 15. Does 17 divide y?
False
Is ((-24)/15)/(1/(-25)) a multiple of 20?
True
Let b(a) = a**2 + 3*a. Let n be b(5). Suppose m - 2 = 0, 2*d + 0*m = 4*m + n. Does 12 divide d?
True
Suppose -n + 7 = 18. Let a = -8 - n. Is 14/a*(-4 - -7) a multiple of 7?
True
Suppose -i = 2, 4*m - 2*i = 2*i + 280. Is m a multiple of 12?
False
Let z(p) = -p**2 - 4*p - 2. Suppose 0 = 3*m - m + 8. Let r be z(m). Is r/8 + 255/12 a multiple of 6?
False
Suppose -2*c + 3*v + 261 = 0, -38 = -c - 4*v + 98. Is 22 a factor of c?
True
Let p = -2 + 5. Suppose -p*k + 77 = -0*k + 2*t, -5*k + 120 = -5*t. Is k a multiple of 14?
False
Suppose 4 = 2*n, 6*s + 3*n = 5*s + 108. Is s a multiple of 6?
True
Let w = 62 + -12. Suppose 0 = 2*i + 3*i - w. Let r = i - 3. Does 7 divide r?
True
Let s(w) = -21*w + 2. Is s(-2) a multiple of 16?
False
Let c(j) = j**2 - j + 2. Let d be c(3). Is (-232)/d*1*-1 a multiple of 13?
False
Is (1/1)/(1/31) a multiple of 31?
True
Let p = -113 + 157. Is 4 a factor of p?
True
Let g(s) = s**2 - 5*s + 6. Let o be g(4). Suppose -4*u + 20 = 2*p, 0 = p - o*u - 3*u + 11. Does 4 divide p?
True
Let b be (3 + 1/1)*-1. Let s be (6/b)/((-2)/20). Does 5 divide 201/s + (-2)/5?
False
Suppose p = 3 - 0. Suppose 0 = p*t + 2*q - 124, 0 = -4*t + 3*t + 2*q + 52. Does 15 divide t?
False
Suppose -19 + 223 = 3*p. Is p a multiple of 4?
True
Let g(o) = -o**3 - 8*o**2 - 9*o - 10. Let c(j) = -j - 5. Let k be c(-7). Suppose k = -4*q - 26. Is g(q) a multiple of 2?
True
Suppose -20 = -2*u - 2*m, -m = -0*u + 5*u - 30. Does 2 divide u?
False
Let h be 1/3 + (-168)/(-36). Suppose h*o = w + 179, w = -0*o - 2*o + 73. Is 9 a factor of o?
True
Let a = 0 - -6. Does 2 divide a?
True
Suppose -1 - 5 = -3*n. Suppose 0 = n*j + 4*f - 34, -2*f + 5 = -3. Is 9 a factor of j?
True
Suppose -2*m + 50 - 14 = 0. Is 4 a factor of m?
False
Let o(u) = -u**3 + u**2 + 5*u - 1. Is o(-4) a multiple of 8?
False
Let v(c) = -c**2 + 7*c. Let a(r) = 8*r - 1. Let o be a(1). Let k be v(o). Suppose 2*u - 23 + 1 = k. Does 11 divide u?
True
Suppose -5 + 21 = l. Let g = 45 - l. Is g a multiple of 29?
True
Is 17 a factor of -114*1/(10/(-5))?
False
Let j = -15 + 21. Let w = -6 + j. Suppose -2*v + w*v + 50 = 0. Does 19 divide v?
False
Suppose 1348 = 5*f + 428. Suppose 0 = -2*a + s + f, 3*s = -a + 4*a - 276. Does 23 divide a?
True
Let l be (-2)/(14/15 + -1). Suppose -2*g + 2 = -p + 8, -l = 2*g + 5*p. Let o(m) = -m + 1. Is o(g) a multiple of 3?
True
Is (1 + -2)/((-17)/697) a multiple of 19?
False
Let l(z) = -z + 2. Suppose 5*g = 2*g. Suppose 5*a + 4*b + 14 = g, -3*a + 0*b - 4*b = 2. Does 4 divide l(a)?
True
Does 41 divide 1262/6 + (-15)/45?
False
Let x = -13 + 23. Let c be 2/2 + (-4 - -3). Let d = x - c. Is 5 a factor of d?
True
Is (18/(-27))/(4/(-90)) a multiple of 3?
True
Let f(s) = 25*s - 1. Is 12 a factor of f(1)?
True
Suppose h - 1510 = 6*h. Is 6/24 - h/8 a multiple of 16?
False
Suppose -2*r = 4*s + 10, -3*r - 4 = 2*r + 3*s. Let g be r/(-3) + (-38)/(-6). Does 3 divide (-44)/(-7) + g/(-21)?
True
Let y = -30 - -48. Is y a multiple of 6?
True
Let r be ((-2)/(-4))/(4/(-48)). Let h(g) = 3*g**2 + 8*g - 5. Let o be h(r). Suppose 0 = -3*v + 5*z + o, 5*z + 34 = -5*v + 139. Is 12 a factor of v?
False
Let u(p) = -1 + 0 + 1 + 4 + 2*p**2 + p. Does 16 divide u(-4)?
True
Is 4 a factor of -4*(46/(-8) + (-3)/(-1))?
False
Let u = -22 - -39. Let h = -7 + u. Suppose -5*n = p + h - 33, -2*p + n + 13 = 0. Does 8 divide p?
True
Let s = -6 + 10. Suppose y - 13 = -2*m, 3*y = -0*y - s*m + 33. Is y a multiple of 3?
False
Suppose -5*m + 99 + 66 = 0. Is 10 a factor of m?
False
Let k = 144 + -48. Does 8 divide k?
True
Suppose -r = -3*r + 280. Let o be ((-3)/2)/((-10)/20). Suppose -o*q = q - r. Does 21 divide q?
False
Let y be (53/(-3))/((-4)/(-12)). Let m be -23 + (-2 + 0)*1. Let w = m - y. Is w a multiple of 14?
True
Let t(m) = -m**3 + 18*m**2 + 3*m + 18. Is 24 a factor of t(18)?
True
Suppose -4*g = -g + 3*t - 9, 4*t - 4 = 0. Suppose 0 = -g*k + 4*k. Is 18 a factor of 20 - (-2 - (-4 - k))?
True
Let a = 38 - 27. Does 6 divide a?
False
Let w = 0 + 2. Suppose 108 = 5*s - w*d, -2*d - 12 = -s - 4*d. Is s a multiple of 10?
True
Let c(j) be the second derivative of j**5/20 - j**4/12 - j**3/6 + 2*j**2 + 4*j. Let r be c(0). Is 11 a factor of 21/((r + -2)/2)?
False
Suppose 0*j = -2*j + 24. Let n = j - -9. Is 21 a factor of n?
True
Let c = 2 + 6. Let t be (c/(-10))/(3/(-15)). Suppose t*x + p - 103 = 16, 0 = -2*x + 4*p + 64. Is x a multiple of 15?
True
Let i = 23 + -8. Let u be (-2)/6 - 130/i. Is 9 a factor of