567 = -24*q. Suppose q = d + s, -d = 3*d - 4*s - 516. Is d prime?
True
Let r(f) = -17*f**3 + 19*f**2 - 24*f + 85. Is r(-18) prime?
True
Suppose 301532 + 1193529 = 87*g - 681592. Is g a prime number?
False
Let c = 2142 + -1233. Suppose -5*t + 437 = 2*g - 12, 4*g - t - c = 0. Suppose g = 3*q - 652. Is q a composite number?
False
Suppose 0 = 6*w - 4*w - k - 26, w + 2*k = 23. Let h(b) = 299*b + 14. Let g be h(w). Suppose 5*x + 5*p - 3*p - g = 0, x + 5*p = 886. Is x a prime number?
False
Let g = -135 - -135. Suppose g = -21*h + 15*h + 13326. Is h composite?
False
Let v = -1 + 16. Let i = v - 8. Suppose -z - 516 = -5*j, -3*z - 408 = -4*j - i*z. Is j a prime number?
True
Suppose 49507 = 4*a - 6401. Suppose -3*k + 4*f = -a, -k + f + f + 4657 = 0. Is k prime?
True
Suppose -5*v - 68 - 12 = 0. Let c = v - -22. Let h(f) = 38*f**2 - 13*f + 29. Is h(c) prime?
True
Let l(q) = -911*q + 186. Is l(-67) a composite number?
False
Let v(b) = -b - 15. Let y be v(-11). Let a(t) = 0*t**2 - 4*t**3 + 3*t + 5 + t - 6*t**3 - 3*t**2. Is a(y) composite?
True
Let h(t) be the second derivative of -t**5/20 - t**4/12 - t**3 - 3*t**2/2 + 26*t. Is h(-5) prime?
True
Let k(z) = z**2 - 146*z + 5540. Is k(57) a composite number?
False
Let n = 401693 + -239242. Is n prime?
True
Let c = 50 + -49. Suppose 0 = -g + 5*f - 22, -3*g = -f + c - 5. Suppose g*n - 167 - 727 = -2*b, -2*b - 298 = -n. Is n a prime number?
False
Let f be 13/6 + 6/(-38 - -2). Suppose -z = f, 3*n = n - z + 2. Suppose 4365 = 5*h - 4*k, -4*h - n*k + 7*k + 3483 = 0. Is h a prime number?
True
Let t be 26/(-117) - 25006/(-18). Suppose 5*u + t = k, -u = -k + 2*u + 1397. Is k composite?
False
Suppose -5*a - 3*o = -62, -2*a + o + 9 = -7. Suppose -4*y = -2*m + a, -3*y + m = 2*y + 5. Suppose -5*r + 430 + 685 = y. Is r a prime number?
True
Suppose -b = m + 13, -46 = 4*b - b - 4*m. Let r be (16/b)/(12/(-42)). Is r/14 - 813/(-21) a prime number?
False
Suppose q + 207885 + 4540546 = 74*q. Is q a composite number?
True
Let x = -114 - -188. Let y = 77 - x. Suppose -2*q = -5*f - 1762 + 7063, -y*f + 3189 = -4*q. Is f prime?
False
Let c(u) = 1 + 2 - 56 + 102*u. Let z(v) = -205*v + 105. Let g(t) = 11*c(t) + 6*z(t). Is g(-17) a prime number?
False
Let k(g) = g**2 - 19. Let j be k(4). Let s be (-2573)/(-4) - j/4. Suppose 4*n = 1816 - s. Is n a prime number?
True
Suppose 3*f = -f + 8. Let v(p) = 948*p**2 - 7*p - 3. Let d(c) = -949*c**2 + 12*c + 3. Let t(h) = 2*d(h) + 3*v(h). Is t(f) prime?
False
Suppose -4*a - 2*a = -30. Suppose 0 = a*x + 79 + 146. Is 14762/9 + 10/x + -3 a prime number?
True
Is (-441)/(-294) + 37638/4 prime?
False
Let h be (21/6 + -3)*2 + 65. Suppose -h + 7 = 4*n + 3*i, 0 = n + 4*i + 31. Let l = 202 + n. Is l a composite number?
False
Let t(h) = -11*h**3 + 20*h**2 + 29*h - 97. Is t(-19) prime?
True
Let j(g) = 18*g**3 - 3*g**2 - 2*g + 4. Let w be (-15 - -14) + 34 + -1. Let q = w + -29. Is j(q) a prime number?
True
Suppose -4 = 2*x - 5*x + 4*y, -5*x - y + 22 = 0. Suppose -x*i = -2*q + 1322, i + 0*i = -3*q + 2004. Is q a prime number?
False
Let o(l) = l**3 - 13*l**2 - 23*l + 141. Let s be o(14). Let v(h) = 2*h**3 + 4*h**2 - 47*h + 2. Is v(s) a prime number?
True
Is 7/2*(-4402396)/(-658) prime?
True
Let h(c) = 149845*c + 146. Is h(5) a composite number?
True
Let g be 29*(-11)/(22/24). Let b = g - -192. Let a = b + 371. Is a prime?
False
Let i = 5109 - -39470. Is i a composite number?
False
Suppose 11 = -2*g + 5*g + 2*r, 2*g + 5*r = 0. Suppose 3*i + 3*j + j = 1233, 3*i - g*j - 1233 = 0. Let s = i - 232. Is s prime?
True
Let r = 134596 + -17067. Is r prime?
True
Suppose 0 = -5*v - 4*x + 7, -13 = -3*v + 2*x - 0*x. Is (-5)/v - (-55648)/24 composite?
True
Let a(v) = 112*v**2 - 4*v + 6. Let q be a(-11). Suppose 0*n = 5*m - 4*n - 68031, -q = -m + 5*n. Is m prime?
False
Suppose 64 = -21*s + 22. Let u(n) = -825*n**3 + 9*n + 11. Is u(s) a composite number?
True
Suppose -x + 696 = 2*t - 1106, 4505 = 5*t - 5*x. Is t prime?
False
Suppose 0*f - 2*f = -5*m - 1, 3*m = f. Suppose 0 = 5*v + 2*q - 8189, f*v + 2*q - 1549 = 3366. Is v a prime number?
True
Let y = 326019 - 108520. Is y prime?
True
Let t = 541 - -933. Let l = 5895 + t. Is l prime?
True
Suppose q - 1 = -u - q, -2*u = -2*q - 8. Suppose 5*f = -i + 18, f + 14 = u*i - i. Suppose -i*d = -2064 - 14728. Is d a prime number?
True
Suppose 3*o - 5*l - 536638 = 0, -5*o + 236*l = 241*l - 894450. Is o a prime number?
False
Suppose -14362498 = -53*s - 311*s + 51216106. Is s a prime number?
True
Is (-27355)/((-3 + -2)*(-2)/(-10)) prime?
False
Let l(h) = -h**3 + 2*h**2 - 4*h + 457802. Is l(0) prime?
False
Let h(a) = -545*a + 1301. Is h(-34) a composite number?
True
Let p(c) = -150*c - 10. Let g(x) be the third derivative of 25*x**4/12 + x**3/2 - 13*x**2. Let n(o) = 17*g(o) + 6*p(o). Is n(-8) a prime number?
False
Suppose -24*u + 17*u - 29309 = 0. Let z = 10990 + u. Is z prime?
True
Let k = -3310 + 3852. Suppose -3*q + 84 = 1212. Let v = k + q. Is v a composite number?
True
Let y = -57 - -73. Let p be ((-3)/(-3))/(4/y). Suppose 2*f - 2110 = -3*c + p*c, f = -5*c + 1055. Is f prime?
False
Let i(u) = u**3 + 56*u**2 + 73*u + 343. Is i(-24) prime?
False
Suppose 46*i - 49*i - 242760 = -3*g, -5*g + 404588 = -i. Is g a prime number?
True
Suppose -19*g + 20*g - 4*h = 108943, -2*g - 5*h = -217977. Is g composite?
False
Suppose -3*s + 69177 + 212889 = -3*h, -h - 3 = 0. Is s composite?
True
Let z = -319 - 640. Let j = -431 + 1889. Let w = j + z. Is w composite?
False
Suppose 0 = -2*f, 4*x + 2*f - 833053 = f + 109279. Is x a composite number?
True
Let p(q) be the second derivative of -q**3/6 + 5*q**2/2 - 10*q. Let l be p(-6). Suppose -6*k - 785 = -l*k. Is k prime?
True
Suppose 4*d = -61*d + 12078925 + 21306765. Is d prime?
False
Let g = -2789 - -11052. Is g a prime number?
True
Let d(s) be the first derivative of 2*s**3/3 - 17*s**2/2 + 9*s - 95. Is d(-12) composite?
True
Let d be (-20)/5 + -6*(-9)/6. Let c(m) be the first derivative of 10*m**3/3 + 11*m**2/2 - 3. Is c(d) a prime number?
False
Suppose -192*b - 2149187 = -6471683. Is b composite?
True
Let o(v) be the second derivative of 283*v**3/6 + 17*v**2 + 102*v. Suppose -4*x + 5*k = -36, 0 = -0*x - x + 5*k + 9. Is o(x) composite?
True
Let v be (-33216)/(-45) + -1 - 2/15. Let w = 6 + v. Is w a prime number?
True
Suppose -8*p + 4*k + 126961 = -5*p, -4*k - 169284 = -4*p. Is p a composite number?
False
Let a(k) = 848*k + 187. Is a(50) prime?
False
Let c(g) be the second derivative of 43*g**7/280 + g**6/120 + g**5/30 + 3*g**4/4 + 14*g. Let d(i) be the third derivative of c(i). Is d(3) composite?
True
Let c(x) = x**3 + 9*x**2 - 37*x - 13. Let p be c(-12). Let l be ((-15)/5)/(0 + p). Suppose 0 = -l*q - 3*a + 102, 4*q = -a - 2*a + 139. Is q a composite number?
False
Suppose -74*v + 0*v = -37022126. Is v prime?
True
Let h(a) = -2*a - 20. Let g be h(-11). Suppose -z = g*z - 3777. Is z a composite number?
False
Suppose 337 + 359 = 8*g. Suppose 0 = 5*o + g - 82. Is ((-379)/(-2 - o))/(-7 + 8) composite?
False
Suppose 5*s = -25, -2*c + 2*s = -s - 1857. Suppose 4 = -4*u, 0*q + 3*u = -3*q + c. Suppose -4*j + 3*o + 1225 = 0, -o + q = -0*j + j. Is j a composite number?
False
Let w = -135092 + 281199. Is w a composite number?
True
Let l be (33720/9)/(-4)*(0 + -3). Suppose 4*g - 2*g = l. Suppose -76 = 3*o - g. Is o prime?
True
Suppose -10*r = 3 - 13. Is (-6 - (r - 6))*-1733 prime?
True
Let p = 4183 - 2601. Is 51/(5 - p/317) composite?
True
Let g = 263 - 269. Is g/9*(-163272)/16 composite?
False
Let u = 2139 + 1133. Let q = -2431 + 513. Let n = u + q. Is n composite?
True
Suppose 1752 = -r - 4*m, 5*r + 2475 = 4*m - 6309. Let z = r - -4775. Is z a composite number?
False
Suppose 3*a - 16431 = 3*r + 27030, -2*a - 14475 = r. Is -7 - (-4)/((-28)/r) composite?
True
Suppose 5*z + 2 - 1 = -4*l, -35 = -5*z + 5*l. Suppose -12 = -3*j + z. Suppose -815 = -j*y + y + 5*n, 3*n - 618 = -3*y. Is y a composite number?
True
Suppose -i - 142*g = -145*g - 2351, 4*g - 24 = 0. Is i a composite number?
True
Is (-292449 - -19)*3/(-6) - 2 composite?
False
Let w = -7789 - -3758. Let i = w - -6289. Is i prime?
False
Suppose y = 2*j + 24, 5*j + 2 = 5*y - 133. Let k be (18/15)/((-3)/y). Is (0 - -1294)*((-66)/k + -5) a composite number?
False
Let n be (-4 + 6 - 2)/(-1 + 2). Suppose 2*q - 4*l + 186 - 22 = 