-4*w = z - 8767, -z + b*w = -0*z - 8735. Is z prime?
False
Suppose 3*w + 2*o = 1291, -2*o + 25 = 3*o. Suppose 4*y - 5*y = -w. Let g = y + 62. Is g composite?
True
Let j = -105 - -129. Suppose -8*w + 2*w + j = 0. Suppose 220 = -w*m + 1704. Is m composite?
True
Suppose -40*n + 764585 = 249025. Is n a prime number?
True
Suppose -a = -g - 65, -4*a - 5*g + 2*g = -225. Let u = a - 58. Suppose -213 + 683 = u*y. Is y a composite number?
True
Suppose 2 = -2*b, -5*v - 2*b - 3 + 11 = 0. Suppose 5*y - 5*a - 40 = 0, 5 = v*y + 3*a - 1. Suppose c + 2 - y = 0, -5*c = 4*p - 7224. Is p composite?
False
Let i(p) = 46 + 2*p - 29 + 8. Let v be i(15). Suppose -g + 42 + v = 0. Is g a prime number?
True
Let i be (-821)/9 + (-2)/(-9). Let p = i + 93. Suppose -4*q + q + 63 = p*s, -161 = -4*s + q. Is s a composite number?
True
Is 5753572/16 + (-7)/((-112)/12) a prime number?
True
Let o(f) = -f**3 - 3*f**2 + 10*f + 5. Let q be o(-5). Suppose 0 = 3*y + 4*c - 3*c - 13, -2*y - q*c - 13 = 0. Is y/(-27) - (-5264)/36 prime?
False
Is -613097*((-5)/(-25) - 24/20) composite?
False
Let a = -41 - -72. Suppose b + 5*f = 1049, a*b - 3*f - 3111 = 28*b. Is b a prime number?
True
Let q(x) = 4031*x**2 + 3*x + 21. Let b be q(-19). Is 1 - 33/27 - b/(-117) a composite number?
False
Suppose -291248 = -4*t - 5*z, 0 = 70*t - 71*t + 5*z + 72837. Is t a prime number?
True
Is 8353/4*(-231 - -235) prime?
True
Let t(o) = -226*o + 844. Let j(h) = 57*h - 194. Let l(k) = 9*j(k) + 2*t(k). Let m(q) = q**3 + 3*q**2 - 3*q + 3. Let b be m(2). Is l(b) composite?
True
Let n(b) = -b**2 + 24*b - 3. Let h be n(16). Let g = 934 + h. Is g composite?
True
Let g = 23293 + 332872. Is g prime?
False
Let r(y) = -y**3 - 9*y**2 + 1. Let f be r(-9). Let c(n) = 1945*n. Is c(f) prime?
False
Let u = -634 + 637. Is (u + -4)/(15/(-633315)) prime?
True
Let d(x) = 31*x**2 + 355*x + 29. Is d(-42) a prime number?
False
Suppose -7 = -6*f + 5*f - 4*p, 2*f + p - 42 = 0. Suppose 18*x - 5*m + 46140 = f*x, 18446 = 2*x + 4*m. Is x composite?
True
Let o = -287 - -291. Suppose -4*v = -o*x - 2984, -4*x = -3*v + 102 + 2131. Is v composite?
False
Suppose 0 = k + 10 - 9, 2*k = 5*q - 632. Let w(y) = y - 2. Let f be w(4). Suppose f*o + q - 722 = 0. Is o a prime number?
False
Let o be 2172 + ((-7)/(-1) - 1). Let w = o - -28603. Is w composite?
False
Let m(y) be the third derivative of 313*y**6/120 + y**5/15 - 3*y**4/8 + y**3/2 + 158*y**2. Is m(4) composite?
False
Suppose 0 = t - 83 + 75. Suppose -47108 = -12*m + t*m. Is m prime?
True
Let y = -155190 - -685207. Is y a composite number?
False
Let o(s) = -3*s + 60. Let g be o(17). Suppose 208 = g*n - 71. Is n a prime number?
True
Suppose 10965 = 3*i - 3*r, 5*i - 13*r = -11*r + 18269. Is i a prime number?
False
Let q be 2552/(-16) - (-10)/4. Let n = q + 494. Is n a composite number?
False
Let t = -157365 - -274124. Is t a prime number?
False
Let m = 293 + 219. Let h be -337 + (-13 - 3)/(-2). Let j = h + m. Is j a composite number?
True
Let r(t) = 104*t**3 - 2*t**2 + 53*t - 247. Is r(4) prime?
False
Suppose 0 = -515*n + 533*n - 2177586. Is n a prime number?
True
Let c be (21/(-6) + 3)*(-2 + 2). Suppose 7*k - 3*k = -3*i - 529, -5*i + 2*k - 899 = c. Let o = i + 706. Is o a composite number?
True
Let z = 747 + -1247. Suppose -4*x = n + 4931, x + 1254 = -0*n + 4*n. Let y = z - x. Is y composite?
True
Suppose -5*l + x = -49121 - 31525, -2*x + 64528 = 4*l. Suppose 0 = 9*r + r - l. Is (-14)/(-6) + -2 + r/3 composite?
True
Suppose -36*s + 30708 = -30*s. Let y be (33/(-9) + -1)*(0 - s). Suppose 0 = -20*c + 16*c + y. Is c composite?
True
Suppose -p + 849322 = 4*m - 120701, 242487 = m + 4*p. Is m a prime number?
False
Suppose 39*r = 37*r + 518. Suppose 815 = 3*l + 4*q, 1078 + r = 5*l - 4*q. Is l a prime number?
True
Suppose 815 = 5*u - 3370. Let a be 0*((-1)/6 - 5/15). Suppose 3*z = -a*t - 5*t + 2098, z + u = 2*t. Is t prime?
True
Let x(n) = -n**3 + 21*n**2 - 49*n + 212. Let b be x(19). Suppose 0 = 4*s + 20, 2*s - 4*s + 8258 = 2*o. Suppose -b*u = 3*u - o. Is u composite?
True
Let b(f) = 17*f + 1524. Is b(-49) a prime number?
True
Suppose 28*r - 23*r = 15. Let h be (r + 1)/(-2) + 2*-749. Let g = 3745 + h. Is g prime?
False
Let m(d) = 85*d**2 - 185*d - 223. Is m(24) prime?
False
Let y(k) = -2*k**2 + 64*k. Let m be y(32). Suppose -5*v - 2*v + 10591 = m. Is v a composite number?
True
Let d(w) = -w**3 + 4*w**2 + 8*w - 8. Let l be d(5). Let n be 285/105 + 2/l. Suppose -886 = n*z - 5*z. Is z prime?
True
Let f = 132926 + 3975. Is f prime?
False
Suppose -3*g + 11*g = -27168. Let v = -977 - g. Is v a prime number?
False
Suppose -4*n + s + 175826 = 0, -93*s + 8 = -89*s. Is n prime?
False
Let b = -43 + 40. Let d be (18/4)/(b + (-526)/(-176)). Let x = d + 595. Is x a prime number?
True
Let b be 3 - (30/3 - 4) - 24240. Is (-12 - (-350)/30)*(b - 0) composite?
False
Suppose 3*s = 3*u + 3, s + 2*u = -2 - 0. Suppose 0 = -2*d + 4*p + 4, 2*p + s*p = 0. Suppose -185 - 601 = -d*a. Is a prime?
False
Let b = -648 + 651. Suppose 851 = b*z + y - 15926, -3*y = 15. Is z composite?
True
Is 1*14897478/38 - 2/(-19) a composite number?
True
Let p = 239369 + 12368. Is p prime?
True
Let f = -116 - -355. Suppose -o + 261 = -f. Suppose c + 3*g = 859, -g = -2*c + o + 1246. Is c a composite number?
True
Suppose -3*x - 3*q = -0*q - 4365, -2*q = -6. Let j = 874 - -99. Let o = x - j. Is o a prime number?
True
Suppose -5*u + 85055 = 4*p, 3*u + 108*p = 111*p + 51033. Is u a composite number?
False
Is (13 + -23 + 12)/((-6)/(-218289)) a composite number?
False
Let i = 75 - 65. Suppose -i*f + 88 = f. Is 36/f*164 - -5 prime?
True
Let l be 225/36 + (9/(-4) - -2). Let h be 1/(-3) - (-2)/l. Suppose -s + 3*y + 207 = 0, h = -5*s - 0*s + 2*y + 1009. Is s composite?
True
Let z(p) = 249*p**2 - 236*p - 3. Is z(-8) prime?
False
Let s(j) = 12*j**2 - 3*j + 5. Let m be -2*(0 - (1 - 2)) - 8. Let g be 8/m + 468/(-65). Is s(g) a composite number?
False
Suppose 3*o = -686*d + 682*d + 435215, 5*d - 290127 = -2*o. Is o a prime number?
False
Let z(v) be the second derivative of -313*v**3/6 - 6*v**2 + v - 66. Is z(-19) prime?
False
Suppose 9 = -3*h, -3*n - 3*h = -h + 36. Let b = n + 10. Suppose b = -4*i + 12*i - 3304. Is i a prime number?
False
Let s = -423 + 641. Let b(t) = 137*t**2 - 5*t - 5. Let i be b(-2). Suppose 3*g = i + s. Is g a composite number?
False
Suppose -n - 2 = -3*n. Let s(k) = 1701*k**2 - k + 2. Let y be s(n). Suppose -y - 946 = -8*c. Is c composite?
False
Let x = -109 - -131. Suppose x*k + 61130 = 32*k. Is k a prime number?
True
Is (-6)/(-4)*(12 - (-1433866)/21) a prime number?
True
Let m be (-18)/48 + 2/32*2326. Let j = 1296 - m. Is j prime?
True
Let q(g) = -g**2 + 26*g + 458. Let v be q(39). Suppose t + 0*t - 132 = 0. Let l = v + t. Is l composite?
False
Suppose -4*m - q = -149717, 58*q + 112290 = 3*m + 61*q. Is m composite?
True
Suppose -4*g = 514 - 550, 0 = -5*y - 3*g + 29522. Is y a composite number?
True
Let n = -96 - -97. Let b(a) = -6*a. Let w be b(n). Is (-190276)/(-52) - w/(-39) prime?
True
Let l(p) be the second derivative of 3*p**5/20 + p**3/6 + 373*p**2/2 - 62*p. Is l(0) composite?
False
Let l = -1710778 + 2528871. Is l a prime number?
True
Is (-148420812)/(-2680) + (-1)/(-10) a composite number?
False
Suppose -4*m + 4033620 = -2*f, 4*m - 4033588 = -40*f + 38*f. Is m a composite number?
False
Is 20/3*(-26544)/(-448) composite?
True
Let j(c) = -17502*c - 1271. Is j(-12) a composite number?
True
Let z(m) = m**3 + 16*m**2 + 12*m + 9. Suppose -12*t = -17*t - 45. Let h be z(t). Suppose h = i - 649. Is i prime?
True
Suppose 6*s + 102219 = 6*c - 3*c, -s - 170293 = -5*c. Is c composite?
False
Let j(c) = 43*c - 12. Let d(r) = -11*r - 2. Let q(h) = 23*h + 3. Let u(w) = 13*d(w) + 6*q(w). Let f be u(-3). Is j(f) composite?
True
Suppose -21*i = -65 + 2. Let x(j) = -j**3. Let b(s) = -s**3 - 1. Let n(m) = 5*b(m) - 6*x(m). Is n(i) composite?
True
Suppose 95*z - 49219836 = -11108401. Is z a prime number?
True
Suppose 0 = -143*c + 138*c + 2*t + 1858611, 4*c - 1486892 = 2*t. Is c prime?
True
Suppose -139073 = -4*d + 5*n, 405*n - 35 = 400*n. Is d prime?
False
Let d(x) = 11128*x**2 - 531*x - 4918. Is d(-9) a prime number?
False
Let r = -18563 + 32747. Suppose 5*k = -2*q + 6*q - r, -4*q + 2*k = -14196. Is q composite?
True
Suppose 5*m + 2*k = 261225, 51*k - 47*k 