 Let x be c(4). Is (-2)/5 - (-487)/x a composite number?
False
Let v be 2/4 + (-7)/(-2). Is (v/2)/(2/79) composite?
False
Let c(w) = 208*w + 1. Is c(1) a prime number?
False
Let g(h) be the third derivative of h**5/30 - h**4/12 + h**3/6 - 5*h**2. Let i = -25 + 18. Is g(i) composite?
False
Suppose 3*y - 2 = -n + y, 0 = -2*n + 5*y + 13. Suppose -70 = -n*b + 54. Is b prime?
True
Let z(i) = 3 + i - 3 - 2. Let j be z(-2). Is (10/j)/((-1)/106) composite?
True
Let b = -1 + 1. Suppose 4*u + 3*q = 0, 3*u = -5*q - 11 - b. Suppose -u*j + 2 = -4. Is j composite?
False
Let i(p) = -2*p + 7. Let y be 2 - 3 - (-15)/(-3). Is i(y) composite?
False
Let f = -2620 + 4155. Is f a composite number?
True
Let v = -5 + 5. Suppose -2*l - 2*q - 4 = v, 2*l + l + 2*q = -3. Is 3/l*(-97)/(-3) a prime number?
True
Is -6 + 152 + 3/1 prime?
True
Suppose 0 = 3*h + 2*h + 4*i - 29, -i - 4 = -h. Let r(x) = 3*x - x + 0 + 3 - 2. Is r(h) prime?
True
Suppose 4*j + 3*s = 281, 4*s - 350 = -5*j - 0*s. Let p = -17 + j. Is p a composite number?
True
Suppose 5*a - 1217 = 3828. Is a a prime number?
True
Suppose 0*c + 45 = -5*v - 4*c, 4*v = 2*c - 10. Let r = v + 15. Suppose -x - 267 = -4*b, b + 2*x - 79 = -r. Is b composite?
False
Let k(d) = 2*d**2 - 4*d + 5. Is k(4) a prime number?
False
Let s be -1 - (-104)/((-8)/(-2)). Let k = s - -8. Is k a prime number?
False
Suppose h - 4*h = -93. Is h composite?
False
Let s(j) = -2*j + 0*j + 4*j - 3. Is s(9) a composite number?
True
Let y(x) = x**3 + 2*x**2 - 4*x - 1. Let t be y(-3). Suppose -104 = -t*s - 34. Is s composite?
True
Suppose 4*m = 2*m + 2. Let l be m + -1 + 4 - 1. Suppose -l*r = -27 + 6. Is r a prime number?
True
Suppose 4*s - 4*f = 412, -3*f + 666 = 4*s + 233. Is (-1)/2*(0 - s) prime?
True
Suppose 0 = -2*b + 2 + 2. Let k = 57 + b. Is k a composite number?
False
Is 3 + -2 - -1 - -485 a composite number?
False
Let u(r) be the second derivative of r**5/20 + 5*r**4/12 + 2*r**3/3 - r**2/2 - 2*r. Let l be u(-4). Is -159*((-12)/9 - l) composite?
False
Let d(l) = l**3 + 7*l**2 - 5*l + 2. Is d(-5) a composite number?
True
Let g(i) = -i**3 + 12*i**2 + 1. Let x be g(12). Is (x - 0)/(2/78) composite?
True
Suppose 128 = -3*a + 2165. Is a a prime number?
False
Let l(f) = -7*f + 9*f**2 + 5 + 2*f + 7*f. Is l(4) a composite number?
False
Let x(q) = 259*q - 3. Let l be x(2). Suppose 5*g = -0*g + l. Is g a composite number?
False
Suppose -418 = -7*f + 163. Is f prime?
True
Let d(u) = -3*u + 18. Let i be d(14). Let m = i - -38. Is m prime?
False
Let q be 2*3/3 + 0. Is -2 - 0 - (q + -35) a composite number?
False
Let x(a) be the first derivative of 12*a**2 + 7*a - 3. Is x(5) a composite number?
False
Suppose -3*g = 2*x + 2*x - 277, 0 = 3*g + 15. Let t(f) = -5*f**2 + 2*f + 3. Let p be t(3). Let c = p + x. Is c composite?
False
Suppose -18*f + 79191 = 30249. Is f a composite number?
False
Let q = 190 - 33. Is q prime?
True
Let h(d) = -6*d - d**2 + 4*d**2 + d**3 - 6*d**2 - 1. Is h(5) prime?
True
Let y = -484 - -1162. Let q be (8/(-3))/(4/y). Is ((-5)/10)/(2/q) prime?
True
Let l be 2*((-9)/(-6) + 1). Suppose l*i = 977 + 458. Is i prime?
False
Let g(v) = -8*v**2 + 5*v - v**3 + 14*v**2 + 3 - 3*v**2. Suppose -y = 3*y - 16. Is g(y) composite?
False
Let l(q) = q**2 + 1. Let w be l(-2). Suppose -3*n = w*m - 417, 2*m = -3*m. Suppose n = 5*t - 126. Is t a prime number?
True
Let o = -308 + 493. Suppose a = 6*a - o. Is a prime?
True
Let f(s) = -25*s + 7. Let r(h) = 74*h - 20. Let k(t) = 17*f(t) + 6*r(t). Suppose 2*v - 6 = -v. Is k(v) prime?
True
Let n = 2 + -2. Suppose -5*b + 265 = -n*b. Is b a prime number?
True
Let f(y) = 66*y - 3. Let k be f(3). Let o = -116 + k. Is o prime?
True
Suppose 5*h + 212 = -3*u - 490, 0 = 4*u - 4*h + 968. Let d be -3*(-1 + (-1070)/6). Let y = u + d. Is y composite?
True
Suppose -16 = -c - 3*c. Suppose 3*j + 656 = c*g - 2*j, 4*g + 5*j = 616. Is g prime?
False
Let u(c) = -c**3 + 9*c**2 - 10*c + 9. Let q be u(8). Let b(h) = 3 + h**2 + 12*h - 5*h + 4. Is b(q) prime?
True
Suppose 0 = 2*f - 81 - 61. Is f a prime number?
True
Let h(t) = t**3 + 4*t**2 + 6*t + 2. Let x be h(-6). Let g = x + 173. Is g a composite number?
False
Let z be (-2)/(-6) - 65/(-3). Suppose -g = 4*w - 107 + z, 3*g + 5*w - 276 = 0. Is g a composite number?
False
Let g(h) = -243*h - 1. Is g(-4) a prime number?
True
Let f(s) be the third derivative of s**2 + 2/3*s**3 + 1/30*s**5 + 0*s + 0 - 3/8*s**4. Is f(6) a composite number?
True
Is (-1)/1 + (91 - 3) a composite number?
True
Suppose -4*j - j = 425. Let r = 166 - j. Is r a prime number?
True
Let k(i) = 44*i**2 - 8*i + 7. Is k(6) composite?
False
Is 3/9 - (-13072)/6 composite?
False
Let k(z) = -4*z - 3. Let n be k(-5). Suppose -2*j - 3*j + n = -h, -4*h = 5*j - 32. Suppose a + g = 6, j*a = a + 3*g + 24. Is a composite?
False
Suppose -6308 = -3*b - 227. Is b composite?
False
Is 5926/18 + 2/(-9) a prime number?
False
Let u(f) = 285*f**2 + 4*f + 1. Is u(-2) composite?
True
Let n be (-2 + 4)*-2 - -877. Suppose 3*u - z - 1133 = 0, -n = -5*u + 5*z + 1022. Is u prime?
False
Let i(l) = l**2 - 11*l - 9. Let q be i(12). Suppose 0 = q*k - 8*k + 1110. Let y = k - 133. Is y a prime number?
True
Let z be 2/11 - (-9700)/11. Let m = -551 + z. Is m composite?
False
Is 6/(-4) - 329/(-2) a composite number?
False
Suppose 2*b + 19*l - 906 = 15*l, 4*b + 4*l = 1792. Is b a prime number?
True
Let w = -297 - -206. Let m = -42 - w. Is m a prime number?
False
Let r(c) = -c**3 - 2*c**2 - c - 1. Let o be r(-2). Let b(f) = 0*f - 4*f + f - o. Is b(-5) a prime number?
False
Let w(z) = 2*z + 3 - 2*z + 23*z**2. Let a(x) = -46*x**2 - 7. Let l(p) = 4*a(p) + 9*w(p). Is l(2) composite?
True
Let w = 44 + -26. Let y = w - -7. Is y a prime number?
False
Let x be (-297)/6*4/(-3). Let b = 127 - x. Suppose -5*j - z = 2*z - 270, -2*z + b = j. Is j a prime number?
False
Let o be -1*(0 + 0) - 0. Suppose o = -4*b + 5*f + 425, 3*b + 2*f - 336 = -0*b. Let u = -77 + b. Is u composite?
True
Let d(g) = 2*g + 5. Let r = 1 - -17. Let n = r - 10. Is d(n) a composite number?
True
Let s(t) = -t**3 + 4*t**2 + 3. Let w be s(4). Suppose 0*h + w*i - 6 = -h, 5*h = -3*i + 18. Suppose -q + 148 = h*q + 4*k, -2*k + 111 = 3*q. Is q composite?
False
Let d(a) = 9*a**3 - 3*a + 1. Suppose 3*k - 2 - 4 = 0. Let j be d(k). Let s = j + -48. Is s prime?
True
Let y be 0/(0 + 1 - 3). Suppose -c - 26 + 211 = y. Is c prime?
False
Let a(j) = 113*j - 48. Is a(7) a prime number?
True
Let u be 3/(-2)*24/(-9). Suppose n + 8 = 2*c, -5*n - u*c + c = 14. Is (-9)/(-12) + (-145)/n a composite number?
False
Let d(u) be the second derivative of u**4 + u**3/3 - 11*u**2/2 - 4*u. Is d(-6) a prime number?
True
Is -389*(1/(-1) - 0) prime?
True
Suppose -2*r = -2*d - 3*r - 88, 0 = 2*d + 4*r + 94. Suppose -260 = -o - 3*o. Let x = d + o. Is x a prime number?
False
Suppose 5*g = -g + 570. Is g prime?
False
Let t = -3 - -2. Let i be 2 + 4/(-2) + t. Is 22 - (-1 - 2*i) a prime number?
False
Let a be ((-34)/8)/(2/(-64)). Suppose -5*t = -w - 15 - a, -t = 2*w - 39. Is t composite?
False
Is (-2 - -4) + 204 - 1 prime?
False
Suppose 3*z + 9 = -2*h, h - 4*z - 12 = 3*h. Suppose 7*k - 84 = 3*k. Let s = h + k. Is s a prime number?
False
Let m(x) = x**3 - 9*x**2 + 7. Let y be m(9). Suppose y*q - 115 = 2*q. Is q a prime number?
True
Let a = 441 + -284. Suppose c - 666 = -a. Is c composite?
False
Let o(r) be the third derivative of r**9/60480 - r**8/4032 + r**7/720 - r**6/720 + r**5/30 + 2*r**2. Let x(i) be the third derivative of o(i). Is x(5) prime?
False
Let o be -1 - 0 - 2 - 84. Let k = 32 - o. Is k composite?
True
Is ((-2 + 1)*-251)/1 a composite number?
False
Let p be 41*4*(-4)/(-8). Let b be p/2 - 1/(-1). Suppose -2*y + b = y. Is y composite?
True
Let j be ((-113)/3)/(1/(-3)). Suppose -j = -3*x - c, -4*c + 62 = -x + 3*x. Is x a composite number?
True
Let l(o) = 4*o - 3. Let p(z) = z + 1. Let g(r) = -l(r) - 2*p(r). Let a be (-1 - (0 + 6)) + 1. Is g(a) prime?
True
Let d(k) = 60*k**2 - 4*k - 29. Is d(-7) a composite number?
False
Let i(p) = -11*p + 1. Let r(c) = 21*c - 1. Let d(h) = -7*i(h) - 4*r(h). Let v be (1*-2)/(1 + 0). Is d(v) a composite number?
False
Is (4/6)/(2/1629) a composite number?
True
Suppose 0 = -2*d - 6, -5*r - 5*d + 7 + 3 = 0. Suppose -2*y + 3*y = 141. Suppose 2*j - r*j + y = 0. Is j composite?
False
Is ((-8 - -9)*-3709)/