- 2*f - 0*f, 0 = 4*c + 5*f - 487. Is c a prime number?
False
Suppose -3*h - 5*p + 1 - 6 = 0, 5*p + 20 = 0. Let u(z) = 3*z - 7. Let j be u(h). Let i = j - -5. Is i composite?
False
Let i(k) = 10*k**3 - 8*k**2 + 7*k - 11. Let u be i(8). Suppose 4*j - u = -457. Is j prime?
True
Let p(j) = 3*j**2 - 16*j - 6. Let w(r) = r**2 - 8*r - 3. Let c(h) = 4*p(h) - 9*w(h). Is c(5) composite?
True
Let z(v) = 3*v**2 + 4*v**2 - 6*v**2 - 2*v + 4*v - 1. Let y be z(-3). Is 1/(-3*y/(-210)) prime?
False
Suppose 640 = b + 3*b + 2*z, 2*z = -5*b + 798. Is b a prime number?
False
Suppose -4*v = 3*v - 55405. Is v a composite number?
True
Let g be (-1 + 43)*11 + 2. Suppose -112 = -2*k + 290. Let b = g - k. Is b a prime number?
True
Let t(j) = j**3 - 7*j**2 + 7*j - 2. Let m be t(6). Is 3/6 + 218/m composite?
True
Let z(a) = -a**3. Let t(r) = -94*r**3 + r. Let d = -1 + 0. Let l(o) = d*t(o) + 2*z(o). Is l(1) composite?
True
Let p(w) = -w**2 + 4*w + 3. Let d be p(6). Let m be 29 + (d/(-3))/3. Let k = -19 + m. Is k a composite number?
False
Let y be 2/(-4)*6 + 0. Let k be y - (2 + 15*-1). Let p(a) = 2*a - 9. Is p(k) a prime number?
True
Suppose -2*l - 285 = -y + 138, -y - 5*l = -388. Is y composite?
True
Let z = 279 - -218. Is z composite?
True
Let j(x) = 2*x**2 - 4*x. Let f(y) = 3*y**2 - 6*y. Let s(k) = -5*f(k) + 7*j(k). Let u be s(1). Is (-594)/(-12) + u/(-2) a prime number?
False
Let n(d) be the second derivative of -113*d**3/3 - 7*d**2/2 + 7*d. Is n(-2) prime?
False
Let z(b) = -b**2 + 6*b - 4. Let r be z(11). Let h = r - -133. Is h composite?
True
Suppose -y = -4*u + 2159, 0*u + 3*y - 556 = -u. Is u a composite number?
False
Let d be 1 + -80 - (-14)/(-7). Let h = d - -140. Suppose 0*m = -m + h. Is m composite?
False
Let r be (6/(-9))/((-2)/3). Let i = 2 + -8. Is 2/r*(-111)/i a prime number?
True
Let t(c) = c**3 - c**2 + 2371. Is t(0) composite?
False
Let v(g) = 382*g**2 - 5*g + 2. Is v(1) prime?
True
Let r = 212 - -767. Is r a prime number?
False
Suppose 0 = -2*u + 4*u - 2. Suppose 0 = -a + u + 3. Suppose 4*z = -a, -4*z = -3*l + 385 + 108. Is l a composite number?
False
Let i = 207 - 110. Is i a prime number?
True
Let j = 72 + -127. Let c = 34 + j. Let k = c + 46. Is k a composite number?
True
Let f(v) = v**2 + 10*v + 22. Is f(-10) a composite number?
True
Let s(o) = 39*o**2 + 1. Let n be s(-1). Suppose -n - 25 = -5*l. Suppose -c + l = 3*t - 15, -4*t + 50 = 2*c. Is c composite?
False
Suppose -3*n - 677 = -3338. Is n a prime number?
True
Suppose 3*x - 2*t = 73, t - 8 = -t. Suppose 0 = -d + x + 10. Is d prime?
True
Is 1083*((-2)/(-3))/2 a composite number?
True
Let u(b) = b**3 - b**2 + 67. Let q = 16 - 16. Is u(q) a prime number?
True
Let n(x) = -x - 1. Let v be n(0). Let d be 4 + 4 + v*2. Suppose c - d*c = -455. Is c a prime number?
False
Suppose i = -2*a - 3*i + 130, i - 136 = -2*a. Is a composite?
True
Let i = -3418 + 5055. Is i prime?
True
Suppose -4*n + 179 + 437 = -4*a, -4*n + 2*a = -622. Is n a prime number?
True
Suppose 0 = -l - 0*k - 3*k + 21, -5*k = l - 11. Suppose 2*p + l = -0*p. Is p/(-42) - 634/(-7) prime?
False
Suppose -3*g - h + 1343 = 0, 2*g = -0*g - 5*h + 904. Suppose -447 = -4*i + i + w, -3*w - g = -3*i. Is i composite?
False
Let q(f) = -f**3 - 12*f**2 - 13*f + 13. Let x(i) = 3*i - 2. Let n be x(-3). Is q(n) a composite number?
True
Let t be (-11 + 13)*(-3)/(-2). Suppose 5*b + t*c = 1576, -3*c = -c + 6. Is b a composite number?
False
Let t = -439 - -980. Is t composite?
False
Suppose 2*q - q = 2. Suppose 5*c - q*o = 197, -2*o + 75 = 3*c - 56. Let a = 62 - c. Is a composite?
True
Suppose 2*q - 2*z - 9261 = -z, 3*q - 13919 = -4*z. Is q a prime number?
False
Let x = -22 - -34. Suppose -p = 3*p - x. Suppose 0 = -p*v - v + 220. Is v a composite number?
True
Let y(n) = 4*n**2 - 2*n + 1. Is y(-2) a composite number?
True
Suppose -f + 178 = -807. Is f composite?
True
Let c(f) = 11*f - 6. Let h be c(7). Let o = h - 34. Is o a prime number?
True
Let o(h) = -6*h**3 - 3*h**2 - h - 3. Let c be 3*-1 + -5 + 4. Is o(c) a prime number?
True
Let x = -3281 - -5962. Is x a composite number?
True
Let v(x) = -18*x - 3. Let h be v(7). Is ((-28)/(-12))/((-1)/h) a composite number?
True
Suppose 2*g = -o + 1 + 3, -13 = -g + 5*o. Suppose g*k - 39 = 3*v + 105, -4*k - 3*v = -227. Is k a prime number?
True
Let d be (1/1)/(1/4). Suppose -2*c - 4 = 3*q, -c + 4*q + 6 = -d*c. Is ((-1)/c)/((-1)/(-174)) a prime number?
False
Let w be (-2)/(-10) - (-2)/(-10). Suppose 97 = -3*v + 2*p, -4*v - v + 5*p - 165 = w. Let k = 64 + v. Is k a prime number?
False
Let i(v) = v**2 - 3*v - 7. Let d be i(-4). Suppose 4*z = 9*z - 70. Let t = d - z. Is t a composite number?
False
Suppose -4*t - 15 = t. Is (5 + t)/(4/98) composite?
True
Is 0/1 - (3 + -772) a prime number?
True
Suppose -2*u = 335 - 1197. Is u composite?
False
Suppose 0 = -2*q - 4*y, -3*q + 3*y + 10 + 8 = 0. Suppose -6*b + 2*b + 57 = r, -213 = -q*r - b. Is r a prime number?
True
Let r(t) = 2*t**2 + 2*t + 1. Is r(6) a composite number?
True
Let c(i) = -3*i**2 - 3. Let w be c(5). Is (w/(-18))/((-1)/(-15)) a prime number?
False
Let u(x) = 3*x - 3. Let p(l) = -l**2 + 2*l. Let m be p(2). Let z be (6 + m/2)/2. Is u(z) composite?
True
Let k(b) = -b**2 + 4*b + 1. Let o be k(3). Suppose 11 = -o*a - 17. Is a/49 + (-71)/(-7) a composite number?
True
Let b be 1/(3/12) - 2. Suppose 2*q - w = w + 20, 26 = b*q - 5*w. Is (15/(-12) - -2)*q a composite number?
True
Is 41404/16 + 6/(-8) a composite number?
True
Let u(v) = 18 + v**3 + 31 + 2*v**2 + 28 - 3*v**2. Is u(0) prime?
False
Let q(n) = -3*n**3 - 5*n**2 + 8*n + 5. Is q(-5) a prime number?
False
Let l(k) = 10*k**2 + 1 + 0*k + k + 2*k**2 - 2*k**2. Let y be l(-1). Is (4/y)/((-1)/(-10)) a prime number?
False
Let g = 16 - 22. Is -3*89*2/g a prime number?
True
Suppose -4*c + q + 818 + 2075 = 0, 0 = 5*c + 4*q - 3611. Is c a composite number?
True
Is (548/(-8))/(1/(-6)) composite?
True
Suppose -922 + 82 = -8*c. Let r = c + -52. Is r a composite number?
False
Let c(i) = 94*i**2 - 3*i + 3. Is c(2) a composite number?
False
Let t(x) = x**3 - 11*x**2 - 11*x - 9. Let i be t(12). Suppose i*z - 105 = -2*z. Is z a prime number?
False
Let k(d) = 64*d**2 - 3*d + 2. Is k(-3) a prime number?
True
Suppose -f + 2*c = 15, -4*f - 5*c = f + 15. Is (-2 - -9)*(-6)/f composite?
True
Is 13/((2/92)/((-4)/(-8))) composite?
True
Let j = -1125 - -1646. Is j composite?
False
Let u(o) = -5*o - 10. Let h be u(-4). Let m = h + 283. Is m prime?
True
Suppose 5*l + 3*j = 10, -3*l + 0*j - j = -2. Is ((-217)/(-28))/(l/(-4)) composite?
False
Let w be (-255)/(-6) + 1/2. Suppose y - 2*y + b + 10 = 0, -w = -4*y + 5*b. Suppose -y*u + 3*u + 50 = 2*h, 5*u = -4*h + 91. Is h composite?
False
Suppose -14 = -z - 4*h, 4*z + 5*h = 5*z + 4. Suppose -2*o + 3*i = -0*i - 357, -2*i = z. Suppose -3*r = -273 - o. Is r a composite number?
False
Let o(v) = -v + 2. Let w be o(2). Suppose -5*z + w*z = -70. Is z composite?
True
Is 2/(-11) - (-5463)/99 a composite number?
True
Let x(o) = -o + 9. Let v be x(6). Suppose -7 + 0 = -5*g - 2*c, 2*c = v*g - 1. Is 4/2 - g*-29 composite?
False
Let j = 583 - 254. Is j a composite number?
True
Suppose 0 = -2*a - 4*u - 8, -8 = -2*a + 4*u. Let y(m) = -m**3 - m**2 - m. Let p(h) = -6*h**3 - 5*h**2 - 5*h - 79. Let j(r) = -p(r) + 5*y(r). Is j(a) composite?
False
Let k(q) = -q**2 - 2*q - 1. Let f be 3/(-6) - (-2)/(-4). Let u be k(f). Suppose 3*h + 7 - 34 = u. Is h a composite number?
True
Suppose -2*v - 3 = 9. Is 4/v*(-165)/2 composite?
True
Suppose 18*x - 19*x + 679 = 0. Is x composite?
True
Suppose 21 = 4*n - 7. Is n*8 - 0 - -3 a composite number?
False
Let r(y) = 27*y + 4. Let s(f) = 26*f + 3. Let x(d) = 2*r(d) - 3*s(d). Let g(k) = -k**3 - 6*k**2 - 5*k - 4. Let o be g(-5). Is x(o) a prime number?
False
Suppose 3*o - 4*z = 1, -z + 61 = 5*o + 21. Let w(i) = -3 + o*i + 1 + 4. Is w(3) a prime number?
True
Let h = -22 + 21. Is (913 + (h - -1))*1 a composite number?
True
Let j(i) = -3*i + 0*i + 3 + 3*i + 3*i + 11*i**2. Is j(-3) prime?
False
Let d = -658 + 1199. Is d prime?
True
Let h(i) = i**3 - 7*i**2 - 3*i + 11. Let a be h(8). Suppose -2*l - l = -a. Let z = l - 3. Is z composite?
True
Let a = 116 - 70. Suppose 3*g + a = 307. Is g composite?
True
Let w(d) = -d - 1. Let f be w(-9). Suppose 3 = -l + f. Suppose -m + 40 - l = 0. Is m composite?
T