composite number?
True
Suppose -5*s = y - 0*s - 24, 0 = 5*s - 20. Suppose u + 33 = y*u. Suppose -u = -f + 10. Is f a composite number?
True
Is (-252 - 5)/((-2)/2) composite?
False
Is 11/33 - 7216/(-6) a composite number?
True
Let h(s) = 4*s + 5*s + 5*s**2 + s - 5*s - 2. Is h(3) a composite number?
True
Let b = -5 - -2. Let a = 2 - b. Is (a + -7)*131/(-2) a composite number?
False
Let x(k) = -k - 9. Let j be x(-4). Let t = -3 - j. Suppose -3*f + 7 = -t*f. Is f a prime number?
True
Let g = 533 - 753. Let y = -122 - g. Suppose 0 = -2*l + y + 8. Is l a composite number?
False
Suppose 58 = 5*n - 57. Is n a prime number?
True
Let l = -122 + 309. Is l a composite number?
True
Let j(a) = -10*a + 0 - 12 + 2*a**2 - 3*a**2. Let o be j(-9). Is 0*o/6 - -37 composite?
False
Suppose 4*p = -3*h + 32, h + 2*p - 6*p = -16. Suppose 5*o - 51 = h*o. Is o composite?
True
Let h(a) = -21*a - 2. Let z(u) = 20*u + 1. Let i(d) = -2*h(d) - 3*z(d). Is i(-1) a prime number?
True
Let h(o) = 423*o**2 - 7*o - 13. Is h(-2) prime?
True
Let q(x) = x**3 - 8*x**2 + x - 1. Let w be q(8). Suppose 3*h - 3*p - 1401 = 0, -3*p + w*p = -h + 467. Is h a prime number?
True
Let v(r) be the second derivative of -r**4/12 - 4*r**3/3 + 3*r**2/2 + 3*r. Is v(-4) a prime number?
True
Suppose -85 = -o + z, -5*z = 5*o - 132 - 243. Suppose 2*i = -2*g + o, 0 = -3*g - 2*g + 5. Is i a prime number?
False
Let k be -3*(2 - (-8)/(-3)). Suppose -m = k*m. Suppose 4*z - 47 - 5 = m. Is z composite?
False
Suppose 3*p - 4*i = i + 4031, 5*p = i + 6689. Is p prime?
False
Is 1/(((-6)/(-339))/2) composite?
False
Let p(l) = -4*l**3 + 2*l**2 - 3*l - 3. Is p(-2) a composite number?
False
Suppose 417 = 2*n - 169. Is n composite?
False
Suppose 2*j + 3 = -j. Let v = 22 - j. Is v composite?
False
Let y(i) be the second derivative of 1/6*i**3 + 1/2*i**2 + 9/20*i**5 + 0 + i + 1/12*i**4. Is y(2) a prime number?
True
Let z = -760 + 1217. Is z a composite number?
False
Let t(d) = -d**2 - 5*d + 6. Let k be t(-6). Suppose -6 = 2*u - 3*u. Suppose p + u + 2 = -5*b, k = b + 2. Is p a prime number?
True
Suppose 4*f = -0*f + 1228. Is f a composite number?
False
Suppose -35 = -i + 216. Is i composite?
False
Is -3 + (-4 - -3) + 393 prime?
True
Is (-2 - -33)/(3/21) - 3 a prime number?
False
Let o(j) = -21*j**3 - 6*j**2 + 13*j - 4. Let s(u) = 10*u**3 + 3*u**2 - 6*u + 2. Let h(w) = 2*o(w) + 5*s(w). Let z be h(2). Let b = -31 + z. Is b composite?
True
Is ((-23)/2)/(1/(-2)) a composite number?
False
Let h(d) = 11*d - 1. Let a be h(4). Suppose 0 = 5*f + 2*o - 629, -f = -2*o - a - 90. Is f a composite number?
False
Suppose 0*h + 3*h = 0. Suppose -8 = -3*q - 2*p, 0 = -q - h*p + 2*p. Suppose -5*y + 294 = -w, -2*w - 116 = q*y - 4*y. Is y a prime number?
True
Let l(o) = 10*o**2 - 9*o + 7. Let q(i) = -5*i**2 + 5*i - 3. Let j(b) = 4*l(b) + 7*q(b). Is j(5) prime?
True
Suppose -524 = -0*i - 4*i. Let k = i - 78. Is k a composite number?
False
Let x(v) be the second derivative of -v**5/20 + v**4/2 + 7*v**3/6 - v**2/2 - 3*v. Is x(5) prime?
True
Let v = 4 - -4. Suppose -3*j = t - 13 + 3, 0 = 3*t - 2*j - v. Suppose 329 + 179 = t*p. Is p composite?
False
Suppose 4*k = -k. Suppose 1675 = 5*m - 2*f, k = 5*m - 2*f + 6*f - 1675. Is m composite?
True
Suppose -1706 = -2*z + 1064. Is z a composite number?
True
Is 22697/15 + (-4)/30 a prime number?
False
Is 14/(-70) + (-25866)/(-5) composite?
True
Let n = 13 + -13. Suppose 3*k + 234 = 2*y, -k = 5*y - n*k - 619. Is y prime?
False
Let o(x) = 12*x**3 - 5*x**2 - 6*x. Is o(5) a prime number?
False
Let r = 251 - -128. Is r prime?
True
Suppose y = -4*a - 44 + 1432, -347 = -a + 2*y. Let d = a - 186. Is d a prime number?
False
Let w = -5 - -8. Let i(f) = -4*f + 14. Let s(b) = -b + 5. Let x(u) = -3*i(u) + 8*s(u). Is x(w) composite?
True
Let z(d) = 58*d**3 + 3*d**2 - d + 1. Let o(v) = -174*v**3 - 10*v**2 + 4*v - 4. Let b(y) = 2*o(y) + 7*z(y). Let s = 2 + -1. Is b(s) prime?
True
Let v(f) = -5*f + 7 + f + 4*f**2 - f**2. Is v(6) composite?
True
Is (0 + -2)*795/(-6) prime?
False
Suppose 0 = -3*f - 6 + 15. Suppose 2*z + f*z = -3*p + 490, 0 = -3*p + 4*z + 445. Is p composite?
True
Let h = -26 - -29. Let p = 7 - 4. Suppose p*t - h*g - 87 = 21, 0 = 3*g - 3. Is t a prime number?
True
Suppose -2*z + v - 22 = -4*v, 0 = -3*z + 3*v - 24. Is ((-52)/(-8))/((-1)/z) a composite number?
True
Let k = 293 + -39. Suppose 4*b = w - 0 + 18, -4*w - 12 = -4*b. Suppose 0 = w*h - 2*f - k - 120, -3*h - 5*f = -593. Is h a prime number?
True
Suppose 0 = -5*z + 2*z + 15. Suppose -u - z*v - 2 = -0, 5*u = -2*v + 105. Is u prime?
True
Is 3/15 - (-63256)/20 composite?
False
Let r = 38 - 17. Is r prime?
False
Let f = 14 - 9. Let k = f + 2. Suppose -k*s = -2*s - 95. Is s a prime number?
True
Suppose -3*t + 13665 = 5*i, 23894 = 4*t + 4*i + 5674. Is t composite?
True
Let f be 4/10 + 19152/45. Suppose -v = 2*v - f. Is v a prime number?
False
Let x be 3*(-2)/(-12)*0. Suppose x = h - 0*h. Suppose -10 = -5*r, -2*m + 244 = -h*m + 3*r. Is m prime?
False
Suppose -4*w - 15 = -551. Is w prime?
False
Let k be ((-3)/6)/(2/(-48)). Suppose -y - 2*y = -k. Suppose y*t - c - 21 = -0, 5*c - 3 = 2*t. Is t a prime number?
False
Suppose -246 = -4*v + 286. Let x = v - 50. Is x prime?
True
Let f(m) = m**2 - 3. Let x be f(-3). Is (-5)/(-15) - (-196)/x composite?
True
Suppose 0 = -3*z + 236 + 31. Is z a prime number?
True
Let j(b) = 5*b**2 - 3*b + 1. Let y be j(2). Suppose 0 = -3*a + y, 4*u = 6*u + a - 9. Is 2 + ((-210)/u)/(-3) prime?
True
Let g(k) = k**2 - k + 8. Let r be g(0). Suppose 0 = 4*z - r - 4. Suppose 0*j = -3*l + 3*j + 222, -2*l = z*j - 173. Is l a prime number?
True
Let d(x) = 19*x + 7. Let j(k) = 18*k + 6. Let b(c) = 3*d(c) - 4*j(c). Is b(-6) prime?
False
Suppose -4*a + q + 439 = 0, 224 = -a + 3*a - 2*q. Is a prime?
True
Let i(c) = 6*c**2 + 0*c - 1 - 2*c**2 + 2*c. Let j be (-8)/(-4) + (-4 - 0). Is i(j) a prime number?
True
Let f(s) = 195*s**3 - 3*s**2 + 7*s - 3. Is f(2) prime?
True
Suppose -5*g + 230 = 3*s, 2*g + 17 = 2*s - 115. Is ((-17)/2)/((-7)/s) prime?
False
Let y(z) = -z + 1. Let r be y(-2). Suppose -40 = -2*s - r*u, u = -0*u. Suppose -3*t = 2*t - s. Is t a prime number?
False
Let k(f) = f. Let c(b) = -41*b**2 + 5*b + 1. Let r(a) = -c(a) + 3*k(a). Let g = -31 + 29. Is r(g) a prime number?
True
Is 0 + 1 + 1 + 863 a prime number?
False
Suppose 0 = 3*s - 771 - 234. Is s prime?
False
Suppose -3*h + 2457 = 3*w, 2*h = -2*w + 3*h + 1635. Is w a prime number?
False
Let w(r) = r**2 - 4*r - 1. Let o be w(4). Let c be 5/(-7) - 20/70. Is c + 3 + (o - -336) prime?
True
Let c(p) = -10*p - 1. Let x be c(1). Let f = x - -10. Is 88 + f/(2/6) a composite number?
True
Let x(y) be the second derivative of y**6/90 + y**5/20 + 5*y**4/24 - y**3/2 - 3*y. Let q(w) be the second derivative of x(w). Is q(-6) a composite number?
False
Let d = 1563 - 190. Is d a composite number?
False
Suppose 5*j - 6 = 94. Suppose -n - 2*u - 3*u + 13 = 0, 5*u = j. Let k = 28 + n. Is k prime?
False
Let n = -1473 - -2108. Is n prime?
False
Let d(n) = n**2 - 14*n - 9. Let r be d(7). Let q = r + 125. Is q prime?
True
Suppose -3*r = -5*b + 1932 + 2198, 0 = -b + 4*r + 809. Is b a composite number?
False
Suppose 0 = 3*v - 12. Is ((-55)/10)/((-1)/v) prime?
False
Let z(n) = 35*n - 1. Let p(h) = -106*h + 3. Let g(s) = -3*p(s) - 8*z(s). Is g(1) prime?
True
Suppose -3*s + 5 = 2*s. Let i be 1 - s/(-2)*2. Is i/(-1) + -1 + 38 composite?
True
Let u(z) = 6 + 2 + 30*z - 3. Is u(5) composite?
True
Let s(t) be the second derivative of -t**3/3 + 3*t**2/2 + 3*t. Is s(-3) prime?
False
Suppose 0 = -3*v + 2*h + 2*h + 156, -268 = -5*v + 4*h. Suppose -5*y - 5*d + 67 = -48, 4*y - 5*d = v. Is y a composite number?
False
Let c = -2 - -5. Suppose -2*o + 2*a + 23 = 3*a, 0 = -3*a + c. Suppose o = 3*s - 2*s. Is s prime?
True
Let m = -102 - -3559. Is m composite?
False
Suppose -2*l - 178 = -3*l. Suppose 2*f - 64 = l. Is f a prime number?
False
Suppose 2*z + 2*z - 4460 = 0. Is z prime?
False
Let b be 91 - (-1)/1*-3. Let h = b + 75. Is h prime?
True
Let m(u) = 4*u + 1. Let x be m(1). Suppose x*r + 4*v = 39, -2*r + v = 2*v - 15. Is r composite?
False
Suppose 457 + 2235 = 4*m. Is m composite?
False
Suppose 3*r + s = -0*r + 18, -r - 3*s = -14. Suppose 0 = r*l + m + 2*m - 1530, 3*m = -3*l + 912. Is l composite?
True
Let p = -3 - -3. Suppose -q = -3