37*k**2 - 5*k + 6. Let g be o(3). Let i = d - g. Is i composite?
False
Let y(x) = -x. Let s(o) = 240*o - 15. Let m(d) = -s(d) + y(d). Is m(-4) prime?
False
Let z be -30*(-5)/(25/(-2)). Let s = -10 - z. Suppose -x = -s*x + 191. Is x a prime number?
True
Let c(o) = -17*o**2 + 6. Let a be c(-5). Let j = 640 + a. Is j a composite number?
True
Suppose 11*z = 18684 + 191647. Is z a prime number?
True
Is (21/4)/((-33)/(-1628)) prime?
False
Let i(s) = -6*s**3 - 2*s - 2. Suppose 5*a - 5*g = 0, 5*g + 4 = -5*a - 6. Let h be i(a). Is 490/h + (-4)/(-3) prime?
True
Suppose -3*q = 4*r - 163, -5*r + 165 = -5*q + q. Let w be (186/2)/((-3)/(-2)). Let p = w - r. Is p a composite number?
True
Let n be (-918)/(-24) + (-1)/4. Let l be n - -1*(-2)/1. Let u = 157 - l. Is u composite?
True
Suppose -h - 7348 = -5*h. Suppose -5*p + 0*p + r = -13780, -2*r = 0. Let t = p - h. Is t a composite number?
False
Let h(x) be the first derivative of -1/4*x**4 + 13/3*x**3 + 1/2*x**2 + 1 - 4*x. Is h(9) a prime number?
False
Let l(g) = -g**3 + 7*g**2 - 6*g + 1. Let d be l(6). Let k be (-8 + 7)*(-7 + d). Suppose 0 = -4*o + 2*x + 710, k*x - 3*x - 9 = 0. Is o a composite number?
False
Suppose 5*x + 33296 + 11828 = 4*z, 0 = 3*z + x - 33843. Is z a composite number?
True
Suppose 3*n = 72 - 18. Suppose -742 = -4*m + n. Suppose 2*i - 3*o = m, -3*o + 4*o = -5*i + 441. Is i a composite number?
False
Let y = -49 + 1. Is (0 - 1) + y*(-1528)/16 a composite number?
False
Is 30/(-135) - 174125/(-9) a composite number?
True
Let i = 0 - 0. Suppose -2*q + 6 = i, 3*q = -j - 2*q + 18. Suppose 4*v + 600 = 4*z, 0 = j*z - 0*z - 5*v - 452. Is z composite?
False
Let l(s) = 91*s**2 + s + 11. Is l(-10) a prime number?
False
Let h(a) = a**2 - 3*a + 2. Let l be h(1). Suppose 5*w + 18 - 3 = l. Is (-145)/(-20) - w/(-12) composite?
False
Let v(g) = g**2 + 2*g + 1. Let i be v(-1). Suppose i = 6*m - 4*m. Suppose -2*b + 95 + 75 = m. Is b prime?
False
Let r(g) = -g**3 + 6*g**2 - 6. Let p be 0 + 0 + 0 + 21. Suppose -f + 7 = o, -2*o + p = 5*f - 8. Is r(f) a prime number?
True
Let l = 167 - 545. Let j = -31 - l. Is j a composite number?
False
Let c(n) = 26*n**2 + 6. Let k be c(10). Suppose 0 = 7*s - 12171 - k. Is s a composite number?
False
Suppose -3*m - 3 = 0, m = -4*s - 0*m - 65. Is (-1228)/s + 3/12 a composite number?
True
Suppose 7*k = 41091 + 57238. Is k a composite number?
True
Let g(s) = 40*s**3 - 1 - 19*s**3 - 23*s**3. Suppose -o - 5*f - 24 = 0, 2*o - o - 4*f - 12 = 0. Is g(o) a prime number?
True
Suppose 36*w - 41*w = -28955. Is w a composite number?
False
Let o = -6130 + 11513. Is o a composite number?
True
Suppose 4 = 2*m, -3*m + 1507 = 2*k - 273. Suppose 0 = 4*b - g - 0*g - k, -b - 2*g + 233 = 0. Is b a prime number?
True
Let u(r) = -26*r - 179. Is u(-33) a composite number?
True
Let i(h) be the second derivative of -5*h**3/3 + 145*h**2/2 - 27*h. Is i(0) prime?
False
Let h = 2182 + -4698. Let z = h - -3633. Is z composite?
False
Suppose 14*l - 10 = 12*l. Suppose -2*c + c + 3600 = 5*x, 0 = 5*x - l*c - 3570. Is x prime?
True
Let x = 19 + 6. Suppose -x*w + 26*w = 31. Let f = w - -96. Is f composite?
False
Let i(y) = -y**2 + 3*y - 595. Let g be i(0). Is 118*(g/(-10))/7 composite?
True
Suppose 43 = d + 4*n + 6, 3*n = -5*d + 100. Let l = -12 + d. Suppose 3*v - l*v + 94 = 0. Is v a composite number?
False
Suppose -n = -2777 + 9132. Let g = 9584 + n. Is g composite?
False
Let m = -15 - -19. Let q be 252 + 0/(m - 1). Let p = 587 - q. Is p prime?
False
Suppose 0 = -44*d + 64*d - 2780. Is d composite?
False
Let w(p) = -24*p - 2. Suppose 4 = -2*d - 0, 0 = -3*g - 5*d + 2. Let i(t) = 2*t**2 - 12*t + 9. Let n be i(g). Is w(n) a prime number?
False
Suppose -2*x - 2 = 2*l, -l + 5*l = 4*x - 36. Suppose x*m + 2*d + 216 = 4*d, 4*d = -2*m - 98. Let o = 87 + m. Is o a prime number?
False
Let y(a) = -21*a + 7*a**2 + 5 + 30*a + 4*a**2. Is y(9) a composite number?
False
Let z(y) = -3979*y + 12. Is z(-1) composite?
True
Suppose 17*n - 8196 = 5*n. Is n a prime number?
True
Suppose -61*u + 676288 + 901599 = 0. Is u a composite number?
False
Let u(c) = -c**3 - 8*c**2 - 2*c - 2. Let l be u(-5). Let j = 60 + -104. Let p = j - l. Is p a composite number?
False
Let q(g) = -g**2 + 2*g - 3. Let h be q(-3). Let a be h/(-12) - (-6)/4. Suppose -a*r + 12 = -1395. Is r composite?
True
Suppose 5*w + 11905 = 4*l, 0 = -3*l + 4*w + 654 + 8274. Suppose -5*u = -690 - l. Is u prime?
False
Suppose 16*z - 13*z = 28599. Is z composite?
False
Let a = 1 - -5. Let w(k) be the first derivative of -k**4/4 + 7*k**3/3 + 5*k**2 - 7*k + 5. Is w(a) prime?
True
Let s = -12593 + 21740. Is s a prime number?
False
Suppose 5*m - 8945 = 14040. Is m prime?
True
Suppose 2*j - 20342 = -4*p - 364, -39944 = -4*j - 4*p. Is j a composite number?
True
Let s(y) = -y + 9. Let r be s(7). Suppose 4*i - r*l = 4446, i + l = 16 + 1088. Is i a composite number?
False
Let d(n) = 3*n**3 + 4*n**2 + 2 + 5*n + n**2 - 5*n**2 - n**2. Let y be d(5). Is y - -1 - (7 - 8) composite?
False
Suppose -4*a - 4 = -4*l - 6*a, -5*l = -a + 2. Let i(k) = k**2 + 13. Let x be i(l). Let s(j) = 19*j + 6. Is s(x) composite?
True
Suppose 2*x + 3*v - 108 = 0, 0 = -0*v + v - 4. Suppose x = -4*s + 8*s. Suppose -11*i = -s*i + 161. Is i a composite number?
True
Suppose t - 105589 = -28*t. Is t composite?
True
Let f(g) be the second derivative of g**5/2 - g**4/12 + g**3/6 + 3*g**2/2 - 82*g. Suppose 0 = 2*q + 2 - 8. Is f(q) a composite number?
True
Suppose -47*h - 14696 = -118237. Is h prime?
True
Suppose 2*w - 10 = -5*q, -w - 16 = -3*w - 2*q. Is 2*452/w - 3/(-5) a prime number?
False
Let m = -556 + 725. Suppose 5*y - 275 = 115. Let q = m - y. Is q a composite number?
True
Suppose 0 = -2*n - 207 + 195. Is -1*4/n*(-60072)/(-16) composite?
False
Let v = -21 + 27. Suppose 0 = z - 3*d, z + v*d = 5*d. Suppose z*g + 1036 = 4*g. Is g a composite number?
True
Let p(a) = 0 + 4*a**2 - a**2 + 0*a**2 - 21*a - 3. Is p(10) composite?
True
Suppose 3*m = -m + 5*d - 94, -3*m - 72 = -3*d. Let z = 28 + m. Is (z/3)/(42/9387) composite?
False
Suppose 94 = 4*p - 2*f, 2*p + f - 52 = -3*f. Let j = p - 35. Let y = j - -49. Is y composite?
True
Let t(s) = -470*s + 15. Is t(-1) composite?
True
Suppose -25 = 4*m - 1. Let v be m + 4 - 1*-31. Is 10/(2/v + 0) composite?
True
Let f = 46722 + -15325. Is f a prime number?
True
Suppose -4*r = -r, d - 2389 = -5*r. Is d a prime number?
True
Let s = 992 + 122. Suppose r - 3*r + s = 0. Is r a composite number?
False
Suppose -3 = 4*q - 19. Suppose 3*c + 250 = 5*c - 4*x, -q*x - 520 = -4*c. Suppose 6*n - c = 291. Is n a prime number?
True
Let j(d) = -d**3 + 2*d**2 + 2*d - 1. Let f be j(3). Let l be f + 0/2 + 1. Is (268/(-6))/(2/l) composite?
False
Let z = 3 - 2. Let l(d) = d**3 + 11*d**2 + 3. Let q be l(-11). Is (1 - (q - z))*-223 prime?
True
Let q(k) = -2254*k. Let x be q(-1). Let m = -1457 + x. Is m a composite number?
False
Suppose 3*d + 508 + 251 = 0. Let s = 149 - d. Suppose 0 = 4*f - s + 26. Is f a composite number?
True
Let l(b) = 988*b + 77. Is l(14) a composite number?
True
Let o(a) = a**2 + 10*a + 5. Let y be o(-10). Suppose -2*x - 4035 = -4*s - 12141, y*s - 8070 = -2*x. Suppose -x = 6*k - 10411. Is k composite?
False
Let g(p) be the third derivative of p**7/210 - p**6/120 - p**5/120 + p**4/8 - 7*p**2. Let t(j) be the second derivative of g(j). Is t(-4) a composite number?
True
Let h(w) = -2*w**2 + 6*w + 1. Let x be h(4). Let u = x + 12. Suppose u*j - 287 = 428. Is j a composite number?
True
Let h(j) be the third derivative of 8*j**4/3 + 5*j**3/3 - 4*j**2. Let y be h(-6). Let p = 207 - y. Is p prime?
False
Suppose -2327170 - 2516349 = -113*a. Is a prime?
True
Let u(n) = 2*n**3 - 57*n**2 - 3*n - 145. Is u(43) prime?
False
Let a(f) = 9*f**2 + 2*f + 7. Let g be a(-5). Suppose -3*y = -27 + g. Let d = -22 - y. Is d a prime number?
True
Let x = -4554 - -7891. Is x prime?
False
Let q(a) = a**3 + 6*a**2 - 8*a - 10. Let z be q(-7). Is 1636 - z*(5 + (4 - 8)) a prime number?
False
Is 416/(-520) - (-89049)/5 a composite number?
True
Suppose -d + 2*h + 39 = 0, -4*d - 138 = -8*d + 2*h. Suppose -m + 78 + d = 0. Is m composite?
True
Let j = 2 - 0. Let a be 133 + (-1 - (-6)/j). Let z = 526 - a. Is z composite?
True
Let a(k) = 190*k**2 + 3*k + 10. Let s be a(-4). Let t = s - 1501. Is t prime?
False
Let v be 40720/(