*3 + 12*o**2 + 7*o - 13. Let j be n(12). Let b = j - -66. Let l = -79 + b. Is l a composite number?
True
Let x(h) = -7*h**3 - 3*h**2 + 3*h + 9. Suppose -38*q - 4 = -37*q. Is x(q) prime?
True
Let p(d) = -d**3 - 6*d**2 - 2*d. Let o be p(-6). Is 1881/o + 3/(-4) + 1 a prime number?
True
Let b be 1 - (-4415*1 - -3). Suppose 6*a + 483 = b. Is a composite?
True
Let x(g) = -491*g**3 - g**2 - 2*g - 1. Suppose 4*o = -3*a + 5, a = -2*o - 3*a + 10. Is x(o) a prime number?
True
Suppose 29*l = -8*l + 774077. Is l a prime number?
True
Let i(x) = 646*x - 47. Is i(5) composite?
True
Let z = 9871 - -65136. Is z prime?
False
Is (853/(-2))/((-8)/16) a prime number?
True
Let m(i) = 6*i**2 + 2*i + 5. Suppose 3 - 7 = k. Is m(k) prime?
False
Let s = -54 + 57. Suppose 0 = 3*x - 12, 0 = s*m - x - 2*x - 657. Is m composite?
False
Suppose 3*p = 96321 + 12306. Is p a composite number?
False
Suppose 0 = 28*b - 25*b - 15. Suppose 0 = -2*v - 0*k + k + 3625, 0 = -v - b*k + 1796. Is v a prime number?
True
Let f = 1230 - 856. Let h = f - 163. Let r = 424 - h. Is r a composite number?
True
Let h = -50811 + 78890. Is h a prime number?
False
Let r = 70 + -127. Suppose -11*v = -5*v - 1608. Let t = r + v. Is t prime?
True
Let a(d) = -d - 2. Let p(o) = o + 1. Let s(k) = -4*a(k) - 3*p(k). Suppose -5*f - 2*t - t + 25 = 0, 0 = -4*t. Is s(f) composite?
True
Let n = 116882 - 46345. Is n a prime number?
True
Let w = 1413 - 719. Is (w - 17)/(2 + -1) a composite number?
False
Suppose -4797 = -c - 4*z + 7055, 23716 = 2*c + 2*z. Suppose t = -3*t + c. Is t prime?
False
Let h(y) be the third derivative of -6*y**2 + 13/24*y**4 + 0 + 0*y + 1/30*y**5 - 5/6*y**3. Is h(6) composite?
True
Let m = -116 + 80. Suppose b + 0*b - 67 = 0. Let k = b + m. Is k composite?
False
Let i = -4242 - -6215. Is i composite?
False
Let l = -7341 + 13940. Is l a prime number?
True
Let o = 2994 + -1451. Is o a composite number?
False
Suppose 0 = 23*i - 18819 - 227488. Is i composite?
False
Let s(v) be the second derivative of 11*v**3/3 - 5*v**2/2 - 2*v. Suppose 9 = 3*t, 3*u - t = -u + 13. Is s(u) prime?
True
Let h = 872 - 243. Is h prime?
False
Let s be ((-9)/(-3))/((-1)/1571*-3). Suppose -3*z = -1456 - s. Is z prime?
True
Let w(z) = 105*z**2 + 17. Let j(p) = -35*p**2 - 6. Let t(l) = -7*j(l) - 2*w(l). Let i be t(5). Let v = i - 522. Is v prime?
False
Let v be (-4 + (-3 - -5))/1 + 0. Let w be (-129)/(-2)*(-72)/(-4). Is w/15 + v/5 composite?
True
Suppose 0 = -5*l + p - 2219 - 584, -5*l - 2807 = p. Let g = -287 - l. Is g composite?
True
Let a be (0 - -1)*(5 - 2). Suppose -957 = -a*w - 0*w. Is w a prime number?
False
Suppose 5*u = -b + 1041, 2*u - 4*b = 491 - 57. Is u prime?
False
Let j(z) = 28*z**3 - 17*z**2 + 7*z + 1. Is j(9) a composite number?
True
Let a be 6*(34 + (-3)/(-1)). Suppose 4*t - 2*w = 220, -2*w - a = -4*t + w. Suppose t + 51 = u + 2*n, u - 5*n - 119 = 0. Is u prime?
True
Let v(n) = 106*n**2 - 27*n + 306. Is v(19) prime?
False
Is (-3641008)/(-116) - (-2 + 11) prime?
True
Let r = -10 - -7. Let w be -1 - (r + (15 - 3)). Let o = w - -153. Is o a prime number?
False
Let o(i) = 24*i**2 + 4*i + 1. Let z be o(5). Suppose -3*x + z = 3*g, -5*x + 3*g + 704 + 363 = 0. Is x a prime number?
True
Let s = -132 + 134. Is ((-48)/(-24))/(s/641) a composite number?
False
Let v be (51*4)/((-3)/(-2)). Let x = 47 + v. Let m = x - 72. Is m composite?
True
Suppose -2 = 11*m - 13. Is (1 + m/2)/((-21)/(-5810)) composite?
True
Suppose 6*t = 3402 + 6684. Is t composite?
True
Suppose -3*q + 0*q + 150 = 0. Let v be 0 - 18 - (0 - -1). Let c = v + q. Is c composite?
False
Let z = -2880 - -4554. Suppose z = 12*b - 1842. Is b composite?
False
Suppose -4 = -5*g + 4*v - 3, 2*g - 3*v = -1. Let i = -171 + 171. Is 39/g + (-2 - i) a composite number?
False
Suppose -2*g + 23741 = 4*p - 3049, -53567 = -4*g + 5*p. Is g prime?
False
Let c(p) = -3*p + 2281. Is c(0) prime?
True
Suppose -2*f = v - 1 - 1, 0 = -v + f + 2. Suppose 4*u + r = 14, -3*u + 2*r + v = -u. Suppose -2*t - u*o = -292, -225 - 81 = -2*t + 4*o. Is t a prime number?
True
Let a = 84 - 46. Suppose 4*o - m = a, 5*o = -m - 2*m + 56. Suppose 2445 = -o*p + 13*p. Is p prime?
False
Suppose 3*f = -3*s + 69879, 5*f = -45 + 55. Is s a composite number?
False
Suppose 13*v + 17*v - 145590 = 0. Is v prime?
False
Suppose 19 = 3*b - 47. Let w be b/(-4) - (-5)/(-10). Let f(j) = 2*j**2 + 6*j - 1. Is f(w) composite?
True
Suppose -1922 - 19911 = -r. Is r composite?
True
Let k be (-2)/5 - 54/(-10). Suppose 3*d + 1396 = j, j - 1744 = k*d - 348. Suppose 376 = 4*b - j. Is b composite?
False
Suppose -4770 = -5*f - 3*n, -2*n - 4745 = -9*f + 4*f. Is f composite?
True
Let m = 6750 + -3943. Is m a composite number?
True
Let y = 31 - 15. Suppose 7*w = y + 1111. Is w composite?
True
Suppose 5*o - 2994 = o + 3*v, 0 = -2*o - 4*v + 1508. Suppose 1209 = r + g, 0 = 3*r + 4*g - 4375 + o. Is r a prime number?
False
Suppose 19*o = 390328 + 47489. Is o prime?
False
Let v(u) = 1089*u - 49. Is v(4) a composite number?
True
Suppose 0 = -14*g + 2667 + 4235. Is g composite?
True
Let k(d) = d**2 - d + 2. Let t be k(0). Let g be (t*-2)/8*-6. Suppose -g*b + 252 + 1869 = 0. Is b prime?
False
Let s = 4092 + -1753. Is s prime?
True
Is 3376 + (-13)/(104/88) composite?
True
Let r(b) = -b**2 + 6*b + 9. Let f be r(7). Let x(z) = -39*z + f + 10*z - 78*z. Is x(-5) a composite number?
True
Suppose 0 = 4*c - 2*n - 83 + 23, 0 = -5*c - n + 68. Let x = c - 14. Suppose -2*i - 447 = -3*k - 176, x = 2*k + 3*i - 172. Is k a composite number?
False
Suppose 67*v = 77*v - 365510. Is v a composite number?
False
Let l = -9 + 16. Suppose -2*m = -l*m + 6805. Is m composite?
False
Let f(l) = 639*l + 5. Let u(p) = 2*p + 1. Let x(d) = -f(d) - u(d). Is x(-1) a composite number?
True
Let w be (((-45)/6)/(-5))/(30/200). Suppose 3174 = w*g + 304. Is g a composite number?
True
Suppose -4 = -y - 5*c - 2, -c + 1 = 0. Let i be 216/(-9)*y/(-2). Let x = 59 + i. Is x a composite number?
False
Let s(n) = -n**3 + 12*n**2 + 13*n + 9. Let z be s(13). Suppose z*o - o = 2968. Is o a composite number?
True
Let p(u) = 497*u**2 + 79*u - 17. Is p(-6) a composite number?
False
Let y = -134 + -247. Let m = y - -762. Is m a composite number?
True
Let h be 859 - (-2 - (-2 - 2 - -3)). Suppose h + 202 = 6*w. Is w a prime number?
False
Suppose 2*t - 10 = 0, -4*t + 20339 = 3*h - 3*t. Is h a composite number?
True
Let n be (-2)/4*(8 + -4). Let c be 3 + -362 + 2 - n. Let q = -144 - c. Is q composite?
False
Is 2/4*(-81 - -12407) composite?
False
Suppose 18*s = -24*s + 155778. Is s a composite number?
False
Suppose -2*b = -10, -3 = -2*r - 3*b + 10. Let k be ((-24)/15 + 0)*-10. Let o = k + r. Is o composite?
True
Let y = 13101 + -2054. Is y composite?
False
Suppose -5*s = -4*d + 90, d - 2*s = -d + 44. Is 1 - (6/(-8) + (-3845)/d) a composite number?
True
Let z(n) = -43*n**3 + 4*n**2 + 6*n + 7. Let t be z(-3). Suppose 6*i - 356 = t. Is i a composite number?
False
Let f(d) = 109*d + 66*d - 13*d + 1. Let s = 10 + -9. Is f(s) composite?
False
Let u(v) = -v**3 - 4*v**2 + 6*v + 1. Let l be u(-5). Let i be l/5 - 8/40. Is 3*i*546/(-18) a prime number?
False
Let c(o) = o**3 + 9*o**2 - 5*o - 9. Let b be c(-9). Let z = 79 - b. Is z a composite number?
False
Let a(j) = 2*j - 3. Let w be a(-3). Let d(x) be the first derivative of -8*x**2 - 11*x + 4. Is d(w) a composite number?
True
Let v = 38629 + -26040. Is v prime?
True
Let i = 5 + -2. Suppose 201 = i*z - 3*n, 4*n = -3*z - z + 244. Suppose -t - z = -v, 8*t = 5*v + 4*t - 323. Is v a prime number?
True
Suppose -2*c - 2798 = -x, -5*c + 2*c = -2*x + 5592. Suppose -5*p - 5*a + 10*a = -x, 5*a = 2*p - 1119. Is p a prime number?
True
Let v(p) = -3*p - 21. Let s be v(-12). Is 2334/s*(140/(-8))/(-7) a composite number?
False
Let n be (-44)/(-33) + 4/6. Suppose 4*w = -3*f - 136, f - 34 = w - n*f. Is (331/2)/((-17)/w) a prime number?
True
Let m(r) be the first derivative of 3/2*r**2 - 1/4*r**4 - 6 - r - r**3. Is m(-6) prime?
True
Let q(n) = -24*n**2 - 13*n + 51. Let j(i) = -23*i**2 - 12*i + 49. Let b(r) = -4*j(r) + 3*q(r). Is b(10) prime?
False
Let v(d) = -3*d**2 - 2*d - 11. Let x(m) = m**2 + m. Let g(l) = v(l) + 4*x(l). Let a be g(-8). Suppose -c + 2 = -a. Is c prime?
False
Let g(z) = -3*z - 3. Let u be g(-2). Suppose -d = -117 - 144. Suppose 0 - d = -u*p. Is p prim