s s prime?
False
Let x(z) be the second derivative of z**3/2 + 829*z**2/2 + 14*z - 2. Is x(0) a composite number?
False
Let g(z) = -9*z**3 - 7*z**2 - 4*z + 6. Let o be g(-5). Suppose -13625 = -4*p - 5*c, -77*p + 17029 = -72*p + 4*c. Let b = p - o. Is b a prime number?
False
Let n(l) = 40*l**3 - 30*l**2 + 38*l - 457. Is n(20) composite?
False
Let w = 134 - 145. Let f(i) = 53*i**2 + 9*i + 9. Is f(w) composite?
False
Let f(x) = 54*x**2 + 26*x + 11. Let r = -462 - -469. Is f(r) composite?
True
Suppose -3*f - 4*h + 18 = 0, -5*f + 4*h + 12 = -18. Let k be -177 - -3*4/f. Let o = k + 366. Is o composite?
False
Suppose 137*m - 193381 = 187068. Is m prime?
True
Let r = 4555 + -952. Is r a composite number?
True
Let y(r) = -r**2 - 7*r + 4. Let s be y(-7). Suppose 15 = -5*d - 0*d + 5*g, 4 = -3*d + 2*g. Suppose d*o = -8, -s*p = -4*o + o - 776. Is p prime?
True
Let l(o) = o**3 + 23*o**2 + o + 24. Let r be l(-23). Let x be 4 + (1 - (0 + r))/(-1). Suppose -5*u = -4*z + 874, -4*z + 591 = x*u - 301. Is z a prime number?
False
Suppose 5*b - 588744 = 14*x - 18*x, 588716 = 4*x - 2*b. Is x a prime number?
False
Suppose 5*k = 14*k + 3*a - 14754621, -4*a - 32 = 0. Is k composite?
True
Suppose 6*x + 200997 = 3*o + 11*x, 2*o + 2*x = 134006. Is o a prime number?
False
Let u(s) = 9802*s + 969. Is u(10) prime?
False
Suppose 0 = -3*h + 4 - 10. Is 2*((-99944)/(-24) - h/12) composite?
False
Is 24078 + 1/(-7) + 480/(-70) a prime number?
True
Suppose 0 = 13*z - 225 - 204. Suppose 0 = -3*v + 36 - z. Is (-7 - 23075/(-15)) + v/(-3) a prime number?
True
Let m = -26369 - -95603. Let f = -47521 + m. Is f a composite number?
False
Let v = -18582 + 27663. Suppose 0 = -7*z + 10*z - v. Is z a composite number?
True
Let w(a) = -a**3 - 19*a**2 + 10*a + 33. Let j be w(-29). Suppose -30080 - j = -17*v. Is v prime?
False
Let f = -794 - -800. Is (7 + (-9037)/14)/((-3)/f) a prime number?
True
Is (1580/(-80) + -1)*-21548 prime?
False
Let u(n) = -n**3 + 89*n**2 - 120*n + 1897. Is u(-61) prime?
True
Let r = 266 + -260. Is 225860/69 + (-8)/r + 1 a composite number?
True
Let u be (9 + -4 - 4)/(3/57561). Suppose 2*o - 16726 = -v, -3*v - 22628 = -5*o + u. Is o a composite number?
False
Suppose -5*u + 100 = -5*m, -5*m + 54 = 3*u + 2. Suppose -u*f + 103046 = -140477. Is f a prime number?
False
Suppose -41238990 = -81*t + 1537677. Is t a composite number?
False
Let x = 240 - -4729. Is x a composite number?
False
Is (3 - 2)/((1 - -1)/(-2)) + 13518 a composite number?
True
Let y be 6 + -10 - 1 - -8. Suppose y*z - 1765 = 4*c, -12*c = z - 15*c - 595. Is z a composite number?
True
Let i(g) = -11*g + 1. Let t be i(1). Let w(o) = o**3 + 6195*o + 6186*o - 12394*o + 4 + 1 + 12*o**2. Is w(t) composite?
True
Let y(w) = w**2 + 4*w. Suppose -3*d = -2*t + t - 20, -10 = 3*t + d. Let x be y(t). Suppose 5*p - 2*g - 5420 = 3*g, 0 = 4*p - x*g - 4338. Is p a prime number?
False
Suppose n - 6*n + 8 = 3*c, 12 = -2*n - 5*c. Suppose 10*k - 11*k + 415 = 3*p, 3*k = n*p + 1219. Is k composite?
False
Let m = 91 + -88. Let a(q) = 6 - 4*q - q**3 - 6*q - 5*q**m + 5*q**3 + 20*q**2. Is a(11) a composite number?
True
Let v(b) be the second derivative of -6349*b**6/720 + b**5/30 + 4*b**4/3 - 16*b. Let i(z) be the third derivative of v(z). Is i(-1) a composite number?
False
Suppose -3*m = -15 + 9. Suppose 4*v - 8820 = -m*v. Let x = v - 943. Is x a prime number?
False
Let k(n) = -896*n - 83. Suppose 534 = -16*l + 278. Is k(l) a composite number?
True
Let v(x) = 8*x - 24. Let y be v(-7). Let q = 100 - y. Suppose -c + 217 + q = 0. Is c a composite number?
False
Let b(p) = -347*p**3 + 5*p**2 - 178*p - 1285. Is b(-7) prime?
True
Let y(f) = 60*f**3 + 6*f**2 - 38*f - 125. Is y(11) a prime number?
False
Let v(h) = 3*h**2 + 18*h - 266. Let w be v(7). Let b(q) = -2*q - 12 - 3*q**2 + 2*q**3 - 7*q**2 + 3*q. Is b(w) composite?
False
Let i(f) = 3*f**2 + 5*f + 19. Let j be i(-3). Suppose 4*b + 23195 = 5*p, 2*p = -35*b + j*b + 9306. Is p prime?
True
Suppose -11*c + 7*c = 2*n - 75950, -3*n = -4*c - 113945. Is n composite?
True
Let o be 185*(-6)/(-90)*81. Let t = o + 1606. Is t a composite number?
True
Let g(f) = -f**3 + 14*f**2 + 15*f - 3. Let a be g(15). Let x(t) = t**2 + 2*t + 4. Let r be x(a). Let v(z) = 78*z + 11. Is v(r) a composite number?
False
Let y(u) be the second derivative of u**3 + 11*u**2/2 + 7*u - 4. Is y(7) a composite number?
False
Let k(t) = t + 3*t + 2*t**2 + t - 13*t + 2*t + 33. Is k(16) prime?
True
Suppose 14*t + 371 = 1295. Suppose 78*v - 58932 = t*v. Is v a composite number?
True
Suppose -11*a + 4*a + 21 = 0. Suppose a*w - 69 = -4*v + 146, 0 = w - 5*v - 78. Suppose 6*t - 4541 = w. Is t composite?
False
Let i(m) = m**2 - 28*m - 9. Let b be i(27). Suppose 5*f + 42 = -83. Let k = f - b. Is k a composite number?
False
Suppose 0 = 2*q + 10, -2*h - 115*q + 243051 = -116*q. Is h prime?
True
Let h(g) = -7*g - 70. Let z be h(-10). Let y(t) = -5*t**3 + 4*t**3 + 257 + 2*t**3 - t - t**2. Is y(z) a prime number?
True
Let w = 74 - 71. Suppose m - 12320 = -4*h + w*m, -5*m + 9227 = 3*h. Is h a composite number?
False
Let g be (-131228)/(-22) + (-78)/(-858). Suppose 12 = -0*i + 4*i. Suppose -5*z = 0, -g = s - 6*s + i*z. Is s composite?
False
Let g(p) = 508*p**2 + 1051*p - 76. Is g(-27) prime?
True
Let s(y) = 464*y**2 - 38*y + 251. Is s(9) composite?
False
Let r = 1971 - 207. Suppose -60 = -4*c - 43*k + 39*k, -3*c = -k - 37. Let v = r + c. Is v a prime number?
True
Suppose -3*m - 5*p = -712638 - 210129, -3*m - p = -922791. Is m composite?
True
Suppose 236*r = 772362 - 87254. Is r prime?
True
Let w = -12441 + 6375. Let u = w - -9137. Is u composite?
True
Suppose 3*s = 2*o - 1067, 0*s + 4*s - 2679 = -5*o. Let p = 197 - o. Let m = p - -757. Is m a composite number?
False
Is (-98)/(-1617) - (-14271933)/99 prime?
True
Suppose -2*l + 571024 = -15*t + 18*t, -5*t = -10. Is l a composite number?
True
Let o(f) be the first derivative of -929/2*f**2 - 5*f - 1. Is o(-4) a composite number?
True
Let i(a) = -2*a + 5. Suppose 0 = 6*z - 13*z. Let k be i(z). Suppose -914 = -2*x + 2*h - 160, k*x - 2*h - 1891 = 0. Is x a composite number?
False
Let l = -5 - -10. Suppose 0 = 51*z - 46731 + 372. Suppose l*w = 2786 + z. Is w a composite number?
False
Let j be 2/(-9) - (-1094)/(-18). Let o = 71 + j. Suppose 13*z = o*z + 633. Is z prime?
True
Let k = 127363 + 110778. Is k composite?
False
Let d = -297280 - -676913. Is d composite?
False
Suppose -l + 36 = 4*d + 3*l, -l - 5 = -d. Let y(m) = 8 - 17*m + 26*m + 0*m**3 + m**3 - 8*m + 7*m**2. Is y(d) a prime number?
True
Let h = 51798 - 2527. Is h a prime number?
False
Let n be (3/5)/((-52)/(-10) - 5). Suppose -n*x + 8*x = 15. Suppose x*d - 416 = 1477. Is d composite?
False
Is -11 + 330135 + 1 + -7 + 11 + -8 composite?
True
Let g(t) be the first derivative of -t**5/2 - t**4/3 + 2*t**3/3 + 3*t**2/2 - 16*t + 9. Let d(f) be the first derivative of g(f). Is d(-4) prime?
True
Let h(y) = 7908*y - 61. Suppose 47*m - 40*m - 56 = 0. Is h(m) a prime number?
False
Suppose -h + 5*b + 37699 = 0, -10*h + 5*b - 75488 = -12*h. Is h a composite number?
True
Let m(k) = 4*k**2 - 193*k + 85. Is m(-32) composite?
False
Let y = 56 - 51. Suppose y*b = 15, 0*l - 2*b = -l - 6. Suppose -3*t + 195 + 150 = l. Is t a prime number?
False
Let x = -32 - -35. Suppose -2*u = x*u - 16900. Is 8/2 + 3 + u a composite number?
True
Suppose 2679*x = 2684*x - 91315. Is x prime?
False
Suppose -59*i - 925629 = -152*i. Is i a prime number?
False
Let t be -57*(5 - 64/12). Suppose -2672 = 10*d - 14*d. Let q = d - t. Is q prime?
False
Let h(r) = r**2 + 2*r - 8. Let k be h(-4). Suppose k*p = 8*p + 4208. Let f = p + 2035. Is f composite?
True
Let r be (-540)/(-21) + 4/14. Suppose -5*q + r = -g + 4*g, g + 31 = 4*q. Suppose q*u - 2*u - 180 = c, 190 = 5*u + c. Is u prime?
True
Suppose u = 3*m + 84928, 2*m = -925*u + 926*u - 84931. Is u a composite number?
True
Let r be 120096/(-1 + 10) + -3 + 9. Suppose z - 2*n = 34285 + r, 47641 = z - 5*n. Is z a composite number?
True
Let u(n) = n**3 + 8*n + 78479. Is u(0) composite?
False
Suppose -168*i + 4403902 = 1170070. Is i prime?
True
Is (834196/33)/(24/36) a prime number?
False
Suppose 6*q = -2833 + 17293. Is 2 - (q/(-3))/(4/6) prime?
False
Let x = 211319 - 86742. Is x a prime number?
True
Let p be (-5346)/(-7)*(-8 + 15) - 1. Suppose