z + 1563. Is z a composite number?
False
Suppose 427 = 2*d - 1431. Is d composite?
False
Let q(n) = 2*n**3 - 4*n**2 - n + 2. Let h be q(3). Is 787 + 1 + (16 - h) composite?
False
Let n = -7 + 9. Let z be 5*n/(-10)*4. Is 58/(z/4 + 2) a composite number?
True
Let c(o) = o**2 - 22*o - 20. Let g be c(23). Let t be (3 + -5)*3/(-2). Suppose -5*l = t*p - 242, g*p + 150 = 5*l - 2*l. Is l a prime number?
False
Let y(x) = -14*x - 7. Let w be y(-2). Suppose -w*s + 60 = -20*s. Let k = s + -13. Is k prime?
True
Let f be (-3)/((-27)/6)*-6. Let q = f + 3. Is (q/(-1)*59)/1 composite?
False
Suppose -2*n - 486 = n. Let m = n + 340. Suppose 3*p - 2*p = m. Is p a composite number?
True
Let x(a) = 8*a**3 + a**2 + 2*a + 6. Let t(s) = -9*s**3 - s**2 - 2*s - 5. Let r(l) = -5*t(l) - 4*x(l). Let q be r(-1). Let k = q - -34. Is k composite?
True
Let n = 29 - 12. Suppose 3*v + 11 = -d, -n = d - 0*d + 5*v. Let w(p) = -83*p - 3. Is w(d) a composite number?
False
Suppose 5*h + 256 + 13 = -4*p, -h = -5*p - 329. Let z = p + 153. Is z prime?
False
Let b(s) = 15*s**2 - 7*s - 165. Is b(-22) a prime number?
False
Suppose -17*z = -6399 - 160252. Is z composite?
False
Let u(c) be the first derivative of 23*c**2 + 31*c + 3. Is u(9) a prime number?
False
Let j = -138 - -140. Is 8566*((8 - 8) + j/4) prime?
True
Suppose 16*r = 15*r + 5, 2*r = 4*i - 28314. Is i a composite number?
True
Is 3/9*(28997 - 14) prime?
True
Let h = -16 - -25. Suppose 7*m - h*m = 0. Suppose m*q - 460 = -4*q. Is q composite?
True
Let d(q) = -216*q - 1. Let a be d(1). Let y(f) = f**3 + 6*f**2 + f + 5. Let x be y(-7). Let r = x - a. Is r composite?
True
Suppose -7*s = -3*s, 0 = 4*q + 2*s - 12. Suppose r + q*m - 496 = 0, -2*r + r + 4*m + 503 = 0. Is r composite?
False
Let m be (-1)/1 - 0 - (-24)/6. Is 2*(-2)/2*-191 - m prime?
True
Suppose 2*l + 5 - 19 = -2*r, -4*r - l = -22. Suppose -5*y - k = 2*k - 9853, -5*y = -r*k - 9885. Is y a composite number?
False
Let n(b) = 461*b**2 + b - 3. Is n(4) a prime number?
False
Let a(b) be the third derivative of -7*b**6/30 + b**4/12 - b**3/6 - 9*b**2. Let o be a(-2). Let i = 4 + o. Is i a composite number?
False
Suppose -101*i = -227155 + 9096. Is i a composite number?
True
Suppose 2*b + 1071 = -3*x - 1276, -3568 = 3*b - 5*x. Let r = 1975 + b. Is r a composite number?
True
Suppose -x + 5*x = -64. Let y = x - -68. Suppose 0*s - 2*s - 3*q = -56, 5*q - y = -2*s. Is s composite?
False
Suppose -15 = -f - 3*a, 3*f - 2*a = 2*a - 20. Let r be 3/1 - 2*-4. Suppose r = -f*z + z. Is z prime?
True
Let u(q) = -258*q**3 - 7*q**2 - 4*q - 4. Let v(o) = 258*o**3 + 6*o**2 + 3*o + 3. Let n(p) = -5*u(p) - 6*v(p). Is n(-1) composite?
False
Let t(w) = 0 + 7 - 182*w + 14*w + 4*w. Is t(-6) a composite number?
False
Suppose -2*u = 5*j - 43209, -3*j + 22548 = u - 3377. Is j prime?
True
Is (-127747977)/(-2607) + 12/11 prime?
True
Let x = -35 + 34. Is x + 28/36 + 3557/9 prime?
False
Let b be (4 - 2)*2 + -2. Suppose -b*g = g + 75. Let k = 116 + g. Is k a composite number?
True
Suppose 0 = 3*j - 2*w - 529, 0*j - 2*j - w + 362 = 0. Suppose -9 + j = 2*x. Is x a composite number?
True
Let z(w) = -112*w + 17. Is z(-17) a prime number?
False
Suppose 2 = 3*x - 4. Suppose j - 3*r = -89, r - 169 = x*j - 2*r. Let b = -45 - j. Is b composite?
True
Is (-1958)/99 - -20 - (-604328)/18 composite?
True
Let y(m) = 558*m**3 + m**2 - 1. Let i be y(-1). Let f = 875 + i. Is f composite?
False
Is 0/3 + 20895 + -8 a prime number?
True
Suppose 2504 = u + d, u - 22*d + 20*d = 2501. Is u prime?
True
Let i(p) = 19*p**3 - 3*p**2 + p. Let n be i(2). Suppose -3*w = 2*y - 92 - n, -4*y + 5*w + 424 = 0. Is y prime?
False
Suppose -3*d + 5*x + 491 = 0, -2*d + 0*x = 3*x - 359. Is d + -10 - (-1 - 0) composite?
False
Suppose 8*p - 37195 = 12861. Is p a composite number?
False
Let u = 899 + -492. Is u a prime number?
False
Let u(o) = -165*o + 40. Let s(z) = 166*z - 39. Let j(k) = -3*s(k) - 2*u(k). Is j(-5) composite?
False
Let r(a) = -a**3 - 2*a**2 + 5*a + 2. Let m be r(-3). Let y be (-28)/m - (-3)/(-1). Suppose -5610 = -5*t + 2*d - 7*d, -5*d - 4443 = -y*t. Is t a prime number?
True
Let i(j) = -2*j**3 - 2*j**2 - 3*j + 1. Let s be i(4). Let u = -52 - s. Is u a prime number?
False
Suppose 28805 = -131*u + 136*u. Is u a composite number?
True
Suppose 4*c + 8454 - 24878 = 0. Is c a composite number?
True
Let k(w) = 305*w + 23. Let y be k(11). Let d be y/13 + 10/65. Suppose -j + q = -d, -266 = j - 2*j - q. Is j a prime number?
True
Let h(j) = -409*j - 7. Let i be h(1). Let z be (-18)/4 - (-9)/6. Let u = z - i. Is u prime?
False
Suppose 0 = g - 0*g + 33. Let t = g - -64. Is t prime?
True
Suppose 2*w = w + 4*z + 2, -4*w + 19 = -5*z. Let a(d) = -d**2 + 7*d - 3. Let f be a(w). Let b(o) = 42*o + 1. Is b(f) composite?
False
Let v(g) = -133*g**2 - 19*g - 12. Let k be v(16). Is k/(-6) + 3 + 4/6 composite?
True
Suppose 2*l = -1 + 5. Suppose 189 = -l*r + 5*r. Let y = r - 42. Is y composite?
True
Let d(s) = 29*s**3 - 7*s**2 + 4*s + 6. Let a be d(5). Suppose -3466 = -t + 3*r, -a = -t - 0*r - 2*r. Suppose -5*u = -1813 - t. Is u composite?
True
Let m = 3011 - 1749. Suppose n - m = -5*j, -997 = -4*j - 0*n - 5*n. Is j a composite number?
True
Suppose -289*b + 301*b - 536676 = 0. Is b a composite number?
True
Let x = 210 - -859. Is x prime?
True
Let d(l) be the third derivative of 3*l**4/4 + l**3/2 + 2*l**2. Let h be d(2). Suppose 3*z = 72 + h. Is z composite?
False
Suppose 93891 = 21*h + 21798. Is h composite?
False
Let s(m) be the third derivative of 11*m**5/60 + 7*m**4/24 + 11*m**3/6 - 49*m**2. Is s(-5) a composite number?
False
Suppose 9*z - 3*x - 18684 = 6*z, -x = z - 6226. Is z a prime number?
False
Let z = 6 + 0. Suppose p + 2*p = z. Suppose -5*a + p*k = 3*k - 235, -k - 133 = -3*a. Is a a prime number?
False
Let n(v) = 4*v**2 + 22*v - 29. Is n(-15) prime?
True
Let c = 813 - 1620. Let q be c*((-10)/6 - -1). Suppose -l - q = -5*l - 2*i, l - 5*i - 118 = 0. Is l a composite number?
True
Let h(l) = -l**3 - 9*l**2 - 6*l - 5. Suppose -3*w + 4 = -2. Suppose 4*o = -3*n - 57, -5*n = -w*o - 2 - 7. Is h(o) composite?
False
Suppose -1 = 4*f - 17. Suppose 4*r = 2*r + f*k + 2, -r + 1 = 3*k. Is 76/2 - (-1)/r a prime number?
False
Let k = -490 - -1829. Suppose 0 = 3*p - 2*w + k, 2*w = p + 3*w + 438. Let m = -72 - p. Is m composite?
True
Suppose 5*d - 5*c = 10, -5*c = 4*d - 0*c - 26. Suppose -d*y + 136 + 2496 = 0. Suppose 4*o - 646 = y. Is o prime?
False
Let q = 6424 + 1093. Is q prime?
True
Let y(a) = -a**2 - 9*a - 4. Let h be y(-8). Suppose -3*c = h*g - 0*c - 460, 92 = g - 5*c. Suppose -g - 17 = -3*p. Is p composite?
False
Let d = 205 + -96. Is d prime?
True
Let m = 5117 + -718. Is m composite?
True
Let m(a) = 2*a**3 - 8*a**2 - a + 6. Let z be m(4). Suppose 2*g + 5*f - 76 = 0, z*g - f = -2*g + 130. Is g composite?
True
Let i be (20 + -22)/((-2)/4). Let a = -6 + i. Let v(b) = -192*b - 5. Is v(a) prime?
True
Let i(q) = q**2 - 9*q + 4. Let b be i(9). Suppose 6*o = o. Suppose -5*w + 2*z + 139 = -b*w, -z + 2 = o. Is w prime?
False
Suppose 5*s - 135707 = -4*g, 4*g - 54284 = -2*s + 3*g. Is s prime?
True
Suppose -2*u + 2*z + 10494 = 0, -4*z - 6 - 2 = 0. Is u prime?
False
Suppose p + 0 = -2. Let b be p/(-6) + (-777)/9. Let g = b - -145. Is g composite?
False
Let f(y) = -y**2 - 7*y - 9. Let v be f(-5). Let d(p) = -3*p**2 + p. Let r be d(1). Is r - ((-164 - v) + 0) a prime number?
True
Let p = -11062 + 19064. Is p prime?
False
Let z(a) = -15*a + 557. Is z(0) a composite number?
False
Suppose -42 = -3*a + a. Suppose a = 6*u - 3*u. Suppose -364 = -u*c + 3*c + 2*n, -3*n - 368 = -4*c. Is c composite?
False
Let z(s) be the third derivative of -s**5/60 - 5*s**4/8 + 4*s**3/3 + s**2. Is z(-14) a prime number?
False
Let u = -27 + 30. Suppose u*h + 2*h = 6595. Is h prime?
True
Let t = -22 + 24. Suppose -p + 7*d = t*d + 767, -2*p + 5*d - 1514 = 0. Let v = p + 1388. Is v prime?
True
Let s(a) = a**2 + 2. Let d be s(0). Suppose d*z + 8 = 4*z. Suppose 4*f = -w + 137, z*f - 4*w - 25 = 127. Is f composite?
True
Suppose -10223 = -3*l + h, 2*l + 3*h = -0*h + 6808. Is l prime?
True
Let q be 3/((-9)/(-12))*-1. Let u be (q/(-12))/(1/249). Suppose 4*f = -u + 1295. Is f a prime number?
False
Let g(b) = b. Let i(a) = 19*a - 17. Let n(h) = -6*g(h) - 2*i(h). Is n(-6) composite?
True
Suppose 4*h + 11 = -1. Let