uppose 28*z - 22*z - 3774 = p. Is z composite?
True
Let q(b) = 13*b**2 + b + 2. Let u be q(-1). Suppose 0 = 4*o + 2*r - u, 3*r + r = -4. Suppose 4*c + 1902 = -o*k + 4918, c = k - 752. Is k a prime number?
False
Let k(r) = -47 - 40 + 240*r**2 + 76. Is k(3) prime?
False
Let i = 48 + -43. Suppose x = 3*x + n - 3, i*x = 2*n + 3. Is x/(2/(-4)) + 381 a prime number?
True
Let t be (-4 + 3)/(2/(-7702)). Let f be 0 + 4 - (-60)/(-15). Suppose f = -i + t + 932. Is i composite?
False
Let o = 13 - 48. Let r = 36 + o. Let x(p) = 466*p**3 + p**2. Is x(r) a prime number?
True
Suppose 0 = -i - 4*b + 15783, -b - 3*b = 0. Let w = 24524 - i. Is w composite?
False
Let u be 14/(-21) - (-33)/9. Let l be 8/(-4 - (-15)/u). Suppose l*x + 242 = 10*x. Is x a composite number?
True
Let d = 25 - 25. Suppose -3*f + 3012 = -d*f. Suppose 0 = 7*t - 11*t + f. Is t a composite number?
False
Suppose -58*w = -60*w + 8. Suppose 3*c - f = -w*f + 31650, 10560 = c - f. Is c a prime number?
False
Let j = -2073 + 47738. Is j a prime number?
False
Let j(x) = 1 - 117*x**2 + 294*x**2 + 8 + 430*x**2 + 12*x. Is j(-4) a composite number?
True
Let n(f) = -227*f + 1. Let c(a) = -a + 1. Let l(u) = -6*c(u) + n(u). Let s be l(-4). Suppose -6*i - 309 = -s. Is i a composite number?
True
Let n(c) = 19682*c - 1451. Is n(11) composite?
False
Let w = 29270 + -19543. Is w composite?
True
Suppose -b + 5 = -w, 3*b + 3*w + 1 = -2. Suppose -p + 2*n = -1917, -2*p - b*n + 0*n + 3846 = 0. Is p a prime number?
False
Let l(c) = 7*c**3 + 6*c**2 + 9*c + 7. Let y be l(-6). Suppose -2*n - 3880 = 5*x, -10*x - 3870 = -5*x + 4*n. Let h = x - y. Is h a composite number?
True
Suppose -95*x + 185*x = 92*x - 1420366. Is x composite?
True
Let g(a) = -642*a**2 + 8*a + 322*a**2 + 326*a**2 - 7 - 29*a**3. Is g(-4) prime?
True
Suppose 5*p = -9*j + 6721153, 9*p - 4*p = -4*j + 6721143. Is p prime?
True
Let g(r) = -58157*r - 3360. Is g(-3) a prime number?
False
Let w be ((-4)/8)/(((-35)/170)/7). Is (2/(-4))/(w/(-68)) + 581 a prime number?
False
Suppose -3*k + x - 460426 = -2012373, -3*x = -4*k + 2069256. Is k prime?
False
Suppose -14*u + 24 = -2*u. Is (2 - -3) + u - -490 a composite number?
True
Suppose -5*p + 4*d + 339567 = 0, p + 2*d - 15289 - 52644 = 0. Is p a composite number?
True
Let c(d) = 26565*d**2 + 1. Let w be c(-1). Suppose 34592 = 6*q - w. Is q composite?
False
Let a(g) = -11408*g**3 - 9*g**2 - 45*g - 71. Is a(-3) composite?
True
Let p(w) = 10454*w**2 + 3*w + 71. Is p(4) a composite number?
True
Let o(y) = 2973*y + 649. Is o(24) composite?
True
Let n = -82 + 82. Is (n - 62065/(-65)) + (-2)/(-13) prime?
False
Let f = -3331 - -11127. Is f + 28/12*-3 a prime number?
True
Let r = 30310 + 40627. Is r a prime number?
True
Suppose -x - f + 9591 = 0, -x - 5*f + 504 = -9103. Is x composite?
False
Let u(p) = 1666*p**2 + 3*p + 1 - 6*p - 4*p - 3*p. Is u(1) a composite number?
False
Let d be (-4)/3*(-171)/(-76). Let k(m) = -22*m**3 - m**2 - 2*m - 4. Is k(d) a composite number?
False
Let z(t) = 152*t**2 + 85*t - 661. Is z(-90) a composite number?
False
Let h(q) = 13*q + 23. Let p(v) = 3*v + 6. Let t(c) = 4*h(c) - 18*p(c). Let r be t(-12). Suppose r*i = 5*i + 9183. Is i a composite number?
False
Let g = 16 - 22. Let v(t) = -9*t**3 + 3*t**2 - 9*t - 7. Is v(g) prime?
True
Suppose 5 = 5*q + 5*y, 0*q = -q + 3*y + 5. Suppose -3*m + 3*r + 18 = 0, 3*m - 2*r = 13 + q. Suppose -4*x + 3*t = -3571, x + 4*t = -m*x + 3536. Is x prime?
False
Let g be 8/(-32) - (-229)/4. Let o = 1600 - -299. Suppose -g*f = -54*f - o. Is f a composite number?
True
Let n(r) = r**3 - 95*r**2 + 322*r - 807. Is n(101) composite?
False
Suppose 4*g - 3*p = 631 + 538, -5*p = -25. Suppose -4*l + g = -3*l - j, -2*l - 3*j = -597. Suppose -3*y = 4*h - 664, 2*h - 41 = -3*y + l. Is h a prime number?
True
Let g(c) = -c**3 - 7*c**2 + 1. Let k be g(-7). Let z be 305*-1 - (-3 + 2/k). Let r = z - -818. Is r a composite number?
True
Let v be 4 - (32070/(-20))/(6/8). Suppose 2191 + v = n. Is n a composite number?
True
Let o = 13043 + 68876. Is o a composite number?
False
Let i(o) = 2418*o**3 - 18*o**2 - 17*o + 108. Is i(5) a composite number?
True
Let k be ((-35)/10)/7 + 1234/4. Suppose 250 = 2*y + o - 64, k = 2*y - 2*o. Let z = 274 - y. Is z a composite number?
True
Let t(p) = -57*p**2 + 50*p - 20. Let x(o) = -19*o**2 + 17*o - 7. Let u(q) = 2*t(q) - 7*x(q). Is u(-10) a composite number?
False
Let j(h) = 7*h**2 + 11*h - 9. Let u(q) = -q**2 - 1. Suppose -5 = 49*w - 54*w. Let s(r) = w*j(r) + 6*u(r). Is s(7) composite?
True
Let u(r) = 8052*r**3 - 10*r - 8. Let w(f) = -f**3 + f**2 - f + 1. Let y(k) = -u(k) + w(k). Is y(-1) prime?
False
Let n(j) = -j - 2. Suppose -6*p = 14 + 40. Let l be n(p). Suppose 2*o = -u + l*o + 117, -2*o = -3*u + 377. Is u composite?
False
Let g(h) = 4*h**2 + h + h**3 + 2 - 4 - 6. Let t be g(-3). Is (-216 + -2)/(t - 0/4) a prime number?
True
Let k(n) = -n**3 - 18*n**2 + 19*n + 15. Let r be k(-19). Suppose -j - 33442 = -2*b, 10*j - r*j = 0. Is b prime?
False
Suppose 0 = -3*a, 2*a - 22 = -4*i + 2. Suppose 880 = -i*g + 153418. Is g composite?
False
Suppose -636164 + 111100 = -2*a - 5*w, 0 = -4*a - w + 1050182. Is a a prime number?
False
Let m(a) = -165*a - 79. Suppose 37 - 15 = -2*k - 3*i, 0 = -2*k + 3*i + 2. Is m(k) prime?
False
Let k(s) = -1979*s**3 - 3*s**2 + 67*s + 336. Is k(-7) a prime number?
False
Let o(j) = j**3 - 18*j**2 + 29*j + 383. Is o(72) prime?
True
Suppose 541*s = 540*s + 86414. Is s composite?
True
Let o(c) = 1956*c**2 + c + 7. Let y be o(-3). Suppose 20*s - y = 12*s. Is s a composite number?
True
Suppose 3*l = 4*l - 3. Suppose f - 7 = -4*v, f - 4 = v - 2*v. Is (v - (-1516)/12)*l a composite number?
True
Suppose -64 = 2*x - 122. Suppose -x*c - 16 = -28*c. Is (c - (-1 - -4))/(3/(-3)) composite?
False
Let p = 167734 - 31686. Is 6 - 162/30 - p/(-20) composite?
False
Suppose 5*w = 20 + 5, -24849 = -2*n + 5*w. Is n a composite number?
False
Let g(h) = 420*h**2 + 20*h + 73. Is g(-7) a prime number?
False
Suppose -1 = -2*z + 2*y + 1, y = -3*z + 23. Suppose -z*f + 11*f = 195. Suppose f = -2*m + 149. Is m a composite number?
True
Let n(u) = 377*u**2 + 12*u + 13. Suppose 13*f = -57 + 31. Is n(f) prime?
False
Suppose -10 + 40 = -3*q. Let d = -2131 + 2589. Is 2/10 - d/q prime?
False
Let h(b) be the first derivative of -138*b**2 - 9*b + 21. Let q be h(6). Let m = -674 - q. Is m composite?
False
Is (-1 + 1/2)*(5913857 + 35)/(-34) a prime number?
True
Let l(a) be the third derivative of 1/4*a**4 + 1/120*a**6 + 3/20*a**5 + 7/6*a**3 + 0*a + 0 - 9*a**2. Is l(-8) composite?
False
Let t(z) = z**3 - 6*z**2 - 9*z + 20. Let j be t(7). Is (-2517)/j*-5*10/25 a composite number?
False
Suppose -4 = 4*s - 6*s. Suppose -8 = -2*g, 4*g - 36 = -s*n - 3*n. Suppose -n*f = -1207 - 373. Is f a composite number?
True
Let v = 1905 - 1223. Let m be 3/(4 - (-2289)/(-573)). Suppose -m = -5*b + v. Is b a prime number?
True
Let z be 5/((-3)/24 - (-23)/24). Suppose -25924 = -z*d - 8086. Is d prime?
False
Suppose -z + 8494821 = -g, 0 = 5*z + g + 2*g - 42474169. Is z prime?
False
Let m(b) = -9*b + 4*b + 15*b + 19*b - 11. Let f be m(15). Suppose -4*c - f = -1748. Is c a composite number?
False
Let r be 1*(-6196)/(-8)*2. Suppose -r = 5*p + 561. Let v = p - -736. Is v composite?
True
Let j(w) = 6*w - 7. Let i = 0 - -4. Let p be j(i). Let m(l) = 48*l - 29. Is m(p) a prime number?
True
Suppose 3*m - 5*p = -10581, -4*m + 5*p - 8828 - 5275 = 0. Let s = -5121 - m. Let l = s + 2554. Is l composite?
True
Let c(n) = 86*n**2 + 3*n + 0*n - 54*n**2 - 92. Is c(-9) prime?
True
Suppose -149 + 8045 = 6*b. Let i = b + 357. Is i a composite number?
True
Suppose -3*r - 4*u = 5714, 4*r + 5*u = -r - 9530. Let j = 8641 + r. Is j a composite number?
True
Let d(s) = 578869*s - 3067. Is d(2) a composite number?
True
Let z(y) = 4326*y**3 + 2*y**2 - 1. Let a be 46/(-69) - (-5)/3. Is z(a) composite?
False
Let r = -639031 - -1121228. Is r prime?
False
Let o be 44856/(-11 - -20) - -3. Let x(f) = -15*f**2 - 10*f + 2. Let u be x(-8). Let i = u + o. Is i a composite number?
True
Suppose 2*t - 69 = 4*s - 283, s = t + 56. Suppose 57*q - 7530 = s*q. Is q prime?
False
Let n(h) = h**2 + 3. Let l be n(0). Suppose -5*q + 50 = 5*z, z - 3*q = -81 + 79. Suppose 1492 = z*a - l*a. Is a prime?
True
Let n be 5320 - (-5 - -10)/5. Suppose -289 