11*g - 1. Suppose -6*k - 70 = -11*k + 5*w, -4*w = 4*k - 16. Is f(k) prime?
True
Let g = 80784 - 43163. Is g composite?
True
Suppose u + c - 1152 = 730, u - 1879 = -2*c. Suppose 0*g + u = 5*g. Is g a composite number?
True
Let l(m) = -2. Let o(z) = -z + 13. Let t(p) = -2*l(p) + o(p). Let b be 2 + 0 + 5/1. Is t(b) prime?
False
Let h = -6564 + 11395. Is h a composite number?
False
Let g be (-1 - -1)/(22/(-22)). Suppose g = -4*k - 5*i + 15393, -5*k + 3*i + 19231 = -i. Is k prime?
True
Let t(g) = -619*g + 149. Is t(-6) composite?
False
Let a = -2343 - -25738. Is a a composite number?
True
Let x be (-10)/(-25) - (-2)/(-5). Let h(w) = 140*w - 13. Let l be h(2). Suppose -3*d + 288 + l = x. Is d prime?
False
Let z = -10 + 19. Let k be 5/(2 - z/6). Suppose 2*o = -k + 140. Is o prime?
False
Let o = 6861 + -3547. Is o a composite number?
True
Suppose 4*d - 79705 = -15*d. Is d prime?
False
Let a be 5 - (-17)/(-3) - (-22)/6. Suppose 4*c = -v - 1, 2*c - 2 = -4. Is v - (-80)/(a - 2) a composite number?
False
Let i = -2778 - -9413. Is i a prime number?
False
Let m(z) = 74*z - 19. Let j be m(-12). Is (j + 3 - 3)/(-1) a prime number?
True
Let d = -194 + 53. Let n = -72 - d. Is (n + -2)*(3 - 2) prime?
True
Suppose 0 = -9*t + 18691 + 12206. Is t prime?
True
Suppose -5*d + 64 = -146. Is -4 + 184320/d - (-6)/14 a prime number?
False
Let i = 3448 - 5135. Let b = 3225 + i. Suppose b = 5*g - 117. Is g a composite number?
False
Let m(f) be the second derivative of 31*f**4/12 - 2*f**3/3 + 5*f**2 + 6*f. Let j(q) = 123*q**2 - 15*q + 39. Let i(s) = 4*j(s) - 15*m(s). Is i(-5) prime?
False
Let p be (-10)/(-3) + -2 + (-18)/54. Is (-3 + p)*557/(-2) a composite number?
False
Suppose -2*y - 5*r = -58, y + 31*r = 29*r + 27. Is y composite?
False
Let k(d) = 363*d**2 - 40*d - 161. Is k(14) a composite number?
True
Suppose 0 = 6*p - 3*p - 6. Suppose 5*u = a - 508, a = -u + p*u + 528. Is a composite?
True
Let u = 16 + -16. Suppose 0 = -u*s - 3*s + 6. Suppose s*q + 797 = 3*q. Is q a prime number?
True
Let s = -100 + -9. Let j be 1*(-2)/(2/s). Suppose x + j = 5*d - x, 40 = 2*d + x. Is d prime?
False
Suppose -4*s = 9 - 1. Let l be (1/s)/(4/(-496)). Suppose -t = t - l. Is t prime?
True
Let c be (-6)/(-18) + 11/3. Suppose d = c*d. Suppose d*g - 4835 = -5*g. Is g a prime number?
True
Let a be ((-15)/(-15))/((-2)/(-8)). Let f = a + -1. Suppose -f*s = -5*d - 47, -4*s - s + 4*d + 74 = 0. Is s a composite number?
True
Suppose 4*v - 6*v + 86 = 0. Let a = 0 + v. Is a a composite number?
False
Let q be -159*(-3)/(-9)*-3. Let z = -85 + q. Is z prime?
False
Suppose 6*t + 78 - 300 = 0. Let l = 52 - t. Suppose 5*r = -l, 3*r + 824 = 4*h - 461. Is h composite?
True
Suppose 12 = 3*c - 3*x, 5*c + x - 14 = -6. Let p(f) = 297*f - 7. Is p(c) composite?
False
Let j(a) = -30*a**3 - 12*a**2 - 26*a - 87. Is j(-7) prime?
False
Let u = -86 + 176. Is (-2)/9 - (-13970)/u a composite number?
True
Let o(p) = 352*p - 13. Let x(j) = -176*j + 6. Let r(h) = -3*o(h) - 5*x(h). Is r(-5) composite?
True
Is (63569/(0 - -11))/(0 + 1) prime?
True
Suppose h - 3599 = 1446. Is h composite?
True
Let o(g) = -2*g**2 + 13*g - 8. Let v be o(6). Let z be v + 69 - (3 - 6). Let c = 319 - z. Is c prime?
False
Let c(m) = 2*m - 9. Let f be c(7). Suppose 14 = f*k + z, -2*k - k + 10 = z. Suppose 4*w = b - 65, k*w + 219 = 3*b - 6. Is b a composite number?
True
Let g be (2 + 0/(-3))*2. Suppose -3*u - 1125 = -g*u. Suppose -2*p + 3*r + 454 = -0*p, 5*r = 5*p - u. Is p composite?
True
Suppose 0 = -2*t - 8 + 24. Let m(d) = d**2 - 6. Is m(t) composite?
True
Let i = -1951 - -3580. Suppose -6*g = -3*g - i. Is g a composite number?
True
Let r = -435 + 938. Is r prime?
True
Suppose -3*r = 3*p + r - 105429, 4*p - 4*r = 140600. Is p a composite number?
True
Let f(q) = -3*q + 191. Is f(0) a prime number?
True
Suppose 0 = k - 2924 + 426. Is k a composite number?
True
Let l = -15 + 11. Let a = l - -3. Is (-85)/a - (-11 - -11) composite?
True
Suppose -3*w - 4*x = 4, -2*w + x = -1 - 0. Let a(j) = -j**3 - j**2 - j + 22. Is a(w) prime?
False
Suppose 59327 = 5*p - 4*n, -p + 35574 = 2*p + 5*n. Is p prime?
True
Let j(b) = 69*b + 11. Is j(8) a composite number?
False
Is 6449*(-4 + 1)/(30/(-70)) a prime number?
False
Let n = 687 + -247. Let a = 259 - n. Let k = a + 308. Is k a composite number?
False
Suppose -2*u + 0*u = -6. Suppose -15 = u*y, -2*v = 7*y - 2*y - 7165. Is v a prime number?
False
Let b(k) be the first derivative of -77*k**3/3 - 3*k**2/2 + 3*k + 4. Let d be b(-3). Let q = d - -1312. Is q prime?
True
Let n be ((-8)/6)/((-5)/15). Let b(t) = 11*t - 6. Let c be b(n). Suppose -71 - c = -r. Is r a prime number?
True
Let l(o) = 49*o**2 + 40*o + 19. Is l(12) a prime number?
False
Let y(l) = 40*l**2 + 4*l + 7. Is y(-4) composite?
False
Let v(o) = -o**2 + 7*o + 4. Let d(l) = -l - 1. Let c(h) = -3*d(h) - v(h). Is c(-14) a composite number?
False
Let a(k) = -k**2 + 30*k - 3. Let p be a(13). Suppose -3*o + p = -o. Is (o/2)/((-11)/(-22)) composite?
False
Let i(u) = -u**2 - 8*u + 24. Let y be i(-10). Suppose y*r = 7*r - 1323. Let d = r - 190. Is d prime?
True
Let i(s) = 43*s**2 + 7*s - 5. Let t(l) = 1. Let h(f) = i(f) + 6*t(f). Is h(-3) prime?
True
Let b = 16 - -28. Let v = 26 - b. Is (-2922)/v + (-6)/(-9) a composite number?
False
Let v = -6 + 9. Suppose -9 = -v*w + 6*w. Is w + (-1)/(2/(-140)) composite?
False
Let r = 45 + -47. Is 15894/14 - 2/7 - r prime?
False
Let y be (-24)/10 + 2/5. Let q be (2/6)/(y/(-18)). Is (122 - 0 - q) + 0 a composite number?
True
Suppose -2*k - 4*h = -7667 - 9095, 2*k - 16763 = -3*h. Is k a prime number?
False
Let o(a) be the third derivative of a**4/24 + a**3/6 + 8*a**2. Let i(f) = -68*f - 5. Let x(t) = i(t) + 4*o(t). Is x(-2) a prime number?
True
Suppose 42*t = 63*t - 212331. Is t a composite number?
False
Let p(b) = -3*b**2 + 3*b - 3. Let l be p(-4). Let s = 90 + l. Suppose -2*r + 3 = -s. Is r prime?
False
Let z = -2630 - -4549. Is z composite?
True
Suppose 444044 + 96321 = 35*l. Is l a prime number?
True
Let y(q) = 407*q - 12. Is y(13) prime?
True
Let g(v) be the second derivative of -1/4*v**4 - 7/2*v**2 - 11*v + 0 + 1/2*v**3 + 3/10*v**5. Is g(4) composite?
True
Let x = 32458 - 17039. Is x prime?
False
Suppose 0 = -5*g + 9*g - 64. Suppose 5*j - 4*k - 753 = 626, -g = -4*k. Suppose t + 32 - j = 0. Is t prime?
False
Suppose 5 + 1 = -z. Let f = z - -10. Is (f - (0 - -1)) + 35 a composite number?
True
Suppose 0 = -0*u - 3*u + 9. Suppose j + u*j - 1480 = 0. Suppose -5*i + 15 = 5*f - j, -3*i + 2*f = -241. Is i a prime number?
True
Suppose 5*p + 2*p - 8519 = 0. Suppose f = 5, -4017 + p = -5*y + 4*f. Suppose -13*o + 9*o + y = 0. Is o a prime number?
False
Let j be (-17)/(-2)*(-10 - 4). Let x = j + 21. Is (-1 + (x - -4))/(-1) composite?
True
Suppose 8*j + 327678 = 86*j. Is j a composite number?
False
Suppose -p = 5*l - 6*l + 1758, -5*p = -15. Let g be (1 - 0)*(1 + -1). Suppose g = -5*o + 3*z - 2*z + l, 5*z + 1039 = 3*o. Is o a composite number?
False
Let n(q) = 3*q**2 + q + 3. Suppose -6*v = -3*v - 24. Is n(v) a composite number?
True
Let c(v) = -2*v - 3. Let s(n) = 4*n + 7. Let z(j) = -11*c(j) - 6*s(j). Let u be z(-7). Suppose 0 = 4*f + u*t - 159, 2*f - 2*t + t - 97 = 0. Is f a prime number?
False
Let g(a) = 2*a - 3. Let y(b) = 3*b - 2. Let r(p) = 4*g(p) - 3*y(p). Let q be r(-5). Is 1365 + (q - 0 - 3) a composite number?
False
Let x be (6 - 9) + 5 + 1. Let i(w) = w**2 - 7*w. Let f be i(7). Suppose c - 476 = -3*v - f*c, -x*v + 3*c = -456. Is v prime?
True
Let p = -1503 - -3086. Is p composite?
False
Let j(g) = -g - 8. Let w be j(-5). Let f = w + 214. Is f a prime number?
True
Let q = 864 - -1482. Let l = -1484 + q. Is l a composite number?
True
Let c = 3923 + -8267. Let t be 2/(-10) - c/20. Let r = t - 124. Is r prime?
False
Let p be (-3318)/9 + 2/(-6). Let a = p + 518. Is a prime?
True
Let z(k) = -2 + 11 - 71*k + 8 - 36*k. Is z(-4) composite?
True
Let r(z) be the first derivative of 4*z**3 + 2*z**2 - 29*z - 28. Is r(9) prime?
False
Let n(l) = -l**2 + 4*l + 5. Let b be n(4). Suppose -i + 41 = 5*w - 41, b*w = 2*i - 209. Is i a prime number?
True
Let j = -82553 + 117620. Is j prime?
False
Suppose 3*u + 19011 = 3*w, -4*u + 1113 = w - 5244. Is w a prime number?
False
Let g = 43 - 42. Let p(y) = 93*y**2 + 2*y - 1. Is p(g) prime?
False
Suppose -30*q