s a - (2 - (3 - 5)) a composite number?
True
Let x = -14 - -19. Suppose 5*k - 1012 = -0*r + 2*r, x*k + 4*r = 1036. Suppose -n + 267 + k = 0. Is n a prime number?
False
Let c(j) = 74566*j**3 - 40*j**2 + 75*j - 5. Is c(2) a prime number?
False
Is (14 + -7)/(22/1206238) a composite number?
True
Let f = -237772 + 444461. Is f prime?
False
Is 4 + (-6 - -3*(-47126)/(-3) - -5) a prime number?
True
Is (-543951)/(-12)*-2*-2 - (-4 + 0) prime?
False
Let t(k) = -23*k**3 + 6*k + 7. Suppose 5*h + h = 0. Let y be (h + -1)*(-2 - -4). Is t(y) a prime number?
True
Let g(l) = l**3 - 11*l**2 + 6*l + 26. Let j be (-6)/(12/(-14)) - -4. Let f be g(j). Let v = f + -13. Is v a composite number?
False
Is (((-4)/10)/(52/65))/(48/(-13728)) a composite number?
True
Let t(l) = l**3 - l + 4. Let z be t(3). Let o be ((-10)/25)/2*-25. Suppose z = o*k - 587. Is k a prime number?
False
Suppose 4*z = -2*g - 32, 6 = -z + 4*g - 2. Is 2/(z + (-28072)/(-3508)) prime?
True
Let z(i) = -i**3 - 3*i**2 + 5*i + 6. Let m be z(-4). Let a(b) = 239*b**2 + 14*b - 31. Let d be a(3). Is m/6*(d - 5) a prime number?
True
Let f = -12470 + 17539. Is f composite?
True
Let r = 3895 + -2371. Suppose 4*a = -0*a + r. Suppose -a = 15*o - 18*o. Is o composite?
False
Suppose 11*z - 4 = 7*z. Let a be (z - -3)/(13/26). Suppose a*n = 991 + 2041. Is n a prime number?
True
Suppose 9*o + 48 - 4044 = 0. Suppose 441*r = o*r - 76155. Is r composite?
True
Let c = 172471 + -714. Is c composite?
False
Let g be 10/(-15)*1347/2. Let m = 1500 - g. Is m prime?
True
Let t = 393 + -384. Suppose 2*u - 24316 = -4*j, t*j - 4*u = 13*j - 24324. Is j composite?
True
Let q(b) = -b**2 + 22*b - 51. Let m be q(23). Let r = 201 + m. Suppose w - r = -i, -4*i - 2*w + 508 = -6*w. Is i composite?
False
Let c(w) = w + 2. Let t be c(0). Suppose -t*j - 30 = 58. Is (-4788)/j - (-6)/33 composite?
False
Suppose -2741393 - 105908 = -11*w + 1672390. Is w a prime number?
False
Let o(n) = -n**3 + 17*n**2 + 39*n + 3. Let x be o(19). Suppose -39798 = -x*b + 29788. Is b a prime number?
True
Suppose -2*f - 3*d - 1 = 13, 0 = -4*f + 4*d + 12. Let r = 2 - f. Is r/(-6)*(-1 + -2281) a composite number?
True
Suppose -4*f + 400 = 5*l - 153614, 3*f - 115497 = 3*l. Is f composite?
False
Suppose -3*a + x = -79178, 181*a - 180*a = 5*x + 26388. Is a a composite number?
False
Let f be -7 - -8 - (-3 + 3). Let g be (-85)/20 + f/4 + 8. Suppose 5*n - 4*r - 11657 = 0, -11102 = -g*n - 3*r - 1764. Is n composite?
False
Suppose 0 = 4*u - y - 116, 3*y - 7 = 5. Suppose 0 = -2*b + 5*h + u + 58, -4*h = 16. Suppose -b*j = -30*j - 15148. Is j prime?
False
Let b = 1082076 + -681132. Suppose 0 = -26*j - 22*j + b. Is j composite?
False
Let t(v) = v**2 - 8*v + 22. Let a be t(4). Let b be (-60)/(-18) - 2/a. Suppose -g - 3 = 0, -2*d - 462 = -b*d + 5*g. Is d prime?
False
Let m(b) = -1611*b - 40. Let d be m(-3). Suppose -7*u + 7814 = -d. Is u a composite number?
False
Let k be (0/(-1) - (-3 + 1))*17. Suppose 32*y = k*y + 12. Is -2*(6501/y + 3) a composite number?
False
Suppose 43724 = 2*f - 4*c, -7*f = -3*f + 5*c - 87396. Is 15 + -18 + f + 0 a composite number?
False
Let q = -4919 - -543553. Is q a prime number?
False
Suppose -5*i + 60 = 3*g, 5 = g + 5*i - 5. Is (19 - g) + 2794 + -1 a prime number?
False
Let x = 27 - -5. Let r be 11*((-4)/4 - -3). Let u = x - r. Is u prime?
False
Let w = 3147 + -148. Is w prime?
True
Let s be 18*(-2)/8*(-4)/(-3). Is (-21782)/s - (-2)/3 a prime number?
True
Let w(b) = -b**2 + 9*b - 2. Let y be w(6). Suppose -2*r = 6*r - y. Suppose 6*t - r = 136. Is t prime?
True
Suppose -11*r = -206 - 58. Is r/84 + -1 + 43128/21 a prime number?
True
Suppose 368403 = 3*a + t, 19*a = 18*a - 5*t + 122773. Is a a prime number?
False
Suppose 4*g = -3*y + 1196675, -4*y - 299183 = -1381*g + 1380*g. Is g a composite number?
False
Suppose 47*a - 53173 = 46*a + 145148. Is a composite?
True
Let o = -77 + 61. Let r be 1 + (o/14)/(20/(-70)). Is (-4)/(-20) - (-5754)/r a composite number?
False
Let w(n) be the second derivative of -n**3/6 + n**2 - 22*n. Let h be w(6). Is (3 - 2) + h + -4 + 752 a prime number?
False
Let u(p) = -5*p + 58. Let b be u(11). Suppose -b*m - 1230 = -3*y, -3*y - m = -y - 817. Is y a prime number?
True
Let s(d) = d**2 - 10*d + 30. Let l be s(6). Suppose l*f - 4*f = 7022. Is f composite?
False
Let a(n) = 4233*n**2 + 15*n - 49. Is a(4) prime?
False
Suppose -533*d = -532*d - 18884. Suppose 246*o = 242*o + d. Is o a prime number?
True
Suppose -4*o - 2*v + 75226 + 211736 = 0, -143487 = -2*o + 5*v. Is o a composite number?
False
Suppose -5 = -5*s - o, 2*s + 6*o - 5*o = 2. Let t(y) = 4752*y**2 - y + 1. Let x be t(s). Suppose 0 = 3*v - 2*h - h - x, h = 3*v - 4750. Is v prime?
True
Let x(q) = q**2 + 10*q + 25. Let i be x(-7). Suppose -2*n + i*d + 12280 = 2*n, -d = 4*n - 12290. Let y = -635 + n. Is y a prime number?
True
Let s be ((-14)/(-6))/(5/15). Suppose 6*h = 5*h + s. Suppose 0 = -5*w - 15, 2*u = h*u - 3*w - 9514. Is u composite?
False
Suppose 2*k + 947186 = 6*z, -5*z + 2*k + 667969 = -121352. Is z a prime number?
False
Let j(r) = 36*r**2 + 40*r + 89. Let k(u) be the second derivative of 3*u**4/4 + 5*u**3/3 + 11*u**2 + 11*u. Let w(z) = -2*j(z) + 9*k(z). Is w(9) prime?
True
Suppose -24*h = -27383351 - 169662673. Is h a composite number?
True
Let g(z) = 91*z**3 + 6*z**2 + z - 4. Let c be g(-1). Is (-5651170)/c - 6/(-27) composite?
False
Let x be (-8 - (-2)/2)*1. Let b(m) = 530*m**2 - m**3 + 2*m + 4 - 526*m**2 + 0. Is b(x) composite?
True
Let u(a) = -121*a**3 - 4*a**2 - 2*a - 25. Is u(-4) a prime number?
False
Let h(n) = 7*n + 56. Let d be h(-8). Suppose -5*i + m + 45066 + 69025 = d, 12 = 3*m. Is i prime?
False
Let f(t) = 986*t - 21. Let z(p) = 7*p**3 + 2*p**2 - 4*p + 3. Let j be z(1). Is f(j) composite?
False
Suppose -5*i + 11 = -4*n, 6 = -0*i + 3*i - 3*n. Suppose k = -3*x + 578, -i*x - 2800 = -19*k + 14*k. Is k a composite number?
False
Suppose -i - 9167 + 51137 = 4*g, 41980 = 4*g - 4*i. Suppose g = 3*v - 4090. Is v a composite number?
False
Suppose 0 = -2*d + 3*i + 8883604, -8*d + 35534350 = 2*i - 3*i. Is d prime?
True
Suppose -756665 + 703169 - 1309986 = -18*y. Is y prime?
False
Let b(i) = -115*i**3 + 29*i**2 + 183*i - 7. Is b(-10) prime?
False
Is 1/((-26)/117 - (-46406)/208746) prime?
True
Is (-6354225)/(-87) - 4/(-145)*(-525)/210 composite?
False
Let g be (-30)/(-20)*(-1636)/6. Let j = -270 - g. Is j a composite number?
False
Suppose 0 = 35*z + 94506 + 108984. Let k = 5851 - z. Is k a prime number?
False
Let q = 8246 - 2225. Suppose 31*n - 40*n = -q. Is n composite?
True
Let b(w) = -14*w**2 - 3*w - 5. Let u(r) = 5*r + 17. Let d be u(-4). Let o(f) = -14*f**2 - 2*f - 4. Let z(g) = d*o(g) + 2*b(g). Is z(-2) a prime number?
False
Let f(k) = 10204*k**2 + 33*k + 123. Is f(-5) prime?
False
Let t = 126 - 69. Let v = -53 + t. Suppose 5*n + 5*s - 1910 = 0, v*n - 3*s + 6*s - 1523 = 0. Is n composite?
True
Is (-164659)/((-182)/(-35) - 7 - 12/(-15)) a composite number?
True
Suppose -r = -i - 4*r + 1386, -2*i + r = -2765. Let q = i + -692. Is q prime?
True
Suppose i + 2*i = -12, 4*i - 69 = -5*y. Suppose 14*u = y*u - 15657. Is u a composite number?
True
Suppose 0 = 3*t - 2 + 2. Suppose t = 6*y + 6*y - 132. Suppose y*g = 19*g - 13880. Is g composite?
True
Let l(f) = 21*f**2 - 38*f - 146. Let x be l(-5). Let j be (-2)/9 - 5924/(-9). Suppose 113 = 5*s + 4*u - x, 0 = -5*s + 4*u + j. Is s prime?
False
Let v(y) = 5*y**2 + 2*y + 1. Let p(x) = -3 - 3*x**2 + x**2 + 76*x - 61*x. Let z be p(7). Is v(z) prime?
True
Let i be -33*(138/(-18) + 5). Let x(b) = -b**3 + 15*b**2 + 8*b - 17. Let n be x(15). Let d = n - i. Is d composite?
True
Suppose 6*d = 8*d - 2. Is d/((20/(-635))/(-4)) a composite number?
False
Let b = -190 + 208. Is -1 + b/22 + 38068/44 a composite number?
True
Suppose 3*x - 128 = -2. Suppose -38*j - 21148 = -x*j. Is j a composite number?
True
Suppose -4*u = 3*u - 8*u + 17665. Is u composite?
True
Suppose -2*b = -0 - 4. Suppose 0*z + b*z = 114. Suppose -2*s + z = -1381. Is s prime?
True
Let j = -31182 + 78295. Is j a prime number?
False
Let u(o) = -279*o**2 - 7*o - 11. Let r(z) = -280*z**2 - 8*z - 11. Let a(t) = 3*r(t) - 4*u(t). Is a(-4) composite?
True
Let m = 88 - 88. Suppose 0*x - 2*x - 6 = -2*i, m = 5*x + 5*i - 5. Is x/(5/(-4 - 3151)) composite?
False
Is (-105)/399*-19 -