- 2*k + 4. Is n(1) a composite number?
True
Let b(v) = 167*v**3 + v - 1. Is b(3) a prime number?
False
Let l(z) = -z**3 - 17*z**2 + 11*z - 24. Let g be l(12). Let a = g - -8237. Is a composite?
True
Let r be -5429 - ((-15)/5 + 6). Is (-1)/(-3) + r/(-21) composite?
True
Let q(d) = d**3 - 5*d**2 - d - 1. Let c be q(6). Let h = c - -13. Let v = 101 - h. Is v composite?
False
Let n(r) = r**3 + 4*r**2 + 3*r. Let z(q) = -q**2 - 6*q - 7. Let p be z(-5). Let l be n(p). Suppose 3*x = 5*x - l*w - 222, 4*w + 333 = 3*x. Is x prime?
False
Suppose c + 1 + 8 = s, -45 = -4*s + c. Suppose 0 = -s*t + 8*t + 44. Is t prime?
True
Suppose -16*v = -275855 + 19327. Is v prime?
True
Suppose -17*t - 4 = -16*t. Is 1/2*4/t*-22 prime?
True
Is 15/30*(20631 - 5) composite?
False
Suppose n = -4*k + 4*n - 2379, -3*n = -2*k - 1191. Let p = 386 - 689. Let c = p - k. Is c prime?
False
Let c be 19/7 + 4/14. Suppose -14 = c*o - 287. Is o a composite number?
True
Let a = -20663 + 29079. Suppose -8*q + a = 1672. Is q a prime number?
False
Let i be -25 + 0 + (-15 - -20). Let t = 39 + i. Is t prime?
True
Let s = -29 + 23. Let i = s + 9. Suppose 3*d - 2*o - 233 = 0, i*d - 3*o + 151 = 5*d. Is d a prime number?
False
Suppose -545*p + 546*p - 10427 = 0. Is p prime?
True
Let g be (-14)/(0 - (-28)/(-8)). Let t(q) = -q. Let j be t(0). Suppose o - 695 = -5*l, g*o - 556 = -4*l - j*o. Is l prime?
True
Suppose 0 = -v - 3*v - 3*w + 1985, -5*w = -v + 479. Suppose 4916 = 4*q + m, 3*m = 4*q - v - 4438. Let t = -485 + q. Is t composite?
True
Suppose 0 = k - 9 - 2. Let h(p) = -p**2 + 12*p - 11. Let w be h(k). Let a = 59 + w. Is a composite?
False
Let a(r) = -r**2 + 14*r + 11. Let z be a(12). Let o = 141 - z. Is o composite?
True
Suppose 28*n + 64694 = 42*n. Is n composite?
False
Suppose -2*h - 3*h + 320 = 5*f, -f = 4*h - 262. Suppose -2*w = -c + h, 5*c - c - 4*w = 248. Suppose -q + 87 + c = 0. Is q prime?
False
Suppose -4*d + 5*b + 27445 = 0, 30673 = 3*d - 2*b + 10098. Suppose n = -2*n + d. Is n a prime number?
False
Suppose 0 = 2*c - 8, 5*c + 973 = -b + 2*b. Is b a prime number?
False
Suppose -t = -2*q + 7, 5*t = -0*q - q + 20. Suppose 0 = -q*b - 470 + 2080. Suppose -4*u = 2*p - b, 337 = 2*p + u + 21. Is p composite?
False
Let q(r) = -3*r + 1. Let o be q(-1). Let a(g) = -17*g**2 - 8*g - 14. Let s(x) = -17*x**2 - 7*x - 13. Let t(y) = o*a(y) - 5*s(y). Is t(-4) composite?
False
Let b = -20 - -23. Suppose -u - b*j + 66 = -900, 3*u - 2930 = -j. Suppose 4*t - 6*t = -u. Is t prime?
False
Let u = -19 + 23. Suppose 0 = u*d - 0*d + 12. Is 1/(d*3/(-801)) a composite number?
False
Let g(s) = 15*s**3 + 2*s**2 - 3*s - 1. Let i be g(-3). Let a be (-1142)/(-2) - (1 - 0). Let u = i + a. Is u a prime number?
True
Let m(g) = -g**3 - 5*g**2 + 2*g + 4. Let f be m(-4). Is ((-15)/6)/(2/f) composite?
True
Let l = 7060 + -4203. Is l composite?
False
Let w(r) = -3 - 5 + 6*r**2 - 2 + 3 - 3*r. Is w(6) a prime number?
True
Let y(x) = x**3 + 11*x**2 + 9*x - 4. Let s be y(-10). Let b be 18/(-12)*(-20)/s. Suppose 0*d = -b*d + 805. Is d a prime number?
False
Let s = 8155 - 5814. Let a = 3282 - s. Is a composite?
False
Let t(i) = 3*i**2 - 49*i + 49. Is t(-26) prime?
False
Suppose 26304 - 2760 = 4*v. Suppose 38 = 4*t - v. Is t prime?
True
Suppose -93648 = 286*z - 310*z. Is z composite?
True
Let h(y) = 2*y + 27. Let z be h(-11). Suppose l - 3*l = r - 291, -4*r = -z*l - 1177. Is r a composite number?
False
Let p(i) = 0*i + 6*i**2 + 2*i**3 + 5*i + i + i - 13. Is p(6) prime?
True
Let d(z) = 98*z - 1. Suppose -25 = -17*g + 12*g. Let m be 6/(-15) + 27/g. Is d(m) prime?
False
Let n(x) = 380*x - 83. Is n(8) prime?
True
Suppose -p - 17 = -5*v, -v + 0*v + 5*p = -13. Suppose -1 = h - v. Suppose -2*t - 3*r = -h*r - 2530, -12 = -3*r. Is t composite?
True
Suppose -3*j = -9, 3*k - 17*j - 42240 = -16*j. Is k a prime number?
True
Let z(a) = 13*a**2 + 6*a - 41. Let x(n) = -2*n**2 - 16*n - 4. Let s be x(-7). Is z(s) composite?
False
Suppose -3*w + 9959 = -5*t, -4*t + 7*t - 16553 = -5*w. Is w a prime number?
True
Suppose 1114 = 4*t + 4*h - 954, -3*t = -4*h - 1579. Is t prime?
True
Is (19/(38/7796))/2 prime?
True
Let c(x) = -62*x - 6. Let g be c(-4). Suppose 2*m + 191 = v, 5*m - 2*v = -229 - 246. Let l = m + g. Is l prime?
True
Let s(b) = b**3 - 3*b**2 - 3*b + 4. Let z be s(4). Is 65*z + (-10)/(-10) a composite number?
False
Let o = -11 + 11. Suppose 0 = -o*m - m. Suppose -5*r - 5*d + 445 = m, d - 267 = -3*r - d. Is r prime?
True
Let z = -18 + 17. Let u be ((-4)/(-14))/(z/(-7)). Suppose 2*x + u*b - 110 = -34, -183 = -5*x + 2*b. Is x a composite number?
False
Let i(b) = 293*b**2 - b + 37. Is i(-12) prime?
False
Let j(d) = 1150*d**2 - 21*d - 33. Is j(-2) a prime number?
False
Suppose -w + 39640 = 12807. Is w composite?
False
Is (-4 + (-20298)/(-18))*12/4 a composite number?
False
Suppose 1005 = 3*c - 3*p, -5*c + 2*p = 4*p - 1647. Is (-1 - c)*(-7)/28 composite?
False
Let q(l) = -l**2 - 14*l + 2. Let y(k) = k**3 + 3*k**2 - 6*k - 5. Let c be y(-4). Suppose h - c*h = 22. Is q(h) a prime number?
False
Let o = -63 + 66. Suppose b = -o*b + 4348. Is b prime?
True
Is (166 - 162) + (19154 - 1) a prime number?
True
Suppose -2*h + 23 = 5*y - 0*h, 4*y = 3*h + 23. Suppose -8 = -4*x, -y*b + b + 5*x = -514. Is b a prime number?
True
Suppose -5*v + 2*h = -49, -v + 4*h + 9 + 8 = 0. Suppose -v*c + 11*c - 8810 = 0. Is c composite?
True
Let w(s) = -s**3 + 11*s**2 - 7*s + 3. Suppose 3 = j - 3. Is w(j) composite?
True
Is (-71)/(-142)*(3253 + -2)*2 a composite number?
False
Let l(j) = 4*j**2 - 4*j - 1. Let g be (0 - -1)/((-6)/54). Let q = g + 14. Is l(q) a prime number?
True
Suppose -12*g + 7*g + 82835 = 0. Is g prime?
True
Suppose f = -3*o + 2*f + 5863, -5*f - 3926 = -2*o. Suppose s - 4*q - o = 0, 8*s - 4*s - 7797 = q. Is s a prime number?
True
Suppose o + 4*n + n - 26 = 0, 0 = -3*o + 3*n + 6. Suppose -14 = -5*m + o. Suppose m = 4*z, t - 192 = -2*z + 69. Is t a prime number?
False
Suppose -c + 81 = -75. Let a = -35 + 40. Suppose -f = -a*f + c. Is f a prime number?
False
Let m(p) = 3*p. Suppose 4*i = -5*j - 16, -i + j - 7 = 3*j. Let k be m(i). Suppose 3*v - 336 = -0*v - k*l, 4*l + 440 = 4*v. Is v a prime number?
False
Let s(z) = 7 - 10 - 2*z**2 + 4*z**3 - 4*z**3 - 6*z**3 - z. Is s(-4) prime?
True
Let k(j) = j + 1 + 4*j + j**2 + 0 + 5. Let q be k(-4). Is q + 332 + 3*-1 a composite number?
False
Let c(n) = -n**3 + 3*n**2 - 1. Let r be c(2). Suppose 0 = r*v - 5*v. Suppose v + 74 = 2*l. Is l a composite number?
False
Let v be (26/4)/((-4)/(-8)). Is v + -10 - -40*5 composite?
True
Suppose -36 = -5*f + 9. Suppose -2*t = 2*p, t + 8 + 2 = -3*p. Suppose t*l - 2*j = f + 2184, 3*l + 3*j = 1320. Is l prime?
True
Let b be ((-4)/(-8) + 0)*-6. Let d(w) = 32*w**2 - w - 2. Is d(b) prime?
False
Let l = 42 + -37. Suppose -c + 371 = -2*y - 736, l*y + 4440 = 4*c. Is c composite?
True
Let p = 18 - -3. Let m = 21 - p. Suppose 3*c + 15 = 0, -y + 2*c + 148 - 11 = m. Is y composite?
False
Let o be (15 + 4)*(7 - 2). Is 1406/o + 4/(-5) prime?
False
Suppose -4*l = -l + 24. Let m be 0/(-2)*4/l. Is 38 - (-1 + 2 + m) prime?
True
Let i be (-759)/(-6*(-4)/(-112)). Let b = i + -2061. Is b a composite number?
False
Suppose -2*i - 10 = 0, -i = 5*a - 0*i + 25. Is 1293*a/(-36) - 8/(-6) a prime number?
False
Let h be (-1)/(0 - -3)*1*-36. Let d(q) = q**3 + 8*q**2 + 10*q - 37. Is d(h) a prime number?
True
Suppose -2*y + 2*u + 14 = -0*u, -4*y = 2*u - 10. Suppose -3*k + 10 = h, 5 - 18 = -h - y*k. Is (-6)/h*53/(-3) composite?
True
Let x(h) = -6*h**2 - 5*h. Let f = 16 + -17. Let p(w) = -w**2 - 1. Let g(c) = f*x(c) - 3*p(c). Is g(-7) a composite number?
False
Suppose -41*a - 44628 = -53*a. Is a a prime number?
True
Let f be 6/4*(-6 - -4). Is (-3645)/f + -3 + 1 a composite number?
False
Is (204/16 - 13) + (-238570)/(-8) a prime number?
False
Is 5 + 171/(-36) - (-4267)/4 prime?
False
Let b(a) = -a**3 + 14*a**2 + 15*a - 10. Let u be b(15). Let g = -9 - u. Is g - (-362 - 1) - -3 a composite number?
False
Suppose -13*n + 39 = -16*n. Let x(g) = -g - 9. Let b be x(n). Is b/22 + 1470/22 a prime number?
True
Suppose -3*n + 1851 = -6*h + 3*h, -5*n - 4*h + 3103 = 0. Suppose -t = -n - 168. Is t composite?
False
Suppose -v + 5 = -0*v. Let b(a) = 11*a**2 - 7*a + 89. Let f be b(10). Suppose -v*q + 236 + f = 0. Is q a composite number?
F