 (-2)/(-3) + (-56)/h a multiple of 8?
False
Let i = -1 - -23. Does 13 divide i?
False
Suppose -4*m - m + 95 = 0. Does 3 divide m?
False
Suppose 0 = -4*v - w + 120, -4*v - 51 + 171 = -5*w. Suppose 3*c + 5*r = 90 - v, -5*c - 2*r = -119. Is c a multiple of 4?
False
Let r(p) = p**2 + 2*p + 189. Does 27 divide r(0)?
True
Let u = -3 - -8. Suppose u*q = 3*b + 75, 4*q - 3*b - 4 = 56. Suppose 0 = 2*r + r - q. Does 5 divide r?
True
Let k be (-1)/4 - 92/16. Suppose -t + 280 = 3*t. Does 12 divide t/3 - k/9?
True
Is 3 a factor of (-5)/2*144/(-20)?
True
Suppose -3*s = 2*s. Suppose s*l - 256 = -4*w - 3*l, -4*w = -5*l - 224. Is 21 a factor of w?
False
Let t = 11 + -21. Let m = 10 - t. Is m a multiple of 10?
True
Let z(x) = -6*x - 2. Let j(r) = 7*r + 3. Let i(v) = -5*j(v) - 6*z(v). Suppose -9*o = -8*o - 8. Does 3 divide i(o)?
False
Let q be (-1 - -4)/((-4)/(-8)). Does 17 divide q/(-9)*(-51)/2?
True
Let c(m) = 2*m**2. Let b be c(1). Suppose 2*w = b*a - 92, 4*a - 278 + 98 = 3*w. Is 14 a factor of a?
True
Let d(o) = 2*o**2 + 4*o - 1. Let x be d(4). Suppose -3*g = -x - 49. Is g a multiple of 16?
True
Let h be (-70)/(-28) + (-2)/(-4). Suppose 75 = 3*j + h. Does 14 divide j?
False
Let a(p) = -p + 8. Let j be a(6). Suppose 2*c = 7*c + j*t, -5*t = -4*c - 33. Is 157/4 + c/8 a multiple of 15?
False
Suppose 0 = -4*v + 5 + 3. Suppose -q + v*u = -43, u = 3*q - 32 - 77. Is 10 a factor of q?
False
Does 16 divide 2/10 + (-17982)/(-90)?
False
Suppose -9*p + 4*p - 20 = 0. Let j(z) = 2*z**2 + 6*z + 1. Is j(p) a multiple of 5?
False
Suppose 0*s + s = 48. Is 8 a factor of s?
True
Let i be ((-7)/5 - 3)*5. Let d = 42 + i. Does 20 divide d?
True
Suppose -c - 3*c = -8. Does 5 divide -2 + (-30)/(-4)*c?
False
Suppose 4*f = 6*f - 8. Is f even?
True
Let h(d) = -d**3 - 4*d**2 + 10*d. Let m be h(-7). Suppose 3*x = q + m, -q + 29 + 50 = 3*x. Is 13 a factor of x?
True
Let d(y) = 8*y - 9. Let q be d(6). Let u be (q/(-6))/((-2)/4). Suppose 0 = -p - i + u, 0 = -2*p + p + 3*i - 7. Does 5 divide p?
False
Suppose 0 = 2*v + 4*j + 26, 11 + 6 = v - 4*j. Let p = v - -5. Is p even?
True
Suppose -2*w = 5*s - 18, -w - 5*s + 6 = -2*w. Suppose 4*f - w*p - 88 = 0, -p + 41 = 2*f - 2*p. Does 11 divide f?
False
Is 15 a factor of (-3)/(14 - 2) + (-1263)/(-12)?
True
Suppose 3*c - 4*s = 70, 2*c + 16 = 4*c + 5*s. Suppose 3*p + 0 + c = 0. Is (-36)/(-6)*(-14)/p a multiple of 7?
True
Let q be ((-33)/9)/(1/6). Let g be 126/(-33) + 4/q. Let t(f) = -3*f + 1. Is 13 a factor of t(g)?
True
Let w(o) = -o**3 - 7*o**2 - o - 3. Let a be w(-7). Suppose 0 = -5*c, a*k - 23 = 3*k - c. Is 9 a factor of k?
False
Let w(q) = -q**3 + 9*q**2 + 4*q + 2. Is 14 a factor of w(9)?
False
Suppose 0 = 3*p - 5*l - 82 - 353, 3*p = -l + 435. Is p a multiple of 30?
False
Let k(x) = 2*x - 3. Let z be k(6). Suppose -w - 2*m = -19, -2*m = -z + 1. Suppose w = s - 1. Is 12 a factor of s?
True
Let s(h) = 1 - h**3 - 3*h**3 - 3*h**3. Let b be s(-1). Is 147/12 - 2/b a multiple of 5?
False
Let a be (-1)/(-1) - -2*1. Suppose 5*i - f - 169 = 0, 0 = -a*i + 2*f + 2*f + 98. Is i a multiple of 21?
False
Let y(i) = 4*i - 6. Suppose c - 9 = 2*v, 0 = -0*c + 2*c + 5*v - 18. Is y(c) a multiple of 10?
True
Let o be 7/(-21)*(0 + -3). Let a = 11 - o. Is a a multiple of 10?
True
Let s be 5 - (-2 + 3 + 1). Suppose -23 + s = -5*c, -2*o - 3*c = -22. Suppose 64 = -d + o*d. Does 8 divide d?
True
Let s = 0 + 9. Is (s/(-6))/((-9)/228) a multiple of 19?
True
Is 6500/55 + 6/(-33) a multiple of 10?
False
Let y be -1 + 1/(4/32). Let n(q) = 6*q - 8. Does 16 divide n(y)?
False
Let o(z) = z + 8. Let j be o(6). Suppose -3*d - 3 = -27. Let b = j + d. Is 11 a factor of b?
True
Let o = -1 + 2. Let j be -1*(-5 - (0 - o)). Suppose 12 = j*f - 0*f. Is f a multiple of 2?
False
Suppose 4*o = o. Let l(t) = 4*t + 1. Let m be l(1). Suppose -m*g - 2 = 3, -v + 3*g + 35 = o. Does 16 divide v?
True
Suppose -582 = -0*t - 2*t. Is 51 a factor of t?
False
Let w(k) = -k**2 - k + 2. Let c be w(-5). Let g = c + 72. Is g a multiple of 18?
True
Let o(d) = d**3 - 5*d**2 - d - 5. Let h be o(6). Suppose 155 = 3*t - h. Suppose 0 = q + 4*q - t. Is 10 a factor of q?
False
Let x = 513 + -348. Does 15 divide x?
True
Suppose k = 2*k - 90. Is k a multiple of 6?
True
Let n = -9 + 10. Is -1 - -3 - (-35 - n) a multiple of 19?
True
Let o be ((-20)/25)/((-2)/(-25)). Does 12 divide 3*(-4)/(-6) - o?
True
Let j(p) = p - 2. Let w be 12/(-15)*(-10)/4. Let v be j(w). Let o(f) = -f**2 - f + 34. Is o(v) a multiple of 17?
True
Suppose 4*w - 204 = -0*w. Is w a multiple of 16?
False
Let q be 0 + 1 + (-78)/(-3). Suppose q = 4*k + 3. Suppose 0 = -p + k + 2. Is 8 a factor of p?
True
Suppose 15*b - 10*b = 70. Is b a multiple of 4?
False
Let q(j) = -j**3 - 4*j**2 + 12*j - 2. Let b be q(-6). Suppose w - 6*w + 4*z + 34 = 0, -32 = -2*w - 3*z. Is 15 a factor of b/4*-3*w?
True
Suppose -144 = -2*m - m. Let v = m + 12. Does 12 divide v?
True
Let l(c) = -c**2 + 27. Let r be 12/(-16) - 6/(-8). Suppose r = -4*m + 3*m. Is l(m) a multiple of 9?
True
Let b(i) = -i**3 - i + 93. Is 26 a factor of b(0)?
False
Let z(f) = -5*f**2 - f - 1. Let b be z(-1). Let t = b - -4. Is 19 a factor of ((-1)/(2/106))/t?
False
Let o(m) = 20*m - 1. Let j be o(5). Suppose 3*v + j = 6*v. Suppose -v = -2*c + 13. Is c a multiple of 11?
False
Suppose 2 = 5*n - 4*n. Suppose n*x = -x + 2*c + 70, 4*c + 40 = x. Is 8 a factor of x?
False
Let a = 4 - 0. Suppose -3*x - 3*k + 105 = 0, 2*k - 155 = -a*x + k. Suppose -y - y + x = 0. Is 10 a factor of y?
True
Let t(a) = a**3 + 3*a**2 - 3*a. Let w(b) = -4*b**3 + b**2 - 1. Let q be w(1). Let c be t(q). Let u(p) = -8*p - 2. Is u(c) a multiple of 15?
True
Let r(t) = -3*t**3 - t**2 + 1. Let o be r(-1). Is 26 a factor of o/2*(66 + 0)?
False
Let n = -3 + 3. Let h(j) = j + 13. Let f be h(-11). Suppose 5*w - f*w + 3*o - 54 = n, 52 = 4*w - o. Does 6 divide w?
False
Let n = 10 + 7. Is n a multiple of 17?
True
Let b(k) = k**2 - k + 48. Is b(-11) a multiple of 20?
True
Suppose 5*j = 3*k - 21, -4*k + 0*j + 28 = 2*j. Suppose 3*f = k*f - 4*b - 12, -f + 4*b + 15 = 0. Is 10 a factor of 27 + (-1 - f) + 2?
False
Let p(u) = 2*u**2 - u - 1. Let y be p(-8). Suppose -y = -5*v - 3*b, -4*v + 74 + 32 = 2*b. Is 12 a factor of v?
True
Let w(x) = 8*x - 4. Let c be w(4). Let r = c + -20. Is 4 a factor of r?
True
Suppose -2*a - 10 + 136 = 0. Is 8 a factor of a?
False
Suppose 0 = 4*b - 94 - 66. Does 11 divide b?
False
Let z = -297 - -200. Let k = -58 - z. Is 13 a factor of k?
True
Is 6 a factor of (5 + 6)/(0 - -1)?
False
Let p = -9 + 2. Is 8 a factor of 28/p*9/(-2)?
False
Suppose 0 = 4*k + 5*k - 216. Does 5 divide k?
False
Let r = -5 + 4. Let z(x) be the first derivative of -3*x**2/2 + x - 1. Does 2 divide z(r)?
True
Suppose 2*x + 70 = x. Let n = -40 - x. Is 15 a factor of n?
True
Let c(s) = -4*s + 9. Let o be c(7). Let x = 7 - o. Does 16 divide x?
False
Let w(l) = -l - 6. Let o be w(-10). Suppose 3*t = 4*t - o. Suppose -3*c + t*f = -36, -4*f + 0*f = 5*c - 28. Is 3 a factor of c?
False
Let u = -14 + 73. Does 12 divide u?
False
Let g(y) = y**3 - 7*y**2 + 8*y - 7. Let h(c) = c**2 - 9*c + 6. Let m be h(9). Let k be g(m). Suppose 14 = -k*o + 89. Is o a multiple of 7?
False
Suppose 2*c + 2*c = 20. Suppose 4*n - 116 = -0*n + c*d, 0 = 3*n + d - 68. Is 6 a factor of n?
True
Let z(r) be the second derivative of -3*r**4/2 + r**2/2 + 2*r. Let b be z(1). Is b/(-2) + 2/(-4) a multiple of 8?
True
Let i = 331 - 123. Is 13 a factor of i?
True
Let u(b) = -b**3 + 3*b**2 + 4*b + 2. Let d be u(-3). Suppose 4*m - 228 = d. Is 23 a factor of m?
False
Let h(w) = 4*w + 10. Let s be h(8). Let o = s + -20. Suppose -2*z = -18 - o. Is z a multiple of 16?
False
Suppose -88 + 4 = -3*x. Suppose -x = 6*r - 244. Is 12 a factor of r?
True
Let m = 160 - 101. Does 13 divide m?
False
Let l(g) = -g**3 + 9*g**2 - 7*g - 5. Let j be l(8). Let w be (-2)/j*(-2 + -7). Is 3 a factor of (-4)/w - (-28)/6?
False
Suppose -l - 4*l = -3*x + 6, 3*l = 0. Suppose -4 = -2*o - p - p, -3*o + x*p = -31. Does 2 divide o?
False
Suppose 0 = 3*w + 5*p - 0*p - 12, w - 2*p = -7. Let l = w + 2. Let x(r) = 22*r**3 + 1. Does 5 divide x(l)?
False
Suppose -5*r - 13 - 7 = 0. Let w be (r/(-3))/((-4)/(-12)). Suppose -j = w*j - 45. Is 6 a factor of j?
False
Suppose -3*r - 5*g = -20, -5*r - 5*g + 30 = -r. Let d be 12/r*40/6. Suppose -3*o + d = -