 - 128 = 3*x. Let i be x/(-6)*(-2)/(-4). Is z(i) prime?
True
Let g be ((-18)/10 + 3)*-5. Let f(p) be the first derivative of -p**4/4 - 2*p**3 - 7*p**2/2 - 11*p - 9. Is f(g) composite?
False
Let o(z) = 11*z - 2. Let u be o(4). Suppose 3*l - 29 - 418 = 0. Let a = l + u. Is a a composite number?
False
Suppose 10*a - 9*a = 2. Suppose 4*b = -4*t + 284, -a - 2 = -t. Suppose -g = -270 - b. Is g composite?
False
Let v(c) = 2*c**3 + 17*c**2 + 23*c + 7. Let l be v(-9). Suppose -3*k + 2090 = -5*x, 1744 = 3*k + 4*x - 364. Let m = l + k. Is m prime?
True
Suppose 4*k - 1169 = -c, 3*k + 3*c - 5*c - 885 = 0. Is k prime?
True
Let r = 10 - 8. Suppose -2*p = -3*k - 13, r*p - 5*p + k = -9. Suppose -1 = 3*z + p, 5*z = 4*v - 97. Is v prime?
True
Suppose -108*j = -112*j - 4. Is (-2 - (2 - -5969))*j - 2 prime?
False
Let d(i) = 19*i**2 - 35*i - 19. Let w = 53 - 67. Is d(w) a composite number?
True
Let w = -14 + 8. Let q be 3/(-2)*8/w. Suppose q*f = -2*f + 156. Is f a composite number?
True
Let i = 5923 + -3022. Is i a composite number?
True
Suppose -4*r - 82715 = -5*k, -209*r = -206*r. Is k prime?
False
Suppose -2*n + 165 = 5*p, -3*n + 4*p + 396 = 2*n. Let y = 165 - n. Is y composite?
True
Let l = -381 + 753. Suppose c = -3*f + 179, 4*c = f + 344 + l. Is c a composite number?
False
Suppose -3*y = -3*r, y = -2*y - 2*r. Let l = -22 - -24. Suppose l*q = -y*g - g + 1077, 3*g - 1067 = -2*q. Is q composite?
False
Let g = 2874 - -1469. Is g a composite number?
True
Is ((-2)/4)/(150372/(-37592) - -4) composite?
True
Let j = 11 + -8. Suppose -1874 - 2319 = -y + j*n, 12579 = 3*y - 3*n. Is y prime?
False
Is (-1 + 0)*(-420 - -7) a composite number?
True
Let w = -18 + 26. Is (w/(-24))/(2/18) - -914 prime?
True
Let g(j) = -4*j**3 - 21*j**2 - 12*j - 25. Is g(-6) a composite number?
True
Suppose -250 = -2*w - 34. Suppose 3*y = -2*k - 117 + 526, -5*k - w = -y. Is y prime?
False
Suppose 19*m = 4*u + 14*m - 57299, 0 = -4*m - 12. Is u a composite number?
False
Let r(w) be the third derivative of -w**6/120 - w**5/12 + w**4/24 + w**3/6 + w**2. Let q be r(-5). Let c(l) = 9*l**2 + l + 3. Is c(q) prime?
False
Is (5 - 7)/(4/(-1490)) a prime number?
False
Suppose -5*k = -20, 6*k - 28127 = -5*i + 3*k. Is i a composite number?
False
Is (-10589)/((1/4)/((-30)/120)) a composite number?
False
Is (15 - 19)*487/(-4) composite?
False
Is 5610/12 + (-1)/2 prime?
True
Let d(i) = 40*i**2 + 11*i + 102. Is d(15) a prime number?
False
Let d be (1*-3)/(16 + -17). Suppose l - d*l = 4*b - 1934, -2901 = -3*l + 2*b. Is l prime?
True
Let h = 508 - -1671. Is h composite?
False
Suppose -2*z + 339 = -247. Suppose z = -0*c + c. Is c prime?
True
Let m(w) = -5*w**3 - 12*w**2 - 15*w - 11. Let u(i) = -6*i**3 - 13*i**2 - 16*i - 12. Let a(y) = -5*m(y) + 4*u(y). Let c be a(-7). Is (0 + -67)/(7/c) prime?
False
Is (-15)/(-9) - 2 - 6032016/(-324) a prime number?
True
Let l = -7222 + 10793. Is l a composite number?
False
Suppose 3*c = 6, -2*z - 32 = -4*z - 2*c. Suppose 2007 = 5*v - 2*i, -3*i + 384 = v - z. Is v prime?
True
Let o = -217954 - -309837. Is o prime?
False
Suppose 5*o = 7*n - 2*n + 450, 3*o = -4*n - 395. Is -2 + ((-30)/50)/(1/n) composite?
True
Is (7 - 105/14)*-69202 a composite number?
True
Suppose 9*x = -x + 368450. Is x a composite number?
True
Suppose 1944 - 44 = 5*n + 5*p, -4*p - 766 = -2*n. Suppose 0*r - 3*r = -n. Is r a prime number?
True
Let f = 8730 - 4177. Is f a prime number?
False
Let i(c) = -c**2 + 5*c - 3. Let x be i(3). Suppose 0 = -x*n - n + 24. Suppose n*t - 108 = 114. Is t a prime number?
True
Let l be (-33)/(-22)*8/(-3). Is (-3)/((-9)/(-6))*l - 4 prime?
False
Suppose 145*h = 149*h - 238036. Is h a prime number?
True
Let c = -48 + 55. Suppose 5*o = h - 108, 0 = -2*o + c*o + 5. Is h a composite number?
False
Let y = -870 - -6451. Is y a prime number?
True
Let r be 2*-1 + 4 + -3. Is ((-8942)/51)/(r/3) composite?
True
Let k be 66/12 - 6/4. Let y be k/1 - 0/(-1). Suppose 3*g - 5*g - 3*i + 158 = 0, 5*i = y*g - 316. Is g composite?
False
Let r(b) = b**3 - 11*b**2 + 9*b + 15. Let x be r(10). Suppose 2*m = 3*f + 813 + 78, -5*f = -x. Is m a composite number?
True
Suppose 0 = x + 4, 0 = -4*b - 5*x + 9973 + 7075. Is b composite?
True
Let f(y) be the third derivative of -y**4/8 + y**3/6 + 12*y**2. Let t be f(-2). Suppose t*l - 654 = 1117. Is l a composite number?
True
Let c(x) = x**2 - 10*x + 10. Let i be c(7). Let f(b) = -2*b**3 - 21*b**2 + 8*b + 2. Is f(i) a composite number?
True
Let k(m) = -19*m**3 + 4*m**2 - 8*m + 6. Is k(-11) a prime number?
True
Suppose 2*f = 2*q + 8, -f = 4*q - 4*f + 12. Suppose q = -3*m - 0*m - 6. Is (2 - 1)/(m/(-1370)) a composite number?
True
Let l be (4/6)/((-20)/(-20610)). Let u = l + 1090. Is u prime?
True
Is 7 + 150/(-6)*-1612 a composite number?
True
Let l(t) = -19*t + 26. Let d(p) = p - 1. Let i(u) = -14*u + 17. Let c(h) = -24*d(h) - 3*i(h). Let n(a) = 3*c(a) + 2*l(a). Is n(12) a composite number?
False
Is ((-5)/(-2))/(6*6/50472) prime?
False
Let t = -527 + 864. Is t composite?
False
Let y(i) = 3*i**2 + 7*i - 1. Let h = 8 + -14. Let p be 9/4*(-16)/h. Is y(p) composite?
False
Suppose 6*b = 4*b - 56. Let s = b + 43. Suppose -5*t - 4*p = -9*p - 2060, -3*p - s = 0. Is t a composite number?
True
Let a(j) = -7*j - 10. Let w be a(-2). Suppose 2 = 4*t + 10. Is 448 - (4/w - t) a prime number?
False
Let d = 71990 + -49809. Is d composite?
True
Let v be 0/((-4)/(-1) + -2). Let b = 3 - 1. Suppose 2*s + 2*k = 116, v = s - 6*k + b*k - 58. Is s prime?
False
Let n be (-710)/(-3) + -1*(-6)/(-9). Let v = n + 153. Is v a prime number?
True
Suppose -50*w = -57*w + 26551. Is w prime?
True
Suppose 4*v = -13*v + 57919. Is v prime?
True
Suppose 0 = -2*o + 4, 4*o - 16 = -5*n + 2. Suppose n*p = -3*m + 18, 3*m = -p + 6*p - 3. Suppose 1967 = 2*h - p*q, q + 0*q - 3969 = -4*h. Is h composite?
False
Let x be (-2 - -1)/(1/9). Is (1172/(-12))/(-2 - 17/x) a prime number?
False
Suppose 2*r - 3*j = 3114, 4*r = 3*j - 2*j + 6228. Let z = -1046 + r. Is z prime?
False
Let d(j) be the first derivative of 61*j**2/2 + 16*j - 1. Let r = 80 - 73. Is d(r) composite?
False
Let i be -148*((-1)/5 + (-38)/10). Is i/(-4)*74/(-8) composite?
True
Let d(z) = 1320*z - 113. Is d(4) prime?
True
Let o = 17 - 14. Suppose -o*p + 12 = -3. Suppose p*i = -4*l + 326, 0*i = -l - 4*i + 87. Is l a prime number?
True
Let m(y) = 2*y**3 + 11*y**2 + 7*y + 7. Let r be m(-9). Let i = 1089 + r. Suppose 2*g = 4*p - i, 2*p - 496 = -2*p - 4*g. Is p a prime number?
False
Let p(r) be the second derivative of 5*r**4/2 + 5*r**3/6 + 5*r**2 + 18*r. Is p(-3) prime?
False
Is (-24)/72 + 65840/6 prime?
True
Let i(h) = -h + 1. Let d be i(-3). Suppose d*w = -11*w + 17475. Is w prime?
False
Suppose -z + 5 - 2 = 0, 2*x - 4*z = 1606. Is x prime?
True
Let j(k) be the third derivative of 23*k**4/24 - 2*k**3/3 - 6*k**2. Let u be j(10). Let f = u + -87. Is f composite?
False
Let k = -1450 + 5837. Is k prime?
False
Let n = 26 + -70. Let d = n - -167. Is d prime?
False
Suppose 21*p - 16 = 25*p. Is (-52143)/(-26)*p/(-6) composite?
True
Let r(d) = -345*d + 30. Let w be r(-4). Suppose -w = -4*g - 5*z, -5*z - 7 = 3. Is g a composite number?
True
Suppose -x - 3*x = -10124. Suppose -g + 2*g = x. Is g a prime number?
True
Let m(c) = -c**2 + 3*c - 2. Let t be m(4). Let r be 0 - t*366/4. Let q = r + -80. Is q composite?
True
Suppose 0 = c - 7794 - 15123. Is c a prime number?
False
Suppose 23*c + 1228 = 21*c. Let i = 1029 + c. Is i composite?
True
Let b(f) = -f**3 - 21*f**2 + 28*f - 23. Let k be b(-23). Let p = 125 + -53. Let q = k - p. Is q composite?
True
Suppose -3*a = 890 - 5606. Suppose a = 4*n - 4*x, -n - n = 3*x - 806. Is n a composite number?
False
Suppose -6*a = 32 - 272. Suppose 45*y - a*y = 7355. Is y a prime number?
True
Suppose 5*o - 3505 = 5*n, 4*o - 998 = -n + 1791. Suppose 3*l = 5*h + 1309, -2*h - 180 - o = -2*l. Is l a composite number?
False
Let q(z) be the second derivative of z**5/20 + z**4/12 + z**3/3 + 67*z**2/2 - 22*z. Is q(0) prime?
True
Let y be 1*-1 + (-8 - -2). Let m = -7 - y. Suppose 0*x = 2*x + 5*l - 1110, m = -5*x + 5*l + 2845. Is x prime?
False
Suppose -p + 53701 + 8418 = 3*k, -3*p = -5*k - 186301. Is p a composite number?
True
Let z(c) = c**3 - 6*c**2 + 10*c - 2. Suppose -39 = -6*l + 15. Is z(l) a composite number?
False
Let b be -3*24/9*1. Is (-5)/