 64, u = 5*c + 27 + s. Is u composite?
False
Let k(s) = -s + 1. Let i(m) = -2. Let w(p) = 4*i(p) + 3*k(p). Let t be (12/4)/(1/(-2)). Is w(t) a prime number?
True
Suppose -3*d = -8*d + 10. Suppose d*g = g + 42. Let f = g - 9. Is f composite?
True
Let r(i) = i**3 - 4*i**2 + 4*i - 1. Let c be r(3). Let k be (-5 + c)/(3/(-74)). Suppose -g + k = -39. Is g composite?
False
Let r = 209 + 84. Suppose -4*d + 861 - r = 0. Is d a prime number?
False
Let u(g) = 7*g**2 - 3*g - 4. Let y be u(-4). Suppose 4*i - 20 = y. Is i a composite number?
True
Let b = -8 - -1. Is (b/(-2))/((-7)/(-14)) composite?
False
Let y(x) = -2*x**2 - 2*x + 5. Let i be y(5). Let d = -9 - i. Is d a composite number?
True
Let z = 5 + 2. Let v(c) = 10*c - 8. Is v(z) a composite number?
True
Let g(q) = 10*q**2 - 7. Is g(-6) prime?
True
Let b(n) = -2*n - 5 - n - 7*n**2 - 8*n - n**3 - 5. Is b(-7) a prime number?
True
Let y = 0 + 2. Suppose f = -y*b + 31 - 9, 0 = -5*b + 5*f + 25. Let v(g) = g**2 - 8*g + 4. Is v(b) a prime number?
True
Suppose -s = -4*s - 3. Is (52 - s)*(2 - 1) composite?
False
Let h = 1 - -5. Is 316/h - 5/(-15) a composite number?
False
Suppose -3*u = 5*x - 308, -3*x - 2*x - 136 = -u. Is u a prime number?
False
Let u = 6 + -4. Is (-4)/u - (-1 + -60) composite?
False
Suppose x + 0*x = 901. Is x a prime number?
False
Let h(i) = -4*i - 2*i + 15*i**3 - 6*i**2 + 9*i + 1. Is h(4) composite?
False
Let s be 12/(-7) - (-6)/(-21). Let t be (-8)/5*5/s. Let r(x) = 13*x**2 - 2*x + 3. Is r(t) composite?
True
Is (1/2)/((-243)/(-242) + -1) a prime number?
False
Let u = 4 - -7. Is u prime?
True
Suppose 1840 + 3390 = 10*f. Is f prime?
True
Let j be 1*((-12)/2 + -1). Let k(n) be the third derivative of -n**4/8 - 7*n**3/6 - n**2. Is k(j) composite?
True
Let t = 425 + 54. Is t prime?
True
Suppose 2*s + 5 = -3*s. Let i = 3 - s. Suppose -10 = 5*n, i*l + n - 1034 = -0*l. Is l a prime number?
False
Let s(x) = 7*x**2 - 2*x - 4. Let d = 3 + 2. Is s(d) a prime number?
False
Is 3 - 3 - (5 + -706) composite?
False
Let z be 3/9 + 46/6. Let s = z + 1. Is s a composite number?
True
Suppose 0*o = 3*o + 21. Let d(s) be the first derivative of s**3/3 + s**2/2 + 9*s + 11. Is d(o) composite?
True
Suppose 0 = -m - 3, 0 = -4*k - 2*m + 5*m + 23213. Is k prime?
True
Suppose 4 = -2*u + 4*u. Suppose -o = -u*q - 49, -4*q + 0*q = -3*o + 147. Let v = o + 34. Is v a composite number?
False
Let m be -2 + (1 - 1) - -318. Suppose 0*b = -4*b - m. Let u = 156 + b. Is u a prime number?
False
Suppose -4*r - 2*s = -s - 520, -2*r + s = -266. Suppose -2*n = 8, 4*m - 4*n - 559 = -r. Is m prime?
True
Suppose 2*r - 10 = -3*r. Let p be ((-1)/(-2))/(r/(-12)). Let o(u) = 2*u**2 + u. Is o(p) a prime number?
False
Let s(q) = -17*q - 71. Is s(-26) a prime number?
False
Let w(l) = l + 7 - 4*l + 5. Let m be w(-9). Suppose 3*f + 0*f - m = 0. Is f a composite number?
False
Suppose 3*d + 4*c = -d + 4, 5*d = 5*c + 15. Let j be -1 - (0 + 4*-87). Suppose d*x + 93 = j. Is x a composite number?
False
Is ((-8)/(-6))/((-8)/(-2676)) prime?
False
Let v = -131 + 46. Let o = 188 + v. Is o prime?
True
Let f(g) = -15*g - 5. Is f(-2) a prime number?
False
Let c(f) = -5*f**2 - 3*f - 3. Let s(k) = 14*k**2 + 9*k + 8. Let g(b) = 11*c(b) + 4*s(b). Let p be g(-4). Suppose p*q + 3 = 4*q. Is q prime?
True
Let z(n) = 181*n**2 - 2*n - 1. Is z(2) a prime number?
True
Let o = -1223 - -3352. Is o a prime number?
True
Let z(v) be the second derivative of -v**5/20 - 5*v**3/6 + v**2 + 2*v. Let x be z(-5). Let j = x + -46. Is j prime?
False
Suppose 2*w = -62 + 266. Let a = w + -25. Is a prime?
False
Let s(j) = 12*j**2 + 10*j - 9. Is s(7) a prime number?
False
Let d = 264 - 131. Is d a composite number?
True
Let s(q) = 13*q**2 + 3*q - 7. Is s(-5) a composite number?
True
Suppose 1714 = 2*p - 444. Is p prime?
False
Let s(w) = -w**3 + 9*w**2 - w + 9. Let k be s(9). Suppose k = 4*h - 301 - 143. Is h a prime number?
False
Is 506/6 + (-36)/(-54) composite?
True
Let p(y) = y**2 + 4*y. Let l be p(-5). Suppose -2*t - 16 = 3*c - 241, l*c + 4*t = 373. Is c a composite number?
True
Let a(p) = p**2 + 3*p + 7. Let h(j) = j**3 - 4*j**2 - 6*j + 7. Let g be h(5). Suppose -2*f = -20 + g. Is a(f) prime?
False
Let n = -74 + 127. Suppose -k - 2*i = -n, 0*i = k - i - 53. Is k a prime number?
True
Let g(o) = o**2 + 6*o - 31. Is g(-18) prime?
False
Let h = -2 - -6. Is (-2)/(0 - h/186) composite?
True
Let j(q) = -4*q**3 - 2*q**2 + 2*q - 1. Let a be j(-3). Suppose -z = -4*z + 2*b + a, 5*b + 6 = z. Is z a composite number?
False
Suppose -q + 3*a - 6 = 0, 5*a - 18 = -3*q - 8. Suppose y - 18 - 1 = q. Is y a composite number?
False
Is (-580 - 7)/(-2 + 1) a composite number?
False
Let t(j) be the first derivative of -j**4/4 + 7*j**3/3 + 3*j**2/2 - 1. Let i be t(8). Is i/6*(-3)/2 a prime number?
False
Suppose 4*x - 3*g = -0*x + 3, -3*g = 2*x + 3. Let r(f) = 2*f + x*f + 2 + f. Is r(7) prime?
True
Let g = 12 + -7. Let w = -2 + 5. Suppose -g*s - d = -241, -w = -2*d - 11. Is s a prime number?
False
Suppose 3*n = 9 + 6. Suppose -4*l = n*h - 79, -64 = -2*h + 2*l - 18. Is h prime?
True
Let c = -3657 - -6140. Is c composite?
True
Let w(f) = 113*f - 3. Is w(4) a composite number?
False
Let t be 200/(-3) - 2/6. Let h = -65 + t. Let y = h - -281. Is y a prime number?
True
Suppose -2*d = o - 0*d - 129, -2*o + 259 = 5*d. Is o a prime number?
True
Let i be (-47)/4 - (-2)/(-8). Let o be (-1)/(-4) - (-3)/i. Suppose 0 = -o*z + z - 5*p - 34, 0 = -3*z + p + 60. Is z a prime number?
True
Suppose u - 4*t = 8, -25 + 87 = 5*u + 2*t. Suppose -5*l + 7*l = 8. Suppose 0*g = -l*g + u, 5*g = v + 13. Is v a composite number?
False
Suppose -4*y + 4*c = -2*y - 506, -251 = -y + 3*c. Is y composite?
False
Suppose 0 = -2*k - 2*k. Let s = -1 + k. Is s/(0 - (-3)/(-111)) a prime number?
True
Let m be (3/2)/(6/8). Suppose -4*f + 307 = -281. Suppose c = -m*c + f. Is c a prime number?
False
Let f = -1112 + 2060. Suppose -3*d - f = -2934. Suppose a = -a + d. Is a a prime number?
True
Let a(q) = 53*q**2 + q. Let l be a(1). Suppose 2*f + f = l. Suppose 0 = s - 3*s + 2, -i + f = -3*s. Is i a composite number?
True
Let o be (-4 + (-2)/(-1))/2. Let j = 4 + -6. Is 13 + (o + -1 - j) prime?
True
Let s(y) = 2*y - 3. Let d be s(3). Let f = d - -80. Is f a prime number?
True
Let m = 391 - 190. Is m composite?
True
Suppose -b - m = -1, -b - 13 = -4*b + 2*m. Suppose -6*u + u - 330 = -b*h, 5*h - 3*u - 566 = 0. Is h a prime number?
False
Let g(h) be the third derivative of 0 + 1/6*h**3 + 0*h + h**2 - 2/3*h**4. Is g(-2) composite?
True
Let m(v) = -v**2 + 7*v + 5. Let b be m(6). Suppose -4 = -5*z + b. Let u(j) = 3*j**2 + 2*j + 1. Is u(z) a prime number?
False
Let a(m) = 8*m**2 - 8*m - 22. Is a(-8) a composite number?
True
Let z be (0 - 2)/(-2 + 0). Is 32 + (1 - 0)*z composite?
True
Suppose -4 = -2*t - 0*t. Let w be -1*(t/2 + -18). Suppose y - w = 104. Is y a composite number?
True
Let o = 4583 - 2634. Is o a composite number?
False
Suppose 5*d + 1 = 4*d. Let m be 1/(15/(-18) - d). Suppose -m*o + 18 = -3*o. Is o a prime number?
False
Is 4123 + (3 + 2/(-1))*-2 composite?
True
Is 3239/13 - ((-28)/(-13) + -2) a prime number?
False
Let s = -608 + 1497. Is s a composite number?
True
Let c = -3 - -4. Let a be (0 + -2 + 2)/c. Suppose 2*x + 0*x - 12 = a. Is x composite?
True
Suppose 4*k - 290 = -2*p, 0 = k + 2*p + p - 65. Let c = k - -69. Is c a prime number?
False
Let x = -2 - -2. Suppose x*a = -a - o + 53, 3*o + 171 = 3*a. Is a prime?
False
Let k = -91 + 7. Let s = 13 - k. Is s composite?
False
Is 1 + -4 - (-445 - -3) composite?
False
Let b(r) = 26*r**2 + 2*r + 1. Let p be b(-1). Suppose 3*j + 4*v + p = 444, 2*j + 4*v - 286 = 0. Suppose -3*o - 4 = -j. Is o prime?
True
Let t = 263 + -157. Suppose -5*b + t = -79. Is b a prime number?
True
Suppose 0 = -2*n - 5*b + 805 + 582, -1411 = -2*n + 3*b. Is n prime?
True
Let t(d) = -7*d + 2. Let r be t(-4). Let p = 0 + 7. Let z = p + r. Is z prime?
True
Suppose -3*y - 2 + 14 = 0. Let h be -2 + (y - (1 + -2)). Suppose -h*j - 5*r = -10 - 117, 4*j + 2*r = 160. Is j a composite number?
True
Let k = -243 + 651. Let i = -155 + k. Is i a composite number?
True
Let a(d) = 7*d - 3. Is a(7) composite?
True
Let p(q) = -q - 3. Let o be p(-5). Let y(v) = -o + 5*v - 2*v - 5. Is y(10) prime?
True
Let q(v) = -15*v + 1. Let k(o) = 4*o**2 - 2*o 