t w(u) = 574*u - 13. Let s be (20/(-32)*-4)/(1/2). Is w(s) prime?
True
Let k be (5 - 307/2) + 3/(-2). Suppose 2*w - 312 - 226 = 0. Let m = k + w. Is m a prime number?
False
Let l = 623 - -71. Let o = l + -1156. Is (o/9)/(4/(-6)) prime?
False
Suppose h + 3*h - 36 = 5*c, 0 = -2*c - 8. Is 3555/h - 1/(-4) prime?
False
Let b be 7 - (-5)/((-25)/(-10)). Let u be (-18)/b - (-12)/1. Suppose 4113 = -g + u*g. Is g a composite number?
False
Suppose 2*p + 2*y - 7880 = -0*y, 2*p - y - 7889 = 0. Is p composite?
False
Is 17937/63*26 - 6/(-14) a prime number?
False
Let s(a) = a**3 - 8*a**2 + 9*a - 15. Let n be s(7). Is 0 + (0 - n - (-2477 + -1)) a composite number?
True
Suppose 8 = -4*j, -5*j = 2*n - 7*n + 575. Is n*(-2)/(-2 - 0) composite?
False
Suppose 1439 = -5*k + 69. Is -2 - 0 - (-18)/(-12)*k a prime number?
True
Let t = 11 - 11. Let a = 93 - t. Is a a composite number?
True
Let j = 166 + -44. Let m = 213 - j. Is m composite?
True
Suppose -4*s - i + 25604 = 4*i, -4*i = -2*s + 12802. Is s a composite number?
True
Let c = 3244 - 1506. Let i = 1297 + c. Is i composite?
True
Let z = 4313 - 2396. Let x = 136 + z. Is x a composite number?
False
Let a = 6 - 2. Suppose 102 - 1986 = -a*t. Suppose 6*u - t = 3*u. Is u composite?
False
Suppose 8 = 5*y + 4*b, -2*y - b = 1 - 3. Suppose -5*p - 3220 - 1180 = y. Is (-4)/(-6) - p/12 a composite number?
True
Is 130/(-455) - (-71082)/14 composite?
False
Let g be 2/(-11) - 3048/(-66). Suppose -4*i + 0*i = -100. Let v = g - i. Is v a prime number?
False
Let c(s) = -s**2 - 8*s - 9. Let a be c(-6). Suppose -5*k = 32 + a. Let u(f) = -f**3 - f**2 - 4*f - 3. Is u(k) a prime number?
False
Let c = 38387 - 24106. Is c a composite number?
False
Suppose p = 2*r - 26584, 0*r + r - 4*p - 13299 = 0. Is r a composite number?
False
Suppose u - 17866 = 3*s, -13*u - 3*s = -10*u - 53538. Is u a composite number?
False
Is 5 + (-325520)/(-35) + (-16)/28 a prime number?
False
Let x(s) = -s**3 + 13*s**2 + 22*s - 9. Let l be x(15). Let q = l - -292. Is q a prime number?
True
Let b be 7/((-21)/(-2))*-1197. Is (b + 9)*(-1)/1 composite?
True
Let l be (-11)/3*-1*-9. Let g be (-18)/8 + l/44. Is 7612/12 + (-2)/g a prime number?
False
Let u = 26 + -24. Suppose 9*i - 4*i = -3*b + 952, 2*i - u*b = 384. Is i a prime number?
True
Let i(b) be the second derivative of b**5/20 - b**4/12 + b**3/6 - 5*b**2 - 9*b. Let q(z) = z**3 - z**2 - 11. Let u(f) = 6*i(f) - 5*q(f). Is u(6) composite?
False
Suppose 4*c - 3*n = n + 8, 2*c + 5*n - 11 = 0. Suppose 9293 = c*w + 5*o - 8429, w = 5*o + 5874. Is w a prime number?
False
Suppose -a = -2 - 1. Let j be ((-32)/24)/(1/a). Is (-285)/(-6) + 2/j composite?
False
Suppose -117*y + 137*y - 23020 = 0. Is y prime?
True
Suppose -5*p + 20149 = -4*w, -3*w - w - 20104 = 4*p. Let l = -922 - w. Is l prime?
False
Let o(a) = a + 1. Let l(m) = -4*m**2 + 7*m + 10. Let z(b) = -l(b) + 4*o(b). Is z(4) prime?
False
Suppose -2*w = 3*x - 11, 0 = 3*w - 3*x - 2 - 22. Suppose w*j - 86 = -16. Is j a composite number?
True
Let i be ((-21)/(-7))/((-6)/(-4)). Suppose 4*p - 20 = -p, i*p - 8 = 4*c. Suppose c = r - 129 - 20. Is r a composite number?
False
Let q(v) be the first derivative of 21*v**2/2 + 23*v - 1. Is q(11) a prime number?
False
Let j(l) = 3*l. Let z be j(2). Let w be (-22)/(-6) + -3 - (-2575)/3. Suppose 0 = -z*m + w + 227. Is m a prime number?
True
Let i = 16 - 8. Suppose 3*g - i*g = -3*n + 869, 2*g - 297 = -n. Is n a prime number?
True
Suppose 294573 + 144214 = 53*u. Is u a prime number?
False
Let n(j) = j + 2. Let x(p) = -p - 7. Let y be x(-5). Let m be n(y). Suppose m*r - r = -b - 39, 0 = 4*b + 8. Is r a prime number?
True
Suppose -23*v = -30*v + 126826. Is v composite?
True
Is 154 - (-1 + (-4 - -2)) composite?
False
Suppose 2*n + 9499 = 2*u + 24669, 0 = -2*n + 5*u + 15167. Is n composite?
True
Let g(i) = -i**2 - 2*i - 381. Let k be g(0). Let n(u) = 23*u**3 - 2*u**2 - 5*u + 2. Let s be n(3). Let r = s + k. Is r a composite number?
True
Is 3/(-30)*(-150887 + -23) prime?
True
Let c(s) = -269*s**2 - 4*s. Let j be c(2). Let v = j + 2115. Is v a composite number?
False
Let r(v) = v**2 + 363. Let g be r(0). Let q = g + 241. Suppose -4*f + 32 = -q. Is f prime?
False
Is -2*(-18)/(-9) + 5291 a prime number?
False
Let f be 2/((-12)/8 - -2). Suppose q - 5*i - 3 = -10*i, -12 = -f*q + i. Suppose -3*b + q*m = -504, -2*m = 2*b - 0*b - 316. Is b prime?
True
Let r(f) = -7*f**3 + 6*f**2 + 6*f - 1. Let t(p) = -p**3. Let b(d) = -r(d) + 4*t(d). Is b(7) composite?
True
Let t = 1834 + -549. Is t a composite number?
True
Let g(r) = r - 110*r**3 + 1 + 95*r**3 + 0*r**2 - r**2. Is g(-1) prime?
False
Suppose 0*a - 50 = 2*a + 2*x, -a - 50 = -4*x. Let i = 83 + a. Suppose 0 = -2*w - 3*u + i, -u + 79 + 42 = 4*w. Is w a prime number?
True
Suppose 3*x - 3*f = 11328, 5*x + f - 18949 + 63 = 0. Is x prime?
False
Is 7953/44*((-96)/(-9))/4 a composite number?
True
Suppose 2228 = -5*n + i, -3*n = -7*n - 2*i - 1788. Let m be -3 - -3 - 1*n. Suppose -4*c = -2*c - m. Is c a prime number?
True
Let h(r) = -r**2 + 3*r + 4. Let t(d) = -d**2 - 9*d - 9. Let y be t(-7). Let p be h(y). Let a(i) = 4*i**2 + 4*i + 7. Is a(p) a prime number?
True
Let q = -4893 - -8828. Is q a composite number?
True
Let d(h) = 5*h**3 + 5*h**2 + 2*h - 1. Let q be d(4). Let j = -122 + 263. Suppose -2*g + q = j. Is g composite?
True
Suppose 4*h + 2*f = 20, -h + 7 = 3*f - 8. Suppose h*n + y = 2857, 0 = -4*n - y - y + 3808. Is n composite?
False
Let d = 24 - 16. Let r be 2 - 4/d*0. Suppose 5*y - 47 = -5*u - 17, -r*u + 12 = y. Is u prime?
False
Let p(f) = -f**3 + 24*f**2 + 6*f - 15. Let v be p(17). Suppose v = 5*i - 1095. Is i a prime number?
True
Let r = 136 - 136. Let w(k) be the second derivative of -k**5/20 - k**3/6 + 11*k**2 - 2*k. Is w(r) a composite number?
True
Suppose -4*s = -2*o + 14 + 4, 2*o + 7 = -s. Let q be (-3)/((-12)/(-4))*s. Suppose 3*f = q*f - 422. Is f a composite number?
False
Let m = 72 + -131. Let b = m + 156. Is b composite?
False
Suppose 9*u - 33144 = 28803. Is u a prime number?
True
Let b = 24 - 14. Suppose 5*o + b = 7*o. Suppose -o*t + 190 = -75. Is t prime?
True
Let k(o) = 20*o - 31. Let r(d) = -d. Let l(h) = -k(h) - 2*r(h). Is l(-13) a composite number?
True
Is (-2579)/(5 + -10 + 4) a prime number?
True
Let v(g) = -g - 1. Let c be v(-1). Suppose c = 10*s - 12*s + 422. Is s a prime number?
True
Let i(q) be the first derivative of 5*q**2/2 + 3. Let a be i(-9). Let o = a - -151. Is o a prime number?
False
Let u(z) = -42*z**2 + 20*z**2 + 1038*z**3 + 3*z - 2 + 22*z**2. Is u(1) a prime number?
True
Let w = -82072 + 153191. Is w composite?
False
Let q = 274 - 50. Let b = 447 - q. Is b prime?
True
Suppose 0 = 5*d - 3*d - 6. Suppose -4*c + 0*i - 278 = -2*i, d*c - 2*i + 208 = 0. Let k = 41 - c. Is k a prime number?
False
Let h(u) = 292*u + 3. Let t(x) = -1. Let s(j) = -h(j) - 4*t(j). Let b(w) = -w**3 - 2*w**2 + 5*w + 5. Let a be b(-3). Is s(a) a composite number?
False
Let r(m) = 2*m**2 - 3*m + 11721. Is r(0) a prime number?
False
Is ((19196/(-6))/(10/(-15)))/1 prime?
True
Is 4905 - (1*-4 + 20 + -14) composite?
False
Let h be 8/12 - 28/(-3). Let y(q) = q**3 - 11*q**2 + 2*q - 9. Let g be y(h). Is g/(-2 + -1 + 2) a prime number?
True
Let o(v) = -v**3 - 2*v**2 + 4*v + 4. Let m be (4/8)/(2/(-12)). Let c be o(m). Is -13 + 67 - (c - 0) composite?
False
Let i(b) = 136*b**2 - 2*b + 1. Let j be i(1). Let v be 293 - -3*(-1 - -2). Let m = j + v. Is m composite?
False
Suppose -2*x - 11472 = -6*x. Suppose 5*o - o - x = 0. Is o a prime number?
False
Let o(s) = -4*s**2 + 0*s + s + 0*s - 4*s**3 + 0*s. Is o(-3) composite?
True
Suppose 0 = 7*j - 427 - 266. Is -1 - (j - -3)*-33 a prime number?
False
Suppose 0 = -22*c + 28*c - 12. Suppose s + c*s = 1743. Is s prime?
False
Let k = 35281 - 19290. Is k a composite number?
False
Let q(v) = -5868*v + 1. Let w be q(1). Let h = -3918 - w. Suppose 0 = 2*z - s - h, -z + 3*s + 160 + 802 = 0. Is z a prime number?
True
Let a = -24 + 34. Let s = 70 + -68. Suppose -a = 2*u, -s*r - 94 = -u - 253. Is r composite?
True
Suppose 0 = -4*p - 6804 + 1840. Let d = 2976 + p. Is d a prime number?
False
Suppose -5*t + 4050 = -4*u, 5*u = t - 0*u - 831. Suppose t + 397 = 3*n. Is n composite?
False
Let o = -66 - -69. Suppose 0 = -0*p + o*p + 4*c - 1451, 3*c + 973 = 2*p. Is p a prime number?
Fals