. Let b(o) = 185*j(o) - 4*t(o). Is b(-1) prime?
True
Let x(g) be the first derivative of -g**4/4 - 5*g**3/3 + 4*g**2 - 5*g - 2. Is x(-7) prime?
True
Let o(r) = 102*r**3 + 2*r - 1. Is o(1) composite?
False
Let i be (12/(-8))/(6/8). Let b be 68 - i/1 - 0. Suppose -4*a - b = -706. Is a composite?
True
Let t(x) = -x**2 - 4*x + 3. Let f be t(-3). Suppose -f*h = -2*h - 20. Suppose 0 = h*y - y - 460. Is y a prime number?
False
Suppose i + 4*i = 25. Suppose 150 = -10*t + 5*t. Let d = i - t. Is d prime?
False
Is 118 + (-8)/4 + 3 prime?
False
Let o(k) = -k**3 - 6*k**2 - k - 4. Let i be o(-6). Let d = i - -4. Suppose 4*u - 2*u - d = 0. Is u prime?
True
Let f = 770 + -183. Is f a composite number?
False
Let s be 17/((-1 - 1)/(-4)). Let j = -8 + s. Is (2 + -8)/((-4)/j) prime?
False
Let x be (-2)/(-2)*(-3 + 2). Let t be (x - 1*-11)*1. Let c = 25 - t. Is c a composite number?
True
Let k(n) = -2*n - 7. Let m be k(-5). Suppose c = 1 + m. Suppose -c*v + 59 = -321. Is v a prime number?
False
Let z(n) = 8*n**2 - 4*n - 3. Is z(-5) prime?
False
Let l(p) = 7*p - 1. Let i be l(1). Is ((-6024)/(-16))/(i/8) a prime number?
False
Let x(q) be the third derivative of q**8/6720 + q**7/630 - q**6/240 - q**5/120 - q**4/24 + 3*q**2. Let k(a) be the second derivative of x(a). Is k(4) composite?
True
Let p = -1137 + 1707. Let r = p - 140. Suppose 2*a = -4*y - a + r, 3*y + 3*a - 321 = 0. Is y a composite number?
False
Let p(n) = -6*n**3 - 2*n - 1. Let v(k) = -k**2 - 3*k + 3. Let i be v(-4). Is p(i) a composite number?
False
Let m be (-1)/(1/2) + -591. Let l = 858 + m. Is l composite?
True
Let w(p) be the second derivative of -4*p**3/3 + 11*p**2/2 - 5*p. Is w(-9) composite?
False
Let k = 1267 + -54. Let u = k + -842. Is u prime?
False
Let u(x) = 46*x - 89*x - 1 - 107*x. Is u(-1) prime?
True
Suppose -2*k + 8 = -0*k, 0 = -3*r + k + 11. Let s(l) be the first derivative of 5*l**2 + 5*l + 1. Is s(r) composite?
True
Let s(v) = -v**3 - 2*v**2 - v - 1. Let a be s(-1). Let h be 0*(1 + a/2). Suppose h = -3*t + t + 130. Is t a composite number?
True
Let p(n) = 3*n**3 - 4*n**2 + 3*n - 2. Let k be p(2). Suppose l + k = -l. Let d(b) = b**2 - 8*b - 7. Is d(l) a prime number?
False
Suppose 0 = -0*s - 2*s + 10. Suppose -3*x = -3*l, -s*x - 5*l + 33 = -7. Is x a composite number?
True
Suppose 4*o = 4*s + 7552, 2*o - o - 4*s - 1873 = 0. Is o composite?
True
Let v(n) = n**3 + 9*n**2 - 4*n - 5. Let l = -7 + 1. Is v(l) a prime number?
True
Suppose a + 3*a + 4 = 0. Let i be -41*(a - -3)/2. Let r = -18 - i. Is r prime?
True
Let x be 2/((4/101)/(-2)). Let a be 4*(1 + x/(-4)). Suppose a = p + 4*p. Is p a prime number?
False
Let f be 0/(0 - 2/(-1)). Let t be (0/(-3 + f))/2. Let a(d) = d + 13. Is a(t) prime?
True
Let y(k) = -4*k**3 - 3*k**2 - 6*k - 6. Is y(-5) a prime number?
True
Suppose 3*n + 4*a + 118 = n, 0 = -3*n + 3*a - 132. Let k(q) = -86*q**2 - q + 1. Let p be k(1). Let c = n - p. Is c prime?
True
Suppose -2*y + 3*b = -5, 2*y - 2*b - 2 = -0*y. Let k be (-6252)/(-9) + y/(-6). Suppose 5*d = -0*d - 3*j + 695, 5*d - 4*j = k. Is d a composite number?
False
Suppose -4*o = 288 - 11300. Suppose -5*u - 5*k = -2765, -5*u - 4*k = -5*k - o. Is u composite?
True
Is 0 - (-3 - (2 - -2456)) prime?
False
Let n(u) = -122*u**3 - 2*u**2 - 2*u - 1. Let q = 8 - 9. Is n(q) composite?
True
Suppose 2*w + 3*i - 5*i = 776, -5*w = 3*i - 1924. Is w a composite number?
True
Suppose -8210 = -5*p + 1025. Let q = 2724 - p. Is q composite?
False
Suppose h - 7 = 3. Let i(b) = b**2 - b - 7. Is i(h) a composite number?
False
Let j = -305 + 644. Suppose m + 2*m = j. Is m a composite number?
False
Let v be (1 - -319)/1 + -3. Suppose 0*x - 3*x = i - v, -5*x + 15 = 0. Let g = i - 177. Is g a composite number?
False
Let a(q) = 3*q**3 - 7*q**2 - 6*q + 7. Is a(8) composite?
True
Let t be 1048/(-4)*-1*2. Suppose y - t = -3*y. Is y prime?
True
Let o(h) = h**2 - 3*h - 9. Let s(p) = -p + 16. Let t(k) = -k**3 - 2*k**2 + 6*k + 1. Let i be t(-4). Let z be s(i). Is o(z) a prime number?
True
Let m(i) = i - 1. Let v be m(2). Is (-606)/4*(v + -3) composite?
True
Suppose 3*o - 1811 = -206. Is o a prime number?
False
Let b be (-6)/3 - -1*5. Suppose -b*o + 6*o - 25 = 2*d, d = o - 7. Is o composite?
False
Suppose 2*t - 7*t + 30 = 0. Suppose -t*g + 484 = -2*g. Is g prime?
False
Is (-4)/(-12)*(-309 - 2)*-3 a prime number?
True
Let d be (6/5)/(1/5). Suppose 5*f - 2*c = -67, 4*c + 61 = -d*f + f. Let z = -3 - f. Is z prime?
False
Let o = -7 + 10. Suppose 8*p - 593 = o*p + a, -3*a + 6 = 0. Is p prime?
False
Let x(k) = -k + 33. Let a be x(27). Let f(o) = 20*o + 3. Let q(u) = 40*u + 6. Let v(p) = -11*f(p) + 6*q(p). Is v(a) a composite number?
True
Suppose -20 = -0*v - 4*v. Suppose -3*i + 6*i = -v*j + 462, 0 = 3*j - 9. Is i composite?
False
Let o be (-920)/(-9) - (-4)/(-18). Suppose 2*h + 675 = 5*i, -i = -4*h - 33 - o. Suppose 8 = -4*k - 12, 4*b - i = -k. Is b prime?
False
Let w(z) = -8*z. Let s be w(-1). Is s/(-20) - 2114/(-10) prime?
True
Suppose 0 = -4*h - 12 - 16. Let i(z) = -z**2 - 9*z + 10. Let r be i(h). Suppose 2*y + 28 = 2*w, 0 = 3*w - w + 2*y - r. Is w composite?
False
Let j be (1/1 - -488) + -1. Let v = j + -339. Is v a prime number?
True
Suppose 3*x = -4*s + 157, 0 = -3*x - 3*s + 40 + 116. Is x a prime number?
False
Let x be 6/2 + 1 + 3. Let m(i) = 16*i - 6. Is m(x) a composite number?
True
Let u = -4 - 2. Let j be u/(-9) - 16/6. Is (1/j)/(4/(-536)) prime?
True
Suppose 0 = -3*g + s + 126 + 480, 3*s = 0. Is g prime?
False
Let t = 1 + 4. Suppose 2*j - 289 = 5*l - 0*l, -t*j + 810 = 5*l. Is j a composite number?
False
Let b(z) = z**3 + 8*z**2 + 7*z + 1. Let p be b(-7). Suppose 3*o = 25 - p. Is (-2)/o - 2825/(-20) composite?
True
Suppose -k + 2*k = -2*a + 63, -5*k = a - 297. Is k prime?
True
Let x(a) = a**2 - 1. Let q be x(-2). Suppose -106 = -3*w + 4*r, w + q*w - 146 = 3*r. Is w a prime number?
False
Suppose 3*c - 7187 = -5*x, 2*c - 3*x + 7179 = 5*c. Is c prime?
True
Suppose 0 = -2*y - 3*y + 800. Suppose -3*g + 0*g + 6 = -2*c, 2*g = -3*c + 17. Suppose g*i + 4*p = y, -i + 5*p = -5*i + 163. Is i a composite number?
False
Suppose -4*l + 144 = -244. Is l a prime number?
True
Let i = 1 - -708. Is i a prime number?
True
Let d(a) = 21*a**2 + 3*a + 4. Let j be d(-3). Is (j/(-6))/(2/(-3)) a prime number?
False
Let u(j) = 25*j**2 - j - 1. Let z be u(-1). Let o be 10/z + 58/5. Suppose o = -c + 51. Is c prime?
False
Suppose 4*u = 2 + 10. Suppose -g + u*g = 0. Suppose 3*t - 77 - 88 = g. Is t composite?
True
Suppose 5*l = l. Suppose l*z = -5*z + 655. Is z composite?
False
Suppose -2*v + 6*v + 240 = -4*z, 4*z = -8. Let f = 145 - v. Is f a composite number?
True
Let t = -245 - -1644. Is t composite?
False
Suppose -7*j + 3*j = -5*q + 2, -2*j + 12 = 4*q. Is j/(-2) - (-76 + -2) a composite number?
True
Let y = 3 + -3. Suppose y*x - x = 0. Is 7 + (x - (-1 - -1)) composite?
False
Suppose -l + 4*l = 6. Suppose -u - n = -l, -u + 0*u = -2*n + 7. Is u/(1/38*-2) prime?
True
Let n(b) = 146*b - 21. Is n(10) a prime number?
True
Let d be 1/2 - (-6)/(-12). Suppose -5*r + r - 2*t + 1048 = d, -2 = t. Is r a composite number?
False
Is 9685/20 - (-3)/4 a prime number?
False
Let t(b) = 127*b - 2. Let n be ((-5)/4)/((-10)/40). Let p be t(n). Suppose -3*r = -6*r + p. Is r a prime number?
True
Is 1/(1*(-4)/(-892)) a composite number?
False
Let m = 14 - 10. Let g(l) = -27*l + 15. Let j be g(-5). Suppose m*b + 16 = 0, 4*n - j = 4*b + 86. Is n prime?
False
Let t be (-3)/(-9) - 22/(-6). Suppose -69 = -4*q + c, -t*q - 5*c + 23 = -q. Let d = q - 7. Is d composite?
True
Let h(w) = 3*w - 8. Let d(u) = -u + 1. Let n = 1 - -5. Let r(c) = n*d(c) + h(c). Is r(-7) a prime number?
True
Let i = -134 - -1207. Is i a composite number?
True
Let q(b) = 8*b**2 - 2*b + 9. Let k be q(6). Let g = k - 172. Is g a composite number?
False
Let p be (-2)/(-4) + 1/(-2). Let k(a) = a + 10. Let x be k(p). Suppose 0 = -3*w - 4*v + 657, -5*w - 1121 = -x*w + 2*v. Is w a prime number?
True
Suppose -100 = 2*y + 3*y. Is (y/(-6) - 0)*3 prime?
False
Let n(o) = 6 + 23*o**2 - 1 - 6. Suppose -1 - 2 = 3*h. Is n(h) prime?
False
Let l(q) = q**3 + 9*q**2 + 6*q - 11. Let p be l(-8). Let r(d) = 15*d - 1. Is r(p) a composite number?
True
Suppose 0*s + 3*x = -s + 346, 0 = s - 5*x - 306. Is s a prime number?
True
Suppose 0 = -b + 3*b - 4. Su