*2 + 2*z - 31. Let a be f(22). Let g be (a - -3)/(-4) - 40/(-4). Does 11 divide ((-88)/(-12))/(2/g)?
True
Let d = -103 - -105. Suppose 2*b = d*l + b - 349, 5*l + b = 890. Let s = l - 105. Is s a multiple of 6?
True
Let b be (-6)/12*(-3 + -1)*-1. Does 18 divide ((-246)/(-15) + b)*(-120)/(-9)?
False
Let w(l) = 13*l + 19. Let v = -1 + 24. Let k = v - 17. Is 10 a factor of w(k)?
False
Suppose 4*m = -3*m + 119. Let k = 15 - m. Is -1 + 9/k*136/(-6) a multiple of 25?
False
Let f(y) = 5*y**2 + 201*y + 454. Does 14 divide f(-60)?
False
Let z(j) = 45*j**2 - 67*j + 700. Is z(10) a multiple of 10?
True
Let b be (-20)/(-6)*(-30)/(-20). Suppose 0 = -b*x + 4*x. Suppose 2*t - 24 = -x*t. Does 6 divide t?
True
Suppose 47 = 5*g - 3*x, -6*x + 2*x - 16 = -2*g. Suppose 3*c - g*c + 840 = 0. Is 6*3/27*c a multiple of 23?
False
Let u be (2 - -4) + -3 + 3*-9. Let g = u - -29. Let d(j) = j**2 - 6*j + 34. Does 6 divide d(g)?
False
Suppose 7*x = -32*x + 126360. Let p = x - 2135. Is p a multiple of 85?
True
Suppose 0 = 16*i + 140 - 2716. Let y = 860 - i. Suppose 939 = 6*l - y. Is 43 a factor of l?
False
Let a = -364 - -380. Suppose y - a = -2*g, 37 = 2*g + 3*y + 25. Is 3 a factor of g?
True
Suppose 4*t - 320*d - 85276 = -324*d, -85255 = -4*t - d. Is 16 a factor of t?
True
Let l(q) = 10*q - 30. Let t(f) = 4*f + 73. Let m be t(-17). Is 5 a factor of l(m)?
True
Let l = -31 + -26. Let g = 221 + l. Is 0 + -1 + (g - 5) + -2 a multiple of 39?
True
Let t be 60/14 - 4/14. Let m(d) = d + d + t*d**2 - 6*d - 18. Does 30 divide m(-4)?
False
Let c = 861 - 465. Suppose -c = -3*n - y, -4*n + 0*n = -y - 535. Is 7 a factor of n?
True
Let d = -681 - -675. Does 6 divide 972/45*(-45)/d?
True
Let r(c) = c**3 - 7*c**2 + 11*c - 8. Let a(p) = p - 11. Let s(y) = -y + 10. Let l(x) = 5*a(x) + 6*s(x). Let w be l(-1). Is 3 a factor of r(w)?
False
Suppose 279 - 4804 = -58*p + 70643. Is p a multiple of 48?
True
Suppose -2*k = -777 - 737. Suppose 25*n + 5*a - 187 = 24*n, 0 = -n + 2*a + 187. Suppose 3*d = -n + k. Is d a multiple of 15?
False
Let o be 7 - ((6 - 10) + 9). Suppose f - 64 = 4*v, f + o*v - 342 = -4*f. Does 7 divide f?
False
Let d = -84 + 84. Suppose -5*g - 2*h + d*h + 2816 = 0, -3*g - 4*h + 1684 = 0. Is 12 a factor of g?
True
Suppose 5*g = -2*j + 32404, -4*j = 44*g - 49*g + 32392. Is 30 a factor of g?
True
Let x(g) = 40*g**2 - 12*g - 36. Let l be x(-4). Let u = l - 333. Is 29 a factor of u?
True
Suppose 21*p - 48 = 9*p. Suppose -90 = -3*q - q + 2*l, -p*q - l = -75. Is q a multiple of 4?
True
Let t(l) = 15*l**2 + l - 6. Suppose -25*p = -14*p - 44. Is t(p) a multiple of 17?
True
Let p(o) = o**3 + 3*o**2 - 5*o - 1. Let z be p(-4). Suppose 4*n = -1131 + 3063. Suppose 5*k - 2*k = -4*j + n, 0 = -j - z*k + 123. Does 24 divide j?
True
Let c = 490 + -364. Is c/(63/(-28) + 3) a multiple of 8?
True
Suppose -2*v + v - 3*q + 15502 = 0, 0 = -3*v + q + 46486. Is 13 a factor of v?
True
Suppose -13*f + 68193 + 210943 = 0. Does 11 divide f?
True
Does 17 divide (148 - 80)/(10/2195)?
True
Let u = -505 - -784. Is 50 a factor of (4 + u/(-36))*(-162 - -2)?
True
Suppose -d - 26 + 71 = 0. Let m be (42/d)/7 - (-112)/60. Suppose 3*f = -m*o - 2*f + 94, 8 = -2*f. Is o a multiple of 5?
False
Let j(w) = 2*w**3 - w**2 + 4*w + 6. Let b be j(-2). Is 21 a factor of (-1 - b)*5*1?
True
Let g(c) be the second derivative of 3*c**5/40 - 29*c**4/24 - 8*c**3/3 - 30*c. Let q(v) be the second derivative of g(v). Is 5 a factor of q(11)?
True
Let f(x) be the first derivative of -11*x**7/210 - x**6/360 + x**4/24 + 3*x**3 - 18. Let z(h) be the third derivative of f(h). Is 14 a factor of z(-1)?
False
Let n(r) be the first derivative of 2*r**3/3 + 5*r**2 + 124. Is 12 a factor of n(7)?
True
Suppose -4*z - 695 = 629. Let f be -1 - z - 16/(-16). Suppose -4*a + 9*a - 547 = 3*i, 3*a = -i + f. Is 22 a factor of a?
True
Is 1*11709 - ((13 - -8) + -30) a multiple of 18?
True
Is (-3122)/(-3) + ((-10 - -8) + -2)/6 a multiple of 4?
True
Let l(g) = 2*g**2 + 31*g - 2. Let u be l(-16). Suppose 17*k - 288 = u*k. Is k a multiple of 6?
True
Suppose 0 = 8*i + 25*i + 297. Let s(r) = r**3 + 14*r**2 + 8*r - 27. Does 34 divide s(i)?
True
Let i = 522 - -4. Let h = i + -453. Is h a multiple of 17?
False
Let q(b) = -6*b**2 + 1. Let x be q(-4). Let w = x + 68. Let z = w + 44. Is 17 a factor of z?
True
Suppose 66*z = 68*z - 1448. Let d = -383 + z. Is d a multiple of 16?
False
Does 78 divide (1345 + -4)/(2/6)?
False
Suppose -48 = -5*y - 38. Let c be (y + (-4 - -14))/(-1). Does 19 divide ((-57)/(-4))/(c/(-64))?
True
Suppose y - 5*y = -2*j + 2, 4*j - 14 = 3*y. Suppose -2*a = y*a - 24. Suppose 8*b = a*b + 102. Does 37 divide b?
False
Suppose 4*c + 262 = 2*d, -3*d = -0*c - 3*c - 195. Let z = -42 - c. Suppose 29*x - 10 = z*x. Is x even?
True
Is 105 a factor of ((-35147910)/(-3496))/((-1)/28 - (-6)/21)?
True
Let c(p) be the second derivative of 0 + 19/6*p**3 + 18*p + 10*p**2. Is 17 a factor of c(5)?
False
Let m be (4/(-12))/(6/(-774) - 0). Suppose -k = -201 + 5. Suppose -m = 3*v - k. Does 17 divide v?
True
Suppose -255*f = -173*f - 410574. Is f a multiple of 17?
False
Suppose r - 7 = 0, 0 = -7*u - r + 3*r + 91042. Is 16 a factor of u?
True
Let t = 295 - 295. Suppose t = -k - 2*c + 4*c + 221, 3*k - 5*c = 663. Does 22 divide k?
False
Let c(a) = a**3 + 6*a**2 + 10*a + 44. Let r be c(-6). Let o = -6 - 3. Let d = o - r. Is d a multiple of 2?
False
Let t(j) = j**2 + 14*j + 38. Let n be (-22*(-6)/(-24))/(2/4). Let u be t(n). Does 9 divide -60*((4 - u) + -1)?
False
Suppose -12*z + 14*z + a - 20 = 0, 5*z = -2*a + 49. Let w(j) = -j**2 + 10*j + 4. Is 13 a factor of w(z)?
True
Let v(p) = -784*p**2 - 2*p - 2. Let z be v(-1). Let w = z + 1186. Does 67 divide w?
True
Does 21 divide 24/10*15190/248?
True
Suppose -12 = -2*r + 12. Suppose 3*b - r*b = -54. Suppose i + 5*k + 11 = 4*i, 0 = -3*k + b. Does 3 divide i?
False
Let h(p) = 9*p. Suppose -422 + 58 = -13*y. Suppose 4*n - 35 = q, 4*n + n = -4*q + y. Is 18 a factor of h(n)?
True
Does 12 divide -6*(12/(-40) - (-3081013)/(-390))?
False
Suppose 5*y = 3*s - 955, -5*s - y + 643 = -902. Suppose 4*b = s + 846. Is 17 a factor of b?
True
Let a be (-12)/(-9) - (-136)/6. Suppose -p - 34 = 5*x, -5*p + a = -4*x - 9. Does 27 divide x/(14/57)*-2?
False
Let s(t) = -t**3 + 18*t**2 + 25*t + 21. Let d be s(18). Suppose 0*f = 11*f - 55. Suppose -2*p - f*v - d = -4*p, 447 = 2*p + 3*v. Is 19 a factor of p?
True
Let x = 184 - -95. Let i = -180 + x. Does 7 divide i?
False
Let k = 153 - 39. Suppose 1 = -2*c + 3, -3*n - 206 = 4*c. Let p = k + n. Is 11 a factor of p?
True
Let i be 0 + (46/(-138) - (-121)/3). Is (4944/64)/(6/i) - -3 a multiple of 14?
True
Suppose -2*n - 2*l = -18038, -80*n - 18036 = -82*n - 4*l. Is n a multiple of 8?
False
Let u(t) = -602*t**3 - 3*t**2 + 18*t + 33. Is 9 a factor of u(-2)?
False
Suppose 15177 = 3*n + 3*d, 25 = 3*d + 10. Is 74 a factor of n?
False
Let j(f) = -f - 3. Let v be j(-7). Suppose -3*n + 3 = 3*z, 0 = -v*z - 2*n + 6. Suppose i + 4*x = 40, 0 = -4*i + z*x + 76 + 66. Does 12 divide i?
True
Let z(d) = 340*d**2 + 8*d - 8. Let h(o) = -o**2 - 8*o + 10. Let w be h(-9). Is 34 a factor of z(w)?
True
Suppose -5*c + 5*m - 6*m + 66573 = 0, -2*c = 2*m - 26642. Does 22 divide c?
False
Let f be (3 - 2 - 28)/((-1)/126). Suppose 20458 - f = 41*u. Is u a multiple of 26?
True
Let h = 17917 - 11606. Does 6 divide h?
False
Is 9 a factor of ((-777)/(-518))/(1/((-16)/(-6))) - -21263?
True
Suppose -41*h = -24651 - 60875. Does 14 divide h?
True
Suppose -607 = -h - h - a, 5*a = 2*h - 601. Let b = -98 + h. Is 41 a factor of b?
True
Suppose -54 - 613 = -23*x. Does 11 divide (-9)/(-5)*(x + 26)?
True
Suppose 3*x - 40 = -5*c, 4*c - x - 5 - 10 = 0. Suppose -229 = -4*m + s, -2*m - c*s + 2 = -107. Is m a multiple of 20?
False
Let d(z) = -7*z**3 - z**2 - 7*z - 7. Let f be d(-2). Let i = f + -59. Suppose -4*x = -5*a + 316, 0 = -a - 4*x + 44 - i. Is a a multiple of 12?
True
Let m = 25132 + -11888. Does 77 divide m?
True
Does 13 divide (1656/216)/(1/627)?
False
Let n be 30 + -6 + 3 - (2 - -1). Let i be n/20*15/6. Suppose u + t = 73, i*u + u = 2*t + 322. Is 26 a factor of u?
True
Let x(l) be the second derivative of 0 + 10*l + 1/3*l**3 - 4*l**2. Does 14 divide x(11)?
True
Let h be (4 - 5)/((-4)/2076). Let g = -221 + h. Is g a multiple of 13?
False
Suppose 3*a = 34*y