omposite number?
True
Let p be ((-3)/2 - -1) + 22/(-4). Let v(h) be the second derivative of h**4/3 + h**3/3 - 5*h**2/2 + h. Is v(p) a composite number?
False
Let k be 1253 - (20/(-11) - (-6)/(-33)). Let a = 2512 - k. Is a a composite number?
True
Let d = 51 - 47. Let z = 2673 - 409. Suppose z = d*g + 292. Is g a prime number?
False
Let d = -168 - -278. Let x = d + 13. Is x a prime number?
False
Suppose 5 = -2*j + 25. Suppose 9*u = 14*u + j. Is (-2148)/(-15) - u/(-10) a prime number?
False
Suppose 2*a = -3*a. Suppose 3*b - 153 = 4*i + 140, a = b + 2*i - 91. Is b a composite number?
True
Suppose -f - 549 = -3*v + 2*f, 5*f - 183 = -v. Let i = 689 - v. Suppose 4*b - i = -2*r, -3*r + 14 + 237 = 2*b. Is b prime?
True
Suppose -5130 = -n - b - 2*b, 5*b + 20503 = 4*n. Is n a prime number?
False
Let r(k) = 907*k + 1. Let h be r(-2). Let y = h + 2784. Is y composite?
False
Suppose -7*a = a - 1976. Suppose 4*x - 2*j = 219 + 5, -x = 5*j - 56. Let p = a - x. Is p composite?
False
Let f(z) = z**3 - 4*z**2 - 3*z + 9. Let u be f(6). Suppose 5*g - 4*l - 63 = 0, 5*l - u + 3 = -3*g. Suppose -g = -5*s + 10, 5*x - 5*s = 805. Is x prime?
False
Suppose 6*r - 2270 - 2158 = 0. Let m = r - -388. Is m a composite number?
True
Let m(o) = -1568*o + 25. Is m(-3) composite?
False
Suppose 3*c + 6 = 15. Suppose 0 = 5*a - 2*f + 759, 4*a + c*f + 598 = -0*f. Let t = 218 + a. Is t prime?
True
Suppose -22*z + 14772 = 538. Is z a composite number?
False
Let z(f) = -f**2 + 3*f + 6. Let p be z(5). Is (1226/p)/((-4)/8) a prime number?
True
Let o be 13/4 + (-4)/16. Suppose -o*s = 260 - 977. Suppose 2*l - s = 15. Is l prime?
True
Let z(q) = q**2 - 22*q - 23. Let y be z(23). Suppose -5*b + 2*g + 74 + 1191 = 0, y = 2*g. Is b composite?
True
Suppose 552066 - 3973596 = -90*p. Is p prime?
False
Let g = 592 - -693. Is g a composite number?
True
Suppose 0*l = 3*l - 6. Suppose l*x - 1690 = -184. Is x composite?
True
Let p(i) = 2*i - i**3 + 0*i - 7 - 3*i**3 - 5*i**2 + 5*i**3. Let r be p(5). Is (-22)/(-4)*30/r a composite number?
True
Let g(b) = 8*b**2 - 6*b - 4. Let t be g(-4). Suppose -3*q - t + 943 = 0. Is q composite?
True
Let h(a) = -a + 9. Let d be h(7). Suppose 3*p = k - 806, 0 = 4*k - 7*p + d*p - 3203. Is k prime?
True
Is (2/5)/((-70)/(-2886275)) prime?
True
Suppose -3*m + j = -315, m = 2*m - 2*j - 110. Suppose 2*f - m = f. Let d = f + -45. Is d prime?
True
Let c = 25354 + -15135. Is c prime?
False
Let l = 15154 - -10467. Is l a prime number?
True
Let m = 171 + -103. Suppose d = -n + 31, 2*n + 6*d = 2*d + m. Suppose -j + n = -135. Is j a prime number?
True
Let d = -1 - -3. Suppose d*s + 4*z - 650 = 0, 1658 = 2*s + 3*s - z. Is s a prime number?
True
Suppose -4 = -t + 3*m, 2*m + 8 = 2*t + 4*m. Suppose 3*g = -3*w + 2010, t*w + w = -g + 3338. Suppose 0 = r + 5, 2*l - w = -0*l + r. Is l prime?
True
Let r = 208 - 127. Suppose 2*a = 2*x + 876, -2*x + 354 = a - r. Is a composite?
True
Let l = 6165 - -1888. Is l prime?
True
Let s = -972 - -1135. Is s a prime number?
True
Suppose 2*y - 4*m - 5 = -17, 0 = 5*y + 5*m - 45. Is 1*y/2*35792/32 prime?
True
Let s = -54889 + 133524. Is s a prime number?
False
Suppose -6 = 5*d - 16. Suppose -2231 = -d*m - 5*b + 1078, -b = -2*m + 3315. Is m a prime number?
True
Suppose 2*v = 3*v - 3, 2*v - 58 = -4*t. Suppose -t*b + 2*b + 2134 = 0. Is b prime?
False
Let m(w) = 38*w**2 + 11*w - 64. Is m(15) prime?
False
Let w = -3657 - -2590. Let p = -690 - w. Is p a composite number?
True
Let o = 1489 - 889. Suppose o = -6*w + 132. Let h = -47 - w. Is h a prime number?
True
Let k(g) = -g**3 - g**2 + g + 1. Let o(d) = 3*d**3 + 14*d**2 - 9*d. Let i(t) = -5*k(t) - o(t). Suppose 28 = 3*q + 10. Is i(q) prime?
True
Let y be (5/(-3))/((-3)/27). Let u(o) = 31*o + 27. Let n be u(y). Let x = n + 703. Is x composite?
True
Let u = -11 + 15. Suppose k - u*k = -6. Suppose -l + 4*s = -231, 5*s = -k*l + l + 186. Is l a prime number?
True
Let s be 4/(-18) + (-6)/27*26. Is (-8)/s + (-104432)/(-48) composite?
True
Let d = 3134 + -1483. Is d a composite number?
True
Let m = -18566 - -36117. Is m a composite number?
False
Let k = -222 - -763. Is k composite?
False
Suppose -85 - 3 = -8*i. Let q(o) = 21*o**2 + 3*o + 5. Is q(i) a composite number?
False
Is -12*(-2)/192 - (-847132)/32 prime?
False
Let o(g) = g**2 - 1. Let r be o(-2). Let v = r - -11. Is v*(10/(-4) - -3) prime?
True
Let m = 841 + -1565. Let p = -329 - m. Is p prime?
False
Let q be 0 - 7/((-21)/711). Suppose 0*j - q = -3*j. Is j composite?
False
Suppose -3*s + 65909 = 4*r - 48510, -5 = -s. Is r composite?
True
Suppose -s - 29 = -5*s + 3*z, 30 = 4*s - 2*z. Let x be 16*(-2)/s*-246. Let l = x + -647. Is l a composite number?
False
Suppose 0 = -6*d + 2*d - 4. Let l be (d - (6 + -3)) + 3. Is 1146 - l - 0 - -4 a prime number?
True
Let v(h) = -7971*h + 4. Is v(-3) a prime number?
True
Let q be (-4)/6 - 16/(-6). Let l(t) = -t**3 + 8*t**2 + 9*t. Let j be l(9). Suppose r - w - 489 = -j*w, -q*r + 992 = 5*w. Is r composite?
False
Let y(v) = v**2 + 407. Let u(h) = -h. Let s(q) = -q**2 - 4*q - 9. Let m(r) = s(r) + 6*u(r). Let k be m(-9). Is y(k) prime?
False
Suppose 9280 = -y - 3*y. Let o be y/9 - (-2)/(-9). Let f = 449 + o. Is f a composite number?
False
Suppose -4*i = -4*k - 12, 6*i + 4*k + 2 = 5*i. Let o(p) = 9*p + 2 - i - 3 + 1. Is o(3) composite?
True
Let r = -7 + 3. Is 180 + -2*(-2)/r a prime number?
True
Suppose -2*m + 6*m - 7*m = 0. Suppose -2*o + 0*q = q - 416, m = q + 2. Is o a prime number?
False
Let p(x) = -x**3 + 4*x**2 - 4*x + 20. Is p(-7) a composite number?
False
Let k = 871 + 4798. Is k a prime number?
True
Let h(u) = -8*u - 1469. Let o(t) = -4*t - 734. Let s(p) = -3*h(p) + 5*o(p). Is s(0) a composite number?
True
Let u = -6533 + 13960. Is u a prime number?
False
Suppose 20349 = 9*d - 20574. Is d a prime number?
True
Suppose -4*h + 11996 = -656. Is h composite?
False
Let y(u) = 57*u + 4. Suppose -5*f - 8 = -7*f. Suppose t = -t + f. Is y(t) composite?
True
Let t(q) be the second derivative of -q**7/140 - 7*q**6/360 - q**5/20 - q**4/8 + q**3 + 4*q. Let i(j) be the second derivative of t(j). Is i(-4) composite?
False
Let p(x) = 35*x**3 - 6*x**2 + 13*x - 5. Is p(8) prime?
False
Let v = -10 - -6. Is 239*6/(-8)*v a prime number?
False
Let p(b) be the second derivative of 4*b**4/3 + 5*b**3/6 + 9*b**2/2 + 4*b. Let v be p(-6). Suppose -v = -5*z + 2*z. Is z a prime number?
False
Suppose -u - 8 = -3*u. Suppose 0 - u = -4*h. Is (h + -3 - -2) + 65 a composite number?
True
Suppose 3*u + 721 = a, 0 = 11*a - 7*a - 4*u - 2844. Let l be (-9)/(-2)*2/3. Suppose k + a = l*k. Is k a composite number?
False
Let g(d) = d + 18. Let k be g(-12). Suppose -2186 = -2*x - 3*m, -2*m = -2 - k. Is x a composite number?
False
Is 80/(-16) + 3*(-170584)/(-12) a composite number?
False
Suppose 4*d = -54 + 38. Is ((-1119)/d)/((-81)/(-108)) composite?
False
Let l(d) = 20*d**2 + 31*d + 23. Is l(10) a composite number?
False
Let t(j) = 179*j**2 + 10*j + 28. Is t(-5) a composite number?
True
Is 1*1499*(-1)/(-1) a prime number?
True
Let n = 22 + -26. Let k = n + 7. Suppose -4*g = -k*g - 179. Is g a prime number?
True
Let z(v) = 9*v**2 - 3*v - 8. Let i be z(-2). Let s = 93 + i. Is s a prime number?
True
Let d be 3*-1*(4 + (-2 - 3)). Is ((-5907)/6)/(d + (-28)/8) a composite number?
True
Let b(q) = -1210*q + 15. Let n(a) be the third derivative of -403*a**4/24 + 5*a**3/6 + 2*a**2. Let u(i) = 2*b(i) - 7*n(i). Is u(2) a prime number?
True
Let f(x) = 6608*x - 4. Let l be f(-4). Is 2/(6/9 - (-17600)/l) a prime number?
True
Suppose 5*d = 64 + 46. Suppose -4*q + d = -2. Is 2/(0 - q/(-165)) composite?
True
Suppose 2*t + 2*t - 12 = 0. Suppose t*i - 6*i = 3. Is i/((-416)/(-139) - 3) a prime number?
True
Let q(z) = -z**3 + 4*z**2 + 12*z + 5. Let k be q(6). Let i be 9/15 - 15103/k. Let n = 4491 + i. Is n composite?
False
Let o(n) be the third derivative of -161*n**4/24 - 9*n**2. Is o(-1) prime?
False
Let u(y) = y**2 + 244. Let g be u(0). Suppose -5*m = t - 422, 2*t - 784 = 4*m - 2*m. Suppose b = t + g. Is b prime?
True
Suppose 5*j = 3*m - 19, -6*m + m + 15 = 0. Let x be (0 + j)/(12/(-18)). Is -79*(-20)/12*x prime?
False
Suppose 0 = 3*s - 9, 0 = -3*l - 21*s + 18*s + 153858. Is l a composite number?
False
Let o be (865/(-10))/(5/20). Let f = 91 - o. Is f prime?
False
Suppose r + 4*n = 1