Suppose 0 = -5*l - i + q. Is l a composite number?
True
Let u(s) = s**3 - s**2 + 2*s + 4. Let k be u(0). Let m be (3/k)/((-6)/(-16)). Suppose -4*v - 174 = m*f - 2332, 0 = 3*f + 5*v - 3241. Is f a composite number?
False
Let f be 87/12 - 2/8. Suppose -10*z + 15 = -f*z. Suppose -u + z*u = 508. Is u prime?
True
Let c = 78386 - 35073. Is c prime?
True
Let w be 12/(6 + -2)*(-3013)/(-3). Let u = w + -2036. Is u a prime number?
True
Let x(z) = -14*z - 115*z**2 + 1646*z**2 + 4*z. Let f be x(4). Suppose -10*j + 2*j = -f. Is j a composite number?
True
Suppose -3*m - 9*n + 5*n = -67696, -4*n - 20 = 0. Let s = m - 1513. Is s a prime number?
True
Suppose 6*n - d = n + 31473, -4*n + 4*d + 25172 = 0. Let s = n - 2028. Is s a composite number?
True
Suppose -4*l - 3*v + 12108 = v, 2*v = -5*l + 15126. Let j = 387 + 1694. Let a = l - j. Is a composite?
True
Suppose u - 5*u = -21644. Suppose 0 = -4*r + u + 1905. Is r a composite number?
True
Suppose 0 = d + 5*d + 96. Let j(z) = -z - 16. Let r be j(d). Suppose r = -y + 5*u + 416 + 1543, 0 = 3*y - u - 5905. Is y a prime number?
False
Let y(p) = 14325*p - 922. Is y(3) prime?
False
Let t be (10/(-15))/(3 - 115/39). Is t*31*(20/(-10) - -1) prime?
False
Let z(n) = n**3 + 58*n**2 + 40*n - 307. Is z(-24) a composite number?
True
Let j be (6/4)/(5/(-20)). Suppose 0 = 2*c - 6*c + 3*v + 638, 2*c - 312 = -2*v. Is c/j*-1*3 a prime number?
True
Suppose 5*a + 4*i = 457891, -3*a - 4*i - 23095 + 297828 = 0. Is a a composite number?
True
Suppose 0 = -0*q - 5*q. Suppose 4*y + q = 16. Is (-4)/(-10) - (444/(-15) - y) composite?
True
Let v = -549045 + 1493822. Is v a composite number?
False
Let k = -75 - -76. Let j be (k + (-4)/2)*-2 - -37. Is (j/(-1))/((-27)/207) composite?
True
Suppose 0 = 3928*l - 3937*l + 295443. Is l prime?
False
Is 19736047/115 - 14/(-20)*(-24)/21 composite?
False
Suppose 2*f - 2*g - 25 + 15 = 0, 2*f = -3*g - 5. Suppose -2*o + 0*q = -q - 1803, -3*q - 1805 = -f*o. Is o composite?
True
Let o(k) = 106*k + 9. Let x be 14/(-63) - 465/(-27). Is o(x) a prime number?
True
Let g = -78823 - -140870. Is g a composite number?
False
Let s(f) = f**3 + 31*f**2 - 70*f + 15. Let j be s(-33). Suppose p - 3*l = 11594 - j, -p = 4*l - 11419. Is p a prime number?
False
Let f = -160 - -328. Suppose -3*y = -0*y - f. Suppose 2*r - 1265 = 3*o, 579 = r - 4*o - y. Is r composite?
False
Let t(a) = 2*a**3 + 11*a**2 - 2*a - 22. Let u(n) = -6*n - 93. Let q be u(-17). Is t(q) composite?
False
Let r = -122 - -892. Suppose r = 2*v - 214. Suppose k - 5*k = -2*m - v, 0 = 2*k - 4*m - 258. Is k a prime number?
False
Let z(y) = -y**3 + 5*y**2 + 3. Let i be z(4). Let n(s) = 2391*s**2 - 14*s + i*s - 3 - 2. Is n(1) a prime number?
False
Suppose -1248 = 2*b - 6*b. Suppose -5*m + 25 = 0, 2*j - 23*m + 21*m = 2748. Let k = j - b. Is k a prime number?
False
Let p(b) = 2*b + 4*b**3 - 4*b**3 - 6*b**2 - 3*b**3 + 9 + 4. Let v be p(4). Let w = 114 - v. Is w a composite number?
True
Suppose -31*w + 7 = -30*w. Suppose -w*c = 4*c + 66. Let p = 19 + c. Is p a prime number?
True
Let f(c) = -c - 1. Let o be f(3). Let t(w) = -7 - 21*w**3 - 3*w**2 + 0*w**3 + 4*w - 4*w**3 + 3*w**3. Is t(o) prime?
False
Suppose 7429032 = 168*p - 12348432. Is p composite?
True
Let s(k) = 1713*k**2 + 1518*k + 20. Is s(-41) composite?
True
Suppose 3*k + r - 17007 - 34026 = 0, -5*k + 85055 = 2*r. Is k a composite number?
False
Let f = 75944 - 52903. Is f prime?
True
Is 2/(12 + (-1535146)/127929) a prime number?
False
Let d(q) = -65*q**3 - q**2 - 10 - 56*q + q**2 - 3*q**2 + 50*q. Let f be d(-3). Suppose -220 = 4*p - f. Is p a prime number?
True
Suppose 2*r - 207621 = g, 4*r - 271*g + 266*g = 415263. Is r prime?
False
Suppose -33*m + 22*m = -2679599 - 2622170. Is m a prime number?
False
Suppose 2*w - w + 11 = -2*g, -3*w - 13 = g. Let l(d) be the second derivative of 37*d**4/4 - d**3/6 + d**2/2 + 154*d. Is l(w) composite?
True
Suppose 16*y + 3*s = 11*y + 110960, -3*y - s + 66572 = 0. Is y a prime number?
True
Suppose 8*v + 11*v = -37*v + 1421896. Is v a composite number?
False
Let c = 9863 - 4454. Suppose 12*f = 2163 + c. Is f prime?
True
Let r be 2 + -4 + 7 - 1. Suppose -r*m + m = -7671. Suppose 2*x + 5*z = 1003, -5*x + 2*z = -2*z - m. Is x composite?
False
Let x(d) = 11*d**2 - 31*d + 40. Let c(a) = -7*a**2 + 21*a - 27. Let s(p) = -8*c(p) - 5*x(p). Let b be s(11). Is 633 + b/(-4) + 91/(-26) a prime number?
True
Let t(i) = -42*i - 7. Let d(y) = 43*y + 6. Let l(j) = -2*j + 15. Let z be l(6). Let c(h) = z*t(h) + 2*d(h). Is c(-5) prime?
True
Let g = 6075 + 51236. Is g a prime number?
False
Let r(m) = -4 - 1 + m**3 - 13*m**2 - 3*m**3 - 15*m - 6. Is r(-8) a prime number?
False
Suppose -v = -5*w + 97852, -14*w + 58725 = -11*w + 4*v. Is w a prime number?
True
Suppose -3*s - 5 = -4*a, 5*a + 2 = -3*s + 15. Suppose -y - 3*r - 5 = -s, -5*r = y + 8. Is 1 - ((-1)/y*2 + -129) composite?
False
Suppose -3*o + 6*o - 495 = 0. Let s be (-1 - 1)/((-21)/119)*-3. Let j = o + s. Is j a composite number?
False
Let f = 11559 - 7387. Let n = f + -81. Is n a composite number?
False
Let y(w) = w**3 - 3*w**2 + 5*w - 3. Let g be y(3). Suppose -2*x + g = -0*x - 4*d, -4*d - 24 = 4*x. Is x/(10/(-7365)) + -2 composite?
False
Let r(m) = -7*m - 7. Let o(f) = -f**3 - 11*f**2 - 12*f - 15. Let l be o(-10). Suppose l = -x - 3. Is r(x) a prime number?
False
Suppose -27*o = -30*o + 480. Suppose -2*c - 344 = o. Let i = -86 - c. Is i prime?
False
Suppose -4*o + 321252 = 4*y, 5*o + 7*y - 9*y - 401537 = 0. Is o prime?
True
Let n = 0 + -3. Let z be n/(-4) + (990/8)/11. Is 3 - 8/z*-3*443 a composite number?
True
Let i(k) = -k**3 + 14*k**2 + 2*k - 23. Let z be i(14). Suppose 3*p = -4*f + 36 + 4, 24 = z*p - 4*f. Let c(x) = 48*x - 17. Is c(p) composite?
False
Is (173646 - 188)*(-3)/((-6)/5) prime?
False
Let y(c) = -8094*c - 3457. Is y(-32) a composite number?
False
Suppose -1078 = -13*o + 12*o. Let m = o + -600. Is m prime?
False
Let v(o) = -o**3 + 41*o**2 - 97*o + 2. Is v(-41) a prime number?
False
Let n(j) = 250*j - 3. Let l(o) = -3*o - 9. Let i be l(-8). Let u(s) = s - 13. Let v be u(i). Is n(v) prime?
False
Suppose -2*b - 3*s - 1 = 0, 5*b - 40*s + 35*s + 40 = 0. Is (1832/16)/((-1)/310*b) prime?
False
Let t be ((-22)/6)/((-2)/264). Let j be 2/((-24)/57)*(-86 - 22). Let f = j + t. Is f prime?
True
Is (15283168/(-10))/(-4) + (17 - 1634/95) a composite number?
True
Let m = 9023 + 17163. Is m a composite number?
True
Let a(j) = j**3 + 8*j**2 - 4*j + 245. Let d be a(12). Let i be -3 - -15 - (-1 + 0). Suppose -4*n + 4*r = -12244, -10*r - d = -n - i*r. Is n prime?
False
Let o be -10*2/(2/269). Let w = 4721 + o. Suppose -n = -3*n - 4*q + 4058, 0 = n + q - w. Is n a prime number?
False
Let h(d) = -197*d - 38. Let r(v) = v + 21. Let i be r(-11). Let q be (2/(-2 - -3))/(i/(-55)). Is h(q) prime?
True
Let b(m) = 2*m**3 - 41*m**2 - 71*m - 51. Let k be b(35). Suppose 7*s - 4*s + 65957 = 4*r, -5*s - k = -2*r. Is r prime?
True
Let k = 736 - -384. Let b = k + 914. Suppose -5*o + b = o. Is o a composite number?
True
Suppose 2*u + 4 = -2*d + 36, 4*u = -3*d + 66. Let i be 206*(27/u - 226/4). Is 24/(-84) + i/(-14) composite?
False
Suppose 14*p - 2923517 = -7*p - 10*p. Is p composite?
False
Let w(h) = -19002*h - 365. Is w(-1) prime?
True
Let g(y) = 2*y + 50. Let n be g(-25). Suppose 3*u = -14*l + 12*l + 16376, n = -4*l - u + 32732. Is l a prime number?
False
Suppose -25*h + 10089462 + 5540614 = -14738149. Is h prime?
True
Let b = 5887 + -4490. Is b a composite number?
True
Let m be (-4)/22 + (-136)/(-22). Let c(p) = 7321*p + 319. Is c(m) prime?
False
Let z = 40 + -13. Suppose 5*f - 3*n = -5, n + 4*n - z = -f. Suppose f*g = 4*g - 2554. Is g a prime number?
True
Suppose -24 = -2*m - m. Let o be (-3)/2 - m/(-16). Is 307*(-4 + (4 - o)) a prime number?
True
Let j(w) = w**2 - 6*w - 4. Let q be j(7). Let s(z) = -2*z**2 - 6*z. Let o be s(-2). Suppose o*m - q*m - 119 = 0. Is m a composite number?
True
Let i = -57 + 59. Let c(n) = -30*n - 14. Let v be c(-2). Suppose i*f - 88 = v. Is f composite?
False
Let m = -10 - -16. Suppose 2*h - m = 0, 0*y + 2*y - h - 661 = 0. Suppose 48*g - y = 44*g. Is g a prime number?
True
Let j(g) = -31887*g + 1304. Is j(-11) a prime number?
False
Suppose 4*h = 4*r + 2048, 0 = -0*h - 4*h + 3*r + 2044. Let a = -218 - -223. Suppose 3*v - h = -a*b,