22175 + 10/(100/70) prime?
False
Suppose 2*p + 2*n - 3*n = -26, p - 1 = -3*n. Let l(c) = c + 13. Let b be l(p). Suppose 59 = b*i - 207. Is i a composite number?
True
Let v = 61 - 29. Let p = v - -297. Is p composite?
True
Let r = 795 - 72. Suppose r = w - 5*j, w - 4*j + 2*j - 711 = 0. Is w a composite number?
True
Suppose -4594 = -j - 2*i + 9000, -5*j - 4*i = -67982. Let r = 1983 + j. Is r a prime number?
True
Let g(t) = 14*t + 12. Let i be g(0). Suppose i*v - 5*v - 11557 = 0. Is v prime?
False
Let k be (0/2)/(5 - -3 - 6). Suppose k = -0*w + 3*w + 6. Is 0 + (w + 0 - -1) - -1498 prime?
False
Is 16/(112/(-21)) - (-2 - 1974) a prime number?
True
Is -5 + -67*(-234)/2 a composite number?
True
Let a(y) = 4*y - 94. Let q be a(28). Suppose -3*i - 4605 = -q*i. Is i prime?
True
Let w(c) = -1143*c - 12. Let p(g) = -2285*g - 23. Let d(y) = -3*p(y) + 5*w(y). Let r be d(-2). Let k = -1588 - r. Is k prime?
True
Suppose -5*b + y - 4*y = -1612, -3*b + 2*y + 971 = 0. Suppose 0 = -8*d + b + 9813. Is d prime?
False
Let k(m) = -m**3 + 48*m**2 - 213*m + 46. Let q be k(41). Let i = q - 1093. Is i composite?
False
Let l(f) = 8462*f - 13. Let o be l(4). Let x = o + -23400. Is x composite?
True
Is 197423 - ((-280)/(-72) - 6/(-54)) composite?
False
Let j(w) = w**2 + 9*w + 14. Let g be j(-8). Let h be 87/(-58)*(4/g - 0). Let l(t) = -1901*t + 2. Is l(h) composite?
True
Let v = -35499 - -71068. Is v a composite number?
False
Suppose 0 = 13*u - 16*u + 3*g - 90, -3*u - 3*g - 120 = 0. Let q(p) = -p**3 - 35*p**2 - 27*p - 46. Is q(u) prime?
False
Let b = -56 - -362. Suppose -b*s = -299*s - 171857. Is s a composite number?
False
Let p(s) = s**2 - 13*s + 10. Suppose -3*a - 93 = -5*y, 2*y + 0*a - 30 = 3*a. Let m be p(y). Let d = 429 - m. Is d prime?
True
Suppose -5*z + 4*y - y - 139789 = 0, -4*z = -y + 111834. Let i = -16056 - z. Is i a prime number?
True
Suppose 0 = -3*c - 5*f + 431721, -3*f = 4*c - 807417 + 231811. Is c a composite number?
True
Let h(i) = -4*i**3 + 4*i**2 - 10*i - 7. Suppose -19*c - 97 - 17 = 0. Is h(c) prime?
True
Suppose -245944727 = -474*v + 313*v. Is v composite?
False
Let i(w) = 41*w**2 + 13*w + 7. Let q(f) = -f**2 - 5*f + 1. Suppose 0 = -2*o - 2*z - 14, 0 = 2*o + z + 7 + 6. Let y be q(o). Is i(y) composite?
False
Let b be (-252705)/(-40) + (-9)/(-24). Suppose 3*f + 4*v - 2*v - 3783 = 0, -b = -5*f + v. Suppose -1901 - f = -4*t. Is t a composite number?
True
Let p(a) = -5*a + 17. Let i be p(3). Suppose 5*r - 3*s = 30712, -i*r - 3*s + 5666 = -6623. Is r prime?
True
Suppose -3*f - 2265 = -4*f - 5*g, 2*g + 11352 = 5*f. Let o = f - -21239. Is o composite?
False
Suppose 2*o = -5*q - 6, 3*o = -2*q - 2*o - 15. Suppose -p + 11*h = 14*h - 15, -12 = -3*h. Suppose 3*j = p*d + 1665, q = j + 2*d + 3*d - 543. Is j prime?
False
Suppose -10 = -5*u, 4*m + 8*u - 3*u - 26 = 0. Suppose -3*v = -4*b - 5080, 0 = m*b + 3*v - 4*v + 5088. Let i = b - -2328. Is i composite?
True
Suppose 30*s + 125948 = 15128. Let g = -785 - s. Is g a prime number?
True
Let r be (((-784)/35)/7)/((-6)/15). Suppose -r*p + 136268 = 36*p. Is p composite?
True
Let k = 96 - 87. Let h(s) = -39*s + 6*s**2 - 2*s**2 - k + s**2 + 17*s. Is h(16) a prime number?
True
Let j = 32161 + -5668. Is j composite?
True
Suppose 0 = 4*v - 2082 - 2598. Suppose -i = -d - v - 3008, -2*d = 3*i - 12559. Is i composite?
True
Let a = -80 + 83. Suppose -3*h + 4560 = -0*c + a*c, 2*h = -4*c + 3048. Suppose -h = -7*w + 3*w. Is w a prime number?
True
Let a(j) = -84*j - 5. Let w = -35 - -36. Let k = w - 9. Is a(k) a prime number?
False
Suppose -65 + 1 = -16*u. Suppose 0 = -i + u*m + 6093, -2*i - 3*m + 18339 = i. Suppose -1296 - i = -v. Is v a composite number?
True
Suppose 0 = 31*z + 7*z - 16*z - 24903934. Is z composite?
False
Let z be (-8)/(-1) - (-2 + 7). Let y be 33600/9 + 12/18. Suppose z*a + 5*x - y = 0, -5*x = -8*a + 4*a + 5037. Is a composite?
True
Let l = -9 + 11. Let f be 16/(-5)*(-5)/l. Is (2/f)/(4/7792) a prime number?
True
Let j(p) = -11 + 9*p**2 - 9*p**3 + 24*p**3 + 6*p - 14*p**3. Let f be j(-8). Suppose -f*t = -1525 - 690. Is t a composite number?
False
Let a be (312/(-182))/(10/(-245)) - -1*2. Suppose 3*w - 5*k = -9, 3*w + k + 0*k - 9 = 0. Suppose -w*o + 982 = a. Is o composite?
True
Let n be (3 + 75/(-20))/((-9)/48). Suppose x - 3*p - 1463 = -73, 2*x + n*p = 2810. Is x prime?
True
Let b be (-532)/57*(-1 - 23/(-2)). Is (11794/6 + 0)/(b/(-294)) a prime number?
True
Is 374/(-17) - -8 - -83387 prime?
False
Let t = 124 + -163. Let z be (-6)/t - (-119)/(-13). Is (-6)/z - (5 + 6928/(-12)) composite?
True
Let o = 631 - 632. Is 5707 + -7 + (o - -4) a composite number?
True
Let s(l) = -l**3 - 18*l**2 - 6*l - 18. Let y be s(-18). Let k = y + -102. Let x(b) = -9*b + 41. Is x(k) a composite number?
False
Is (-36)/(-54)*-9 - -396007 composite?
False
Let z(p) = -124*p + 15. Suppose 2*u + 4*u + 12 = 0. Let q be (u/28 + 45/(-105))*10. Is z(q) a prime number?
False
Let b(y) = 2*y**3 + 25*y**2 + 12*y + 16. Let s be b(-12). Suppose -5*h + s*h = 68299. Is h composite?
True
Let s(y) be the first derivative of -y**4/4 - 19*y**3/3 - y**2 - 10*y + 9. Let v be s(-19). Is (4277/v)/(2/8) prime?
False
Is -404 + 415 + 274*1647 a prime number?
False
Let d(w) = 620*w + 3. Let t be d(7). Let s = t - -164. Is s a composite number?
False
Let s = -7071 - -12395. Let i = s - 3523. Is i prime?
True
Suppose 0 = -3*m + m + 5*k + 498, 4*m = -k + 974. Let l = m - -1969. Suppose l - 6879 = -2*u. Is u a composite number?
False
Let f(t) = 340*t + 70 - 81 - 246 - 1990*t. Is f(-5) a composite number?
False
Suppose t + 2*t - u - 16 = 0, 5*t = -4*u + 4. Suppose -2812 = 4*c - 2*p - 450, 3*c - t*p = -1769. Let m = c - -1112. Is m a composite number?
False
Suppose 4*a + 0*a - 16 = 2*f, -5*a = 4*f - 20. Suppose -2*t - 6 - 10 = f. Is (t/36*21)/(2/(-93)) a prime number?
False
Let i(h) = -h**3 + h - 92. Let l be (2 + -2)/(5/5). Let q be i(l). Let x = 957 - q. Is x prime?
True
Is 40042/(8/(-44) - 48/(-22)) prime?
True
Let u = -928 + 920. Is u/76 + (-17)/((-1292)/161280) composite?
True
Let z(b) = 39149*b - 60. Is z(1) composite?
False
Suppose 3*w - 3921 = 3*r, 4*w + 5232 = -4*r + 9*w. Let g = -102 - r. Is g composite?
False
Is 2/(-6) - (-7999054)/93 prime?
True
Let c(f) = -11*f**3 - 10*f**2 + 14*f + 13. Let x(l) = 4*l**3 + 3*l**2 - 5*l - 5. Let o(r) = -2*c(r) - 7*x(r). Suppose -3*j - 12 = -j. Is o(j) a prime number?
False
Let i(o) = -182*o**3 - 3*o**2 - 13*o - 4. Let u = 71 + -76. Let l be i(u). Let j = -15621 + l. Is j a prime number?
False
Is 119043/21 - 42/(-147) prime?
True
Suppose 14085377 = 48*o + 773105. Is o composite?
True
Let x = -74 + 83. Suppose 0 = -7*s + x*s + 2*y - 976, 2*s - 3*y - 1001 = 0. Is s a prime number?
False
Suppose 10*x = 21*x + 14135. Let a = 5684 + x. Is a a prime number?
False
Suppose 2*g = 4*r + 11548, 2573 + 292 = -r - 5*g. Let i = r - -5812. Is i composite?
False
Suppose -4*q + 3*v + 191717 = 0, -46*v = -51*v + 25. Is q a composite number?
False
Suppose 2*m + 257 - 761 = 0. Let w = 130 + m. Is w composite?
True
Let q be 6/15 - 948/(-30). Suppose -3845 = 27*d - q*d. Is d a prime number?
True
Suppose -3*y - 2*y - 3*p = 8, 4*y = 3*p - 1. Is 13350 - y/(-1 - (-4 + 4)) composite?
True
Let v(g) = 6681*g - 3074. Is v(27) composite?
True
Is ((-26789)/(-14))/(12/24) composite?
True
Is (-23 - (-2814)/24)*(3 - -1) a prime number?
False
Let y be (1 - 3) + -1 - -25. Let l be (-88)/(-4) + (0 - (-6 + 11)). Suppose l*t + 10635 = y*t. Is t a prime number?
False
Let w = 56454 - 4921. Is w a prime number?
False
Let o(z) = -z**3 + 2*z - 1. Let a(u) = -2*u**3 - 30*u**2 + 41*u - 48. Let b(q) = a(q) - o(q). Is b(-34) prime?
True
Let t(g) = 166*g**2 - 148*g - 12. Let f be t(8). Let v(u) = -u**3 + 5*u**2 - 3*u - 1. Let j be v(4). Suppose j*o + o = f. Is o prime?
True
Let n(x) = 323*x + 86. Let w(a) = -323*a - 87. Let z(c) = -4*n(c) - 5*w(c). Is z(12) prime?
True
Let g(p) = 19 + 18*p - p**3 + 26 - 28 + 16*p**2. Is g(-10) prime?
True
Let f be 0 - (-1 + (3 - 54574)). Suppose f = 22*n + 6*n. Is n a composite number?
False
Suppose -6 = -2*q - 4*z, 3*q - 7*z - 9 = -2*z. Suppose -q*w - v + 5 = -1, -w - 2*v = 3. Suppose w = -i + 24. Is i a prime number?
False
Suppose -9*v = -8*v - 5. Suppose -3*a + 11530 = 21*y - 16*y, 0 = 3*y + v*a - 6902. Is y a composite number?
False
Let