se
Let s = -16 - -38. Suppose -s + 12 = 2*p. Let y = p - -61. Is y a multiple of 14?
True
Let v(r) = -2*r + 14*r**3 - 27*r**2 + 25*r**2 - 25*r**3. Let a(h) = -2*h**2 - h - 1. Let s be a(-1). Does 28 divide v(s)?
True
Let d(q) = -q**3 - 4*q**2 - 2*q + 6. Let w be d(-3). Suppose 51 = 6*h - w*h. Does 5 divide h?
False
Let i be ((-15)/45)/(1/(-9)). Suppose 79 = 4*m - 3*t - 184, 15 = -i*t. Is 15 a factor of m?
False
Let r = 25 + -49. Let m = r - -33. Is 4 a factor of m?
False
Let c(a) be the second derivative of -a**3 + 13*a**2 + 4*a. Is c(-13) a multiple of 13?
True
Let z(x) be the third derivative of -x**5/60 + 7*x**4/12 - 10*x**3/3 - 7*x**2. Let f be z(12). Suppose -f*k = -57 - 55. Does 14 divide k?
True
Suppose -81*c + 54*c = -74358. Is c a multiple of 18?
True
Let d(a) = 164*a + 3 + 16*a**2 + 2*a**3 - 160*a - 13. Does 4 divide d(-7)?
True
Let h(s) = -s**3 + 6*s**2 - s - 2. Let j be h(-3). Suppose j + 16 = 2*z. Is 7 a factor of z?
True
Suppose 3*m + 4 = 5*m. Suppose -3*j = 5*v - 1 - 18, -m*v - 5 = -3*j. Suppose j*i = 7*i - 312. Is i a multiple of 16?
False
Suppose -4*x - n = -6*n - 166, -4*x + 3*n = -170. Does 4 divide x?
True
Suppose 13*c = 5023 + 9680. Is c a multiple of 66?
False
Suppose -2*x - 3 = -3*x. Let v = -314 + 322. Suppose -x*k = 4*u - 44, 0 = k - 3*k - v. Is u a multiple of 4?
False
Let l(w) = w**3 - 17*w**2 - 37*w - 20. Let f be l(19). Is f + (-4)/2 + 179 + -5 a multiple of 19?
True
Let p(q) = 4*q + 2. Suppose z + y + 2*y = 0, 5*y = -5*z. Suppose 3*j = -z*j + 9. Is p(j) a multiple of 3?
False
Suppose 6*b - 12 = 2*b. Suppose -4*x + b*o + 20 = -0*o, o = -4. Suppose -92 = -y + 2*j, -172 = -2*y - x*j + 3*j. Is 21 a factor of y?
True
Let h(w) = -19*w**2 - 6*w - 7. Let i be h(-3). Let k = i - -68. Let z = -53 - k. Does 13 divide z?
True
Suppose -2*b - 230 = -6*b - 2*l, 0 = -3*l - 15. Suppose 5*x = 155 - b. Does 11 divide x?
False
Let d(q) = 3*q. Let u be d(1). Suppose u*i - 45 = 51. Is i a multiple of 16?
True
Let w = 88 + -82. Is w a multiple of 3?
True
Let b(w) = 2*w**2 - 12*w + 24. Let s be b(4). Suppose -4*f - 5*t + 120 = 0, 4 = 3*t - s. Does 5 divide f?
True
Let u = 2824 + -1160. Does 8 divide u?
True
Let n be 1/4 - 7366/(-232). Suppose i - 87 = -2*t, -2*t - 4*i = -0*t - 72. Let c = t - n. Is c a multiple of 7?
True
Let m(i) = -i + 5. Let k be m(9). Does 13 divide k/(-1 + 44/52)?
True
Let n = -110 - 39. Let g = -29 - n. Is 15 a factor of g?
True
Suppose -5*d = -3*w + 106, -14*w - 96 = -16*w - 3*d. Is w a multiple of 7?
True
Let y(b) be the third derivative of -b**5/60 + 3*b**4/4 - b**3 - 11*b**2. Let t be y(18). Let q = t - -90. Does 14 divide q?
True
Let u(j) be the second derivative of j**4/3 - 3*j**3/2 + 5*j**2/2 + j. Let v be u(9). Let h = -163 + v. Is h a multiple of 16?
False
Suppose 1 = -4*m + 5*n, 5*m - 16 + 7 = -4*n. Let l(g) = m - 1 + 8*g**2 + 0. Is l(2) a multiple of 15?
False
Does 63 divide ((-6156)/(-72))/((5/14)/5)?
True
Let g(s) be the first derivative of -s**4/4 + 7*s**3/3 + 7*s**2 + 5*s + 35. Is g(7) a multiple of 19?
False
Suppose -24*v + 35*v = 165. Does 2 divide v?
False
Let v be (4 - 8 - 9) + 4. Let s be (10/6)/(v/(-54)). Let c(f) = 4*f - 10. Is c(s) a multiple of 10?
True
Let a = -656 + 964. Does 11 divide a?
True
Is 1840/14 + (3 - (-51)/(-21)) a multiple of 66?
True
Does 53 divide -106*(10 + (-420)/24)?
True
Let l(u) = -u + 18. Let v be l(14). Suppose -10 = -3*x + 8. Suppose 2*b = x + v. Does 2 divide b?
False
Let z(s) = -18*s + 168. Is z(0) a multiple of 8?
True
Let m(l) = -3*l + 5 - l + 11*l + 3. Is m(2) a multiple of 22?
True
Let y(h) = -h**2 + 3*h - 41. Let g(j) = 3*j**2 - 5*j + 82. Let a(i) = 2*g(i) + 5*y(i). Does 25 divide a(-17)?
False
Let s = -19 + 25. Suppose 2*k - s*k + 60 = d, -3*k = -4*d - 64. Does 7 divide k?
False
Let s(v) = v**3 - 8*v**2 - 9*v + 4. Let u be s(9). Let c(z) = -z + 8. Let r be c(u). Is (-84)/(-9) + r/(-12) a multiple of 9?
True
Let i = 6 - -66. Let b = i - 42. Is b a multiple of 15?
True
Suppose -7*c - 22 = -92. Suppose 7*a - 1224 = -c*a. Does 9 divide a?
True
Suppose -47*o + 15 = -44*o. Suppose -4*m + 2*m = -2, i - 19 = -o*m. Does 7 divide i?
True
Suppose 5*q - 4*y + 2*y = -11, -5*q - 25 = 5*y. Is 11 a factor of q*(3 - (-90)/(-5))?
False
Suppose a - 5 = -0. Suppose a*p + 108 = 8*p. Does 13 divide p?
False
Let o(h) = 350*h + 20. Is o(2) a multiple of 24?
True
Suppose 2*x + 2*k - 7524 = 0, 4*k - 2141 = -3*x + 9143. Is x a multiple of 39?
False
Let b = -8 + 11. Suppose -2*j + 2*l - 121 = -b*l, -5*l + 169 = -3*j. Does 7 divide j/(-18)*(-9)/(-1)?
False
Suppose -1416*z = -1396*z - 87980. Is 22 a factor of z?
False
Suppose -2*w - 5*b = -4*b + 105, 3*w + 5*b = -147. Let p = w + 82. Is p a multiple of 14?
True
Let l be (-4)/(1*-2) - 1. Suppose -m = -0 - 4. Suppose 161 = m*w + l. Is w a multiple of 8?
True
Suppose -3*j - 3*v = -602 + 47, 367 = 2*j + 5*v. Is 31 a factor of j?
True
Let c(a) = a**3 + 5*a**2 + 4*a - 3. Let m be c(-4). Let b be 2/(2*m/63). Let p = 49 - b. Is 14 a factor of p?
True
Suppose 13*g - 22 = 11*g. Let t = g + -6. Suppose 2*o - 35 - t = 0. Is o a multiple of 10?
True
Suppose 0 = -c - 0*c + 4*m + 402, 0 = -2*c - 4*m + 744. Suppose -203 = -3*t + 4*d, 5*t + 62 - c = 3*d. Is 14 a factor of t?
False
Suppose -1690 = -6*q + 956. Does 46 divide q?
False
Does 18 divide (114/(-7))/((124/168)/(-31))?
True
Let b = 7 + -33. Let g = b - -30. Does 4 divide 2/(((-20)/(-75))/g)?
False
Let n(o) = -o**3 + 6*o**2 + 6*o + 9. Let v be n(7). Is (-553)/(-21) - v/(-3) a multiple of 27?
True
Suppose -215 = 2*y + p, y - 2*p + 105 = -0*p. Let d = 167 + y. Is 10 a factor of d?
True
Suppose 2*u - 16 = -3*x, 2*u + 18 + 6 = 2*x. Suppose 6*i = x*i - 102. Does 6 divide i?
False
Let m be -1 + (1 - -34) + -3. Suppose -f - m = 3*z, z = f - 6*f - 85. Let j = 30 + f. Does 7 divide j?
True
Let f be 2/4*(7 + -17) + 3. Let o = 74 + f. Is 12 a factor of o?
True
Let i(q) = q**3 + 4*q**2 + 5*q + 7. Let k be i(-3). Suppose -4*a + k = -t - 0*t, -5*a + 17 = 4*t. Is 32 a factor of 93 + 9/(t + 0)?
True
Suppose -5*r = 11*m - 1215, m + 459 = 6*r - 4*r. Is 7 a factor of r?
False
Let f = 12 - 37. Let t = 54 + f. Is t a multiple of 8?
False
Let f be (4/(-6))/((-14)/525). Let x = 76 - f. Does 11 divide x?
False
Suppose -6084 = -7*w + 664. Suppose -8*n = -w - 924. Is 11 a factor of n?
False
Suppose 9*v - 5*v - 4*x = -12, -3*v - 3 = -x. Let j(u) = -2*u**2 + 9*u - 67. Let k(f) = f**2 - 4*f + 33. Let l(d) = 3*j(d) + 7*k(d). Does 15 divide l(v)?
True
Suppose -5*y - 336 = -4*c, 13 + 220 = 3*c + y. Suppose c = 2*v - 5*z, 6*v - v = 5*z + 205. Is v a multiple of 15?
False
Suppose 2*b = 0, 1 = -2*z - 3*b + 9. Suppose -7 = 3*c - z. Is (18 - 96)*c*1 a multiple of 9?
False
Let s be 3*(-2)/(-12)*-2. Let w = s - -22. Does 7 divide w?
True
Let y(c) = 26*c**3 - c**2 + c. Suppose -5*h + 10 = i - 0*i, 15 = 5*h + 2*i. Is y(h) a multiple of 6?
False
Let p = -15 + 12. Is 2/p + (-3625)/(-15) a multiple of 27?
False
Suppose 28*b = -14439 + 61731. Is 15 a factor of b?
False
Suppose 3*w - 3*h - 33 = 2*w, 5*w - 132 = 4*h. Suppose 41 = -0*s + s. Let d = s - w. Is d a multiple of 16?
False
Let a = -77 + 252. Suppose a = 5*t + 5*y, t + y = 2*y + 37. Let m = 63 - t. Is 9 a factor of m?
True
Suppose -3*y + 606 = 3*g, -4*y + 0*g + 811 = 3*g. Let u = y + -120. Does 17 divide u?
True
Suppose -5*r = 3*d - 1935, 1575 = 4*r - 2*d - d. Is r a multiple of 10?
True
Suppose -36*c + 10726 = -5*c. Does 3 divide c?
False
Let u be (3*(-14)/(-21))/((-2)/(-4)). Suppose -6*t + 1565 = 5*b - 3*t, t - 1245 = -u*b. Is b a multiple of 15?
False
Let r(u) = -u**3 - u**2 + 6*u + 22. Is 9 a factor of r(-5)?
False
Let i be (-1)/5*-5 + 1. Suppose -240 = -4*r + 4*f, -i*r + 6*f = 2*f - 128. Is 14 a factor of r?
True
Let a = 7 - -9. Let f be (45/(-2))/(-5)*a. Suppose -6*v + 2*v + f = 0. Does 6 divide v?
True
Is 39 a factor of 16/(-10)*(-11715)/66?
False
Let g(c) = c**2 + 53*c**3 - 26*c**3 + 6*c - 30*c**3. Is 24 a factor of g(-3)?
True
Suppose 4*f - 1582 - 2621 = 5*c, 2*f = -4*c + 2108. Is f a multiple of 10?
False
Suppose -5 = -2*d + 5. Suppose w = d*a + 52, -2*w + 3*a = -6*w + 93. Does 14 divide w?
False
Let x = -20 - -24. Suppose 4*m + 32 = 4*p, -5*p + x = m - 30. Does 6 divide p?
False
Suppose -5*g = 5*f - 2475, -3*f + 4*g + 183 = -1295. Is 26 a factor of f?
True
Let w = 137 - 1