*f + o + 197 = 0, -5*f - 5*o + 215 = 0. Let r = -15 + f. Is 12 a factor of r?
False
Suppose -4*o + 42 = l, -70 - 32 = -3*l - 4*o. Is l a multiple of 7?
False
Let v(i) = -3*i - 9. Let l be v(-6). Does 23 divide (3/l)/(2/354)?
False
Suppose 5*v + 3 = -17. Does 36 divide 3 + v - -129 - 1?
False
Suppose 0 = -4*x + 2*w + 32, 0 = 4*x + 3*w - 0 - 52. Is x a multiple of 10?
True
Let s(t) = 3*t**2 + 4*t - 4. Let w be s(3). Suppose -4*o + w = o. Is o a multiple of 7?
True
Suppose 3*t + 16 = -11. Does 14 divide (-3)/(t/14)*6?
True
Suppose 5*k + 31 = 281. Let o = 92 - k. Is o a multiple of 14?
True
Let s = -129 + 186. Does 19 divide s?
True
Suppose 5*j = 8*j - 78. Is j a multiple of 12?
False
Let n(p) = -p**2 - 9*p + 8. Is 9 a factor of n(-6)?
False
Suppose 16*a - 4*a = 828. Does 11 divide a?
False
Suppose -h + 10 = h. Suppose 3*v - 2*v + 3*o = h, 0 = -4*v - 3*o + 20. Is 4 a factor of v?
False
Let h = -31 - -38. Is h even?
False
Let s = 76 - 66. Is s a multiple of 3?
False
Let j(p) = 17*p - 2. Let a be j(3). Let u = -28 + a. Is (u/2)/((-2)/(-4)) a multiple of 8?
False
Is 7 a factor of 5/((-50)/255)*-2?
False
Let c = -3 - -6. Suppose 0 = -r, 0 = 5*i + 4*r - 48 + c. Suppose 3*j - i = 27. Does 4 divide j?
True
Let f(z) = -22*z - 16. Does 7 divide f(-2)?
True
Is 26 a factor of (-78)/24*-16*1?
True
Let h = 0 + 3. Suppose 2 - 8 = -h*r. Does 5 divide ((-15)/r)/((-6)/8)?
True
Suppose -5*h + 17 = 4*v - 4, 5 = 5*h. Let x(f) = 2*f**2 - 5*f + 4. Let w be x(v). Let u = w - -13. Is u a multiple of 8?
False
Suppose -51 = w - 3*w - 5*c, -57 = -2*w + c. Let s = 53 - w. Is s a multiple of 13?
False
Let q(a) = -4*a + 50. Does 5 divide q(0)?
True
Let j = 25 + -15. Let y(r) = -j + 7*r + 6*r - 6*r. Does 15 divide y(7)?
False
Suppose 0 = -5*f - 5*i, 29 = 5*f - 3*i - 11. Suppose -4*l + 2*l - 11 = -h, f*h + 5*l = -5. Suppose -26 = -z + 2*j, z = h*z - j - 52. Is z a multiple of 13?
True
Let o = -60 + 240. Let w = -128 + o. Does 15 divide w?
False
Let h be 155*1 + 14/(-7). Let s(p) = -3*p**3 + 3*p**2 + p - 3. Let k be s(-3). Let i = h - k. Is i a multiple of 18?
False
Let i be (-5100)/(-28) + (-3)/21. Suppose 0 = 4*f + 34 - i. Is f a multiple of 11?
False
Let f = -9 + 13. Suppose 5*w = -f*p + 26, -2*p + 14 = 2*p - w. Is p even?
True
Let b = 0 + -1. Suppose 3*v = -0*v + 3. Does 10 divide 9/(0 - b) + v?
True
Let o(d) = 2*d + 2*d**2 - 6 + 0*d - 2*d + 7*d. Is o(4) a multiple of 18?
True
Let a(u) = 2*u - 4. Suppose -w = -5*w + 36. Let z be a(w). Is 4/z - 267/(-21) a multiple of 10?
False
Let v = -34 - -76. Is v a multiple of 21?
True
Suppose 4*j - 4*u = 32, -2*j - 2*j - 4 = 5*u. Suppose 0 = -0*v + 4*v - 52. Let d = v - j. Is 6 a factor of d?
False
Let m = -42 + 21. Let c = -4 - m. Is 17 a factor of c?
True
Suppose 6 = -5*k + 46. Let s be (1/3)/((15/36)/5). Suppose 84 = s*v - 4*n + k*n, v - 27 = 5*n. Does 11 divide v?
True
Suppose 3*x - 30 = 2*h, 4*h + 5 - 33 = -5*x. Is x a multiple of 4?
True
Let k be 0 + 2 + 5 + 32. Suppose 3*q = -3*g - k, 18 + 23 = -2*q + g. Let j = 39 + q. Is j a multiple of 7?
True
Let w = 25 - 10. Suppose -w = 5*b, -3*z - 2*b + 5 + 1 = 0. Is z a multiple of 2?
True
Let k = -9 + 23. Is k a multiple of 4?
False
Let t = 4 + -2. Is (-1)/t*-106 + -2 a multiple of 24?
False
Is 5 a factor of (-546)/(-9) - 3*4/(-36)?
False
Suppose -5*n = 7 + 3. Let w be n - (1 + 0)*-6. Let q(h) = h**2 + 4*h - 4. Is q(w) a multiple of 11?
False
Let b(x) = -x**2 + 10*x - 2. Let t be b(8). Suppose -4*p = 3*g - 103, 76 = 2*g - 4*p + t. Is g a multiple of 19?
False
Let o be -7*1 - 32/(-8). Is 10 a factor of 20/o*(-3 - 3)?
True
Let m(p) = -5*p. Let j be m(-4). Suppose q - 2*k = -7, k = -3*k + j. Suppose -4*g - 11 = -q*a + 47, 4*g + 72 = 4*a. Is a a multiple of 14?
True
Suppose 2*l = -5*m + 15, 0 = -2*m + m + 3. Does 14 divide ((-6)/(-3) - l) + 12?
True
Let g(b) be the third derivative of b**5/60 + 5*b**4/24 + 2*b**3/3 - 3*b**2. Is g(-7) a multiple of 9?
True
Let j = -53 - -79. Is j a multiple of 2?
True
Let j = 28 - 10. Is 6 a factor of j?
True
Suppose 122 = 3*j - 106. Is 17 a factor of j?
False
Suppose -4*i = 4*d - 60, 2*d - 31 = 2*i - 3*i. Is d a multiple of 16?
True
Let r(j) = 5*j. Let m be r(2). Is (-4)/m + (-244)/(-10) a multiple of 9?
False
Suppose -v - l = 2*v - 8, 0 = -3*v - 5*l + 28. Suppose -4 = -3*o + 5. Suppose v = o*m - 65. Is m a multiple of 8?
False
Let w(b) be the second derivative of 2*b**3/3 - 11*b. Does 5 divide w(4)?
False
Let v be ((-32)/6)/(6/(-9)). Let o(t) = -t**3 + 9*t**2 - 9*t + 11. Let p be o(v). Suppose -p*k = -10*m + 5*m - 63, 4*k + 4*m = 84. Is k a multiple of 10?
False
Let q = 11 + -9. Suppose 0 = 4*f + 3*y - 9, -3*f - q*y = -8. Is 5 a factor of f?
False
Let s(p) = -p**2. Let u be s(0). Suppose 4*z - 3*t - 34 = 0, -z - 3*z - 5*t + 18 = u. Let a(g) = -g**2 + 7*g + 10. Is 10 a factor of a(z)?
True
Suppose -4*k - 38 + 678 = 4*w, 2*k = 2*w + 328. Is 27 a factor of k?
True
Suppose -4*v + 3*n - 5*n = -346, -2*n = 5*v - 432. Is 21 a factor of v?
False
Let b(k) = k - 7. Let d be b(7). Suppose 5*n - 6*n + 8 = d. Is n a multiple of 3?
False
Let z be 0*1/(-2) + 3. Suppose -4 = -z*o + 62. Does 4 divide (o + 0)/(2/1)?
False
Let t = -5 + 11. Suppose 2*w = t*w - 80. Does 7 divide w?
False
Let x(m) = -m**2 - 5*m + 1. Let p be x(-5). Let d be p/(2 + 9/(-6)). Suppose 42 = d*l - 48. Is l a multiple of 22?
False
Suppose -14*q - 2604 = -26*q. Is q a multiple of 21?
False
Let q = 6 - 4. Suppose z + 3*a - 32 = 0, -z - 2*a + 110 = q*z. Does 14 divide z?
False
Let b be (118/(-2))/(4 + -3). Let o = b - -109. Does 25 divide o?
True
Let j = -8 + 89. Is 27 a factor of j?
True
Suppose 4*k = -0*k + 20. Let l(a) = a**3 - 3*a**2 - 7*a + 4. Is 5 a factor of l(k)?
False
Suppose 5*w - 4*w = 12. Is w a multiple of 3?
True
Suppose r = 4*z - 41, 5*r + 9 + 6 = z. Suppose -i - 3*i = -12. Suppose u = i*t + z, 0*u - 2*t + 35 = u. Does 13 divide u?
False
Is (26/(-10) + (-3)/(-5))*-22 a multiple of 11?
True
Let u be -3 - (-3)/(3/32). Let l = u + -7. Is l a multiple of 13?
False
Let j be (-2 - 10/(-6))*-9. Suppose 0 = j*t - 4*k + 1, -5*k = t - 4*t - 5. Suppose 0*q + t*q = 45. Is q a multiple of 8?
False
Let y = -9 - -7. Let j = y + 11. Is j a multiple of 9?
True
Suppose -4*t - 30 = -2*x, -3 = -5*x + 3*t + 37. Suppose -x*w = -2*w - 12. Is (w/8)/(1/22) a multiple of 11?
True
Suppose p = -p + 24. Is 8 a factor of p?
False
Suppose 4*l - 2*l + 12 = -4*v, 5*v = -3*l - 16. Does 19 divide ((-48)/6)/(l/8)?
False
Let o be -2 - 3/(1 - 4). Is 5 a factor of o + -3 + 21 - 3?
False
Let o = -54 + 89. Is 35 a factor of o?
True
Suppose -7*y + 2*y + 210 = 0. Does 14 divide y?
True
Suppose 14*h - 19*h + 1235 = 0. Is h a multiple of 13?
True
Suppose 31 - 7 = -2*r. Let d be (-18 + 1)/(4/r). Suppose d = p + 2*p. Is 17 a factor of p?
True
Let c(z) = 0 + 1 + 4*z**2 + 10*z**2 - 4*z**2. Does 11 divide c(1)?
True
Suppose -v + 0*c - 4*c + 170 = 0, 0 = 5*v + 2*c - 850. Is v a multiple of 34?
True
Let r(c) = c. Let t(g) = g**3 - 3*g**2 - g + 3. Let s(n) = 4*r(n) - t(n). Let p be s(4). Let v = 10 - p. Is v a multiple of 4?
False
Suppose -3*m + 4*o + 69 = -0*o, -m + 36 = 3*o. Is m a multiple of 8?
False
Suppose 5*k - 10 = 2*y, -y + 0*y - 2*k - 14 = 0. Let c = y - -22. Let n = c + -2. Does 10 divide n?
True
Let b = 6 + -4. Suppose 12 = b*o + 4*u, 4*o + u + 2 = 5. Suppose s - 4*s + q = -16, o = -4*s + 4*q + 24. Is s a multiple of 2?
False
Let p(l) = -12*l - 1. Suppose -3*t - 24 = -2*d - d, -5*t = -4*d + 37. Is 15 a factor of p(t)?
False
Suppose 4 = 4*x + j - 5, 5*x - 30 = -5*j. Let g be (3/((-6)/(-140)))/x. Let o = g - 42. Is o a multiple of 16?
False
Let n = 3 - 3. Suppose -y + n*y + 30 = 0. Is 15 a factor of y?
True
Let c be (6 - 2)/(2/2). Does 18 divide 2/c*31*2?
False
Suppose 5*m - 6 - 4 = 0. Suppose 0 = 5*w - 8 - m. Suppose w*a + 2*a - 128 = 0. Does 13 divide a?
False
Let i(c) = -20*c - 9. Let t be i(4). Let b = -45 - t. Is b a multiple of 11?
True
Let w(t) = 6*t - 2. Let d be w(3). Suppose -2*h = 2*h - d, 2*o - 84 = 5*h. Does 26 divide o?
True
Suppose -s - 2 = 5*t, 5*s + t + 10 = -t. Let u = s + 3. Is 7 a factor of (u + 0)*(-1 + 8)?
True
Suppose 0 = -3*a + 5*a. Let i = 4 - a. Is (-4)/((16/(-10))/i) a multiple of 5?
True
Let g = -2 - -9. Let d = g - -25. Suppose -40 - d = -3*t. Is t a multiple of 12?
True
Let j be 1/(-2) + 7/2. Let b(