 -4*o - 9 + 30. Let h(t) = 3*t**3 + t - 1. Let s be h(6). Suppose o*v - s = 592. Is v prime?
False
Suppose w = -5*h + 140245, -4*h + 2*w + 2*w = -112196. Is h composite?
True
Let z(i) = i**2 + i + 4. Let o be z(-3). Suppose 0 = -5*y + 10*y - o. Suppose 4*b = -4*u + 92, -3*u + 2*u + 48 = y*b. Is b prime?
False
Is (-10)/75 - 158794/(-30) composite?
True
Suppose -s - 26795 = -3*b, s - 35726 = -4*b + 2*s. Suppose -1375 = 4*r - b. Is r prime?
True
Let y = 1798 + 1351. Is y prime?
False
Let v(j) = -355*j - 213. Is v(-2) a composite number?
True
Suppose -2*y + 27 = -5*y. Let g = y + 11. Suppose 0 = -2*j, -k - g*j = 4*k - 3395. Is k composite?
True
Let m = 70 - 65. Let h(n) = 2*n**3 - 3*n**2 - n - 14. Let w(d) = d**3 - 2*d**2 - d - 7. Let i(c) = -2*h(c) + 5*w(c). Is i(m) composite?
False
Let s(m) = -m**3 - 5*m**2 - 4*m - 7. Let f(p) = p**3 + 2*p**2 - 4*p - 5. Let v be f(-2). Let n be (v + 3)*(-2 - -1). Is s(n) prime?
True
Let o be (-8)/(-14) - (-11748)/(-28). Is 0/(-4*1/(-4)) - o a prime number?
True
Is 10874*1*-6*(-3)/36 a prime number?
True
Let j = 0 - -3. Suppose l = -j*l + 12. Suppose -2*g + g + 889 = 5*i, l*g - 2*i = 2633. Is g prime?
False
Let q be 56/30 - (-10)/75. Suppose -q*c = -c - 33. Is c composite?
True
Let g = -1999 - -13958. Is g prime?
True
Suppose -3*m - 189 - 60 = 0. Let c = m - -270. Is c a composite number?
True
Suppose -2*k + 3 = 2*a - 9, -k + 14 = 3*a. Suppose l = -a*r + 443, 724 + 156 = 2*l + 2*r. Is l a composite number?
False
Let t(b) = -b**3 + 4*b**2 - 4*b + 2. Let i be t(2). Suppose 6158 = -i*k + 4*k. Is k a prime number?
True
Suppose s - 18768 = 3*q, 5*q + 93850 = 13*s - 8*s. Is s prime?
False
Let c(d) = 180*d + 5. Let q be c(5). Suppose q = 12*k - 7*k. Is k prime?
True
Let s(i) = 479*i + 136. Is s(53) prime?
True
Let y be -2 - (9 - 6/(-3)). Let w = 17 + y. Suppose 6*t - 933 = w*t + s, s - 1402 = -3*t. Is t composite?
False
Suppose -62*i + 75*i = 153647. Is i composite?
True
Suppose -3*d + 17099 = -l, -7*d - 4*l - 17087 = -10*d. Is d a prime number?
True
Suppose 8 = 5*k - 12, -3*i + 11061 = -3*k. Is i a prime number?
True
Let g be (-2 - (-5)/5) + 5. Suppose 0 = -g*b - 5*v + 5949, 0 = 2*v - 10. Is b a prime number?
True
Let s = -546 + 3553. Is s a composite number?
True
Suppose -2*y - 5*t = 5 - 1, -2*y + 2*t + 10 = 0. Suppose 0 = -5*a + y*g + 1898, 4*g + 206 = 3*a - 935. Is a composite?
False
Is ((-1084)/2)/(8 - 42/5) composite?
True
Let n(c) be the first derivative of -c**4/4 + 16*c**3/3 + 9*c**2/2 - 37*c + 4. Is n(13) a prime number?
True
Suppose 4*j = -326 - 350. Let g = -86 - j. Is g prime?
True
Let u be (-9)/3*4/(-3). Suppose -2*i + u = -4. Suppose -i*t + 279 = -l, -7 + 32 = 5*l. Is t a composite number?
False
Suppose 0 = -3*r + 2*g + 5114, -7*r + 5*g - 1733 = -8*r. Let n = r - 1149. Is n prime?
False
Let c(y) = -193*y - 5. Let j be c(-4). Let l be 10/(-4)*((-1)/(-5) - 1). Suppose -l*k = -5*p - j, 5*k - p - 1910 = 4*p. Is k composite?
True
Suppose -3*c - 5007 + 12312 = 0. Is c a composite number?
True
Let t(i) = 12*i**2 + 6*i + 2. Let f be t(-4). Suppose 18 = 2*g - 2*l - f, -2*g = 4*l - 158. Is g composite?
False
Suppose 5*r - 6*r + 6 = 0. Suppose 3*t = r*t - 9. Is -4 + t + -1 + 159 prime?
True
Suppose -3*v + 0*k + 33 = 3*k, 2*v - 5*k = 15. Suppose -9*g + v*g = 1541. Is g composite?
True
Let l = 19262 + 38439. Is l composite?
True
Suppose -24 = -2*i - 14. Suppose 8071 = 4*h + 5*c, -i*c - 3633 = -2*h + 410. Is h composite?
True
Suppose 3*d + 2 + 10 = 0, 5*i = 3*d - 33. Is ((-1869)/9)/(3/i) composite?
True
Suppose -b - 243 = -5*f, 9*f = 5*b + 4*f + 1315. Let m = 391 + b. Is m composite?
True
Suppose 0 = v + 3*v - 472. Suppose -5*n + 267 = -4*i, -9*n + 5*n = -i - 75. Let z = v + i. Is z composite?
True
Suppose -17 = -2*b + b. Suppose -p + 16 + b = 0. Is p composite?
True
Let k be ((-4)/(-5))/((-2)/10). Let a be (-19)/k + 1/4. Suppose 3*w - 4*w + 23 = -4*s, 43 = 2*w - a*s. Is w prime?
True
Let w = 46 - 41. Is (3/(-3))/(w/(-3790)*2) a composite number?
False
Let f = -19 + 18. Let j be (-22)/((f - 0) + 0). Suppose -4*x + 22 = -j. Is x prime?
True
Is (4 - 2)/((-12)/(-42)) + 11832 prime?
True
Let h be (27/18)/((-1)/(-2)). Suppose -h*r + 134 = 38. Is 6/((r/(-116))/(-4)) composite?
True
Suppose 6712 = 13*g - 5*g. Is g a composite number?
False
Let t = -609 + 1606. Is t composite?
False
Let k = -1426 - -939. Let h = k - -818. Is h a composite number?
False
Let h = 4632 + 4774. Is h composite?
True
Suppose 5*k - 4425 = -3*p + 2*p, 885 = k - 3*p. Let b = k - -197. Is b a prime number?
False
Let a be 5*3/15 - -1. Suppose 9*f = a*f + 3717. Suppose n = 4*c + f, 2*n = -4*c + 100 + 938. Is n a prime number?
True
Let u(g) = 5*g + 14. Suppose -7*j + 23 = -6*j. Suppose -j = -5*m + 52. Is u(m) composite?
False
Let v be ((-2)/3)/(-2*2/4458). Let i = -385 + v. Is i a composite number?
True
Let m(k) = 132*k**2 + 2*k - 48. Is m(7) a prime number?
False
Let y(g) be the second derivative of g**7/420 - g**6/45 + 13*g**5/120 + 5*g**4/12 - g**3/3 + 7*g. Let w(r) be the second derivative of y(r). Is w(7) composite?
True
Suppose -2*t + 4*m = 2, -2*t + 7*t = 4*m + 25. Let d(l) = 1 + 5 - 3 - t*l**2 + 19*l**2. Is d(3) a composite number?
True
Let x(d) = -2*d - 1. Let l be x(1). Let t = l - -96. Is t a prime number?
False
Is (-15 + 54/3)/((-3)/(-13063)) composite?
False
Let g = 28444 + -13609. Suppose 0 = 6*r + 9*r - g. Is r prime?
False
Suppose k - 30720 = -3*i + 4*k, k = -2*i + 20468. Is i/108 - 2/(-9) a prime number?
False
Let b(k) = 20*k**2 + 21*k + 101. Is b(-4) prime?
True
Let i = 1317 + 148. Is i a composite number?
True
Suppose -118*r = -117*r - 1259. Is r a composite number?
False
Let l be -7 - (0 - (6 + -4)). Let z be 1051/4 + l/(-20). Let m = 188 + z. Is m a prime number?
False
Let x = 423 + 416. Is x composite?
False
Suppose 28*u - 19*u - 117765 = 0. Is u a composite number?
True
Let k(r) = -r**2 + 3*r + 14. Let i be k(5). Suppose 1079 = i*u - 3*t, -2*t + 536 = u + u. Is u composite?
False
Let g be (-12773)/9 + (-10)/(-45). Let b be (4/(-2))/((-22)/g). Let c = b - -272. Is c composite?
True
Suppose 6*z = -0*z + 12. Suppose -2*q - z*q = -16. Suppose v + 0*v - 187 = w, 0 = 5*v + q*w - 935. Is v a composite number?
True
Suppose 0 = 23*v + 81041 - 234382. Is v a composite number?
True
Let b be (-1432)/36 - 4/18. Let o(k) = 31*k**2 - k + 3. Let u be o(-2). Let p = b + u. Is p prime?
True
Suppose 4*v - 4657 = -h, -4*h + 3*h = v - 4669. Is h a prime number?
True
Let n = -33 - -39. Let j = 65 - n. Is j prime?
True
Suppose -9*a + 7*a + 4 = 0, -4*g - 1634 = a. Let t(m) = m + 782. Let r be t(0). Let u = g + r. Is u a composite number?
False
Is 1088 + -1*(-6)/(-6) a prime number?
True
Suppose -1149*j + 30506 = -1147*j. Is j a composite number?
True
Suppose 3*t = -3*l + 9, -2*l + 0*l + 6 = -4*t. Suppose t = -y + 2*y. Suppose y*x = 2*x - 68. Is x a prime number?
False
Let r(b) be the first derivative of 3*b**3 - 5*b**2 - 8*b + 2. Let w be r(9). Suppose 4*x - 893 = w. Is x a composite number?
True
Suppose j - 48 = -j. Is (17968/j - -2) + (-1)/(-3) a prime number?
True
Suppose -1074 = -2*n - 3*k, -2*n = -k - 748 - 326. Let q = 788 - n. Is q a composite number?
False
Let p be 2 - 5/(20/16). Let d = p + 13. Suppose 0 = d*r - 9*r - 530. Is r a prime number?
False
Suppose 11*x = 14*x + 2*a - 35634, 3*x + a = 35634. Is x a composite number?
True
Let y = 592 - 340. Let p = y + 637. Is p a composite number?
True
Suppose 23*t + 2572 - 80519 = 0. Is t a prime number?
True
Suppose 3*q - 2*p - 5256 = 0, 9*q - 5*q + 5*p - 7008 = 0. Suppose -q + 5526 = 6*v. Is v a prime number?
False
Suppose 0 = -5*c + d + 25, -2*c - 6 + 16 = d. Suppose -c*a - 4 = -4*a. Is (-1784)/2*a/16 a composite number?
False
Let n = -14 + 28. Is n/6*208 + (-2)/6 a composite number?
True
Suppose -3*m - q + 14953 = 0, -4*q + 4977 = -2*m + 3*m. Is m prime?
False
Let d(q) = 2*q - 1. Let x be d(3). Let o(y) = 29*y**2 - 4*y - 10. Is o(x) a composite number?
True
Let z(a) = -26*a**3 + a**2 - 1. Let k be ((-20)/16)/((-2)/8). Suppose 2*f = k*f + 6. Is z(f) composite?
False
Suppose 16*p + 17*p = 1334454. Is p composite?
True
Let r(y) = -7 + y + y**3 - 5*y - 5*y**3 - 2*y**2. Let t be r(-5). Let c = t - 278. Is c a composite number?
True
Suppose -4*q + 20 = 10*x - 7*x, -4*x = q - 18. Suppose q*v + 5*y - 4658