 w(l) composite?
True
Is -4 + (-217644)/(-4) + (-7 - (4 + -5)) prime?
True
Suppose 5*p + 3*c - 95 = 0, 2*p + 2*p + 3*c - 79 = 0. Is ((-54)/p)/(-9) - 2900/(-32) prime?
False
Let t(g) = -8704*g**3 - 22*g**2 + 19. Is t(-4) a composite number?
False
Let x be (-3)/3*-2 - -7. Suppose -4*b = x*b + 78. Is ((114730/(-21))/(-11))/((-4)/b) a composite number?
True
Let k(u) = 22825*u**2 - 13*u - 269. Is k(9) a composite number?
False
Let z(c) be the third derivative of -c**6/6 + c**5/10 + 5*c**4/24 + 5*c**3/6 - 2*c**2. Let x be ((2 - 4) + 4)*(3 + -5). Is z(x) a composite number?
False
Let w(g) = -g**3 - 9*g**2 + 8*g - 12. Let s be w(-10). Suppose 3*f = -3*l + s*f + 3243, 5*f = -2*l + 2162. Is l a prime number?
False
Let f(w) be the third derivative of w**6/120 - w**5/5 - 13*w**4/24 + w**3 - 11*w**2. Let h be f(13). Let l(c) = 182*c + 25. Is l(h) a composite number?
False
Let u(c) = -514804*c + 597. Is u(-1) a prime number?
True
Is 270/(-216) + ((-3211553)/(-4) - 4) prime?
False
Let p(l) = -3*l**3 + l**2 + 2*l + 7. Let r be p(-5). Suppose 8*t - r = 19. Suppose -48*w = -t*w + 4044. Is w a prime number?
False
Let c(r) = 50*r**2 + 2*r + 3. Let s(p) be the first derivative of 49*p**3/3 + 3*p**2/2 + 4*p - 19. Let q(i) = -3*c(i) + 4*s(i). Is q(-2) composite?
False
Suppose -6*t + 305 = 41. Let o be t/8 + -2 - 3/(-2). Suppose 2*q - 3*m = -2*q + 10895, -3*q - o*m + 8164 = 0. Is q a prime number?
False
Let h(p) = -3 + 2 - 15*p - 75*p - 4. Suppose 17 = -3*c - 22. Is h(c) a prime number?
False
Let i(u) = 5762*u - 6. Let r be i(2). Suppose -8*g = -r - 4186. Is g composite?
True
Suppose w + 1 + 3 = -3*j, 0 = -5*w - 5*j. Let h be 4*(-135)/(-100) + 2/(-5). Suppose -h*q = -3*i + 3808, w*i + q - 3778 = -i. Is i prime?
False
Let x = 19683 + -1642. Is x a prime number?
True
Let t(b) = 774*b**3 - 48*b**2 + 370*b - 37. Is t(6) a composite number?
True
Suppose -2*g = 4*g - 168. Let o = g + -24. Is 0 - -1 - (-628)/o a prime number?
False
Suppose -4*c = 5*i - 44, 3*c + 6*i = i + 38. Suppose k - 6243 = -4*y, -c*y = -7*y - 1. Is k prime?
True
Suppose -7*w + 3*f + 15 = -4*w, 0 = 3*w - 2*f - 14. Is (61365/10 + 4)/(2/w) prime?
True
Is 1346860/(-56)*-2 - (-7)/((-196)/(-24)) composite?
True
Let b(w) = -37*w - 36 + 25 - 30*w. Let o be b(-2). Suppose 2*u = o - 7. Is u a composite number?
True
Let z(l) = -2*l**3 - 2*l**2 + 7*l + 10. Let d be z(-2). Suppose -3*n = -2*f - 563, -d*f + 15 = -f. Is n a composite number?
False
Suppose 0 = 2*q - 5*u - 35, -23 = 5*q - 2*u - 79. Is 161231/155 - (-8)/q a composite number?
True
Suppose 0 = -1178*y + 1166*y + 1811220. Is y a prime number?
False
Suppose 5*q - 706 + 21576 = 2*n, 3*n + 5*q = 31330. Let l = -1349 + n. Is l composite?
False
Is ((-4866616)/48)/(1/(-6)) prime?
False
Let b = 94781 - 4070. Suppose 5*t - b = -2*d, 5*t - 79301 - 11422 = 4*d. Is t composite?
False
Let z = 1253 + -805. Suppose -4*s - 103 = -u, 0*u + 4*s + z = 4*u. Is u a prime number?
False
Let o be ((-4878589)/(-11) - -2) + 3/(-33). Suppose -45*u + 35*u = -o. Is u composite?
False
Suppose 24*c = 25*c - 6. Let v(o) = 27 - 8*o + 38*o - 4. Is v(c) composite?
True
Let b = -5336 + 8847. Is b composite?
False
Let v = -2813 + 2815. Let n(x) = x + 10. Let q be n(-8). Suppose -5997 = -5*h - v*j, 1271 = q*h + 5*j - 1111. Is h a composite number?
False
Let i = 4713 - 2381. Suppose 0 = -m - 216 + i. Suppose -5*q + m = -q. Is q a prime number?
False
Suppose 85*n - 41*n - 2074821 = 37*n. Is n prime?
False
Suppose 5*x - 9 = 6*k - 9*k, -5*x + 5*k = -25. Suppose 24*s - 391881 = x*s. Is s a composite number?
False
Let y = -48 - -49. Let c be (35/14)/(y/2). Suppose 3*f - 2027 = -5*g, 2*f + 395 = -4*g + c*g. Is g a prime number?
False
Suppose -32 + 127 = 5*t. Let o = t + -22. Is (301/o)/(7/(-21)) composite?
True
Let v(r) = 22*r**2 + 52*r + 159. Is v(-20) prime?
True
Let s = -57 - -63. Let r be 2536 + s/((-30)/(-25)). Let a = r - 1532. Is a a composite number?
False
Let w be (3 - (-4 + -33*475)) + -3. Let g = 23138 - w. Suppose g = 4*x - 1673. Is x a composite number?
True
Is (-4)/(4/135804*-12) composite?
False
Let y be -7*2/(-7)*12. Let x = 24 - y. Suppose -15 = -5*j, -5*g + 2*j = -x*g - 709. Is g a prime number?
False
Let v be 1 - (0 - 7 - 6046). Let d = v + -1637. Is d a composite number?
True
Suppose -40*q + 36*q = 24. Let n(g) = -41*g**2 - 27*g + 30. Let d(i) = -14*i**2 - 9*i + 10. Let a(y) = q*n(y) + 17*d(y). Is a(-7) composite?
True
Let y(l) = 3*l + 14. Let m be y(-4). Suppose 5*p - 39021 = -m*h, -4*h - 14*p = -17*p - 78107. Is h a composite number?
True
Suppose 2*j - 33425 - 27458 = -a, 5*a - 304437 = j. Is a composite?
False
Suppose -85*l = -498292 - 733698. Is l composite?
True
Is 9674/28*(26 + 1412) composite?
True
Let p(u) = -u - 2. Let b be p(-4). Suppose 4*i - 12 = -b*c - 2*c, -c = -5*i + 15. Suppose -a - a + 298 = c. Is a a prime number?
True
Let t = 37 + -33. Suppose 0 - t = 4*a. Is a/(-4) - (-975)/20 a prime number?
False
Let q(n) be the second derivative of -n**6/144 - 59*n**5/120 - 2*n**4 - 30*n. Let y(i) be the third derivative of q(i). Is y(-17) a prime number?
False
Let r be (-8 - -11) + 30/(-2). Let b(w) = -w**2 - 12*w - 2. Let n be b(r). Is (-2228)/(-16) + n/8 a composite number?
False
Let u(l) = -71373*l - 217. Is u(-2) prime?
True
Let d(u) = 9*u + 18. Let o be d(23). Let k(n) = 13*n**3 - 2*n**2 - 2. Let r be k(-2). Let x = o - r. Is x a composite number?
True
Is (-1 - -7)*14634135/810 a prime number?
True
Let k be ((-10)/(-6) - (-6)/18) + 1. Suppose -k*q - 17 = -2*t + t, -2*q = -3*t + 9. Is ((q - -2) + 3)/(1/(-389)) a prime number?
True
Let g(z) = 30773*z + 238. Is g(9) a prime number?
False
Let d = -151910 - -273979. Is d prime?
True
Is (19 + -15)/(12*1/417201) a prime number?
True
Suppose -5*m - 410273 = 4*w - 1615067, -5*m + w = -1204789. Is m/42 - (-40)/(-420) prime?
True
Suppose -3*c - 2*g = -263457, 258*c + g + 263466 = 261*c. Is c composite?
True
Suppose 120 = 3*y + 99. Suppose -y*k + 27545 = -0*k. Is k a composite number?
True
Suppose 5*m - 8 - 7 = 0. Is (7 + (-6620)/30)*-1*m prime?
True
Let b(m) = -2*m**3 - 88*m**2 - 36*m - 197. Is b(-46) composite?
False
Let g(y) be the second derivative of 31*y**6/120 + y**5/40 + 5*y**4/24 - 29*y**3/6 + 34*y. Let x(v) be the second derivative of g(v). Is x(3) composite?
True
Suppose -4*p + 3*i + 4 = 0, -6*p + 7*p - 4*i + 12 = 0. Suppose -8407 = -3*d + 5*t + 54, -16 = -p*t. Is d a prime number?
False
Let x(f) be the third derivative of -f**6/120 - 7*f**5/30 + 11*f**4/4 + f**3/3 + f**2 - 57*f. Is x(-25) prime?
True
Suppose 732362 = -137*k + 74*k + 14252351. Is k composite?
False
Suppose 55978 = 6*x + 13744. Is x a prime number?
True
Is -2*((-373555)/10 - -12) a prime number?
True
Let f(w) = -w**2 + 4*w + 18. Let b be f(6). Is (-15)/b*(-190002)/15 a prime number?
True
Suppose 3 - 8 = 5*f. Let u be (3*503*f)/((-51)/85). Suppose 5*p - 6530 = -u. Is p prime?
False
Suppose 3*g = 5*r - g - 799, 3*r - 3*g - 477 = 0. Suppose -379 = 2*b + r. Let k = b + 938. Is k composite?
True
Suppose 171 = 6*k + 171. Suppose 5*z - 8310 - 3235 = k. Is z composite?
False
Let y be (-2)/(-7) + (-30652)/(-28) + 3. Is 1 - (y/(-14) - 6/(-14)) a prime number?
True
Let f(d) = 2*d**2 + 4*d - 2. Let o be f(1). Suppose o*g - 4*r = -2*r - 480, 5*g - 3*r + 602 = 0. Is ((-19)/2)/(1/g) a prime number?
False
Let f be 636/(-9) + 2/3. Let r = -58 - f. Is 1/r*2559 + (-2)/8 a composite number?
True
Let k be ((-1)/2)/(6/(-284388)). Let d = k + -1377. Suppose 5*y = -3*z + 2903 + d, 3*y = -4*z + 15135. Is y a composite number?
True
Let d = -133360 - -233821. Is d prime?
False
Let d(z) = -4 + 1960*z + 3770*z + 3. Is d(1) a prime number?
False
Let h be -5 - -2 - -3 - (0 + 0). Let b be (-3)/2*(h + -1 - 1). Suppose -s = -0*a - b*a - 2209, 2*s = a + 4438. Is s a composite number?
False
Let t = 51 - 47. Is (11565/12)/(-3)*-1*t a composite number?
True
Suppose 6*i = 227901 + 473205. Is i a composite number?
True
Let z be 0/(-2 - -3) - (-2 - 2). Let w be (4/(z - 0))/(1/7551). Is (-2*28/24)/((-3)/w) composite?
True
Suppose -19*w = -14*w - 10665. Let o = 796 + w. Is o composite?
True
Let k(v) = 190*v**2 - v + 2. Suppose -9*u = -0*u - 18. Suppose 4*o + 3*m - 5 = u, -3*o - 4*m + 7 = 0. Is k(o) composite?
False
Suppose -j = -14*g + 11*g + 1080032, -4*j = 2*g - 720026. Is g composite?
Tr