852 - -829. Let j(u) = 2*u**3 + 49*u**2 + 54*u + 50. Is j(s) composite?
True
Let y(v) = 4*v**2 - 17*v - 1. Let n be y(8). Let f = n + 378. Let q = 2040 - f. Is q prime?
True
Suppose 0 = -2*u, -22*u = -5*i + 89465 + 78490. Is i composite?
True
Let k = 123 - -15. Let i = k + -17. Let a = 172 + i. Is a composite?
False
Let o(j) = -3*j**3 - 11*j**2 + 3*j - 4. Let u be o(-4). Let c be ((-9)/(-6))/(6/8) + u. Suppose 5*l - c = 53. Is l composite?
False
Suppose -v = 13*v + 177002. Let w = -6296 - v. Is w prime?
False
Suppose -6*d = 21*d - 2160. Suppose 4*b = -4*w + 784, 2*b = -3*w + d + 503. Is w a composite number?
False
Let i(x) = 35*x**3 + 4*x**2 - x - 4. Let g be i(3). Let w be 4/(-7) + (-420)/(-49). Suppose 10*o = w*o + g. Is o a prime number?
True
Suppose h - 149949 = -4*i, 3*h - 2*h - 1 = 0. Is i composite?
True
Let o(j) = 17*j**3 + 4*j**2 + 11*j + 10. Let n be o(-4). Let t = n - 1852. Let s = 4721 + t. Is s a prime number?
True
Let z = 9 - -3. Suppose -2 = 5*n - z. Suppose -3*q + n*c = 2*q - 563, 3*c - 3 = 0. Is q a prime number?
True
Suppose -3*p - 5*f - 190 = -2695, -4*p - 5*f + 3340 = 0. Is p composite?
True
Let n(t) = -13*t - 39. Let p(j) = -2*j**2 + 3*j**2 - 1 - 24*j + 25*j + 2. Let y(a) = n(a) + 6*p(a). Is y(10) prime?
False
Let l(h) = h**3 + 6*h**2 - 18*h - 11. Let c be l(-8). Suppose -5*q + 103 = -c*d + 3, -q + 74 = -4*d. Is (-338)/d + (-20)/(-90) composite?
False
Suppose 0 = -3*g - 2 + 32. Let v = 561 + g. Is v prime?
True
Let r(t) = 13 - 5*t**3 - 11*t - 3*t**2 + 14*t**2 - 13*t**2. Let y(x) = -x**2 + 3*x + 12. Let n be y(6). Is r(n) a composite number?
False
Suppose -236358 - 13104 = 2*y - 2*o, -2*o = 0. Is y/(-18) + ((-36)/8)/(-3) a composite number?
True
Let z = 25116 - -89597. Is z a composite number?
False
Let k be 3 - (-11)/((-66)/(-18)). Let a(o) = 98*o + 214. Is a(k) prime?
False
Let k = 32 - -3. Let u = k + -41. Is 4/6*(-7083)/u a prime number?
True
Let i(u) = -15281*u - 16. Is i(-3) prime?
True
Suppose 3*y + 3*y = 24. Let x be (863 - 16/y) + -1. Suppose a + v - 284 = 0, 3*a + 4*v = 3*v + x. Is a a prime number?
False
Suppose -29*n + 3622676 = -2776725. Is n composite?
True
Is ((-323830)/(-2))/1 + (-793 - -795) prime?
False
Let k = -144504 - -268103. Is k a prime number?
False
Let g = -4727 + 40612. Is g composite?
True
Suppose 3*o - 389 = 9130. Suppose -5*v - 527 = o. Let m = -359 - v. Is m a composite number?
True
Suppose -7*m - 3*b - 64528 = -11*m, 3*b - 80633 = -5*m. Is m a prime number?
False
Suppose -c = -5*x - 58739, -117502 = c - 3*c + 4*x. Is c composite?
True
Suppose -75*b + 1044560 = -2225965. Is b a composite number?
False
Let z = 494913 - -221356. Is z a composite number?
True
Suppose 3*d = 14*c - 13*c - 745325, 2*d + 745317 = c. Is c composite?
False
Let i = 3556 - 28090. Is (-10)/50*(i - 1) prime?
False
Let v = 16436 + 1132157. Is v a prime number?
True
Let v be 24/16 + 3/(-2). Let j(n) = 12 - 15*n**3 + v - 6*n - 7*n**3 + 21*n**3. Is j(-11) a composite number?
False
Let o = 635158 - 313875. Is o a composite number?
True
Suppose 0 = -260*b + 259*b + 15. Suppose 11*h = b*h - 13508. Is h composite?
True
Let s be -20*(-18)/24 - 4 - 3. Suppose s*f = 28810 + 47406. Is f a composite number?
True
Is (1907001 - -11) + -8 + 1 a composite number?
True
Let j be 7 + ((-1228)/14 - 10/35). Suppose 5*o = 3*o + 668. Let g = j + o. Is g a composite number?
True
Let x(p) be the first derivative of 7*p**3/3 - p**2/2 + 3*p + 14. Let o be (4/(-10))/((-2)/(-10)). Is x(o) a prime number?
False
Let u(s) = s**2 - 6*s - 6. Let z be u(9). Is z/((-210)/(-4)) - (-68243)/5 a composite number?
False
Let g = 537733 + -251762. Is g composite?
True
Let y = -1037 + 1041. Suppose -3*q - 5*a + 993 = 0, 6*q - 662 = y*q + 4*a. Is q prime?
True
Let l be (-28)/8 - (4 + -6)/(-4). Let h(b) = -5*b**2 + b + 17. Let z be h(l). Let u = z - -120. Is u prime?
True
Let r(n) = -8*n - 37. Let c be r(-5). Let x be 8/36 - (c + (-33258)/27). Suppose 5*f + 820 = 2*j + 4*f, -x = -3*j + f. Is j a prime number?
True
Suppose -2448558 - 4949067 = -26*i + 2673137. Is i prime?
False
Suppose 3*b + 174 = 2442. Let u = b + -200. Suppose -4*k = -672 - u. Is k composite?
False
Let v be (4/6)/(8 + (-109676)/13710). Suppose -a - v = -2*z, -3*z = 2*z - a - 5708. Is z a composite number?
True
Let l = 59010 + -6577. Is l prime?
True
Let c(u) = -4*u + 1. Let s(t) = -9*t + 2. Let f(k) = 5*c(k) - 2*s(k). Let j be f(3). Is -2 + -10614*j/10 prime?
False
Let r(z) = 3*z**3 - z**2 + 8*z - 5. Let q(j) = j**3 + j**2. Let g(v) = 2*q(v) - r(v). Let i be g(4). Is 188*(0 - i/4) prime?
False
Let q be (-698)/((-17)/((-6596)/(-8))). Suppose -4*d - 3*v = -q, -3*d + 3*v + 25416 = -0*d. Is d a prime number?
True
Let c be (-4)/50 + 92/1150. Suppose i - 2*b - 890 - 1760 = c, -13218 = -5*i + 2*b. Is i composite?
True
Let s = 873677 - 300240. Is s a composite number?
False
Suppose 5*y - 4*v - 60007 = 0, 605*v - 24000 = -2*y + 607*v. Is y a prime number?
True
Suppose -4*o + 17595 = 2*w + 1909, w = o + 7834. Let u = 15666 - w. Is u composite?
False
Suppose -3*g = l - 351252 - 4243833, 4*g - 5*l - 6126818 = 0. Is g a composite number?
False
Suppose 8*k + 161 = -7. Let b = k + 9. Is 4 + 3/(b/(-1444)) prime?
False
Suppose 2585308 + 1838455 = 79*y. Is y prime?
True
Let f(g) = -3*g**3 + 97*g**2 - 31*g - 33. Let l be f(32). Is (71367/(-6) + -7)/(l/2) a composite number?
True
Let z be 2 + 0 + 1*164586/3. Suppose -11*u = -z + 15605. Is u a prime number?
False
Is (4 + 3 - (-54802)/(-5))*-5 a composite number?
False
Let x be (-12537)/42*8/12. Suppose 0 = -3*w + 4 + 5, 5*w = 4*p - 2945. Let q = p + x. Is q composite?
False
Suppose 130*i - 128*i - 5*a - 53732 = 0, 4*i = -3*a + 107438. Is i composite?
False
Let t(s) = -10*s**2 - 2*s + 2. Let v(l) = 2*l**2 - 10*l - 11. Let n be v(6). Let z be t(n). Is ((-5802)/15)/(4/z) a prime number?
True
Let f be 8/(-12) - (-1 - (-2579)/(-3)). Let p = -63 + f. Is p a prime number?
True
Let j(r) = -3*r**2 + 7*r + 425. Let z be j(30). Suppose 0 = 6*p - p + 15370. Let b = z - p. Is b a prime number?
True
Is (239653 - -709)/(1*(1 + 1)) a prime number?
True
Suppose -3*y + 37 = -8. Suppose 3*l + 8 = -2*i + 22, 0 = 4*l - i - y. Suppose -1501 = -2*b + 3*t, 0*b + l*t = -b + 723. Is b a composite number?
False
Let a(i) = 1386*i**2 - 7*i + 9. Let b be (-3)/(-4*(-15)/(-40)). Is a(b) a composite number?
True
Let q be (-292792)/(-20) + 3 + 13/(-5). Is ((-3)/6)/((-2)/(q + -4)) a composite number?
False
Let i(y) = 23411*y + 136. Is i(21) a composite number?
True
Suppose 13*c - 5611 = 161399 + 104339. Is c composite?
False
Suppose -4*k + 74674 = 3*x, -28*k = -24*k - 3*x - 74662. Is k a prime number?
False
Let l be 4/((-1)/(-5)*(-8)/(-112)*2). Let y be (4/(-6))/(1/9). Let w = y + l. Is w composite?
True
Let v(b) = 515*b**3 - 3*b**2 - 81*b - 34. Is v(9) prime?
False
Let y = -705 - -707. Suppose -11*w - 7735 = -12*w - 4*t, -y*w + 2*t = -15500. Is w a composite number?
True
Suppose 16*b = -6*b. Suppose -30*w + 25*w + 1895 = b. Is w a composite number?
False
Let n(k) = -3666*k + 3676*k - 2 + 10*k**2 + 1. Suppose -5*c + 2 = 52. Is n(c) a composite number?
True
Let c be 0 - -9 - (0 - -4). Suppose -c*w + 33 = -i + 9, 5*w - 29 = -4*i. Suppose -w*u + 1159 = 3*n, -4*u + 160 = 5*n - 762. Is u a prime number?
True
Is (-11066680)/(-15) - (-11 - (-352)/33) composite?
True
Suppose 5*k - 1347 - 6943 = 0. Let d = 3341 + k. Suppose 5886 = 7*p - d. Is p composite?
True
Let a(w) = 308*w**2 - 5*w + 4. Let m(r) = -r**2 + 15*r - 16. Let s be m(14). Let y(f) = -f**3 - f**2 + 3*f + 3. Let b be y(s). Is a(b) composite?
False
Is 1*(-3)/(-24)*-1695742*(-36)/9 composite?
False
Suppose j - 14211 = n, -18248 = -j + 5*n - 4021. Is j a prime number?
True
Suppose -296*l = -300*l + 29280. Let m = -2111 + l. Is m a composite number?
False
Suppose s = -1, 5*c + 4*s - 43 = 7*s. Suppose -c*k = -397800 + 121328. Is k a composite number?
True
Suppose z + 5*v + 259 = -122, -750 = 2*z + 4*v. Let w = -143 - z. Is (w + 5)/(((-5)/(-3))/5) prime?
False
Let y(h) = -61 - 17*h - 7*h - 20*h - 7*h. Is y(-10) composite?
False
Is (15 - -6003)*22 + 21/3 a prime number?
True
Suppose 0*c + 3*c + 192 = 0. Let k = c + 69. Suppose -n - 4*u = -563, 0*n - 561 = -n - k*u. Is n a composite number?
False
Let p(n) = 86*n**3 + 6*n**2 - n - 3. Let u be p(6). Let c = 