tiple of 18?
True
Is (207/(-6))/((-3)/32) a multiple of 8?
True
Let b = 734 + -509. Is 75 a factor of b?
True
Let n = 100 + -53. Suppose -6*x + n = -25. Is x a multiple of 12?
True
Let i be (-2)/3 + (-147)/9. Let m(s) = 20*s - 3. Let f(t) = -7*t + 1. Let k(v) = i*f(v) - 6*m(v). Does 2 divide k(-5)?
True
Let a = -22 - -141. Is 10 a factor of a?
False
Let l be (2 - 45/(-10))*10. Suppose 0 = -3*v + f + l, -3*v = -5*f - 45 - 40. Does 2 divide v?
True
Suppose 4*g - m - 295 = 0, -3*g + 4*m - 32 = -250. Suppose 4*o = -2*c - 0*o + g, 0 = 2*c - 2*o - 50. Does 7 divide c?
False
Let w(n) = 19 - 4*n - 3*n + n + 1. Is w(-7) a multiple of 51?
False
Let a(j) = 50*j - 161. Does 46 divide a(15)?
False
Suppose 0 = 3*a + 286 - 16. Let d be 7/((-84)/(-16))*a. Let t = -55 - d. Is t a multiple of 18?
False
Let m = -8 - -11. Suppose m*h = 4*x + 4*h - 105, 0 = 2*x - h - 51. Suppose -r + 2*l + 27 = 0, 0 = r + 2*l - 5*l - x. Is r a multiple of 8?
False
Let f(q) = q**2 + 62*q + 168. Does 3 divide f(-62)?
True
Let p(l) = 2*l**3 - 2*l**2 - 2*l - 1. Let t be p(-1). Let z = 19 + -23. Does 10 divide (-10 - z)*10/t?
True
Let v be (-18)/(-5)*180/(-27). Let n = v + 17. Let m = 5 - n. Is 2 a factor of m?
True
Let u(k) = -13*k - 13. Let p = -21 + 11. Does 21 divide u(p)?
False
Is (-2 + (-4638)/(-9))*3 a multiple of 20?
True
Let g(p) = -p**3 - 7*p**2 - 8*p - 3. Let z = -2 - 3. Let a be g(z). Let l = a + 16. Is l a multiple of 2?
False
Suppose 4*z - 4*n - 1804 - 292 = 0, -n - 2108 = -4*z. Is 15 a factor of z?
False
Let i(x) be the first derivative of 7*x**2 + 2/3*x**3 - 4 - 7*x. Does 16 divide i(-10)?
False
Let z = -69 - -99. Suppose 4*g = 3*g + z. Is 12 a factor of g?
False
Suppose -8*h = -2*h - 12. Is 32 a factor of h - (-935)/6 - (-4)/24?
False
Let f(z) = z**3 + 4*z**2 - 4*z - 2. Let w be f(-6). Let u = w - -119. Is u - (2 - 4 - 2) a multiple of 14?
False
Suppose -1461 = -3*b - 3*p, -2*b - 6*p + 1004 = -10*p. Is b a multiple of 12?
True
Does 4 divide 1*3/4*540/3?
False
Let f = -1176 - -2418. Is 46 a factor of f?
True
Suppose 0 = 3*s - 6*f + f - 1439, 5*s - 2386 = -4*f. Does 11 divide s?
False
Is (-4 + 3)/(-2) - 14148/(-24) a multiple of 63?
False
Suppose 0 = -5*g - 2*h + 278 + 102, -3*g + 207 = -3*h. Does 6 divide g?
False
Suppose -2*t + 12 = 4*u - 8, 4*u - 20 = -3*t. Suppose -4*n + 1116 - 220 = t. Suppose 0 = -6*g + 3*g - f + 244, -n = -3*g - 5*f. Is 30 a factor of g?
False
Let w = 1679 - 719. Is 15 a factor of w?
True
Suppose 0 = -2*f + 4*v + 624, -5*f + 0*v + 1527 = v. Suppose 3*x - 6*x = -f. Is x a multiple of 17?
True
Suppose -1922 - 2478 = -44*o. Does 66 divide o?
False
Let b(g) = -g**3 + 6*g**2 + 7*g + 4. Let d be b(7). Suppose 5*v - d*n = 640, v + 3*v - n = 523. Does 27 divide v?
False
Suppose 0 = -9*f + 32 - 5. Suppose -r + 3*q + 239 = -2*q, 699 = f*r + 3*q. Is 39 a factor of r?
True
Is 31 a factor of 127 + 8/(7 + -3)?
False
Let h(r) = -86*r + 8. Let m be h(-2). Suppose -17*f + 12*f + m = 0. Is 8 a factor of f?
False
Let u = -4 - -8. Suppose -5*s = 2*o - 60, -2*s = -4*s - u. Is 6 a factor of o?
False
Let x = 713 - -837. Does 62 divide x?
True
Suppose -2*b + 1150 = 4*d, -1135 = 6*d - 10*d + b. Is 24 a factor of d?
False
Let h = -303 + 590. Suppose -i + 47 = 4*o - 21, 4*i + o = h. Is 8 a factor of i?
True
Let g = 9 - 4. Suppose -g*n = -4*d + 228, d - 256 = -4*d - n. Does 13 divide d?
True
Is 24 a factor of 10 + 180/(-18) + 48*11?
True
Let x = -768 + 1550. Is x a multiple of 20?
False
Let w be 21/(-63)*0/(-2). Suppose 2*v = -6, 3*s + 3*v + 9 - 24 = w. Does 4 divide s?
True
Let c(f) = 10*f**2 - 4*f + 32. Is 31 a factor of c(9)?
True
Suppose 0 = -3*v + 12, 5*h = -v + 19 + 30. Let f = h + 2. Is f even?
False
Suppose -3*g = 4*g - 238. Let o = 64 - g. Is o a multiple of 10?
True
Let g be -2*1*21/(-6). Suppose -2*u + 11 = -g. Does 3 divide u?
True
Let u(r) be the third derivative of -2*r**5/5 + r**4/24 - r**3/6 - 3*r**2. Let o be u(1). Is (-2)/(-6) + (-184)/o a multiple of 5?
False
Does 27 divide 2 - (6/(-2) - (5 + 233))?
True
Suppose 5*o + 199 = 4*g, 3*g + o = -4*o + 193. Suppose -n = 40 - g. Is n a multiple of 4?
True
Let m(g) be the third derivative of 17*g**4/24 + 3*g**3/2 - 14*g**2. Does 16 divide m(7)?
True
Suppose 60 = b + 3*b. Suppose -b = -2*f - f. Suppose -f*w = -15 - 145. Does 32 divide w?
True
Let n = 8 - -20. Does 7 divide 3 + (4 - 7) + n?
True
Suppose 6 = 4*j - 2. Suppose 448 = j*m + 3*m + 4*u, 5*m = -3*u + 446. Suppose -11*d + 15*d = m. Does 10 divide d?
False
Let g = -4 - 1. Let j(m) = 4*m + 8. Let t(y) = -8*y - 15. Let u(a) = 11*j(a) + 6*t(a). Is u(g) a multiple of 18?
True
Let u(l) = 2*l**2 - 4*l + 11. Let m be u(7). Suppose 0 = m*z - 87*z + 780. Does 10 divide z?
True
Let h be (4/6)/(26/2301). Suppose 3*v + 4*f = h, 6*v = 2*v + f + 66. Does 8 divide v?
False
Let w(o) = 18*o**3 + 2*o**2 - 2*o - 1. Let m be (-1)/(-1) - (0 + -1). Does 21 divide w(m)?
True
Let r(p) = -120*p**2 - 60*p**3 + 1 + 2*p + 120*p**2. Let y be r(-1). Suppose y = 5*f - 211. Is 18 a factor of f?
True
Let s = -14 - -72. Let l = 125 - s. Does 24 divide l?
False
Suppose -92 = 5*n - n. Let t = 2 - n. Does 8 divide t?
False
Suppose 3*n - 138 = 2*y, 9*n + 5*y = 4*n + 205. Does 15 divide n*(4/8 + (-6)/(-4))?
False
Suppose 7*m = -j + 4*m - 30, -5*j = 4*m + 183. Let s = j - -74. Does 7 divide s?
True
Let q be 3/6 - (-49)/14. Let a be 12/2 + 7/(-7). Suppose 0 = q*s + 16, s = -a*r + 37 + 99. Is r a multiple of 5?
False
Let f = 1288 - 816. Suppose f = 4*q + 3*v + v, -4*v - 133 = -q. Is q a multiple of 11?
True
Suppose 4*i + 4 = -0, -4*d + 3037 = 3*i. Is d a multiple of 38?
True
Suppose -2*w + 5*a = -18, -3*w + 22 = w - 3*a. Suppose -w*y = -y - 252. Is 12 a factor of y?
True
Does 23 divide (-2 - 6900/(-65)) + 8/(-52)?
False
Suppose 17*a + i = 21*a - 417, 5*i + 25 = 0. Does 3 divide a?
False
Let s be 99 - (-2)/3*3. Suppose 11*h + 694 - 2245 = 0. Let w = h - s. Does 12 divide w?
False
Suppose 5320 = -3*x + 11*x. Suppose 560 = 4*w + 4*a, 2*a = -2*w + 7*w - x. Is 15 a factor of w?
True
Suppose u - 5*n = 144, -4*n - 836 + 179 = -5*u. Is u a multiple of 55?
False
Let b = 52 + -52. Does 22 divide (-4 - b)/4*-22?
True
Let f(g) be the first derivative of 3*g**2 - 8*g + 3. Let d be f(5). Let c = 31 - d. Is 6 a factor of c?
False
Suppose 0 = -g + 9 - 3. Does 9 divide (4 - 1)/g*36?
True
Let c be (-6)/15 + (-24)/(-10). Let q(r) = 10*r + 2*r**2 - 7 - 8*r**c + 5*r**2. Is 14 a factor of q(7)?
True
Let g be -1 + (42/2)/3. Let j = g - -14. Is 10 a factor of j?
True
Suppose -2*g + 371 = -w - 394, 0 = -3*g - 4*w + 1164. Is g a multiple of 24?
True
Suppose 2*y = -5663 + 7307. Is y a multiple of 32?
False
Let d(z) = 247*z**3 + 1. Let g be d(1). Suppose -4*r + 92 + g = 0. Is 17 a factor of r?
True
Suppose 0 = 3*j - 2*j - 7. Does 27 divide j + 3 + 1 + -8 - -51?
True
Is 3 a factor of ((-120)/(-54))/10 - 2032/(-9)?
False
Suppose 5*p - 5*n - 3475 = 0, 7*n + 25 = 2*n. Does 69 divide p?
True
Suppose -22 = -5*l - 4*i, -3*i + 0 = -l - 7. Suppose 0 = 7*h - l*h. Let q = 10 + h. Is 5 a factor of q?
True
Suppose 19*l + 6805 = 23*l - 3*c, c = 3*l - 5100. Is l a multiple of 5?
False
Is 3*(-14 - -587) - 1*7 a multiple of 103?
False
Let f = 58 - 207. Let m be 86*((-5)/2 + 0). Let y = f - m. Does 22 divide y?
True
Suppose -4*j + 1296 = 4*f - 3*j, -3*f = 2*j - 972. Does 12 divide f?
True
Let h(a) = -a**2 + 4*a + 17. Suppose -2*m - 2*g = -18, -4*m + 3*g - 1 = -9. Let t be h(m). Let r = t + -2. Is r a multiple of 10?
True
Let p(n) = n**2 - n. Let b be p(-4). Suppose -a + 0*a - 19 = -4*q, -5*a + 13 = -2*q. Suppose -5*w - q = -2*g, -2*g + 4*g + 2*w - b = 0. Is g a multiple of 4?
True
Is 5 a factor of (-22 - -42)/(39/37 + -1)?
True
Suppose -5*r - 164 = -7*r. Suppose 10 = -o + r. Is o a multiple of 12?
True
Let t(l) = l**3 + 3*l**2 - l + 2. Let r be t(-2). Let p(s) = 8*s**2 - 17*s - 4. Is p(r) a multiple of 12?
True
Let o(r) = 160*r - 4. Let z be o(-1). Let j = 10 - z. Is 41 a factor of j?
False
Let m(p) = -3*p**3 - 9*p**2 - 6*p - 14. Let w(s) = s**3. Let t(c) = -c**2 + 7*c + 1. Let z be t(7). Let r(l) = z*m(l) + 4*w(l). Is 16 a factor of r(10)?
False
Suppose 0 = -3*n - 0*n + 24. Suppose n - 3 = z. Suppose z*x - 84 = x. Is x a multiple of 7?
True
Suppose -v + 0 = -5*f + 13, -3*f + 3*v + 3 = 0. Suppose 3*y = -4*z + 3, -f*z + 4*z = -5*y + 5. Let r(