 - 4029, 4226 = t*o + 2*z. Let i = o + -599. Is i composite?
True
Let h be 1/(-2)*(31 - -31779). Let s = h + 26358. Is s a composite number?
False
Suppose 11*z = 23*z - 24. Suppose 0 = -5*t - 3*a + 75, 67 = 2*t + z*t + a. Is (-2)/t - (-61400)/180 composite?
True
Suppose 0 = -3*d + 3*j + 27234, -3*j = 2*j - 25. Is d composite?
True
Let n = 198838 + -112001. Is n a composite number?
False
Let b(x) = 15*x**3 + 6*x**2 + 35. Is b(6) a composite number?
False
Let p = -224 + 229. Is ((-2579)/2)/(p/2 - 3) composite?
False
Let q(m) = -4*m + 3. Let c(y) = -y**2 + 8*y + 33. Let l be c(11). Let k be q(l). Suppose 3*d = -5*x + 2392, k*x - 291 = -3*d + 1143. Is x a prime number?
True
Let t(m) = 57*m**2 + 7*m - 3. Let x be t(5). Let o = 2716 - x. Is o a prime number?
True
Let d(y) = -y**2 - 11*y - 9. Let k be d(-3). Is 1*(27279/k - (-18)/45) composite?
True
Is 13*9/390 + (-32276454)/(-20) a composite number?
True
Let v be (2/(-5))/(-1 - 3/(-5)). Let z(t) = -113*t - 17. Let j(b) = -b - 1. Let r(x) = v*z(x) + 2*j(x). Is r(-12) composite?
False
Suppose -154 = -31*p + 94. Suppose -p*d - 6039 = -103615. Is d a prime number?
True
Let b(m) = 3*m**2 + 20*m - 9. Let s be b(-7). Let z be (159/s)/(2/4). Let o = 385 + z. Is o a composite number?
True
Suppose -125352302 = -84*c - 43*c - 31*c. Is c prime?
False
Let k(z) be the first derivative of z**3/3 + z**2/2 + 2*z + 16. Let p be k(0). Suppose 3800 = 4*a - 4*s, 3*a + p*s - 2874 = -3*s. Is a composite?
False
Let f(x) = x - 2. Let i be f(11). Suppose i*o - 7524 - 11907 = 0. Is o a prime number?
False
Suppose 4*y = -5*f + 3131, -4*f + 5*y + 2512 = 10*y. Suppose -f - 632 = -q. Is q a prime number?
False
Suppose 6*w = 5 + 19. Suppose w = -c + 3*c. Suppose 3*m = 2*f + 4*m - 509, -3*m + 515 = c*f. Is f a composite number?
True
Suppose -4*x = 276 + 120. Let w be (-3 + 1)*x/(-22). Let s(b) = -b**2 - 13*b - 2. Is s(w) a prime number?
False
Suppose -4*j = 3*f - 798740, -150*j + 5*f + 798740 = -146*j. Is j a prime number?
False
Let g = 400141 - 226094. Is g prime?
True
Let s(k) = 4*k + 0*k + 0*k + 6 - 6*k**2 + k**3 - 5*k. Let d be s(6). Let j(q) = q**3 - q**2 + 2*q + 419. Is j(d) prime?
True
Let m(l) be the first derivative of 4/3*l**3 + 10 - 3/2*l**2 + 20*l. Is m(-9) composite?
True
Let a = -378 - -255. Let q = 442 + a. Is q a composite number?
True
Is 1162738/5 - 2352/(-1680) a prime number?
True
Let j(h) = -h**2 - 54*h + 53. Suppose -5*n = l + 13, 0*n - 34 = l - 2*n. Is j(l) a prime number?
False
Is 21498558/(-2211)*(-11)/2 a prime number?
True
Let o = -6 + 9. Suppose -o*i + 12 + 0 = 0. Suppose m + 5*s - 186 = -0*m, -3*s = i*m - 829. Is m prime?
True
Let t be 24/14*(-588)/(-24). Is (9/6)/(t/2492) a composite number?
False
Let y be (-336)/(-33) + (-544)/88 + 6. Suppose 8*v = y*v + h - 11967, 2*v - 3*h - 11947 = 0. Is v a prime number?
True
Let w = 16972 - -4261. Is w composite?
True
Let n(g) = 5*g**3 - 8*g**2 - 8*g + 16. Let x be n(7). Suppose -q - 3*u - 208 + 661 = 0, 4*q = 2*u + 1770. Let p = x - q. Is p prime?
True
Suppose 2*o - 4*m - 8460 = 0, 6*o - 5*o = 3*m + 4234. Is o composite?
True
Suppose 0 = -9*q + 8*q - 8133. Let w = -4022 - q. Is w composite?
False
Let y(s) = -22*s**3 - 5*s**2 + 3*s - 1. Let x be y(2). Suppose 182 = 91*w - 90*w. Let g = w - x. Is g composite?
False
Let f(z) = 56*z**2 - 54*z + 51. Suppose 22*i + 217 = -223. Is f(i) a composite number?
False
Let g be 2/(-4) + 950/4. Let k(w) = -w**3 - 2*w**2 + 5*w - 7. Let z be k(-4). Suppose -3*l + 2*l - g = -3*m, 0 = -z*l. Is m composite?
False
Let u(h) = -h**3 + 4*h**2 + 17*h - 5. Let y be u(7). Is (-37862)/y*((0 - -4) + -1) a composite number?
True
Let y(g) = -10*g**2 - 3*g + 5. Let v be y(1). Is -2 - v - 3 - (6 - 452) a composite number?
False
Let z(h) = 1191*h**2 - 24*h - 356. Is z(-15) a prime number?
False
Let s be 2 + (-26)/10 - 126/(-35). Suppose -5*p = 2*m - 6 - 14, -4*p - 7 = -s*m. Is 2*(m - (-10845)/10) a composite number?
False
Is 93*(3554/(-10))/(141/(-235)) a composite number?
True
Let w = 150 - 142. Is 4 + -2 + 48632/w a prime number?
False
Let r be 13/3 + -5*(-10)/75. Suppose z + 4*z = -2*x + 7257, -2*x + r*z = -7267. Is x composite?
False
Let n be ((-6)/(-8))/(3 - (-57)/(-20)). Suppose n*z = -4*a + 83323 - 28726, 0 = 5*a + 3*z - 68230. Is a a composite number?
True
Suppose 0 = 2*l - 11*f + 6*f - 30, 2*l - 2*f - 18 = 0. Is 41943/l + 14/(-455)*-13 prime?
True
Let v = 164652 - 101909. Is v a composite number?
False
Suppose 3*p + 4*w = -14, 0 = -2*p + 4*w - 3*w - 2. Let h be 26 + -26 + ((-12)/2)/p. Suppose g + 614 = h*g. Is g prime?
True
Let w = -85 - -88. Suppose 2*i = w*o + 1, 4*i - i - 3*o - 6 = 0. Is (-2 - 2160)/(i + -7) prime?
False
Let a = 1257 - 518. Suppose -z - 3*r + a = 0, -5*z - 4*r = -307 - 3399. Suppose -8*i = -2766 + z. Is i composite?
True
Suppose m - 8*s - 273379 = 0, -230744 = -2*m + 2*s + 316014. Is m prime?
False
Let m be (1/4)/((-175)/(-84) + -2). Suppose 2*l - 3*v + 1 = 6*l, m*l + 3*v = -3. Suppose -2*k - 7614 = -5*b + 3269, -5*b + l*k + 10881 = 0. Is b composite?
True
Is (-196495 - -6)*(-7 + -2 + 8) composite?
True
Suppose 20 = -4*w, 3*k - k = 2*w + 18. Is 487/k*(-44)/(-11) a prime number?
True
Let x be 3 - ((4 - 3) + -3). Suppose 5*m + 22 = -2*g, -7*m + 2*m - 50 = -x*g. Is -1*m/9*(-1524)/(-8) prime?
True
Let b(h) = h**2 + 22*h + 2. Let v be b(-22). Suppose u + 4*s + 23 = 0, -1 = 5*u - v*s + 4. Is (12595/(-33))/(u/9) a composite number?
True
Let g be 1570/15*39 - 2 - -3. Let i = -1141 + g. Is i a prime number?
False
Suppose -2*l - 4*i = -3*i - 1106504, -4*i + 24 = 0. Is l composite?
False
Is 698967/10 - -2 - (-693)/2310 a composite number?
False
Let n(b) be the third derivative of 32*b**5/15 - b**4/8 - 2*b**3/3 + 15*b**2. Is n(-1) a composite number?
False
Let o be (-1 - -16)*(1 + 9/(-15)). Suppose -14 = o*b - 74. Suppose b*v + 505 = 11*v. Is v prime?
False
Let q = 485801 - 230758. Is q prime?
True
Suppose 4*c - 3*z - 972430 = 0, -51*z = 3*c - 56*z - 729339. Is c a composite number?
True
Suppose -28376218 = -3*i + 5*i - 28*i. Is i prime?
True
Let q = -33 - 104. Let b = -33 + 122. Let a = b - q. Is a a prime number?
False
Suppose 5*n - 69*h + 4484 = -67*h, 3601 = -4*n - 3*h. Let r be ((-14)/(-8))/((-1)/(-20)). Is -2*n/4*(r + -34) prime?
True
Let h(b) be the third derivative of -145*b**4/8 - 31*b**3/6 - 142*b**2 + 2. Is h(-4) composite?
False
Suppose -264*w + 268*w - 282383 = 5*s, 2*w + 3*s = 141241. Is w a composite number?
False
Let g(m) be the third derivative of 13*m**5/60 + 11*m**4/24 - 65*m**3/6 - 21*m**2. Is g(4) prime?
False
Let o(r) = 390*r**2 + 6*r + 11. Is o(5) a prime number?
True
Let m be (-34)/(-3) + (4 - (-52)/(-12)). Suppose -25*j + 66492 = m*j. Is j prime?
True
Let w(p) be the second derivative of 29*p**3/3 - p**2/2 - 403*p. Let t = -23 - -32. Is w(t) a prime number?
True
Let k be ((-256)/(-40))/(4/(-24 + 4)). Let x(u) = 6*u**2 - 187*u + 21. Is x(k) a prime number?
True
Let n(f) = -12552*f**3 + 2*f**2 - 3*f + 2. Let z be n(1). Let o = -3611 - z. Is o/108 - 4/(-18) a prime number?
True
Let a(r) = 59931*r**2 - 4*r - 2. Is a(-1) composite?
True
Let s(h) = 31*h**2 - 18*h - 486. Is s(47) composite?
True
Suppose -d + 2497 = -356. Let c = -692 + d. Is c composite?
False
Suppose 0 = -5*k, 3*w + 0*w + 5*k + 1935 = 0. Let m = w - -5834. Is m prime?
True
Let h(o) = -o**2 + o + 15. Let m be h(-3). Suppose -3*l = m*l + 30. Is l*(-176 - 9/3) prime?
False
Suppose -15 = -9*b + 12*b, 3*b + 15 = 4*w. Let c(p) = -p. Let a be c(-5). Suppose 5952 + 899 = 5*g + 2*f, -2*g - a*f + 2732 = w. Is g a prime number?
False
Let w be 34456/(-3)*12/8*-1. Suppose w = t + 5763. Suppose -o + 3*o = -2*p + 4578, 5*p - 5*o - t = 0. Is p prime?
False
Let l = -28953 - -154816. Is l a prime number?
True
Let z(b) = b**3 + 10*b**2 - 24*b + 16. Let i(p) = p**3 + 11*p**2 - 23*p + 14. Let n(v) = 6*i(v) - 5*z(v). Let c be 3*(-4)/6 + -13. Is n(c) composite?
False
Let m = -33782 - -267835. Is m composite?
True
Suppose 0 = -5*b - 5*o + 10, 4*o + 2 = b - 0*o. Suppose 3*k + 2*k + 222 = -2*n, 0 = 4*k. Is (n/12)/(b/(-56)) composite?
True
Suppose -4466 = -33*g + 23221. Is g prime?
True
Suppose 4*g + 2*b + 48672 - 389318 = 0, 10 = 2*b. Is g composite?
False
Let s(x) = -x**3 + 12*x**2 + 12*x + 16. Let i be s(13). Suppose i*h = 5 + 7. Suppose -h*l = m - 7201, -2*l + 19