e
Suppose 0 = 7*t + 8 + 6. Let s(f) = 7*f**2 - 2*f - 2. Does 5 divide s(t)?
True
Let l = -12 + 3. Let g be l/45 + 782/10. Let q = g - 45. Is q a multiple of 8?
False
Suppose -a - 89 = -q, -8*q + a - 175 = -10*q. Is 11 a factor of q?
True
Let j = -48 - -48. Suppose i - 48 - 39 = j. Does 7 divide i?
False
Let v(s) = s - 3. Let j(c) = -c**3 + 5*c**2 + 7*c + 2. Let g be j(6). Let o be v(g). Suppose m - 2*u = 2*m - 58, -298 = -o*m - 2*u. Does 15 divide m?
True
Let p = 38 + -33. Suppose -5 = -p*n + 90. Let m = -7 + n. Is 4 a factor of m?
True
Let a = -4 + 6. Suppose 40 = 3*x + a*x. Suppose -40 = 6*b - x*b. Is 20 a factor of b?
True
Suppose 0 = -9*s + 247 + 6305. Is s a multiple of 9?
False
Suppose -16 = 4*m - 400. Suppose -2*q - 4*d = -q - m, 5*d = 0. Is 32 a factor of q?
True
Let o be (0 - -1)/((-7)/21). Let f = o + -4. Is ((-36)/21)/(2/f) a multiple of 6?
True
Let o(r) = r**2 + 6*r - 11. Let u be (6 + -3)/3*1. Let i be u/((-148)/36 + 4). Is o(i) a multiple of 13?
False
Let o = 10 + -3. Let u(w) = w**3 - 8*w**2 + 5*w + 8. Let v be u(o). Let l(m) = -m**2 - 7*m - 4. Is 2 a factor of l(v)?
True
Let b(p) = -2*p**2 - 6*p + 26. Let w be b(-8). Does 4 divide w/(-4) + (-10)/(-4)?
True
Suppose c - y - 441 = 0, -9*c - 1736 = -13*c - 3*y. Is c a multiple of 21?
False
Suppose 5*l + 25 = 0, 4*o = 2*l + 40 + 46. Suppose 0 = -4*n + 5*q + 2 - o, -4*n - q = 35. Is (19 - n) + 1 + 2 a multiple of 15?
True
Let g = 9 + -24. Let v = 41 + g. Does 11 divide v?
False
Suppose -8*t + 33 = -7. Suppose 3*k - 96 = -3*h, 4*k + 0*k - 163 = -t*h. Is h a multiple of 7?
True
Suppose c - 26 = -4*i - 145, 5*c - 5 = 0. Let r be 4/(i/16 + 2). Suppose b - 4*o = r, -3*b - 2*b + 3*o + 126 = 0. Does 20 divide b?
False
Suppose -3*x = 9, -7 = -2*s - 2*x - x. Let u be 0 - 4*4/s. Let h(v) = 2*v**2 + 2. Is 5 a factor of h(u)?
True
Suppose 0 = -2*q + 749 - 89. Does 2 divide q?
True
Let d be (-2 + 5)/((-2)/(-6) - 0). Let z = 17 - d. Is z even?
True
Suppose 0 = -112*y + 95*y + 5780. Is y a multiple of 15?
False
Suppose -4*a = -67 + 23. Suppose -58 - 217 = -a*s. Is s a multiple of 3?
False
Let w be 33/(-30) + (-2)/(-20). Does 29 divide (-3 + 121 - 2) + w?
False
Let g(d) = 1. Let r(f) = f**3 + 4*f**2 - 4*f - 8. Let s(x) = -3*g(x) - r(x). Is s(-5) a multiple of 10?
True
Let j(q) be the second derivative of q**5/20 - q**4/4 - 2*q**3/3 - q**2 - q. Let u be (-8 + (-116)/(-16))/((-3)/20). Is j(u) a multiple of 7?
True
Let w(z) = 83*z - 2. Let l(o) = 248*o - 4. Let h(d) = -5*l(d) + 16*w(d). Is 8 a factor of h(2)?
False
Let o be 10/(-2) + 3 + 24/4. Suppose o*q = 4*z + 92, -3*q + 105 - 1 = 4*z. Is q a multiple of 8?
False
Is 9 a factor of 87*340/12 + 2 + 5?
False
Let x = -22 + 33. Let o be -1*(-3 - -5) - 11. Let c = x - o. Is 8 a factor of c?
True
Let m be (-2)/2*(0 - -3). Let i(h) be the third derivative of -h**6/120 + h**5/30 + h**4/24 - h**3/2 + 2*h**2 - 144*h. Is i(m) a multiple of 7?
False
Suppose -2*j + 635 = -5*y - 27, 4*j + y = 1368. Is j a multiple of 31?
True
Let u be 12/10 - 1 - 906/30. Does 4 divide (-210)/(-25)*(-7)/(63/u)?
True
Let g = -102 + 108. Suppose -5*d - 5*x + 695 = 0, -10*x + g*x - 272 = -2*d. Is 15 a factor of d?
False
Let w(i) = -2*i**3 - 6*i**2 - 5 - 3*i**2 + i**3. Let c be w(-9). Let h(a) = a**3 + 5*a**2 - 3*a + 1. Is h(c) a multiple of 8?
True
Suppose -b + 3*x - 4 = 0, 5*b + x = 5 + 23. Let i be 6*4/12 - b. Does 9 divide (-1)/(i/81) - 0?
True
Let j(z) = z**2 + 6*z + 77. Does 13 divide j(29)?
True
Suppose 454*w = 459*w - 400. Is 4 a factor of w?
True
Let f be 10/((-4)/12 - -1). Let t be 18/27*(f + 0). Let o(l) = -l**2 + 20*l - 1. Is o(t) a multiple of 33?
True
Is (-33 + 24)*156/(-2) a multiple of 39?
True
Let k = -101 - -103. Suppose -4*v - 346 = -k*f, -2*v + 0*v = -5*f + 857. Is 9 a factor of f?
True
Suppose -4*f + 11 = 3. Suppose -113 = -5*m + f. Is m a multiple of 10?
False
Suppose 6*j - 5*j + 4*x - 1800 = 0, -4*x = -5*j + 9000. Is j a multiple of 12?
True
Let p be (-2 - -6)*(-3)/(-6). Suppose -j = 4*r - 105, -5*r + 255 - 33 = p*j. Is 9 a factor of j?
False
Let b = 2986 - 1837. Is b a multiple of 11?
False
Is 23 a factor of 12/(-14) - (-142593)/77?
False
Let i(r) = -70*r + 84. Is i(-14) a multiple of 38?
True
Let h be 6 - 3/(-3 - 0). Suppose -h*c = -4*c - 240. Does 20 divide c?
True
Let w = -343 + 1239. Is w a multiple of 75?
False
Let g(o) = -10*o**2 - o + 1. Suppose 4*a = 2 + 2. Let j be g(a). Is ((-8)/j)/((-1)/(-10)) a multiple of 6?
False
Let l be 0/(3 - 2) - -61. Suppose -8 = -v + l. Is v a multiple of 23?
True
Is 5 + 2 - (-1 + -85) a multiple of 20?
False
Let c = 89 + -58. Suppose -4*p + c + 9 = 4*x, -5*x - 4*p + 52 = 0. Is 3 a factor of x?
True
Let s = 18 - -42. Let j be s/14 + 2/(-7). Suppose 0 = 2*x - 4*q - 54, -j*x + 30 + 78 = 4*q. Is 14 a factor of x?
False
Suppose -o - 117 = -655. Suppose x = -u + 134, 5*u + 3*x - o = u. Does 34 divide u?
True
Let m(b) = -686*b**3 + b**2 + 6*b + 5. Is m(-1) a multiple of 20?
False
Suppose -5*i + 2978 = -102. Is 22 a factor of i?
True
Suppose 0 = -5*v + 13 + 907. Suppose -3*t = t + v. Is 7 a factor of t/(-6) + 12/(-18)?
True
Suppose -3*x - x = -8, -212 = -5*d - x. Suppose -5*t - 168 = 5*u - u, -d = u + t. Let s = 63 + u. Is 12 a factor of s?
False
Suppose -3*i + 3*s = 8*s + 13, 3*i - 2*s - 22 = 0. Suppose -x - i = 5*v - 3*x, -2*v - 19 = 5*x. Let w(d) = -2*d**3 + d**2 - 2*d. Is 8 a factor of w(v)?
True
Let c(a) = -18*a + 15. Suppose -20 + 0 = 4*i. Is 15 a factor of c(i)?
True
Let z be (-9)/((-18)/32) - 0. Suppose -19*v = -z*v - 30. Is v a multiple of 5?
True
Suppose -4131 = 340*b - 357*b. Does 15 divide b?
False
Let w(o) = 20*o**2 - 15*o - 48. Does 22 divide w(-3)?
False
Suppose 0 = b + g - 9, -5*b + 6*g - 3*g + 5 = 0. Suppose 2*d + 0*d = -x + 18, b*x - 4*d - 84 = 0. Does 3 divide x?
False
Suppose 0 = 3*g - g. Let c(v) = -5*v - 32. Let a(y) = y. Let k(s) = -6*a(s) - c(s). Does 8 divide k(g)?
True
Suppose -j = 3*k + 2*j - 342, 0 = -k + 5*j + 90. Suppose 5*n - k = -2*r + 7*r, 0 = 5*n + 2*r - 110. Does 17 divide n?
False
Let d(x) = x. Let j be d(2). Suppose j*v = -p + 16 + 40, 64 = 2*v - p. Is (84/10)/(9/v) a multiple of 17?
False
Let j(k) = 3*k - 1. Let b be j(-2). Let m = b - -9. Suppose 0 = -2*q - m*c + c + 36, -3*c = -q + 4. Is q a multiple of 11?
False
Suppose 4*n + 2*o + 1001 = 7*n, -2*o = 5*n - 1663. Is 37 a factor of n?
True
Suppose -5*g + 9 = -q - 17, -3*g = -3*q - 18. Let r = 1 - g. Does 7 divide (-70)/(-2) - (-2 - r)?
False
Suppose 153 = -3*m + 6*m - 2*c, 3*m - 153 = -3*c. Suppose -4*q - 1 = -4*a + 3, 5*q - 3 = a. Suppose -a*v - 4*i - 92 = -4*v, -m = -v + 3*i. Is 18 a factor of v?
True
Let m(r) = -r**3 + 7*r**2 - 3*r + 7. Suppose -4*d = 20, 2*h - 6*d + d = 35. Does 5 divide m(h)?
False
Suppose -67*n + 72*n + 3*l = 785, 0 = l + 5. Is 6 a factor of n?
False
Suppose -22*p = -58*p + 197640. Is p a multiple of 10?
True
Suppose v - 4*a - 192 = 0, -3*v - 12*a + 576 = -17*a. Does 8 divide v?
True
Let b(o) = 34*o - 144. Does 11 divide b(23)?
True
Suppose 0 = -149*u + 144*u + 2275. Is u a multiple of 7?
True
Let h(k) = 3*k**2 - 6*k + 6. Let f be h(3). Is 8/5 + -2 - (-786)/f a multiple of 12?
False
Is 5 a factor of 175902/228 - (-6)/(-4)?
True
Let q(d) = 14*d + 7. Suppose a = 2*j + 3*a + 8, 4*a + 10 = -2*j. Let r be q(j). Let y = r + 71. Is 31 a factor of y?
False
Let m(d) = -210*d**3 - 5*d**2 - 2*d + 8. Is 13 a factor of m(-2)?
False
Suppose 0 - 2 = -l. Suppose 4*t - l*g = -t + 85, g + 5 = 0. Is t a multiple of 3?
True
Let u(a) = -a + 17. Suppose 6 + 18 = 3*b. Let l be u(b). Let t = -1 + l. Is t a multiple of 3?
False
Let u = -16 + 22. Is 4 a factor of 20/u*204/10?
True
Suppose 10*c = 11*c - 211. Does 10 divide c?
False
Suppose u + 4*v + 0 = -15, -5*v - 30 = -u. Suppose u*g - 45 = -2*a, 3*a + 3*g - 23 = 2*a. Is a a multiple of 20?
True
Let p(k) = 9*k - 30. Is 2 a factor of p(8)?
True
Suppose 4*m = 3*q + 277, 3*m - 5*q = 2*m + 48. Let t = m + -46. Let k = t - 14. Does 4 divide k?
False
Let i = -2302 + 2773. Does 8 divide i?
False
Let m(c) = 4*c + 0*c**2 + 12*c**2 - 2 - 1. Is 9 a factor of m(2)?
False
Let b(r) = r**2 + 12*r + 15. Let j(x) = -x**2 - 2*x - 3. Let p be j(-4). Let w be b(p). Suppose -3*t - 2*h + 27 = 0, -2*t = w*h - h - 23. Is 6 a factor of t?
False
Let j = 120 + -64. Suppose h - d = 43 - 9, -2*h = 2*d - j. Let f = 90 - h