88038)/(-76) + 1/2 prime?
True
Suppose -2*m + 8 = -3*i, 26 = 2*m - 7*m - 4*i. Let o be (-56)/(-21) + m/3. Suppose -o*v + 969 = v. Is v a composite number?
True
Let q(f) = -f**3 + 5*f**2 + 5*f + 6. Let v be q(6). Suppose -2*h + 5*n - 817 = v, 2*h = 4*h + 2*n + 838. Is 8/(-36) - h/9 prime?
False
Let r = -14 - -17. Let v be (r - -1)/1 + -40. Let c = 133 + v. Is c a prime number?
True
Suppose 11*r = 3*r + 23464. Is r a prime number?
False
Let l = 2960 - 5021. Is (-1*7)/((-3)/l*-3) prime?
False
Suppose -8643 = -4*o - 3*p, -4*p - 3472 + 1316 = -o. Let d = -1283 + o. Is d composite?
False
Suppose -3*s + 519 = -4*q, 2*q - q + 172 = s. Let i = s - -920. Let w = -320 + i. Is w a prime number?
True
Suppose 3*w - w + 1484 = -5*p, -5*w + p - 3710 = 0. Let i = w - -1926. Suppose 3*h - 379 - i = 0. Is h a prime number?
True
Let i(j) = -j**3 - 8*j**2 + 9*j + 3. Let v be i(-9). Let u be 6 + (-2 - 2 - -3). Suppose 4*k - 5*k - u*y = -383, 0 = v*y + 6. Is k a prime number?
False
Let s be -2 + (0 + -1 - -1). Let u = s + 4. Suppose r = -u*r + 381. Is r prime?
True
Let g = 1732 - -1405. Is g composite?
False
Suppose 390*g = 384*g + 37686. Is g a composite number?
True
Suppose -u - 3 + 0 = s, 4*u - 4*s = -44. Let c(k) = -5*k - 6. Let o be c(u). Suppose -2*q - 8 = -3*b + o, 5*q - 34 = -4*b. Is b prime?
True
Suppose -695587 = -30*y - 41*y. Is y a composite number?
True
Let y = 3 + 0. Let k be y*5 + (-12 - -8). Let a(r) = -r**3 + 14*r**2 - 7*r + 13. Is a(k) a prime number?
False
Suppose 12 = 2*t - 12. Let j be 2/(-6) + 28/t. Suppose -156 + 35 = -3*h + j*x, 35 = h + 2*x. Is h a composite number?
True
Let z be 401 + 1*(2 + 1). Let u = z - 178. Is u composite?
True
Is (-558676)/(-11) + (-18)/(-66) composite?
False
Let k(s) = -s**3 - 10*s**2 - 5*s + 3. Let l be k(-9). Let p = -33 - l. Suppose -4*q + p*u + 2*u = -1072, -5*q = -5*u - 1335. Is q a prime number?
True
Let p(i) = 11*i**2 + 6 + 14 + 17 - 53 + 2*i. Suppose 45 = 4*c + h, c - 5*c = 4*h - 48. Is p(c) a composite number?
True
Let r(n) = 1636*n + 1. Is r(3) a prime number?
True
Let i be 20/8*-26*(-1 - -18). Let s = 1868 + i. Is s composite?
True
Let w = 5427 + -2204. Is w a composite number?
True
Is ((-12794)/(-8) - 2)/(45/180) a prime number?
True
Let r = 5328 - 1757. Is r composite?
False
Suppose 0 = 2*q + 2*w - 2 - 0, q - 3*w - 5 = 0. Suppose -340 = -5*n + 1625. Suppose -q*k = -45 - n. Is k a composite number?
True
Suppose 11*u - 16*u = -63725. Is u a composite number?
True
Suppose -4*u = 2*u - 4476. Is (-16)/56 - u/(-14) a prime number?
True
Let n(o) = o**2 + 9*o - 1. Let h be n(-9). Let c be (h/2)/(2/(-772)). Let u = 320 - c. Is u prime?
True
Let x(k) = k**3 - 29*k**2 + 44*k - 9. Is x(37) prime?
False
Suppose 0*j - 10 = -j + 4*i, 5*j = 3*i + 16. Suppose 9*r - 9737 = j*r. Is r composite?
True
Let v be 1*(-69 + 6/3). Let r = v + -30. Is (r + -2)/(-3) - -1 a composite number?
True
Is (17263 - -1) + (-105)/15 a composite number?
False
Let t(o) = 15*o**2 + 2*o - 478. Is t(-29) a composite number?
True
Let b(q) = -1281*q - 193. Is b(-8) composite?
True
Let f be -2 + 2*(-2 + 3). Suppose -4*t - 23 = -7, 5*o + 4*t - 1764 = f. Suppose -4*c + m - 6*m + o = 0, 2*c - 4*m = 178. Is c prime?
True
Let y(d) = 4*d**3 + 2*d**2 + 2*d - 2. Let z(t) = 3*t**3 + t**2 + 2*t - 1. Let v(f) = 4*y(f) - 5*z(f). Let m be v(5). Is (-2)/5 - m/(-5) prime?
True
Suppose -37*a = -47*a. Is (-135)/18*(a + (-1842)/9) composite?
True
Let f(t) = -125*t + 69. Is f(-8) composite?
False
Suppose 2*b = -3*u + 82842, -5*b + u + 165684 = -b. Is b composite?
True
Let d = -81 - -85. Suppose 160 + 300 = d*n. Is n composite?
True
Let y = -24628 - -37001. Is y a composite number?
False
Let u be (1 + -1)/5 - -4. Suppose -4*q = -4*d + 2*d + 2734, -u*d + 5*q = -5459. Is d composite?
False
Let o = 134 - 132. Suppose o*i + 4*d = 514, i - 224 = 2*d + 21. Is i composite?
False
Suppose 4*t - 21 = -5*y + 55, 40 = 2*t + 3*y. Is (-6)/21 + 5352/t a prime number?
False
Suppose -4*r + 92 = -2*h, 2*h + 7*r - 3*r + 60 = 0. Let m = -228 + 139. Let d = h - m. Is d composite?
True
Suppose 84*u - 40956 = 72*u. Is u a composite number?
False
Let t be (-12)/(-66) - (-4)/(-22). Suppose x + 3 + t = 0. Let p(f) = -4*f**3 - 3*f**2 - 4*f - 2. Is p(x) prime?
False
Suppose -5*h + 3*b + 15 = -4*h, 0 = -2*b - 10. Suppose -5*l + 5*u + 8380 = h, -3*u - 1670 = 2*l - 3*l. Is l a composite number?
True
Let t(p) = -p**2 - 4*p + 5. Let w be t(-5). Suppose -4 = l + l, w = 5*y - l + 8. Is -2 - (y - 83/1) a composite number?
False
Suppose 2*a - 13*a = -165. Is a/(4 + -9) - -1660 a composite number?
False
Suppose -3999 = -7*r + 2224. Is r composite?
True
Suppose 2*k = 4*h - 71582, 3*h - 4*k - 45758 - 7941 = 0. Is h a composite number?
True
Suppose -d + 3699 = 688. Is d prime?
True
Let f = -49872 + 80246. Is f a prime number?
False
Let m be 2520/98*98/4. Suppose -4*o + m = -o + 3*u, 230 = o - 3*u. Is o a prime number?
False
Let v = -827 + 580. Is (v - 4)/(-1 - 0) a composite number?
False
Let y(s) = 438*s**2 + 1. Let z(o) = -438*o**2 - 1. Let d(h) = -4*y(h) - 5*z(h). Is d(-1) prime?
True
Let r(x) = 2*x**2 - 21*x + 93. Is r(-26) composite?
True
Suppose 0 = 4*o + 16 + 16. Let x = 13 - o. Is x a prime number?
False
Let j(n) = 3133*n + 2. Let w be j(1). Let t = 10950 - w. Is t/(-10)*(-4)/6 a composite number?
False
Let x = -4967 + 3256. Let r = x - -2450. Is r prime?
True
Let u = -36 + 41. Suppose f = -3*h + h + 695, u = -5*h. Is f a prime number?
False
Suppose p + z + 2*z = -6, 5*z + 21 = 2*p. Suppose x - 256 = 3*r, 0*r - x - 260 = p*r. Is r/(-2) + (-7 - -11) composite?
False
Let d(t) = 7 + 34*t + 16 - t. Let p(h) = 67*h + 47. Let j(v) = 5*d(v) - 2*p(v). Is j(10) prime?
True
Let s(a) = 427*a**2 + 16*a + 48. Is s(7) a composite number?
True
Let i(m) = 7987*m + 82. Is i(3) composite?
False
Let x(q) = q**2 + 9*q - 7. Let b be x(-10). Let k(g) = -2 + 1 + 4*g**2 - 3*g**3 + 3 + 2*g**b + 10*g. Is k(-6) a prime number?
False
Let f = -7 + 3. Let u = f - -7. Suppose -t + u*t = 206. Is t a prime number?
True
Let x(i) = 885*i**3 - 4*i**2 - 6*i + 9. Is x(2) prime?
False
Let h(m) = 12*m**3 + 12*m**2 + 5*m - 22. Is h(9) prime?
True
Suppose -380144 = -0*t - 16*t. Is t prime?
False
Suppose -2*j = -2*y - 12518, -2*y + 4839 = -4*j + 29871. Is j prime?
True
Suppose 2*m + 44*g - 2399 = 41*g, -3*m + 4*g = -3641. Is m prime?
False
Suppose x = 4*x - 6093. Suppose 1985 = 4*f - x. Suppose 0 = -3*w - 2*w + 5*g + 1255, -4*w - g + f = 0. Is w composite?
False
Let c(n) = -24*n - 9. Let i(v) = -8*v. Let y(x) = 9*x + 1. Let l(u) = -3*i(u) - 4*y(u). Let p(z) = -3*c(z) + 7*l(z). Is p(-15) composite?
False
Suppose 4*f = 12, 18 = 2*w + f + f. Suppose w*o - 10*o = -96. Is (-2)/(o/1340)*-3 composite?
True
Is (65032/(-352))/((-2)/8) a composite number?
False
Let a = -35 + 25. Let i be ((-4)/a)/((-4)/(-20)). Suppose 4*v - 3*z - 287 = 0, -i*v - z + 27 + 124 = 0. Is v composite?
True
Let i(z) = 164*z + 105. Is i(29) a prime number?
True
Let k(i) = i**2 - 9*i - 31. Let o be k(8). Suppose -5*x - 5*n + 196 = -174, x - 84 = 4*n. Let h = o + x. Is h a prime number?
True
Let f(p) = -74*p**3 - 8*p**2 - 32*p + 3. Is f(-4) composite?
True
Suppose 0 = 4*b + 14 + 26. Let m = b + -12. Is m/(-77) + (-2082)/(-14) a prime number?
True
Suppose 65 = 2*h + 17. Let u = h + 126. Let y = u - 76. Is y composite?
True
Suppose -z - 4 = 0, 0*z = -5*u - 2*z + 9647. Is u prime?
True
Let i(r) = 3*r**2 - 15*r + 14. Let p be i(7). Let o = -1 + 1. Suppose v - p - 47 = o. Is v composite?
False
Let w = 2 - 0. Suppose -2*l - 3228 = -5*f, -738 + 7178 = -4*l + w*f. Let z = -1076 - l. Is z a prime number?
False
Suppose -182 + 202 = 5*l. Suppose -k = -a - 1146, -l*a - a = 2*k - 2327. Is k a prime number?
True
Let s(d) = -d - d + 467*d**2 - 69 + 71. Is s(1) prime?
True
Is 363881/7 - 0*5/10 a composite number?
True
Let h(u) = -4*u**2 - 8*u + 1. Let m(a) = 4*a**2 + 8*a - 1. Let b(d) = -6*h(d) - 5*m(d). Is b(-8) composite?
False
Let b be 75*(-3)/(-18)*20. Let q = 52 + -50. Suppose b = -q*p + 912. Is p a prime number?
True
Suppose 0 = 4*x + 4*m - 7*m - 84586, 0 = -2*x + 5*m + 42300. Is x composite?
True
Let t be (-1)/1 + 3220/10. Suppose 2*j - t = j. Is j composite?
True
Let j be 2/3 - 834/9. Let h = 123 + j. Is h a prime number?
True
Is (80260 - 12/(-3)) + (8 - 3) a composite number?
True
S