Suppose -9*z + 49815 = -9756. Is ((-2)/(-2))/(6 + (-39713)/z) a prime number?
True
Let w = 43 - 41. Let n(r) be the second derivative of 25*r**3/2 - r**2/2 - 13*r. Is n(w) a prime number?
True
Let g be 3 + (-69)/24 + 3/(-24). Let p be 1/6*(-3 + g)*-2. Let n(x) = 2203*x**2 - 3*x + 3. Is n(p) composite?
False
Let f be (-9)/(-6)*70/21. Suppose 6*j - 23 = -f. Suppose -3*c = -6*c + j*q + 8208, 5*c = 4*q + 13685. Is c composite?
False
Suppose -4*c + 0*c = -2*v - 6, -5*c + 30 = -5*v. Let u(q) = 184*q**2 - 8*q + 1. Is u(v) prime?
False
Let i(q) = q + 1. Let d be i(9). Suppose -d*p = p - 27533. Is p prime?
True
Let p(v) = v**3 + 4*v**2 + 34*v + 81. Let f be p(18). Suppose w = u - 0*u - f, -7825 = -u + 3*w. Is u prime?
False
Let g(a) = 138*a - 91. Let x(q) = 412*q - 267. Let v(t) = -17*g(t) + 6*x(t). Let b be (-3 + (1 - 2))*-2. Is v(b) prime?
True
Let s be (6/(-5))/(((-42)/(-45))/7). Let i be -1 + 0 + (-7)/(21/s). Is (i + -4)*1477*1/(-2) composite?
True
Let q(g) = 751*g**3 - 13*g**2 + 6*g + 19. Is q(6) prime?
False
Suppose -3*c = 4*p - 14, -5*p = -2*c - 4*p + 24. Let v(s) = s**2 - 11*s + 15. Let z be v(c). Suppose -f - 3*a = -142, -f + 19 = -z*a - 83. Is f composite?
False
Let r = -24428 - -42066. Is r a composite number?
True
Is (-414)/276*(-1 + 8231/(-3)) a composite number?
True
Let h(y) = 9*y**3 + y**2 + y + 1. Let g be h(-1). Let n(q) = 2*q - 4*q + 34*q - 12*q - 13 - 74*q. Is n(g) a prime number?
True
Suppose -116*c + 39055904 = 13*c - 24413515. Is c composite?
True
Let x(o) = -o**3 - 19*o**2 - 21*o - 47. Let b be x(-18). Let u be (-8)/(-56) - 15/b. Is (1045/(-10) + -1)/(1/u) a prime number?
True
Let j = 55 + 761. Let k(m) = -62*m**3 + 2*m + 1. Let r be k(-1). Let f = j + r. Is f composite?
False
Let h = -7402 + 14511. Let n = 15768 - h. Is n composite?
True
Suppose 0 = -176*x + 179*x - 502053. Is x composite?
True
Let j = 10123 + -20968. Is (j/25 - -4)/((-2)/10) composite?
True
Let k(g) = -g**3 - 7*g**2 - 20*g - 31. Suppose -17 = 11*s - 6. Let b be (1/(-3))/(s/(-39)). Is k(b) prime?
False
Suppose 19*k + 32*k + 1867570 = 5295025. Is k prime?
False
Let w be (-1369)/1 - (-16)/(-4). Let z = w - -6808. Is z a prime number?
False
Let x(b) = -b**2 + 3 + 10*b - 5*b - 32*b. Suppose 2*p - 2 = 0, -5*f - 4*p - p - 65 = 0. Is x(f) a prime number?
False
Suppose -231*c + 225*c + 553533 = -402189. Is c a prime number?
True
Suppose 0 = -4*t + a + 32918, -t = -20*a + 25*a - 8240. Suppose -5*r + w + 11815 = 3555, -5*w = 5*r - t. Is r composite?
True
Suppose 145768 + 120547 = 35*q. Is q a prime number?
False
Suppose -89309 + 679866 = 11*j. Is j a prime number?
False
Let y be -2*((-9)/8)/(96/128). Suppose -s + 6*s = 14180. Suppose -h = y*h - s. Is h a prime number?
True
Is 36819 - (3*(-16)/24 + -5) composite?
True
Suppose u + 56 = -2*c, 10*c - 144 = 3*u + 8*c. Is (u - -48) + (0 - -1) + 4619 a composite number?
True
Let p(m) = -150*m - 13. Let h be p(-9). Let o = h + -235. Suppose 3*i - 1638 = -3*c - 0*i, o = 2*c + 4*i. Is c a composite number?
False
Let x = -2 + 6. Suppose 6 - 22 = -x*d. Is (d - 93)/((-2)/((-6)/(-3))) a prime number?
True
Suppose -2*n + 5*n = 15, 3*n = 2*q + 4707. Let c = 5933 + q. Is c a composite number?
True
Let s(y) = -1249*y + 3. Let f(x) = 3748*x - 9. Let q(n) = -6*f(n) - 17*s(n). Suppose -30*u - 126 = 26*u + 7*u. Is q(u) a composite number?
True
Let u = -949 + -4486. Let l = u - -15568. Is l composite?
False
Suppose 0 = -4*u + 4*t + 227924, 3*u + t - 81859 = 89084. Is u prime?
False
Is (117 - -69497)/(2*1) a composite number?
False
Suppose 0 = -4*j + 2*b + 40620, -34*b + 32*b = j - 10150. Suppose -j = 3*i - 5*i. Is i a composite number?
False
Let k(h) = -33*h + 2. Let d be k(-1). Suppose 7*i = -0*i + d. Suppose -2775 = -5*b - i*y, -7*y + 4*y = -4*b + 2206. Is b a prime number?
False
Let x(z) = 8*z**2 + 3*z. Let b be x(-2). Suppose b*p - 13*p - 117 = 0. Is ((-14516)/12)/((-3)/p) composite?
True
Let c(k) = 12*k**2 - 181*k + 18. Is c(15) composite?
False
Let x = 8961668 - 6330345. Is x prime?
True
Is (-2 + -2)*11750455/(-380) composite?
True
Is 6 + ((-259859)/9 - 12/(-54))*-1 prime?
True
Let c = -105 + 118. Suppose -8*h + c*h - 51245 = 0. Suppose 2*b + h = 5*u - 2*b, -b + 8216 = 4*u. Is u composite?
False
Suppose -112*z = -223*z + 37353526 + 28371905. Is z prime?
True
Let d be (1 - -49)*4/4. Is ((-5)/(d/(-8)))/(10/17525) a composite number?
True
Let h = -26 - -19. Let o be (h + 10)/(9/15). Suppose -o*k = -y + 148, -3*k = 3*y - 11 - 487. Is y a composite number?
False
Is -6 + 1 + 376/(-6956) + (-4284012)/(-74) composite?
True
Suppose -k = 2*q - 31, k = -1 - 2. Suppose -5*y = 5*u - 36 + 1, 0 = -u - 3*y + q. Suppose -7301 = -5*d + 3*s, -d - 1457 = -u*d - s. Is d a composite number?
False
Let x = 425563 + -235490. Is x prime?
False
Suppose 0 = 93*l - 83*l - 175375 - 92835. Is l a prime number?
True
Suppose -4*x - x - 3*o - 47 = 0, -o = 4. Let t(p) = 11*p**2 + 6*p - 9. Let v be t(x). Is (-3 - (3 - 3)) + v composite?
True
Is (29 + -34 - (0 + -29377)) + 16/(-16) a composite number?
True
Is (-1)/(-2)*2362*((-36)/9 + 27) a prime number?
False
Suppose -8*d + 56896 = 7992. Is d prime?
True
Is 211753 + 10 - (6 - 20) composite?
False
Suppose 0 = -5*t - 145 + 110. Let g(v) = -34*v**3 - 21*v**2 + 6. Is g(t) a prime number?
True
Suppose 3*n - 2*n - 22 = 0. Let y = n - 18. Let h(z) = 6*z**3 - 5*z**2 - 2*z - 1. Is h(y) a composite number?
True
Suppose w = -4*h + 238722, 2*w + 1 = -3. Is h prime?
False
Let m(z) = 773*z**2 - 1391*z - 13911. Is m(-10) a prime number?
False
Let v = -105 - -107. Suppose j = v*j - 3*t - 11564, 4*t - 57763 = -5*j. Is j composite?
True
Let i = -11272 + 3714. Let c = -323 - i. Is c composite?
True
Suppose -457*v + 454*v + 3805121 = -5*m, 5*v - 2*m - 6341843 = 0. Is v a prime number?
False
Let j = 8212 - 3455. Suppose 8*q - 22499 = j. Is q a prime number?
True
Let j = 3465286 + -2460953. Is j composite?
True
Suppose -3485 = 5*v - 5*x, 4*v + 2818 = -0*v - 2*x. Let l(s) = 17*s - 31. Let y be l(2). Is (v + 1)*y*(-22)/66 a composite number?
False
Suppose 18 - 60 = 2*d. Let a(r) = 11*r**2 + 43*r - 1. Is a(d) prime?
True
Suppose -3*v + 5*y + 147246 = 0, 4*v - 6*v = -4*y - 98162. Is v a composite number?
True
Suppose 0*k + 2*s + 419 = -k, 4*k - s + 1721 = 0. Let v = 1358 + -40. Let f = k + v. Is f a composite number?
True
Suppose -m + 2 = p, -3*p - 2*m + 7*m - 2 = 0. Let y(a) = 1964*a**3 - a**2 + a. Let w be y(p). Suppose -5*f + 1680 = 5*k, -4*f - 605 + w = -k. Is f prime?
False
Let j(t) = 80*t**2 + 12*t + 6. Let z(x) = -8399*x**2 - 1258*x - 629. Let s(p) = -629*j(p) - 6*z(p). Is s(1) a composite number?
True
Let r(l) = -15*l - 78. Let s(m) = 3*m + 16. Let y(i) = 2*r(i) + 11*s(i). Let o be y(-5). Suppose 3498 = 11*a - o*a. Is a a composite number?
True
Let l be ((792/(-55))/4)/(3/(-310)). Suppose -2*b + 3704 + l = 2*i, -2035 = -b - 2*i. Is b prime?
False
Suppose 15 = -5*m, 2*n - 3*m = -7*m + 402. Let s(x) = 36*x**2 - 34*x - 2. Let h be s(-3). Let r = h + n. Is r prime?
True
Let m = 5925 + -2895. Suppose -123*h + 129*h = m. Is h a composite number?
True
Let m(i) = i**2 - 28*i + 7. Let f(b) = -b**2 + 5*b + 16 - 58 + 18*b - 6*b. Let v be f(15). Is m(v) prime?
True
Let t(y) = -71*y + 19. Let d(w) = 2*w + 1. Let m(b) = 4*d(b) + t(b). Let r be m(-12). Let o = 1943 + r. Is o a composite number?
True
Suppose -5*g = 4*x + 285, -5*g + 0*g + 3*x - 285 = 0. Let o = g + -145. Let j = 331 + o. Is j a prime number?
False
Let z(a) = 886*a - 1645. Is z(54) composite?
False
Let t = 69 + -76. Let l be 1/3*(-7 - t). Suppose -5*v - 2*p + 2399 = l, 352 = 2*v - p - 604. Is v a composite number?
False
Let f = -301637 + 728484. Is f composite?
True
Suppose -119835 = -5*r - 4*r. Let o = r + -7692. Is o prime?
True
Let k = 10 + -10. Let i be (10 + k)/(3 + (-2 - 2)). Is 2517 - -5*i/25 a composite number?
True
Let n = 1772115 - 475312. Is n prime?
True
Let t(k) be the first derivative of -k**4/4 + k**3/3 - k**2/2 + 578*k + 19. Let g be t(0). Suppose g = 6*j - 364. Is j a composite number?
False
Let q = -32 + 62. Suppose -b - q = -33. Suppose 2*s = 3*s + b, -5*s = 3*i - 1446. Is i composite?
False
Let o = -51 - -51. Suppose z = 5*z + 5*b - 30, 5*z + 4*b - 33 = o. Suppose 0*h - 3*t - 5093 = -4*h, z*t = -5*h + 6410. Is h a composite number?
False
Let m(j) = 1013*j**3 - 11*j*