 2*p - 55 = -x. Let s(z) = 7*z**2 - 25*z + 9. Is s(p) a prime number?
True
Suppose -3*d - 18 = -3*q, 3*d + 11 = 2*d + 2*q. Let p be (-18)/(-27)*(4 + d). Suppose p*n = 10*n - 464. Is n a prime number?
False
Let v(p) = -p**2 + 9*p - 6. Let y be v(8). Let j(r) = -34*r**2 + 3*r + 3. Let x(z) = 67*z**2 - 6*z - 7. Let w(l) = -13*j(l) - 6*x(l). Is w(y) prime?
True
Let j(s) = 71*s**2 + 9*s - 1. Is j(6) a prime number?
True
Let t(n) = -n**2 - 27*n - 45. Let z be t(-24). Is (-1042)/4*3*(-18)/z prime?
True
Suppose -5*f = -t, 3*f - 2*t - 3*t = 0. Let m(b) = -1 - 86*b + f + 418*b. Is m(1) a composite number?
False
Suppose 0 = 3*d - 7 - 5. Suppose -d*v = 2*y - 3324 - 3520, -4*y = -v + 1711. Is v a composite number?
True
Let l(d) be the second derivative of 7*d**3/6 - 91*d**2/2 + 3*d. Is l(30) a composite number?
True
Let z(y) = 84*y - 89. Is z(5) composite?
False
Suppose 16*i - 144 = 7*i. Suppose -i*y = -6*y - 50990. Is y a composite number?
False
Let x = -15682 + 30201. Is x a composite number?
False
Is (-2)/(128139/25629 - 5) prime?
True
Suppose -4*d + 5812 = -46848. Is d a prime number?
False
Suppose 2*m = -2*m. Suppose 8*f - 3*f - h - 288 = m, 2*f - 3*h = 123. Suppose -2*p + f = -3*r - 586, -2*p + 2*r + 646 = 0. Is p composite?
True
Let x be (-1 - -2 - 0) + 2. Let i be (-597)/9 - 2/x. Is i/(0 + -1 - 0) a composite number?
False
Let j be ((-6)/9)/(12/(-90)). Is -2*j/(50/(-1315)) composite?
False
Suppose -4*q = 12 - 4. Let x = 26 + -72. Is 1 - x*(-26)/q prime?
True
Let q(f) = f**2 - 214. Let z be q(0). Let a = z - -555. Suppose -a = -3*t + 4*h, 51 = t + 3*h - 80. Is t a composite number?
True
Suppose 3 + 11 = r - 5*i, 0 = -5*r + 4*i + 28. Let v be (r/(-3))/((-10)/15). Is (-1)/(v + (-657)/327) composite?
False
Suppose 4*i - 6*i = -4710. Suppose -6*n = -n - i. Is n prime?
False
Let y(o) = -310*o**2 + 3 + 484*o**2 - o - 2*o. Let k be y(2). Let j = 122 + k. Is j a composite number?
True
Let n = -1 + -322. Let i = n + 586. Is i a composite number?
False
Let m be 4/(1/(423/6)). Suppose 24 = 2*t - 5*f, -6*t + 3*t + 5*f = -26. Suppose -t*q + 0*q = -m. Is q a composite number?
True
Let s(b) = -5589*b + 77. Is s(-4) composite?
False
Suppose 7 = -s - 0. Let w(g) = -323*g + 8 + 105*g + 110*g + 106*g. Is w(s) a composite number?
True
Suppose 4 = 3*s - 2. Suppose s*r - 5*r = -417. Suppose 2*j = r + 31. Is j prime?
False
Suppose 0 = -5*g + 3*g + 50. Suppose 2*v = -4*h - 22, 3*h + 3*v - 4 = -g. Is (-5466)/(-8) + h/16 prime?
True
Let y(v) = 11*v**2 - 3*v - 13. Suppose 2*s + 8 = 18. Is y(s) composite?
True
Suppose -4*w = 1 - 21. Let o(v) = -8 + 21*v**2 - 4 + w. Is o(6) a prime number?
False
Let c be (-1)/(2*2/(-12)). Suppose 0 = -2*q + 3*g - 4*g + 177, c*g + 329 = 4*q. Is q composite?
True
Let f be (12/16)/((-5)/20). Let y(i) = -24*i**3 + 2*i + 4. Let h be y(f). Is 4 - 8 - h/(-2) a composite number?
True
Let u(t) = -235*t**3 - 12*t**2 + 20*t - t**2 - 5 + 234*t**3 - 4. Is u(-15) prime?
False
Let b be 14/21 + (-4)/6. Let d(v) = -v + 0*v + 0*v + 10. Is d(b) prime?
False
Suppose 7*o - 72958 = 63829. Is o composite?
False
Let v(l) = -5*l**2 + 8*l - 5. Let o be v(-6). Let f = -70 - o. Is f a composite number?
False
Suppose 1444044 - 567448 = 28*j. Is j composite?
False
Let o(r) = -r + 2. Let k be o(5). Let j(f) = f**2 - 7*f - 10. Let g be j(8). Is (k/(-1) - g)*29 a prime number?
False
Let h(p) = p**3 + 2*p**2 - 6*p - 1. Let i(x) = -4*x**2 - 2*x + 1. Let m be i(-2). Let w = m - -17. Is h(w) composite?
False
Let y(b) = b**3 + 40*b**2 - 98*b - 92. Is y(-39) a composite number?
True
Let b be 2 + 2 + -6 - -237. Suppose -3*f + 158 + b = 0. Is f a composite number?
False
Suppose -4*x = 12, -w - 10 = -2*w + 5*x. Let r(h) be the second derivative of h**4/12 + h**3/6 - h**2/2 - h. Is r(w) prime?
True
Let u be (-5)/(20/(-16)) + -2. Suppose u*p + 2092 = 2*q, -q - 360 + 1424 = 5*p. Suppose y + 2*a = a + 207, q = 5*y - 2*a. Is y prime?
False
Let l(w) = -16*w - 1. Suppose 0*u - 3*u = 0. Let x be (2 - 1) + -13 + u. Is l(x) a composite number?
False
Suppose -4*m - q = -m + 13, 0 = -2*m - 5*q - 26. Let d(x) = -4*x**3 + x + 6*x**3 - 3*x**3 + x**2 + 2. Is d(m) a prime number?
False
Let c(n) be the third derivative of -97*n**6/60 + n**4/24 + n**3/2 + n**2. Is c(-2) a composite number?
False
Let f(v) = -3*v + 1. Suppose 5*q - 2 = 3*x, q - 4*q = -3. Let p be f(x). Is (302 - -3 - p)*1 composite?
False
Let r = 190 - -4671. Is r a prime number?
True
Suppose 75*r - 3352 = 67*r. Is r a composite number?
False
Let u(z) = 951*z**2 + 11*z + 11. Is u(-2) prime?
True
Suppose 3*u + 6 = 6*u. Suppose -u*v = -4*v + 8. Suppose -5*z + 1085 = 5*f, v*z + 5*f + 1085 = 9*z. Is z composite?
True
Is 0 + 3 + (-1034)/(-11) prime?
True
Let q = 13 - 32. Let b = -20 - q. Is (b/((-3)/2454))/2 composite?
False
Let j(z) = -77*z + 12. Let m be j(11). Let h = m - -1532. Is h composite?
True
Let o(q) be the second derivative of -2*q**3/3 + 5*q**2/2 + 3*q. Let b be o(5). Is (406/(-21))/(2/b) a prime number?
False
Suppose v + 829 = 3*t - 3*v, t - 268 = 3*v. Is (-2)/(-2)*(t - -10) a prime number?
True
Let s(b) = -b**3 + 6*b**2 - 6*b - 2. Suppose 0 = 2*a + 2*d - 10, -a + 3*a - 2*d = -2. Suppose 4*k - a = -5*i + 15, -5*k = 4*i - 19. Is s(k) a prime number?
True
Let x be 30/9*(-6)/(-5). Suppose -r + x + 7 = 0. Is r prime?
True
Let t(b) = -98*b - 20. Let y be t(-7). Let h = -343 + y. Is h prime?
False
Let k(c) = -14*c**2 + 3*c + 4. Let i(x) = -x**2 - x - 1. Let d(n) = 4*i(n) - k(n). Is d(-3) prime?
True
Suppose 0 = -3*m + 3, 0*n = -2*n + m + 491. Suppose 0 = g - 1, 2*g = u - n - 75. Is u prime?
False
Suppose 353 = -2*n - 87. Let w be (6 - n)*(1 + 0). Let x = w + 447. Is x composite?
False
Let a(x) = x**3 - 2*x**2 - 3*x + 3. Let l be a(2). Is 449*4/(l + 7) composite?
False
Suppose 0 = -2*q + s - 5 + 32, -4*q + 5*s = -69. Suppose 2*g + 1 - q = 0, 0 = v + 3*g - 14. Is v*(-68 - (1 + 0)) a prime number?
False
Let y(a) = 4*a**3 - 3*a**2 - 6*a + 8. Let g(w) = w - 6. Let r be g(9). Is y(r) composite?
False
Let w = 10486 + -6149. Is w composite?
False
Let h(f) = -f**2 - 16*f + 3. Let l be h(-16). Let b be ((-1)/(-2))/(l/12). Is b/(339/111 - 3) composite?
False
Let m = -3862 - -7271. Is m a prime number?
False
Suppose 5*h + 15 = 2*h. Let a(y) = y**3 - 3*y - 15. Let p be a(h). Let c = p - -218. Is c a composite number?
True
Suppose 0 = 98*o - 93*o. Suppose t - 12918 + 3767 = o. Is t a prime number?
True
Let o = 445 - 114. Is o a composite number?
False
Let c(q) = 464*q**2 + 25*q + 208. Is c(-7) a composite number?
False
Let v = -18 + -43. Let z = 984 + v. Is z a composite number?
True
Let m be (1775 - -1)/4*1. Suppose z - m = -3*z. Suppose -4*x + z + 757 = 0. Is x a composite number?
True
Let q = 1380 - 720. Let r = -223 + q. Is r composite?
True
Suppose 17*u - 13*u = -16. Is (-30)/u*(-1266)/(-9) a composite number?
True
Suppose j - 6*j = -3*c + 14971, -4*c - 5*j = -19973. Suppose 0*y + c = 2*y. Suppose 9*f - 8013 = -y. Is f prime?
True
Let k(d) = 2*d**3 + 4*d**2 + 2*d + 2. Let j be k(-3). Let x = j - -26. Suppose x*f - 145 - 1803 = 0. Is f a prime number?
True
Is (40/24)/((-10)/(-203106)) a prime number?
True
Suppose 4*d + 27915 = 74447. Is d a composite number?
False
Let c be ((-678)/8)/((-14)/(-56)). Let g = c - -680. Is g composite?
True
Let p(o) = -o**2 - 10*o + 1. Let u be p(-9). Suppose -4*a + u = a. Suppose 3*k - a*r = -r + 272, -4*r - 109 = -k. Is k prime?
True
Suppose 24*y - 33*y = -56655. Is y composite?
True
Let i(x) = 2*x**3 - 27*x**2 - 5*x - 13. Suppose 3*c + 3*u = 48, 4*c - 2*u + 16 = 74. Is i(c) a prime number?
True
Suppose t = -5*p - 36, -2*t - 3*p - 37 = -0*p. Let z(g) = -46*g - 21. Is z(t) a composite number?
True
Is 9/(-1) + 66 + 7862 a prime number?
True
Suppose 62 = 3*o + 56. Suppose 0 = o*y + j - 754, -4*y - j = -830 - 682. Is y a prime number?
True
Let a = -17 - -19. Is (2 + (-1852)/(-8))*a composite?
False
Suppose 5*y - 9*y = -8. Is ((-807)/9)/(y/(-6)) composite?
False
Suppose 5*m = -1359 + 4674. Suppose r + m = -n + 1735, 3*n - 2149 = -2*r. Is r a prime number?
False
Let n = 10 + -8. Suppose 2*d - 4 - 6 = 0. Suppose 2*j = -2*r + 30, -5*r + 37 = -n*r + d*j. Is r a prime number?
True
Is (1281 - 4)/(3/15) a prime number?
False
Let r be 5/2 - 3/6. Let t be ((-1)/r - -1)*-2. Let p(n) = 79*n**2. Is p(t) a composite number?
Fal