composite?
True
Let p(y) = 2026*y + 3. Let o be p(3). Let z be (o/12)/(2/8). Suppose -487 - z = -6*x. Is x composite?
False
Let m(f) = -f**2 - 7*f - 25. Let c be m(-8). Is ((-1085)/21 + -6)*c a prime number?
False
Let o(v) = 592*v**2 + 64*v + 419. Is o(-7) a composite number?
False
Suppose z - 3327 = n, 2*n + 3772 + 2873 = 5*z. Let g = -1507 - n. Is g prime?
True
Suppose -17*i = -29*i + 42600. Suppose 5*d = 2*t - 3549, -13*d + 9*d - i = -2*t. Is t prime?
True
Let a = 8662 - -40341. Is a composite?
False
Suppose -3*p = -0*p - 4*h, 14 = 5*p - 2*h. Let b be p/6 + (-1)/(6/(-92)). Let a(v) = 43*v - 15. Is a(b) prime?
True
Is 250485 - 1/(2 + -9*4/16) prime?
True
Let v(k) = -k**3 + 17*k**2 - 25*k - 51. Let d be v(15). Is 3*(8 - (-15560)/d) prime?
False
Let x = 70 + -52. Let i be 49486/18 + (-4)/x. Let g = i - 1092. Is g composite?
False
Suppose 2*l + 468685 = 5*v + 7*l, -4*l + 93749 = v. Is v prime?
False
Let l = -676 - -681. Suppose 44713 = l*v - 3117. Is v a composite number?
True
Let y = 25 - 23. Suppose 4*l - 7572 = -2*t, -y*l - 3*t + 2419 = -1367. Suppose x - 2*x - 4*q + 385 = 0, -5*x = 4*q - l. Is x a prime number?
False
Suppose 5*y = 3*z + 1154266, 5*z + 64946 = y - 165938. Is y a prime number?
True
Suppose -j + 67 = w, 6 = w + 1. Let g = 62 - j. Suppose 2*y - 4*y + 7294 = g. Is y composite?
True
Suppose 2*m = 14*o - 13683380, -22*o = -20*o - m - 1954775. Is o prime?
False
Suppose 2*u = 0, -6*d = -3*d - 3*u - 18. Let c be 14/d + (-22)/66. Suppose -w + 4*w - 10032 = -q, 2*w + c*q = 6692. Is w prime?
True
Let o(r) = -r**3 + 35*r**2 + 15*r + 14. Let n be o(26). Suppose 0 = -p + f + 3745, 2*p - 1008 = -f + n. Is p a prime number?
False
Let u = 8020 - 4636. Suppose t + 4 = 3, t = -v + u. Is v composite?
True
Suppose -2*p + 56 = -4*v - 6, 0 = -3*p + 3*v + 96. Is 38994/9*p/22 a composite number?
True
Let j(u) = -92*u - 19. Suppose 0 = -7*a - 31 - 151. Let d = a - -17. Is j(d) prime?
True
Let u(a) = 54*a**2 - 75*a + 52. Is u(29) composite?
False
Suppose -40 = -12*i + 13*i. Let f be i/(-100) + 1046/10. Is (-5298)/(-14) - (-60)/f composite?
False
Let h(i) = 69*i**3 - i**2 - 14*i + 33. Let v be h(6). Let o = v + -10466. Is o composite?
True
Let z be -15 + 17 - (-1 - -1). Suppose z*l - 3*h = -2*l - 45, 5*l = -5*h - 30. Is (-4 + (-6)/l)/(4/(-1902)) composite?
True
Let c = 109 + -115. Is 2*((-783)/c - -4)*1 a prime number?
True
Suppose -7*f + 13 + 29 = 0. Suppose f*x - x = h + 12145, 4*x - 9716 = -3*h. Is x prime?
False
Let f(h) = 21*h + 19*h + 1 - 4*h**3 - 6*h**2 - 42*h. Let n(v) = 3*v**3 + 6*v**2 + 2*v - 1. Let k(a) = -2*f(a) - 3*n(a). Is k(-6) composite?
False
Let j(y) = 13*y + 532. Is j(-15) prime?
True
Let a(h) = -h**2 - 50. Let j be a(0). Let y = 52 + j. Suppose y*u = -5*u + 27293. Is u composite?
True
Let a(w) = -13*w**2 - 119. Let t be a(26). Let k = -4870 - t. Is k a composite number?
True
Let u = 437 + -433. Suppose -f + 35781 = 4*p, -u*f + 2*p + 143204 = -2*p. Is f prime?
True
Let j be (-146)/(-3)*(-31 + 253). Suppose 0 = -4*m - j + 50568. Is m a composite number?
False
Let d = 20702 + -11618. Let l = 15185 + d. Is l composite?
True
Let o = -320 - -346. Is (-4)/o - 1742952/(-104) a prime number?
True
Suppose -f - 2*b = -10, -4*b = -3*f - 16 + 6. Let u(y) = y**3 + 7*y**2 - 44*y + 5. Let x be u(-11). Suppose d - 4309 = -x*t, f = -4*d + 2*d. Is t composite?
True
Let q(u) = -14031*u + 1405. Is q(-44) a composite number?
True
Let x(g) be the third derivative of 3*g**5/20 + 19*g**4/12 + 49*g**3/6 + 34*g**2. Is x(26) composite?
False
Suppose 147*h - 143*h + s = 4510545, -4*s - 4510520 = -4*h. Is h composite?
True
Let w be -33 - 1 - (-3 - 1). Is 11014/(-10)*(-35 - w) prime?
True
Suppose -z + 10342 = z + 5*m, 2*m - 8 = 0. Is (1 + (-3 - 1))*z/(-3) a prime number?
False
Let s be (1 + 0)*1 + 25. Is (s/(-8))/((-3)/4164) a composite number?
True
Let a(d) = d**3 + 59*d**2 + 59*d + 69. Let r be a(-58). Suppose -10973 = -r*m + 7430. Is m composite?
True
Suppose 137620769 = 49*v + 97*v - 3*v. Is v a prime number?
False
Suppose 93*c = 3544113 + 2998530. Is c a composite number?
False
Suppose 360233 = 49*b - 431264. Is b a prime number?
False
Let f(h) be the first derivative of 5*h**3 - 26*h**2 - 41*h + 207. Is f(-20) a prime number?
False
Suppose -24790874 = -1068*l + 1038*l + 18171856. Is l a prime number?
True
Let k = 286 - 282. Suppose 2*z - k*u = 10634, -3*z + 15961 = -0*z - 4*u. Is z composite?
True
Suppose 4*q - 5*x - 15305 = 16943, 2*x + 32236 = 4*q. Is q composite?
True
Let b(g) = 13*g**2 - 2*g - 6. Suppose 3*x = j - 16, 0 = 3*x - 5*j - 0*j + 8. Let u = x - -1. Is b(u) a prime number?
False
Let s(g) = -10*g + 96. Let l be s(9). Suppose 5*h = l*c - 10*c + 45466, c + 45471 = 5*h. Is h prime?
False
Suppose -c - 3*c = -5*k - 309, 2*k - 249 = -3*c. Let v = c - 58. Suppose 27*n - 5404 = v*n. Is n a prime number?
False
Let r(t) = 919*t**3 + 8*t**2 - 23*t + 5. Suppose 70 = 11*k + 24*k. Is r(k) composite?
True
Let f be 10/(-6) + 686/147. Suppose 4*x - 16 = 0, -f*m + 18272 = 2*x - 33597. Is m a composite number?
True
Suppose 4*i + 63155 - 387151 = 0. Is i a composite number?
True
Let g = -27002 - -15549. Let u = -6091 - g. Suppose 0 = -2*d + u + 5992. Is d prime?
False
Suppose 3*d - 9 - 10 = -5*n, 0 = 2*d + 5*n - 21. Is (d + 1519/4)*4 a prime number?
True
Suppose 5*l - 85 = -q + 165, l = -3*q + 764. Is 4/(-30) - (-705619)/q a composite number?
False
Suppose -6*p = 4*p - 90. Let o(q) = -2*q**3 + 18*q**2 + 2. Let w be o(p). Suppose 825 + 3073 = w*k. Is k a prime number?
True
Let u(o) = o + 6. Let c be u(13). Suppose -5*r - 3 = d, 5*r = -2*d - d - c. Is 306/4*(2 - d/(-6)) composite?
True
Let b(r) be the second derivative of r**5/10 - r**4/12 + r**3/2 - r**2/2 + 14*r. Let n be b(1). Suppose -4*h + 4529 = n*h. Is h prime?
True
Is -2 - (-27032)/(7 - -1) composite?
True
Let n(b) = -2*b**3 - 5*b**2 - 6*b - 14. Let a be (3/(-9))/(2/(-108)). Let q be (-33 + a)*(-4)/(-10). Is n(q) composite?
True
Let r(q) = 3*q**3 + 282*q**2 - 49*q + 161. Is r(-86) a prime number?
False
Let a(b) = -22*b - 161. Let z be a(-9). Suppose -33*r + z*r = 11356. Is r a composite number?
True
Suppose 12*n + 24 = 9*n. Let v(y) = -5*y**3 - 2*y**2 + 13*y + 7. Is v(n) a prime number?
False
Is (20/((-720)/276))/((2 - 4)/16602) a prime number?
False
Let f = 50 + -13332. Let j = -2921 - f. Is j a composite number?
True
Let p = -688 + 1326. Let t(a) = -4*a**2 - 14*a - 71. Let g be t(-10). Let c = p + g. Is c composite?
False
Let k = -40409 + 72346. Is k a prime number?
False
Suppose d = -q + 17, -51 - 18 = -5*d - q. Suppose 10*n = d*n - 9. Suppose 0 = -3*s - 15, -4*o - n*s = -s - 2202. Is o prime?
False
Suppose 3*m + f - 264205 = 0, -4*m - 10*f = -5*f - 352266. Is m a prime number?
True
Let b be ((-1)/(-3) - 0)*(-11 - -14). Is (2199/13 - (-8)/(-52))*b composite?
True
Let x = -27207 - -47380. Is x composite?
False
Suppose -13*q - 11*q + 150843 = -3*q. Is q prime?
False
Suppose 4*a + 15 = -a. Suppose 38*x - 42*x - 4 = 4*v, 4*x + 5*v + 5 = 0. Is 333 + x + 5 + a prime?
False
Let w(u) = -u**2 + 3*u + 2. Let b be w(3). Suppose 0 = 3*c + 2*q + 11, b*q + q = c + 11. Let z(r) = -11*r + 3. Is z(c) a prime number?
False
Let k = -30 + 58. Suppose 48*j - k = 52*j. Is (-2086)/j - 1*-1 a composite number?
True
Let u(x) = 7*x**2 - 50*x + 110. Let h be u(-23). Suppose 0 = d + 5, -d + h = 3*z - 12453. Is z composite?
False
Let l = -2063944 + 2986791. Is l a prime number?
False
Let s(f) = -f**3 + 11*f**2 - 23*f - 3. Let i be s(8). Suppose -3*w + 5939 = o, i*w + o - 9228 = 669. Is w composite?
False
Is (24/(-10))/(960432/(-320140) - -3) + -7 prime?
False
Let j(g) = -2*g**2 + 11*g + 48079. Is j(0) prime?
True
Suppose -10 = 2*f, -9*f = -l - 8*f + 860. Let m be (-3)/(-1) + -1 - -396. Let s = l - m. Is s prime?
True
Let b(z) = 60*z**2 + 854*z + 149. Is b(-55) composite?
True
Let k(p) be the first derivative of -p**4/4 - 10*p**3/3 + 9*p**2/2 - 8*p - 17. Let n be k(-11). Suppose 4*b - 6167 = -j, -5*j - n - 11 = 0. Is b composite?
False
Suppose 288883 - 11273107 = -48*n. Is n a prime number?
False
Let i be 4 - ((-2)/(-10) + 8/(-40)). Suppose 0 = r + i*d + 840 - 2959, 0 = -3*d + 15. Is r a prime number?
True
Suppose 11*v - 25 = 6*v. Suppose j - r = -v*r + 3, -r = 0. Suppose -j*a - 2*n + 1379 = 0, 5*a - 4*n - 2289 = -5*n. Is a a compo