 Let d be j(-6). Let c be 12/24*d/2. Suppose 2*z = z + c. Is z prime?
True
Let r = 38799 - 22742. Is r a prime number?
True
Let n(k) = 4*k - 5. Let i be n(2). Let l be (-2 + -2)/2 - -53. Suppose -18 + l = i*a. Is a prime?
True
Let p(x) = 2*x**2 + 4*x + 3. Let g be p(-2). Let c be (-1)/g + 7923/9. Suppose b + 864 = 5*b - w, 4*b - c = -3*w. Is b a prime number?
False
Let f be (5 + 1 - 3) + -3 + 341. Let h = 643 - f. Is h composite?
True
Let u(r) be the first derivative of 79*r**2 + 41*r - 28. Is u(6) composite?
True
Suppose 4*d - 9*d + 5*j + 32965 = 0, 5*j = -4*d + 26417. Is d a composite number?
True
Suppose 0 = -2*o + 4 - 16. Let m be o/(-4) - 1382/(-4). Let c = m - 220. Is c prime?
True
Let q(n) = 1. Let o(g) = 54*g - 3. Let w(u) = o(u) + 2*q(u). Suppose -r + 4*i - 26 = -2*r, 0 = 3*r + 5*i - 43. Is w(r) a prime number?
False
Suppose -242*x + 240*x + 37773 = -5*t, 5*x = -t + 94500. Is x a prime number?
True
Let p(a) = 3*a + 78. Let q be p(-30). Let h(d) = 4*d**2 + 26*d - 13. Is h(q) a prime number?
True
Suppose -m = u - 2*u - 319, 327 = m + u. Let z = 344 + m. Is z prime?
False
Let o(l) = 92*l - 13. Suppose 0 = 4*y - 7*y + 9. Is o(y) a prime number?
True
Let d(b) = b - 1. Let i(s) = 2*s - 4. Let c(q) = 5*d(q) - i(q). Let t be c(2). Suppose 0 = t*j - 754 - 51. Is j a composite number?
True
Let d(k) = -k**3 + 2*k + 517. Let l = 35 - 35. Let c be d(l). Suppose -1865 = -4*v - c. Is v a composite number?
False
Let q(t) = t**3 + 2*t**2 - 2*t. Let h be q(-3). Is h*2/18*-1542 composite?
True
Let j = -7 - -86. Suppose -4*o + j + 13 = 0. Is o composite?
False
Suppose -24 + 22 = i. Let t be i*(-3 - (-12)/8). Suppose t*p = 2285 + 232. Is p composite?
False
Suppose 25 = 7*g - 2*g. Suppose -g*u = -0*u - 170. Suppose -u = 8*z - 9*z. Is z composite?
True
Suppose -2*r + 9186 = r. Let d = r + -2103. Is d a composite number?
True
Let p = 1441 + 3286. Is p a composite number?
True
Let a(t) = 2*t - 6. Let u be a(5). Suppose -v - 2*l = -6*v + 623, u*v = 5*l + 512. Is v a prime number?
False
Let x(h) be the second derivative of 3/2*h**2 + 0 - 25/3*h**3 - h. Is x(-4) a prime number?
False
Let x(n) = -89*n**2 - 7*n - 14. Let h be x(-6). Let m = h + 4573. Is m a prime number?
False
Let d = -6 + 6. Let y be 1/(-1)*-147*1. Suppose y = 3*a - d*a. Is a composite?
True
Let i(r) = 7*r**2 - 89*r + 33. Is i(43) prime?
False
Let k(b) = 1283*b**2 + 52*b + 2. Is k(6) a composite number?
True
Is (-2633008)/336*-1*3*1 a composite number?
False
Let h(o) = 24*o**3 + 3*o - 3*o + o - 2*o**2. Let d be h(1). Suppose -112 = -z - d. Is z composite?
False
Is (5431/10 - (-8)/20)*22 a composite number?
True
Let i = -7 - -12. Suppose 0 = -3*l - 3, -v + 0*l = -3*l - 42. Suppose -i - v = -2*f. Is f composite?
True
Let k = 233 + 54. Let f = 429 - k. Let j = 1 + f. Is j composite?
True
Let q = -3549 - -6939. Let m = q - 1933. Is m a composite number?
True
Let n = -10 - -3. Let u = 3 + n. Is (-334)/u + 21/14 composite?
True
Let y = -32 - -37. Suppose -x - x + y*k + 686 = 0, -4*x - k = -1416. Is x a prime number?
True
Let c(g) = g + 145. Suppose 0 = -0*l + 6*l. Is c(l) composite?
True
Suppose -54*l = -158939 + 41273. Is l composite?
False
Let f(v) = 239*v**2 + 2*v - 2. Suppose 3 = -w - a + 2, 3*w + 2*a + 1 = 0. Is f(w) composite?
False
Let a(c) = 16*c**2 - 16*c + 15. Is a(-17) a composite number?
True
Suppose -9*m = 2*d - 11*m - 5274, -3*d - 5*m + 7879 = 0. Is d composite?
False
Let j(r) = 2*r - 6. Let m be j(0). Let z(a) be the second derivative of -8*a**3 + 5*a**2/2 + 3*a. Is z(m) composite?
False
Suppose -3*g + 0*g + 4*f + 3857 = 0, -4*g = -4*f - 5140. Is g composite?
False
Let f(j) = 39*j**3 + 6*j**2 - 9*j - 1. Let n(i) = -i**2 + i. Let d(t) = -f(t) - 6*n(t). Is d(-2) composite?
False
Let x(t) = -t**3 + t**2 + 3*t + 7781. Is x(0) composite?
True
Suppose -m + 3*s = 11, 0 = 3*m - 0*s - s - 7. Suppose -5*u + 2*i = -i - 7, -m*u + 4 = -4*i. Is (-9582)/(-12) + (-3)/u prime?
True
Suppose -p = 2*b - 105449, 47881 = -2*p + 3*b + 258814. Is p composite?
True
Suppose -w + 0*w = -v - 494, 3*w + 3*v - 1482 = 0. Suppose -3*q + w = k, 0 = -2*q + 4*k + 4 + 302. Is q a prime number?
True
Let w(u) be the third derivative of -u**6/360 + u**5/60 + 293*u**4/12 - 5*u**3/6 + 6*u**2. Let h(k) be the first derivative of w(k). Is h(0) composite?
True
Suppose 0 = 3*n - 128 - 133. Suppose -1314 - n = -3*w. Is w composite?
False
Let c = 1071 - -469. Let x = 5327 - c. Is x a composite number?
True
Let x = -8 - -13. Let z = 11 + x. Let s = z - 3. Is s a prime number?
True
Let i be (-16 + 7 + -3)/1. Let v = i + 58. Is v a prime number?
False
Suppose -3 + 88 = -5*l. Let n = -100 + l. Let g = n - -280. Is g prime?
True
Let c = 10576 + -5413. Is c composite?
True
Let q be 12 - 14 - 1*-6. Suppose -q*b + 27 = 7. Is b/(-10) + 622/4 a prime number?
False
Suppose -2 = -2*s, 2*o + 4*s = 3*o + 3. Is (4/12)/(o/3831) a prime number?
True
Let m(q) = -5*q**3 - 3*q**2 - 5*q - 5. Let f be m(-3). Let i = f + 136. Is i a prime number?
False
Suppose 0 = -q + 3*w + 769, 54*w = -5*q + 52*w + 3811. Is q composite?
True
Let k(n) = 150*n**2 + 3*n + 17. Is k(4) a prime number?
False
Let j be 110/30 + 1/3. Suppose -2*r + 5*b = -39 - 121, -j*r = -5*b - 300. Is r + -1 - (-1 - -1) composite?
True
Suppose -9*s - 13656 = -73101. Is s a composite number?
True
Let k(w) be the third derivative of -w**5/60 - 19*w**4/24 - 7*w**3/3 - 39*w**2. Is k(-15) a composite number?
True
Suppose o = -l + 1053, -5*o - 3*l - 585 + 5846 = 0. Let w = o + -714. Is w composite?
False
Suppose -10*u - 229836 + 591746 = 0. Is u composite?
False
Let d = 38 + -19. Let u(b) = 4*b**2 - 3*b + 10. Is u(d) a composite number?
True
Let u(v) = 1995*v**2 + 29*v + 13. Is u(5) prime?
True
Let w = 4262 + -1485. Is w prime?
True
Let y be (-205)/(-25) - 1/5. Let z = 12 - y. Is (-1655)/(-3)*(z + -1) composite?
True
Let w(x) = 83*x + 46. Is w(27) composite?
False
Suppose 0 = 14*d - 19*d + 585. Let s(a) = -21*a + 1. Let j be s(-2). Let i = d - j. Is i a prime number?
False
Let j(x) = -2*x + 1. Let h be j(-2). Suppose h*d = 195 + 230. Is d a composite number?
True
Let z be ((-8)/(-2))/(-4) - -2. Is z/5 + 13602/15 prime?
True
Suppose 0*u + 2*u = 0. Suppose -y - 3*f = -u*f + 9, 2*y - 18 = 3*f. Let z(c) = c**3 + 4*c**2 - 4*c + 4. Is z(y) a prime number?
False
Suppose n - 12966 = 4*g - 7*g, 0 = 5*n - 7*g - 64940. Is n prime?
False
Let g = 13880 + 2891. Is g a composite number?
True
Let d = 896 + -2. Suppose -5*x = -11*x + d. Is x a prime number?
True
Let w = 515 + 409. Suppose 4*f = f - w. Let l = -177 - f. Is l composite?
False
Suppose 0 = -73*n + 80*n - 70714. Is n a composite number?
True
Let p(g) = g**3 - 8*g**2 + 9*g + 5. Let t be p(7). Let o = t - 17. Is 288 + 1 + o + -2 a composite number?
True
Suppose -f - 5*z = -66, 2*z = -5 + 13. Let k = -2 + 2. Suppose k = b - 3*b + f. Is b composite?
False
Suppose 4*d = 4*l - 41821 + 10489, -31368 = -4*l - 5*d. Is l prime?
False
Suppose c - 19856 = f, 4230 = 2*c - 4*f - 35488. Is c composite?
False
Suppose -2*o + 1430 = -1448. Is o a prime number?
True
Let v(c) = -8386*c + 179. Is v(-9) composite?
False
Let r = -100 - -247. Let x = r + 280. Is x prime?
False
Let q = -11 + 16. Suppose 2*n = -2*n - q*h + 1873, -3*n + 1396 = -5*h. Is n a composite number?
False
Let t(j) = 94*j**2 - 53*j + 12. Is t(-11) a composite number?
False
Is 2/((-11073)/3693 + 3) a prime number?
True
Let b = 124 + -81. Let h = b + -28. Suppose 3*y - h = 54. Is y composite?
False
Let v(n) = -n**3 + 6*n**2 - 7*n - 4. Let x be v(3). Let w(r) = 210*r**2 - 2*r + 2. Is w(x) a composite number?
True
Suppose 5*w = 5*y, 0 = y + 2*w - 14 + 5. Suppose -32*g + 21 + 75 = 0. Suppose -d + 0*c + 319 = y*c, 4*d = g*c + 1336. Is d composite?
False
Let d be 3 - (-1)/(0 - 1). Suppose 3*l + d*l + 5 = 0. Is (-2)/((-1604)/(-1612) + l) a composite number?
True
Let t(x) = 12*x + 5*x - 8*x + 1 + 7*x**2. Is t(-9) a composite number?
False
Suppose -3*v - 2*v = -405. Let l = v + -28. Is l a prime number?
True
Let i = 196672 - 140301. Is i composite?
True
Suppose -f + 3 = -1. Suppose f*p = 42223 + 1325. Suppose 3*a - 8711 = -a + 3*w, -5*a = -2*w - p. Is a composite?
True
Suppose 6*y + 63 = -y. Let v(n) = -3*n**3 - 12*n**2 + 5*n - 19. Is v(y) prime?
True
Let v = 5498 + 4745. Is v a prime number?
True
Let g(y) = -y**