prime?
True
Let k = 8377 + -5910. Let u = k + -1548. Is u composite?
False
Let o(q) = -6*q + 7. Let t = 33 + -47. Let w be 364/(-18) - (-1 - t/18). Is o(w) prime?
True
Suppose n - 5*k = 12808 + 14230, k = -2*n + 54087. Is n composite?
False
Suppose 5*o = 4*v + 18975, 2*o - 1618 - 5984 = 4*v. Is o composite?
True
Let f(w) = -227 + 75 + 1081*w + 87. Is f(6) a prime number?
True
Suppose 2*y - 20*y + 6606 = 0. Let n = y - -394. Is n composite?
False
Let t = -150 - -1127. Is t composite?
False
Suppose 63 = 3*v + w + w, -106 = -5*v - 3*w. Let b = v - 33. Let o(u) = u**3 + 13*u**2 + 5*u + 7. Is o(b) prime?
True
Is 21*(-7)/21 + 4132368/8 a prime number?
True
Suppose 0 = -0*z - 10*z + 60220. Is z prime?
False
Let q = 184 - 180. Is 116 + (-1 - 0 - q) a prime number?
False
Let j be 78/(-10) + ((-102)/(-15) - 7). Is -52*(-1 + j/(32/265)) a prime number?
False
Suppose w + 175980 = -6*n + 4881675, -3*n + 5*w + 2352864 = 0. Is n a prime number?
True
Suppose -2*m - 3*i - 10 = i, -m + 5*i + 23 = 0. Suppose m*y = -s + 11629, 5*s = -4*y + 2*y + 58119. Is s a composite number?
True
Let a(j) = j**2 - 11*j - 34. Let r be a(17). Suppose -12*k - 8 + r = 0. Suppose k*t + 2*y - 40 = 64, 3*t - 75 = 3*y. Is t composite?
True
Suppose -l = 4*g - 7231729, -l + 1995404 = g + 187474. Is g composite?
True
Let m(f) = -f**3 + 9*f**2 + 4*f + 9. Let p be m(9). Let o(h) = -12*h + 14*h**2 + 15 + p - 21. Is o(7) composite?
False
Let n(a) = -a - 23. Let d be n(-11). Let i be d*(88/(-3) - -2). Suppose 412 = 4*k - i. Is k a composite number?
True
Let x(w) = 5*w**2 + 91*w + 20. Let s be x(-18). Suppose 0*l = -4*n - 3*l + 22168, -11074 = -s*n - 4*l. Is n a prime number?
False
Let u = 634880 - 316189. Is u a prime number?
True
Suppose 8*g - 4*g = -936. Let q be 1/(-8) + 125034/208. Let b = q - g. Is b a composite number?
True
Let s = 46 - 46. Let b(w) = 2*w + 265. Let r be b(s). Let u = r + -8. Is u a composite number?
False
Let t be ((-3214540)/10 - -7)*28/(-6). Is (t/245)/(4/10) composite?
False
Suppose 3079617 = 2*r + 5*r + 393640. Is r a composite number?
True
Let r = 73963 + -29585. Is r a prime number?
False
Suppose -15 = 3*d, 23 = 3*z - 0*d - d. Suppose a = -z*a. Suppose a = -5*w - 5, -765 = -4*x - 4*w + 123. Is x composite?
False
Let q(j) = -3*j**2 + 3*j + 515*j**3 + 2*j**2 - 1 - 2*j**2 - 140*j**3. Is q(2) a prime number?
False
Suppose 3*r - 96 = 11*r. Is (r/(-3) + -7 - 1) + 2223 a prime number?
False
Let b be (-14)/(-133) - (-186)/38. Is (-9 + 230424/60)*1*b composite?
False
Let s(z) = -5*z**3 + 7*z**2 + 2*z + 326863. Is s(0) prime?
True
Let v = -223823 + 327805. Is v a prime number?
False
Suppose -u - 48*n = -52*n - 39363, u - 39355 = -4*n. Is u prime?
True
Let l(s) = 1139*s**3 - 178 + 178. Is l(1) a prime number?
False
Suppose 122 = -2*r - 12. Let m = 114 + r. Is m*21*1/3 prime?
False
Let v = 271375 - 116637. Is v a prime number?
False
Is (-12)/408*-17*67894 prime?
False
Suppose 170949 = 3*t - h, -6*h + 7*h = -3*t + 170949. Is t composite?
False
Suppose -50*q - 91055 + 3617905 = 0. Is q a composite number?
False
Let u be ((-942)/(-108) + 6/(-27))*-18. Let o = u + 275. Is o a prime number?
False
Let q = -98 - -115. Is (q/4 + 1)*369932/69 prime?
False
Suppose -4224032 = -83574*d + 83542*d. Is d a composite number?
False
Let g(x) = -526*x + 1505. Is g(-30) composite?
True
Suppose 2*z - 29050 = 4*u, -7*z + 13*z + 3*u = 87105. Is z composite?
False
Let m = 242 - 242. Is (-63072)/(-36) + (m + -1)*1 a composite number?
True
Let p(z) = 2*z**2 - 22*z. Let h be p(11). Suppose 2*m - 7*m + 5 = h. Is m*(-4766 + 2)/(-4) a composite number?
True
Let z(p) = 39486*p**2 + 498*p - 997. Is z(2) prime?
False
Suppose -p - 4 = 0, -45*b + 42*b - 7*p = -516731. Is b prime?
False
Let l(s) = -1009*s**3 - 5*s**2 + 8*s + 19. Is l(-4) prime?
True
Let g = -3077 - -4453. Suppose -2*i + g = 3*x, -2064 = -2*i - i + 4*x. Suppose 4*z - 2476 + i = 0. Is z prime?
False
Suppose 8*d - 6*d = 6. Let n be d/(3 - (-36)/(-13)). Let j(m) = m**3 - 12*m**2 + 3*m - 21. Is j(n) composite?
True
Let y(n) = 71*n**2 - 65*n - 341. Is y(-6) prime?
False
Let c(r) = r**2 - 4*r - 3. Let a be c(6). Suppose 0 = a*m - 8160 - 8139. Is m composite?
False
Let i be 6/3 - (734 - (-22)/11). Let t = -3767 - -2224. Let c = i - t. Is c a composite number?
False
Suppose -91*s + 1536854 + 522431 = -1698196. Is s a prime number?
False
Is 174/1218 - (134231/(-7) + 2) prime?
False
Let b = 664 - 369. Let s(q) = -12*q - 131*q**2 + b*q**2 + 1 + 17*q + 114*q**2. Is s(-2) composite?
False
Suppose 0 = 2*v - 0*v + 6, -3*h + 4*v + 80961 = 0. Is 2*((-15)/(-18) - h/(-33)) composite?
False
Suppose -5*i + 3*h - 15 = 0, 2*i - 2*h + 2 + 4 = 0. Is -1*(-6420 + -4 - i) composite?
False
Suppose -4*w + 23 = -2*w - i, 5*w - 4*i = 50. Let r(v) = 4*v**3 - 23*v**2 + 25*v - 17. Is r(w) prime?
False
Let y be (4/(-16))/(11/(-28908)) + -1. Suppose -21 = -3*l + 5*r, -2*l + 4 = -4*r - 12. Suppose -y = -l*q - 74. Is q prime?
False
Let u be 7 - 3 - (0/(-3) + 1). Suppose 14*d + u = -53. Is -2*(-394)/d*(6 - 13) composite?
True
Let g(f) = 3*f**2 + 29*f + 54. Let z be g(-6). Is (-122)/(-6)*(140 + z + 13) prime?
False
Suppose 30*w - 308232 = 26*w - j, -385277 = -5*w + 2*j. Is w a composite number?
True
Let b = -483 + -61. Let w = 548 - b. Suppose -i + 1218 - 106 = -z, w = i - 5*z. Is i a composite number?
False
Let g(f) = -20*f**2 - 53*f + 8. Let i(d) = 20*d**2 + 52*d - 11. Let b(n) = 6*g(n) + 7*i(n). Is b(14) composite?
True
Suppose 0 = 1894*n - 1898*n + 389692. Is n a prime number?
True
Let i(z) = -z**3 + 10*z**2 - 9*z + 3. Let m be i(8). Let w = 158 - m. Is 2/((-3)/(-3)) + 5 + w prime?
False
Suppose -2*l - 4 = -6*l. Let q be 2 - 24*(l - (-1552)/(-6)). Suppose 3000 = 6*b - q. Is b a prime number?
True
Let k = 117061 - 202520. Let h be ((k - 7) + -6)*(-6)/(-8). Is h/(-54) - (-1)/(-9) composite?
False
Let t = -37 + 39. Suppose -5*x + 4*w = -16517, 3*w + 9918 = 3*x - t*w. Suppose -5*y + 4*i + 8287 = 0, 2*i - x = -2*y - i. Is y composite?
True
Let c = -47 - -52. Suppose 0 = n - v - 7, n - 5*n = c*v - 28. Suppose n*l = 3898 + 1695. Is l a prime number?
False
Let l = 67620 + -39369. Suppose -4*m + l = q + 4*q, 5*q + 25 = 0. Is m a composite number?
False
Suppose 0 = 29*g - 6622 - 36008. Suppose 5*w - 5*f + 469 - 7849 = 0, 0 = w - 4*f - g. Is w a prime number?
False
Is (8/12)/((-96)/(-10837584)) prime?
False
Let l = 255 - -887. Let q(f) = -f**3 - f**2 + 4*f - 9. Let m be q(-7). Suppose -l - m = -v. Is v composite?
False
Let x(p) be the third derivative of 3557*p**5/60 - 3*p**4/4 - 3*p**3 + 74*p**2. Is x(-1) a composite number?
False
Let s = 83 - 125. Let d = 45 + s. Suppose 4*a = d*a + 649. Is a prime?
False
Suppose 37*p = 2358820 + 1494841. Is p composite?
True
Let t = 396 - 371. Suppose t*g - 15590 = 23*g. Is g a prime number?
False
Let g = 70 - 70. Suppose -2*a + 1680 = 2*a - 4*n, 4*a - 3*n - 1682 = g. Let m = a + -231. Is m a prime number?
True
Let t(z) be the second derivative of 3*z**4/4 - 4*z**3/3 - 11*z**2/2 + 2*z. Let k be t(6). Let j = k - -1324. Is j a composite number?
True
Let w be -3 + -2 + 6 + 4. Suppose -9*a = -w*a - 40652. Suppose -a = 8*k - 37419. Is k prime?
True
Let h = 14 + -12. Suppose 0 = 4*c + 2*n - 11606, 5*c - 9903 = h*n + 4618. Is c a prime number?
True
Suppose -6*d = -3*d + 15, -25 = -3*p + 2*d. Suppose 7*y - 3*y - 52459 = -p*u, 4*u + 52504 = 4*y. Is y a composite number?
False
Let k = 25239 + -15640. Is k prime?
False
Let o(f) = 5*f - 12. Let j be o(13). Suppose 0 = -l + 2, -2*a + 597 = 5*l + j. Suppose a + 1789 = 4*q. Is q a prime number?
False
Let g(n) = 14754*n**2 + 32*n - 71. Is g(2) composite?
False
Suppose 2*r - 384679 - 835561 = k, -4*k + 2440516 = 4*r. Is r prime?
True
Let t(x) = -3790*x + 36. Let v be t(-3). Let h = 1091 + v. Is h a prime number?
True
Let n = -151065 + 290110. Is n prime?
False
Is 31261 - ((-22)/1 - -4) a composite number?
True
Suppose 0 = -13*p + 240397 + 423526. Is p a prime number?
True
Let l = 7802 + -5159. Let a = -21 - -35. Is (-8)/a - l/(-7) prime?
False
Suppose -6*t + 5*t + 5 = 0. Suppose t*z = 8*z - 2631. Let i = z - -322. Is i a prime number?
False
Let u(a) = -2*a - 41. Let v be u(-22). Suppose d + 21096 = 4*h, -5*d = -v*h + 5*h - 10526. Is h a prime number?
True
Suppose -o - 4*w + 21832 - 1842 = 0, 39956 = 2*o + 2*w. Suppos