y?
False
Let k = 3 - 1. Suppose -k*l = l - 3, -34 = 4*a - 2*l. Is (-118)/a - 1/(-4) a multiple of 15?
True
Does 12 divide (-31 + 33)/((-1)/(-48))?
True
Suppose -o = -0*i - 5*i - 67, -5*o = i - 309. Does 22 divide o?
False
Let t(z) be the second derivative of -3*z + 1/20*z**5 + 0 - 5/6*z**3 - 5/12*z**4 - 9/2*z**2. Does 18 divide t(7)?
True
Let a(r) = -7*r**2 - 3*r. Let q be a(-2). Let y = 41 + q. Is y a multiple of 15?
False
Let k = -94 - -187. Is 20 a factor of k?
False
Let s = 2 + -3. Let p be 1/s - (-594)/6. Suppose -5*i + p = 38. Is i a multiple of 6?
True
Let l = -106 - -176. Is l a multiple of 14?
True
Suppose 3*m + 4*y = 140, 3*y = 2*m - 6*m + 175. Let b = -27 + m. Is b a multiple of 11?
False
Let s = -76 + 121. Is 15 a factor of s?
True
Let o(z) = -6*z - 9 + 4*z**2 - 15*z**2 + 12*z**2. Is o(9) a multiple of 9?
True
Suppose -x = -0*x. Suppose x = 2*t, 0*r = 2*r - 4*t - 40. Does 15 divide r?
False
Suppose 36 = 2*c + 10. Is c a multiple of 13?
True
Suppose -3*t = -2*y - 6, 0*y - 4*y - 4 = -2*t. Suppose 3*n = -y*n + 54. Is n a multiple of 6?
True
Suppose -890 = -2*j - 8414. Is 2/(-5) + j/(-55) a multiple of 15?
False
Suppose -3*x + 58 + 230 = 0. Suppose -x = -2*s + 2*v, 4*s - 188 = 5*v - 2*v. Is 22 a factor of s?
True
Let w = 2 + 7. Is 2 a factor of w?
False
Suppose 2*n + 0*n + 6 = 0. Is 24 a factor of 68/51 - 68/n?
True
Suppose 2*l = -4*i + 304, 294 = 2*l - 0*i - i. Does 10 divide l?
False
Let i be (-3 - (2 + -10)) + -2. Suppose 0*s - 3*s - 4*w = -189, -165 = -i*s + 4*w. Is 20 a factor of s?
False
Suppose 53 = m - 6. Does 10 divide m?
False
Suppose 4*b = -4*i + 72, -6*i + 4*i + 4*b + 36 = 0. Is i a multiple of 9?
True
Let c(r) = -4*r**2 + 4*r - 4*r - r**3 - 5 + 2*r. Let q be c(-6). Let f = q - 23. Does 16 divide f?
True
Let r = 1 - -17. Is 4 a factor of r?
False
Let u = 34 + 20. Does 18 divide u?
True
Let w(x) = 2*x - 4. Let t(p) = -p**2 + 8*p + 10. Let k be t(8). Let c be w(k). Suppose 5*d - c = 54. Is 7 a factor of d?
True
Let w(f) = f**2 - 2*f - 1. Let a be w(3). Suppose 12 = a*t + 2*t. Suppose -t*h + 1 = 4, 0 = u - 5*h - 15. Is 5 a factor of u?
True
Suppose 0 = 3*d - 4*g - 14 - 6, d - 2*g - 8 = 0. Suppose 0 = -0*l + 5*l - 90. Suppose d*a - l = a. Is 3 a factor of a?
True
Let n(z) = -10*z - 5. Does 5 divide n(-2)?
True
Let w(k) = 36*k**2 + 1. Let g be w(1). Let o be (1/((-2)/(-50)))/(-1). Let d = g + o. Is d a multiple of 6?
True
Let m be ((-16)/6)/(4/(-6)). Suppose -4*d + 33 = -179. Suppose -m*o = -5*f - 3*o + 145, -f + 5*o = -d. Is f a multiple of 14?
True
Let f(o) = 11*o - 20. Is 42 a factor of f(7)?
False
Let d = 70 - 50. Is 7 a factor of d?
False
Suppose -140 - 20 = -3*q - 5*o, -3*q = -5*o - 140. Does 22 divide q?
False
Let k(a) be the second derivative of -a**3/2 - a**2/2 - 2*a. Let p be k(-2). Is (-81)/(-15) - 2/p even?
False
Let p(a) = -a**3 - 7*a**2 + 5. Let z be p(-7). Suppose -14 = 4*x + 5*m, -3*x - z = 4*m + 6. Is 5 a factor of 3/(-2)*6*x?
False
Suppose 3*b - 3 = -0. Let r(f) = -f**2 + 15*f**3 + f - 1 + 50*f**3 - 20*f**3. Does 16 divide r(b)?
False
Suppose -2*y + 8 = r, -4*y + 2 = -2*r - 14. Let d be (-1)/1*(r + -76). Suppose 5*h - 34 - d = 0. Does 11 divide h?
True
Let k(j) be the second derivative of 1/2*j**2 + 1/2*j**4 - j + 1/3*j**3 + 0. Is k(-2) a multiple of 21?
True
Suppose 112 - 464 = 4*s. Let v = -47 - s. Does 13 divide v?
False
Suppose k - 13 = -3*h, -4*h + 0*k = k - 17. Suppose -2*a - 10 = 3*l, 3*l + 2*l = -h*a - 20. Suppose l = -w + 10 + 12. Does 11 divide w?
True
Suppose -5 = -4*y - 13. Let g be (-4)/(-14) - 2/7. Let f = g - y. Is 2 a factor of f?
True
Let d(m) = m**3 - 6*m**2 - m + 2. Let n be d(6). Let h = 16 + -10. Let i = h + n. Is i even?
True
Suppose 0 = 5*x + 48 - 318. Let d = 2 + x. Is d a multiple of 21?
False
Let z(j) = -j + 14. Suppose -5*r + 2*r = 0. Let m be z(r). Suppose 0 - m = -2*g. Does 3 divide g?
False
Suppose 0 = 3*h + 3*o - o + 49, 0 = -4*h - 3*o - 64. Let t = h + 39. Does 20 divide t?
True
Let h(w) = 2*w**2 + 30*w + 9. Does 4 divide h(-16)?
False
Let z(b) = -5*b + 3. Let c be z(-5). Suppose c - 6 = -2*m. Let d = m - -18. Is d a multiple of 7?
True
Let a be (-102)/(-14) - (-4)/(-14). Suppose 0 = 4*m - a - 5. Is (-1)/(m/(-6)) + 17 a multiple of 7?
False
Let i be (-120)/(-21) + (-2)/(-7). Suppose 3 = 2*h + s - i, -5*h = -5*s. Suppose 5*n = h*n + 22. Is 5 a factor of n?
False
Suppose -60 = -3*u + 60. Does 10 divide u?
True
Let m = 6 - 6. Suppose m = f + 3*f - 156. Is f a multiple of 13?
True
Let m = 2 + 1. Let d(j) = 7*j - 2. Does 14 divide d(m)?
False
Let h(w) = w**3 + 4*w**2 + 4*w + 3. Let z be h(-2). Suppose 5*p - 3*i = -11, 3*p + 0*i = 3*i - z. Is 117/12 + (-1)/p a multiple of 10?
True
Suppose 5*k - j - 216 = -0*j, 88 = 2*k - 2*j. Is 11 a factor of k?
False
Let t be (2 + -4 - -1)*-29. Suppose 0 = 5*q - 11 - t. Is 3 a factor of q?
False
Suppose -4*q = -7*q + 1773. Suppose -2*h - h + q = 0. Suppose -h = -5*y - 22. Does 16 divide y?
False
Let d(m) = -2*m + 5. Suppose 4*i + 1 = -s - 3, 0 = -s. Let j be -4 + (i - -2) + -1. Does 13 divide d(j)?
True
Suppose 0 = -2*x - 0*s + 3*s + 102, -5*s - 154 = -3*x. Suppose -4*m - 2*q = -30, -5*m + x - 3 = 5*q. Is 13 a factor of ((-26)/m)/(1/(-3))?
True
Suppose 2*y - 25 = -3*y. Is 5 a factor of y?
True
Is 14 a factor of 3*(2/(-11) - 655/(-33))?
False
Suppose 3*o = 40 - 4. Let w be 18/o*(-32)/(-3). Suppose 2*r = r + w. Is r a multiple of 10?
False
Suppose 7*i = 2*i - 35. Let u be 1 - i - (2 - 2). Let j = u + 0. Does 6 divide j?
False
Let y = -490 - -710. Is y a multiple of 17?
False
Let g = 11 + -11. Suppose -14 = -p - 3*p - 5*m, g = -p + 4*m + 14. Is p a multiple of 4?
False
Let c(h) = -2*h - 6. Let l be c(-4). Suppose l*z - 260 = -3*z. Suppose g = -3*g + 3*u + 38, -4*g = 4*u - z. Does 10 divide g?
False
Let d(y) = -y + 4. Let o be d(4). Let h = o + 4. Does 14 divide (-81)/(-6) - (-2)/h?
True
Is 31 a factor of (-1)/(2/8) - 1*-376?
True
Let z be (2/4)/(2/8). Let j(a) = -1 + 3*a + 10*a + z*a. Is 8 a factor of j(1)?
False
Suppose 4*j - 32 = 8. Is 8 a factor of j?
False
Is 10 a factor of (-2892)/(-32) - 3/8?
True
Suppose 2*w + 8 = -a, -6*a + 3*w + 12 = -3*a. Suppose a = -f - 54 + 214. Suppose -v + f = 3*v. Is 11 a factor of v?
False
Suppose g - 46 = -3. Is g a multiple of 12?
False
Let d(j) = -j**3 + 16*j**2 + 21*j - 13. Is d(17) a multiple of 16?
False
Let i(f) = f**3 + 3. Let s be i(0). Suppose 0 = s*a + d - 10, -4*a + 5*d - 14 = -a. Suppose 6*b = -z + a*b + 10, 0 = -3*z + 4*b + 30. Is z a multiple of 10?
True
Suppose 5*k - 368 = -4*b, 5 = 5*b - 5. Is k a multiple of 6?
True
Let q(r) = 3*r**2 + 2*r**2 - 4*r**2 - 4*r - 3*r**2. Let k be q(-3). Does 18 divide 159/9 + (-2)/k?
True
Suppose -d + 6 = 3*t + 4*d, -5*t - 5*d + 10 = 0. Suppose 0 = t*z - 2, 3*z = 4*s + s - 232. Is 16 a factor of s?
False
Let f = 15 - 13. Is 23 a factor of (19 - -4)*2/f?
True
Let b(s) = -2*s + 3. Let v be b(2). Let f be (1 - 1)/(-8 + 10). Is (f/(-2) - -9) + v a multiple of 5?
False
Suppose 5*n + 16 = -2*b, n = 5*b - 14 - 0. Let z be -2 + -1 + -3 + b. Let r = 5 - z. Does 5 divide r?
False
Let x = -11 - -15. Suppose x*g = -2*o + 70, -3*o = -4*g + 54 + 21. Is g a multiple of 9?
True
Let y be (-1 - -1 - 2) + 15. Let d = 28 - y. Is 15 a factor of d?
True
Let l = -7 + 17. Is 6/(-2) + -3 + l a multiple of 3?
False
Suppose -2*i + 7*q = 2*q - 66, 3*i + q = 99. Let m = i - 22. Let c = m - 7. Is 4 a factor of c?
True
Let y(d) = 11*d**3 - d**2 - d + 1. Let j be y(2). Suppose 3*a = b + 79, 3*b - b + j = 3*a. Is a a multiple of 7?
False
Suppose m + 47 = 2*m. Does 8 divide m?
False
Suppose -88 = 5*s - 1248. Is 37 a factor of s?
False
Let h(k) = 2*k**2 - 4*k + 1. Let y(v) = -v**3 - 9*v**2 + 7. Let g be y(-9). Let m = g + -4. Does 7 divide h(m)?
True
Let s(f) = -1 + 0 - 7*f - f. Let u = -6 + 4. Is 15 a factor of s(u)?
True
Let g = 193 - 118. Is 15 a factor of g?
True
Let u(b) = -b**2 - 8*b. Let g be u(-8). Suppose 0 = 2*p - q - g*q - 65, 2*p - 69 = -3*q. Does 18 divide p?
False
Suppose 2*j = 5*k + 463, 5*j - 5*k + 239 = 6*j. Does 15 divide j?
False
Suppose -5*b = -0*b - 20. Suppose b*u - 8 - 12 = 0. Suppose 64 = 2*f - x, 76 = 2*f + u*x - 0*x. Does 16 divide f?
False
Let d be 12/(-30) + (-4)/(-10). Suppose -5*y + 3*y + 8 = d. Does 4 divide y?
True
Suppose -q + 4 = -1. Let y = q - 5. Is (1 - (-4 + y))/1 