n + 19*n = -172613. Is n a prime number?
True
Suppose 6*a + 15081 = 5457. Let k = -937 - a. Is k prime?
False
Let q = 2777 + -1240. Is q composite?
True
Let x = -39211 - -56958. Is x composite?
False
Is ((-2)/(-6))/((-2324014)/1162014 + 2) prime?
False
Suppose 0 = 28*t - 19*t - 6633. Is t a prime number?
False
Is 4/(-3)*3*(-122022)/72 prime?
True
Let u = -66 - -53. Let f(w) = w**2 + 5*w + 25. Is f(u) prime?
False
Suppose -1120*h + 14954 = -1118*h. Is h a composite number?
False
Let y be ((-6)/33)/(-1) + 8/(-44). Suppose -r - r = -3*g - 667, y = -5*g - 25. Is r a composite number?
True
Let u(s) = -31*s**3 - s**2 - s. Suppose 4 = -4*r + 12. Suppose -j = -r*j - 1. Is u(j) a prime number?
True
Suppose -6*c - 2 = -7*c. Suppose -2*v - 8 = 2*v, k = -c*v + 2760. Is k/6*(-36)/(-24) a prime number?
True
Suppose -43*f + 88854 = -156375. Is f prime?
False
Let h be (-1 - -15)*(-8)/(-28). Suppose -2*i + 4314 = h*i. Is i prime?
True
Let t = 1221 - 1823. Suppose 0 = 4*f - 3*f - 855. Let s = f + t. Is s prime?
False
Let v(t) = 19*t**2 + 30*t + 37. Is v(10) prime?
True
Let q be -4 + 1 - (0 + 2). Is -2 + q*(-89)/1 prime?
True
Let r be -1 + -2 + 3 - -5. Suppose -1718 + 38 = -r*b. Suppose p - b = 61. Is p composite?
False
Let i(t) = t**3 + 30*t**2 - 32*t + 20. Let w be i(-24). Suppose 0 = 32*s - 36*s + w. Is s composite?
False
Let p be 4/18 + 106640/45. Let d = p - 1361. Is d prime?
True
Suppose -8 = -g - l, 0 = 3*g + 2*l - 0*l - 19. Is (g - (3 + -296)) + 4 + -1 a prime number?
False
Let g = 122 - -632. Suppose 3*v = 3781 - g. Is v prime?
True
Let d = -890 - -178. Let l be (-6)/10 - d/20. Suppose -2*w + 104 = 5*y, 2*w - l - 85 = 3*y. Is w a composite number?
True
Suppose 2*u - 2*j - 4724 = 2*j, -4 = -2*j. Suppose -3*m + 4*c = -c - u, -4*c = -5*m + 3939. Is m a prime number?
True
Suppose -3329 + 729 = 10*x. Let n = 525 + x. Is n a prime number?
False
Let t(z) be the second derivative of 204*z**5/5 + z**4/12 - z. Is t(1) a prime number?
False
Let b = -443 - -4956. Is b composite?
False
Let i(l) = l**3 - 7*l**2 + 2*l - 6. Let n be i(7). Suppose -5*h + n - 43 = 0. Is (80/(-56))/(1/h) composite?
True
Let y be (0 - 0)/(54/18) - 33. Is 2/11 + (-23721)/y prime?
True
Let y be (-20)/(-8)*12/10. Suppose 6738 = -n + 4*n + y*b, -2*n - 4*b = -4482. Is n a composite number?
False
Let z(y) = y**3 + y. Let n(g) = -5*g**3 + 4*g**2 + 2*g + 7. Let f(a) = -n(a) + 2*z(a). Is f(6) composite?
False
Let f be 6/9*(1 + 50). Suppose 0 = -i - 118 + f. Let b = i + 143. Is b a composite number?
False
Suppose -7*l = -2333 - 3694. Suppose 4*z - 1687 = -3*t, -5*z - l - 790 = -3*t. Is t composite?
False
Let g be 0 + 9244/22 - 10/55. Is 11 + -7 + g/2 prime?
False
Let a = -2528 - -56237. Is a a prime number?
False
Let z(b) = 1920*b**2 - 44*b - 287. Is z(-6) a prime number?
False
Suppose l - 1 = 4. Let g(p) = 41*p + 12. Is g(l) prime?
False
Let i(v) = -v**2 - 20*v - 17. Let g be i(-16). Let o = 34 - g. Is (o/3 - -4)*-771 a prime number?
True
Let t(o) = -316*o**3 - 2*o + 65. Is t(-6) composite?
True
Suppose 0 = 5*u - 39377 - 13878. Suppose -3*k + 2*k + 2131 = w, -5*w - k = -u. Let o = w + -1301. Is o a composite number?
False
Let p(m) = 112*m - 31. Suppose -9*o - 30 = -14*o. Is p(o) composite?
False
Suppose 5*k = i + 57616 + 26597, -2*k + 33676 = -5*i. Is k a composite number?
False
Suppose 4*v = u - 3*u - 12, -5*v - 3*u = 14. Let i = v + 1823. Is i composite?
True
Let q(c) = -34*c - 15. Suppose -2*d + 1 = -y - 6, -10 = y + d. Is q(y) prime?
False
Suppose 2*g = a + 4*g + 2, -3 = -5*a + 3*g. Suppose a = 5*h - 14 - 6, 5*x - 879 = 4*h. Is x a prime number?
True
Suppose 3*x - 11938 = -j, 5*j = -4*x + 4*j + 15917. Is x composite?
True
Let r be 1214*(0 - (-6)/(-4)). Is 1/(-2) + r/(-6) prime?
False
Suppose 3*a + 6*t - 11*t - 144413 = 0, -192520 = -4*a - t. Is a prime?
True
Let n = -16 - -20. Suppose 2341 = 4*c + n*a + 65, 3*a - 1134 = -2*c. Suppose -11*k = -8*k - c. Is k a prime number?
True
Let u = 18653 - -26504. Is u a prime number?
False
Suppose -7*y - 36870 = -17*y. Is y prime?
False
Suppose -5076 = 3*k + 5*q - 16523, 7634 = 2*k + 4*q. Is k composite?
True
Let d(j) = 81*j**2 + 7*j - 5. Let p(q) = -3*q - 20. Let t be p(-8). Is d(t) prime?
True
Let j(y) be the third derivative of -53*y**4/12 - y**3/2 + 34*y**2. Is j(-6) a prime number?
False
Let f(d) = -28*d**3 + 3*d**2 + 2. Let i be f(-3). Suppose 4*p = 2699 + i. Is p a prime number?
False
Let s be (28/(-6))/(2/(-78)). Let w = 397 - s. Is w composite?
True
Suppose 0 = 3*a + 63 - 60. Let u(r) = -253*r**3 + r**2 - 1. Is u(a) a composite number?
True
Suppose 0 = 5*y + 5*p - 57885, -y + 30*p + 11585 = 27*p. Is y prime?
True
Suppose 4*j = -5*s + 15187, 11*j + 4*s + 3781 = 12*j. Is j prime?
True
Let u(i) = 4*i - 5*i + 3*i**2 + 7 - 8*i. Is u(7) prime?
False
Let h be ((-35)/(-28) + 1)/(2/8). Suppose -h*k + 0*k + 459 = 0. Is k a prime number?
False
Let x(l) = l**3 - 5*l**2 - l - 7. Let f be x(5). Let a = 9 + f. Let n(i) = -2*i**3 + 3*i**2 - 4*i - 2. Is n(a) composite?
True
Let g(d) = 227*d - 131*d + 340*d + 3 + 330*d. Is g(1) a prime number?
True
Let w = 138823 - 56074. Is w a composite number?
True
Let l(c) = c**3 - c**2 + 2*c + 2. Suppose 0 = 3*a + 3*w - 117, 0 = -4*a - a - 2*w + 198. Suppose -4*g + 5*n + a = g, -2*g - 3*n - 9 = 0. Is l(g) composite?
True
Suppose -5*y + 556 - 71 = -3*x, 2*y - 194 = x. Let a = 86 + y. Is a a prime number?
False
Suppose -2*d - 3*i + 6877 = -0*i, -4*i - 17181 = -5*d. Is d prime?
False
Let v(o) = -2*o**2 + 13*o - 3. Let c be v(6). Suppose -34 = -c*h + 68. Suppose -h = 5*b - 164. Is b a prime number?
False
Suppose -15*t + 8*t = -3283. Is t prime?
False
Let u be -38*(45/(-6) + 0). Let a = u - 108. Is a a composite number?
True
Let g(x) = x - 18. Let a be g(13). Let w(l) = 42*l**2 - 9*l - 8. Is w(a) composite?
False
Suppose -4925 + 12580 = 5*u. Suppose -u = -3*v + 680. Is v composite?
True
Suppose 0 = -67*g + 211556 + 231113. Is g a composite number?
False
Suppose -2*c = 12 - 4. Let p(i) = 2*i + 10. Let q be p(c). Suppose -3*n - 826 = -q*d, -3*d + 4*n - 298 = -1537. Is d a prime number?
False
Let a(l) = -11 + 1 + 17*l - 1 + 2. Let t(v) = 25*v - 13. Let i(u) = -7*a(u) + 5*t(u). Is i(10) composite?
True
Suppose -16*g + 30344 = -8*g. Is g a composite number?
False
Suppose -1 = -a + 2. Suppose -a*x + 92 = -703. Is x composite?
True
Suppose 2*m + 2*c - 5*c - 22768 = 0, 0 = -5*m + 4*c + 56927. Suppose 0 = -4*z + 5577 + m. Is z a composite number?
False
Let p(s) be the third derivative of -113*s**4/8 - s**3/3 + s**2. Suppose -48 + 35 = 13*d. Is p(d) a composite number?
False
Suppose 27548 + 14681 = 11*v. Is v a prime number?
False
Let z(w) = 67*w**2 + 8*w. Let m be z(6). Suppose 3*i + 4*d + 1014 = i, 5*i + m = 5*d. Let c = 720 + i. Is c a prime number?
True
Let u(c) = c. Suppose 2*h + 0 = 4*t + 14, -5*t = -2*h + 18. Let z(w) = -3*w**2 - 8*w + 13. Let y(k) = t*u(k) - z(k). Is y(8) a prime number?
True
Let y(c) = 2954*c + 7. Let r be y(1). Suppose -10*q + r = -q. Is q a prime number?
False
Let v be (-16954)/(-84) + 1/6. Let n = v - -169. Is n prime?
False
Let x(r) = 16*r - 11. Suppose 0 = 3*f - 4*p - 29, -4*f + 7 = 3*p - 2*p. Is x(f) a prime number?
True
Let d(j) = 20*j**2 + 19*j + 11. Is d(-14) a composite number?
True
Let a(q) = -73*q - 28. Let v(p) = -1. Let k(t) = a(t) + 4*v(t). Is k(-7) prime?
True
Let s = -59 - -113. Let b = s + -45. Is b prime?
False
Let a = -977 + 3829. Suppose -3*v = v - a. Is v a composite number?
True
Let n = 1715 - -93. Suppose 4*d + n = 4*i, -d = -2*i - 2*d + 889. Suppose -3*g - x = -4*x - 261, x - i = -5*g. Is g prime?
True
Let u(z) = -7*z**3 - 17*z**2 - 6*z + 7. Is u(-8) prime?
True
Let a(b) = -2*b**2 - 19*b + 12. Let h be a(-10). Suppose 2*o = t - 109, 107 = 3*t - h*t - 4*o. Is t prime?
False
Let t = -33 - -47. Suppose -t = -8*z + z. Suppose 3 = -z*g + 15. Is g prime?
False
Let t(k) = k**3 + 10*k**2 - 10*k + 9. Let z = 10 + -21. Let s be t(z). Is s/(-4) - 10152/(-16) a composite number?
True
Let j(i) = 274*i**2 + 4*i - 9. Let m(k) = -k + 16. Let s be m(12). Is j(s) a composite number?
False
Let p = 2 - 8. Let z(t) = 209*t - 4. Let x(i) = -1. Let u(v) = p*x(v) + z(v). Is u(1) a prime number?
True
Let b(p) = p**3 + p**2 + p - 7. Let m be b(0). Let u = m - -2. Is 86 - 1 - (7 + u) a prime number?
True
Let g(p) 