?
False
Suppose 5*t + 7*g = 2*g + 420, 4*g - 418 = -5*t. Suppose -6 = -4*d + t. Does 22 divide d?
True
Let x = 204 + -114. Is 6 a factor of x?
True
Suppose 3*f - 3 = 4*i + 3, 3*f = -4*i - 18. Suppose 4*s - 5*n = 11, 5*n - 1 - 4 = 0. Is 2 a factor of -1*10/s*f?
False
Let b be (-7 - (-6 + 3)) + 3. Is 20 a factor of b - -24 - (-1 - -4)?
True
Let o(y) = 3*y + 0*y - 8 + 1 + 3*y. Is o(8) a multiple of 18?
False
Suppose 29 = 7*o - 27. Does 4 divide o?
True
Let a be -2*(-8 + -1 + -1). Let h = a + -43. Let x = h + 52. Is x a multiple of 10?
False
Suppose 5*l - 417 = -3*k, -3*k - 2 = -k. Is 12 a factor of l?
True
Let o be -22*-1*(-1)/(-2). Let f(k) = 5*k + 3. Is 13 a factor of f(o)?
False
Let v(z) = z - 7. Let l be v(6). Let k be (-417)/(-12) - l/4. Let n = k + -17. Is n a multiple of 9?
True
Suppose -10 = -2*m + 14. Suppose 0 = 2*z + 4 - m. Does 3 divide z?
False
Is 19 a factor of 0*4/20 + 38?
True
Let k = -22 - -28. Is k a multiple of 6?
True
Let b = -13 + 140. Is 32 a factor of b?
False
Suppose -5*a + a + 13 = 3*r, 0 = -2*r - 2. Let f(n) = -n**2 + 6*n - 4. Is 3 a factor of f(a)?
False
Let h = 4 - 2. Suppose 5*o - 47 = -3*q, -43 = -h*q - 3*o + 2*o. Is 13 a factor of q?
False
Let n(k) = k**3 + 10*k**2 - 2*k. Let o(v) = -v**2 + 13*v - 10. Let m be o(13). Does 10 divide n(m)?
True
Let a = 268 + -137. Does 11 divide a?
False
Let d(p) = 2*p**2 + 4*p. Let j be (-5)/(-10)*10/(-1). Let g be d(j). Suppose 3*i - g = i. Is 15 a factor of i?
True
Suppose 0 = -s + 3. Suppose s*a - 2*j - 21 = 0, -3*j + 5*j + 31 = 5*a. Suppose -3*v - 48 = -a*v. Is v a multiple of 9?
False
Suppose -5*i = -0*i. Suppose -19 = -4*v + 1, s - v + 3 = i. Is s a multiple of 2?
True
Let u(f) = 29*f - 21. Is 13 a factor of u(5)?
False
Let t = 50 - 21. Does 12 divide t?
False
Let a be (127 + 5)/(2/2). Let k = -81 + a. Does 14 divide k?
False
Let g be (8/5)/(18/45). Suppose -g*u - 4*m + 90 = -2*m, 3*u - 55 = m. Is 18 a factor of u?
False
Let z(y) = -3*y + 2 - 2*y + y**2 - 2*y. Let w be z(7). Suppose 4*j - 12 = 0, 2*j - 9 = n - w*j. Is 2 a factor of n?
False
Suppose 2*h + 2*l = 88, -h + 0*l = -5*l - 38. Let u = h - 29. Does 11 divide u?
False
Let a(c) = 2*c - 10. Let z be a(9). Suppose -z - 14 = -d. Let x = -12 + d. Does 10 divide x?
True
Let u(g) = -10*g - 4. Let o be u(-3). Suppose 4*v - 10 - o = 0. Is (0 - (-6)/v)*12 a multiple of 6?
False
Let n(p) = 2*p + 9. Is 17 a factor of n(4)?
True
Let v = 0 - -3. Does 13 divide (-1)/(40/(-13) + v)?
True
Suppose -3*p - 25 = -25. Suppose 4*g - 21 = -3*z + 2*g, -5*z = -g - 48. Let b = z - p. Does 9 divide b?
True
Suppose 5*s - 319 = 2*l - 6, l + 4 = 0. Is 18 a factor of s?
False
Suppose 4 = -f, -3 + 7 = 3*j - f. Suppose 0*h - 4*h = j. Suppose h = n - 5*q - 24, q + 44 = -n + 4*n. Does 13 divide n?
False
Suppose 7 = 4*c - 5. Suppose -2*r + 3*t = r - 81, 2*t + 84 = c*r. Suppose 5*x = -5*y + 110, -45 = -5*y + 2*x + r. Is 17 a factor of y?
True
Suppose 5*l = 6*l - 146. Is 39 a factor of l?
False
Let o = 5 + -1. Suppose -34 - 126 = -o*k. Is k a multiple of 10?
True
Suppose -3*p - 20 = -4*y + 9, 0 = 4*p + 5*y + 80. Is 6 a factor of (-294)/p + (-4)/(-10)?
False
Let i(t) = t**3 + 6*t**2 + 4*t. Let l = -7 + 12. Suppose -h + 22 = -l*r, r + 20 = -3*r + 2*h. Is i(r) a multiple of 8?
True
Let w = -40 - -106. Is w a multiple of 22?
True
Let o(i) be the second derivative of -i**4/12 + 11*i**3/6 - 4*i**2 - 2*i. Does 4 divide o(9)?
False
Let r = -6 - -8. Is (3/r)/((-1)/(-12)) a multiple of 18?
True
Let f(y) be the third derivative of -y**5/60 - 5*y**4/12 + y**3/2 - 3*y**2. Is f(-8) a multiple of 12?
False
Let z = 35 + -25. Let d be (-4)/z*(-2 + -3). Suppose -d*m - 86 = -2*t - 2*t, -4*m - 12 = 0. Is 10 a factor of t?
True
Suppose 0 = 10*o - 3591 + 401. Does 37 divide o?
False
Let d(n) = -4*n + n + 2*n**2 + 2 + 0*n + 0*n**2. Is d(4) a multiple of 15?
False
Let r(d) = d**2 - d - 4 + 2*d + 0*d**2 - 6*d. Let k be r(5). Is (k/(-12))/((-1)/(-123)) a multiple of 19?
False
Suppose -4*g = -5*g + 5. Suppose -3*q = -g*q + 76. Is q a multiple of 10?
False
Let z(w) = 0 - 2 - w + 8. Let d be z(4). Suppose 4*h - 44 = 2*p, 0 = h - d*p - 2 - 9. Is h a multiple of 11?
True
Suppose -3*n + 0*n - 36 = 0. Is 28 a factor of (-368)/n*9/6?
False
Does 12 divide -3*3/21 - (-1521)/21?
True
Suppose -3*b + 102 = -5*d, 5*d + 6 = -5*b + 216. Is 13 a factor of b?
True
Let w = 11 + -11. Suppose 100 = 4*k - w*k. Is k a multiple of 25?
True
Is 280/21 + 12/(-9) a multiple of 4?
True
Let j(f) = f**2 + 2*f + 1. Let x be j(-3). Suppose 2*r = 3*r + x. Does 8 divide r/14 - 342/(-21)?
True
Suppose i = -4*i + 40. Is i a multiple of 4?
True
Does 7 divide 7/28 - (-326)/8?
False
Let m = -29 + 77. Suppose -3*y + 30 = -5*x, -m = -3*y + 2*x - 3*x. Is 9 a factor of y?
False
Suppose 0*t - 4*t = f + 288, 3*t = -5*f - 1389. Let a be f/(-2) + (-3 - -5). Suppose 6*z - a = z. Does 13 divide z?
False
Let f = 6 - 10. Let s = f - -7. Suppose -s*r + r = -8. Is 4 a factor of r?
True
Let u(s) = 38*s + 2. Is 5 a factor of u(3)?
False
Let n(m) = -m**3 + 6*m**2 - 5*m. Let f be n(5). Suppose f = 4*z + 5*t + 17, -2*z + 4*t + 28 = 2*z. Suppose g = 5*i + 21, z*i = -2*i + 8. Does 11 divide g?
False
Let z(r) = -2*r - 8. Let v be z(-6). Suppose -2*q + 96 = -4*x - 0*x, 172 = v*q - 3*x. Is 13 a factor of q?
False
Let k = 6 + 5. Let a(x) = x**2 - 7*x + 5. Let n be a(5). Let z = n + k. Is 6 a factor of z?
True
Let u(r) = 12*r - 14. Let j(f) = 4*f - 5. Let g(z) = 17*j(z) - 6*u(z). Let l be g(1). Is 13 a factor of 2/(-10) - 101/l?
False
Let l(n) = 44*n**3 + n**2. Is 15 a factor of l(1)?
True
Suppose 0 = u - 99 - 62. Does 13 divide u?
False
Let q(j) = -j**3 + 3*j**2 + j - 2. Let h be q(2). Suppose -394 = -5*c - h*u - 24, -4*c + 260 = -4*u. Is 35 a factor of c?
True
Let q(p) = p + 35 - 21 + p - 3*p. Let c(n) = n**2 - 3*n + 2. Let z be c(2). Is 8 a factor of q(z)?
False
Does 8 divide (4/6)/(2/63)?
False
Let p be (-3 - -2)/(2/10). Let w be -2 - p*(-4)/(-2). Let x = 40 + w. Is x a multiple of 24?
True
Let r = 16 - 25. Does 6 divide (-27)/6*12/r?
True
Suppose 0*y = 2*y - 80. Let j = 82 - y. Is 11 a factor of j?
False
Let s(z) = 2*z - 1. Let p be s(2). Suppose p*h - 6 + 60 = 0. Let m = 42 + h. Does 12 divide m?
True
Let c = 165 + -108. Is c a multiple of 29?
False
Let z = -7 - 0. Does 3 divide 1 - -1 - z - 0?
True
Let i = -56 - -87. Is i a multiple of 9?
False
Suppose -27 - 29 = -4*x. Does 27 divide (-1695)/(-21) + 4/x?
True
Suppose 7*i = 3*i + 260. Is 20 a factor of i?
False
Let p(n) = 7*n + 1. Let g be p(3). Let d = -16 + g. Is 3 a factor of d?
True
Suppose 6*x - 147 - 321 = 0. Is 13 a factor of x?
True
Suppose 0 = 2*s - 63 - 51. Is s a multiple of 21?
False
Suppose -16*z + 1008 = -10*z. Does 14 divide z?
True
Suppose 0 = -4*l - 2*l + 588. Let w = l + -43. Is 18 a factor of w?
False
Let l(m) = m**2 + 2*m - 28. Is l(8) a multiple of 4?
True
Let l(x) = x + 4. Let a be l(4). Let b(f) = f**2 - 9*f + 11. Let u be b(a). Suppose -n - 3 - 132 = -5*g, 3*g - 81 = -u*n. Is 12 a factor of g?
False
Let n(h) = h**3 + 9*h**2 - 5*h - 8. Let g be n(-9). Suppose 2*y = 3*a + y - 135, a - 3*y = g. Is 14 a factor of a?
False
Let c(d) = -d**3 + 7*d**2 + 2*d - 6. Let i be c(7). Let b be (8/6)/(i/12). Does 13 divide b + 0 + -2 + 37?
False
Suppose 3*y = 4*y - 5*a + 7, a - 91 = 3*y. Does 11 divide (y/(-2) - -2) + 3?
False
Let u = -63 + 159. Does 16 divide (4/(-6))/((-2)/u)?
True
Let y(n) be the first derivative of 3 - 1/3*n**3 - 4*n + 11/2*n**2. Is y(6) a multiple of 13?
True
Let f be (18/(-4))/(1/6). Let h = -11 - f. Does 11 divide h?
False
Suppose 4*y = -5*d + 121, -2*d + y = -d - 26. Suppose 5*p - d = -5. Suppose -p*s - 71 = -263. Is s a multiple of 16?
True
Suppose -3*h - 3*z + 0*z + 171 = 0, 2*z = 6. Does 9 divide h?
True
Suppose -7 = r + 4*w + 1, -3*r = -3*w - 21. Is 2 a factor of r?
True
Let n = -5 + 9. Does 12 divide (1 - (n - 1)) + 37?
False
Suppose 0 = -3*y - 5*l - 16, 3*y + 4*l = 2*l - 1. Suppose y*s - 14 = 13. Is s a multiple of 3?
True
Let g(o) = 11*o**2 + 2*o - 1. Suppose -2*n - n = -54. Suppose 3*t = -3*r + n, -4*t - t + 2*r = 5. Does 12 divide g(t)?
True
Let i be -38 + -2 + (-2 - -2). Let a = i + 74. Does 14 divide a?
False
Does 8 divide (242 + -2)*-2*(-6)/12?
True
Let f(s) = s**3 - 7*s**2 + 4*s + 9. Let i be 1/((-3)/(-21) + 0). Does 12 divide f(i)?
False
Let z