0. Is f prime?
True
Let j(l) = 978*l**3 - l**2 + 4*l - 4. Let b(h) = h**2 - 24*h - 51. Let p be b(26). Is j(p) prime?
True
Suppose -4814 - 207042 = -16*a. Suppose -9 = -3*h, -h + a = 5*s + h. Is s composite?
False
Let o = -58 - -170. Let x = -46 + o. Suppose x*g - 23225 = 61*g. Is g prime?
False
Let a = -12 - -18. Let s(u) = 20*u**3 + 2*u**2 - 2*u + 19. Let f be s(a). Let k = -1826 + f. Is k a prime number?
False
Let l be ((-201)/4)/((-12)/896). Let d = -1123 + -1083. Let a = d + l. Is a composite?
True
Suppose -5*a = -4*x + 17657, -2*x + 19*a - 21*a = -8806. Let n be (1 - (-2526)/(-1))/1. Let v = x + n. Is v prime?
False
Suppose -9574 = 26*q + 23836. Let i = q - -2684. Is i composite?
False
Let t(k) = -k**2 + 7*k + 64. Let a be t(-5). Suppose -x - 8*f + 12*f = -4173, -f = -a*x + 16752. Is x a composite number?
True
Suppose 10*m = 2*m - i + 2260761, 5*i + 565185 = 2*m. Is m a prime number?
False
Suppose 3 = 8*o - 21. Let z be (-3)/(o/(-10)*2). Suppose 5*m + 2*t = 4539, -z*m + 3626 = -m - t. Is m prime?
True
Let u = 112568 + -22815. Is u composite?
False
Let h(f) = -7017*f + 22. Is h(-13) a composite number?
False
Let q(k) = -5*k**3 + 7*k**2 + 25*k + 21. Let t = 223 - 233. Is q(t) a composite number?
False
Let t be (13*-1)/(-2 + 3). Let k(m) be the third derivative of m**6/120 + 13*m**5/60 - 5*m**4/24 + 3*m**3/2 + 12*m**2. Is k(t) composite?
True
Suppose -8*f - 4*v = -7*f - 30719, 3*f - 3*v = 92142. Is f a composite number?
True
Let u be -3 + 484/(-28) + 4/14. Let m be u/25 - 794/(-5). Suppose t = 3*y - 480, -t + 489 = 4*y - m. Is y a composite number?
True
Let l(u) = u + 1. Let c(y) = -26*y + 15. Let k be (-5)/(-30) + 34/12. Let t(s) = k*l(s) - c(s). Is t(13) composite?
True
Let i(a) = 17*a**2 - 18*a - 16. Let t(q) = q**2 - 5*q + 7. Let r(l) = -2*l**3 - 3*l**2 + 1. Let p be r(-2). Let k be t(p). Is i(k) prime?
True
Let f be -3 + (-2136)/28 + (-4)/(-14). Let r = -70 - f. Suppose -c + r*n - 6*n = -442, 4*c = 3*n + 1795. Is c prime?
False
Suppose -22457 + 200123 = 6*c. Is c prime?
True
Let o(p) = -p**3 + 5*p**2 + 7*p - 6. Let x be o(6). Suppose x = 48*k - 44*k - 20. Suppose -5*a + 1360 = k*l - 5940, -4*l + 2*a = -5870. Is l composite?
True
Let b = 213 - 73. Suppose b = -j + 142. Suppose 0 = -j*c - 0*c + 658. Is c prime?
False
Let a(u) = 1281*u**2 - 11*u + 43. Let i be a(3). Let h = i - 6630. Is h a prime number?
True
Is 6/78 + ((-36263584)/(-91))/1 prime?
False
Suppose 2*u + 3*s = -574, -u - 3*s - 418 + 125 = 0. Suppose 3*n = 5*n + 884. Let v = u - n. Is v a prime number?
False
Suppose 577574 + 10376 = 2*l + 2*g, -2*g + 1469899 = 5*l. Is l composite?
False
Is -6 - ((-6)/8 + 15636354/(-456)) a prime number?
False
Is 21*(-6)/(-84) - 4/((-24)/3050589) composite?
False
Let q be 3/(6 + 3) - 5/15. Suppose 23*w + q*w - 143681 = 0. Is w composite?
False
Suppose -44*v - 54 = -41*v. Is 2 + v/6 + 4120 composite?
True
Let y(s) be the second derivative of -47*s**5/20 + s**4/6 - s**3/6 + s**2/2 - 19*s. Let i be y(-2). Suppose i = 5*n - 428. Is n prime?
True
Suppose 32*q = 56*q - 8166264. Is q prime?
True
Suppose -5*p + 8 = -3*p. Let g be (-2*5)/(p - (-42)/(-9)). Is ((-12)/g - -2)/(10/6425) a prime number?
False
Let h be -1 + 1 + 7/21*-3. Is h/(-3) + 44/12 - -2323 prime?
False
Is (-2 + 157330 - -21)*(-1)/(-1 + 0) composite?
False
Let m(x) = 1269*x**2 + 647*x + 7. Is m(-15) composite?
False
Let n(h) = -143*h + 3141. Is n(14) composite?
True
Let d(f) = 7*f + 12. Let v be d(-2). Is (8245/(-15))/((4/6)/v) a composite number?
True
Suppose 8796 = -3*m + 8*m - 4*b, 7032 = 4*m - 2*b. Suppose 4*j - 730 = -s + 1613, 3*j = -2*s + m. Is j composite?
True
Suppose 0 = -p + 2*w + 12, -2*w - 6 = -2*p + 4*p. Suppose 2*l + 0*l - p*j = 1662, -l - 3*j = -823. Let d = l - 248. Is d a prime number?
False
Suppose 34*t - 39*t - 714160 = -10*a, 0 = 3*a + t - 214253. Is a prime?
False
Let t(c) = -3*c**3 - 6*c**2 - c. Let a be t(-2). Suppose 3*x + a*x = 30. Suppose -6730 = -4*p - x*p. Is p a prime number?
True
Let z(t) = 42*t**3 - 15*t**2 - t + 61. Is z(21) a composite number?
True
Suppose 0 = -12*g - 22 + 334. Let m(f) = f**2 + 87*f - 41. Is m(g) composite?
False
Is (10/(-15))/(28/(-5453322)) composite?
False
Suppose -2*q = 4*q - 30. Suppose 8*y - q*y = 4485. Let x = y - 944. Is x composite?
True
Suppose -2*c + 20199 = 11*b - 8*b, 4*c - 40395 = -5*b. Let t = -6218 + c. Is t a composite number?
False
Let w(c) = 2*c**2 - 17*c + 27. Let k be w(15). Suppose 0 = -t - 8*d + 6*d + 85, 0 = 3*t - 5*d - k. Is t a composite number?
False
Suppose 0 = c - 4*l - 21, -5*l - 35 = -7*c + 4*c. Is 7/(63/57186) + (0 - c) composite?
True
Let y(r) = -15*r - 14. Let q be y(-7). Let s = q + 293. Let f = s - 265. Is f a prime number?
False
Suppose 0 = d + 4, -g + 2*g = -d + 6. Suppose 5*c - g*y = -11*y + 15, -5*c + 30 = 4*y. Is 1*((-1146)/(-12))/(1/c) prime?
True
Suppose -26*l = -15*l - 3729. Suppose 2*x - 1247 + l = 5*u, -5*x = 3*u - 2239. Is x a prime number?
True
Let v(t) = -470*t**3 + 30*t**2 + 103*t + 3. Is v(-4) a composite number?
True
Suppose -5 = -5*o, -d + 3648 = 4*o - 5259. Is d prime?
False
Is ((-231625359)/72)/(-21) + 18/(-48) a prime number?
True
Let t(a) = -8*a + 25*a + 359*a**2 - 3*a**3 - 361*a**2 - 33. Let d(o) = -o**3 - o**2 + 6*o - 11. Let s(w) = 8*d(w) - 3*t(w). Is s(10) a prime number?
False
Let s be 4*14/12 - 1/(-3). Suppose 1172 = 7*i - s*i. Suppose -3*t + i = 37. Is t composite?
True
Is (-27)/(-3) - -191160 - (8 - 0) a prime number?
True
Let p(x) = x**2 - x - 1. Let o(u) = -948*u**2 - 18*u - 24. Let y(s) = o(s) - 24*p(s). Let i be y(2). Is i/18*6/(-4) a prime number?
False
Is 727179 - (10 + -23 - 7) prime?
False
Let v(b) = 40*b**2 - 28*b - 1. Let j(x) = -4*x + 27. Suppose -5*m + 57 - 12 = 0. Let f be j(m). Is v(f) a prime number?
True
Suppose 923 = r - 144. Suppose 3*c - 5*g = 2*c - 705, -2*g = -4*c - 2838. Let l = r - c. Is l composite?
False
Suppose -39*m = -25*m - 154. Suppose 2362 + 59491 = m*r. Is r prime?
True
Is (2315210/(-25))/(23/((-805)/14)) a prime number?
False
Is (-1946954)/(-50) - (-2)/(-25) a prime number?
False
Suppose -3*p - 3*w = 519, -3*w - 8 = 7. Let f = -44 - p. Suppose -5*o = -o - f. Is o composite?
False
Suppose 18*w - 16*w - 15632 = 4*m, m - 3 = 0. Let t = 12249 - w. Is t a composite number?
True
Let c(l) = 11519*l**2 - 93*l - 5. Is c(-3) a prime number?
False
Suppose -4*v - z = -4, 3*v - 2*v - 3*z = 14. Suppose -v*l = 4*x + 6662 - 25476, -2*x + 18814 = 2*l. Is l a prime number?
False
Suppose 4*y - 5*z + 3656 = 0, -3*y - 2450 = 4*z + 261. Let v = 22672 + y. Is v prime?
False
Let x = 1870 - 507. Suppose -x = -a + 2*y, -2*y + y - 1 = 0. Is a composite?
False
Let s be -251 - (77/91 + 6/39). Let g = s - -509. Is g prime?
True
Let q = 57 - 307. Is 118*(-6 - q/4) prime?
False
Let d = 606 - 604. Suppose -2*l + 18547 = 5*o, 1324 = -3*l + d*o + 29135. Is l prime?
False
Suppose -c + 4*u + 31929 = -16799, -4*u = -5*c + 243672. Let a = 82023 - c. Is a composite?
False
Let l(s) = -2132*s**3 - 32*s**2 - 224*s - 5. Is l(-6) composite?
True
Suppose 39*b = 37*b - 1354. Let a = 162 - b. Is a a prime number?
True
Let f = -6550 + 10553. Let x = -2346 + f. Is x prime?
True
Let j(p) = 101*p**2 - 6*p - 3. Let h(v) = v**2 + 6*v - 2. Suppose 4 = -2*n + 4*z, -z = 2*n + 3*z + 20. Let d be h(n). Is j(d) a prime number?
False
Let a(w) = -36*w**2 - 11*w - 1. Let l = 94 + -90. Let o(u) = -73*u**2 - 22*u - 2. Let c(b) = l*o(b) - 9*a(b). Is c(-10) a composite number?
True
Suppose 0 = -4*a - 2*q + 113 - 15, -4*a + 4*q = -128. Suppose 5*k - a = -4*k. Suppose 6*b - b - k*v - 704 = 0, -10 = -5*v. Is b composite?
True
Suppose 5*i - 58 + 13 = 0. Let b be (3 - 2)*i/3. Is (-590)/(-6) + (-4)/b prime?
True
Let i = -84 - 168. Let c = i - -45. Is c/(-6)*636/18 prime?
False
Suppose 10705 = 4*i - 2*i - 3*u, -5*u - 26760 = -5*i. Suppose i = -2*a + 421. Let j = 4696 + a. Is j a composite number?
True
Suppose 6*w = 3*w + 12. Suppose -w*p - 3*u - 22 = -3, -2*u - 6 = p. Let i = 1773 - p. Is i a prime number?
True
Let i(z) = -11*z + 42. Let j be i(4). Is 290 - j*(-4)/(-48)*6 a prime number?
False
Suppose 717 = 6*b - 2715. Let t = b + -85. Is t composite?
False
Suppose 3*v - 5 = 2*v. Suppose 0 = 2*d + v*d + 63. Let k(l) = -372*l - 49. Is k(d) composite?
False
Suppose -15*r + 39*r - 48 = 0. Suppose 0 = -5*z - 18*