**2/2 + 3*i - 2. Let f be c(3). Is (f - (-4 + 2)) + 44 a composite number?
True
Let n(k) = -17*k + 20. Is n(-6) prime?
False
Suppose h - 170 = 4*g + 199, h - 384 = -g. Is h composite?
True
Let x(b) = 1 - 2 + 0 + 5*b. Let m be x(1). Suppose -m*j + 44 + 16 = 0. Is j prime?
False
Let z be -1 - (0 + 0) - -1. Let i be (-32 - z)*6/(-4). Let d = i - 15. Is d prime?
False
Suppose 684 + 62 = 2*g. Is 1*g/2*2 a composite number?
False
Suppose 2*n = f + 4*n - 6493, 3*f - 19435 = 5*n. Is f a composite number?
True
Let q(l) = -1. Let a(y) = 15*y - 4. Let k(g) = -a(g) - q(g). Is k(-4) a composite number?
True
Let z(a) = -49*a**3 - a**2 - 4*a + 7. Is z(-4) prime?
False
Let d be 6/(-15) + (-16046)/10. Is (-5)/30 + d/(-18) composite?
False
Let x be (-6)/(-4) - 2/(-4). Suppose -2*l = -5*u + 43, -35 = 8*l - 3*l + 2*u. Is x/l - 173/(-9) prime?
True
Let h = 20 - 15. Suppose d = 0, -4*u + h*d + 2162 = -1178. Is u prime?
False
Suppose 4*f + 48 + 24 = 4*k, 5*k + 3*f = 106. Suppose -5*o - k - 15 = -5*y, -4*y - 2*o - 2 = 0. Suppose 94 = y*u + 3*n - 70, -89 = -u - 5*n. Is u composite?
False
Let j = -4 + 26. Let m be 12/(-66) + 70/j. Suppose 13 - 3 = 2*a + m*p, 0 = 3*p + 12. Is a a prime number?
True
Let p = 5 - 5. Suppose 5*l + 7 + 13 = p. Let c(h) = h**2 - 4*h - 1. Is c(l) prime?
True
Suppose -2*x + 2*q + 220 = 0, 7*x - 2*x - 541 = -4*q. Is x prime?
True
Suppose 0 = -3*j + 2*c + 1221, 4*j - 2*c - 861 = 769. Is j prime?
True
Let u = 313 - -96. Is u composite?
False
Suppose -4*s - k - 2*k + 237 = 0, 2*k = -5*s + 291. Suppose -17 = -f + s. Is f prime?
False
Suppose 4*a + n = 1161, -2*a + n + 169 = -416. Suppose 2*x = -x + a. Is x a prime number?
True
Is 4/(-14) + 13625/35 a composite number?
False
Let y be (-2 - -1)*14 - 0. Is y/(-4)*89*2 a composite number?
True
Let w be 0/(3 + -1 + -4). Suppose 0*f + 5*f - 955 = w. Is f a composite number?
False
Let v(g) = 9*g - 2*g**3 + g + g**3 + 6*g**2 + 2. Let h(y) = -y + 17. Let j be h(10). Is v(j) prime?
True
Is 40/(-6)*-110 + 26/39 composite?
True
Let x = 5 + -6. Let i = x + 60. Is i prime?
True
Suppose -2*f + 4*f - 15556 = -5*c, -4*f + 2*c = -31136. Is f a composite number?
True
Let u = 3797 + -438. Is u prime?
True
Is 4/(-6) - ((-5864)/3 + 5) prime?
True
Let s be 56/20 + 2/10. Suppose 0 = 5*l - s*l - 46. Is l a prime number?
True
Let p be 0 + 534 - (11 + -13). Is (p/(-4))/((-4)/10) a composite number?
True
Let s(l) = 300*l - 21. Is s(3) a prime number?
False
Let k(p) = p**2 - 5*p - 3. Let m(s) = 5*s. Let o be m(6). Let n be (6/(-5))/((-4)/o). Is k(n) prime?
False
Let b = 1 + -7. Let i(v) = 16*v + 4. Let d be i(b). Let s = 181 + d. Is s composite?
False
Suppose -2*d + 8 = 2*d. Let g be (-16)/(-10)*5/d. Suppose g*a - a = 258. Is a a prime number?
False
Let y(s) be the third derivative of -s**4/12 - 5*s**3/3 + 2*s**2. Let c be y(-7). Suppose 6*m = c*m + 158. Is m composite?
False
Suppose -2*g + 12 = -5*g. Is ((-19)/g)/(4/464) composite?
True
Suppose 5*l - 82 = -f - 0*f, -3*f - 5*l + 216 = 0. Is f a prime number?
True
Suppose 6*r = 4 + 20. Suppose -c - p = -138, -5*p = c - 92 - 46. Suppose -r*x = -x - c. Is x prime?
False
Suppose 3*i = i - t + 19, 3*i - 4*t = 12. Suppose -2*m + i = -66. Is m composite?
False
Let v = -5 - -8. Suppose 3*i - 2*q = 6, -v*q = -5*i - 2 + 13. Is (-4)/(i/(-95)) + 2 a composite number?
False
Let p(s) be the third derivative of s**7/840 + s**6/144 - s**5/40 + s**4/8 + s**2. Let h(o) be the second derivative of p(o). Is h(-5) prime?
True
Suppose s + 0*s = 5*n - 603, 0 = n + 2*s - 114. Suppose -n = -4*w + 188. Is w a prime number?
False
Suppose -2*u = 2*v - v - 255, -3*v = 2*u - 265. Suppose -5*t + 3*p + u = -43, -p - 133 = -4*t. Is t composite?
True
Let n = -125 - -1084. Is n prime?
False
Let y(x) = -14*x**3 + 2*x**2 - 1. Is y(-2) a prime number?
False
Let i = -187 + 302. Let g = i - 64. Is g a prime number?
False
Suppose -4*b + 7*h - 47 = 4*h, 4*h = -4*b - 68. Let f = b + 8. Is (-196)/(-21) + 2/f a composite number?
True
Let k = 1256 + -555. Is k a prime number?
True
Let a(o) = 2*o**3 + 11*o**2 - 10*o - 11. Is a(8) prime?
True
Suppose 2*a + 2*l = 662, -7*a + 4*a = 5*l - 997. Is a a prime number?
False
Suppose -2 = 5*r - 17. Suppose 3*x - 330 = -5*l, -5*l - x - 33 = -363. Suppose l = r*t - t. Is t prime?
False
Let r = -101 + 67. Let b(i) = i**3 + 8*i**2 - 7*i - 5. Let o be b(-7). Let q = r + o. Is q prime?
True
Let n(b) = 19*b**3 - 2*b**2 + 3*b - 4. Let l(c) = -19*c**3 + c**2 - 2*c + 3. Let v(j) = -3*l(j) - 2*n(j). Let i(h) = h - 3. Let f be i(4). Is v(f) composite?
False
Let q be 121/(-2)*(0 - -2). Let k = q + 210. Is k composite?
False
Let h(p) be the third derivative of p**5/60 - p**4/8 - p**3/2 + p**2. Let m be h(3). Let w(j) = j**3 + 6*j**2 + j - 3. Is w(m) composite?
True
Let i(o) = -o**3 + 12*o**2 - 6*o - 5. Let h be i(10). Suppose p - d = 1 + h, 5*p = 2*d + 671. Is p prime?
False
Suppose -f = 3*f. Let c = f + -3. Is ((-211)/(-4))/(c/(-12)) a composite number?
False
Suppose -2*n = -0*n - 4. Let h be (-25)/n*12/(-15). Suppose h = 3*a - 2*a. Is a a prime number?
False
Let q(k) = -17*k - 3. Let v = 19 + -27. Is q(v) a composite number?
True
Suppose -2*c - 2*c + 282 = r, 10 = 5*r. Suppose 5*w = 6*w - c. Suppose -5*g + w = -3*g. Is g a composite number?
True
Let i(r) = 13*r**2 + 6*r + 4. Is i(-5) composite?
True
Let d(u) = 32*u**2 + 3*u - 3. Is d(-4) composite?
True
Let z(m) = -57*m + 2. Let o be z(-3). Suppose -4*d + 3*f + 218 = 58, -3*f + o = 5*d. Is d a prime number?
True
Suppose 3*o + 2 = 3*b + 5*o, 2*b = -o + 3. Suppose 5*t - a = 18, b*t = a + 18 - 3. Suppose 165 = -0*x + t*x. Is x composite?
True
Let g = 133 + -78. Let x = -17 + g. Is x a composite number?
True
Let s be 6/(-21) + 914/14. Let x be (52/39)/((-2)/(-3)). Suppose v - 40 = -5*b, -4*v - x*b + s = -b. Is v a prime number?
False
Suppose i - 3 + 0 = 0. Suppose 0*a = 2*w - 2*a - 56, 4*a - 98 = -i*w. Suppose -4*d + w = -n, -40 + 9 = -3*d + 5*n. Is d a prime number?
True
Let u(d) be the second derivative of d**3 + 4*d. Let n be u(1). Is (44/n)/2*39 prime?
False
Let l(n) = -n**2 - 4*n + 4. Let h be l(-4). Suppose 8*g - 1057 = h*u + 3*g, g = 2*u + 533. Let p = -105 - u. Is p a prime number?
True
Let l(m) = m**3 - 2*m**2 - 8*m - 5. Is l(6) composite?
True
Let f(r) = 1 - 1 + 9*r - 1. Is f(10) composite?
False
Let y = 3019 - 1460. Is y composite?
False
Let f = -2 + 2. Suppose f = -0*s - 3*s - 60. Let n = 11 - s. Is n composite?
False
Let n(b) = -b**3 - 7*b**2 + 2. Let w be n(-7). Let d(c) = 15*c**2 - 2. Is d(w) a composite number?
True
Let j = 0 + 2. Suppose 0 = 4*l - 3*w + 6, 5*l + 2*w = -0 + 4. Suppose l = y - j*y + 93. Is y composite?
True
Suppose -2*q - a + 373 = 0, 4*q - 2*q + 5*a = 369. Is q a prime number?
False
Let q be 9/(-2)*4/(-6). Suppose -d + 2*w = 8, d + 2*w - 27 = -q*w. Suppose 0 = g - d*g + 19. Is g composite?
False
Let p(d) = -3*d + d - d + 6*d**2 - 4 - d. Let y be p(4). Suppose y = l - 73. Is l prime?
True
Let c(d) = 7*d**2 + 8*d + 8. Let m be c(8). Is m/7 + (-2)/7 composite?
True
Let c(y) be the second derivative of y**5/20 + y**4/12 - y**3/2 - y**2 + 3*y. Let z be c(-2). Suppose v - 1 = -z*v, -5*v = -5*r + 30. Is r a prime number?
True
Suppose 2*f - 2 = 4*f, 2*x = f - 13. Let o = x - -30. Is o a prime number?
True
Let s(u) = u**2 + u + 2. Let v be s(0). Suppose -1 = -v*o + 61. Is o a prime number?
True
Let q(h) = -94*h + 3. Is q(-1) a composite number?
False
Suppose 4*r + 93 = -g - 0*r, 3*g - 5*r = -296. Is g/(-5) + (-2)/5 a composite number?
False
Let r be (2 + 16)/(-3) - 0. Let z(q) = q**2 + 7*q + 4. Let v be z(r). Is (-2)/v*(46 + 1) prime?
True
Let u(v) be the third derivative of 17*v**6/120 - v**5/12 + v**4/8 - 2*v**3/3 - 2*v**2. Is u(3) a composite number?
False
Let w(r) = -r**3 + 7*r**2 + 8*r - 5. Let x(u) = -10*u - 12*u**2 - u**3 - 9 + 3*u**2 - 2. Let v be x(-8). Is w(v) composite?
True
Let o = 349 - 243. Is o a prime number?
False
Suppose 5*k = 2*r - 28, -6*k + 4 = 3*r - 4*k. Suppose r*x = -0*l + 4*l, 0 = 5*x + l. Suppose 0 = -x*m + 4*m - 124. Is m a composite number?
False
Let v be 4 + (-6 - -1 - -2). Let z(p) = 114*p**3 + p**2 - p + 1. Is z(v) composite?
True
Let n(d) = 15*d**2 - 4*d - 7. Is n(6) a composite number?
False
Suppose f - 3 = 5*w + 5*f, -12 = -2*w + 5*f. Let p be (-1)/(2/(-780)) - w. Suppose 2*a = 2*d + 152