*2 - 217*p - 778. Does 34 divide l(-95)?
True
Let l = 337 + -399. Suppose -4*g - w = -0*w + 53, -3*w = -4*g - 33. Does 14 divide (-3)/((-9)/g) - l?
False
Suppose 2*d = -t - 2, 2*t - 2 + 3 = -d. Let g(u) = -u**2 + u - 2. Let w be g(t). Let x(p) = -127*p + 13. Is x(w) a multiple of 25?
False
Is (18/(-10))/(141/(-48175)) a multiple of 2?
False
Let m(o) = -5*o - 2. Let k be m(-6). Suppose -k = -t - 2*f, -3*t - 6*f + 2*f + 76 = 0. Suppose 4*s - t = 0, -5*g + 552 + 738 = -2*s. Is 20 a factor of g?
True
Suppose -77*g - 6745 + 76250 = -47843. Is g a multiple of 3?
True
Suppose -5*f - 11767 = -u, 24*u - 26*u + f + 23489 = 0. Is u a multiple of 6?
True
Suppose 3*o - o - 26 = 2*p, 50 = -4*p + 5*o. Let j(m) = -8*m + 150. Does 7 divide j(p)?
False
Let t = -75 - -105. Let x be ((-84)/t)/(-1 + (-48)/(-50)). Suppose -5*m + 215 = -x. Is 27 a factor of m?
False
Let x(c) = -c**3 - 8*c**2 - 3*c - 9. Let l be x(-8). Suppose -l*k + 10*k = -5*n - 305, 3*n + 240 = 4*k. Is 3 a factor of k?
True
Suppose 6 = n - 2. Suppose p = 5*i - 2*p - 13, -2*p = 5*i - n. Suppose -51 = -f - i*v, 3*v - 36 = 2*f - 117. Is f a multiple of 15?
True
Let t(a) = 3*a**2 - 2*a - 31. Suppose 5*s = k + 2*s - 302, -k = -s - 300. Suppose 279 - k = 5*x. Is 15 a factor of t(x)?
False
Let j(d) = -5*d**3 - 11*d**2 - 31*d - 34. Let v(q) = -3*q**3 - 5*q**2 - 15*q - 18. Let x(f) = 4*j(f) - 7*v(f). Is 2 a factor of x(11)?
False
Let f be (-340)/55 - 0 - (-6)/33. Let z(q) = -22*q + 64. Is 16 a factor of z(f)?
False
Suppose 0 = f + 3*j - 2790, 3*f + 2*j - 8375 = -2*j. Is f a multiple of 4?
False
Let g(a) = a**2 + 25*a + 4. Let d be g(-10). Is 10 a factor of 5*(4 - 8 - d)?
True
Let d(m) = -2*m**2 + 108*m + 52. Is d(6) a multiple of 41?
False
Let g(x) = -47*x - 157. Let v(y) = y**2 + 21*y - 42. Let w be v(-22). Is 62 a factor of g(w)?
False
Is 10 a factor of (-16614)/(-24) + (-4)/16 - 8?
False
Does 10 divide 1*(-12)/(-14) + 874406/1183?
True
Suppose -51493 - 108437 = -10*j. Is j a multiple of 77?
False
Suppose -4*l - 3*y + 16 = 0, -3*y + 13 = -3*l + 4*l. Let j(a) = -9 + 3 - 5*a - 5 - l. Does 3 divide j(-6)?
True
Suppose 5*r - 72*k - 15291 = -76*k, 0 = -3*k - 18. Is r a multiple of 7?
False
Let q(a) = a**3 - 4*a**2 + 5. Let x be q(4). Suppose -j + 1301 = x*i, 6*j - 11*j - 20 = 0. Is i a multiple of 9?
True
Let q = 305 + -296. Suppose 7*g - q*g = -376. Is g a multiple of 2?
True
Suppose 28*u + 45638 = 66*u. Is 7 a factor of u?
False
Is 3 a factor of 27550133/6669 - (-2)/(-27)?
True
Suppose 4*s - 14 = 2. Let u = 729 - 717. Suppose -4*q + s = -5*v - 62, q = -v + u. Is q even?
True
Let q(b) = 6*b + 23. Let j be q(-2). Suppose j*x - 180 = 2*x. Is 3 a factor of x?
False
Let s(t) be the third derivative of -t**6/360 - t**5/40 + 11*t**4/6 - 4*t**3/3 + 25*t**2. Let a(f) be the first derivative of s(f). Is 3 a factor of a(0)?
False
Suppose -4*k + 1407 = 3*o - 1889, -k = -o + 1108. Suppose -1099*y - 1320 = -o*y. Is y a multiple of 66?
True
Let q be 11/(-66) + 1/6. Suppose 2*c + 4*b + q = 8, -c + 20 = -2*b. Let y(v) = v**3 - 11*v**2 - 8*v - 3. Does 15 divide y(c)?
True
Let d(x) = 6*x**2 - x - 1. Let j be d(8). Let r = j - 185. Suppose -4*n + 5*u + 189 = 0, u - r = -5*n - 2*u. Does 8 divide n?
False
Suppose 0 = 3*u - 3*h + 216, -2*u + 4*h + h - 159 = 0. Let f = 112 + u. Suppose -4*p - 5*w + f = -2*p, 2*w = -4*p + 114. Is p a multiple of 30?
True
Suppose -x - 2*x = -3*t - 531, 2*x - 5*t = 360. Let p(h) = h**3 - 11*h**2 + 12*h - 6. Let q be p(4). Let j = x + q. Does 10 divide j?
False
Suppose 2*k - 3 = 1. Suppose -z - k*z - 3 = 3*s, 5*z + 15 = 0. Is 30 a factor of ((-40)/30)/(s/(-45))?
True
Suppose 11*k = 17*k - 54. Suppose -15*l = k*l - 1920. Is l a multiple of 4?
True
Let r be ((-38)/3)/((-10)/(-24))*-10. Let u = r + -448. Does 15 divide 5/(-2 - -146*(-2)/u)?
True
Suppose -4*v = 5*h - 4216, 48*h - v = 49*h - 844. Is 35 a factor of h?
True
Let a be (-1077)/15 + (8/(-10))/(-1). Let y = -64 - a. Suppose 992 - 292 = y*k. Is k a multiple of 10?
True
Let v be 100/(-25)*(-3 + 1). Suppose 12*s = v*s + 2*h + 1072, 1342 = 5*s - 3*h. Is s a multiple of 19?
True
Let k(u) = u**3 - 4*u**2 - 20*u + 2. Let l be k(12). Suppose -391 - l = -9*g. Is g a multiple of 18?
False
Let r(v) = -v**3 + 4*v**2 + 7*v - 10. Let g be r(5). Suppose -a + 4*o - 2 + 14 = g, -o = 4. Is ((-2)/a*1)/(2/116) a multiple of 7?
False
Let c(m) = m**2 + 13*m - 27. Let u be c(-15). Suppose -3*l - 4*w = 2*l - 637, u*l = 5*w + 397. Is l a multiple of 2?
False
Let d(i) = i**2 - 5*i - 2. Let g(x) = 14*x + 25. Let f be g(-6). Let c = f + 57. Is 4 a factor of d(c)?
True
Let n be -3 - ((-8)/(-36) - (-47)/(-9)). Suppose -5*t - 5*m + 2680 = 0, 0*t - n*t = 5*m - 1066. Is 50 a factor of t?
False
Let l = -13888 + 17401. Is l a multiple of 26?
False
Suppose -19277 - 28599 = -56*l + 22684. Is l a multiple of 45?
True
Let s = -10 - 5. Let w be (12/(-30))/(3/s). Is ((-184)/(-10))/(w/10) a multiple of 25?
False
Let u(i) = -20 - 10*i**2 + 1593*i**3 - 9*i + 22*i - 1592*i**3. Let n be u(9). Suppose n*l - 1333 = 27. Is 8 a factor of l?
False
Let b(r) = r**3 + 7*r**2 + 9*r + 21. Let d be b(-5). Suppose -36*p + d*p = -1540. Is p a multiple of 20?
False
Suppose 0 = 5*l + 2*r - 102428, 0*r + 2*r - 20476 = -l. Is 7 a factor of l?
False
Let c be (491/(-5))/((-84)/(-420)). Let h = c + 646. Is 5 a factor of h?
True
Is 25 a factor of (-6205)/2482*5*(-1 - 129)?
True
Let c(h) = 130*h + 22*h + 4 + 113*h - 45*h. Does 56 divide c(1)?
True
Suppose 2255 = 14409*j - 14398*j. Is j a multiple of 3?
False
Suppose -3*r + 13356 = -3*a, -31*a + 32*a - 8910 = -2*r. Does 131 divide r?
True
Is (-1 + 1)/3 - (-321 - 1065) a multiple of 5?
False
Suppose -5*r = -3*u + 65106, -3*u + 2*r = -0*r - 65124. Is u a multiple of 59?
True
Let t(u) = -u**2 + 2*u + 3. Let h be t(0). Let v be ((-6)/1)/(h - 189/56). Let n = 6 + v. Is n a multiple of 11?
True
Suppose 0 = -u - 7 + 8. Suppose 2*f + 1 = -5*q - 0*q, -q = u. Suppose -114 + 348 = 4*v + 3*g, 116 = f*v + 2*g. Is v a multiple of 12?
True
Is (4214/21 - 4)/(-5 + (-662)/(-132)) a multiple of 4?
True
Let r(o) = -5*o**3 - 5*o**2 - 4*o. Let m be r(-2). Let v = 33 - m. Is 3 a factor of (154/(-55))/((-1)/v)?
False
Let z be (-2)/(-8) - ((-723)/4 - -1). Is 1644/z + 4/(-30) a multiple of 9?
True
Let i(f) = 506*f**3 - 2*f**2 + 50*f - 47. Is 39 a factor of i(1)?
True
Let c be 5*(4 + -5)*(0 - 1). Suppose -7*p + c*p + 5*h = -921, 0 = 3*h + 9. Is 14 a factor of p?
False
Let i be (-8)/(((-6)/(-45))/(4/6)). Let a = i - -66. Does 5 divide a?
False
Suppose -934897 = -24*r + 333071. Does 13 divide r?
True
Let r = 4634 + -474. Does 28 divide r?
False
Let u(m) = m**2 - 9*m - 4. Let y be u(10). Suppose 6 = -3*g, y*w - g = 2*w + 10. Is w/((-1)/162*-3) a multiple of 18?
True
Let c be (-4 - (-3630)/(-9))/((-4)/6). Suppose c + 69 = 2*s. Does 20 divide s?
True
Is 7 a factor of 492*(-57)/(-15) + (-288)/480?
True
Suppose -8*z + 37145 = 5865. Is 12 a factor of z?
False
Let s(k) = -k**3 + 30*k**2 - 4*k + 443. Is 23 a factor of s(25)?
False
Let o be -1 - ((-11)/2 + (-24)/(-16)). Suppose -4*a + 328 = o*t, 4*a + t - 171 = 149. Is a a multiple of 19?
False
Suppose 0*f - 45 = -4*u + 5*f, 2*f = -u + 8. Let g be (u/4)/(4/120). Let m = g + -18. Does 8 divide m?
False
Suppose -17 + 1621 = 2*q. Let h = q + -232. Does 30 divide h?
True
Suppose 5*u + 0*h = 5*h + 8755, -8725 = -5*u - 5*h. Suppose 29*i + u = 7461. Is i a multiple of 13?
False
Suppose 10037 = -55*z - 20598. Let a be (-3)/1*1 - 1. Is 35 a factor of (-3)/a - 2/8*z?
True
Let c(f) = 10*f - 29. Let z be c(6). Suppose -5*r = -4*r - z. Suppose 160 = -29*n + r*n. Is 11 a factor of n?
False
Let o be ((-10)/(-4))/((-5)/10). Let y = o - -8. Suppose 0 = -y*s - 3*k + 33, 5*s - 2*k + 21 = 97. Is s a multiple of 6?
False
Is 1 - (19722/12)/(8/(-16)) a multiple of 6?
True
Let x = -4100 + 4061. Suppose 3*m = 4*d - 72 - 139, 5*d + 4*m = 225. Let c = d + x. Does 5 divide c?
True
Let i = 19042 + 6214. Is 30 a factor of i?
False
Let k be (-3 - -21)*(34/(-6) + 6). Let z(y) = 158*y - 156. Does 12 divide z(k)?
True
Is 16 a factor of 1*((-468)/(-84) + -5) - (-23852)/7?
True
Let a(z) = 514*z + 704. Does 14 divide a(15)?
True
Let p = 658 + -411. Suppose p = 4*j - 701. Is 70 a factor of j?
False
Let i be (1 + 3)/(-4 + 6). Let n(u) = 2*u**2 + u**3 + 0 - 3 + 5*u + 0*u**i + u**3. Doe