 m = -768 + 717. Is 34/m + 136979/3 a composite number?
False
Let v(m) = 20*m - 313. Let q be v(30). Let a = -102 + 294. Let t = a + q. Is t prime?
True
Suppose -38 = -25*j + 6*j. Suppose 4*h - 6 = h. Suppose -9668 = -5*o - j*n + 13077, -4*o - h*n + 18198 = 0. Is o a prime number?
True
Suppose y + 4*t = 5*y - 119116, -3*y - 5*t + 89305 = 0. Let x = y - 21068. Is x composite?
False
Let g = -32686 - -241109. Is g prime?
False
Let t(p) = 463*p - 1. Let y be t(5). Let g = y - -6637. Is g composite?
False
Suppose -a - 4*k = 1605, 2*k + 2590 = -5*a - 5381. Let o = a - -2336. Is o prime?
True
Let u(i) = 257*i**2 + 78*i + 306. Let l be u(-4). Let k be (2/4)/((-1)/(-16)). Is l*(-1 - (-12)/k) prime?
True
Let q(l) = 33635*l - 7237. Is q(28) composite?
False
Let u(f) = -f + 35. Let x be u(25). Suppose -5*h = 3*j - 6*j - 5021, x = -5*j. Is h composite?
True
Suppose 33 + 15 = 3*x. Suppose -3*j + x = 7. Suppose y - 2*y = -2*n + 1479, -j*y = 2*n - 1459. Is n a prime number?
False
Let c = 392214 + -240373. Is c a composite number?
False
Let m(k) = -1259*k + 491. Is m(-30) composite?
False
Let i(k) = -k**3 + 8*k**2 + 14*k + 1. Let w be i(9). Suppose -13047 = -49*d + w*d. Is d composite?
False
Suppose -3*q = q - 3*x + 7, 25 = 5*q + 3*x. Suppose 9610 - 1958 = q*j. Is j a composite number?
True
Suppose 2*c - 5*x = -3*c + 227710, 136614 = 3*c + 3*x. Let a = 70869 - c. Is a prime?
False
Suppose 16*m + r = 11*m + 264884, 0 = -m + 2*r + 52990. Is m composite?
True
Suppose 4*u - 18060 = -u - 2*s, 0 = -u - 4*s + 3612. Suppose -8*l + 48 - 32 = 0. Suppose l*a - u = -10*a. Is a composite?
True
Let k(m) = 159*m**3 + 79*m**3 - 1 - 21*m**3. Let v be k(1). Suppose 893 + v = s. Is s a composite number?
False
Is 1*18672 - ((-3)/(-5) + 34/85) prime?
True
Let v(r) = 1579*r**2 + 9*r + 60. Let p be v(-5). Suppose 10*y - p = -0*y. Is y composite?
True
Let s(d) be the first derivative of -87*d**2/2 - 31*d + 1. Suppose 6*b - 7*b + 69 = -4*m, 5*m - 3*b + 95 = 0. Is s(m) a composite number?
False
Is ((-2520029)/102 - 6/27*6)*-2 composite?
True
Suppose 21*h = 22*h - 12. Suppose -15*a = -h*a - 51. Suppose 1865 = 22*d - a*d. Is d composite?
False
Let y(d) = -548*d - 819. Is y(-22) prime?
False
Let d = 3 + -5. Let g(s) = 238*s**2 + 2*s + 6. Let q be g(d). Suppose q = -2*a + 8*a. Is a a prime number?
False
Let c = 1239533 - 799494. Is c a prime number?
True
Suppose 0 = 5*j - m - 22, 6*j = 5*j + 4*m - 7. Suppose j*a + 14 = z, -2*a + 0*z = 2*z - 4. Let q(u) = -150*u**3 - 5*u**2 - 5*u - 1. Is q(a) composite?
True
Let x = -190 - -211. Suppose -3588 = -x*p + 9285. Is p prime?
True
Suppose 9*i + 1355287 = 2*z + 6*i, 4*z - 5*i - 2710567 = 0. Is z a composite number?
True
Let l(d) = 3*d**2 - 6*d + 18. Suppose 4 = -4*z + 16. Suppose 4*m - 4*g = 59 + 9, -z*g = 3*m - 27. Is l(m) composite?
True
Suppose s + g = 32865, -1939*s = -1935*s + 5*g - 131456. Is s prime?
True
Let t(l) = 17*l**2 - 1408*l + 419. Is t(134) a prime number?
False
Let s(m) = 3586*m**2 - 6 - 25 - 17*m - 1482*m**2. Is s(-2) a prime number?
True
Let v(i) = -27*i**3 - i**2 - i. Let a be v(-1). Let r be 11195/(-45) + (-6)/a. Let p = r + 452. Is p prime?
False
Let n(r) = r**3 + 7*r**2 + 9*r + 8. Let s be n(-6). Let w(i) = 13*i**2 + 5*i + 48. Let v be w(s). Let l = -649 + v. Is l a prime number?
False
Let i = 33 - 31. Suppose i*z + 472 = -2*y, 5*z + y = 3*z - 472. Is (1/2)/(4/z)*-14 composite?
True
Let v = -67 + 76. Let d be (0 + 96/v)*(-9)/(-4). Is (3453*4*(-4)/d)/(-2) a prime number?
True
Let c(f) = -227*f**3 + 6*f**2 - 6*f - 53. Let j be c(-6). Suppose 51125 = 12*z - j. Is z a composite number?
False
Suppose -3*s + 0 = -9. Suppose -2*w + 2*o - s*o + 2148 = 0, -3*o = 5*w - 5370. Suppose 0 = 55*p - 52*p - w. Is p prime?
False
Suppose -j - 2*d + 5 = -4*d, 6 = j - d. Suppose j*w = 828 - 247. Is w a prime number?
True
Suppose -5*z - 2255 = -5*f + 137470, -139713 = -5*f + 2*z. Is f prime?
True
Let s(a) = 23*a**3 - 22*a**2 - 48*a + 206. Is s(35) composite?
False
Let n(s) = s**2 - 22*s + 86. Let z be n(20). Suppose -2*r + 1972 = 3*b, -43*r + 3*b = -z*r + 2961. Is r a composite number?
True
Let d = 1943 - -663. Let j = d + -1653. Is j composite?
False
Let i = -3363 + 1076. Let h = -30 - i. Is h a prime number?
False
Suppose -6*f + 1 = -11. Suppose -3*v - 12601 = -f*o - 3359, 2*o - 9242 = -v. Is o a prime number?
True
Suppose 23193953 - 614573 = -2*u + 38*u. Is u prime?
False
Let l = 28610 - -66521. Is l composite?
False
Suppose -2 = 5*k + 4*n, 3*k + 4*n + 1 = -5. Let y = -587 + 590. Suppose 0 = -4*g + 3*z + 3281, y*z - 8*z = -k*g + 1637. Is g prime?
True
Suppose -11*b + 80 = -3*b. Suppose b*q + 42900 = 5*q. Is (-21)/(-49) + q/(-21) prime?
True
Let i be (1 + 8)*1/((-12)/(-16)). Suppose 5*b - i = 2*t, 8 = 2*b - 2*t + 2. Is (-4)/1 + 2293 - b a prime number?
True
Suppose 44*x = 2491840 + 653236. Is x a prime number?
True
Is (2 + 1/(-2))/(264/29785712) a prime number?
False
Suppose 10*k = -170026 - 50004. Let o = k - -43852. Is o a prime number?
False
Suppose 569959 = 57*t - 44*t. Is t prime?
False
Let d = 330 - 330. Is d + (-10380)/(-6) - -1*3 prime?
True
Let l(z) = -z**3 - 83*z**2 - 625*z - 282. Is l(-95) a composite number?
False
Let z = -114588 - -380765. Is z prime?
True
Suppose 34*p - 3200 = 26*p. Let u = p + -267. Is u prime?
False
Let p(h) be the third derivative of 449*h**5/60 + h**4/12 + 3*h**3/2 + 46*h**2. Let y(x) = x**2 - 7*x + 4. Let t be y(6). Is p(t) composite?
False
Let a(v) = -22372*v**3 - 7*v**2 - 9*v + 7. Is a(-2) prime?
True
Let m = 366 + 785. Suppose m = -15*j + 16*j. Is j prime?
True
Let m(p) = 40407*p + 184. Is m(7) composite?
True
Let y = -1540 - -2037. Let q = 7 - 5. Suppose -3*r + y = 4*v - 36, -2*v = q. Is r a composite number?
False
Let v(a) = 260*a + 157. Let w(u) = 519*u + 315. Let b(g) = 11*v(g) - 6*w(g). Is b(-6) composite?
False
Let b = 499 + -354. Is b prime?
False
Let q(a) = -594*a**2 - a - 2. Let m be q(-1). Let h = -300 - m. Is h a composite number?
True
Let p(q) = -10*q**3 - 43*q**2 + 40*q + 9. Is p(-26) prime?
True
Let g = 1022 + -356. Let u be (-13482)/72 + (-2)/(-8). Let n = u + g. Is n a composite number?
False
Let p = -52999 + 132558. Is p composite?
False
Suppose -3*a - 14*a = -3808. Let c = a + 663. Is c composite?
False
Let d = -251085 + 446944. Is d composite?
True
Let s(a) = -23*a**2 + 32*a + 27. Let t(u) = -u**2 - u. Let h(r) = -s(r) - t(r). Is h(-16) composite?
True
Let l(q) = 21436*q**2 - 247*q + 1465. Is l(6) a prime number?
True
Let y(x) = 2*x**3 + 2*x**2 + 11*x - 1. Let z be y(-8). Is (-18)/12*2 - z composite?
True
Suppose i - 860 = 405. Let z be (3/2)/(2/4). Suppose 2*m - i = -z*m. Is m prime?
False
Suppose 0 = -6*c + c + n - 105, 0 = -5*c - n - 115. Is (c + 18)*211*(-1)/4 prime?
True
Let k(n) = 23958*n + 13. Is k(15) a prime number?
False
Let c be (-115)/(-10) - (3 - (-21)/(-6)). Is ((-3987)/12)/((-9)/c) a composite number?
False
Suppose 2176759 - 151789 = 4226*l - 4216*l. Is l composite?
True
Suppose -5*p = 4*c + 21368 - 65083, -4*p - 4*c + 34972 = 0. Suppose 8*a + p = 15*a. Is a prime?
True
Let w be 4 - 6 - 7/((-7)/4). Suppose -13*j + 11*j = w. Let c(s) = -127*s**3 - s - 1. Is c(j) a prime number?
True
Suppose -5*n = -10, -n - 5864 = 4*m - 232886. Is m a prime number?
False
Suppose -5*o - 4*w + 7814 = 0, 25*o - 21*o + 4*w = 6252. Let a = 1319 + o. Is a composite?
True
Let s be -5327726 + 10 + -4 + (1 - 1). Is 6/(-45) + (3 - s/150) a composite number?
False
Suppose -188*n + 23064314 = -4650458. Is n prime?
True
Let q = 4440 + -1667. Is q prime?
False
Is (173694/(-3))/2*(12 + -14) a prime number?
False
Let n(w) = 1642*w**3 + 16*w**2 - 7*w + 3. Is n(4) a composite number?
False
Let c(b) = 9*b**3 - b**2 + b - 2. Let p be c(1). Suppose q + 6165 = 4*w, 1 = -p*q + 6*q. Is w composite?
True
Let b = 144448 + -87256. Suppose -35649 - b = -3*w. Is w a composite number?
True
Let a = 633 + -551. Suppose -49224 = a*b - 106*b. Is b a prime number?
False
Let i be (-295032)/(-36)*4/((-4)/3). Let u = -16301 - i. Is u prime?
False
Suppose 225 + 1895 = 4*u. Let x = -1767 + 3264. Let q = x - u. Is q prime?
True
Suppose -246*r + 250*r = -5*l + 1627991, 3*r + 325583 = l. Is l a composite number?
True
Is 10 - (-8 - (-34030)/(-2)) composite?
False
Suppose 220 = -7*c - 25. Is 2/10 - 20398/c a prime number?
False
Le