 - 3 = 0. Is (1130/(-6))/5*n composite?
False
Suppose 3*x = 9 - 3. Suppose -x*v + r + 164 = 0, -5*v + v - 3*r = -338. Is v a composite number?
False
Let j be 1/(-2) + 54/4. Let m = j - 8. Suppose -m*l + 542 = -53. Is l a composite number?
True
Let a = 329 + 102. Is a a prime number?
True
Let f = 452 + -121. Is f a composite number?
False
Suppose d + 5*c = -24, 3*d - 7*c + 2*c + 52 = 0. Let r = 75 - 17. Let b = r - d. Is b composite?
True
Let b(u) = 10*u**3 - u. Let y(p) = -p - 6. Let q be y(-8). Let n be b(q). Let f = n - 41. Is f a prime number?
True
Suppose 0 = 3*s - 8*s + 8245. Is s composite?
True
Let d(q) = 16*q**2 - q + 2. Is d(5) prime?
True
Let k(y) = -41*y - 3. Let n(j) = j**3 + 6*j**2 + j - 7. Let a be n(-5). Suppose -5*h = -b + 5, 2*h - a = h + 3*b. Is k(h) a prime number?
True
Let k(s) = -s**3 + s**2 - 5*s - 4. Let d(o) = -o**3 + o**2 - 4*o - 3. Let c(w) = 6*d(w) - 5*k(w). Let r be c(0). Is 145 + r + -4 + 2 composite?
True
Let s(a) = a**3 + 6*a**2 - 2. Let f be s(-5). Let p(k) = k + 2. Let q be p(3). Suppose f = -4*u + q*u. Is u composite?
False
Let h(a) = 96*a**3 + a**2 + a - 1. Let p be h(1). Let y = p - 44. Is y composite?
False
Suppose -5*w = -4*i - 0*w + 840, -2*i = 5*w - 390. Is i composite?
True
Let p(u) = 0*u - 3*u**2 - 3*u**3 + u + 0*u. Is p(-3) prime?
False
Suppose 0*o = -3*c - o - 3, c + 3*o = -9. Suppose c*j + 158 = j. Is j prime?
False
Let y(v) = 2*v**3 - 6*v**2 - 2*v - 7. Is y(7) composite?
True
Suppose m + 2*m = 1638. Let z = -289 + m. Is z a composite number?
False
Let w = -433 + 780. Is w prime?
True
Let o(y) = -62*y + 5. Is o(-9) prime?
True
Suppose 0*u - 3*u = 3*c - 1938, -5*u - 2*c = -3215. Is u prime?
True
Suppose -s - 2*w + 14 = -0*s, 3*w = -2*s + 23. Suppose s*o + 0 = -16. Is ((-34)/o)/((-1)/(-14)) prime?
False
Is ((-12)/20)/((-3)/(-15)) + 308 composite?
True
Let d = 899 + -438. Suppose 0 = -2*v - 39 + d. Is v a prime number?
True
Let f = 13 + -5. Let x be 0/3 + 54/3. Suppose f + x = a. Is a composite?
True
Let y(l) = 12*l**2 + 12*l + 5. Is y(-4) a composite number?
False
Suppose 42 = -3*n + 12. Let w be 708/n - (-1)/(-5). Let s = -24 - w. Is s a composite number?
False
Let y(b) = b + 0 + 7*b**2 + 23*b**2 - 1 + 3*b**2. Is y(2) a composite number?
True
Let x = 20 + -1. Suppose 4*o - x = 65. Suppose -o = -0*c - 3*c. Is c a composite number?
False
Suppose -914 = -5*z + 101. Suppose 2*b = -0*b + 8. Suppose -b*g + z = -105. Is g composite?
True
Suppose 1 + 1 = 2*t. Suppose -t = -n + 2. Is n composite?
False
Suppose -x - 390 = -7*x. Is x composite?
True
Suppose 4*m + 4*f + 7 = 27, -2*f + 2 = 0. Let n = 0 + m. Suppose o + 142 = 4*y, 0 = o - 2 + n. Is y a prime number?
False
Let x = -2 + 5. Let m(r) = 2*r**3 + 2*r**2 - r - 4. Is m(x) prime?
False
Suppose -158 = -l - r + 4*r, -3*l - 4*r + 461 = 0. Suppose -2*v = 3*v - l. Let f = 46 + v. Is f a prime number?
False
Let n(g) = -g**2 - 5*g - 1. Let b be n(-4). Suppose -207 = b*c - 4*c - f, 2*f + 8 = 0. Is c prime?
True
Let h = 1008 + -627. Is h a prime number?
False
Suppose -240 = -6*t + 90. Is t composite?
True
Suppose -2*r = 3*w - 7*r - 14682, 0 = 2*w - r - 9781. Is w a composite number?
False
Is ((-2)/6)/(2/(-1758)) prime?
True
Let b(j) = 61*j - 5. Let m = -22 + 16. Let a(h) = -31*h + 2. Let x(f) = m*b(f) - 13*a(f). Is x(3) composite?
True
Let p(x) be the second derivative of x + 1/3*x**3 + x**2 + 0. Is p(2) a prime number?
False
Let c = 882 + -608. Is c a composite number?
True
Let q(j) = 9*j + 4 + 1 + j**3 + 6*j**2 + 7*j**2. Is q(-6) composite?
True
Suppose -s + y + 3377 = 583, 5*y = -25. Is s a prime number?
True
Suppose 17 = -3*u - 1. Let w be ((-477)/6)/(u/8). Is (w/(-6))/1*-3 a composite number?
False
Let u = 299 - 172. Is u a prime number?
True
Let f be (-4)/(-18) + 48/27. Suppose -f*z = -z. Suppose 0*d - d + 13 = z. Is d a composite number?
False
Suppose -6 = q - 3*y, y = -q + 4*q + 34. Let c(x) = -9*x + 10. Is c(q) prime?
False
Suppose 0 = v + 889 - 4796. Is v composite?
False
Let q = 15 + -62. Let w = q + 174. Is w composite?
False
Suppose -k + 4 = 2. Suppose -p - k*h = -4*p + 12, 0 = -3*p - 2*h. Is -106*((-4)/p)/4 a composite number?
False
Suppose -5*u = -0*g - 3*g - 1271, u = 5*g + 263. Is u composite?
True
Suppose 0 = 5*n - 2*n - 24. Suppose -4 = 2*s, 3*s - 270 = -2*q + n*s. Suppose 2*x + 3*m - q = 0, -x = -2*m + m - 65. Is x composite?
True
Let d(l) = 5*l**3 - 3*l. Let g(q) = 5*q**3 + q**2 - 3*q. Let z(v) = -4*d(v) + 3*g(v). Suppose 0 = -r - 4*r - 10. Is z(r) prime?
False
Suppose -5*c - 2*q = -35, 0 = -c + 3*q - 2*q. Suppose -v + 3*k + 27 = 0, 3*k = c*v + 6*k - 45. Is 927/v + (-1)/4 composite?
True
Suppose 275 = -3*z + 1508. Is z composite?
True
Let o(p) = -p + 57. Let w = -2 - -2. Suppose w*k = 4*k. Is o(k) a prime number?
False
Suppose -k - 5*g = -5*k + 15, -k = 3*g - 25. Let t be 12*k + 3 + -1. Suppose t = -3*n + 521. Is n a prime number?
False
Let r = -3 + 4. Let p be r*-1 - 12/(-12). Suppose p*t - t + 127 = 0. Is t composite?
False
Let j be 217 + (6 - (-6)/(-3)). Suppose j = 3*i - 250. Is i prime?
True
Is 1559 - (-1 + 1 + 0) a composite number?
False
Let p(q) = q**3 + 8*q**2 + 6*q + 6. Is p(-7) prime?
True
Suppose -4*c + 870 = -146. Let p = -111 + c. Suppose -5*m = -15, 4*h - 2*m = -3*m + p. Is h prime?
False
Let z(d) = -d + 1. Let f be z(1). Suppose 2*b - 50 = -f*b. Is b a composite number?
True
Let h(y) = 4*y + 21. Is h(8) prime?
True
Let g = 5 + -3. Suppose -g*w = -w - 115. Suppose 0 = -7*t + 2*t + w. Is t a composite number?
False
Suppose 14*l + 94 = 16*l. Is l prime?
True
Suppose 0 = -2*j - 2*j + 192. Is 6084/j + 1/4 a composite number?
False
Suppose -4972 - 3500 = -8*j. Is j prime?
False
Suppose -x = -2*x - 3*y + 61, 0 = 3*x - y - 163. Is x prime?
False
Is ((-12)/8)/((-6)/308) a prime number?
False
Suppose 5*j + 464 = j. Let n be (-4)/12 - j/(-3). Let q = n - -58. Is q prime?
True
Suppose 4*p - p = 21. Let l(x) be the third derivative of -x**6/120 + 7*x**5/60 + x**4/6 - 7*x**3/6 - x**2. Is l(p) a prime number?
False
Suppose 0 = 4*x + 5*s - 342, -s - s + 4 = 0. Is x composite?
False
Let i = -120 - -209. Is i a prime number?
True
Let c(z) = 19*z. Is c(1) a composite number?
False
Let s be ((-1)/(-3))/(1/12). Suppose -2*n = 3*z - 6, -s*z + 11 = n + 3. Suppose -i + 4*f + 45 = n, 4*i + 4*f = 12 + 128. Is i a composite number?
False
Let w(u) = 11*u + 3. Let p be w(5). Let t = 111 - p. Is t prime?
True
Let i(c) be the third derivative of 1/12*c**5 + 0 + 3*c**2 - 1/3*c**3 - 1/24*c**4 + 0*c - 1/120*c**6. Is i(3) a composite number?
False
Suppose 4*c = 14 - 6. Suppose 0*s = -4*s - 4*z + 48, 0 = -c*s + 5*z - 11. Is s a composite number?
False
Suppose 0 = -4*m + 2*r + 1199 + 1091, -2*m + 2*r + 1144 = 0. Is m a prime number?
False
Let z(s) = s + 6. Let x be z(-3). Is (-5)/((-5)/x) - -82 a composite number?
True
Let l(x) = 1 - 6 - 4 - x. Let u be l(-9). Is -1 - (1 - u) - -37 composite?
True
Let v = 360 + 899. Is v composite?
False
Let h = 2 - -1. Suppose -h*t - 8 = 1. Is 19/1*t/(-3) composite?
False
Let o(i) = 684*i**3 - 2*i**2 + 2*i - 1. Is o(1) prime?
True
Let l(n) be the second derivative of -5*n**5/4 - n**4/4 - n**3/2 - n**2 - n. Is l(-3) composite?
True
Let v = 1 - 2. Let i = 3 + v. Suppose 0*m + 18 = i*m. Is m composite?
True
Let c = 610 - -111. Is c prime?
False
Let l(b) = 2*b**2 - 5*b - 8. Suppose 0 = -5*d + 2*a + 10, d - 3*d + 28 = 4*a. Suppose -v = -3 - d. Is l(v) prime?
False
Let m(d) = 2*d**3 - 4*d**2 - 21*d + 7. Let i(h) = h**3 - 2*h**2 - 11*h + 4. Let a(c) = -5*i(c) + 3*m(c). Is a(6) composite?
False
Let w(t) = -t**3 + 10*t**2 - t + 5. Let c be w(7). Let x = c - 60. Is x a prime number?
False
Suppose 5*k - 1926 = 9759. Suppose -g + r = 2*r - 471, 4*r + k = 5*g. Is g a composite number?
True
Suppose 5*m = 26 - 1. Suppose 2*s - 46 = m*a, -a = -0*a + 4. Is s composite?
False
Let y(d) = d**3 + 4*d**2 - 8*d - 9. Let x be y(-8). Let v = 436 + x. Is v a composite number?
True
Suppose 4*i = i - 3*s + 1731, s = -4*i + 2314. Is i composite?
True
Let q = 236 - -181. Is 2/((-1245)/q + 3) composite?
False
Let h(f) = 4 - 5*f**2 + 0*f - 4 + f**3 - 1 + f. Let q be h(5). Suppose l - 735 = -3*l - z, q*z + 945 = 5*l. Is l a prime number?
False
Suppose -7629 + 1928 = -5*w + 2*u, u + 1142 = w. Is w prime?
False
Let a(j) = j**2 - j - 1259. Let r be a(0). Let v 