= -1 - -4. Let g be t(p). Suppose -a - 3*a + g = 0. Is a a composite number?
True
Suppose -h = w - 34667, -119*h = -117*h - 3*w - 69334. Is h composite?
False
Is (16 - 13)/((-9)/(-79017)) a prime number?
True
Let g = 500 + 1307. Suppose -3*h + g = 2*d, d + 1817 = 3*d + h. Is d composite?
False
Suppose 3*h = -4*l - 140 + 504, -2*h = l - 86. Suppose -c + 36 + l = 0. Suppose -x = -c - 93. Is x prime?
True
Suppose -1529981 = -5*w + 1693734. Is 4/38 + w/209 prime?
False
Let r(w) = 1014*w - 9. Let n be r(2). Suppose 0 = 2*j + 3*t - n, 1615 = 2*j + 5*t - 402. Is j a composite number?
True
Suppose 0 = 12*r - 116350 + 9706. Is r a prime number?
True
Suppose -4*u = u - 30. Suppose -u*g + 33 = 9. Suppose p = -g*p + 265. Is p prime?
True
Let c(n) = 1247*n + 51. Is c(4) a prime number?
True
Suppose -4*q - 19851 = -5*u, -6*q + 11*q + 20 = 0. Is u a composite number?
False
Let v(k) = -k**3 - 2*k**2 + 11*k + 5. Let q = -9 + -8. Let a = q - -8. Is v(a) a composite number?
True
Let l = 2 + 0. Suppose 0 = -2*j - l*j + 580. Is j composite?
True
Let p = 2986 + -1914. Suppose 2*i = p + 862. Is i a composite number?
False
Suppose 10 = -3*l - 11. Let q = l - 0. Is -3 + 1 + 212 + q composite?
True
Let k = -14362 - -24921. Is k prime?
True
Suppose 3*v + g - 2*g + 5 = 0, 4*v + 20 = -2*g. Is (6 + v)*((-554)/(-3) + 1) a composite number?
False
Let t(a) = 41*a**2 - 25*a + 61. Is t(19) a composite number?
False
Let a(t) = 4*t - 20. Let k be a(9). Let j be k/(-24) + (-14)/(-3). Suppose 3*y = -2*q + 2*y + 2134, 4268 = 4*q - j*y. Is q prime?
False
Let t = -8 + 30. Suppose -t*w = -29*w + 7021. Is w prime?
False
Let x(i) = 2*i**2 - 17*i - 25. Let w be x(13). Suppose -4*j = 2*m - 16, j - 9 = -0*j + 2*m. Suppose j*f - w - 63 = 0. Is f a composite number?
False
Is 26*((-6363)/(-56) - (-3)/(-24)) prime?
False
Let l(d) = 72*d**3 + 52*d**2 - 24*d - 42. Let x(w) = -29*w**3 - 21*w**2 + 10*w + 17. Let q(g) = -5*l(g) - 12*x(g). Is q(-5) a prime number?
False
Suppose 0 = 7*w - 24 - 11. Suppose y = 2*z + 1015 - 2484, -y - 3680 = -w*z. Is z prime?
False
Suppose -x - 8417 = -2*x + 2*s, 4*x - 33677 = -s. Is x prime?
True
Is (1*2)/(64/1679648) a composite number?
False
Suppose 2*s - 2 = 6. Let k be (s/5)/(2/1165). Suppose -u = u - k. Is u a composite number?
False
Let v be 3 + 2/(-1) + 296/2. Suppose x - 138 - v = 0. Is x composite?
True
Let g be (-4)/22 + 6944/77. Suppose 0 = u - 26 - g. Let w = u + -79. Is w a composite number?
False
Let v(p) = 10*p - 6. Suppose 2*u + u - 4*n - 31 = 0, -4*u - 2*n + 12 = 0. Suppose -g = -3*m - 13, -5*g - 2*m = -43 - u. Is v(g) prime?
False
Let s(l) = -l**3 - 10*l**2 + 7*l - 6. Suppose 4*f - 2 + 54 = 0. Let b be s(f). Is -1 + b + -4 + 4 a composite number?
False
Suppose -4*m = -5*q - 33955, 19*q - 22*q - 33949 = -4*m. Is m a prime number?
False
Suppose -441 = -2*f + 137. Suppose -203 - f = -3*h. Is 6/(h/52 - 3) composite?
True
Suppose 5*u - 4*n - 14850 = 0, 5*n + 76 - 14881 = -5*u. Is u prime?
False
Let d = 43 - 40. Suppose -1354 + 4615 = d*m. Is m composite?
False
Suppose -5*x = 2*t - 49, -x = -t + 4 + 3. Suppose 4 = -4*h, t*h - 13*h + 73 = 2*o. Is o prime?
True
Let k(o) = o**3 + 1. Let v be k(1). Suppose -f - 17 = -5*r, 3*r = v*f - 4*f + 18. Suppose 2*b - b - 2*c = 87, -332 = -4*b + r*c. Is b a prime number?
True
Let j = -512 + 1270. Is j a composite number?
True
Suppose 0 = 18*m - 6088 - 31046. Is m a composite number?
False
Let j(p) be the first derivative of p**4/4 + 5*p**3/3 + 3*p**2 + 6*p - 1. Let m be j(-4). Let r(w) = 33*w**2 + 5*w + 5. Is r(m) a prime number?
True
Let b(i) = -20 + 14*i + 6*i - 6*i + 7. Is b(7) a composite number?
True
Let f(b) be the second derivative of 4*b**4/3 + b**2/2 - 2*b. Let y be f(-1). Let t = 70 + y. Is t composite?
True
Is ((-2)/(-2))/(1/839) a prime number?
True
Let n = 11 + -9. Suppose n*j - 417 = -4*w + w, 4*w = 2*j + 542. Let l = 248 - w. Is l a prime number?
False
Let j = -6 + 10. Suppose j*p + 855 = 9*p. Suppose -2*i + 4*z = -0*z - 120, -3*z = 3*i - p. Is i a prime number?
False
Let r = -30 - -34. Suppose z + 1 = -s + r*z, 0 = -3*s - z + 7. Suppose s*d + 2*b = 6156, d + d + b - 6151 = 0. Is d a prime number?
False
Suppose 4*u = -5*p + 27, -2*p - 7 = 4*u - 25. Suppose 4*z + 15 = 2*i - 23, 0 = p*z + 3*i + 6. Let c(k) = 8*k**2 + 7*k - 8. Is c(z) a composite number?
True
Is (10 - 4)*(-251)/(-2) a composite number?
True
Suppose -l = v + 175, -3*l + 324 - 1028 = 4*v. Let g = v - -1644. Is g a composite number?
True
Is 6/(-36) - (0 - 67132/24) a composite number?
False
Let j = 3494 + -1281. Suppose 0 = 5*p - 2*f - 2217, 6*p + 2*f - j = p. Is p a composite number?
False
Let m(n) = 4*n**2 - 95*n - 8. Is m(-15) a prime number?
False
Let b = 2541 + -496. Suppose 4*w - 9*w + b = 0. Is w composite?
False
Let y be 3*1 + 0 + -4. Let g(b) = -54*b + 1. Is g(y) composite?
True
Is -2*(10*(-730)/8 - 3) a prime number?
True
Let r be 2/(2*(-3)/27). Let f = r - -4. Let s = f + 63. Is s composite?
True
Suppose -56 = 4*j + 132. Suppose -3*c + 314 = 2*w, -2*c + 170 + 40 = w. Let i = c + j. Is i prime?
True
Let o(w) = -2*w - 9. Let b be o(-5). Is ((b + -3)/2)/((-15)/24285) prime?
True
Suppose k + 14 - 4 = 0. Let n(q) = q**3 + 25*q**2 + 25*q + 9. Is n(k) prime?
True
Let j(p) be the third derivative of p**6/60 - p**5/10 + p**4/6 + 5*p**3/6 + p**2. Let n be 4/4*2*2. Is j(n) a prime number?
True
Let h(y) = -24*y**3 - 5*y**2 - 49*y - 1. Is h(-11) composite?
True
Let r = 6535 + -2851. Suppose -g + r = 5*g. Is g composite?
True
Suppose 56 = v - 94. Suppose -3*k - 1096 + v = -2*s, 3*k - 2407 = -5*s. Is s composite?
False
Let o = -2 - 1. Let l = 40 + o. Is l a composite number?
False
Is (-8 + -7501)*3/(-9) a composite number?
False
Let c = 14 + 191. Is c prime?
False
Suppose -i = -6*i + 50. Suppose 83 + 117 = 4*o. Is 2514/i - 20/o a prime number?
True
Let x be 7 - ((-2)/10 - 36/20). Is 15/x*(-4 + 13) a composite number?
True
Let r(n) = n - 1. Let f(d) = -d + 1. Let t = -12 + 10. Let c(h) = t*f(h) - 3*r(h). Is c(-5) composite?
True
Let n(k) = 3837*k**2 + 0 + 1 - 2 + 3 - 2*k. Is n(1) composite?
True
Let l = 9 - 15. Let v be (l/(-4))/(9/(-378)). Is 1 + 5/((-15)/v) composite?
True
Let f = 6210 - 3331. Is f a composite number?
False
Let k = 117722 + -59623. Is k composite?
False
Let c(o) = -86*o**3 + o**2. Let n be c(1). Suppose 2*a = 3*x - 310 - 68, 0 = -2*a - 6. Let y = n + x. Is y composite?
True
Let a(u) = -u**2 + 2*u + 7825. Let v be a(0). Suppose -18460 = -5*l + v. Is l prime?
False
Let z(v) = 148*v + 5. Is z(5) prime?
False
Suppose -6*u + 10*u = 12. Is ((-9)/u*1)/(1/(-131)) composite?
True
Suppose -20*b + 352568 = -55412. Is b prime?
True
Let s(l) = 4*l**2 - 24*l + 54. Is s(17) a prime number?
False
Let h(f) = 4*f**2 - f - 9. Let q be (2 - 2) + 18/(-2). Let j be h(q). Suppose 3*m = 2*m + 2*i + 83, 4*i = 4*m - j. Is m a prime number?
True
Let d = -314 - -4485. Is d composite?
True
Let p be (150/9)/(1/(3*-1)). Is 730 + (-5)/(p/(-6))*-5 a prime number?
True
Suppose -9 = -5*j + 11. Suppose 0 = 3*h - 8*d + 3*d - 2474, -j*h + 3316 = 2*d. Let b = h - 455. Is b a prime number?
True
Let m = 779 - 398. Is m a prime number?
False
Let l = 15 - 9. Suppose 0 = -g - 2*g + l. Suppose s = g*s - 191. Is s a prime number?
True
Suppose 10*l - 15605 = -175. Is l prime?
True
Let k = -67 + 13. Suppose 0 = -2*w + 3*l + 179, -4*l - 89 = -w - 2*l. Let o = w + k. Is o a prime number?
True
Let c(m) = m**3 + m**2 + m + 10. Let i be c(5). Let h = i + 656. Is h prime?
True
Let g = -13 + 16. Is ((-12)/(-8))/(g/14) prime?
True
Let q = 87279 + -28546. Is q prime?
True
Let a = 842 - 475. Is a composite?
False
Let n = -91 + 177. Suppose -194 = -2*l - 2*a, a = 2*l - n - 108. Is l a composite number?
False
Suppose 0 - 12 = r - y, 0 = 4*r + 4*y + 88. Let u(o) = 27*o - 15. Let t(d) = 9*d - 5. Let m(k) = r*t(k) + 6*u(k). Is m(4) prime?
True
Let v(m) be the first derivative of -m**4/4 + m**3/3 + m - 10. Let q be v(1). Is -20*q/((-12)/33) prime?
False
Suppose 5*c - 4 = 91. Suppose -3*i + 2*m + c + 276 = 0, 5*m + 107 = i. Is i prime?
True
Suppose 0 = 4*u - 2*s - 14342, -2*u = 3*s - 5130 - 2053. Is u a prime number?
False
Let b(k) = -138*k + 5. Let v be b(3). Let z = 1040 + v. Is z a prime number?
True
Let d(o) = 21*o**3 - 20*o**3 - 6*o + o**2 + 4*o**2 + 0*o**2 - 7. Suppose -5*y - 14 = 11. 