*j - 54*j - 98715. Is f prime?
True
Let v(g) = 2*g**2 + 5*g - 16. Let x be v(-5). Let f = x - 4. Suppose -1830 = -f*n + 5*p, 7*p = n + 2*p - 346. Is n a prime number?
False
Is (2 - (9 - 485))/((-2)/(-113)) prime?
False
Let i = -89690 - -176433. Is i a composite number?
False
Let k(c) = 2421*c - 14. Let u be 1 + 13/3 - 2/6. Is k(u) prime?
False
Suppose p + 3*z = 13, 11 = 2*p + 5*z - 13. Let l(y) be the second derivative of y**5/20 + y**4/12 + y**3/3 + y**2/2 + 4*y. Is l(p) a prime number?
False
Let c = 78001 + -54896. Is c a prime number?
False
Suppose -3*c + 94 = -8*u + 3*u, -12 = -3*u. Suppose 9*t + c = -16. Is 1 + -1 - (t - -11198)/(-8) composite?
False
Let a be -2 - (-78 + 6)/(-9). Is 21254 - a*6/(6 - -6) a prime number?
False
Suppose 73*o - 216009 = 349814. Is o composite?
True
Suppose -r + 11 = 3*p, 8*p - 3*p - r = 29. Suppose -5*c - 7*s = -6*s - 33686, -p*c + 4*s = -33681. Is c prime?
True
Suppose 2 + 6 = 5*z + 2*v, -4*v = -4*z + 12. Suppose -z = 3*r - 4*r. Suppose r*f - 402 = 236. Is f a prime number?
False
Let a(y) = 309*y**2 - 3*y + 9. Let h be a(-5). Suppose 0 = 14*z + h - 144851. Is z composite?
True
Suppose 6*r = -246199 + 712369. Suppose r = 5*j + 5*k, 5*j - 5*k = -3*k + 77709. Is j composite?
False
Let p(v) = -3*v**2 + 21*v. Let f be p(8). Let z be (f/(-3))/(3 + 494/(-166)). Suppose 0 = -7*j + z - 87. Is j prime?
False
Let o(a) = a - 3. Let c(q) = 1413*q - 79. Let w(u) = c(u) - 4*o(u). Is w(10) a composite number?
True
Suppose y + 4*w + 2804 = 0, -3*y = -w + 5*w + 8372. Let n = -1021 - y. Is n composite?
True
Let i = -33 - -38. Suppose i*g + 2237 = 4*o, -3*o + 2230 = o + 2*g. Suppose -3*h + o + 93 = 0. Is h prime?
False
Let o(u) = -17663*u - 381. Is o(-1) prime?
False
Let y(k) = 25037*k**2 + 23*k - 1. Is y(-1) a composite number?
False
Let j(c) = -302*c**3 - 4*c**2 + 5*c + 5. Let z be (16 + -18)/((-1)/(-2)). Is j(z) a prime number?
True
Suppose -p + 96257 - 26262 = 0. Suppose 10*r - p = 7955. Suppose -r = -5*l - 0*l. Is l prime?
True
Let h be ((-40)/30)/(1/(-3)). Suppose -h*r + 8460 = 3*t - 8*t, 0 = -4*r + t + 8444. Suppose -3*a + a = -r. Is a composite?
True
Let k(w) = w**2 - 43*w - 122. Let g be k(46). Suppose 17*t - g*t = 3787. Is t prime?
False
Let l(a) = -41*a**3 - 14*a**2 - 11*a + 225. Is l(-22) composite?
False
Let i = 4426317 - 2534866. Is i a composite number?
True
Suppose -760504 = -18*y + 771674. Is y prime?
True
Let g(h) = h**2 - 269*h + 183759. Is g(0) composite?
True
Suppose 9*x - 3681843 = -1070880. Is x a prime number?
True
Let v = -173488 - -973817. Is v prime?
True
Suppose -5*j - 3 = -4*j, 3*g - 211188 = 5*j. Is g prime?
False
Let n(h) = 8*h**2 + 9*h + 8. Let b(l) = 2*l**3 - 16*l**2 - 19*l - 17. Let c(r) = 2*b(r) + 5*n(r). Is c(7) composite?
True
Suppose -g - 3 = 4*o, -5*o = -0*o - 4*g - 12. Let i be o - (-1 + -2) - 1. Suppose -746 + 216 = -i*r. Is r composite?
True
Suppose 88 = 4*d - 2*u, 5*d = -0*u + 3*u + 109. Let p = -18 + d. Suppose 7 = 4*r - 9, 2*j - 1794 = p*r. Is j composite?
False
Suppose -11691 = 7*o + 6817. Let c = o - -14967. Is c a composite number?
False
Suppose -76 + 71 = r, 0 = 5*f + 3*r - 698290. Is f a composite number?
False
Let z = 163 + -116. Suppose -z*v + 55070 = -37*v. Is v prime?
True
Let d = 50796 - -3287. Is d a composite number?
False
Let p(h) = 38*h**2 - 12*h + 5. Let n(d) = -d**2 - d. Let r(y) = -4*n(y) + p(y). Let b be r(5). Suppose 0 = 2*g + 5*g - b. Is g a composite number?
True
Let u(p) = 99*p - 118. Let w(f) = 12*f - 23. Let j be w(4). Is u(j) composite?
False
Let n(y) be the first derivative of -y**4/4 - 2*y**3 - y**2 - 10*y + 1. Let m be n(-6). Suppose 0 = -m*r + 29 + 641. Is r a composite number?
True
Let s = 22348 - -244003. Is s prime?
True
Let a(t) = 905*t**2 + 5*t + 1. Let z(r) = -3*r - 52. Let y be z(-18). Is a(y) a prime number?
True
Let j(o) = o**2 + 17*o + 2. Let w be j(-17). Is 1170/18 + (6 - 2 - w) a composite number?
False
Let i = 158 - 109. Let x = 49 - i. Suppose x = -4*l - 0*b - 2*b + 2076, -2*l + 5*b = -1062. Is l a composite number?
False
Let u be 5/((-20)/(-24)) - 2. Suppose 6 = 3*z, u*z + z - 3374 = -4*x. Is x prime?
False
Let m = -81 - -85. Suppose m*h + 30 - 12 = 2*j, 5*h + 4*j = -42. Is 6/3*(-2823)/h a composite number?
False
Let k be ((-66)/(-44))/((-1)/8). Is (-2 - (-4098)/k)/(2/(-4)) prime?
False
Let b = 606 - 136. Let h = -219 + b. Is h a prime number?
True
Suppose -2*m = -5*q - 244538, 0*m - 2*m + 244538 = -q. Is m composite?
True
Let c = -80 - -80. Is 2 + 875 + -6 - c prime?
False
Let s(l) = -22*l**3 - l**2 + 3*l - 2. Let w be s(1). Is (-5790)/w + (-336)/(-88) + -4 prime?
True
Suppose 0 = 5*a + 5*n, -2*a - 2*a = 2*n + 4. Is (-125391)/(-14)*(16/6 + a) composite?
True
Suppose -4*t - 13 = -77. Let r(c) = c**3 - 15*c**2 - 17*c + 13. Let x be r(t). Is (-1114 - 3)/(-4 - x) composite?
False
Suppose -20*y = -19*y - 4. Suppose -y = -3*o - 5*s, 7*o - 9 = 3*o - 3*s. Suppose -2963 = -4*m - 5*d - 266, -o*m + 5*d = -2014. Is m prime?
True
Let r(g) = 282*g**2 + 3*g + 6. Let c be r(3). Let u = c - 1719. Suppose -3*q = 6*d - d - 2085, 2*q = -2*d + u. Is d a prime number?
False
Let x(y) = -8*y - 29. Let g be x(-4). Suppose 15*m + 2*r = 13*m + 6100, 12197 = 4*m + g*r. Is m a prime number?
False
Let p(r) be the second derivative of 21*r - 13/3*r**3 - 9/2*r**2 + 0. Is p(-5) a composite number?
True
Let p = 15 - 10. Let n be 4/(-3)*300/(-80). Suppose 3*h = -n*i + 2483, p*i - 1658 = -2*h + i. Is h composite?
False
Let p(g) = g**2 + 7*g - 1106. Let o be p(0). Let r = 4121 - o. Is r a prime number?
True
Is (5/((-15)/434914))/(3 + 11/(-3)) prime?
True
Let t(h) = -h**3 + 9*h**2 - 6*h - 1. Let i = -37 - -45. Let c be t(i). Suppose c*j = j + 21854. Is j composite?
True
Suppose -192*a + 76976963 + 7353654 = -5191111. Is a a prime number?
False
Suppose -2*v - d + 37 = 0, 3*d + 60 - 9 = 3*v. Let y be (-1 + 2)/((-3)/v). Is 634*(2 - y/(-4)) composite?
False
Suppose 38*t + 20*t + 2*t = 449580. Is t a prime number?
False
Suppose -169294 = -67*f + 2393523. Is f a composite number?
True
Suppose 1 = k, -2*q + 15 = 3*k - 12. Let s(f) = -6*f**2 + 7*f**3 - 3*f**3 + q + 4*f + 0*f**3 - 5*f**3. Is s(-11) composite?
True
Let u(c) = -7*c**3 + 8*c**2 - c - 19. Let s be ((-6)/9)/(6/45)*1. Is u(s) composite?
False
Suppose 51*r + 208 = 47*r. Is 1 + (-22)/26 - 506004/r prime?
False
Let b(j) = 4614*j - 827. Is b(17) a composite number?
False
Let p(a) = -57*a - 22. Let d = -9 - -15. Suppose -d*q - 26 = -4*q. Is p(q) prime?
True
Let i(t) = 10*t + 30. Let j(v) = 28 - 11*v - 12 + 73 + 41*v. Let r(h) = 8*i(h) - 3*j(h). Is r(-6) a composite number?
True
Let n = -456 + 453. Is n/(45/(-23142)) - 10/(-50) a composite number?
False
Let n(r) be the third derivative of 19*r**5/60 - 23*r**4/24 - 19*r**3/6 + 140*r**2. Is n(-7) prime?
False
Is ((-1)/(-3))/(7 - (-4287470)/(-1071870) - 3) a prime number?
True
Let w(q) be the first derivative of -23*q**2/2 - 16*q + 17. Let a be 0/(-2 - 1*-4) + -7. Is w(a) composite?
True
Let m = 15435 + -3585. Suppose m - 31831 = -13*w. Is w a composite number?
True
Suppose -11*n + 54 = -23. Suppose 3*h + 4*p - 1033 = 0, -4*p + 2 = -2. Suppose -h = -n*x + 42. Is x a composite number?
True
Let w(k) = k**3 + k + 31092. Let c be w(0). Let b = c - 19979. Is b prime?
True
Let m = 15198 - 22370. Is (-5)/2*m/55 a prime number?
False
Let o(x) = -6998*x + 177. Is o(-7) composite?
True
Suppose 3*x - 13 = 47. Suppose -h - 12 = -o, 0 = -0*h + 4*h + x. Is 6/21 - (-12871)/o a composite number?
True
Let j(c) = -4014*c - 17. Let f be j(1). Let w = 122 - f. Is w prime?
True
Let y(a) = -8*a + 35. Let m be y(5). Let w(o) = -15*o**3 - 15*o - 13. Is w(m) composite?
True
Let l(f) be the first derivative of -f**3/3 + 3*f**2 - 16*f - 11. Let w be l(9). Let r = w - -54. Is r a composite number?
False
Suppose -54*j - 4*i - 125584 = -58*j, -i = 5*j - 156998. Is j prime?
False
Suppose 649987 = 5*q + m - 4913257, 5*m = -4*q + 4450591. Is q prime?
False
Let g(b) = 60*b**2 - b + 18. Suppose 55*d - 36 = 59*d. Let x be g(d). Suppose u = 4*o + 406 + x, u = o + 5296. Is u prime?
True
Let u be (0/(-1))/(-6 - -5). Suppose -5*g - 5 = u, 0 = -2*m - 0*m - 3*g + 503. Is m composite?
True
Is (378424/20)/(152/380) a prime number?
True
Suppose 622521 + 267368 - 129824 = 15*y. Is y a composite number?
False
Let x(z) be the 