ue
Suppose 5*d + 3703 = t, 22*t - d + 7483 = 24*t. Is 45 a factor of t?
False
Suppose -7*h - 20 = -9*h. Suppose -52*l + 47*l - h = 0. Is 11 a factor of ((-5)/(25/295))/(1 + l)?
False
Let l = 553 + -375. Suppose o - 5*u - l = 0, -2*o - 5*u + 406 - 35 = 0. Is o a multiple of 11?
False
Suppose -12619 = -5*x - 4*h, -2515 = 20*x - 21*x - 3*h. Is x a multiple of 176?
False
Suppose 119 = -4*o + 159. Suppose 25*p - o*p - 3930 = 0. Does 29 divide p?
False
Suppose -4*o = 633 - 649. Suppose o*b = 2*f + 48, 3*b + 12 = 5*b - 4*f. Is b a multiple of 2?
True
Let n(q) = q**3 - 5*q**2 + 6*q - 2. Let o(k) = -k**2 - 9*k + 3. Let g be o(-9). Let d be n(g). Is (-1 + 0)/(d/46) a multiple of 6?
False
Let k be 9/(-12) + 4/((-64)/4996). Let g = -137 - k. Is 30 a factor of (2 - (-2 - -2)) + g?
False
Let a(w) = -w**3 - 3*w**2 + 6*w + 9. Let m be a(-4). Let g be (m/((-5)/(-10)))/(-1). Does 32 divide (48/10)/(g + (-489)/(-240))?
True
Suppose -d + 60 = 2*d. Let s(l) = 2*l**2 - 120*l - 215. Let q be s(62). Let j = q + d. Does 5 divide j?
False
Is (-10)/(-6) - (-2404557)/1917 a multiple of 19?
False
Let w(y) = 2*y + 11*y**2 + 0*y**2 + 6*y + 8*y**3 - 7*y**3 - 34. Let x be w(-10). Does 28 divide x/(10/(-45)*3/12)?
True
Let f(z) = z**2 - 8*z - 3. Let y be f(9). Suppose -2 = -y*h - 56. Does 20 divide (-15)/10*510/h?
False
Let s be (2/6)/(14/84). Suppose -l = q - 459, 0*q - 2 = s*q. Is 13 a factor of l?
False
Suppose 2*i = -4*z + 119966, -3*i + 35*z - 30*z + 179993 = 0. Is i a multiple of 33?
False
Let u be 2/7 + (-207537)/(-21) + 9. Is 15 a factor of 34/85 + u/20?
True
Suppose 8062*t - 116714 = 8049*t. Is t a multiple of 70?
False
Let h(v) = 5*v**2 + 98*v + 1840. Does 29 divide h(-15)?
False
Suppose -b - 3*h - 42 = 0, b + 2*b + 100 = 4*h. Let y = 66 - b. Let f = y + -57. Is 10 a factor of f?
False
Let z = -5641 - -6000. Is 4 a factor of z?
False
Suppose 2 - 2 = -3*b. Suppose -4*u + b + 128 = 0. Let z = 0 + u. Is z a multiple of 6?
False
Let x be (7 + (-7 - 4) - -7)*-97. Suppose 14 = -3*z - 451. Let w = z - x. Is w a multiple of 33?
False
Let p(t) = -t**3 + t**2 + 9*t - 1. Let d be p(4). Let i = d + 26. Suppose -4*b = -i - 19. Does 8 divide b?
True
Suppose -5*k + 2350 + 4160 = 0. Suppose 0 = -2*p + 4*s + 526, 3*s - k = -6*p + p. Is p a multiple of 29?
True
Suppose 161*y = 158*y + 12. Let a(j) = 109*j - 97. Is a(y) a multiple of 16?
False
Suppose -h = -5*s - 3, -3 + 0 = -h - 5*s. Suppose 0 = 3*v + 3*z - 5*z - 369, -h*v = 5*z - 390. Does 5 divide v?
True
Let z be 187/(-22)*(4 + -6). Suppose -27*h + z*h = -1110. Is 2 a factor of h?
False
Let t = -106 + 106. Let g be -1*(-1 + t)*(-1 - -2). Suppose 5*m - 224 = g. Is m a multiple of 19?
False
Suppose -5*r + 3*l + 205 = 0, -5*l - 61 = -2*r + 40. Suppose r = -6*h + 716. Is h a multiple of 62?
False
Suppose -766*r - 3150 = -808*r. Is r a multiple of 12?
False
Suppose -4*c + 6 = -10. Let z be 2*((6 - c) + -2 + 4). Suppose 0*f + 488 = z*f. Does 9 divide f?
False
Suppose 4*r + 3 = 3*v, 3*r + 7*v - 34 = 2*v. Is 4 a factor of r + (61/2)/(6/12)?
True
Suppose 4*j + 4*f - 170 + 58 = 0, -4*j - 5*f = -108. Suppose s = j - 4. Is 6 a factor of s?
False
Let l be -1*(28/(-13) + 14/91). Suppose l*o = 5*p - 0*o - 598, -2*o = 4*p - 464. Suppose 27*a = 29*a - p. Does 9 divide a?
False
Let q(w) = 49*w**2 - 254*w - 4029. Is 170 a factor of q(-17)?
True
Let i = 84 + -77. Let h(r) = 2*r**2 - 14*r + 8. Let v be h(i). Suppose v*k - 1512 = k. Does 24 divide k?
True
Let s = 266 - 253. Suppose -6*q - 819 = -s*q. Does 3 divide q?
True
Let z = 1148 + -730. Suppose -14*i + z = -12*i. Is 21 a factor of i?
False
Let d(b) = -8*b**2 - 15*b + 8. Let w(h) = h**2 + h - 1. Let a(z) = d(z) + 4*w(z). Let r(l) be the first derivative of a(l). Does 7 divide r(-11)?
True
Suppose 4*y = -2*s + 1220, 7*s = 8*s - 7*y - 664. Is 38 a factor of s?
False
Suppose -1866 + 2443 = -11*j + 6737. Is j a multiple of 10?
True
Suppose 0*k + 5*k = 15. Let j be k + 2*(-1 - 0/(-1)). Is 3 a factor of 12/(-42) - (j + 116/(-14))?
False
Suppose -35 - 40 = -5*n. Suppose n*y - 68 = 637. Does 3 divide y?
False
Let a = 32 - -6. Let g be (a/(-57))/(2/(-12)). Is 85*g/5*1 a multiple of 21?
False
Suppose 0 = 103*o - 98*o + 2*z - 110197, -4*o = 5*z - 88144. Is o a multiple of 199?
False
Suppose -3*i = -4*b - 62, -4*b - b + 80 = 5*i. Let t = i - -8. Let k = 80 - t. Does 18 divide k?
True
Suppose 1750 - 5341 = -k. Does 7 divide k?
True
Let s(u) = -u**2 - 38*u + 51. Let v = 32 - 55. Is 44 a factor of s(v)?
True
Suppose 35*s + 31*s - 61*s = 88365. Is 28 a factor of s?
False
Let z = 7213 + -6718. Is 55 a factor of z?
True
Let d(z) = 22*z**2 + 26*z + 109. Let f = 272 - 278. Is d(f) a multiple of 65?
False
Suppose 42*j = 5*x + 38*j + 12, -12 = -x - 4*j. Suppose x = -27*d - 3824 + 10007. Does 9 divide d?
False
Let w(s) = -12*s**3 + 2*s**2 + 9*s - 5. Let k be w(-4). Is 18 a factor of 15/3 + -1 + k + 8?
False
Let s be ((-5)/6)/((-17)/102). Suppose -2*u - s = -13. Is (25*2)/(u - (7 - 5)) a multiple of 5?
True
Suppose 22680 = 8*s + 7*s. Let r(h) = s*h - 3 - 15 - 1503*h + 10*h**2. Is 11 a factor of r(3)?
True
Suppose 9*n = i + 8*n - 5, -5*n + 5 = 5*i. Suppose -i*m + d + 589 = 5*d, 5*d = -4*m + 785. Does 5 divide m?
True
Suppose 19*x - 5140 - 5101 = 0. Does 11 divide x?
True
Suppose 4*l + 145 = -3*p, 7*l + 8 = 5*l. Let k = p + 48. Suppose 0*g - 2*g - 93 = -k*s, 4*g - 18 = -2*s. Is s a multiple of 8?
False
Suppose 269*y - 171 = 266*y. Suppose -g = 2*g - y. Does 2 divide g?
False
Let x = 180 + -186. Is 10 a factor of -6 + (-7 - 2718/x)?
True
Let t(c) be the third derivative of c**5/60 - 7*c**4/8 + 7*c**3/2 - 27*c**2. Let m be t(20). Does 10 divide (1 - -2) + (58 - m)?
True
Suppose 5*u + 34 = -2*w, -4*u + 2*u = w + 18. Let m be 1417/4 + (-2 - w/8). Is 21 a factor of ((-14)/(-6))/(m/(-180) - -2)?
True
Let r be (-1)/2*28/49*-7. Suppose 3*n + 2*m = 803 + 131, r*n - 5*m - 591 = 0. Does 28 divide n?
True
Let k(z) = -3*z**3 + 16*z**2 - 4*z - 3. Let r be k(5). Suppose 2931 = 3*q + r*b, 5*q - 4869 = -5*b + 7*b. Is q a multiple of 39?
True
Suppose 17*r - 29949 - 21964 - 16699 = 0. Is r a multiple of 37?
False
Let c = 90 + -87. Suppose 363 = c*v + 2*u - 71, 3*v = u + 440. Suppose 3*b + v = 674. Is b a multiple of 12?
False
Let c = -48 - -14517. Is c a multiple of 49?
False
Let c(v) = 30*v**2 + 10*v. Let k(d) = d**3 - 4*d**2 - 60*d + 3. Let y be k(-6). Does 6 divide c(y)?
True
Let f be (-2 + -3)*(2 + -1). Let l(w) = -w**2 - w + 1. Let x(b) = -7*b**2 + 2*b. Let k(o) = 5*l(o) - x(o). Does 10 divide k(f)?
True
Let d(x) = x**3 + 21*x**2 - 28*x - 127. Let n be d(-22). Suppose 4*l = -n*t + 1808 + 2594, -t + l = -884. Is t a multiple of 23?
False
Let s be (1 - 223/3)/((-1)/3). Let i = 90 + s. Is i a multiple of 31?
True
Suppose -2659*q + 2654*q = -38180. Does 92 divide q?
True
Let u = 5014 - 2439. Suppose -2*n + 858 = -4*x, 5*n - u + 430 = -5*x. Is n a multiple of 12?
False
Does 11 divide 1045/(-627)*(-428 + -1)?
True
Suppose 5*i = -p + 4, 0 = -2*i + i - p + 4. Suppose -k - 65 + 326 = i. Is 29 a factor of k?
True
Let x(d) = 4*d**2 - 6*d + 4. Let i be x(2). Suppose -4*u + 0*u = 3*m - 5622, 0 = 4*m - i. Does 13 divide ((-6)/4)/((-18)/u)?
True
Let d(s) = 406*s - 516. Is d(6) a multiple of 80?
True
Suppose -6363 = -21*g + 21*g + 21*g. Let q(r) = -r**3 - 2*r**2 - 4. Let h be q(4). Let t = h - g. Is t a multiple of 35?
False
Let h(o) = -o**2 + 12*o - 27. Let d be h(8). Suppose d = 5*a - 5*s, a + s + 2 = 7. Suppose -u + a = 2*v - 174, -453 = -5*v + u. Does 45 divide v?
True
Let l(f) = 146*f**2 - 6*f - 11. Let y be (2/(-8))/(-4 - (-330)/80). Is l(y) a multiple of 7?
False
Is (0 - -2)*1*(3787 + (-16 - -7)) a multiple of 32?
False
Suppose 2*w + 142 = 154. Suppose 22*p - w*p - 5600 = 0. Does 6 divide p?
False
Suppose 4*g = -m + 11, 0 = 3*m + g - 3*g - 19. Suppose m = 7*a - 7. Suppose a*n - 208 = -4*x, x + 0*x - 43 = -5*n. Is 9 a factor of x?
False
Suppose -30*s + 6 = -28*s. Suppose 4*c = 16, s*u + 2*c + 10 = 3. Is (-50 + (u - -1))/(6/(-4)) a multiple of 6?
True
Let w = -293 - -284. Is (2 - -1 - (43 - 9))*w a multiple of 10?
False
Suppose 15 = 3*o - u, -5*u = -0*o + 2*o - 27. Suppose 0 = -2*z + o*z - 20. Is 8 a factor of (122 + -7)*1/(z/2)?
False
Let i(p) = p**2 + 52*p + 50. Let t be i(-51). Let f(k) = -136*k + 4. Let j(w) = -273*w + 8. Let x(o) = 5*f(o)