) = 31*o**2 + o + 1. Let r be (1 - 2/(-2)) + -3. Is i(r) a prime number?
True
Let a(i) = -2*i**3 - i**2 + 8*i + 6. Is a(-5) a prime number?
True
Let a(p) = p**3 - 6*p**2 - 11*p - 1. Let n(h) = h + 9. Let v be 1*-1 - (-9 + 8). Let x be n(v). Is a(x) a prime number?
False
Let n = 1142 + -422. Suppose n - 159 = 3*k. Is k a composite number?
True
Let r be 0*(12/4)/6. Suppose r = -p + 11 + 8. Is p a composite number?
False
Suppose -2*s + 0*s = 2. Let i(j) = -6 + j + 7 + 0*j**2 - j**2 - 16*j**3. Is i(s) composite?
True
Suppose 0 = -5*i + q + 22737, -4*i + 4545 = -3*i + q. Is i composite?
False
Let n be 14/21*213/(-1). Let d = n + 231. Is d prime?
True
Let a(c) = 14*c**2 - 4*c - 5. Is a(-4) prime?
False
Suppose 4*f = -3*k + 489, -3*f + 486 = f + 2*k. Let n = f - 5. Is n composite?
True
Let y = 847 - 554. Is y prime?
True
Let u be (-4)/((-2)/16*-2). Let y = -8 - u. Let f(z) = 5*z - 1. Is f(y) a prime number?
False
Suppose -4*q - 8 = -24. Let k = q + -9. Is ((-83)/(-4))/(k/(-20)) a prime number?
True
Suppose -5*k = y - 16, 1 = 5*y + 21. Let g be ((-6)/k)/(12/(-16)). Suppose -126 = -4*c - g*v, -c - 5*v = -4*c + 114. Is c composite?
True
Suppose 5*k - 2556 = 1499. Is k prime?
True
Let b be (-6)/15 - 467/(-5). Suppose -4*q + b = -163. Suppose -4*u + q = -3*z, -4*z = 2*u - 0*u - 10. Is u prime?
True
Suppose 0 = -5*h + 2*h + 6, 0 = m - 2*h - 103. Suppose 3*g + 4*v - 95 = 0, -3*g - 3*v + m = -2*v. Is g a prime number?
True
Let g(l) = l**3 + 3*l**2 - l. Let o(c) = -c**3 - 4*c**2. Let j(n) = 3*g(n) + 4*o(n). Is j(-7) a composite number?
True
Suppose 5*h - 3*h = 0. Is h - ((-6)/3 - 65) a prime number?
True
Is 74*(3 - -2) + 3 a composite number?
False
Let l(x) = x**2. Let q(r) = -62*r**2 + r. Let n(w) = -4*l(w) - q(w). Let k be n(1). Is 4*(k/12 - 2) prime?
True
Let s(g) be the second derivative of 2*g**4 - 2*g**3/3 + 3*g**2/2 - 6*g. Suppose -5 - 5 = -5*w. Is s(w) composite?
True
Suppose 3790 - 1154 = 4*j. Is j composite?
False
Let d be ((-6)/(-2))/3*531. Suppose 0 = 4*f - d - 25. Is (2 - -2)*f/4 a composite number?
False
Let d(a) = a**3 + 4*a**2 + 9*a + 12. Let i be d(-8). Is (3/6)/((-2)/i) a prime number?
True
Let o(u) = -5 - 23*u - 3*u + 3. Let r be o(-6). Let f = -67 + r. Is f a prime number?
False
Suppose 6 + 26 = c. Let j be (0/(-3))/3 - -11. Let d = c - j. Is d composite?
True
Let s = -1 - 1. Let l be 0 - (-2)/(s/2). Is (-1 + (-195)/6)*l prime?
True
Suppose -4*p + 32 = -q + p, 0 = 4*q - p + 185. Let a(n) = -34*n + 1. Let w be a(-2). Let d = q + w. Is d prime?
False
Let s(z) be the second derivative of z**4/12 - 4*z**3/3 + z**2 - 2*z. Let b be s(7). Let k = 15 + b. Is k a composite number?
True
Let w be (5/(-10))/(2/24). Let q(p) = -10*p - 7. Is q(w) a composite number?
False
Let b = 274 - -238. Suppose -2*u - 2*u + b = 4*x, -2*x = -5*u + 605. Is u a prime number?
False
Let x(k) = -39*k + 22. Is x(-11) a composite number?
True
Suppose -5*a + 5*v = -1480, -2*a - 4*v = 3*a - 1453. Is a prime?
True
Suppose 0 = -4*h + 916 - 236. Suppose z + z = h. Is z prime?
False
Suppose -4*k + 34 = 5*y, 3*y = 6*k - 3*k + 15. Let c(q) = q**2 + q - 402. Let i be c(0). Is i/4*y/(-9) prime?
True
Let w = 24 + 19. Suppose 0 = 2*v - 9 + 3. Suppose -2*g - w = -v*g. Is g composite?
False
Let f(r) = r**2 - 4*r + 22. Is f(-15) a prime number?
True
Let i = 1 - -2. Suppose 0 = -4*x + i*x - 2*v + 343, 5*v - 690 = -2*x. Is x a composite number?
True
Suppose 3*w = -4*v + 64, w - 8 = -v + 13. Let m be 8/w - (-32)/(-5). Is (6/4)/((-1)/m) a prime number?
False
Let d = 6448 + -3637. Is d composite?
True
Let y(w) = 97*w. Let a be y(1). Let l = -38 + a. Is l composite?
False
Let r(o) = 1 + 0*o**2 + o + 5*o**3 + 0*o**2 - 4*o. Is r(3) a composite number?
False
Suppose -3*o - 3*l = -13 - 122, 91 = 2*o + l. Is o a prime number?
False
Let i(j) = -2*j - 3*j + 2*j**2 + 5 + 7*j. Let y(a) = a + 9. Let g be y(-4). Is i(g) prime?
False
Suppose 0 = 4*d - 50 + 10. Suppose d = -0*k - 2*k, -5*m - 4*k = -5. Suppose -m*j - 8 = -j, -t = 3*j - 16. Is t a prime number?
False
Is (-30)/(-75) - (-466)/10 a prime number?
True
Let g(x) = -x**2 - 9*x - 2. Let o be g(-8). Is o/8 - (-6325)/20 a prime number?
True
Let m = -106 + 157. Is m a prime number?
False
Suppose 0 = -3*w + 2*z + 10, 0 = -4*w + 2*z + 3*z + 18. Suppose -225 = -w*d + l, -218 = -3*d + 2*l + 119. Is d composite?
False
Let t(o) = -7*o**3 + o**2 - 6. Let i(z) = z**3 + z**2 + z. Let h(g) = -6*i(g) - t(g). Let w be h(9). Suppose 39 - w = -5*p. Is p composite?
True
Suppose 4*i - 548 = 3*j + 287, -i + 196 = -5*j. Is i composite?
False
Let y(d) = -d**2 + 7*d - 1. Let q be y(7). Let x be ((-3)/(4 + -1))/q. Let h = 2 + x. Is h composite?
False
Suppose -p = -2*g - 493, 0 = 5*p + 4*g - 2*g - 2501. Is p composite?
False
Let m = 4 + -4. Let f be (2/3)/(4/30). Suppose m = f*g - 224 - 831. Is g a prime number?
True
Let l be (-2)/(-10)*-2*5. Let x be (8/l)/(2 - 4). Is -2 + 3 - x*-1 a prime number?
True
Suppose -d = -0 - 15. Let s = d - -8. Is s a prime number?
True
Let m(o) = o - 2. Let g be m(5). Suppose -17 - 28 = -g*l. Is l a composite number?
True
Let l = 97 + -40. Is l - (-1 - 3/3) prime?
True
Let n(v) = -v**3 + v**2 - v - 3. Let u be n(0). Let t = u - -11. Suppose 4*g + 0*g - t = 0. Is g a prime number?
True
Let o(w) = -3*w**3 - 10*w**2 - 9*w + 9. Is o(-8) a prime number?
True
Let q = 737 + -436. Is q prime?
False
Let a(i) = i**2 + 6*i + 16. Is a(15) prime?
True
Let d(a) = 5*a + 0*a + 11 + 6*a - 4. Is d(5) composite?
True
Let o(j) = j**2 - 4*j - 4. Let v be o(4). Let k be v/(-18) + (-2)/9. Is (-17)/(-1) - (k - -2) a prime number?
False
Let t be (-16)/24 + 4/6. Suppose -5*a + 6*a - 2 = t, -k = -4*a - 45. Is k a prime number?
True
Suppose -2033 = -2*y + 5*a, 4*y - 6*y + 2006 = 4*a. Is y a composite number?
False
Suppose 1 = b + 3*z - 0, 2 = b + 4*z. Is b/5 + (-2181)/(-15) a prime number?
False
Let z = 129 - 69. Suppose -3*f = -0*f + z. Is (-4)/f - 2108/(-10) composite?
False
Suppose 0 = 5*x - 5*o - 1615, 1444 = 3*x - 5*o + 471. Is x a prime number?
False
Let p(j) = j**2 - 2*j - 9. Let g(r) = -6*r - 6. Let l be g(-5). Suppose 0 = 3*s + 5*d + 18, l = -0*s - 4*s + 2*d. Is p(s) prime?
False
Suppose 603 = -4*a + 2127. Is a prime?
False
Suppose -2*r = 3*b - 1133, 0 = -b + r + 3*r + 387. Is b composite?
False
Suppose 4*w - 9 = 7. Let a(y) = 5*y + 1. Let m be a(w). Is (-14)/m*249/(-2) composite?
False
Let u(g) be the third derivative of 25*g**4/24 + 3*g**2. Let x be u(2). Let a = 71 - x. Is a prime?
False
Let d(g) = 2*g**3 - 14*g**2 - 10*g - 7. Is d(13) a composite number?
True
Is ((-268)/(-6))/((16/18)/4) a composite number?
True
Let f be ((-10)/(-3))/((-2)/(-3)). Suppose -d - 16 = -5*d, w = f*d - 9. Is w a composite number?
False
Let p(a) = -a**3 + 4*a**2 + 8*a - 5. Let w be p(5). Let s = 65 - w. Is s a prime number?
False
Suppose 233 = -3*q + 4*q. Suppose 0 = -4*g + 5*j + q, 5*g = j - 0*j + 307. Is g a prime number?
False
Suppose 0 = 2*y + 4*y - 1410. Is y prime?
False
Let z(d) = -71*d. Let t be z(3). Let b = -100 - t. Is b a prime number?
True
Let m(l) = 5*l - 163*l - 45*l. Is m(-1) a prime number?
False
Let n(g) = g - 4. Let a be n(4). Suppose -4*c + c = a. Let q(v) = -v**2 - v + 257. Is q(c) composite?
False
Let s = 256 + -177. Is s prime?
True
Let g(h) = 3*h + 5. Let f be g(7). Let p = f - 69. Let b = p + 92. Is b a composite number?
True
Let b(d) = d**3 + 1 + 8*d**2 + 0*d**3 - 2*d**2 - 3*d. Is b(4) a composite number?
False
Let v(a) = -a**3 - 4*a**2 - 3*a + 4. Let b be v(-6). Suppose b = -2*l + 4*l. Is l prime?
True
Let x(v) = 4*v**2 - 3*v. Let b be x(2). Suppose -3*k = -4*o - 121, -2*o = -b - 0. Is k a composite number?
False
Suppose 0*r + 125 = h + 4*r, -515 = -4*h - r. Suppose y + 20 = h. Is y a prime number?
True
Suppose -3*x - 5*h = 0, -2*x + 0*h + 13 = -h. Suppose 4*y = -4*c + 332, 4*y - 332 = -x*c - 0*c. Is y a composite number?
False
Let h(k) = -k**2 + 5*k + 5. Let n be h(5). Let j = -12 - -38. Suppose -j = -p - n. Is p a prime number?
False
Is (-1*3)/(1/(-173)) composite?
True
Let f = 4479 - 3180. Is f a composite number?
True
Let u = 61 + -33. Suppose -k = -5*l - 13, 5*k + 2*l - 201 = -u. Is k composite?
True
Suppose 4*o = 2*v + 116, 0 = -2*o + v - 6*v + 70. Is (6 - 3 - 2) + o a prime number?
True
Suppose -9*d = -11*d + 1754. Is d a prime number?
True
Su