2. Let c be n(2). Let y = c - -529. Suppose -6*a + y = -a. Is a a composite number?
False
Let z = -125 + 374. Let q = z - 131. Is q a prime number?
False
Suppose 0 = 55*r - 53*r + 8. Is (-4696)/r - 0/(-1) a composite number?
True
Let q = 2 - -3. Let a = 332 - 2. Suppose 5 = -5*b, b + a = q*r + 6*b. Is r a composite number?
False
Suppose -1036*n + 1033*n = -381. Is n composite?
False
Let w = -1080 - -24331. Is w a composite number?
False
Let u(p) = -53*p - 5. Let k(x) = 53*x + 4. Let v(w) = -7*k(w) - 6*u(w). Let z(y) = 2*y**2 - 19*y - 34. Let o be z(11). Is v(o) prime?
False
Let i be 345/(-4) + (-15)/(-60) + -1. Let n = i + 866. Is n composite?
True
Let z(u) = 7*u**3 + 7*u**2 - 36*u - 5. Is z(5) composite?
True
Let n = 8 + -2. Let l be n/2*-67 - -2. Let f = l - -540. Is f a composite number?
True
Let s = -29 + 29. Suppose -i + 583 = -s*m + 2*m, 2*i - 4*m = 1182. Is i a composite number?
False
Suppose -4*d - 211 = 137. Is -3 + 3 - (d + 2) prime?
False
Let w = 36 + -23. Let d = 10 + w. Is d prime?
True
Let d(t) = -2*t**2 - 8*t + 12. Let a be d(-5). Is (a/3)/((-10)/(-4365)) prime?
False
Let t(u) = -3*u**2 - 6*u + 8. Let r be t(-9). Let g = r - -438. Is g a composite number?
False
Let v = 60634 + -16701. Is v prime?
True
Is ((-6268)/4)/(-1 + 0) prime?
True
Suppose 0 = -3*z + u + 61520, -5*z - 41016 = -7*z - 2*u. Is z composite?
False
Suppose 144*b - 2930467 = 47*b. Is b prime?
True
Let i = -606 - -858. Let x = i + 65. Is x prime?
True
Let r(w) = w**2 + 13*w + 12. Let m be r(-10). Is ((-78)/m)/(2/606) prime?
False
Let f(x) = -10*x**3 - 2*x**2 + 3. Let i be f(-3). Let y = i - 136. Is y prime?
False
Let i = 19985 + -8634. Is i a composite number?
False
Let n(j) = -j**3 - 7*j**2 - 5*j + 6. Suppose 24 = -5*k + k. Let z be n(k). Suppose 3*r - 2*r - 485 = z. Is r a prime number?
False
Let i(x) be the first derivative of 35*x**2/2 + 13*x - 8. Let o(s) = s**2 + 3*s - 12. Let y be o(-6). Is i(y) a prime number?
True
Suppose 12*q = 9*q + 6. Let b be 1336/40 + q/(-5). Suppose 2*o = b + 105. Is o prime?
False
Let u(f) = 253*f - 1. Let k be u(-2). Let o = -1441 - -2253. Let v = k + o. Is v prime?
False
Suppose 4*p = 40341 - 10257. Suppose 3*q = -342 + p. Is q a prime number?
True
Let j(z) be the second derivative of -3*z**5/20 - z**4/2 + 3*z**3/2 + 5*z**2/2 - z. Let n be 1 + (-175)/21 + (-2)/(-6). Is j(n) prime?
True
Let b be 468 + -2 + 3 - 1. Suppose 5*t - 402 = b. Let u = t - 31. Is u a composite number?
True
Suppose -5915 - 7763 = -14*b. Is b a composite number?
False
Suppose 4*k - 538 = 1234. Let l = 300 - k. Let x = l - -322. Is x a prime number?
True
Let a be 2*2*(-280)/32. Let y be (-26)/143 - a/11. Suppose -287 = -y*f - 5*w, 3*f - 239 = -4*w + 44. Is f composite?
False
Let c(v) = -2*v + 3. Let a be c(3). Is 1*(a + 2)*-57 prime?
False
Suppose -i = 3*m - m - 49, i = 5*m - 112. Let p(b) = 2*b**3 + 47*b**2 - 25*b - 36. Let r be p(-24). Let s = m + r. Is s prime?
True
Let n(h) = -h**2 + 13*h - 4. Let r be n(12). Suppose -1235 = -r*x + 3*x. Let w = -144 + x. Is w prime?
True
Let a(z) be the second derivative of -z**4/6 - z**3/2 + 3*z**2/2 + 7*z. Let h be a(-4). Let f = h + 676. Is f composite?
False
Let y(g) = 24*g**2 - 136*g + 87. Is y(34) a composite number?
True
Suppose 3*s = -q - 45 + 6, 4*q = -3*s - 129. Is 1672/14 - (q/14)/(-5) a composite number?
True
Let k(c) be the second derivative of 153*c**4/4 + c**3/3 + 34*c. Is k(-1) a composite number?
False
Suppose 6 = -2*h + 4*h. Suppose 11 = 4*w + h. Is ((-2)/6)/(w/(-534)) prime?
True
Let s = -1786 + 2593. Is s a composite number?
True
Suppose 3*p = 7*p + 1460. Let w = p + 814. Is w composite?
False
Suppose 0 = 3*p - 2*y + 6*y - 21, 7 = p - y. Suppose p*t = 18*t - 21439. Is t composite?
False
Let d be (14 - 2)/(-4) + 9. Is ((-11589)/d)/(2/(-4)) composite?
False
Let s = 875 - -1070. Is s a composite number?
True
Let j = 179 - 80. Let z = j - 65. Is z prime?
False
Suppose -97*s = -100*s + 7359. Is s composite?
True
Let q(s) = -s**3 + 7*s**2 + 9*s - 3. Let d be q(8). Suppose 229 = d*g - 166. Is g composite?
False
Suppose 0*c = 5*c - 2*y + 6, -3*c + 5*y = 15. Suppose c*n = 4*n. Suppose 4*s - 2*s - 1538 = n. Is s prime?
True
Let q = -26 + 22. Let f(l) = 10*l**2 + 6*l + 9. Is f(q) composite?
True
Let x = 27 - 21. Suppose -8*f - x = -9*f. Let g(o) = 62*o - 1. Is g(f) composite?
True
Is ((-702)/(-12) - -5)/(1/26) a prime number?
False
Let i(c) = -c**3 - 12*c**2 + 3. Let t be i(-12). Suppose -2*u = t*u. Suppose 175 = -u*g + 5*g. Is g a prime number?
False
Suppose -3*o - o + 536 = 0. Suppose -3*t - o = -1127. Is t a prime number?
True
Let d = -20709 + 42950. Is d a prime number?
False
Suppose -7*n + 4*n = -8817. Is n composite?
False
Let y(g) = 97*g**2 + g - 1. Suppose 3*d = -0*d - 5*b - 3, -3*d + 3 = 3*b. Suppose 2*x - d = -2. Is y(x) prime?
True
Let i be -1 + 2/16 - (-2)/(-16). Is 943*(-3)/(-9) + i/3 prime?
False
Let a = 367 + 106. Let o = a + -286. Is (16/(-4) - -2) + o composite?
True
Suppose -2*x = o - 32, 0 = 5*o - 4*o - 2*x - 24. Suppose -25*c + o*c = -1050. Let m = c - -637. Is m composite?
True
Let l = 6076 + -3957. Is l prime?
False
Let u(b) = -1. Let h(d) = -2429*d - 21. Let k(t) = h(t) + 2*u(t). Is k(-2) a prime number?
False
Suppose 0 = -4*z - 5 + 25. Suppose v - z*v + k = -7530, -4*v - 3*k + 7538 = 0. Is v prime?
False
Let g(i) be the first derivative of 25*i**2/2 - 4*i - 7. Is g(2) composite?
True
Let q(o) = -o**3 - 17*o - 25. Is q(-12) a prime number?
True
Let t(p) = 3*p**3 - 3*p**2 + 7*p - 5. Suppose -5 = -4*u + 15. Let j be t(u). Let d = j + -139. Is d a prime number?
True
Suppose 3*u + 3*a = -159, 3*u = -u + 3*a - 247. Let f(p) = -p**3 + 2*p**2 - 4*p - 5. Let m be f(-4). Let q = m + u. Is q a composite number?
True
Let t = 37 + -22. Let j be (t/10)/((-2)/(-8)). Is 891/39 + j/39 a prime number?
True
Suppose -3*z + 3447 = 3*s, z - 2*z + 4602 = 4*s. Is s prime?
True
Suppose 3*v = -10 + 40. Suppose v*o - 12*o - 4 = 0. Is (-75 - o)*(-110)/10 composite?
True
Suppose 8*k + d = 3*k + 34560, -13811 = -2*k - 3*d. Is k a prime number?
False
Suppose i + 3*i = 0, 5*k - 3*i - 2935 = 0. Is k prime?
True
Let h be 1*20*(-3)/(-4). Suppose -35 = -4*l - h. Suppose -4*u - 5*i = -1283, -u - l*i - 302 = -2*u. Is u a composite number?
False
Suppose 5*p = 3*u + 20, 2*u - 3*p + 12 = -3*u. Suppose u*i = -5*i + 30. Suppose 3*v + 201 = i*v. Is v prime?
True
Suppose 0 = -25*f + 20*f - 20. Let p be (-6)/4*f/3. Suppose -755 = -p*r - 45. Is r a prime number?
False
Suppose -87*d + 10744 = -79*d. Is d a prime number?
False
Let o(u) = -u**3 - 15*u**2 + 16*u + 18. Let b be o(-22). Let r = b - 1211. Is r a composite number?
True
Is 1 + 156702/9 + 28/42 a composite number?
True
Suppose s = -5*g - 4, -5*s + 4*g - 78 = -0*g. Let a be 2/(-4)*1*s. Suppose -3116 = -a*k + 671. Is k a composite number?
False
Is (-49)/7 + 2*54297 a composite number?
False
Let z = -10490 + 23187. Is z a prime number?
True
Suppose 2*i + a - 1 = 2*a, -4*i + 20 = 4*a. Suppose -73 = -i*n + 93. Is n a prime number?
True
Let r(y) = 130*y**3 + 7*y**2 + 22*y - 10. Is r(7) a prime number?
True
Let k = 11882 - 8214. Suppose -a = -s - 2095, -2*a + 518 = -3*s - k. Is a a prime number?
True
Let d(s) = 1133*s**2 - 8*s - 12. Is d(-7) a prime number?
False
Suppose 3*f + 4 = 5*f. Suppose -a = 5*q - 15, f*q + 5*a = 1 - 18. Suppose -821 = -4*l - 3*g, -3*l + 27 = q*g - 594. Is l a composite number?
True
Suppose z - 276 - 60 = 0. Let m be ((-9)/12)/(2/z). Let v = m + 193. Is v prime?
True
Suppose 2*q - 1 = -3*i - 7, -4 = -5*q + 2*i. Suppose q = -3*n + n + 6. Let h(s) = 2*s - 3. Is h(n) a composite number?
False
Let h = 20 + -16. Suppose 0 = 3*t - h*t + 3. Suppose 3535 = 5*z - 5*m, -359 - 1754 = -t*z + m. Is z a prime number?
False
Let f = -483 - 96. Let b = f - -833. Is b prime?
False
Let y(v) = -7*v**3 + v**2 - 9*v + 5. Let o(t) = 8*t**3 + 10*t - 5. Let d(r) = -3*o(r) - 4*y(r). Let p = -182 + 186. Is d(p) composite?
False
Let i = -260 - -260. Let f = -2 - -1. Is i/(f - -2) - -97 a prime number?
True
Suppose 5*l - y - 2*y = 22, 6 = -l - 2*y. Suppose -3*h + l*p + 421 = -986, 4*p = -12. Is h a composite number?
False
Suppose -25 = -4*l - 5*z, -l + 2 = -5*z + 2*z. Suppose -l*o = -o. Let j(m) = -m + 19. Is j(o) a prime number?
True
Let i be (-2)/(-9) - 12185/(-45). Suppose r + 0*r - 