True
Let s(u) = u**2 + 2*u - 6. Let t be s(5). Let w = t - 18. Is w a prime number?
True
Let l(w) = w**2 - 7*w - 1. Is l(13) a composite number?
True
Let f = -3 + 2. Let u = f + 4. Suppose u*a + 45 = 6*a. Is a a prime number?
False
Let y(x) = x**2 - 3. Let c be y(2). Is (c - (-250)/4)*2 a composite number?
False
Let t = 3 + -11. Let u(j) = -j**3 - 8*j**2 - j + 6. Is u(t) a prime number?
False
Suppose -2*p = 3*y - 34, -2*y + 4*p - p + 1 = 0. Suppose -8 = -q + 3*i - y*i, 16 = -3*q - 5*i. Is -2 - 2/(-2) - q a prime number?
True
Let l = -1423 - -2034. Is l a composite number?
True
Suppose -6711 = -0*d - 3*d. Is d a prime number?
True
Suppose -48*s = -47*s - 199. Is s composite?
False
Let o(r) = 36*r + 5. Let q(n) = -36*n - 4. Let t(a) = 3*o(a) + 4*q(a). Is t(-5) prime?
True
Let n(v) be the third derivative of -23*v**4/12 + 7*v**3/6 - 2*v**2. Is n(-4) a prime number?
True
Let a = -100 - -150. Let h = a - 101. Is h/(-15) + 2/(-5) a composite number?
False
Let b = -4 + 4. Suppose -3*p - 9 = b, -2*p = 4*g + g - 164. Suppose -3*u - 15 = -4*m + 23, 0 = -4*m + 5*u + g. Is m prime?
True
Let r(g) = 11*g**2 - 1. Let u be ((-3)/(-9))/((-3)/(-9)). Is r(u) a composite number?
True
Let n be ((-84)/15)/(4/(-510)). Is 3/(-12) - n/(-8) composite?
False
Suppose -5*j + 1 = -24. Suppose -239 = -j*o + 416. Is o composite?
False
Is 30/105 - 89*226/(-14) composite?
True
Let p(h) = h**2 - 4*h - 2. Let q be p(5). Suppose 2*i + q*i = 35. Suppose 5*s + 3*f = 330, -3*s = -i*s + 5*f + 301. Is s prime?
False
Suppose 18*p - 15256 = 10*p. Is p composite?
False
Let n = -31 + 46. Suppose -2*q = -7*q - n. Is -254*q/6*1 a composite number?
False
Suppose -4*z + 27 = -z. Is 803/z - (-4)/(-18) a prime number?
True
Let r(l) = -l**3 + 7*l**2 - 3. Let x be r(-5). Suppose 0 = 4*k + x - 781. Is k a composite number?
True
Let p(t) = t**3 - 4*t**2 - t + 4. Let s be p(3). Let o = 23 + s. Is o a prime number?
False
Suppose 4*a - a - 285 = 0. Suppose 3*w = 10 + a. Is w a prime number?
False
Let a = 1 + 1. Suppose -2*v - a*v + 676 = 0. Is v composite?
True
Let c(o) = o**3 - 8*o**2 + 12*o - 8. Let l be c(9). Suppose n = 4*b + l, n - 186 = 2*b + 3*b. Is n composite?
True
Suppose -247 = -x + 4*i - 0*i, -275 = -x - 3*i. Suppose x = 3*d - 2*d. Is d prime?
True
Is (30/(-45))/(2*(-2)/26202) a prime number?
False
Let u(x) = 3*x**2 + x**3 - 3*x + 2 - 7 + 5*x**2. Is u(-8) composite?
False
Is 6 + -3 + 86 + -2 a composite number?
True
Let b be (1 + (1 - -9))*1. Is -1 - b*6*-1 a prime number?
False
Suppose 5*l - 2 + 7 = g, 5*l + g = 5. Let b = l - -2. Suppose b*w = -6 + 72. Is w composite?
True
Let w(a) = 8*a + 3. Is w(7) prime?
True
Suppose 2*i = -2*d + 18, -9 = -5*d + 2*i + 8. Let c be 2170/(-3)*(-6)/5. Suppose -n - c = -d*n. Is n a composite number?
True
Suppose -o + 4*s = -59, 5*o - 18 - 277 = -3*s. Is o composite?
False
Let g(a) = -a**3 - 7*a**2 - 8*a - 5. Let z be g(-6). Let k(o) = 2*o**2 - 7*o + 4. Is k(z) a composite number?
False
Let v be (-4)/(-14) + 52/14. Suppose -4*m + 152 = -3*m + 5*y, 3*y = -v*m + 523. Is m composite?
False
Is (-1332)/6*(-1 + (-2)/(-3)) a composite number?
True
Suppose 3*u - 7 = -2*p, -5*p = 5*u - 2 - 3. Suppose -x + 2*x = 2*l + u, -4*x - 4*l + 8 = 0. Suppose 4*j - 58 = x*j. Is j a prime number?
False
Suppose -4*h - 38 = -5*k, 2*k - 32 = -2*k + 4*h. Suppose -558 = s - k*s + b, -5*b + 318 = 3*s. Is s a composite number?
True
Let j = 16 - 11. Suppose t - 4*q - 4 = -8*q, j*t - 2*q - 42 = 0. Suppose -t - 2 = -d. Is d composite?
True
Let j(r) = -r**2 + r + 1. Let w be j(0). Let s be w/5 + 24/5. Suppose k - 6 = -1, -f = s*k - 182. Is f a prime number?
True
Suppose 4 + 0 = -4*b. Let i(d) = 100*d**2 - d. Let s be i(b). Suppose s = 2*j - 17. Is j composite?
False
Let c(r) = r**3 + 6*r**2 - 10*r + 1. Is c(-7) composite?
True
Let j = -620 - -883. Is j composite?
False
Suppose 3*d - 62 = 76. Let c = 1 - 1. Suppose c*g = -2*g + d. Is g composite?
False
Let z = -3 + 2. Let j be 1/(z/31*1). Is 2/(60/j + 2) a composite number?
False
Let j = 1766 - 55. Is j prime?
False
Suppose 5*d = i + 433, 700 = 5*d + i + 263. Is d prime?
False
Let u(k) = -k**3 + 13*k**2 + k + 5. Let s be u(13). Suppose s = -0*t + t - q, 105 = 5*t - 2*q. Is t composite?
False
Suppose -175 = -3*h - 2*h. Is h a prime number?
False
Suppose 5*j + 2*c - 6*c = 539, 0 = -5*c - 5. Let s(h) = -3*h**2 - 3*h + 2. Let x be s(4). Let p = j + x. Is p a prime number?
False
Let n = -499 + 828. Is n a prime number?
False
Let j(x) = 921*x + 1. Let v be j(-1). Let d = v - -1396. Suppose -q + d = 3*q. Is q prime?
False
Suppose 0 = -s + 3*b + 275, -4*b = -2*s + 335 + 207. Is s a prime number?
True
Let m(a) = 33*a - 4. Let w = 6 + -3. Let t be m(w). Suppose 4*u - t = -j - 8, -3*j + 216 = 3*u. Is j prime?
True
Let c(h) be the first derivative of 7*h**3/3 - 3*h**2 - 5*h + 1. Is c(6) prime?
True
Let l = -3 - -5. Suppose l*o = 44 - 16. Is o composite?
True
Suppose 2*j - 77 = 81. Is j a prime number?
True
Let a = -252 - -463. Is a prime?
True
Suppose 2*a - 298 = -7*y + 3*y, 0 = 3*a - 2*y - 479. Is a a prime number?
True
Suppose -4*q - 3*t + 31 = 0, -t + 11 = 2*q - 2. Is (-494)/q*(2 - 4) a prime number?
False
Let y = -8 + 0. Let h = y - -19. Suppose -22 = -3*q + h. Is q a composite number?
False
Is (-2)/(-4 + 4233/1059) a prime number?
False
Suppose -2*b + 10 = -4*b, 931 = 3*q + 4*b. Is q a composite number?
False
Let r(a) = a**2 - 5*a + 4. Let o be r(5). Suppose -o*m - 55 = -5*y, 0 = 3*m - 0*m. Is y prime?
True
Let r = 16 - 18. Is (230/r)/((-2)/2) a prime number?
False
Let g(c) = 117*c**2 - 3*c - 1. Is g(3) prime?
False
Let u(n) = 5*n**2 + 4*n - 7. Let t be u(-5). Let r = -17 + 32. Let m = t + r. Is m composite?
False
Suppose 0*h - 2*h + 4 = 0. Is -7*(h - (3 + 0)) a prime number?
True
Let q(j) = 102*j**2 + 2*j - 1. Let d be q(2). Suppose -1163 = -4*o - d. Suppose -2*w = 2*w - o. Is w prime?
True
Suppose 2*a - 66 - 10 = 0. Is a a composite number?
True
Let a(u) = -4*u**3 + 7*u**2 - 8*u + 6. Let x be a(5). Let h = 86 - x. Suppose -3*n - 2*n = -h. Is n a composite number?
False
Suppose 5*y + 1461 = 8*y. Is y a prime number?
True
Let g(z) = 23*z**2 - 2. Is g(1) a prime number?
False
Let y be -1 - (3 + -1 + -7). Suppose -1680 = -3*f - t, -68 + 615 = f - y*t. Is f a prime number?
False
Let j(c) = -278*c + 5. Is j(-3) a prime number?
True
Let p = 13 + -9. Let f = p + -7. Is f/(-2)*268/6 a composite number?
False
Suppose 0*f - 2 = 4*b + 3*f, 0 = -3*b - 2*f - 2. Let v be 0/(3 + b*2). Suppose v = -s - s + 30. Is s a composite number?
True
Let i(b) = 2*b + 7. Let z be i(-7). Let s = 15 - z. Is s a composite number?
True
Suppose 50 = -6*t + 8*t. Is t a prime number?
False
Suppose 3*t - 74 = 88. Let z = -38 + t. Let r = 53 - z. Is r prime?
True
Is 2/(-8) + (-3837)/(-4) a composite number?
True
Let z(i) be the third derivative of -7*i**6/120 + i**5/20 + i**4/8 + i**3/2 - 9*i**2. Let p be (-1)/2 + 6/(-4). Is z(p) a prime number?
False
Suppose 0 = -3*b - 0*b - 6. Let d be ((-3)/(-2) + b)*-156. Suppose -3*m + 5*m = d. Is m composite?
True
Let t(o) = -o**2 + 1. Let p(d) be the first derivative of 7*d**3/3 + 3*d**2/2 - 5*d + 2. Let j(a) = p(a) + 4*t(a). Is j(5) a prime number?
True
Let h(m) = -4*m - 10. Let c(r) = -5*r - 11. Let i(j) = -3*c(j) + 4*h(j). Let b be i(-9). Is -1 - b*(-7 - -2) prime?
False
Let z = -644 + 2755. Is z a composite number?
False
Let i(u) = 7*u - 2. Let b be i(1). Let d(t) = 4*t**3 - 5*t**2 + 5*t + 9. Is d(b) a prime number?
True
Suppose 5*a + 5*u = u - 109, 5*a = -3*u - 113. Let p be 4/(-10) + (-85)/a. Suppose -p*k + 6 = -3. Is k prime?
True
Suppose -27 = 5*k - 4*y + 729, -2*y = 4*k + 610. Let h = k + 223. Let b = -25 + h. Is b prime?
False
Is 27*3 + 3 + -5 a composite number?
False
Suppose 2*p - 503 = -x, 3*x - 3 - 6 = 0. Let d = p - 127. Is d a composite number?
True
Let c = 1162 - 365. Is c prime?
True
Let w(u) = -14*u + 5. Let j(v) = 27*v - 10. Let x(o) = 6*j(o) + 11*w(o). Let c be x(7). Suppose p - c = -18. Is p a composite number?
True
Let w = 1 - -9. Suppose -s = 5*j + w, 3*s - 4*j - 3 = 5. Suppose s = -2*l + l + 22. Is l a prime number?
False
Let g(w) be the second derivative of w**5/20 + 7*w**4/12 - 7*w**3/6 + 11*w**2/2 + 3*w. Let f be g(-8). Suppose f*m - 68 - 43 = 0. Is m a prime number?
True
Let s = -1 - -2. Let i = s + 2. Suppos