x - 6 = 5*k. Is 1/(k - 12272/(-4090)) a prime number?
False
Let m(y) = y**3 + 56*y**2 + 75*y - 11. Is m(-28) a composite number?
False
Suppose 13*p - 268 + 73 = 0. Let g be (36/p)/(-4)*-25. Is (-1)/(-3) - (-9460)/g prime?
True
Suppose 0 = -12*c + 9*c + 294. Let r = 96 - c. Is (-14 - 5)/(1 + r) prime?
True
Let l = 5499 + -5511. Let s(t) be the third derivative of -t**6/120 - t**5/15 + t**4/8 + 23*t**3/6 + 2*t**2. Is s(l) prime?
False
Let g(h) = -119*h - 3. Let z be g(-3). Suppose 0 = -58*v + 61*v - 2*c + 493, 0 = 3*v + 3*c + 483. Let t = z + v. Is t prime?
True
Is (-256422)/42*(5 - 12) a composite number?
False
Let n = 7013 + -1276. Is n composite?
False
Let y(l) = 649*l**2 - 75*l + 39. Is y(4) composite?
True
Let o(i) = -5*i**2 - 20*i - 2. Let q be o(-7). Let w = 1476 - q. Is w composite?
False
Suppose 2*m - 3*j + 2839 = 0, -4*m + 5*j - 5680 = j. Let a = m - -7254. Is a composite?
True
Let f = 20 - 17. Let a(g) = -6*g**3 + 27*g**3 + 20*g**f - 6*g**2 - 15 + 5*g. Is a(5) prime?
False
Let w be 2/(-8) - (-2)/(32/(-412988)). Is (-10)/35 - (w/(-14))/(-6) a composite number?
False
Let g(b) = 233*b**3 - 7*b**2 + 31*b - 221. Is g(6) composite?
True
Let i(x) = 253*x**3 + 6*x**2 - 58*x + 707. Is i(10) a prime number?
False
Let z = -49 - -49. Suppose z = 5*x - 1 - 14. Suppose -409 = -m - x*m - 3*g, 0 = -3*m + 2*g + 328. Is m prime?
False
Suppose -5*v = 3589 - 13584. Let b = v + -216. Is b a prime number?
True
Let i(n) = -n**2 - n + 88. Let d be i(8). Is 180900/84 + d/(-28) a prime number?
True
Suppose -6*v = -8*v + 1116. Suppose -4*d + 3*q = -0*d - 1115, 2*d - 2*q - v = 0. Let w = 39 + d. Is w a prime number?
True
Let b(t) = 619*t + 26. Let k = -73 - -76. Is b(k) a composite number?
True
Let c(x) = -2*x + 110. Let o be c(36). Suppose -405553 = 33*a - o*a + 2*w, -3*a - 5*w = -243307. Is a a prime number?
False
Suppose -11*s + 4 = -13*s, -5*l = -2*s - 6544. Is (1/((-6)/8))/((-8)/l) a prime number?
False
Let l = 15 - 19. Let z(r) = -r**2 - 7*r - 15. Let v be z(l). Is 4/18 + (v - 5529/(-27)) prime?
False
Suppose -29 - 31 = -20*b. Let r(g) = 5*g**2 - 8*g + 16. Is r(b) composite?
False
Is ((11 - -3503459)/5)/2 a prime number?
True
Let r = 252 + -240. Suppose -r*t = 7*t - 19931. Is t a composite number?
False
Let y = 0 - -5. Suppose -x = 3*a - 8927, -y*a - 30170 = -5*x + 14545. Is x a prime number?
False
Suppose 2*c + 3*w - 1579312 = 0, 3*c - 1024891 = 2*w + 1344064. Is c composite?
False
Let w be ((-3)/(-1) + 6)*-1 + -1. Let r be w/(-4)*20208/40. Suppose s + m = -0*m + 1255, -s + r = -m. Is s a composite number?
False
Let m = 38829 - 21274. Is m prime?
False
Suppose 0 = -2*b + a, 6 = 5*b + 7*a - 8*a. Let o(s) = 1694*s**2 - 5*s - 5. Is o(b) a prime number?
True
Let p(i) = 323*i**2 - 27*i + 17. Is p(11) a prime number?
True
Suppose 0 = 285*n - 282*n. Suppose p - 1639 = -l, 3*l + p - 3465 - 1448 = n. Is l a prime number?
True
Suppose -3*f = 4*x - 2*x - 195954, -5*f = -20. Let y = x - 47764. Is y prime?
True
Suppose 2*z = -z - 4*r + 10, -5*r + 5 = 0. Suppose -437 = -z*l + c + 153, -2*l - 2*c + 590 = 0. Is l a composite number?
True
Let a(s) = s**3 + 17*s**2 + 13*s - 42. Let t be a(-16). Let v(j) = 4*j**2 + 11*j - 47. Is v(t) a prime number?
True
Let q = 256167 - 96166. Is q a prime number?
True
Let r = -6 - -10. Suppose -5*c - r - 1 = 0. Is 0/3 - c*309 composite?
True
Let d = 489 + 37292. Is d prime?
True
Let f(d) = 4*d**3 + 3*d**2 - d - 4. Let t be f(-2). Let q be 1 - ((-14)/77 - (-18)/t). Is ((14315/(-20))/(-7))/(q/8) composite?
False
Let c(y) = -5*y - 125. Let m(d) = 7*d**2 - 68*d + 7. Let i be m(9). Is c(i) composite?
True
Let q = 38711 + -21923. Suppose 3*g - 7*g - q = -4*w, -3*w = 3. Is g/(-8)*(-8 + 12) a composite number?
False
Suppose 12 = 3*n, -2*w - 59*n = -57*n - 117682. Is w prime?
False
Is (-3109)/((-4)/52 - (-24)/988) a prime number?
False
Let k be 6/(0 - -3) + 1. Suppose 8*x = k*x - 815. Let b = x - -612. Is b prime?
True
Is 558/(-372)*(-2646052)/6 a prime number?
True
Suppose -4*r + 497786 = k, 2*r + 0*k = -k + 248892. Is r a prime number?
True
Suppose 3*s + 2*t + 8 = 0, -t = -2*s + 2 + 2. Suppose s = -78*h + 81*h - 2901. Is h prime?
True
Let z(j) = -37*j**3 + 2*j**2 + 5*j - 4. Let g = 43 + 13. Let c = 53 - g. Is z(c) composite?
True
Let r be (-7)/21 - (-80)/6. Suppose r*u = 11*u + 22. Suppose 0 = u*t - 15*t + 4244. Is t a prime number?
True
Let l(z) = 13 + 50*z**2 - z - 29*z**2 - 22*z**2 + z**3. Let q = 2 - -4. Is l(q) a composite number?
True
Let k = 123 + -79. Let h = k - 45. Is 6 + -8 + (h + 44)*3 a composite number?
False
Suppose 0 = k + x - 12 + 2, -2*k - 4*x + 28 = 0. Let f be -2*((-12)/k - 0). Suppose 0 = f*c + 5*p - 10*p - 2091, -3*c - 5*p + 1612 = 0. Is c prime?
False
Let w = -324139 + 950048. Is w prime?
True
Let p = 756349 - -477388. Is p a prime number?
False
Let y(f) = -f**3 + 7*f**2 - 8*f + 12. Let t be y(6). Suppose -5*r + 3*n - 5 = t, -5*r - 6 = 2*n - 1. Let l(a) = -765*a**3 + a**2 - a - 1. Is l(r) composite?
True
Let f be 174/((-10)/(-4905)*-3). Let u = f + 52206. Is u composite?
True
Suppose d - 107 = -92. Suppose -d*h + h = -38192. Suppose 4*n = 2884 + h. Is n a prime number?
False
Let k be (-9)/(135/(-6)) + (-14)/10. Let n(h) = h**2 - 2. Let u be n(k). Is (1492/(-10) - (-3)/15)/u a composite number?
False
Let a(k) = -20*k**3 - 2*k**2 - 2*k + 1. Let f(o) = 39*o**3 + 3*o**2 + 3*o - 3. Let u(v) = 5*a(v) + 3*f(v). Is u(3) a prime number?
True
Let d be (-28)/(-10) + (-7)/(1 + -36). Let i be (d/(-2))/(1/(-10)*-5). Is 1117 + i/(-6)*(-6 + 2) a composite number?
True
Suppose 5*f + 20 = 5*m + 55, 0 = -3*f + 3. Let s = -3 - m. Suppose 6*k = s*k + 447. Is k composite?
False
Suppose 0 = -3631*x + 3627*x + 3131164. Is x a prime number?
True
Suppose -2*w - 2 = 0, 481596 = 14*t - 12*t - 2*w. Is t composite?
False
Let b be 15/18*-20 + 115/69. Is (0 - -1) + b/3*-638 a prime number?
True
Suppose -664*f - 3*c = -659*f - 672364, -2*f = 2*c - 268948. Is f composite?
False
Let c(h) = -h**2 + 80*h + 518. Let k be c(-6). Let a be 1028 + (-1 - 2/(-2)). Suppose -3*d + a = k*s - 7*s, -s = 1. Is d composite?
True
Is (-2)/2 - 456/48*-7684 composite?
False
Let l be (-12190)/(-6) + 10/(-6). Suppose -4*d - l = -14*d. Is d prime?
False
Let k(f) = -87*f - 167. Suppose 128*s - 120*s + 144 = 0. Is k(s) prime?
True
Let j(x) = 11*x + 4 + 1 + 1 - 4. Let l be j(7). Is l + -5 - (6 - 1) prime?
False
Let l(p) = 3712*p + 911. Is l(26) a prime number?
True
Let z(n) = 2384*n**2 + 58*n - 229. Is z(4) a composite number?
True
Suppose -2*p + 2*i = -0*i + 2, 4*i - 4 = -2*p. Suppose -2*o = -5*j - 130, p = 2*o - 5*o + 4*j + 209. Is 1/(-5) + 44040/o a prime number?
True
Suppose -240 = -7*n + 4*n. Suppose 2*a - 6*a = -n. Suppose 4*j = 1968 - a. Is j composite?
False
Let u be ((-3)/9)/(21/(-378)). Suppose 0 = 4*q + u*p - 2*p - 41084, 51339 = 5*q + p. Is q a composite number?
False
Suppose -25 = 5*w + 55. Let i be 15/(-6)*w/10. Suppose -4818 = i*t - 10*t. Is t a composite number?
True
Suppose 0 = 3*c - 4879 - 344. Suppose z - 222 = c. Is z a composite number?
True
Let m(n) = 3548*n**2 - 4*n - 1. Let r = -296 - -295. Is m(r) a composite number?
True
Let r = -478 + -137. Is -1 + r/(-5)*4 composite?
False
Suppose 3*f = -6*f + 18. Let m(d) = 10*d - 5. Let t be m(f). Suppose 32360 = t*s - 7*s. Is s a composite number?
True
Let b = -43 + 44. Let q be (-228165)/(-35)*b/(1/7). Is (-9)/24 - q/(-24) prime?
True
Let l(h) = h**3 + 39*h**2 + 12*h - 67. Let v be l(-18). Suppose b - v = -0*b. Is b prime?
True
Suppose 2506 = 3*r - 13190. Let k = r - 8456. Let z = 4847 + k. Is z a prime number?
False
Suppose 4*g = 6*g - 8. Suppose 0 = -g*q - 4*q + 5128. Let s = 458 + q. Is s a prime number?
False
Let o = -4774 + 23295. Suppose 0 = -2*j + 16617 + o. Is j a composite number?
False
Suppose -5*i = -3*z - 67279, -4*z - 67282 = -4*i - i. Suppose i = 5*g + 3199. Is g composite?
True
Let r(z) = z**3 - 7*z**2 + 14*z - 16. Let f be r(8). Let x = 315 + -148. Suppose -f = -a + x. Is a a prime number?
False
Let z = 350 - 155. Is 1*(3 - z/6)*-34 composite?
True
Let q(x) = 3*x + 89 + 20*x**2 + 16*x**2 + 18*x**2 - 64*x**2 + 17*x**2. Is q(27) prime?
True
Suppose -25*d + 0*d - 225 = 0. Let o(t) = t**2 - 31*t + 13. Is o(d) a prime number?
True
Is (-68261)/(-5)*15/(-8 - -11) a prime number?
True
Let m(v) = v**3 + 26