rue
Let y be (-8 - 1)/(-1) - (1 + 1). Suppose 0 - y = -i. Is i a composite number?
False
Suppose -3*g = 8 - 17. Suppose 7*i - 4*i + 5*j = -15, 2*i - g*j - 9 = 0. Is i - (-1 + 6*-27) composite?
False
Let x be 1/((-85917)/21480 + 4). Let w be x/64 + 2/16. Let u = 253 - w. Is u composite?
True
Let z be (-3)/((-3)/2) - -1. Suppose -z*g + 13 = -2*g - 2*a, -3*g + 3*a + 24 = 0. Suppose -2*x - 4*t + 589 = g*x, 5*t - 585 = -5*x. Is x a composite number?
True
Let j = 5864 - 3085. Is j a composite number?
True
Let x = 5 - 19. Is (-1546)/x - 12/(-21) composite?
True
Let k(r) = r**3 + 4*r**2 + 5*r + 3. Let d be k(-3). Is d/(((-15)/35)/1) a composite number?
False
Let p(z) = 2*z - 7. Suppose o + 16 = 2*v, 0*v - 2*v - 3*o = 0. Let l be p(v). Suppose 0 = -l*k + 85 + 460. Is k a prime number?
True
Suppose -5*v = -88176 + 5081. Is v a prime number?
True
Suppose 5*j + 25 = 0, 0 = -27*s + 26*s + 4*j + 2743. Is s a prime number?
False
Let i(y) = y**2 + 5*y - 1. Let p be i(-6). Suppose 2 = p*u - 13. Suppose -u*n = -8*n + 425. Is n composite?
True
Let v(s) be the first derivative of -161*s**2/2 + 3*s - 1. Let c be 1*(-11 - -9) + (-2)/1. Is v(c) a prime number?
True
Let b = 1939 + 21426. Is b a prime number?
False
Let t = 598 + 768. Is t a prime number?
False
Suppose 0 = -7*p + 2869 - 363. Is p prime?
False
Let t = 27553 - 19650. Is t composite?
True
Suppose 6*u + 2657 = 4*u - 5*o, -4*u = -5*o + 5299. Let w = u - -2332. Let m = w + -635. Is m a prime number?
False
Suppose 5*v - 8481 = 4*v + 4*p, -25483 = -3*v + 4*p. Is v composite?
False
Suppose 0 = -5*t - 4*g + 81497, -3*g + 25269 = -4*t + 90479. Is t a prime number?
True
Let i be ((-2)/3)/((-2)/9). Is (i - (-20)/(-8))*254 a prime number?
True
Suppose 7*o = 12*o - 10. Suppose 5*q - 152 - 29 = -o*b, 0 = -3*b - 5*q + 274. Is b prime?
False
Let c = -105 + 230. Let n = 274 - c. Is n prime?
True
Suppose 4*b + 3*a - 20581 = 1309, -2*b = 4*a - 10950. Is b a prime number?
True
Suppose -2*s - 4*i + 3*i = -8, 5*i + 2 = -3*s. Suppose 0 = s*w - 4*w + 34. Let b = 5 - w. Is b composite?
True
Let w(m) = m**2 + 5*m + 4. Let l be w(-4). Suppose -4*c + 0*c + 28 = l. Let h(j) = j**3 - 6*j**2 + 8*j + 4. Is h(c) a prime number?
True
Let j(r) = -71*r + 10. Is j(-17) prime?
True
Let b be 30802/11 + (-20)/(-11) + -2. Suppose -5*m = 5*w - b, -m - 9*w + 11*w = -551. Is m composite?
False
Let b(z) = -z**3 - 8*z**2 + 10*z + 3. Let u be b(-9). Let r(i) = 19*i**2 - 9*i - 1. Is r(u) a composite number?
True
Suppose 2*o = 4*s - 1678, o + 1258 = 3*s - o. Suppose -h + 3*h = s. Suppose 158 = 2*w + u, -h = -2*w + 2*u - 52. Is w prime?
True
Let c be 208/(4/1) + -1. Suppose -p + 3*b + c + 676 = 0, -2*p - b + 1482 = 0. Let v = p + -198. Is v a prime number?
True
Suppose -12 = -3*s, -5*v + 0*s - 3*s + 952 = 0. Let g = v + -27. Is g composite?
True
Let z = -14 + 64. Let q be 17 + -17 - z*8. Let i = -234 - q. Is i prime?
False
Let m = -12776 + 6281. Is m/(-25) + (-8)/10 composite?
True
Suppose 0 = -3*r + t + 9, -4*r + 4*t = 5 - 17. Suppose 0 = r*i - 4*i + 89. Suppose 3*d + 32 - i = 0. Is d composite?
False
Let o(l) = 70*l. Let t be o(-1). Suppose 152 = -s - 5*b, -b - 2*b + 265 = -2*s. Let g = t - s. Is g a composite number?
False
Is -2 + 3 - -3363 - 5 a composite number?
False
Let p = 1311 + -129. Let c = p - 685. Is c a prime number?
False
Suppose 3*a + 3*m - 3657 = 0, -4*a - 3*m + 2874 = -2006. Is a composite?
False
Let f(u) = u + 17. Let a be -14 + (-3 - -3 - 0). Let b be f(a). Suppose b*j = 154 + 443. Is j a composite number?
False
Suppose -w + q + 3*q + 16 = 0, 12 = -2*w - 3*q. Suppose o - 41 - 18 = w. Is o a composite number?
False
Is (0 - 12)*(-745)/20 a prime number?
False
Let y be (-4)/12 - 4/(-12). Suppose y = -2*c + 313 + 405. Is c prime?
True
Let g(y) be the first derivative of -57*y**2/2 + 6*y - 5. Let f be g(7). Is f/(-12) + 2/8 a prime number?
False
Suppose 2*l + f - 248 - 499 = 0, 0 = 5*l + f - 1872. Suppose -2*o - 3*z - 325 = 0, -5*o - z - 818 = z. Let v = o + l. Is v prime?
True
Let o(n) = -n**3 + 13*n**2 + n - 12. Let r be o(13). Suppose -m + 0*m + r = 0. Is 8/4*m - -1 composite?
False
Is ((-2)/((-32)/(-350184)))/(3/(-2)) a composite number?
False
Suppose -30*w + 38371 = -29*w + 3*g, 3*g = 2*w - 76715. Is w composite?
True
Let o(w) be the second derivative of 17*w**4/12 - w**3/2 - 3*w**2/2 - 2*w. Let h be 0/1 + (0 - -4). Is o(h) prime?
True
Suppose 16196 = -751*z + 755*z. Is z a composite number?
False
Suppose 0 = 3*v + 3*z - 31074, -1558 + 11919 = v + 4*z. Is v a prime number?
True
Let v(p) = 41*p**3 + 9*p - 2. Let j(s) = -s**3 - s + 1. Let t(d) = -5*j(d) - v(d). Is t(-2) a prime number?
True
Suppose 74143 - 205677 = -2*z. Is z composite?
True
Let d(q) = 931*q**2 + 5. Let u(i) = 465*i**2 + 2. Let f(s) = -2*d(s) + 5*u(s). Is f(1) prime?
True
Let u = 25143 + -9416. Is u prime?
True
Let f(d) = -263*d**3 + 12*d - 2. Is f(-3) a composite number?
True
Let n = 2111 - 3304. Let k = n - -1826. Is k a prime number?
False
Suppose 2*t + 26 = 4*h, -3*h - t + 27 = -4*t. Suppose 5*i + 347 = h*z - 196, -z - 4*i + 141 = 0. Suppose -4*f + z = -59. Is f a composite number?
True
Let k be (30/20)/(3/8). Suppose k*s + 60 = -0*s. Let i = 138 + s. Is i prime?
False
Let w be (-46709)/(-52) + (-1)/4. Let f = w - 129. Is f prime?
True
Suppose -156097 = -20*a + 101883. Is a a composite number?
False
Suppose 2*m - 2*q = 3*q + 436, 3*m - 696 = -3*q. Let j = m + 161. Is j a composite number?
False
Suppose -78*g + 70*g + 6232 = 0. Is g a composite number?
True
Let m be -1*(0 + -6) + -3. Let r = m + -11. Is ((-58)/(-1))/(r/(-124)) a prime number?
False
Suppose 2*o = -4*d - 2, 3*d + 3*o - 21 = 6*o. Suppose d*b - 2*h - 122 = -0*b, 0 = 5*b + 4*h - 287. Is b a prime number?
True
Let g(a) = a**2 - 7*a + 12. Let j be g(9). Suppose 4*p - p + 3 = 0, x + 3*p - 1 = 0. Let r = j - x. Is r a prime number?
False
Suppose -4*v - m = -43578, 2*m + m = -v + 10889. Is v a prime number?
False
Let r(b) = 35*b**2 - 33*b + 131. Is r(16) prime?
True
Let r(f) = f. Let m(b) = -146*b + 1. Let n(w) = -m(w) - 6*r(w). Let u be n(1). Suppose 3*p - 47 = u. Is p prime?
False
Let g(p) = 7*p + 13. Let x(y) = 4*y + 7. Let s(c) = 3*g(c) - 5*x(c). Let q be s(-6). Is (348/q)/(-2 - 0) composite?
True
Let z(a) = 2*a**2 - a**3 - 5*a**3 + 1 + 4 + a - 3*a. Is z(-3) composite?
False
Let m(k) = -k**3 + 25*k**2 - 35*k - 15. Is m(22) prime?
False
Let m(y) = y**3 - 2*y**2 + y - 12. Let c be m(0). Is c/16 + (-3791)/(-4) a prime number?
True
Let a be (4/(-10))/(4/(-1320)). Suppose 136 = 4*v - a. Is v a composite number?
False
Let o(t) = -72*t**2 - 1. Let s be o(2). Let h = s - -582. Is h prime?
True
Let p(q) = -52*q**3 + 8*q**2 - q - 25. Is p(-8) prime?
False
Let j = -1 - 0. Let t(m) = -4*m**3 + m**2 + m. Let r be t(j). Suppose r*k - 548 = -40. Is k prime?
True
Let n(d) = 221182*d - 23. Is n(1) composite?
False
Let d(r) = 42*r**2 + 2*r - 3. Let q be d(-4). Let j = 1448 - q. Is j a prime number?
True
Suppose -70 = 2*c + 5*c. Is (245/c)/(4/(-8)) composite?
True
Suppose 24*c = 31*c - 30611. Is c composite?
False
Suppose 0 = -2*q - r + 6157, 46*r + 9241 = 3*q + 42*r. Is q composite?
False
Suppose 8*v = 45 - 13. Is (3694/v)/((0 + -4)/(-8)) prime?
True
Let u be 4/(-10) + (-546)/(-15). Let j = -30 + u. Is 51 - j - (2 + -4) a prime number?
True
Let b(m) be the first derivative of -m**4/4 - 7*m**3/3 + 4*m**2 - 11*m + 1. Let s(u) = u**3 + 16*u**2 + 2*u + 23. Let q be s(-16). Is b(q) prime?
True
Let r = -12849 - -18988. Is r a prime number?
False
Let u = 126 + -120. Suppose -1265 = -3*r - 2*h, -3*r + 3*h = -u*r + 1269. Is r a composite number?
False
Let b(s) = 4*s**3 - 70*s**2 - 10*s - 41. Is b(21) prime?
True
Let g(c) = 2983*c + 74. Is g(8) composite?
True
Let l(n) = 107*n**3 - n**2 + 7*n - 19. Is l(4) composite?
False
Suppose 6 = 2*o + z - 2, 3*o + 3*z - 12 = 0. Suppose 2*k - 942 = -o*k. Is k a prime number?
True
Let n be ((-1)/(-3)*3)/((-12)/23604). Let t = n + 2904. Is t a composite number?
False
Let n = -95 + 93. Is (n + 39)/(2/2) prime?
True
Suppose -2*z - 6 + 18 = 0. Suppose -5*f = -4*s - z*f + 9, -2*s = -5*f + 1. Suppose 0 = 4*l + 3*i - 3272, 3*l - 3276 = -l - s*i. Is l prime?
True
Let k = 8766 + -5749. Is k prime?
False
Suppose 20272 = 2*l + 1972. Suppose 3*z = -2*z - l. Is (z/12)/(1/(-2)) composite?
True
Let w(k) =