 a composite number?
False
Let h(l) = -8*l**3 + 3*l**2 - l + 2. Let z be h(2). Let d = z + 90. Suppose d = 2*y + 4*q, 0 + 31 = y + 5*q. Is y composite?
False
Let d be (0 + -1)/(9/54). Is d*(-2)/4 - -698 prime?
True
Suppose 1 = -j + 3. Suppose 0 = -3*d - j*d - 4*s - 255, -5*d = -3*s + 255. Let z = -28 - d. Is z composite?
False
Suppose 5*c + 31 = 3*z - 0*c, 4*c + 12 = -4*z. Suppose -2*x - 2*x = -3*s - 25, -1 = z*x + 3*s. Suppose 0*k + 56 = x*k. Is k a prime number?
False
Suppose -28*k - 8696 = -36*k. Is k a composite number?
False
Suppose a = -4*a. Suppose 0 = -2*n - 3*c - 3 - a, -2*n - 4*c - 6 = 0. Suppose -4*d + 2*d = -n*r - 431, 0 = 3*d - 5*r - 646. Is d a prime number?
False
Suppose -2*j = -4*q - 3*j + 377, 3*j + 78 = q. Let g = -31 + q. Suppose 65 = p - g. Is p a prime number?
True
Suppose -3*z = -3*h - 2*z + 6542, 8736 = 4*h - 4*z. Is h composite?
False
Let t(f) = 24*f**2 + 7*f + 20. Is t(-9) composite?
False
Let j(p) = p - 1. Let q(s) = -137*s**2 - s + 1. Let w(n) = -2*j(n) - q(n). Is w(2) composite?
False
Let s(z) = z**3 - 5*z**2 + 7*z. Is s(5) a prime number?
False
Let s(c) = 8*c - 4. Let v be s(-3). Let d = v - -43. Is d prime?
False
Suppose 4*z + 1861 = 5561. Suppose 140 = y - 3*m, 4*y + 300 = -m + z. Is y composite?
True
Let p(x) = 2*x**3 - 8*x**2 + 6*x + 8. Let o be p(6). Let i = -99 + o. Is i composite?
False
Let r be (-21)/(-5) - 2/10. Suppose -r*b = -231 - 285. Is b a prime number?
False
Suppose -5*v + 5*s = -25, 2*v + 5*s = 5*v - 9. Is 6/(-24) + 762/v a prime number?
False
Let p(l) = l**2 - l + 5. Let r be p(0). Let d(i) = -i**2 + 5*i + 6. Let s be d(r). Suppose x + s = 4*f - 1, 2*x - 46 = -4*f. Is x composite?
False
Let t(h) = -h - 8. Let i be t(-6). Let s = i + 7. Suppose 0 = -n + s*n - 380. Is n prime?
False
Let k be (3/(-6))/((-2)/328). Is k/6 - 18/27 prime?
True
Let v(t) = t**3 - 7*t**2 + 4*t - 1. Let c be v(6). Let s = -6 - c. Let n(r) = 4*r - 9. Is n(s) prime?
True
Suppose -3*b = 10 - 28. Let r be -60*(2 + (-15)/b). Is r/9 - 2/6 a composite number?
False
Let a(p) = p**2 + 6*p. Let s be a(-7). Let u(o) = 9*o**2 + s*o**2 - 4*o**2 + 4*o - 3. Is u(2) a prime number?
True
Suppose 38 = 3*f - 0*x + 5*x, -4*x = 20. Let t = f - 15. Let q(j) = -j**3 + 7*j**2 - 2*j - 5. Is q(t) a prime number?
True
Suppose -4*z + 339 = 4*r + 91, -3*r - 5*z + 176 = 0. Is r a prime number?
True
Let i(t) = t**3 - 8*t**2 + 14*t - 15. Let q be i(12). Suppose 3*b - 1006 = -5*w + q, w - b - 339 = 0. Suppose -4*x + w = -0*x. Is x composite?
True
Let n(g) = 68*g + 9. Is n(8) a composite number?
True
Let h(s) = -2*s**3 + 3*s**2 - 2*s + 5. Let c be h(5). Let x = c + 557. Is x a prime number?
False
Let x = -75 + 153. Suppose -2*t - 2*t + b = -532, 2*t - 2*b - 266 = 0. Let o = t - x. Is o a composite number?
True
Suppose 6605 = 5*n - 2510. Is n a composite number?
False
Let z = 1 - 1. Suppose z = -3*r - 6*t + 4*t + 22, -2*r + 4*t = 12. Suppose 0 = 3*v - 4*y - 37 - 16, -r*v + 58 = y. Is v composite?
True
Suppose -3*m + 3 = -2*n, -5*m = -n + 5 - 24. Suppose -11*q + n*q = -55. Is q a composite number?
False
Let i(j) = 5*j**2 - 9*j + 1. Is i(-7) prime?
False
Suppose 74 = -0*n - 2*n + s, 2*s + 125 = -3*n. Let a = 48 - n. Is a prime?
False
Let a = 1 + 2. Let f be 16/a - (-4)/6. Suppose 2*j + f = 3*j. Is j a prime number?
False
Let a(y) = -379*y - 21. Is a(-2) composite?
True
Let y(n) = -2*n - 6 + n**2 - 1 - 4. Is y(-12) composite?
False
Let o(u) = u**2 - 2*u - 1. Let g be o(3). Let v be (3 + -4)/((-2)/g). Is (v - 2) + 0 + 56 prime?
False
Suppose 0 = 2*n - 25 - 45. Is n composite?
True
Suppose 0 = -3*f + 156 + 477. Is f prime?
True
Let o(x) = 52*x**3 - x**2 + x - 1. Is o(1) a composite number?
True
Let i(a) = -2*a - 2. Is i(-6) a prime number?
False
Suppose -17*n + 20*n - 1338 = 0. Is n prime?
False
Let p = 23 - 70. Let w = p - -310. Is w a composite number?
False
Let o(i) = 7*i**2 - 9*i + 8. Is o(6) prime?
False
Is (-1)/(-5) + 4620/25 a composite number?
True
Suppose -3*v - 4*p = -6*v + 617, -3*p = -12. Is v composite?
False
Suppose 4*p + 15 = -p - 5*w, 5*p = -4*w - 11. Let g be (p - 1)/(0 - 1). Is (-261)/(-3) + g/(-1) a prime number?
False
Let m(s) = -s**3 - 5*s**2 + 4*s + 6. Let u be m(-5). Is (-648)/(-21) + (-2)/u a composite number?
False
Let j = -15 + 7. Let x = -2 - j. Is (-432)/(-30) + x/10 prime?
False
Let q(l) = l + 11. Let i be q(-9). Suppose 3 = -i*a + a. Is a + (-7)/((-21)/54) prime?
False
Suppose -4*f + f + 933 = 0. Is f a composite number?
False
Suppose -5*b + 928 = 303. Let f = b + 204. Is f a prime number?
False
Let a = 234 - -233. Is a composite?
False
Suppose -3*r - r + 5476 = 0. Is r prime?
False
Let o = 553 - 288. Is o a composite number?
True
Let a = 710 - -168. Is a a composite number?
True
Suppose 3*s - 8 = 2*j, -8 + 32 = 2*j + 5*s. Suppose -j*p = -5*x + 5 + 16, -3 = -x + p. Is (-1)/x - (-32)/10 composite?
False
Is (-4787)/(-15) - (-4)/(-30) composite?
True
Is (-16)/88 - (-1245)/11 composite?
False
Suppose 2 = i - 3. Suppose w - 3 = f - 11, -3*w = -i*f + 50. Is f a prime number?
True
Let y(u) be the third derivative of -u**6/30 - u**5/60 + u**4/12 + 2*u**3/3 + 3*u**2. Is y(-3) a composite number?
False
Let y(v) = 13*v + 1. Let w = -7 + 11. Is y(w) a prime number?
True
Let f = -7 - -11. Suppose 6*u - 138 = f*u. Is u prime?
False
Suppose x + x = 298. Is x composite?
False
Suppose 4*b - 8*b + f = -314, 168 = 2*b + 5*f. Is b prime?
True
Suppose 0 = -7*d + d + 5946. Is d a prime number?
True
Let d(n) = 16*n**2 - 3*n - 4. Let o be d(3). Suppose 6*c - 1073 = -o. Is c a prime number?
True
Suppose -4*x = 6*x - 2650. Is x a composite number?
True
Suppose 0 = 5*w + 20, -45 + 5 = -5*v + 5*w. Suppose -s = v*s + 30. Is (-8)/s*174/4 prime?
False
Suppose 8*c - 4*c = -12. Suppose t - 4*t + 33 = 0. Let o = t - c. Is o a composite number?
True
Suppose -2*j - 3*k = j, 0 = 4*j - 2*k - 24. Let d = -4 + j. Is (28/2)/(1 + d) prime?
False
Is -4 + 5 + 1 + 671 a composite number?
False
Let i be 1/((2/5)/2). Suppose i*p - 781 = -3*o, 4*p - 229 = -3*o + 397. Is p prime?
False
Let t = -239 - -480. Let y(b) = -159*b**3 + b**2 - b - 1. Let r be y(-1). Suppose 3*o - o = -3*g + r, 3*o + 4*g = t. Is o prime?
True
Let p(t) = -2*t - 7. Let c be (-2 + 0)/((-2)/(-5)). Let o be p(c). Is (o + -2 - 2)*-19 a composite number?
False
Let t(a) = -42*a - 5. Let z be t(-4). Let r = z - 110. Is r a composite number?
False
Is (60/(-18))/((-4)/42) composite?
True
Suppose -5*z - 428 - 153 = -i, 5*i = -z - 111. Let q = z - -171. Is q composite?
True
Let l = 274 - -63. Is l composite?
False
Suppose o + 4*b - 1898 = -b, -5779 = -3*o + 2*b. Is o composite?
True
Suppose 0 = -2*y + 2*h, 2*y - 8 = -5*h + 6. Suppose g + 7 = y*k, -5*k + 29 = -k + 3*g. Suppose 109 + 6 = k*x. Is x prime?
True
Let v(j) be the third derivative of j**6/120 - j**5/60 - j**4/24 + 5*j**3/6 + j**2. Let o be v(0). Suppose 4*z - 4*k - 432 = 0, -555 = -o*z + k + k. Is z prime?
True
Let p(b) = -b + 3. Let l be p(5). Let d(g) = g - 1. Let q(u) = 2*u - 1. Let n(o) = 5*d(o) - 5*q(o). Is n(l) a composite number?
True
Let l(i) = -i**3 - i + 3. Let s be l(0). Suppose -2*j - 263 = -s*j. Is j a prime number?
True
Suppose 3*h + 1 = 3*v + 22, h + 5*v = -11. Suppose 96 = 2*o + h. Suppose -40 = -2*b + o. Is b a prime number?
True
Is -2*2 + (-25075)/(-17) a prime number?
True
Let z be (399/12)/((-1)/(-4)). Suppose z = b - 3*n, -3*n = b - 2*n - 117. Is b prime?
False
Let k be (0 - 2)*(3 - -2). Let a(p) = -p**3 - 8*p**2 + 2*p + 7. Is a(k) a composite number?
True
Suppose 121 = -2*m + 3*m. Is m composite?
True
Let q(c) = c**2 + 6. Let a = -13 + 8. Is q(a) composite?
False
Let v = -6 - -10. Suppose 2*s - 3*s + 100 = 4*m, 3*m - v*s = 94. Suppose 0 = p - 141 + m. Is p a composite number?
True
Suppose -3*h = 70 - 841. Is h a composite number?
False
Let r = -1953 - -3376. Suppose -2*v - 3*v = -4*g - r, v = -2*g + 293. Is v a composite number?
True
Let b = -48 - -130. Let q = 39 + 8. Let w = b - q. Is w prime?
False
Let n(u) = -13*u - 8. Let t be n(-10). Let i = 143 + t. Is i a composite number?
True
Let s(c) be the first derivative of -c**4/4 - 2*c**3/3 - 2*c**2 - 3. Is s(-3) prime?
False
Let o(w) = -3*w + 1. Let k be o(-1). Is 56/k*(0 - -1) composite?
True
Let f = 26 + -16. Suppose 0 = -0*o + 2*o - f. Suppose -96 = -3*k - 0*n + 3*n, -2*n - 169 = -o