. Is l a composite number?
True
Let p = 5659 + 3264. Is p a prime number?
True
Let g(q) = q**3 - 22*q**2 + 6*q - 64. Let u be g(26). Let t = u - 1039. Is t a composite number?
True
Let h(z) = z**3 - 2*z - 1. Let u be h(-1). Let l = u - -11. Let t(i) = -i**3 + 14*i**2 - 10*i - 14. Is t(l) prime?
True
Let w(o) = 371*o + 2. Is w(45) a composite number?
True
Let m(u) = -u**3 - 3*u**2 + 5*u + 6. Let i be m(-4). Is -2*(1 - 1537/i) a composite number?
True
Let y be 750 - -1 - (-1 - -4). Suppose 3*i - y = 1385. Suppose -4*t - 3*b = -i, 0 = b + 1 - 2. Is t a composite number?
True
Let k(y) = -30*y**2 - y + 1. Let p be k(-1). Let x = p + 31. Suppose n - 191 = -2*v, -4*n + 2*v = x*v - 736. Is n a prime number?
False
Suppose -3*g + 1603 + 2088 = 2*p, -4936 = -4*g + p. Suppose -g = -4*f + 355. Is f a composite number?
False
Suppose 48 = 2*b - 3*t + 5, -93 = -4*b - t. Let u = 201 - b. Is u composite?
True
Let z(p) = -2*p**3 + 5*p**2 + 3*p - 3. Let w be z(3). Is (w - (-777)/(-6))*-2 composite?
True
Is 10401 - (-120)/((-144)/12) composite?
False
Suppose 15771 = 5*r + g, g = 3*r - 9885 + 416. Is 2*(0 - r/(-10)) a prime number?
True
Let m = -65 + 69. Suppose m*c = 5*h + 641, -22 = -c - 5*h + 132. Is c prime?
False
Suppose 0 = v + 3*v - 4*n - 16, -3*v + 12 = 4*n. Suppose 5*p = -4*k + 279, 0*p - 5*k - 256 = -v*p. Is p a composite number?
False
Suppose -3*r + 15 = 3*u, -9*u + 4*u - 15 = -3*r. Suppose r*b - b - 16 = 0. Suppose b*k + 2*v = 2738, -k + v = 3*v - 683. Is k a composite number?
True
Let c(a) = a**2 - 3*a - 2. Let r be 0 + (-2)/(-2) + 2. Let h be c(r). Is h + 1 - 11*-62 a composite number?
True
Suppose -10*v = -6*v + 2*i - 166886, -5*i - 208570 = -5*v. Is v a composite number?
False
Let c = -1 - 10. Let u(g) = -301*g - 12. Is u(c) a composite number?
False
Suppose 205*r = 199*r + 107358. Is r a prime number?
False
Suppose 3*r + 8043 = -2*c + 3*c, -3*r + 40269 = 5*c. Suppose -940 + c = 8*u. Is u a composite number?
True
Suppose -235 = 4*j - 59. Let t be j/(-6)*15/10. Is t*(3 - 1) - 3 composite?
False
Let a be (-1)/(-2*3/18). Let d(m) = 2 - m - 8*m**3 + 2*m - 6*m**2 + 9*m**a. Is d(9) a prime number?
False
Let w = -314 + 920. Let z = 1193 - w. Is z a composite number?
False
Let w(c) = 20*c**3 - c**2 + c. Let l(s) = 2*s - 3. Let p be l(3). Suppose -3*x - 2*j + 9 = -j, -p*x + j = -3. Is w(x) composite?
True
Suppose 5*z + 7014 = 3*i, z - 907 = -i + 1423. Is i composite?
False
Let c(f) = -4*f + 4*f + 36*f**2 - 4*f - 2 + 25*f**2. Let y be c(-6). Suppose -709 + y = 3*r. Is r a composite number?
False
Is 6948 + (-6 + 3 - -2) a prime number?
True
Let k(b) = 3*b**3 - 15*b**2 - 21*b - 46. Is k(21) a composite number?
False
Let u be (2 + 1)*16/12. Suppose u*t + n + 20 = t, -5*t - 5 = -4*n. Is 441/12 - t/20 composite?
False
Let a be 711/15 - 4/10 - -1. Suppose -418 + a = -2*n. Is n a prime number?
False
Suppose 5*r - 5518 = 10437. Is r a prime number?
True
Let w be 522 + (-9)/12 + (-2)/8. Suppose t - w = 842. Is t prime?
False
Suppose 10*m - 15 = 7*m. Suppose -3*i + m*q - 4*q + 9681 = 0, 12908 = 4*i + q. Is i a prime number?
False
Let l(k) = 5*k**3 + 7*k**2 + 50*k - 31. Is l(21) a prime number?
True
Suppose -5*o + 69534 = 4*o. Suppose h = -u + o, -30519 = -4*u - 2*h + 379. Is u a composite number?
False
Let i(q) = 7*q + 21. Let z be i(-3). Suppose j + z*b = 3*b + 1087, 4*j - 4348 = -5*b. Is j a prime number?
True
Suppose -3*j - 422 = -5*t, -4*j = 2*t + 222 + 384. Is ((-22)/4 + (-5)/(-10))*j a prime number?
False
Let a = -12183 - -17806. Is a a composite number?
False
Let j(a) = -2349*a + 76. Is j(-7) prime?
True
Suppose 0 = 3*l - 1102 - 1238. Suppose 4*a = 12, 2*z + 4*a - 1314 + 504 = 0. Let u = l - z. Is u a composite number?
True
Let g(k) = -188*k - 75. Is g(-28) composite?
False
Is (-2)/(-6) + (-28528)/(-24) a prime number?
False
Let n be -4*((-25)/(-4))/(-5). Suppose -2*r + u = -0*r - 2742, 5*r - 6870 = -n*u. Is 1/(-5) - r/(-35) composite?
True
Suppose -3*z + 3959 = -33358. Is z a composite number?
True
Let q(m) = -38*m**2 + 4*m - 3. Let f(v) = -v**2 - 1. Let l(k) = 5*f(k) - q(k). Let p = -9 + 14. Is l(p) a composite number?
True
Let m(q) = 24*q - 2. Let r be m(-4). Suppose -n + 7 = 2*u, 3*n = -3*u + 4*u + 14. Is r/(-6)*3/u a composite number?
True
Let x = 783 - -59966. Is x composite?
True
Let p(n) = -n**3 - 5*n**2 - 14*n - 69. Is p(-20) a composite number?
False
Let n be (-4)/10 - (-6)/15. Suppose 4*k - 2*k + 2*d - 138 = n, -3*k = 2*d - 202. Let t = k - 33. Is t a prime number?
True
Let x(j) = 4*j - 44. Let p be x(11). Suppose -t = -p*t - 149. Is t composite?
False
Let p be (-2)/4*(0 + -94). Let x be -12*(4 + 23/(-4)). Let a = p - x. Is a a prime number?
False
Let z(d) = -2532*d - 43. Is z(-2) a prime number?
True
Suppose 0 = 152*t - 151*t - 5879. Is t a prime number?
True
Let q(y) = -158*y + 45. Is q(-6) prime?
False
Suppose 0 = 4*j - 9*j + 20. Suppose 0 = 5*a + 20, 10932 = -q + 5*q - j*a. Is q a composite number?
False
Let m = -20771 - -42918. Is m composite?
False
Let f(l) = -80*l - 27. Let n be 6/(-4)*((-10)/(-3) + 4). Is f(n) a prime number?
True
Let t(b) = 38*b**2 + 12*b**2 + 2 + b - 3*b - 3. Let v = -44 + 42. Is t(v) prime?
False
Let p = 28 - 28. Suppose 5*t - 6*t = -2*d - 247, p = -3*t + 4*d + 745. Is t a prime number?
True
Let q be (3/4)/(1/4). Suppose -30*l - 4*l = -11764. Suppose -2*s - l = -q*s. Is s a composite number?
True
Suppose 5*j - 5*u = 54903 - 8883, -5*j = u - 45990. Is j composite?
False
Let b(j) = -7 - 7 - 8 + 1 + 138*j. Let k(i) = 413*i - 62. Let z(u) = 11*b(u) - 4*k(u). Is z(-6) prime?
True
Let u(y) = 4*y**3 - 3*y**2 - 2*y + 3. Let p be u(4). Suppose -p - 178 = -z. Is z composite?
True
Let u(l) = -3*l**3 - l + 2. Let s be u(-3). Let b(t) = 2*t**3 + t**2 - t - 7. Let o be b(2). Suppose -o*g = -9*g - s. Is g composite?
False
Suppose -3*n - 33 = 2*j - 8*n, 0 = -j - n + 1. Let o be 1 + -1 - (-1 + 2). Let r = o - j. Is r prime?
True
Suppose 6*v - 8658 = 4*v - 2*x, -2*v = 5*x - 8664. Is v a prime number?
True
Suppose 3*b - f = -b + 16, 0 = 4*b - 2*f - 20. Suppose -2*x - 2*d = 164, -b*d = -6*d - 15. Is 0 - x - (0 - 2) a composite number?
False
Suppose -2*h + n + 5 = -h, 2*n + 8 = 0. Let m(l) = -5*l + 4*l - 9*l + h. Is m(-16) a composite number?
True
Let l(r) = -7691*r - 222. Is l(-7) prime?
False
Is (-1)/6*(23 - 21)*-139899 prime?
True
Suppose -3*f - 15 = r + 19, 5*f + 55 = -2*r. Let s(c) = 8*c**2 - 17*c - 12. Is s(f) a prime number?
False
Let f(r) = 5*r**2 + 8*r. Let n be f(-2). Suppose 0 = n*v - u - 25392, -u + 6*u = 3*v - 19027. Is v composite?
True
Let k(u) = 182*u + 5. Suppose -17*j + 4*j = -52. Is k(j) a prime number?
True
Let n be 3220/(-8) + 3/(-6). Let m = -168 - n. Suppose 4*b = -b + m. Is b a composite number?
False
Let g(u) = -u**2 + 8*u + 9. Let p be g(9). Is (-913)/(-44)*(4 + p) a prime number?
True
Is -19322*3/30*-5 a prime number?
True
Let c be ((-340)/(-8))/(-5)*36. Let y = 702 + c. Let w = y - 278. Is w composite?
True
Let l(t) = -16*t**3 + 8*t**2 - 43*t - 36. Is l(-13) a composite number?
True
Suppose l - 2 - 2 = 0. Let j = 1 + l. Suppose j*q = 880 - 65. Is q composite?
False
Suppose 0 = 5*f + w + 2*w - 12, 2*f + 2*w - 4 = 0. Suppose 4*b - 3*r - 12 = 0, -2*r + 4 = -f*r. Suppose 4*t + 3*g - 442 = b, 3*g - 54 = -t + 61. Is t composite?
False
Suppose 65*g - 9489 = 62*g. Is g a prime number?
True
Let s(a) = -a**2. Let n be s(-3). Let c = n - -12. Suppose -3*i + b = -3*b - 227, c*i - 2*b - 229 = 0. Is i a prime number?
False
Is (14/(-1 - 41))/(1/(-39381)) a composite number?
False
Let k(a) = -14*a - 3. Let o be k(-3). Suppose 0 = -v + o - 14. Is v a composite number?
True
Suppose 4*n - 9539 + 2883 = 0. Suppose -n = -2*p - 492. Is p a prime number?
False
Is -12 + 18363 + 2*1 a composite number?
False
Let a(r) = r**3 - 12*r**2 - 12*r - 9. Let w be a(13). Suppose -2*j + w*b = -16, -3*j + 2*b - b = -19. Suppose 284 = d - 3*f, -f + 3*f = j. Is d a prime number?
True
Let q(s) = -s - 400. Let p(j) = -3*j - 799. Let v(n) = 3*p(n) - 7*q(n). Is v(0) prime?
False
Suppose -28*m = -474175 - 524557. Is m a prime number?
False
Let v = 29 - 21. Let g(k) = 26*k + 4. Let l be g(v). Let m = 361 - l. Is m a prime number?
True
Let y be (-859)/(2 + -5 + 21/6). Is (5 + y/8)*-8 a composite number?
True
Suppose -4*f = -6*f + 938. Let j = f - 80. Is j c