uppose -r = -2*q + n. Does 5 divide q?
True
Let f(x) = -17*x**3 + 2*x - 1. Let v = 15 + -14. Let w be f(v). Does 11 divide (w/10)/(50/(-2875))?
False
Let v(g) = -g + 1. Let h be v(-4). Suppose 0 = h*i + w - 251, 2*i - 267 = -3*i + 3*w. Is i a multiple of 2?
False
Is (-4*6542/(-8))/(-4*(-1)/4) a multiple of 3?
False
Let o(l) = -l**3 + 3*l**2 - 17*l - 78. Is 16 a factor of o(-4)?
False
Let o be 2/(-2) - (4 - -1). Let y(a) be the second derivative of a**4/12 - a**3/3 - 12*a**2 - 613*a. Is y(o) a multiple of 6?
True
Let n(s) = -s - 8. Let q be n(-7). Let y be (-3 - -5)*2 + q. Suppose 0 = y*i - 5*j - 456, -3*i - 5*j + 3*j + 435 = 0. Does 29 divide i?
False
Let m = -1638 - -7010. Does 34 divide m?
True
Let b = 39 - 12. Let d = 114 - b. Suppose -2*m - 3*l = -d, 109 = -5*m - 3*l + 304. Does 36 divide m?
True
Suppose 0 = -o + 2*k - 5 + 18, 0 = 4*o - k - 17. Suppose -5*w = -2*b - 3355, 5*w + 5*b - o*b - 3335 = 0. Is w a multiple of 15?
False
Let b be (14/(-21) + 10/6)*1. Let v be (1 + b - 1)*(-5 - -39). Suppose 20 = 9*g - v. Is g a multiple of 4?
False
Let r(b) = 37*b - 43. Let l(q) = 35*q - 44. Let w(k) = 4*l(k) - 3*r(k). Does 65 divide w(13)?
False
Let q(h) = h**3 + 23*h**2 + 10*h + 2. Let k be q(-11). Let d = 2378 - k. Is d a multiple of 22?
True
Suppose 9*d - 5576 = 5*d. Let t = d + -785. Does 59 divide t?
False
Suppose 15*j - 18 - 27 = 0. Suppose -2*c + j*o = -17, -3*c + 4*o - 6 + 29 = 0. Does 12 divide 6*(1 + 2 - c)?
True
Let s(i) = -3*i**2 + 1. Let u be s(-1). Let f(c) = -15*c**2 + 3*c + 8. Let m(g) = -2. Let k(p) = -f(p) - 5*m(p). Is k(u) a multiple of 10?
False
Does 6 divide 3180/2*80/200?
True
Suppose 84 = 46*y + 1096. Let x(r) be the third derivative of r**6/120 + 11*r**5/30 - r**4/24 + 5*r**3/2 + r**2. Is x(y) a multiple of 18?
False
Let c(w) = w**2 + 13*w - 57. Let m be c(-18). Let j = m - -10. Is j a multiple of 26?
False
Let r = 230 + -227. Let w(h) = 5*h**2 + 2*h + 1. Let x be w(-1). Suppose -r*c + 4*u + 67 = 0, -x*c - 3*u + 73 = -2*c. Is c a multiple of 18?
False
Let x(o) = 59*o - 13. Let a be x(-2). Is 2 - 1 - (a + 0/(-2)) a multiple of 37?
False
Let l(u) = 43*u**2 - 29*u - 841. Is 16 a factor of l(-19)?
False
Let f = 95 + -85. Let w(i) = -i**3 - 2*i**2 + 13*i - 11. Let r be w(f). Is 27 a factor of 4/(-20) - r/5?
True
Let j = 110 + 4242. Is 68 a factor of j?
True
Let f = 344 - 343. Let p(m) = 16*m - 8. Is 8 a factor of p(f)?
True
Let o(k) = -k + 1. Suppose -c - 3 = -2. Let f(w) = w**3 - 15*w**2 + 17*w - 9. Let i(x) = c*o(x) - f(x). Does 23 divide i(13)?
True
Let p be (-3538)/6 + -1 + (-5)/(-3). Let w = p + 889. Does 5 divide w?
True
Suppose 10962 = 4*c + 2*z, 24*z = -2*c + 21*z + 5483. Is c a multiple of 17?
False
Suppose 5*x - 64029 = -2*l, 0 = -11*x + 9*x + 4*l + 25626. Does 105 divide x?
False
Suppose -1918 + 4286 = 2*m. Is 37 a factor of m?
True
Suppose 9*a + 123 = 51. Is 156/a*182/(-7) a multiple of 35?
False
Let g(v) = -11*v**3 - 18*v**2 + 24*v + 99. Is g(-7) a multiple of 254?
False
Let v(m) = m**3 - 26*m**2 - 40*m - 49. Let f(q) = -2*q**3 + q**2 + 11*q - 2. Let g be f(-3). Is v(g) a multiple of 57?
True
Let z be 3/45*-3 - (-71)/5. Does 41 divide (-21)/z*3014/(-33)?
False
Suppose -535198 = -31*v + 282777 + 334233. Is v a multiple of 202?
True
Suppose -11*l - 2646 = -2*l. Let o = l - -690. Does 65 divide o?
False
Suppose -11*k + 80 = 25. Suppose -56 = k*a - 76. Is a a multiple of 4?
True
Suppose -8*q + 12 = -2*q. Suppose 4*i = q*b - 142, 3*b + i = 5*i + 221. Suppose b + 337 = 4*n. Is n a multiple of 15?
False
Suppose -2484 = -2*k - l, 5*k = 3*k + 5*l + 2472. Suppose k - 5769 = 4*a. Is 14 a factor of 9/(-15) - a/20?
True
Let s be (-6 - (-10 + 3))/(1/39). Suppose -11*r = -24*r - s. Does 14 divide (-162)/45*r/(-6)*-25?
False
Suppose -11*y + 16*y = -160. Let r = 146 + -85. Let l = y + r. Is 6 a factor of l?
False
Let b(x) = -x**2 - 13*x + 28. Suppose -j + 2*j = -15. Let d be b(j). Does 17 divide (-1 - d)*(-144)/(-4)?
False
Let q(b) = -3*b + 71. Let k(y) = -2*y + 66. Let t(n) = 4*k(n) - 3*q(n). Is t(9) a multiple of 5?
True
Let r = -146 - -436. Let n = r - 164. Does 29 divide n?
False
Suppose -5*h - 60037 = -4*x, 25*x - 28*x + 45025 = -h. Does 111 divide x?
False
Suppose -12 + 22 = 2*b. Suppose 40 = -4*m + b*m. Let y = m - 29. Is y a multiple of 5?
False
Let b(l) = -1. Let u(m) = 11*m**2 - 2*m - 9. Let s(i) = -5*b(i) + u(i). Let h be s(-2). Suppose 0 = -5*c + 166 + h. Is c a multiple of 7?
True
Is 18 a factor of 2*(-1)/(-24) + (-1621261)/(-708)?
False
Let y(c) = c**2 + 30*c - 7. Let z be y(-13). Let j = -67 - z. Is j a multiple of 10?
False
Suppose 2*z + 3*d - 708 = 0, 4*d + 17 + 359 = z. Is 18 a factor of z?
True
Suppose 164*r - 993471 - 1947213 = 0. Is r a multiple of 139?
True
Let m be (-1 - -41) + (2 - 2). Let l be 2/(-10) - 4/m*-2. Suppose l = 3*s + s - 160. Is 14 a factor of s?
False
Suppose 0 = 3*n - 2837 - 1420. Suppose 2*r = 2*s - 948, n + 461 = 4*s + 4*r. Is s a multiple of 38?
False
Suppose 0 = -81*c + 86*c - 10. Suppose 0 = -c*m + 10, 0 = -b + m - 8 + 43. Is b a multiple of 5?
True
Let m = 4383 + -2367. Is 18 a factor of m?
True
Let f(j) = j**3 + 10*j**2 + 12*j + 30. Let t be f(-9). Suppose -2*p + 1142 = 3*m, 3*m - 1935 = -2*m + t*p. Does 15 divide m?
False
Suppose -5*j - 4*z + 274 = 0, 4 = 4*z - 5*z. Let f = 69 - j. Suppose -19*m + 320 = -f*m. Does 10 divide m?
True
Suppose 0 = 3*y - 0*y + q - 10583, -y + 2*q = -3530. Is 7 a factor of y?
True
Suppose -3 = -3*g, -i + 5*g + 37 = -68. Let z = -38 + i. Is z a multiple of 4?
True
Let k(z) = -2*z**2 - 98*z + 8. Does 28 divide k(-45)?
False
Let c(b) = -5*b**3 - b**2 - 3. Suppose -4*x = -9*x + 10. Suppose 0*z - 5*p + 8 = -z, -1 = x*z + 5*p. Is 18 a factor of c(z)?
False
Suppose 2*t = 2, -12*h - 3162 = -7*h + 3*t. Let i = h - -725. Is 5 a factor of i?
False
Let j = 2166 - 1098. Suppose -10*w - j = 2*w. Let f = 166 + w. Is 11 a factor of f?
True
Suppose -2661 = 5*j - 37*a + 35*a, -3 = -a. Let t = 909 + j. Is 42 a factor of t?
True
Let i = 7847 - 3249. Does 150 divide i?
False
Let u = -22 + 29. Suppose -16 = -3*t - u. Suppose 0 = 3*i - 4*o + 6*o - 15, t*i + o = 18. Does 3 divide i?
False
Let q = 12 + -11. Suppose -q = r - 16. Suppose 639 = -12*p + r*p. Is 37 a factor of p?
False
Let o(z) = z**3 + 15*z**2 - 3*z + 4354. Does 14 divide o(0)?
True
Let x be 4/38 - 2270/(-95). Does 2 divide ((-138)/(-24))/(3/x)?
True
Suppose 482 + 302 = -2*j. Is 3 + (-3)/(-3) - j a multiple of 18?
True
Let h(v) = -5*v - 5. Let u be h(-2). Suppose 0*k + u = -5*k. Is k/(-5) + 22842/90 a multiple of 42?
False
Let f = -37 - -39. Let k(w) = 4*w**3 - 2*w**2 - w - 2. Let h be k(f). Let i = 7 + h. Is 6 a factor of i?
False
Let v(u) = -138*u**2 - 8588*u - 39. Does 4 divide v(-62)?
False
Let a(u) = 69*u**2 + 140*u + 1402. Does 119 divide a(-10)?
True
Suppose -5*y - 60 = -y. Let j = 620 - 638. Let k = y - j. Is k a multiple of 2?
False
Is (-186)/(-4)*(17 - -2)*4 a multiple of 3?
True
Let k(f) = -57*f**3 - 4*f**2 - 2*f - 43. Is 133 a factor of k(-5)?
False
Suppose 12390 = 159*n - 117*n. Suppose -4*s - 2*j = 176 + 176, -s - 88 = -j. Let g = s + n. Is 23 a factor of g?
True
Suppose 0 = -4*g + 5*x + 14535, -7265 = -270*g + 268*g + 3*x. Is g a multiple of 39?
False
Let h = 451 - 333. Suppose -100 - h = -2*i - 2*f, 5*i - 595 = 5*f. Does 19 divide i?
True
Let m(r) = 2*r**3 - 13*r**2 + 8*r. Let f be (-168)/(-30) + ((-16)/10 - -2). Is m(f) a multiple of 2?
True
Let z(j) = 13 + 13 - 42*j**2 + 43*j**2 - 7*j + 4. Does 7 divide z(10)?
False
Suppose -v - 2*y + 13 = -10, 5*y = -4*v + 89. Does 53 divide 1600/2 - (13 - v)?
False
Let w(m) = -109*m - 9 - 212*m - 39*m. Is 27 a factor of w(-1)?
True
Let c = -1565 + 1955. Is c a multiple of 15?
True
Let t = 378 + -359. Suppose t*m + 107 - 1760 = 0. Is 3 a factor of m?
True
Suppose -160523 = -658*i + 674372 + 176451. Is 64 a factor of i?
False
Let x(t) = -t**3 - 4*t**2 + 4*t - 8. Let w be x(-4). Is ((-7)/(-2))/(20/w + 1) a multiple of 5?
False
Let d = 141 - -1249. Let k = d - 625. Is 51 a factor of k?
True
Suppose 4*s + 2*t - 2166 - 1520 = 0, 3*t - 1845 = -2*s. Suppose -5*k + 5*c + 1575 = 0, -4*k + 7*k + 5*c - s = 0. Is k a multiple of 13?
True
Suppose -3*i - v = -188181, -4*v - 231003 = -4*i + 19889. Is 158 a factor of i?
True
Suppose -2*o - 482 = 5*d - d, 10 = 2*o. Let y = 94 - d. 