-9. Suppose x - c = -2*x. Is x prime?
True
Let n = 314 + -208. Is (n/(-4))/(4/(-8)) composite?
False
Suppose 4*a - 3 = -2*x + 5*x, -2*a - 4*x = -18. Let p = 18 + a. Suppose p + 49 = 2*n. Is n a composite number?
True
Is (-8)/(-72) + (-42884)/(-9) prime?
False
Suppose -131 - 53 = -2*j. Suppose -2*a + 102 = -j. Is a a prime number?
True
Let r = -8 + 7. Let k(h) = -13*h**3 + h + 1. Is k(r) a composite number?
False
Suppose -5*b - 44 = 96. Let y be 1 - 1 - 0 - 3. Is b*-1*y/(-6) composite?
True
Suppose -2*r = 4*v - 1802, 5*v + 242 - 2472 = 5*r. Is v prime?
True
Let k(p) = -133*p - 1. Let g be (-2 + 1)*(-2 - -4). Let q be k(g). Suppose -q = -8*c + 3*c. Is c prime?
True
Suppose 3*r - j = 2756, 2*j - 873 = -r + 34. Is r prime?
False
Let k = -6 + 3. Let z(h) = -15*h + 8*h - 1 + 5. Is z(k) a prime number?
False
Is (8/(-6))/(16/(-2472)) composite?
True
Let z(v) = 1759*v**3 + v**2 - v. Is z(1) a prime number?
True
Suppose 0 = 13*t - 11*t - 1910. Is t prime?
False
Suppose -3*c = -0*c. Suppose -j = -c - 2. Suppose 5*n = j*l - 43, n + 39 = l + l. Is l composite?
False
Is 1*(2 + -1 - -114) prime?
False
Is 707 + 4 - (1 + 1) a prime number?
True
Let z(f) = -3 + 434*f + 41*f - 75*f. Is z(2) a composite number?
False
Let n(w) be the third derivative of w**5/30 + w**4/24 + w**2. Suppose -o + 25 = 4*o. Is n(o) a composite number?
True
Suppose 2*x = 2*n + 1396, 2810 = 4*x - 0*n + 2*n. Is x composite?
False
Let s = -54 - -89. Is s composite?
True
Let t(l) = -2 - 3 + 7*l - 2 - 2. Is t(6) composite?
True
Is (19/(-2))/((-2)/4) a prime number?
True
Let n be (5/(-3))/(1/6). Is (514/4)/((-5)/n) a composite number?
False
Let u(p) = -2*p**3 - 2*p + 3. Is u(-4) a composite number?
False
Suppose w = -3*w. Suppose w = -l - 3*l. Suppose l*z + 2*r - 19 = -z, 2*z - 18 = r. Is z a prime number?
True
Let s be 23/((1 - 0)/(-25)). Let b = s - -411. Is b/(-5) + (-5)/(-25) composite?
True
Suppose 2*y + 113 - 2148 = -h, -4*y + 3*h + 4085 = 0. Is y composite?
False
Let u(v) = 28*v - 3. Is u(2) prime?
True
Let k(w) = 7*w**3 + 9*w**2 + 3*w + 16. Is k(7) prime?
True
Let o be 2/8 - (-1878)/(-24). Let b = 37 - o. Is b composite?
True
Let b be (1 + 1 + -1)*5. Suppose 4*j - 5*a = 464 + 413, -b*a + 238 = j. Is j prime?
True
Is 8/(-16) - (-2493)/6 prime?
False
Is ((-1133)/(-2))/(29/58) a prime number?
False
Let t be 12/2 + 6 + -8. Suppose -5*u = t*o - 193, -u - 4*u + 195 = 5*o. Is u prime?
True
Suppose 0 = 3*r + f - 1, 2*r - f - 5 = -r. Let w be (-2*r)/((-2)/(-2)). Let v(b) = 11*b**2 - 2*b - 1. Is v(w) a prime number?
True
Let j be 0/(-1 - (1 + -1)). Suppose -3*y + 9 + 0 = j. Suppose -2*h - 38 = -y*h. Is h a composite number?
True
Let d be (1 + 0)*(-6 + -6). Let m = d + 63. Is m composite?
True
Let n be (-818)/(-6) + 6/9. Suppose -1 - n = -z. Suppose 3*w = z + 3. Is w prime?
True
Suppose -l = -2*l + 66. Let f = -74 + 34. Let k = l + f. Is k a prime number?
False
Suppose -6*i + 274 + 170 = 0. Let w = i - -23. Is w a composite number?
False
Let d be -5 - -5 - (0 - 3). Suppose -d*v - u + 74 = 0, -5*v + 3*v = -3*u - 64. Is v a composite number?
True
Let a(j) = -78*j + 1. Let v(o) = -o**3 + 3*o**2 + 4*o - 3. Let t be v(4). Let n be (t - -1) + 1 + 0. Is a(n) a composite number?
False
Suppose j - 5*j = -580. Is j a composite number?
True
Suppose -2*y - 34 - 8 = 0. Let b = -13 - y. Is (b/6)/4*57 a prime number?
True
Suppose 4*n - 5*n = a + 2, 0 = 2*a - 4*n + 16. Let k(h) = -106*h**2 + 7*h + 7. Let f(d) = -53*d**2 + 4*d + 4. Let q(u) = a*k(u) + 7*f(u). Is q(1) composite?
False
Let z(x) = 11*x**3 - 3*x**2 + 4*x - 3. Let p be z(2). Let s = p - 2. Is s composite?
False
Let i(h) be the second derivative of h**3/6 - 3*h**2/2 + 3*h. Let b be i(-3). Is (42/(-4))/(3/b) a composite number?
True
Suppose -2090 = -6*c + c + 5*k, 2*k = -3*c + 1259. Is c a composite number?
False
Suppose -6*f + 349 = -713. Is f a composite number?
True
Let z = -23 + 27. Suppose 0 = -z*k + k + 177. Is k a prime number?
True
Suppose -14*h + 534 = -8*h. Is h composite?
False
Let g(i) = i**2 - 3*i - 7. Let n be g(5). Let w(v) = 30*v**2 - 2*v + 6. Let h(f) = 29*f**2 - f + 5. Let l(c) = 5*h(c) - 4*w(c). Is l(n) a prime number?
False
Let w = 37 - 2. Is (-1 - 1 - w)*-1 prime?
True
Let p = -28 - -18. Let j = p + 24. Is j a composite number?
True
Let z = 5 - 4. Is -143*((-1)/z - 0) composite?
True
Let i(s) = 127*s + 5. Is i(2) prime?
False
Let k = 43 + -18. Suppose 0 = 2*g - g - k. Is g composite?
True
Let q be 1 - (-12)/9*3. Suppose 2*b + 55 = -r + 306, -q*r = 4*b - 1261. Is r a prime number?
False
Let l(j) = -2*j**3 - 3*j**2 - j - 1. Let g be l(-2). Suppose 4*b - g = 3. Suppose -b*z = -2*x + 164, 267 = -x + 4*x + 4*z. Is x a prime number?
False
Let l = -13 - -3. Let u be 1152/15 + (-2)/l. Let w = u - 42. Is w a composite number?
True
Let o be (-2)/(-3)*6*3. Let m be (2 + 1)*4/o. Suppose -5*k - m = y, 0*y = -3*y - k + 53. Is y a prime number?
True
Suppose 5*l - 3*l = 94. Let z = 6 - -3. Is (-6)/z + l/3 composite?
True
Is (-1338)/(-24)*(3 + 2 + 7) a prime number?
False
Let p = -4 + 8. Suppose 15 = c + p*c. Suppose 0 = -2*z + c*z - 23. Is z prime?
True
Let i(w) = w**3 - 7*w**2 - 13*w + 2. Is i(9) a prime number?
True
Suppose 0 = 4*g + v + 2, 0 = -g + 4*v + 3 + 5. Is g - (-1 + 0 + -160) prime?
False
Let s = 56 + -160. Let p = s + 180. Let u = p - 42. Is u a composite number?
True
Let f = 7 + -5. Is -1 - (-203 + (-2)/f) prime?
False
Let r(z) be the first derivative of -z**2/2 + 39*z - 3. Is r(0) a composite number?
True
Let u(b) = -b**3 + 7*b + 1. Let k = -7 - -7. Let x be 0 + k + (-10)/2. Is u(x) a composite number?
True
Suppose 4*v + r = 9*v - 4951, 5*v + 5*r = 4975. Is v composite?
False
Let t(n) = 16*n**2 + 4*n + 3. Is t(-2) prime?
True
Suppose -555 = 2*p - 7*p. Is p a prime number?
False
Let d = 385 - 75. Let w = d - 47. Is w composite?
False
Suppose -2*v = 115 + 11. Let j = v - -326. Is j a prime number?
True
Let r(d) be the second derivative of -d**5/20 + d**4/12 + 57*d**2/2 + 2*d. Let x be r(0). Let a = -22 + x. Is a prime?
False
Let i(c) be the first derivative of c**3/3 - 9*c**2/2 + 11*c + 1. Is i(10) a composite number?
True
Let f(d) = 8*d**3 + d**2 - 4*d + 4. Is f(3) composite?
True
Suppose 0 = 3*g + 2*g, -5*d + 310 = 2*g. Let f be (-1)/(d/(-30) + 2). Suppose -4*p + t = -201, -f = 3*t - 0*t. Is p prime?
False
Let h(f) be the third derivative of f**6/120 + f**5/60 + f**4/24 + 91*f**3/6 + 6*f**2. Is h(0) a composite number?
True
Let d = 419 - 79. Let f be 1/((1 + 2)/(-411)). Let h = d + f. Is h composite?
True
Let u(d) = 3*d. Let o be u(-1). Let y = 4 + o. Is (-1)/(y - (-72)/(-70)) a prime number?
False
Let w be -2 - 1*481*-1. Let i = -171 + w. Suppose x = 5*x - i. Is x prime?
False
Suppose -10 = 5*v + 5*d, -4*d = v + d + 18. Let k(u) = -6 + 2*u + 3 + 11*u. Is k(v) prime?
True
Let k(p) = p**2 - 3*p**3 + 6*p**3 + 2*p**2 - 2*p + 1. Let t = -12 - -14. Is k(t) a prime number?
False
Let c(j) = -j**2 - 10*j - 8. Let m be c(-9). Let r(w) = 254*w - 1. Is r(m) prime?
False
Let p(g) = g**2 + 14*g + 15. Let c be p(-13). Is 2 + (-1 - c) + 179 prime?
False
Let h(z) = 12*z**2 - 13*z + 19. Is h(6) a composite number?
False
Let v(z) = 2*z**2 + z. Let b be v(1). Suppose 101 = 2*l - 3*t, -b*l + 5*t + 123 = -30. Suppose -c + l = c. Is c composite?
False
Let h(t) = t. Let b be h(2). Suppose -6 + b = -r. Suppose 50 - 234 = -r*l. Is l a composite number?
True
Let j(l) be the second derivative of -4*l**5/5 - l**4/12 - l**3/3 - 3*l**2/2 + 2*l. Let z be j(-2). Suppose 0 = 5*u - 0*u - z. Is u prime?
False
Let v(d) be the first derivative of d**3 + 2*d**2 - 5*d - 1. Is v(-6) prime?
True
Let t(i) = i**3 - 8*i**2 - 9. Is t(10) composite?
False
Suppose 0 = 3*x - 688 + 55. Is x a composite number?
False
Let m(g) be the third derivative of -g**6/120 + g**5/15 + 2*g**3/3 + 2*g**2. Is m(4) composite?
True
Let l be (-5 + 3)/(1/(-104)). Let x = l + -5. Is x composite?
True
Suppose 4*m - 248 - 62 = -2*i, 4*m + 16 = 0. Is i composite?
False
Let r be 46/8 + 2/8. Let s(j) = 9*j + 2. Let k be s(r). Is k - 3/(-3) - 2 prime?
False
Let a = -92 - -237. Is a prime?
False
Let g(r) = r**3 - 7*r**2 - 8*r + 2. Let u be g(8). Suppose u*h = 7*h + 45. Is -2 - (h + -1*2) a prime number?
False
Let c = -323 + 767. Let j = c + -115. Is j a composite number?
True
Let l = 95 + 426. Is l a pri