(k) = -2*k + 4. Let w be z(-20). Suppose -3*d = 3*j - 231, -w*d = -49*d + 4*j + 340. Does 6 divide d?
True
Suppose 106 = 9*f - 47. Suppose 50 = f*d - 7*d. Suppose 3*g - 22 = -5*u + 393, d*u - 425 = -5*g. Is 8 a factor of u?
True
Let o = -135 + 135. Suppose p = 2*c - o*p - 473, p = 3. Is 17 a factor of c?
True
Let u be (2 + -1)*1*-1. Let a(d) = -33*d + 99. Let m be a(4). Let p = u - m. Is 16 a factor of p?
True
Let w(r) be the second derivative of r**3/3 + 8*r**2 + 19*r. Let h be w(-7). Is 2 a factor of 175/5 + (-2 - h/1)?
False
Let z = -4 + 2930. Is z a multiple of 154?
True
Is 26 a factor of 1 + (-60390)/((-60)/10)?
False
Let l(t) = 423*t - 2696. Does 86 divide l(8)?
True
Let b(q) = -2*q**2 - 13*q - 15. Let g be b(-6). Let s(u) = -15*u + 32. Let l be s(g). Let o = l - 86. Does 20 divide o?
False
Let i(u) = u**2 + 11*u + 25. Suppose -7*f + 701 = 64. Suppose 0*a - 7*a - f = 0. Is 17 a factor of i(a)?
True
Let p(x) = 32*x**3 - 2*x - 1. Let q be p(-1). Let g = q + 26. Let f(z) = -z**3 - 4*z**2 - z + 2. Is f(g) a multiple of 11?
False
Let u(f) = f**3 - f - 1. Let d be u(2). Suppose d*l - 2*l = 45. Is 22 a factor of (-996)/(-15) + (-6)/l?
True
Let o = 82 - 64. Let c(d) = -7*d**2 - o*d - 9*d + 12 + 3*d + d**3. Does 19 divide c(10)?
False
Let d(j) = j + 15. Let b be d(-14). Let y be ((-12)/16)/(3/(-12)) - b. Is 26 a factor of ((-436)/(-8) - -2)*y?
False
Is 20 a factor of (17 - -11108) + 8 + (-2)/(-2)?
False
Let s(p) = 5*p**3 + 15*p**2 - 26*p + 154. Does 94 divide s(14)?
True
Suppose -11 = 4*b + 109. Suppose -102 = -0*l - 3*l. Let m = b + l. Does 2 divide m?
True
Suppose 4*m - 66 = -2*h, -10*h + 107 = -6*h + 3*m. Suppose h*n - 21*n - 184 = 0. Is 23 a factor of n?
True
Let o(i) = -i**3 + 55*i - 16. Is o(-17) a multiple of 25?
False
Let k be ((0 + 15)/(-3))/(1/(-20)). Suppose 7*s - k = 439. Is 24 a factor of s?
False
Let z = 6169 - 5071. Is z a multiple of 13?
False
Suppose 0 = j + 3*i - 9, -5*j + 33 = 4*i - i. Is 19 a factor of -4*j/(-12)*199?
False
Is 2*31995/10 + -9 + 6 a multiple of 52?
True
Suppose 3*g - 3*i = 12, 5*i - 3*i = -2*g + 16. Let d(x) = -23*x - 9*x - g*x. Is d(-1) a multiple of 4?
False
Let u = 8743 + -4078. Does 108 divide u?
False
Suppose -8*t + 3*z = -4*t + 164, 4*t + 196 = -5*z. Is 22/(2/(-4 - t)) a multiple of 8?
True
Does 20 divide (-33 - 303/(-9))/((-2)/(-2820))?
True
Let j(x) = 946*x + 258. Let g be j(12). Suppose -g = -84*z + 75*z. Is z a multiple of 30?
True
Let i(r) = -5*r**2 + 3*r**2 + 12*r**2 + 3*r**2 - 5*r. Let a be i(2). Let n = a - -21. Does 7 divide n?
True
Let x(b) = -b**3 + 2*b**2 + 6*b - 1. Let v be x(3). Suppose v = 4*p, 5*u - 8 - 9 = -p. Does 21 divide u*(-1488)/(-36)*2/4?
False
Let c(a) = -a**2 - 14*a - 15. Let t be c(7). Is t*(17/(-3) + 5) a multiple of 13?
False
Let h(l) = l**3 + 3*l + 330. Let c = -167 + 167. Is h(c) a multiple of 22?
True
Let s(u) = u**2 - 8*u - 15. Let c be s(9). Let o be (154/33)/((-4)/c). Let x = 5 + o. Is x a multiple of 12?
True
Let l(z) be the first derivative of -5*z**2 - 11*z + 11. Let v be l(-1). Is (-10 + 34)*(2 + v - 0) even?
True
Let n(s) = -s + 18. Suppose -3*d = -3*z + z + 13, -3*z = -2*d - 7. Let m be (d - 0)*(-18)/15. Is 4 a factor of n(m)?
True
Suppose -2*u - 30 = -54. Let y(r) be the third derivative of r**5/60 - r**4/8 - 4*r**3 - r**2. Is y(u) a multiple of 12?
True
Suppose 12 = 2*r + 4*g, -3*r + 2*g + 73 = -3*g. Suppose -127*i - 1644 = -7359. Let z = r + i. Does 15 divide z?
False
Let s(k) = 24*k - 121. Let f(t) = -t**3 + 6*t**2 - 6*t + 2. Let l be f(4). Is s(l) a multiple of 23?
False
Suppose p + 5*a = 121, -3*a = 3*p - 163 - 260. Suppose 2*d - 72 = -4*k, -5*d = 5*k + 51 - p. Let j = 53 - k. Does 9 divide j?
True
Let u = 79 + -77. Let b be (1 - (-93)/6)*u. Suppose 5*c - 2 - b = 0. Is c even?
False
Suppose 3*t - 22 = -2*p, -30 = -2*p - t + 2*t. Suppose 7*h - 20*h = 7*h. Suppose 13*x - p*x + 180 = h. Does 27 divide x?
False
Suppose 3*v + 2*i + 1 = 0, 3*v - 5*v + 3*i = 5. Let y(o) = -15*o + 375. Let p be y(19). Let l = p - v. Does 13 divide l?
True
Let n = -43 + 45. Let x(r) = 3*r**2 - 4*r + 1. Let b be x(n). Suppose -4*j + 425 = 4*g + j, b*g - 562 = 4*j. Is g a multiple of 17?
False
Suppose -286 = 5*x - 2*n, 2*n + 209 = -4*x - 3*n. Let i = x + 68. Does 12 divide (2*3/i)/(8/1344)?
True
Let p be 6/(-2) + 85 + 4. Suppose 3*u - 70 - p = 0. Suppose f + u = 5*f. Is 12 a factor of f?
False
Suppose 90*t = 73*t + 799. Suppose 1196 = -t*z + 49*z. Does 46 divide z?
True
Let r(u) = 4*u**3 - 285*u**2 - 131*u - 205. Does 307 divide r(73)?
False
Let b = 747 - 194. Suppose 11*r - b - 965 = 0. Is r a multiple of 11?
False
Suppose 2*a - 19264 = -5*l, -a = 3*l - 0*l - 9634. Does 34 divide a?
True
Let c(w) = -59*w**2 - 3*w + 1. Let b(i) = -i - 20. Let s be b(-22). Let n be c(s). Let x = -97 - n. Does 36 divide x?
True
Let w(c) = c**2 + 17*c + 69. Let v be w(-16). Let r be (-411)/(-7) - 12/(-42). Let x = r - v. Is x a multiple of 2?
True
Let p = -122 - -111. Let v(w) = -2*w**2 - 35*w + 28. Is 12 a factor of v(p)?
False
Let z = -8072 - -29736. Does 17 divide z?
False
Suppose -13*d + 18736 + 12775 = -16030. Does 23 divide d?
True
Let y be -4691*7/(42/(-6)). Let r = y + -3191. Is 30 a factor of r?
True
Let z(l) = -l**3 + 18*l**2 - 18*l + 21. Let n be z(17). Suppose n*a = -m - 301 - 451, -4*m + 171 = -a. Let d = a + 285. Is 14 a factor of d?
True
Let h = -6699 + 30359. Is h a multiple of 26?
True
Suppose -42 = -2*h - 3*h + 4*s, 4*s = -12. Suppose -1099 = -h*y + 497. Suppose c + c = y. Is c a multiple of 19?
True
Is 2344/(-28)*(-2233)/58 a multiple of 11?
True
Let p(r) = 21*r**2 - 67*r + 141. Is 18 a factor of p(2)?
False
Suppose -2*u + 9*u = 11*u - 40448. Is 17 a factor of u?
False
Let u be (-9)/((-315)/(-14)) + 74/10. Suppose 5*o = -u*z + 3*z - 76, -o = -z + 8. Let v(w) = -w**2 - 13*w + 19. Is 16 a factor of v(o)?
False
Let p(d) = -d**3 + 7*d**2 - 6*d + 6. Let x be p(6). Let l be (-298)/x - 4/(-6). Let k = 57 + l. Is k a multiple of 8?
True
Let a = 200 + -203. Does 9 divide ((-36)/1)/(a*2/15)?
True
Let x = 8001 + -7151. Is x a multiple of 85?
True
Let x(k) = 4*k**2 + 2. Let v be x(-3). Suppose -2*z + v = -22. Does 21 divide 1250/z + (-2)/(-6)*1?
True
Let m(g) = 393*g**2 + 19*g - 105. Is m(4) a multiple of 65?
False
Suppose 53680 = -3*q - 13*q. Does 61 divide (-2 - -3)*q/(-5)?
True
Let b be 1*3/(9/1095). Let d = b - 157. Is d a multiple of 21?
False
Suppose -4*n = 5*y - 57707, 9*y - 10*y + 14428 = n. Does 17 divide n?
True
Suppose 4*c = -12, -5*u + 4*c = -249 - 1118. Let v = 467 - u. Is 11 a factor of v?
False
Suppose -5*o = 49 + 61. Let f be 16/12 - o/(-3). Is 14 a factor of 297/6 + (-3)/f + 0?
False
Suppose -140*q + 144*q - 16 = 0, 5*a = 3*q + 3318. Is 32 a factor of a?
False
Suppose 0 = 4*a + 4, -10*a + 52697 = 4*t - 7*a. Is t a multiple of 31?
True
Let t = -21 - -26. Suppose 3*z - 4*a - t - 10 = 0, z = -2*a + 5. Suppose 0 = -5*b - 4*j - 326 + 784, -170 = -2*b + z*j. Is 18 a factor of b?
True
Suppose -7058 = 38*o - 1662. Let y = -6 - o. Is y a multiple of 9?
False
Let r = -32861 - -49699. Is 65 a factor of r?
False
Let j(a) = 2*a**2 + 21*a + 52. Let h(w) = w**3 - 6*w**2 - 12. Let m be h(6). Does 4 divide j(m)?
True
Does 9 divide (29/145 + (-29436)/30)/(1/(-1))?
True
Let m(x) = -6*x**3 - x**2 + 6*x. Let b be m(2). Let l be (-30)/b - (-18)/8. Suppose -q - 3*h - 95 = -l*q, -2*h + 120 = 2*q. Is 14 a factor of q?
False
Let f(j) = -3*j**3 + 23*j**2 - 53*j - 164. Is 59 a factor of f(-12)?
True
Suppose -10*c - 1043826 = -41*c - 27*c. Is c a multiple of 63?
False
Let i = -634 + 10938. Is i a multiple of 238?
False
Let j(a) = -487*a - 5191. Is 6 a factor of j(-25)?
True
Is 223 - (86/10 - (-51)/(-85)) a multiple of 9?
False
Let t(l) = -5*l - 20. Let c be (-1 + 2)/((-7)/49). Let z be t(c). Does 21 divide 970/12 + z/90?
False
Does 24 divide (-227660)/(-70) - 2/7?
False
Suppose -8*d + 80874 = 56*d - 556182. Is 158 a factor of d?
True
Suppose 4*n - 2*k = 24, 5*n + 3 = -k + 26. Suppose -72 = -s + q, -2*s - n*q - 206 = -5*s. Does 5 divide s/7 + (-1)/1?
True
Let o be 8/(-10) + 1/(-5) - -17. Suppose -o + 3 = -s. Suppose 0 = -2*r + s + 115. Does 16 divide r?
True
Suppose 4*z - b - 10608 - 29414 = 0, -3*b + 19990 = 2*z. Is z a multiple of 122?
True
Let p(t) = -t - 14. Let k be p(-14). Let j = -28 + k. Let l(v) = 