et r(c) = -c**2 - 5*c + 8. Let n be r(-6). Let t(o) = 0*o - 4*o + 3 + 8*o**2 + 6*o - 2. Is t(n) prime?
True
Let a = 101 - 75. Suppose 0 = -32*t + a*t + 22098. Is t a prime number?
False
Suppose -4*c + 2*a + 187 + 405 = 0, -3*a = -2*c + 300. Let l(t) = t**2 + 16*t + 10. Let p be l(-12). Let f = c - p. Is f a composite number?
True
Suppose 2*c = -c + 8688. Let l be c/9 + (-32)/(-144). Suppose -4*y - 4*a = -4260, y = -4*a - l + 1399. Is y prime?
True
Let o(w) = -w + 14. Let a be o(16). Let s be (2 - 1)/(a/(-10)). Suppose 5*r = 2*z + 1333, 0 = -8*z + 3*z + s. Is r prime?
False
Let u(z) = z**3 - 2*z**2 + z. Let a be u(2). Let b be (254/4)/(37/74). Suppose -a*r = y - b, -6*r - 365 = -3*y - 4*r. Is y a composite number?
True
Suppose s + 7*v - 5286 = 12*v, 10537 = 2*s - 3*v. Is s prime?
True
Suppose r + 3*r - 370 = 2*o, -r - 170 = o. Let c = o + 386. Is c composite?
False
Suppose 2*d = -2*j + 3*d + 1007, -3*d + 995 = 2*j. Is j composite?
True
Let m(u) = 2*u + 1. Let k be m(-3). Let z = k - -10. Suppose -z*v - 116 = -1131. Is v prime?
False
Suppose 0 = 3*l + 3 + 15. Let s be l/(-33) - 136/22. Is 2/(-3) - 502/s a prime number?
True
Suppose -568 = -2*d + 128. Let n = d - 171. Suppose 1085 + n = 2*v. Is v a prime number?
True
Suppose -157 = -5*r + 3*s, -3*s = -4*r + 2*s + 136. Let g = 34 - r. Suppose -g*l = 5*m - m - 1543, -5*l - 5*m = -1545. Is l a prime number?
True
Let f(w) = -29*w + 11. Suppose 0 = 3*x + 42. Is f(x) a prime number?
False
Suppose -15 = 3*r, -4*o + 7*r + 45 = 2*r. Suppose -674 = o*a - 7*a. Is a a prime number?
True
Let s = -155 - -968. Is s prime?
False
Let g(c) = 3968*c**2 - c. Is g(1) a prime number?
True
Let h(r) = 47*r**2 - 2*r + 2. Let q be h(3). Let l = 146 + -85. Suppose -2*a + q = l. Is a a composite number?
False
Let v be (15/(-4))/(3/(-288)*4). Let u(m) = m**2 - m + 4. Let w be u(0). Suppose -v = -l - j - j, -w*j = 8. Is l a composite number?
True
Suppose 0 = -2*v + 11439 - 2539. Suppose 0*k - v = 5*k. Is k/(-8) - (-14)/(-56) a composite number?
True
Let v(d) = -100*d + 6. Let h(t) = -t. Let p(u) = 3*h(u) - v(u). Is p(5) prime?
True
Let l = 522 + -103. Is l a composite number?
False
Let f = 21485 + -7916. Is f a composite number?
True
Let i(y) = y**3 + 12*y**2 - 12*y + 12. Let t be i(-14). Let v = t - -733. Is v prime?
True
Let a(z) = -44*z - 5. Let o(r) = -r**2 - 2*r + 5. Suppose 8*x = 9*x + 4. Let w be o(x). Is a(w) a prime number?
True
Let r be 10/(-5) + 115*-1. Let f = -60 - r. Suppose -f = -2*u + 317. Is u a prime number?
False
Let k = 50 - 85. Let j = k - -31. Is j + 1/(2/418) a composite number?
True
Suppose v - 31 = -3*v + 3*k, k = -v - 1. Suppose v = 3*b - 2. Suppose 0 = 4*r + b*a - 454, 32 = -r + 2*a + 133. Is r a composite number?
True
Let f = -2903 + 5670. Suppose -5*a + i + f = 0, 2*i + 2 = i. Is a a composite number?
True
Let x be (-32)/12*(1 - (-10)/(-4)). Suppose -x*y = -4220 - 1868. Is y prime?
False
Let w = 47 - -7. Let n = w - -4. Is n a composite number?
True
Suppose -24*i - 2899 = -113131. Is i composite?
True
Let z(o) = 255*o + 43. Let y(u) = -64*u - 11. Let w(j) = -18*y(j) - 4*z(j). Is w(6) a prime number?
False
Let m(o) = o**3 + 2*o**2 + o + 2. Let c be m(3). Is (-2 - -5) + 13*c composite?
False
Let d(q) = 1362*q**2 + 9*q + 17. Is d(-2) a composite number?
True
Suppose -100352 = -18*h - 333830. Suppose -102 = -3*o + o. Is (-2)/6 - h/o composite?
True
Suppose 3*n + n = 0. Suppose -g + n*t = -t - 261, -3*g + t = -775. Is g composite?
False
Let j = 5 + -5. Is 490 - (j - 0 - 3) composite?
True
Suppose -7*o + 20 = -11*o. Is 1/o*-5 - -84 composite?
True
Let p(i) = -i. Let m be p(-4). Suppose -m*z - 1 = -13. Suppose 0 = -z*s - 0*s + 93. Is s a composite number?
False
Is 26886775/1189 + 4/58 a prime number?
True
Suppose -5*l + 5*f = 20, 0 = -4*f + 2 + 10. Let y be l - -1 - (-154)/2. Is (-3450)/(-22) + 14/y composite?
False
Suppose -h + 3*h + c - 6 = 0, -3*h + 9 = -4*c. Suppose 0 = h*r - 0*r. Suppose o - 3 = r, -3*u + 7 = o - 14. Is u composite?
True
Let i = -40 - -18. Is 81/2 - (-33)/i a composite number?
True
Let r = 6 + -2. Suppose 3*t + 2 = -r*j, 5*t + 0*j + 7 = -3*j. Let z(f) = 38*f**2 + 3*f + 3. Is z(t) a prime number?
True
Let l be (-3 - -9)*8/(-6). Is (-1)/l - (-26817)/56 a composite number?
False
Let l = -294 + 1033. Suppose -w + l = -138. Is w composite?
False
Let l be (8/3)/((-14)/(-21)). Let b be (-6)/(-12) - (-102)/l. Suppose -b = m - 547. Is m composite?
False
Let o = 32363 + -16548. Is o composite?
True
Let t = -566 + 1755. Is t composite?
True
Let x = -4560 + 12257. Is x a prime number?
False
Let n = -715 + 1341. Let j = n + -427. Is j prime?
True
Let w(y) = y + 18. Let h be (-8)/(-48) + (-79)/6. Let j be w(h). Suppose -820 - 207 = -4*a - j*l, 5*l + 814 = 3*a. Is a composite?
False
Let a be -96*(2 + (-7)/3 + -1). Let y(w) = -2*w**3 + 6*w**2 + 5*w + 6. Let r be y(5). Let z = r + a. Is z composite?
False
Let b be (-68)/3 - 6/(-9). Let k = b + 201. Suppose 0 = r - 2*r + k. Is r a composite number?
False
Let f(h) = 7*h**3 - 18*h**2 + 20*h - 5. Let s(v) = 4*v**3 - 9*v**2 + 10*v - 2. Let m(p) = 3*f(p) - 5*s(p). Is m(9) a prime number?
False
Let m = -79 + 19. Let a = m - -85. Suppose -4*j = -3*j + 3*n - a, 0 = j - 2*n - 45. Is j prime?
True
Let b = 943 + -234. Is b composite?
False
Let l be (-4 - 2)/((-2)/1). Suppose k = -0*k - 3, 4*g = -2*k + 22. Suppose -g*b = -l*b - 356. Is b composite?
False
Let g = -77995 - -146337. Is g composite?
True
Let r(l) = l**3 + 6*l**2 - 2*l - 3. Let o be r(-6). Let x = 18 - o. Is (2 + 3)/(3/x) a composite number?
True
Suppose -20*s + 37338 + 92402 = 0. Is s a composite number?
True
Let t(b) = -b**3 + 9*b**2 + 12*b - 2. Let z be t(10). Suppose l - 4*l - z = 0. Let j(u) = -u**3 - 5*u**2 - 3*u - 1. Is j(l) a composite number?
False
Let p(q) = -812*q - 11. Let z be p(-5). Suppose 381 + z = 2*g. Is g prime?
False
Let d = -14 - -17. Suppose 4 = 2*b - 5*g, -d*g + 4*g = 5*b - 10. Suppose -369 = -b*a - 0*s + 5*s, 3*a - 5*s = 546. Is a prime?
False
Suppose 4*f - p = 3*p, -p + 30 = 5*f. Suppose 4*c - 5608 = 2*t, f*c - 2*t - 7007 = -t. Is c a prime number?
False
Suppose -66 = 4*x - 18. Let y = x - -13. Is ((-98)/(-56))/(y/508) prime?
False
Suppose 3*s + 10 = -4*z, 19 = 5*z - 5*s + 49. Is (-18415)/(-45) - ((-16)/18)/z a prime number?
True
Let g = -39 - -41. Suppose g*u - 5*w = 133, 0 = -2*w + 10. Is u prime?
True
Let a(q) = q**3 - 6*q**2 - 5*q + 5. Suppose b - 9 = -2*b. Suppose b*g - 28 = -g. Is a(g) a composite number?
False
Suppose 4*n = x - 37, 4*x = -2*n + 6*n + 112. Suppose -x = -t - 3. Suppose -t - 54 = -4*f. Is f composite?
False
Suppose 2*n - 3*z = 55, -5*z - 102 = -4*n + 5. Is n a prime number?
True
Let a = 16 - 7. Suppose -6*v + 81 = -2*v + 5*n, -v + a = -n. Is (-5942)/(-8) - v/(-56) a prime number?
True
Suppose j - 8 = -2*h, 5*h - 2*h + 1 = 5*j. Suppose -3*r - 87 = -3*c, -j*r + 3*r - 73 = -2*c. Suppose 0 = -3*q - 4*b + c, -58 - 2 = -5*q - 5*b. Is q prime?
False
Let b be 4 + 0 + -120 + 2. Let o = -20 - b. Is o composite?
True
Let z be (-1)/(-2)*31/((-62)/(-120)). Suppose -27*a + z*a - 4767 = 0. Is a composite?
True
Let o = 68 - 65. Suppose -1117 = o*g - 4*g. Is g composite?
False
Let r be 1/(-5 + 4) - 2. Let p be (-10)/r + 17/(-51). Let d(v) = 12*v**3 - 8*v + 7. Is d(p) composite?
False
Let p(y) = -y**3 + 57*y**2 - 21*y - 31. Is p(18) a prime number?
True
Suppose 3562 - 1138 = -3*a. Let r = -135 - a. Is r a composite number?
False
Let b = 124204 - 3353. Is b a composite number?
False
Suppose 22*o - 36 = 13*o. Suppose -1012 - 1444 = -o*q. Is q a composite number?
True
Let k = -2 + 7. Let h be (5 + -5)/(0 + 1). Suppose h*a = -k*v - a + 514, -5*v + 5*a = -520. Is v prime?
True
Let t(k) = 41*k**2 + 95*k - 77. Is t(-28) prime?
False
Let j be (-1 - -1)/(7 + -5). Suppose j = v - 323 - 264. Is v composite?
False
Suppose 0 = -21*s + 33*s - 103452. Is s a prime number?
False
Let f be -4 + (-56815)/(-15) - 1/(-3). Suppose 5 = -5*y, -4*i + i + f = 2*y. Is i prime?
False
Let g(o) = -3940*o + 63. Is g(-13) a prime number?
True
Let z = 2631 - 1584. Suppose -2*v + 79 = -z. Is v a composite number?
False
Is ((-159297)/(-145))/((-12)/(-40)) a prime number?
False
Let l(d) = -4*d - 6. Let h be l(-4). Let r(z) = 2*z**2 - 3*z + 15. Let o be r(h). Let p = -106 + o. Is p composite?
False
Let b