+ h. Is v a composite number?
False
Let o(b) = 37*b + 1. Is o(4) a composite number?
False
Let n(s) = s + 2. Is n(4) a composite number?
True
Let p(y) = 6*y**3 + 6*y**2 - 2*y - 9. Is p(7) a composite number?
True
Is (-2)/11 - 840225/(-187) prime?
True
Let b be 2/11 - 1593/(-11). Suppose 2*h + 3*h = -b. Is (h/(-2))/(4/88) prime?
False
Let l(z) = 64*z**2 - 4*z + 1. Is l(-5) composite?
False
Let k be 1*((-2 - -2) + 215). Let u be (-1)/1 - 10/(-2). Suppose n + u*n = k. Is n a composite number?
False
Let q(u) = -4*u - 3. Let l(m) = -9*m - 6. Let t(v) = -5*l(v) + 9*q(v). Is t(2) composite?
True
Let z be 4 + 3/3*-2. Let p be 0/(-1*z + 0). Is (91 + p)*1*1 prime?
False
Suppose -4*j + w = -120, 3*j = -2*w + w + 97. Is j a composite number?
False
Suppose -5*x + 1245 = 5*s, s + 261 = 2*s + 4*x. Suppose 4*d + d - s = 0. Is d a composite number?
True
Let v(i) = 12*i + 7. Let o(t) = -t - 1. Let f(x) = 6*o(x) + v(x). Let g = -15 + 21. Is f(g) a composite number?
False
Let c be ((-12)/(-4))/(6/4). Suppose -h - 5 = 0, 0*s = -2*s - c*h + 76. Is s a prime number?
True
Suppose -3*b - 22 = -5*y, 5*y + 0*y + 5 = 0. Let z(j) = 3*j - 3. Let r be z(b). Let l = 43 + r. Is l prime?
True
Suppose 0*k + k = -5*w + 14908, -4*k - 8931 = -3*w. Is w a composite number?
True
Let n(l) = -7*l - 5. Suppose 0 = v + 4*v + 30. Is n(v) a composite number?
False
Let z(p) = p**2 + 4*p + 3. Let j be z(-3). Suppose h + j - 2 = 0. Is 3 - -1*8*h composite?
False
Let l(j) = -6*j**3 + 5*j**2 + 7. Let c(x) = -7*x**3 + 4*x**2 + 7. Let r(u) = -5*c(u) + 6*l(u). Let s be (-4 - -34)*1/3. Is r(s) prime?
True
Let v = -24 - -16. Let x be 834/v - 4/(-16). Let y = x + 150. Is y composite?
True
Suppose 0*k = -3*k + 111. Is k prime?
True
Let c be (-408)/8 - (-2)/1. Let p(k) = 43*k + 2. Let q be p(2). Let y = c + q. Is y composite?
True
Let y be (-4)/(-14) - 19/(-7). Suppose y = j + 5. Is (0 - -1)*(81 - j) a composite number?
False
Let y(t) = 61*t**2 + 11*t + 7. Is y(-4) prime?
False
Let p = 12 + -7. Suppose -p = -h + 33. Is h a composite number?
True
Let u be (-3)/2*40/15. Is (u - -92) + 5 + -2 a prime number?
False
Is 0 - -1 - (-136 - -6) a prime number?
True
Let h(o) = 2*o**3 - 3*o**2 - 2*o. Let v(f) = -f**3 + f + 1. Let y(q) = -h(q) - 3*v(q). Let m be y(-3). Suppose m = -a - 1 + 7. Is a prime?
False
Let t = -3 + 3. Suppose t = 4*j + 2*i - 5*i + 10, 5*j - 5*i + 10 = 0. Let z(a) = 2*a**2 - 4*a + 1. Is z(j) prime?
False
Let m(y) = 9*y - 3. Let q be m(2). Let c(h) = -15*h + q*h - 4 + 20*h + 11. Is c(6) prime?
True
Suppose -3*y - 17 + 53 = 0. Suppose 3*m = 6*m - y. Suppose 73 = w + m*f, -10 = -3*f + f. Is w prime?
True
Let y(q) = q**2 + 8*q - 19. Is y(26) a composite number?
True
Is 2 - 0/(-3) - -31 prime?
False
Is (-2)/(-3)*1233/2 composite?
True
Let c be 2 - (-3 + 3)/1. Suppose 0 = t - 3*h - 179, c - 6 = -h. Is t a composite number?
False
Let i be (3 - -3) + -3 + 0. Suppose -k + 5*f = -63, 0 = 2*k + i*f - 59 - 54. Is k composite?
True
Is (-6)/42 - (-2 + (-2136)/7) a composite number?
False
Let l(r) = r**2 + r + 7. Let m be -5 - (-1 + 0 + -2). Let t be (-33)/(-7) - m/7. Is l(t) composite?
False
Let v(q) = -45*q + 17. Is v(-12) a composite number?
False
Let r(o) = -5*o**3 - 4*o**2 + 3*o - 1. Let b be r(2). Let c = -18 - b. Suppose 0*u + c = 3*u. Is u a prime number?
True
Let v be -3 + 0 + (2 - -1). Suppose -2*k - 4 + 98 = v. Is k prime?
True
Is 2240/12 - (-3)/9 prime?
False
Let b(p) = 19*p**2 - 2*p - 3. Let n(f) = -39*f**2 + 5*f + 6. Let w(i) = -5*b(i) - 3*n(i). Is w(-2) composite?
True
Is (-1312 + 2)/(8/(-4)) prime?
False
Let a(o) = -o - 4. Let f be a(-4). Let c(n) = -n + 67. Is c(f) composite?
False
Let h = 2191 - 614. Is h a composite number?
True
Suppose -y + 4 = 0, -2*a - y + 14 = 4. Suppose -a*v + b = -82 - 169, 0 = 3*b - 12. Let h = 132 - v. Is h a composite number?
False
Let y(r) = r**2 - 6*r - 11. Let f be y(8). Suppose f*m + 0*i = 4*i + 1311, -3*m - i = -773. Is m a composite number?
True
Let r(h) = h**2 + 5*h - 4. Let a be r(-6). Let v be (-6425)/10*(-4)/5. Suppose 0 = -0*p - a*p + v. Is p a composite number?
False
Let l = -3273 + 4750. Is l a prime number?
False
Let f = 3 + -8. Let j = 36 + f. Is j composite?
False
Suppose j - 5 = -0*j. Suppose -c + j = 0, a - 354 = 8*c - 3*c. Is a composite?
False
Suppose 0 = 5*j + 3*k - 248 - 551, 2*k = -4. Is j a composite number?
True
Let j be ((-74)/3*-3)/1. Suppose -j = -2*u - 0*u. Is u a composite number?
False
Let n(r) = 4*r**2 - 4*r + 1. Suppose 6*k = 3*t + k - 22, -5*k - 18 = -2*t. Is n(t) prime?
False
Let b be 2*1/2 - 1. Suppose 2*i + b = 10. Suppose i*v = 479 + 296. Is v prime?
False
Let i(a) = a - 6. Let u be i(0). Let n(l) = -l**3 - 6*l**2 - l - 5. Let w be n(u). Let x = 15 - w. Is x prime?
False
Let s = 4 + 2. Suppose 3*h - 4*a - 60 = -1, 5*a + 55 = 3*h. Let x = h - s. Is x a prime number?
True
Let x(i) = -i**2 + 1. Let h(g) = -g**2 - 3*g + 9. Let u(p) = h(p) - 2*x(p). Is u(7) composite?
True
Suppose 3*v = 6*s - s + 7, -v + 4*s = 0. Suppose 3*o - 990 = -v*h + 129, h = -4*o + 296. Is h/27 - (-2)/(-9) a composite number?
True
Suppose -3*f = -5*y - 594 + 2090, 0 = -2*y - 3*f + 611. Is y composite?
True
Suppose 2175 = 5*c + 190. Is c a prime number?
True
Let r = 1 + 2. Suppose 27 = f + r*n + n, 5*n = -3*f + 102. Let y = 16 + f. Is y prime?
False
Is (-2)/(-2) - (-1 + -119) composite?
True
Let c be (-13)/(-3) + (-4)/12. Let x(s) = 2*s**2 - 10*s + 6. Let m(z) = -2*z**2 + 11*z - 6. Let r(i) = 3*m(i) + 4*x(i). Is r(c) a composite number?
True
Suppose 5*b = -q + 2932, 16*q - 19*q = -4*b - 8739. Is q prime?
True
Let v = -12 + 39. Let t = -12 + v. Is t a composite number?
True
Is 23*((-3)/1 + 5) a prime number?
False
Let x = -5 - -8. Suppose 0 = -2*h - 2*g + 12, 3*h = x*g + 2*g - 6. Suppose 6 = 3*k + o - 0, -h*k + 3 = 2*o. Is k a composite number?
False
Suppose 2*o - 323 + 9 = 0. Is o a prime number?
True
Let c(j) = -j**3 - 8*j**2 - 10*j - 1. Let w be c(-7). Let u be 2/(-4) - (-4)/8. Suppose 2*z - w + 6 = u. Is z a prime number?
True
Suppose 4*g - 3*o - 39 = -14, 2*o = -2*g + 2. Let r be ((-40)/(-15))/(g/186). Suppose -3 = 3*i + 6, -j + 3*i = -r. Is j prime?
False
Let p(t) = 589*t**2 + 6*t. Is p(-1) composite?
True
Suppose -o = -2*x - 0*x + 1, 0 = 3*x + 3*o + 3. Suppose x = 2*p - 0*q + 2*q, 5*q = p. Suppose p = -h + 6*b - 2*b + 239, 739 = 3*h - b. Is h prime?
False
Let z(s) = -s - 1. Let c be z(-3). Suppose c*n + 6 = 32. Is -2 - (-1 + -3*n) prime?
False
Let j = 6 - 64. Let i = -94 - j. Let f = -13 - i. Is f a prime number?
True
Let b = 0 + -2. Is (1/2)/(b/(-188)) composite?
False
Suppose -2*h - 857 = -3427. Is h composite?
True
Let d = 64 - 23. Suppose -2*h - 2*u - 53 = -3*h, h + 4*u - d = 0. Is h a composite number?
True
Suppose 0*a - 4*t + 21 = a, -99 = -3*a - 3*t. Is a prime?
True
Suppose -2*j - 20 + 58 = 0. Let h = 2 + j. Is h a prime number?
False
Suppose 0 = -5*l - 4*a + 265, 0 = l - 0*l + 4*a - 53. Is l prime?
True
Let q be (-3 + 2)*(-3 + 2). Suppose 2*t - q + 47 = 0. Let n = 54 + t. Is n a composite number?
False
Let d = -327 - -914. Is d a composite number?
False
Suppose -7*a = -2*a - 790. Is a prime?
False
Suppose 0 = -2*h + 5*t + 131, h + 4*h - 311 = -4*t. Suppose -3*k + 50 = 2*k. Let g = h - k. Is g a composite number?
False
Suppose 3*z = -h - z - 6, 2*h + 3*z + 2 = 0. Suppose h*v - 4*v + g + 102 = 0, -4*g = 2*v - 82. Is v a prime number?
False
Let s(v) = -v**2 - 6*v + 3. Let k be s(-6). Let t be k + -2 - 1*-7. Suppose t*p - 70 = 3*p. Is p a composite number?
True
Suppose -2*l + 4*z - 232 = 0, -63 = 2*l + 4*z + 137. Let y = 271 + l. Is y a composite number?
False
Let c(g) = 5*g**2 - 8*g + 13. Is c(-8) prime?
True
Let g(t) = 3*t**3 - t**2 - 4*t - 1. Let x = 17 + -12. Let m be g(x). Let v = m + -196. Is v a prime number?
False
Let t(k) = -k**3 - 2*k**2 + 2*k - 1. Let h be t(-3). Let v = h - -1. Suppose v*b - 276 = 5*j, 3*j + 0*j - 9 = 0. Is b a composite number?
False
Is (21/(-6))/((-2)/212) a composite number?
True
Let l(n) be the first derivative of -n**4/4 - 8*n**3/3 + 3*n**2 - 9*n + 2. Let w be l(-9). Let q = w + 3. Is q prime?
False
Suppose -2*n + 24 = -5*q, -5*q - 14 = 3*n - 0*n. Suppose 0 = 2*v - 7*l + n*l - 215, 4*l = 12. Is v prime?
False
Suppose -2*y + 4*d + 22 = -0*d, -2*d = -4*y + 56. Let n be (-1)/(27/y + -2). Let w = n - 3. Is w co