of 7?
False
Suppose -7 = s - 1. Let k = s + 8. Suppose k*u + 104 = 4*t, 2*u = -t - 0*t + 26. Is t a multiple of 13?
True
Is 56 a factor of 10107/45 + (-3)/5?
True
Let b(n) = -n**3 + 4. Let j be b(2). Let g = j - -10. Does 2 divide g?
True
Let d be -2 + (0 - -2)*-1. Let i = 17 + d. Is i a multiple of 13?
True
Suppose 2*r + 4*a = -a - 35, 3*r + 5*a + 55 = 0. Is 4/10 + (-192)/r a multiple of 10?
True
Let a be 2/(-2) + -4 + -1. Let i(o) = o**2 + 8*o + 7. Let j be i(a). Let n = 10 - j. Does 10 divide n?
False
Let u = -63 + 168. Is u a multiple of 21?
True
Let v be ((-10)/15)/((-2)/6). Suppose 0 = v*q - 4*q + 4. Suppose 38 = w + q*w - 2*c, -5*w - c = -46. Is w a multiple of 10?
True
Let x be -2 - (0 - 3 - -1). Let z be (-7)/((-14)/48) + x. Suppose p - z = -p. Is 7 a factor of p?
False
Let v = 56 + -4. Does 14 divide v?
False
Suppose -7 = -5*i + 33. Let u(x) = x**2 - 9*x + 1. Let g be u(i). Let p = 14 + g. Is 5 a factor of p?
False
Let t = 18 - 8. Suppose t = 4*v + 2*s, 17 = 2*v + 3*s - 6*s. Is 9 a factor of 74/8 + v/(-16)?
True
Suppose -3*d + 18 = 3. Suppose d = 3*t - 67. Does 9 divide t?
False
Let d be (5 - (-2 - -1))*-1. Let p be (-32)/(-14) - d/(-21). Does 7 divide (p/(-4))/(2/(-68))?
False
Let f = -238 - -455. Is f a multiple of 12?
False
Let t(v) = -v + 5. Let o be t(0). Suppose u + 192 = o*u. Suppose 3*i = -4*d + u, 16 + 20 = 3*d - 4*i. Is d a multiple of 12?
True
Let c = -3 + 18. Is 15 a factor of c?
True
Let u(l) = 24*l**3 - 3*l + 2. Is u(1) a multiple of 2?
False
Suppose 2*r - 24 - 36 = 0. Is r a multiple of 10?
True
Let x = 559 - 309. Does 10 divide x?
True
Let z = -99 - -167. Is z a multiple of 21?
False
Let c = 207 - 142. Is c a multiple of 17?
False
Let g(x) be the third derivative of -x**5/120 + x**4/3 + x**3/3 - x**2. Let z(s) be the first derivative of g(s). Is z(6) even?
True
Let h = 16 - 10. Is 3 a factor of h?
True
Let j be 0 - -8 - (-9)/(-3). Suppose -j*d + 15 = 0, 3*f + 4*d + 126 = 5*f. Is f a multiple of 21?
False
Suppose 0 = -2*y - x - 4, -3*y - 3*x = 1 + 5. Let t = y - -4. Suppose 3*h = -3*z + 174, -t*z + z = 3*h - 174. Is h a multiple of 21?
False
Let w(f) = -5*f + 4. Let c be w(-6). Suppose 3*r = -4*v + c, -5*r + 2*v + 2*v + 110 = 0. Is r a multiple of 6?
True
Let l be 3 - (-8)/(6 + -2). Suppose -5*s = l*c - 205, 4*s - c - 130 - 14 = 0. Is s a multiple of 11?
False
Let u(a) = a - 1. Let n be u(13). Suppose 4 = -8*v + n*v. Let o = 9 + v. Does 5 divide o?
True
Suppose 0 = 5*a - 13 + 53. Is (5/2)/((-1)/a) a multiple of 10?
True
Suppose 2*c + 129 = -5*f, c + 23 = -f - 1. Let q = -15 - f. Suppose 2*h - q = -0*h. Is h a multiple of 6?
True
Let k = 70 - 16. Is 16 a factor of k?
False
Let p = -3 + -10. Let q = -7 - p. Suppose q = 3*y - 2*y. Is 5 a factor of y?
False
Suppose 2*h - 2 - 4 = 0. Suppose 2*c - 2*i + 0*i - 46 = 0, 5*c + h*i - 147 = 0. Let u = c + -6. Is u a multiple of 10?
False
Let w(m) be the third derivative of m**6/720 + m**5/120 + m**4/24 - 2*m**2. Let g(o) be the second derivative of w(o). Is 3 a factor of g(5)?
True
Let q be 7 - (6/2)/(-3). Suppose 3*m - q = 4. Is m even?
True
Does 2 divide 4/(6/99*3)?
True
Let m = 13 + 7. Suppose -5*h + h = -m. Suppose -4*z + 3*x = -159, -h = 5*x - 0. Is 19 a factor of z?
False
Is 34 a factor of ((-106)/8)/((-2)/8)?
False
Let s(p) = p**3 + p**2 - p + 15. Let y be s(0). Suppose -y = i - 4*i. Suppose -i*d + 7 = -k - 31, 2*k - 1 = -d. Does 3 divide d?
False
Suppose -d - 5 = b - 0, 3*d = -5*b - 23. Let n = 11 - d. Is n a multiple of 6?
True
Let r(k) = -6 + 3 - 2 - 3*k + 2 + 4*k**2. Does 21 divide r(4)?
False
Suppose -5*y = -y. Suppose y = -4*i - 0*i + 5*h, h = 4*i. Does 14 divide 12 - ((-2)/1 - i)?
True
Suppose -4*z - i - 76 = 0, -2*z - i = 2*i + 48. Let g = z - -52. Let b = 48 - g. Is 8 a factor of b?
False
Is 17 a factor of 0/8 - 102/(-2)?
True
Let i = 6 - 6. Suppose 2*f - d = -i*d + 50, 0 = -4*f - 2*d + 100. Suppose -2*y = s - f, -y - 3*y = 4*s - 108. Is 13 a factor of s?
False
Let t be ((-42)/(-5))/(5/25). Suppose a = -4*s + t, -5*a = -8 - 2. Is 11 a factor of 4/s - 183/(-5)?
False
Suppose 0 = -7*l + 3*l + 32. Is l a multiple of 8?
True
Suppose -5*k + 10*k = 0. Suppose 4*a - 116 = -k*a. Is a a multiple of 12?
False
Let p(r) = 4 - 2 + 0 + 0 - 8*r. Does 9 divide p(-2)?
True
Suppose 2*m = 10 + 2. Let h be 22/m - (-1)/3. Suppose -h*n + 36 = -n. Is n a multiple of 7?
False
Let v(q) = q**2 - q - 5. Let p be v(8). Let x = -36 + p. Is 6 a factor of x?
False
Suppose 4*h + 22 - 598 = 0. Is h a multiple of 18?
True
Let q(x) = x**3 + 9*x**2 + 5*x - 7. Let w be q(-7). Suppose w = 3*h + h. Suppose p - 15 = -4*t + h, 0 = 3*p + 4*t - 87. Is p a multiple of 13?
False
Suppose 2*u = u. Let r(s) = -s**3 + 11*s**2 - 11*s + 14. Let t be r(10). Suppose m - 52 = -2*d - u*m, -4*d + t*m + 92 = 0. Is d a multiple of 9?
False
Suppose 2*j = 5*h + 27, -3 = -h + j - 9. Let k(x) = 6*x - 2. Let p(o) = -5*o + 1. Let g(r) = -6*k(r) - 7*p(r). Is 10 a factor of g(h)?
True
Let h be (3 + -2)*(6 - 1). Let d = 48 - h. Suppose t - 52 - d = -4*j, -51 = -2*j + 3*t. Does 8 divide j?
True
Let a(t) = 3*t**2 - 3*t - 97. Is 18 a factor of a(11)?
False
Suppose -j + 2 = g, g + j + 4*j = 2. Is 16 a factor of (5 + 1 - g)*4?
True
Suppose 830 = 4*c - 2*h, 5*h + 112 = c - 109. Suppose -j = j - c. Does 30 divide j?
False
Does 14 divide (-2)/(-2)*13 + 1?
True
Let t(g) = 5*g + 1. Let n(j) = 5*j - 3. Let x(h) = -2*h + 2. Let w(d) = -3*n(d) - 5*x(d). Let o(q) = 4*t(q) + 3*w(q). Is o(3) a multiple of 8?
True
Let g(v) = -5*v + 1 - 2 + 1 + 4. Is g(-3) a multiple of 10?
False
Let o = 3 + -5. Let u be o + (-1 + 2 - -2). Is 17/2 + u/2 a multiple of 7?
False
Does 8 divide 0 + 51 - (-1 + -2)?
False
Let w(o) = 16*o + 1. Let f = 4 + -3. Is 5 a factor of w(f)?
False
Let j = -194 + 8. Let y be (-1)/4 + j/(-8). Suppose -2*v - 3 = -y. Is v a multiple of 7?
False
Suppose 54 = 2*q - 86. Is 10 a factor of q?
True
Let w(i) be the second derivative of i**3/6 - 5*i**2/2 - 2*i. Let b be w(-7). Does 14 divide 0/1 - (b - 2)?
True
Suppose 6*o - 3*o - 261 = 0. Is 5 a factor of o?
False
Let s(b) = b**2 - 6*b - 11. Let h be s(8). Suppose 0 = h*i - 2*m - 202, 4*i - m - 156 = -5*m. Is i a multiple of 13?
False
Suppose -8 = -3*s + 1. Suppose -2*b = -b - s*p - 29, -5*p = 3*b - 129. Does 17 divide b?
False
Suppose d - 3*d - 4*m = -104, 0 = -5*d - 5*m + 285. Is 35 a factor of d?
False
Suppose -5*v + 20 = -4*v - 4*y, -4*y + 12 = 3*v. Is v a multiple of 4?
True
Let v = 30 - 17. Is v a multiple of 4?
False
Let p be -30 - (0 - 1)*0. Let s be (-1 + 0)/(2/p). Suppose -5*b - 4*q + 86 = 0, b - 2 = -q + s. Does 9 divide b?
True
Suppose 2*l = -5*y + 290, -2*l = -2*y + 105 - 3. Let h = 84 - y. Is h a multiple of 14?
True
Let k(j) = -j**3 + 3*j + 4. Suppose -5*q = -2*q - 24. Suppose o = -o - q. Does 21 divide k(o)?
False
Let h = 74 + -50. Let n = 8 - 6. Let s = h - n. Is s a multiple of 11?
True
Suppose 0*g = 4*g - 8. Suppose -g*o - 5*t + 94 = 5, 3*t + 17 = o. Does 16 divide o?
True
Let d = -8 - -14. Suppose -q + 4*s + d = -20, 14 = q - s. Is 3 a factor of ((-16)/q)/(3/(-15))?
False
Let l(w) = -6*w - 9. Let q be l(-6). Suppose 0*n + q = 3*n. Does 9 divide n?
True
Let d be 4/(3 - (-74)/(-26)). Is d/4*(0 - -4) a multiple of 13?
True
Is (-6)/(-27) + 1263/27 a multiple of 14?
False
Let d = 33 - 150. Let u = d + 217. Is u a multiple of 34?
False
Let h = 27 - -66. Let g be 84*((-22)/8 - -2). Let b = g + h. Does 15 divide b?
True
Let m(o) = -2*o**3 - 8*o**2 - 6*o - 11. Does 46 divide m(-6)?
False
Suppose u - h - 4*h - 19 = 0, 4*u = 2*h + 76. Is 9 a factor of u?
False
Let c = -69 + 94. Is c a multiple of 5?
True
Let u = 31 + -12. Does 3 divide u?
False
Let o(b) = 26*b**2 - 3*b. Is o(-3) a multiple of 17?
False
Suppose j - 2 = -4, 2*q = -2*j + 134. Does 14 divide q?
False
Let y be (-27)/(-18)*8/(-6). Is 5 a factor of (-1)/2 + (-21)/y?
True
Let d(t) = -t**3 - 14*t**2 - 17*t + 9. Is 14 a factor of d(-13)?
False
Let z = -17 + 50. Let v = 1 + z. Is 7 a factor of v?
False
Let r(b) = -b**3 + 13*b**2 - 11*b + 8. Does 8 divide r(12)?
False
Let l(o) = o**3 + 5*o**2 - 9*o - 9. Let m be l(-7). Let w = 98 + m. Does 23 divide w?
False
Let w(a) = 15*a - 23. Is w(5) a multiple of 26?
True
Suppose 4*x + 4 = f - 7, f - 5 = x. Suppose -4*j - f*g = -87, -39 = 5*j - 2*g - 165. Is 12 a factor of j?
True
Is (-