 Is (2 + -1144)*(-1)/m prime?
True
Let d be 56/(-140) - 3*(-4)/5. Suppose 2*v + d*v + 8 = 0, l + 3*v + 12 = 0. Let q(h) = -2*h**3 + 4*h**2 + 8*h + 13. Is q(l) a prime number?
True
Let s be 12*(-2)/(-16)*20/3. Let h(x) = -x**3 + 18*x**2 - 41*x + 4. Is h(s) composite?
True
Suppose -4*b - 22 = -2*h, -17*b + 13*b - 3*h - 7 = 0. Is 1069 + 6/12*b a composite number?
True
Let r = 45 - 89. Let m = 492 + r. Let o = m - 155. Is o a composite number?
False
Suppose -6*y = -744634 + 328717 - 2845065. Is y a prime number?
True
Suppose 0 = -3*y, 3*n + 288 = 7*n + 5*y. Is 2/9 - 74*(-1324)/n composite?
False
Let g(f) = -f**3 - f**2 + 2*f. Let r(q) = -5*q + 3. Let o be r(1). Let u be g(o). Let w(y) = -y**3 - y + 323. Is w(u) a prime number?
False
Let w(y) = y**2 - 22*y + 137. Let b be w(16). Suppose -b*h + 228257 = -120776. Is h a prime number?
True
Let i = 32 + -46. Let d be (13 + i)/(2/(-514)). Suppose 0 = x + 3*z - d, 2*x = -5*z + z + 518. Is x a composite number?
False
Let q(f) = 3*f**3 + 10*f**2 + 61*f + 5. Is q(34) a composite number?
True
Suppose -5*s - 250800 = -17*s. Suppose 0 = -13*f + 8*f - s. Let w = -1649 - f. Is w a composite number?
False
Suppose 5*k - 39939 = -3*z + 7*z, 0 = -3*z - 3. Let r = 5380 + k. Is r composite?
False
Let q(a) be the first derivative of 2*a**3 - 13*a**2 - 11*a - 53. Is q(12) a prime number?
True
Let d(q) = -q**3 - 9*q**2 - 22*q + 4. Let s be d(-4). Is 5 - 2 - (-1162 - s) composite?
True
Suppose 3*v = 4*y + 241884, 2*y = 10*v - 5*v - 120928. Is (78/(-234))/(1 + 60476/y) composite?
False
Let r(b) = -2*b**3 - 20*b**2 - 4*b - 15. Let z be r(-9). Is 1/((-1)/z*51/323) composite?
True
Let w be 268/(-8)*(-12)/(-3)*-61. Suppose -w = -16*p + 1906. Let r = 1187 - p. Is r prime?
True
Suppose -20 = -2*u - 28, -4*u + 50318 = 3*l. Is l prime?
False
Let p = 20 + -20. Suppose p = 3*h - 10*h + 14. Suppose 3*y + 1073 = h*i, -i - y = y - 547. Is i prime?
True
Suppose -78*g - 65*g = -7865143. Is g a prime number?
True
Suppose -8*m + 4*f = -6*m - 4046, -3*m + 6066 = -5*f. Is m composite?
False
Suppose 5*u + d - 439909 = 0, 0*u = 3*u - 3*d - 263967. Is u composite?
True
Let z(p) = -2*p**2 + 35*p - 26. Let x be z(17). Is (-3093)/x - -3 - (-12)/(-18) a prime number?
False
Let r(w) be the third derivative of w**6/30 - 13*w**5/15 + 5*w**4/4 + w**3/2 + 13*w**2 - 1. Is r(15) a prime number?
False
Suppose -52*i = 37*i - 29411741. Is i prime?
True
Suppose 106*t - 21915222 = 85*t. Suppose 39*l + 51617 - t = 0. Is l composite?
True
Suppose -3*c - 14 + 11 = -u, 2*u = -c - 1. Suppose 5*p + 2*z - z - 10799 = u, 0 = 4*z - 16. Is p a prime number?
False
Let c(s) = 176*s - 35. Let y be c(10). Suppose 0 = q + 2*w - 0*w - y, -3*q = 5*w - 5171. Suppose -6947 = -10*k - q. Is k a composite number?
False
Suppose -6409 = -n - 3*z, -4*n - 30*z + 31*z = -25584. Is n a prime number?
True
Let h(t) = 5 - 2*t**3 - 7*t**2 + t**3 - 16*t + 6*t + t. Let y be h(-5). Suppose 5*z + 6*f = 4*f + 385, y = -3*z + f + 231. Is z a composite number?
True
Let m(x) = 7 + 5*x**2 + 0*x**2 - 6 - 3*x + 82*x**3. Is m(2) prime?
False
Let j(x) be the second derivative of 37*x**4/6 + 5*x**3/6 + x**2/2 + 23*x. Let p be j(4). Let r = -748 + p. Is r a composite number?
False
Let d(i) = i - 2. Let m be d(6). Suppose m*z = 5*z + 888. Let g = z + 1753. Is g a prime number?
False
Let m = 11762 - 3661. Let b = m - -35766. Is b a composite number?
False
Suppose 22 = o + 2*z - 14, o + z - 35 = 0. Suppose o - 4 = -5*h. Is (2*1461/h)/(-1) prime?
True
Suppose 112497 + 75115 = 13*a - 90705. Is a a prime number?
False
Let p = 51 + -47. Suppose 14*h = p*a + 9*h - 39, -a = 3*h + 3. Is (-15)/(-2)*116/36*a composite?
True
Suppose 60*z - 78*z + 4608 = 0. Let b(q) = 2*q**2 - 25*q. Let u be b(17). Let d = u + z. Is d a composite number?
False
Let n be -2 - (6 - -2814)/(-1). Let x = n + 345. Is x a composite number?
False
Suppose 0 = 4*o - 2*h - 12205 - 6381, 2*o = 3*h + 9283. Suppose -6*j - 5*p + o = -3*j, -3094 = -2*j - 2*p. Is j composite?
False
Let m(r) = -2*r + 14. Let a be m(6). Suppose -5*g - 14 = a*g. Is 1*-4*(g + 14922/(-24)) composite?
True
Suppose -10*v - 4295 = 1535. Let y = v - -1032. Is y a composite number?
False
Suppose -4*y - 3*a = -142675, 2*y = 3*a + 39669 + 31682. Is y prime?
True
Is (316739 - -183) + 15/1 a prime number?
True
Suppose -f = -5*i - 5*f + 188, -2*f + 4 = 0. Let w be (i/(-15) - -2) + (-66)/(-15). Suppose -6*t = -t - 3*a - 1917, -w*t + 1508 = 4*a. Is t a composite number?
True
Suppose -2*g + 4*g = 0. Let m(k) be the second derivative of k**5/20 - k**4/12 + k**3/6 + 209*k**2/2 + 137*k. Is m(g) a composite number?
True
Suppose 3*m + 34770 = -3*m. Let h = m - -9504. Is h composite?
False
Suppose -6*n - 19543 = -58141. Is n a prime number?
False
Let j = 54295 - 22928. Is j a composite number?
True
Suppose 0 = 3*d + 2*f - 149861, 0 = -7*d + 4*d + f + 149876. Is d a composite number?
False
Let x(q) = 42146*q - 1135. Is x(22) a prime number?
True
Let m = 23217 - 580. Is m composite?
False
Let p be -4*5/80 - (-2)/8. Suppose p = 321*b - 323*b + 3242. Is b a composite number?
False
Let s be (-6 - -3) + (-60)/(-5) + -4. Let v = s + -3. Is (-1 - v - 7696/32)*-2 a composite number?
False
Let k = 7956 - 1567. Is k a prime number?
True
Let u(y) = y**2 + 1. Let r(x) = 4*x**2 - 42*x - 1. Let o(s) = -r(s) + 6*u(s). Let a be o(-15). Let h = a - -379. Is h composite?
True
Let h(g) = 66*g**2 + 19*g + 72. Let w be h(22). Suppose 104177 = 7*d + w. Is d a prime number?
False
Suppose 20*x + 240 = -320. Is -8 + (-216)/x + 194030/14 composite?
False
Suppose -a + 9 = 5*v, -3*v - a = 2*a - 3. Suppose 3*u = 2*r + 250, 2*r - 16 = -v*r. Is u composite?
True
Suppose 11*t + 108 - 20 = 0. Is (3 + 0)/(20873/2609 + t) prime?
False
Suppose -332843 = -17*l - 26758. Suppose 0 = -3*q - 2*r + l, q - 3145 = 4*r + 2880. Is q a prime number?
False
Let m = 100 + -92. Suppose 18109 = -a + m*a. Is a composite?
True
Let t(m) = -m**2 - 23*m + 28. Let y be -2 + (-4)/(-5)*220/(-8). Let k be t(y). Is k - 2/2 - (-3498)/6 a composite number?
True
Let x be 38/6 - 36/(-54). Suppose -i - 5 = -2*d + x, 5*i + 16 = -d. Let u(h) = -4*h**3 - 3*h**2 + 5*h + 3. Is u(i) a composite number?
False
Let a be 7/((-77)/(-22))*(-1)/2. Let r(g) be the third derivative of -25*g**6/6 + g**5/60 - g**4/24 - g**3/6 + 2*g**2. Is r(a) a prime number?
False
Let a(f) = f**3 + 19*f**2 - 7*f + 21. Let t be a(-17). Let q = 1977 - t. Is q prime?
True
Let g(r) = -165*r**3 - 14*r**2 - 64*r. Let k be g(-5). Suppose -k + 725 = -2*x. Is x a prime number?
False
Let n(v) be the third derivative of -73*v**4/8 - 22*v**3/3 - 4*v**2. Let d be n(-7). Let g = d - 866. Is g a prime number?
False
Suppose -714*v + 65815 = -709*v. Is v composite?
False
Let u = -20673 + 46638. Suppose -u = -4*q + 19027. Let o = q - 6619. Is o a composite number?
True
Let n = 71 - 41. Let p = n - 44. Let j(g) = -10*g + 47. Is j(p) a prime number?
False
Let h(d) = -263*d - 44 + 192 + 87*d - 159*d. Is h(-9) prime?
True
Suppose u - 6*u + 1120 = 0. Suppose -6*g + 3694 = -u. Is g a composite number?
False
Suppose o + 17 = 2*u + 3*u, 3*u = -2*o + 18. Suppose -m - 481 = -2*f + 100, -f + u*m + 287 = 0. Let j = f + 122. Is j prime?
False
Let x(n) = 98*n**2 + 36*n + 11. Let f be x(-11). Suppose -36*a + f = -29*a. Is a composite?
True
Let o = -44 - -54. Let q = o - 3. Is 1/2*(1559 + (-21)/q) a composite number?
True
Let s be 1 + (81 + -2)*11. Let l be 52/(-8)*-9*(-2 + 8). Let v = s - l. Is v prime?
False
Let j(t) = -t**2 - 2*t + 60. Let x be j(-9). Is 3/(63/(-20713))*x composite?
True
Suppose -26 = -11*k + 18. Let r(t) = 175*t + 1. Is r(k) a composite number?
False
Suppose 2*m - 4*m + 1788 = -2*p, -4*p = 0. Let s(f) = 1718*f - 3. Let t be s(1). Let o = t - m. Is o composite?
False
Let q be 5 - (2 - (-1066 - -8)). Let f be (-4)/18 + 266/(-18). Is (q/f)/((-1)/(-3)) composite?
False
Let d(y) = -y**3 + 2*y**2 - 11*y + 35. Let a be -2*((-10)/(-15) - (-16)/3). Is d(a) prime?
False
Let f(b) = 46*b**3 + 3*b**2 + 2*b + 12. Is f(5) a prime number?
False
Let x(i) = -i**3 + 5*i**2 + 14*i + 3. Let w be x(7). Suppose 381 = -2*m + w*m. Is m a prime number?
False
Let z(t) = -6*t**2 + 26*t + 17. Let o be z(5). Is (2/o)/(120/(-90))*100070 a prime number?
False
Let w = 20898 + 44873. Is w composite?
True
Let a = -581544 + 1009225. Is