6813 = -5*f + 2*q, -17*f + 18*f - 5*q - 1381 = d. Is f prime?
True
Let a(s) = 5661*s**2 - 35*s - 73. Is a(-3) prime?
False
Let v be 1*-4*(-9)/18. Suppose 20 = -v*g - 0*g. Let q(b) = -3*b**3 - 21*b**2 + 5*b - 9. Is q(g) prime?
False
Suppose -3*b = 3 - 0, -b + 167 = 3*l. Let u = -55 + l. Is (u - 0)/(7/6601) prime?
False
Suppose 0 = 31*l - 30*l - 531043. Is l prime?
True
Let r(w) = -5 - 1464*w**3 - 3 - 2*w + 7 + 0. Let j be r(-1). Suppose 3*l = -5*k + 1465, k + j = 6*k + 2*l. Is k prime?
True
Let a(l) = 27054*l**2 - 26*l - 27. Suppose 5*o - 2*b = -15, -9*o + 7*o = -2*b + 12. Is a(o) a prime number?
False
Let b = 3 + -38. Let k be b/(-10)*8/14. Suppose 1 = -a, -q + k*a - 4*a = -633. Is q prime?
False
Let p(n) = 5*n**3 - 4*n**2 + 8*n - 8. Let d be p(3). Suppose -7*f = d - 654. Is 88605/f + 2/7 composite?
False
Let o = -156035 + 406264. Is o a composite number?
True
Let u = 218 - 178. Suppose -5*p - 5 = 0, 35*p = 3*j + u*p - 5878. Is j composite?
True
Suppose 5 = 7*v + 54. Is ((-1114)/10)/(v/175) prime?
False
Let i = 371536 - -907. Is i a prime number?
True
Let c = 174 + -142. Is (-32)/c*(-1512 - -1) a composite number?
False
Let y be 361/(-11) - 12/66. Let l = y + 39. Suppose o - l*o + 260 = 5*p, -2*o + 110 = -4*p. Is o composite?
False
Suppose 1777002 = 26*d + 737491 - 592275. Is d composite?
False
Let c = 150 + -142. Suppose -2*x + h = -50, 5*x + c = 2*h + 132. Is 16/x - 5449/(-3) composite?
True
Suppose -12*h + 35 = -25. Let d(o) = 0*o + 2*o - 4 + 1 + 54*o**2. Is d(h) composite?
True
Let v = 17 + -15. Suppose -14 = -v*x - 3*r, 4*x + x - 14 = 3*r. Suppose -g + 603 = 2*t, 0 = 5*t + x*g - 505 - 1010. Is t prime?
False
Let q = 163 - 64. Suppose 97*x - q*x = -6542. Is x a prime number?
True
Let r(f) = -5*f**3 + 80*f**2 - 35*f + 469. Is r(-35) a prime number?
False
Let z be 312/56 - (-4)/(-28)*4. Suppose -z*k - 8568 = -29113. Is k a prime number?
False
Let p(o) be the second derivative of 541*o**5/10 - o**4/12 + o**2/2 - 3*o. Let v be p(-1). Let a = v + 2151. Is a a composite number?
False
Let o = 162 + -176. Let h(u) = u**3 + 15*u**2 - 6*u + 13. Is h(o) a composite number?
False
Let p(t) = 6*t**2 + 41*t**2 - 14 - 10*t + 3. Suppose 130 = 10*s + 170. Is p(s) prime?
False
Let k(v) be the third derivative of 119*v**5/24 - 7*v**4/8 + 11*v**3/2 + 24*v**2. Let i(l) be the first derivative of k(l). Is i(4) a composite number?
True
Let f = 190729 + 5998. Is f a composite number?
False
Let h(y) = 59*y - 4832. Let g be h(104). Let o = -2137 + 1234. Let x = o + g. Is x composite?
False
Suppose -8*h + 9*h - 14699 = 5*b, -5*h + 73539 = -3*b. Is h composite?
True
Suppose 18*v + 5*x = 16*v + 27, -5*v + 20 = 3*x. Let a(y) = 33127*y + 6. Is a(v) a composite number?
True
Let f(p) = -2*p - 7. Let a be f(8). Let j = -23 - a. Is (1 + j)/(((-8)/(-3554))/4) composite?
False
Let j(d) = -2*d - 3. Let z be j(-8). Suppose -z - 3807 = -10*n. Suppose -h + n = h. Is h composite?
False
Suppose 5*a - 47621 = -3*r + 3*a, 2*a - 31744 = -2*r. Is r a prime number?
True
Let o(x) = 13*x**2 - 202*x + 1478. Is o(-75) a prime number?
True
Let l(x) = -991*x - 21. Let r be l(-5). Let u = r - -13247. Is u a prime number?
True
Suppose -o + 4*y = -8, -8 = 5*o + 5*y + 2. Suppose 5*t + 2205 = 5*k, -4*t + 2*t + k - 879 = o. Let j = t - -1123. Is j prime?
False
Is ((-1)/(-3))/((-91)/(-2126397)) composite?
False
Suppose 12*y - 125 + 29 = 0. Let t(p) = 50*p**2 - 22*p + 7. Is t(y) composite?
True
Suppose -2833894 - 687906 = 44*n - 244*n. Is n a composite number?
False
Suppose 0 = -2*c - 6*c + 48. Let z = -17 - -19. Is (c/z - 166)*-1 composite?
False
Let v = 2487 - 1539. Suppose -v + 14591 = 7*g. Is g prime?
True
Let j = -123166 - -238500. Is j a prime number?
False
Let x be 73 + -1*(-1)/2*4. Is 408555/x - (-8)/(-20) composite?
True
Suppose -5*f = -4*g - 3, 3*g + 3 = -2*f + 6*g. Suppose -d = -2*i - f*i + 5280, -5270 = -5*i - d. Is i a prime number?
False
Suppose -4*m + 7 + 53 = 0. Suppose 4*b + m = 9*b - 5*p, 4*b - 20 = -4*p. Suppose t - 754 = i - 5*i, -3*t + 2230 = -b*i. Is t a composite number?
True
Suppose k = 3*r - 108294 - 48193, 4*r - 208642 = 5*k. Is r a prime number?
True
Is 58924 - (9 + 4 - 22) a composite number?
True
Let z(j) = -j**3 + 6*j**2 + 4*j. Let r be z(7). Suppose -3*g + 3*p - 15 = 0, 3*p + 13 = g + 14. Is (-3244)/(-6) + g/r a composite number?
False
Let x(a) = a + 1. Let k(z) = -z + 15. Let c(y) = -k(y) - 2*x(y). Let i be c(-21). Suppose -i*f - o + 982 = -2*f, -2*f - 4*o = -982. Is f a prime number?
True
Let t be 5 - -1*(-2)/(-8)*172. Suppose -91477 = 31*a - t*a. Is a composite?
False
Let s(a) = -129*a + 116. Let v be s(-10). Is v + (-15)/25*5/(-1) composite?
False
Suppose 27*u + 5312 = 19*u. Let c(l) = -1251*l**2 - l + 1. Let t be c(1). Let g = u - t. Is g a prime number?
True
Is (-1)/(-6) + 65636207/186 a composite number?
False
Let i be -1 - 0 - (952 + -1). Let s = 3239 + -4572. Let z = i - s. Is z a prime number?
False
Suppose 17*b = 21*b - z - 897604, 0 = 4*z. Is b prime?
True
Is (-505981)/(-12) + 22 + -18 + 1/(-12) a prime number?
True
Let b = -245079 - -729608. Is b composite?
True
Let o(g) = 10*g**2 + g + 7. Let w(t) = -20*t**2 - 2*t - 13. Let n(b) = -11*o(b) - 6*w(b). Let y be n(-3). Let i = y - -39. Is i prime?
True
Suppose 5*n + 264364 = 3*z, -8*z - 3*n = -5*z - 264324. Suppose -4*u - z = -27*u. Is u composite?
True
Suppose o + 4*h + 45 = -0*h, o - h = -25. Let g = o - -31. Suppose -597 = -g*v + y, 3*y = -y + 20. Is v a composite number?
True
Suppose -3*r + 4*r + 134 = 2*g, 0 = -r + 5*g - 149. Let v be (502/(-4))/((-2)/4). Let z = r + v. Is z prime?
True
Let r = 136790 + 94059. Is r a prime number?
True
Suppose 5*g - 407 = 33. Is ((-127)/(-4))/(2/g) a composite number?
True
Let r be (1 - -185)/(18/4236). Let f = r + -8257. Is f a prime number?
False
Let a = -60 - -60. Suppose -4*y + a*y = -8792. Let n = y + -1567. Is n composite?
False
Let q = 116 + -111. Suppose -5*a = -q - 0, -5*v = 3*a - 5858. Is v a prime number?
True
Suppose -8 = -12*j + 8*j. Let v(z) = 5*z - 7. Let c be v(j). Suppose -c*g + 333 = 4*m - 0*g, -2*m + 4*g = -194. Is m prime?
False
Let h be 4008 + -7*5/(-35). Let x = h + -2088. Is x a composite number?
True
Suppose p + 9*o - 8*o = -112, 436 = -4*p - o. Is (-43689)/(-12) + (-27)/p composite?
True
Let y(i) = -11*i - 8. Let x be y(-4). Let u be 2 - (x/(-60) + (-26)/(-10)). Suppose u = -2*j - 0*j + 758. Is j prime?
True
Let i(r) = -2*r**3 - 16*r**2 + 19*r + 13. Let t be i(-9). Suppose 2*j - 7*j = t*n - 619, -3*j - 3*n + 369 = 0. Is j composite?
False
Let v be ((-66)/(-14) + -5)/(2/14). Is (-11)/(132/(-45160)) - v/(-6) a composite number?
True
Let g be (3 - 4) + (1 - -2). Suppose -7*m + 684 = 2*v - 2*m, g*v + m = 700. Let w = -171 + v. Is w prime?
True
Let u = 583606 + -147239. Is u a prime number?
False
Let m be (-86 - -1259)/(2/(-22) - 0). Let j = 36002 + m. Is j a composite number?
False
Let n(r) = 7*r**2 + 305*r - 191. Is n(49) a prime number?
False
Suppose -2*v + 2*j - 178 = 0, -3*j - 180 = 3*v + 93. Suppose 23*k - 740 = -51*k. Is (-36)/v - (-2526)/k a prime number?
False
Let q = -81441 + 242282. Is q a prime number?
True
Let u = 6023 + -2772. Is u a composite number?
False
Let u be (-561984)/(-84) + 4/(-14). Let i = u - 4319. Is i prime?
True
Let g be -5 - (18/6 - 610). Suppose -g - 1817 = -i. Is i composite?
True
Let b = -30012 + 58167. Suppose -3*p + 7042 = -0*n + n, -4*n + b = -p. Is n prime?
True
Suppose 5*q + 0*q = 105. Suppose -q*j = -18*j - 2424. Suppose -j = -4*x - 3*c, 0*c + 2*c + 390 = 2*x. Is x a composite number?
False
Let l be -1*(-1 - -2) - -5. Suppose -h - 3*h = l. Let t(d) = -374*d + 5. Is t(h) prime?
True
Suppose 7*g + 2543044 = 35*g. Is g a prime number?
True
Let l(u) = -262*u + 1163. Is l(-8) prime?
True
Let t(c) = 3*c**3 + 34*c**2 + 79*c + 22. Let h(o) = -o**3 - 11*o**2 - 27*o - 7. Let a(g) = 17*h(g) + 6*t(g). Is a(-12) prime?
False
Suppose 5*g = -15, 2*v + 5*g - 3543 - 51664 = 0. Is v composite?
False
Is -2*(-3)/(-6)*(-68844 - 167) prime?
True
Is (-14 + 19 - 12) + 42152 a prime number?
False
Let q(b) = 313467*b**2 - 71*b - 67. Is q(-1) composite?
False
Suppose 8*q = 2*q - 120. Let i be ((-996)/9)/(3 + q/6). Suppose -i = 3*t - 1478. Is t composite?
True
Suppose 0 = -5*x + 3*y - y + 43, 3*x - 2*y = 29. Suppose 14 = 4*v + 3*z, -3*v 