 - y. Is 6*(10/u - -1) a prime number?
False
Suppose 3*q + 54 = 2*q. Let a = 181 + q. Is a a composite number?
False
Let i(q) = 2*q + 2. Let m be i(-3). Let k be 18/(-10) - (-1)/(-5). Is 5*5 - (k - m) composite?
False
Suppose 149 = 5*a - 0*a + 2*z, 3*a - 3*z = 102. Is a composite?
False
Let o(z) = 13*z**2 - 5*z + 11. Is o(-10) prime?
True
Suppose -195 = -4*g + 37. Let i = g + -7. Suppose 3*j - 2*j - 63 = -5*c, j - c = i. Is j a composite number?
False
Suppose b = c + 5, 4 = -2*c - 2. Let l be 1*b - (-17 + -3). Suppose l = -5*k - 4*q + 83, 3*k - q - 23 = 0. Is k a prime number?
False
Let q be (1 - 3/2)*-6. Let o(w) = -w**3 + 4*w**2 + 5. Let m be o(4). Suppose g - m*d - 29 = 0, 5*g = d - q*d + 91. Is g composite?
False
Suppose -5*d - 2*c + 7*c = -235, -94 = -2*d - 4*c. Suppose d + 12 = i. Is i a composite number?
False
Suppose 3*i = 2*v + 3 + 10, 3*v + 2 = i. Suppose -i*l = -87 - 83. Is l prime?
False
Let t = 5 + 0. Suppose -5 = t*x - 25. Suppose -x*n = 3*u - 631, -5*u - 1 + 6 = 0. Is n a composite number?
False
Let q(x) = x**2 - 4*x + 3. Let z be q(4). Is 1 - ((-237)/z - 3) a prime number?
True
Let i = 13 - 8. Suppose -i*n + 2*n + 15 = 0. Suppose 0 = n*k - o - 11, 3*k + k = 5*o - 8. Is k a composite number?
False
Suppose 2*k = k. Suppose -3*w - 2*h + 629 = 0, -4*w + 4*h - 77 + 929 = k. Is w a prime number?
True
Suppose -159 = 3*b + 3*m, -3*b = m + 53 + 108. Let t = -31 - b. Is t a composite number?
False
Let g(x) = 1 - 1 + 6*x**2 + 4 - x**3. Let f be g(6). Suppose -f*u = 4*k - 372, -4*k - 5*u + 271 = -k. Is k a prime number?
True
Let d(m) = 13*m**2 + m - 4. Let c be d(-5). Suppose 3*o - 63 = 4*l + 174, 0 = -4*o + l + c. Is o prime?
True
Let k = 280 - 124. Let j(v) = v**3 + 6*v**2 + 3*v - 2. Let p be j(-5). Suppose k - p = 4*q. Is q a prime number?
True
Let m be (-6621)/(-4) - 1/4. Suppose m = 5*u - 0*u. Is u a composite number?
False
Let f(m) = 32*m**2 + m + 1. Is f(-4) composite?
False
Suppose -h + o + 6 - 2 = 0, -3*h - 3*o = 0. Is 9215/35 + h/(-7) a prime number?
True
Let d(h) be the first derivative of -h**4/4 + 2*h**3 + 7*h**2/2 + 7*h + 3. Is d(7) a prime number?
True
Let x(d) = d**3 + d**2 - d - 1. Let p(o) = -2*o**3 + 2*o + 20. Let a(v) = p(v) + x(v). Let z = 1 + -1. Is a(z) a composite number?
False
Suppose 0 = -2*b - 4*d - 14, 4 = 2*b + 3*d + 13. Suppose -w + b*v - 10 = -2*w, -5*v = -4*w + 23. Is w a composite number?
False
Is (-3)/12 - (-2295)/12 composite?
False
Suppose 0 = 3*n + 7 - 1. Is (130/(-15))/(n/3) composite?
False
Let a(q) = q**3 + 9*q**2 - 2*q - 6. Is a(-8) prime?
False
Let y = 6 + -6. Let c(h) = 39*h - 2. Let k be c(2). Suppose y = i - 181 - k. Is i a prime number?
True
Suppose -3*k + 0*o - o = -14, 0 = o - 5. Let x = k + -7. Is ((-28)/3)/x*21 prime?
False
Suppose 3*g + 1267 = 4*f, -3*g - 2*g + 5*f = 2115. Let j = g - -626. Is (j/6)/(1/2) prime?
True
Let m = 267 + 424. Is m prime?
True
Suppose 5*t = 4*o + 20 - 7, -4*o = 5*t + 3. Let b = t - -1. Suppose -2*h - b*z + 0*z + 366 = 0, 0 = 4*h - 2*z - 744. Is h a composite number?
True
Let r(p) = p**3 + 3*p**2 + p + 1. Let d be r(-3). Let o(m) = -9*m**3 + 2*m**2 + m - 1. Is o(d) composite?
True
Let z(h) = h**3 + 4*h**2 + 2*h + 7. Let n be z(-5). Let y = 43 + n. Is y a prime number?
False
Suppose d = 5*d - 20. Suppose -d*p + 9 = -2*p. Suppose -g + 0*g + 19 = t, -t + 15 = p*g. Is t a composite number?
True
Let z(v) be the second derivative of v**5/20 + 5*v**4/6 + v**3/2 + v**2/2 + 3*v. Is z(-9) prime?
False
Suppose 0 = -3*m + 5*p - 4, -2*m + 4*p + 2 = 3*p. Suppose -m*g = 13 - 3, 0 = -2*i - 3*g + 455. Is i composite?
True
Let g(z) = 2 - 14*z - 32*z - 4 + 13*z. Let k be g(-2). Let o = k + -30. Is o a composite number?
True
Let t(y) = -y**3 - 13*y**2 - 18*y - 11. Is t(-13) prime?
True
Suppose i - 3*i + 298 = 0. Is i composite?
False
Suppose -2*h - 1479 = -5*h. Suppose 3*d - h = 386. Is d a prime number?
True
Suppose -7*q + 10 = -2*q. Suppose x = -t + 59 + 99, -t = -q*x + 313. Is x prime?
True
Let x(l) = l - 7. Let d be x(6). Let g(z) = -z + 1. Let c be g(d). Suppose c*h - h = 91. Is h composite?
True
Let n(p) = 21*p**2 + 3*p + 1. Is n(5) composite?
False
Let k = 8 - -51. Is k a prime number?
True
Let z(n) = 0*n - 4*n - 3 + 2*n. Let m be z(-3). Suppose 0 = -c + m*h + 25, 3*c - 37 + 2 = -h. Is c prime?
True
Let c(b) = -393*b + 1. Is c(-2) a composite number?
False
Let z(k) = k**2 - 9*k + 11. Let j = 26 + -15. Is z(j) a prime number?
False
Let m be (1 - 1) + 2/2. Let h be 4 - m*(2 - 3). Suppose h*r + 3*t = 2 + 408, 3*r - 232 = t. Is r composite?
False
Let z(c) = -2*c**3 + 5*c**2 - 4*c - 4. Is z(-5) prime?
False
Suppose -36 + 2 = -2*z. Suppose -f + 8 = 2*t, 0*f - 4*t - 44 = -4*f. Let l = z - f. Is l a composite number?
False
Let x be (-2 + 3)*(-30)/2. Let i be ((-12)/(-10))/((-2)/x). Is (-6)/i - (-59)/3 a prime number?
True
Suppose 3*j = -j + 76. Is j a composite number?
False
Suppose 0*i - 5*i + 1475 = 0. Is i a composite number?
True
Let k(n) = 257*n**2 + 5*n + 1. Is k(-1) a prime number?
False
Let t be 4/6 - (-688)/12. Let v = -12 - 21. Let s = v + t. Is s a prime number?
False
Let m be 11*(7 - (2 - 0)). Suppose -5*f + 46 = -2*q - 26, m = 4*f + q. Is f a prime number?
False
Suppose -4*a + a = -489. Suppose b = 2*d - 344, -4*b - 533 = -4*d + a. Suppose o + 43 = d. Is o composite?
False
Suppose y + 4*s = 2, -y + 1 = -s + 14. Is ((-5)/y)/((-1)/(-242)) a composite number?
True
Suppose 2*i + 7*i = 153. Suppose 2*f + 5*m - 13 = -0*m, -2*f - 22 = -2*m. Let p = i + f. Is p a prime number?
True
Let l be 95/30 - (-2)/(-12). Suppose -l*p + 13 = 1. Suppose 226 = p*b - 2*b. Is b a composite number?
False
Let q = -609 - -902. Is q composite?
False
Suppose -675 = -8*y + 5*y. Suppose -o = -y + 76. Is o a prime number?
True
Suppose 11*g - 2037 = 8*g. Is g a prime number?
False
Let h = 10 + -10. Suppose 0 = -h*o - 5*o + 1975. Is o composite?
True
Let k = -18 + 27. Suppose -4*q - 4*s + s - 27 = 0, k = 2*q - 3*s. Is (-2)/q*21/2 a prime number?
True
Suppose 2*r = -4 + 14. Is 713/r + 2/5 a prime number?
False
Suppose 0 = -5*a - z - 1, 3 = -a - 6*z + 3*z. Suppose -5*m - 3*q + 326 = -a*q, -2*m = q - 131. Is m a composite number?
False
Let j = -1961 - -2800. Is j composite?
False
Let q(y) = 164*y**2 - y. Suppose -2*i + 2 + 0 = 0. Is q(i) composite?
False
Suppose -3*f - 7 = -5*s + 640, 0 = -4*s - 8. Let x = 308 + f. Is x composite?
False
Let m(r) = -7*r + 4. Let p = 0 - 7. Is m(p) prime?
True
Is -1*((-445 - 1) + 1) composite?
True
Suppose 2*z = -5*j + 17607, -5788 + 2245 = -j + 5*z. Is j composite?
True
Let j(x) = 14*x**3 - 6*x**2 + 3*x + 9. Is j(4) a prime number?
True
Suppose -5*a = -3*y - 31, 0 = 3*a + y - 2*y - 21. Suppose 0 = -5*k + 4*h - 8, -a = -k + 2*h - 6*h. Suppose k = -4*s - q + 37 + 45, -s + q + 23 = 0. Is s prime?
False
Let m be (-12)/(-8) + (-1)/2. Is 39/(-26)*m*-254 composite?
True
Let r(c) = 250*c**2 - 29*c**2 + 1 - 3*c + 0. Let s(f) = 883*f**2 - 13*f + 4. Let g(l) = 9*r(l) - 2*s(l). Is g(1) a prime number?
True
Suppose 3*i + 2 = 4*i - 2*u, 3*i = -5*u + 17. Let s = i - 2. Suppose -2*d + 1 + 7 = 3*c, s*d + 16 = c. Is c a composite number?
True
Let r(b) = b + 7. Let t be r(-5). Suppose -u - 5*i = t*u - 9, 3 = u + 5*i. Is 78 + (0/u - -1) prime?
True
Let h(i) = 182*i**2 + 3*i - 1. Is h(4) a prime number?
False
Let n(k) = 2*k + 17. Is n(7) prime?
True
Let i = -1167 - -692. Let f be (-3 + i)/((-2)/3). Suppose -5*t - f + 1772 = 0. Is t a prime number?
True
Suppose -5*f = 3*g + 598, -f + 0*f = -g + 126. Let u = -27 - f. Is u composite?
True
Suppose -5*t - 311 = -4*c, 4*t - 400 = -5*c - t. Is c a composite number?
False
Let d = -73 + 428. Suppose 6*b + 61 - d = 0. Is b a prime number?
False
Let c(u) = -u**2 + 8*u + 7. Let k be c(8). Suppose k = 3*s + 1. Suppose s*r - 161 = 3. Is r prime?
False
Let t(l) = 4*l**2 + 11*l + 11. Is t(12) a composite number?
False
Let j = 204 - -92. Suppose 0 = -q - 73 + j. Is q a composite number?
False
Let c(j) = 3*j**2 + j**3 - 5*j**2 + 1 + 0*j**3 + j. Suppose 5*f - p = -3*p + 12, 0 = 3*f + p - 7. Is c(f) a prime number?
True
Let y(r) = 5*r**2 - r + 1. Let i be y(1). Suppose 2*f - 487 = -i*g, -5*f + 5*g + 199 = -1071. Is f prime?
True
Let n(r) = r + 1. Let j be n(1). Suppose l + 3 = s, -6 = 3*s + s + j*l. Suppose s = -5*f - c + 92, -6*f = -f + 2*c - 89. Is f prime?
Tr