 4. Does 12 divide g(d)?
False
Suppose 0 = s, 2*s - 42 = 4*n + 2. Let z = n + 47. Is 20 a factor of z?
False
Let o = -21 + 24. Is o a multiple of 2?
False
Suppose 0 - 6 = -q. Is q even?
True
Let f = -6 - -10. Suppose f*v - 108 = v. Let a = 54 - v. Is a a multiple of 18?
True
Suppose -5*d - 33 = 4*m, -1 = m - 3*d - 14. Is (-58)/(-1) - 4/m a multiple of 15?
True
Suppose 2 + 8 = 5*p. Suppose -3*y + 2 = -1, -p*v - 3*y = -29. Is 5 a factor of v?
False
Let t(b) = b**3 + 12*b**2 + 15*b + 5. Does 10 divide t(-7)?
False
Let v = 17 - 12. Suppose j = -v*b + 22, -2*j - 2*j + b = 17. Is 3 a factor of j/5*5*-1?
True
Let y = 282 + -132. Is 50 a factor of y?
True
Suppose -3*d + 2 = -13. Let k = -3 + d. Does 3 divide 2 + k/(-2) - -7?
False
Let m(l) = 19*l + 1. Let d be m(9). Suppose 2*s = 5*s + 4*n - d, 0 = 5*n - 5. Is s a multiple of 20?
False
Let o(n) = 3*n**2 - 4 + 12*n - 1 - 3*n. Let s be o(-7). Suppose z - 4*i = 11, -5*z - 2*i = 2*i - s. Is z a multiple of 7?
False
Let v(l) be the third derivative of l**5/60 + l**4/3 + l**3/3 - 3*l**2. Is v(-9) a multiple of 11?
True
Let s = 13 - 10. Is s a multiple of 2?
False
Suppose 3*p + 3*m - 77 - 109 = 0, 5*p = -m + 318. Let f = -26 + p. Is f a multiple of 19?
True
Let d = 224 + -134. Does 18 divide d?
True
Does 15 divide 6/4*(64 - 2)?
False
Let w(r) = 2*r**3 + r**3 - 3*r - 2 + 3*r**3 - 5*r**2 - 5*r**3. Let d(b) = -3*b - 6. Let c be d(-4). Is w(c) a multiple of 13?
False
Suppose 0 = -4*z - 4*r + 464, -5*r = -5*z - 0*z + 550. Does 10 divide z?
False
Let j be 114/42 + 4/14. Let o = -1 + j. Suppose 0 = g - o*g + 22. Is g a multiple of 22?
True
Let t be -48*2*1/(-2). Suppose -5*s + t + 37 = 0. Let p = s - 4. Does 13 divide p?
True
Suppose -k + 7 + 32 = 0. Suppose -7*i + 2*i - 5 = -2*o, 5*o - 3 = 3*i. Let n = k - o. Is n a multiple of 13?
True
Suppose -2*s - k - 2*k + 20 = 0, 0 = -s - k + 9. Is s a multiple of 7?
True
Let q be -1 + 5 - (3 - 5). Suppose -d = -6 - q. Suppose 3*h - d - 42 = 0. Is h a multiple of 11?
False
Suppose 3*k - 5*k + 182 = 5*p, 0 = 4*p - 16. Suppose z - k = -2*z. Does 16 divide z?
False
Let w = 2 - -3. Let v(t) = -5*t**2 + t**2 + w*t + 3*t**2 - 3 + 5. Does 4 divide v(3)?
True
Does 7 divide 89/1 + 1/(1/(-2))?
False
Let l(d) = 10*d + 1. Suppose -3*r = -5*g - 7*r + 25, 4*g - 4*r = 20. Is l(g) a multiple of 13?
False
Suppose 0 = 6*q - 3*q - 4*p + 11, 3*q + 5*p - 34 = 0. Let b = -3 + q. Suppose 2*z = -r + 32, 4*r + z - 74 - 68 = b. Is r a multiple of 18?
True
Let g(k) = k**2 + 4*k + 85. Is g(0) a multiple of 10?
False
Suppose 3*u = 7*u - x - 14, u = -2*x - 1. Suppose 0*m - t + 75 = 2*m, m = u*t + 34. Does 12 divide m?
False
Suppose -4*j = -4*q + 280, 4*q + 0*q - 280 = -5*j. Is q a multiple of 14?
True
Does 22 divide ((-404)/2)/(33 + -35)?
False
Let w be 8/4 + -1 + 1. Suppose -p - 3*c + w = -61, 3*c + 282 = 4*p. Is p a multiple of 18?
False
Let i be 10 + -1 - 0/(-1). Let h(w) = -w**3 + 9*w**2 - w + 3. Let s be h(i). Let f = 5 - s. Is 11 a factor of f?
True
Let q = 13 - 9. Suppose 0 = 3*l - o + 2*o - 83, -3*l + q*o + 73 = 0. Is 7 a factor of l?
False
Let b = -38 + 55. Does 17 divide b?
True
Let z be 146/6 + 2/(-6). Let p(x) = x - 2. Let r be p(4). Is (1 + 0)/(r/z) a multiple of 12?
True
Let l = 53 - -123. Suppose 0 = -v - v + l. Suppose 0*r = -4*r + v. Is 11 a factor of r?
True
Let o(v) = -v**3 + 7*v**2 + 3*v - 1. Let c be o(7). Suppose 0 = 2*r + 5*j + 16, -c = 4*r + 2*j + 2*j. Let i = r + 8. Is 5 a factor of i?
True
Let v be (-15)/6*4/5. Does 4 divide 165/20 + v/8?
True
Let u = 7 + -4. Suppose h + 5*q + 143 = u*h, 2*h - 98 = -4*q. Is 14 a factor of h?
False
Suppose -118 = -5*d + 3*s, -3*d + 2*s = 5*s - 66. Let v(y) = -13*y**2 - 2*y + 1. Let f be v(1). Let u = d + f. Is 9 a factor of u?
True
Suppose 0 = -2*i + 2*b + 23 + 35, -4*i = -b - 125. Suppose 0 = 3*l - l - i. Is l a multiple of 16?
True
Let d(f) = f**3 - 12*f**2 + 35*f - 9. Is 5 a factor of d(9)?
False
Suppose 4*j = -2*k + 188, j + 2*j - 167 = 5*k. Does 24 divide j?
False
Suppose 10 = p + 4*p. Suppose f - p*l + 9 = 0, -27 = -f + 4*f + 3*l. Let n(r) = r**2 + 7*r - 9. Is n(f) a multiple of 4?
False
Let f(l) = -l**2 + 3*l + 4. Let u be f(-4). Is 6/u + 50/8 a multiple of 3?
True
Suppose 0 = 4*g - l - 35, -2*g + 40 = -0*g + 4*l. Is g a multiple of 5?
True
Suppose s = 1, 5*j + s = -35 - 4. Let p = j + 85. Let q = p + -37. Does 20 divide q?
True
Let c(k) = 1 - 6*k + 4*k + 2. Let i be c(5). Is 6 a factor of (-40)/i + 8/28?
True
Let s = -2 - -5. Suppose -4*k + 2*b + 78 = 0, -s*b = -3*k + b + 46. Is k a multiple of 6?
False
Is 28 a factor of 210/(9/(-6) + 3)?
True
Let g = 17 + -14. Does 15 divide 43 + 0 - (1 - g)?
True
Suppose 4*o - 2*f + 5*f = 274, -3*f = -o + 61. Is 6 a factor of o?
False
Let d be 1/(-1)*8/(-2). Suppose -9*k + 14*k = 15. Let t = d + k. Is 3 a factor of t?
False
Let c = 36 - 24. Suppose -2*n + 0*n + c = 0. Does 2 divide n?
True
Let c(s) = s**2 + 2*s + 1. Suppose -2*i - 5*t = 20, -22 = 4*i - 0*i + t. Is c(i) a multiple of 6?
False
Let d be -1*(-56)/(-20)*5. Does 14 divide (-2 - d)/(9/42)?
True
Let m(f) = 2*f**2 + 3*f - 4. Let t be m(4). Let a be (5 - -1)*t/(-6). Is 10 a factor of 3/2*a/(-6)?
True
Suppose -13*b = -17*b + 20. Is b a multiple of 5?
True
Let w = 16 - -22. Suppose -4*m + 54 = 5*k, 4*m = m - 5*k + w. Is 8 a factor of m?
True
Suppose d + 60 = 4*d. Let y = -3 + 3. Suppose 2*b + 2*z - d = y, -b - 5*z + 2 - 8 = 0. Does 7 divide b?
True
Suppose 5*c = -2*t + 10, -4*c + c = t - 6. Suppose t*k = -3*k. Suppose 3*s - 7*s + 56 = k. Is s a multiple of 10?
False
Let h = -46 - -21. Let g = h - -35. Is 10 a factor of g?
True
Suppose -3*y = -0*y + 3*d - 84, 4*y + 3*d = 113. Let o = y + -16. Is 7 a factor of o?
False
Let q = -9 + 11. Suppose 2*y - 4 = 2*z, 3*z = -q*y - y - 6. Suppose y*n = n - 22. Is n a multiple of 11?
True
Let t = 664 + -440. Is 14 a factor of t?
True
Let x(l) = -26*l**3 - 1. Let d be x(-1). Let n = d - 18. Is n a multiple of 3?
False
Let i(j) = 4*j - 1. Let y(o) = o**3 + 5*o**2 + 4*o - 4. Let s be y(-4). Let l be (s/5)/(4/(-10)). Does 4 divide i(l)?
False
Let i(d) = 2*d + 2. Suppose -2*z + 22 = -3*g, 4*z - 16 = -5*g + 4*g. Does 6 divide i(z)?
True
Let y = 10 + 16. Does 6 divide y?
False
Suppose 99 + 1 = 2*v. Is 25 a factor of v?
True
Suppose 5*t - 2*m + 4*m + 88 = 0, t = m - 12. Does 11 divide 3*-1 - (2 + t)?
True
Suppose 0*r + r = 46. Suppose -262 = -4*n - r. Suppose 4*z - z = n. Is z a multiple of 9?
True
Let j(y) = -y**2 + 6*y - 6. Let b be j(6). Let g = 0 - b. Suppose g*r - 100 = r. Is r a multiple of 10?
True
Suppose 7 + 8 = 5*s. Suppose -71 = -3*u + r, -3*u + 27 = -2*u + s*r. Is 12 a factor of u?
True
Let r(p) = p**3 - 6*p**2 - 6*p + 1. Suppose -3*y - 2*l + 12 = l, -y - 16 = -4*l. Suppose -s + 4*s - 21 = y. Does 3 divide r(s)?
False
Suppose 5*l = 9*l + 6096. Is (-3)/7 + l/(-28) a multiple of 12?
False
Does 5 divide (17/7 + (3 - 4))*14?
True
Let a(c) = -2*c + 2*c - 166 - c. Let i be a(0). Is i/(-7) - (-2)/7 a multiple of 14?
False
Is 5 a factor of (-1 - (-24)/15)*135?
False
Let r(p) = p + 8. Let l be r(-6). Suppose -w + l*q + 33 = 2*w, 0 = 2*w - 5*q - 33. Does 3 divide w?
True
Suppose -3*d = -d - 288. Does 9 divide d?
True
Suppose 0 = -5*l - 5*t + 25, -2*l + 2*t - 1 - 1 = 0. Suppose -6 = -4*a - l*w, 0*a = a + 5*w - 15. Suppose -3*g + 33 = -a*g. Is g a multiple of 11?
True
Let r be (-1)/1*(-1 + 2). Let v = 4 + r. Suppose 5*x - 57 = v*g, -g + 3 - 52 = -5*x. Does 9 divide x?
True
Suppose -33*k - 152 = -37*k. Is k a multiple of 16?
False
Let h = 4 - 4. Suppose -j + 3*v + 8 = h, -j + 3*j - 4*v - 12 = 0. Suppose 0 = -j*x + 7 + 57. Is x a multiple of 13?
False
Suppose 3*u + 2 = -1. Let r(i) be the first derivative of 11*i**3/3 + i**2 + i + 7. Is 6 a factor of r(u)?
False
Suppose 55 + 224 = 9*d. Is d a multiple of 9?
False
Suppose 0 + 10 = -5*d, -4*d = 2*f - 2. Is f a multiple of 2?
False
Suppose f - 175 = -5*h, 0 = 7*f - 3*f + 20. Is 9 a factor of h?
True
Is (-3 - -1)*(-57)/6 a multiple of 13?
False
Suppose 68 = 2*u - 4. Is 6 a factor of u?
True
Suppose 4*v + 4*f = 20, -3*f + 2 = -f. Let g = 4 - v. Suppose g = 2*i - 15 - 25. Is 10 a factor of i?
True
Let x = -4 + 6. Suppose -y - 4*q = -x*q - 4, -4*q = -5*y + 6. Is y even?
True
Let g(s) = 6*s**3 + s**2 - 3*s + 2. Does 12 divide g(2)?
True
Let s(f) = -f**2 + 6*f + 9. Let c be s