site number?
False
Let l be 2/(-2)*(1 + 0). Let r(v) = 54*v**2 + 6*v - 1. Let h(f) = -108*f**2 - 11*f + 2. Let o(y) = -6*h(y) - 11*r(y). Is o(l) composite?
False
Suppose -5*u + 21 = 6. Suppose -25 = -u*k + 2*k. Suppose 6*z - z = k, 3*o - 164 = -z. Is o composite?
False
Suppose -2946 = -2*n - u, 4*n + u = -4*u + 5892. Is n prime?
False
Suppose -7*r = -0*r - 721. Is r prime?
True
Let v be 0/1 - (2 + 0). Suppose 2*b - 137 = -45. Is b/(-4)*(-4 - v) prime?
True
Let c(a) = -2*a + 11. Let d(k) = -4*k + 21. Let o(b) = 11*c(b) - 6*d(b). Let h be o(4). Suppose -128 = -h*q + 37. Is q a composite number?
True
Let m(n) = 3*n - 4. Let p be m(4). Is 4/p*4 - -353 composite?
True
Suppose -4*s + 10 = 5*k - 5, 3 = -k - 2*s. Suppose 0 = k*i - 3*i - 24. Is i a prime number?
False
Let g(u) = -u - 2. Let p be g(-7). Suppose -p*o + 1046 = 391. Is o a prime number?
True
Suppose -3*n + 5*n - 76 = 0. Suppose 3*r - 7*r + 2*m = -182, -3*m - n = -r. Is r a composite number?
False
Is 252 + (-2)/(-1) + -1 composite?
True
Let b be (-6)/(-8) + (-23)/4. Let p = b + 24. Is p composite?
False
Let o(w) = 93*w + 1. Is o(4) composite?
False
Let f(u) = u**2 + 9*u - 5. Is f(8) composite?
False
Suppose -5*z + 21 = 4*l, z - 4*l + 7 = -2*l. Let f be (z - 5)*(-26)/(-8). Let u = f + 36. Is u a composite number?
False
Let o(h) = 54*h - 9. Let n(t) = -18*t + 3. Let i(r) = 7*n(r) + 2*o(r). Is i(-3) a prime number?
False
Let w(l) = -2*l**2 + 0*l**2 - 3 + l**2 + 7*l. Let q be w(6). Suppose 53 = j + 7*i - 3*i, -q*j = -i - 94. Is j a composite number?
True
Let y(i) = -i**2 + 4*i + 3. Let s be y(6). Is (6/s)/((-6)/99) a composite number?
False
Let h be (-414)/27 + 2/6. Is 50/h*(-582)/4 a composite number?
True
Suppose -2*r - 1 + 5 = 0. Is 17 + 1/r*-6 a composite number?
True
Suppose 0*k = k. Suppose -2*a + 0*a + 518 = k. Is a a prime number?
False
Suppose -10*s + 15964 = -6*s. Is s prime?
False
Let y = -151 - -257. Suppose 36 = -2*p + y. Is p prime?
False
Suppose 5*v = 3*y - 664, -3*v + y - 124 = 276. Let w = v - -261. Is w composite?
False
Suppose -4*g + 48 = -0*g. Let t = g + 13. Let m = -10 + t. Is m composite?
True
Suppose -2*w - 3*d + 4 = 0, -5*d + d + 4 = 2*w. Suppose 5*y - r = w*r + 1030, 416 = 2*y - 2*r. Is y prime?
False
Let m be (0 - -2)/4*530. Suppose -6*t + m = -t. Is t prime?
True
Suppose 0 = 28*b - 29*b + 49. Is b a composite number?
True
Let l(d) = d**3 + d**2 + 2*d + 1. Let a be l(-1). Is (-1)/(234/(-231) - a) prime?
False
Let q = -13 + 18. Suppose 0*i - q*i = -5, -5*r - i = 4. Is 0 + 5 - (0 + r) a prime number?
False
Let b = 1640 + -907. Suppose -4*x = -i + 161, b = 5*i - 3*x + 7*x. Is i a composite number?
False
Let i(q) = 38*q. Let m be i(3). Let a = -57 + m. Suppose 0 = 5*r - a - 13. Is r prime?
False
Suppose -2*n + 3 = -5*k, 5*n = 4*k - 0*n + 16. Let p = 7 - k. Is p prime?
False
Let w = 5 + -5. Suppose 2*y + g = -w*g + 55, 6 = 2*g. Is y composite?
True
Suppose 4*u = 12401 + 23835. Is u a prime number?
True
Let y(q) = q**3 - 2*q**2 - q + 5. Let f be y(4). Suppose -5*p - f = -13. Is 3*3 + p + 2 composite?
False
Let n(c) = 2*c**3 - 4*c**2 + c + 13. Is n(6) a composite number?
False
Suppose 3*v - 68 = 43. Is (-1)/((-2 - -1)/v) composite?
False
Let p = -1 + 5. Suppose p*t = -75 + 559. Is t a prime number?
False
Let c = 1142 - 660. Is c a composite number?
True
Let a = 13 - 7. Let j(k) = 8*k**2 + 2*k - 5. Is j(a) prime?
False
Let b(x) = 4*x**2 + x - 3. Suppose 21 + 4 = -5*p, -2*p - 19 = 3*w. Let y be b(w). Suppose -f - 2*l - 2*l = -y, 3*f + 4*l - 58 = 0. Is f prime?
False
Let w = -1 + 3. Let d(p) = 2*p**3 - 4*p**2 + 2*p + 2. Let n be d(w). Suppose n*z - z - 95 = 0. Is z composite?
False
Let s(i) = -4*i + 11. Let x(l) = l - 1. Let a(t) = -s(t) - 6*x(t). Is a(-9) composite?
False
Suppose 1407 = -2*j + 3*g + 12575, 27907 = 5*j - g. Is j composite?
False
Suppose v - 1198 = 616. Is v prime?
False
Suppose 2*a = -2*a + 72. Suppose 3 = -3*u + a. Suppose -196 = -u*k + k. Is k a composite number?
True
Suppose 1584 = 3*g + 3*t - 750, 3894 = 5*g + t. Is g composite?
True
Let l be 91/5 - (-14)/(-70). Is (-4)/l - (-2139)/27 a prime number?
True
Suppose -2*r - 2*f + 2402 = r, -3*f - 6 = 0. Is r prime?
False
Let i be 46 + 4 + -2 + 2. Let g = i + -93. Let k = g + 170. Is k prime?
True
Let w(r) = 50*r**3 - 2*r**2 - 2*r + 3. Is w(2) a prime number?
False
Let l(g) = -g + 17. Let q be (-6)/4*28/(-6). Is l(q) a composite number?
True
Suppose 4*y - 8 = 4. Suppose -y*b = 2*v - 15, -b - 2*b = v - 12. Suppose -2*j = s + 34 - 145, 0 = v*j + 5*s - 184. Is j a prime number?
True
Suppose 0*h - 18 = 3*h. Is 4/h - 352/(-6) prime?
False
Suppose 1 + 4 = -5*f. Is f/6 + (-2135)/(-30) a prime number?
True
Suppose -f + 95 = 4*v, f + 4*v + 127 = 2*f. Is f composite?
True
Let o = 78 - 170. Let f = o + 185. Is f a prime number?
False
Let n = -389 - -806. Suppose 6*m - 3*m = n. Is m composite?
False
Is ((-233)/(-1))/(4 - 3) prime?
True
Let t = -2 - -6. Suppose 4*v + 31 = 3*x - 2*x, 0 = -2*x - t*v + 2. Is x a composite number?
False
Suppose -12*g - 6164 = -16*g. Is g prime?
False
Suppose -8*o + 4*o + 4268 = 0. Is o composite?
True
Suppose -3*j + 35 + 46 = 0. Let f = j - -26. Is f a prime number?
True
Suppose 3*m + 0*o = 4*o + 243, 2*m = -5*o + 162. Let p = m + -46. Is p a prime number?
False
Let a(h) = -127*h**2 + 1. Let i(o) = -o**2 - o - 1. Let w be -1 + (-1)/1*0. Let l(d) = w*a(d) - i(d). Is l(-1) prime?
True
Let n(x) = x**2 + 3*x + 1. Let y be n(-4). Let i(p) = 9*p + 6. Is i(y) a composite number?
True
Let w(b) = b**3 + 3*b**2 + b - 5. Is w(4) prime?
False
Let s = 8 + -5. Let j = s + -1. Suppose 4*f - 54 = -5*d, d = f - j*f + 10. Is d a composite number?
True
Let h(a) be the first derivative of 2*a**3/3 + 3*a**2 - 3*a - 4. Let u(b) = -2*b**3 + 3*b**2 - 2*b + 2. Let f be u(2). Is h(f) a composite number?
True
Suppose 4*v - 20 = 4*z, -v - 7 = z - 4*v. Let b = 11 + z. Suppose -5*t = 4*u - b*u + 20, 0 = u + 5*t - 20. Is u prime?
False
Let s(o) = 3*o**2 + 6*o - 6. Let g be s(4). Suppose 0 = 3*m - 2*m + g. Let v = 1 - m. Is v composite?
False
Suppose 2*t + 16 = 4*r + 6, -5*t + 4*r = 37. Let q(z) = z**3 + 9*z**2 - 11*z + 7. Is q(t) a composite number?
True
Let z be (-2)/(1 - -1)*13. Let d = -8 - z. Suppose 3*n = -d*r + 613, -2*n + r + 382 = -44. Is n prime?
True
Let s(g) = g**3 + 4*g**2 - 7*g - 2. Let h be s(-7). Let f = 189 + h. Is f a prime number?
True
Suppose -5*p - 4*d = -3531, -3*d = -p + 2*d + 712. Is p a composite number?
True
Let t be (25/10)/(2/156). Let b = -116 + t. Is b a prime number?
True
Let c(g) = -g**2 + 1. Let t be c(-2). Let q = t - 0. Is 14/((-1)/q*3) composite?
True
Suppose 5858 = 2*m - 2056. Is m composite?
True
Suppose -2*b = -4*n + 10, 7 = -n - 3*b - 8. Suppose n*k = -3*k + 555. Is k composite?
True
Suppose 0 = -b + 2*b - 2*a - 37, 2*b - 54 = -a. Suppose 0 = 3*k - 10 - b. Is -2 - (-3)/(3/k) a composite number?
False
Let k(c) = 734*c**2 - c + 7. Is k(2) prime?
False
Suppose 0 = 9*y - 13*y + 1348. Is y a prime number?
True
Let h = -11 + 3. Let f(c) = -c - 6. Let g be f(h). Suppose -3*s - g*r + 63 = 0, s - 3*r + 1 = 22. Is s prime?
False
Let v(x) = -8 + 0 - 5*x - 1 - 11. Is v(-15) a composite number?
True
Let h(d) = 4*d + 5. Is h(12) a prime number?
True
Let q = -42 - -293. Is q a composite number?
False
Let t(a) = 23*a + 1 + 2 - 5*a. Let m(l) = -2*l - 2. Let u be m(-4). Is t(u) a composite number?
True
Let b(y) = 6*y**2 - 19*y - 5. Let s(o) = -5*o**2 + 18*o + 5. Let x(q) = 4*b(q) + 5*s(q). Let c = -7 + 13. Is x(c) a composite number?
False
Let s be (2*-15)/2 + 2. Let h = 80 + s. Is h composite?
False
Suppose 0 = -h - 1 - 1. Is h*(0 + (-21)/2) prime?
False
Let g(v) = -v**3 - 2*v**2. Let q be g(-1). Is (12 - 13)/(q/53) prime?
True
Let y = 3595 + -1392. Is y a composite number?
False
Suppose -3*v - 662 = -5*v. Is v composite?
False
Let w(k) = 8*k**2 - k + 11. Let r be w(8). Let g = r + -120. Suppose -2*y = -7*y + g. Is y a composite number?
False
Suppose 3*g + 2*w + 557 = -284, 2*g + 568 = -5*w. Let j = 490 + g. Is j a composite number?
False
Let u = -8 - -13. Suppose -n + u*n + 8 = 0. Is n*((-263)/2 - 1) composite?
True
Let h = 31 + -28. Is h prime?
True
Let t(r) = 22*r**2 - 2*r - 5. Suppose 2 - 12 = -2*b. Is t(b) a prime number?
False
Suppose 0*u = 3*u - 9. Suppose -2*z + z = -u*r - 89, -5*z - r + 381