-16)/(-844))*b prime?
False
Let v(z) = 24829*z - 3516. Is v(25) a prime number?
False
Suppose -514 = -2*u - 13784. Let i = -11084 - u. Let v = i - -9406. Is v composite?
False
Suppose -5*c - 5*q + 72 = 17, -16 = -4*c + 3*q. Suppose o + 6*s = c*s + 8, -4*s - 27 = -3*o. Suppose 0 = -2*n + 4*g + 298 + 1408, o*g - 25 = 0. Is n prime?
True
Is -1 - -26817 - (-2 + (6 + -26)/5) prime?
False
Let r = 951486 - 271195. Is r a prime number?
True
Let a(n) = 3*n**3 + 2*n**2 - n + 3. Let q be a(-2). Let g(m) = -162*m - 28. Is g(q) a composite number?
True
Suppose 106843 = w + 2*b, 249691 = 4*w - 2*b - 177651. Is w composite?
True
Let i(u) = -567*u - 44. Let s(y) = y**3 - 12*y**2 + 18*y + 7. Let k be s(10). Is i(k) prime?
False
Let m(o) = -o**3 + 6*o**2 - 8. Let b be m(6). Let t(p) = 22*p - 13. Let z(a) = -66*a + 40. Let i(j) = -7*t(j) - 2*z(j). Is i(b) prime?
False
Suppose 5*y - 11162 = -4*t + 62147, 3*t + 161209 = 11*y. Is y composite?
False
Suppose -20*b = -14*b - 90. Let s = -33 + b. Is ((-9)/(s/20))/(4/6) a prime number?
False
Let j be ((-7628)/5)/(473/95 - 5). Suppose -7*r = -4317 - j. Is r composite?
True
Suppose -5*u + 2*u - 15 = 0, u = 4*w - 7645. Suppose -3*j + 3*c + 683 = -1237, -3*j + w = -c. Is j composite?
True
Suppose -2*f + 115914 = -4*t, -f + 86*t - 85*t + 57952 = 0. Is f a prime number?
True
Suppose 7*l - 40 = 12*l. Let q be (l/(-3))/(14/21). Suppose 0 = -4*i + q, d - 4*i = -d + 4854. Is d a composite number?
True
Let v = -573 - -996. Let p = v + 4904. Is p a prime number?
False
Let q be 86 - -2 - (-6)/(-12)*2. Suppose -89*s + q*s + 5084 = 0. Suppose -2*k - 3*t + s = -535, 4623 = 3*k + 2*t. Is k prime?
True
Suppose -4*r - 24 = -5*r. Suppose 31220 = -4*b + r*b. Is b a composite number?
True
Suppose 0 = 88*t - 6489754 - 22563358. Is t a prime number?
True
Suppose 6468*k - 6457*k = 3109777. Is k a prime number?
True
Suppose 0 = 4*h + 2*n - 38, 4*n + 25 = 5. Suppose h*w - 21*w = -8253. Is w prime?
False
Let t(x) = 219*x + 37759. Is t(0) a composite number?
True
Let j(i) = i**3 + 7*i**2 - 7*i + 10. Let n = 10 - 18. Let z be j(n). Suppose 5*s - 2*g - 2477 = -116, s = -z*g + 477. Is s a prime number?
False
Let x(a) = -a**3 + 12*a**2 + 15*a - 20. Let t be x(13). Is (-3 - -1)*(-8571)/t prime?
True
Let k(n) be the second derivative of -1/20*n**5 + 36*n + 0 + 9/2*n**2 + 2/3*n**4 + 13/6*n**3. Is k(7) a prime number?
True
Let r(i) = 11*i**2 - 2*i - 110. Let s be -3 + 3/(-15)*0 + -18. Is r(s) a prime number?
True
Suppose 4*t + 756590 = 6*t + 2*a, -t = -4*a - 378310. Is t prime?
False
Is ((-9)/54 + 0)*-1037598 composite?
False
Suppose 6*l - 20 = 11*l. Let n be l/4 + (-1)/(-1) + 6. Let z(y) = 10*y**2 - 10*y + 7. Is z(n) a prime number?
True
Let v(s) = s**2 + 2*s - 2. Let a be v(1). Let p be (a + 220)/(4/(-4)). Let z = 512 + p. Is z prime?
False
Let v(s) = -4674*s - 52. Let o be v(-7). Is o/8 - 6/24 a prime number?
False
Suppose -92*a = -75*a - 806865 - 12892. Is a a prime number?
True
Let w be -1*(25/4 + 25/(-100)). Let m(r) = -416*r - 27. Is m(w) a composite number?
True
Suppose 111*v = 45*v + 3311682. Is v composite?
False
Suppose 212563 = 76*b - 159609. Is b a composite number?
True
Suppose 3*w + s = 177, 4 = -5*s - 11. Suppose -w*v + 1910 = -58*v. Is v a composite number?
True
Let k(p) = 3*p**2 + 13*p + 15. Let h be k(-4). Suppose h*j - 23757 = 8*j. Is j prime?
True
Suppose -23*z - 13960 = -31*z. Suppose 0 = 91*f - 90*f - z. Is f a composite number?
True
Let b = -538146 + 791479. Is b composite?
True
Let t be ((-1 - 4) + 7)/(-2) + 3. Is (-2)/(-3)*(2 + 17513/t) a composite number?
False
Let n(u) = 401718*u**2 - 302*u + 609. Is n(2) a composite number?
True
Suppose -3*a = 3*k + 15, 4*a + 3*k = -0*a - 15. Let o(f) = 5*f + 2761. Is o(a) composite?
True
Let k be (2/(-4))/((-3)/(-744)). Let h = 273 + k. Suppose 3*s = -5*t + 570, -t - 13 = 5*s - h. Is t prime?
False
Let o = -27 - -220. Suppose -25 = -4*k - 0*k + 5*a, 5*k + 2*a - 23 = 0. Suppose -2*n + k*z + o = 0, 3*n + n = -3*z + 373. Is n composite?
True
Is 22576575/159 + 12/(-318) composite?
False
Let z(h) = 268*h**2 - 20*h + 101. Let f(k) = -135*k**2 + 9*k - 50. Let c(i) = 5*f(i) + 3*z(i). Is c(11) a composite number?
False
Suppose -4*n = -496 - 92. Suppose n*m - 144*m + 6 = 0. Is -1 + m + -11 + 1007 prime?
False
Let n(f) = 88*f - 79. Let g be n(6). Suppose -59 = -4*o + g. Is o composite?
False
Let l be (36/14)/(8/168). Suppose 5 = -l*y + 59*y. Is -3 - y - 15*-81 composite?
True
Let x be 2 - ((-2)/(-6) - (-1)/(-3)). Suppose 0 = -4*o + 2*a + 34, -4*o = -3*o + x*a - 21. Suppose 14 = -5*w - o, w + 242 = 3*q. Is q a composite number?
False
Let n(m) = -3*m**3 - 12 + 17 + 6*m - 4 - m + 8*m**2. Is n(-6) a composite number?
False
Let q = 113195 + -56098. Is q a composite number?
False
Let d(f) = 140*f**2 - 27*f - 27. Let u(n) = -47*n**2 + 9*n + 9. Let o(r) = 6*d(r) + 17*u(r). Suppose -145*t + 45 = -154*t. Is o(t) composite?
False
Let u(l) = -1678*l + 4353. Is u(-32) composite?
False
Suppose -23105873 - 30815708 = -241*n. Is n a composite number?
True
Let d(l) = 7660*l**2 - 145*l + 666. Is d(5) a prime number?
True
Let c(q) = 23*q + 30. Let b(v) = -116*v - 150. Let s(f) = -2*b(f) - 11*c(f). Let n be s(-28). Is (n/(-4) + 1)/((-5)/30) prime?
False
Let a be 3676 + (-3 - (-1)/1). Let k = a - 855. Is k a composite number?
False
Suppose 4*m + 2*z - 46 = 0, 9*m - 45 = 5*m - 3*z. Is 4/(12/9)*5036/m prime?
True
Suppose -3*t - 15 + 12 = 0, 0 = 3*w - 5*t - 1546136. Is w a composite number?
False
Let f(o) = 177*o**2 + 139*o + 1741. Is f(-12) a composite number?
False
Let s(w) = -25*w**3 - 2*w**2 + 15*w + 9. Let u be s(-5). Suppose -3*d + u = -7812. Is d composite?
False
Let w(u) = -3*u**3 - 100*u**2 - 108*u + 128. Is w(-53) a composite number?
False
Suppose -15 = 3*w, -5*a = -8*a + 3*w - 891. Let z = 551 - a. Is z composite?
False
Suppose -i = -13 + 15. Is (-6 - (-264216)/40) + i/5 a composite number?
False
Let v(c) = 4*c**2 + 2*c - 2. Let q be v(-3). Suppose -d - q + 441 = 0. Suppose -1736 = -z + d. Is z composite?
True
Let t = 135 + -130. Suppose -1814 = -t*k + 10986. Suppose 11*l - k + 613 = 0. Is l a composite number?
True
Let r = 421332 - 293233. Is r prime?
True
Let l(r) = 72527*r + 86. Is l(1) a prime number?
True
Let f = 473923 - 237840. Is f composite?
True
Let a(j) be the third derivative of -11*j**6/120 - j**5/15 - 3*j**4/4 - 55*j**3/6 + 47*j**2. Is a(-6) composite?
True
Suppose -8 = -4*t, v + 4*t - 13 = 3. Let z be 44/v*(3 + 19). Suppose 2*g = -k + z, -g + 51 = k - 12. Is g a composite number?
True
Let o be 9621/7 + (-3)/7. Suppose -7*c + 3*c - o = 2*a, 5*c = -25. Let s = a - -1788. Is s a composite number?
True
Is -21 - ((-1777412)/19 + -26) a prime number?
True
Let n(y) be the third derivative of 1481*y**4/8 - y**3/6 + 33*y**2 - 1. Is n(2) prime?
False
Let c = -1030039 - -1491652. Is c prime?
False
Suppose 9*c + 10832 = 13*c. Suppose 0 = -8*i + 7*i + k + c, 0 = -i + 4*k + 2717. Is i prime?
False
Let q(f) = 31402*f - 5669. Is q(20) a composite number?
True
Let w be ((-8)/(-14))/(-2) - (-2)/7. Suppose w = 2*i - 10*i + 7584. Suppose i = r + 3*r. Is r prime?
False
Suppose -23*h + 27*h = 16. Let c(i) = 38*i**2 - 5*i + 18. Let x be c(h). Is (x/1)/2 - -2 a prime number?
False
Let h be (-44)/(6/(-12)*(-1)/(-1)). Suppose 87*w - h*w + 12439 = 0. Is w composite?
True
Let h = 406975 + -49136. Is h a composite number?
False
Let w(m) = -14*m + 32. Let y be w(3). Is -7*(-1 + -11 - y/10) a prime number?
False
Let o(b) = b**3 - b - 1. Suppose m = -m. Let d be o(m). Is (-47)/((-12)/(-15) + d) composite?
True
Let a(r) = -2*r**3 - 9*r**2 - 13*r - 27. Let n be 1/(-2) - 378/(-12). Let c be (0 - -5) + (-341)/n. Is a(c) a composite number?
True
Is 5/(10/(-71503))*(64/8 + -10) composite?
False
Let z = -5 + 22. Suppose 0 = -z*c + 12*c + 1060. Suppose -5*r = -5*g - 1955, 3*g + 572 = 2*r - c. Is r a composite number?
False
Let k = -975 + 1987. Suppose 0 = -2*b + 2*r + k, 4*r = -2*b - b + 1553. Suppose -7*y = -8*y + b. Is y prime?
False
Let g = 646 + 1933. Is g composite?
False
Let y = -131676 + 504599. Is y a prime number?
False
Let d be (-2)/(-12) + 427144/48. Suppose 2*p - 3560 = g, -p + 6*p - d = 3*g. Is p a prime number?
False
Suppose 4*m - 3868 = 6*m. Suppose 52*w - w = -34425. Let o = w - m. Is o composite?
False
Let j(l) be the s