2*x = -3*n + 3297. Suppose -2*m = m - n. Suppose -3*g - 5 = 2*g, 5*k + 3*g - m = 0. Is k prime?
False
Let z = 13846 - 7493. Suppose -4*m - z = -y, 2*m - 5874 = -y + 473. Is y composite?
True
Let n(k) = k**3 - 8*k**2 + 5. Let f be n(8). Suppose -12 - 113 = -f*p. Is p a prime number?
False
Suppose 0 = 7*h + 4 - 39. Suppose 4*c + 3195 = h*c + 4*t, 3*t + 6412 = 2*c. Is c composite?
False
Let z(g) = -g**3 + 2*g**2 + 6*g - 6. Let c be z(3). Suppose -3*f + 7*l + 1319 = c*l, 0 = f - 4*l - 429. Is f composite?
True
Let a = -80 + 83. Suppose -y + a*y = b - 437, 5*y = b - 434. Is b a composite number?
False
Let a(s) = -s + 8. Let v(q) = -q**2 - 9*q - 4. Let w be v(-8). Let i be a(w). Suppose 379 = 4*m + i*h - h, 0 = 4*h + 12. Is m composite?
False
Suppose 5*t - 2*w - 6 - 5 = 0, 3*t - 11 = -w. Let k be 7004/t - (-3)/9. Suppose -7*m + k = -2*m. Is m composite?
False
Let w(q) = 31*q**2 - q + 14. Is w(-5) prime?
False
Let s(o) = -213*o + 20. Let c = -98 - -77. Is s(c) composite?
False
Let c be (121 - 1) + -1 + 0. Let k = c - 48. Suppose -4*t + 163 = 3*g, k = 2*t + 7*g - 2*g. Is t a prime number?
True
Suppose 3 = -n - 1. Let w be (-3 - -1)*(-5 - n). Suppose w*z + z = 42. Is z a composite number?
True
Let u = -10 - -4. Let v be u/33 - (-52)/44. Is v/(-2)*1*-1174 prime?
True
Let b(v) be the first derivative of 8*v**3/3 + 22*v**2 + 23*v - 18. Is b(-33) prime?
True
Is (1 + (2 - 1))/(8/17132) a composite number?
False
Let c = -9 + 27. Let y(x) = x**3 + 5*x**2 - 7*x - 24. Let m be y(-6). Is (-4)/m + 1040/c a composite number?
True
Let b(o) = -o**2 - 7*o - 6. Let k be b(-6). Suppose 0 = -3*t - k*t - 9. Is 399 - (10/2 + t) a prime number?
True
Suppose 3*n + 3*k = 52050, -4*k - 45422 = -5*n + 41283. Is n prime?
False
Let i = 13541 + -5080. Is i a composite number?
False
Suppose -30 = -5*o + v, 0 = 2*o + v - 10 - 2. Let w = 15 - o. Suppose -u - d + 302 = 0, 0 = -w*u + 4*u + d + 1504. Is u prime?
False
Let d(a) = 4*a**2 + a - 158. Let r(h) = -5*h**2 - h + 158. Let n(z) = -4*d(z) - 3*r(z). Let c be n(0). Suppose -p + c = p. Is p prime?
True
Let b(p) be the second derivative of 11*p**3 + 17*p**2/2 + 22*p. Is b(5) a composite number?
False
Let h = -581 + 1090. Suppose 20 = -4*y, 2*c + y = -0*y + h. Is c a composite number?
False
Suppose 19*f - 24*f = -6865. Is f a composite number?
False
Is (-1)/((-1)/(-4)*(-176)/1764356) composite?
False
Let v(k) = -9*k**2 + 22*k + 6. Let g(r) = -8*r**2 + 21*r + 7. Let x(l) = -6*g(l) + 5*v(l). Is x(13) prime?
False
Let h(l) = 1891*l + 49. Is h(2) composite?
True
Suppose 1965 = 5*f + 5*t, 5*f - 2*t = f + 1590. Suppose 4*y + 3*v = 5*v + 1518, y + 5*v - f = 0. Is y a prime number?
False
Suppose d + 189726 = 3*l, 5*l + 3*d - 1696 = 314500. Is l prime?
True
Let s be (-1 - -3 - 1)*-5. Let k be (-1)/((5/2)/s). Suppose k*j - 5*h - 804 = 0, -5*h = 4*j - 157 - 1421. Is j prime?
True
Suppose -608 + 2557 = w. Is w a prime number?
True
Suppose -5*b - 19134 = -2*h, -35*b = -32*b - 12. Is h a composite number?
True
Suppose 2*y = b + 14819 + 5259, 0 = 3*y - 5*b - 30117. Is y a composite number?
False
Let t(x) = -x**2 - 4*x - 3. Let v be t(-2). Is (v - 23)/((-4)/46) a composite number?
True
Suppose 2*d - 1782 - 1380 = 0. Suppose -5*x + d = 481. Let r = x + -93. Is r composite?
False
Let s(h) = -h**2 + 15. Let x = -5 - -9. Suppose -3*n = -0*n - 4*v - 8, 4*n - 2*v = x. Is s(n) a composite number?
True
Let g(d) = -d**2 - 14*d - 27. Let n be g(-11). Is (4947/34)/(n/8) composite?
True
Let n(p) = -p**2 + 6*p - 5. Suppose -10 - 15 = -5*l. Let w be n(l). Let z(m) = -m**2 + 19. Is z(w) a prime number?
True
Let y(u) = 4*u**3 - 57*u**2 - 31*u + 11. Is y(29) composite?
False
Let w be (-1 - 1) + (-6)/(-3). Suppose r - 817 = -s - 2*s, 3*s - 2*r - 814 = w. Suppose y - s = -5*u, 0 = 3*u - 0*u + 9. Is y prime?
False
Let j(v) = -190*v**3 + v**2 - 3*v - 7. Is j(-5) prime?
False
Is (-3 - -1) + (1432 - 12) a composite number?
True
Let c(n) = n**3 - 8*n**2 + 7*n + 7. Let a be 66/10 + 8/20. Let v be c(a). Suppose v*t - 4*t = 201. Is t a composite number?
False
Let z(y) = -y**2 + 6*y + 2. Let t = 18 - 11. Let d be z(t). Let j = 92 + d. Is j a prime number?
False
Suppose -2*r - r = -2*f - 9, -2*f + 5*r = 15. Is (-16 - -2)*(f - 757/2) a composite number?
True
Suppose -k - 3*r = -55400, -4*k - 1308 + 222948 = 4*r. Is k a prime number?
False
Let u = 90703 - 37589. Is u composite?
True
Suppose -9 = -9*n + 8*n. Let h(r) = 5*r + 4. Let z be h(n). Suppose 4*c + 267 = 5*p, 3*c = p - 0*c - z. Is p composite?
True
Suppose -105*k - 9 = -108*k, 4*o + 4*k = 71416. Is o composite?
False
Let p = 103 + -48. Suppose 0 = 3*h + 13 - p. Is h a composite number?
True
Let h = -983 - -650. Let p = h - -28. Let g = -178 - p. Is g prime?
True
Let f(z) = -z**3 - z**2 + 9*z - 2. Let y be f(6). Let m be (-1)/(2 + 1 + -4) - 118. Let q = m - y. Is q prime?
True
Suppose -38*z + 39*z = 11. Suppose -17*t = -z*t - 1854. Is t a prime number?
False
Suppose 0 = -f - 3*f - c + 73847, 0 = f - 4*c - 18483. Is f prime?
False
Let m(l) = -10*l**2 + 3. Let c be m(2). Let y = 37 - -35. Let k = c + y. Is k a composite number?
True
Let p = 5347 + 6120. Is p composite?
False
Let l = 28039 + 20764. Is l a prime number?
False
Is (54 - 57) + 8104/2 composite?
False
Suppose -19*d = -24*d + 32215. Is d a composite number?
True
Suppose 0 = 3*z - 4*x + 673, 2*z + 2*z + 929 = -x. Let g = 2733 + -1811. Let o = g + z. Is o a composite number?
False
Is 361480/120 + (-4)/(-6) prime?
False
Is (-1)/(-2) - (-12 - (-390687)/(-22)) composite?
True
Let g(u) = -u**2 + 3*u - 5. Let q be g(3). Let k(w) = -w**2 - 7*w - 1. Is k(q) a prime number?
False
Let i(d) = d**2 + 8*d - 4. Let u be i(-6). Let s be (-9)/4 - 4/u. Is s/8 - (-2996)/16 composite?
True
Let w = 43 + -36. Is ((-2063)/1)/(-6 - (w + -12)) prime?
True
Suppose 2*p - 11473 = -5*p. Let i = p - 1166. Is i prime?
False
Let n(b) = -99*b + 45*b + 11 + 53*b. Let i = -6 + -2. Is n(i) prime?
True
Is 4/(6 - ((-3935890)/131201)/(-5)) a prime number?
True
Let d(w) = 28*w**2 + 3*w + 25. Is d(-14) a prime number?
True
Let j(m) = 0 - m**3 + 2*m**3 + 8*m + 4*m**2 - 12 + 8*m**2. Let w be j(-9). Suppose 0*h + h - w = 0. Is h prime?
False
Is 8/(-14) - ((-187416)/21 + -5) composite?
False
Suppose 10297 = 9*z - 37916. Is z composite?
True
Let m = 429 + 206. Is m prime?
False
Is 2946/4*20/30 a prime number?
True
Let f(g) = g**3 - 5*g**2 + 3*g + 8. Let b be f(4). Suppose -b*w + 4793 = -6483. Is w a prime number?
True
Let u = 49293 + -15614. Is u prime?
True
Suppose -2*t + 1 = -15. Suppose 14601 = t*x + 2257. Is x a composite number?
False
Suppose -4 = 3*a - 10. Let l(f) = -5 - 5 + 3 + 3 + 3*f + 48*f**a. Is l(-3) composite?
False
Let a = 29549 - -10324. Is a a composite number?
True
Let c(l) = -1106*l + 3. Let y be c(1). Let z = 3584 + y. Is z composite?
True
Is -15 + 28 + -13 + 1*2327 a composite number?
True
Let l be 270/(1 + (-2 - -2)/(-3)). Suppose -l = -7*s - 11. Is s a prime number?
True
Suppose -41*n + 37*n + 1320 = 5*i, n - 319 = -4*i. Is n a composite number?
True
Let l be (11 - 8)/((-1)/355). Let q = -524 - l. Is q a prime number?
True
Is 147608/(-14)*(209/(-22) - -6) composite?
True
Let k = 7238 - 2091. Is k a prime number?
True
Let n(f) = f**3 + 17*f**2 + 10*f + 29. Is n(23) a prime number?
True
Suppose -v + 6*p = 2*p - 8, -4*v - 20 = -3*p. Let k be (-22314)/(-45) + v/(-60). Suppose -215 - k = -2*t - z, z = -5. Is t composite?
True
Let g = -7583 - -12090. Is g prime?
True
Let p(f) = f**2 + 2. Let d be p(0). Let m(q) = -2*q + 2 - 2*q**d - 2*q**2 + 5*q**2. Is m(-7) composite?
True
Let p be (4/16)/((-2)/1748)*-4. Suppose -4*n = -6*n + p. Is n composite?
True
Let z = 41 + -37. Let h(g) = 43*g**3 + 6*g**2 - 8*g + 3. Is h(z) a composite number?
False
Let d be 2 - (-3 + 0/(-5)). Suppose -d*p - 451 = 2*q - 2798, 0 = -4*q + 4*p + 4708. Suppose 0 = 5*w - q - 1529. Is w a prime number?
True
Let c(p) = p + 51. Is c(-14) a prime number?
True
Let c(j) be the first derivative of -5*j**2/2 - 43*j + 15. Is c(-24) a composite number?
True
Let i(s) = 3*s + 9. Let a be i(0). Let x(g) = 22*g - 11. Is x(a) composite?
True
Let y(n) = 3*n**2 - 25*n + 391. Is y(-34) composite?
True
Let k(z) be the second derivative of 6*z + 2/3*z**4 + 5/2*z**2 + 1/20*z**5 + 5/6*z**3 + 0. Is k(-5) a prime number?
False
Suppose 3892 = 3*i