143 = 0, -4*o = 16. Is s composite?
False
Let z(x) = x - 5. Let b be z(7). Let f be b/(-3)*-6 - 0. Is 105/(-6)*f/(-5) a composite number?
True
Suppose 2*w + 9 - 28 = -3*n, -3*n - 3*w + 21 = 0. Suppose -2 = -d + 5*b - 20, 10 = -5*d + n*b. Suppose -d*t + 122 = -56. Is t prime?
True
Suppose -4*a + 85 = -91. Suppose a = y - 83. Is y a composite number?
False
Suppose 0 = -5*z - 5*s + 1090, -3*z - 3*s = -5*s - 679. Is z prime?
True
Let y(b) = 39*b**2 - b + 1. Suppose 2*v + 4 + 2 = 0. Let d be 6 + -7 + (-1 - v). Is y(d) a composite number?
True
Suppose 0 = l - 164 - 23. Is l prime?
False
Let f = 3 - 1. Let b(v) = -4*v + 3 - 1 + 0*v**f + 3*v**2. Is b(-5) a composite number?
False
Let r(y) = -79*y**2 + 2*y + 1. Let i be r(-1). Let j be (14/(-5))/(2/i). Let h = -63 + j. Is h composite?
True
Let r(u) = -u**2 - 10*u - 3. Let i be r(-8). Suppose -i = -2*l - 0*v + v, -3*v = -3*l + 24. Suppose f - k + 3 = -3*k, 0 = -3*f + l*k + 46. Is f composite?
False
Let u(t) = -36*t + 15. Let v(c) = -24*c + 10. Let w(a) = 5*u(a) - 8*v(a). Is w(11) a composite number?
False
Let t = 1159 - 813. Suppose 5*h - 399 = t. Is h a composite number?
False
Suppose -266 = -19*b + 17*b. Is b a composite number?
True
Suppose 2*v + 4 - 15 = j, -5*v + 28 = -3*j. Suppose v*f - 355 - 15 = 0. Is f a composite number?
True
Let t = -72 - -106. Suppose -2*n = -4*n - x + t, 5*x = -3*n + 37. Is n composite?
False
Let i be (-5 + 2)*4/(-6). Suppose 0*a = -a - 3*g + 59, -3*g = i*a - 106. Is a a prime number?
True
Let m = -216 + 373. Is m a composite number?
False
Let z be 0/((-2)/(2*-1)). Let b(u) = -19*u - 2. Let h be b(-3). Let r = z + h. Is r a composite number?
True
Suppose -2*o + 493 = -v, 4*o - 1328 + 344 = 4*v. Is o composite?
True
Suppose 2*r + 5*i = 3*i + 2, 4*r - 3*i - 25 = 0. Suppose 2*z - 8*o - 242 = -r*o, 4*z - 2*o = 460. Is z composite?
False
Let h(v) = -v**3 + 7*v**2 + 5*v + 5. Is h(6) composite?
False
Suppose -3*i - 573 = 5*q, -4*q - 380 = -2*i + 4*i. Is i/(-10) + 3/(-5) composite?
False
Suppose d - 2*p + 16 = 0, 3*p + 2 = 3*d + 56. Let v be 3 + (-9 - -1*(-3)/1). Is (-2)/(6/v) - d a prime number?
True
Suppose -o = -2*o. Suppose -4*d - d + 115 = o. Is d prime?
True
Let t(c) = -71*c + 5. Let j(s) = -36*s + 3. Let l(k) = 5*j(k) - 3*t(k). Is l(1) composite?
True
Suppose 0 = 5*s - 5*j + 245 + 105, -5*s - 3*j - 350 = 0. Let v = 142 + s. Suppose -4*m - 90 = -2*o, 0*o + 2*m - v = -2*o. Is o composite?
True
Let c(p) = p**2 + 1. Let d(o) = -8*o**2 + 4*o - 10. Let b(k) = -6*c(k) - d(k). Let n be b(4). Suppose -3*t + 25 = 2*z + 8, 4*t = -2*z + n. Is z prime?
False
Let d(w) = -5*w - w - 2*w - 1. Is d(-4) prime?
True
Suppose 5 - 3 = 2*o. Let z be 138/((3/2)/o). Suppose z = 4*h - 3*d - 23, 0 = -2*h - 4*d + 74. Is h a composite number?
False
Let v = -15249 + 21392. Is v a prime number?
True
Let y = -34 - -58. Let r = 463 + y. Is r a composite number?
False
Let c(p) = -p**3 + 11*p**2 + p - 1. Let y be c(6). Suppose 52 = 3*w - y. Is w a prime number?
True
Suppose 0 = f - 3*m - 1183, -327 + 6322 = 5*f + 5*m. Is f a composite number?
True
Let v(y) = 74*y**2. Let k be v(3). Suppose -m + k = -0*m. Suppose -m + 33 = -3*d. Is d prime?
True
Suppose -231 = -5*p + n, -3*p - p + 176 = -3*n. Is p composite?
False
Let o = 2855 - 1288. Is o a composite number?
False
Let g be 4/(((-8)/(-210))/(-2)). Let x = g - -473. Is x a composite number?
False
Suppose -3*u = -0*u. Suppose u*y + 52 = 4*y. Is y a prime number?
True
Let o(m) be the first derivative of 13*m**5/60 - m**4/8 + m**2/2 + 1. Let w(f) be the second derivative of o(f). Is w(2) composite?
True
Let f = -37 - -64. Suppose -68 = -5*h + f. Is h a prime number?
True
Suppose 5*j - 1036 = 259. Is j prime?
False
Suppose 6*x - 10 = x. Suppose x*t = 30 + 86. Is t a prime number?
False
Let m(q) = 13*q. Let n be m(1). Suppose 12 + n = 5*r. Suppose -145 = -r*h - 4*g, 2*g - 6*g = -5*h + 105. Is h composite?
True
Suppose -2*c + 3*r + 474 = -629, 551 = c - 2*r. Is c composite?
True
Let w(o) = -2*o + 1. Let q be w(-2). Suppose -4*u = 5*x - 30, -4*x - 1 = q*u - 16. Is x a prime number?
False
Let o be (2/(-4))/((-3)/12). Suppose -x = o*x - 213. Is x a composite number?
False
Suppose 0*w - w + c = -74, 5*w + c = 364. Suppose w - 16 = 3*i. Is i composite?
False
Let s = 219 - -646. Is s a prime number?
False
Suppose -2*n + 27 = -3*j - 1, -4*n = -2*j - 16. Suppose 2*o = -o + 6. Is (-212)/(-10) + o/j prime?
False
Is 3/(-15) + (-2)/(30/(-48573)) prime?
False
Let f(i) = -i**2 + i + 19. Suppose -2*j + 3*t - 9 = 0, 3*j + 0*j + 12 = 4*t. Is f(j) a prime number?
True
Let j(d) = -12*d - 29. Is j(-14) composite?
False
Suppose 0 = i - 148 - 829. Is i a prime number?
True
Let t(c) = -30*c - 1. Let f(b) = b + 3. Let z be f(-6). Is t(z) a prime number?
True
Suppose 2*v + 50 = -3*v. Let c be 4/(-14) + v/(-35). Suppose c = 3*u + 2*u - 95. Is u prime?
True
Let j(i) = 33*i**3 + 2*i**2 + 9. Is j(4) composite?
False
Suppose 0 = 5*u - 4*s - 46, -4*u - 4*s = -29 - 15. Is 4/u - (-112)/20 a prime number?
False
Suppose -9 = -h + 5*a, 6*h - 2*h - 4*a = 52. Is (-2 + h)/4 - -11 a prime number?
False
Let a(q) = -56*q**2 - 4*q - 2. Let s be a(-2). Let b(n) = 22*n - 1. Let w be b(-6). Let g = w - s. Is g a prime number?
False
Suppose 13 = 2*o + 5*h, 7*h = -4*o + 3*h + 20. Suppose -4*z + z + 276 = 0. Suppose -o*j + 2*j = -z. Is j prime?
False
Let f(r) = 2*r**2 + 2*r + 4. Let u(t) = 3*t**2 + t + 3. Let m(k) = -4*f(k) + 3*u(k). Let p be m(5). Let d(q) = q**3 + 7*q**2 - 2*q - 7. Is d(p) a prime number?
True
Let h(g) = -g**3 - 5*g**2 + 5*g - 1. Let u be h(-6). Suppose -5*i = 0, 4 = 4*s - u*i - 12. Suppose c = s*c - 105. Is c a prime number?
False
Suppose -2*h + 4*p + 8 = 0, p = -4*h + 19 - 3. Suppose 5*m = 5*v - 2955, -h*v + 5*m + 2352 = 4*m. Is v prime?
True
Suppose -n = q - 2*q - 4, 0 = -2*n + 5*q + 14. Suppose 0*v - 4 = 2*v, -n = r + 4*v. Is (-6)/(-9)*423/r composite?
False
Let b be (4 - 3) + (-1 - -786). Suppose -d + 156 = -b. Is ((-8)/(-12))/(4/d) a composite number?
False
Suppose -u + 2*n = 5, -u + 0*n = -4*n + 13. Suppose -z = u*z - 16. Is (-2)/z*-2*142 a prime number?
False
Suppose -t = 2*t - 5667. Is t a composite number?
False
Is (1 + (-1079)/(-3))/((-2)/(-3)) a composite number?
False
Let m = -25 + 57. Suppose 5*t - 9 = -74. Let c = m + t. Is c a composite number?
False
Let u(f) = 40*f + 9. Is u(8) composite?
True
Suppose 0 = -3*w + 489 + 300. Suppose -5*p + 4*h = 2*h - w, h = 4*p - 208. Is p a prime number?
False
Suppose 0 = -t - 4*k + 203 + 79, 3*t - 5*k - 863 = 0. Suppose 1531 - t = 3*r. Is r a prime number?
False
Let f be (4/(-3))/(6/9). Is 50 - ((0 - f) + -1) a composite number?
True
Suppose 2*m + 4*f + 22 = 0, -5*m - f = -3*f + 19. Let r(y) = -2*y + 4. Is r(m) a prime number?
False
Suppose i + f - 6248 = 12651, 2*i - 37798 = -5*f. Is i composite?
False
Let u(m) = 5*m**2 + 9*m + 1. Let l be u(-6). Let w = 15 - 8. Let t = l + w. Is t a prime number?
False
Suppose m = 3*t - 1, -3*t - 1 = -0*m + m. Let x(n) be the second derivative of -n**4/12 + 37*n**2/2 + n. Is x(t) composite?
False
Let g be -1 + 9/(0 - -3). Suppose g*m - 114 = -8. Is m a prime number?
True
Let g(t) = 18*t**2 - 2*t + 1. Let r be g(4). Suppose r = 2*m + 5*y - 381, -y - 345 = -m. Is m a prime number?
False
Suppose 4*q - q = 5*i - 13, -2*q - 4*i = -28. Let x(o) be the second derivative of 3*o**4/4 - o**3/6 + 3*o**2/2 + 2*o. Is x(q) prime?
False
Let r be (2*1)/((-4)/8). Let f be -1 + 3*(-1 - r). Is 1062/f + 2/8 composite?
True
Suppose 0*p - 4*p + 12 = 0. Let q be 58/12 + p/18. Suppose -q*i + 3*i + 230 = 0. Is i prime?
False
Let l(j) = -j**3 - 3*j**2 + j - 1. Let g be l(-3). Let r(z) = -8*z + 5 - 4*z - 1 - 3. Is r(g) composite?
True
Let i = 34 - 38. Let t(a) = 1 - 3*a**2 - 3*a**2 - 2*a**3 - 6 - 5*a. Is t(i) a prime number?
True
Let u(b) = 3*b**2 + 20*b + 45. Is u(-16) prime?
False
Let a(f) = 26*f**2 - 2*f + 3. Is a(-4) a prime number?
False
Suppose -15*t + 2072 = -7*t. Is t a composite number?
True
Let d(r) = 2196*r - 1. Is d(1) prime?
False
Let l = 382 - 233. Is l prime?
True
Let g be -32*(2 - (5 + -2)). Let t(y) = y**2 + y - 3. Let m be t(-3). Suppose g = m*k + 2. Is k composite?
True
Suppose -5*s = 4*i - 17, 1 - 11 = -5*i + 5*s. Let r(n) = n**3 + 0*n**i - 6*n - 3*n**2 - 2 - 5. Is r(6) a composite number?
True
Let s(x) = -x**2 +