 - 4)*(-1 + -1) a prime number?
True
Let v(p) = p**3 - 3*p**2 - 13*p. Suppose -x - 2*h - 8 = 1, -5*x + 20 = -3*h. Let j(s) = -s - 1. Let g(t) = x*v(t) - 4*j(t). Is g(6) composite?
True
Let i = -124 + 124. Suppose 66*y - 61*y - 30575 = i. Is y a composite number?
True
Suppose -5*w = 25, -81*w = 3*q - 79*w - 39683. Is q composite?
True
Let g(b) = -19 + 13*b + 6 + 5. Is g(3) a composite number?
False
Is -2*((-78198)/16)/(21/28) composite?
False
Let s = 9818 - 4747. Is s a composite number?
True
Is (1753/(-4))/(6/(-24)) prime?
True
Let m = -104259 - -151448. Is m a prime number?
True
Suppose 0 = 3*s - 5*x - 13827, -4*x + 23045 = -3*s + 8*s. Is s a prime number?
False
Suppose 3*m = -4*o + 181373, -o + 45332 = -23*m + 26*m. Is o prime?
False
Suppose -334 = -y + 794. Suppose 4*c - 1864 = y. Suppose -6*t + c = -2*t. Is t a composite number?
True
Let f(n) = n**2 - n + 293. Let i be f(0). Let p = i + -42. Is p composite?
False
Let i(k) = 8*k**2 + 15*k - 20. Is i(27) prime?
True
Let l = 6 - 6. Suppose -14 = 2*w - 2*q, -12 = -4*w - l*w - 4*q. Is 158 + (-2)/(4/w) composite?
True
Let p = -746 - -1289. Is p + 1/(2/(-4)) prime?
True
Let r = 10 + -7. Suppose r*a + 248 = -5*b + 2350, 5*a - 3540 = -b. Is a prime?
True
Let z(g) = -25794*g**3 - 4*g**2 - 3*g. Is z(-1) a prime number?
True
Suppose -23*s + 2771 = -18*s + 3*r, -5*s - r = -2767. Is s a prime number?
False
Let o(v) = 25*v**2 + 133*v + 19. Is o(-25) prime?
False
Let s(h) = -h**3 + h**2 + 3*h - 4. Let a be s(2). Let k(d) = -107*d**3 + 3*d**2 + 3*d + 1. Is k(a) a prime number?
True
Let u be (-129)/6 - 15/(-10). Let q be ((-112)/u)/((-4)/(-10)). Let k = 0 + q. Is k composite?
True
Let p(k) = -10*k**2 + 2*k. Let t be p(-3). Let m = 56 - t. Is 0 + m - (-3 + 6) a composite number?
False
Let v = 3430 - 1993. Is v a prime number?
False
Let i be (-12)/30 + 3 - 3/5. Suppose -4*u = -i*f + 394, -5*f + 0*f + 967 = -4*u. Is f a composite number?
False
Let g(h) = -15*h**2 + 5*h + 10. Let r be g(5). Let s = 753 + r. Is s prime?
False
Let f be (2/6)/(11/(-33)). Is f + (-7274)/(-6) + (-1)/3 a prime number?
False
Let o(x) be the first derivative of 4*x + 22/3*x**3 - 1 - 5/2*x**2. Is o(-7) composite?
False
Is (5 + -4)/(8/((-1632664)/(-11))) a prime number?
True
Suppose 2*y + 0 = 4. Suppose -y = -m + 2. Suppose -m*a - 295 = -5*u, 5*u + a - 247 = 48. Is u prime?
True
Suppose 0 = 8*l - 6*l - 110. Suppose -812 = 51*h - l*h. Is h prime?
False
Let a = -22 + 8. Let d(t) = t**2 + 15*t + 19. Let g be d(a). Suppose g*i = 820 - 5. Is i prime?
True
Is ((-2)/(-6))/((-32)/(-1357728)) prime?
True
Let b(a) = -a + 7. Let r be b(5). Let k = 18 - -24. Suppose 5*w + 25 = 0, 2*w = -r*u - k + 1038. Is u a composite number?
False
Suppose -2208 = -4*i + 1336. Let z be (0 - -5) + -1 - -451. Let h = i - z. Is h prime?
True
Let o(n) = -2 - n**2 + 0*n**2 + 4*n + 149*n**3 - n. Let h be (-18)/(-63)*-7 - (-3 - 0). Is o(h) a prime number?
True
Let j = 4693 + 6642. Is j prime?
False
Is -4*(10 + (-5951)/4) composite?
True
Let r = -5723 - -78256. Is r composite?
False
Suppose -4*z + 3*m + m - 820 = 0, 4*m + 643 = -3*z. Let p = 2 - z. Is p composite?
False
Suppose -3*p = -5*j + 65225, 961 = -j - 3*p + 14006. Is j prime?
False
Let l(y) = y**3 + 34*y**2 + 28*y - 57. Is l(-16) prime?
False
Suppose 0 = -4*a - 3*z + 5, 6 = 5*a - z - 5. Let n be 10 + -11 - (-68)/a. Let b = n - -36. Is b prime?
False
Suppose 8 = 2*p + q, 2*p + 4*q = -0*q + 20. Let k = 71 - 14. Is (k - 2/p) + -1 composite?
True
Let m(v) = v - 14. Let b be m(14). Let o be 1/((-1)/10 - 0). Is (b - 4/o)*15 a composite number?
True
Let q = -4 - -10. Let h be 1532 + q + -4 + 1. Suppose -h = -4*b - b. Is b prime?
True
Suppose -11788 = -q + 3*k, -2 = -0*k - 2*k. Is q a prime number?
False
Let s = 474 - -313. Is s a prime number?
True
Let j(m) = 39*m**2 - 12*m + 18. Let w be j(2). Let i = w + 1507. Is i prime?
True
Let b(p) = 2*p**3 - 4*p**2 + p + 13. Suppose 4*r = 2*r + 12. Is b(r) prime?
True
Let t = -19509 - -34298. Is t composite?
True
Let n(i) = -7*i**3 + 3*i**3 - i + 2*i**2 + 2 - 6*i + 3*i. Let s be n(3). Let w = -6 - s. Is w a prime number?
False
Suppose -5863 + 28390 = 9*u. Is u prime?
True
Let c = -149 + 250. Let h = c + -16. Suppose 4 = b - h. Is b composite?
False
Suppose -q - 2*q = 4*b - 2, -5*q + 4*b = -46. Suppose q*d - 6699 = 3459. Is d a prime number?
True
Suppose 3*q = -5 + 26. Suppose 3*j = q*j - 8. Suppose j*k + 677 = 3*f, -f - 2*k + 438 = f. Is f a prime number?
True
Suppose 5*q + 22 + 3 = m, -m - 4*q - 20 = 0. Let f(j) = -j**3 - 7*j**2 - 9*j + 8. Let p be f(-7). Suppose -i + p = -m*i. Is i a prime number?
True
Suppose 601 = 5*n - 1199. Let s = -137 + n. Is s a composite number?
False
Suppose 0 = 2*p + z - 1 - 0, 3*z = 5*p - 19. Let s = 1085 + p. Is s prime?
True
Suppose 3*d + i + 4*i - 4972 = 0, 0 = 5*i - 25. Is d a composite number?
True
Suppose -33*m + 324939 = -125478. Is m composite?
False
Suppose p = 7*p - 1572. Suppose 2*o - p - 480 = 0. Is o composite?
True
Suppose 0 = 171*z - 165*z - 17538. Is z a composite number?
True
Suppose 14*v - 12*v = 0. Let o be 11 + (3 - (v - -1)). Suppose 16*g = o*g + 3453. Is g a prime number?
True
Suppose 245*x + 196791 = 252*x. Is x composite?
True
Suppose -c - 3 = 0, c - 3 + 10 = 2*w. Suppose 2651 = 2*k + k - 4*x, -3*x = w*k - 1790. Is k a composite number?
True
Suppose -5*m = 0, -310 = 4*y + m - 1566. Suppose -141*l = -142*l + y. Is l prime?
False
Suppose -1109895 + 8201962 = 107*a. Is a prime?
False
Suppose 0 = -10*d + 30054 + 29176. Is d prime?
True
Let g(w) = -w**3 + 2*w**2 + w - 4. Let c be g(-6). Let i = c - 478. Let u = -121 - i. Is u prime?
True
Suppose 0*o - 17 = -17*o. Let h(n) = 1 - 1 - n + 264*n**2. Is h(o) prime?
True
Suppose 0 = 58*w - 4427732 - 261510. Is w composite?
False
Suppose 11325 + 126 = 3*w. Is w composite?
True
Let d(m) = 5*m**2 + 23*m + 1. Let k be d(-10). Let a = -68 + k. Is a composite?
True
Suppose 4*n = 2*o - 10534, -n - 3*n - 21056 = -4*o. Is o a prime number?
True
Let d = -682 - -1472. Let x = -155 + d. Is x a prime number?
False
Suppose -3*o = -3*d + 736 + 275, 3*o + 676 = 2*d. Let u = -104 + d. Suppose 4*k = k + u. Is k a prime number?
False
Let u(y) be the first derivative of 29*y**3/3 + 3*y**2/2 - 9*y + 3. Is u(4) a prime number?
True
Let c(j) = -63*j + 10. Let y(u) = -64*u + 9. Let v(f) = -5*c(f) + 6*y(f). Is v(-3) a prime number?
True
Let d = -14 - -17. Suppose 5*b = c - 29, 0 = d*b + 20 - 5. Suppose 0 = c*k - 0*k - 1412. Is k composite?
False
Let j = -51 + 59. Is (934/j)/((-1)/(-4)) prime?
True
Let k = -97 + 99. Suppose -4*n + 0*n = -k*r + 586, 3*r = 5*n + 876. Is r a composite number?
True
Is 2*2 - (-21 - 12412) composite?
False
Suppose 19*m = 15*m + 73004. Is m composite?
False
Let z(j) = j - 1. Let b(w) = -4 + 7 + 3*w + 10. Let a(l) = b(l) + 6*z(l). Is a(8) prime?
True
Let t(q) = -q**2 - 16*q - 17. Let h be t(-14). Suppose 0 = h*f - 6*f. Suppose f = -r + 55 + 64. Is r a prime number?
False
Suppose -3*t - 2 = -14. Suppose 0 = 2*u - t, -4*u + 2 = 2*j - 3*u. Is 3 - j - -40*11 prime?
True
Let n(q) = 58*q**3 - 10*q**2 + 20*q - 22. Is n(5) prime?
False
Is ((-1590)/(-45))/(2/3) composite?
False
Let f(y) = 261*y - 134. Is f(5) composite?
False
Let q = 10 + -6. Suppose -2*i - 2*i + 3*m + 264 = 0, 0 = q*i + 3*m - 264. Suppose -5*a - i = -8*a. Is a a composite number?
True
Is (-5 + -8)/((-3)/2859) composite?
True
Suppose 22332 = -932*f + 944*f. Is f prime?
True
Let a = 775 - -1872. Is a composite?
False
Let y = -22987 - -38822. Is y prime?
False
Let h(n) = 1214*n**3. Let r be h(1). Suppose 0 = -5*i + 2241 + r. Is i a composite number?
False
Let g = 3680 - 31. Is g a composite number?
True
Let p(q) = q**3 + 3*q**2 - 21*q - 15. Let t be p(-6). Is 1 - t - 1862/(-2) prime?
True
Suppose 79937 = 10*v - 9293. Is v composite?
False
Suppose 3*y + 8 = 5*x - 6, 2*y + x + 5 = 0. Let g = -691 + 988. Is (-7)/y*g/9 prime?
False
Let i be -6*(-3)/(54/15). Let a(q) = 40*q + 11. Is a(i) composite?
False
Let l(g) = -4*g + 30. Let o be l(11). Let p(j) = -2*j**2 + 6 + 11*j - 25 + 3*j**2. Is p(o) a composite number?
False
Suppose 9 = -2*s + 15. Let o be (s - (-14)/(-6))*18. Is (40/o - 0)*3 a composite number?
True
Let d(l) = 126*l - 131. Is d(52) prime?
True
Let j be ((-3)/(-9))/(4/24). Suppose 4*d = j*d + 1502. Is d prime?
True
Let f =