True
Let w(i) = -2*i - 3. Suppose -5 = 2*s + 1. Let t be w(s). Is 1*85*(-2 + t) a composite number?
True
Let d = 2804 + -1350. Let w = d - 705. Is w a composite number?
True
Suppose 3*d - 6*d + 4*k = -7734, -4*d + 10312 = -3*k. Is d composite?
True
Let a = -4 + 1. Let v be -2 - a - -193*3. Suppose -4*y - 3*h = y - v, 0 = 2*y + 4*h - 246. Is y a prime number?
True
Suppose -2*s + 2963 = 4*f - f, 1483 = s + 2*f. Is s prime?
False
Let h(t) = 3*t - 7*t - 9 + 0*t - 4*t. Is h(-3) a composite number?
True
Suppose 6*d - 2*d - 15956 = 0. Is d composite?
False
Suppose 3273 = 3*w + 819. Suppose -3*s + s + w = 0. Is s composite?
False
Suppose 14125 = 13*s - 8092. Is s a composite number?
False
Let l be -2*-2*1/(-2). Let b be (0 - 4/l) + -3. Is (1*(-502)/2)/b composite?
False
Suppose -3*v = 4*t - 23811, 2*t + 39685 = 5*v + 7*t. Is v composite?
False
Suppose -2*u - 2 = -0. Is 1/(-4)*(u/1 + -1675) composite?
False
Let x(c) = 27*c + 3. Let z(d) = 13*d + 2. Let q(i) = -6*x(i) + 11*z(i). Suppose -2*p = -5*l, 0 = -5*p + p + 4*l - 24. Is q(p) a prime number?
False
Let q(m) = m**2 - m - 920. Let i be 8/48 - 1/6. Let d be q(i). Let u = 75 - d. Is u composite?
True
Is (10 + -6)*(-53308)/32*-2 prime?
True
Suppose 6*y = -1 + 13. Suppose -2508 = -5*j + j + 4*t, -4*j - y*t + 2478 = 0. Is j prime?
False
Let q(m) = 357*m - 25. Is q(7) prime?
False
Suppose 8*d - 163785 = 46111. Is d a composite number?
False
Let t(w) be the second derivative of 107*w**7/2520 - w**5/120 - 5*w**4/12 + 6*w. Let b(u) be the third derivative of t(u). Is b(-2) prime?
False
Suppose -q - 3 = -b, -q + 4 = -3*b + 13. Let g = 132 - b. Suppose -3*i + 0*i = -g. Is i composite?
False
Let b(c) = -34*c - 5. Let l(i) = -i**2 - 4*i - 8. Let g be l(-4). Let r be b(g). Is r/(-2)*(-16)/24 a prime number?
True
Suppose 2*l + l - 40 = 2*v, 5*l = -5*v - 150. Let u = 26 + v. Let a(f) = f**2 + 217. Is a(u) prime?
False
Suppose -3*y - 1070 = 2*y. Let w be (273 - 11)*(-1)/2. Let k = w - y. Is k composite?
False
Let v be 67 - (6 - (-3 - -6)). Let g be ((-1)/(-4))/(8/v). Suppose 4*u - 374 = g*u. Is u a composite number?
True
Let j(v) = 29*v - 6. Let i be j(5). Let p = 117 + -49. Let r = i - p. Is r composite?
False
Let x(i) = -5*i**3 - 62*i**2 + 35*i - 75. Let w(p) = 2*p**3 + 20*p**2 - 12*p + 25. Let l(h) = 11*w(h) + 4*x(h). Is l(15) prime?
False
Let m = 35 - 29. Suppose 0 = 4*z + g - 12675, m = -5*g + 1. Suppose -z - 7170 = -7*b. Is b a composite number?
True
Suppose -4*h + 0*h + 8 = 0. Is ((-163)/h)/(3/(-6)) a prime number?
True
Let c(k) be the first derivative of k**4/4 - 13*k**3/3 + 23*k**2/2 - 4*k - 12. Is c(15) composite?
True
Let h = 27 + -62. Let n = 66 + h. Suppose 0*j + j - n = 0. Is j a composite number?
False
Is (8/24)/(3/29943) a prime number?
False
Let l(d) = 21*d - 31. Let x be l(3). Suppose 0 = 5*a + 6 + 14. Is ((-61)/4)/(a/x) a prime number?
False
Suppose 2*q - 18 = -0. Suppose -q = 11*m - 14*m. Suppose 316 + 17 = m*s. Is s prime?
False
Suppose 4*k - 4227 = -3*o, -k = -5*o + 2*k + 7045. Is o composite?
False
Suppose 6*x = -8 + 20. Suppose -2*f = x*y - 8, -3*y + 4*y - 6 = -3*f. Is f + 176/6*3 a prime number?
True
Let r(m) = m + 4. Let q(y) = y**2 + 4*y - 2. Let j be q(-4). Let z be r(j). Suppose 0 = w - 5*k - 464, 5*w + 3*k + z*k = 2410. Is w a composite number?
False
Suppose 0 = -f + 3*o - 110 - 161, -2*f + 5*o = 541. Let l = -137 - f. Is l prime?
True
Suppose g - 1 = u, 0*u - u - 9 = -5*g. Let v be ((-1407)/42)/((-1)/g). Suppose -10*s = -9*s - v. Is s prime?
True
Let p be (-3 - 1)/(-1) + 0. Suppose 2*z - 30 = 4*k, 5*k = -3*z + 6*z - 48. Suppose -t + 2*d = -9, -t + 0*t = p*d - z. Is t prime?
True
Suppose -2*b = -20 - 8. Let k(c) = 3*c + 11. Is k(b) a composite number?
False
Suppose -3*p = -5*u + 2 - 1, -2*p = -6. Suppose -5*a = -c + 2, 0 = 3*c - c - 3*a - 4. Suppose u + 4 = -3*x, 551 = i - c*x. Is i a composite number?
False
Let v = 4 + -4. Suppose -3*z = -v*z + 93. Let t = z + 114. Is t a composite number?
False
Let t(l) = l**2 + 6*l + 8. Let p be t(-5). Is (693 - -4)*(p - 2) a composite number?
True
Suppose -2 = -u - 3. Suppose s + 7 - 8 = 0. Is (0 - s)*(-158 + u) a prime number?
False
Suppose 14*d + 224 = 7*d. Let q = -41 + 28. Let l = q - d. Is l prime?
True
Suppose -24*w = -447640 - 565376. Is w a composite number?
False
Suppose 0 = -7*m + 2754 + 2153. Is m a composite number?
False
Let m = 2562 + 3809. Is m a prime number?
False
Let q be (-16 + 1)*1/((-10)/984). Suppose -3*o + j + q = 0, 2*o - 3*j - 971 = 2*j. Is o prime?
False
Let i(n) = -4*n + 9. Let t be i(4). Let u(c) = c**3 + 12*c**2 - 4*c - 22. Is u(t) a composite number?
False
Let w be (-130)/(-26)*(-1 + (-18)/(-10)). Suppose -3*s = w*u - 325, -2*u + 172 = s + 67. Is s a composite number?
True
Let b be -7142*2/(4 + -2). Suppose 107 - 35 = -4*n. Is b/n - (-2)/9 a prime number?
True
Let d(n) = 2*n**3 - n**2 - 2*n - 1. Let c be d(2). Let h(m) = m - 3 + 0*m**2 - 2*m + m**2 - 2*m. Is h(c) prime?
False
Let m = -43 + 46. Suppose m*c - 333 = 4*g, 2*c + g + 2*g - 239 = 0. Is c a prime number?
False
Let h be (0 + (-3)/(-9))*0. Let a = h - -3. Suppose -b - 590 = -a*o + b, 4*b = -4*o + 760. Is o a composite number?
True
Let p be (1956/15)/(4/10). Let q = 2035 - p. Is q composite?
False
Is (-74813)/(-13) + 9/((-117)/(-2)) a composite number?
True
Suppose 0 = 11*b + 12*b - 27347. Is b a prime number?
False
Suppose 3*c - 19168 = -q + 5986, 16751 = 2*c - 3*q. Is c a prime number?
False
Let k = -7877 + 13174. Is k a composite number?
False
Let f = 41 + -36. Suppose 5949 + 12346 = f*i. Is i a composite number?
False
Suppose 0*q - 4 = -q. Is (3980/(-3))/(-4) + q/(-6) composite?
False
Suppose -45*y + 5*p - 80915 = -50*y, -5*y + 80903 = -p. Is y prime?
False
Let q be -2*((-9297)/(-2))/(-9). Suppose 4*l - q - 2323 = 0. Is l a composite number?
False
Let v(w) = 2*w**2 - 4. Let r be (3/(-2))/(15/(-40)). Let i be v(r). Suppose -36 = -d - f + i, -2*d + 2*f = -108. Is d a composite number?
False
Let o = -3305 + 4778. Is o composite?
True
Let o(s) = -s**3 - 21*s**2 + 1. Let g be o(-21). Is g/2 - (-29244)/24 composite?
True
Let r(b) = 3*b + 8. Let t be r(9). Let a(s) = 5*s**2 + 3*s + 1. Let y be a(-1). Suppose -y*c - 3*z + t = -64, 5*c - 177 = z. Is c a prime number?
False
Is (-135958245)/(-6583) + (-4)/(-58) prime?
False
Let p(u) = 315*u**2 + 3*u - 43. Is p(-6) a prime number?
True
Suppose -2*d + 260 = 4*n - 286, -n - 2*d + 132 = 0. Suppose -147 = 5*b + 128. Let u = b + n. Is u prime?
True
Let h be ((-2)/(-6))/((-3)/(-45)). Suppose -g = h*b - 20, 6*g - 28 = -b + g. Suppose -y - 4*w + 131 = 0, -b*y + 4*w - 2*w = -337. Is y composite?
True
Let y = 2293 + -1213. Is (-1)/7 - (y/(-14) - 2) a prime number?
True
Let u(r) = 2*r**3 + 3*r**2 + 9*r - 119. Is u(17) a composite number?
True
Suppose 5*x + 0*x = -d + 17, -4*d + 4*x = -44. Is 284*(75/d - 2) a composite number?
True
Let j = 6634 + -4102. Is (j/(-10))/((-7)/((-140)/(-8))) a composite number?
True
Let d(n) = -n**2 + 5*n - 4. Let u be d(5). Let a be 0*((-10)/u + -2). Suppose 5*z + 2*l - 555 = a, 3*z - l - l - 349 = 0. Is z a prime number?
True
Let r(q) = 31*q**2 + 3*q - 1. Let u = 12 + -7. Let p be r(u). Is (2/3)/(2/p) a prime number?
True
Let x = -379 - -1940. Is x composite?
True
Let s(w) = 9*w**2 - 5*w**2 + 3*w**2 - 4*w**2 - 34 + 4*w. Is s(-7) composite?
True
Suppose -4*g = 2*i - 19054, 3*i = g - 6928 + 2168. Is g a composite number?
True
Let a(i) = -3*i - 44. Let m be a(-17). Suppose -2*f - 23695 = -m*f. Is f prime?
False
Let r(p) = 9*p**2 + 16*p + 104. Is r(-19) a prime number?
True
Suppose 17*q = 18*q. Suppose 3*r - 10132 - 89 = q. Is r prime?
True
Suppose -i - 16 = -5*k - 3, 2*i = -k + 18. Is 337/(i/(-2) + 4) a prime number?
False
Suppose 2900 = -29*s + 34*s. Suppose -4*i - s = -3*u + 1, 5*i + 965 = 5*u. Is u composite?
False
Let k = 1960 + -1351. Suppose 0 = -4*j + k + 907. Is j composite?
False
Let b be (4/(-12))/(1/(-18)). Let y(f) = -f**3 + 8*f**2 + 6*f - 10. Let g be y(b). Suppose u - g = -u. Is u composite?
True
Let c(m) = 6*m**2 - 2*m - 24. Let o be c(10). Suppose 0 = 6*v - 4*v - o. Is v a composite number?
True
Let d = -17 - -21. Is 398925/171 + d/38 prime?
True
Is (-163*34/8)/(13/(-52)) prime?
False
Let s = -30 + 33. Let j be (-5 + -5)/(1/(-94)). Suppose -2567 = -s*m + j. Is m prime?
False
Suppose -i 