site?
True
Let z = 2452 + -651. Is z prime?
True
Suppose 0 = 2*i - 0*d - d - 316, 3*i + 5*d = 487. Is i a composite number?
True
Suppose -2*h + 2487 = 3*s, -4584 = -4*h - 2*s + 410. Suppose -2*m + h = m. Is m a composite number?
True
Let g(o) be the first derivative of -67*o**2 - 3. Is g(-1) a composite number?
True
Let r(u) = -3*u - 1. Let v = -9 - -20. Suppose v + 1 = -3*o. Is r(o) prime?
True
Let p(y) = -y + 7. Let k be p(8). Is -2*(k - (-297)/(-2)) prime?
False
Let o(h) be the first derivative of h**3 + 7*h**2/2 + 2*h + 3. Let r(x) be the first derivative of o(x). Is r(8) prime?
False
Let o(z) = 10*z**2 - z. Is o(-1) a composite number?
False
Is (-4 - -2) + (-3253)/(0 - 1) a prime number?
True
Let h(p) be the second derivative of -p**5/20 + p**4 - p**3 - 9*p**2/2 + 4*p. Is h(8) a prime number?
True
Suppose -2*v + 3*g - 19 = -3*v, 5*g + 15 = 5*v. Is v a prime number?
True
Let m = 149 - 4. Is m a prime number?
False
Let s(q) = -q**3 + 5*q**2 + 5*q - 5. Let f be s(5). Let c = -17 - f. Let p = 96 + c. Is p prime?
True
Is 2 - (4 - 0) - -757 a prime number?
False
Let f(i) = 0*i**2 - i + 31 - 5*i**2 + 4*i**2. Suppose 0*x = -4*x. Is f(x) prime?
True
Suppose -64 = -4*x - 5*k, -4*k - k + 43 = 3*x. Is (x/(1 - -2))/1 a prime number?
True
Let l = 2 + -1. Let j(s) = -l - s - 4*s + 4. Is j(-4) a prime number?
True
Suppose -y - 46 = 3*p, 0*p + 5*p + 80 = -5*y. Let z be ((-3)/(-2))/(p/(-50)). Let i(t) = -t**3 + 5*t**2 + 4*t + 5. Is i(z) composite?
True
Suppose 1 = t - 2*r - 4, 0 = 4*t - 2*r - 26. Suppose 4*j + j = 775. Suppose -2*v - j = -t*v. Is v a composite number?
False
Suppose 2*a = -2*a + 88. Suppose s - 2*g - 53 = a, 2*s = -2*g + 138. Is s a composite number?
False
Suppose -h + 6*h = 0. Let n = h - -1. Is 1/n + (-170)/(-5) composite?
True
Let v = -1562 + 7419. Is v a composite number?
False
Is 0/(-4) + (224 - 1) composite?
False
Suppose 0 = 5*d - v - 844, -19 = 4*d + 3*v - 698. Is d prime?
False
Suppose 0 = 5*i - z + 4, -8 = 3*z - 5*z. Suppose 4*o + 16 = i, -u + 2*o + 7 = -90. Is u a prime number?
True
Let t be 11 - 3/(3 - 2). Suppose 3*x = -9, -5*d - t*x + 650 = -3*x. Is d a composite number?
True
Suppose 4*w + 4*g = 20, 4*w = -w - 2*g + 25. Let q(j) = j**2 - 7*j - 4. Let b be q(8). Suppose -3*h + 105 = b*n, 2*h - 48 - 22 = w*n. Is h a composite number?
True
Suppose 11 = 2*f - 5. Let h = 14 - f. Is h a composite number?
True
Suppose 2*l - 3*h = 836, -l + 407 = 2*h + 2*h. Is l composite?
True
Let r(f) = -2*f**2 + 9*f - 10. Let o be r(9). Let j = o - -156. Is j a composite number?
True
Suppose 0 = -0*c - c + 257. Let a = c - 124. Is a composite?
True
Let o(x) = 11*x**2 + 5*x - 16. Let y be o(7). Let s = y + -229. Is s a prime number?
False
Let y = 32 + -17. Suppose -3*t - 12 = 0, c - 5*t - y = 12. Is c a prime number?
True
Suppose q + u - 309 = -56, 0 = 3*u + 12. Is q a composite number?
False
Let s(t) = -t**3 - 7*t**2 + 3. Let j be s(-7). Let f(o) = 2*o**2 - 3*o - 1. Let i be f(j). Suppose 0 = p - i - 29. Is p a composite number?
False
Suppose 5*s = 3*s + 114. Suppose 2*x = s + 21. Is x composite?
True
Let k = 429 - 226. Is k prime?
False
Let o(v) = -v**2 + 3*v**2 + 0*v - 2*v + 3. Is o(5) prime?
True
Let f(a) = a**3 - 5*a**2 - 6*a + 3. Let x be f(6). Suppose x*g = 5*g - 466. Is g composite?
False
Suppose -5*a + j - 94 = 0, 6*a - a = 3*j - 92. Let v be (1/(-2))/(1/12). Let h = v - a. Is h a prime number?
True
Suppose 6 = 5*a - 4. Suppose 4*p - 844 = -4*v, a*p = -3*v + 443 + 188. Is v a prime number?
False
Suppose -4*w + 2052 = -4*k, -5*w + k + 2336 = -233. Is w composite?
True
Let o(d) = -69*d - 11. Is o(-2) a prime number?
True
Let c be (-89)/7 + (-4)/14. Let l = -9 - c. Suppose l*m - 85 - 103 = 0. Is m a prime number?
True
Let m(b) = -5*b**2 - 9 + b**3 + b**3 + 12*b**2 - b**3 - 12*b. Is m(-8) prime?
True
Let u(k) = 77*k. Let c be u(1). Let t = c + -54. Is t a prime number?
True
Is ((-3)/(-6))/((-2)/(-532)) prime?
False
Suppose -d + 12 = 3*d. Suppose -d*o = -0 + 6, 5*j - 5*o = 1335. Is j prime?
False
Suppose -3521 = -c + 324. Is c composite?
True
Suppose s + 490 = 3*h, 3*s + 0*s = -5*h + 812. Is h a composite number?
False
Let w(s) = -s**3 - 6*s**2 - 3*s + 7. Suppose -2*t = 3*a + 22, 16 = a - 0*a - 4*t. Let d = a + -2. Is w(d) prime?
False
Let k be (-2)/(-4) + 2/4. Is (-56)/(k/(-1)) - 3 prime?
True
Let b = 1270 + -537. Is b a composite number?
False
Let w(b) = -b**3 - 9*b**2 - 13*b - 11. Let p be w(-8). Let v = p - -48. Is v a prime number?
False
Let b be -3 + (4 + -7)*-23. Suppose 3*z = b + 72. Is z prime?
False
Let m = 6 + -4. Let r be (-1)/m*(-12)/6. Let c = r - -6. Is c prime?
True
Let g(w) be the third derivative of w**5/60 - 5*w**4/24 + w**3/6 - w**2. Is g(7) a composite number?
True
Suppose -5*l + 227 = -658. Is l composite?
True
Let h(g) = -20*g + 140*g - 1 + 274*g. Let c be h(1). Suppose -c = -4*b + q, -4*b + 398 = q - 3*q. Is b a prime number?
True
Let b = 5 - 9. Is 1*(b/(-2) - -155) a composite number?
False
Let s be (0 - 32/(-12))*-3. Is s/(2/1) - -95 a composite number?
True
Let f be (-58)/(-7) + 2/(-7). Suppose 0 = -m - f*c + 3*c - 24, 4*m + 3*c = -28. Is ((-259)/m)/((-3)/(-12)) a composite number?
True
Let k = -312 + 54. Let j = k + 385. Is j a prime number?
True
Let d = 0 - 1. Let u be d - (1 + -4)/(-3). Let x = 4 + u. Is x prime?
True
Suppose 3*i = -3*c, i + 2*c + 2 = -0*c. Is 28 + i + -4 + 5 composite?
False
Suppose -5*t = -200 - 65. Is t a prime number?
True
Let m = -257 + 744. Is m prime?
True
Let u(b) be the third derivative of 3*b**2 + 0*b - 1/120*b**6 - 1/6*b**5 - 1/2*b**4 + 2/3*b**3 + 0. Is u(-9) a composite number?
False
Suppose -5*h + 1789 = 734. Is h a composite number?
False
Suppose -3*h = -6*h + 2247. Is h a prime number?
False
Suppose 405 = 5*w - 725. Suppose 3*h - u = 162, -4*h - 3*u = -u - w. Is h composite?
True
Let d(x) = -3 + 7*x - 1 - 6*x. Let u be d(8). Suppose -4*g + 6 = 2*i, u = g - 2*i - 5. Is g composite?
False
Let g(k) = 5*k**2 + 4. Let o be g(-4). Let f = o - 37. Is f composite?
False
Suppose 362 = 4*q + 2*h, -5*h - 211 = -4*q + 2*q. Is q composite?
True
Let m(u) = -1055*u - 2. Is m(-3) a composite number?
False
Suppose 5*q - 17 = 178. Let x = q - -10. Is x composite?
True
Let d(i) = 5*i**2 - 6*i - 18. Is d(-7) prime?
True
Let f(g) = -12*g**3 + 1. Is f(-4) prime?
True
Suppose -4*b = 12, 4*b = -2*n - 3*n + 1513. Is n prime?
False
Let g(r) = 6*r**2 - r - 4. Let i be g(-3). Let o be (38 - -2)*(-8)/10. Let v = o + i. Is v prime?
False
Let x(y) = y**3 - y**2 + 235. Let c be x(0). Suppose -10*q = -5*q - c. Is (q/(-5) + 2)*-5 a prime number?
True
Suppose 3*n - 16 = -2*b, b = 3*b - n. Suppose b*o + 5*k - 25 - 65 = 0, 0 = -2*o - 2*k + 84. Suppose -o = -p - 5. Is p a composite number?
True
Suppose -2*j - j = -6. Let i(k) = -2*k**2 + 2*k + 1. Let m be i(j). Let z(u) = -2*u**3 - 3*u**2 - 2. Is z(m) prime?
False
Let j = 29 - 64. Is 10/j - 555/(-7) a prime number?
True
Let g be ((-46)/(-4))/((-8)/(-16)). Let o = g - -56. Is o a composite number?
False
Suppose y = 4*y + 750. Let o = y - -418. Suppose 3*h - o = 69. Is h prime?
True
Suppose -12 - 140 = 2*x. Is (-6)/27 - x/18 prime?
False
Suppose 2*l - 16 + 74 = -5*s, 4*s - 2*l = -50. Let m = s + 127. Is m a prime number?
False
Suppose 3*f = -f - 1264. Let l = f + 539. Is l prime?
True
Let s = -3372 + 4957. Is s prime?
False
Suppose 2*s + 4*h - 2*h = 1100, -h - 2756 = -5*s. Is s composite?
True
Let z = 11 - 60. Is (-3885)/z + (-2)/7 a composite number?
False
Let k(c) = -2*c**2 - 3*c + 547. Is k(0) a composite number?
False
Suppose -4*h - 210 = -854. Is h a prime number?
False
Let m = 40 + -30. Is ((-836)/(-55))/(4/m) a composite number?
True
Suppose 5*z = -j + 18, -3*z + j + 18 = 4*j. Let v be 15*((-10)/z + 1). Is 0 - (3 + -2) - v a composite number?
True
Let h(i) = i**2 - 4*i - 7. Suppose a - 4 = -a. Let n be a*(-2 + -1*2). Is h(n) composite?
False
Is 49/21*(1 - -50) prime?
False
Suppose 5*d + a = 55, -5 = 2*a - a. Let h = 1 + 66. Suppose h - d = b. Is b prime?
False
Let p(f) = -52*f - 3. Is p(-13) a composite number?
False
Let f(a) be the first derivative of a**3/3 - 7*a**2/2 - 6*a + 4. Let p be f(6). Let c = p - -131. Is c composite?
True
Let v(w) = -w**3 - 6*w**2 - 5*w + 5. Let b be v(-5). Suppose h - 11 = -b*y, 0 = h - 2*y - 24 + 6. Let p = 31 - h. Is p a composite