 5*i + 492 = -3*t. Is -2 - (t + (1 - 1)) composite?
False
Let i = 172 + -172. Suppose i = -x + 916 - 182. Is x composite?
True
Let a(l) = -2*l - 11. Let y be a(-8). Suppose 0 = -q - 2*q + 4*p + 21, y*p + 21 = 3*q. Suppose 645 = -2*h + q*h. Is h composite?
True
Let i(g) = 101*g + 4. Let r be 3 - -1 - (6 - 7). Is i(r) a prime number?
True
Let j be (2*-2)/((-12)/1920). Suppose -5*r - j = -4*z, 1 = -4*r - 15. Is z a prime number?
False
Suppose -14*l = -12*l. Let u(g) = g**3 + 319. Is u(l) composite?
True
Suppose 4*a = 1906 - 114. Suppose 2*x = -3*x - 4*i + 2249, -x + i = -a. Is x prime?
True
Suppose -16*m + 3739 = -15*m. Is m a prime number?
True
Let f(m) = m**2 - 3*m + 2. Let u be f(3). Let j be (-1)/u - 55/(-10). Suppose 7*q + r - 51 = 3*q, q + j*r = 8. Is q a prime number?
True
Suppose -t + 8 = t. Suppose -4*b + 4*s = -417 - 87, 511 = t*b + 3*s. Is b a composite number?
False
Let m(y) = 47*y + 17. Let a be m(13). Suppose -s = 3*o - 1501, -2*o - 4*s + a = -386. Is o composite?
False
Let m(w) = -w**3 - 12*w**2 - 11*w. Let h be m(-11). Let b(a) = -2*a + 2*a**2 + h + 7 + 12*a. Is b(10) composite?
False
Let j(p) = -p**3 - 15*p**2 + 24*p + 11. Suppose 11*n + 193 = -38. Is j(n) composite?
False
Let j = 2396 + -919. Is j a composite number?
True
Suppose 3*q + 216 = -0*q. Let z = 158 + q. Suppose -3*u - 3*a = -z - 343, 5*u - 711 = -a. Is u composite?
True
Suppose 4*m - 5*v = 53573, -4*m + 6*m - 26800 = -2*v. Is m composite?
False
Suppose 0 = 33*x - 544155 - 335394. Is x a prime number?
False
Suppose 3*p + 14 = 10*p. Suppose -3*h + 7 = -p, 3*k - 2*h - 603 = 0. Is k a composite number?
True
Suppose 0 = -2*h - 3*h - 2*r + 363, 4*h - 5*r = 297. Suppose 0 = -2*f - 4*w + h + 85, 251 = 3*f - w. Is f prime?
True
Suppose 4*b + 3512 = -1616. Let d = 1895 + b. Is d prime?
True
Let j(b) = 406*b - 13. Let p be j(4). Suppose 6*z = 3*z + p. Is z a composite number?
True
Let c(w) = -741*w - 14. Let m be c(-7). Let t = -3096 + m. Is t prime?
False
Suppose -19 = -5*o + 4*w - 85, -4*o + 4*w - 56 = 0. Let p = 52 + o. Let d = 73 - p. Is d composite?
False
Let g be 4 + -4 + -1 + 3. Suppose -5*m = -f - 1631, g*m - 3*f = 2*f + 657. Is m a composite number?
True
Suppose 2*t - 16*s + 18*s = 14774, -2*s - 14774 = -2*t. Is t a composite number?
True
Let f(a) = -2*a + 5 - 3*a + 18*a**3 + 0*a**2 + 3*a**2 - 3*a**3. Is f(2) a composite number?
False
Let r(z) = z**2 - 5*z - 11. Let l be r(7). Suppose l*g - 2*i = 195, -g + 5*i = -0*g - 52. Is g prime?
True
Suppose -16*z = -22*z + 23172. Is z a prime number?
False
Suppose o = 2*w - o - 46, 0 = -w - o + 17. Suppose -w*q + 8806 = -6*q. Is q a prime number?
False
Let p be ((-81)/18)/(3/(-2)). Suppose -3*o + 0*w = -4*w - 3257, 5*o + p*w = 5438. Is o prime?
True
Let f be 2 - (4 + -3) - -1. Let s be 5/(-10)*f*2. Let c(h) = 5*h**2 - 2*h - 2. Is c(s) composite?
True
Let v(q) = q**3 + 7*q**2 - 5*q. Let d be (-2)/2*(3 - -5). Let g = d + 1. Is v(g) composite?
True
Suppose 3*b + 5*z - 7 = 0, -z + 2*z = -4*b + 32. Let c be (-4)/(-6) + (-1 - (-636)/18). Suppose c = u + b. Is u prime?
False
Let o = 4199 - -3992. Is o a prime number?
True
Let x(f) = 76*f**2 - 18*f + 311. Is x(18) a composite number?
False
Suppose 0 = 3*w - 2*n - 69, -4*w - n + 52 = -51. Suppose -w + 118 = 3*y. Is y a composite number?
False
Is ((-46198)/(-6))/((-6)/(-36)) prime?
False
Suppose -3*i = -0*i - 2*q + 14, 0 = 4*i - 4*q + 16. Let y = i - -17. Suppose -105 = y*f - 16*f. Is f a composite number?
True
Suppose 6*o + 20 = 10*o. Suppose 0*w - o*w = 3*i - 3, 4 = 2*i + 4*w. Is ((-2)/i)/((-8)/(-1264)) prime?
True
Suppose -30 + 10 = -4*c. Suppose 6*v + 5*u - 1280 = v, -c*v - u + 1268 = 0. Is v a prime number?
False
Let h = 172304 + -110433. Is h a composite number?
False
Suppose 32*f - 34*f + 15278 = 0. Is f prime?
True
Suppose 3*v - 2495 - 1282 = 0. Let i(q) = 24*q + 32. Let m be i(-16). Let b = v + m. Is b a composite number?
False
Suppose 0 = -5*n + 2*u - 956 + 81399, 2*n - 32186 = 3*u. Is n composite?
False
Suppose 0 = 2*q + 7*s - 3*s - 2820, 4*q - s - 5604 = 0. Is q a prime number?
False
Let p = -1456 - -2271. Let y = p + -1316. Let o = y - -738. Is o a composite number?
True
Suppose -21 + 13 = -2*x. Suppose -5*p + 5755 = -x*b, 0 = -3*p - 7*b + 11*b + 3461. Is p a composite number?
True
Let m(s) = s**3 - 26*s**2 - 41*s - 17. Let p = 121 - 93. Is m(p) a prime number?
False
Suppose -1348 = 2*g + 2*k, -3*g + 11 = 5*k + 2041. Let h = 2403 + g. Is h composite?
False
Let f = -2998 + 4751. Is f composite?
False
Let g(q) = -44*q - 29. Is g(-24) a prime number?
False
Let q = 16 - 16. Suppose -2*d - 5*h = -39, 3*d + h - 32 + 6 = q. Suppose -2*o - 5*s = -209, 5*s = d*o - 3*o - 373. Is o prime?
True
Let c = 12 + -5. Let d = c - 6. Suppose 0 = -2*p + d + 77. Is p a prime number?
False
Let w(y) = 4*y**2 - 3*y - 3. Let o(g) = -3*g**2 + 4*g + 2. Let d(b) = -3*o(b) - 2*w(b). Is d(-7) a prime number?
False
Suppose 26127 + 21928 = 5*n. Is n a prime number?
False
Suppose 0 = -5*b - 42 + 12. Let a be (9/b)/(3/28). Is (40/a)/((-2)/7) a prime number?
False
Let c be (88*-14)/(2 + 9/(-6)). Let u = c + 3837. Is u prime?
True
Let i(m) = -109*m - 4. Let l(r) = -545*r - 20. Let f(v) = -11*i(v) + 2*l(v). Let j(b) = b**2 - 10*b + 3. Let z be j(10). Is f(z) composite?
False
Let y(f) = 4*f**3 + 4*f**2 + 2*f + 3. Is y(4) prime?
True
Suppose 9 = 3*d - 5*k, -2*d - 5*k + 6 = -0*k. Suppose d*c - c - 5150 = -2*y, 0 = 2*y - 3*c - 5170. Is y composite?
False
Suppose -33*w = 39*w - 369288. Is w prime?
False
Let a = -29 + -5. Let i = -48 - -25. Let k = i - a. Is k a composite number?
False
Suppose -15670 + 274 = -6*s. Let k = 4163 - s. Is k a prime number?
True
Let u(k) = -100*k + 13. Suppose n - 4 = -3*y, -5*n - 16 = -y - 2*y. Let w be -3*(1 + n)*-4. Is u(w) composite?
False
Suppose -77*m = -3*m - 740518. Is m a prime number?
True
Let q(d) = 9*d**2 + 16*d + 22. Let k be q(18). Suppose -4*p + 4386 = -k. Is p composite?
True
Let y = -17 - 0. Let k = y + 178. Is k prime?
False
Let t = 3587 + -1764. Is t a composite number?
False
Let a(g) = 2*g**3 - 51*g**2 - 8*g + 31. Is a(26) a prime number?
True
Let n = -68 + 72. Suppose n*l - 11*l = -22085. Is l a prime number?
False
Suppose 13*z - 319011 = -20*z. Is z a prime number?
False
Let o(k) = -661*k**2 + 17*k + 9. Let u(f) = 441*f**2 - 11*f - 6. Let r(g) = 5*o(g) + 8*u(g). Is r(-2) composite?
True
Suppose -3*n - 5*z + 22617 + 21421 = 0, 4*z = -2*n + 29358. Is n a composite number?
True
Let v(j) = -2 + 0 - 3*j + 4*j. Let g be v(5). Suppose 2*f + 52 = -5*b + 263, 0 = -g*f - 3*b + 330. Is f prime?
True
Let x be 4 - 33/24 - (-6)/16. Is -1*x/(-3)*(-4 + 4893) a prime number?
True
Let b(a) = -237*a. Let h be ((-6)/(-9))/(6/(-9)). Let v be b(h). Suppose -v = 5*q - 8*q. Is q composite?
False
Let i be ((-2)/(-6))/(1/6). Let o be (i - -2) + -1 + 10. Suppose 0 = -3*b + z + 17, -3*b + 8*z + o = 3*z. Is b composite?
True
Let d = 49 + -99. Let b = 205 + d. Let k = b + -81. Is k composite?
True
Let o(y) = 689*y**3 - 2*y**2 + y. Let g be o(1). Suppose -1021 = -2*v - 5*z, 2*v = -4*z + 338 + g. Let p = 816 - v. Is p composite?
False
Suppose 110026 = 228*g - 224*g - 2*b, 0 = g + 2*b - 27519. Is g a prime number?
True
Suppose 0*j - 4953 = -3*j. Suppose -2*m + 4675 = -j. Is m a composite number?
False
Let c(y) = -y**2 + 2*y + 9. Let v be c(4). Is v/(-2) - (-1845)/6 a prime number?
True
Suppose 2*b + 0*b = -2. Let w = b + 98. Is w prime?
True
Let p(z) = 4*z**3 - 8*z**2 - 3*z + 8. Let t be p(6). Suppose 0 = -u + 5*j + t - 89, j - 1950 = -4*u. Is u a composite number?
False
Suppose -5*x + 15 = 5, -x = 2*s - 2. Suppose s*f = 8*f - 24328. Is f composite?
False
Let x(k) = 88*k**2 - k + 1. Let j(m) = m - 3. Let a be j(6). Let s be x(a). Let q = -71 + s. Is q a composite number?
False
Let j(z) = -138*z + 112. Let u(k) = 69*k - 56. Let y(a) = -4*j(a) - 9*u(a). Is y(-9) prime?
True
Suppose 8*i - 60 = 3*i. Let x be (-2*i)/(-2) + -1. Suppose x*y - 1346 = 9*y. Is y composite?
False
Let k(i) = -889*i - 3. Suppose -5*s = -2*l + 23, -2*l - 22 = 3*s + s. Let o be k(l). Suppose -4*g = -2*g - o. Is g a composite number?
False
Let z = 559181 + -305946. Is z a prime number?
False
Let z = 12 - 9. Let g be 0/(z/6*-2). Suppose -2*u + u + 157 = g. Is u prime?
True
Let f = -13145 + 8849. Let i = -3005 - f. Is i composite?
