 6042 - g. Is r prime?
True
Let r(a) be the first derivative of -a**4/4 - 3*a**3 + 3*a**2/2 + 22*a + 10. Let s be r(-9). Is 2/2 + s - -162 a composite number?
True
Let v = -7510 + 15411. Is v a composite number?
False
Let a = 85 + -85. Suppose -13*b + 4057 + 14130 = a. Is b prime?
True
Suppose -8 = -4*o, -5*o = -5*h - 30655 + 131140. Is h a prime number?
False
Is (3 - 973/2)*20/(-10) prime?
True
Suppose 11*l - 13555 = 14506. Is l prime?
True
Suppose 4*p = -20*j + 17*j + 1899, 5*j - 5*p - 3165 = 0. Is j prime?
False
Suppose -9*a - 58453 = -173482. Is a composite?
False
Let h = -32 + 152. Suppose -2*p + h = 3*p. Let s = p + 103. Is s a prime number?
True
Suppose -6*d - 5*v = -d - 109790, 4 = -4*v. Is d prime?
False
Let b be (-8)/(-3) + (-4)/6. Suppose -3*d + 1064 = -b*d - k, -d + 1067 = -4*k. Suppose -3*j + 1 = 4, -3*j - d = -4*a. Is a composite?
True
Let a(j) = 247*j + 9. Let p be (4/18*-12)/((-2)/3). Is a(p) a prime number?
True
Let g(o) = -244*o - 8. Let p be g(-7). Suppose p = 2*b + 3*b. Suppose b = n + 3*n. Is n composite?
True
Let u = 87 + -97. Is 0 + 2/u + 4926/5 a prime number?
False
Let a = 18 + -15. Suppose -2*u = 3*g, 2*u = -2*g - a*g. Suppose u = 3*s - 5*s + 38. Is s prime?
True
Let n = 10332 + -6614. Suppose -314 = 4*x - n. Is x a composite number?
True
Suppose 4281 = 11*a + 1146. Suppose -891 = -3*z + 3*d, z - a = 2*d - 4*d. Is z a prime number?
True
Suppose 2*x = -2*x. Suppose -3*y = -2*s + 112, -3*s + 2*s - 2*y + 56 = x. Suppose 363 = a + s. Is a composite?
False
Let d = 9 - 15. Let w(z) = -2*z**2 - 15*z - 7. Let s(a) = 4*a**2 + 29*a + 13. Let n(m) = 6*s(m) + 11*w(m). Is n(d) a composite number?
False
Suppose 3*a + 7976 = 5*a + 2*o, a = -5*o + 3984. Is a prime?
True
Let z = 323 + -223. Suppose -3*m - f = -235, -z = -2*m + m + 4*f. Suppose 2*l - m = -3*r, -l + 2*r + 107 = 2*l. Is l a composite number?
False
Suppose -2*i + 55390 = 4*t, 5*t + 110741 = -36*i + 40*i. Is i a prime number?
True
Let d = -27 + 48. Is ((-8)/(-56) - (-2468)/21)*d prime?
False
Let x(r) = 56*r**2 + 16*r + 37. Is x(-13) a composite number?
False
Is (-9)/(-6)*2 + 37631 + -15 prime?
True
Suppose 13*f - 11*f = -8. Is 3*2/(f/(-202)) composite?
True
Let a = -39 - -44. Suppose 0 = 4*y - a*y - 3. Is (2/(-6))/(y/14049) composite?
True
Suppose 2*j + 2*j = 420. Let t(r) = 2*r + 3. Let h be t(2). Suppose h*v - j = 4*v. Is v prime?
False
Suppose 6 = 3*u, -5*x - 1151 = 4*u - 3049. Let a(v) = -2*v**2 - 11*v - 24. Let p be a(-4). Is x - p/4 - 2 prime?
True
Suppose 3*l + 17 = 5*i, 0*l = 5*i + 4*l - 24. Let c be 41*3 + (-2 - -2). Suppose 4*r + 0*r - c = -t, -r = -i*t - 35. Is r a composite number?
False
Let c be 0*(2 + -1) - -159. Let q be (-4117)/(-161) - (2 - 17/7). Suppose -c = -5*d + q. Is d a prime number?
True
Let b be -4 - ((-84)/1 - 1). Let f = 286 - b. Is f a composite number?
True
Suppose -5*l = -462 + 127. Let k = l + -32. Is k composite?
True
Let g be ((-9)/9)/(1/(-5)). Let b = -3 + g. Is b/(-6)*(4 + -49) composite?
True
Let z(j) = 3*j**2 - 4*j - 7. Let h be z(3). Is h/10 + 5282/10 composite?
True
Suppose 5*f - 50 = 2*g, -f = -3*f + 3*g + 9. Let o be 10/f + (-1)/(-6). Is 37*((0 - 0) + o) prime?
True
Let y(i) = i**2 + 6*i + 12. Let p be y(-5). Let z = -9 - p. Let k(t) = t**3 + 17*t**2 + 11*t - 13. Is k(z) prime?
True
Let c be (-6)/(-21) + 38/14. Suppose 1 - c = -h. Suppose -h*l = 3*l - 455. Is l composite?
True
Let s(h) = -h**2 + 5*h + 14. Let o be s(6). Suppose -6*k - 614 = -o*k. Is k a composite number?
False
Suppose 0 = -2*d + 16290 - 3284. Is d a composite number?
True
Suppose 4*v + 32 = 3*u, u + 3*v = 6*u - 35. Suppose 0 = -2*s - 5*z + 33, -48 = -u*s - 3*z + 11. Suppose -213 = s*b - 17*b. Is b a composite number?
False
Let j(q) = -73*q**3 - 6*q**2 - 18*q - 6. Is j(-5) prime?
True
Let y(t) = -14*t**3 + t + 1. Let g be y(-1). Let r = 13 - g. Is 828/10 + r/(-5) prime?
True
Suppose 12*i + 22543 - 259867 = 0. Is i composite?
False
Suppose -197 = -7*j + 11262. Is j composite?
False
Let m be ((-116)/16)/(5/(-100)). Suppose 5*j + 2*v - 1025 = 0, -2*v - 350 = -j - m. Is j prime?
False
Let i(n) = n**2 + 4*n + 2. Let p be i(-6). Let w(h) = h**3 - 17*h**2 + 9*h + 16. Let d be w(p). Is d/(-4) + (-8)/16 a prime number?
False
Suppose 128322 = 27*g - 785169. Is g prime?
False
Suppose -50*u - 71930 = -55*u + f, 20 = 4*f. Is u prime?
True
Let r(q) = 6*q**2 + 36*q + 5. Let w be r(-20). Is (5 + (-48)/10)*w a composite number?
False
Let f = 690 + 2095. Is f composite?
True
Let m(z) = -z. Let t be m(-1). Let f be (-14*1 - 2)/t. Let a = 143 + f. Is a composite?
False
Let g(p) = -p**2 - 2*p + 7. Let h be g(-3). Suppose -h*i - 385 = -3*y + 2*y, 2*i = -4*y + 1522. Is y a composite number?
True
Suppose 2*r = 4*i + 24 + 2, 4*i = 4*r - 40. Let o be r - ((-4)/1 - -8). Suppose 0 = 5*z - 4*u - 417, o*z + 4*u = 4*z - 77. Is z prime?
False
Let s(b) = 801*b + 187. Is s(8) prime?
False
Suppose 35*o = 17*o + 292878. Is o a prime number?
False
Suppose 5*f = 3*t - 2, -3*f + t = 2*f - 6. Suppose -4*g - f*g = -12306. Is g a prime number?
False
Suppose 5*l + 896 = -2*y + 4012, 4*y - 4*l - 6260 = 0. Is y a composite number?
True
Let t(i) = 68*i**2 - 11*i + 14. Is t(-11) a prime number?
True
Let p(c) = -c**3 + 5*c**2 + 7*c - 6. Let r be p(6). Let i be (-3 - (r - 3))/3. Suppose j = -2*n + 9 + 57, i = -4*j - 8. Is n prime?
False
Let i(b) = 18*b**2 + 4*b - 7. Let p(w) = -37*w**2 - 9*w + 15. Let t(f) = -7*i(f) - 4*p(f). Is t(7) a composite number?
False
Let s = -4127 - -21186. Is s a composite number?
True
Suppose 2767 = 6*b - 3107. Is b composite?
True
Suppose 43745 = 7*d - 2*d. Is d a composite number?
True
Suppose -3*r + 4 = -s, 2*s = 2*r + 4*s. Is 3 + r - (-689 + 2) prime?
True
Let a be (-20)/(-2)*(-7)/(-14). Suppose 0 = 4*s - a*s + 71. Is s a composite number?
False
Suppose -p = 15 + 1. Let w = p + 13. Is ((-1)/(-2))/(w/(-3174)) a composite number?
True
Let g(z) be the first derivative of 89*z - 1 + 1/3*z**3 + 0*z**2. Is g(0) prime?
True
Is -2999*(8/(-2) - -3) a composite number?
False
Suppose 3*o + 4*l = -144, l + 16 = -o - 33. Let t = o - -179. Is t composite?
False
Suppose 10*a - 9*a - 3 = 0. Suppose 16 = -2*l - 4*j, -7*l + a*l - 3*j - 12 = 0. Suppose -3 + l = x, 0 = 5*m + 2*x - 2089. Is m a composite number?
False
Suppose 3*a + 2*w = w + 36540, 2*a - 24371 = 3*w. Is a prime?
False
Let y be (-1)/(-1 - 0 - 0). Is (4 + 897)/(y + -3 - -3) composite?
True
Let h(c) = c + 140. Is h(-19) prime?
False
Is 16/12*(-17241)/(-28) a composite number?
False
Let p(x) = -17678*x - 219. Is p(-4) prime?
False
Suppose -8 = -3*u - w - 0*w, -16 = -3*u - 5*w. Suppose 0 = u*f - 6198 - 11336. Is f a prime number?
False
Let n(v) = -v**3 - v. Let y(z) = -2*z + 1. Let r be y(1). Let l(h) = 2*h**3 + 6*h**2 + 12*h - 5. Let t(g) = r*l(g) - n(g). Is t(-10) prime?
False
Suppose 5*p = -b + 2*p - 493, 3*p = 5*b + 2501. Let h = 272 - b. Is h composite?
True
Let z(c) be the first derivative of -c**4/2 + 2*c**3/3 + c**2/2 + 5*c + 3. Suppose -3*d - 2*q = 22, 13 = -2*d - 2*q + q. Is z(d) a prime number?
False
Let n = -24 + 46. Let o(c) = 32*c + 3. Let m be o(-3). Let u = n - m. Is u prime?
False
Let c = 24465 + 27614. Is c a composite number?
True
Let t(z) = z**3 + 12*z**2 - 8*z + 16. Let x be (3 - 5/2)/((-3)/54). Is t(x) a prime number?
True
Suppose 189982 = -28*c + 30*c. Is c composite?
True
Suppose -4*f = -10*f + 30. Suppose 5*c - 3*d - 5255 = 2*d, -f*c + 4*d + 5253 = 0. Is c prime?
True
Is 3958 - (108/2)/6 composite?
True
Suppose -6*q - 2 - 16 = 0. Is 2 - (-2 - q) - -590 composite?
True
Let l(i) = i - 1. Let o be l(-9). Let s(z) = 5*z**2 + 13*z + 11. Is s(o) a composite number?
True
Suppose 2*g = 2044 + 1650. Is g a prime number?
True
Suppose -k + 4*k = 16869. Is k prime?
True
Let g = -292 - -170. Let x = g + 237. Is x a composite number?
True
Suppose -f - 5*p = -51913, 84*p = -f + 80*p + 51918. Is f composite?
True
Let x(v) = v**3 - v**2 - v + 3. Let m be x(0). Suppose 3*a = -4*i + 25, -4*i + m*i + a = -1. Suppose 0 = -4*y - 9*c + i*c + 533, c = 5. Is y composite?
False
Let q(t) = t**2 + 15*t + 16. Let z be q(-15). Is (-1 - -374) + z/4 a prime number?
False
Let h(i) = 75*i**2 - 37*i + 73. Is h(9) a prime number?
False
Let q(b) = -710*b + 243. Is q(-22) composite?
True
Suppose 19335 = 5*l - 15870. Let y = l + -4184. Is y prime?
Tr