9. Does 14 divide s(u)?
False
Suppose -22*z + 10*z + 235935 = -34485. Is 97 a factor of z?
False
Let r(v) = -v + 4. Let w be r(4). Let a(k) = k**3 - 2*k + 139. Does 4 divide a(w)?
False
Suppose 3*d = -5*w - 3334 + 397716, -w + 78874 = d. Is w a multiple of 272?
True
Let u be (-1)/(-6) - 5205/(-90). Suppose -7098 = u*b - 72*b. Does 21 divide b?
False
Let y(m) = 150*m**2 - m + 5. Let c be y(3). Suppose 2*l + c = 7*q - 2*q, -4*l - 814 = -3*q. Is q a multiple of 27?
True
Let k = 23 - 15. Let q be -4*(-2 - -1) + (0 - k). Does 17 divide (7/q - -4)*544/6?
True
Let o(t) = 3*t - 9. Let c be o(5). Suppose c*i - 1607 = 481. Suppose -9*q + 228 + i = 0. Does 16 divide q?
True
Let h be 34624/20 + (-7)/35. Suppose -3*i = 651 - h. Is i a multiple of 45?
True
Suppose 2*h - 3*o = 84, o = 3*h - 0*o - 126. Suppose -6 = -2*j + h. Does 3 divide j?
True
Let i(v) = 6*v**2 - 7*v + 12. Let a(j) be the first derivative of j**4/4 + j**3 - j - 18. Let f be a(-2). Is 9 a factor of i(f)?
True
Suppose 0 = 5*v + 2*m + 10, -3*m + 0*m = -4*v + 15. Suppose v = 2*l - 3*o - 26, -5*l + o + 111 = 5*o. Does 19 divide l?
True
Suppose -4*r - 403 = -383. Let s(n) = 9*n**2 + 11*n + 2*n + 1 + 5 + 7. Does 17 divide s(r)?
False
Let q(j) = 7*j**3 - 24*j**2 + 175*j - 2566. Does 86 divide q(17)?
True
Is (-164)/28 - -5 - (8 - (-113964)/(-21)) a multiple of 14?
True
Let z(i) = 2*i**2 + 74*i + 193. Does 15 divide z(-71)?
False
Suppose -6*q = -5*q - 3. Suppose d - 5 = 0, -q*d + 65 = 5*g - 6*d. Suppose -g*a + 945 = -431. Is 32 a factor of a?
False
Let d(j) be the first derivative of j**3/3 - j**2/2 - 14*j - 10. Let v be d(-9). Suppose -2*t = w - 3*w + 32, 0 = -5*w + t + v. Is 5 a factor of w?
True
Suppose 527 - 449 = q. Suppose -q = -5*a + 2*y + 545, 5 = 5*y. Is a a multiple of 7?
False
Let p(q) = -796*q**3 - 76*q**2 - 144*q + 15. Does 3 divide p(-2)?
False
Let a = -1285 - -666. Let x = 629 + a. Is x a multiple of 2?
True
Let q = 39795 - 22770. Is q a multiple of 25?
True
Let a = 350 - 537. Let k = -162 - a. Does 2 divide k?
False
Let n(u) = u**3 - 11*u**2. Let i be n(11). Suppose -t - 4*g + 413 = 0, -t - 4*t - 4*g + 2129 = i. Suppose 6*p = 3*p + t. Is p a multiple of 31?
False
Suppose 3*r + 56 = -2*t + r, t + 38 = 4*r. Let m = 33 + t. Suppose -y = m*c - 24, 2*c + 192 = 5*y - c. Is y a multiple of 18?
True
Let w(u) = -11*u**3 - 53*u**2 - 41*u + 21. Let x(s) = -4*s**3 - 18*s**2 - 14*s + 6. Let r(i) = -3*w(i) + 8*x(i). Is 20 a factor of r(-7)?
True
Suppose 0 = 90*j - 95*j + 2900. Let z = 120 + j. Does 14 divide z?
True
Let r = 525 - 490. Suppose 0 = r*i - 36*i + 2*o + 10, 4*o = i. Is i a multiple of 4?
True
Suppose -c = -5*r + 13385, -16371 = -5*r + 4*c - 2986. Does 35 divide r?
False
Let a = 260 - -37187. Is 143 a factor of a?
False
Let y(u) = -82*u - 362. Is 6 a factor of y(-5)?
True
Suppose 4*n = 5*r - 26, -10*r + 3 = -9*r - 3*n. Suppose 5*j = -3*k + r*k + 984, 3*k = -4*j + 771. Does 16 divide j?
False
Let g(x) = -587*x + 89. Is g(-6) a multiple of 61?
False
Suppose 4*m + 6*v - v = 2447, -3080 = -5*m - 2*v. Suppose m = -2*y + 4*y. Does 18 divide y?
False
Let j be (448/6)/(98/441). Suppose 89*m - 110*m = -j. Is 4 a factor of m?
True
Suppose -21*t + 40214 = -18040 - 11361. Is 17 a factor of t?
True
Let i = 3524 + -3300. Does 39 divide i?
False
Is 16 a factor of (1596 - 0) + 132/(-11)?
True
Let p(h) = 22*h**2 - 3*h - 8. Let o be p(2). Let b = 827 - o. Is 5 a factor of b?
False
Let y = -9516 - -17805. Is y a multiple of 19?
False
Is 10 a factor of -18 + (136/17 - -6704)?
False
Suppose -3*f + 45 = -18*f. Is 35 a factor of (9512/(-16))/(-1) - f/(-6)?
False
Suppose 0 = 453*j - 475*j + 165528. Is j a multiple of 114?
True
Suppose 3*k - 4107 = 15*l, 2*l - 5294 - 1470 = -5*k. Is 17 a factor of k?
False
Let z be 2 - (2 + 13 + -2). Let v(b) = 511 - b - 239 - 245. Does 19 divide v(z)?
True
Suppose 0 = 3*n + 5*b - 61, -4 + 89 = 5*n + 5*b. Suppose 5*u = 3*f + 60, -u + 0*f + n = f. Suppose 14*y - 90 = u*y. Does 9 divide y?
True
Suppose -186*k = -190*k - 16. Is (1854/(-27))/(k/6) a multiple of 67?
False
Let z(t) = -7*t**3 - 3*t**2 + 7*t - 13. Let q(x) = x**3 + 1. Let r(k) = 6*q(k) + z(k). Suppose -4*h - 16 = 5*p - 1, -25 = -5*h. Is 28 a factor of r(p)?
True
Let p(h) = -50*h**2 - 13*h + 30. Let g(v) = -33*v**2 - 9*v + 20. Let r(s) = -7*g(s) + 5*p(s). Let l be r(6). Does 13 divide l/(-56) + 3/4?
True
Let c be (-4)/(-14) + (-442)/(-119) - 472. Let o = c - -1271. Does 6 divide o?
False
Let o = -46 + 48. Suppose f = -h - 0*h + 94, -368 = -4*h - o*f. Suppose 6*b - h = 390. Does 20 divide b?
True
Let u = -2392 - -4472. Is u a multiple of 52?
True
Let n(s) = -11*s**3 + 8*s**2 + 4*s + 8. Let o be n(-7). Suppose -2*k + h = -o, -6*k = -k - 3*h - 10365. Does 23 divide k?
True
Suppose -57*n + 189 = -64*n. Let y be ((-50)/2)/((-7)/28). Let s = y + n. Is 18 a factor of s?
False
Let h = -5 + 8. Suppose 0 = h*r - r + 148. Let p = r - -130. Is 16 a factor of p?
False
Let v = 3 - -1. Suppose -6*d = -2*d + v*k + 160, -5*k + 160 = -3*d. Let y = 84 + d. Does 12 divide y?
False
Let h be 20/45 - -2*(-4066)/(-9). Is 15 a factor of 24/72 + h/6?
False
Let k = -458 + 528. Does 12 divide -4*1043/(-2) - (68 - k)?
True
Let l(x) = -x**3 - 3*x**2 + 2*x + 8. Let j be l(-2). Suppose -4*h = -h - 27. Suppose -h*t + 6*t + 102 = j. Is t a multiple of 8?
False
Suppose -3*d + 45075 = 2*x, 5*x + 3*d - 4*d = 112713. Is x a multiple of 34?
True
Does 17 divide (-15646)/(-10) + ((-6)/60)/((-5)/(-30))?
True
Suppose -42*s + 24 = -45*s. Does 47 divide 5/((-1)/752*s)?
True
Suppose 19*c - 21*c - x = -1841, 3*c + 8*x - 2768 = 0. Does 230 divide c?
True
Suppose 0 = -7*m + 2*s + 24999, -34*s + 6 = -33*s. Is 22 a factor of m?
False
Let c(r) = 43*r - 12. Let f(v) = -45*v + 10. Let k(x) = -3*c(x) - 4*f(x). Is 26 a factor of k(6)?
False
Is (-918092)/(-40) + 180/(-600) a multiple of 152?
True
Suppose 3*u - 3*y + 503 = 3554, 2*u - 2016 = -4*y. Suppose 0 = 5*x - 436 - u. Suppose 0 = -d - d + x. Is 29 a factor of d?
True
Let f be 1 - (-10)/35 - (-4)/(-14). Is 31 a factor of f + 2650/12 + (-63)/(-378)?
False
Let r = 9600 - 8452. Is r a multiple of 4?
True
Suppose -4*m = 3*b - 634, -10*b = -14*b - 5*m + 845. Is b a multiple of 7?
True
Suppose o - 1 = 3*m, -4*m - 7*o + 2 = -10*o. Let s(u) = -48*u - 35*u + 5 - 7 - 9*u. Is s(m) a multiple of 15?
True
Let v be -1*56/(-4)*4. Let g = -60 + v. Is 25 a factor of (-2808)/(-28) - g/(-14)?
True
Suppose 2*m = 5*d + 376, -5*d + 5*m = -3*d + 142. Let w = 1627 + d. Is 42 a factor of w?
False
Let o be (-1)/(-3) + 2255/(-15). Is 13 a factor of -5 + (3 - o) + -5?
True
Let v be 341 - -1 - (-7 + 4). Suppose -5*b = -9*b - a + 49, 5*b = a + 68. Suppose b*w - 16*w = -v. Is 15 a factor of w?
False
Suppose 40 - 9 = 3*g + 4*h, -3*g - 5 = -5*h. Suppose -g*z - o = -2*z - 1197, -3*z + 5*o = -1197. Suppose -4*b + 33 = -z. Is 27 a factor of b?
True
Let y(s) = 2*s - 10. Let u be y(6). Let w(l) = l + 2. Let a be w(3). Suppose 4*r + a*j + 9 = 0, 5*r - 5 = -5*j + u*j. Does 4 divide r?
True
Let v = -6248 + 6575. Suppose -1858 = -4*t + 2*y, -4*y = 4*t + 106 - 1934. Let k = t - v. Does 20 divide k?
False
Suppose -1789 + 28558 - 225 = 42*v. Does 19 divide v?
False
Let m = -6470 - -6088. Let l(q) = 592*q**2 - q - 1. Let h be l(-1). Let r = m + h. Does 14 divide r?
True
Suppose -53*f - 210708 + 741397 = 0. Is 122 a factor of f?
False
Suppose g = 5*s - 2 - 14, 3 = -3*g. Suppose 3*p + 180 = 4*p + s*w, 348 = 2*p + 3*w. Is p a multiple of 7?
True
Let i be (60/16 - -3)*136. Suppose o = 3*c - i, 5*o + 24 + 268 = c. Is c a multiple of 10?
False
Let r(s) = 6*s**3 - 19*s**2 + 9*s - 5. Let f = -4 + 9. Is 17 a factor of r(f)?
False
Is -48414*(-4)/30 + 228/285 a multiple of 72?
False
Let z = 76845 - 27885. Is z a multiple of 16?
True
Is 39 a factor of (-49)/(1/145*217/(-1519))?
False
Let c(s) be the third derivative of 19*s**5/60 - 5*s**4/12 + 25*s**3/6 - 185*s**2. Is c(-7) a multiple of 27?
True
Let l = 86 + -52. Let z be (12/(-10))/((l/(-60))/17). Suppose -z = -5*y + 214. Does 25 divide y?
True
Suppose 35125 = -24*r + 104941. Is 32 a factor of r?
False
Let w(l) = -101*l - 163. Suppose -5*v = 5, 2*z + v + 5 = -20. Is 12 a factor of w(z)?
False
Let w = 867 + -207. Is 11 a factor of w?
True
Let k(c) = 6*c**2 - 9*c + 883. Is k(65) a multiple of 30?
False
Let o be (-63)/(-18)*