= -5*q, -92 = -4*q - f. Does 6 divide q?
True
Let k be 1040/(-30) - (-3)/(-9). Let b = -26 - k. Is 3 a factor of b?
True
Let k = -87 - -196. Does 16 divide (0 + (-3 - -4))*k?
False
Let u(g) = -2*g**3 + g**3 + 10*g**2 + 0*g + g. Let j be u(10). Suppose w = 3*s - 45, 2*s + 2*w = j + 12. Is s a multiple of 10?
False
Let y be (21/(-35))/(2/(-60)). Suppose 0 = -2*a + a - l + y, -a + 4*l + 38 = 0. Is a a multiple of 4?
False
Let f be (-3)/4 - 1*(-4029)/12. Suppose 715 + f = 6*k. Is k a multiple of 30?
False
Is 13 a factor of (4*(-3)/12)/(1/(-183))?
False
Suppose 6*f = f + 20. Let m be (12/9)/(f/138). Let g = m + -23. Is 20 a factor of g?
False
Let k(f) = f**3 - 7*f**2 + 9*f - 14. Let x be k(6). Is 17 a factor of 6*(140/8 - x)?
False
Let t(q) = -q**2 + 11*q + 12. Let a be t(12). Suppose 0 = -o - a*o - 2. Is (-5)/(-4)*(2 - o) a multiple of 5?
True
Let w = -117 - -121. Suppose -9*u + 210 = -w*u. Does 21 divide u?
True
Let m(c) = 21*c + 228. Is 3 a factor of m(0)?
True
Suppose -2*d + 3 + 3 = 0. Suppose -5*t + 22 + d = 0. Suppose -t*f + 4 + 86 = 0. Does 18 divide f?
True
Let f(t) = 4*t**2 + 2*t. Let i(u) = -9*u**2 - 4*u. Let k(r) = 7*f(r) + 3*i(r). Let v be k(-4). Suppose 4*y = c - 10, 3*c - 38 + v = 5*y. Does 10 divide c?
True
Let v = 645 - 633. Does 6 divide v?
True
Suppose 2*o + 1 + 1 = 0, -5*o = -3*k + 17. Suppose -18 = -3*t + 3*s, -s = -5*t + 11 + 11. Suppose k*c - 5*l - 33 = 120, t*l - 54 = -c. Is 22 a factor of c?
False
Suppose 3*f - 421 = -4*b, 16 = -26*b + 30*b. Is f a multiple of 27?
True
Suppose -2 = 5*x - 27. Suppose -5*d + 1055 = -x*r, r = d - 2*d + 219. Is d a multiple of 35?
False
Let q(k) = k**3 - 3*k + 1618. Does 22 divide q(0)?
False
Suppose -9*h + 18504 = 9*h. Does 81 divide h?
False
Suppose 0*o - 4 = o. Let m(x) = 3*x**2 + 4*x - 4. Let p be m(o). Suppose 29 + p = t. Is t a multiple of 25?
False
Suppose -7*d = -11*d + 896. Suppose -d - 141 = -5*q - 5*x, q = -4*x + 85. Is 8 a factor of q?
False
Suppose 5*b + 5 = 30. Suppose -b*x + 280 = -50. Is 6 a factor of x?
True
Let d(s) = s**2 + s + 8. Suppose -10 = a + 2*z + 5, -4*a = z + 39. Let t be d(a). Suppose 0 = -4*c - c + t. Is c a multiple of 16?
True
Let v(u) = -u**3 + 10*u**2 - 9*u + 24. Is v(-8) a multiple of 13?
True
Suppose 4*h - a - 5707 = 0, 3*h - 5*a - 1508 = 2751. Is 6 a factor of h?
True
Suppose -l = -5*u + 11, -2*u + 0*l - 2*l + 14 = 0. Let g be ((-18)/21)/(u/(-14)). Does 10 divide 16/g + (-6)/(-1)?
True
Suppose 428*p - 350 = 421*p. Is 37 a factor of p?
False
Suppose 2*g = 3*n + 1513, -4*n = 5*g + 990 - 4715. Is g a multiple of 63?
False
Suppose 5*u - 10 = 120. Let w = 30 - u. Does 2 divide w?
True
Suppose -2*c - 55 - 73 = 0. Suppose -2*x - 39 = -119. Is 16 a factor of (c/x)/((-1)/10)?
True
Let g = -287 + 1431. Is 88 a factor of g?
True
Let m(b) = -b - 11. Let k be m(-9). Let p(y) = -6*y. Let s be p(k). Let f = s - 4. Is f a multiple of 2?
True
Suppose 0 = s + 4 - 2. Let q(o) = -2 + 0 - 4*o - o**2 + 4*o**2 + 6*o. Is q(s) a multiple of 2?
True
Suppose 0 = -2*f - 13*f - 240. Is 25 a factor of (20/f)/(1/(-40))?
True
Does 11 divide 0 - 14/91 - (-16592)/26?
True
Suppose -2*i + m + 10 = 0, 10 = i - 3*m - 0. Suppose -i*w = -2*g + 24, 2*g + 3*w = -2*w - 12. Suppose -3*p + 85 = g. Does 9 divide p?
True
Suppose 5*y - 280 = 35. Does 9 divide y?
True
Let p(q) = q**3 - 5*q**2 - 12*q - 18. Let f be p(10). Let o = -198 + f. Does 23 divide o?
False
Suppose 155*q = 132*q + 15916. Does 14 divide q?
False
Let h be 5/(-2)*((-165)/25 + 5). Suppose -h*r + 121 = x, 0 = 4*r + r - x - 140. Is 16 a factor of r?
False
Suppose c - 106 = -3*g + 2*g, -5*g - c + 522 = 0. Is 52 a factor of g?
True
Is 42/4*7696/312 a multiple of 2?
False
Suppose 4*f - 22 = -2. Let k(b) = b**2 - b - 13. Let w be k(f). Let v = 38 - w. Is 6 a factor of v?
False
Does 37 divide ((-1484)/42 - -12)/((-2)/69)?
False
Suppose 0 = -0*b + b + 7. Let n = -42 - b. Does 11 divide (-224)/(-10) + 14/n?
True
Let w(b) be the first derivative of -b**4/4 + 2*b**3 - b**2/2 - 3*b - 17. Does 17 divide w(5)?
True
Suppose 4*s - 7*s + 3 = 0. Does 40 divide (-5 - s)/((-24)/480)?
True
Let h = 5026 + -3513. Is 17 a factor of h?
True
Let o = 386 + -264. Let f = o - 29. Is 29 a factor of f?
False
Suppose -h - 2*q - 46 = 0, -3*q = h + 6 + 37. Let v = h - -79. Is v a multiple of 9?
True
Let p = -25 - -29. Suppose g + 4*c = -g - 76, 197 = -p*g + c. Does 11 divide (-1)/(-8) + (-1578)/g?
True
Let d be -2*(-11 - -3)/4. Suppose -2*c = -m - 4, -c = -d*m - 0*c - 16. Does 12 divide 4 - (-62 - (m + 3))?
False
Is (2/(4/2))/((-25)/(-675)) a multiple of 11?
False
Let x(f) = -27*f - 87. Let y = -136 + 129. Is 11 a factor of x(y)?
False
Suppose -3*r + 3686 = 5*u, 4*r - 22 = -14. Does 33 divide u?
False
Let n be 238/4 + (-12)/8. Let a = n - 85. Does 15 divide (a/(-12))/(1/12)?
False
Is 68 a factor of ((-1792)/70 + 12)*(-1 + -19)?
True
Let b be (-8)/6 + (-115)/15. Let q be -2*1 + 5 + b. Let z = 4 - q. Is z even?
True
Let c be (-5 - 0)/(1*-1). Suppose -c*k - 99 = -1499. Does 17 divide (-6)/(4 + k/(-68))?
True
Suppose o - 594 = w, -2*o - 11*w + 14*w + 1190 = 0. Is o a multiple of 6?
False
Let u be (-3)/(-4)*4*1. Suppose -5*x - 5*b + 290 = 0, u*x + 196 = 7*x - 5*b. Let f = x + -30. Does 22 divide f?
False
Let i(p) = -4*p - 8. Let z(t) = -t**2 + 12*t + 2 - 3 + 0 - 5. Let c be z(12). Is i(c) a multiple of 8?
True
Suppose 2*l = -3*c + 42, 0 = 5*l - 11*c + 9*c - 143. Is l a multiple of 15?
False
Let t(l) = 2*l**2 + 31*l - 359. Does 95 divide t(12)?
False
Let c be (4/12)/(3/36). Suppose s = -c*s + 350. Does 6 divide s?
False
Let t(d) = 28*d - 150. Is t(6) even?
True
Let f(l) = 2*l - 14. Let i be f(9). Suppose 37 + 163 = i*a. Is 30 a factor of a?
False
Suppose 77 = -0*z - 7*z. Let k(v) = -v**2 - 17*v - 26. Is k(z) a multiple of 4?
True
Let z = -1001 + 1253. Is z a multiple of 13?
False
Is (150/4)/(128/4608) a multiple of 18?
True
Let k = -1 - 48. Let z = k + 57. Does 2 divide z?
True
Suppose 4*n - 47 = 97. Let z = n + -17. Is z a multiple of 19?
True
Suppose 0 = 2*w - w - 21. Let h = -12 + w. Is h a multiple of 3?
True
Let d(m) = 2*m**2 - 17*m + 48. Does 14 divide d(9)?
False
Suppose -5*d + 2555 = 4*g + 569, 0 = -5*g - 5. Is d a multiple of 5?
False
Suppose 5*q = 5*k + 140, 3*q - 16*k - 79 = -14*k. Does 23 divide q?
True
Let y be -3*-10*(-15)/(-6). Suppose 3*i - 4*f - 103 = 0, 0*i + i - 28 = -5*f. Suppose 3*b = i + y. Is b a multiple of 10?
False
Let h(o) = o**3 + 11*o**2 - 65*o - 67. Let x be h(-15). Let m = 83 + -55. Is 6 a factor of 1028/28 + x/m?
False
Let a(k) = -3*k - 13. Let u be a(0). Let t = -14 - u. Is 3/t + (54 - -3) a multiple of 27?
True
Let l be (3 - 0)*1*1. Suppose -l*t = t. Suppose -24 = -f - t. Is 10 a factor of f?
False
Suppose h + 5*d = 17, -d = -4*h - 15 - 1. Let p be (-1)/(-2)*h*10. Let g(t) = t + 35. Is g(p) a multiple of 10?
True
Suppose -14 = -4*i - 6. Suppose 2*b + s - 97 = 0, -i*b + 4*s + 140 = b. Is b a multiple of 24?
True
Suppose -5*u + 1570 = 5*i, 4*u - i = u + 934. Is u a multiple of 39?
True
Let o = -7 - -16. Suppose 2*g + 1 = -o. Does 12 divide ((-2)/g)/((-8)/(-480))?
True
Suppose -3*q = 4*r + 43, 0 = 5*q + r - 2*r + 87. Let i = 5 + q. Is 24/((-5 + 1)/i) a multiple of 14?
False
Let c(x) = 26*x + 21 + 0*x - 77. Is c(6) a multiple of 10?
True
Is ((-7)/(49/4))/(10/(-8015)) a multiple of 14?
False
Suppose -3*w = 2*w - 15. Suppose -o - w*c = -98, 2*o + 0*o - 196 = 3*c. Let v = o + -6. Does 17 divide v?
False
Let k(b) = -117*b + 21. Is k(-2) a multiple of 17?
True
Is 7 a factor of (16/(-4) - 3)/((-8)/640)?
True
Let d(c) be the second derivative of c**3/6 + 9*c**2/2 + 11*c. Let n be d(-6). Suppose 2 = o, -n*x = -x - 3*o - 34. Does 7 divide x?
False
Suppose -3*w + 107 = -4*d, -w + 0*d - 3*d + 40 = 0. Let r = 77 + w. Is r a multiple of 19?
True
Let p(o) = -o**3 + 9*o**2 + 20*o + 17. Let l be p(11). Is 16 a factor of l - 6*(-78)/4?
True
Suppose -2*s + 224 = -12. Let v = s + -16. Is v a multiple of 12?
False
Let c(a) = 33*a**3 + a**2 - 1. Let d be c(1). Suppose 3*s - 40 = -s + n, -3*n = 5*s - d. Is s a multiple of 2?
False
Suppose -50 = -a - 4*u, -8*u + 7*u + 260 = 4*a. Suppose -4*q + 146 + a = 0. Is 26 a factor of q?
False
Suppose -4*n + 2805 = 3*f, -2*n + 6*f + 1389 = 3*f. Is n a multiple of 15?
False
Is (-55)/((36/(-16))/9) a multiple of 30?
False
Let z(n