*p. Let b = 7395 - k. Is b prime?
False
Let y = 32845 - 15275. Let q = y + -8281. Is q a prime number?
False
Let x(b) = b**3 - 50*b**2 - 16*b + 405. Is x(52) prime?
False
Let x(d) = -2*d**3 - d**2 - 6*d + 8. Let c be x(5). Suppose n - s = 239, 2*n - 472 = -s - 3*s. Let q = n - c. Is q prime?
False
Let x(v) = 8*v**2 + 90*v + 161. Is x(-61) a composite number?
False
Suppose 3*r - 5*s - 57325 = 0, -95517 = -5*r + 8*s - 12*s. Is r a prime number?
False
Suppose 23 + 27 = 5*d. Suppose -25*h + 69 = -24*h. Is h*-2*3/(-36)*d a composite number?
True
Let j(i) = -2368*i + 9617. Is j(-179) composite?
True
Suppose -3*m - 34*f + 491806 = -39*f, 2*m - 327874 = 4*f. Is m a composite number?
False
Suppose 121*q - 49*q = 7596648. Is q prime?
True
Let q be (1*-1)/((-66)/(-79728)). Let h = 890 - q. Is h composite?
True
Let w = 38411 - 16517. Suppose 5*m + z = 27363, -7*z - w = -4*m - 6*z. Is m a composite number?
True
Let d = -392 - -381. Is 27582/4*(220/(-30))/d a composite number?
False
Let p(i) = 144*i - 22. Let h be p(-7). Let v = h - -2288. Suppose a + a - v = 3*n, a - 3*n = 623. Is a prime?
False
Suppose -y - 4*f + 54 = -5, 0 = 2*y + 4*f - 106. Let w(z) = -31 - 31 + y - 86*z. Is w(-7) a composite number?
False
Suppose 211 = -2*o + 3*w + 1829, 3*o - 2430 = 3*w. Suppose 38*d + 3180 = 43*d + 3*q, -2*d + 1288 = -2*q. Suppose x - 4*l = d, -l - o + 3334 = 4*x. Is x prime?
True
Suppose 2*c - 5 + 5 = 0. Let y be 27378/8 + (c - (-12)/16). Suppose 539 + y = 7*d. Is d composite?
True
Let i = 180 - -118. Let d = i + -61. Is d a prime number?
False
Let p(k) = -1530*k + 2611. Is p(-6) prime?
False
Let z(f) = -73654*f - 2. Let a be z(-1). Suppose a = 31*x - 103947. Is x prime?
False
Let d(y) = -6328*y**3 + 10*y**2 + 46*y + 49. Is d(-3) a composite number?
False
Let r(a) be the second derivative of 1057*a**5/20 + a**3/6 - a**2/2 - 19*a. Let b(g) = -2*g - 7. Let m be b(-4). Is r(m) composite?
True
Suppose l = 2*t + 253283, -1013082 = -53*l + 49*l - 2*t. Is l a composite number?
False
Suppose -9*x = -3*x - 17094. Let v = x + -1647. Let z = v + 555. Is z prime?
False
Let m = 38194 + 46771. Is m composite?
True
Let t(u) = 8*u**2 + u + 4. Let x be t(-2). Suppose 23*h = x*h - 92477. Is h prime?
False
Let y = 1336040 - 883813. Is y a prime number?
True
Let m be (-28)/(-168) + 22/12. Suppose 4*a - 65 = -3*v + 53, m*a - 2*v - 66 = 0. Is a a prime number?
True
Let t(p) be the first derivative of -6 + p + 14*p**2 + 90*p**2 - 14*p - 18. Is t(3) a composite number?
True
Let u(v) = 3*v - 15. Let s(m) = -m**3 - 9*m**2 + 7*m - 23. Let b be s(-10). Let p be u(b). Suppose 565 = p*q - q. Is q a composite number?
False
Let k = 61801 - 33848. Is k a composite number?
False
Let o = 70 - 68. Suppose 3*x = 3*u + o*x + 2, 10 = 5*u + 5*x. Suppose b + u*b = 499. Is b composite?
False
Let t(u) = -6*u + 32. Let b be t(-15). Let p = 25 - 66. Let y = b - p. Is y a prime number?
True
Suppose -19*i + 6671 = 1008 - 4768. Let b be -1066*((-1)/2 - 0). Let x = b + i. Is x a prime number?
False
Let w = 86023 + -19620. Is w a prime number?
True
Let m = 765 + -545. Suppose 6056 = 8*p + 464. Let a = p - m. Is a a prime number?
True
Let f = 380 + -374. Suppose y = -5*k + 1599, 5*k - 3*y + f*y = 1607. Is k composite?
True
Suppose 59*h - 1533278 - 1570889 = 0. Is h prime?
False
Let m(x) be the third derivative of x**4/24 - 133*x**3/2 + 14*x**2. Let l(h) = -h + 1. Let a(j) = -2*l(j) - m(j). Is a(0) a composite number?
False
Suppose -5*x + 2*x - 4*r = -14, r = -1. Let f be 6175/75 + (-2)/(1*x). Let p = f + -35. Is p a prime number?
True
Suppose -3 - 4 = -4*x - 3*b, -3 = b. Suppose h - 15 = -x*h. Suppose -1112 = -h*d - 359. Is d composite?
False
Let i = -844 + 12087. Is i prime?
True
Let i = 51439 + -27752. Is i a composite number?
False
Suppose 50*z + 16 = 52*z. Suppose 0 = z*w - 3847 + 1503. Is w a composite number?
False
Suppose 7*s + 10 = 9*s. Suppose 4*a + 16 = -5*l, -a - s*l + 15 = 4. Is (-32325)/a + (-8)/(-6) a composite number?
False
Let a be 55/((-55)/(-5)) + (13928 - 0). Suppose -6*z + 19073 = -a. Is z prime?
True
Let v be 357/126 - (-15)/(-18). Suppose 4*w = z - 687, -2*z + v*w + 1344 = -0*z. Is z composite?
True
Let j = -45 - -53. Let g(i) be the third derivative of 41*i**4/6 - 19*i**3/6 - i**2. Is g(j) a prime number?
False
Suppose 3*c + 5*g = -78, 127 = -3*c - c + g. Let f = 31 + c. Suppose -3*m = -4*o - 1599, m + f*o = -2*o + 523. Is m prime?
False
Suppose 3295 = 3*g + 4*u, 3*g = 2*u + 2033 + 1274. Let p be 7/14 - 1083/(-2). Let r = g + p. Is r prime?
False
Let b(k) = 308461*k**2 + 66*k + 58. Is b(-1) prime?
False
Let r(p) be the second derivative of -14*p + 7/2*p**2 - 41/2*p**3 + 0. Is r(-2) a composite number?
True
Suppose 6*q - 4*q + 2*x - 161124 = 0, 4*x = 5*q - 402801. Is q a prime number?
False
Suppose 5*l - i = 316203, -5*l - 977*i = -976*i - 316207. Is l a prime number?
True
Let r(o) = -5*o**3 - 3*o**2 + 26*o - 18. Let u be r(-9). Suppose 2*y + 5*m - 6309 = 0, -3*m + 2*m = y - u. Is y prime?
False
Suppose 4*h - 12794 = 5038. Suppose -l - h = -7*l. Is l a prime number?
True
Suppose 0 = -4*p + 111 - 43. Suppose -p*q + 79614 = q. Is q prime?
True
Let q(d) = -17*d**3 - 65*d**2 - 190*d + 7. Is q(-16) a composite number?
False
Suppose -25*u + 291923 = -23*u - w, 0 = -5*u - 2*w + 729821. Is u a composite number?
False
Let q(l) = -l**2 + 4*l - 4. Let w be q(10). Let k be (-5)/(70/w) + 18/42. Suppose 0 = -k*g + 1191 + 344. Is g composite?
False
Let j(b) = -161*b - 49. Let d be j(-12). Suppose z = f + 378, 5*z = -11*f + 9*f + d. Is z a prime number?
False
Is 10 + -7 + 10*5461 + 4 a prime number?
True
Let t(c) be the first derivative of -3*c**2/2 + 16*c + 5. Let b be t(-7). Suppose -b = -2*m + 5*u, -u - 12 = 3*u. Is m a composite number?
False
Let q be 39484*((-20)/(-8) - -2). Suppose 34*o - 52*o + q = 0. Is o composite?
False
Is (-82 + 78)/((-8)/220622) a prime number?
True
Let f be (-7 - (-115)/15)/(4/78). Suppose 0 = -f*k - 0*k + 51155. Is k a composite number?
True
Suppose 0 = 6*h - 28 - 4790. Suppose -3*j + h = 4*a, 0 = -3*j - j - 12. Let s = -90 + a. Is s a prime number?
True
Let m(p) = 4180*p - 1703. Is m(70) a prime number?
True
Suppose 31753 + 3327 = 2*v - y, 0 = -2*y - 8. Suppose -a + 7*a = v. Is a a prime number?
False
Let s(q) = -q**2 + 5*q + 16. Let z be s(7). Suppose z*r + 1402 = 4*r. Suppose 0 = -8*c + 2571 + r. Is c composite?
False
Let f = 472 - 472. Is (1949/2 - f)*2 prime?
True
Suppose 7*x = 12828 - 3091. Let y = x + 7316. Is y a composite number?
False
Is (32695 - (-20)/10) + -10 prime?
True
Suppose -3*d = -12, 4007 = s - 4*d - 17852. Let t = s - 8712. Is t a prime number?
True
Is (-6661236)/(-15) - 3 - (748/(-55) - -14) a composite number?
False
Let r = -224 + 217. Is (-6)/7*r + 2453 prime?
True
Suppose 2*o - 22 = -4*a, 0 = 2*a + 4*o + 8 - 28. Let t(n) = 6*n - 19. Let y be t(a). Suppose 20336 = y*k - 4069. Is k prime?
False
Suppose v + 3*s - 6 = 0, 0 = -18*v + 21*v + s - 10. Let u be (-3 + 2 - 2) + 6. Suppose -v*z + 3 + 3 = 0, 0 = -3*a + u*z + 5271. Is a prime?
True
Is (-6 - (-189855)/54)/((-2)/(-12)) a prime number?
True
Suppose -258*j + 132*j + 590697 = -123*j. Is j composite?
True
Let v(i) = -838*i + 1755. Is v(-3) a composite number?
True
Let v(s) = 72728*s**2 - 2*s + 2. Let c be v(1). Suppose 28*f - 20*f = c. Is f a composite number?
False
Let q(r) = -124*r**2 + 10*r + 22. Let p be q(-2). Let y = 2215 + p. Is y a prime number?
True
Let i be 7*(-21)/(-3) + 12/4. Let u be i/14 - (130/35 + -4). Is 87 - (32/u)/(-4)*1 a prime number?
True
Let y be (4/(-5))/(36/(-90)). Suppose 0 = -m + 5*c + 1269, -3*c - 647 + 3211 = y*m. Is m composite?
False
Let h = 451 + -1152. Let o = h + 1008. Is o a prime number?
True
Let l(x) = 239*x**2 + 17*x + 7. Is l(-5) prime?
True
Let m be (278/(-3))/(2624/(-876) + 3). Let x be 4/(-6) + m/(-3). Suppose 4*i = 0, 3*a = 7*a + 3*i - x. Is a a composite number?
True
Let j(z) = 2847*z**3 + 27*z**2 - 96*z + 33. Is j(4) composite?
True
Let k(o) = -401*o + 372*o + 3*o**2 + 74 + 0*o**2. Is k(20) composite?
True
Is 6/14 + (16530954/231 - -10) a prime number?
False
Suppose 53 = 5*f - 117. Suppose f*k - 31*k = 87. Suppose -2*j = -165 - k. Is j prime?
True
Suppose -2*a + 4*a = -6, 2*r - 4*a = 102. Suppose -r = h - 4*h. Suppose 0 = -13*v + h*v - 1366. Is v a composite 