223663. Is n composite?
True
Let m = -1075 - -1910. Let q = m + 72. Is q prime?
True
Suppose 2*b = -3*a - 7, 4*b = -b - 4*a. Suppose b = 2*h - 0. Suppose -n - h*n = -1797. Is n prime?
True
Suppose -8*b = -5*m + 5791301, 5*m - 3351964 = -3*b + 2439315. Is m a composite number?
True
Let d(p) = 42*p**3 + 2*p**2 + 8*p - 3 - 4 - 10*p**3 + 18*p**3. Is d(3) prime?
False
Let x(o) = -o**3 + 6*o**2 + 11*o + 7. Let y be x(8). Let w = 38 + y. Suppose -w*q = 2*i - 4839, -5*i + 1944 = -4*q + 6*q. Is q a prime number?
True
Let k be 20/4*1 - -707. Is (k/(-20))/(2*3/(-15)) composite?
False
Let r be ((-1)/2)/(9/(-54)). Suppose -4*v + 50 = 4*q - r*q, 4*q = 4*v - 40. Suppose 0 = -v*m + 1610 + 3730. Is m composite?
True
Let b(h) = 357*h**3 + h**2 - 2*h + 1. Let q be (-6)/(2*2*6/(-16)). Suppose -7*z + 10 = -q. Is b(z) a composite number?
False
Suppose 5*p + 3*g - 46162 = 0, 5*g + 11396 = p + 2158. Suppose p = 5*r - 2*j, -2*j + 1849 = r - 0*j. Is r a prime number?
True
Is 4/(-6) + (-946006)/(-6) a composite number?
False
Suppose t - 13 = 2*t. Let i be (-5)/1*(t - 1386). Suppose -21*x = -16*x - i. Is x composite?
False
Let u = 13408 - -7441. Is u a prime number?
True
Let o = -70812 + 117288. Suppose -38*c = -2*c - o. Is c a composite number?
False
Let r(g) = -20*g - 53. Let o be r(-4). Is ((144/o)/(-8))/((-6)/57177) a prime number?
True
Suppose 5*i = 4*l - 77780, -46*i - 58335 = -3*l - 44*i. Is l a prime number?
False
Suppose -2*g = -o + 3*o - 5202, -3*o + 3*g + 7797 = 0. Suppose -5*u + 2*p + 6960 = 979, u = -4*p + 1205. Let l = o - u. Is l a composite number?
True
Let n be (1/(-3))/((-48)/288). Suppose 6*d - n*d - 3*i = 69602, 4*i = -8. Is d prime?
False
Suppose 2*m = 0, -5*i + 4 = -4*i - 3*m. Suppose 0 = -4*n - i, -4*d - 2*n + 37478 = -4412. Is d prime?
False
Let b(u) = u**3 + u**2 - 2*u + 6. Let r be b(0). Let o(h) = 23*h + 12 + 39*h + 13. Is o(r) a composite number?
False
Suppose t - 2*s - 1310773 = 0, 12*t = 11*t - 6*s + 1310701. Is t composite?
True
Let m = 18950 - 11071. Suppose -3*c - 2*h = -m, 5*c - 7*c + 4*h = -5274. Is c a composite number?
True
Suppose -8*c = 1942 - 15134. Is c a composite number?
True
Let c(w) = 28*w**2 + 17*w - 1. Let o be ((-24)/18)/((-2)/(-9)). Let p be o/20*(-8)/(-6)*10. Is c(p) composite?
False
Let y = 211 - 209. Suppose y*u - 2*n - 5187 = 3*n, 0 = -4*u + 4*n + 10344. Is u a composite number?
True
Let m = 61549 - 8238. Suppose a + 2*y - 53293 = 0, 13*y = -a + 17*y + m. Is a a composite number?
False
Let s(m) = -209*m**3 - 2*m**2 - 30*m - 68. Is s(-7) a prime number?
False
Suppose -5*c = -4*x - 321893, 0 = -5*c + x - 6*x + 321830. Is c a composite number?
False
Suppose -529 = -4*v - 1581. Let r be -5 - -2 - (-1179)/3. Let x = v + r. Is x prime?
True
Let a be 351840/(-36)*(-12)/10. Suppose -28*r + 20*r = -a. Is r a prime number?
False
Let j(z) = 16342*z - 1129. Is j(19) a composite number?
True
Suppose 53*n - 22 = 55*n. Let x(k) = -171*k + 158. Is x(n) prime?
True
Let r(k) = -808*k**3 - 43*k**2 - 236*k + 2. Is r(-5) a prime number?
True
Suppose 5*w - 5 - 17 = -a, 5*a + 15 = 0. Suppose -w*f - 67 = -62. Let x(q) = 55*q**2 - 2*q - 2. Is x(f) composite?
True
Let i be -8 - -9 - -914*(-2 + 3). Suppose 917*v = i*v + 4436. Is v composite?
True
Suppose 16*h - 142058 - 177142 = 0. Suppose 5*g - 5*d = h, 2*g + 4*d - 4951 = 3035. Is g composite?
True
Let c = 18080 - -15461. Is c composite?
True
Let y(q) = 37*q**2 + 4*q - 2. Suppose 3*j + 3 = -k, 4*k + j + 12 = 3*j. Let s be y(k). Suppose s = v - 88. Is v prime?
False
Suppose 55*k - 77*k - 15761013 = -79*k. Is k a prime number?
False
Let w(c) = 3 - 35*c + 39*c - 2. Let o be w(0). Is -2767*((-4)/o + (1 - -2)) a prime number?
True
Let o(q) = q**3 + 12*q**2 - 47*q - 25. Let l be o(-15). Suppose 4*c = 4*n + 24664, -c - l*n + 0*n = -6148. Is c a prime number?
True
Suppose -4*v = -3*d + 167226, 0 = 3*v + 2*d - 34613 + 160024. Is (2/6)/((12/v)/(-4)) prime?
False
Let q be 4 - (-8 + 2)/2. Let l(f) be the second derivative of f**5/20 + 5*f**4/12 + 4*f**3/3 + 3*f**2/2 - 14*f - 1. Is l(q) a prime number?
True
Let g(k) = 7*k**2 - 5*k - 31. Is g(-13) prime?
True
Suppose 0 = -3*k + 2*c + 188885, -2*c - 73133 + 10162 = -k. Is k a prime number?
False
Suppose 22 = -3*q + 10. Is (q/((-48)/60052))/(13/39) a composite number?
False
Is ((-1)/(-5))/((-14)/(2138710/(-1))) a composite number?
False
Suppose -14 = w + 5*f, 0 = -2*f - f - 12. Suppose 4*q - 5*n + 5004 = w*q, -2*q - 3*n = -5008. Is q a prime number?
False
Let b(u) = 1377*u - 35. Suppose 2*h - 3*h + 4*a = -26, -3*a = -3*h + 51. Is b(h) a composite number?
True
Suppose 20*t - 51817 = 76670 - 35267. Is t a prime number?
False
Suppose -71*t + 19*t - 104 = 0. Let g(x) = -341*x**3 + 29*x**2 - 1. Is g(t) a prime number?
True
Let r(i) = 51083*i - 1232. Is r(3) prime?
True
Let z = -3 - -8. Suppose -3780 = -b - z*b. Suppose 2*d - b = 3*a + a, 0 = 2*d - a - 618. Is d composite?
False
Let l = -19 - -17. Let h(u) = 729*u**2 + 2*u + 9. Is h(l) a prime number?
False
Let n(y) = 869*y**2 + 14*y - 43. Let i be n(-11). Suppose 16*c - 20*c - 78727 = -3*d, 4*d - c = i. Is d a prime number?
True
Let p = -1 + 9. Is 3 + (-1626)/p*104/(-39) composite?
True
Is 9114/868*(-117778)/(-7) a composite number?
True
Let x(o) = 7*o**3 - 4*o**2 + 10*o + 5. Let d = 100 - 95. Let t be x(d). Let m = 1249 - t. Is m prime?
True
Let c be (8/14)/((30/(-35))/(-3)). Suppose -c*m + 2616 = -230. Is m a composite number?
False
Suppose 2*t + 6*t + 88 = 0. Let r(f) = 15*f**2 + 6*f + 28. Is r(t) prime?
True
Let k(h) = 27*h**2 + 9*h + 173909. Is k(0) a prime number?
True
Let y(w) = 370*w**2 - 3*w + 3. Let v be (-15)/(-35) - (-54)/21. Suppose -31 + 10 = -3*g + 5*d, v*g - 4*d = 18. Is y(g) composite?
True
Let k(g) = 22*g**2 + 91*g - 704. Is k(-43) prime?
True
Is 2 + 6 - (4 + -33231)*3 composite?
False
Suppose -2*h - 28 = -30. Is (h - 2)/(8 - (-194697)/(-24337)) prime?
True
Is (-13)/(-39)*456735*7/5 prime?
False
Suppose 3*a = 702157 + 740030. Is a a prime number?
False
Let b(x) = x**3 + 14*x**2 + x + 17. Let d be b(-14). Is (-24)/(-6) - 14585/(d + -8) a prime number?
False
Suppose -356368 + 1039787 = 5*q - 4*c, -4*q - 3*c + 546760 = 0. Is q composite?
True
Suppose 8*r = 6*r + 22. Let g be (-88)/r - (4 - 2). Is (-3 - (g + 1)) + -2 a prime number?
False
Is (-3)/(((-204)/(-2676))/(-17)) a prime number?
False
Let o(r) = 56*r**2 - 3*r + 4. Let s be o(3). Suppose -990 = 649*p - 660*p. Let c = s - p. Is c prime?
True
Let d be (2/(24/27042))/((-2)/12). Is (0 + d/9)*-21 a composite number?
True
Let s(q) = -q**3 - 4*q**2 + 18*q + 33. Let r be s(-6). Is (111966/r)/((-42)/21) composite?
False
Let r(s) = 2*s - 1. Let y(c) = -87*c + 88. Let g(o) = 6*r(o) + y(o). Is g(-21) a composite number?
False
Is -34971*(-6)/(-9)*(-25)/10 a composite number?
True
Suppose -228 = f - 245. Is (-1176 - f)/((-3)/9) prime?
False
Let j = -90719 + 617458. Is j composite?
False
Let c = 121 + -183. Let n = -47 - c. Is (n/(-3))/(-5)*(449 - 0) prime?
True
Suppose 0 = 4*q + 3*z + 73645, -3*q - 48341 - 6896 = -z. Let c = -4817 - q. Suppose 0 = -3*m - 2*m + c. Is m a prime number?
True
Suppose 8*u - 19*u + 22 = 0. Suppose -3*l = -b - 8152, 2729 = l - 0*l + u*b. Is l a composite number?
False
Suppose 3*b = 3*d + 30594, -5*b + 15758 + 35235 = -2*d. Let x = -6452 + b. Is x a prime number?
False
Let h(b) = b**2 - 21*b + 32. Let r be h(20). Suppose 3*f - r = -f. Suppose 2*l = 3*g - f*l - 1547, l + 517 = g. Is g a composite number?
True
Suppose 3*q + 121024 = o, 29*o - 25*o = 5*q + 484131. Is o a prime number?
True
Suppose 9*c - 1411920 = -14*c + 2774701. Is c a prime number?
True
Suppose g - 2*j - 34415 = 0, 68788 = g + g + 3*j. Is g a prime number?
True
Suppose -2*t = -4*o, 2*o + 4*t = -12 - 8. Is (-2522)/o - (6/1)/3 composite?
False
Let q = 18 - 15. Suppose -q*c + 78 = l, 0*l + 19 = c - 2*l. Is 6/((-60)/c)*-86 a prime number?
False
Let n be (2/(-4))/(1/(-4)). Let b be 25*(2/(-6) - 2248/(-120)). Is (-1 + n)/(20/b) a prime number?
True
Is (-254)/(-889) + (-1623702)/(-14) a prime number?
True
Let k(a) = -a - 18. Let n be k(-20). Let d(x) = x**2 - 3*x + 3. Let j be d(n). Is 1054 - -10 - j/(-2)*-6 a composite number?
False
Let t(g) = -g**2 - 23*g + 119. Let z be t(-27). Suppose -z*f + 1658 - 393 = 0. Is f a composite number?
True
Let o(b) = b**2 - 22*b + 94.