 o. Is h a composite number?
True
Let c(b) be the first derivative of -5*b + 6*b**3 - 1/4*b**4 - 4*b**2 - 4. Is c(8) a prime number?
True
Let f be 4/(-1) - (-23 - 20/4). Suppose -3*u - f*u + 85401 = 0. Is u a prime number?
True
Let m = 698 + -137. Suppose -11968 = -17*z + m. Is z prime?
False
Let u(y) = -73615*y - 32. Is u(-13) a composite number?
True
Suppose -2*p + r = -48631, 4*p - 97256 = -45*r + 49*r. Is p a prime number?
True
Is -7 + (-11541160)/(-130) - (-4)/(-26) a prime number?
True
Is (-107)/107*(-25185 + 2) composite?
False
Suppose -194*f + 40957745 = 12592423. Is f prime?
True
Suppose -8418 = -12*j + 17334. Suppose -4*v + 4*x = -2730 - j, -x = 2*v - 2438. Is v composite?
True
Is (-5)/((20/329388)/(-1)) composite?
True
Let n(p) = 769*p - 19. Let v be n(10). Suppose -j = -3*b - 1524, -b + v = 5*j + b. Let o = j - 644. Is o a composite number?
True
Let q be ((-323)/(-1))/(32 + -31). Let r = q + 920. Is r a prime number?
False
Let g(o) = 6517*o**2 + 43*o + 130. Is g(-3) a prime number?
False
Let o be (-4)/6 + 2150/(-6). Let v(a) = -5*a**3 + 13*a**2 + 27*a + 5. Let q be v(9). Let d = o - q. Is d a composite number?
True
Let a(r) = -6*r**3 + r**2 - 45*r + 1202423. Is a(0) composite?
False
Suppose 0 = 6*c - 487 - 179. Suppose -c*w = -103*w - 12216. Is w a composite number?
True
Let b(t) be the first derivative of 14*t**3 - 3*t**2 - 23*t + 80. Is b(-10) composite?
True
Let z be (42/(-4))/((-3)/2). Let p(j) = 349*j - z - 140*j + 441*j - 48. Is p(6) composite?
True
Let q(f) = -2*f**2 + 6*f + 3. Let a be q(3). Let i be (-4)/(-6) - (-7273)/a. Is (-3)/((-45)/i)*3 prime?
False
Let l be (6/5)/((-15)/50) + 139. Let a be -3*1*l/(-81). Let c(b) = 38*b**3 + 3*b**2 + 2*b + 2. Is c(a) composite?
True
Let z be 163 - (-12)/8*(-24)/(-9). Let n = 1752 - z. Is n a prime number?
False
Let n(v) = -2*v**3 - 18*v**2 - 5*v + 214. Let w(j) = j**3 + 10*j**2 + 2*j - 107. Let o(x) = 6*n(x) + 11*w(x). Is o(-16) a prime number?
False
Suppose -4*r = -2*v - 14, -v + 2 = -r + 10. Is (-2)/v + 75695322/918 composite?
False
Suppose -4*o - 910 = 1278. Let q = o + 2121. Is (0 - q/4)*(-38 + 28) prime?
False
Suppose 436*x - 435*x - 4*i - 14789 = 0, -2*x + i = -29592. Is x prime?
True
Is ((-51717)/2)/((-222)/740) a prime number?
False
Suppose -18*q - 22*q + 55*q = 2005035. Is q a composite number?
False
Let j(k) = 14196*k - 4783. Is j(10) a composite number?
False
Let c(x) = 4992*x**3 - 21*x**2 + 54*x - 10. Is c(3) a composite number?
True
Suppose 3*m = -2*m - 3*x + 1121807, 2*m - 10*x = 448678. Is m composite?
False
Let k be (-5 + 3)*1*478/(-4). Suppose -11 = 4*v - k. Suppose -335 = -5*c - 4*y, -c + v + 10 = 3*y. Is c composite?
False
Suppose -16*d - 24 = -4*d. Let f(x) = -601*x**2 + x - 1. Let b be f(d). Let h = b - -4254. Is h a composite number?
False
Suppose -42*p - 40 = -50*p. Suppose -5*m - 2*s + 70137 = 0, p*s + 39479 + 30686 = 5*m. Is m a composite number?
False
Let q(f) = -3436*f + 1413. Is q(-25) composite?
False
Let b be (10 - (-20)/(-4))*1. Suppose -2*d - 6766 - 13651 = -3*k, -5*k + b*d + 34030 = 0. Is k a prime number?
False
Let j(n) = 24*n + 1. Let p be j(2). Let i = p + -37. Is (-1 - (-1410)/i)/((-1)/(-2)) a composite number?
False
Let o = 204 + -202. Suppose -5*c + 2*z + 14792 = -7605, -c - o*z = -4489. Is c composite?
False
Suppose 18*d = 8*d + 90. Suppose -7*t - d*t + 944 = 0. Is t a composite number?
False
Let i(y) = 2928*y - 173. Is i(28) a composite number?
True
Suppose -30*o = -4*x - 25*o + 418321, 0 = -5*x - o + 522894. Is x a prime number?
True
Let p(m) = 3*m - 39. Suppose 2*h + 4*q - 20 = 0, 3*h = 8*h - 5*q - 80. Let b be p(h). Suppose -2*f - 2*a = -492, -3 = b*a + 6. Is f composite?
True
Let o(p) = 4*p**2 + 3*p - 7. Let d be o(8). Let v = 2678 + d. Is v a composite number?
True
Let j(z) = -2*z**2 + 11459. Let t(g) = -2*g**2 - 16*g + 66. Let l be t(-11). Is j(l) composite?
True
Suppose 6*g + 56 = 140. Suppose 9*n = g*n - 3725. Is n prime?
False
Let p(t) = -4*t**3 - 3*t**2 + 90*t + 692. Is p(-47) a composite number?
True
Let o be (-2)/(-11) + 7/((-693)/272466). Let n = o + 4613. Is n a prime number?
True
Let u(y) = 3788*y - 14. Let f(w) = 3787*w - 12. Let m(r) = 6*f(r) - 5*u(r). Let c be m(3). Suppose 11*n - c = 943. Is n composite?
False
Let i = 18 - 11. Let l be (3*(-3)/18*0)/2. Suppose l*w + i*w - 861 = 0. Is w prime?
False
Let v(t) = 37*t**2 + 2363*t**3 + 3 - 2364*t**3 - 5 + 35*t. Is v(33) a composite number?
True
Is -1*(-6)/33 - -4*20093601/484 composite?
False
Suppose 3*m - 4*t = 48, -m - 3*t + 32 = m. Suppose 0 = -4*g - m, 0 = 4*y + 3*g - 47574 - 22026. Is (10/(-6))/(-2 - y/(-8703)) composite?
True
Let n(f) = -f**3 + 4*f**2 + 2*f - 5. Let h be n(4). Let z be (-1 + 16)/h + 1385. Suppose 0 = 2*u - z + 108. Is u prime?
True
Suppose 5*b = -3*w + 17456, 4*w + 2800*b = 2799*b + 23235. Is w composite?
False
Let o(i) = -i**3 + 6*i**2 - 5*i + 7. Let z be o(5). Suppose 13*a + 18 = z*a. Is (0 + 15/a)*-457 prime?
False
Suppose 4*a - 484749 = -5*j, 4*a = -j + 9150 + 87787. Is j prime?
True
Let s(x) be the third derivative of x**4/3 + 41*x**3/6 + 14*x**2. Let b(c) = -17*c - 83. Let n(l) = -2*b(l) - 5*s(l). Is n(-10) composite?
True
Suppose 5*t - 69570 = 9485. Is t a composite number?
True
Suppose -2916021 = -3*f + 6*c, 105*f - 100*f - 4860095 = -2*c. Is f composite?
False
Suppose 10*x + 19 - 59 = 0. Let h(u) = 157*u**2 + 3*u - 1. Let w be h(x). Is (w + -1 - -1) + (-7 - -5) composite?
False
Suppose b + 159752 = 2*b - 5*y, 0 = 5*b - 3*y - 798650. Is b prime?
False
Suppose x = -1, -68*z + 4*x = -69*z + 204097. Is z a prime number?
True
Let p be (-2 - 13)*(-286)/3. Let f = -3487 + p. Let c = 3066 + f. Is c a prime number?
True
Let z(g) = 3591*g + 710. Is z(3) prime?
True
Suppose -5 = o - 5*y - 3, 0 = 4*o - y - 11. Suppose -3*x + l + 16676 = 0, -2*l + 2995 = o*x - 13693. Suppose -13*a + 4229 = -x. Is a a prime number?
False
Let f be (18/15)/((-6)/(-20)). Let g be 4 + f + -5 - 0. Suppose g*q - 71 = 34. Is q composite?
True
Suppose -6*p = 24 - 264. Let o be (-15)/p*4 + (-55266)/(-4). Suppose -5*m = -14*m + o. Is m prime?
False
Let y(l) = 73*l**2 - 36*l + 139. Is y(18) prime?
True
Suppose -4*v = 11*z - 26*z - 789689, 0 = 5*v + 5*z - 987230. Is v prime?
True
Let m = 625 + -569. Is 5909/(4/(-6)*(-84)/m) a composite number?
True
Let j(v) = -236*v - 174. Let k(r) = 471*r + 352. Let h(b) = -7*j(b) - 3*k(b). Is h(7) a prime number?
False
Let u(l) = -11 - 6 - 2689*l + 1 - 11. Is u(-4) a composite number?
False
Let m(j) = 321*j**3 + 4*j**2 - 3*j + 11. Let x be m(3). Suppose -16*v = -21*v + x. Is v prime?
True
Suppose -h + 438032 = -4*r - 932683, -2*h + 5*r = -2741421. Is h composite?
True
Let h(j) = -3*j + 9*j**2 - j - 5*j + 3 + 4*j. Let g be h(4). Suppose 0 = -18*d + 17*d + g. Is d composite?
False
Let n = -435 - -440. Suppose -n*d = 4*l - 8169, -15*d - 5*l = -12*d - 4891. Is d composite?
False
Let c(d) = -3*d + 0*d**2 - 3*d**2 + 10*d**2 - 6*d**2. Let z be c(4). Suppose z*x - 5*m - 2135 = -2*m, 0 = -x - 4*m + 529. Is x a prime number?
False
Is (-4721*2)/(262/(-2227)) composite?
True
Suppose 25*w - 598058 - 137217 = 0. Is w prime?
True
Let z(m) = -107*m - 1. Let j = 93 - 94. Let t be z(j). Let q = 225 - t. Is q a composite number?
True
Suppose y = 3*y - 7992. Suppose 2*o + y = 6*o. Suppose 0 = 5*z + 194 - o. Is z a composite number?
True
Let h = -59 + 62. Suppose -3*m - t = -17, h = -5*m + t + 18. Suppose 0 = -0*b - m*b + 508. Is b composite?
False
Let q(f) = 4805*f - 78. Let w be q(3). Suppose 5*m + 2*x - 4624 = w, m - 3795 = x. Is m a composite number?
False
Let n(a) = -609*a**3 - 5*a**2 - 6*a - 3. Suppose -16 = -6*x + 14*x. Let t be (-5 - (-8 - x))/(3/(-6)). Is n(t) a composite number?
False
Let n = -1145856 + 1790635. Is n a composite number?
True
Let n(j) be the second derivative of 0 + 11/2*j**2 - 12*j + 29/2*j**3. Is n(6) a composite number?
True
Let a(c) = 75*c - 121. Let g(l) = -107*l + 169. Let w(t) = -322*t + 509. Let j(m) = -17*g(m) + 6*w(m). Let d(s) = -7*a(s) - 5*j(s). Is d(17) a prime number?
False
Suppose 0 = -5*t + s + 23, 3*t = 3*s - 5 + 14. Suppose -t*a = 9*a - 16702. Is a a prime number?
True
Suppose -3*g = -0*n + n, -5*g + 2 = n. Let q be 1145 - ((0 - -1) + -2)/g. Suppose -2*d + q = -2488. Is d prime?
False
Suppose -8*b + 75219 = 9203. Let c = b + -37