 y a composite number?
False
Suppose s + 3 - 25 = 0. Let l = 0 + s. Is l a prime number?
False
Let w(p) = 5*p**3 - p**2 + p - 2. Is w(3) prime?
True
Suppose -127 - 19 = -k. Suppose 4*z - 3*s = 199, -z + k = 2*z + s. Is z composite?
True
Let w(i) = 12*i**2 - i - 1. Let r be w(-1). Is (-1)/2 + 2298/r composite?
False
Suppose -5*n = -n, -2*r + 28 = -n. Is 4/r + (-607)/(-7) composite?
True
Suppose i = -3*i + 4. Is (-1 - 0)*(i - 14) composite?
False
Let d(g) = 2*g**2 + 2*g - 1. Let m be d(-2). Suppose i = -m*i. Suppose 0 = -x, -4*x = 5*n - i*n - 70. Is n prime?
False
Suppose -2*p + 3*p - 257 = 0. Is p a prime number?
True
Suppose -4*l - 1 + 9 = 0. Is 43/2*4/l prime?
True
Let q(j) = j**2 + 8*j + 5. Let v be q(-8). Let g(h) = -h**2 + 9*h - 1. Is g(v) prime?
True
Suppose 0*f - 3*f = -195. Is f a composite number?
True
Is (-2354)/(-10) - 18/45 prime?
False
Suppose 3*g - 4*y = 7725, -8*g = -3*g + 5*y - 12910. Is g a composite number?
False
Let y(n) = -6*n + 7. Is y(-15) composite?
False
Suppose -3*s + s - 6 = 0, 0 = -c - 3*s - 5. Suppose -c*p + 130 = 750. Let y = -76 - p. Is y composite?
False
Let w(k) = 0 + 2*k**2 - 4 - 20*k**3 + 5 + 2*k. Let f be w(-1). Suppose 16 = o - f. Is o a prime number?
True
Suppose -z = z - 574. Is z prime?
False
Let k(h) = -9*h**3 - 3*h**2 - 4*h + 9. Is k(-4) prime?
False
Let l = 9761 + -6750. Is l a prime number?
True
Is 444 + (-4)/(3 + -7) composite?
True
Let h be 12/(-18) - 119/(-3). Suppose -2*b + 8 = -6*b. Is h/b*(-28)/6 a composite number?
True
Is -3*-3602*(-2)/(-12) a composite number?
False
Suppose -6*x + 678 = -1038. Suppose -2*w + 4*w - x = 0. Is w prime?
False
Let w(g) = g**2 + 8*g - 9. Let d be w(-9). Suppose 7*z - 20 = 3*z. Suppose d = -2*y, 0 = -2*h + z*y + 19 + 19. Is h a composite number?
False
Let x(d) = d - 4*d + 3*d + 2*d - 1. Is x(6) prime?
True
Let i = 4 + 1. Suppose -i*v = -60 - 310. Is v a composite number?
True
Suppose -78727 = 2*y - 19*y. Is y composite?
True
Let f(n) = 101*n. Let p be f(-2). Let d = 1 - p. Is d prime?
False
Suppose -4*l + 2 = -6. Suppose 35 = l*y - y. Is y prime?
False
Suppose -5*f + 144 + 241 = 0. Is f a prime number?
False
Suppose -14 = 2*i - 2. Is ((-3)/1)/(i/158) prime?
True
Let g = -5 + -7. Let z = -7 - g. Suppose -a + 3*p = -23 - 30, 3*p - 229 = -z*a. Is a a composite number?
False
Let n(d) = -45*d - 4. Is n(-3) composite?
False
Let f be 19/3 - 9/27. Suppose 0*y - f*y + 90 = 0. Is y a composite number?
True
Let b(x) = 4*x - 3*x**2 + 3*x**3 - x - 5 - 3*x**2 - 2*x**3. Is b(7) a composite number?
True
Let k = -79 + 714. Is k a composite number?
True
Let v(h) = h**2 + h. Let x(u) = 79*u**3 - u**2 + 1. Let r(c) = -2*v(c) - x(c). Is r(-1) composite?
False
Let v be (24/(-6))/(2/(-1)). Suppose -11 = -2*c - t, 0 = -2*c + 3*t - t + v. Suppose -3*x = -4*w - w + 706, 5*x = c*w - 557. Is w composite?
True
Let w be 2/(-2) + 1 + 3. Is (-1)/(2/(-8)) + w a composite number?
False
Is (1113/9)/(3/9) a composite number?
True
Let w(s) = -s**2 - 5*s - 6. Let m be w(-7). Is 16/m*110/(-4) a prime number?
False
Suppose -1553 = -i - 156. Is i composite?
True
Let h(t) = t**3 - 6*t**2 + 2*t - 5. Let d be h(6). Let y be 3 - 3/1 - -2. Suppose -395 = y*b - d*b. Is b prime?
True
Let x = 158 - 109. Let u = x + -14. Is u a prime number?
False
Let k = -5 + 10. Let p(g) = 3 + 2 - 5*g + 0*g + 3*g**2. Is p(k) composite?
True
Let c be 0 + 210 + 6/3. Suppose -3*w + c = -37. Is w composite?
False
Suppose 3*k - q - 890 = 0, 678 = 3*k - 3*q - 222. Is k prime?
False
Is (11/22)/(2/5132) prime?
True
Let x be 63/(-14)*4/(-6). Let s = -1 - 0. Is s - 22*x/(-1) a composite number?
True
Is (-1)/(4/(-1282))*2 a composite number?
False
Suppose -2*y - 59 = -195. Suppose 3*l = 3*p - l - 237, -4*p - 5*l = -285. Let c = p + y. Is c prime?
False
Let j(v) = v**2 - 3*v + 3. Let a be j(3). Suppose -a*o + 2*o - 2 = 0. Is -15*(-1 - o)*-1 composite?
True
Let u(i) = 54*i - 3. Let q be u(3). Suppose 0*w - 3*w + q = 0. Is w composite?
False
Let c = -5118 - -7639. Is c a composite number?
False
Suppose 2241 = 5*m + 2*a - 0*a, 5*m - 2247 = a. Is m prime?
True
Let k(i) = 13*i**2 + 6*i + 5. Let m be k(6). Suppose -5*v = -4*j - 549, -5*j = 5*v - m - 76. Is v prime?
True
Let t = -1 + 4. Suppose -t*g - 265 = -8*g. Is g composite?
False
Let s = -38 - -68. Is 5/s + (-1426)/(-12) a prime number?
False
Let o = 17 + -258. Let n = o + 456. Is n prime?
False
Suppose 8*q + 1595 = 9*q. Suppose -6*w + w = -q. Is w a composite number?
True
Let c(t) be the third derivative of 19*t**6/360 + t**3/3 + 2*t**2. Let w(h) be the first derivative of c(h). Is w(1) a prime number?
True
Let c(k) = k**3 - 11*k**2 + 9*k + 12. Let z be c(10). Suppose -2*i - z = -0. Is (2/6)/(i/(-159)) composite?
False
Suppose -g - 5*n = 27, -3*g = n + 2*n + 21. Let k be (1/g)/(2/(-1020)). Let t = -92 + k. Is t a composite number?
False
Let q(o) = 4*o**3 - o**2 + o - 1. Let w be q(1). Suppose -98 = w*f + 103. Let h = f + 102. Is h prime?
False
Let q = 1 + -48. Let y = -12 - q. Is y prime?
False
Suppose d + 3*y = -30 + 455, -1261 = -3*d - 2*y. Is d a composite number?
False
Suppose 4*d = 2*k - 40, 2*d + 2*d + 52 = -4*k. Let y = 35 + d. Suppose -y = -4*u + 3*b + 39, 5*b = -3*u + 40. Is u a prime number?
False
Let z be 2216/10 - 4/(-10). Let u(c) = -c**2 - 9*c + 33. Let m be u(-14). Let i = m + z. Is i prime?
False
Let a be (-1 - 1*-3) + 45. Let v = 109 - a. Let c = -25 + v. Is c a composite number?
False
Suppose -5*t + 6*t = 149. Is t composite?
False
Suppose 3*q + 737 = 2*c, 3*q - 125 = -2*c + 630. Is c a composite number?
False
Is 427/11 - 18/(-99) a prime number?
False
Let s = 95 + 6. Suppose -260 - 1084 = -8*c. Let l = c - s. Is l prime?
True
Suppose 3*j = j + 4. Let l(n) = -2*n - 1 + 2 + n + 38*n**2 + 15*n**j. Is l(1) a composite number?
False
Let f = 17 - 9. Let n(a) = -a**3 + 9*a**2 - 4*a + 10. Let j be n(f). Suppose -3*x + 3*k + j = 0, -x + 34 = -4*k + 11. Is x a prime number?
True
Let v = -118 + 62. Is (-33)/12*v/2 a prime number?
False
Let f = 17 - 15. Suppose -f*w - 256 = -q + w, 3*q - w - 760 = 0. Is q a prime number?
False
Suppose 362 = -2*w + u + 4*u, 3*w + 4*u = -543. Let z = -122 - w. Is z prime?
True
Is 440 - (-5 - (-3 + 1)) a prime number?
True
Let f(h) = 76*h**3 + 2*h**2 - h. Suppose 1 = -3*z + 4. Let u = 0 + z. Is f(u) a prime number?
False
Let t(h) = -4*h - 7. Let d = -18 + 13. Is t(d) composite?
False
Let y = 6 + 0. Let i be 820/y - (-1)/3. Suppose 4*z - i = -37. Is z a prime number?
False
Let m(g) = 737*g**2 - 3*g - 1. Is m(-1) a prime number?
True
Suppose 15 = 5*h + y, 3 = 4*h - 3*h - 5*y. Suppose -716 = h*z - 5*z. Is z prime?
False
Suppose -p + 20187 = 8*p. Is p a composite number?
False
Let z(f) be the second derivative of f**5/10 + f**4/3 + f**3/2 - f. Let c be z(-2). Is 335/15 + (-4)/c a composite number?
False
Suppose -3*o = -4*z + 21016, -5*o = z - 0*o - 5277. Is z composite?
True
Suppose 4476 = -44*g + 50*g. Is g a prime number?
False
Let l(k) = -k + 10. Let j be l(6). Let m = 12 + j. Suppose -w = -m - 7. Is w a composite number?
False
Let g be (-6)/21 - 32/(-14). Let x be ((-7)/g)/(3/(-6)). Let a = -4 + x. Is a a composite number?
False
Suppose 0*i - a + 172 = i, -4*a = -5*i + 851. Suppose -b + 4*b = i. Is b prime?
False
Let b(i) be the second derivative of -i**5/20 - 5*i**4/12 + i**3/6 - 3*i**2/2 + 2*i. Let l be b(-6). Let z = l + -6. Is z composite?
True
Suppose 9*z + 24 = v + 6*z, -4*v + 181 = 5*z. Is v composite?
True
Suppose -5*k + 138 + 771 = 2*i, 2*i - k - 891 = 0. Is i a composite number?
True
Let b(u) = u**3 + 6*u**2 + 3. Let v be b(-6). Suppose 4*p - 2*p = v*q - 27, 18 = 2*q - 2*p. Let m(i) = i**3 - 6*i**2 + i + 1. Is m(q) a prime number?
False
Let w(t) be the first derivative of -13*t**2/2 + 7*t - 1. Is w(-4) prime?
True
Let s = 37 + 150. Is s composite?
True
Let l = -2 - -87. Is l a prime number?
False
Let k(f) = f**3 + 4*f**2 + 2*f - 1. Let a be k(-2). Let b be (-563)/(-5) + 4/10. Suppose -g - 2*g = 2*u - b, a*u - 4*g = 127. Is u a prime number?
False
Is -1 - (1*-3233 - -3) a composite number?
False
Let m = 17 - 25. Let o be (-4)/16 + (-2)/m. Suppose 5*l + 5 = o, -2*l + 286 = 4*n - 68. Is n a prime number?
True
Let x(p) = -p**3 - 7*p**2 - 10*p - 7. Let z be x(-6). Suppose z = -3*n + 74. Is n prime?
True
Let c(r) = 14*r**3 - 2*r + 1. Let o = -2 - 