e
Let y(m) = 24*m - 24. Let k be y(-7). Let f be k*(18/4)/(-3). Let x = f - -7. Is x a composite number?
True
Suppose 0 = -f - 3*g + 1975, f - g - 395 - 1600 = 0. Suppose -4*o + 2*o + f = 0. Suppose -3*l - 2*l = -o. Is l composite?
False
Let z(b) be the first derivative of 512*b**3/3 + b + 4. Let k be z(1). Suppose 3*n = 288 + k. Is n composite?
True
Let q(x) = -2018*x + 97. Is q(-6) prime?
False
Let b = 449 + 132. Is b a composite number?
True
Suppose -w + 339 = 3*y - 152, -2*y - 5*w + 336 = 0. Let l be 3192/15 + -2 + 1/5. Suppose y = 2*a - l. Is a a composite number?
True
Let m(w) = -7*w - 4*w + 27 + 19*w + 17*w. Is m(4) a prime number?
True
Let w = -11155 + 18278. Is w a composite number?
True
Let s = 24 + -24. Suppose 4*a - 3 = w, s = a + 3*w - 10 - 7. Is (-462)/(-12) - a/(-4) prime?
False
Let y(s) = 143*s + 7. Is y(8) composite?
False
Suppose -602*g + 149191 = -595*g. Is g composite?
False
Suppose -t = -3*q - 13259, -12677 - 13835 = -2*t + 3*q. Is t a composite number?
True
Let j = 166 - 182. Is (23114/6 - j/(-12)) + -4 composite?
False
Let g = 32928 - 2191. Is g composite?
True
Let a be -8*(-2 + 3)*(4 - 2). Let s = a + 239. Is s a composite number?
False
Suppose 3*f = -68 + 557. Is f*1 + 68/(-17) composite?
True
Let n(s) = 1288*s - 59. Is n(6) a composite number?
False
Let z = 7 + -4. Suppose -2*a - 160 = -4*m + 3*a, -2*m + 2*a + 78 = 0. Suppose 2*n - m = -z*n. Is n composite?
False
Suppose -3*z - 10 = 5*i, -2*z - i = 4 - 2. Suppose 121*t - 116*t - 1465 = z. Is t a composite number?
False
Let l(j) = -70*j + 2. Let f be l(-2). Let a = 348 - f. Is (2 - a)/(-4) + 2 a prime number?
True
Let f(y) = -3*y**3 + 2*y**2 + 15*y - 13. Is f(-7) a composite number?
False
Let c(b) = -12*b - 3. Let v be c(5). Is 164/6*v/(-14) composite?
True
Suppose 0 = -v - 5*u + 1362, 0*v - u = 4*v - 5467. Is v prime?
True
Suppose 2*t = 3*y + 11017 - 2786, 4*y - 4*t = -10980. Let g = y - -5136. Is g a prime number?
False
Let x be 15*(2 - 16/10). Let f = x + -3. Suppose -2*d = -f*d + 237. Is d a prime number?
False
Is 1/((-22)/66 + 14824/44454) composite?
True
Let t = -336 - -3609. Is t a prime number?
False
Let n = -110 - -112. Suppose v - l - 1564 = -3*l, 10 = -2*l. Suppose -n*x + v = 184. Is x composite?
True
Suppose 4400 = -u - 3*u + 3*r, 0 = 2*u + 3*r + 2218. Let j = u - -2002. Suppose p - 2*p = -j. Is p prime?
False
Let y be 48/(-22) - (-2)/44*4. Is 4/8*(y - -196) a prime number?
True
Is (-16)/(-336) + (-1877500)/(-105) composite?
False
Let o(u) = 3*u - 12. Let n be o(11). Suppose -5 = 4*q - n. Suppose -q*l - 3*b + 293 = 0, 3*b = l + b - 65. Is l prime?
True
Let w(l) = 7*l**3 + 2*l**2 + 4*l + 5. Let f be w(4). Let t = 40 + f. Is t a composite number?
False
Suppose 3 = -b - 4. Let t(k) = -379*k - 22. Is t(b) prime?
False
Suppose 8*p = -3*p + 19151. Is p prime?
True
Let m be (-18)/1 + -3 + 0. Let t = m + 118. Is (-9)/(-18) - t/(-2) composite?
True
Suppose -2*v = -j - 8778, 6667 = 3*v - 4*j - 6490. Is v a composite number?
False
Let m(g) = g**2 - 12*g + 16. Let c be m(11). Let b = 8 - c. Is (b + (78 - -2))/1 composite?
False
Let b = 8 + -5. Suppose 4*o = -2*u + 34, u + b*u - 3*o = 35. Suppose 606 = 14*p - u*p. Is p prime?
False
Let w be -2*(-1 - -2)*-1. Suppose 0 = 5*c - w*c. Suppose 0 = 4*y - y + 3*r - 1254, c = -3*y + 5*r + 1262. Is y a composite number?
False
Let m(f) = f**3 + 6*f**2 + 5*f + 4. Let z be m(-5). Suppose 0 = 2*l + 6, -l + 1065 = z*s - 1264. Is s a prime number?
False
Let y be 2106/24 - (-1)/4. Suppose 2*d + y = 6*d. Suppose 4*h - 3*m - 49 = 0, 4*m + 70 - d = 4*h. Is h a prime number?
True
Let g be 3/3 + -5 - -5. Is g + (416 - (3 + -5)) a composite number?
False
Let b = -4111 + 12774. Is b prime?
True
Let q = -82 + 86. Suppose 0 = 7*s - q*s - 13323. Is s composite?
False
Is (-5 - -4)/(8/(-75128)) composite?
False
Is 113*(-65)/13*-1 a prime number?
False
Let i = -14 - -17. Suppose -2*j + 27 = -i*t, -2*t = j - 0*t + 4. Suppose -2*d + 5*x + 143 = 0, -x + 25 = -j*x. Is d prime?
True
Let y(o) = -11*o + 14*o**2 + 9*o**2 - 2 - 6*o - 2. Is y(-3) composite?
True
Suppose 25*x = -452665 + 1126340. Is x prime?
True
Suppose 0 = 5*f - 3*c + 4*c - 10294, 2*c = -3*f + 6175. Suppose -15 = 6*l - 705. Suppose 2*x - l - f = 0. Is x a composite number?
False
Suppose -5*p - 3*p = -32. Suppose -p*d + 0*o + 738 = -2*o, -2*d = 4*o - 374. Is d prime?
False
Let r(p) = -12*p - 1. Let b be r(-1). Let a = b + -9. Suppose -a*f - n - 3*n = -94, -3*f + 151 = -4*n. Is f a prime number?
False
Let o = -3173 - -13734. Is o a prime number?
False
Suppose 20*d = -21*d + 77941. Is d prime?
True
Let i(q) be the third derivative of -q**4/24 + 4*q**3/3 + 5*q**2. Let n be i(8). Suppose -4*l - 2*o + 113 = -3*l, -3*l - 3*o + 348 = n. Is l composite?
True
Let h(g) = g**3 - 20*g**2 + 6*g + 1. Let z(y) = 5*y**3 - 100*y**2 + 29*y + 5. Let c(k) = -11*h(k) + 2*z(k). Is c(10) composite?
False
Let j = -23 + 26. Suppose -6 = -j*o + s, -4*o = -s - 6 - 3. Suppose -3 = 3*w + 3*b, -3*w - 1 = w + o*b. Is w a prime number?
True
Let j(l) = 29*l**2 - 10*l + 1. Suppose 21*u = 14*u + 56. Is j(u) a prime number?
True
Let u(x) = -15*x**3 + x**2 + 3*x + 1. Suppose -20 = -0*z + z - a, 2*a - 22 = z. Let n = z + 16. Is u(n) composite?
True
Let j be (-40082)/(-21) - (-2)/6. Let i = -1346 + j. Is i a prime number?
True
Let q = -2 - 40. Let b be (-2)/7 + 72/q. Is b/(-3) + (-2975)/(-15) prime?
True
Suppose -x - 837 + 3284 = 0. Is x composite?
False
Suppose 2*f - 5*f + 4*i + 7231 = 0, 0 = -4*i + 20. Is f composite?
False
Suppose v - 17 = 3*n, n - 4*n - 27 = -3*v. Is 10410/9*(-6)/n composite?
True
Suppose 5*g - 3*q - 5326 = 0, 2*q = -2*g + 3*q + 2130. Let k = 2321 - g. Is k composite?
True
Is (-998)/((-7)/((-21)/(-6))) prime?
True
Let s = 783 - 547. Suppose -s = -n + 137. Is n composite?
False
Let d(t) = -366*t - 437. Is d(-8) composite?
True
Let v(p) be the second derivative of 47*p**4/12 - p**3/2 - 3*p**2/2 - 9*p. Is v(-2) a composite number?
False
Let h = -28 - -29. Is h*(864/(-3)*-4 + -3) a composite number?
True
Let u(o) = 54*o**2 + 115. Is u(8) composite?
False
Let m be 2*(-4)/16*-8022. Suppose 0 = -7*n + 4*n + m. Is n a composite number?
True
Let o be -2 - 6/2 - -1. Let q be o/(-6)*30/(-2). Is (-52)/6*435/q prime?
False
Let f = 1 + 4. Suppose -8*c = -f*c - 1119. Is c composite?
False
Let a = 69 + -33. Let t = -63 + a. Let d = 61 + t. Is d a prime number?
False
Let j = 10124 + -6015. Is j prime?
False
Let g(u) = 6*u**3 + u**2 + 1. Let v be (-4 + 6)*(-3)/(-3). Is g(v) prime?
True
Let o be (-3)/((-15)/20) + -2. Suppose -5*r - 4568 = -4*g, -6*r - 2274 = -o*g - r. Is g composite?
True
Let k(s) = s**3 - 12*s**2 + 12*s - 13. Let c be k(11). Let o be 1/(1 + (-1)/2). Is 92 - (-12)/(c - o) a prime number?
True
Suppose 126*l = 122*l. Let p(y) = 164*y**2 - 2*y - 1. Let k be p(-1). Suppose -3*t + k + 696 = l. Is t a composite number?
True
Suppose -14*c - 38111 = -18*c - n, -n + 9530 = c. Is c prime?
False
Suppose -2*m = -3*u - 21, -4*u + 2*u - 16 = -2*m. Suppose 2*k - 201 = k + 5*z, m*k = -3*z + 603. Is k prime?
False
Let h = 10142 + -6097. Is h prime?
False
Let s = 0 - 8. Let j(l) = 3*l**2 + 3*l - 12. Let b be j(s). Is (b - -2) + (-4)/4 prime?
True
Let f = -497 - -731. Let g = f + 155. Is g prime?
True
Let r be 78/12 + (-2)/4. Suppose -f + r = 3. Suppose f*d + y - 29 = 42, -4*d + 3*y = -73. Is d composite?
True
Let a(f) = -3218*f**3 - 7*f**2 - 3*f + 13. Is a(-2) prime?
False
Let i(k) = 2*k**2 - 22*k - 3. Is i(34) a composite number?
True
Suppose -2*u + 4*l + 1420 = 0, 3*u + 5*l + 412 = 2520. Let d = 588 + u. Is d a composite number?
True
Let k(d) = 51*d**3 + 3*d**2 - 5*d + 7. Let z be k(3). Suppose -z = -s + 3*v, s - 4*v + 0*v - 1401 = 0. Is s a composite number?
False
Let f(r) = r**2 + 4*r + 8. Suppose -4*m + t = 22, 4*m - 2*t + 17 = -7. Let c be f(m). Suppose 0 = c*s - 14*s + 133. Is s a composite number?
True
Suppose 0 = 5*t - 4*c - 62215, -9*c + 7*c - 49772 = -4*t. Is t composite?
True
Let p be -21*(-4)/12*-1. Let o be p/(28/16) - 0. Is 16/o*(-406)/8 a composite number?
True
Let g = -137360 + 194221. Is g prime?
False
Is -5*(3 + (-103816)/10) prime?
True
Suppose -2*y - 18107 = 5*j - 4*y, -2*j - 4*y = 7238. Let m = j - -5724. Is m composite?
True
Let m = -17 - -17. Let r(j) = j**3 + j**2 + 123. Is r(m) prime?
False
Suppose 