= 75*k + 98. Is g(v) prime?
True
Suppose -5*k + 392 - 2866 = 3*h, 5*h = 10. Is 2/(-14) - k/(-28)*-10 composite?
True
Is 30/4 - 137427626/(-476) prime?
False
Let j(n) = -372*n**3 - 4*n**2 - 8*n + 5. Let s = -458 - -455. Is j(s) a composite number?
False
Let v(d) = -131*d - 8. Let r(t) = -130*t - 7. Let l(j) = 6*r(j) - 5*v(j). Let y be l(-4). Suppose -2191 = -m - y. Is m a prime number?
True
Let x(g) = -4*g + 635. Is x(64) prime?
True
Let o(c) = 187*c - 209. Let g = 451 - 423. Is o(g) composite?
True
Suppose 3 = -5*o + 63. Let t be (-4)/16 - (-5331)/o. Suppose -3*x - 448 - 139 = -5*z, t = 4*z + 4*x. Is z a prime number?
False
Let s = 1564 + -938. Let a = s - -531. Is a composite?
True
Suppose 0 = 19*g - g - 733842. Is g prime?
False
Suppose -180 = 9*z - 21*z. Let p(s) = -6*s - 38*s + 28 - 26*s + z*s. Is p(-19) a composite number?
True
Let y be (-37)/(-5) - 3 - (-12)/20. Let r(v) = -v**3 + 5*v**2 - 2*v + 6. Let q be r(y). Is ((-7468)/(-8))/(-2*1/q) composite?
False
Let n(b) = -632*b + 2213. Is n(-22) composite?
True
Suppose -4*w + 3 - 11 = -4*k, 2*w + 4 = -2*k. Is (-87941)/(-21) - w/(-3) composite?
True
Let w(n) = 30*n + 7. Let j = -26 - 46. Let y = -67 - j. Is w(y) a composite number?
False
Suppose 4*y + 120739 = a, 3*y + a = 4*a - 90543. Is (-1 - y/4)*(2 - 0) a prime number?
True
Suppose -5*w + 12962 = 4*q + 3959, 4505 = 2*q - w. Suppose 19*z - 11621 + 924 = 0. Suppose 0*m = 4*m - 4*p - q, p - z = -m. Is m composite?
False
Let a(z) = 13539*z + 1127. Is a(6) a composite number?
False
Let t(z) = 13123*z**3 - 10*z**2 + 36*z - 216. Is t(5) a composite number?
True
Let c(w) = -4 + w - 29*w**2 + 54*w**2 - 23*w**2. Let b be c(2). Suppose -5627 = -4*r + 3*h, b*h - 2*h - 7057 = -5*r. Is r composite?
False
Suppose -3*u = 2*x - 2399, -4*u - 2*x + 805 = -3*u. Suppose -710 - u = -l. Is l composite?
True
Let c = 35622 - -2809. Is c a prime number?
True
Suppose 5*y - 9*y + 660 = 0. Let a = 378 + y. Is a composite?
True
Let y(z) = 396*z**3 - 2*z**2 + 12*z + 11. Let s be y(-4). Let n = 17553 + s. Is (-3)/9 - (n/9 + -4) prime?
True
Let l be -10*2/(((-32)/(-482))/(-4)). Let r = 3514 - l. Is r prime?
True
Let r(q) = 59*q**2 + q - 3. Let j = -56 + 62. Is r(j) a prime number?
False
Let l(k) = -33*k - 3*k**3 + 1 + 64*k + 10 + 6*k**3 - 12*k**2. Is l(15) a composite number?
False
Let u(y) = -y**3 + 66*y**2 + 27*y - 769. Is u(39) prime?
True
Let a = 132305 + -90821. Suppose -8*x + a = 4*x. Is x a prime number?
True
Is -818*(-15 + (-406)/(-28)) a composite number?
False
Let q(g) = -869*g - 4. Suppose 0 = 180*t - 184*t + 20. Suppose t*l = 3*l - 2. Is q(l) prime?
False
Suppose -5*f - 16 + 41 = 0. Suppose 0 = f*o - 106 - 129. Suppose y - 284 - o = 0. Is y composite?
False
Let a = 13814 + -1001. Let z = a + -340. Is z a prime number?
True
Suppose 0 = -4*h + v + 12, -34*h + 30*h = -4*v. Let g = 12 - -911. Suppose h*n - 3650 = x, -n + g = 4*x + x. Is n a prime number?
False
Let k(q) = q**2 + 7*q + 13. Let f be k(-6). Let j be f/(14/438) - 2. Let t = -94 + j. Is t composite?
True
Let v(b) be the third derivative of 23/24*b**4 - 29/6*b**3 + 0*b + 0 + 3*b**2. Is v(14) prime?
True
Let s(b) = 2 + 108*b**2 + 6*b - 110*b**2 + 2. Let y be s(-2). Is (-2 - 28/y) + 1786/8 prime?
True
Suppose 5*h + 39*c - 41*c = 75, h + 5*c - 42 = 0. Suppose 129451 = 24*s - h*s. Is s a composite number?
False
Let n be 7722 + 3/(-3) + -6 + 8. Let s = n - 882. Is s prime?
True
Suppose -21 = -3*r - 0*r. Let s(u) = u**3 - 7*u**2 - 3*u + 24. Let w be s(r). Is 3694/(6/w - 0) prime?
True
Is (-257)/(-3855) + (-8647244)/(-15) a composite number?
True
Suppose l + 23*g - 337422 = 26*g, 0 = -5*l + 4*g + 1687187. Is l a prime number?
False
Let v(x) be the first derivative of 170*x**3/3 + x**2/2 - 5*x + 15. Let c(z) be the first derivative of v(z). Is c(2) a prime number?
False
Let k(c) = -8 + 5155*c - 691*c + 33. Is k(1) composite?
True
Suppose 243*s - 639204 = 231*s. Is s composite?
False
Let j = 763 + 13935. Is j a prime number?
False
Let o = 316 - 76. Is 2359/4 + o/192 a prime number?
False
Suppose 5*z - a = -108, 3*z + 0*z + 69 = 2*a. Let x(m) = 46*m**2 + 14*m + 19. Is x(z) prime?
True
Let x(i) = i**2 + i - 1. Let g(l) = -12*l**2 + 17*l - 25. Let q(b) = -g(b) - 5*x(b). Is q(17) a prime number?
False
Let s = 151 + -118. Suppose -30*i - 1095 = -s*i. Is i a composite number?
True
Let h(d) = -2*d**3 - d**3 - 16*d + 2*d**3 - 5 + 19*d**2. Is h(11) prime?
True
Suppose -59 - 5 = -4*z. Suppose 0 = -20*l + z*l + 28. Suppose 18409 - 356 = l*i. Is i a prime number?
True
Let d = -12837 - -22970. Is d prime?
True
Suppose 15*i - 45 = 10*i. Suppose 3*k = i*k - 3222. Let s = k - 66. Is s composite?
True
Let v(t) = -12*t**3 - 41*t**2 - 10*t - 211. Is v(-10) a prime number?
True
Let k be 11/33 + 71/(-6)*-2. Is (-1)/(-2)*80076/k*4 prime?
True
Let j(g) be the second derivative of -g**7/280 - g**6/90 - 7*g**5/120 - g**4/8 - 3*g**3/2 - 4*g. Let a(w) be the second derivative of j(w). Is a(-5) composite?
False
Let a(k) = 210*k**2 - k + 3. Let m be 1/4*-4 - (-3 - 2). Is a(m) prime?
True
Let b = -82727 + 370218. Is b a prime number?
True
Let k = 5508 + -2736. Let y = -1258 + k. Is y a prime number?
False
Let h(g) = -21535*g + 2404. Is h(-9) a prime number?
False
Let h = 59 + -57. Suppose -l - 4*g = 2*l - 64, 0 = -h*g + 2. Is 265/l*2*2 a prime number?
True
Let p be (-7 + 72/10)*10. Suppose 10*c - 7*c = 5076. Suppose -3*v - p*s = -6*v + c, 3*v - 3*s = 1695. Is v a prime number?
False
Suppose -40*s + 689434 = -1135826 - 942380. Is s a prime number?
True
Let i be (-238)/6 + 12/18. Let d = i - -33. Is 0 - 6/(d/341) prime?
False
Let g be ((-36)/(-8) + -5)*2 - -18738. Suppose 0*x - i = -x + 9372, 5*i = -2*x + g. Is x a composite number?
False
Suppose -i + 5*m + 11 = 0, 12*m = 11*m. Suppose 0 = -i*b + 2532 + 1813. Is b a prime number?
False
Let a be 4/6 - 85/51. Is ((-8)/16)/(a/26) prime?
True
Let a = 235 - 244. Is (-62)/(-279) + (-781)/a composite?
True
Let v = 5 + -5. Suppose v = 2*i - i - 5, -5*i - 10 = -5*x. Let u(t) = 4*t**3 - 12*t**2 + 11*t + 8. Is u(x) a prime number?
False
Suppose -3371 = -3*d - 4*b, -2*b + 0*b = 5*d - 5637. Suppose -8*p = -9*p + d. Let t = 3138 + p. Is t a prime number?
False
Let c be (4/2)/(25/(-100)). Let r be 0 + (2 - 0) + -1 + c. Let l(k) = -12*k**3 - 4*k**2 - 7*k - 2. Is l(r) prime?
True
Let x(j) = 16007*j - 521. Is x(6) a prime number?
False
Let s = 201 - 201. Suppose 6*b - 2*b = 5*k - 20557, s = k - 3*b - 4118. Is k a composite number?
True
Let u = -43449 + 92284. Is u prime?
False
Let q = 15847 - 10175. Suppose -q = 3*p - 20291. Is p composite?
True
Let r(f) = -21139*f + 230. Is r(-3) a prime number?
True
Let u = -14001 + 13991. Let p(r) = -1 - 116*r + 36 + 8*r. Is p(u) composite?
True
Suppose l + 3*i - 38 = 438, -3*i = -2*l + 979. Is l a prime number?
False
Let s = -168 + 172. Suppose -3*k + 19931 = 5*w + k, 0 = s*w + 3*k - 15944. Is w a prime number?
False
Let s(u) = -41 + 415*u + 57*u - 1092*u - 1288*u. Is s(-3) prime?
True
Let t = -9505 - -13754. Is t prime?
False
Suppose 5*h + 3828 = 17*h. Let j(t) = 4*t - 1. Let g be j(1). Suppose n - 362 = g*f - 1361, 5*n = f - h. Is f prime?
False
Let x(s) be the first derivative of 7*s**4/4 + 10*s**3/3 - 11*s**2/2 + 17*s + 88. Is x(6) a prime number?
True
Let t be (1332/(-24))/(60/(-2600)). Suppose 4*o - 15 = 1. Suppose o*f - t = -5*c, 0 = f + f + 10. Is c a composite number?
True
Suppose 5*j + 24420 = 3*s, -8*s + 3*s - 3*j + 40666 = 0. Is s composite?
True
Let x be 1259*-1 - (-3)/(3/(-3)). Let v be (x/(-2)*1)/1. Suppose -374 = -5*p + v. Is p a composite number?
True
Let o(i) = 362*i**2 - 3*i + 20. Let w be o(5). Is w/3 - (-44)/(-33) composite?
True
Suppose 6*h - 3*l - 24 = 9*h, 2*h + 16 = l. Let g be 8/10*30/2. Is (-2)/h - (-1353)/g prime?
True
Let w be -89 - -554 - 0/(-1). Suppose -w*r + 473*r - 55576 = 0. Is r composite?
False
Suppose -4*v + 3*v + 24 = 0. Let c = 30 - v. Let p(x) = 2*x**2 + 4*x + 1. Is p(c) a composite number?
False
Let m(w) = 89*w**2 + 2*w - 75. Is m(26) prime?
False
Let i = 42 + 11. Let k(r) = -49 + 85 + 1098*r - i. Is k(2) a composite number?
False
Let h = -338 - -294. Is 6 + h/8 - (-31266)/4 prime?
True
Is 3 + 5/(35/2413094) + (-492)/(-1722) a prime number?
False
Let q = -273 + 277. Suppose 2*y - 4*y = 4*x - 9330, q*x = -5*y + 9327. Is x compos