 be h(8). Is 29 a factor of (-16)/m + (-5022)/(-33)?
False
Let n(y) = y**3 - y**2 + 3*y - 20. Let q be n(6). Suppose q*i = 174*i + 2072. Is i a multiple of 14?
True
Suppose 92*q = 93*q - 4. Suppose 0 = q*f + 5*i - 670, -995 = -5*f + 3*i - 176. Is f a multiple of 11?
True
Let j be 1 - ((-6)/15 - (-52)/(-20)). Suppose 0 = g - j, k + 5*g - 22 = 1. Suppose -3*l = 3*b - 45, -79 = -10*l + 5*l - k*b. Is 15 a factor of l?
False
Suppose 4*b + 14 = 2*g, -4*g - 2*b = 3*b - 2. Is 14 a factor of g - -202*5/2?
False
Let y(o) = o**3 - 3*o**2 + 5*o - 60. Is y(6) a multiple of 26?
True
Suppose 68*i = -5*d + 66*i + 23348, -4678 = -d + i. Is d a multiple of 2?
True
Let s = 81 + 3788. Is 137 a factor of s?
False
Is 78 a factor of (-10 + (-10 - -19))/((-3)/21177)?
False
Is 14 a factor of 0 + -3 - ((-28)/12)/((-46)/(-82386))?
False
Suppose -57*c + 380896 = 22250 - 334474. Is 55 a factor of c?
False
Suppose -4*f = 2*o + 604, o = 2*f - 388 + 82. Let i = o + 527. Let t = i - 111. Is 16 a factor of t?
True
Let f be 378/45 - 8 - (-4)/(-10). Is (-14)/(-21)*(f - 69/(-2)) a multiple of 2?
False
Suppose -35352 = -200*v - 28*v + 535788. Is 59 a factor of v?
False
Let c(o) = -o + 49. Let a be c(27). Let i be (-985)/(-2) + -1 + a/44. Let l = i + -319. Is l a multiple of 34?
False
Suppose -126 = -3*t - 33. Suppose 3*v = 5*r - 0*r + 34, 2*v = 5*r + t. Suppose -25 = -5*h - f, -v*h = h - 2*f - 6. Does 2 divide h?
True
Let q be (8/(-6))/(7/756). Let w be (23/(-3) - -1)*q. Suppose 3*u - w = -9*u. Is u a multiple of 40?
True
Let i(j) = j**3 - 8*j**2 + 10*j - 16. Let m be i(7). Suppose -265 - 70 = -m*f. Let t = f - 17. Does 10 divide t?
True
Let k be ((-24)/56)/(2 + (-86)/42). Let f(w) = w**3 + 7*w**2 - 21*w + 92. Does 25 divide f(k)?
False
Let k(r) = 2 - 3 + 6*r + 3 + 5. Let i be k(-1). Does 12 divide 1852/14 + i - 6/21?
False
Let o(r) = 8*r + 0 - 23 + 1. Suppose 5*i = -70*i + 750. Is o(i) a multiple of 29?
True
Let n(t) = -7*t - 9. Let b be n(-2). Suppose 0 = 5*q - 10, -7*x + 2*x + b*q - 80 = 0. Is 7 - 9471/(-49) - (-4)/x a multiple of 24?
False
Let w(l) = 23*l - 122. Let c be (-2 - 1) + 100/(-4)*-1. Is 14 a factor of w(c)?
False
Suppose -2225*b + 539222 = -2172*b. Is b a multiple of 12?
False
Let m be -1 + 1 - (0 + 4). Let c be m/(-3) - (-9984)/72. Let a = c - 67. Is a a multiple of 5?
False
Suppose 6966*b - 6969*b + 53130 = 0. Does 30 divide b?
False
Suppose -38*h = 49*h - 653724 + 133116. Does 8 divide h?
True
Suppose 0 = 2*u + 12, 2*u - 6918 = 6*r - 7*r. Is 9 a factor of r?
True
Suppose 22*i - 4 = 26*i. Let q(v) = -43*v**3 + 3*v**2 + 2*v. Is 15 a factor of q(i)?
False
Let w = 17677 + -6677. Is 50 a factor of w?
True
Let a = 232 + -214. Suppose 8*k + 2*c + 1828 = 4*k, 2*k + 5*c + 898 = 0. Is (16/(-6))/(a/k) a multiple of 11?
False
Suppose -238*k + 35 = -243*k. Does 3 divide 1 - 42/k*22/6?
False
Let k be (-6)/12 + (-5 - 111/6). Does 15 divide k/(-15)*(-14 - -164)?
True
Let w(h) = 3*h - 6. Let f be w(0). Let s(b) = -b**3 - 6*b**2 + 6*b + 15. Let y be s(f). Let v(z) = -z**3 - 20*z**2 + 17*z + 34. Does 23 divide v(y)?
False
Let f(b) = -8*b**2 - 12*b**2 - 50*b + 24*b**2 + 72. Is f(14) a multiple of 39?
True
Suppose 3*r = 2*r + 20. Let s = r - 10. Suppose -j + s + 8 = 0. Is j a multiple of 9?
True
Suppose -10*s - 900 = -6*s. Let n = -133 - s. Is 4 a factor of n?
True
Suppose 292 - 299 = -a. Suppose -6120 = -23*d - a*d. Is d a multiple of 6?
True
Let p = 18 + -13. Suppose 5*z - 30 = -5*q, 5*q + 0*q = -z + 14. Suppose -p*y + 160 = 2*h, -4*y + z*h + 41 = -59. Is y a multiple of 5?
True
Let o be 2 - -17 - (3 - (-4 + 5)). Is 15 a factor of (-6840)/(-340) - 2/o?
False
Suppose -12*u + 8126 + 4618 = 0. Suppose -4*b + 1902 = -u. Does 30 divide b?
False
Let i = -4576 + 5376. Is 5 a factor of i?
True
Let y(t) = t**2 - 6*t + 7. Let x be y(4). Let o be 1/(-3) - (x + 19/(-3)). Suppose 0 = -o*s + 6*s + 286. Is s a multiple of 50?
False
Is 6 a factor of (-23)/(-69)*(-14055)/(-5)?
False
Let z = -672 + 1563. Is z a multiple of 2?
False
Let j(r) = -r**3 - 23*r**2 + 4*r + 20. Let s be j(-23). Is ((-38)/4 - 1)/(6/s) a multiple of 6?
True
Suppose -14*b = 387 - 443. Suppose 0 = -5*j - 5*n + 5425, 3215 = 3*j - n - b*n. Is 40 a factor of j?
True
Suppose 3*j - 43494 = 40*g - 39*g, 5*j - 72489 = 2*g. Is j a multiple of 18?
False
Let i(s) = 5*s + 1. Let b be i(1). Let l be (492/738)/((-1)/(-3)). Is 13 a factor of b/(l*3/16) - 0?
False
Is -1 + 3979 + (-1)/(8/16) a multiple of 8?
True
Let m(i) be the second derivative of 5/6*i**3 + 13/12*i**4 + 0 - 19/2*i**2 - 11*i - 1/20*i**5. Is m(13) a multiple of 23?
True
Let o = 9734 - 5189. Is o a multiple of 5?
True
Does 12 divide 74322/6 - ((-36)/198 + (-291)/33)?
True
Let t = 815 - 807. Suppose 3*i - 3*z - 282 = 0, -4*z - 384 = -4*i - t*z. Does 7 divide i?
False
Suppose -686 = -2*j + 2*c, 5*j = 7*j + 3*c - 691. Is j a multiple of 8?
True
Suppose 2*s - y - 9 = 0, -3*s = 2*y - 3*y - 11. Suppose 3*c - 76 = s*c. Suppose -3*g + 3*o = -330, -3*g + 262 = 5*o - c. Is 17 a factor of g?
False
Let o(j) = j**3 + 113*j**2 - 68*j - 2968. Is o(-112) a multiple of 7?
True
Suppose -s + 38891 = 4*m - 7596, -23247 = -2*m + 3*s. Does 29 divide m?
False
Let d(l) = 167*l - 395. Does 63 divide d(18)?
False
Let k(n) = -13*n**2 + n. Let b be k(-1). Let i be ((-26)/5)/(b/140). Let l = i - -84. Does 32 divide l?
False
Suppose 0 = 27*v + 25*v - 995280. Is 17 a factor of v?
False
Let v(d) = -18*d - 43*d - 32*d + 32. Is v(-5) a multiple of 39?
False
Let f be 667/161 + 1/(-7). Suppose s + 38 = 4*q, -f*q + 7*s + 46 = 2*s. Let l = -3 + q. Is l even?
True
Let l(w) = -w**3 + 11*w**2 + 29*w + 5. Let v be l(-6). Suppose 4*f = -3*k + v, 0 = 3*f + k + 3*k - 334. Is f a multiple of 2?
True
Suppose -3*m + 11 = 4*p - 6, 4*p + m - 11 = 0. Let o = p + -67. Let a = o + 151. Is 8 a factor of a?
False
Suppose 0 = 5*b - 2*h - 12931, 11*h - 7*h - 10328 = -4*b. Is b a multiple of 52?
False
Suppose 0 = -0*p + 7*p - 14. Suppose -d = -8*d + 21. Suppose 0 = -d*l + p*l + 162. Does 18 divide l?
True
Let l = 3715 + -3485. Is l a multiple of 4?
False
Suppose 0 = -5*l + 4 - 29. Let t(h) = -3*h - 12. Let y be t(l). Suppose y*j - j + w - 111 = 0, -j - 3*w + 53 = 0. Is 8 a factor of j?
True
Let y(w) = -203*w - 132. Let q be y(-4). Suppose 0 = 4*j - 4*k - q, 5*j - 9*j - 2*k = -668. Is j a multiple of 56?
True
Let q be 4/(-6)*3*2*2. Is 44 a factor of (37 + 7)/((-1)/q - 0)?
True
Let l(z) = -11*z + 2848. Is 43 a factor of l(-14)?
False
Suppose 35 - 119 = 3*j. Suppose 0 = 3*w - w - 106. Let h = j + w. Is h a multiple of 5?
True
Let t(k) = 161*k**3 + 13*k**2 - k - 35. Is 157 a factor of t(5)?
True
Suppose v = -4*w - 330, w - 72 = 2*w - 5*v. Let o = 82 + w. Suppose o = -z + 2*z - 29. Does 5 divide z?
False
Let h be (1358/56)/(13/12 - 1). Suppose -3*u + 6*u - h = 0. Is 7 a factor of u?
False
Does 34 divide ((-480)/45 + 10)*(-5814 + 0)?
True
Suppose -620 = -5*i + 4*l, 4*i = 29*l - 26*l + 496. Does 2 divide 2/(-4) - (-17298)/i?
False
Suppose -v - 68 = -2*v. Let x = -65 + v. Suppose x*k + 179 - 881 = 0. Does 39 divide k?
True
Let k(r) = -r**3 - 3*r**2 - 2*r + 4. Let f be k(-7). Suppose -g = -0*g - 7. Does 4 divide 9/21 + f/g?
False
Suppose -104 = -4*a - 2*z, -124 + 26 = -4*a + z. Suppose 5*x + t = -t - a, -4*t = x + 23. Is 0/x + (12 - -4) a multiple of 3?
False
Let a = 388 - 382. Does 15 divide -1 + 2/a - (-33033)/99?
False
Let o(l) = 391*l**2 - 32*l + 1. Does 12 divide o(-5)?
True
Suppose 4*q = -2*n - 13 - 19, 0 = -3*n - 4*q - 40. Let s be (-4 + (-36)/n)*0. Suppose s = 2*k + 3*k - 400. Is k a multiple of 18?
False
Let y be (351/18)/((-2)/432*-4). Suppose -3*c - g = -y + 18, 2*g = -6. Is c a multiple of 18?
False
Let d(p) = -63*p + 14. Let x be (-2 - -7)*20/(-25). Let z be d(x). Suppose 5*q - z = 434. Is q a multiple of 14?
True
Let s(x) = x**2 - 8*x - 149. Let w be s(17). Is 87/((-148)/520 + w/10) a multiple of 26?
True
Let n(r) = r**3 + 26*r**2 + 21*r + 51. Let h be n(-25). Let i = h - 52. Is 14 a factor of i?
False
Let b(t) = -76*t + 59. Let k(w) = 73*w - 59. Let u(g) = -6*b(g) - 5*k(g). Is u(10) a multiple of 25?
False
Suppose k - 3*u + 0*u = 548, -u + 2257 = 4*k. Suppose -1837 = 5*d + k. Is 30 a factor of ((-2)/4)/(2/d)?
True
Suppose -117*m = -109*m - 400. Suppose -51*v + 206 = -m*v. Is v a multiple of 24?
False
Let q be 1 + (7 - 3) +