p a composite number?
False
Let j(h) = 2*h**2 + 5*h - 5. Let n be j(-4). Let d = 26 - n. Is d composite?
False
Let o(k) = 77*k + 7. Suppose -4*d - d + 36 = 2*y, -4 = 2*y - 5*d. Is o(y) prime?
False
Let t = 58 - 48. Is (-1245)/t*-2 + 2 a composite number?
False
Suppose 3*t + 7*o = 8*o + 11068, 5*t - 18445 = 2*o. Is t a prime number?
True
Suppose -3*v - 2*t + 3*t + 6 = 0, 4*v + t = 8. Is (-6)/(-18) - v/(-3)*244 a composite number?
False
Let t = -6 + 10. Suppose -5*n = q, -5*n = -4*q - 0*n + 25. Suppose 2*c - q*s + 2132 = 5*c, 0 = -t*s - 20. Is c composite?
False
Let h = -76 - -79. Suppose -h*x = -0*s - 3*s - 5550, -2*x - 4*s = -3682. Is x a composite number?
False
Suppose 2*a + 280 = -2*a. Let v = -42 - a. Suppose i = v + 55. Is i a composite number?
False
Let k(j) be the first derivative of j**4/4 - 8*j**3/3 + 3*j**2/2 - 7*j + 5. Is k(13) a composite number?
False
Is 2 + -10 + 5 - -204 a composite number?
True
Suppose -8*g - 13 = 11. Is (g/(-2))/((-10)/(-1660)) a composite number?
True
Suppose 5*h - 3*l - 55 = 0, -5*h + 4*l = 3*l - 45. Let o(i) be the third derivative of i**5/20 - i**4/6 - i**3/2 - i**2. Is o(h) a prime number?
True
Let h = 445806 - 284309. Is h prime?
False
Let u be 1*(-3 + 5)*3001. Suppose -5*w + k + u = 0, -2*k + 650 = w - 557. Is w composite?
False
Is (-4)/(-26) - (-13456377)/429 a prime number?
False
Suppose x - 5*x - 3*d = 26, 5*x - 4*d = -17. Is (-2 - (-447)/(-15))*x composite?
True
Let o(i) = -i**3 - i**2 - 33*i + 10. Is o(-9) composite?
True
Suppose -d = 3*a - 7, 4*d - 8 = -3*a + a. Suppose 20 = i - 3*g - a*g, i = 4*g + 16. Suppose i = -q - 3*q + 892. Is q a composite number?
False
Let g(m) = 2*m**3 - 7*m**2 + 35*m - 94. Let t be g(5). Let o = -134 - -505. Let c = o - t. Is c a composite number?
True
Let n(p) = 2 + 28*p**2 + 9*p**2 + 5 - p - 4*p. Is n(2) a composite number?
True
Let w(k) = k**3 - 25*k**2 + 17*k + 15. Is w(32) a prime number?
True
Suppose -5*r - 3 = -2*j, j + 2*j + 2*r - 14 = 0. Suppose 5*n + j*c = -16, -3*n - 2 - 2 = c. Suppose -w + 2*w - 233 = n. Is w a prime number?
True
Suppose -4*s = 2*f + s - 8118, 3*f - 2*s - 12177 = 0. Suppose -8514 = -9*u + f. Is u a composite number?
True
Let f(m) = 263*m - 19. Let g be f(8). Suppose -8*a + g = -13411. Is a a composite number?
True
Let z = -2 + 3. Let g be 209/77 - 5/(35/(-2)). Is (296 + g)/(0 + z) composite?
True
Let k(a) be the first derivative of 2*a**3 + 39*a**2/2 + 14*a - 8. Is k(-21) prime?
False
Suppose 9*c = 66*c - 692493. Is c composite?
False
Suppose -9*u - 5*i + 559474 + 206132 = 0, 0 = -5*u + 2*i + 425351. Is u a prime number?
False
Let g be 2/15 - (-336133)/465. Let r = g + -512. Is r composite?
False
Let v = 14015 + -5202. Is v a prime number?
False
Let w = 1333 - 296. Is w a composite number?
True
Let a = -581 + 1812. Is a a composite number?
False
Let k(j) = -125*j + 22. Let f(z) = 249*z - 42. Let y(q) = 2*f(q) + 5*k(q). Is y(-15) prime?
True
Let r(d) = d**3 + 5*d**2 + 3*d. Let n be r(-4). Is 12/8 + 2246/n composite?
False
Let l = 9 - 6. Let g be (-572)/(-91) - 2/7*1. Suppose l*v - v - g = 0. Is v prime?
True
Suppose 0 = 7*r - 8*r + 198. Let p = 13 + r. Is p a composite number?
False
Let l(t) = -t - 6. Let x be l(-7). Let q be 6/4*(1 + x). Suppose 5*i + 532 = 4*a, -2*a - q*a + 665 = -i. Is a a composite number?
True
Is 2 - 6/((-4 - -2)/1104) composite?
True
Let m(s) = 24*s**3 + 2*s**2 - 5*s - 62. Is m(9) prime?
True
Let m(p) = p**2 - 3*p + 1. Let w be m(3). Let z be 0/4 - (-2 - w). Suppose -2*t - z*t = -915. Is t a prime number?
False
Let g(p) = 2*p**2 + 74. Let f be g(0). Let k = 24 - -8. Let x = k + f. Is x composite?
True
Let y be 1*(32/24)/(1/3). Suppose -5*u + r + 5614 = 1412, -2*u = y*r - 1694. Is u composite?
True
Suppose 3*t = t + 322. Suppose t = 3*s + v + 3*v, 5*s + v - 291 = 0. Is s a prime number?
True
Let m(p) = -p**3 + 41*p**2 + 127*p - 61. Is m(33) a prime number?
False
Is (-2)/(-7) - (-10 - 8267/49) a prime number?
True
Let r = 18 + -11. Suppose -2*g + r = -11. Suppose h + 5*u + g = 72, -5*u = -5*h + 435. Is h prime?
True
Let g = -16 - -24. Suppose -g*l + 2500 = -3*l. Suppose -5*v + u - 3*u = -2487, 0 = -v - 3*u + l. Is v a prime number?
False
Suppose 0 = w - 2*i + 2, w = -i - 1 + 2. Suppose -2*f + 4*r = -w*f - 5206, -2*f - 4*r + 5230 = 0. Is f a prime number?
True
Let j = 6317 - 4368. Is j a prime number?
True
Suppose -3*m = 9 + 3, -3*v - 70 = 4*m. Let i = v - -14. Is 3 - (468 + i)/(-4) prime?
False
Suppose -12*d - 4 + 52 = 0. Suppose -k = 0, -d*z + 3845 = -4*k - 2703. Is z a composite number?
False
Is 4/(-7 - -3) - -2 - -10800 a prime number?
False
Let j be (0 + 6)/(3/298). Suppose 2138 = 6*l + j. Is l prime?
True
Suppose -2*c = c - 2*r - 5500, -2*c + 3664 = -2*r. Suppose 2*b + 0*b = u + c, u - 1840 = -2*b. Is b composite?
False
Let v be 46202/12 - 4/24. Let a = -257 + v. Is a prime?
True
Let u be (-4 + -152)/((-3)/2). Suppose 0 = 2*b - u - 6. Is b composite?
True
Let g = 204 + -119. Is g a prime number?
False
Let d(n) = -2478*n - n**2 + 3 + 2*n**2 + 2481*n. Is d(8) composite?
True
Suppose -4*n - 19104 = -4*d, 6*d = 2*d - 3*n + 19111. Is d prime?
False
Let x be (6088/(-2))/(-4) - -2. Let b be (-2)/(-8)*(1 + x). Suppose m - 4*r = 50, 4*r + b = 5*m + 5. Is m prime?
False
Let a = 37144 + -18495. Is a a prime number?
False
Suppose 4*w + 4*o + 1422 = 2*w, 0 = -3*w + 5*o - 2166. Let k = 1638 + w. Suppose g + 2*g = k. Is g a composite number?
False
Let a = 37 + -26. Suppose 0 = -a*p + 6*p - 4*q + 2325, 3*q - 1392 = -3*p. Is p a composite number?
True
Suppose -3 + 21 = 6*u. Suppose -f - u*f = 0. Is (f + 3)/((-6)/(-246)) composite?
True
Let l(k) = k**3 - 8*k**2 - 12*k - 18. Let w(j) = -j**3 + 5*j**2 + 7*j + 7. Let t be w(6). Is l(t) prime?
False
Suppose h = -3*q - 4, 3*q - q + 4*h = -16. Suppose q*d - 1722 = -6*d. Is d prime?
False
Let h(y) = -98*y - 6. Let q be h(1). Suppose 5*p - 255 = 180. Let j = p - q. Is j prime?
True
Let b(i) = -248*i**3 + 3*i**2 - i - 2. Let t be b(-2). Suppose 3*v = -v + t. Is v prime?
True
Let d(o) = -3*o - 6. Let c = -10 + 8. Let r be (-39)/c*12/(-18). Is d(r) a prime number?
False
Let z(i) = 5*i**2 + i - 3. Let u be z(1). Suppose 0 = 5*s + 3*k - 2115 - 3115, u*s - 3122 = -5*k. Is s composite?
False
Suppose 46264 = 9*n - 99689. Is n prime?
True
Let n(s) = -4 - 15 + 266*s - 149*s. Is n(10) prime?
True
Suppose 0 = 4*z - 7 - 5. Suppose 0 = 4*k - 8, -z*q - 5*k = -q - 302. Is q a composite number?
True
Let i be 4/(-2) - -4 - -321. Let n = i + -146. Is n prime?
False
Suppose 4*m = -4*a + 7*m + 15197, 5*m = 2*a - 7581. Is a a prime number?
True
Let l = 85 - 87. Is 1/(2/(-1901))*4/l prime?
True
Suppose -4*c - 2 - 314 = 0. Let v = -30 - c. Let z = 106 - v. Is z prime?
False
Let c(k) = 59*k**2 + 31*k - 144. Is c(14) prime?
False
Let z(y) = -y**3 + 3*y**2 - y + 6. Suppose 6*k - 9*k = -12. Let o be z(k). Let h(r) = -10*r - 13. Is h(o) prime?
True
Let h = -6959 - -17842. Is h a prime number?
True
Suppose -d - 4*d - 195 = 5*g, 3*d - 3 = 0. Is -305*(-8)/(g/(-3)) a prime number?
False
Let w(s) = 4*s**3 + 16*s**2 - 14*s - 8. Let x(f) = -f**3 - f**2 + f. Let b(o) = -w(o) - 3*x(o). Is b(-15) prime?
True
Let c(r) = 0*r - 213*r**3 - 7 + 10*r**2 - 5*r + 214*r**3. Is c(-10) a composite number?
False
Suppose -2*z + 1826 = -1030. Suppose 15*s - z = 12*s. Suppose 5*a - s = a. Is a composite?
True
Suppose 14*p = 15*p - 445. Is p a prime number?
False
Suppose -x = 2*x. Suppose 0 = -5*r - 9*n + 4*n, x = -2*r + 3*n. Suppose -m - 2*m + 69 = r. Is m a prime number?
True
Let r = 30807 - 17164. Is r a prime number?
False
Suppose -49 = -5*b + 46. Let o = 35 - b. Suppose o*y - 575 = 11*y. Is y a prime number?
False
Let m(t) = -t**2 - t + 1687. Let i be m(0). Suppose -3*k = -0*k + 2*o - 1244, -i = -4*k + 3*o. Is 2 + (-1 - k/(-1)) prime?
True
Suppose -3*m - 3 = -2*m. Let x be (-7 - 3) + m/(-1). Let j(k) = -k**2 - 14*k - 3. Is j(x) a composite number?
True
Is 13/((-78)/(-84741)) + 2/(-4) prime?
False
Let k = -36 - -59. Suppose 2*v = -z - 1, 0 = -v - 0*z - 5*z - k. Suppose 106 - 423 = -v*x - 5*n, -x = -4*n - 178. Is x composite?
True
Suppose 0 = 118*w - 114*w - 33412. Is w composite?
False
Let w(a) = a**3 - 6*a**2 + 4*a + 4. Let c be w(5). Is (-10)/c*123/6 a prime number?
False
Is (-3 - -1) + (-47400)/((-8)/1) prime?
True
Let m = -899 + 632. 