Suppose -b*s = -19 - 21. Does 10 divide s?
True
Let w = -39 - -110. Let i(y) = -y + 36. Let j be i(31). Suppose 29 + w = j*f. Is f a multiple of 10?
True
Let f(y) = -129*y - 125. Is 9 a factor of f(-3)?
False
Let q = -1134 - -2065. Is q a multiple of 17?
False
Suppose 0*t - 40 = 4*t. Let k be (t/3)/(10/90). Let a = 18 - k. Is a a multiple of 24?
True
Let d(y) = -y**3 + 6*y**2 + y - 4. Let b = 20 + -14. Let c be d(b). Suppose 43 + 21 = c*z. Is z a multiple of 16?
True
Does 5 divide 6*((-2758)/(-28) + 11)?
False
Let u(f) = -43*f + 141. Is 50 a factor of u(-14)?
False
Suppose -33 = 3*p + z, -6 = 5*p + 2*z + 48. Suppose -2*d - 3*d + 240 = 0. Let l = p + d. Is l a multiple of 12?
True
Let g(f) = -8*f**2 + 2*f + 4. Let c(q) = -q**3 - 7*q**2 + 3*q + 3. Let u(j) = 7*c(j) - 6*g(j). Does 25 divide u(-3)?
True
Let z be (-9)/45 - 11/(-5). Suppose -z*u - 5*m = 48, -4*u + 68 = -8*u - 3*m. Is 6 a factor of ((-24)/u)/((-5)/(-70))?
True
Suppose -b = -4, 0 = -w + 5*w - 3*b - 108. Let k = w - 6. Is 4 a factor of k?
True
Suppose 2*t - t = 10. Let l = 21 + t. Is l a multiple of 18?
False
Suppose -344 = -3*b + 2*u + 48, -534 = -4*b - 3*u. Does 17 divide b?
False
Let x = 0 - -2. Suppose 4*l = x*l + 162. Is 20 a factor of l?
False
Let q = -104 + 120. Suppose q*c - 1993 = 2455. Does 16 divide c?
False
Suppose -8*q = 5*q - 728. Is 8 a factor of q?
True
Let c(q) = -1. Let a(o) = -3*o + 16. Let u(b) = -1. Let y(k) = a(k) + 3*u(k). Let t(h) = 2*c(h) - y(h). Does 21 divide t(12)?
True
Suppose 4*q - 8 = 0, 2*a - 2*q + 5*q = 14. Let j = a - 24. Let x = j + 38. Does 5 divide x?
False
Suppose -11*k + 10120 = 33*k. Does 8 divide k?
False
Let z be (-1 + 7)*2/(-1). Let f = z - -30. Suppose 0 = x + 2*x - f. Is 2 a factor of x?
True
Let r(n) = -n - 5. Suppose 4*v + 2*g = -30, -4*g - 30 = v + g. Let m be r(v). Suppose -3*s = -m*s - 144. Is 16 a factor of s?
True
Let w = -462 + 712. Is w a multiple of 50?
True
Suppose -1 - 35 = 4*b. Let x = 12 + b. Suppose -x*a + 20 = 2*a. Is 2 a factor of a?
True
Suppose 25 = -o + 5*o + 5*w, 3*o = 5*w + 45. Suppose 0 = -p - g, -2*p + p - 3*g + 6 = 0. Let t = o + p. Does 7 divide t?
True
Suppose 28*d - 16*d = 2124. Is 27 a factor of d?
False
Suppose v - 1 = 0, 0 = m - 5*v - 32 - 61. Let n be m/5*(-5)/(-2). Let w = -27 + n. Is w a multiple of 11?
True
Let g = -10 + 15. Let r = 7 - g. Suppose 5*k - 165 = -5*l, l = r*l - 3. Is 10 a factor of k?
True
Suppose -4*p - 161 - 83 = 0. Let f = 93 - p. Does 20 divide f?
False
Let h(d) = -56*d - 964. Is 12 a factor of h(-28)?
False
Let v(s) = -s**2 - s - 1. Let d be v(-3). Let u be d/(-3 + 356/120). Is u/9*(-12)/(-8) a multiple of 13?
False
Suppose 78*d - 76*d + 2*q - 4116 = 0, 4*d - 4*q = 8248. Is 87 a factor of d?
False
Let s(u) = u**2 - 7*u - 1. Let g be s(7). Is 14 a factor of ((-1)/6*3)/(g/384)?
False
Let g(i) = -3*i**2 - 19*i + 15. Let z(v) = 4*v**2 + 20*v - 14. Let m(w) = 3*g(w) + 2*z(w). Suppose -9*l = -596 + 722. Is m(l) a multiple of 15?
False
Let n = -23 + 76. Suppose 3*s - 4*s + n = 5*f, 3*f = s - 93. Is s a multiple of 13?
True
Suppose 13 = -3*r + 37. Is r/(112/1390) - (-4)/(-14) a multiple of 11?
True
Let o(j) = -7*j**2 + 1. Let z = -7 - -8. Let l be o(z). Is 68 - l/3 - 4 a multiple of 18?
False
Suppose -3*b = 27*z - 29*z + 7738, 19350 = 5*z - 5*b. Is z a multiple of 16?
True
Suppose -4*k - 4*m = -k + 82, -4 = m. Let z be k/(-12) + (-5)/(-30). Suppose -z*x = 2*x - 104. Is 18 a factor of x?
False
Let s(a) = 4*a**2 - 21*a + 3. Let p be s(11). Suppose -5*v = 2*b - p - 29, -459 = -3*b + 3*v. Is b a multiple of 29?
False
Suppose 495 = 2*t - y, -4*y = -3 - 1. Is t a multiple of 62?
True
Let w(r) = 5*r**3 + r**2 + r - 2. Let l be w(1). Suppose 938 = l*v + 33. Is v a multiple of 23?
False
Is 12 a factor of 11 + 653 + (-99)/(-9)?
False
Let k(v) = 6*v + 17. Let t be k(-7). Let i = t - -36. Is i even?
False
Suppose 97*s - 95*s = 2, -526 = -2*h + 2*s. Is h a multiple of 7?
False
Let y = -160 + 174. Suppose -4*o + t + 12 = 3, -4*t = -12. Suppose -5*d = -3*z + 7, -2*d = o*z - 0*d - y. Is 4 a factor of z?
True
Let q(n) = -4*n**3 - 8*n**2 - 4*n - 3. Let l be q(-2). Suppose -4*m + u = -5 + 1, l*m = -5*u + 30. Is m a multiple of 2?
True
Does 10 divide (-50)/(-4)*(10008/60 - -2)?
True
Suppose 0 = 19*w - 16*w - 15. Suppose 5*x + 23 = -3*o, 2*o = -0*x + w*x + 18. Does 6 divide (-92)/x + (0 - 3)?
False
Suppose -5*n + 0 = -50. Suppose -8 = j - n. Is (j*39)/3 - 1 a multiple of 10?
False
Is 7 a factor of -6 - (-11)/(11/321)?
True
Let y(w) = w**3 + 10*w**2 + 7*w - 3. Let v be y(-6). Suppose -2*j + 5*j = v. Is j a multiple of 9?
False
Suppose 0 = -4*o - 2*r + 3552, 3*r + r = 4*o - 3552. Does 72 divide o?
False
Suppose -9*r = -13*r + 40. Suppose -5*w + r = -0*w. Suppose -319 = -w*l - 109. Is 31 a factor of l?
False
Suppose 9*f - 5*f = -20. Does 10 divide 396/10 - 2/f?
True
Let o(j) = 6*j - 3. Let y(a) = 2*a**3 + 2*a + 2. Let w be y(-1). Let i be 2 + w/4*-8. Is o(i) a multiple of 11?
True
Let w be 60*5 - (-1 - -1). Suppose -w = -3*u - 3*u. Does 9 divide u?
False
Let n(o) = o**2 - 1. Let g(i) = i**3 - 4*i**2 + 4*i + 1. Let j(h) = -g(h) + 2*n(h). Let d be j(5). Suppose -q = -d*q + 24. Does 17 divide q?
False
Let t(o) = -o**3 - 1 + 0*o**2 + 3*o + 0 + 5*o**2 - 3. Let b be 1/((-6)/(-5) + -1). Is t(b) a multiple of 3?
False
Let y(b) = -b**3 - 6*b**2 - 2*b - 7. Suppose t = 4*z - 0*t + 19, 2*t - 2 = 2*z. Let x be y(z). Suppose 3*v - 53 = x*d, -92 = -4*v - d - 3*d. Does 21 divide v?
True
Let x(i) = i**3 - 8*i**2 + 9*i - 10. Let q be x(7). Suppose 68 = r - 0*r - q*c, 120 = 2*r - 4*c. Let h = r - 28. Is h a multiple of 12?
True
Let p(i) = 34*i - 50. Let x be p(17). Suppose -x = -2*u - 2*u. Is 33 a factor of u?
True
Suppose 2*r - f = 13, 28 = 2*r + 2*f + 6. Let b = -1 + r. Is b a multiple of 7?
True
Let c(j) = j**2 - 8*j + 3. Let o be c(8). Suppose 5*i + 1572 = 3*b, 4*i - o*i - 1048 = -2*b. Suppose 4*k - b = -0*k + 2*w, -k + 125 = w. Does 43 divide k?
True
Let c be (-548)/(-3) - (-2)/(-3). Suppose 3*l = 22 + c. Does 21 divide l?
False
Is -188*6/12*-2 a multiple of 79?
False
Let w(x) = -x**3 + 34*x**2 + 6*x - 41. Is w(31) a multiple of 33?
False
Let y = -2153 + -1329. Let j be y/(-14) - (-4)/14. Let x = -149 + j. Is 30 a factor of x?
False
Let t = 0 + 650. Does 93 divide t?
False
Let r(k) be the second derivative of 11*k**4/12 - k**3/2 - 3*k**2 - 7*k. Does 12 divide r(3)?
True
Suppose 3 - 14 = -x. Let n(w) = -w**3 + 13*w**2 - 9*w - 15. Is n(x) a multiple of 32?
True
Suppose 3*f - 3 = 0, -5*q = 3*f + 951 - 3249. Is 7 a factor of q?
False
Suppose -z = -3*r - 951, -5*r + 209 = -3*z + 1794. Let p = -170 - r. Is p a multiple of 21?
True
Let x(v) = 2*v**3 + 79*v**2 + 46*v + 41. Does 15 divide x(-38)?
True
Let w be (6/3)/((-4)/(-20)). Let c be 3/30 - 71/w. Let x = 29 + c. Is 22 a factor of x?
True
Let a(n) = -n**3 + 2*n - 8. Let s be a(0). Is (132 - 0)*(-4)/s a multiple of 35?
False
Let g(h) = h**2 + h - 17. Suppose -5*s - 3*c - 37 = 0, 45 = -0*s - 5*s + 5*c. Is 27 a factor of g(s)?
False
Let n = 438 - -211. Is n a multiple of 11?
True
Suppose 0 = 7*d - 5*d - 6. Suppose -2*c + d*z = -81, 2*c + z - 53 = 32. Does 21 divide c?
True
Let p(l) = -l**3 + 3*l**2 - l + 5. Suppose -n - 3*n = -4. Let o be (-1)/(n/(-3) - 0). Is 2 a factor of p(o)?
True
Let o = -10 + 79. Suppose -f + o = -12. Is 9 a factor of f?
True
Suppose -54 = -20*q + 46. Suppose q*k + 3*k - 1008 = 0. Is k a multiple of 21?
True
Let d be 263/7 + (-33)/(-77). Let x = -28 + d. Is 11 a factor of (-42)/x*(-10)/3?
False
Suppose f - 3*f = -10. Suppose -f = -2*i - 1. Suppose 0 = -3*n + h + 15, 2*n - 5*n + 15 = i*h. Is n a multiple of 5?
True
Let k = -74 + 76. Suppose 5*z + 0*z = -2*j + 160, -k*j = 10. Does 17 divide z?
True
Is 52 a factor of 2/((-7805)/(-1300) - 6)?
True
Let o(z) = z - 2. Let g be o(5). Suppose 4*b = -4*i + 272, 0*i - g*b = -i + 76. Is 35 a factor of i?
True
Suppose -4*l = 2*y - 14, 4*l = 7*l - 2*y. Suppose 204 = 4*v + l*v. Is v a multiple of 17?
True
Let r(g) = -3*g + 20. Let x be r(6). Is 204/9 + x + 16/(-6) a multiple of 6?
False
Is 1480/518*2/(8/98) a multiple of 10?
True
Suppose 0 = 2*c - 4*q, 2*c + 4*q = -0*c + 16. Suppose -30 = -3*g + 2*g + c*w, g - 10 = -w. Does 3 divide g?
False
Let q = 10 - -11. Is 31 a factor of 42/q + (-2)/(4/(-238))?
False
Let b(p) = 6*p - 41. I