*s + r - 91, s + 3*r = 17. Let t = -15 + s. Is t a multiple of 9?
False
Let l(s) = s**3 - s**2 + 11*s + 16. Let v be l(-6). Let z = v - -690. Suppose 7*a - 3*a = z. Is a a multiple of 14?
False
Suppose 221*f = 3*u + 216*f - 171446, 0 = u + 2*f - 57145. Does 129 divide u?
True
Let b be 226/15 - 58/870. Suppose 1270 = 17*o - b*o. Does 6 divide o?
False
Let j(t) = 12*t**2 - 3*t. Suppose 2*o + 4*h = -2*o + 16, 12 = 3*o + 5*h. Suppose -2 = -3*v - o*g, -2*v - g + 8 = -5*g. Is 10 a factor of j(v)?
False
Let j(r) = -2*r**3 + 4*r + r**3 - 15 + 0*r + 8*r**2. Let y(g) = -g**3 - 16*g**2 + 7*g + 336. Let b be y(-15). Does 9 divide j(b)?
True
Suppose 31*g = 32*g - 496. Suppose -5*j + 7*j = -v + 88, 5*v - g = 4*j. Is 2 a factor of v?
True
Let z = 393 + -33. Is 4 a factor of z?
True
Let t = 8390 + 1492. Is t a multiple of 16?
False
Suppose 0 = 4*o - 0*o. Suppose o = 5*l + 789 + 556. Let t = -141 - l. Does 20 divide t?
False
Let s(b) = -2763*b + 2444. Is s(-19) a multiple of 8?
False
Suppose a - 4*a + v + 1189 = 0, a + 4*v - 405 = 0. Suppose 5*t = a + 273. Suppose f + 2*l = 2*f - t, 2*f + l = 283. Does 28 divide f?
True
Let q = -16 - -25. Let v(r) be the second derivative of r**5/20 - r**4/2 - 10*r**3/3 + 3*r**2/2 - 3*r + 1. Does 11 divide v(q)?
True
Suppose 4*k + a = 23, -10 = -5*k + 5*a - 0*a. Suppose -x + j = k*j - 1030, -4*x + 4044 = -3*j. Is 13 a factor of x?
True
Is (-88)/1892 - (-781404)/172 a multiple of 59?
True
Is (-684 + -26)/((-2)/40) a multiple of 100?
True
Let a(l) = 7292*l**2 - 60*l. Is a(1) a multiple of 8?
True
Let d = 281 + -203. Suppose d*p - 84*p + 2466 = 0. Is p a multiple of 37?
False
Let h(x) = 91*x**2 + 12*x + 45. Let r be h(-4). Suppose 4487 = 20*i - r. Is 49 a factor of i?
False
Let r = -550 + 554. Is (-4)/(-14) + (-6870)/(-14) + r a multiple of 15?
True
Suppose 5*g - 25 = -0, -2*w = g - 11. Let j be (w - 0)*((-4)/6 - 1). Does 17 divide -5 + (-27)/j - 166/(-10)?
True
Let v(r) = -2*r + 58. Let n = 1 + -1. Let i be v(n). Is 37 a factor of i - ((-10)/2 + 4 + -1)?
False
Is (13790/(-40))/((-58)/2088) a multiple of 7?
True
Let j(i) be the third derivative of 13*i**7/2520 - 7*i**6/360 - 7*i**5/60 - 11*i**2. Let w(d) be the third derivative of j(d). Does 18 divide w(4)?
True
Does 64 divide (-2)/15 + (-6 - 1479688/(-210))?
True
Let i = 87 + -102. Let w be i/6*-1*(0 + 70). Suppose 3*b = -4*b + w. Is 10 a factor of b?
False
Let j be 3304/420 - 4/(-30). Suppose -j*w + 7*w = -300. Is w a multiple of 15?
True
Suppose -m - 239 = 231. Let k(y) = -15*y**2 - 11*y + 18. Let h be k(4). Let a = h - m. Is a a multiple of 12?
True
Suppose -338*b + 8 = -336*b. Suppose -2145 = -3*l - 3*x, 4*x - b = -0*x. Is l a multiple of 18?
False
Let w be (1 - 0 - (8 - 7))*-1. Suppose 8*u - 9*u + 4*m + 370 = w, 5*u - 4*m = 1882. Is u a multiple of 7?
True
Suppose -2*o + o + 8 = -b, 3 = 3*o. Let g be ((-6)/b)/((-5)/35). Let z(r) = -r**3 - 7*r**2 - 8*r. Is 4 a factor of z(g)?
True
Let m be 49/(-7) - (1 + -3). Let d(r) = -6*r**3 + 4*r**2 + 8*r + 9. Does 63 divide d(m)?
True
Suppose -143 = -3*q - 644. Let r = -57 - q. Is 8 a factor of r?
False
Suppose 4*o - 2376 = -o + 2*y, 0 = o + 5*y - 486. Suppose -5*q - o = -19*q. Is 3 a factor of q?
False
Suppose -2958 = 14*p - 12*p. Let z be 2/(-16) - p/(-8). Let r = -129 - z. Does 7 divide r?
True
Let p(m) = 20*m - 15. Let q be p(12). Suppose -6*g = q - 1125. Is 15 a factor of g?
True
Let r(t) = -46*t + 258. Is r(-39) a multiple of 21?
False
Suppose -7*t + 4136 = -5*t + 6*t. Does 2 divide t?
False
Let q(m) = -43*m - 28. Let x be q(5). Let p be 32*x/(-63)*7/2. Is 18 a factor of (6/(-8))/((-3)/p)?
True
Suppose 0 = 5*a - 5*j - 39170, 11*j - 8*j + 9 = 0. Does 41 divide a?
True
Suppose 0 = 3*s + z - 14, -2*s - 3*z + 9 = -5. Suppose s*c + 10*c - 588 = 0. Is c a multiple of 3?
True
Suppose 113 - 8 = 5*m. Suppose -268 = -23*x + m*x. Does 10 divide x?
False
Suppose 4*n + 3 = r + 6, 2*n = -5*r + 29. Suppose n*h = 7*h - 1400. Is 4 a factor of h?
True
Let w = 65 + -101. Let s(g) = 5*g**2 + 6*g + 7. Let l be s(-2). Is (w/l + 3)*135 a multiple of 9?
True
Let q be 1/3 + 20/(-6). Let w(b) = -5*b + 151. Let o be w(30). Is q/((-3)/130) - o a multiple of 12?
False
Suppose 3*h + 14*a + 5 = 10*a, 0 = h + 3*a + 5. Let z be ((6 - 4) + -1)*h*-5. Is 16 a factor of (-718)/z - (91/35 + -3)?
True
Let w(j) = 99*j + 482. Let g be w(6). Let q = g - 1027. Is q a multiple of 10?
False
Let o = -4652 + 7225. Does 57 divide o?
False
Suppose -2853 = -23*b - 19528. Let d = 873 + b. Does 17 divide d?
False
Let u(c) = -30*c**3 + 5*c**2 + 5*c + 9. Let n be u(-3). Suppose 0 = -4*k + 9*k - p - 4203, k - 3*p - n = 0. Does 10 divide k?
True
Let d(i) be the first derivative of -3*i**4/2 + 2*i**3 - 8*i**2 - 84*i - 159. Is 32 a factor of d(-5)?
True
Suppose -m + 2 = -3. Suppose 4*c = m*c - 104. Let z = c + -64. Is 10 a factor of z?
True
Let f = -6551 + 15391. Is f a multiple of 52?
True
Let q(y) = -6*y**2 - 6*y + 2. Let w be q(-2). Let t be (1 + 45/w)*4. Is 4/t*(-166 + 5) a multiple of 17?
False
Suppose -5*n + 5 = 5*r, 2 + 2 = -2*r - 5*n. Suppose -r*h - 24 = -36. Suppose 2*f = -3*w + 197, 0 = -w + 9*f - h*f + 43. Is w a multiple of 14?
False
Let r(w) = -11*w - 154. Let a be r(-18). Let v(t) = t**2 - 3*t + 2. Let h be v(3). Let k = a - h. Does 7 divide k?
True
Let c be 175/(-14)*(64/(-20))/1. Suppose 1488 = c*b - 37*b. Does 16 divide b?
True
Is 3 a factor of -16 - (-2 + -27) - -7208?
True
Does 19 divide 5527936/(-760)*-5*1 - 2/1?
True
Let g be (2*-1)/(106/36 + -3). Suppose -g = -10*s + s. Suppose 64 = -s*j + 280. Does 18 divide j?
True
Does 5 divide 2283 + 12 - (23 - 1)?
False
Is ((-8)/(-6))/(382572/13662 + -28) a multiple of 22?
True
Let g = -47 + 41. Let t be (-2)/(((-4)/g)/(-1)). Suppose 4*z = m + 185, t*m = z + m - 55. Is 9 a factor of z?
True
Suppose -8*f + 7*f + 58 = 0. Let u = 60 - f. Does 18 divide -3 - (u/(-7) - 12432/49)?
False
Let r(i) = -3*i**3 - 10*i**2 - 20*i + 11. Is r(-9) a multiple of 112?
True
Let h = 41696 - 33420. Does 19 divide h?
False
Let p(g) = g**3 + 144*g**2 + 17*g - 6. Is p(-142) a multiple of 18?
True
Let f(p) = 46*p + 15. Let q be f(2). Let g = 25 + q. Is 4 a factor of g?
True
Suppose -3*z = -7*z + 16. Let o be 2/z*2 + (-638)/(-2). Let t = -61 + o. Is t a multiple of 28?
False
Suppose -4*b + 5*n + 12526 = 0, -3121 = 2*b - 3*b - 4*n. Is 21 a factor of b?
True
Let f be 1 + -1 + 72/(-9 + 7). Let p = f + 91. Does 5 divide p?
True
Suppose -4*o = -2*b + 9 + 39, -4*b = 2*o - 56. Suppose -b*f + 675 = 11*f. Is 13 a factor of f?
False
Suppose 4*x = 4*n - 192, 2*n + 3*n - 228 = x. Suppose 2*m - n = -35. Suppose 0*o + m*o = 945. Is o a multiple of 27?
True
Is -16 + 16532/4*8 a multiple of 153?
True
Let c = 159 - 290. Let u = c - -257. Is u a multiple of 63?
True
Is 16 a factor of (-68)/10*34160/(-32)?
False
Suppose -43*a + 365855 = -284090. Does 116 divide a?
False
Suppose 25127 = 2*d + z, 0 = 16*d - 12*d + 3*z - 50249. Is 206 a factor of d?
True
Suppose 3*h + 11 = 4*s, -5*s + 4*s = -5*h + 10. Suppose -c - 2*x - 3252 = -h*c, -3*c - 2*x + 4873 = 0. Is c a multiple of 87?
False
Let t(f) = -f - 14. Let k be -1*(209/55)/((-1)/(-5)). Let v be t(k). Suppose 0 = -4*i - v*s + 539, 0 = 5*i - i + 4*s - 540. Is 34 a factor of i?
True
Let w be (-3 + 22/6)/((-2)/(-6)). Suppose 0 = -2*m - 2*a + 58, 5*m + w*a - 132 - 10 = 0. Suppose 2*b - 4*l = 80, 2*b - 3*l = m + 57. Does 40 divide b?
False
Suppose 5*z - 61840 = -27789 + 70719. Is z a multiple of 52?
False
Is -873*(72/18 - 21) a multiple of 42?
False
Let b(r) = 5*r - 13. Let k(m) = -9*m + 24. Let s(h) = 11*b(h) + 6*k(h). Let d(f) = f**2 + 21. Let l(z) = d(z) - 6*s(z). Is l(11) a multiple of 14?
True
Let b(s) = -s**3 - 14*s**2 - 20*s + 5. Let i be b(-10). Let k = i + 454. Is k a multiple of 8?
False
Let t(y) = -y. Let j be t(-5). Suppose -5 = j*d, -5*f + 7*d - 3*d = -29. Suppose z = 4*a - 0*z - 168, -f*a = 3*z - 210. Is 14 a factor of a?
True
Suppose x + 7 = 5*u, 0*x - 5*u = -3*x - 1. Suppose 0 = -3*p + 9, 0 = -4*m - x*p - p + 780. Is 16 a factor of m?
True
Is ((-578)/5)/((-322)/24150) a multiple of 30?
True
Suppose -15*x + 7026 - 621 = 0. Suppose 4*m - 93 = x. Does 13 divide m?
True
Let n = 487 - 721. Let f = -98 - n. Does 16 divide f?
False
Let f(r) = -11*r**3 - 10*r**2 + 3*r**3 - 53 - 31 + 92 - 33 + r. Is 57 a factor of f(-5