= -9*n - j. Is n a composite number?
False
Let o(d) be the first derivative of -d**4/4 + d**3/3 + d**2/2 + 136*d - 2. Let v be o(0). Let c = v - 79. Is c composite?
True
Suppose 2*a + 0 = 8. Suppose -v + 4 = 3*p, 0*p = -a*v + 5*p + 16. Suppose 5*t = -2*j + j + 445, 0 = 3*t + v*j - 267. Is t composite?
False
Let l(j) be the first derivative of 4*j**3/3 + 7*j**2 + 3*j + 1. Let p be l(11). Let b = p + -384. Is b a composite number?
False
Let h(d) = -4*d**2 - 4*d + 4. Let l be h(-12). Let y be (l/8)/((-2)/40). Suppose 0 = 5*i + 255 - y. Is i a prime number?
True
Let n(o) = 2*o**2 + 9*o + 5. Let y be n(-4). Is 951 + -2 + (y - -5) - -3 a prime number?
False
Let p = 4017 - 28. Is p composite?
False
Suppose -4*k - k + 9548 = s, 0 = k - s - 1912. Suppose 4*h - 2*h - k = 0. Suppose 0*a - h = -5*a. Is a composite?
False
Suppose -18 = -c - 5*c. Suppose 5*n + c*k - 297 - 767 = 0, -4*n + 841 = -k. Is n composite?
False
Suppose 5*k + 3384 = 9*k. Suppose -6*p + k = -510. Is p composite?
True
Let g(k) = 841*k**2 - 31*k - 41. Is g(-5) composite?
False
Let g(a) = -3*a - 28. Let s be g(-10). Suppose 4*z - 5*c = 323, -2*c = -s*z + 2*c + 154. Is z composite?
True
Let a = 8 + -8. Suppose a = -11*l + 6*l + 6265. Is l a composite number?
True
Suppose 0 = 4*w + 3*p - 3488 - 4307, -1953 = -w - 5*p. Is 2/3 + -1*w/(-12) prime?
True
Suppose -16360 = 12*q - 225316. Is q prime?
False
Suppose 5 = 2*o - b - 6, -4*o - 2*b + 18 = 0. Is 1*1876/20*o composite?
True
Suppose 6*l = 2805 + 1089. Is l a composite number?
True
Let m be -2*1*5/(-10). Let h be 56/(-8) + m*-1. Is (-62)/(h/(-6) - 2) a composite number?
True
Let s be (15 - 0)*(-16)/(-24). Suppose n - 5 = 0, 2*n - s = -4*g - 0. Suppose o + 2*m - 61 = g, -4*o + 2*m + 304 = -2*m. Is o composite?
False
Let u = 24 - 38. Let r(s) = -2*s + 37. Is r(u) a composite number?
True
Suppose 0 = -13*k + 459516 - 4165. Is k a composite number?
False
Let f be (6 - 6) + 2/(-1). Let n = 0 + 0. Is 178/f*(-1 + n) a composite number?
False
Let n(z) = 10*z**2 - 2*z + 2. Let q be n(1). Suppose -3*u = -3*b - 1491, -6*b = -b - q. Is u a prime number?
True
Let f = 701 - 685. Suppose -4*x + 5*x - 129 = 0. Let o = x + f. Is o a composite number?
True
Suppose 0*s - 3*c = -4*s + 20, 0 = s - 5*c + 12. Suppose -4*a - s + 28 = 0. Let j(h) = 10*h - 4. Is j(a) composite?
True
Let g = 31026 - -2167. Is g a composite number?
True
Let g(x) = 6*x**3 + 5*x - 5*x**2 - 1 - 3*x**3 - 2*x**3. Let p be g(4). Let n = p + 4. Is n a composite number?
False
Let q(f) = 8*f - 1. Let v be q(1). Suppose -1585 = -v*a + 2*a. Is a a composite number?
False
Suppose 3*p + 53402 = 4*o, 2*o - o - p - 13351 = 0. Is o prime?
False
Let c be 4*93/(-6)*2. Let o = 392 + c. Suppose o = -3*x + 877. Is x composite?
True
Let q(j) = -343*j + 18. Is q(-5) a prime number?
True
Let i(s) = 2*s**3 + 24*s**2 + 23*s + 11. Let z be i(-11). Suppose -2*d + 1 + 9 = z, 2*k - 5*d - 4081 = 0. Is k prime?
True
Let h(l) = l**3 - 10*l**2 + 10*l - 9. Let i be h(9). Suppose i = 3*d - d - 10. Suppose -231 = -f - d*o, 2*f - 638 + 156 = -5*o. Is f a composite number?
False
Suppose 0*a - 5453 = -7*a. Suppose a = f + 100. Is f prime?
False
Let t(z) = -4*z + 1. Let y be t(-1). Suppose 0 = 3*d + 3, p + y*d = 3*d + 2235. Is p prime?
True
Let t = -57301 + 84933. Suppose 0 = -4*w - 3*s + t, -3*w = -s - 4*s - 20695. Is w prime?
False
Let w(f) = 5*f**3 + 7*f**2 + 9*f + 11. Let k be w(-5). Let y = k + 903. Is y composite?
False
Suppose 1 = -x - 9. Let m = 334 - x. Suppose k = -g + m, 2*g = -2*g - 3*k + 1371. Is g composite?
True
Suppose 73*z - 64*z = 14733. Is z a prime number?
True
Let x = -25 - -22. Is (-2)/(-6) + (-1658)/x composite?
True
Let y(w) = 95*w + 5. Let p be y(5). Suppose -79 + 474 = 4*j + 3*m, 5*j + m = p. Suppose z = -0*z + j. Is z a prime number?
False
Let a(f) = 2*f**2 - 9*f - 34. Let r be a(13). Let m = -38 + r. Is m a composite number?
False
Suppose 0 = -3*z - 6 + 3. Is -131*4/(-5 - z) a composite number?
False
Let n(r) = -2283*r. Let s be n(-3). Suppose -s = 7*j - 16*j. Is j composite?
False
Let h = 48 + -48. Suppose h = -5*z + 1144 + 3171. Is z composite?
False
Let m(z) = -z**3 + 13 + 18*z - 12*z**2 + 17*z + 14 + 0. Is m(-17) a composite number?
False
Is 66483/4 - (-17)/68 composite?
True
Let k be (9/(-2))/(1/764). Let u be 1/(-2) + k/(-12). Suppose -4*q + 2*q - v + u = 0, q + 3*v = 143. Is q prime?
False
Let t(m) = -14*m**3 - 47*m**2 + 18*m - 4. Is t(-11) prime?
False
Suppose -3*o + 3208 = -5*a, 3*a + 3198 = -0*o + 3*o. Is o composite?
False
Let m = 367 + 3066. Is m a composite number?
False
Suppose 37*f - 40*f = -6. Suppose -f*g + 370 = 4*k, -477 = -2*g - k - 119. Is g a composite number?
True
Suppose -2*o - 10 = 2*g + 2*g, -3*g + 3*o = 12. Is (g + (6 - 910))*(-2 - -1) prime?
True
Suppose 0 = -3*d + 4*d - 10. Suppose 0 = 5*b - 0 - d. Suppose -b*l = 3*l - 1315. Is l prime?
True
Suppose -5*s + 2*l - 1 = -5, -5*s + 2 = -l. Suppose -4*d + 1154 + 122 = s. Is d a composite number?
True
Let n be (-4)/18 - (-2 + 40/(-18)). Is (-12)/(-20)*(n + 1) composite?
False
Let k = -82708 - -139395. Is k a prime number?
True
Suppose 6*v - 9*v = 0. Let w(h) = 8 + v + 16*h - 3. Is w(4) composite?
True
Is 12 + -3 - 9 - (-3188)/4 composite?
False
Suppose 0 = -1274*n + 1280*n - 118662. Is n composite?
False
Let s = -3525 + 2075. Let c = -965 - s. Is c prime?
False
Suppose -7868 = -2*a + 15770. Suppose -5*k + a - 3634 = 0. Is k a composite number?
False
Let c(n) = -684*n**3 + 3*n**2 + 10. Is c(-3) composite?
True
Let r be ((-679)/2)/(-1 + (-4)/(-8)). Suppose r = 6*b - 179. Is b a prime number?
False
Suppose 3*t - 3*h - 7920 - 3456 = 0, -2*t + 7583 = -h. Is t prime?
False
Suppose 3*n = -4*k - 2710, 7*n = 3*n - 4*k - 3612. Let p = n - -1292. Let d = p + 139. Is d a composite number?
True
Let g be 0/((-9 - -10)/(1/(-2))). Suppose -7*k + 233 + 2084 = g. Is k composite?
False
Is ((-15)/(-6))/((-155)/(-1858946)) a composite number?
False
Let b = 1 - -4. Suppose -b*n - 308 = -x, 2*n + 1020 - 2695 = -5*x. Let a = x + -215. Is a a prime number?
False
Suppose -3*u + 2687 + 4192 = 0. Is u prime?
True
Suppose -47*x + 226322 + 231129 = 0. Is x prime?
True
Suppose -s = 5*c - 26348, 5*s = -12*c + 14*c - 10523. Is c composite?
True
Let m = -5216 - -12021. Is m a prime number?
False
Let s(q) = 71*q**2 - 48*q + 34. Is s(-6) a composite number?
True
Let k = 194 + 166. Suppose 0 = -t - 2*t - 3*l + k, 0 = -2*l + 10. Is t a prime number?
False
Let x(o) = -10*o + 6. Let s(m) = -m + 5. Let u be s(-4). Let p be x(u). Is p/(-10)*35/14 prime?
False
Suppose 4*u = -2*w - 94, 0 = -5*u - 0*w - 2*w - 119. Let m = u - -96. Is m prime?
True
Let w = -2 - -5. Suppose 8 = w*d - 7. Suppose -16228 + 6213 = -d*u. Is u composite?
False
Let w(m) = -m**3 + 6*m**2 - 5*m + 2. Let y be w(5). Suppose s - 4 = -y. Suppose -s*k - 6 = -5*k, 0 = 5*b - 5*k - 535. Is b a prime number?
True
Let u(q) = 20*q + 9 + 26*q + 36*q + 10*q. Is u(4) a prime number?
False
Suppose 0 = 738*p - 747*p + 3555. Is p prime?
False
Let g be 18/(-1 + (-7434)/(-7430)). Is g/30 + (-2)/(-4) a prime number?
False
Let p(t) = t**2 + 9*t - 12. Let w(u) = u**3 - 13*u**2 - 13*u - 8. Let v be w(14). Let r be p(v). Let q = 124 - r. Is q prime?
False
Is (1/(-5))/(18/(-55395))*4 a composite number?
True
Let v = -20 - -14. Let f be (-9)/v*132/9. Suppose -f = -l + 45. Is l composite?
False
Let l be ((-494)/6 + -1)*-3. Let d be (-200)/(-90) - 2/9. Suppose 4*c + l = -0*f + 2*f, f + d*c = 113. Is f a prime number?
False
Suppose 2*o + 3149 = 3*o + 2*z, 0 = 5*z + 15. Suppose -3*s + r + 0*r = -3149, -o = -3*s + 4*r. Is s a prime number?
True
Suppose -1 + 13 = 4*m. Suppose -m*x = 4*s + 16, -2*x + 4 = -2*s + s. Suppose x*v - 3*v + 130 = d, 0 = -4*d + 3*v + 535. Is d a prime number?
False
Let f = -5 + 14. Let t be (f*-1)/(1/3). Let d = t - -73. Is d a composite number?
True
Let j = 21045 + -13652. Is j a composite number?
False
Let p(y) be the second derivative of y**5/20 + 7*y**4/6 + 19*y**3/6 - 3*y**2/2 + 5*y. Let z be p(-13). Let u = z - -134. Is u prime?
True
Suppose -19*d + 1748 = -13243. Is d prime?
False
Let r = -2259 - -4652. Is r a composite number?
False
Let l be 12/18*9/2. Suppose 5*o - l*o = 830. Is o composite?
True
Let t = 2664 + -65. Is t composite?
True
Let n(p) = -5*p**2 + 4*p + 4. Let u be n(7). Let a = 14