 a composite number?
True
Suppose -3*c - 1679089 = -5*y, 104*y + 4*c = 101*y + 1007465. Is y composite?
True
Suppose 0 = 226*h - 216*h - 110. Is 2 + 36664 - -4 - 55/h a composite number?
True
Let k = 61 - 58. Let w be (k - 2)*-3 + -711. Let y = 1305 + w. Is y a prime number?
False
Let f be (-1268)/(-20) - (-4)/(-10). Let a be 1120/f - (-4)/18. Is (4 - 2076/a)*(-66)/4 a composite number?
True
Let p be (3 + 44/(-20))/((-4)/(-10)). Let c(w) = 13*w**p - 105 + 211 + 8*w - 109. Is c(4) composite?
True
Let v be 8*6/((-144)/(-330)). Let i = v + 249. Is i prime?
True
Is (-1024798)/(-8) - (61 + -72 + (-94)/(-8)) a composite number?
False
Suppose -2*p + 5*t + 129024 = 0, -4*p = -246*t + 245*t - 258030. Is p a prime number?
False
Suppose -57*p - 269213 = -108*p + 8002324. Is p a composite number?
True
Let z(b) = 185*b**2 + 13*b - 169 + 1320*b**2 + 18*b - 64*b**2. Is z(6) prime?
True
Let a(u) = 919*u**2 + 968*u - 14. Is a(9) a composite number?
False
Suppose 35 = 3*p + 4*p. Let d(w) = 5*w - 20. Let a be d(p). Is -11*a/(5/(-23)) a composite number?
True
Let d = 50 - 47. Suppose k + d*q + 2*q - 610 = 0, -3*k = 2*q - 1843. Suppose -3*s - b = -129 - 1714, -s - b + k = 0. Is s prime?
False
Suppose -3*t + 1513779 = l, 438*t - 4541379 = -3*l + 436*t. Is l composite?
True
Suppose -4*b + 8 = -2*b. Suppose -2*o = b*f - 7238, 2*f - 4*f + 4*o = -3644. Suppose 4*s + 991 = t, -5*t - 2*s + 3099 + f = 0. Is t a prime number?
True
Let w be -4733 + -4 + 4 - (-3 + 6). Let x = 1937 - w. Is x prime?
True
Let f(p) = p**2 - 2*p + 10. Let o be (-6 - (3 + -4))*1/(-1). Let m be f(o). Suppose -3*l + 2528 = y, -4*y - y + m = 0. Is l a composite number?
True
Let q(m) = 265*m**2 + 174*m - 330. Is q(-19) a prime number?
False
Let b be 26/6 - (-6)/9. Let v(r) = 34*r**2 - 3*r - 14. Is v(b) a composite number?
False
Let c be -3 + (5 - (-13 - -3)). Suppose -4*a + 1502 - 466 = -2*y, 3*y + c = 0. Is a composite?
False
Let x(y) be the second derivative of -181*y**3/3 + y**2/2 - y + 76. Suppose 5*s + 0*b = 5*b - 50, 3*b + 10 = -5*s. Is x(s) composite?
False
Is (-1187711)/7*76/(-28) + -1 + -9 composite?
False
Let z be (10 - 2) + (-10 - -9) + -4. Is (-14)/6*z - -2033 a prime number?
False
Suppose -3*v + 16 = q, -3*v + 2*v = 4*q - 31. Let p(z) = 27*z**2 + 8*z + 6. Let o be p(q). Let g = 342 + o. Is g prime?
False
Let l = -150 - -150. Let i(m) = m**2 + 12*m + 1861. Is i(l) a prime number?
True
Let x(c) = c**3 + 28*c**2 - 129*c - 32. Let i be x(-32). Suppose i = -u - 2*d + 11431, -5*u - 79*d + 57177 = -80*d. Is u prime?
False
Let k(m) = -11*m - 32. Let t(z) = -9*z - 31. Let o(l) = 5*k(l) - 6*t(l). Let h be o(21). Let u(c) = 339*c - 2. Is u(h) a composite number?
False
Let b(h) = 12*h**2 + 2*h - 1. Let g(s) = -4*s - 3. Let z be g(-1). Let v be (30/2)/(-3) - z. Is b(v) a prime number?
True
Is (3 - -3312*7) + 2 a composite number?
False
Suppose -3*o - 2*z + 10 = 0, 9*o - 2*z + 6 = 11*o. Suppose 4*x + x = 2230. Suppose i = -i - 3*s + x, -o*i + 864 = -s. Is i a composite number?
True
Let n(d) = -9*d - 6. Let y be n(-4). Suppose -255 = -3*r - 3*h, y = r - 3*h - 51. Is ((-95396)/r)/((-2)/6) a prime number?
True
Is (((-4)/3)/2)/(340/(-26769390)) composite?
False
Let k = 73201 - -195214. Is k/(-14)*14/(-35) a composite number?
False
Let z(i) = -1054*i - 8 - 2169*i + 23. Is z(-10) a prime number?
False
Is (12538414/56 + -13)*8 + -4 + 1 prime?
False
Suppose 0 = -5*g - t + 52, 15 = 4*g + 4*t - 17. Suppose -10*p - 677 = -g*p. Suppose -2*r - 2*r - p = -3*w, 679 = 3*w - 5*r. Is w a prime number?
True
Let p(m) = m**2. Let c(s) = 3*s**2 - s - 2922. Let b(z) = -c(z) + 2*p(z). Let k be b(0). Suppose -4*r + k = 3*i - 85, r - 4*i = 747. Is r a composite number?
False
Let t be (0 + -5)/10*1*2. Is 5 - (82098/(-8) - t/4) prime?
True
Suppose 0 = -1326*v + 1320*v + 1249122. Is v prime?
False
Let p(c) = 188183*c**2 + 30*c - 24. Is p(1) prime?
True
Let i be (13 - 407/(-22))*(-16)/(-6). Suppose 1 - 2 = 2*h + u, -5*h - 2*u - 5 = 0. Is (h/2)/(i/(-148792)) prime?
True
Let k(m) = 5166*m**2 - 150*m - 1685. Is k(-11) a composite number?
True
Let f = -8 - -14. Let l be 2*(f/(-24))/(2/(-12)). Is -5*(l - 11180/25) a composite number?
False
Suppose 0 = -5*s - 25, 5*z + 4*s = 6*z - 71089. Let w = -50512 + z. Is w a prime number?
False
Suppose 126*y - 1478489 + 760483 = 4220060. Is y a composite number?
False
Suppose -66*i = -71*i - 5*s + 3579980, -5*i = -s - 3579950. Is i composite?
False
Let r(o) = -123*o + 34571. Is r(0) composite?
True
Let d be (-30 - -36)*41/2. Is (d/(-5))/(13/(1 - 66)) prime?
False
Let b be ((4 - 8) + 10)/(-2). Let k be ((-24)/(-16))/(b/28). Is (631/3)/(k/(-42)) a prime number?
True
Suppose -2*k - 3*o = 17636 - 68517, k - 4*o - 25435 = 0. Is k composite?
False
Let r = -37586 + 563737. Is r a prime number?
False
Let i = -169 - -177. Suppose -1710 = -i*p + 69386. Is p composite?
False
Suppose 0 = 5*z - 2 - 3, z = -p + 39028. Suppose 4*k - 4*u - 31212 = 0, -5*k + 2*u = -0*k - p. Is k composite?
True
Let q = 342 + -331. Suppose -q*r = -14*r + 741. Is r a prime number?
False
Suppose 46 = 3*f - 59. Let w = -35 + f. Suppose w = -4*i - c + 3126, -2335 = -3*i - 0*c + 4*c. Is i composite?
True
Suppose -122*v - 11*v + 1462069 = 0. Is v a composite number?
False
Let j(i) = i**2 - 20*i + 100. Let c be j(10). Suppose d + 4*v - 1399 = -0*v, c = -5*d + 3*v + 7018. Is d composite?
True
Let i(l) = -3867*l - 5135. Is i(-23) a prime number?
False
Suppose 6 = -2*r - 5*i, 2*r - i = 2*i + 10. Suppose f - 2 = -0. Is 3692 + (-1 - r) + f prime?
True
Let u(c) = -768*c**2 - 17*c + 28. Let j be u(6). Let t = 44077 + j. Is t prime?
False
Let q(p) = 5438*p - 2932. Is q(157) a composite number?
True
Let k be 1 + 5906/(-8) - 2/(-8). Let m = 704 - k. Is m a composite number?
True
Let q = -163 + 175. Is (14988/8)/(q/40) a composite number?
True
Let p = 115 - 44. Suppose -p - 191 = -2*o. Let h = 424 - o. Is h composite?
False
Suppose 105 = -6*j + j. Let k = j - -23. Is 1*(205 + -2 + k) a composite number?
True
Is 259/7*(464785/75 - 16/120) a prime number?
False
Suppose 299811 = 10*u - 165739. Is u a prime number?
False
Suppose 26*p + 54751 = 382845. Let r = 25296 - p. Is r a prime number?
False
Suppose -377*s + 4036842 = -103*s. Let g be (-1)/(-2)*(-1 + 11). Suppose -4*f + s = g*f. Is f a composite number?
False
Let n(k) = -7*k**2 + 8*k**2 + 7*k + 32*k**3 + 0 - 11. Is n(5) prime?
True
Let x = 129 + -182. Let s = -63 - x. Let a(p) = -3*p**3 - 14*p**2 - 15*p - 17. Is a(s) a prime number?
True
Suppose 0 = 2*g - 3 - 1. Suppose -g*i + 5 = 1. Suppose -v + d - 2*d = -1807, -v + i*d + 1795 = 0. Is v prime?
False
Let x = -2 + 13. Suppose 13*i - x*i - 4 = 0. Suppose -276 = -2*n - i*n. Is n composite?
True
Let b be (-3)/5 - (-192249)/15. Let v = -8705 + b. Is v prime?
True
Suppose -8*j = -6*j - 10. Suppose 5370 - 835 = j*i. Suppose v = 3*y + i, -v - 3*v + 5*y + 3600 = 0. Is v prime?
False
Let o(c) = 8*c**2 - 1548*c + 11. Is o(-78) a composite number?
False
Let u(b) = -b**2 - 4*b + 94. Let t be u(-11). Let r(m) = -m**3 + 20*m**2 - 9*m + 35. Is r(t) a prime number?
False
Is 1622/(25 + (-75669)/3027) composite?
True
Let s = 7352 - 1063. Is s composite?
True
Suppose -r + 3*x = -122948, -17543 - 474319 = -4*r - 2*x. Is r a prime number?
True
Suppose -6685504 = -14*h + 839454. Is h composite?
False
Is 11*(-6)/(-165) - (5 - 1225312/20) a prime number?
True
Let m(t) = -285*t + 113. Suppose -5*r = -d + 33, 2*r + 18 = -29*d + 31*d. Is m(r) a composite number?
False
Let w = -97 - -51. Let f be w/(-10) - (-28)/70. Suppose 5*o - 9143 = -7*a + 3*a, -f*o - 2*a + 9149 = 0. Is o prime?
True
Suppose -162818 = -2*u - 3*f, 285150 - 692195 = -5*u + 2*f. Is u prime?
True
Let d = -605 + 607. Suppose -6*l + 4*h = -l - 37469, d*h = 2*l - 14988. Is l a prime number?
False
Let x(z) = -z**2 + z + 18. Let i be x(4). Is (8 - (6 + 0))/(i/11361) a composite number?
True
Let t(u) = 826*u + 1965. Is t(7) prime?
False
Let c(i) = 33*i + 11. Let p be c(5). Let b = p + -39. Suppose 0 = -2*z - 3*t + 221, -60 - b = -2*z + 5*t. Is z a composite number?
True
Is 1338053/2 - 1743/498 a prime number?
True
Let a be (1456/(-39))/((-2)/720). Suppose 5*m + 5*c = a, -2*m + 0*c = 5*c - 5364. Suppose -4*b = -0*b - m. Is b a prime number?
True
Suppose 3*a - 2*v = 27, 3*a - 7*a = 5*v - 36. Suppose a*j + 3 = 10*