 composite?
True
Is (-4)/2 - (-2*(-69490)/(-20))/1 a prime number?
True
Suppose -3*b = -5*n + 12, 0 = -3*n - 2*b + 10 + 1. Suppose n*t - 10 = -2*t, -3*t - 4749 = -3*p. Suppose 0 = -26*c + 31*c - p. Is c a composite number?
False
Let d be 2*(-2)/(-10) - 286/(-110). Suppose 0 = -q - 2*q - l - 20593, d*l = 4*q + 27440. Let m = -4884 - q. Is m composite?
False
Let m(o) = -106*o - 164. Let t be m(-13). Let a = t - -5517. Is a prime?
False
Suppose 12*h = 434763 + 48945. Is h a composite number?
True
Suppose 92*a = 26*a + 85164486. Is a a composite number?
False
Let v(n) = n**3 + 7*n**2 - 3*n + 3. Let h be v(-7). Suppose 0 = 27*r - 24*r - h. Suppose r*o - 7*o = 94. Is o prime?
False
Let p(r) be the second derivative of 13*r**4/4 - 13*r**3/6 + 3*r**2/2 - 33*r. Is p(8) a prime number?
False
Is ((-2)/3)/((-326)/9059703) composite?
True
Suppose 4*l - 338 = -0*l + 2*a, -a - 85 = -l. Is l/21*4666/8 prime?
True
Let c = 16 + -12. Suppose -r - n = c*r - 2515, 4*r - 5*n - 1983 = 0. Suppose -l - l = -r. Is l prime?
True
Suppose -u + 7612 = -3*v - 9634, -5*u + 3*v = -86218. Suppose u = 9*q + 5723. Suppose 5*j + 5*z - 1570 = 0, -4*j + 4*z = -0*j - q. Is j prime?
True
Let z(c) = 6214*c**2 + 46*c - 1. Is z(-6) a prime number?
False
Let t be ((-9)/((-54)/4))/((-4)/(-18)). Suppose -6*z + 429 = -t*z. Is z a composite number?
True
Let f = 2416 - -16103. Suppose -66785 - f = -8*a. Is a a prime number?
True
Let f = -93031 - -172652. Is f prime?
True
Suppose 5*r + 8484 = 7*r. Suppose -3*n - 768 - r = 0. Let h = -561 - n. Is h composite?
False
Is (-28)/(-182) - -2*44824203/234 prime?
True
Suppose 129*g - 115*g - 152699 - 217377 = 0. Is g a composite number?
True
Suppose -2*m - 64 = -4*v - 156, -v - 266 = -5*m. Let z be 2/9 - (-204)/m. Suppose 4*c - 1435 = -c + z*i, 2*i = 0. Is c a composite number?
True
Let a(o) = 694*o**2 + 61*o + 767. Is a(-16) composite?
True
Suppose -10*f + 13*f = -12. Let m be 5/(4/((-16)/f)). Suppose -q - 2737 = -3*a + 3*q, -m*q - 20 = 0. Is a prime?
True
Let f(m) = 11*m**2 + 72*m + 2. Let g be f(-7). Suppose -g*y = -42*y + 47445. Is y a composite number?
True
Suppose -5*f + 69 = -86. Suppose 4*p - 3*a = f - 0, 2*p + a = 3. Suppose -4177 = -2*w - 5*i, -p*i + 8 - 28 = 0. Is w composite?
True
Let m(r) = -1010*r**3 - 9*r**2 - 25*r - 47. Is m(-6) a prime number?
False
Let i(c) = 4*c**3 - 13*c**2 - c - 31. Suppose 0*y + 16*y = 144. Is i(y) prime?
True
Suppose 0 = -0*z + 2*z - 6. Let i(f) = z*f - 9*f**3 - 9 + 5 - f + 4*f**2. Is i(-5) a prime number?
False
Suppose 12*q - 9*q + 1178510 = 13*q. Is q prime?
True
Is 7804 - 5*(-6)/10*1 a composite number?
True
Let y be ((-21)/(-2) - -2)/(2/4). Suppose -22*u = -y*u + 426. Suppose -5*v + u + 253 = 0. Is v prime?
True
Suppose -1897 = -4*w + v, -1882 = 18*w - 22*w - 2*v. Suppose 6*k - w = 1789. Is k prime?
False
Is (-487)/2*(-10922)/43 a prime number?
False
Suppose 37*u = 40*u - m - 296, 0 = -4*u + 3*m + 403. Suppose 4730 = -3*w + 8*w. Let o = w + u. Is o a composite number?
True
Let x = 2963 + -1185. Let y = -1167 + x. Is y composite?
True
Let d = 275135 + -180714. Is d prime?
True
Let z(p) = p**3 + 12*p**2 + 2*p + 31. Let g be z(10). Suppose 8 = -2*m, 15741 = 4*h - 5*m - g. Is h a composite number?
False
Let s(w) = 69*w**2 + 1 - 29*w + 10*w + 8*w + 12*w. Let m be s(-4). Suppose -3*g + 4*q = -g - 1102, -m = -2*g + 5*q. Is g composite?
True
Let f(a) = 5*a**2 - 19*a - 4. Let n be f(24). Suppose -i + 465 + n = -4*q, -5*q + 5822 = 2*i. Is i prime?
False
Let z(l) = l**3 - l**2 - 2*l + 263. Let r(v) = 1 + 11*v - 19 + 0*v**2 - v**2. Let o be r(9). Is z(o) composite?
False
Suppose -h = 33*h - 134538. Is h prime?
False
Let d = -232 + 241. Is 25960/3 - (-6)/d a prime number?
False
Let j(v) = 5*v - 33. Let f be j(7). Let q(m) = 39*m**3 - 17*m**2 + 5*m**f - 29 - 4*m - 40*m**3. Is q(-12) a prime number?
True
Suppose 66*a = 4*p + 67*a - 4940851, -4*p + 2*a + 4940854 = 0. Is p a prime number?
False
Let w be -2 - (1141*-23 - -5). Let k(d) = d**2 - 2*d - 2. Let y be k(5). Suppose -y*b - b = -w. Is b a composite number?
True
Let k(p) = -17953*p**3 + 41*p**2 + 156*p + 5. Is k(-4) a composite number?
True
Let v(k) = 16*k - 50. Let t be v(4). Suppose 4*g = -t*i + 9*i + 10763, g = -3. Is i a composite number?
True
Suppose k + k - s = 3, -2*s = 5*k - 12. Let h be (k/(8/(-18428)))/(-1). Suppose -4*q + h + 3357 = 0. Is q a composite number?
True
Let u(o) = 83 - 115 + 52*o**2 - 21*o + 20*o**2 + 4*o. Is u(-3) a prime number?
False
Let g(w) = -4*w + 15. Let u be g(5). Let t(f) = -2*f - 6. Let y be t(u). Suppose -5*a - 2*z + 1251 = 0, y*a = 5*z - 4*z + 1006. Is a a prime number?
True
Suppose 3*n + 3659 = -4*h, 2110 = -2*n - 4*h - 332. Let u = n - -1782. Is u a composite number?
True
Let p = -4 - -3. Let l(r) = -2 - 611*r**3 + 0*r + r**2 - 485*r**3 - 2*r. Is l(p) prime?
True
Let d(z) = z**2 + z + 8. Let w be d(-7). Suppose -12564 = 54*t - w*t. Let r = -1468 - t. Is r composite?
True
Suppose 25*t + 112 = 33*t. Suppose -3431 - 58043 = -t*f. Is f a prime number?
True
Let l(s) be the third derivative of 31*s**5/5 - 3*s**4/8 + 11*s**3/3 + 11*s**2 - 4*s. Is l(3) a prime number?
True
Suppose 6*t = 13*t - 4*t - 254361. Is t composite?
False
Suppose 13648*g - 13619*g - 140099 = 0. Is g composite?
False
Let g(m) = 4179*m**2 - 195*m - 1613. Is g(-9) composite?
True
Suppose 5*r = 20*i - 23*i + 18953, 0 = 3*r + 4*i - 11363. Is r a prime number?
True
Suppose -3*h = f - 4, 2*f - 32 = -2*h - 12. Is (f - 2)/(2/86) prime?
False
Suppose -2*y + 201770 = -2*c, -548966 + 145442 = -4*y - 4*c. Is y composite?
True
Suppose -1089651 - 423329 = -69*x - 228407. Is x composite?
False
Let c be (960/(-50))/(8/(-20)). Let t(d) = -d**3 + 58*d**2 - 154*d - 29. Is t(c) composite?
False
Let k(p) = 511*p**2 + 10*p - 13. Is k(12) a prime number?
False
Is 11757515/(-110)*(-4)/14 a prime number?
True
Let w = -44438 + 171645. Is w a composite number?
False
Let c = 145661 - -127424. Is c a prime number?
False
Suppose -5*z + p - 31 = 0, 0 = 3*z - 6*z + 4*p - 22. Is ((-21)/(-3) + z)*7243 prime?
True
Let t be (-69 + 4 + -2)/(-1) + -1. Let h be (-2*2/(-6))/(44/t). Let o(u) = 3502*u - 9. Is o(h) a prime number?
False
Suppose -9*m = -13*m - 1220. Let s be (0 - 16/20)*m. Suppose 608 = 6*c - s. Is c prime?
False
Suppose -3*f = -5*k - 0*k - 38562, -5*f = 4*k + 30820. Is k/(7 + -1)*21/(-15) a prime number?
False
Let t be (-908307)/(-99) - (-2)/11. Let b = t + -5228. Is b composite?
False
Let a be 3 - ((6 - 0) + 18/(-6)). Suppose 659 = 4*h - r - 5514, a = 4*h - 2*r - 6174. Is h prime?
True
Is (-10613242)/(-58) + 11*(-40)/(-6380) composite?
True
Suppose 5*p - b - 152 = 0, p = -b - 19 + 47. Let m = p + 2891. Is m a prime number?
False
Suppose -4*h - 16*h = -440. Suppose 2*j = h*q - 24*q + 3626, 3*j = -q + 1817. Is q composite?
False
Suppose 5*o - 75 = -30. Let z be (o/6 - 1)*(-7 + -3). Let y(d) = -435*d - 22. Is y(z) a composite number?
False
Let j(w) = 75*w**2 - 268*w + 2459. Is j(10) prime?
False
Let j be (-2)/(4*9/(-14760)). Let i = j - 285. Is i composite?
True
Suppose 4*p - p = -4*l - 22, -p = -5*l - 18. Let f be 2534 - (p + (-6)/(-1)). Let g = f - -69. Is g prime?
False
Let i = 1 - -36. Suppose -32*g - 15515 = -i*g. Is g a prime number?
False
Let z(r) = -r + 10. Let o be z(0). Let k be ((-156)/o - 2) + (-18)/45. Is (-122)/k + -7 - (-8662)/18 prime?
False
Suppose 2*o = 4*o + f + 6, 4*o - 6 = f. Let s(w) = w - w**2 + 23 + 5 + 115. Is s(o) a composite number?
True
Let q(d) = 24 - 3*d - 5*d**2 - 15 - 4*d**2 + d**3. Let i be q(9). Is 3/(27/10203) + 12/i a prime number?
False
Suppose -o - 2003249 = 5*k - 10261021, 3*k - 4*o = 4954677. Is k a composite number?
True
Let g be (-30)/((-10)/2) - 3. Suppose 0 = 3*r - g*c - 9228, -3056 = -r - 3*c - 0*c. Is r composite?
True
Let y(j) = -548*j - 231. Let q be y(6). Let p = q - -5240. Is p prime?
True
Let t(z) = z**2 - 2*z. Let p(a) = -82*a**2 + 7*a - 8. Let j(v) = -p(v) + 2*t(v). Is j(-7) a prime number?
True
Suppose 0 = -5*s - 0*s + 2*y + 538, 6*s - 2*y = 646. Is 1104/s + -10 - 500234/(-18) prime?
True
Is -2*((-9)/15 - 459295/50) a prime number?
False
Let d(o) = 5690*o**3 + 5*o**2 - 103*o + 317. Is d(3) a composite number?
True
Let s(f) = -2*f**2 + f + 14. Let q be s(3). Is q/(-3 + 12108/4038) prime?
True
Let j = 99 - 74. Suppose 5*g = h + j, -g = 5*h