rue
Let j(p) = -p**3 - 5*p**2 + 1. Let a be j(-2). Let h = -16 - a. Is ((-51)/h - 0)*5 a composite number?
True
Let g = 5 - 1. Let f(u) = u**2 + 3 + 0*u**2 - 4*u**2 - 5*u + u**3 + 5*u**2. Is f(g) prime?
True
Let b be 168 - (-3 + (-3 - -6)). Suppose -2*c - 64 = 4*w - b, -2*w + 52 = 2*c. Is w prime?
False
Suppose -462 = 2*i - 1628. Is i composite?
True
Suppose 1 = -v, 3*v + 19 = 5*m - v. Suppose 0 = m*l - 8*l + 340. Suppose 0*w = -5*c - 4*w + 197, 2*c = 2*w + l. Is c prime?
True
Suppose -4*l + 0*f = f - 67, -2*l - f + 35 = 0. Let u = l + 53. Is u prime?
False
Let z = 3 - 2. Is 1536/8 + -2 + z composite?
False
Let o(u) = -u - 3. Let a be o(-3). Suppose -3*w - w + 492 = a. Suppose -w - 132 = -5*g. Is g composite?
True
Let p = -180 - -737. Is p prime?
True
Let o = 57 + 46. Suppose 3*p - 254 = o. Is p a prime number?
False
Let u(d) = d**2 + 6*d + 6. Let z = -8 - -2. Let w be u(z). Suppose 4*t + 18 = w*t. Is t prime?
False
Let o = 465 - -1516. Is o prime?
False
Let i(x) = 3*x**2 + 5*x + 4. Let g be i(-4). Let k(b) = b**3 + 5*b**2 + 3*b + 1. Let d be k(-3). Let o = g - d. Is o prime?
False
Let a(b) = 11*b + 2. Let k be a(2). Is 4162/8 + 18/k prime?
True
Suppose -2*f + 6*f + 697 = 5*j, -4*j = -5*f - 554. Is j prime?
False
Suppose 0 = 3*h + 178 - 2281. Is h a composite number?
False
Suppose -m + 7*v + 457 = 3*v, -5*m - 3*v = -2354. Is m a prime number?
False
Let f = 2 + 0. Suppose -3*q - f*s = -1, 0 = q - 3*s - 1 - 3. Let h(g) = 33*g**2 + 1. Is h(q) a prime number?
False
Suppose -x - 4*l + 429 = 0, 0*x = x + 2*l - 439. Let u = x - 311. Suppose -2*b = -0*b - u. Is b a prime number?
False
Suppose 5*d + 10 = -15. Let p = 2 + d. Let i(b) = -b**3 - b**2 + 5*b + 3. Is i(p) prime?
False
Let b(l) = -40*l + 2 - 1 - 3. Let d be b(-2). Suppose 0 = 5*f + 4*q - q - 280, -5*q + d = f. Is f a prime number?
True
Suppose b + w = 47, -5*b - 3*w + w = -238. Let x = 49 + b. Is x composite?
False
Suppose -5*t + 12 = -4*t. Suppose -q + 49 = t. Is q prime?
True
Suppose -h + 12 = -5*k, 5*h + k = 3*k - 9. Let x be (h - (1 + -3)) + 8. Is (1 - -51) + x + -6 composite?
False
Let f(w) = 2*w. Let u be f(1). Suppose 412 = 5*y - u*p - 321, 5*y - p = 729. Is y a prime number?
False
Let g be (105/5)/((-1)/(-5)). Suppose -y - g = -4*y. Is y a composite number?
True
Suppose 20 = 5*s - 0*s. Suppose 0 = -3*u + 5*y, s*y = 5*u + 8*y. Suppose -71 = -2*z + 3*i + 192, u = 3*z - 5*i - 394. Is z a composite number?
True
Let d(y) = y**2 - 3*y - 3. Let l(c) = c**2 + 4*c + 1. Suppose 2*w + 0 = 2, -3*w - 7 = 2*x. Let k be l(x). Is d(k) a composite number?
True
Let u(g) = -g**2 + 5*g - 3. Let x be u(2). Let z = x + -1. Suppose -z*i - 42 = -2*r, -r + 2*i - 3*i = -21. Is r prime?
False
Let n(l) be the second derivative of -l**3/3 + l**2/2 - 2*l. Suppose 2*a + 1 + 1 = 0. Is n(a) a composite number?
False
Let q(u) = u**2 + u - 9. Let x be q(7). Suppose 5*o - 3 = x. Let c = 95 - o. Is c prime?
False
Suppose 2*v - 257 - 85 = 0. Suppose -4*o = 3*h - v, 0 = -2*o - h - 19 + 106. Suppose 4*c = o + 15. Is c a composite number?
True
Let g = 21 - 6. Let f be (-96)/g - 4/(-10). Let i(v) = v**3 + 8*v**2 + 6*v - 2. Is i(f) prime?
False
Suppose 1336 = 5*m - 2169. Is m a composite number?
False
Is 252 + (-1)/(2 + -1) a composite number?
False
Is (-888)/(-7) - (-4)/28 a composite number?
False
Let c(p) be the second derivative of p**3/2 + p**2/2 + 2*p. Let z be c(1). Let b(f) = 3*f**2 - 2*f - 3. Is b(z) a composite number?
False
Let c(x) = -6*x**3 - 5*x**2 + 2*x. Let t be c(-4). Let u = t + -33. Is u composite?
False
Let x = -16 - -36. Let i = x + 11. Is i a composite number?
False
Suppose 5*n - 282 = -2*d, 3*n - 190 = d + 3*d. Is n composite?
True
Suppose 5*i = -5*q + 12960, -i - 2*q = 2*i - 7773. Is i composite?
True
Let d = 20 + -15. Let l be 4/(-6)*-3 + -1. Suppose -d*r + 103 = -4*u, -u = 3 - l. Is r a prime number?
True
Let t be (1819/34)/((-1)/(-2)). Let o = -30 + 10. Let b = o + t. Is b a prime number?
False
Let h(c) = -c**2 - 17*c - 10. Let d be h(-9). Suppose 5*k = d + 373. Is k prime?
False
Let n = -3 + 1. Is n*35*3/(-6) a composite number?
True
Suppose 9 + 0 = 3*q, -l = -q + 158. Let j = l + 222. Is j prime?
True
Let j = -49 + 76. Let b be (-1)/(-1) + -1 + j. Let z = b + 4. Is z a composite number?
False
Suppose 6 = 3*d - 54. Let u be (-12)/10*d/(-6). Suppose -c = -2*j + 45, 0 = -j + 3*j + u*c - 70. Is j prime?
False
Let a(d) = d + 1. Let g be a(3). Let f(j) = g - 2*j - 3 + j. Is f(-6) prime?
True
Let u(f) = -f**2 - 8*f + 3. Let c be u(-8). Suppose -5*w - 3*a = -a + 88, -5*a - 31 = 2*w. Is (w/(-3))/(c - 1) composite?
False
Suppose 0 = -v - 2*n + 211, 2*v + 0*n = n + 397. Suppose 0*b + v = 3*b. Is b a prime number?
True
Let t(n) = -15*n**3 + 2*n + 1. Let d be t(-1). Suppose -2*y - 4*i - 84 = 0, -2*y - 90 = -0*y + 2*i. Let a = d - y. Is a prime?
False
Let z = -213 - -337. Let w = 181 - z. Suppose 0*c - w = -3*c. Is c a prime number?
True
Let o(k) = -2*k**3 + k**2. Let h be o(-1). Suppose -17 = -0*p - h*p - 4*s, -13 = -p - 5*s. Is p prime?
True
Let z(o) = o**2 + 454. Let p be z(0). Let t = p - 45. Is t a prime number?
True
Let n be 1 + 1/(-2)*-2. Suppose -5*a + 7*w - n*w = -1035, 2*a - 406 = 4*w. Is a a prime number?
True
Let i be (-1)/((-1)/5 + 0). Suppose -i*u - 28 = 7. Let k(t) = -19*t - 2. Is k(u) a composite number?
False
Suppose -3*d - 74 = -2*m + 377, 457 = 2*m - 5*d. Is m a prime number?
False
Let y = 13 - 4. Let o be ((-3)/y)/(3/(-855)). Suppose 5*v - o = -0*v. Is v a composite number?
False
Let h be 10/(-4)*8/(-5). Suppose 6 = h*t - 22. Is t prime?
True
Is (-14464)/(-28) - 6/(-14) a prime number?
False
Let y = -469 - -192. Let w be -4*(1 - 2/(-8)). Is y/w - 6/15 composite?
True
Let b(d) = 3 + d**2 + d**2 - 5*d - d**2. Let s be b(3). Is 1 - (-31 + (-3)/s) a prime number?
True
Suppose -5*v + 3916 - 711 = 0. Is v composite?
False
Is (((-1917)/12)/(-9))/((-1)/(-4)) prime?
True
Let n(j) = -23*j**2 - 6*j - 7. Let w be n(7). Let z be ((-1)/(-1))/((-3)/w). Suppose -f + 1616 = 4*r - 5*f, -r + z = -5*f. Is r a prime number?
False
Suppose -r + 3*k + 22 = -16, 5*r - 157 = 4*k. Suppose 5*z + 4*y + r = 0, z + y = -3*z - 32. Let s(o) = -9*o - 4. Is s(z) a prime number?
False
Let o(c) = c + 253. Is o(0) prime?
False
Suppose 3*r - 5*t - 50 = 0, -r + 64 = 3*r - 4*t. Suppose 2*h = h - 2*o + 7, 4*h = 5*o + r. Let s(g) = 48*g - 5. Is s(h) composite?
True
Let j = 1052 + -382. Suppose 0 = -2*u - u. Suppose u = -4*i - i + j. Is i a prime number?
False
Suppose 4*i + 3*p + p = 44, 2*i + 3*p - 27 = 0. Suppose -i*u = -7*u + 14. Is u prime?
False
Let j(i) = i**3 + 9*i**2 - 9*i - 9. Let n be j(-6). Suppose -6*s + 3*s = -n. Is s a prime number?
False
Suppose -4*b + 153 = 5*l - 3*b, -3*b = 2*l - 69. Suppose -a = -l - 17. Is a composite?
False
Let q be (-17)/(0 + 1/2). Let c = q - 22. Is c/(-12)*(-6)/(-2) composite?
True
Let l = 1 - -1. Suppose 0 = -4*r - 2*y + 20, l = 2*r - 5*y + 4. Suppose 0 = 4*z - p + r*p - 476, 5*z - 595 = -p. Is z a composite number?
True
Is (-63455)/(-42) - (-2)/12 prime?
True
Let b = 59 - -330. Is b composite?
False
Let d = -5 + 11. Let z be ((-2)/d)/(5/(-645)). Suppose 5*r = z + 22. Is r composite?
False
Let s = -46 + 260. Suppose -2*l = -0*l - s. Suppose 5*a - 372 = -l. Is a a composite number?
False
Is 3304/(-12)*6/(-4) composite?
True
Is (-2 + 3)/((-1)/2) + 1641 composite?
True
Let j(h) be the first derivative of h**7/210 + h**5/40 + h**4/12 + h**3 + 4. Let f(o) be the third derivative of j(o). Is f(3) prime?
False
Let w = -690 + 1157. Is w prime?
True
Suppose -2*j - 3*j = -2985. Let k = -353 + j. Suppose -5*q + 1 = -k. Is q composite?
True
Suppose -3*h - 37 = -673. Suppose -5*x = -h + 47. Suppose -132 = -s - 3*s - 5*y, s + 4*y = x. Is s a composite number?
True
Suppose v = -2*v - 2574. Let z = -445 - v. Is z a prime number?
False
Suppose 2*g - 37 = -0*h + 5*h, 0 = 3*g + h - 30. Suppose -4*u - j + 730 = g, 5*u + 2*j = 895. Is u composite?
False
Suppose 0 = 2*g - 24 + 10. Suppose -4*d - 105 = -g*d. Is d a composite number?
True
Suppose 0 = -4*l - 5*d - 64, 4*l + 52 = -0*l - 2*d. Let c(g) = -6*g - 13. Is c(l) a composite number?
False
Is (-2)/18*3 + (-9606)/(-9) prime?
False
Is 2/(-6) + 2136/9 prime?
False
Suppose -4 = 2*u - 0. Is 888 - (4/u - -3) composite?
False
Suppose -5*f + 3*s + 3324 = 0, -3*f + 44