*k + 5*k - 40 = h. Suppose 0 = -2*s + 4*s - k, 4*s - 46 = -5*y. Is y a composite number?
True
Suppose -4*u + 1833 = -5*d, -3*u + 1369 = 3*d - d. Is u a prime number?
True
Let l(x) = -2*x**3 - 3*x**2 - 7*x + 1. Is l(-5) a composite number?
False
Suppose 1621 = 3*k - z, 0 = 4*k - z - 317 - 1845. Is k a composite number?
False
Let q = -8 - -50. Suppose -4*y + 2*y + q = 0. Is y a prime number?
False
Suppose -5*a + 167 = 2*k, a - 3 = -0*a. Let c = k - 9. Is c prime?
True
Suppose -2*a + 5677 = 4*k - 83, -3*k = -3*a - 4311. Is k a composite number?
False
Let k = -6 + -12. Let p be (k/(-21) - 0)*7. Let a(m) = -m**3 + 6*m**2 + 3*m - 4. Is a(p) a prime number?
False
Suppose -2*o = -2*f - 20, o - 3*f = 16 + 4. Let z be 3/(2 + (-27)/15). Suppose 0*c + o*c - z = 0. Is c a composite number?
False
Let u(o) = 9*o**2 - 7*o - 6. Let y be u(7). Let a = -15 + y. Suppose -j + 2*j - a = 0. Is j a prime number?
False
Suppose -5*b = -2*b - 5*b. Let f(h) = 0*h - h**2 + 39 - h + 2*h**2. Is f(b) a prime number?
False
Let j(a) = 4*a**2 + 2*a + 1. Let d be j(-1). Suppose 0 = d*c - 2*c - 276. Suppose -z - 4*u + 89 = 0, 5*u + 92 = -2*z + c. Is z prime?
True
Is 2/(-5) - 5068/(-20) composite?
True
Is 9/6*(-6)/(-9) - -1360 a prime number?
True
Let p = -16 + 23. Let n(u) = u**2 + u - 3. Let g be n(-2). Let f = g + p. Is f composite?
True
Suppose 6 = -3*j - 3, -c = j. Is c/12 - 454/(-8) a prime number?
False
Let z be (-4 + 3 - 1) + 10. Suppose -m + 7 = 4*c, 2*m + 3*c - c - z = 0. Suppose -276 = -m*x + y + 2*y, y - 264 = -3*x. Is x prime?
True
Suppose 5*f - t - 3*t - 1101 = 0, -f - 3*t = -205. Is f prime?
False
Is (1/3)/((-7)/(-1239)) composite?
False
Let x(m) = 32*m**2 - 5*m - 5. Is x(-4) a composite number?
True
Let p(f) = f**3 - 7*f**2 - 8*f + 6. Let h be p(8). Let j be ((-4)/h)/((-4)/1038). Suppose -2*t - 4*d = -3*t + 39, -2*d = 3*t - j. Is t a prime number?
False
Suppose 5*g - 5*v + 77 - 367 = 0, -4*v + 240 = 4*g. Is g a composite number?
False
Suppose 129 - 20 = -h. Suppose -5*o = -353 - 587. Let f = h + o. Is f composite?
False
Let g(h) = -1941*h + 11. Let i be g(-9). Is i/30 + (-2)/(-6) a composite number?
True
Let p(a) = -10*a - 7. Let w(l) = -l - 5 + 4 + 2*l. Let q(z) = p(z) - 2*w(z). Is q(-5) composite?
True
Suppose -2*i + 4*i - 588 = 4*z, 441 = -3*z - 5*i. Let o = 206 + z. Is o a prime number?
True
Let c(r) = 10*r**2 - 4*r - 5. Is c(-6) composite?
False
Let t = 210 - 121. Is t composite?
False
Let j = 69 - 35. Is j prime?
False
Let k(g) = 3*g + 3*g + 5 - g - g**2. Let h(j) = -j**2 + 4*j + 5. Let z(q) = -4*h(q) + 3*k(q). Is z(4) a prime number?
True
Let z(p) = -2*p + 1. Let f be z(1). Let a be 5*f + -2 + 0. Is 4/(-14) + (-555)/a a prime number?
True
Let l = 334 + -117. Is l a composite number?
True
Suppose -3*m = -5*m. Suppose -2*z - 347 = -3*k + 2*z, m = 5*k + 4*z - 525. Is k a prime number?
True
Let u = -56 - 9. Is (-21765)/u + 2/13 prime?
False
Let n be 2/((-1)/3*-3). Let t = -36 - -58. Suppose -t = -n*f + 24. Is f a prime number?
True
Suppose 0 = -f + 3*f. Suppose -3*h + 2*h + 85 = f. Is h a composite number?
True
Let v = -9 + 5. Let y(q) = -q**3 - q - 1. Is y(v) composite?
False
Suppose -5*q - 4*n = -0*n + 35, 0 = -3*n - 15. Let k be 90/8 + q/(-4). Let p = k - 5. Is p a prime number?
True
Let l(h) = h**2 + h - 7. Let p be l(0). Is (0 + -13)/(p/21) composite?
True
Suppose 2*i - 4 = -0. Suppose -f + 85 = i. Is f composite?
False
Let k be ((-24)/(-15))/((-3)/(-15)). Suppose -5*s - r + 109 + 50 = 0, 0 = -2*r + k. Is s prime?
True
Let s(p) = 9*p**2 + 2*p + 4. Suppose 3*n + 5 + 4 = 0. Is s(n) composite?
False
Is 3 + (105 - 0) + -2 prime?
False
Let r be (-3)/(-6) + (-61)/(-2). Suppose r + 68 = 3*h. Is h composite?
True
Let c(l) = -22*l**2 - 3*l + 3. Let r be c(2). Let z = r + 180. Is z a prime number?
True
Let t be (-14)/(-35)*(-110)/(-1). Suppose t = 5*f - f. Is f prime?
True
Let a(q) = q**2 + 9*q + 4. Let u be a(-9). Suppose 0 = f - o - 874, -5*f - u*o + 889 = -4*f. Is f prime?
True
Suppose 2*m = -3*m - 30. Let p be ((-6)/4)/(m/872). Let f = p - 127. Is f prime?
False
Let b = 1117 - 598. Is b a prime number?
False
Let q = 65 + -24. Suppose 3*w - 5*g = 75 + q, -3*g + 71 = 2*w. Is w a prime number?
True
Suppose l - 3 = -h - 0, 5*h = 2*l + 36. Let d(y) = 14*y + 5. Is d(h) composite?
False
Let h be 4 + (1 + 0 - 2). Let n = 11 + -7. Suppose 12 = -4*y, -h*k + 115 + 32 = n*y. Is k a composite number?
False
Suppose w - 3*w = 0. Let s = -3 + 7. Suppose w = -s*d - 2 + 14. Is d a prime number?
True
Suppose -2*p - q = 3*q - 290, 3*p - 2*q - 411 = 0. Let j = 206 - p. Is j a prime number?
True
Suppose -4 = -3*m + 2. Suppose -2*g = m*z + 178, g + 63 - 342 = 3*z. Let p = z + 147. Is p a composite number?
True
Let q(f) = -f**2 + 6*f + 9. Let w be q(7). Suppose 2*l - 5*t = 163, 5*l + w*t = 4*t + 439. Is l prime?
True
Let z = 6901 + 448. Is z a prime number?
True
Let o = 3 + -3. Suppose 2*z = -o*z + 158. Is z a composite number?
False
Let m be 1/(-3) - 14/(-6). Is 13/1*m/2 a prime number?
True
Let c be 9*(6/(-9) + 1). Suppose r - 297 = m - 0*m, -1195 = 4*m + c*r. Is m*((-1)/2 + 0) prime?
True
Let y(b) = -4*b**2 - b - 2. Let m be y(-2). Is 450 - (m/(-4) - 1) prime?
False
Let m(p) = -p**3 - p**2 - 2*p - 1. Is m(-5) prime?
True
Suppose 0*h + 5*h = 620. Let f be (h + 5)*2/2. Is (2 - -1 - 1) + f composite?
False
Suppose 2*r = 4*c - 28, -4*c + 56 = 5*r - 0. Suppose -12*o = -c*o - 771. Is o composite?
False
Let j = 6 - 10. Let v = -1 - j. Suppose v*s - 48 - 87 = 4*y, -y - 193 = -4*s. Is s a composite number?
True
Suppose 3*b - p - 4088 = 0, -b + 4*p = 3*p - 1366. Is b a composite number?
False
Let f = 3 + -1. Suppose -6*i + i = 3*b - 56, f*b = -4*i + 38. Let c = 27 - b. Is c prime?
False
Suppose -3*w = 2*w - 205. Let j = -14 + 8. Let k = j + w. Is k a composite number?
True
Suppose -14 = -2*f - 2*m, 2*f + 3*m + m = 18. Suppose 1 = f*b + 16. Let p(a) = 5*a**2 + 3*a - 2. Is p(b) prime?
False
Let g(c) be the first derivative of c**6/360 + c**5/30 - 5*c**4/24 - c**3 - 1. Let o(n) be the third derivative of g(n). Is o(6) a prime number?
False
Suppose -n + 4*c = 19, -4*c + 28 = -2*n - 2*n. Is ((-18)/3)/n - -20 prime?
False
Let v be 0 + 0 + 0 + 3. Suppose 0 = -v*i, 4*u - 116 - 20 = 4*i. Is u prime?
False
Suppose -c - 2442 = -7*c. Is c a composite number?
True
Let x = 4 + -2. Let r = -6 - x. Is -12*(2 + 62/r) prime?
False
Let m(u) = -u**3 - 2*u**2 - 4*u - 3. Let c be m(-2). Suppose 0 = -c*y - 5*r + 160, 2*y = 5*r - 23 + 101. Is y a prime number?
False
Let y(h) = 76*h - 5. Is y(3) prime?
True
Let h(w) = w**3 + 7*w**2 - 11*w + 1. Let n be h(-10). Let a = -30 - n. Suppose 2*f - a = -f. Is f composite?
False
Let z = -3 + 6. Suppose 2*y - 2*w = 6, -3*y - 3 = z*w - 2*w. Is 7/(4 - (3 + y)) prime?
True
Let b(s) = -5*s**2 + 9*s - 2. Let c(f) = -6*f**2 + 9*f - 1. Let h(k) = -7*b(k) + 6*c(k). Is h(-7) composite?
True
Let v(y) = -y - 4. Let k be v(-6). Suppose k*d = -2*d + 364. Is d prime?
False
Let q(j) = -77*j - 11. Let y(r) = -39*r - 5. Let o(n) = -4*q(n) + 9*y(n). Is o(-2) prime?
False
Let j(o) = -o**2 + 8*o - 6. Let k be j(6). Let u(c) = -5*c**3 - 8*c**2 + 11*c + 5. Let x(b) = -b**3 + b. Let y(f) = -u(f) + 6*x(f). Is y(k) a prime number?
True
Let d(v) = v - 9. Let u be d(9). Suppose -2*g + u*g - 2*y + 674 = 0, -5*g - 3*y + 1685 = 0. Is g a composite number?
False
Let v = 90 + 93. Suppose -37 = -5*m + v. Suppose 5*a + 2*z - 287 = 0, -27 = -a + 3*z + m. Is a prime?
True
Let q(u) be the second derivative of -1/2*u**2 + 0 + 3*u + 11/4*u**4 - 1/6*u**3. Is q(-1) prime?
False
Let v(a) = -5*a**3 + a. Let f be v(1). Let j be (f/(-5))/(6/15). Suppose -5*y - j*u = -381, -y = 2*y + 5*u - 221. Is y a composite number?
True
Suppose -4*v + 10 = 142. Let z = 52 + v. Is z prime?
True
Let v be ((-34)/(-6))/(3/36). Let h = v - 113. Let l = 67 + h. Is l a prime number?
False
Suppose n + n = -4*v + 154, -2*n - 5*v = -159. Is n composite?
False
Let r(o) = 16*o**2 + 4*o + 3. Let c = 7 + -9. Is r(c) prime?
True
Let g = 99 - -802. Is g a prime number?
False
Let w(v) = -v**2 - 2*v. Let q be w(-2). Suppose -4*y + 2*y + 4 = q. Is y prime?
True
Let i(o) = -o**2 + 3*o. Let p be i(3). Suppose 51 = j - p*j. Is j prime?
False
Let v(f) = f**2 - 2*f + 1. Let b be v(1). Suppose 0*i - 2*i - d + 21 = b, i = 2*d + 23. Is i prime?
True
Let d(g