s x a multiple of 9?
True
Let h(f) = 3*f + 1. Let a be h(9). Let z = -17 + a. Does 3 divide z?
False
Suppose -3*k - 135 = -0*k. Let s = -24 - k. Is s a multiple of 10?
False
Let h(q) = 2*q**2 + 10*q + 9. Let b(d) = 8*d**2 + 40*d + 37. Let g(t) = -2*b(t) + 9*h(t). Let y be g(-7). Suppose 0 = -5*p + 60 + y. Does 16 divide p?
False
Suppose 4*y = -q + 71, -4*q + 96 + 112 = -3*y. Let h(d) = -3*d - 14. Let g be h(-6). Suppose 2*o + p - q = 0, g*o - o = -5*p + 93. Is 13 a factor of o?
True
Suppose 10*j - 2*j - 664 = 0. Is j a multiple of 20?
False
Let n be (-20)/3*(-9)/3. Is 11 a factor of n - (2 - 0 - 4)?
True
Let v(y) = -2*y + 6. Let z be v(0). Suppose z*l = l + 300. Is 24 a factor of l?
False
Suppose -5*a + 10*a = 5, -3*d = -a - 197. Let q = -47 + d. Is q a multiple of 16?
False
Let x = -45 - -208. Is 12 a factor of x?
False
Let g = -5 - -64. Is 10 a factor of g?
False
Let p(q) = -7*q - 7. Suppose 4*f + f + 3*j + 18 = 0, -j = -3*f - 22. Does 12 divide p(f)?
False
Let v(t) = 3*t - 2. Does 8 divide v(6)?
True
Suppose 5*g - 1720 = -280. Is g a multiple of 48?
True
Suppose 96 = 2*t - 0*t + 2*x, -3*t = -3*x - 144. Does 16 divide t?
True
Let h be (-4)/(-10) + (-68)/20. Let i = h - -30. Is 7 a factor of i?
False
Suppose 5*z - 5*g = 30, -2*z - 3*z - g = -54. Does 20 divide (z/(-6))/(3/(-36))?
True
Let d(m) = m**3 + 7*m**2 + 6*m + 7. Let f be d(-6). Is 7/(f/30) - 0 a multiple of 10?
True
Let u(a) = 2*a + 2. Let x be u(-5). Let t be (-21)/(-4) + 2/x. Suppose t*i - 131 + 31 = 0. Is 10 a factor of i?
True
Suppose -4*p = -712 - 56. Suppose -5*x + 3 = -p. Let f = x + -7. Is 16 a factor of f?
True
Let z(n) = -2*n. Let h be z(-2). Suppose h*y + 9 = -7. Is 7 a factor of (y/10)/((-2)/130)?
False
Let f = -5 + 6. Suppose -4*x - 12 = -m, 5*x + 25 - 3 = 3*m. Suppose 13 = 5*r - o, 2*r + 7 = -m*o - f. Is r a multiple of 2?
True
Let h be ((-77)/(-28))/((-1)/4). Let g = 35 - h. Is g a multiple of 23?
True
Let j = 52 - -28. Suppose -2*p - 2*b - j = -3*p, 0 = -2*p - 3*b + 167. Does 27 divide p?
False
Let r be (-1 + 8)*(-176)/(-16). Suppose 0*i - 4*a = -2*i + 26, r = 4*i - 3*a. Does 16 divide i?
False
Suppose 0*g = 4*h - 2*g - 12, -2*h = -4*g - 6. Suppose -2*x = -x + h. Let k = x + 18. Is 15 a factor of k?
True
Let d = 11 - -48. Let a(h) = 5*h**2. Let x be a(1). Suppose -x*o + d + 6 = 0. Is o a multiple of 13?
True
Suppose -3*p = 2*x - 65, 0 = -2*p + 7*p + 3*x - 109. Is 20 a factor of p?
False
Let u = 18 - 9. Is u a multiple of 9?
True
Suppose b - 1 = 3*g, -2*g - 2 = -0*g. Does 25 divide 16/(b - -4)*4?
False
Suppose -2*w - 20 - 11 = -3*m, -w = 4*m - 34. Is 15 a factor of ((-18)/5)/(m/(-150))?
True
Suppose 0 = 4*d - 5*k + 7, -3*k + 0 + 1 = -4*d. Suppose d*r = -2*r - 72. Is (-1)/3*(r - -3) a multiple of 5?
True
Is 13 a factor of (-3)/8 - (1 - 460/32)?
True
Let z(c) = c**2 - c + 14. Let d be z(0). Let x = d + -7. Is 7 a factor of x?
True
Let g(z) = 11*z**2 + 4. Is g(2) a multiple of 8?
True
Suppose n = -9 + 33. Does 12 divide n?
True
Suppose 3*y - 5*m - 273 = 0, y + 0*y - m = 91. Suppose -4*t - 4 + 20 = 0. Suppose -37 = -t*h + y. Is 12 a factor of h?
False
Let q be (3 - -1)*(-11)/(-22). Suppose 15 + 47 = q*f. Is 14 a factor of f?
False
Does 22 divide ((-2)/4)/((-4)/736) + -4?
True
Suppose 1 = 2*d - 7. Let o(r) = -45*r. Let w be o(-2). Suppose -c - w = -d*c. Is c a multiple of 15?
True
Suppose -20 + 7 = -u. Suppose 50 = 4*b - k, 5*b - 2*k - 77 = -u. Does 4 divide b?
True
Let g be -10*1*(-1)/2. Suppose 72 = g*r - r. Does 18 divide r?
True
Suppose -5*u + 3*y + 20 = 0, 5*y + 30 = 4*u + u. Let r(f) = 61*f**3 + 2*f - 1. Is r(u) a multiple of 17?
False
Suppose -4*q = 493 - 2393. Let v be 1/3 + q/15. Suppose -2*i + 2 = -v. Is i a multiple of 17?
True
Suppose d - 2 = 6. Let p = d - 3. Suppose 0 = l - p*w - 7, 4*w + 9 = 2*l - 5. Is l a multiple of 4?
False
Suppose 5*u - 2 = -2*a, 3*a + 23 = 3*u + 5. Suppose 8 = -2*o - u*o, 5*n = 5*o + 110. Is 10 a factor of n?
True
Is 8 a factor of 202/6 - ((-66)/(-18) - 3)?
False
Suppose 7*z = 4*z. Suppose -5 = -r - z, 59 = 3*p - 5*r. Does 14 divide p?
True
Let x be 2*2/(-4) - -3. Suppose 4*g = x*g + 34. Does 13 divide g?
False
Suppose -2*m + 6*m - 48 = 0. Suppose 0 = 5*u - m - 88. Does 9 divide u?
False
Suppose 4 + 1 = 5*b. Suppose m - 2*r = 1, -m = r - b - 6. Is 5 a factor of m?
True
Let s = 182 + -93. Is s a multiple of 10?
False
Let a(s) = s**3 + 13*s**2 - 4*s - 16. Is 40 a factor of a(-11)?
False
Let j be 3 - (-61)/(-3 + 2). Is (j/4)/((-3)/6) a multiple of 14?
False
Let y(j) = 0*j - j + 4 + 0 + 3. Suppose 0 = 3*h - h. Is y(h) a multiple of 7?
True
Let a(m) = m**3 - 7*m**2 - 12*m - 6. Is 36 a factor of a(9)?
False
Suppose 0 = k - 2 - 2. Suppose k*t = 60 + 148. Is t a multiple of 22?
False
Does 4 divide (12/15)/(1/55 + 0)?
True
Suppose -4*o + 592 = -0*o. Does 24 divide o?
False
Let n(s) = -43*s. Is n(-1) a multiple of 13?
False
Let y = -21 - -35. Is y even?
True
Let o(c) = 3*c**3 - 3*c**2 - 3*c + 1. Let h be o(2). Suppose 0 = -5*s - 0*s. Let z = h - s. Does 6 divide z?
False
Let k be (-1)/((-4)/(-17 + -3)). Let p(m) = -2 - 4*m - 3 - m. Does 13 divide p(k)?
False
Let f(r) = -44*r**2 - r + 1. Let i be f(1). Let u = 3 - i. Suppose -3*p + 0*m = 2*m - 55, -3*p - 4*m = -u. Is 12 a factor of p?
False
Suppose -2*l + 74 = s, l - 184 - 43 = -3*s. Is 4 a factor of s?
True
Suppose 2*i + t + 15 = 7*i, -2*i - 2*t + 18 = 0. Suppose -2*j + 3*d + 9 = 0, i*d = j - 2*j - 12. Suppose j = -r - r + 10. Is r a multiple of 5?
True
Suppose -3*m - m = 3*x - 22, m = 2*x - 11. Let t = 10 + x. Is 16 a factor of t?
True
Is 11 a factor of 55/2 - 3/6?
False
Suppose 14*g = 7*g + 70. Is 10 a factor of g?
True
Suppose -4 = 2*o - 96. Is 46 a factor of o?
True
Suppose 0 = -2*l - 2*m + 46, -3*l - 2*m + 59 = -m. Is l a multiple of 7?
False
Let m(n) = -20*n - 3. Suppose 0 = -3*c + 3*h + 3, -3*c + 7 = -6*h + 2*h. Is m(c) a multiple of 19?
True
Suppose 4*j - 3 = 1. Let w = 3 - j. Is w a multiple of 2?
True
Suppose -3*o + 0*o = -9. Suppose 5*s + o*c = 44, 2*c - 26 = -3*s - 0*c. Is 2 a factor of 16/s + 6/15?
True
Suppose 11*a - 56 = 879. Does 20 divide a?
False
Let d(h) = -h**2 + 6*h - 3. Let b(n) = n. Let t be b(2). Is d(t) a multiple of 5?
True
Suppose b + 2*b + 4*n + 14 = 0, 5*b + 5*n + 15 = 0. Suppose -b*a = 3*a + 95. Is a/(-2) - 2/4 a multiple of 8?
False
Suppose 4*g = 3*g. Suppose 24 = 2*u - g*u. Does 10 divide u?
False
Let n(w) = 28 - w**2 - w - 31 + 49 + 0*w**2. Is n(0) a multiple of 14?
False
Let t(h) = -3*h + 1. Let p be t(-2). Suppose 1 = 4*x - p. Is x a multiple of 2?
True
Suppose -2*w - 10 = 5*r, 2*w + 4 = -2*r - 0*r. Let b be (6/4)/((-1)/r). Does 6 divide (-84)/9*b/(-2)?
False
Let p(d) = -30*d**2. Let r be p(-1). Let x be 356*(r/(-8) - 3). Does 15 divide x/18 + 1/6?
True
Let v(d) be the first derivative of -d**2 + d + 5. Suppose 4*c = -2*g - 40, 4*c - g - 2 = -30. Is 16 a factor of v(c)?
False
Let a(p) be the third derivative of -p**4/6 + p**3 + 3*p**2. Suppose -q + 12 = -3*q. Is a(q) a multiple of 15?
True
Let k = 6 + -6. Suppose o = -5*p + 14, -4*p = -5*o - k*p + 70. Does 5 divide o?
False
Let u = -31 + 63. Does 15 divide u?
False
Suppose 103 - 34 = a. Suppose 4*v - a = v. Does 23 divide v?
True
Suppose 3*z - 16 = 3*t + z, 2 = -3*t - 5*z. Let x(m) = -5*m - 6. Is x(t) a multiple of 5?
False
Let d = -109 + 107. Let l(i) = 1 + 0 - 9*i + 0. Is l(d) a multiple of 9?
False
Let b = -90 + 144. Suppose 5*m + 570 = 5*c, m = -2*c + b + 165. Let h = c - 63. Is 16 a factor of h?
True
Let l(i) = -i**2 - 13*i + 6. Let d be l(-12). Suppose m + h - d = 0, -3*m = -0*h - 2*h - 54. Is 7 a factor of m?
False
Let b = -10 - -6. Let i = 36 + b. Is i a multiple of 16?
True
Let y(u) = -5*u - 8. Let m be y(-5). Let r = -13 + m. Is 3 a factor of r?
False
Let v = -17 + 14. Is (9 - 1)*v/(-4) a multiple of 3?
True
Suppose 0 = 3*h + 2*g - 339, 0 = 5*h - g - 440 - 125. Is h a multiple of 12?
False
Let p be 2*(-3)/(-2) + -5. Let w = 0 + p. Does 10 divide (w - -12)/((-1)/(-2))?
True
Let c = -11 - -37. Let q = c - 18. Is q a multiple of 3?
False
Let z = 150 - -8. Is 12 a factor of z?
False
Suppose -25 = 5*z, f + 20 = 3*f - 2*z. Suppose -4*w + 112 = 3*i, 5*w + f*i + 0*i = 145. Let k = -8 + w. Is k a multiple of 7?
False
Suppose -x + 5*q + 147 = 2*x, 0 = 5*q + 15. Does 22 divide x?
True
Let a(j) = j**3 - 10*j**