. Let u be s(-11). Let p = -25 + u. Is c(p) prime?
False
Let d(g) = g**3 - 3*g**2 + 7*g - 23. Is d(6) a composite number?
False
Let f(l) be the third derivative of 65*l**4/24 + 4*l**3/3 + 3*l**2. Is f(3) composite?
True
Suppose 3*x - 11 - 4 = 0. Suppose -4*n = -0*v - 4*v - 16, -3*n - x*v + 20 = 0. Suppose -2*y + n*y = 33. Is y a composite number?
False
Let z(i) = -i**2 + 8*i - 8. Let s be z(6). Suppose -j + 761 = s*o, 3*j - 366 - 198 = -3*o. Is o a composite number?
False
Suppose 3600360 = 30*i + 1275870. Is i composite?
True
Let g be (-220)/16 - (-3)/(-12). Let l(k) = -k**2 - 14*k + 3. Let c be l(g). Let w = 28 + c. Is w a composite number?
False
Let z be -1*4 - (-45)/((-18)/(-6)). Suppose -z*j + 13*j = 674. Is j composite?
False
Let a(o) = -o**3 - 3*o**2 + o. Let l(c) = c**3 + 3*c**2 + 1. Let u(g) = -4*a(g) - 5*l(g). Let h = -18 - -13. Is u(h) a prime number?
False
Let y(w) = w**2 + 10*w - 1. Let a be y(-10). Let l be (a + 3 - -1)/1. Suppose -388 = -5*z - n, l*n + 166 - 21 = 2*z. Is z composite?
True
Let i = 14 + -12. Let n(o) = -o + 0 + 8*o**i + 0 + 1 - 8*o. Is n(6) a composite number?
True
Let i(j) = -21*j**3 - 2*j**2 + 4*j - 7. Let h be i(-3). Suppose -9*m - h = -11*m. Is m a prime number?
False
Let j(y) = 2*y**3 + 3*y**2 - 8*y + 29. Is j(6) prime?
True
Suppose -7*v + 2*v = -1230. Suppose 3004 = 5*a + 5*p - v, 4*p - 1302 = -2*a. Is a a composite number?
True
Is ((-321832)/(-140))/(2/5) composite?
True
Let w = 14 - 12. Suppose a = 5*l - 182, -w*l - 6*a + a = -89. Is l a composite number?
False
Suppose -4*z + 15 = -49. Suppose 518 + 10154 = z*g. Is g a composite number?
True
Suppose 8 = 3*b + b. Suppose -b - 5 = -4*m + 5*u, 5*m = -3*u + 18. Suppose -w + 2001 = 4*w - 4*k, 782 = 2*w + m*k. Is w prime?
True
Let z = -1641 + 453. Let f = 3035 + z. Is f a prime number?
True
Suppose -7*a + 2106 = -232. Is 98/28*a*1 prime?
False
Let z be (-1308 + 0 + -2)/1. Is z*(-3 - (-10)/4) prime?
False
Let n(f) = -9*f**2 + f + 3953. Is n(0) a prime number?
False
Suppose 0 = 4*u + 5 + 3. Let t(o) = -o**3 - 3*o**2 - 4*o - 2. Let r be t(u). Is 44*r*23/8 composite?
True
Let q(o) = -37*o**2 - o - 2. Let z be q(-1). Let x = z - -52. Is x a prime number?
False
Let z = -1598 - -915. Let h = -17 - z. Suppose 3*o - h = 3*s, 6*o - 1118 = o - 3*s. Is o a composite number?
False
Suppose -4*l = -0*l, 9942 = 2*y + 2*l. Is y a composite number?
True
Let u(m) = 5*m**2 - m + 2. Let k(d) = 2*d**2 + 4*d - 1. Let g be k(-3). Let v be u(g). Let i = 613 - v. Is i a prime number?
True
Let l = -10203 - -19414. Is l prime?
False
Let s(r) be the first derivative of r**6/180 - 3*r**5/40 - r**4/6 - r**3/3 - 5. Let j(y) be the third derivative of s(y). Is j(7) a composite number?
False
Let c = 3543 + -1649. Is c composite?
True
Let f = -70 - -69. Is -251*(f - (4 + -4)) a composite number?
False
Suppose -5 = -b, 2*x + 8*b - 32346 = 12*b. Is x a composite number?
False
Suppose -55*x = -77789 - 79456. Is x a prime number?
False
Let g(o) = -5*o**3 + 2*o**2 - 2*o + 1. Let p be g(1). Is 862/(4/(-40)*p) a prime number?
False
Let m(i) = -3497*i + 13. Let z be m(-4). Is (60/35)/6 - z/(-21) composite?
True
Let d = 6 + -2. Suppose 4*v = 20 - d. Is -2 - 258/(v/(-2)) a prime number?
True
Let y(c) = 6*c**3 + 2*c**2 + 3*c - 6. Let f be y(3). Suppose -3*g + 18 = -f. Is g composite?
False
Let p(j) be the first derivative of 7*j**3/3 - j**2 - 6*j - 1. Let r be p(-8). Suppose -r = -3*v - 65. Is v a prime number?
True
Let a = -61 - -46. Let v be (-292)/12 - 4/6. Let h = a - v. Is h composite?
True
Let g(l) = -l**3 + 4*l**2 - l - 7. Let v = -5 + 2. Let n(t) = t**3 - 5*t**2 + t + 7. Let j(i) = v*g(i) - 2*n(i). Is j(6) composite?
False
Suppose -3*z = -7556 + 209. Is z prime?
False
Suppose -4 = -p + 1. Suppose 5*i + p*h - 815 = 0, -3*h = -3*i - 4*h + 497. Is i composite?
False
Let f = 868 - -1369. Is f prime?
True
Suppose 0*o - 3*o + 24 = 0. Suppose o = -c + 169. Is c composite?
True
Let a be ((-17)/(170/12))/(6/(-20)). Suppose 5019 + 7057 = a*d. Is d prime?
True
Let g = -38 - -25. Let r(t) = 2 - 14*t - 3*t - 20 + 0. Is r(g) a prime number?
False
Let i = 3964 + -2021. Is i a prime number?
False
Suppose -42*f + 70*f = 75740. Is f a prime number?
False
Suppose -3*g = -3*i - 99, -g + 3*g + 3*i = 51. Let j = -115 - g. Let y = j + 410. Is y prime?
False
Let g(d) = 2*d**3 - 46*d**2 + 6*d - 7. Is g(33) prime?
False
Suppose -3*f - 3 = -4*f, 2*f = o + 4. Suppose 0 = -4*c + 4*k + 940, -o*c = 3*k - 387 - 88. Suppose 9*r - c = 7*r. Is r prime?
False
Suppose -3*h - 51 - 4 = o, 145 = -3*o - 4*h. Let z be o/5*(-2 - 3). Suppose 34 = k - z. Is k composite?
True
Suppose 8*v - 13989 = 5*v. Is v a prime number?
True
Let u(o) = 658*o**2 - 15*o - 86. Is u(-5) composite?
True
Let u(a) = a + 7. Let i be u(-3). Let g be 2 + 54 - (1 + 4 + -1). Suppose i*j - g = -0*j. Is j prime?
True
Suppose 175 = 4*t - 165. Let v = t + 98. Is v a composite number?
True
Suppose 3*t + 2*m - 11813 = 0, 11*t + 11812 = 14*t + m. Is t a prime number?
False
Let k = -125 - -1899. Is k a composite number?
True
Suppose 4*d = 4, -d - 1780 = -b - 4*d. Is b prime?
True
Suppose 5*x = -3*c + 101753, -9*x = 2*c - 4*x - 67842. Is c a composite number?
False
Suppose 24087 = 13*u - 40120. Is u composite?
True
Let p(t) = 7*t**3 - 5*t**2 + 61*t - 12. Is p(11) a prime number?
True
Suppose 6*n - 4*n = -2*d + 2, -17 = -n - 5*d. Let u(f) be the first derivative of f**4/4 + 4*f**3/3 + f**2 + 3*f - 48. Is u(n) prime?
False
Let z(r) = 175*r**2 + 25*r + 11. Is z(-9) prime?
False
Let x(u) = 2*u**2 + 8*u - 13. Is x(11) prime?
True
Let f(k) = -326*k - 191. Is f(-8) prime?
True
Suppose 0 = 5*m - 21 - 9. Suppose 5*u - m = 9. Is (-4)/(u + -7) - -2 a prime number?
True
Is (-154 - (-12)/(-4))/((-5)/295) a composite number?
True
Let d(f) = -42*f + 1. Let c = -108 - -92. Is d(c) composite?
False
Let l = 444 + 36. Suppose h = 6*h - l. Suppose 0 = -4*z + 308 - h. Is z prime?
True
Suppose 0 = 2*p + 5*n - 9, 0*p + 4*n - 27 = 5*p. Is (4 - (p + -67))*(-46)/(-4) prime?
False
Let n(q) = 5*q**3 + 4*q**2 - 14*q + 15. Let t(j) = -14*j**3 - 13*j**2 + 43*j - 45. Let c(h) = 17*n(h) + 6*t(h). Is c(14) a composite number?
False
Let d = 5794 + -2543. Is d prime?
True
Suppose 4*t = -2*w - 58, 0 = 2*t - 5*w + 5 + 54. Let p = t + 20. Suppose 0 = v - p, -2*v + 0*v + 407 = j. Is j a composite number?
False
Suppose -5*r = 4*n - 150, -2*r + 2*n = 7*n - 43. Let v = r + -29. Suppose -2*y - v*j = -0*y - 1146, -j + 2328 = 4*y. Is y a composite number?
True
Let a(d) = 9*d + 37. Let l(t) = t + 1. Let y(g) = a(g) - 4*l(g). Suppose -2*b = 2*b - 64. Is y(b) a composite number?
False
Suppose 0 = -2*i - 2, 5*n - 4119 = 2*i - 1332. Is n prime?
True
Suppose -10 = -3*g - 1. Let p(q) = 93*q**2 + 3*q + 2. Let k be p(g). Suppose 0 = j - 649 - k. Is j a composite number?
True
Suppose 0 = -1368*y + 1370*y - 4198. Is y composite?
False
Suppose -552*r = -556*r + 12436. Is r a prime number?
True
Let m(n) = -n**3 + 12*n**2 - 13*n + 26. Let s be m(11). Suppose -5*y + 18567 = s*y. Is y a prime number?
True
Let d be 3/6*(4 - -2). Suppose 5*p = -5*v - 1510, -508 = d*p + v + 408. Is (p/2)/(2/(-4)) a composite number?
False
Let h(t) = 30*t**2 - 5*t + 5. Let i(a) = -7*a. Let d be i(1). Let p = -5 - d. Is h(p) composite?
True
Suppose 0 = 3*b + 4*d - 7672 - 5505, 5*d - 17571 = -4*b. Suppose -4*n + q - b = -8*n, -2*n + 2204 = 2*q. Is n composite?
True
Let k(u) = -u**2 + 10*u - 17. Let j be k(8). Let g(h) = -373*h - 2. Is g(j) composite?
True
Let p = 444 - 200. Suppose -p = -t - t. Is t composite?
True
Let m = 76126 - 37419. Is m composite?
False
Let l(i) = i**2 + 2*i + 126. Let t be l(0). Suppose -3*x + t = -v - 11, 5*v + 661 = 3*x. Let b = 946 + v. Is b a prime number?
False
Is (-667764)/(-72) + 10/4 a composite number?
False
Let z be (-2)/4 - -51*(-2)/12. Is (z - -11)/(4/4406) prime?
True
Let r = 17733 - -2420. Is r composite?
True
Let z = -3 - -4. Let o be z*2 - (-12 + 9). Suppose -4*x + 4*v = -63 - 13, 25 = -o*v. Is x composite?
True
Suppose 6970 = 5*j - 3*h, 3*j = -0*h + 2*h + 4183. Is j a prime number?
False
Suppose 4*j - 40 - 13 = -5*g, 4*g = -2*j + 34. Suppose -17*i + j*i + 12910 = 0. Is i prime?
True
Let g(m) = -m**3 + 8*m**2 + 7*m + 11. Let z be g(9). Let x = z - 0. Is -74*(-3)/((-6)/x) prime?
False
Let j(q) = -q**3 + 2*q**2 - 11*q + 