1172, -1979 = -4*b + y + j. Is b prime?
False
Suppose -3*b - 3*g - 124 = -5*g, b - g = -41. Let i = -42 - b. Is (-381 - 0)/(i - 3) prime?
True
Let p = 25 - 28. Let a be p/(-4 + 19/4). Let j(s) = -5*s**3 + 4*s + 3. Is j(a) a prime number?
True
Is ((-16593)/2)/(21/(-28)) a composite number?
True
Let t(x) = -5827*x**3 - 33*x - 59. Is t(-2) composite?
True
Is 8/(-14) - (-1295917865)/1771 a prime number?
False
Let y(o) = 2*o**3 - o**2 - 106*o + 19. Is y(37) composite?
True
Let t(n) = n**3 + 2*n**2 - 4*n + 2. Let k be t(2). Let d be (-2)/k + (-396)/20. Is 474/3*(-10)/d a prime number?
True
Suppose 39 = 2*i - 5*w, -81 = 3*i - 8*i - 4*w. Let k be 2 + (-12)/5 + i/5. Suppose k*h - 4555 = -172. Is h prime?
False
Let f be -1 + 2 + (0 - -3)/3. Suppose f = -4*w + 18. Suppose -5*l + 5*u + 4530 = -w*l, 13609 = 3*l + 4*u. Is l prime?
False
Let r(d) = -308*d - 41. Suppose 10*q + 73 = 5*q + u, -2*q + u = 31. Is r(q) a composite number?
False
Is -6 + 6 - (-10860 - 7) a prime number?
True
Let a = 189 + -181. Suppose a*d = 4390 - 1214. Is d a composite number?
False
Suppose 13*g + 257 - 1778 = 0. Suppose -6*n + 7*n + 2*l - g = 0, -5*l = 5*n - 595. Is n a prime number?
False
Suppose -g + 8 = -2*z, -2*g + z = -g - 4. Suppose y + 0*s = s + 13, s = g. Suppose y*v + 10623 = 16*v. Is v composite?
False
Let h = 365 - 515. Is (-209640)/h + (-3)/5 a composite number?
True
Let x(j) = -121788*j + 575. Is x(-1) a prime number?
True
Is 54717 + (874/460 - 1/(-10)) prime?
False
Suppose -3*n + 5*n = 5*h + 12517, h + 2500 = -3*n. Let k = -537 - h. Is k prime?
False
Suppose -704*b - 2174115 = -719*b. Is b prime?
True
Is (-7 + 6)/(5 - 26312972/5262593) a prime number?
True
Suppose -5*w - 3*z = -5*z - 52957, -3*w + 31773 = -z. Is w a composite number?
False
Let j(k) = 38400*k - 677. Is j(7) composite?
False
Let b be (1 - -2) + 27/(-9). Let m be (-9)/54 + b + (-3829)/(-6). Is (m + 3)*(6/(-2) + 4) composite?
False
Suppose 70*n + 4 = 71*n. Suppose -4*c + 60142 - 16536 = -3*q, -5*c = -n*q - 54507. Is c a composite number?
False
Suppose 18*l - 17*l + d = -5, l + 20 = 4*d. Is l/((-48)/3810) + -4 composite?
False
Suppose -5*w = 5*d + 140, 7*d - 124 = 3*w + 2*d. Let i = 37 + w. Suppose -3*y = -i*v - 279, -5*v + 430 = -2*y + 7*y. Is y prime?
True
Suppose 0 = -2*v - 10844 + 1916. Let t = v + 13533. Is t composite?
True
Is ((-1716131)/(-339))/((-2)/(-6)) prime?
True
Let k(b) = -1206*b + 41. Let u be k(-4). Suppose -507 = -4*o + u. Is o composite?
True
Suppose -9185 = -5*z - 5*h, -2*z + h + 2076 = -1601. Suppose 3*t - z = 1045. Let g = 1502 - t. Is g a composite number?
False
Let s(v) = v**2 + 1. Let o(c) = -222*c**2 + 5. Let b(a) = -o(a) - s(a). Is b(-8) a composite number?
True
Let j(k) be the first derivative of -369*k**2/2 + 50*k - 26. Is j(-9) prime?
True
Let v = -107 + 108. Is 1164 - (v + 3 + -2) - 3 composite?
True
Let g(s) = s**3 - 14*s**2 - 6*s + 1. Let l be g(16). Suppose p - 254 = l. Is p prime?
False
Let k(i) = -i**3 + 33*i**2 + 13*i - 115. Let o be k(21). Let f = o - 2997. Is f a prime number?
False
Let a be ((-5)/35*-7)/(1/433). Suppose 4*y + 10 = -6, 5*r + 1370 = -5*y. Let k = a + r. Is k composite?
False
Let k(i) = -i**3 + 3*i**2 + 4*i + 4. Let w be k(4). Suppose -o = -3*p + 11, w = -5*o - 3*p + 21. Is (4 + -5)*o*-2099 a prime number?
True
Let u(s) = s**3 + 21*s**2 + 8*s - 38. Let j(l) = 27*l + 146. Let c be j(-6). Is u(c) composite?
True
Let f(n) = -n**3 - 46*n**2 - 185*n + 39. Is f(-50) a prime number?
True
Let t = 40633 + -23862. Let o = t + -6771. Suppose -4*u + 16 = 0, 4*h - 2*u - o = u. Is h a prime number?
True
Suppose p - 2747 = 4*k + 22772, -4*p + 102094 = 2*k. Is p prime?
True
Suppose 0 = 5*f - 3*m, -f - 3*m = -0*f. Suppose f = 49*w - 47*w - 2710. Suppose 5*q + w = 4590. Is q a prime number?
True
Suppose -33*a - 30 = 5*f - 38*a, 2*a - 13 = 3*f. Is 52/208*(f + 17309) prime?
True
Suppose 0 = -6*y - 4*f + 2286374, -88*y - 4*f - 762114 = -90*y. Is y composite?
False
Suppose 3*l - 138000 - 12027 = 0. Is l composite?
True
Let n(p) = 922*p**2 - 4*p + 2. Let b be n(2). Suppose -z + b = -587. Is z composite?
True
Suppose -2*m + 4*m + 2 = -3*d, -5*d - 2*m = 2. Suppose -y - q + 1250 = d, -q = -y + 3*q + 1275. Is y a prime number?
False
Suppose -8*o = -g - 13*o + 7826, -5*o + 15677 = 2*g. Is g prime?
False
Let h(n) = 53 + 11 + 9 + 0 + 6*n**2 + 8*n. Is h(15) a prime number?
True
Let s(d) = -61797*d**3 - 4*d**2 - 8*d - 3. Let v be s(-1). Is 1*(v/18 + (-40)/180) prime?
True
Let n = 348 + -348. Suppose -5*c - 4*o + 362021 = n, 18*c - 289584 = 14*c + 5*o. Is c composite?
True
Suppose 3*r + 306 = 3*i, 2*i = r + 13 + 84. Let s = 190 + r. Is s composite?
False
Suppose 0 = 180*v - 149*v - 902255. Is v composite?
True
Let h(r) = 361*r**2 - r - 39. Let w(n) = -359*n**2 + 39. Let t(x) = -4*h(x) - 5*w(x). Is t(14) prime?
True
Let c be 30/165 + 20/11. Let i be (7 - 8)*(-22)/c. Suppose -3556 = -i*m + 7*m. Is m a prime number?
False
Suppose -8*s + 8035696 = 135*s - 1425327. Is s prime?
True
Let b(x) = -x**3 + 4*x**2 + x - 4. Let l be b(3). Let n = 12 - l. Is 208/(5 - n) + -1 + 4 a composite number?
False
Let z = 519 + -765. Suppose 8*n = 11*n + 1209. Let u = z - n. Is u composite?
False
Suppose 4*y = -10419 + 3423. Let i be (-10)/2*(15 + -9 + -9). Is (55/i - 4)*y a composite number?
True
Let c(d) = d**3 - 20*d**2 + 40*d - 62. Let p be c(18). Let l(x) be the third derivative of 11*x**4/12 + x**3/6 - 3*x**2. Is l(p) a composite number?
True
Suppose 20*g + 207983 = 887743. Let j = -2977 + g. Is j a composite number?
True
Suppose 2*q + s - 10*s = 930916, -2327251 = -5*q + 3*s. Is q a composite number?
True
Suppose 119*d - 2062507 = -268344. Is d a composite number?
False
Suppose -114*v - 1675894 = -6902908. Is v prime?
False
Let g(z) = 18*z**2 + 7*z + 16. Let d(x) = 69 + x**2 + 35*x + 61*x**2 + 12 + 29*x**2. Let i(o) = -2*d(o) + 11*g(o). Is i(9) composite?
False
Let s(f) = f**3 - 13*f**2 + 23*f - 6. Let m be s(11). Is (-7)/70*m - (-1006)/4 a composite number?
False
Let h(k) = 1445*k**2 - 16*k + 8. Let r be h(-7). Suppose 28*q - 33*q = -r. Is q a composite number?
True
Let q(w) = 1129*w - 805. Is q(66) a prime number?
True
Suppose -u = v - 111 - 424, 2*u - 1075 = -v. Let s = u + 602. Is s composite?
True
Let w(r) = r**2 - 31*r + 60. Let a be w(29). Suppose -2*k - z + 4125 = 94, -4040 = -a*k + 2*z. Is k prime?
True
Let o(n) = 539*n + 37. Let l be o(6). Let m = -2222 + l. Is m a prime number?
True
Let m be (-366)/60*-944 - 4/10. Suppose -4*l = -2*l - m. Is l prime?
True
Suppose -18*y + 143639 = 2*s - 13*y, -2*s - y = -143643. Is s composite?
True
Let t(d) = 1403*d + 52. Is t(5) prime?
False
Suppose 315*y - 91693807 = 5008358. Is y composite?
False
Suppose 349644 = 2*g + 12*h - 10*h, 0 = -2*g - 3*h + 349649. Is g prime?
False
Let i = -1496 - -3382. Suppose r - 3*v + i = 13128, -3*r + 33781 = 2*v. Is r composite?
False
Suppose 5*i - 2*h = 14, 12 = 4*i - 4*h - 4. Suppose i*s - 735 = 2683. Is s a composite number?
False
Let o = -122 + 126. Suppose 2*v = -2*h + 210 + 206, -5*v + 833 = o*h. Suppose 1388 = 5*z - h. Is z a composite number?
True
Let q(o) be the second derivative of -o**4/6 - o**3/3 + 157*o**2/2 - 12*o. Let h be q(0). Let d = 1308 - h. Is d a composite number?
False
Let v(y) = y + 7 - 7. Let p be v(3). Suppose 2*h + 583 = c, 0 = -0*h - p*h. Is c composite?
True
Let z(k) = 81*k**2 - 33*k + 78. Let f be z(3). Let b(i) = -11*i**3 - i**2 + 6*i - 1. Let r be b(-5). Let q = r - f. Is q composite?
True
Suppose -4*p + 41 = 5*z, 5*p - 15 = 12*z - 11*z. Suppose 5*d = 2*y - 1079, z*y + 4*d - 2715 = -d. Is y a composite number?
True
Suppose 0 = -23*s + 1738434 + 840395. Is s composite?
True
Let o = 419824 - -40707. Is o composite?
False
Suppose 506*l - 515*l + 102591 = 0. Is l + -5 + 3 + (9 - 5) a composite number?
True
Suppose -2*u = 4*d - 221926, -4*u + 23*d - 22*d + 443879 = 0. Is u a prime number?
True
Suppose 7*o = 25 + 185. Suppose 38*r - 1424 = o*r. Is r a prime number?
False
Let g(x) = -3*x + 14*x**2 + 5*x**2 + 179 + x**3 + 11*x + 0*x**3 + 10*x**2. Is g(-24) a prime number?
False
Suppose 98904 = 3*d - 4*o, -d + 54024 - 21056 = 4*o. Let a = d + -23175. Is a prime?
False
Suppose 75 = 8*u + 7*u. Suppose u*i - 4*i + a - 635 = 0, 0 = 4*i - 5*a - 2540. Is i composite?
True
Let l(q) = 327*q - 22. Suppos