. Suppose 5*a - 3*o = 210, -o = -2*a + 2*o + q. Does 12 divide a?
False
Let a be (23 - -1*2)*-1. Let k = 35 + a. Suppose -5*l - 50 = -k*l. Is 6 a factor of l?
False
Let g = -84 - -274. Suppose -5 = -2*l + 7. Does 22 divide 3/9 + g/l?
False
Suppose -2*t - 78 = -5*t. Let r = -23 + t. Is r a multiple of 2?
False
Let q(a) = 73*a**3 - 2*a**2 + 1. Suppose -l = 3*l - 4. Let i be q(l). Let s = -24 + i. Is 15 a factor of s?
False
Suppose z = 2*i - 12, -4*z + 2*i - 48 = -12. Let s = z - -17. Does 4 divide s?
False
Let r(j) = -j**3 + 6*j**2 + 3*j - 9. Let p = -2 - -6. Suppose o - 14 = -p*c, -c + 4*c - 18 = -2*o. Does 6 divide r(o)?
False
Let i = -118 - -77. Let n = i + 64. Does 23 divide n?
True
Let r = -5 + 21. Suppose -2*a + 7*a + 3*m = -42, r = -4*a + 2*m. Does 4 divide (-1 - -2)/(a/(-24))?
True
Let l = 7 + 0. Let z = -3 + l. Is z even?
True
Let p(o) = -41*o - 2. Let y(t) = -21*t - 1. Let r(z) = -6*p(z) + 11*y(z). Let f = 4 - 3. Does 9 divide r(f)?
False
Suppose 0 = 5*f + 2*t, 0*f = -3*f - t + 1. Suppose 0 = f*w - 4 - 6. Is 3 a factor of w?
False
Is (-154)/(-30) - 16/120 even?
False
Does 10 divide (-16)/(-2)*65/26?
True
Suppose 0*d = 2*d - 6. Let j(y) = 2*y - 1. Let v be j(d). Suppose 3*g - 123 = -v*l, -g - 5*l = -0*g - 51. Is 18 a factor of g?
True
Suppose 3*q - 5*q = -40. Let k be (-5)/15 + q/6. Suppose 80 = 5*x - k*x. Is x a multiple of 15?
False
Let l be 754/(-6) + 8/(-24). Let n = -78 - l. Is n a multiple of 24?
True
Let y be (-2)/(-7) - 682/(-14). Suppose -5*z = -266 - y. Suppose 4*c - 3*d = z + 48, 5*c - 145 = 5*d. Is 18 a factor of c?
False
Let w(h) be the first derivative of -h**3/3 + 3*h**2/2 - 3*h + 2. Let k be w(4). Let y(f) = -f**3 - 8*f**2 - 8*f + 7. Does 7 divide y(k)?
True
Suppose 2*x - 13 = -3*t, -4 = x - 0*t - 2*t. Let n = 40 + -2. Suppose k - 2*u = -0*k + n, 0 = -2*k - x*u + 64. Does 17 divide k?
True
Let h = -5 + 10. Let o be (h/(-2))/((-1)/2). Suppose -l + 7 + o = 0. Is 12 a factor of l?
True
Let o(t) = -20*t**2. Let v be o(1). Let w be ((-30)/25)/(2/v). Suppose -w = 4*s + 3*r + r, 4*s + 7 = -3*r. Is s a multiple of 2?
True
Let t(d) = -d + 1. Let z(a) = -3*a - 5. Let k(v) = 2*t(v) - z(v). Does 4 divide k(6)?
False
Let x(o) = o**3 + 9*o**2 - 6*o - 10. Let v be ((-4)/(-3))/(12/18). Suppose 0 = -5*p + 3*q - 57, -2*q + 34 = -2*p + v*q. Is x(p) a multiple of 22?
True
Suppose 2*b + p + 7 = 24, 4*b - 31 = p. Is 3 a factor of b?
False
Let a be (-70)/(-6) + 2/6. Let t be 0/((0 - -1) + 1). Suppose -4*u + a = -t*u. Is u a multiple of 3?
True
Let s = -1 + 2. Let p be (s - -10) + -3 + 4. Suppose 3*o = 2*o + p. Is o a multiple of 12?
True
Suppose -16 = 2*w + 2*w, 4*w - 48 = -2*u. Does 16 divide u?
True
Let p(l) = -4*l + 5. Let v be p(-8). Suppose -3*k + v + 23 = 0. Does 8 divide k?
False
Let n be 3*2*(-1)/3. Let h be 3 + n - (-1)/(-1). Let i(l) = -l**2 + 6. Is i(h) even?
True
Let p(v) = v**2 + 8*v + 25. Does 14 divide p(-16)?
False
Let c be (-5 - -12)*(0 - -1). Let s(r) = r + 18. Let b be s(0). Suppose q - b = -c. Does 5 divide q?
False
Suppose -5*g - 5 = -0*g. Let s be -21 - (-1 - g) - 0. Is 49/3 - (-7)/s a multiple of 8?
True
Suppose -3*v - 10 + 3 = 2*o, 5*o + 9 = v. Let a be 3*v + (21 - -1). Suppose w - 3*h - a - 12 = 0, 3*w = -3*h + 81. Is w a multiple of 9?
False
Suppose -9*w + 0*w = -333. Does 5 divide w?
False
Let v be -86*((-21)/6)/7. Suppose 0 = 3*n + k - v, -3*n - 5*k - 85 = -8*n. Does 5 divide n?
True
Let q = 6 - 4. Suppose l + 39 = q*l - v, 3*v = 5*l - 195. Is l a multiple of 13?
True
Is ((-2)/4)/((-1)/132) a multiple of 23?
False
Let u(o) = -o**3 - 5*o**2 + 6*o - 6. Let r be u(-6). Is (-182)/r + 2/(-6) a multiple of 10?
True
Suppose 0 = 5*v + 3*r - 121, v - 4*r + 3*r - 21 = 0. Is 5 a factor of v?
False
Suppose 0 = -3*g + q + 61, -g - 3*g = -2*q - 82. Let d = g - 9. Does 11 divide d?
True
Let c(h) = h**2 - h - 4. Let f(m) = 2*m**2 - 5. Let b(t) = 3*c(t) - 2*f(t). Let r be b(-3). Is 14 a factor of 16 + (-1)/((-1)/r)?
True
Suppose -4*a - 2*f = -90, -3*f - 3 = -4*f. Suppose -2*q + 67 = 3*w, 19 + a = 2*w - q. Suppose 4*n - w - 11 = 0. Is 4 a factor of n?
True
Let u = -27 + 26. Let p be 78/(-9) - (-4)/6. Is 1 + 1/u*p a multiple of 5?
False
Suppose 4*h - 6 = 2*h. Suppose 4*x - h*g = g + 4, -25 = -5*x - 5*g. Suppose 0 = 3*y - q - 28, -x*y = -y + 5*q - 47. Is y a multiple of 11?
True
Let h be (-34)/(-6) + (-15)/(-45). Let t = 6 + h. Does 4 divide t?
True
Suppose j + 4 = 0, 10 = 5*f - 4*j - 6. Suppose f*z = z - 7. Is z even?
False
Suppose 0 = 2*c - 4*c + 16. Suppose -c*f + 20 = -3*f. Suppose 0 = -f*a - a + 35. Is a a multiple of 3?
False
Suppose -119 = -2*h + 3*j, -124 = -2*h + 5*j - j. Does 26 divide h?
True
Let x be 876/22 + (-18)/(-99). Suppose 3*k = 8*k - 105. Let n = x - k. Is 5 a factor of n?
False
Let o be (-6)/(-1)*(-3)/(-6). Let r be (2/(-3))/((-2)/o). Is 15 a factor of (-1 + 2)*53/r?
False
Let m = -78 - -123. Is m/(-75) - (-526)/10 a multiple of 8?
False
Let s(o) = -o**2 - 5*o - 4. Let t be s(-4). Suppose 2*h + 16 - 84 = t. Is h a multiple of 17?
True
Let h(g) = -g**3 - 3*g**2 + 8*g - 2. Is h(-7) a multiple of 26?
False
Let m(o) = 14*o**2 + 2*o - 1. Let g be m(1). Suppose 3*i - g = -0*i. Is i a multiple of 4?
False
Let n = 115 - 75. Is 28 a factor of n?
False
Suppose -5*f - 18 = k, 14 = -k - f - 4. Let x = k - -21. Is x a multiple of 3?
True
Let h(p) be the first derivative of 5*p**2/2 + 3. Let n be h(1). Suppose -w = -4*g + 46, 63 = n*g + 2*w - 6*w. Does 11 divide g?
True
Let t(y) be the third derivative of y**5/60 - y**4/24 + 2*y**2. Let u be t(-1). Suppose 0 = -m + 5*b, 5 = u*b - 1. Does 15 divide m?
True
Does 2 divide (-6)/33*1 - 92/(-22)?
True
Let y be -3 + 2 + 3 - 5. Let d = 3 + y. Suppose i + i - 12 = d. Does 3 divide i?
True
Let b(y) = -10*y - 3. Let l be b(3). Let o = 95 + l. Is o a multiple of 21?
False
Let a(l) = -l**2 + 13*l + 3. Let q be a(13). Does 11 divide 15 + (-4)/6*q?
False
Suppose 0 = 5*j, -2*y - 3*j = -j - 6. Suppose 0 = -2*w + y*o + 17, 3*w + o = -0*o + 31. Does 5 divide w?
True
Suppose 4*d + 93 = -71. Let s = d - -77. Is s a multiple of 9?
True
Suppose g - 3 + 5 = -3*u, 0 = 4*u + g + 4. Let c(q) be the first derivative of q**3 + 2*q**2 + 2*q - 1. Does 6 divide c(u)?
True
Is ((-228)/(-2))/3 - 0 a multiple of 6?
False
Suppose -160 = -7*t + 2*t. Is 8 a factor of t?
True
Let w = -18 - -3. Let n(z) = -4*z - 4. Does 14 divide n(w)?
True
Suppose 0 = l - 2*z - 446, -3*z - 302 + 2545 = 5*l. Is l a multiple of 56?
True
Let w = 12 - -32. Let n be 8/(-3)*(3 + -6). Suppose -n + w = 3*o. Does 12 divide o?
True
Suppose -a = 2*a - 9. Let c = -1 + a. Suppose -c*b - b + 57 = 0. Does 9 divide b?
False
Suppose 3*q - q = 4. Suppose -q*r = -5*r - 12. Let i = 9 - r. Does 13 divide i?
True
Suppose -h + 54 = -4*a, 4*h - 178 = 4*a - 10. Suppose -3*i = -i - h. Is i a multiple of 19?
True
Is 9 a factor of (-1)/((-1)/(-2)) + -3 + 111?
False
Let w be (26/8)/((-2)/(-8)). Let n be (-2 + 0)*(-1 - -4). Let v = w + n. Is 7 a factor of v?
True
Suppose -5*x + 2*m - m = -60, 4*m + 48 = 4*x. Suppose 3*u = -3*f + x, 10 = 5*f - f - 2*u. Let z = f + 13. Is z a multiple of 10?
False
Suppose -c = -3*c - 24. Is 15 a factor of (c/(-5))/((-2)/(-30))?
False
Suppose -529 = -4*q - 41. Is 27 a factor of q?
False
Let d = 4 - 2. Suppose 0 = h + d*h. Suppose r - 9 + 1 = h. Is r a multiple of 5?
False
Let i(s) = -s**2 - 8*s - 7. Let h be i(-6). Suppose 4*m - 79 = -5*c, 4*m = h*c + 23 - 94. Is c a multiple of 15?
True
Suppose 0 = -4*i + 3*d + 1, -1 - 5 = -3*i + 4*d. Let l be (-345)/(-6) - i/4. Suppose r - l = -2*b - b, 132 = 3*r - 5*b. Is r a multiple of 23?
False
Let d(z) = z**2 - 10*z + 16. Let j be d(12). Suppose k + 20 = i + 2*k, 0 = 2*i + 3*k - j. Is i a multiple of 5?
True
Suppose 5*m - 7*m = 0. Let v be (3 - 47) + 1 - m. Let b = v + 75. Is b a multiple of 18?
False
Suppose 2*c + 24 = o - c, -c - 134 = -5*o. Does 9 divide o?
True
Is (-55)/(-6) + 12/(-72) a multiple of 2?
False
Suppose 0 = -3*j + 5*w + 25, -3*w = -2*j - 2*j + 48. Let y(d) = d**2 - 7*d - 5. Let o be y(8). Suppose -4*p = -5*k + 51, -o*k + 2*k = 4*p - j. Does 11 divide k?
True
Let f(l) = -6*l - 3. Let y be f(-3). Let r = y - 7. Does 5 divide r?
False
Suppose 0 = -4*m - m + 80. Let a(q) = q**3 - 8*q**2 + 2. Let s be a(8). Suppose s*d - m = d. Does 16 divide d?
True
Let o(k) = k**2 - k. Let b