se 2*r + 5*k + 85 = 0, -c*r + 2*k + 31 - 130 = 0. Does 9 divide (-18)/(-1 - r/45)?
True
Let l(v) = -v**3 + 8*v**2 + 5*v + 3. Let o be l(6). Let a be -8 + -3 + 1 + -63. Let s = o + a. Is s a multiple of 12?
False
Suppose 20*m - 53*m + 988944 = 0. Is 16 a factor of m?
True
Suppose 6*f + 9*f = -195. Let t = f + 15. Is (-2)/(0 + t)*-108 a multiple of 19?
False
Let x(u) = -6*u**3 - 26*u**2 - 18*u + 12. Is 59 a factor of x(-11)?
False
Suppose -206*s + 221*s - 29353 = a, -s - 5*a = -1967. Is s a multiple of 5?
False
Let r(l) = 1951*l + 2989. Does 236 divide r(5)?
True
Let z be ((-86)/(-10) - -1) + 18/(-30). Let f(k) = -k + 5. Let c be f(-5). Suppose -z*w + c*w - 37 = 0. Is w a multiple of 3?
False
Suppose 0 = 43*z - 46*z - 75. Is -3*(2 + z/3) a multiple of 4?
False
Suppose 3*d - 41779 = -a + 2928, 5*a + 74545 = 5*d. Suppose -4*c = -12, 2*c - d = -s - 4624. Is 15 a factor of 2/9 - s/(-99)?
False
Let k(n) = -n**2 + 5*n + 1. Let r be k(6). Let q(y) = 2*y**2 + 7*y - 2. Let s be q(r). Is 2/(-1) - (-16 - s) a multiple of 12?
False
Suppose v + 19 - 1 = 0. Let h = v + 23. Suppose 229 = h*c - 121. Is 10 a factor of c?
True
Suppose -38752 = -2*y + q + 3400, -105400 = -5*y + 5*q. Is y a multiple of 65?
False
Let z be 4*-4*(-3)/24. Suppose -t + z*t = 0. Suppose h - 2*p - 32 = 0, 2*h + t*p - 66 = 3*p. Is h a multiple of 18?
True
Let q be (146/4)/(3*1/6). Let p = q - 23. Does 29 divide p?
False
Let n = 13 - 8. Let u(i) = -16*i + 18. Let q(h) = 32*h - 37. Let d(j) = n*u(j) + 2*q(j). Is 16 a factor of d(-7)?
True
Suppose 0 = a - 2154 - 9930 - 4788. Does 38 divide a?
True
Let c = 829 + -266. Let o = -451 + c. Is o a multiple of 51?
False
Suppose 0 = -t + 5 + 16. Let h = t - 18. Suppose 2*m = g - 23, -2*m = -h*g + 4 + 61. Is g a multiple of 3?
True
Suppose -13*k + 17*k + 3660 = 0. Let u = -440 - k. Is u a multiple of 19?
True
Let q(w) = 26*w - 46. Let p = 0 - 10. Let x(k) = k + 22. Let i be x(p). Is q(i) a multiple of 38?
True
Suppose 4*s = 261 + 655. Suppose -10*w = -3*t - 9*w, 2*t + 3*w = 0. Suppose 0 = -3*l - 5*m + 241, 0 = -3*l + m - t*m + s. Is 7 a factor of l?
True
Let o(v) = v**2 - 3*v - 33. Let t be o(8). Suppose 2*g = -y + 17, t*y + 1 = 5*y + 3*g. Suppose 6*l + 54 = y*l. Is l a multiple of 7?
False
Suppose -3*n = l - 1126, -4*n - 4*l = -6*l - 1498. Let d = n + 330. Is d a multiple of 30?
False
Suppose -5*x + 2*y + 66 + 377 = 0, -2*y - 8 = 0. Suppose -2*r + 61 = -3*g - 0*g, 3*r + x = -4*g. Does 6 divide 7/(g/(-8))*(-270)/(-8)?
True
Let q(d) = -43*d - 542. Is q(-52) a multiple of 11?
True
Let w = -47 - -49. Suppose -2097 = -w*s - s. Is 12 a factor of s?
False
Let u be (1 - -22 - -3) + (2 - 0). Let l = 58 - u. Is l/(-20) - (-130)/4 a multiple of 8?
False
Let z(p) = 2*p**3 - 17*p**2 + p + 24. Let h(k) = 3*k**3 - 18*k**2 + k + 25. Let o(r) = 3*h(r) - 4*z(r). Is o(-6) a multiple of 13?
True
Let x be 3 + 4 + 195*7. Suppose 0 = -17*t + 3*t + x. Is t a multiple of 14?
True
Let q = -12501 - -80420. Does 23 divide q?
True
Suppose 0 = 5*p - 3*j - 4925, 7*j = -5*p + 2*j + 4925. Suppose -2*f = -15*l + 12*l + p, 5*f + 25 = 0. Is l a multiple of 25?
True
Let w be (7 + (-282)/30)/((-16)/20). Suppose 0 = z - 2*m - 1374, 0 = 3*z - w*m - 1110 - 3003. Is 18 a factor of z?
True
Is (-94045)/(-50) + (-11)/(-110) + 6 a multiple of 37?
True
Suppose -4*f = 5*o - 8, f + 3*f + 2*o = 8. Suppose f*l + 2*s - 212 = 0, 422 = 4*l - 0*s + 5*s. Is l a multiple of 24?
False
Let k be (0 - 0)*(-2 + 3). Let y(s) = s**2 - 9*s + 91. Does 11 divide y(k)?
False
Let d be 71*(4/26 - 1005/195). Let w = -185 - d. Does 14 divide w?
False
Suppose 4*q - 5*q - 1612 = 2*p, -5*q = -2*p - 1612. Let r = -202 - p. Does 70 divide r?
False
Suppose 0 = 4*x + 24, -329*h + 233 = -328*h - 5*x. Is 6 a factor of h?
False
Let k be 5/((-5)/2) + (5 - 152). Let b = 270 + k. Suppose 3*s - 23 = b. Does 12 divide s?
True
Let m be 85134/17 + (-8)/(-68). Suppose 0 = -14*i + m + 284. Is 63 a factor of i?
True
Suppose 19880 = x + 11*z - 10*z, x + 2*z - 19872 = 0. Is x a multiple of 22?
True
Let f be (-3 + 3)/((0 + -2)/(-2)). Suppose -4*b + 156 + 316 = f. Is b a multiple of 5?
False
Let x = 48 + -45. Suppose x*c - 25 = 4*c + 5*m, 4*c + 10 = -2*m. Is c + 47 - (0 + 0) a multiple of 6?
False
Suppose 163*p = 546*p - 2465371. Does 12 divide p?
False
Suppose -15*m + 6669 + 11811 = 41*m. Does 11 divide m?
True
Let m = -100 - -100. Suppose 17*k - 19*k + 208 = m. Is 8 a factor of k?
True
Let s(a) = -3618*a**3 + 15*a**2 - 13*a - 23. Does 105 divide s(-2)?
False
Let d(i) = 31*i**2 + i. Let x = -35 - -38. Suppose -3*z - 1 = u, z + x = 2*u - u. Does 10 divide d(z)?
True
Let a(c) be the second derivative of -c**6/180 - 3*c**5/10 + 3*c**4/4 - 14*c. Let f(b) be the third derivative of a(b). Does 10 divide f(-19)?
True
Let m(f) = -50*f**3 + 6*f**2 + 13*f + 5. Let r be 12/15*(-45)/18. Does 36 divide m(r)?
False
Suppose -3*b - 756 - 3 = 0. Let n = b - -612. Suppose 4*y = n - 123. Does 4 divide y?
False
Let i = -97 - 49. Let u = -2234 + 2216. Is 4 a factor of 2/u - i/18?
True
Suppose -21*p - 14*p = -26250. Let l = 1163 - p. Is 14 a factor of l?
False
Suppose 2*a + 7*c = 2*c + 5, 5*a = -c + 24. Suppose -s = -3*r - a*s - 5, r + 4*s - 9 = 0. Is (8 + r)/(2/110) a multiple of 11?
True
Let q = 952 + 14. Suppose -12*z + 1266 = -q. Is 62 a factor of z?
True
Suppose u = -0 - 5. Let v(l) = -l - 8. Let b be v(u). Does 20 divide 10*(-8)/3*b?
True
Suppose 0 = n - 15*n - 7084. Let m = 1133 + n. Is 19 a factor of m?
True
Let v(r) = -5*r**2 + 4*r - 71. Let b(y) = 8*y**2 - 3*y + 72. Let w(g) = 6*b(g) + 7*v(g). Is w(-6) a multiple of 12?
False
Let b(v) = 3*v**2 - 45*v + 573. Is b(112) a multiple of 9?
True
Let r = 125 + -123. Suppose -24 = -r*x - 2*y, -12 = -x + 16*y - 21*y. Is x a multiple of 6?
True
Suppose -314*u = -179*u - 143837 - 89578. Is 13 a factor of u?
True
Let j(w) = w**3 + 7*w**2 - 25*w + 17. Let u be j(-8). Suppose -u = -6*s - 39. Is 2 a factor of s?
False
Let d(j) be the first derivative of -17*j**2 - 11*j - 31. Is d(-7) a multiple of 23?
False
Suppose 0 = 6*a - 372 + 456. Is (-6)/(-21) + (5 - 3958/a) a multiple of 17?
False
Let a = 154 - 142. Suppose 3*j + 3*p = 0, 0*j - 5*p = -3*j. Suppose r + r - a = j. Is r a multiple of 3?
True
Suppose -3*w + 0*w - 4*v + 31 = 0, 5*v - 10 = 2*w. Suppose 3*a - 6*b = -8*b + 604, -5*b + 1015 = w*a. Does 6 divide a?
True
Suppose 9372 = 8*b - 2*b. Suppose -3*h + 780 = n, 2*n + 13*h = 9*h + b. Does 26 divide n?
False
Suppose -3*r + 36 = 30. Suppose 3*l - r*v - 1917 = -184, 3*v = 2*l - 1152. Is 12 a factor of l/3 + (-1)/1?
True
Let b(r) be the third derivative of -r**5/60 + 7*r**4/8 - 11*r**3/6 - 6*r**2 + 2. Let u(y) = 3*y - 4. Let x be u(8). Is b(x) a multiple of 3?
True
Let c = -25183 - -42355. Does 81 divide c?
True
Let n = 9436 + -4129. Does 27 divide n?
False
Suppose 0 = -3*g + 5*d + 21, 0 = -3*g + 2*d + 2 + 10. Let z be 18*((-28)/(-24) + -3)*2. Is 12 a factor of (208/(-10))/(z/30 + g)?
False
Suppose 4*n = 4, -5*s + 3*n - 786 = -6*s. Suppose -786*m + s*m + 72 = 0. Does 21 divide m?
False
Let i(l) = 5*l - 9. Let z be i(3). Let u(s) = -7*s - 33. Let j be u(z). Is 4 a factor of 170/3*(-18)/j*5?
True
Let t = -187 - -105. Is 18 a factor of (5/(30/(-18)))/(6/t)?
False
Let m(d) = 4*d + 52. Let h be m(-12). Is 368 - (56/(-140) - h/(-10)) a multiple of 8?
True
Suppose -4*i + 4*d = -7802 - 4734, 15720 = 5*i + 5*d. Is i a multiple of 43?
True
Suppose 6*c = 15*c - 3906. Suppose -4*q = -o + 262, q + 1242 = 3*o + c. Is o a multiple of 90?
True
Suppose 29 = -3*i + 2*q - 6*q, -q + 23 = -2*i. Let x(k) = k**2 + 12*k + 14. Let b be x(i). Suppose -3*j - b*t + 34 = -2, -3*t = -6. Is j a multiple of 10?
True
Let y(d) = -2*d**3 + d**2 - 10*d - 4. Let j(m) = -3*m**3 + 2*m**2 - 19*m - 7. Let t(s) = -3*j(s) + 5*y(s). Suppose 15 = 5*k + 40. Is 6 a factor of t(k)?
True
Let h(p) = -7*p**3 + p**2 + 8*p - 15. Let o(f) = -15*f**3 + 2*f**2 + 17*f - 29. Let t(u) = -13*h(u) + 6*o(u). Is t(0) a multiple of 5?
False
Suppose 0 = 5*i - 2*u + 598, i + 5*u + 137 - 12 = 0. Let o = 119 + i. Is 2 + o + 22 + (-27)/(-9) a multiple of 13?
True
Suppose 6*y - 3*y + 279 = 5*h, 5*h - 277 = 4*y. Suppose 5*d + h = -n - 16, 245 = -5*n + 5*d. Let w = -18 - n. Does 7 divide w?
True
Let q be (-2)/(-8) + 1477/28*17. Let o be (-1)/(-5) + q/65. Suppose g - 5*g = -3*v + 1, 4*g 