(u). Let d be g(1). Let n = -36 - d. Is n prime?
True
Suppose 0*r - 8 = 2*r - 2*c, 2*r - 20 = -5*c. Suppose -x + 82 = -r*x - 5*g, 5*x + 3*g - 438 = 0. Is x a prime number?
False
Suppose 2*u - 2*i - 24979 = -3*u, -5*i = 2*u - 10009. Is u composite?
True
Suppose -g - 18 = -49. Is g prime?
True
Suppose 0 = -2*f + 7*f - 1285. Is f composite?
False
Suppose -2*g + 25 + 37 = 0. Is g prime?
True
Let a(m) = -m**3 - 3*m**2 + 5*m + 4. Let c be a(-4). Suppose c = -2*y + 4*j + 242, y = -3*y + 3*j + 484. Is y prime?
False
Suppose 4*d + 875 = 3015. Is d a composite number?
True
Let z = -34 - -24. Let p = z - -1. Is (-33)/p*(3 - 0) prime?
True
Let l(c) = -2*c + 30. Let w be l(13). Let o = 8 - 4. Is 70/o*w/5 composite?
True
Let s(k) = 4*k**2 - 2*k - 5. Let w(f) = -7*f**2 + 4*f + 11. Let j(m) = 7*s(m) + 3*w(m). Let y(l) = -l + 14. Let d be y(12). Is j(d) a composite number?
True
Let u = 12 + -12. Suppose 2*z - 5*z + 165 = u. Is z prime?
False
Let i(o) = o**3 - 8*o**2 + o - 2. Let y be i(8). Let s be 1 + y/2 + 1. Suppose -s*p = -p - 92. Is p a prime number?
True
Suppose 2*g + 24 = 2*z - 4*z, -3*g - z - 32 = 0. Let f(d) = d - 3. Let k be f(5). Is -2*1 - (g + k) a prime number?
False
Suppose 3*g + 11 = -5*c, -3*c + 7 = -3*g - 4*c. Let w be ((-62)/6)/(g/(-6)). Let p = w - -128. Is p prime?
True
Let r(s) = 2*s + 1 - 5*s + 24*s. Is r(6) composite?
False
Let p(s) be the second derivative of -5*s**3/6 - 7*s**2 + 6*s. Is p(-13) a prime number?
False
Is ((-26)/(-5))/(4/20) a prime number?
False
Let s be ((-6)/(-4))/((-24)/(-64)). Suppose s*b - 276 = -4*c, -2*b = 3*b - c - 345. Is b a composite number?
True
Suppose 0 = n + 4*u + 1 + 1, -10 = 2*n + 2*u. Let m(f) = 13*f**2 + 4*f + 1. Let o be m(n). Suppose y = -4*y + o. Is y a composite number?
False
Suppose 4*u + 54 = 238. Is u a prime number?
False
Let x(l) = 7*l**2 + l - 6. Let q be x(-6). Suppose 0 = t - 2*t + q. Suppose b + 167 - 589 = -5*y, -5*b + t = 3*y. Is y a prime number?
False
Suppose 0 = -2*c - 8, c = 3*p + 4*c + 6. Suppose p*b - 179 = -5*a, -197 = -5*a + 6*b - 2*b. Is a prime?
True
Is ((-357)/(-2) + 5)*1*10 composite?
True
Let h(c) = 213*c**3 + c - 1. Is h(1) prime?
False
Is 255 - ((-5)/(-25) + (-4)/(-5)) prime?
False
Let b = 100 - 71. Let c(n) = -9*n - 6. Let r be c(-8). Let h = r - b. Is h prime?
True
Is (-2 + 4)*5469/6 a composite number?
False
Let q = -11 + 15. Suppose -q*w + 111 = -w. Is w a prime number?
True
Let s be (-22)/(-6)*(20 + 1). Is (-6)/4 + s/2 a composite number?
False
Suppose -3*y - p + 1 = 0, -2*y + 3*p = -9 + 1. Let d be -2 + -1 - (1 - y). Is 2 - 1*12*d a prime number?
False
Let a(k) = -k**3 + 5*k**2 - 4*k + 5. Let j be a(4). Suppose 2*b - u = 158, j*u - 103 = -2*b + 55. Is b a prime number?
True
Let g(y) = 8*y**3 - y**2 + 2*y - 1. Let r be g(1). Suppose -r = -z - z. Suppose -232 = -z*h - 4. Is h a composite number?
True
Suppose -2*w = 3*w + 5. Is w + (-6)/(-9)*246 prime?
True
Suppose -11 + 416 = -5*p + 5*d, 0 = -2*p - 4*d - 192. Let y = p - -135. Is y prime?
False
Suppose 5*z + 5*b - 907 = z, 3*b = 4*z - 883. Is z a composite number?
False
Let k(p) = p**3 + 5*p**2 - 7*p + 4. Let f be 6/(-2*2 - -3). Is k(f) prime?
False
Suppose -5*l + 4*q = -26 - 72, 2*q - 32 = -2*l. Let k = l - 9. Suppose 2*i - k - 11 = 0. Is i a composite number?
True
Suppose 2*x - 265 = b, -b = 2*x - 156 - 111. Is x a composite number?
True
Let l(c) = -c**2 + 1251. Let n be l(0). Is n/7 - 2/(-7) a composite number?
False
Let m(r) = 22 + 25 + 7*r**2 - 48 - 5*r. Let y be -2*(-1 - (1 - 0)). Is m(y) prime?
False
Is (824 + 3)/((-3)/(-9)) prime?
False
Let q(g) = -4 - 2*g**2 - 9*g**2 - 19 + 4 + 15*g. Let t(j) = 5*j**2 - 7*j + 9. Let z(f) = -6*q(f) - 13*t(f). Is z(-7) prime?
False
Let f be (-4)/(3/((-990)/4)). Suppose 4*g - 130 = f. Suppose -4*t - t = -g. Is t prime?
True
Suppose -2*w - 1 - 6 = 3*z, 21 = -3*w - z. Let b be (-3 - -2)*(4 - -1). Is b/2*w/5 composite?
True
Let k = 643 - 296. Is k prime?
True
Let w(v) = -v**2 - v. Let j(r) = -r**2 + 4*r + 1. Let m(a) = j(a) - 5*w(a). Is m(-6) a prime number?
False
Suppose 2*u = -5*y - 155, -20 = -5*u + u. Is (y/4)/(3/(-20)) composite?
True
Suppose 5*w - 5*c - 9375 = 0, 4*w + 2*c - 6820 = 674. Is w a composite number?
True
Let a(w) = -678*w**3 + 3*w**2 + 4*w + 2. Is a(-1) a prime number?
False
Is 3188/10 - 12/(-60) prime?
False
Let j(h) = 9*h + 2. Let a be j(-8). Let o = 104 + a. Is o a composite number?
True
Let h = -3984 - -8597. Is h composite?
True
Let v(a) = 54*a - 7. Is v(5) composite?
False
Suppose 12 = -3*v, -2*v + 0*v = -4*k. Is ((-133)/14)/(k/4) prime?
True
Let j(y) = -1217*y - 10. Is j(-1) a composite number?
True
Suppose -8*u + 3*u = t - 7, 2*u - 16 = 4*t. Suppose -5*z = -0*z + u*f - 277, -4*f = -5*z + 271. Is z a prime number?
False
Let f = 106 + 37. Is f a composite number?
True
Suppose 2*w + 4*r = -12, -3*w - 4*r = 16 - 6. Suppose w*c + 335 = 5*n, -5*n = -5*c - 557 + 207. Is n prime?
False
Suppose -2*b + 335 = w + b, -2*w + 2*b = -654. Is w a composite number?
True
Suppose 0 = -0*i + 4*i - 20, -m = 4*i - 22. Suppose m*o = 5*o + 24. Let a(s) = -3*s - 5. Is a(o) composite?
False
Suppose 0 = 3*g + 2*n - 220 - 361, 4*g + 5*n = 784. Is g composite?
False
Let q(t) = 14*t - 1. Let f be q(2). Suppose r + 2*s + 10 = f, -52 = -3*r - 5*s. Is r a composite number?
False
Let v = -3808 + 5603. Is v a prime number?
False
Is 1/4 + 183330/56 a prime number?
False
Let a(g) = -318*g - 1. Let q(i) = -i**2 + 4*i - 3. Let d be q(3). Let p = d - 1. Is a(p) a prime number?
True
Let y(f) = f**3 - 6*f**2 - 10*f + 10. Is y(9) a prime number?
True
Let d(j) = -5 + 0*j**2 + 5*j - j**3 + j**3 - 6*j**2 - j**3. Is d(-7) a prime number?
False
Let q = 17 - 9. Suppose q = -5*v - 7, 0 = 2*s + 5*v - 9. Is (7/2)/(3/s) a prime number?
False
Let z(c) = 17*c + 8. Let h be z(6). Suppose 0*j + w + h = 3*j, -2*j = -w - 73. Is j prime?
True
Let p be (4*-71)/(-4) + -3. Suppose p + 181 = 3*a. Is a prime?
True
Let i(r) = 129*r**2. Let j(l) = 37*l**2. Let y(w) = -5*i(w) + 18*j(w). Is y(1) a composite number?
True
Let g(m) = 2*m**3 - 6*m**2. Let d be g(5). Suppose -d + 12 = -2*o. Suppose 13 = 3*p - o. Is p a composite number?
False
Let z = 261 + -386. Let n = z - -190. Is n a composite number?
True
Suppose b - 24 - 383 = -2*l, -4 = -2*l. Is b prime?
False
Suppose -2*p - 3*p + 3*r + 4760 = 0, 4*p + r = 3825. Is p a prime number?
False
Suppose -2*x + 8*j = 4*j - 118, -x + 59 = 2*j. Let l = x + 24. Is l prime?
True
Let z = 123 - -8. Let f = z - 85. Is f a prime number?
False
Let d(c) = c**3 + 6*c**2 + 11*c - 13. Is d(6) a prime number?
False
Let o(f) = -f + 1. Let t be o(-2). Suppose 1405 = -t*r + 8*r. Suppose 0 = 6*q - q + z - 670, -2*q = 3*z - r. Is q a composite number?
True
Let i(l) = -46*l - 10. Let c be i(-9). Let q = c - 277. Is q a prime number?
True
Suppose -m + 4*n - 35 = 20, n + 1 = 0. Let p = m - -114. Is p a prime number?
False
Suppose 0 = -4*u - 597 - 1863. Let y = 946 - u. Is y composite?
True
Let m = -5 - -9. Is m + 2/(-4)*-4 a prime number?
False
Let m(x) = -21*x - 5. Is m(-8) a composite number?
False
Let p(r) be the first derivative of -r**4/4 + 2*r**3 + 7*r**2/2 - 5*r + 1. Let u be 18/4*(-20)/(-15). Is p(u) a prime number?
True
Let u be (-3009)/12 + (-6)/(-8). Let i = 449 + u. Is i a composite number?
False
Let y(q) = 6*q**2 - 2*q - 1. Let l = -4 - -3. Is y(l) composite?
False
Is (-1838)/4*8/(-4) prime?
True
Suppose p - 2*q + 845 = 0, -3*p + q + 2*q = 2532. Let y = p + 1286. Is y prime?
True
Let z = 601 - 886. Is -2*(z/6 - 1) a prime number?
True
Is 118 + -5*(-2)/10 prime?
False
Let x = 669 + -468. Let l = x + -82. Is l prime?
False
Let b(m) = -m**2 + 5*m - 2. Let k be b(4). Let j(z) be the first derivative of 8*z**2 - z + 2. Is j(k) prime?
True
Let c(z) = -z**3 - 8*z**2 - 8*z - 7. Let x be c(-7). Suppose -4*k + 135 = 35. Suppose -j + k = -x*j. Is j a composite number?
True
Let b(p) be the second derivative of p**5/20 - 5*p**4/4 + 2*p**3/3 + 5*p**2/2 - p. Is b(15) prime?
False
Let u(r) be the first derivative of -3*r**2 + 7*r - 2. Is u(-12) a composite number?
False
Suppose -4*s + 93 = -95. Let j = s + -225. Let y = j + 387. Is y a prime number?
False
Let x be (-1 - 0) + (3 + 5 - 4). Suppose g + 2*g = -u + 32, -5*u = -4*g + 11. Is 146/x + 3/g prime?
False
Suppose 4*x - 4*r - 336 = 0, -5*r = 4*x - 7