Is s(z) composite?
True
Suppose -11*p - 4*p = 1605. Let z = 5308 + p. Is z prime?
False
Suppose 12*s - 540788 + 14120 = 0. Is s prime?
True
Let n(s) = -s**2 - 9*s + 22. Let j be n(-11). Let z = -1 - j. Is -2*951/6*z a composite number?
False
Let y(z) = 7 + 6 + 3 - 3 - 22*z. Let s(n) = n**3 + 11*n**2 - 10*n + 17. Let q be s(-12). Is y(q) a prime number?
True
Let h be ((-18)/4)/((-8)/448). Suppose -h + 74 = -2*k. Is k composite?
False
Let k(d) = d - 12. Let p be k(14). Is 7710/36 + p/(-12) composite?
True
Let v = 7562 + -4571. Is v a composite number?
True
Suppose 15652 = 3*n - 5*v, -2*n - 4*v = -9613 - 829. Is n a prime number?
False
Let o be 0/(-4 + (-2)/(-1)). Suppose o = 4*u - 3*r - 220, 6*r = 3*r. Is u prime?
False
Suppose -11*n = 20*n - 110639. Is n composite?
True
Let f(s) = 3*s - 52. Let n be f(0). Let v = 90 + n. Is v prime?
False
Let i be -455*(-1)/4 + (-15)/(-60). Let g = 265 + i. Is g composite?
False
Let f(i) = -i**3 - 7*i**2 + 7*i - 6. Let k be f(-8). Suppose -t + 2*t = 4*p - 704, p - k*t - 169 = 0. Is p a composite number?
True
Let n = -89 + 94. Suppose -4*b - 4*a + 3584 = 0, n*b - 4*a = -7*a + 4474. Is b a composite number?
True
Is 15 + -7 - (-5556 + -3) a composite number?
True
Let h = -691 - -1275. Suppose z - 4077 + h = 0. Is z composite?
True
Suppose -23 = -r + 7. Let u = 158 - r. Suppose u - 507 = -v. Is v prime?
True
Suppose -3*x = 2*x - 10. Suppose -3*m + x*r + 22 + 8 = 0, 3*r = -9. Is (-1 + (-44)/m)*-34 a prime number?
False
Let k(s) = s**3 + s**2. Let w be k(0). Let i(u) = -u**3 - u**2 + u + 3. Let x be i(w). Suppose x*z - 207 = 4*j - 3*j, z = -3*j + 69. Is z composite?
True
Let c be -86*1/(-8)*-4. Let o be 1 - ((4 - 3) + -36). Let q = o - c. Is q prime?
True
Let a be 2/((-2)/5*(-5)/2741). Suppose 6*i - a = 151. Is i composite?
True
Let g(f) = 6*f - 149. Let m be g(14). Suppose 0 = -2*d + w - 0*w + 389, 0 = 5*d + w - 955. Let l = d + m. Is l composite?
False
Let z be -3 - (4 - 4 - -4). Let a(m) = -117*m - 4. Is a(z) a prime number?
False
Suppose -43240 = -13*r + 20967. Is r a prime number?
False
Let q(l) = -13*l. Let w be q(-1). Let x be (-8702)/(-4) + w/26. Suppose -2*i + x = -126. Is i a composite number?
False
Let n be -3 + 18*(-6)/(-15)*5. Is 22545/n + 8/(-44) a composite number?
False
Let c = 20 + -18. Suppose 3*x + 5*v - 2 = 11, c*v = -2*x + 10. Suppose 235 = x*g - g. Is g composite?
False
Suppose 53 = 3*q - 16. Suppose -q*s = -30*s + 4949. Is s a composite number?
True
Let t(b) = 785*b - 7. Is t(6) a prime number?
True
Let j = -3544 - -8249. Is j a prime number?
False
Let o(g) = 0*g + 176*g**2 - 4*g + 59*g**2 - 3. Let l be o(-1). Suppose -3*k - l = -4*r, 0 = 3*r - 5*k - 180 + 3. Is r a composite number?
False
Suppose 5*g - 4*c = -0*c + 7, -16 = -4*g - 2*c. Suppose 3*v - 336 = -2*j, 5*v - g = 17. Suppose -n + 60 + j = -t, 2*t + 890 = 4*n. Is n a prime number?
True
Suppose -6374 = -4*j + 29558. Is j a composite number?
True
Let b = 3776 + 2546. Suppose -f + 3165 = r, 0*f = -2*r + 2*f + b. Is r composite?
False
Let u be 1/((-1)/4*-2). Suppose -u*z + 3478 = 4*n, z + n = 3*z - 3458. Is z prime?
False
Suppose 31*a = 971631 + 291154. Is a prime?
False
Suppose -199*f = -194*f - 20. Is f/(8/4981)*2 a composite number?
True
Suppose 49 = -2*q + 17. Let j(l) = 13*l**3 + 3*l**2 - 22*l + 28. Let r(s) = 15*s**3 + s**2 - 23*s + 29. Let t(g) = 7*j(g) - 6*r(g). Is t(q) a prime number?
False
Let p(w) = 64*w + 3 + 171*w + 3*w - 5. Let k be p(-3). Is k/(-6) - 1/3 a composite number?
True
Suppose 5 = 3*s + 14. Is (-6152)/s + (-24)/(-72) a composite number?
True
Is 3692/78*((-89)/(-2) - 1) composite?
True
Let r(t) = 6*t**3 + t**2 + 7*t - 10. Let w be r(6). Let z = 2253 - w. Is z composite?
True
Suppose 3*g + 2*g - 5 = 5*u, -4*u - 7 = -5*g. Let r = 117 + -56. Suppose 0 = -g*v + 5*h - r + 283, 0 = 4*v - 4*h - 288. Is v a composite number?
True
Let o(x) = -x**3 - 7*x**2 - 3*x + 2. Let m be o(-6). Is 23905/63 - m/(-36) a prime number?
True
Let q be 1 + -2 - (-2110 + -6). Let h = q + -944. Is h a composite number?
False
Let q(y) be the first derivative of 39*y**2/2 - 7*y + 6. Let p be q(5). Suppose -o + p = o. Is o composite?
True
Suppose 28132 = -823*d + 827*d. Is d a prime number?
False
Let i(g) = g + 16. Let q be i(-14). Suppose -3*d + q*m = -0*m - 259, -4*m = -3*d + 257. Is d a composite number?
True
Let t(q) = 3*q**2 - 11*q + 33. Is t(10) a prime number?
True
Suppose 6 + 2 = 4*v. Let d(z) = 53*z**3 + 1 - v*z - 3 - 1 + 2. Is d(2) a composite number?
False
Suppose 0 = -2*x - x - 9, -6 = -5*l - 3*x. Suppose -3*y + 3531 = -3*s, -3*y + 8*s - l*s + 3523 = 0. Is y a prime number?
True
Is 6 - -1 - (-13278 + -24) a composite number?
False
Suppose -2579 + 26151 = 4*l. Is l a prime number?
False
Let v = 4700 - 2985. Suppose 6*w - v = 295. Is w a composite number?
True
Is 8399 - (5 + 10/(-2)) composite?
True
Let u be ((-17)/2 + 1)*(15 + -13). Is 1216/6 + (-5)/u prime?
False
Suppose -3*l + 2*o - 3*o = -39, 4*l = 2*o + 52. Suppose -15*f = -l*f - 1058. Is f prime?
False
Let a = 10828 - 7647. Is a prime?
True
Suppose -u = 5*i - 1304, 0 = -3*u + 6*i - 7*i + 3954. Is u a composite number?
False
Let p = -7 + 7. Suppose -5*s + 4*s - 2*z - 66 = p, 0 = -z. Is (s/(-8))/((-2)/(-8)) prime?
False
Suppose 4*j - 37 - 15 = 0. Let v(g) = g - 7*g + j*g - 7 + 17*g. Is v(7) prime?
False
Let h(i) = i**3 - 21*i**2 - 6*i + 25. Let f = 1 - -21. Is h(f) prime?
False
Let h(t) = 8*t - 1. Suppose -5*l = -l + 4*b - 28, -2*l - 21 = -5*b. Suppose -3*o + 16 = -0*c + c, -5*c + l*o = -29. Is h(c) prime?
False
Let g be ((-3)/(-6))/((-1)/(-16)). Suppose g = 2*d - 2*i, 5*d - 18 = -0*d + 4*i. Suppose 0 = -4*u - d*v + 78, 0*v = 2*u + 5*v - 43. Is u a prime number?
True
Is -25266*(7 + 15/(-2)) a composite number?
True
Let j(x) = 953*x + 27. Let z be j(-3). Let k = -1629 - z. Is k prime?
False
Let x = 541 - 970. Let p = x - -1187. Is p a prime number?
False
Let m(c) = 103*c**2 - 3*c + 1. Is m(6) composite?
False
Let z be 2 - (-1)/3*-813. Let r = 520 + z. Is r composite?
False
Let v(j) = -1098*j**3 + 3*j**2 + 3*j + 1. Is v(-2) prime?
False
Let n(h) = h**3 + 7*h**2 - 16*h + 22. Let f be n(-9). Suppose 380 = f*y - 4*g, -2*y + 281 = y + g. Is y a prime number?
False
Suppose 4309*s = 4292*s + 2234497. Is s composite?
False
Let m be 1703/4 + 2/8. Suppose 0 = 3*o - 1035 + m. Is o composite?
True
Let z(v) be the third derivative of v**8/6720 - v**6/144 - 2*v**5/15 - 5*v**2. Let j(h) be the third derivative of z(h). Is j(-8) composite?
True
Suppose 0 = 6*d + 50 + 4. Is ((-3102)/d)/(5 - (-39)/(-9)) composite?
True
Let c = -48 - -4. Let x = 65 + c. Is x a prime number?
False
Let m(j) = -6*j**2 + j + 15*j**2 + 2*j**2 - 2 + 6*j**2. Let g be m(-4). Suppose -3*y = 5*d - 248 - 24, -3*y + d + g = 0. Is y prime?
True
Let m = 4009 - 2246. Is m composite?
True
Let d(c) = -c**3 - 3*c**2 + 2*c. Let i be d(-3). Is (6 - (-185)/(-30)) + (-3535)/i a composite number?
True
Suppose -g + 35685 = -2*t, -168 + 165 = -t. Is g a prime number?
False
Suppose -8 = -2*l - x - 1, 4*l = x - 1. Is 250 - -1*l/(-3)*-9 prime?
False
Let p(d) = -d**2 - 15*d + 1. Let g be p(-15). Let n = -32 + g. Let o = 180 + n. Is o prime?
True
Let j = 0 - -1. Let f = j + -2. Is (f - 2) + 70/1 composite?
False
Let r(o) = 11*o**2 + 14*o - 31. Is r(8) prime?
False
Let j(d) = -4*d + 1. Let h be j(-1). Suppose -h*o - 1899 = -14*o. Is o prime?
True
Let l = -4627 - -15210. Is l composite?
True
Let j(u) = -u**3 + 28*u**2 - u + 7. Let r be j(17). Suppose y + 3163 = 3*k + 2*k, -5*k - 2*y + r = 0. Is k prime?
False
Let j(o) = o**3 + 31*o**2 - 25*o - 18. Is j(-23) a prime number?
True
Let q = -1171 - -1617. Is q a prime number?
False
Let r = -39771 + 56266. Suppose -b + r = 4*b. Is b a composite number?
False
Suppose -3*y + 4*g + 1130 + 572 = 0, 2*y + g - 1142 = 0. Suppose -n - 2*n + y = 0. Let l = 289 + n. Is l prime?
True
Let t(f) be the first derivative of -f**2/2 + 12*f - 6. Let h be t(9). Suppose -q + v = -257 - 85, 0 = h*q - 2*v - 1021. Is q a prime number?
True
Is (3/6)/((-10)/(-82780)) a composite number?
False
Suppose -2*g - 113 + 677 = 0. Suppose -352 = -5*a + 3*m, 3*m = 4*a + m - g. Is a prime?
True
Let q(o) = o + 15. Let x be q(-12). Suppose x*b - b = g - 2253, -4*g - 3*b = -8957. Is g a composite number?
False
Let t(u) = 28*u + 35. Let o be t