et m(t) = 3*t**2 + 2*t. Is m(g) a composite number?
True
Is (2 + -4)/(8/(-868)) composite?
True
Let c(s) = -3*s**2 - 3*s**2 - 13 - 9*s + 5*s**2 + 2*s**2. Let r be c(10). Is 13 - (0 + r)/3 a prime number?
False
Suppose -2*d + 0*d = 10, -3*d = -l + 52. Let j be (-1)/2*(0 - 0). Let i = j + l. Is i a composite number?
False
Let o = 21 + 1. Is o a composite number?
True
Let s be ((-158)/8)/((-2)/8). Let b = -2 + s. Is b prime?
False
Let w(q) be the third derivative of q**6/10 + q**5/30 - q**4/12 + q**3/6 - q**2. Let s = -24 - -25. Is w(s) a composite number?
False
Let r be 2/1 + 0/(-2). Let d be r - (-2 + 2 + 0). Suppose -d*g = -4*y - 32, 0 = -g - 2*y - 4 - 0. Is g composite?
True
Suppose 4*c + 128 = -2*d, 0*d + 305 = -5*d + 5*c. Let g = d - -141. Is g composite?
False
Suppose -22 = -7*p + 6*p. Is p/(-3)*6/(-4) composite?
False
Let k(p) = 106*p**2 + p - 1. Let n be k(1). Suppose 0*t - n = -2*t. Is t composite?
False
Suppose 0 = -n + 4*n - 24. Let y(h) = -h**3 + 8*h**2 + 2*h + 7. Is y(n) a prime number?
True
Let q(p) = -24*p**2 + 3*p + 1. Let k(b) = 25*b**2 - 4*b. Let z(j) = -3*k(j) - 4*q(j). Suppose 4*w - 6 + 18 = 0. Is z(w) a composite number?
True
Let l be (-28)/(-6) - 2/(-6). Suppose -l*v = -2*v. Suppose v = 3*n - 2*n - 23. Is n a prime number?
True
Let g = -1370 - -1993. Is g a prime number?
False
Let b(q) = -q**3 + 5*q**2 - 5*q + 6. Let i be b(4). Is (3*i)/((-6)/(-21)) prime?
False
Let t(n) = n + 97. Let s(g) = -g**2 + 13*g - 14. Let f be s(11). Let z(w) = -w + 8. Let h be z(f). Is t(h) composite?
False
Is 631/((6/3)/2) composite?
False
Suppose -2065 = -t - a - 3*a, -5*t + 2*a = -10259. Is t a composite number?
False
Let m(r) = r - 11. Let x be m(0). Let n = -1 - x. Is n a composite number?
True
Suppose -5*y - 5*w - 34 = -3*w, -2*y - 8 = -2*w. Let z(i) = -28*i + 3 - 6 - 4. Is z(y) a composite number?
True
Let h(c) = 13*c + 3. Let y be h(5). Suppose -3*q + 43 = -y. Is q prime?
True
Let o(n) = 204*n - 65. Is o(16) a composite number?
True
Suppose 0*j = -j. Suppose -4*c - 5*z = -j - 12, 0 = -2*z. Let q = c - -3. Is q a composite number?
True
Let q(a) = -3*a - 1. Let h be q(-5). Let v = h + -30. Let d = v - -25. Is d a composite number?
True
Let v be (50/(-3))/((-4)/18). Suppose 4*h - v = 2*x + 1977, 0 = 3*h - 2*x - 1541. Is h composite?
True
Let m be (-27)/(-6)*2/3. Suppose -22 = m*d + 4*z, 5*z - 4 + 27 = -3*d. Is (-57)/2*d/9 a composite number?
False
Let z be -3*2*(-1)/2. Suppose 2 = -2*n + 8. Suppose -3*s + 6 = -n*k + s, -5*s = -z*k - 9. Is k composite?
False
Let w(j) = j**2 + 2*j - 9. Let b be w(9). Let f = 251 - b. Is f composite?
True
Let v(h) = -h**2 + 3*h + 4. Let j be v(5). Is ((-235)/3)/(2/j) a prime number?
False
Let l(a) = a. Let z(c) = -27*c - 4. Suppose -2*h - 2 = -h. Let g(u) = h*l(u) + z(u). Is g(-3) prime?
True
Suppose -3*k + 112 = -278. Suppose 3*w - k = 47. Is w a composite number?
False
Let n(u) = -16*u - 3. Let w(h) = h. Let a be w(-5). Is n(a) composite?
True
Suppose -4*v = 3*d - 45, -3*v + 0*v = -5*d - 12. Suppose -x = -4*u - 39, x = -2*u + v + 6. Is x a composite number?
False
Let u(h) = -166*h. Let g be u(-3). Suppose -g = -5*j - 113. Is j a prime number?
False
Let x(o) be the third derivative of 43*o**4/24 - 23*o**3/6 + 3*o**2. Is x(12) prime?
False
Suppose g + 0*g = -4. Let x = 19 - g. Is x prime?
True
Let x(q) = 2*q**2 + 14*q + 10. Is x(-16) a composite number?
True
Let a(w) = w**2 + 5*w - 4. Let r(u) = -u**3 + 7*u**2 - 9*u + 8. Let b be r(6). Let i be a(b). Let p = i - 27. Is p prime?
True
Is 0 - 0 - (11 - 458) prime?
False
Let c(f) = 18*f - 20. Is c(11) prime?
False
Let h be 3*3*4/18. Suppose -h*g + 4*t = -34, -4*g + 59 = -g - 4*t. Is g a prime number?
False
Let t(d) be the first derivative of -d**4/4 + 13*d**3/3 - 11*d**2/2 + d + 3. Is t(10) a prime number?
True
Suppose 1 = 5*l - 19. Suppose 2*o = 5*j - 179, j + l*j + 2*o - 171 = 0. Is j a composite number?
True
Let h(w) = 27*w**2 - 3*w + 3. Let d(r) = r + 11. Let m be d(-9). Let i be h(m). Suppose -5*k + i = -0*k. Is k prime?
False
Suppose 3*d + 3*c = -897, 5*d = d - 3*c - 1191. Is (-8)/12*d/4 a prime number?
False
Suppose 5*a - 2*t - 1113 = -6*t, 446 = 2*a + 2*t. Is a a prime number?
False
Suppose 4*r - 4244 = -0*r. Is r prime?
True
Let n = 3 + -2. Let i(t) = -t - 6. Let p be i(5). Is (-1 - p)/(n + 0) a prime number?
False
Let d(r) = -66*r + 3. Let i be d(-4). Suppose 0 = -3*g + 6*g - i. Is g a prime number?
True
Suppose x - 137 = -4*c + 2*x, 3*x = c - 48. Let t = c - 3. Let k = -16 + t. Is k prime?
False
Let n(s) = 66*s**3 - s**2 + s. Let b be n(2). Suppose 66 = -4*x + b. Is x a composite number?
True
Let u = 135 - 86. Suppose a + u = 3*t + 5*a, -5*a = 2*t - 28. Is t prime?
True
Suppose 0*z = -4*z + 5*w + 41, -3*z + 2*w = -22. Suppose 0*r = -z*r - 4, 5*r = -5*v + 160. Is v a composite number?
True
Suppose 0 = t - 171 + 29. Is t a prime number?
False
Suppose -3*x = 2*x - 290. Is x a composite number?
True
Let d = 723 + -1076. Let b = -36 - d. Is b a composite number?
False
Let j(l) = -l**2 - l + 4. Let z be j(0). Suppose -z*o = -o. Is (o + 119)*(0 + 1) prime?
False
Let d(z) = z**2 + 3*z + 4. Let o(a) = -a - 1. Let f be o(2). Let y be d(f). Suppose 430 = 5*x - b, 3*b - 230 = -y*x + 133. Is x a composite number?
True
Let b = -2 + 4. Let z(t) = -b - 2 - 5*t + t**2 + 5. Is z(-4) composite?
False
Let n(j) = -560*j**3 + j**2 + j - 1. Is n(-1) composite?
True
Is (46/69)/((-2)/(-24294)*2) prime?
True
Let v(l) = -l**2 - l. Let w be v(0). Let f(i) = i**2 - i + 4. Let z be f(w). Suppose -2*b + 16 = -z. Is b a prime number?
False
Let j(g) = g. Let b be j(3). Is -8*(b + 46/(-8)) a composite number?
True
Let m(x) = -4*x - 11. Suppose -4*t + 41 = -4*z - 3*t, -1 = -z - 2*t. Is m(z) composite?
True
Let t = 29 - -558. Is t composite?
False
Let n = 6 + -2. Let y be ((-2)/n + 1)*26. Let p = y + 2. Is p a composite number?
True
Let r be (-388)/(-8)*(0 + -2). Let c be 13/(15/14 - 1). Let v = r + c. Is v prime?
False
Let v = 8 + -3. Suppose 0*f + f = v. Suppose -3*l - 106 = -f*l. Is l a prime number?
True
Is 6/(-9)*(7060/(-8) + 2) composite?
False
Let x(q) = -q - 4. Let v be x(-5). Is 12*(1 + v) + 1 a prime number?
False
Let a(d) = -10*d - 6. Suppose 2*b - 28 = -2*b. Let s be a(b). Is 2/(-2)*(-1 + s) a prime number?
False
Suppose 0 = 3*q + 2*m - 911, -1213 = -q - 3*q - 3*m. Is q a composite number?
False
Suppose 2*r - 62 = -5*d - 337, 5*d = -3*r - 405. Let f = r - -213. Is f prime?
True
Suppose -4*s - 3*d = -s - 9, 0 = -4*s - 2*d + 12. Is (s - -505)*(-1)/(-4) a composite number?
False
Suppose -4*a + 4 = -2*d - 2*d, 0 = 2*a - 3*d + 2. Is (-2)/5 + 597/a a prime number?
False
Is -2355*(4/(-12) + 0) a composite number?
True
Let m(h) = -3*h**2 + 15*h + 1. Let g(y) = y**2 - 8*y. Let x(w) = 5*g(w) + 2*m(w). Is x(-9) a prime number?
True
Suppose 0 = -5*b + 5 + 5. Suppose -b*l + 740 = 2*l. Suppose l = 4*y + y. Is y a prime number?
True
Suppose n + 6 = 15. Is (-282)/n*(-15)/10 prime?
True
Suppose -194 = 5*x - z, 2 = z - 3*z. Let s be (-2)/(-8) - x/4. Is (s/25)/(2/30) composite?
True
Let x(o) be the third derivative of -o**5/60 - o**4/2 - o**3/2 + 6*o**2. Is x(-6) prime?
False
Suppose -3*w - 35 - 9 = -5*f, -f + 4*w + 19 = 0. Let h(v) = v**3 - 6*v**2 - 4*v - 2. Is h(f) composite?
False
Suppose -4926 = -3*s - 3*n, -4*s - 5*n = -8978 + 2407. Is s prime?
False
Let o be (-3 - -1)/((-4)/6). Let y(z) = -4*z**2 - 11*z + 1 + 0 + 0*z**2 + o*z**2. Is y(-5) composite?
False
Suppose -4 = 3*b - 1. Let x = 12 + b. Suppose -5*a - x = -141. Is a a composite number?
True
Suppose -3*l + 4*f + 2885 = 0, 3*l - 3685 + 798 = 5*f. Is l a composite number?
True
Let b(h) be the first derivative of 7*h**3/3 - 3*h**2 - 8*h - 2. Is b(7) composite?
False
Is (-10)/30*-230 + 2/6 a prime number?
False
Let w = -132 + 207. Let y = 126 - w. Is y a prime number?
False
Let v be 18/(-4)*8/(-6). Let z be 0/(-2)*v/12. Suppose z*c - 41 = -c - 3*o, 3*o = 3*c - 171. Is c prime?
True
Suppose 3*c - 2469 = 408. Is c a prime number?
False
Let m = -9 - -14. Suppose 280 - 715 = -m*j. Is j prime?
False
Suppose -5*v - 66 - 309 = 0. Let i be (3 - 4) + 3 + 0. Is 2/i*(2 - v) composite?
True
Suppose d + 65 = 474. Is d a composite number?
False
Let k(i) = 74*i**3 - i**2 - i + 2. Is k(1) a prime number?
False
Let s(a) be the first derivative of 15*a*