 = -4348*a - 99. Let b(w) = 4348*w + 100. Let z(n) = -4*b(n) - 3*i(n). Is z(-3) prime?
True
Suppose 0 = -5*t + q + 129994, 3*t + 3*q + 24931 = 102931. Is t composite?
False
Suppose -1776 - 195 = -3*f. Let a = f - 1023. Let b = 685 + a. Is b a prime number?
False
Let r(z) = 4*z + 2 + 4*z**3 - 13 - 24 + 7*z**2 - 12*z. Is r(12) a composite number?
False
Suppose -4*s + 297271 = -x, -3*s - 165*x = -169*x - 222963. Is s a prime number?
True
Let f(o) = -41*o**3 + o**2 - 11*o - 20. Let w be f(-2). Let m = w - 39. Is m composite?
True
Suppose 769690 + 131199 = 11*u. Is u prime?
True
Suppose 0 = 22*o - 23*o - 1290. Suppose -5*g + f = -3*f - 9621, 3*g + 3*f - 5751 = 0. Let k = o + g. Is k a prime number?
True
Suppose 0 = -35*a + 41*a - 12. Let f be a/((-8)/(-68)) - -1. Is (8994/f)/(3/(-9))*-1 a prime number?
True
Let x(g) = 103*g**2 + 27*g + 201. Suppose -1176 + 1033 = 11*j. Is x(j) a prime number?
True
Let g(u) be the third derivative of -143*u**6/180 - u**5/12 - 17*u**4/24 - 19*u**2. Let x(p) be the second derivative of g(p). Is x(-3) composite?
True
Suppose -23*p - 357000 = 7*p. Let n = p - -20749. Is n prime?
True
Suppose -p + 5*t + 794142 = 0, -3970733 = -5*p - 29*t + 31*t. Is p prime?
False
Let a(m) = m**2 - m - 27. Let l(v) = -3*v - 30. Let g be l(-12). Let r be a(g). Suppose r*u + u + 4*w = 352, 2*w = 3*u - 249. Is u a prime number?
False
Suppose -5*q - 3*i + 46 = 0, 2*i - 30 = -3*q - i. Suppose 3*d = 23 - q. Suppose -k - 2140 = -d*k. Is k composite?
True
Suppose -7*a + 907 = 130. Suppose 0 = -11*y - 1 + a. Suppose 3097 = y*v - 2253. Is v prime?
False
Let w(b) be the second derivative of -b**8/6720 + b**7/120 - b**6/72 + 7*b**5/120 - b**4/12 + 16*b. Let d(r) be the third derivative of w(r). Is d(18) prime?
False
Let r(o) be the second derivative of 1543*o**3/6 - 27*o - 2. Is r(1) composite?
False
Let g be (-7)/(-4 - (-2554)/638). Let o = g + 5184. Let u = 5166 - o. Is u a composite number?
True
Suppose 55 = -x + 2*x. Let n(a) = x - 23 - 70*a - 27. Is n(-8) composite?
True
Suppose -215*r = 44*r - 24015232 - 11512575. Is r a prime number?
False
Let g(x) be the second derivative of -x**5/8 - 11*x**4/24 - 5*x**3/6 + 3*x. Let w(z) be the second derivative of g(z). Is w(-4) prime?
False
Let f(h) = h**3 - 33*h**2 + 100*h - 32. Let g be f(30). Suppose -102*v + 98*v + g = 0. Is v composite?
False
Let m = -121 - -121. Suppose 4*j = -3*h + 9, -h + 3 = -m*h - 4*j. Suppose 5*c = h*c + 1282. Is c a composite number?
False
Let m be (-3)/((-2)/(-176)*(-2 - 1)). Suppose -m*h = -90*h + 28562. Is h a composite number?
False
Let q be (-3 - 42/(-6))*1. Suppose 2 = q*s - 3*s, -g + 5599 = 4*s. Is g a composite number?
False
Is 1126470/300 + 1/10 composite?
True
Suppose -19*w = 526895 - 2533162. Is w a composite number?
True
Let a = 5126 - 1051. Suppose 16259 = 6*c - a. Is c composite?
False
Let l(p) = -p**3 - 10*p**2 - 19*p + 6. Let s be (-45)/9 - -2*(-2 + 1). Let k be l(s). Let a = 2 - k. Is a a prime number?
False
Let c = 13688 + 21143. Let d = -22108 + c. Is d a prime number?
False
Let x = -189 + 192. Suppose 2*n - 18*r - 101221 = -13*r, 0 = r + x. Is n a composite number?
True
Suppose 3*m = 5*m + 124. Let p = m + 61. Is ((-19408)/80)/(p/5) a prime number?
True
Let m = 61 + -58. Suppose -2*k + 2*t = m*k - 20, -k - t = 3. Suppose 3*u - 918 = -3*a, 0*a + 621 = k*u + 5*a. Is u prime?
False
Let l be (-51*53/(-6))/(2/(-4)). Suppose 2*u - 982 = 2138. Let q = l + u. Is q composite?
False
Let s be 5/(25/30*3). Suppose j = -5*b - 23, -s*j = j - b + 5. Is (-4 - j)*2 + 1441 a composite number?
False
Is 1263129/9 + (-34)/51 prime?
False
Let g = 34497 - -247054. Is g a prime number?
True
Suppose 40*z - 229068 = 44*z. Is 4/40 + z/(-30) a prime number?
False
Let h(k) = k**3 - 30*k**2 + 7*k - 91. Let b(x) = 3*x**2 - 12*x + 33. Let r be b(4). Is h(r) a prime number?
True
Let s(z) = 17036*z + 99. Is s(2) a prime number?
True
Let c = 135 - 135. Suppose 17859 = 3*u - c*u. Is u a prime number?
True
Let s = -5049 + 12238. Suppose 0 = -3*g + 10*g - s. Is g composite?
True
Let r(q) = 3753*q + 265. Let k(a) = 1250*a + 88. Let j(g) = -17*k(g) + 6*r(g). Is j(3) prime?
False
Let j be ((-8276)/6)/(6/27). Let a = 9614 + j. Is a a prime number?
True
Suppose -2*o = -5*s + 50381, -13*s + 15*s = 3*o + 20148. Suppose 10*j = 7*j + s. Is j a prime number?
True
Suppose -2*u - 4061166 = 157*d - 159*d, -5*d + 10152901 = 2*u. Is d a composite number?
True
Let o(g) = -2*g - 16. Let b be o(-17). Suppose 0 = -0*p - 5*p - 3*s + b, 0 = -2*p + 5*s + 32. Is 14*(-1)/(p/(-393)) a composite number?
True
Is (-120)/(-648)*860703 - (-12)/(-27) composite?
False
Let i(u) = -1399*u + 68. Let g be i(10). Is -14*g/20 - (-70)/(-175) composite?
True
Let k(x) = -x**2 + 8*x + 5. Let r be k(7). Suppose r + 3 = -3*c, q + 4*c = -18. Suppose -27282 = -4*d - q*d. Is d a composite number?
False
Let n be ((-12)/8 - -2)*298. Let g = n + -1158. Let b = -602 - g. Is b a prime number?
False
Let f(g) = -10*g**3 - 6*g**2 - 83*g + 39. Let p be f(-20). Suppose 5*o + 5 = 0, -2*d + p = -2*o - 10809. Is d composite?
False
Let k(g) be the third derivative of -g**4/24 + 7*g**3/6 + 13*g**2. Let l be k(5). Is (7895/10 + 3)*l a composite number?
True
Suppose 0 = -4*g - 10 + 2, 0 = 4*u - 3*g - 22. Suppose -10 = -5*s, 4*y + 0*s - 6540 = u*s. Is y composite?
False
Suppose -6 = 3*i, -2*i = z - 7*i - 54729. Is z composite?
True
Suppose c + 3582 = 5*f, 4*c + 5*f - 2*f = -14397. Let k = 2184 + c. Is (k/36)/(2/(-8)) a composite number?
False
Let k be (-2)/5 + (48/(-20))/(-6). Suppose 0 = -k*i - 4*i - 84. Let b(q) = q**3 + 24*q**2 + 31*q + 17. Is b(i) a composite number?
True
Suppose -v + 11*v - 40 = 0. Is (v/14 - 0) + (-95326)/(-98) a prime number?
False
Suppose 0 = 3*x + 4*u - 1, -3*x = 60*u - 55*u + 4. Let m(i) = 363*i**2 - 19*i + 11. Is m(x) composite?
True
Let j = 2701 + -7080. Let b = 9588 + j. Is b composite?
False
Let t = 2406717 - 1603822. Is t prime?
False
Is (19 + -36975)*12/(-16) prime?
False
Suppose -4*c + 14 + 102 = -3*b, -4*c - 5*b + 116 = 0. Let w = c + -222. Let g = 378 + w. Is g composite?
True
Suppose 0 = 5*n - 3*a - 35, -2*n = -4*a - 25 - 3. Let z be 3*(-10)/(-25)*10/n. Suppose 4*l - f - 450 = f, -3*f = -z*l + 336. Is l a prime number?
True
Let x(f) be the third derivative of 233*f**6/60 + f**5/4 - 11*f**4/24 + 3*f**3/2 + 178*f**2. Is x(4) prime?
True
Let f be 1*-3*(-40)/24. Let k be -3*f*(-2)/6. Suppose -3*u + 12472 = k*u. Is u a prime number?
True
Let t(f) = 1517*f**3 - 6*f**2 + 15*f - 39. Is t(4) a composite number?
True
Let d = 676 + -30. Suppose 3*r - d = 1010. Suppose -r = -4*t + 380. Is t a prime number?
True
Let z(f) = -f**3 - 7*f**2 - 10*f - 17. Let j(t) = -2*t + 21. Let b(c) = -c + 10. Let p(q) = -7*b(q) + 3*j(q). Let h be p(0). Is z(h) a prime number?
True
Let y = 515 - 1008. Let k = 824 + y. Is k a prime number?
True
Suppose 0 = -2*v + 4848 + 2498. Let s = -1220 + v. Is s prime?
False
Suppose n + 2*n + 2*t - 18 = 0, -4*t = 0. Let l be (154/(-11))/((-4)/n). Suppose 4*i + 20 = 0, 0 = -0*z - 2*z - i + l. Is z prime?
True
Let x(p) = -p**3 - 9*p**2 + 10*p + 4. Let i be x(-10). Suppose -12*g + i*g + 37176 = 0. Is g a prime number?
False
Let s(v) = -7*v - 248. Let q be s(-29). Suppose -x + 208 = -2*x. Let u = q - x. Is u composite?
False
Suppose 73*l - 128*l = -96*l + 2016503. Is l composite?
True
Let f be (-16)/(-28) + 1695108/21 - 2. Suppose -3*w - i + 98577 - 17865 = 0, 3*w + 3*i - f = 0. Is w composite?
False
Let f be (0 - -4)/(-4) - -2 - 10. Is (-22)/4*(f - 265) a composite number?
True
Let x(c) = -1659*c + 1048. Is x(-21) prime?
False
Is 13/130 - (3 - (-1186317)/(-30)) prime?
True
Suppose 15*g = 15*g - g + 166441. Is g prime?
False
Let k = -75 + 83. Suppose -k*l + 20 = -12. Suppose -3310 = -l*y - 6*y. Is y prime?
True
Let q(j) = -36*j - 240. Let v be q(-10). Is (-16)/v + (-483874)/(-30) a prime number?
False
Let l(r) = 395*r**3 - 8*r**2 + 15*r - 28. Is l(5) composite?
True
Suppose 7*x = 165*x - 8*x - 15497250. Is x composite?
True
Let n be (12/(-5))/((-54)/90). Suppose d = 2*s - 7*s + 115745, -s = -n*d - 23149. Is s composite?
True
Suppose 43*u - 36*u = 224. Suppose 3*p + 3*l = 1131, u*l - 36*l = -3*p + 1145. Is p a prime number?
True
Suppose 2*a + 686235 = 14*a - 681441. Is a prime?
False
Suppose -s - 12 = -5*s. Suppose 4*