= 5*h - 47. Suppose h*i + 59 - 17 = 0. Does 7 divide 2/(i/(-43)) + 1/(-3)?
True
Let i = -128 - -124. Let q be (i/16)/(1/(-492)). Suppose -5*c - a + 524 = 0, a = -3*c + q + 193. Is c a multiple of 4?
True
Let i(u) = -u**3 + 8*u**2 + 4*u + 6. Let g be i(8). Let r = -33 + g. Is 19 a factor of 1670/11 - (57/(-11) + r)?
True
Let d(o) = 3 - 7 - o**3 + o**2 + 8. Let b be d(0). Suppose b*s = -4*k + 168, 0 = s - k - 15 - 27. Is 6 a factor of s?
True
Suppose 5*l + 3*c = 2697, 0*l - 5*l = 2*c - 2693. Let z = l - 329. Is z a multiple of 16?
True
Suppose 4*b + 0*b - 8 = 0, 2*w = 3*b + 464. Let q = w - 191. Is 34 a factor of q?
False
Suppose 4*o - 6 = 5*m - 22, -2*m - 3*o = -11. Suppose -m*b + 340 = b. Is b a multiple of 5?
False
Let w = 3029 + -1571. Suppose 312*u + w = 314*u. Does 45 divide u?
False
Is 6 a factor of -50*552/(-360)*99?
True
Suppose 0 = 25*s - 160268 + 72164 - 145396. Does 38 divide s?
False
Let t(i) = -35*i**3 - i**2 - 11*i - 24. Does 194 divide t(-6)?
True
Suppose 228896 + 131926 = 77*r. Does 71 divide r?
True
Let f(t) = 3*t**3 - 5*t**2 + 6*t - 2. Let g be f(3). Suppose o - g = -2*i, -3*i + 2*o + 6 + 72 = 0. Suppose -i*a - 28 = -27*a. Is a a multiple of 7?
True
Let p(y) = y**3 + 3*y**2 + y + 84. Let k be p(0). Is (-70 + k)/(2/(-276)*-4) a multiple of 17?
False
Suppose 53*u - 458735 = 33*u - 158815. Is 75 a factor of u?
False
Suppose 1 = 4*x - 35. Suppose 4*g = -4, -2*g = -3*z - 1 + x. Does 12 divide (-2)/z + 148/4?
True
Suppose -2*g = -4*y + 12, -y - g + 4*g - 7 = 0. Suppose 0 = y*f, 0*f - 3*f + 65 = 5*i. Suppose -18*d = -i*d - 280. Is 14 a factor of d?
True
Let j(r) = 22*r**3 - 6*r**2 - 5*r - 9. Is j(5) a multiple of 8?
False
Let b = -49 + 53. Suppose b*q + 4 = 16. Suppose -546 = -q*o - 222. Does 12 divide o?
True
Let h = -59732 - -111728. Is h a multiple of 14?
True
Let s = 28841 - 25101. Is s a multiple of 68?
True
Let n = 2991 + -4721. Let b = -1131 - n. Is 80 a factor of b?
False
Let n(j) = -3*j + 20. Let b be n(-5). Let d = b - -12. Suppose 4*s = 95 - d. Is s a multiple of 4?
True
Let c be (-2 - -25)/(-1*1). Let h(b) = -20*b - 27*b + 45*b + 34. Does 11 divide h(c)?
False
Let p be -1*4 - (5 + 2). Let m(a) = 2*a**2 + 21*a + 3. Let f be m(p). Let k = f + 1. Does 4 divide k?
False
Let y = -3595 + 6198. Is y a multiple of 4?
False
Let f = -2 + 426. Is 3 a factor of f?
False
Let w = 240 - -15655. Is 17 a factor of w?
True
Let t = 127 - 37. Is 9 a factor of t?
True
Suppose -40*r = -50*r + 36500. Suppose 17*x - r = 7*x. Is x a multiple of 16?
False
Suppose -5*s = r - 2118, 23*s - 24*s = -4*r + 8556. Is r a multiple of 2?
True
Let p = 6357 + -2155. Is p a multiple of 13?
False
Let h = -246 - -126. Let c be 90/h*(-16)/6. Suppose -5*u + c*u = -300. Does 10 divide u?
True
Let j(z) = z - 27. Let l be j(11). Let k = 77 - l. Does 31 divide k?
True
Suppose 16*a - 20 = -20. Suppose 5*b - 753 - 437 = 4*w, -w = a. Is b a multiple of 37?
False
Let k(f) = 1691*f**3 + 34*f**2 - 136*f - 3. Is k(3) a multiple of 208?
True
Suppose 19 = 2*a - 5*r, -3*a + 16 = -0*a - 5*r. Is a/(-18) + (1 - 8169/(-18)) a multiple of 45?
False
Let y(z) = 13*z - 20*z + 10*z + 145. Does 5 divide y(-30)?
True
Suppose 185 = d - m, -d - 20*m + 170 = -24*m. Let v = -196 - -112. Let p = d + v. Does 17 divide p?
False
Let i be 6/(((-4)/(-6))/(48/108)). Suppose -4*j + 3*z - 237 = 0, -z - i*z = 5. Let k = j + 96. Is 12 a factor of k?
True
Suppose -10*x - 25*x - 1372478 = -109*x. Does 39 divide x?
False
Let z(o) = 40*o + 1. Let m(q) = 41*q. Let s(v) = 6*m(v) - 5*z(v). Let i be s(2). Let f = -79 + i. Is 7 a factor of f?
False
Let l = 7 - 16. Let t = l - -7. Does 8 divide -3 - ((-18)/(-27))/(t/36)?
False
Suppose 0 = i - 2*i + 2. Suppose -i*x + 3*x = 0. Suppose p = -5*d + 156, x*p + d + 468 = 3*p. Is 13 a factor of p?
True
Let y be (1 - 0) + 22/1. Let c(z) = 185*z - 10. Let f be c(1). Let r = f + y. Is r a multiple of 22?
True
Suppose -3*g - 40 = -8*g. Let s be (2/(-4))/(g/32) - 3. Is ((-1)/2)/(s/1920) a multiple of 24?
True
Suppose -v + w + 26686 = 0, 0 = -2093*v + 2095*v - 3*w - 53367. Is 41 a factor of v?
True
Let i(b) = -b**3 - 9*b**2 + 6*b - 24. Suppose -3*y + 102 = 4*a, 2*a + 0*a + 136 = 4*y. Let z = -44 + y. Is i(z) a multiple of 8?
True
Suppose -2715 = -t + 4*x, -7*x + 8*x + 10920 = 4*t. Is t a multiple of 12?
False
Let w(n) be the second derivative of 5*n**3/6 + 9*n**2 - 2*n. Let k be (15*(-50)/(-1875))/((-2)/(-30)). Is 6 a factor of w(k)?
True
Suppose 5*q - 5*a + 25 = 0, -3*q - 5*a = -0*q + 39. Let v be 1/((q/204)/(-2)). Let k = 38 + v. Is 35 a factor of k?
False
Let a(p) = -2*p**2 + 31*p + 20. Let x be a(16). Suppose -13478 = -x*u - 42*u. Is 57 a factor of u?
False
Suppose -2*l = 4*m - 356, -184 = -5*l + 4*l - 4*m. Let o = l - 88. Is o a multiple of 2?
True
Let a = -10 + 12. Suppose -3*w + 2048 = -a*h, -2*w + 0*h = -2*h - 1368. Suppose -5*z + z = -w. Is z a multiple of 34?
True
Let h = -4354 + 4796. Does 13 divide h?
True
Let r(a) = 2*a**2 + 2*a + 42. Let z be r(0). Suppose 37*c = z*c - 80. Is c a multiple of 2?
True
Let r be ((-9)/6 - 3)*24/(-18). Suppose -r*o - 7*o = -546. Is o a multiple of 2?
True
Suppose -4*b = p - 431, -319*b = -2*p - 324*b + 871. Does 67 divide p?
False
Let s = -70 + 74. Suppose s*i - 182 - 158 = 0. Does 12 divide (408/i)/(2/70)?
True
Suppose 0 = -20*p - 27 + 127. Suppose -5*h = p*b - 3880, 2*h - 2484 = 3*b - 937. Is 11 a factor of h?
False
Suppose 0 = 10*g + 14*g - 120. Suppose g*n - 2260 = -5*p, 5*p - 907 = -3*n + n. Is 41 a factor of n?
True
Suppose 0 = 55*l - 57*l + 5*c + 3919, c = -5*l + 9838. Does 281 divide l?
True
Let i(h) = h + 1. Let u be i(-5). Let a be (27/u)/(33/(-704)). Let r = a - 19. Does 10 divide r?
False
Let o be 37/(-2)*(18 - 20). Suppose 0 = -9*s - o - 8. Is 3*43 - ((s - -5) + 3) a multiple of 18?
True
Let u(n) = 9*n**3 + 8*n**2 - 342 - 8*n**3 - 14*n + 336. Suppose 3*o - g + 24 = 2*g, -o = 3*g + 12. Is 39 a factor of u(o)?
True
Let r be (1319 + 2)*(4 - 9/3). Suppose 0 = 22*x - 1187 - r. Does 7 divide x?
False
Suppose 58*p - 111*p + 153753 = 0. Does 3 divide p?
True
Suppose 120295 = 28*f + 13335. Does 10 divide f?
True
Suppose 3*n = -2*y - 2, -3*n - n = 2*y. Suppose -6*z - n = -c - 4*z, 2*z = -4*c - 2. Is 21*1 + c + (-1)/(-1) a multiple of 4?
False
Let j be 1 + -5 + -2 + -11. Let x(c) = -c**2 - 16*c + 33. Let b be x(j). Let a = 16 + b. Is 8 a factor of a?
True
Let w = -7000 - -13988. Is w a multiple of 14?
False
Let m(l) = l**3 - 61*l**2 + 2*l + 94. Does 4 divide m(61)?
True
Suppose 5*z = 5*b + 15, 4*b - z - 3 = -21. Let x(w) = -5*w**3 - 17*w**2 + 4*w + 8. Is 7 a factor of x(b)?
False
Let x(k) = 28*k + 2. Let s be x(1). Suppose 18 + s = 8*n. Suppose n*v = v + 215. Is v a multiple of 4?
False
Suppose 68 = -5*b - 4*f, 3*b - 16 = 4*b + 2*f. Is 20 a factor of (306/(-12))/(9/b)?
False
Let l be 27 + 22 - (0 + (-2)/(-2)). Suppose 2*z = k - 66, -2*z = 3*k - 174 - l. Suppose -2*b - k = -5*b. Does 12 divide b?
True
Suppose -16 = 18*o - 20*o. Let f(l) = -l**2 + 11*l - 9. Let a be f(o). Let m = a + 104. Does 20 divide m?
False
Let k be (-4)/(-24) - (-93)/(-18). Let h be (k/(-2))/(-3 - (-6035)/2010). Suppose h = 3*m + 375. Is 15 a factor of m?
True
Let p(n) = 6*n**2 - 20*n + 226. Is p(-28) a multiple of 30?
True
Suppose -3*o = w + 5, 5*w + 0*w - 8 = -4*o. Let d be ((-6)/w)/(3/(-2) - -1). Suppose -d*y = 66 - 501. Is 31 a factor of y?
False
Let h(o) = o**2 + 10*o - 11. Let u be h(-11). Let z(v) = 3*v + u*v + v**2 + 0*v + 17 + 3. Does 12 divide z(-7)?
True
Suppose -5 = 28*t - 29*t. Suppose p - 792 = -4*b, 0 = 2*p - t*b - 548 - 1062. Is 20 a factor of p?
True
Suppose -4*o - 2*j = -10, 3*o + j + 0 = 10. Suppose o*b - 212 = 248. Is b a multiple of 8?
False
Suppose 272 = -2*x - 3*m, -x - 2*m = 2*m + 126. Let t = x + 376. Does 39 divide t?
True
Let i = 108 + -105. Suppose -33 = -r - 3*d, 0 = -i*r - 5*d - 16 + 119. Let j = 12 + r. Is j a multiple of 7?
False
Let l(w) = -w**2 + 97*w - 216. Is l(76) a multiple of 60?
True
Let a be (-183)/27 - 2/9. Suppose -3*x - 25 = -4*t, 2*t + 1 = -4*x - 3. Is 14 a factor of (-394)/a + (t - 90/21)?
True
Let s(u) = 2195*u**2 + 41*u + 38. Is s(-1) a multiple of 8?
True
Suppose -75799 = -4*i + 3*b, 0 = 123*i - 122*i - 3*b - 18943. Is 28 a factor of i?
False
Let l(h) be the second derivative of h**6/360 + h**5/24 + 3*h**4/4 