. Suppose c*s - 7 - 5 = 0. Does 3 divide s?
True
Suppose -181 = -5*u + 69. Is u a multiple of 25?
True
Let f = 23 + -15. Let d = f + -13. Let b = 9 + d. Is 2 a factor of b?
True
Let v = -81 - -53. Is 7 a factor of (-204)/v - (-2)/(-7)?
True
Let h = -244 + 395. Does 33 divide h?
False
Suppose 0 = -4*u - 30 + 122. Is 11 a factor of u?
False
Suppose 15 = 2*q - 21. Suppose -3*v + 14 = 4*w, v = 2*w - 3*v - q. Is w a multiple of 3?
False
Suppose 2*v + v = 0. Let p(f) = -3*f**2 + v*f**2 + 8 - f + 2*f**2. Does 8 divide p(0)?
True
Let i = 12 - 7. Suppose 3*d = -g + 35 - 14, -d - i*g = -21. Does 5 divide (9/d - 1)*14?
False
Let n(j) = -j**3 + 11*j**2 - 7*j - 10. Is 8 a factor of n(10)?
False
Let h = -7 + 5. Is 13 a factor of 1/(-1 - h)*78?
True
Suppose -3*b + 6*b + 12 = 0. Let o = 6 + b. Suppose -4*v + 38 - o = 0. Does 7 divide v?
False
Let p(h) = 270*h - 4. Does 38 divide p(1)?
True
Let k(j) = j**3 - 2*j**2 + 3*j - 1. Let y be k(5). Let w = y - 51. Does 19 divide w?
True
Suppose -2*x + 3 + 1 = 0. Suppose 3*f - 65 = -x*f. Is f a multiple of 13?
True
Let n be (-1)/(-3)*0 + -2. Let s(p) = 6*p**2. Is s(n) a multiple of 12?
True
Suppose i - 4*g = -i + 28, 0 = 2*i - 5*g - 32. Suppose 2*c - i - 4 = 0. Suppose 2*o - 2*m = 37 - 3, 3*m + 87 = c*o. Is 18 a factor of o?
True
Let f = 0 - -4. Suppose 3*i - z + f*z - 45 = 0, 0 = -i - 3*z + 17. Is 14 a factor of i?
True
Suppose -45 = -6*t + t. Let m = t - -3. Is m a multiple of 8?
False
Suppose -16 = 3*w + 29. Suppose -2*b + 32 = -q, 3*b - 41 + 5 = q. Does 8 divide (q/(-5))/(w/(-50))?
True
Suppose -114 = -5*y + 1596. Does 18 divide y?
True
Suppose 5 = 3*o + 5*u - 14, 0 = 4*u - 20. Let y be 4 + (-1 - (2 + o)). Is 34 + (-1 + 4)/y a multiple of 18?
False
Let n(t) = -2*t + 3. Let a be n(2). Let m = a + 6. Suppose -3*f = -2*g - 2*g + 102, -g + m*f + 17 = 0. Is g a multiple of 9?
True
Suppose 3*k - 118 - 116 = 0. Is k a multiple of 13?
True
Let s be (-2 + -2)*(-1)/2. Is 15 a factor of 0 - (0 - s) - -43?
True
Let b be -3 - -2 - (-18)/2. Suppose b = -l + 5*l. Suppose -i + l*i - 24 = 0. Is 7 a factor of i?
False
Let c = -19 + 37. Is 9 a factor of c?
True
Let n = -2 + 3. Is 20 a factor of (-117)/(-6) - n/(-2)?
True
Let n be (-4)/(-5)*(1 - -4). Suppose 1 = n*a - 7. Suppose 2*z + 48 = 3*c, z - a*z + 25 = 2*c. Does 7 divide c?
True
Let q be (-165)/(-9) + (-2)/(-3). Let m = -11 + q. Does 4 divide m?
True
Suppose 3*i - 171 = 3*y, i + 3*i = 2*y + 234. Is i a multiple of 20?
True
Suppose 2*h + 393 = -0*h + 5*s, -2*h - 3*s - 385 = 0. Let q = -98 - h. Is (q/(-15))/(-4)*15 a multiple of 15?
False
Suppose -g + 246 = 2*g. Suppose 5*d - g = -7. Is 15 a factor of d?
True
Suppose -311 = -4*i + b + 220, 0 = 3*i - 3*b - 405. Does 44 divide i?
True
Let i = -1 - 0. Is 24 a factor of i/(0 - (-1)/(-51))?
False
Let z be (24/(-14))/(10/(-105)). Let g = -12 + z. Is g even?
True
Suppose -9 = -3*c + 33. Is 13 a factor of c?
False
Suppose 0 = b - 2*b - 188. Is 16 a factor of (-2)/(-10) + b/(-10)?
False
Suppose 0 = -4*k - 26 - 22. Is 21 a factor of k/9*(-189)/6?
True
Let h(g) = -g**3 - 7*g**2 - 5*g + 1. Is 24 a factor of h(-8)?
False
Let o(z) = 6*z. Let b be o(1). Is (44/b)/(2/3) a multiple of 3?
False
Let s be 6/10*(-30)/(-6). Suppose 0 = -s*u + 2 + 49. Does 17 divide u?
True
Let b be 18/(-12)*(0 - -4). Let o be b/(-8)*(-16)/(-2). Does 9 divide (o/12)/((-2)/(-44))?
False
Is 16 a factor of (2 - -51) + (-4 - -3)?
False
Let p(x) = 2*x**2 - 14*x - 7. Let g be p(10). Suppose -4*h + h + 15 = 0, 0 = t - 2*h - g. Is t a multiple of 21?
True
Suppose -4*l + 0*l = -5*x + 36, 0 = -x + l + 8. Let r be (-2)/6 + x/3. Is 7 a factor of (2 - 1)*(8 - r)?
True
Suppose -4*t + 20 = -9*t. Suppose w - 6 = -0*o - 5*o, 3*o = -3*w - 6. Is ((-67)/t)/(o/8) a multiple of 18?
False
Let b(h) = -2*h + 4. Let f be b(-7). Let z = f + -9. Does 9 divide z?
True
Let j = -2 - -2. Let d = 3 - j. Suppose -d*s = -s - 10. Is s a multiple of 4?
False
Suppose -206 = -4*r + 706. Suppose 4*p + 84 = r. Is p a multiple of 12?
True
Suppose 7*a - 3*a = 0. Suppose 4*u - 6 - 2 = a. Suppose -m + 54 = u*m. Is 11 a factor of m?
False
Let y be ((-2)/5)/(3/(-15)). Suppose 4*o - 5*o + z + 14 = 0, -y*z = -4. Is o a multiple of 14?
False
Suppose 0 = 3*k + m - 59, 2*k + 2*m - 31 = 3*m. Does 6 divide k?
True
Let z be 2 + (2 + 0 - 4). Let p = -13 - -22. Suppose q - 12 - p = z. Is q a multiple of 7?
True
Let a be (18 + -13)/(1/(-5)). Let i = a + 35. Does 5 divide i?
True
Let v(x) = x - 9. Let s(p) = 1. Let c(f) = 2*s(f) - v(f). Is c(4) a multiple of 2?
False
Suppose 2*a - 360 = -a. Suppose 5*v = -4*j + 87, 2*v - a = -5*j - 7. Is 9 a factor of j?
False
Suppose 5*o - 6*o = -48. Is o a multiple of 16?
True
Let j = 6 + 0. Let v(b) = 5*b**2 - 3*b - 8. Let a be v(j). Suppose 5*l + 2*m = -2*m + a, 4*l - 115 = 5*m. Is l a multiple of 15?
True
Let c(s) = -s**2 + 9*s**2 + 2*s + s**2 - 4 - 5 - s**3. Is 9 a factor of c(9)?
True
Suppose -6*p = -235 - 701. Does 8 divide p?
False
Let r(j) be the third derivative of -j**4/24 + 17*j**3/6 - j**2. Let x be r(12). Suppose 0 = -z + x + 45. Is z a multiple of 13?
False
Suppose 0*p + 5*p - 4 = 3*o, -6 = -3*p. Let k(b) be the third derivative of b**5/6 - b**4/6 + b**3/2 - b**2. Is 13 a factor of k(o)?
False
Let c be (-1)/(-1) + 0 + -2. Let o(m) = m + 3. Let t be o(3). Let u = t - c. Does 7 divide u?
True
Let z(c) = 16*c**2 - c + 1. Let p(d) = 3*d**2. Let l(o) = 11*p(o) - 2*z(o). Let a(h) = -h - 1. Let r be a(3). Is 3 a factor of l(r)?
True
Does 18 divide (-20)/160 + (-1697)/(-8)?
False
Let m(z) = z**2 + 2*z + 59. Does 7 divide m(0)?
False
Let b(f) be the second derivative of f**4/12 + 4*f**3/3 - 7*f**2/2 - f. Let y be b(-9). Suppose -n = 4*n + 4*w - 10, 4*w = -y*n + 4. Does 2 divide n?
True
Let j = 0 + -2. Let m be (-1)/(3/12*j). Suppose r + 3*c = 12, -m*c + 2 = -0. Is 9 a factor of r?
True
Suppose -57 = -3*o - 15. Let p = 19 + o. Does 13 divide p?
False
Let c(x) = -2*x**3 + 14*x**2 - 7*x - 3. Is 9 a factor of c(6)?
True
Let v(h) = 3*h**3 - 2*h + 2. Let o be v(2). Suppose 0 = 5*c - 4*c. Suppose -2*q + 10 = c, 5*r - o = 2*q + 108. Is 20 a factor of r?
False
Let v(x) = 9*x + 1. Does 5 divide v(1)?
True
Let b(w) = 27*w - 19. Does 18 divide b(8)?
False
Let s = -118 - -186. Does 15 divide s?
False
Is 19 a factor of 70/(-21)*1*-15?
False
Let r = -256 + 576. Is 34 a factor of r?
False
Let v = -289 + 408. Is v a multiple of 30?
False
Suppose -20 = 5*f - 0*f. Let m(h) = 2*h**2 + 4*h - 2. Is 11 a factor of m(f)?
False
Let z be (2 - 1 - 1)*-1. Let x = z + 2. Suppose 4*w - 2*b + 6*b = 108, -5*w - x*b + 120 = 0. Is 11 a factor of w?
True
Let a be 8/2 + 1/1. Suppose c + 0*c - a = 0. Suppose c*r = 3*g + 2*r - 39, 0 = 4*g - 5*r - 56. Is 7 a factor of g?
False
Suppose 193 = 3*s - 35. Is 9 a factor of s?
False
Suppose -9*z - 20 = -13*z. Is z a multiple of 2?
False
Let a = 8 - 4. Let v(p) = p**3 - p + 42. Let i be v(0). Suppose a - i = -l. Does 15 divide l?
False
Suppose 3*k - 12*k = -2025. Is 41 a factor of k?
False
Suppose -4*l + 864 = -7*c + 2*c, c = 3*l - 659. Suppose -3*q + 7*q - s = 184, s - l = -5*q. Is q a multiple of 15?
True
Let p(y) = -y**3 + 4*y**2 + y + 6. Let v be p(4). Is ((-8)/10)/((-2)/v) a multiple of 3?
False
Let p = 5 + -6. Let j(b) = -26*b**3 + b**2 - b - 1. Is j(p) a multiple of 9?
True
Let q(o) be the first derivative of -o**3/3 + 7*o**2 - 6*o + 6. Is 13 a factor of q(6)?
False
Suppose 0 = -4*d - m - 4*m + 53, 5*m - 25 = 0. Is d even?
False
Let i(j) = 4*j**2 - 12*j + 14. Is i(7) a multiple of 8?
False
Let n = -90 + 115. Does 2 divide n?
False
Let o = -2 + 8. Suppose -160 = 2*p - o*p. Does 10 divide p?
True
Suppose -4*s = -3*g - 11 + 71, 3*s = -g + 33. Is g a multiple of 10?
False
Is 19 a factor of (-1)/(2/6 + (-424)/1200)?
False
Suppose 0 = 12*k - 7*k - 25. Suppose k*y - 91 = 59. Is y a multiple of 10?
True
Suppose -o - 4*r - 3 = 0, o + 3*r + 2 + 1 = 0. Let i(h) = -h**3 - 2*h**2 - 3*h + 2. Is i(o) a multiple of 10?
True
Let x be ((-3)/6)/((-1)/12). Let l(h) = h - 2. Let i be l(x). Does 13 divide 1*2/(i/26)?
True
Suppose -2*q - 409 = -5*i + q, 2*q - 314 = -4*i. Does 10 divide i?
True
Does 10 divide 1/((-11)/(-10) + -1)?
True
Let n(f) = -6*f + 2. Let t be n(3). Let b = 66 + t. Suppose u - b = -w - 2*w, 0 = -5*w - 2*u + 84. Does 13 divide w?
False
Let l be ((-2)/1)/((-2)/(-1)). Suppose