Suppose -2*z + 40930 = -4*o, -z - 3*o + 20493 = 2*o. Let n = 31304 - z. Is n a prime number?
True
Let c(z) = -43045*z - 693. Is c(-14) a prime number?
False
Let o(s) = 159*s**3 - 7*s**2 + 10*s - 167. Is o(12) a prime number?
True
Let c(z) = 26*z - 29. Let y be 6*(-2 + (-2 - -2)). Let j be c(y). Let v = -150 - j. Is v composite?
False
Let h(t) = 0 + 2*t**3 + 12*t**3 - t + 17*t**3 + 1 + 3*t**2. Let p(j) = -j**3 - 4*j**2 + 5*j + 2. Let i be p(-5). Is h(i) a prime number?
False
Let z be (-2)/7 + 4/(112/204). Let i(y) = y - 3. Let u be i(z). Is 1999/u + (-12)/16 a composite number?
False
Let q(d) = -11*d + 13. Let v be q(6). Let b be (81 - (-6)/2) + 2. Let u = v + b. Is u a prime number?
False
Let c(n) = -13*n**2 + 10*n - 155. Let y(p) = -40*p**2 + 28*p - 467. Let x(i) = -7*c(i) + 2*y(i). Is x(28) a composite number?
True
Let g = 193926 - 118619. Is g a prime number?
True
Suppose 1200946 = 92*d - 3207786. Is d composite?
True
Suppose -201*x + 291*x - 22870710 = 0. Is x a prime number?
True
Suppose -h = -6*h + 100. Let w be h*(-1)/(-9) + (-4)/18. Suppose 1691 + 111 = w*n. Is n composite?
True
Let z = -6408 - -2779. Let b(t) = -45*t + 7894. Let n be b(48). Let v = n + z. Is v prime?
False
Suppose -4*g + 1861 = 3*c, -2*g + 2468 = -6*c + 10*c. Let n = 1256 - c. Is n prime?
True
Suppose -2*s = -8*s + 114. Suppose 0 = -s*u - 12*u + 172949. Is u a prime number?
False
Let t(h) = -2 + 4*h**2 + 7*h - 2*h**2 - 1. Let y = 23 - 35. Is t(y) composite?
True
Suppose 74694449 = 25*u + 76*u. Is u a composite number?
False
Let d(l) = l**2 - 71*l + 18. Let f be d(21). Is -6 + -7 + 9 + (-1 - f) a composite number?
True
Let m(n) = -50*n**2 - 3*n + 12. Suppose -i - 6 = -5*x, -2*i + 16 = -2*x + 3*i. Let h be m(x). Let f = 113 - h. Is f a composite number?
False
Suppose -p = -s + 41987, 0 = -2*s - 2. Let t = p - -60883. Is t prime?
False
Let b = -34 + 12. Let r = -22 - b. Is 3904 - (9 - (r - -4)) a prime number?
False
Is ((-6906)/8)/(((-4)/(-12))/((-16)/12)) a composite number?
True
Suppose 2*x - 3*a = 391348, -33*a = -6*x - 38*a + 1174128. Is x a composite number?
True
Let o(v) = -403*v**3 - 2*v**2 + 40*v + 116. Is o(-3) composite?
False
Let f = -24148 - -43595. Is f a composite number?
False
Let z(m) = -2*m**3 - 11*m**2 - 6*m - 5. Let k be z(-5). Suppose -8*x + 1184 + 50408 = k. Is x composite?
False
Suppose -24*q + 2*t - 50529 = -25*q, 101098 = 2*q - 4*t. Is q a composite number?
False
Let z(m) = -m**3 - 30*m**2 - 45*m - 31. Suppose 21*r = 6*r - 450. Is z(r) a prime number?
True
Let w = 231350 + -55851. Is w a prime number?
True
Suppose n + 76 = -246. Let h = n - -761. Is h a composite number?
False
Suppose 3*f - 1971828 = -5*o, -5*f + 35*o = 40*o - 3286390. Is f composite?
False
Suppose 47*z + 34*z - 19767776 = 20999281. Is z prime?
True
Let a(u) = -u**2 + u - 7. Let r be a(7). Let d = -128 + 211. Let w = d + r. Is w prime?
False
Let o = -443 - -180. Let j = -67 - o. Suppose g - j = 213. Is g composite?
False
Let b = 137655 - 24718. Is b a composite number?
True
Suppose -4*u = -x + 3923 + 8608, -u - 25034 = -2*x. Is x a prime number?
False
Let k = 2695 - -4208. Suppose 7*o - 17253 = -5*d + 3*o, -o + k = 2*d. Is d a composite number?
True
Let y(n) = -n**3 - 6*n**2 - 6*n + 2. Let z be y(-5). Let f(p) = p**2 - p - 1. Let l(j) = 72*j**2 + j - 15. Let r(m) = 3*f(m) + l(m). Is r(z) a prime number?
True
Let x = 75 - 79. Is 56/x + 7 - -258 composite?
False
Let y be -107*(-3 + (-2 - -2)). Let a = y + -136. Suppose 11*z = 6*z + a. Is z composite?
False
Let s = 115890 - 76163. Is s a prime number?
True
Let k(j) be the second derivative of j**4/6 - 4*j**3/3 - 7*j**2 + 165*j - 5. Let m(r) = 3*r. Let n be m(2). Is k(n) a composite number?
True
Let r(h) = 2300*h**3 + 4*h**2 - 6*h + 2. Let a be r(2). Let q = a + -11983. Is q a prime number?
False
Suppose -5*x - 22 = -152. Let i(t) = 2*t**2 - 5. Is i(x) a prime number?
False
Suppose -3*p = 3*n - 51105, -p = -2*p - 4*n + 17035. Is p a prime number?
False
Suppose -o = -5*o + 2*k + 13838, -k - 13839 = -4*o. Suppose 5*c - 4*a - 27014 = 0, -108*c - 10801 = -110*c - 3*a. Suppose -6*l + o = -c. Is l prime?
False
Suppose -5*a = 4*y - 951, -5*a - 5*y - 728 = -9*a. Let f = a - 56. Is f composite?
False
Let f be -6 + 1 + 0*8/48. Is (-4)/40*f*37106 a prime number?
True
Let b be (-3 + 2)*(6 - 2132). Let l = b - -795. Is l prime?
False
Let p(i) be the first derivative of 161*i**2/2 - 10*i + 6. Is p(9) a composite number?
False
Suppose 96 - 112 = -2*b. Suppose 3*i = 2*w + 7473, 0 = -b*w + 9*w. Is i a prime number?
False
Let m be ((-80)/(-100))/((-2)/15). Is (m/(-2))/(7/77) a composite number?
True
Let t(b) = 28*b**2 - 47*b - 25. Let u be t(8). Let j = 540 + u. Is j a composite number?
False
Let p = 41 - 38. Suppose 0 = -6*q + p*q + k + 4, -4*k = -5*q - 5. Suppose 5*y = -q*l + 679, -y - 1113 = -2*l - 3*l. Is l composite?
False
Let s(f) = -1394*f + 883. Is s(-11) a prime number?
True
Let i(n) = -n**2 - 13*n - 20. Let f be i(-11). Suppose f = x, 25 = -0*s + 3*s - x. Suppose -12*o + 2802 = -s*o. Is o composite?
True
Let k be -6*(2/(-3) + 9/(-54)). Suppose -4*m - 1875 = -k*t, 7*m - 15 = 4*m. Is t composite?
False
Let i(x) = 72*x**2 + 38*x - 35. Let f be (-34)/(-10)*(-3 + 8). Is i(f) prime?
True
Let q(j) = 3*j**3 - j**2 - 9*j + 5. Let r be q(3). Suppose -4*h + 5 + 3 = 0, -2*g + r = -3*h. Is (89296/g)/4 + 2/(-7) composite?
False
Let f = 39039 - -36772. Is f prime?
False
Suppose -10*f - 14256 = -4886. Let o = f - -2298. Is o a composite number?
False
Let p(z) = -61*z**3 + 5*z**2 - 10*z - 5. Let n be (-248)/93*((-13)/(-4) + -1). Is p(n) a prime number?
True
Suppose -34595 - 2661235 = -8*r + 210674. Is r composite?
False
Is 99/396 - (455/(-208))/(1/143844) prime?
False
Suppose -2*l - 4*l = -2958. Suppose 3*w = -1 + 4, -v + 3*w + 145 = 0. Let z = l + v. Is z a prime number?
True
Let c be 1 - (2 - 0 - 55). Suppose 57*g = c*g - 42. Is ((-8)/g)/(18/6867) prime?
False
Let p(y) = -2*y**2 - 14*y + 15. Let h be p(-7). Suppose h*w - 27 = 6*w. Let f(z) = 678*z + 7. Is f(w) composite?
True
Let a be 5 + (-32)/10 - 12/15. Is a/(1/9403 - 0) a composite number?
False
Let n(s) = 4*s**3 + 17*s**2 + 5*s - 47. Let d(i) = -i**3 - 6*i**2 - 2*i + 16. Let w(t) = 8*d(t) + 3*n(t). Suppose 51*p + 20 = 55*p. Is w(p) composite?
False
Let i(m) = 2688*m + 5365. Is i(49) a composite number?
False
Suppose -16*c - 15 = -c. Let g(v) be the third derivative of 1007*v**5/60 + v**4/8 + v**3/2 + 10*v**2. Is g(c) a composite number?
True
Suppose 80*h - 83*h + 6619044 = -2*x, 0 = -4*x - 36. Is h a prime number?
False
Suppose -5*y + 11540 = 5*f, 7*y + 2292 = 8*y - 3*f. Let c = 2437 + y. Is 2/(-7) + c/7 a prime number?
True
Let g(c) = 27*c**2 - 3*c - 1803. Is g(-38) a composite number?
True
Suppose -357024467 + 1048210434 = 181*m. Is m a composite number?
False
Suppose 12 = -67*x + 73*x. Suppose -5*j = b - 4*b + 909, x*b + 4*j - 584 = 0. Is b composite?
True
Let f(v) = -v - 4. Let r be f(-7). Suppose 0 = 3*u + 6, -27*a + 29*a - 8 = 4*u. Suppose 0*b - 661 = -3*n + b, a = -4*n - r*b + 890. Is n a composite number?
True
Let t(a) = 35*a - 100. Let y be t(3). Suppose -3*m + 3516 = -y*g - 4123, -2*m + 4*g + 5094 = 0. Is m a prime number?
True
Suppose 3511560 - 1061616 = 59*r + 13*r. Is r a prime number?
False
Let h(a) = 42*a**2 - 18*a + 10. Let d be h(-15). Let p be (-1 - 2/(-3)) + d/30. Suppose 0 = -4*n + p + 272. Is n prime?
True
Is (3 - (-12991)/(-4))/(9/(-108)*3) prime?
True
Let s(u) = u**2 - 7*u - 33. Let l be s(10). Let c(f) = -19*f**3 + 3*f**2 + 4*f - 1. Let w be c(l). Suppose -484 - w = -3*a. Is a prime?
True
Suppose j + 3*a - 1469 = -0*a, -5*a - 7385 = -5*j. Let h be 168/36 - 4/6. Suppose 5*u - 5*w - j = 0, -283 = -u + h*w - 0*w. Is u a composite number?
True
Let x(t) = -t - 2. Let j be x(-5). Suppose 5*m + 3 = -j*z + m, z - 2*m - 9 = 0. Suppose -z*u + 3284 = -u. Is u a composite number?
True
Suppose y = 5*y + 3*h - 31, 6*h = 30. Suppose 17 = 3*u + 2. Suppose y*l = u*l - 119. Is l a prime number?
False
Is 1/2*(-17)/(136/(-8393456)) a prime number?
True
Let g(c) = -28*c**3 - 4*c**2 - 11*c + 3. Let k be g(-7). Suppose -177473 = -31*h + k. Is h a composite number?
True
Let j = -398025 + 996734. Is j composite?
True
Is ((-8841690)/(-154) + 4)/(1/7) a prime number?
False
Let t(z) = -2*z + 2*z + 4*z