osite?
True
Let b(l) = 3*l**3 - 13*l**2 + 12*l - 80. Let p be b(22). Suppose -168*u + 156*u = -p. Is u prime?
True
Suppose 8*k = 4*k - 8, -q = -k - 60421. Is q a prime number?
False
Suppose 4*y - z = 63, -2*y - 2*z = -0*z - 24. Let i(q) = q**3 - 15*q**2 + q - 12. Let j be i(y). Suppose -2256 - 1035 = -j*k. Is k prime?
True
Let z = -5822 + -6280. Let a(u) = 16*u - 78. Let l be a(6). Is z/4*(-12)/l prime?
True
Let b be ((-1*12)/4)/(-1). Suppose 5*l = 0, -b*l - 8956 = -3*n - 2035. Is n composite?
True
Suppose 94688 = -28*i + 6*i. Let m = -1971 - i. Is m a prime number?
True
Suppose 0 = 462*v - 446*v - 984112. Is v prime?
True
Let u = 28 - 32. Let w be ((-54)/9 + 4)/(u/2474). Suppose 4*b + 233 = w. Is b prime?
True
Let h = 289 + -286. Suppose h*b = k - 209, 3*k + 3*b - 667 = 2*b. Is k prime?
False
Suppose 34 = -5*u + 69. Is (-7)/(u/2)*12273/(-6) prime?
True
Suppose 4*g - 1420 = -2*i, 4*i - 4286 + 1406 = 2*g. Suppose -2*z - 2*j = -1068, -3*z - 5*j + 882 = -i. Is z a composite number?
True
Suppose -2117 - 1789 = -3*t. Let p be 1/(5/125*5). Suppose -p*x = 4*g - t, -5*x - 1605 = -6*g + g. Is g composite?
True
Suppose 4*f = -1 + 9. Suppose 6*k - 3*k - y = 2638, 5*y + 1737 = f*k. Suppose -5*q + 1475 = r + 4*r, 0 = -3*q - r + k. Is q a composite number?
False
Let a be (-2)/(-14)*-37 - (-28)/98. Is 1205861/119 - (a/7 + 1) a prime number?
True
Suppose 400496 = -300*v + 316*v. Is v composite?
False
Suppose 0 = -171*j + 172*j - 68598. Suppose -12*p - 1410 = -j. Is p a prime number?
False
Let j(y) = -y**3 + 13*y**2 + 2*y - 24. Let u be j(13). Suppose -53012 = u*b - 164986. Is b composite?
False
Let c(d) = -2542*d - 70. Let n(g) = -847*g - 23. Let h(r) = -2*c(r) + 7*n(r). Is h(-4) a prime number?
True
Let t(y) = 8678*y**2 - 406*y - 5771. Is t(-14) a prime number?
True
Is (36/(-14) - (-132)/(-308)) + 760762 a prime number?
True
Let g be 138/115 + 6/(-5). Suppose -t + 3 = g, 4*m = t + 12893 + 2492. Is m a composite number?
False
Let w be (8/(-10))/(-5 - (-184)/40). Suppose -2*l = -w*m - 12, m + 2*m + 6 = -l. Suppose 3*z - 1537 = 5*h, -2541 = -l*z - 2*z - 2*h. Is z a prime number?
True
Let u(s) = -s**3 - 6*s**2 - 2*s - 25. Suppose 2*w - 8 = n, -16*n - 5*w = -19*n - 26. Is u(n) composite?
False
Let n be (-2)/(3 + 1) + (-428)/(-8). Suppose -56*k + n*k - 630 = 0. Let h = 619 + k. Is h prime?
True
Suppose 2*r - 44 = -44. Suppose 14*j - 22*j + 15208 = r. Is j a composite number?
False
Let p = -638671 + 1149804. Is p a prime number?
False
Let w = 1014092 + -702415. Is w a prime number?
True
Let m be (-14)/(-8) + (-10)/(-40). Suppose 0 = 4*g + y - 1667, 0 = 6*g - 3*g + m*y - 1249. Is g composite?
True
Let v(m) = m**3 + 12*m**2 + 23*m + 30. Let z be v(-10). Is (484 - -5 - -2) + (z - 2) a prime number?
False
Let f = -234 - 1705. Let x = f - -3293. Let g = -681 + x. Is g prime?
True
Let b be (17 - 8) + 176669 + 8. Suppose 6*c - b = 46736. Is c prime?
False
Let o(z) = -z**2 - 4*z + 79. Let l be o(7). Suppose 0 = 4*s - 0*s - 20. Suppose -x = -5*h + 2607, -s*h - 5*x = -l*x - 2599. Is h a composite number?
False
Let d = 134516 - 66171. Is d a prime number?
False
Let r = 229118 + -129567. Is r a composite number?
False
Let r be (-29)/2 + 1 + 21/(-14). Is (2/(2 - 0))/(r/(-27705)) prime?
True
Let p = 44484 - 24949. Is p a prime number?
False
Let m be (-9)/((-54)/4)*42. Suppose m = -v + 729. Is v prime?
True
Let s(q) = 57127*q + 479. Is s(8) a prime number?
False
Let v be 4*2/12*15. Let c be 20/16 - 5/4. Suppose c = -5*s + v, 5*a + 3*s - s = 7329. Is a composite?
True
Let y(n) = -n**3 - 9*n**2 + 70*n + 41. Let z be y(7). Let m(r) = -r - 1. Let t be m(-5). Let q = t - z. Is q prime?
True
Let l = 1206577 + -830750. Is l a prime number?
False
Is 2 - 6/3 - -196429 composite?
False
Let y(b) = 54*b**2 + 74*b + 751. Is y(-70) composite?
False
Let x(l) be the second derivative of l**4/4 + 37*l**3/6 - 3*l**2/2 + l. Let b(n) = 21*n**3 - 3*n - 2. Let f be b(-1). Is x(f) composite?
False
Suppose 10*h + 72390 = 4*h. Let j = h + 18886. Is j composite?
True
Suppose 2*o + 0 = 10. Let z(p) = 22*p + 1. Let n(s) = -s + 1. Let i(w) = 4*n(w) + z(w). Is i(o) composite?
True
Let m = 5 + 65. Is 20/m*(-7)/(-2) - -2233 a composite number?
True
Let t(h) = 278*h**2 + 24*h - 463. Is t(13) composite?
False
Suppose 3*k - 2 = 1. Let m be (8/(-12)*24)/k. Is m/(-24) + (-1299)/(-9) a prime number?
False
Suppose 0 = 2*x - 0*i - 4*i - 26, 5*x + 3*i = 39. Suppose 209 = 3*m + k, m = -3*k - x + 68. Suppose 68*z - m*z + 7509 = 0. Is z a composite number?
False
Suppose 80289 = 16*i + 10*i - 3041. Is i a composite number?
True
Is (-5 - 0 - -218596)/((-24)/(-168)) prime?
False
Suppose -209 = 15*w - 8609. Let c be w/72 - 8 - 3946/(-18). Suppose 4*g - 1097 = c. Is g a prime number?
False
Suppose 33*s - 7333117 - 2688092 = -0*s. Is s composite?
True
Suppose -2*k - 127447 = -5*s, 4*s - 8*s - 3*k + 101953 = 0. Is s a prime number?
False
Let h(y) = y**2 + 10*y + 15. Let q be h(-9). Suppose x + 2*s = q, -3*s = 3*x + 2*s - 16. Suppose k - 335 = -4*z, -4*z = -z + x*k - 255. Is z a composite number?
False
Suppose -4*x - 22 = -o - o, 16 = -4*x. Let t be -5 + (-4)/(28/(-2891)). Is (t/9 + 3)*o a composite number?
True
Let b = -219 - -97. Let i = 118 + -202. Let o = i - b. Is o a composite number?
True
Let m(l) = -l**3 + 6*l**2 - 7*l + 3. Let t(a) = a**3 - 5*a**2 + 8*a - 3. Let d = -25 + 29. Let p(y) = d*m(y) + 3*t(y). Is p(4) composite?
False
Suppose 5*l + 0*l = n + 727887, 727891 = 5*l - 3*n. Is l a composite number?
False
Suppose r - 5*u - 269177 = 0, -529*r + 524*r - 3*u + 1345829 = 0. Is r prime?
True
Suppose a = -4*z + 11, -3*z = -2*z + 5*a + 2. Suppose f + 3*f + 17 = -5*j, z*f = -j + 1. Suppose 951 = f*v + v. Is v a composite number?
False
Is 39431 - (-3 + -3 + 46/(-23)) a prime number?
True
Suppose -4*l + u = 4*u - 197273, -4*l - 2*u = -197274. Is l prime?
False
Suppose -3*w + 593 - 278 = 0. Is 7/w*21*1865 a composite number?
True
Suppose -4*x = -2*x - 4*v - 30, 4*x = -4*v + 12. Suppose -x*z = -2*z + 15. Is 366*3 + (2/(-1) - z) prime?
False
Let t = -187 + 172. Is (-4449)/(-5) - (-12)/t composite?
True
Let a(s) = s**3 - 13*s**2 + 15. Let g be a(13). Let v(w) = 252*w + 65. Is v(g) a composite number?
True
Let w(u) = -3*u**2 - 4*u + 11. Let b be w(3). Let s be b/(-21)*((-1)/(-2) - 2). Is ((-185)/(-10))/((-1)/s) prime?
True
Let y be 176/28 + 3 + (-23)/7. Let d(m) = m**2 - 2*m - 11. Let t be d(y). Suppose -t = -4*i + 79. Is i prime?
True
Let g(k) = -k**3 + 15*k**2 + 18*k - 29. Let u be g(16). Suppose 0 = -4*t - u*l + 19315, -8*l + 19312 = 4*t - 4*l. Is t a composite number?
False
Let i(j) = -2*j**3 - 2 - 29*j**2 + 3*j**3 - j + 29*j**2. Let x be i(2). Suppose -794 = -x*t + 570. Is t composite?
True
Suppose 0 = -11*r + 515 + 6437. Suppose -2*i - l = -1003, 2109 = 3*i - 4*l + r. Is i composite?
False
Let r = -4801 + 9135. Let v = -2427 + r. Is v prime?
True
Let k(w) = -w**2 + 4*w + 12. Let i be k(-8). Is (-85 - i)/((-2)/3830) a prime number?
False
Let s(m) = 58*m + 8. Let k(f) be the third derivative of -29*f**4/6 - 17*f**3/6 + 21*f**2. Let j(o) = -3*k(o) - 7*s(o). Is j(-13) a composite number?
True
Let v(w) = 2*w**3 - 103*w**2 - 37*w - 269. Is v(53) a prime number?
True
Let p = -394 + 793. Let c = 816 - p. Is (-72)/54*c/(-2) prime?
False
Let u(y) = 21841*y - 3028. Is u(9) prime?
True
Let x(d) = -d**3 - 5*d**2 - 2. Let j be x(-4). Let t be 11/3 + 1/(j/12). Suppose 4*v = -t*g + 3516, 0 = -6*g + g. Is v prime?
False
Suppose -3*t + 99*t - 11586528 = 0. Is t a prime number?
False
Let m(w) = -55*w**3 + 8*w + 29*w**3 - 5 + 27*w**3 + 33*w**2. Is m(-24) a prime number?
True
Let j be (5/(-5))/((-2)/14). Suppose -j*p + 3*p = -8. Suppose -5*r = 1 + 4, -2*g + p*r + 1632 = 0. Is g a prime number?
False
Is (-62 - -52) + 4*197 composite?
True
Let u(s) = s + 10. Let t be u(-7). Let i be (-2)/(-3)*(0 + t). Is (-291)/i*(-10)/15 composite?
False
Suppose -19*g + 2092859 + 1045182 = -555806. Is g a composite number?
False
Let x(d) be the third derivative of 0*d + 0 + 2*d**2 - 1/24*d**4 + 4*d**3. Is x(17) a composite number?
False
Suppose 3*p - 3*g = 9, 4*p - 3*g + 4*g = -3. Suppose p = -2*k + 6 - 4, -2*k - 15688 = -5*j. Let o = j + -1159. Is o a composite number?
False
Suppose -11*s = -29*s + 162. Suppose 0 = -23*d + s*d + 103978. Is d prime?
False
Supp