= 2*y - 31, -5*p - 3*y + f = 0. Is p prime?
False
Suppose 0 = -t + 2*c + 729, 5 = 5*c - 0*c. Is t prime?
False
Let v = -16013 - -8108. Is (-2 - 1)/12 - v/20 composite?
True
Let y be 8 + 3/(-6)*6. Suppose -576 = -4*g - 0*g + 4*z, -128 = -g + y*z. Is (g/16)/1*4 a composite number?
False
Let o(u) = -764*u - 199. Is o(-33) composite?
False
Let x = 98814 + -53825. Is x composite?
True
Suppose 263 = 5*n + 73. Let l = n + 19. Is l a prime number?
False
Suppose 8*w = -3*w + 33. Suppose -5*a + 4*d + 0*d + 79535 = 0, -2*a - w*d = -31837. Is a prime?
False
Suppose 5*c - 3*x + 18913 = 0, 0 = -0*c + 3*c + 3*x + 11343. Let m = c + 5577. Is m a prime number?
False
Suppose -35 - 35 = -14*t. Suppose t*u + v - 1486 = 0, 7*u = 2*u - 2*v + 1482. Is u a composite number?
True
Is (4/(-18)*-3)/(4/11298) a composite number?
True
Suppose -2*q - 11*q + 7241 = 0. Is q a prime number?
True
Let w be 0 + 0 + -3 + 3. Suppose w*y + 5*y - 20 = 0. Is -1 + y/((-8)/(-78)) composite?
True
Let a = 1415 - 829. Is a a prime number?
False
Suppose 5*q = -7 + 112. Suppose 1070 = n + q. Is n a prime number?
True
Is ((-4)/24*4)/((-2)/24171) a composite number?
True
Let k(n) = -33*n**2 - 3*n + 1. Let c(y) = 32*y**2 + 2*y - 1. Let w be -4*3/(-6) - -2. Let l(r) = w*c(r) + 3*k(r). Is l(2) composite?
False
Let p be -1 + 8/(-12)*-12. Suppose -p + 22 = 3*n. Suppose 2*y + 3*a = 2*a + 156, -3*y + n*a + 247 = 0. Is y prime?
True
Let w(f) = f**2 - 32*f + 80. Let l be w(31). Let k be 34/(-6)*(-25 + 1). Let s = k - l. Is s composite?
True
Let w = -74 - -79. Suppose -w*a + 0*a = -1735. Is a a composite number?
False
Is (-12)/(-20) - 1 - 3157/(-5) a composite number?
False
Suppose -4379 = -i - 3*p, -27002 = -4*i - p - 9530. Is i a composite number?
True
Let x = 9048 + 5215. Is x prime?
False
Suppose 5*c - 98 = 12. Let q(x) = x**2 + 13*x - 25. Is q(c) a composite number?
True
Suppose -4*f - 3046 = -6*f + 2*t, 0 = -4*f - t + 6112. Is f prime?
False
Suppose -3*z + 1676 = -r + 13462, 4*z + 12 = 0. Is r a prime number?
True
Let y = 42134 - 19395. Is y prime?
True
Let c be -21 + 6/18*-3. Let j(l) = 5*l**2 + 40*l + 1. Is j(c) a prime number?
False
Let j(c) = -3*c + 6. Let t(q) = -q**2 - 3*q + 6. Let z be t(-4). Suppose -z*l + 19 = -5*v, 2*v - 3 = 5*v + 3*l. Is j(v) prime?
False
Suppose -3*f - 6*f + 9 = 0. Is 5907 + -7 - (-4 + f) composite?
False
Let k(u) = 4*u**2 - 23*u + 18. Is k(-13) prime?
False
Suppose 11*b - 38202 = 13597. Is b a prime number?
False
Let q(m) = -218*m + 25. Is q(-5) prime?
False
Let b(c) be the third derivative of c**5/5 - c**4/6 - c**3/2 + 27*c**2. Let k be (-3)/(0 - (-9)/6). Is b(k) composite?
False
Suppose 3*p - 5*o - 25804 = -0*o, 2*p - o = 17205. Is p prime?
False
Let s(v) = v**3 - 13*v**2 - 12*v - 12. Let d be s(14). Is 4*1*1268/d prime?
True
Let b(w) = -w - 1. Let h(o) = -11*o + 1. Let s(i) = 2*b(i) + h(i). Is s(-4) a prime number?
False
Let x = -1542 - -5189. Is x prime?
False
Let b = -8 + 9. Let h(n) = -n**2 + n - 1. Let v(a) = 21*a**2 - a + 3. Let d(p) = b*v(p) + 6*h(p). Is d(4) composite?
False
Let h(z) = -47*z - 23*z - 2 + 33. Is h(-7) composite?
False
Let o(z) = 251*z - 34. Let y be o(-13). Let a = 932 - y. Is a composite?
False
Suppose -6*c - 184 = -16996. Is (2/(-6))/((-2)/c) prime?
True
Suppose 516599 = 61*k - 624162. Is k a prime number?
True
Is ((-93578)/16 - 4)/((-13)/104) composite?
True
Let i(v) = v**2 + 5*v + 4. Let b be i(-4). Suppose -h = 4*m - m - 10, 5*m + 5*h = b. Is (-5)/(-25) - (-74)/m prime?
False
Suppose 5*w - 192 = 9*w. Let l = w - -81. Is l prime?
False
Suppose -7*c = -6*c - 6. Let w be c + (3 - (0 - -4)). Suppose 2*m + 3*d = -3*m + 2026, -w*m = -d - 2038. Is m a prime number?
False
Let o be (10 + -12)/((-2)/3). Suppose -6*h + 7311 = o*n - 3*h, -2*n - 3*h = -4874. Is n composite?
False
Suppose 0 = -19*q + 28*q - 10602. Is 4/12 - q/(-3) composite?
True
Let y = 7 + -4. Suppose -y*i = -9, 3*b - 3 = 2*i + 3*i. Is (b/(-6))/((-1)/995) a composite number?
True
Suppose 0 = -8*w + 4*w - 36. Let k(y) = 14*y**2 - 3*y - 2. Is k(w) composite?
True
Let o be 25/(-4) + 4/16 + 2. Is -1*(282/o + 3/(-6)) a composite number?
False
Let h be (-2*4/8)/(-1). Let u be h/4 - 28175/(-20). Let v = -822 + u. Is v composite?
False
Let z be 198/12 + (-1)/2. Let y = -24 + z. Is y/20 + (-397)/(-5) a prime number?
True
Is (49/21)/(19/36537) a composite number?
True
Suppose -4*t = 4*y - 28, -5*y + 5*t + 9 = -16. Let f be -3*(-1)/y*4. Is (1043/(-14))/(f/(-4)) composite?
False
Let a = 44 - 41. Suppose a = -p - 0*p, 5*f - 1523 = -4*p. Is f composite?
False
Let d be (7/1)/1*-5. Is (-4)/(-14) - 12415/d a prime number?
False
Suppose -3102 - 2171 = -g - 3*k, -5*g + 2*k + 26365 = 0. Is g composite?
False
Let n be (4*(-3)/30)/(2/(-3360)). Let u = -361 + n. Is u a prime number?
True
Let c(r) = r**2 + 2*r - 1. Let b be c(1). Suppose -3*x = -b*x - 419. Is x composite?
False
Suppose v - 2*y + 4*y = 61741, 5*y = -3*v + 185223. Is v a composite number?
True
Let k = -54 - -55. Let x(z) = 1170*z**2 + 1. Is x(k) prime?
True
Suppose 0 = 2*u + 3*u - 15. Suppose 3*i = 2*y - i - 654, 5*i = -u*y + 1036. Suppose 0*r - y = -r. Is r a prime number?
True
Let g(f) = f**3 - f**2 + f + 1176. Let z be g(0). Let v = 2513 - z. Is v prime?
False
Let d be (-1)/(-6)*-3*-6. Suppose -4*z + 2532 = -2*h, -818 = -2*z - d*h + 432. Is z a composite number?
False
Let h = -46324 - -77613. Is h composite?
True
Let g(v) = -v**2 + 3*v - 6. Let d be g(3). Is 4 + (6434/6)/((-2)/d) a prime number?
True
Suppose 5*x + b - 19350 = 3*x, -4*b - 29047 = -3*x. Is x a prime number?
True
Let n = 11 + -8. Suppose 0 = 2*k - c + 1, 3*k = 7*k + 5*c - 33. Suppose 9*y - 4*y - 403 = -k*v, -5*y + 383 = -n*v. Is y prime?
True
Let y(l) = 66*l**2 - 3*l + 16. Let n(v) = 2*v - 15. Let q be n(5). Is y(q) prime?
False
Let j = 204484 - 143975. Is j composite?
False
Let v = -2161 - -5124. Is v a composite number?
False
Let v = -25186 - -50173. Is v prime?
False
Let h = -28882 - -52341. Is h prime?
True
Let n(s) = -s**2 + 11*s + 13. Suppose -4*f + o = -15, f - 3*o = 4*f. Suppose 0 = f*c + 2*c - 50. Is n(c) a composite number?
False
Let l(o) = 30315*o**2 - 29*o - 59. Is l(-2) prime?
True
Suppose 2*a - 4*a = -r - 12998, 5*r + 19497 = 3*a. Is a composite?
True
Suppose 5*r - u = 19713, -71*r - 3*u - 11823 = -74*r. Is r a composite number?
False
Let o = -538 + 287. Let a = 660 + o. Is a prime?
True
Let g = 1700 + 2163. Is g prime?
True
Suppose -2*o = -3*o + 10. Is 764/o*5/2*1 prime?
True
Let q(g) = 17*g + 2. Let u(n) = -52*n - 5. Let y(w) = -8*q(w) - 3*u(w). Is y(7) a prime number?
True
Let i = -18009 - -103420. Is i a composite number?
False
Let c be ((-3471)/33)/(-1) - 2/11. Suppose -3*z = -c - 276. Is z prime?
True
Let k = -101 - -69. Is 8022/4*k/(-48) prime?
False
Suppose 11*p + 81064 = 19*p. Is p composite?
False
Let q = 28 - 40. Let u = -11 - q. Is u*-5*(-52)/4 a composite number?
True
Suppose -r + 4*f - 12 = -4*r, -r - f + 4 = 0. Suppose r*t - 5*k = -15, -2*t + 18 = 5*k + 3. Suppose t = z - 4*b - 23 - 248, 0 = -4*z - b + 1050. Is z composite?
False
Suppose 0 = 2*q + 3*k + 6, k + 4 = 5*q + 2. Suppose 4*p - 177 + 53 = -3*y, 2*p + 5*y = 48. Suppose 29*r - p*r + 295 = q. Is r composite?
False
Let v(y) = 0*y - 442 + 1123 + 2*y. Is v(0) a prime number?
False
Let g(b) be the third derivative of -b**4/6 - 5*b**3/6 - b**2. Suppose -18 = -j + 4*j. Is g(j) a prime number?
True
Suppose 0 = j + 5 - 3, -5*o + 840 = -5*j. Is o composite?
True
Suppose 12*q = 7*q + 835. Suppose 0 = -2*f + 639 + q. Is f composite?
True
Let j(u) = u**2 + 26*u - 53. Is j(16) composite?
False
Let k = 729 + -253. Suppose -k + 5738 = 6*g. Is g a prime number?
True
Suppose s - 651 = -5*o + 964, s = 4*o - 1283. Let u = o - 3. Is u a composite number?
True
Suppose -2*r - d + 6 = d, -4*r + 5*d = -12. Suppose r*u = 2*h - 1985, -h + 2*u + 1984 = h. Is h a prime number?
True
Let b = 29 + 7. Suppose b*o + 38975 = 41*o. Is o composite?
True
Let t(v) = 22962*v**3 - v**2 - 2*v + 2. Is t(1) a prime number?
True
Let v = 40 - 42. Is -2*(1279/v - 2) a prime number?
True
Let l be (-6)/((-5)/(400/15)). Suppose -l*t - 429 = -35*t. Is t a prime number?
False
Is 219*(-2 + -9*4/(-12)) composite?
True
Let v = 37 - 22. Let s(p) = 3*p - p**3 + 0*p**3 + 23 - v*p**2 + 10*p. Is s(-16) composite?
False
Suppose -186 = -3*w - o,