t m be r(-15). Suppose -4*j = -t - 1, 0*t = -3*t + m*j + 13. Is t prime?
True
Let u(t) = 4*t**2 + 2*t - 2. Let h be u(-7). Suppose 3*k + 3*j - h + 21 = 0, 3*k - j = 143. Is k prime?
False
Let l(j) = -j**2 - 10*j - 1. Let k be -1 + (-2 - -1) + 4. Suppose -k*i = -4*i - 12. Is l(i) a composite number?
False
Suppose 10 = 2*i - 3*o, -6 = -2*i + 4*i + o. Is 44 + (i/1)/1 composite?
False
Let x = 8 - 4. Suppose -j - 3*r + 62 = 0, x*j - 2*j + 5*r - 121 = 0. Is j a composite number?
False
Suppose -2*s = 3*s - 30. Suppose -s*v + v = -3715. Is v composite?
False
Let l(d) = 7*d**2 + d - 2. Let b be l(-2). Let k = 15 + -28. Let z = k + b. Is z a prime number?
True
Suppose 2*f + 21 = 7*f - 2*a, 7 = f + a. Suppose -f*y - 3*o = -641, -512 = -4*y - 3*o + o. Is y composite?
False
Let p = 17 + 29. Is p prime?
False
Suppose 2*s - 4*w = 18, 0*w - 5*w = 4*s + 29. Is s/(4/4) - -308 a prime number?
True
Let z = 1524 + -4636. Is 1/(-4) - z/32 a composite number?
False
Let m = 64 + 78. Suppose -s + 0*s = -m. Let q = s - 63. Is q a composite number?
False
Suppose 0 = 3*x - x + 48. Suppose 0 = 2*r + 2*i + 4 - 68, 0 = 2*r - 2*i - 72. Let q = r + x. Is q prime?
False
Let o(s) = 12*s + 13. Is o(12) prime?
True
Let j = 27 - -10. Suppose 5*f + 245 = 5*p, p = 5*f + j + 24. Is p composite?
True
Let x = 201 - 86. Suppose 4*q = 9*q - x. Is q prime?
True
Let x(h) = h**2 - 9*h + 1. Let r be x(12). Let p = -15 + r. Is p a composite number?
True
Suppose 5*z - 24 = -i - 0*i, 0 = 4*z. Suppose -8 = p + 1. Let c = p + i. Is c prime?
False
Let n = -989 - -2126. Is n composite?
True
Suppose j + j = -2. Is (19/(-2))/(j/2) a composite number?
False
Suppose 3*u = 3*w - 18, 4*w - 2*u - 15 = -u. Suppose m - 4*m + 486 = -x, -m + 154 = -w*x. Is m composite?
False
Let p(w) = 94*w**2 - 4*w - 3. Is p(3) a composite number?
True
Suppose 22 = 3*j + 7. Let r = -748 - -1120. Suppose j*x - 193 = r. Is x prime?
True
Let y = 4 - 1. Let f = y + -1. Suppose f*m + 2 = 0, -2*m - 86 - 56 = -4*k. Is k a composite number?
True
Suppose -4*y - 123 = -5*y + 4*f, -3*y + 5*f + 376 = 0. Is y a prime number?
True
Let r(h) = -2*h + 5. Let j(v) = -v**2 - 3*v + 11. Let o(z) = 2*j(z) - 5*r(z). Let c be o(-4). Is (-15)/(-5) - (c - -1) prime?
True
Let u be -2 + 3/((-3)/(-4)). Is -92*1/(-2 - u) a prime number?
True
Let r(z) = -z**3 - 7*z**2 - 4*z - 5. Suppose 0 = -d - 2*l - 2, -4*d + 3 = 3*l + 21. Let k be (d - 1)*1 - 1. Is r(k) composite?
True
Let d(p) = -207*p - 50. Is d(-7) composite?
False
Let x = 581 - 330. Is x composite?
False
Let d = -207 - -1529. Is d a composite number?
True
Suppose 3*x = 2*y - 3092, -5*y + 7705 = -0*y + 5*x. Is y a composite number?
False
Let s = 852 - 587. Is s prime?
False
Suppose 0 = 6*z - z + p + 9, -3*z = 4*p + 19. Let s be z/(-2) - (-9)/2. Suppose 5*k + c = 577, -c = s*k - 2*c - 573. Is k prime?
False
Let p = 85 - 60. Is p prime?
False
Suppose 83 + 0 = u. Is u a composite number?
False
Suppose -5*o + 8 = -2. Suppose 0 = c - o*c. Is (c/3 - -2) + 7 a prime number?
False
Let g(x) = -x**3 + 9 - 4*x**3 + 4*x**3 - 7*x + 8*x**2. Let w(a) = -7*a**3 - a**2 + a + 1. Let y be w(-1). Is g(y) a prime number?
False
Suppose -3*t + i = -13, 5*i = -3*t - 0*i - 11. Is 74 + (0 - -2) + t a prime number?
True
Suppose 2*u - 4*u = 0. Let w = 3 + u. Let r(s) = 3*s**3 + s**2 - 1. Is r(w) prime?
True
Let x = 43 - 12. Let l = -20 + x. Is l composite?
False
Is 2043 + (9/(-3) + 1)/(-1) composite?
True
Let g = -2066 - -3017. Is g a prime number?
False
Suppose 239 = a - 5*v - 0, a - 2*v - 251 = 0. Is a a composite number?
True
Let w(x) = 96*x**3 - 2*x**2 + 2*x - 1. Let q be w(1). Let u(v) = 0*v + q + v + 0*v. Is u(0) composite?
True
Let h be 51/85 + (-2)/(-5). Let n(f) = 421*f - 2. Is n(h) a prime number?
True
Let z = 206 + -79. Is z prime?
True
Suppose -2*n - 456 = -5*v + 476, 3*n = -v + 183. Let o = v + -107. Is o prime?
True
Suppose -15 = -4*i - b, i + 4*b + b = -1. Suppose 0 = 4*q - 0*q + 88. Let x = i - q. Is x a prime number?
False
Let h be (-2 - -6) + 1*-1. Suppose -h*s - 9 = -483. Is s prime?
False
Let t = 29 - -224. Is t composite?
True
Let z be (-5)/(20/(-416)) - 2. Suppose -2*h + z = h. Is h a prime number?
False
Let v be (-1866)/24 - 2/8. Let w = v - -115. Is w composite?
False
Let z(x) = 2*x + 19. Is z(8) a prime number?
False
Suppose -c = -2*i - 14, -5*i - 53 = c + c. Let p be 10/6 - (-6)/i. Is p*1*-5*-5 a composite number?
True
Let w be 0*3/(8 + -2). Suppose k - 51 = 4*b + b, -b = w. Is k a prime number?
False
Let o be (-1)/2*(1 - -1). Is ((-4)/(-8))/(o/(-254)) a composite number?
False
Is (14/(-3))/(10/(-285)) prime?
False
Suppose 3*g = 2*f + 3485, 4*g + 2*f - 2052 = 2604. Is g composite?
False
Let o = 156 + -74. Is o a composite number?
True
Suppose 2 + 1 = d. Let x be 1/(d/210) + 1. Let o = 128 - x. Is o prime?
False
Suppose q - 541 = -5*l, 0 = -3*q - 10 - 2. Is l prime?
True
Let b = 1964 + -1080. Suppose 4*o + n + 4*n = b, 4*o - 4*n = 884. Is o a prime number?
False
Let x(j) = 3*j + 49. Is x(-14) prime?
True
Let f(i) = -3*i**3 + 6*i**2 + 10*i + 9. Is f(-4) a composite number?
False
Suppose -5*x + 753 = 2*o, -1884 = -3*o + 2*x - 745. Let a = o - 260. Is a composite?
True
Let f = 3 - -3. Let r(k) = 6*k - 1. Let z be r(f). Suppose 0*b - z = -b. Is b a prime number?
False
Suppose 3*j = -4*p + 5449, 4*j - 7236 = 4*p - 2*p. Is j a composite number?
False
Suppose -h = r + r - 9, -4*r + 2*h = -6. Let u = r - 0. Suppose -v - 2 = 1, 5*z - u*v - 44 = 0. Is z composite?
False
Let z be (10 - 10) + (-2 - -1). Let r(d) = 641*d**2 - 2*d - 2. Is r(z) composite?
False
Suppose 0 = -3*u - 3*j + 45, 5*u - j - 13 = 50. Is u prime?
True
Let l(g) = 13*g - 1. Let q be 45/(-36) - (-2)/8. Let y be 9*q/3*-2. Is l(y) a prime number?
False
Suppose 0 = -2*z - 2, -4*z = 3*r - 53 + 732. Let o = -80 - r. Is o a composite number?
True
Suppose -593 - 40 = -3*p. Is p a composite number?
False
Let b(q) = 14*q**2 - 2*q - 7. Is b(-5) a prime number?
True
Let j(s) = 295*s + 36. Is j(5) a prime number?
True
Suppose 0 = -4*m + 246 + 3302. Is m composite?
False
Let l(s) = -33*s - 26. Let p(c) = -11*c - 9. Let y(w) = -6*l(w) + 17*p(w). Suppose -i = 3*a - 6, -5*i + 0*i + 30 = a. Is y(i) prime?
False
Is (2 - 902/8)/(4/(-16)) a prime number?
True
Suppose 2*q = -3*q, -2*s + 3*q = 304. Is s/12*(-21)/2 a composite number?
True
Let z(o) = 111*o**2 + 2*o + 1. Suppose 2*q + q + 5*m = 16, -q + 5*m - 8 = 0. Let h be z(q). Suppose 4*t = -5*k + h, 3*t - 121 = 2*k - 296. Is k prime?
True
Let x(j) = 8*j**2 - 6. Let r(q) = -q**2 + 1. Let m(s) = 30*r(s) + 5*x(s). Let n be m(-1). Is (-158)/3*(-15)/n composite?
False
Suppose 2*o - 1689 = -z, -7*o = -8*o - 2. Is z a prime number?
True
Let n = 7493 - 1066. Is n a composite number?
False
Suppose 4*r + 23 = 3*j, -2*r - 4*j + 9 = -3*r. Let z = -2 - r. Suppose -z*o + 4*b + 23 = -20, 2*o - 2*b = 28. Is o a prime number?
True
Suppose -4*w + x + 207 = 0, -2*w - x = -w - 48. Is w prime?
False
Suppose 0 = -2*u + 701 + 59. Suppose 0 = 5*q + 4*f - u + 46, -q = -2*f - 64. Let z = -13 + q. Is z a composite number?
False
Suppose 5339 = 6*c - 4807. Is c a prime number?
False
Suppose 0 = 6*s + 5357 - 13787. Is s a prime number?
False
Let m = -1210 - -1773. Is m a composite number?
False
Let d be 0 + (2 - 0) + 0. Suppose d*t + 15 = 269. Is t a composite number?
False
Let u(m) = m**2 - 2*m + 2. Let r be (-200)/(-72) - (-2)/9. Let v(o) = o - 1. Let f(s) = r*v(s) + u(s). Is f(4) composite?
False
Let s = 191 + -136. Let l = s + -29. Is l a prime number?
False
Suppose 20 = 4*t + t. Suppose -6*m - 4*f + 1064 = -2*m, t*m + 2*f = 1066. Suppose -m - 132 = -3*j. Is j a composite number?
True
Suppose -3*z - 228 = 33. Let l = z - -352. Is l composite?
True
Let m = -5 + 35. Let c be (6/4)/(9/m). Suppose 0 = -4*t - 4, 2*g = -c*t + 17 - 0. Is g composite?
False
Let k be (-292)/(-6) - (-1)/3. Suppose s = k + 70. Is s a prime number?
False
Let w = 10 - 10. Suppose y + 2 = 0, -4*m + w*y + 338 = -3*y. Is m a prime number?
True
Let i(a) = a**2 - 7*a + 5. Let q be i(5). Let x(z) = -z**2 - 7*z + 1. Let h be x(q). Let s = 3 + h. Is s composite?
True
Suppose -2278 = -4*u + 2*i, 4*u - 1725 = u - 4*i. Is u prime?
True
Let k(r) = 231*r**2 - 5*r + 7. Is k(2) a composite number?
True
Let o(n) = -n**2 + 2*n + 28. Let a be o(0). Suppose 0 = 2*w + 2 - a. Is w a pr