156/(-1))/j a composite number?
True
Let b = 42 + -48. Let k be 177*(b/(-18))/1. Let s = 110 - k. Is s a composite number?
True
Let m = 149053 + -50520. Is m composite?
False
Let k be (-15)/(-12) - (-1576)/(-32). Let f = k + 46. Is ((-1)/f)/((-3)/(-4038)) a prime number?
True
Let n(c) = -c**2 - 28*c + 397 + 2766 + 6558 + 766. Is n(0) a composite number?
False
Let y(o) = o**2 + 13*o - 10. Let a be y(-14). Suppose -5*r + 2*k + 6476 = -17916, -a*k - 4 = 0. Let s = -2947 + r. Is s prime?
True
Let z = 1137926 - 138159. Is z composite?
True
Let p(u) = 2*u**2 - 5 + 10 - 3*u**2 - u**3 - 4*u + 6. Let d = 140 - 145. Is p(d) composite?
False
Suppose -38 = 14*m - 33*m. Let o(p) = 6822*p + 5. Is o(m) a composite number?
False
Let i be 10*(1 + (-3)/6). Suppose -2*c = -3*j + i, -3*c + 2*j = -7*c + 14. Suppose -5 = -c*o - 4*b + 549, b - 569 = -2*o. Is o composite?
True
Suppose 41*j + 61*j = 8624900 - 1912382. Is j a prime number?
True
Suppose -56*g + 696160 = 104*g. Is g composite?
True
Let i(u) = 1334*u**2 + 28*u + 317. Is i(-8) prime?
True
Let g = 47055 - -122992. Is g a prime number?
True
Let p(s) = 185*s**3 - 8*s**2 - 48. Let z be p(7). Suppose 7*m = 22*m - z. Is m prime?
True
Suppose -2*r + 4*d - d + 30 = 0, 0 = -5*r - 4*d + 29. Let o(q) = -2*q**2 - 79*q + 50. Let j be o(-40). Suppose j*x - 443 = r*x. Is x a prime number?
True
Suppose 0 = 2*s - 3*l - 41402, 2*s - 60691 = 5*l - 19289. Is s a prime number?
False
Let u(o) = 712*o**2 + 41*o + 59. Is u(-20) a composite number?
True
Let s be (-145)/58 + (25/2)/5. Suppose 3*u - 8776 + 535 = s. Is u a composite number?
True
Suppose -66 = -11*o - 11. Suppose 0 = -q - 0*q + i + 891, 0 = -o*q - 5*i + 4415. Is q prime?
True
Let p(j) = -j**2 + 16*j + 1. Let y be p(20). Let n = 83 + y. Is -6 - -334 - (1 - n) composite?
False
Is (25835280/(-960))/(1 - (-3)/(-4))*-1 prime?
True
Let p = -3 + 3. Suppose -7*t + 704 = -1340. Is t - (1 - p - 2) prime?
True
Let q(b) = -2407*b**3 + 14*b**2 + 8*b + 1. Is q(-2) prime?
False
Let m(f) = 9*f - 34. Let w be m(4). Is 21/(-9)*(w + -3833) composite?
True
Let k = -527066 + 1003408. Is k a composite number?
True
Suppose -3*w - 16302 + 489 = 0. Let f = w + 11000. Is f composite?
True
Let v be -4 - (-1)/((-4)/(-11488)). Suppose -v = -4*n + n. Suppose s - 5*t - 568 = -2*s, 0 = 5*s + t - n. Is s a composite number?
False
Let f(q) = q. Let y be f(-1). Let c(k) = -3786*k + 3. Let m be c(y). Suppose 9*j + m = 12*j. Is j a composite number?
True
Let k(q) = 2*q + 14. Let r be k(-5). Suppose -5*l + 766 = -r*w + 6795, -2*l = -w + 1505. Is w a composite number?
False
Let l = 886 + -557. Let n = -163 - -166. Suppose -5*a + 6685 = 4*x, -n*x - 1666 + l = -a. Is a a composite number?
True
Let z be (-2)/(-8) + 94/8. Let p be 860/(-8)*z/(-10). Let v = 34 + p. Is v a prime number?
True
Let j(h) = h**3 + 41*h**2 + 19*h + 114. Let s be j(-33). Suppose -8189 = -6*x + 4*x - 5*r, -5*r - s = -2*x. Is x a prime number?
False
Let c(g) = -4*g + 3*g**2 + 16*g + 19 + 16*g**2 - 15*g**2. Is c(-8) prime?
True
Suppose 3*x + 586490 = y + 17379, -5*x - 40 = 0. Is y a prime number?
False
Let t(g) = g**2 - g - 1. Let y(j) = -5*j**2 + 2*j + 8. Let d(p) = 2*t(p) - y(p). Let m be (-36)/(-54) - 26/(-6). Is d(m) a composite number?
True
Let h(i) = -i + 9. Let f be h(3). Suppose f*q + 3728 = 2*q. Let c = q + 1545. Is c prime?
True
Suppose 3*b + 3*w - 27 = 0, 5*w - 4 = 4*b + w. Suppose b*x - 7*x + 3257 = 4*n, -3*n + 2459 = -x. Is n composite?
True
Suppose -14*b = -13*b + 5*v - 12018, -5*v = -4*b + 47947. Is b a prime number?
False
Let r be (-1 - (-46)/(-6))*(-3708)/8. Let m be -4 + 44/12 + r/9. Is (1/3 - (-6)/36)*m prime?
True
Let w(s) = -2*s**2 - 16*s - 20. Let r be w(-6). Let d = r + 3194. Suppose -m = -7*m + d. Is m composite?
True
Suppose 15 = 8*b - 9*b. Let g = 15 + b. Suppose g = 4*z - 8 - 348. Is z a prime number?
True
Let q(r) be the first derivative of 32*r**3/3 + 5*r**2 + 17*r + 1. Suppose 0 = 2*z, 6*z = -4*h + 4*z - 20. Is q(h) a composite number?
True
Let u be (-6 + 0)*(-4 + (-21)/(-6)). Suppose 8*m - u*m - 47940 = -q, 4*m - 3*q = 38333. Is m a composite number?
False
Let t(s) = 5*s**3 - 32*s**2 + 611*s + 199. Is t(60) a composite number?
False
Let k(h) = 831*h + 73. Is k(34) composite?
True
Let j(t) = 16*t**3 - 6*t**2 - 15*t + 14. Let g be j(5). Let y = 3849 + g. Is y a prime number?
False
Suppose 1164*l = 1160*l - 224. Suppose 0 = 4*z - 5*z + 4*q - 3, 6 = 5*z + q. Is 3*(-3 - l)*z prime?
False
Let o(j) = 362799*j**2 + 111*j + 113. Is o(-1) composite?
False
Suppose -15*y - 13*y - 170*y = -34447446. Is y a composite number?
False
Let x(i) = i**2 + 7*i - 12. Let h be x(-9). Suppose -o + 5*s - h = 0, -4*o = -9*o + s + 18. Suppose 1475 = q + o*q. Is q a prime number?
False
Let a be 22/(-5)*10505/44*2. Let i = a - -4944. Is i composite?
False
Let s(b) = 165*b**2 + 31*b - 8. Let t be s(9). Let c = 28121 - t. Is c composite?
True
Suppose d = 4*i + 192513, 962481 = -561*d + 566*d + i. Is d prime?
True
Suppose -3*f + 2*j = -79347, -2*f - 15*j = -20*j - 52898. Is f prime?
True
Let b(l) be the third derivative of 0 - 1/120*l**6 + 19/60*l**5 - 17/6*l**3 + 0*l - 25*l**2 + 5/24*l**4. Is b(18) prime?
True
Let y be (0/2 - 53673)*(-1 + 0). Suppose 0 = 5*l - 33 + 8, 2*b - 5*l - y = 0. Is b composite?
False
Suppose 31*h = 37*h - 412218. Is h a prime number?
False
Let c(a) = -113781*a - 4792. Is c(-3) composite?
False
Let q(l) be the second derivative of l**4/12 - 5*l**3/6 - 6*l**2 + 13*l. Let y be q(7). Suppose 1191 - 3277 = -y*z. Is z a composite number?
True
Let d(i) = i - 5. Let a be d(5). Suppose -2*y = 4*j - 3678, a = j - 5*y + y - 915. Is j a prime number?
True
Suppose 2*o - 114192 = -6*d - 0*o, -5*d + 2*o + 95149 = 0. Is d a prime number?
True
Let w(b) be the third derivative of 11*b**5/20 + 3*b**4/2 - b**3/6 + 111*b**2. Is w(-6) a composite number?
False
Let f(w) = 22*w**2 + 173*w - 451. Is f(52) a prime number?
False
Suppose -2*o - 2*x = -8, 8 = -4*o + 6*o - 4*x. Suppose -d - o*d + 19240 = 3*h, -3*h = 4*d - 19238. Suppose -3*b - h = -5*b. Is b a prime number?
False
Suppose -g + 69*y + 50066 = 64*y, -5*g + 3*y + 250528 = 0. Is g a composite number?
False
Let q(v) = 9*v - 6. Let k be q(2). Suppose -8 = -5*a + k. Suppose -23 = -i + 3*z + 63, -a*z = 4. Is i composite?
False
Suppose 0 = 2*m - 5*n + 21, 3*m = 2*n + 1 - 5. Suppose -41*j + 3*l = -46*j + 10258, -4105 = -m*j - 3*l. Is j a composite number?
True
Let h(p) be the second derivative of -5*p**5/4 - p**4/4 + p**3/6 + p**2 + 98*p. Is h(-3) a prime number?
True
Let h = 60 + -58. Suppose v = 2*q + 10091, -3*v + 50469 = h*v - 3*q. Is (2/(-5))/(-1 + 10092/v) a prime number?
False
Is 6 + 2 + 52937 + 2*(12 - 10) composite?
True
Suppose x - 129836 = y, -111*y + 112*y - 3 = 0. Is x a composite number?
True
Is (-492)/574*1020292/(-6) + -3 composite?
False
Let v = 3 + 0. Suppose j - a + 65 - 1958 = 0, v*j - a = 5679. Suppose y = -2*y + j. Is y a prime number?
True
Let i(g) = -4*g - 1. Let f be i(0). Let w = -6 + f. Let a(x) = -10*x**3 - 7*x**2 + 9*x + 13. Is a(w) a composite number?
False
Let s(f) = -f**3 - f - 320. Let c be s(0). Let a = -1735 + 1687. Is c/(-14) - (1 + a/42) a composite number?
False
Suppose -7*x - 16*x + x + 255442 = 0. Is x prime?
False
Suppose -6 = -3*t + 2*t. Is (0 - 0/1) + 5802/t prime?
True
Let k be ((-34)/(-6))/((-4)/(-96)). Let t(l) = 10 + k*l - 7 + 256*l. Is t(1) prime?
False
Suppose 1889 = 3*f + k, -4*f + 1123 + 1401 = 4*k. Let s(h) = -55*h + 1238. Let r be s(17). Let b = f - r. Is b prime?
False
Suppose 35*q = 1844833 + 5240112. Is q a composite number?
True
Let k = 3 - -7. Suppose -k = -5*y + o, 5 = 3*y + 4*o - 1. Suppose y*h = 11*h - 4311. Is h prime?
True
Let j = 73 + -77. Let t(r) = 2*r + 9. Let s be t(j). Suppose 0 = -i + s, -4*z = 2*i + 2*i - 3672. Is z prime?
False
Let d be (2/(-2))/(((-3)/(-33))/(-1)). Suppose 0 = -d*a + 13*a - 10. Suppose 2*b = a*y + 1331, 6*b - 2*b - 2680 = 4*y. Is b composite?
False
Let j(p) = p**2 - 15*p + 49. Let k be j(4). Suppose 0 = 5*h + k*v - 17607 - 8753, -5*v = -15. Is h a composite number?
True
Let c = 6157 + -8669. Let f = c + 3629. Is f composite?
False
Suppose -10759 = -3*g + 2*w, 4*g - 14349 = 140*w - 141*w. Is g prime?
False
Let o(b) be the first derivative of b**7/420 - b**6/90 - b**5/15 - 5*b**4/8 + 14*b**3/3 - 1