 Let k = t + -1789. Is k composite?
False
Let q be -1 + (-3)/(-3) + 2 + 3188. Let a = -1644 + q. Suppose 12287 = 5*r + z + a, -4*z = 16. Is r a composite number?
True
Is (32/(-24))/4*-29753*3 a composite number?
False
Let t = -101 - 594. Let y = -314 - t. Let m = y - -136. Is m composite?
True
Let y = 568856 - 157262. Suppose -30519 = 15*p - y. Is p a composite number?
True
Suppose 0 = 11*y - 86 + 20. Is (14/y)/(8/15816) composite?
True
Let h(g) = 2013*g + 1103. Is h(18) a composite number?
False
Let h(k) = 34*k**2 - 14*k - 38. Let n be h(-9). Suppose -1857 - n = -i. Is i a composite number?
True
Let w(k) = 138*k**2 + 4*k + 3. Let l(r) = r + 1. Let o(z) = -2*l(z) + w(z). Let x be (-2)/8 + 144/64. Is o(x) a composite number?
False
Suppose -9*c - 234 = 36. Let f = -27 - c. Suppose -x = 5*r - 4439, f*r - x - 2551 = 106. Is r a composite number?
False
Let l(p) = 4*p**2 - 8. Let n(a) = 5*a**2 + a - 8. Let i(h) = -6*l(h) + 5*n(h). Let g be i(-4). Suppose 0 = g*y - 663 - 2101. Is y prime?
True
Is ((-1593654)/36)/((-1)/6*1) a composite number?
True
Let p(x) be the second derivative of -x**5/20 + 5*x**4/2 - 6*x**3 + 33*x**2/2 + 144*x. Is p(26) a composite number?
False
Let c = -203 - -2235. Suppose -16*o - c = -24*o. Is o a composite number?
True
Let k(z) = 3509*z + 6. Let i be k(1). Let s = 5269 - i. Is s prime?
False
Suppose -4*i = -17 + 1. Suppose -5*x - i*g + 1059 = 0, 1053 - 3 = 5*x - 5*g. Let c = x - -370. Is c a composite number?
True
Let i be ((-78381)/18)/((-2)/(-4)). Let w = -4176 - i. Is w prime?
False
Let f be 20/(-3)*(8 + (-322)/35). Let n be ((-33)/132)/((-1)/f). Suppose -n*a = -6, q - 377 = 3*a + 333. Is q composite?
False
Let a = -222 - -224. Suppose 0 = -2*f - 2*p + 12622, 4*f - 7*p - 25262 = -a*p. Is f a composite number?
True
Let f(o) = 3107*o**2 + 80*o - 834. Is f(13) a composite number?
True
Let z = -797 + 800. Suppose 3*n + o = 56522, 5*n = -z*o + 124684 - 30474. Is n composite?
False
Suppose -86*o + 88467874 = 80*o. Is o composite?
True
Let t(y) = -17776*y**3 - 10*y**2 - 3*y - 2. Is t(-1) a prime number?
False
Suppose -45*z = 67*z + 29*z - 40058805. Is z a composite number?
True
Let y(m) = -6170*m**2 + 2. Let t be y(1). Let j = -3220 - t. Suppose f = 0, 2*f + j = 5*z - z. Is z composite?
True
Let y(h) = 37*h**3 + 26*h - 70. Let n be y(7). Suppose -n = 36*i - 63167. Is i prime?
True
Let g = -43 + 45. Let m be 1 + (g - 0) - 0. Suppose m*i + f - 878 = 0, -i - 2*f = -2*i + 295. Is i composite?
False
Suppose 4282639 = -108*h + 15722971. Is h composite?
False
Suppose -5*s + 3261 = -78974. Is s a prime number?
True
Suppose 17*f - 18*f + 5*u + 12434 = 0, -3*f + 2*u + 37315 = 0. Is f a composite number?
True
Let j = -31 + 35. Suppose -o - 4*k = -697, -2*o - j*k + 1386 = -0*k. Is o a prime number?
False
Suppose 48*x = 33*x + 105660. Suppose 5*z - 31313 + x = -2*k, 3*k - 9712 = -2*z. Is z a composite number?
True
Suppose -73*f + 717554 = -27*f. Is f a composite number?
True
Let p(g) = 1676 + 38*g + 118*g**2 - 11*g - 1868. Is p(7) a prime number?
True
Let x(g) = 9*g**2 - 22*g - 5. Let n be x(3). Suppose 146670 = -n*y + 16*y. Is y prime?
False
Let a = 66 + 129. Suppose o - 5 + 129 = 4*f, 124 = 4*f - 2*o. Let u = f + a. Is u composite?
True
Let z(c) be the third derivative of c**6/720 + 517*c**5/120 - 3*c**4/8 + 15*c**2. Let w(y) be the second derivative of z(y). Is w(0) prime?
False
Let g = 8718 + -4551. Let k = 6196 - g. Is k a prime number?
True
Let y(m) = 2*m - 3. Let c be y(3). Suppose z = -4*b + 9277, c*b - 7*z = -4*z + 6969. Suppose b = 4*t - 196. Is t a composite number?
True
Let o(g) = g**2 - 11*g + 28. Let i be o(5). Is 4*(-2)/i + (1385 - -8) composite?
True
Suppose -g = 4*g - 20. Let p be (g - 1) + -117 + 12. Is ((-84)/(-36))/((-2)/p) a composite number?
True
Suppose 5*w + 12*w + 40171 = 0. Let f = 5908 + w. Is f a prime number?
False
Let i(p) = -50134*p**3 + 8*p**2 + 30*p + 63. Is i(-2) prime?
False
Let r be (-27855)/10*(3 - 1). Let x = 8292 + r. Is x prime?
False
Suppose -4*r - 26879 = -l, -4*l - 21154 = 3*r - 971. Let n be ((-70)/25)/((9/3)/5010). Let j = n - r. Is j a prime number?
False
Is -7963*(-16 + (17 - 2)) prime?
True
Let w = 56 - 23. Suppose -37*i - 704 = -w*i. Let p = 705 + i. Is p a prime number?
False
Suppose 724*h = 648*h + 7520234 + 1124690. Is h prime?
True
Let n(k) = 497*k**2 + 260*k - 5336. Is n(19) prime?
True
Let m be (2/(-9))/(20/(-270)). Suppose 2*z + 2*x = 2631 + 1445, m*z = 3*x + 6120. Is z prime?
True
Let i(n) = -83*n + 79. Let w be i(-33). Let v = w + 3609. Is v composite?
False
Let x(d) = -16560*d - 338. Is x(-3) a composite number?
True
Suppose 0 = -9*s + 11*s + 2, 0 = -3*f + s + 12730. Suppose 13*v = 44088 - f. Is v a prime number?
False
Suppose -65*k - 5964 = -68*k. Suppose 5*x - k = -513. Is x a prime number?
False
Suppose -f + 84 = 3*s, -4*s + 3*f + 58 = -54. Let m be (-46)/(-14) + (-8)/s. Suppose -r = -m*r + 2342. Is r a composite number?
False
Let r(p) be the first derivative of 119*p**3/3 + p**2 + 8*p - 2. Suppose 19*i = 12*i - 21. Is r(i) a prime number?
False
Suppose -373639 = 2*p - 3*p - 2*x, -2*p + 747283 = 3*x. Is p a composite number?
False
Let y(t) = -986*t - 2. Let o be ((-6)/4)/((-87)/(-116)). Let c be y(o). Suppose h + h = c. Is h a composite number?
True
Suppose 27*d = 39*d - 116*d + 9595976. Is d a prime number?
True
Suppose 35 = 4*f - 25. Suppose -f = -6*g + 5*g. Suppose g*d - 2639 - 6106 = 0. Is d a prime number?
False
Suppose -80 = -5*h + 5*i, -4*h - i = -2*h - 20. Suppose 42 = -u + 37. Let f = u + h. Is f composite?
False
Let p(s) = 2*s**2 + 3*s + 3. Let k be p(-2). Suppose 2*v + v + 2*o - k = 0, 0 = o + 2. Suppose 2*x - 3*x - 470 = -v*t, 4*t - 5*x = 623. Is t composite?
False
Let j(q) = -110*q**2 - 17. Let a(g) = -g**2 + 4*g. Let t(b) = -6*a(b) - 3*j(b). Is t(2) composite?
True
Let z(c) be the third derivative of -c**6/60 - c**5/60 + c**4/12 + c**3/6 - 15*c**2. Let r be z(-2). Is 120 - (0 - 4 - r/(-3)) prime?
False
Suppose -y - g + 25 = 0, -4*y + 0*y + 4*g = -100. Suppose 2*v + 2*n = 4*n - 4, 2*n = -5*v + y. Suppose -v*p + 148 = -557. Is p a composite number?
True
Suppose -120 = -4*r - d, -3*r - 2*d = -2*r - 30. Is (50302/21)/(20/r) a composite number?
False
Let a(l) = -9670*l - 2. Let p be a(1). Let o = -5401 - p. Is o a composite number?
False
Suppose 0 = -8*l + 29048 + 18760. Let d = l - 3969. Suppose -2*j - x = -1337, -3*j - 4*x + 2*x + d = 0. Is j a composite number?
True
Let d be (-45 - -2)/(11 + -12). Let r(j) = 74*j + 86*j + 6 - 11 - d*j. Is r(12) composite?
False
Let k(j) = 10*j**2 - 29*j - 5. Let m be k(3). Is (1/m)/((-2041836)/510456 + 4) composite?
False
Let u(b) = -322*b + 0 + 97 - 516*b. Is u(-9) composite?
False
Let v(k) = 342*k**2 - 74*k - 211. Is v(-3) a composite number?
False
Suppose -1260 = -5*r - 3*s + 3826, 2*r + 2*s = 2036. Suppose -z = 3*z - r. Is z a prime number?
False
Let j be -2 + -2 - -3 - -4. Suppose -4*n = o - 657, 2013 = 3*o + j*n - 5*n. Is o a composite number?
True
Suppose 4*q + 505153 = 5*a, 64 = 6*q + 46. Is a a prime number?
False
Let z = 97338 - 65807. Is z composite?
False
Suppose -3*j - 81743 = -y, 408817 = -12*y + 17*y + 2*j. Is y composite?
False
Suppose 85*l + 55*l - 122*l - 242262 = 0. Is l a prime number?
False
Let y(o) = 5697*o + 3053. Is y(12) a prime number?
False
Let t(o) = 46 + 19 + 18 + 4262*o + 1144*o. Is t(3) a prime number?
True
Suppose -24 = -w - 6. Let b = 88 - w. Is (-2)/(-7) - (-52410)/b composite?
True
Let p = -315436 + 514539. Is p a composite number?
False
Suppose 0 = 5*i - 129 - 361. Suppose 2*a - 468 + i = 0. Let f = 558 - a. Is f a composite number?
False
Suppose 5*s - 46*r - 3228585 = -41*r, 5*s - 3*r = 3228585. Is s a composite number?
True
Suppose 4*w + 16587 = m, -m - 5*w - 16582 = -2*m. Is m prime?
True
Suppose 0*p + 45 = 5*p. Let r be (p + 0/3)/(1/1). Is (-246)/(-4) - r/18 - 3 composite?
True
Let o = -56 + 76. Is -4*2/o*(-815 + 0) prime?
False
Let a be ((-4)/8)/(1/(-8)). Suppose -6*r = a*r. Suppose r*z + 2*j = -z + 2401, -3*z - 5*j + 7200 = 0. Is z composite?
True
Let f = 63223 + 213808. Is f prime?
False
Let d(j) = -38*j + 234. Let f be d(6). Suppose -17790 + 12 = -f*b. Is b composite?
False
Let c = -281 + 286. Suppose c*q - 24316 = q. Is q composite?
False
Let i(s) = -6*s**3 + 22*s**2 - 58*s - 299. Is i(