 a prime?
True
Suppose 0 = 256*y - 276*y + 278180. Is y composite?
True
Suppose 7*k - 18 - 24 = 0. Suppose -19*z = -k*z - 8203. Is z prime?
True
Suppose 0 = -5*k - 3*l - 96, 57 = -3*k - 0*l - 2*l. Suppose 5*q - 247 = -697. Let x = k - q. Is x a prime number?
False
Suppose -3*f + 17906 = 2*n, 0 = 2*n + 6*f - 8*f - 17896. Let b = n + 2727. Is b a composite number?
False
Let o(k) = -k**3 - 22*k**2 - 39*k + 20. Let l be o(-20). Suppose l = -30*f + 27*f + 96720. Is f/55 - 10/55 a prime number?
False
Let p = 80773 - 50266. Is p prime?
False
Let b(t) = 24 - t**2 + 2*t**2 - 7 + 19*t. Let f be ((-115)/69 + (-8)/(-6))*-42. Is b(f) a composite number?
False
Suppose -67*b + 5037099 = -4316388 - 5641046. Is b a composite number?
True
Let g(k) = 2611*k**2 - 29*k - 223. Is g(-10) prime?
True
Let n(j) = -8*j**3 + j**2 + j + 1. Let o be n(-1). Let i(t) = -3*t**2 - 5. Let v be i(9). Let y = o - v. Is y a prime number?
True
Suppose -18797 = 5*t + 4*g - 317216, 5*t - g = 298439. Is t prime?
False
Let c(r) = 468*r**2 + 2*r - 25. Suppose 33 = -5*f + 8. Is c(f) composite?
True
Let x be (-4 + (-46)/(-4))*(-58)/(-3). Suppose -x = -2*y - 153. Is (2921/y*-2)/((-2)/(-4)) prime?
False
Let i(z) = -25 - 15*z + 47 + 9 + 11*z**2. Let s(h) = -2*h. Let o be s(6). Is i(o) a prime number?
False
Let z = 929893 - 653930. Is z composite?
False
Suppose -30*q + 1161023 + 47707 = 0. Is q a prime number?
False
Suppose 4*o = -27 + 47. Suppose -5*k + 10 = -o. Is 2/(((-42)/(-1484))/(k/4)) prime?
True
Let g = -6073 + 11560. Suppose -g = 5*c - 8*c. Is c composite?
True
Let u(p) = -p**3 - p**2 + 4*p + 5. Let k be u(0). Suppose -k*o = 2931 - 8686. Is o a composite number?
False
Suppose -4*b = -w - 3*b + 28, 5*b = 2*w - 56. Let d be -3 + -3*1/(-12)*w. Suppose d*p - 345 = -p. Is p a prime number?
False
Let k = -4649 - -5312. Let t = 2 - 0. Suppose -1901 = -t*w + k. Is w a composite number?
True
Suppose -6*h + 1991266 = -4*z, 0 = -2*h + 2*z + z + 663742. Is h prime?
True
Let q = 2274 - 956. Suppose 0 = 12*a - 14*a + q. Is a a composite number?
False
Let t(z) = -z**2 + 7*z - 20. Let q be t(7). Let j be ((-774)/4)/(10/q). Suppose j = 6*f - 6015. Is f a prime number?
False
Let d(u) = -17180*u**3 - 8*u**2 - 36*u + 39. Is d(-5) a prime number?
False
Suppose -9*h + 10479 = -45069. Let n be (9/(-2))/((-2)/4). Suppose h = -5*z + n*z. Is z composite?
False
Let b = 142029 - 60068. Is b a prime number?
False
Let s(d) = -2*d**3 - 10*d**2 - 2*d + 7. Let f = -57 + 60. Suppose -2*c - 3*a = -1 + 4, 5*c + 60 = f*a. Is s(c) composite?
False
Let q be (14/8 - (-2)/8) + 6. Suppose 7*k = q - 1. Is (395/20)/(k/4) composite?
False
Let t = 178 + -175. Is t - -4*-16*101*-1 composite?
True
Let q(m) = 251*m + 280. Is q(11) a prime number?
True
Let q(y) = -y**2 + 7*y - 2. Let h be q(8). Let u = h - -13. Is u + (4 - -2100)/2 a composite number?
True
Let b(a) = 1221*a - 24. Let d be b(4). Let l = 2006 + d. Is l a prime number?
False
Is (-19)/(-171) - 6487982*9/(-81) a prime number?
True
Suppose -3*o + 5*h + 8858 = 0, 2*o + 7*h - 5902 = 11*h. Let t = 6312 - o. Is t a composite number?
True
Let k = 140373 + -33434. Is k composite?
True
Let l be 54520/14 - -2 - 2/7. Suppose 3*d = -x - 3*x + l, 2*d + 2*x - 2600 = 0. Suppose 5*a - 3971 = d. Is a a prime number?
False
Let f(m) = -m**3 + 7*m**2 - 2*m - 12. Suppose 0 = 3*h + 5 - 23. Let y be f(h). Let n = y - -1765. Is n prime?
True
Is (375/30 - 11)/(6/1084708) a prime number?
True
Suppose -4*l + p = -113838, 7*p - 8*p - 56920 = -2*l. Is l composite?
True
Suppose 5*j - 25 = 0, 5*y = 6*j - 2*j + 52150. Let u = y - 3811. Is u a prime number?
False
Suppose -8*n - 291 = -307. Suppose 3*j + n*j - 37005 = 0. Is j composite?
True
Let b be (2/(-6))/(2/(-12)). Let g(h) = -4*h - 6*h**2 - 7 - 3*h**b + 93*h**2 - 4*h. Is g(-6) composite?
True
Let y(g) be the first derivative of -56*g**2 - 3*g + 2. Let o be y(-4). Suppose 1327 = 4*w - o. Is w composite?
False
Let s(k) = k**2 + 11*k - 14. Let b be s(-12). Let n be ((-7)/3 + 3)*(b + -1). Is ((-7173)/18)/(n/(-4) + -1) composite?
False
Let s(u) = -9*u**3 - u**2 - 8*u - 9. Let b(p) = 9*p**2 - 54*p - 4. Let h be b(6). Is s(h) a composite number?
True
Suppose 826892 = 4*x - 3*t, -11*t = -x - 16*t + 206723. Is x a prime number?
False
Let w be (-42)/(-2 - 18/12). Let o(c) = -2*c**2 - 5*c - 6. Let l(p) = p**2 + 3*p + 4. Let k(a) = -8*l(a) - 5*o(a). Is k(w) a prime number?
False
Is (850413/(-18) - (4 + -8))*-6 prime?
True
Let d(z) = 11*z**2 - 10. Suppose 2*b = -0 - 72. Let i = -33 - b. Is d(i) a composite number?
False
Is (82252/(-6))/((-92)/(-255) - (-282)/(-705)) prime?
False
Let k be (2 + 32/(-10))/(48/(-160)). Suppose -n - 5393 = -3*u, -4*u = -3*u + k*n - 1789. Is u composite?
True
Let g be (-6*(-16771)/(-8))/((-270)/2160). Suppose 590*s = 596*s - g. Is s a composite number?
True
Let h(r) = -41*r**3 + 5*r**2 + 2*r - 14. Let q be h(-7). Let o = -7859 + q. Is o a prime number?
True
Suppose 7*y + 9*y - 14201 = 5*y. Is y composite?
False
Suppose 13*v = 9*v + 5*x, 4*x = -5*v. Suppose 2*k - l - 23726 = 0, -2*k - 2*l + l + 23726 = v. Is k a prime number?
True
Suppose -54 = -2*y - 7*y. Suppose y*k - 8375 + 2165 = 0. Let x = k - 332. Is x prime?
False
Suppose 0 = 41*r - 127571 - 285586. Is r a prime number?
False
Suppose 4*y - 32124 = -0*y + 4*o, 2*o = -y + 8016. Let m = -2443 + y. Is m a composite number?
True
Let d = 57246 - -35087. Is d prime?
True
Suppose 57*y = 194*y - 7130987. Is y composite?
False
Let v = 350972 - -631715. Is v a prime number?
True
Suppose 0 = 5*n + 3*g + 126, -5*n + 3*n + 5*g - 69 = 0. Let o = 49 + n. Is (0 + 3)*(-4)/(-24)*o composite?
False
Suppose -2*m + 2811571 = -3*b, 2258*m - 1405785 = 2257*m + 2*b. Is m composite?
False
Is (-3284080)/(-38) - (-141)/(-893) a composite number?
False
Suppose -19*q + 30 = -16*q. Suppose q*o - 99513 = -17423. Is o composite?
False
Let u = 100464 + 23167. Is u a composite number?
False
Suppose 0 = 27*o - 84727 - 7100. Is o a composite number?
True
Suppose -p - 4*p + 2*k + 22 = 0, 2*p - 3*k = 11. Suppose 14*b + 4*i - 4082 = 12*b, -4*i + p = 0. Is b prime?
True
Let f(r) = 305*r - 6571. Is f(64) composite?
True
Let r(z) be the first derivative of 3*z**2/2 + 26*z + 18. Let f be r(-7). Suppose -3*c + 484 = n, -f*n - 5*c + 1875 = -595. Is n prime?
True
Let h = -55 - 93. Let q = h - -246. Is (q/(-10))/(3/(-15)) a composite number?
True
Suppose -7*d = -8*d - 3*w + 132184, w = -21*d + 2776174. Is d prime?
True
Suppose 11*y - 504 = 3*y. Let s = y + -68. Let r(q) = -78*q + 7. Is r(s) prime?
True
Suppose 0*x - x = 5*a + 51, 4*x + 309 = a. Let k = -73 - x. Suppose k*b + 2253 = 6*b. Is b composite?
False
Let k = 6582 + -2152. Suppose 3*p = 13*p - k. Is p prime?
True
Let b be (-6)/(-10) - (-66)/15. Suppose 2*n + n = 6. Suppose -3*v + 30 = h + 5, -193 = -b*h + n*v. Is h a composite number?
False
Let j = 221263 - 13622. Is j composite?
True
Is (39129/12)/((-38)/(-3952)) - 1 a composite number?
True
Let p = -90 - -90. Let s be p*(-4 - 114/(-30)). Suppose s = -13*u + 1082 + 1245. Is u prime?
True
Let u be -2*6/4 - -6. Suppose 0 = -u*z + 4079 + 1462. Is z composite?
False
Let y(z) = -4*z**3 - 5*z**2 - 9. Let d be y(-7). Suppose 3*g - d = 1852. Let w = g - -649. Is w composite?
True
Let u = -263701 + 519188. Is u a prime number?
True
Suppose -4*t - 3 = 1, 0 = -5*h + t + 551. Let v = 124 - h. Let d(p) = -p**3 + 18*p**2 + 17*p - 37. Is d(v) a prime number?
False
Suppose 3*m - 6*f = -7*f + 27, -3*m = -3*f - 15. Suppose -m*w = -173939 + 53979. Is w a composite number?
True
Let v be 1/2 - 40/((-1120)/686). Let z = -13 - -791. Suppose 23*k + z = v*k. Is k prime?
True
Let v be (-575685)/(-25) + -7 + 2/(-5). Suppose 4*f + 0*f - n = v, 4*n - 5755 = -f. Is f composite?
True
Let o be (384/(-64))/(6/4). Is o/(-46) - (-1365750)/414 a composite number?
False
Let p = -95919 + 240723. Is (-1)/((-55)/p) - 1/(-5) composite?
False
Let a(b) = -337*b - 6. Let x be a(-2). Let s = x - -1091. Suppose s + 695 = 6*g. Is g prime?
True
Suppose 337104 = -21*f + 130065. Let b = 20972 + f. Is b a composite number?
False
Is (-4001969)/(-16) + (-14)/224 composite?
False
Let q be (-8)/(128/(-12))*(5 - 1). Suppose j = q*g - 6236, 2*j - 5*j = 6. Is g a prime number?
False
Let q be -46*((-3)/(-2) - 1 - 1). Suppose -q*n - 4306 = -25*n. Is n a composite number