
Suppose 5*y = 2*y + 5*v - 5, 0 = -4*y - v + 1. Let a be (-5 + -286)*(-1 + y). Is a*(1 - (-6)/(-18)) a multiple of 18?
False
Let y be 12/(-42) - 58/(-7). Suppose -5*w = -7*w + y. Is (15/(-12) - (-1)/w)*-31 a multiple of 31?
True
Is 78 a factor of 1/2 - (1291640/(-144) + 2/9)?
True
Let n(x) = 9*x**2 + 68*x - 1379. Does 17 divide n(19)?
True
Let t be -4 - (3 + -12) - 3. Let b be 2 - 2/t - (-18144)/36. Suppose 3*l - b = -2*l. Does 28 divide l?
False
Let z(v) = -v**3 + v**2 - 2*v + 5. Let y be z(0). Suppose -4*a = -u - 35, 2*a - 5*a + 32 = y*u. Suppose -21 = -a*i + 114. Is 15 a factor of i?
True
Let w(d) be the third derivative of -d**4/24 + d**3 - 12*d**2. Let i be w(6). Suppose -2*o - 3*n = 3*o - 207, n + 1 = i. Does 11 divide o?
False
Suppose -8*o = -4*o + 28. Let r(b) = -b**2 - 8*b - 51. Let k(g) = g + 8. Let f(w) = -8*k(w) - r(w). Does 36 divide f(o)?
True
Let v = 825 - 780. Is v even?
False
Let r be (-2 + 0 - (-9 - -3))*-4. Is (3 + (-116)/r)*252/7 a multiple of 41?
True
Let c be (-1 - 0)/(2/(-14)). Suppose 20*w = 248*w - 432 - 708. Suppose 6*x - c*x + w = 0, 2*x = 3*b - 314. Is 13 a factor of b?
False
Let o be 2 + (5 - -2) + 3. Suppose -o*g = -359 - 4237. Is 22 a factor of g?
False
Suppose -2*f + 11631 = n, -49*n = 4*f - 53*n - 23232. Is 72 a factor of f?
False
Let k = 9861 + -4826. Is 95 a factor of k?
True
Let b(q) = -27*q**2 + 3*q - 9. Suppose 19 = 4*z - i - 0*i, 2*i = 5*z - 23. Let g(w) = 40*w**2 - 4*w + 13. Let x(y) = z*g(y) + 7*b(y). Is 13 a factor of x(4)?
True
Let s(m) be the third derivative of m**5/60 - m**4/24 + m**3/6 + 24*m**2. Let u be s(2). Suppose -v + 5 = 0, -u*w - 5*v = -v - 86. Is w a multiple of 11?
True
Let d(o) = -98*o - 138. Let k(r) = -5*r**3 + r**2 - 2*r. Let z be k(1). Is d(z) a multiple of 15?
True
Let c(y) = -1018*y + 2369. Is c(-9) a multiple of 15?
False
Suppose -13347 = f + 4*r - 36972, 2*f - 2*r = 47260. Is 226 a factor of f?
False
Does 3 divide 179 - (3 - (-8 - -25))?
False
Suppose 2*w - 54 = 16. Let z be 0 + w*(0 + -1). Let f = z + 51. Is f a multiple of 12?
False
Let u(a) = 14*a - 78. Let x(r) = -2*r**2 - 25*r - 9. Let j be x(-11). Does 9 divide u(j)?
False
Let n = 65 - 63. Suppose 3*a + 4*i - 11 = n*a, 3*a - 5*i = -1. Suppose a*k = 3 + 111. Is 9 a factor of k?
False
Let n = 1239 - 443. Is 44 a factor of n?
False
Suppose 11*d - 15*d + 4*j + 3704 = 0, 3*d + j = 2778. Suppose -15*w + d = 191. Does 6 divide w?
False
Let v(m) = -m**2 + 9*m + 26. Let p be v(11). Suppose 4*c - h - p*h = 309, -4*c - 5*h = -259. Does 24 divide c?
False
Let v(t) = 37*t**3 + 27*t**2 - 15*t + 43. Let r(n) = -13*n**3 - 9*n**2 + 5*n - 14. Let p(d) = 17*r(d) + 6*v(d). Is p(-8) a multiple of 31?
True
Suppose 0 = 15*z - 3*z + 33*z - 182340. Is 17 a factor of z?
False
Let m(r) = -4*r**3 + 15*r + 12. Does 56 divide m(-16)?
False
Let o(g) = 5*g**2 - 19*g + 165. Is 23 a factor of o(26)?
False
Let u(t) = 29*t**2 - 77*t - 965. Is 26 a factor of u(-16)?
False
Let f = -349 + 1669. Does 10 divide f?
True
Let z be 12/(-9)*((-44)/(-8) + -7). Let c(x) = 186*x**2 + 35*x - 61. Is 47 a factor of c(z)?
False
Suppose 0 = -3*x - 10*x - 8*x + 593880. Is 40 a factor of x?
True
Let c(l) be the second derivative of l**4/12 - 9*l**2/2 + 202*l. Suppose -2*p - 4*a + 14 = -5*a, -14 = -3*p + 5*a. Is 14 a factor of c(p)?
False
Let i(d) = 1630*d**2 - 31*d - 54. Is i(-2) a multiple of 28?
False
Let f be 6 + -4 + 2 - -32. Does 9 divide 2262/f - 3/(-18)?
True
Suppose -4*c - 12 = -m, 5*m - 21 - 18 = -c. Suppose -12*h - 136 = -m*h. Let g = 59 + h. Does 16 divide g?
False
Is (-84720)/(-200)*40/12 a multiple of 33?
False
Suppose 17*f - 15404 = 13428. Suppose 40*n = 44*n - 12. Suppose f = 19*k - n*k. Is 22 a factor of k?
False
Suppose -12917 - 17803 = -32*q. Is 14 a factor of q?
False
Suppose -3*y = 3 - 18. Suppose 3*h - 7*h = -2*i - 20, -2*i = -h + y. Suppose 2*j + i*j = 5*x - 250, 4*j = -2*x + 76. Is x a multiple of 6?
True
Suppose -153857 = 25*x - 466018 - 466814. Does 113 divide x?
False
Suppose 17*m - 11*m = -41*m + 219631. Is 54 a factor of m?
False
Let j(m) = 3*m**3 + 3*m**2 + 3. Let u(q) = 8*q**3 + 10*q**2 + q + 10. Let v(t) = -11*j(t) + 4*u(t). Is v(-5) a multiple of 41?
True
Let r = -23244 + 33125. Does 29 divide r?
False
Let o be (32/(-3))/((-28)/294). Let k = 424 - o. Is k a multiple of 39?
True
Let w = 10609 - 1951. Does 117 divide w?
True
Let f(y) = y**3 - 3*y**2 + y + 5. Let o be f(3). Is 15 a factor of ((-23)/(-2))/(o + 1673/(-210))?
True
Let z(j) = -2*j - 1 + 6*j + 3*j**3 - 6 - 12*j**2 - 2*j**3. Let k be z(12). Suppose 13*m + k = 14*m. Is m a multiple of 8?
False
Suppose 5*v + q = 163, -2*q = -v - 3*q + 35. Suppose j - 3*s - 31 = 85, 2*j - s = 232. Suppose -o = v - j. Does 42 divide o?
True
Suppose -293 = 7*t + 15. Let u = 4 - t. Is 12 a factor of u?
True
Suppose -196*n + 199*n - 6787 - 4388 = 0. Does 8 divide n?
False
Let t be (-23 - 2)*(-36)/(-10). Suppose -2*c + 260 = 821*p - 819*p, 0 = -c - 2. Let r = p + t. Is r a multiple of 21?
True
Suppose 4*t = -3*b + 67 - 36, -3*t = 15. Suppose -396 = b*i - 20*i. Does 70 divide i?
False
Let b(f) = 3*f - 6. Let o be b(3). Suppose 5*x - 2 = 5*r + 3, 4*x + o*r = 11. Is 10 a factor of (232/((-12)/(-3)))/x + 1?
True
Suppose o = -o - 134. Suppose 506 = 3*q + z - 0, q - 4*z = 186. Let v = o + q. Is 12 a factor of v?
False
Let n = 1396 + 7308. Is 27 a factor of n?
False
Let h be ((-2)/3)/(10/(-115995)*-11). Let r = h - -1451. Does 44 divide r?
True
Let i(k) = -k**2 + 7*k + 46. Let w be i(11). Let c(m) = 167*m + 7. Let u be c(w). Suppose 2*v - 9*l - 333 = -4*l, 3*l - u = -2*v. Is 20 a factor of v?
False
Let q(m) = -579*m**3 - 26*m**2 - 50*m - 4. Is 34 a factor of q(-2)?
True
Let j = 934 + 22089. Is 143 a factor of j?
True
Suppose 2*g - 2023 = 3*m + 2170, 0 = 2*g - 4*m - 4192. Is g a multiple of 13?
False
Let d = 232 - 159. Let g = -65 + d. Let f = 5 + g. Is f a multiple of 3?
False
Suppose 0 = 26*a - 23*a - 1692. Suppose w - 291 = -3*y, -y = 2*w - 4*y - a. Is 8 a factor of w?
False
Let d = 843 - -2950. Suppose -t = x + 3*t - 749, -d = -5*x + 4*t. Does 15 divide x?
False
Let x(q) = -q**2 - 26*q + 55. Let y(f) be the first derivative of f**3/3 + 11*f**2/2 + 6*f - 50. Let n be y(-6). Is x(n) a multiple of 4?
False
Let z(q) = -126*q + 8456. Is 47 a factor of z(33)?
False
Suppose -28 + 0 = -14*n. Suppose n*d = 79 + 9. Suppose d*b = 42*b + 216. Is b a multiple of 36?
True
Let x = 155 + -155. Suppose 11*j - 1246 - 2219 = x. Is 7 a factor of j?
True
Let z(b) = 2*b**2 + 61*b - 30. Let m(d) = 3*d**2 + 61*d - 30. Let o(s) = -4*m(s) + 5*z(s). Is 7 a factor of o(25)?
True
Suppose 1 = 2*m - 3*m + v, 0 = 5*m + 3*v - 27. Suppose -2*k = 5*n + 2*k + 12, -m*k - 9 = -n. Suppose 60*x - 62*x + 126 = n. Does 27 divide x?
False
Let m(s) = -2654*s**2 + 2656*s**2 + 1 + 0 - 9*s + 72*s**3. Is m(2) a multiple of 18?
False
Let c = 534 + 11. Suppose 0*u + 569 = 3*m + 5*u, u = 3*m - c. Suppose 0 = -9*p + m + 753. Is 7 a factor of p?
False
Let x = -4262 + 7111. Is x a multiple of 38?
False
Suppose 202203 = 13*t - 4*k + 3*k, 0 = 5*k + 5. Is 14 a factor of t?
True
Let u = 6104 + -5960. Is 4 a factor of u?
True
Let l(a) = -a**2 + 5*a + 16. Let w be l(7). Let d(y) = 4*y**2 - y + 3. Let m be d(w). Suppose 7*u - 185 = -m. Is u a multiple of 8?
True
Suppose 37 = 2*w + 9. Suppose 2*u + 4*h = 816, 0 = w*u - 16*u + h + 826. Does 12 divide u?
False
Let v(o) = 4378*o + 2041. Does 25 divide v(3)?
True
Suppose -13*o - 4191 = -2*o. Does 37 divide -7 + -1 + (3 - o)?
False
Let h = 161 + -93. Suppose 3*f - 68 = -p, -p - 6*f = -11*f - 92. Let a = h + p. Is 29 a factor of a?
True
Let c = 7 - 4. Suppose 512 = c*i + 2*q, 3*q + 77 + 415 = 3*i. Does 56 divide i?
True
Suppose -4*l + 4*s = -4, 0 = 2*l - s + 16 - 18. Does 13 divide (6 - l)/(12/336)?
False
Let c = -102 + 18. Let r = c + 86. Suppose 2*o = -4*w + 208, 3*w - r*o - 156 = o. Does 13 divide w?
True
Let t(g) = 3*g**2 - 14*g + 10. Let x be t(4). Suppose -3*h + 4*h = x*h. Suppose h*b - 693 = -5*s + b, -5*s - 3*b + 681 = 0. Is 23 a factor of s?
True
Let z be 3 + (-7 - 0) + 4. Suppose -b - 4*t = 4, -b - 3*b - 3*t + 23 = z. Is 4 a factor of b?
True
Let a(m) be the third derivative of -m**6/120 - 11*m**5/30 + 17*m**4/24 + 10*m**3 - 40*m**2. Is 15 a factor of a(-23)?
False
Suppose -v = -3*l + 94275, 18146 = 2*l + 5*v - 44738. 