*f - 171 = -4*f + 2*i, -3*i = -f + 173. Is f composite?
False
Let u = 20 - 12. Let g be (-15)/(-6) + -2 + 42/12. Suppose -u*x = -g*x - 508. Is x a prime number?
True
Let k = 2339 + -3533. Is (6/18)/((-2)/k) a composite number?
False
Let z(w) = 565*w**2 + 47*w - 385. Is z(8) prime?
True
Let b = 111 - -84. Let f = -106 + b. Is f a prime number?
True
Suppose -5*y = 3359 + 1566. Let n be y/(-5) - (7 + -3). Let c = -106 + n. Is c a composite number?
True
Let d be (16/(-48))/((-1)/6). Is 46/(12/(-9) + d) a composite number?
True
Let t(v) be the third derivative of 9*v**4/8 + 2*v**3/3 + 11*v**2. Let g be t(-16). Let p = g - -721. Is p a composite number?
False
Suppose 35034 = 7*m - 13721. Suppose -6*f = -11*f + m. Is f composite?
True
Let o(n) be the first derivative of -n**4/4 + 22*n**3/3 + 23*n**2 + 37*n + 29. Is o(22) composite?
False
Suppose -1491*p = -1480*p - 76417. Is p a prime number?
True
Let y be (-3)/(15/2) - (-276)/115. Suppose -5*z - y*u = -3923, 6*u - 8*u + 3138 = 4*z. Is z composite?
True
Suppose 35*d = 41*d - 52830. Suppose -4*q + 5*n + d = q, q - 4*n - 1773 = 0. Is q a prime number?
False
Let h(a) = 13219*a**2 + 34*a - 36. Is h(1) a composite number?
False
Suppose -f = 2, c = -2*c - 3*f - 27. Let x(s) = s**3 + 9*s**2 + 13*s + 7. Let q be x(c). Suppose -16*g + 1070 = -q*g. Is g prime?
False
Suppose 3*l - 1675 = -2*n + 1639, -4*n - l = -6628. Is n composite?
False
Let c(h) = 4*h**2 - 57*h - 307. Is c(50) a prime number?
False
Is (-2)/(-4) - (15 + (-2205)/30) prime?
True
Suppose -6*u + 10*u = 12. Is 1249/(3 - (u + -1)) prime?
True
Suppose 0*v - 65 = 5*v. Let q = 11 + v. Let l(i) = -i**3 + 2*i**2 + 4*i + 3. Is l(q) composite?
False
Let r = 12346 - -4293. Is r a prime number?
False
Suppose -37*m = -163140 - 97007. Is m a prime number?
False
Is (-359 + (-18)/6)*(-11)/2 composite?
True
Let b(a) = 17*a. Let k be b(-1). Let h be k - (-2 - 1)*1. Let x = h - -180. Is x a prime number?
False
Suppose 5*g + 13 = -5*q - 32, 2*q = 4. Let k(h) be the second derivative of -h**3/2 + 9*h**2 - h. Is k(g) a composite number?
True
Let w(b) = -b**3 + 5*b**2 + 5*b - 21. Let v be w(5). Suppose 3*f - 5266 = -4*r + 4547, -v*f + r = -13084. Is f composite?
False
Let i be 6/(47396/11848 - 4). Suppose 2*n = -10*n + i. Is n composite?
False
Let u be (16/6)/((-3)/((-36)/8)). Suppose -u*l + 4*t + 11420 = 9*t, 4*l + 4*t = 11420. Is l a composite number?
True
Let u(i) = -23737*i**3 - 3*i**2 - 14*i - 25. Is u(-2) a composite number?
False
Suppose -122948 = 174*z - 178*z. Is z composite?
True
Let w(d) = d**3 - 7*d**2 + 3*d - 9. Let g be w(7). Is -34*((-6)/g)/(2/4) composite?
True
Is (9274/(-10))/(-17 - 1344/(-80)) composite?
False
Suppose -d - 2*d + 3766 = -u, -3*u = -d + 1258. Is (d - -7)*1/2 composite?
False
Let a(x) = 35*x - 12. Let o be (-95)/(-15) + (-2)/(-3). Is a(o) prime?
True
Suppose 0 = -5*f + 2*f + 9. Suppose -6 = -f*c + 2*c. Is (c/18)/((-1)/(-75)) prime?
False
Suppose 21 = 7*x - 0*x. Let b be -8 - 3*4/x. Is -2*111/b*14 a composite number?
True
Suppose -1326393 = 3*f - 12*f. Is f composite?
False
Suppose y + 12*c - 6764 = 9*c, 4*y + c = 27111. Is y a prime number?
True
Let v(y) = 1648*y**2 - 81*y - 159. Is v(-2) a composite number?
True
Is ((-77790)/(-12) - -8)*(-28)/(-6) prime?
False
Is 8 + -6 - (-407855)/7 a prime number?
False
Let i = 33 - 82. Let h = 306 + i. Is h composite?
False
Let y(b) = -6*b**2 - 4*b**3 + 4*b**3 + 4*b**3 - 3*b**3 - 1 + 5*b. Let j be y(5). Is 26 - -6*j/2 a composite number?
False
Let w(n) = 348*n**2 + 2*n - 7. Is w(-3) composite?
False
Let w(d) = -6*d**2 + 9*d + 26*d**2 - 19*d**3 + 7 - 16*d**3 + 36*d**3. Is w(-16) composite?
False
Let c = 10 - 5. Let g = 8 - c. Suppose -j + 36 = g*j. Is j prime?
False
Let c(h) = 94*h**2 + 4*h - 3. Suppose 3*s + 2*r + 4 = 16, -s + 8 = 2*r. Is c(s) a composite number?
True
Suppose -2*c - 5*y = -14, 3*c = 6*c + 5*y - 16. Let n be -42*(-4)/24*c. Let b = n + 23. Is b a prime number?
True
Let b(y) = 25262*y - 103. Is b(3) a composite number?
False
Suppose 4393 = 7*c - 46560. Is c a composite number?
True
Suppose -15 = -3*c - 5*l, -5*c = 2*l - 3 - 3. Suppose 3*d - d + 490 = c. Let z = d - -408. Is z composite?
False
Let j(f) = -2*f**3 + f**2 + 5*f + 3. Let q = -3 + 7. Let t be j(q). Let r = 218 + t. Is r composite?
True
Let o be ((-3)/((-6)/40))/2. Suppose 2*f + o = 0, f - 2*f + 265 = -3*l. Is (-14298)/l - (-6)/45 prime?
False
Let g(t) = 30*t**2 + 2*t + 1. Let q be g(4). Suppose 6*d = q + 777. Is d/2*(3 - 1) a prime number?
True
Suppose -r + l + 900 = 0, r + 3*l = -2*r + 2712. Suppose 5*f - r - 573 = 0. Is f a prime number?
False
Let s(t) = -10*t - 6. Let o = -2 + -2. Let m be s(o). Suppose -3*h - 1 = -m. Is h composite?
False
Let n be 2/12*422 + (-48)/(-72). Let q = 2 + -6. Let l = q + n. Is l composite?
False
Suppose 0 = 4*d + 2*p + 40, 0*p - 3*p = -5*d - 50. Is ((-5)/d)/(1/38) prime?
True
Let o = 554 + -395. Suppose 2*c - 45 = o. Let b = c + 16. Is b prime?
False
Suppose 2*s = -600 + 176. Let f = s + 375. Is f composite?
False
Let p = 37 + 46. Let q = p - -125. Suppose i + 546 = 5*h + q, -4*h = -4*i - 280. Is h a prime number?
True
Let s = -663 - -1188. Suppose -5*p = -0*p + 115. Let l = p + s. Is l a prime number?
False
Let m(v) be the second derivative of v**4/3 + 11*v**3/6 - 7*v**2/2 - 4*v. Is m(8) prime?
True
Let a = 6592 - 4159. Is a a prime number?
False
Let x(c) be the first derivative of -c**4 - c**3 - 9*c**2/2 - 3*c - 34. Is x(-5) prime?
True
Let a be 457*(0 + -3 - -2). Let i = a - -137. Let q = i - -613. Is q a prime number?
True
Suppose 0 = -2*v + 2 + 2. Suppose 3*a - 2901 = -5*r, -4*r = v*a + 3*a - 4835. Is a a prime number?
True
Suppose -2*u - 2*n = -3768, 5*u = -2*n - n + 9410. Suppose -1528 = c - 5*c + 3*t, u = 5*c + 4*t. Is c a composite number?
False
Let j = -9264 - -29401. Is j prime?
False
Suppose 0 = 3*w - 7*w - 5160. Let n = 2521 + w. Is n composite?
False
Suppose 0*b - 8*b = -14072. Is b prime?
True
Let z be (2 + 4)*(-15)/(-18). Is 17/(765/(-27774))*z/(-2) prime?
True
Suppose -220183 = -51*s + 341276. Is s prime?
False
Suppose 0 = -2*k - 7*k + 12042. Suppose 2*l = -4*r + k, -3*l - 3*r = -2007 + 3. Is l a prime number?
False
Let l(o) = -o + 11. Let a be l(6). Suppose -a*r = 3*w - 4252, 4*r - 5*w = -3*w + 3406. Is r composite?
True
Let r(b) = 41*b - 9. Let v be r(5). Let u = -28 + v. Let s = -71 + u. Is s a prime number?
True
Let g(n) be the second derivative of -69*n**5/10 + n**2/2 + 9*n. Let h be g(-1). Suppose t - h = -2*a, 5*a + 3*t = -0*t + 346. Is a a prime number?
True
Let t be 1/(6*(-6)/(-167400)). Suppose 12*x - 1602 = t. Is x a prime number?
True
Let k = -853 + 376. Let y = -328 - k. Is y prime?
True
Let i = 158096 + -87159. Is i prime?
True
Suppose 4*w = -2 - 2, 1324 = 3*i - w. Suppose 0 = 3*b - 18456 - i. Is b a prime number?
True
Let j(b) = 11*b**2 - 15*b - 5. Let d(p) = p**3 - 5*p**2 - 3*p - 6. Let n be d(6). Is j(n) a prime number?
True
Let s be 26966/4 + (-6)/(-12). Suppose -5*z + s + 6833 = 0. Suppose 4*u - u - z = 0. Is u a composite number?
True
Let d = 401 + 5570. Is d composite?
True
Let u(x) = -6*x + 12. Let s be 18/6 + (-4)/(-2). Let j be u(s). Let d = 101 + j. Is d a prime number?
True
Let u(y) = -y**3 + 8*y**2 + 36*y - 2. Is u(-7) prime?
False
Suppose -3*m + 5*g + 1884 = 0, 5*m - 3*m = -4*g + 1256. Let h = m - 161. Is h prime?
True
Let m be 0/(-4 + 1 + 0). Suppose m*g = -4*g + 16. Is (1 - g/6)*291 a composite number?
False
Suppose 5515 = h - p - p, 3*p + 12 = 0. Is h prime?
True
Let n(r) = r. Let i(m) = 310*m**2 + 7*m + 1. Let c(d) = i(d) - 6*n(d). Is c(2) composite?
True
Let z(v) be the third derivative of 95*v**4/24 + v**3/2 + 16*v**2. Is z(10) composite?
False
Let t = -22 - -26. Is 2/(-8) - -19629*t/16 prime?
False
Let f(w) = w**2 - 2*w - 10. Let s be f(-19). Is -2*4/(-8)*s composite?
False
Let f(m) = 89 + m - 8*m - 28*m**3 - 92. Is f(-2) a composite number?
True
Let o be (-2 - 21/(-6))/((-4)/(-432)). Suppose g + y = o, -372 = -4*g - y + 273. Is g composite?
True
Let x(h) be the second derivative of 32*h**4/3 + 5*h**3/6 - 3*h**2 - h + 3. Is x(4) a composite number?
True
Let w be 1329/(-9)*2*9/(-3). Suppose 4*b = 46 + w. Is b a composite number?
False
Suppose 26*q - 91630 - 95128 = 0. Is q a composite number?
True
Suppose -7792 = -0*c - 4*c. Suppose 2*p -