2*p**3/3 - 7*p**2. Let u be c(4). Suppose 0 = -0*t - 4*t + u. Is t a prime number?
True
Is -2058*(-216)/80 - 2/(-5) prime?
True
Let q(n) = -11*n + 1. Let w(v) = -21*v + 1. Let s(j) = 11*q(j) - 6*w(j). Let z be s(-7). Let c = 56 + z. Is c composite?
True
Suppose -5*u - 2*h + 3886 = 0, -3*h + 3882 = 5*u + h. Suppose 94 = n + 3*g - 168, -g + u = 3*n. Is n composite?
True
Suppose -449 = -3*g + 1633. Let q = g + -359. Is q a prime number?
False
Let x(t) = 24*t**2 - 3 - 3 - 1 - 6. Is x(3) a prime number?
False
Suppose -3*q - 3003 = -3*p, 3*q = p + 8*q - 1001. Suppose 0*s + 7*s = p. Is s composite?
True
Let s(p) = 3*p**3 + 5*p**2 + 6*p + 7. Suppose 0*c = -c + 11. Let b(f) = -16*f**3 - 24*f**2 - 31*f - 36. Let w(d) = c*s(d) + 2*b(d). Is w(-4) a prime number?
True
Let f = 33 - 30. Let y(h) = 12*h**2 + 10. Is y(f) a prime number?
False
Suppose -j = 3*w + 1102, 2*w - 1660 + 558 = j. Let g = -425 - j. Is g a prime number?
True
Let u(y) = -6*y + 4. Let v(b) = 11*b - 7. Let d(n) = -5*u(n) - 3*v(n). Let f be d(-1). Suppose -92 = -f*w + 128. Is w a prime number?
False
Suppose 13*j + 12 = -14. Let b(q) = -67*q + 9. Is b(j) a prime number?
False
Let u(f) = 2*f**2 + 6*f - 6. Let v be u(3). Suppose -141 = -m - v. Suppose 3*j = 0, -l - j + m = j. Is l a prime number?
False
Let s be (2 + (-208)/(-10))*20. Let x = s + -315. Is x a composite number?
True
Let d(m) = -41*m**2 - 2*m + 22. Let h be d(-7). Let t = h - -4026. Is t composite?
False
Let a(d) = -41*d - 477. Is a(-35) prime?
False
Let d(w) = -7550*w + 8. Let k be d(-1). Suppose -11*x + k - 221 = 0. Is x a prime number?
False
Let y = 20 - 12. Let l(t) = t**3 + 6*t**2 - 5*t - 7. Let k be l(y). Is k/15 + (-6)/(-15) prime?
False
Suppose -1 = 5*p + 9. Let h(q) = 414*q**2 - q + 1. Let w be h(p). Suppose w = -k + 4*k. Is k composite?
True
Is 5 - -1644*(5 - -2) a composite number?
True
Let a(n) = -n - 11. Let q be a(-6). Let u(r) = -11*r. Is u(q) prime?
False
Let b be (45/(-4) - -4)*(-1 - -69). Let h = 1726 - b. Is h a composite number?
True
Let f(a) = 37*a - 3. Let x be f(1). Suppose x*w = 35*w - 691. Is w a prime number?
True
Let t = -55 + 56. Is (-13 - -1664)/(-1 + (3 - t)) a prime number?
False
Let s(m) = -108*m + 3. Suppose -4*d + z - 2*z - 20 = 0, 2*d - 5*z = -10. Is s(d) composite?
True
Let b be 167769/147 + (-4)/14. Let n = b + 2908. Is n a prime number?
True
Suppose -2*k - 615 = -3*q, -2*q - 2*k = -0*q - 420. Let z = 764 - q. Is z a composite number?
False
Is ((-14197)/(-7))/(((-32)/4)/(-56)) a prime number?
True
Let n be 0/(18/3 - 3). Suppose -i + 3 = 0, i + n*i + 74 = u. Is u a prime number?
False
Let z(w) = -6*w + 7 + 3*w + 8*w**2 - 11. Is z(3) prime?
True
Let y(b) = 35*b**2 - 31*b + 31. Is y(9) prime?
False
Let z(k) = 73*k**2 + 31*k + 55. Is z(-19) prime?
True
Is (4511*(-1)/3)/(3/(-9)) a prime number?
False
Let r(t) = 332*t + 21. Suppose 2*n = -16 + 24. Is r(n) a prime number?
False
Let m be 11/2 + (-6)/(-4)*-1. Suppose 0 = -m*j + 1443 + 905. Is j a prime number?
True
Suppose -4*d - 3*w = -7*w - 10568, -2*w + 5304 = 2*d. Let k = d + -1404. Is k a prime number?
False
Let n(d) = -2119*d - 192. Is n(-10) composite?
True
Let d = 412 + 151. Is d prime?
True
Let r(z) = 1 - 3*z - 8 - 3 + 5*z. Let m be r(6). Suppose 699 = 3*u - m*o + 5*o, -3*o = 4*u - 934. Is u a prime number?
False
Is (-1)/((-15)/(-25))*(-1317)/1 prime?
False
Let j be ((-2)/5)/(20/(-400)). Suppose -1153 - 39 = -j*z. Is z a composite number?
False
Suppose 0 = -3*o - p + 1805, o + p - 591 = -2*p. Suppose 7*b - 10*b + o = 0. Is b prime?
False
Let b(x) be the second derivative of x**4/4 - 7*x**3/6 + 3*x**2/2 - 24*x. Suppose 0 = -3*u + 2*u - 8. Is b(u) a prime number?
True
Suppose -3*u = -2*n + 14, 0 = 3*n + 2*u - 5*u - 24. Is ((-76)/n)/(4/(-10)) a composite number?
False
Let s(c) be the second derivative of 63/2*c**3 + 0 + 5*c + 1/2*c**2. Is s(2) a composite number?
False
Let s = -8 + 13. Let x(y) = -y**3 - 92*y + 7*y**2 - 4 + 41*y + 47*y. Is x(s) prime?
False
Let r(y) = y - 2. Let v be r(6). Suppose -3*z - z = -3*h - 11, 8 = 2*z - v*h. Suppose z*p = 2, -4*a = a + p - 786. Is a prime?
True
Suppose 0*x - 5*x = 2*j - 19032, -2*j + 19024 = x. Is j prime?
True
Let l = -26499 + 64190. Is l a prime number?
True
Let n(b) = b**2 - 11*b + 15. Let d be n(8). Let g = -28 - d. Let y(f) = 2*f**2 + 27*f + 12. Is y(g) composite?
True
Suppose -2*z - 114692 = -4*p, 0*z + 86019 = 3*p - 5*z. Is p composite?
True
Let h(x) = -2*x**3 + 78*x**2 + 78*x - 121. Is h(38) a prime number?
False
Suppose 4*i + 8 = 0, 3*i + 1371 = -4*o - o. Let k = 428 - o. Is k a composite number?
False
Let c(a) = -3*a - 721*a**3 + 220*a**3 + 2*a - 1. Let v be c(-1). Let o = -287 + v. Is o a composite number?
True
Let t(s) = s**2 - 5*s + 1. Suppose -4*o + 9 = 21, b + 171 = -2*o. Let l be ((-12)/(-10))/((-11)/b). Is t(l) prime?
False
Suppose 0*h = 4*h - 5128. Is h composite?
True
Let z = 28 + -22. Let c(x) = x + 3. Let y be c(z). Let s(g) = 7*g**2 + 7*g - 7. Is s(y) composite?
True
Let j be -11 + (-4 - -1) + 4. Is ((-28)/j)/((-8)/(-3820)) a prime number?
False
Is (-48 + -7)*6711/(-15) composite?
True
Let s = 39 + -36. Suppose 4*p + 4*t = 12, 0*t - 3 = s*p - t. Suppose 2118 = 3*o - w, p*w = -o - 2*w + 713. Is o composite?
True
Suppose -4*c = -6*c + 730. Is c composite?
True
Let n = -28 - -31. Suppose -4*y - 1425 = -c + 558, -4*c = -n*y - 7867. Is c a prime number?
False
Suppose -3*t - 69806 = -5*k, 328*k - 325*k = -t + 41892. Is k prime?
True
Let x(a) = 28*a**2 + 19*a - 137. Is x(9) a prime number?
False
Let u(f) = -f - 4 - 15*f**3 - 1 + 14*f**3 - 3*f**2. Let n be u(-4). Suppose 0 = 3*w - n, 0 = 2*r - 8*w + 3*w - 513. Is r a prime number?
True
Suppose 5*s + j + 0*j = 5, -4*s = j - 5. Suppose s = p - 83 - 44. Is p prime?
True
Let w = -372 - -673. Is w a prime number?
False
Let x(t) = t**3 + 6*t**2 - 7*t + 2. Let u be x(-7). Is 1057/3 + u/3 a composite number?
False
Suppose 0 = -30*o + o + 450283. Is o a prime number?
True
Let s be (10 + -11)*-3*1. Suppose 5*o = -s*v - 0*o + 364, -o = -4*v + 493. Is v a prime number?
False
Suppose -5*g - 2 = q - 6, 3*q = -2*g + 25. Is (762/q)/((-14)/(-21)) composite?
False
Suppose -3064*j = -3074*j + 361450. Is j a prime number?
False
Let w = -17 - -20. Let x be 4/15*w*15. Suppose 0 = -0*g + 3*g - x, -s + 4*g = -235. Is s a composite number?
False
Suppose -2*o = -0 - 0. Suppose -4*c + 3*c + 551 = o. Is c prime?
False
Let n = -10 - -11. Is n*(-4 - -5) + 910 a composite number?
False
Let h(l) = -7*l + 1. Let b be h(-9). Let v be b/10 + 18/(-45). Suppose -v*x = -4*x - 974. Is x a prime number?
True
Let i = -26 - -29. Let a be (2/4)/(i/12). Suppose -8*j = -a*j - 1218. Is j composite?
True
Suppose -v - 2*v + 4*n + 59 = 0, 2*v = n + 46. Suppose 3*x = v + 8. Is (0 - -96) + (10 - x) prime?
False
Let b(r) = r**3 + 3*r**2 - 1. Suppose 0 = -2*k - 3 + 11. Let m be b(k). Is ((-6)/(-18))/(1/m) prime?
True
Is 2540/15*2/((-8)/(-9)) prime?
False
Suppose -220 = -4*y + 4464. Is y prime?
True
Suppose -9*y + 22835 = -4876. Is y a composite number?
False
Let t(f) = 233*f**2 - 6*f + 1. Let h be t(4). Suppose 6*x - x = h. Is x/15 - 4/10 a prime number?
False
Let f = -110 + 111. Is (-1473)/(2 + -5)*f prime?
True
Let u(y) = -47*y**3 + 5*y**2 + 7*y. Let b(g) = -2*g**2 + 9*g - 6. Let z be b(4). Is u(z) prime?
False
Let r be (-13 + -3)/(-4)*-1. Let t be 0*3/(-36)*r. Let v(f) = -f**3 - f**2 + 237. Is v(t) prime?
False
Let p(n) = -n + 1. Let r be p(-1). Suppose x + 9 = -q + 3*q, -r*q + 12 = -4*x. Suppose q*b = 170 + 346. Is b composite?
True
Suppose 2*v - o - 2802 = 0, -981 - 3222 = -3*v - 4*o. Let h(q) = 96*q + 10. Let f be h(8). Let x = v - f. Is x a prime number?
False
Let x(d) = -d**3 + d + 56. Let v be x(0). Is 32/v - (-16470)/14 prime?
False
Let g = -7380 + 19797. Is g prime?
False
Let l = 55158 + -24067. Is l a composite number?
False
Suppose 2*d - c - 10 = 0, c + 1 = -0*d - d. Suppose -2711 = -5*h + d*x, -6*x + 4*x = h - 537. Is h a prime number?
True
Let x(c) = -26*c + 15. Let r = -14 - -6. Is x(r) a composite number?
False
Let z = 12 + -18. Let r(y) = y**3 + 7*y**2 - 6*y - 13. Let f be r(z). Let t = -34 + f. Is t prime?
False
Let j be 0*-1*1/4. Suppose 21*x - 20*x - 6 = j. Is (5 - 87)*(-51)/x a composite number?
True
Let g = 1899 - -3244. Is g composite?
True
Suppose l - s = 505 - 4