?
False
Let r(u) = 2*u**3 + 7*u**2 - 15*u - 17. Let d = 93 - 17. Let o = d + -69. Is r(o) composite?
False
Is (-1 + 2)/(((-15)/(-73930))/((-27)/(-18))) a composite number?
False
Suppose 3*z = 4*l - 150536, 56485 = l + 4*z + 18832. Is l composite?
True
Let n(h) = 18*h**3 - 2*h**2 + 3*h - 2. Let i be n(1). Suppose -i + 19 = f. Suppose 0 = f*q - 3*r + 7*r - 4654, 0 = 4*q + r - 9329. Is q a prime number?
True
Let i be (3/2)/((-63)/(-168)). Suppose -5*v + 11836 = 4*y - 1879, -5474 = -2*v - i*y. Is v composite?
True
Let v(j) = -j**2 - j - 1. Let r(b) = -5*b**2 - 11*b. Let q(l) = -r(l) + 4*v(l). Let x be q(-9). Is (-1 - 2442/x)*7/(-2) prime?
False
Let i(z) = 29*z**2 + 11*z - 11. Let b be 190/35 - 3/7. Is i(b) prime?
True
Suppose m = 572 + 330. Suppose -65*q + 41*q = -360. Let r = m + q. Is r a composite number?
True
Let v(k) = k**3 + 26*k**2 - k - 32. Let u be v(-26). Is (0 - 4)/(5/(2685/u)) a composite number?
True
Is ((-2)/(-5))/((-196)/(-3430)) + 149572 a prime number?
True
Suppose -2*n + 5*d = -311852, -66*n = -70*n + d + 623686. Is n prime?
True
Suppose -199*c + 31123973 = 9084922. Is c a prime number?
True
Let h(b) = b**2 + 16*b - 102. Let y be h(42). Let a = 4088 - y. Is a prime?
False
Let k = 2306 + -2301. Let t be ((-162)/(-4))/(2/4). Suppose 3*z - t = -3*o, 0 = -2*o + k*o + 5*z - 91. Is o prime?
False
Suppose -3*i - i + 5430 = 2*y, 4*y = -4*i + 10840. Let j = 3614 + y. Is j prime?
False
Let u = -4483 - -7110. Suppose -u = 363*i - 364*i. Is i composite?
True
Let q(n) be the second derivative of -n**4/8 + 113*n**3/6 + 6*n**2 - 16*n. Let f(r) be the first derivative of q(r). Is f(0) prime?
True
Let p be (287/3)/(1/6). Let l be (-36)/36*(-1 - -1). Suppose 4*z = 2*x + z - p, 3*x - 3*z - 867 = l. Is x composite?
False
Suppose 2*s = -4, -o + 8 = -22*s + 20*s. Suppose -o*n = -27967 - 6069. Is n a composite number?
True
Let r(n) = n**3 - 17*n**2 - 49*n - 13. Let j be r(20). Suppose -11*v + 14*v + j = 0. Let t = 115 + v. Is t prime?
False
Let f(d) = d + 4. Let v be f(0). Suppose -2*o - 2 = -0*o - v*g, o + 31 = -4*g. Let m = o - -130. Is m prime?
False
Let d(y) = -y**3 + 22*y**2 + 6. Let h be d(22). Suppose -4*x = 3*r - h*r - 8389, -5*x - 5*r + 10460 = 0. Is x composite?
True
Suppose 37007 = z - x, -4*z + 2*z - 5*x = -74014. Is z composite?
True
Suppose -13 = 2*b - 5*j, 4*j - 31 = -b - j. Suppose 0 = -3*h + 3*c + 23967, b*c = h + 4*c - 7985. Is h a composite number?
False
Is (429698 - (-4 - 1) - -3) + (-8 - -3) a composite number?
False
Is (7 + -6)/(-4*7/(-386372)) a composite number?
False
Let r be (-56)/(-20) + -3 - 11/(-5). Let c(n) = 6*n**2 - 2. Let d be c(r). Suppose 2*x - 64 = d. Is x a prime number?
True
Let z be 10/25 - 17/5. Let r(h) = h**3 + h**2 - 2*h + 3. Let x be r(z). Let j(d) = -41*d + 10. Is j(x) prime?
True
Let d be -3 + -7*(1 - 2). Suppose 2*p + 1808 = 2*v + 3*v, d*p + 1816 = 5*v. Suppose 5*f - v = -3*x + 2533, 0 = f + 3*x - 569. Is f composite?
True
Let u be 12/(-18)*(-64281)/14. Let x = u - 728. Is x a composite number?
False
Is (77401016/165)/8 - (4/30 - 0) a prime number?
False
Is 475269 + (1/1)/((-84)/24 + 4) a prime number?
True
Let k = -136 - -140. Let v be 3 + (2 - 3 - -1). Is -4 - (k - v) - -804 composite?
True
Let w be 1184678/66 - 6/9. Let k = 28922 - w. Is k composite?
False
Suppose -345755 = -36*i + 35*i. Is i prime?
False
Let y = 527 - 555. Is 2*7/(y/(-46198)) composite?
False
Suppose -4*j + 23 + 193 = 0. Let l = j + -49. Suppose l*z = -0*z + 595. Is z composite?
True
Suppose k - 2*k = 4*y - 33983, -2*k = 5*y - 42475. Is y a composite number?
True
Suppose 5*b - 2979 = 7*v + 799, v + 2270 = 3*b. Is b composite?
False
Let p = -166347 - -493730. Is p a composite number?
True
Suppose -4956 + 1446 = 5*a. Let k = 2245 + a. Is k a composite number?
False
Suppose 53854 - 19000 = h. Suppose h = 5*s + s. Suppose -4*q - 3497 = -3*t, 5*t + 4*q = q + s. Is t a composite number?
False
Let z(l) = 4*l**3 + 40*l**2 + 11*l - 5. Let d be z(-8). Let m(r) = -5*r + 8. Let s be m(-6). Suppose -3*i = s - d. Is i prime?
True
Let c be (-120)/((-27)/405 + (-3)/5). Is c/30 + 3798 + -1 prime?
True
Let j(g) = 40981*g - 863. Is j(4) prime?
True
Let t(u) be the second derivative of 43*u**5/20 + 5*u**4/24 + 3*u**3/2 - 2*u. Let p(q) be the second derivative of t(q). Is p(2) composite?
False
Let a(o) = o**2 + 6*o + 6. Let k be a(-7). Suppose 2*c - 3*h + 4*h = k, 5*c - 39 = 4*h. Let m(l) = 145*l - 38. Is m(c) a composite number?
False
Let m be ((-44)/(-4) - 5) + 3 + -5. Is (-1 + 635)*((-186)/m)/(-3) composite?
True
Suppose 0 = 12*o - 16*o + 2*n + 927102, 2*o = -4*n + 463586. Is o a composite number?
False
Let g(w) be the second derivative of -w**5/20 + 5*w**4/3 + 3*w**3/2 + 23*w**2/2 - 7*w. Suppose -5*c + 35 + 50 = 0. Is g(c) a composite number?
True
Suppose -d + 5*i + 148944 = 0, -3*d + 405*i - 410*i = -446732. Is d composite?
True
Suppose 4*b + 7 = -2*d - 3, 2*b - 1 = 5*d. Is (-2037)/(b + -5) + 2 a prime number?
True
Let l be (-112)/(-32)*(0 + -86). Let h = l + 181. Let p = 79 - h. Is p a composite number?
False
Let s(j) = j**3 + 19*j**2 + 17*j - 28. Let o be s(-17). Suppose 10*r - 811 = -o. Is r a prime number?
False
Let b(y) = 11076*y + 1025. Is b(9) a composite number?
True
Let v(x) = 196*x + 16. Let k be v(-8). Let m = k - -2439. Suppose 42 = -5*i + m. Is i a prime number?
False
Let m(c) = 8*c - 165. Let y be m(22). Suppose -2*n - 13*o = -y*o - 1668, -n = -o - 844. Is n prime?
True
Let g be 5 + 16*(532 - 3). Suppose -g = -d + 6934. Is d a prime number?
False
Suppose -49*q = 2774786 - 20070659. Is q prime?
False
Suppose 0 = -2*i - 11270 + 75750. Suppose 0 = -4*m - 4*g + i, -3*g - 8729 = -2*m + 7386. Is m a prime number?
True
Let m(y) = 787*y**2 + 23*y + 19. Is m(15) a prime number?
False
Let f be (-6)/(-8) - (-43786)/8. Let c = 8469 - f. Is c prime?
False
Let a(c) = 8*c**3 - 64*c**2 - 21*c - 46. Is a(15) composite?
False
Suppose 0 = 2*g - n - 68, -5*n = -4*n + 2. Let d(c) = c**2 - 4 - 8 + c - 6*c**2 + g*c**2. Is d(-5) composite?
False
Let z be ((-48)/9 - -4)*18. Let j be (1 - -3)*6*(-3)/z. Suppose -3*g = -5*o - 378, 0 = j*g - 2*o + o - 366. Is g a composite number?
True
Suppose 81*m - 124806575 = -2*m - 62*m. Is m composite?
True
Is (6 + -13)*3 - -250126 composite?
True
Suppose 49137 = 13*f + 6874. Is f prime?
True
Let z(o) = 223*o**2 + 158*o - 3526. Is z(20) a prime number?
False
Suppose 1849 = 2*x - 947. Suppose -5*q + 3328 = h + x, 0 = 5*h - 25. Let t = q + -227. Is t a prime number?
False
Let v = 71 + -71. Suppose -4*r = w + 16 + 1, v = -5*r - 25. Suppose -2*m + p + 962 = -0*p, 2*p + 1445 = w*m. Is m a prime number?
True
Suppose 3*c - 2 = -2*d, -c + 9 - 6 = 3*d. Suppose c = -6*b + 966 + 11064. Is b a composite number?
True
Let v(y) = y**2 - 12*y + 8. Let o be v(13). Suppose -5*t = -764 - o. Suppose -t = -h + 180. Is h prime?
True
Suppose 4*n + 12 = 3*c, 0 = 3*c - c - n - 3. Suppose j + c*j = 3*a + 121, -j = 5*a - 161. Let b = 218 - j. Is b a prime number?
False
Let n be 26/(-91) + (-37)/(-7) + -1. Suppose -4452 = -n*k - 8*p + 6*p, -k + 3*p = -1127. Is k prime?
False
Is 74985/6 + 18*2/8 + -5 a composite number?
False
Let r be (-3 + 4)*(2 + -2 - -5). Suppose 1542 = h + r*h. Is h a prime number?
True
Let z be 13/(65/643870) + -5. Suppose -24*s = -z - 283047. Is s composite?
False
Let p(c) = 21*c + 74. Let r be p(-3). Suppose -n + 4740 = r*n. Is n a composite number?
True
Let n(h) be the first derivative of h**3/3 + 13*h**2/2 + 7*h - 9. Let q be n(-12). Is 520 + 5/(0 - q) prime?
True
Let v(k) = -k**3 + 30*k**2 + 41*k + 4. Let f be v(28). Let y = -1767 + f. Is y prime?
True
Suppose -2*y - 2 = -3*d, 0 = -y + d - 5 + 6. Suppose -4*h + 2601 = 2*z - 3075, 0 = y*h - 2*z - 7077. Is h prime?
False
Suppose -140249*r = -140225*r - 10633848. Is r a composite number?
False
Let y(j) = 8*j + 147. Let u be y(-19). Is (2 + -61)*-236 + u composite?
True
Suppose 554*w = 555*w - 245941. Is w a prime number?
True
Suppose 69*q - 123435457 - 23111780 = 0. Is q composite?
True
Suppose 4*u + 4*t = 24, -7*t = 4*u - 2*t - 26. Suppose 12*x + u = 8*x. Is (-6058)/(-3) + (x/3)/1 a composite number?
True
Is 3936 - (-2 - 6 - 3) a prime number?
True
Let q(n) = -7602*n - 1405. Is q(-39) a prime number?
True
Suppose 2*g + 3704 = w, 10*g - 3*w = 11*g + 1852. Let y = g - -4661. Is 