 n = -2444 - -5673. Is n prime?
True
Let r(n) = 2*n**2 + 21*n - 6. Let q be r(-11). Suppose -t = -3*b + t + 1051, -322 = -b - q*t. Is b a prime number?
True
Let u(c) = -c**3 + 6*c**2 + 3*c - 7. Suppose 60 = -2*i + 5*i. Let z = i - 14. Is u(z) composite?
False
Let f be (1/2)/(5/40). Let z be -83*((-8)/f - -3). Let q = z + 141. Is q a composite number?
True
Let l be -12*-4*2/(-24). Let r(d) = -d**2 - 5*d - 1. Let f be r(l). Suppose -3*a = -4*c - 973, -7*c = -f*a - 2*c + 968. Is a composite?
False
Suppose 0 = 4*z - 3612 + 37304. Let b = 234 + -239. Is z/b + 2/5 composite?
True
Suppose 411217 = 20*b - 91843. Is b a prime number?
True
Suppose 4*s - 16901 = -4*g - 2393, 2*s + 5*g = 7242. Is s composite?
False
Suppose -123 + 117 = -x. Suppose -x*u + 10*u = 5596. Is u a composite number?
False
Suppose 2*f + 4*h = 5*f - 14155, h + 23603 = 5*f. Is f a composite number?
False
Let d(p) = 78*p**2 - 45*p - 98. Is d(13) a composite number?
True
Let d(x) = -2*x**3 + 29*x**2 + 14*x + 11. Let l be d(15). Let c(u) = -657*u - 11. Is c(l) composite?
False
Suppose 9*u = 3144 + 12507. Suppose 5*g - 8910 - 4220 = 0. Let w = g - u. Is w a composite number?
False
Let f be 3*(-2)/(-3*2). Let s(p) = 134*p**2 + 5*p - 6. Let v(c) = c**2 + c - 1. Let h(i) = f*s(i) - 6*v(i). Is h(1) prime?
True
Let w(v) = 1177*v**2 + 14*v + 35. Is w(-6) a composite number?
False
Let v(q) be the second derivative of 3*q**4 - q**3/6 - 23*q**2 + 38*q. Is v(-9) a prime number?
True
Let y = -175 - -58. Let j = 308 + y. Is j composite?
False
Let l be (8/(-3))/((-2)/6). Suppose 8 + l = 4*i. Suppose i*k + 5 = -k, 5*z + 4*k = 1531. Is z composite?
False
Let b(q) = q**3 + 6*q**2 + 3*q + 5. Let r = -38 + 26. Let y be (-24)/r - (-3 + 0). Is b(y) a composite number?
True
Suppose -2*x + 10 = -2*p, 0 = -3*x - 2*x - 5*p + 15. Suppose 0 = 4*r + 20, 4*r - 2616 = -x*c - 0*r. Is c a prime number?
True
Let d(f) = -223*f + 2. Let l(p) = 444*p + 7. Let a(g) = -222*g - 3. Let i(j) = -9*a(j) - 4*l(j). Let r(c) = 2*d(c) + 3*i(c). Is r(1) a prime number?
False
Suppose 4*w - 16736 = y, w + 2*w - 12541 = -2*y. Is w a prime number?
False
Let u = -2142 - -955. Let z = 150 - u. Is z composite?
True
Suppose -15*y - 15 = -20*y. Let g(s) = -s**3 + 3*s**2 + 4*s - 7. Let l be g(y). Suppose -911 = 3*f - 2*a - 2606, l*f = -4*a + 2803. Is f a prime number?
True
Let d(b) = -102*b + 80 - 113*b + 154*b. Is d(-17) a prime number?
True
Suppose 3*s = s - 0*s. Suppose -323 = -b - 4*z, z - 5*z = s. Is b prime?
False
Let k(a) = 184*a**2 - a. Suppose 3*l = -0*l - 12. Let c = l - -3. Is k(c) prime?
False
Suppose 0*g = -g - 3, -2*b + 4*g + 22 = 0. Is (-6)/(-15) + 4103/b a composite number?
False
Let d = -786 + 991. Is d prime?
False
Suppose 0 = 3*g - 3334 - 6824. Is g composite?
True
Let g = 6 + 5. Suppose o = -g*o + 9060. Is o a composite number?
True
Suppose -13 = 5*u + k, 2 = -2*u + 2*k - 4*k. Let s = 6 + u. Suppose 41 = s*x - 52. Is x composite?
False
Suppose -2*r + 21476 = 2*n, 4*r = 2*n - 0*n - 21494. Is n a composite number?
True
Let f be 4229/2 + 90/(-36). Suppose 0 = 4*h + 4*k - 0*k - f, 0 = 5*k + 5. Is h prime?
False
Suppose 3*i = -3*s - 87, -i - 18 - 73 = 3*s. Let r(w) = 2*w**2 + 2*w + 6. Let g be r(5). Let y = s + g. Is y composite?
True
Let a(i) be the first derivative of i**4 + 4*i**3/3 - i**2 - 3*i - 17. Suppose -2*v - 5*x + 5 = 0, -4*v - x + 16 = 3*x. Is a(v) composite?
False
Let t = -959 + 2418. Is t prime?
True
Suppose 0 = -4*r + 3*j - 2, 3*j - 6 = -0. Is (-3 + (r - 0))/(4/(-10598)) composite?
True
Let o = 27 + -22. Suppose k + 4441 = o*d + 3*k, -881 = -d - 4*k. Is d composite?
True
Suppose -12*n - 62941 = -162361. Is n composite?
True
Suppose -t + 0*t - 3*x + 64990 = 0, -t - x = -64996. Suppose 21*h = -3490 + t. Is h composite?
True
Suppose 3*i = 7*i + 20. Suppose 866 = -5*u + 5*n - 664, u = 5*n - 306. Let w = i - u. Is w a prime number?
False
Let q(r) = -r**3 + 5*r**2 + 6*r + 2. Let p be q(6). Suppose -486 = -p*l + 28. Is l prime?
True
Is 12*(7 - (-30217)/66) prime?
False
Suppose -3*n = -4*n + 277. Suppose q + 5*a - 230 = n, -a + 1990 = 4*q. Is q a prime number?
False
Let u be 6/14 + 2 + (-137)/(-7). Suppose 18*o = u*o - 2872. Is o composite?
True
Suppose -s = 4*b - b + 7, -5*s = b - 21. Suppose 3*n - s*d - 44 = -10, 0 = -4*d - 20. Suppose t - 1361 = -5*o + 5*t, n*t - 526 = -2*o. Is o prime?
True
Is 19/((-19)/(-9))*(-1087)/(-3) a prime number?
False
Suppose -2*i = -4*i + 22. Let l(r) = -r + 14. Let b be l(i). Suppose -2*g = 3*v - 2719, -v + 2724 = 2*g - b*v. Is g composite?
False
Let k = -2616 - -4129. Is k prime?
False
Let j(w) = 16*w - 12*w + 9*w - 61 + 10*w**2. Is j(12) composite?
True
Let o = -41 + 47. Let p(g) = -5*g + 4. Let n(j) = 10*j - 9. Let d(z) = 3*n(z) + 5*p(z). Is d(o) a composite number?
False
Suppose 4*w = 4*h - 7 + 31, -2 = -w + 5*h. Let j(n) = n**2 + 7*n - 4. Is j(w) a prime number?
False
Suppose 3*t + 0*t = -588. Let h = t + 323. Is h prime?
True
Let q(m) = 62*m + 263. Is q(6) a composite number?
True
Let h be (-5 + 33/6)*0. Suppose 8*i - 888 + 16 = h. Is i prime?
True
Let a(j) = 139*j**2 + 13*j - 74. Is a(5) prime?
False
Suppose -504 = v + 2*h, -v - 516 = -2*h - 0*h. Suppose 3*z = -l - 6 - 2, -3*z - 2 = -2*l. Is 1/(l/(v/3)) a prime number?
False
Let w(n) = -n**3 - 13*n**2 - 6*n + 5. Let k be w(-15). Let z = -166 + k. Is z a composite number?
False
Let c be 0*(2 + (-5)/3). Let z(a) = -a**2 - a + 497. Is z(c) a composite number?
True
Suppose u - 3275 = 2*p - 4*p, -5*p + 3*u + 8182 = 0. Let m = p - 682. Is m prime?
False
Let n(r) = -r**2 - 7*r - 5. Let x be n(-2). Suppose -2*b + 21 = -x*d, 3*d - 15 = -b + 7*d. Suppose -b*s = -359 - 70. Is s prime?
False
Suppose -y + 11 = -3*n - 6*y, y = -2*n - 12. Is n/(-14) + 2053/2 composite?
True
Let z = 8 + -4. Suppose -3*l + z = 2*i, -5*i + 8 = -l + 32. Suppose 5*t + 10 = -l*u + 36, t + 4*u = 18. Is t a composite number?
False
Let y(q) = 765*q**2 + 7*q - 7. Is y(-7) a prime number?
False
Is 40252/58*22/4 prime?
False
Suppose x + 24921 = -5*d + 63482, 0 = -d - 4*x + 7716. Suppose 4*z - d = 3*l - 2*l, 0 = 3*z + 2*l - 5773. Is z a prime number?
False
Let r(p) be the second derivative of -p**5/20 + p**4/3 - 2*p**3/3 + 3*p**2/2 + 4*p. Let n be r(3). Is (n - 3)*(-71 + 0) composite?
True
Suppose -214 + 19150 = 24*u. Is u a prime number?
False
Let c(a) = 2*a**2 + a - 20. Is c(11) composite?
False
Suppose -67*d = -64*d - 5*n - 52578, 5*d = 2*n + 87611. Is d a composite number?
True
Let z be 4/26 - 1080/(-78). Suppose z*c + 1996 = 18*c. Is c prime?
True
Let g(t) = 12*t**2 + 16*t - 16. Let d be g(-12). Let h = d + 2273. Is h composite?
False
Let n = -4985 - -8134. Is n a prime number?
False
Let f(c) = 11*c**2 + 8*c + 10. Let n be f(-4). Is n*(0 - 3/(-6)) composite?
True
Suppose 11 - 3 = -2*m, f - 5*m - 22267 = 0. Is f a composite number?
False
Suppose -6*u + 50 = -u. Let q be u*((-24)/20)/(-3). Is (-3)/(-1) + 216/q a prime number?
False
Is ((-2)/7)/(142/(-24073189)) a prime number?
True
Let v be (-672)/(-64)*(-360)/(-14). Let x be (-131)/(-1 + 6/7). Let p = x - v. Is p a prime number?
True
Let x(o) = -4*o**3 - 7*o**2 + o + 81. Is x(-32) composite?
False
Let v(a) = -a**3 + 4*a**2 - 2*a - 4. Let d be v(4). Suppose -p - 27 + 101 = 0. Let t = d + p. Is t a composite number?
True
Let j = -10 - 5. Let c(b) = b**2 - b + 1. Let a be c(j). Suppose -a = -3*h - 2*y, 7*y - 4*y + 389 = 5*h. Is h a composite number?
False
Let v be 14/6 - 4/12. Suppose v*k - 319 = 1159. Is k a prime number?
True
Suppose 634 + 206 = 3*d. Suppose -3*u = 5*f + d, f - 4*u = -u - 56. Let l = 83 - f. Is l a prime number?
True
Let a be (3 + -2)*217 - 3. Let z = a + 651. Is z a prime number?
False
Let r = 6 - 2. Is 1/r - 3873/(-12) a prime number?
False
Suppose 6*q - 4*q = 11804. Suppose p - 2823 = 5*g - 849, -5*g = 3*p - q. Is p composite?
True
Let p be 4 + -5 - (4 - -16). Let o(t) = -155*t - 94. Is o(p) a prime number?
False
Suppose 2*k - 8 = -2*x, -k + 0*x - 12 = 5*x. Suppose k*b = 4*b + 16. Suppose 3*p = b*p - 769. Is p composite?
False
Suppose 0*c = -6*c + 180. Is (-7)/(-5) - 1 - (-1458)/c prime?
False
Let p(b) = 9*b**2 + 17*b**2 + 21*b**2 - 29 + 4*b. Is p(-8) composite?
True
Suppose 0 = 3*m - 6 - 9. Suppose 270 = -2*a + 2*g, -2*a - m*g = -0*g + 263. Is (a/(-4))/((-3)/(-12)) prime?
False
Is (-294)/1470 - (16