 + 1 + -2 + 6 prime?
True
Let q(u) = 61*u**2 - 244*u + 7. Is q(22) a composite number?
True
Is (-718595352)/(-1776)*(5/3 + -1) a prime number?
False
Suppose -2*z + 115574 = -4*x, 47*x - 50*x + 173334 = 3*z. Is z composite?
False
Let r(w) = -42*w**3 + 3*w**2 + 43*w**3 - 3*w**2 + 1 - 6*w + 5*w**2. Suppose -4*n = -8 + 28. Is r(n) a composite number?
False
Let x = 137313 + -72476. Is x prime?
False
Let y(g) = 512*g + 14 - 181*g + 1 + 1. Suppose 7*i - 36 - 13 = 0. Is y(i) a prime number?
True
Suppose -1676 - 6266 = 4*d - 5*z, 4*z - 8 = 0. Let k = 985 + d. Let u = k - -1495. Is u prime?
False
Let n(k) = -470*k**3 - 6*k**2 + 36*k + 109. Is n(-6) a prime number?
True
Suppose 2*o - 22 = -2*m - 6, 3*o - 16 = -m. Let a be ((-12)/3)/o*-24. Is (-2038)/3*a/(-16) composite?
False
Suppose 473845 - 102378 = -16*h + 33*h. Is h a composite number?
False
Let a = 72112 + 23922. Is a a prime number?
False
Let s be 4/8*4 - 1*-512. Suppose 4*k - 20 = 0, -3*c - 5*k + 270 + s = 0. Is c composite?
True
Suppose -74432410 + 7199499 = -127*i. Is i a prime number?
True
Let b(c) = 55027*c**2 - 8*c - 1. Is b(-2) a composite number?
False
Let b be (-4*2)/(-40 - -39). Suppose -7*a - 20891 = -b*a. Is a composite?
True
Let c(u) = 6370*u + 709. Is c(13) a composite number?
True
Suppose -4*q + 4*s = -1424, 2*s - 712 = -3*q + q. Suppose 0 = 4*t + 4*p + 284, -t - 102 = 2*p - 29. Let v = q + t. Is v a composite number?
True
Let w = 552 - -199. Let p(b) = b**3 - 21*b**2 + 21*b - 18. Let n be p(20). Suppose i + 2707 - w = n*r, -4*r + 3906 = i. Is r a prime number?
True
Let t(p) = -p**2 + 6*p + 3. Let u be t(6). Suppose 3*b + 949 = -b - l, -u*b - 3*l = 705. Let x = b + 357. Is x composite?
True
Let u(y) = 194*y + 22. Let f be 11 - ((0 - 2) + 4 + 1). Is u(f) composite?
True
Suppose -4*q = -10*q. Let o = 11 + -8. Suppose 2*k - o*h - 23 - 140 = q, 3*h = -15. Is k a composite number?
True
Let u = -656595 - -971302. Is u prime?
True
Let i = -32 - -38. Suppose i*h - 1678 - 2102 = 0. Suppose k = -5*t - 2*k + 1058, 3*k + h = 3*t. Is t a prime number?
True
Suppose -4 = -3*s - s. Let d(q) = q**3 + q**2 + 2*q - 2. Let p be d(s). Is (p - -2) + 41*3 prime?
True
Suppose -19*b + 15169486 = 19*b. Is b a composite number?
False
Let q(k) = 2*k**3 + 17*k**2 + 7*k - 4. Let t be q(-8). Suppose 5*o + 1759 - 29739 = -5*z, t*z = -3*o + 22387. Is z composite?
True
Suppose 0 = -60*h + 66*h - 186. Suppose 2*w = -v + 1706, -2*w - 30*v + h*v + 1706 = 0. Is w composite?
False
Suppose -6*w + 7342 = -6602. Suppose -2*g - 4*o + w = -5*o, -g + 4*o + 1155 = 0. Is g composite?
False
Let p(x) = 374*x**2 + 35*x - 603. Is p(16) composite?
False
Let x(n) = -208*n + 1. Let i be x(-3). Let v(u) = -69*u + 477. Let b be v(-7). Let w = b - i. Is w a prime number?
False
Suppose 21*o + 2972984 = 4*l + 16*o, 4*o = 5*l - 3716239. Is l prime?
True
Let h = 51106 - 26373. Is h composite?
False
Suppose -2*s = 2*s - 8. Suppose 0 = -3*l - 5*x + 3, -s*l + 3*x = l - 27. Suppose l*r + 3*r = 34281. Is r a prime number?
False
Let l = -4069 - -2895. Is l/(-8)*(-7 + 1 - -98) a prime number?
False
Let j(x) = 42*x**2 + 7*x + 74. Let z be (-444)/(-37)*3*1/(-4). Is j(z) composite?
False
Let c(b) = 241*b + 54. Let q(f) = -16*f - 91. Let h be q(-6). Is c(h) composite?
False
Let p(g) = 30*g - 256. Let h be p(8). Let r(o) = 56*o**2 - 18*o - 11. Is r(h) a composite number?
True
Let i = 2391 + -1190. Let s = i + 2320. Is s a prime number?
False
Is 745734 + ((-4 + 3)*1 - (29 + -37)) a prime number?
True
Let f(s) = -3*s - 12. Let k be f(-6). Suppose 18 = -0*b + k*b. Suppose 0 = -b*o + 9, p = 5*p - 3*o - 1163. Is p a prime number?
True
Let l(u) = 4*u**2 + 56*u - 597. Is l(-85) prime?
False
Let h = -1079296 - -302730. Is h/(-238) + 8/68 composite?
True
Let n be 5 + -1 - 1 - 3. Suppose n = -g + 341 + 953. Is g composite?
True
Suppose 19*g - 484244 = 120540 - 127941. Is g prime?
True
Let b(h) = 4*h**2 + 4*h + 19. Let w be b(-4). Let n = w + 60. Is n a composite number?
False
Suppose 15*y - 77364 = 11*y. Suppose y = -9*m + 18*m. Is m a prime number?
False
Is 6/(-1) - (-10917276)/24*2 a composite number?
False
Suppose -288531 = -4*w - 68*x + 73*x, -144268 = -2*w + 2*x. Is w a composite number?
False
Let s(v) = -29*v + 13. Let i be s(-2). Suppose 3*t + 0*q + 4*q - i = 0, -21 = -t - 4*q. Is (7648/(-40))/((-2)/t) + 3 a prime number?
True
Let q = 3096 + -6016. Let c = 5997 + q. Is c a composite number?
True
Let u(w) = w + 8. Let b be u(-3). Suppose 5*p = 1 + 4, 0 = -3*a + 5*p - b. Suppose 4*v - 2195 - 1673 = a. Is v a prime number?
True
Suppose 72*x - 210*x + 64029714 + 22402032 = 0. Is x composite?
False
Let i(h) = -h**3 - 28*h**2 + 62*h + 63. Let u be i(-30). Suppose f = 3, u*d - 3*f - 697 - 24857 = 0. Is d composite?
False
Suppose 14*r - 200 = -4. Suppose r*w - 28698 = 8*w. Is w composite?
False
Suppose 2*c + 5*k + 10448 = 0, 5*c + 26085 = 3*k + 2*k. Let l = 8320 + c. Is l composite?
True
Is 29897 + (22 - 18)/(2/4) composite?
True
Suppose -5*g = -10*g - 100. Let o be (-1)/((-4)/g)*-1127. Suppose 3*q + 0*h + 2*h - o = 0, -2*h - 1881 = -q. Is q a prime number?
True
Suppose -8*f + 149 - 229 = 0. Is ((-3)/(-12))/(f/(-1178920)) a prime number?
True
Let d be 9/(-4) + 1 + (-1027)/(-316). Suppose -k = -4*x - 883, -k = -d*x - 385 - 498. Is k a prime number?
True
Let j = -135 + 133. Is (-8082)/(-12) + (-1 - j)/2 composite?
True
Suppose -6*t + 0*t + 54 = 0. Let l(y) = 370*y - 13. Let z be l(t). Suppose z = 4*x - 9479. Is x a composite number?
True
Let v = 2815 + -397. Let z be 1/((-3)/v) - 0. Let w = 2065 + z. Is w prime?
True
Let p(x) = 26*x**3 - 2*x**2 - 2*x + 1. Let d be p(-2). Let t be (-232)/174*1386/4. Let s = d - t. Is s a composite number?
False
Let f be (-22)/14 + 8/14 + -1029. Let n = 6027 - f. Is n a prime number?
True
Let p = -1 + 7. Suppose m - 4*b = -5, p*b - b - 8 = 3*m. Is m/2*-134 - -4 a prime number?
True
Let a(d) = 460*d**2 + 7*d + 1. Let j(s) = s**3 - 8*s**2 - 9*s - 3. Let w be j(9). Let g be a(w). Suppose 5*o = g + 5365. Is o composite?
True
Let t(y) = 2947*y**2 + 185*y - 10. Is t(-7) composite?
True
Suppose -4*n + 1757179 = 3*k, 7*k - 4*k - n - 1757159 = 0. Is k prime?
True
Let q = -414 + 208. Let c = -101 - q. Suppose -4424 - c = -7*r. Is r a composite number?
False
Suppose -613 = -7*k + 3930. Suppose h - 2*z = k, 1298 = 2*h - 6*z + 10*z. Is h - (-2 + 0 - -4) prime?
True
Let q be ((-550)/15)/11*2076/8. Let h = q - -9323. Is h a composite number?
True
Is 13110 - (-2 - (-2 - -7)) a composite number?
True
Suppose 0 = -0*m - m - 5, -5*l = 4*m - 12645. Let y = 7364 - l. Is y a prime number?
True
Suppose 38*p - 2820713 = 35*p + 5*u, 2*p + u - 1880484 = 0. Is p prime?
True
Let d(t) = 76*t**2 - 8*t - 111. Is d(7) composite?
False
Suppose -2*k + 4*k = -14. Let x(s) be the third derivative of 9*s**5/20 - 11*s**4/24 - 5*s**3/2 + 2*s**2 - 39. Is x(k) prime?
False
Is 358134336/1152 - 10/(-4) composite?
False
Let b = 431 + -66. Let t = -276 + b. Is t a prime number?
True
Suppose -10*g + 4*g = 0. Let v(w) = w**3 - 2*w**2 + 74. Let u be v(g). Suppose -u = -5*f + 3*f. Is f a prime number?
True
Let f = -640 + 644. Is (f - (-204)/(-36))/((-2)/19086) a composite number?
True
Let k(x) = x**2 + 25*x - 66. Let q be k(-28). Suppose 0 = -q*n + 17*n + 4535. Is n a composite number?
True
Let r(j) = -1133*j + 0*j**2 - 6 + 0*j**2 - 2429*j**3 + 1127*j. Is r(-1) a prime number?
False
Let i = 946259 + -439250. Is i a prime number?
False
Let y be 2/8 - (-28668)/(-48). Let m = -76 - y. Is m prime?
True
Suppose 2*y = -b + 332736, 831867 = -119*y + 124*y - 2*b. Is y a composite number?
True
Suppose -5091 = -8*l + 100013. Suppose 0 = -5*x - 25, 4*x = -2*s + 4*s - l. Is s prime?
False
Suppose -51*h + 161759 = -38*h. Is h composite?
True
Let x(t) = 5797*t - 2483. Is x(18) composite?
False
Let p = 15 + -15. Suppose -3*u + 6 + p = 0. Suppose -u*t + 1958 = -4*n, 0 = -n - n - 2. Is t composite?
False
Let o be 2/(-4)*0 - -3. Suppose 11 = 4*n + o. Is (-1)/((-9)/2019)*(n + 1) composite?
False
Let q(f) be the first derivative of 26*f**2 - 13*f + 28. Let o(t) = -t - 1. Let y(m) = -3*o(m) + q(m). Is y(9) a prime number?
False
Let i be 1/2*(-1 - 7). Let y(f) = 11*f**3 - 6*f**2 + 3*f - 7. Let g(w) = -2*w**3 + w**2 + w - 2. Let r(q) = -2*g(q) - y(q). Is r(i) a composite number?
True
Let m be ((-90)/(-