). Suppose 31 + f = 5*s. Is s composite?
True
Let m(q) = 16*q**3 + 3*q - 3. Let k be m(2). Let n = 8 + k. Is n composite?
False
Let g(s) = 5*s**2 + 4*s - 7. Let b(j) = j**2 + j - 1. Let y(p) = -4*b(p) + g(p). Let w = 16 - 10. Is y(w) composite?
True
Let c = 0 - -2. Is (178/4)/(1/c) prime?
True
Suppose 52 = -0*d - d + 4*a, d - 5*a = -52. Is -1 + (0 - d) + 2 a prime number?
True
Suppose 4*g - 3*g = 10. Let n(q) = q**3 - 9*q**2 - q + 4. Is n(g) a composite number?
True
Let w(o) = o**2 + o + 1. Let l(i) = 4*i**2 + 8*i + 10. Let n(g) = -l(g) + 5*w(g). Let k be n(5). Suppose -k*p + 7 - 17 = 0, u = 3*p + 41. Is u prime?
False
Suppose m = -0*m + 3. Suppose -3*y - m = -0*y. Is 20*1*1 - y composite?
True
Suppose 5*n + 546 = -n. Let x = n + 276. Is x prime?
False
Let p(s) = 16*s**3 - 5*s**2 - 2*s + 4. Let y(j) = -8*j**3 + 2*j**2 + j - 2. Let v(q) = 2*p(q) + 5*y(q). Is v(-3) a prime number?
True
Suppose m = -0*m + 1. Let c be (5 - 6)*3/m. Is 80 + c + -2 + 2 prime?
False
Let m(y) be the first derivative of -642*y**2 + y - 2. Let h be m(-1). Suppose 3*a - 1285 = -2*a + 5*g, 5*a + g - h = 0. Is a a prime number?
True
Let v = -14 + 17. Suppose -s = x + 3*x - 2736, -v*s - 3437 = -5*x. Is x composite?
True
Let y(w) = 30*w + 2. Is y(4) a composite number?
True
Suppose -2*b + 6*b = 4, -4 = -2*d + 4*b. Suppose 3*f + d*u + 182 = 0, 0 = 3*f + 2*u + 37 + 135. Let p = f + 133. Is p a prime number?
True
Let u(l) = -4*l**2 - 2*l - 3. Let s be u(-3). Suppose -i - 742 = 5*a, -3*i + 290 = -2*a - 0*a. Let q = s - a. Is q a composite number?
True
Let n be (-38)/14 + (-4)/14. Let u = -1 - n. Suppose 0 = -c + 3*l + 82, u*c - 4*c = -5*l - 163. Is c a composite number?
False
Suppose 21 = 4*w - 3*a - 10, 12 = -2*w - 4*a. Is (158/6)/(w/12) a composite number?
False
Let i = 197 - 78. Is i composite?
True
Let a(q) = -3*q - 4. Let s(k) = k + 4. Let l be s(-8). Let u be a(l). Let f = 43 - u. Is f a composite number?
True
Is 2098 + (4 - -2)/2 a prime number?
False
Let s be 6/10 - (-4)/10. Let h be (-11 + 1)*(s + 0). Is ((-3)/(-2))/((-5)/h) a prime number?
True
Let p = -24 + 28. Suppose i + 2*i - 423 = p*l, -4*l = 0. Is i prime?
False
Let y(q) = 57*q**2 - q - 1. Let s be y(-1). Suppose l + 7*v = 2*v + 19, 5*l - 26 = -2*v. Suppose -l*x + s = -x. Is x a composite number?
False
Is 2 + 104 + (-1 - -1) a prime number?
False
Let i(y) = y. Suppose -2*v - 2 = -8. Let c be i(v). Suppose c*r - 30 = 33. Is r composite?
True
Let t(s) be the second derivative of s**6/60 - s**5/20 + s**4/4 + s**2/2 - 3*s. Let k(u) be the first derivative of t(u). Is k(5) a prime number?
False
Let c be (-19)/(-1)*(-4 + 5). Suppose -5*x - c = -u - u, x = 2*u + 1. Is u*(-3 - -4) + 188 a prime number?
False
Suppose -5*j = -352 - 658. Let s = j + -144. Is s prime?
False
Suppose 8 = -4*t, 2*s - 7*s = -2*t - 5214. Is s prime?
False
Suppose t = -3*t. Suppose t = -d - 2*h + 25, -2*h - h + 90 = 4*d. Is d a composite number?
True
Let h(k) = 3*k**2 + 4*k + 1. Is h(6) a composite number?
True
Let v = 567 + -88. Is v a composite number?
False
Suppose 2*u + 2 = -8, 568 = 3*g + u. Is g a prime number?
True
Let g(r) = 238*r - 3. Is g(1) prime?
False
Is (-8)/32 + 3183/12 composite?
True
Let t be (36/(-5))/(4/(-20)). Let g = t - 21. Let u = 34 - g. Is u a prime number?
True
Suppose 2*y + y = 0. Suppose y = 5*b - 3*b - 212. Suppose -b = -3*f + f. Is f composite?
False
Let r be 1 + ((-4)/(-2) - -116). Suppose -270 = -5*p - t, 5*p + 5*t - 171 = r. Is p prime?
True
Let t be (-1)/3 + 76/12. Let s be 10/((t*1)/3). Let f(q) = -q**3 + 6*q**2 - 5*q + 6. Is f(s) composite?
True
Suppose 0 = 5*b - 2*t + 16, 0 = -4*t - t + 15. Is (-2080)/(-13) + -1 + b prime?
True
Let f(u) = u + 11. Let m be f(-10). Let a(s) = -s**2 + 7*s + 3. Let p be a(7). Is 294/9 + m/p composite?
True
Suppose 9*t = 4*t - 455. Let w = -20 - t. Is w a prime number?
True
Let z(b) = 9*b**2 + 14*b + 11. Let q be z(-9). Is q/(-6)*(-3)/1 composite?
False
Let x(c) = -9*c**3 - 4*c**2 - 1. Let y be x(3). Let r = y + 513. Is r composite?
False
Let g(d) = -204*d**2. Let u be g(1). Let z = 317 + u. Is z prime?
True
Let d(k) be the first derivative of 7*k**3/3 + k**2 + 2*k - 2. Let t be (-3 + 1)/((-14)/(-21)). Is d(t) composite?
False
Let l be (-76)/(-28) - (-4)/14. Suppose -l*r + 146 - 35 = 0. Is r composite?
False
Let y = 387 - -10. Is y a composite number?
False
Suppose 0 = -g - g - 8. Let c be (-1)/4 - 13/g. Suppose -u = c*a - 7, -4*u + u - a = -37. Is u composite?
False
Suppose 0 = -2*o + 4*o. Is (o/1 - -37)/1 a prime number?
True
Suppose 5*w + 5*m + 5 = 0, -2*w + 7*w - 15 = 5*m. Let n = w + 1. Let l(j) = 5*j + 1. Is l(n) composite?
False
Suppose -3*t = 5*d, 4*d + 6*t + 3 = 3*t. Let n(i) be the third derivative of 2*i**5/15 + i**4/8 - 2*i**3/3 - i**2. Is n(d) a prime number?
False
Let n = 6 + 77. Let v = -23 + n. Is 4/(-14) + v/14 prime?
False
Is (-1)/2 - 5224/(-16) composite?
True
Suppose 0 = 4*s - 1300 - 696. Is s a prime number?
True
Let h = -347 - -646. Is h a prime number?
False
Let q be ((9/(-3))/(-1))/1. Let i = q - -23. Is i composite?
True
Let i(x) = 2 - 65*x - 1 - 51*x. Is i(-2) a prime number?
True
Is (-305)/(-25) - 4/(-5) prime?
True
Let m(s) = 11*s**2 + 39*s - 10. Let a(v) = 5*v**2 + 19*v - 5. Let b(k) = 13*a(k) - 6*m(k). Let r be b(9). Let f = r + -17. Is f a prime number?
False
Suppose q = 0, 3 = 3*m + 3*q - 12. Let r = 16 + 8. Suppose -2*c - 3*n + m = -r, -4*n = 3*c - 46. Is c a composite number?
True
Let x(f) = -f**3 + 7*f**2 + 3*f + 4. Is x(-5) a composite number?
True
Let d = 14 + -11. Suppose 3*w = 3*k - 153, -d*w + 0*w = 2*k - 92. Is k a prime number?
False
Suppose 0 = 4*o + 328 - 3108. Suppose -3*t = -0*s + 3*s - 417, 0 = 5*t + 3*s - o. Is t a prime number?
True
Let m(x) = 2*x + 8. Let y be m(6). Suppose 0 = s - 139 + y. Is s prime?
False
Let f(v) = 27*v - 7. Let s(m) = -28*m + 8. Let b(q) = -4*f(q) - 5*s(q). Let d be b(10). Suppose -3*u - u = -d. Is u a prime number?
False
Let w be (-7 - 5)*(-2)/4. Let y(h) = h**3 - 6*h**2 + 3*h + 1. Is y(w) composite?
False
Suppose 3*u + 4 - 7 = 0. Let z = u - -3. Let d(j) = -j**2 + 8*j - 6. Is d(z) a composite number?
True
Let l = -215 - -687. Suppose -6*i + l = -2*i. Is i prime?
False
Let d = 74 + -42. Let x be (1/(-2))/(2/d). Is 1028/(-6)*12/x a composite number?
False
Suppose 0 = 9*o - 239 + 50. Is o a composite number?
True
Let n = -808 - -1715. Is n a prime number?
True
Let x be 1081 + 5/(5/3). Suppose 2*j - x + 290 = 0. Is j prime?
True
Let s(t) = t**2 + 2*t - 1. Let q be s(-2). Is 0*q/(-2) - -21 composite?
True
Let y(j) = 5*j**2 - 5*j - 7. Is y(7) a composite number?
True
Let w = -37 + 212. Let s = 324 - w. Is s composite?
False
Let s(m) = m**3 + 12*m**2 - 1. Suppose -k = 2*k - 6. Let x be k/4*12*-1. Is s(x) a composite number?
True
Let i be (-2)/(3/((-9)/(-3))). Let c(v) = -5*v**3 + 2*v**2 - 1. Is c(i) prime?
True
Suppose -4*v = -v - a - 3242, -3*a = 3*v - 3246. Is v composite?
True
Let i be 2/((-2)/4*-4). Let b be 0 + (i + 2 - 3). Suppose -2*f + b*f + 134 = 0. Is f a prime number?
True
Let f = 116 + -286. Let s = -290 - f. Let l = s - -171. Is l prime?
False
Let d be 2/((-9)/7 + 1). Let z be 4/14 - (-2)/d. Suppose -2*y = -z*y - 102. Is y a prime number?
False
Suppose -2*l - 797 = -2707. Is l a prime number?
False
Let y(b) be the first derivative of b**4/4 + 13*b**3/3 + 7*b**2/2 - 7*b - 6. Is y(-12) prime?
True
Suppose 0 = 3*z + 2*y - 2999, 0*z + 4*z - 3*y = 3976. Is z a prime number?
True
Let v = -323 + 1188. Is v a composite number?
True
Suppose -2*y + 4*b - 68 = -0*y, 2*b - 138 = 5*y. Let j = -16 - y. Is j composite?
True
Let x = -1002 + -174. Let s = -690 - x. Is (-4)/(-14) + s/14 a composite number?
True
Let k = -1721 - -2412. Is k a prime number?
True
Let u = 26 + -24. Suppose -277 = -u*d - 2*m + 225, -5*d + m + 1255 = 0. Is d a prime number?
True
Let v(z) be the third derivative of 3*z**4/8 - 7*z**3/6 + z**2. Let o = -13 + 18. Is v(o) prime?
False
Suppose -2*x - q = -7*x + 9, -3*q - 16 = -4*x. Let m(l) = -3*l + 5*l - x + 2. Is m(3) a prime number?
True
Let a(b) = -b**3 - 2 - 7*b - 4*b**2 + 4 + 5*b. Is a(-5) a composite number?
False
Let p(j) = j. Let l be p(1). Suppose 0*b = -b + 19. Is 3 + -3 + l*b a composite number?
False
Let p(o) = -7*o**2 - 11*o + 6. Let m be p(-10). Let x = -249 - m. Is x a prime number