t c = f + -103. Is c composite?
True
Let h = 19 - 79. Let l = 117 + h. Is l prime?
False
Let k(u) = u**2 - u. Let h be k(0). Suppose -3*z + z = c - 6, h = 4*z + 3*c - 12. Is 1*z*381/9 a composite number?
False
Is (-2)/(-7) + (-15051)/(-21) prime?
False
Suppose -3*j + 2154 = -888. Is 1/4 + j/8 a prime number?
True
Let c be ((-4)/6)/((-3)/99). Let y = -42 + c. Let r = 1 - y. Is r composite?
True
Suppose -10 = 3*r - 154. Let m(u) = -44*u + 4. Let c be m(-3). Suppose 0 = -4*k - 4*t + c, 2*t + 69 = 3*k - r. Is k prime?
True
Let h = -503 + 726. Is h composite?
False
Let n be ((-36)/30)/((-6)/20). Is n/(3 + 14/(-6)) a composite number?
True
Suppose 2*o - 34 = -2*x - 0*o, 3*x - 4*o - 79 = 0. Is x prime?
False
Let i(r) be the first derivative of -37*r**2 - 2*r - 1. Let x be i(-4). Suppose 0 = 3*g - x - 63. Is g a prime number?
False
Suppose 4*w = -0*w + 1812. Let i = w + -106. Is i composite?
False
Suppose 14 = 3*a - 1. Suppose -m + 159 = a*s, -4*s + 13 + 127 = 4*m. Is s prime?
True
Suppose 2*i = -2*i + 1940. Is i a prime number?
False
Suppose -5*p - 5*m + 35 = -15, -3*p = 5*m - 40. Let i = 24 + -5. Suppose 3*s - i - 3 = p*n, -s - 4*n = 4. Is s prime?
False
Let c(n) = -2*n - 7. Let u be ((-10)/2)/(-1 - -2). Let z be c(u). Suppose -z*t = t - 2*q - 1420, -3*q = 4*t - 1420. Is t a composite number?
True
Let p(x) = 4 - 2 + 5 + x**2 + 3*x - x. Is p(-6) a composite number?
False
Is 4 - (-303 + -3) - 3 a prime number?
True
Suppose -10*n = -13*n + 2919. Is n a composite number?
True
Let s be 1 + 1 - 12/2. Let b be 0 + -2 + 328 + s. Suppose j + j = b. Is j composite?
True
Let l = 122 - 25. Is l a composite number?
False
Let b(p) = -p**3 + 23*p**2 - 17*p + 12. Is b(11) a composite number?
False
Let o be (9/6)/(1/2). Suppose -o*a + 6*a - 345 = 3*c, 103 = a + 2*c. Is a composite?
True
Suppose 4*b - 2*b - 514 = 0. Is b composite?
False
Let v = 501 - -121. Is v composite?
True
Suppose -2*z - 14 = 3*l, z + 4*l = -l. Let r be 4/z + 4/10. Suppose -4*a + 151 = 5*n, r*n + 3*n - 4*a = 97. Is n a composite number?
False
Suppose 4*n = 0, -4*n = 2*z - 2*n - 32. Suppose 3*g = 409 - z. Is g a composite number?
False
Suppose 8350 = 4*z - 7466. Let c be z/10 + 8/(-20). Suppose -3*f + c = 2*f. Is f a prime number?
True
Let u(r) = 3*r**2 + 3*r. Suppose -x - 2*t = 6, t - 2*t = -2*x + 13. Let g = x - 6. Is u(g) composite?
True
Suppose 328 = 4*w - 436. Is w composite?
False
Let m = 7 + -7. Suppose 3*t = -m*t + 201. Is t composite?
False
Suppose 2*f - 2 = 2. Suppose -3*r = f*r - 175. Is r prime?
False
Let c = -7 - -9. Suppose -g - 59 = -c*g. Is g a prime number?
True
Suppose -4*l + 5*l = 11. Let g = l + 20. Let w = g - -6. Is w prime?
True
Suppose -3*y + 9 = -0*y. Suppose -4*i + 214 = y*t, 5*t - 389 = 3*i - 13. Is t a prime number?
False
Suppose 4*q - 21 = -g, -g + 23 = 8*q - 3*q. Is g a prime number?
True
Suppose 5*z = 5 + 20. Suppose 4*j + z*h + 4 = 0, -3 - 1 = 4*j + h. Let l(a) = -34*a**3 - a**2 - a - 1. Is l(j) composite?
True
Let r = 7 - -30. Is r a composite number?
False
Let h(a) = -35*a - 1. Suppose -2*n + 4 = -0*n - 4*v, -4*n + 5*v = -2. Is h(n) a prime number?
False
Let x = -6 - -5. Let s be 21 - (2 + -1 + x). Let c = -12 + s. Is c a composite number?
True
Let c = -1 + -1. Let u be c/(-6) - (-177)/9. Let x = u + -7. Is x a composite number?
False
Let f(s) = 31*s - 3. Let j(q) = q**2 - 11*q + 12. Suppose -4*k - 5*d + 2*d + 52 = 0, 0 = -5*k - 2*d + 58. Let i be j(k). Is f(i) a prime number?
True
Let t = -149 - -312. Is t composite?
False
Let o = 475 + 66. Is o a prime number?
True
Suppose -1056 = m - 4369. Is m a prime number?
True
Let s = -233 - -1054. Is s prime?
True
Suppose 5*a = 10, 0*z - z = 4*a - 11. Suppose b - 5 = -f, -3*b + 5*f + 2 = z. Suppose -6 = -b*m + 24. Is m a prime number?
False
Suppose -r - 1 = y, -y - 7*r - 10 = -3*r. Let d = 2 - y. Suppose p - 37 = -d*p. Is p composite?
False
Let d(w) be the third derivative of w**6/60 - 7*w**5/60 - 7*w**4/24 + 5*w**3/6 + 2*w**2. Is d(6) a composite number?
True
Let w(f) be the second derivative of -f**3/6 - 7*f**2/2 + f. Let j be w(-6). Is (j/3)/((-3)/225) prime?
False
Let g be -81*(-1 - -2)*-1. Let r = g + -22. Is r composite?
False
Let z(x) = -3*x - x + 3*x. Let s be z(-4). Suppose 0*a - a + 5*w = -71, -w - s = 0. Is a prime?
False
Let r be -5 - -3 - (1 - -1). Is r/(-6) + 2145/9 prime?
True
Suppose 5*a + 25 = -3*t, -2*t = 2*a - 5 + 15. Suppose -s + 3*s - 2 = t. Let b(c) = 49*c**2 - c + 1. Is b(s) a prime number?
False
Suppose 3*s = 4*s - 76. Suppose -2*m = -5*t - 240, m = t - 6*t + 135. Let a = m - s. Is a a composite number?
True
Let d(g) = g**3 + 9*g**2 + 6*g + 7. Suppose -h - 7 = -2*h - 5*c, 2*c = -h - 2. Let b be d(h). Suppose 5*l = -b + 798. Is l composite?
True
Let c be (-4)/1*(1 + -2). Suppose -w = -4*u - u + 394, 4*w = -c*u + 320. Is u prime?
True
Suppose 8*a - 5*a - 285 = 0. Is a composite?
True
Suppose 0 = -3*g + 4*v + 877, g - v - 295 = v. Is g a composite number?
True
Suppose 3*q = -g, -5*q + g + 17 = -3*g. Let l(o) = 210*o**2 + 2*o - 1. Is l(q) a prime number?
True
Let n(l) = l + 11. Let b be -9 - -2*(0 + 1). Let h be n(b). Suppose 0 = 2*x + 2, -3*y - 13 = -h*x - 80. Is y a composite number?
True
Let k(m) = 430*m + 1. Is k(1) prime?
True
Suppose -428 - 433 = -3*w. Suppose 3*a = 16 - 4. Suppose -2*i = -3*k + 283, -3*k - a*i + 2*i = -w. Is k prime?
False
Suppose 0*s + 5*s = -a - 1, -14 = -4*a - 2*s. Suppose a*x + 5*g = 562, -4*x - g = -41 - 529. Is x a prime number?
False
Suppose 2*m + 3*m - 881 = -3*u, 2*m = 4*u + 368. Is m composite?
True
Let s(p) = -p**3 + 9*p**2 - 8*p - 5. Let q be s(8). Let l(c) = -c - 2. Let d be l(q). Suppose -d*v + 156 = t + 2*t, 4*t - 238 = 2*v. Is t a composite number?
True
Is 4545/(6 - 1) - -4 prime?
False
Let v(k) = k**2 + 4. Let a be v(-4). Suppose a = 4*z, 0*z - 298 = -4*o + 2*z. Is o prime?
False
Let x = 1 + 3. Suppose -3*l = -3*j + x*j - 116, -l = -4*j + 503. Let p = -58 + j. Is p composite?
False
Suppose -3*x - 5*o = 20, 4*o + 8 = 5*x + 2*o. Suppose -2*j + 566 = -x*j. Suppose 2*m - j = -61. Is m composite?
True
Let k(f) = 6*f**2 - 3*f + 7. Let l be k(5). Suppose 4*s - 4*h = 824, -s + 67 = -2*h - l. Is s a prime number?
False
Let y = -63 - 14. Let k = 132 + y. Is k composite?
True
Let o be (1/(-3))/(4/(-36)). Suppose 6*n = 2*n - 2*l + 254, 0 = 2*n + o*l - 133. Let j = 115 - n. Is j prime?
True
Suppose 0 = -56*m + 55*m + 589. Is m a composite number?
True
Suppose 5*f - 1386 = 1004. Is f a composite number?
True
Suppose 3*z = -3*b + 8403, z = -2*b - 4*z + 5614. Is b composite?
False
Let x = -54 + 141. Is x a composite number?
True
Let u(c) = 9*c**2 + 23. Is u(-10) composite?
True
Let i be (-11)/((-2)/(-8)*-2). Let d be (-4)/i + 4/22. Suppose 3*p + 12 - 78 = d. Is p prime?
False
Suppose 5*l = -5*v + 5 + 5, -4 = -2*v + 5*l. Suppose 0 = -v*p - 67 + 489. Is p composite?
False
Suppose 0 = 6*m - 10*m + 9236. Is m prime?
True
Is 991 + 4 - (3 - -1) prime?
True
Let w be -2*(-27)/6*-1. Is (-3 - 20)*(w - -2) a prime number?
False
Suppose 8*g = 11*g - 1221. Is g prime?
False
Suppose -u - 3*w = 0, -5*u - 4 = 4*w + 7. Let y be 3 + -2 + 0 - 0. Is u*y/2*-14 a composite number?
True
Is ((-9)/7)/(-3) - 2532/(-21) composite?
True
Let a(j) = 2*j**2 - 4*j + 3. Let p be a(4). Suppose -4*d - p = -b, -b = -d - 4*b - 8. Let o(q) = -q**3 - 5*q**2 - 7*q + 2. Is o(d) prime?
True
Let c(n) = n - 1. Let l be c(6). Suppose -w + 111 = o, w + 0*w + l*o = 103. Is w a prime number?
True
Let a(f) = 12*f**2 - 3*f - 4. Is a(3) a prime number?
False
Let l(z) = z**2 + z. Let n be l(-2). Let b be 0/1 + (n - 1). Is (37/(-3))/(b/(-3)) composite?
False
Suppose 21 = -g + 5*q, 2*q - 66 = 2*g + 2*g. Let m be (2 - -1)/((-6)/g). Suppose j = 11 + m. Is j a prime number?
True
Is (12/18)/((-6)/(-8937)) prime?
False
Let m(d) = 0*d - 12*d**2 + 3*d + 3 + 2*d**2 - 5*d**3 + 4*d**3. Is m(-11) composite?
True
Let u(a) = 65*a + 2. Let w(h) = 3. Let p(c) = 5. Let b(q) = -4*p(q) + 7*w(q). Let j(o) = -5*b(o) + u(o). Is j(2) a prime number?
True
Suppose 5*v + 4682 = 9*v - p, 0 = 3*v - p - 3511. Is v prime?
True
Let t(c) = c**3 - 8*c**2 + c - 3. Let n be t(7). Let k be (n/(-20))/((-2)/8). Let l = 19 + k. Is l a composite number?
True
Let a be 3 + (-1)/(3 - 2). Suppose -3*g - 2*g = -a*r - 181, -189 = -5*g - 2*r. Is g prime?
True
Suppose -2