**3 - 3*z**2 + 3*z + 3. Let x be a(-3). Is (-4713)/(-6) + (-9)/x prime?
True
Let x = -78 + 5. Is 1 - (-2 + x + -1) composite?
True
Suppose 15 = 5*c - 5. Suppose 7 = -c*n + 3. Is n/(-4)*-2*-134 prime?
True
Let w = -1142 - -2055. Is w prime?
False
Suppose 1162 + 328 = 10*x. Is x a composite number?
False
Let a be (-1)/3*(-516 - 3). Let t = a + -86. Is t composite?
True
Let t(a) = -5 + 15 - 5 + 36*a. Is t(4) a prime number?
True
Suppose 0 = -4*z - 5*q + 573, -4*q - 200 = 4*z - 772. Is z a prime number?
False
Suppose 11528 = 10*j - 5802. Is j composite?
False
Suppose -257 = -5*y + 188. Is y prime?
True
Let t be (-2 + -3)*24/20. Let r(w) = -12*w - 3. Is r(t) prime?
False
Let n(q) = -2*q + 7. Let s be n(3). Is s - -1 - (2 + -97) composite?
False
Is 3453/5 - (-6)/15 a prime number?
True
Is 160626/114*(0 - -1 - 0) a prime number?
True
Let a(c) = c**2 + 11*c. Let y(k) = 10*k + 1. Let x(r) = 4*a(r) - 5*y(r). Suppose f + 4*f - 3*b = -35, 0 = -5*f + 4*b - 40. Is x(f) a prime number?
True
Let a(f) = 10*f**2 + 6*f - 6. Let q = 10 + -12. Let c(b) = -b**3 + 2*b. Let o be c(q). Is a(o) prime?
False
Let r = -4 - -19. Is r a prime number?
False
Is (-26)/52 + 1 + 289/2 a composite number?
True
Let s(b) = 10*b**2 + 3*b + 2. Is s(5) a composite number?
True
Suppose 15 - 2 = a. Let l = a - 9. Suppose -3*f = 6, 5*f + 142 = 4*j + l*f. Is j a prime number?
False
Is (-359)/(-1) - (-3)/(-9)*3 prime?
False
Suppose g - 2*g = -397. Is g a composite number?
False
Let r = 1820 - 1263. Is r prime?
True
Suppose 1855 = 4*l - 2613. Is l a composite number?
False
Let n(s) = -s**2 + 5*s - 4. Let t be n(3). Suppose -q + 2*g = q - 44, t*g = 5*q - 101. Is q a composite number?
False
Let t be (-6)/21 - 1132/7. Let r = -330 - -569. Let a = r + t. Is a a prime number?
False
Suppose 0 = -5*b - 2*r - 2*r + 1745, 20 = -4*r. Is b composite?
False
Suppose 2*m = -2*x - 16, 5*m + 2*x + 22 = 6*x. Let t = 4 + m. Is 52/3*(-3)/t a prime number?
False
Suppose -3428 - 9627 = -5*i. Is i a prime number?
False
Suppose 0 = 2*r - i - 4, 2*i + 8 = 2*r - r. Let u = -642 + 1005. Suppose 3*b - u = -r*b. Is b a prime number?
False
Let a(w) = w**2 - 1 + 3*w - 4 + 4*w. Let f be a(4). Is (-167)/(-13) - (-6)/f prime?
True
Let b(j) = -j**3 + 5*j**2 - 5*j + 6. Let s be b(4). Let t(d) = 5*d - 2. Let x(g) = 20*g - 8. Let a(v) = s*x(v) - 9*t(v). Is a(-7) a prime number?
True
Suppose 4*u + 2 = 14. Is (18/(-8))/u*-284 a prime number?
False
Is (-557)/(4/(-1 - 3)) composite?
False
Let p = 7841 - 4170. Is p composite?
False
Suppose 2*h + w + 10 = 3*w, 2*w - 10 = 5*h. Let v = 3 + h. Suppose -2*z - v*z + 355 = 0. Is z composite?
False
Let z(v) = 2*v + 10. Let k be z(-11). Is (-4)/(-6) + (-628)/k a composite number?
False
Let q = 1321 + -853. Suppose -5*n - q = -n. Is 1/(n/59 + 2) a composite number?
False
Suppose -6*n = 2*n - 8936. Is n composite?
False
Let t = -7 - -5. Let k be -14 + (-2 - (t - 0)). Is (33/(-6))/(1/k) prime?
False
Suppose 8*s = 5*s. Suppose s = -4*m + 5*m - 33. Is m a prime number?
False
Let l = -22 - 66. Let y be 1/(-1 + (-44)/(-43)). Let m = y - l. Is m a prime number?
True
Suppose 0 = -3*j - 152 + 620. Suppose -j = -4*g + 1184. Is g a composite number?
True
Suppose 138 = 2*o - 68. Suppose l + 1 = 0, 3*j + 0*l + 2*l = o. Is j prime?
False
Suppose 4*t - 41 = 4*b + 55, 3*b + t = -72. Let g = 7 - b. Is g a composite number?
False
Suppose 4*o + 10 = 3*o. Let q = 29 + o. Is q a composite number?
False
Suppose 0 = -i - 2*c + 30, -5*i - 3*c = -3*i - 55. Suppose -b - 227 = -3*n - 3*b, -4*n = -2*b - 298. Suppose -w = i - n. Is w a composite number?
True
Let x(n) = -30*n**3 - 5*n**2 + 3*n - 4. Let r be x(3). Let c = -587 - r. Is c composite?
False
Is 90260/5 + (6/(-2) - -4) prime?
False
Suppose 295 = 5*o - 5*k, -2*o + 2*k = -2*k - 120. Suppose r + 43 = 4*v, -2*v + 2 = -v. Let d = r + o. Is d prime?
True
Let w = 1 - 1. Is (-3 - w)/(9/(-78)) a prime number?
False
Let n = 10 - -24. Suppose -r + n = 3. Is r prime?
True
Let j be (2/(-6))/(9/(-54)). Let t be (-1)/j*(-8)/(-4). Let q(r) = -11*r**3 - r**2 + 1. Is q(t) a composite number?
False
Suppose 1 + 84 = l. Is l composite?
True
Let p be (15/(-6))/(1/(-2)). Let c = 7 - p. Suppose c*m - 3*m = -43. Is m a prime number?
True
Suppose -6214 - 727 = -11*h. Is h composite?
False
Let t be (3*1)/(5/5). Let l be (-4)/4 + t/1. Suppose 76 = l*z - 58. Is z composite?
False
Let g(f) = 6*f**3 + 13*f**2 - 2*f - 13. Is g(6) a composite number?
True
Let n(f) = 19*f**3 - 10*f**2 + 8*f + 1. Is n(6) a prime number?
True
Let n(k) = 42*k + 9. Let y be n(5). Is (-4)/(-4) + y - -3 composite?
False
Suppose 0 = 5*r - 0*r - 4*x - 201, 2 = 2*x. Suppose 3*b = -5*k + 22, -10 = 2*b - 3*b - 3*k. Suppose r = b*h + 1. Is h a composite number?
True
Let z(l) = l**3 - 6*l**2 + 3*l + 8. Let u be z(8). Suppose 324 = 4*j + 5*r - r, u = 2*j + 3*r. Is j composite?
False
Let j = -390 - -232. Is (j/(-3))/(6/9) a composite number?
False
Let g(p) = 3*p - 2*p + p - 4*p + p**2 - 1. Is g(3) prime?
True
Suppose 1437 = -5*b + 8*b. Is b a prime number?
True
Let p(q) = 5*q + 2 + 0*q**3 - 8 - q**2 + q**3 - 2*q**2. Suppose -k - 20 = -5*k. Is p(k) a prime number?
False
Let b(o) = 5*o**2 + 4*o - 2. Let a(s) = -s**2 + 6*s - 5. Suppose 0 = -0*t - 5*t + 2*c + 26, -4*t + 32 = 4*c. Let d be a(t). Is b(d) composite?
False
Suppose -25 = -5*t - 3*a, 5*t - 16 = 2*t - 2*a. Let u(h) = 0 + 3*h**t + 4 + 3*h + 0. Is u(-3) prime?
False
Let c(l) = l**3 - l**2 - l. Let k(y) = -4*y**3 + y**2 + 7*y + 2. Let z(w) = 5*c(w) + k(w). Let n be z(2). Let h = n + 21. Is h a prime number?
True
Let f be 139*(0 + (3 - 0)). Suppose 2*m - 245 - f = 0. Is m a composite number?
False
Suppose 5*w - 10 + 34 = 3*y, -26 = 5*w - 2*y. Let u(s) = s**3 + 5*s**2 - 4*s + 4. Let q be u(w). Let m(i) = -i**2 - 10*i - 2. Is m(q) a prime number?
False
Suppose 32 = -0*c + 3*c + 2*g, 0 = -5*g + 5. Suppose -c = -2*p, -3*w + 4*p + 23 + 14 = 0. Is w prime?
True
Let t(k) = k**3 + 30*k**2 + 21*k - 43. Is t(-28) a composite number?
False
Let s(f) = -f**3 + 6*f**2 + 2*f + 8. Let g be s(6). Suppose -2*k + 6*k = g. Suppose 62 - 7 = k*i. Is i composite?
False
Suppose -5*x = 15, -2*u + x - 2*x + 11999 = 0. Is u prime?
False
Let k be 5 + -4*(-3)/(-6). Suppose -k*s + 0*v = -2*v - 491, 0 = -s - v + 157. Is s composite?
True
Let k = 27223 - 14374. Is k composite?
True
Let c(a) = 10*a**2 + a - 1. Let k(f) = -f**2. Let m(w) = 3*c(w) + 24*k(w). Let y be m(-5). Let b = y - 81. Is b prime?
False
Suppose 4*v = -5*y - 10, y + v + 3*v = -18. Suppose -4*g = -14 + y. Suppose 0 = g*r + 15 - 168. Is r composite?
True
Let q(g) = -3*g**2 - 7*g + 6. Let j be q(-7). Let y = -55 - j. Let w = y + 14. Is w composite?
True
Let m(l) = 33*l**2 - 8*l + 1. Is m(4) composite?
True
Let p(t) = 3*t**2 + t + 8. Let j(r) = 5*r**2 + 3*r + 16. Let m(c) = 4*j(c) - 7*p(c). Let u be m(6). Is (u - -7) + (-2)/(-2) a composite number?
True
Let g(n) = 77*n + 10. Is g(12) prime?
False
Let m(f) = -f**3 - 8*f**2 + 7*f - 8. Let s(n) = n**2 - 5*n - 4. Let x be s(4). Let q be m(x). Let a = 90 + q. Is a a prime number?
False
Suppose g - 288 = -111. Suppose -8 = k - 4*q, 3*q = 5*k + 5*q - 4. Suppose -4*r + r + g = k. Is r prime?
True
Let s(n) = n**2 - 6*n + 8. Let g be (-1)/3 - 138/(-9). Let y = -6 + g. Is s(y) a prime number?
False
Let d(t) = 11*t - 13. Let k = -11 - -17. Is d(k) a prime number?
True
Let u be 34/10 + (-6)/15. Suppose 360 = 5*n + 75. Suppose n = u*y - 0*y. Is y composite?
False
Let h(y) = -12*y + 1. Let k be h(-1). Let t = 6 + k. Is t prime?
True
Suppose -2*k - 2*o + 16 = 0, k + o = -o + 12. Suppose t - x = 2*t + 59, -12 = k*x. Let f = t - -79. Is f prime?
True
Let b be (8/20)/((-1)/160). Suppose -p = 4*p - 585. Let t = b + p. Is t prime?
True
Let g(t) = 224*t**2 + 2. Is g(-1) prime?
False
Let d = -1 + 1. Suppose d*f - 5 = 5*f. Is 10/(f + 4 + -2) a composite number?
True
Let r = 317 + 2. Let l = 115 + 77. Let z = r - l. Is z a composite number?
False
Let l(r) = 0 - 3*r + 5*r**2 - 3*r**2 + 2. Let m = -24 - -27. Is l(m) a prime number?
True
Suppose 3*s - 25 + 7 = 0. Suppose -s*y - 2620 = -y. Let q = y - -757. Is q a prime number?
True
Let i(k) = -k**3 - 2*k**2 + 6*k - 4. Is i(-13) a prime number?
True
Suppose -4*t - 739 = -5*t. Is t a composite number?
False
Suppose 4*k - 413 - 5759 = 0. Is k a prime number?
True
Is 4