 z = -4659 + y. Is z prime?
True
Let b = -1440905 - -2210112. Is b a prime number?
True
Suppose 0 = -y - 9*y + 510. Suppose -5*z = 5*q - 150, 34 + y = 4*q - 3*z. Suppose -q = -5*v + 160. Is v composite?
False
Let o(f) = -10*f**3 + 13*f**2 - 4*f + 21. Let p be o(10). Let x = -3957 - p. Suppose 2*b - g = 4*b - 1907, -5*b + 3*g + x = 0. Is b a composite number?
False
Let h be (-4)/9 + 88432/36. Is (-15)/(60/h)*1*-1 a prime number?
False
Let o(g) = 9*g**2 - 9*g + 3. Let x be o(7). Suppose 2*r + r = x. Is r a prime number?
True
Let o = -10138 + 60194. Is 1/5 + o/20 prime?
True
Let u(w) be the third derivative of 11/6*w**3 + 0*w - 17*w**2 + 0 - 1/30*w**5 + 35/24*w**4. Is u(15) a composite number?
True
Let o(w) = w**2 + 8*w - 7. Let n be o(-12). Suppose -n*r + 247890 = -11*r. Is r composite?
False
Let s = -532391 + 957552. Is s a composite number?
True
Suppose -3*a + 11772 = 2*a + 2*h, 0 = a + h - 2355. Let r be (-3)/(-2)*(-152480)/(-48). Let x = r - a. Is x composite?
False
Suppose 3*u + 49*j - 2874077 = 54*j, 5*u - 8*j - 4790131 = 0. Is u composite?
False
Let k = -159924 + 239581. Is k a composite number?
False
Let f be (-1)/11 - 534/(-66). Is ((-188)/f)/(2/(-92)) prime?
False
Let n(m) = 4*m**2 - 16*m + 9*m**3 + 20*m - 10*m**3 - 7. Let a be n(5). Let k(u) = 16*u**2 - u + 45. Is k(a) composite?
True
Suppose -3*f - 52201 = 734. Let d be (-6)/(-8) - 3/(12/f). Suppose 3*s = -r + 6538, 2*s + 3*r - d = -51. Is s a prime number?
True
Let y(k) = k**2 + 8*k + 13. Let i be y(-6). Let x be -5*i/(20/26152) + 2. Is (-11)/(-77) - x/14 a composite number?
False
Suppose -4*w + 233 = 5*m, -2*w - m = -4*m - 89. Suppose -4*g + w = 3*b + b, -8 = -2*g + 4*b. Let y(a) = 2*a**3 - 7*a**2 - 11*a - 19. Is y(g) prime?
True
Suppose -356*p = -308*p - 25421136. Is p prime?
False
Let o = -4293 + 6429. Let f(w) = -41*w + 54. Let m be f(5). Let l = o - m. Is l a composite number?
False
Let l = 236 - 124. Is (280/l)/(1/274) a prime number?
False
Let z(x) = -296*x + 67. Let h(w) = 5*w + 111. Let n be h(-25). Is z(n) composite?
False
Let x(b) be the second derivative of 881*b**3/6 - 70*b. Is x(7) a composite number?
True
Let x(t) = 173*t**2 + 12*t + 26. Let k(a) = -86*a**2 - 6*a - 13. Let h = 8 - 13. Let j(n) = h*k(n) - 2*x(n). Is j(-3) a composite number?
False
Let l(g) = -17*g**3 + 45*g**2 - 62*g - 421. Is l(-44) a prime number?
False
Let r = 718355 - 348162. Is r composite?
False
Suppose -12 + 5 = -c. Let x be (-2)/c + 28465/35. Suppose 7*k + x = 10*k. Is k a composite number?
False
Let t(k) = -50204*k - 50. Let m be t(-1). Is (-3)/5 + m/65 a prime number?
False
Let n(v) = -v**2 + 15*v + 54. Let o be n(18). Suppose -36*s + 32*s - 24 = o. Let q(x) = 30*x**2 + x + 13. Is q(s) prime?
True
Let z = 16924 - -1935. Is z prime?
True
Let x(w) = -32*w**2 - 13*w + 33. Let q(b) = 65*b**2 + 28*b - 68. Let c(m) = 3*q(m) + 5*x(m). Is c(14) a prime number?
False
Let a(z) = -23*z**2 + 34*z + 11233. Is a(0) a prime number?
False
Suppose 4*d + 7*m - 8*m = 6158872, 1539723 = d + m. Is d prime?
True
Suppose 13*c - 27930 - 41461 = -15948. Is c a prime number?
True
Let u be 4 + ((4 - 8) + 4)*-1. Suppose 0 = 5*q + 2*i - 12303, -u*i + 0*i + 7393 = 3*q. Is q a prime number?
True
Is (-2703386)/(-30) - ((-2678)/(-390) + -4 + -3) composite?
True
Let g = -1480 - -2351. Let j = g - 188. Is j a prime number?
True
Let n(l) = 16369*l**2 + 8*l - 15. Is n(2) a prime number?
False
Let q be ((-2)/(-5))/((-9)/135). Let u be ((-27)/q + -1 + -4)*0. Suppose g + u*g = 4*y + 1661, g - 1658 = y. Is g prime?
True
Let h = -3207 + 1649. Is (-42)/(-35) - h/10 prime?
True
Is (47 - 42)*69631/5 composite?
True
Suppose -5*q - u + 252200 = 0, 2*q = -4*u + 32664 + 68198. Is q composite?
False
Let s(y) be the third derivative of y**5/30 + y**4/24 + 5*y**3/6 - 356*y**2. Let i = 3 + -7. Is s(i) a prime number?
False
Let d(m) be the first derivative of 25*m**3/3 - 4*m**2 + 12*m + 1. Let l be 477/265 - 32/(-10). Is d(l) prime?
False
Is (9267/(-15))/((-12)/100) - (-24)/(-18) a composite number?
False
Let h(v) = -v**3 - 6*v**2 + 8*v + 8. Let q be h(-7). Let w be (((q - 3) + 2)/1)/(-1). Suppose w = -7*d + 61 + 422. Is d prime?
False
Let q be (-2*1)/(-6) - 644/(-21). Let n = q + -56. Let b = n + 422. Is b composite?
False
Let i = 22667 - 12107. Let w = 23807 - i. Is w a composite number?
True
Let p = 89 - 57. Suppose 3*q - 6*q - 4*d + 24 = 0, p = 4*q - d. Suppose -5*t - 6081 = -q*t. Is t a composite number?
False
Let z(m) = -m**3 + 48*m**2 + 402*m - 316. Is z(-65) composite?
True
Let y be (0/1)/(15/5). Suppose y = 2*h - 13 + 5, 0 = -g + 2*h + 1751. Is g prime?
True
Let x = 134428 + -26745. Is x a prime number?
False
Suppose 50*d + 21*d - 327244 - 304869 = 0. Is d a prime number?
False
Suppose 0 = -29*y + 11444624 + 10874733 - 1186158. Is y prime?
True
Let q(p) = p**2 + 4*p + 3. Let v(z) = -2*z - 5. Let c be v(-3). Let h(s) = 5*s**3 - 2*s**2 + 1. Let t be h(c). Is q(t) a composite number?
True
Suppose 3*n = 4*g + 954 - 18784, -4*n - 5*g - 23794 = 0. Let y = n + 9149. Is y a composite number?
False
Suppose 4*o - m + 5543 + 6129 = 0, -2*m + 5830 = -2*o. Is (4 + o/(-5))/((-2)/(-10)) prime?
True
Let g be (248/(-32) - -7) + (-3)/(-4). Is (g - 1)/((-8)/40312) a prime number?
True
Suppose -12*z - 242445 - 192111 = 0. Let u = 110624 + z. Is u composite?
False
Suppose -4*t + 5*d + 39 = 0, -2*t + 5*t + 4*d = 6. Let l be (9/45 + t/20)*2. Is (l + -1)/(17 - 18) + 4583 composite?
False
Suppose 6*i + 204 = -6*i. Let p(b) be the first derivative of -14*b**2 + 26*b - 7. Is p(i) a composite number?
True
Suppose 0 = -2*u - 5 - 1. Let h(d) = 6*d - 12. Let k be h(u). Is 4/k + (-10234)/(-30) composite?
True
Let k(n) = 6*n + 26 - 22*n - 180*n**2 - 67. Let a(v) = -36*v**2 - 3*v - 8. Let i(b) = -11*a(b) + 2*k(b). Is i(7) composite?
False
Suppose -4344616 = -6*x - 9*x + 541379. Is x prime?
False
Let y = 185 + -221. Let d(u) = 4*u**2 + 48*u - 79. Is d(y) prime?
False
Suppose -11 + 51 = 20*b. Is (b + -8 + 7)/((-2)/(-27290)) a prime number?
False
Let i(o) = -o**3 + 2*o**2 + 3*o + 2. Let y be i(-2). Let p(n) = n**2 + 2. Let k be p(y). Suppose 340 = 4*t + 4*z, -5*t + z + 279 + k = 0. Is t composite?
True
Suppose -3*l = -6, -2*l + 1 = -2*j + 5. Suppose 4*w - 933 = -j*h + 3, -4*w - h + 933 = 0. Is w a prime number?
True
Suppose -5*t - 40 = -5*x, 6*x - x - 2*t = 28. Suppose 6 + x = 10*y. Is (y - 0)/(5/1910) a composite number?
True
Let s = -8 + 12. Let x be 3 - (1 + -735 + s). Let w = x + -54. Is w a composite number?
True
Let k = -2683 - 1058. Let h = k + 6377. Suppose -x - h = -3*x - 2*w, -x = 4*w - 1327. Is x a composite number?
True
Let g(l) = 48*l - l + 12*l - 19 + l. Let s be 2 + (36/14)/(12/56). Is g(s) prime?
True
Let w(c) = -18 - 21*c - 19*c**2 + 61*c**2 + 43*c**2 + 147. Is w(10) composite?
False
Suppose 0 = -5*h + 2*j - 15 + 7, 4*h = 2*j - 8. Suppose 2*a - 3*k = 547 + 370, h = -3*k + 3. Let r = -209 + a. Is r prime?
True
Let u = -92813 + 240232. Is u composite?
False
Let c = 844251 - 372394. Is c a composite number?
True
Suppose a + 0 = -6, -4*f + 2*a + 255152 = 0. Is f a composite number?
True
Is 8/18*41829/292*3831 a prime number?
False
Suppose -2*v - 4*c = 6, 5*c + 10 = v - 1. Is -19*(-190)/8 + v/(-4) prime?
False
Let i be ((-45094)/(-28))/((-2)/4). Is i*(1 + 2 - 4) composite?
False
Suppose -4*k + 3*r = -9, -5*k + 3*k + 10 = 4*r. Suppose -4*d - k*d = -35. Is 10/d + 0 - -953 a prime number?
False
Let r(s) = 6*s**3 - 6*s**2 - 19*s + 28. Let l be r(6). Let o = l - -385. Is o a composite number?
True
Suppose -3*d = -0*d + 12, -2*d - 414 = -l. Let n = -20 - 121. Let y = n + l. Is y prime?
False
Let i = 43778 + -28117. Is i composite?
False
Let x(b) = -33*b + 70. Let z be x(2). Is 29/58 + 1302/z prime?
False
Suppose 5305146 = -74*m + 140*m. Is m prime?
False
Let o(d) = -2386*d**2 + 5*d - 2. Let l be o(-3). Let i = l + 37360. Is i composite?
True
Suppose 2*p = 5*b - 2*b - 7, -p - 5*b = -29. Suppose 4*k = p*m - 2840, -4*m = k - 9*m + 690. Let x = 332 - k. Is x a prime number?
False
Let o(a) be the second derivative of 4*a**4 - 5*a**3/3 - 11*a**2/2 - a. Let i be (-357)/(-255) + (-23)/(-5). Is o(i) composite?
False
Let q = -12 - -12. Suppose t + q = 3. Suppose 3*k - 183 = -t*n - 0*n, 0 = -3*k + 4*n + 162. Is k a composite number?
True
Let b(x) = 2494*x**2 - 6*x + 5. Let