 550. Is x prime?
True
Let t be 4 + -2*(-4)/8. Suppose 1 = -5*h - 2*g, -t*h - 4*g + 4 = -h. Is h*(-786)/1 + 3 a composite number?
True
Let j(a) = 81*a + 1036. Is j(17) composite?
True
Suppose -c + 2 = x + 3, 4*c + 2*x - 4 = 0. Suppose c*h = 3182 - 53. Is h a prime number?
False
Suppose 5*p - 3505 - 2320 = -3*g, 3*g + 3*p = 5835. Suppose 0 = 4*n - 398 - g. Is n a prime number?
True
Suppose 0 = -11*v + 51306 + 13847. Is v a prime number?
True
Is 37402/8*68/17 composite?
False
Suppose 0*s = -2*s - 2*l + 14, 5*l - 20 = 0. Suppose -2*i + 21 = -2*v + s*i, 30 = 5*v + 4*i. Suppose -v*f = f - 255. Is f prime?
False
Let c(w) = -w**2 + 6*w - 6. Let z be c(4). Let j be -7*(160/42 + -4)*9. Is j/z*(-17)/(-2) a composite number?
True
Let p be 1/((-195)/(-100) + -2). Is 4/p + (31923/15 - -1) a composite number?
False
Suppose -4*u + u = -12. Suppose 13 = u*v + 65. Is (v + 39)*(-5)/(-2) composite?
True
Let l = -16 + 10. Let y = l + 80. Is y composite?
True
Suppose -2*s - 2*g = -6314, -s + 3*s = 3*g + 6294. Let k = s + -1556. Is k a prime number?
True
Suppose 0 = -3*u + r - 459, -r = -3 - 0. Let v = u - -221. Is v a prime number?
False
Is ((-6)/(54/(-219123)))/1 composite?
True
Suppose 70*s = 35*s + 22085. Is s a prime number?
True
Let v(i) = 1715*i**2 - 9*i + 5. Is v(1) prime?
False
Let t = -40 - -40. Suppose t*f = 4*f - 652. Is f composite?
False
Let h = -5 - -9. Suppose m - 1 = h, 5*k - 3*m = 4905. Suppose -4*w + k = 356. Is w a prime number?
True
Let n(z) = -z**3 - 6*z**2 + 6*z - 3. Let r be n(-7). Let v be (r/(-2))/(2/3). Is v/5 - (-598)/5 a composite number?
True
Suppose 7*b - 8 = 3*b. Is 8916/12*((-4)/(-2))/b a prime number?
True
Suppose 5*v - 24816 = -5*f + 309779, -2*v = 5*f - 133838. Is v a composite number?
False
Let a(i) = i - 4. Let k be a(1). Is k/(27/(-9079)) - 34/(-153) composite?
False
Suppose -c - 5 + 13 = 0. Let n = 10 - c. Is ((-35)/10)/(n/(-20)) a prime number?
False
Suppose 405 + 2395 = 5*x. Is (x/3 - -1)*3 composite?
False
Let o(l) = 33*l + 10 + 38 - 13. Is o(18) composite?
True
Let x = 94482 + -33440. Is x/161 + 2/(-14)*1 prime?
True
Let g = -12636 + 19978. Is g a composite number?
True
Suppose -2*i + 4*i + 6 = 0. Let g be (-57)/1 + i + 3. Is (g/4)/(9/(-24)) prime?
False
Let n(v) = -138*v**3 + 7*v**2 - v - 7. Let z be 15/(-4) - (-7 + (-116)/(-16)). Is n(z) prime?
True
Let l be ((0/(-1))/3)/(-1). Suppose -3*z + 767 = -4*j, -2*z + l*z = -5*j - 523. Is z a prime number?
False
Suppose 8 = 4*u, -k + 2 = -4*k + u. Suppose 2*y - 434 - 460 = k. Is y a composite number?
True
Let v = -74 - -76. Suppose -v*m = 4*s - 2518, 2*m + 2*s = 1868 + 646. Is m a composite number?
True
Suppose 3*g - t - 4*t - 15760 = 0, 2*t - 5235 = -g. Is g prime?
False
Let u be 9841/(-143) + 4/(-22). Let d = -36 - u. Is d a prime number?
False
Let z(q) = 262*q**3 - 7*q**2 + 20*q - 95. Is z(6) a composite number?
True
Let c(p) = -10*p + 9 + p**2 + 11 + 3 - 3. Let f be c(8). Is 2 - (-70 + -1 + f) prime?
False
Let n(o) = 436*o**2 - 7*o + 4. Is n(3) composite?
False
Suppose -2*c - 1 = -z + 8, -3 = 4*z + 5*c. Suppose -z*r + 4*n + 997 = -371, 2*r - 912 = n. Let f = r + -297. Is f composite?
True
Let p(i) = 3*i**2 + 8*i - 6. Let n(u) = 4*u**2 + 9*u - 7. Let h(o) = 5*n(o) - 6*p(o). Let l be h(-4). Suppose -r + 512 = l. Is r prime?
True
Suppose -12*t = -16*t + 32. Is (-4)/t*2 - -444 a prime number?
True
Suppose 2*y = -0*y + 4. Suppose y*o = 1 + 5. Suppose o*g = g + 106. Is g prime?
True
Let y be (-2 + 9)*333/(-9). Let j = 526 + y. Is j a prime number?
False
Let d(u) = u**3 + 6*u**2 + 11*u + 14. Let a be d(-6). Is (0 + 33)*a/(-12) a prime number?
False
Let g(j) = 2*j + 19. Let r be g(-11). Is (4/6 - 3360/(-9)) + r composite?
True
Suppose -10*z = -9*z - 2099. Is z prime?
True
Let n be 1/(-8) + (-11763)/(-24). Let o = n + -63. Is o composite?
True
Let j = -44 + 43. Let h(u) = 187*u**2. Is h(j) composite?
True
Suppose -5*r - 207 = 2*b, 5*r + 4 = -11. Let m(k) = -26*k + 7. Let o be m(-6). Let q = o + b. Is q prime?
True
Let h be 3/3*(-1 - 6 - -1). Is ((-1 - -6) + -7)*2859/h a prime number?
True
Let m = -97 - -102. Is 1/m - 38682/(-15) a prime number?
True
Let r(z) = 772*z + 238. Let h(k) = -193*k - 60. Let p(l) = -9*h(l) - 2*r(l). Is p(15) prime?
False
Let k(s) be the third derivative of s**5/30 + s**4/24 + 2*s**3/3 - 3*s**2. Let y be k(-2). Let z = y - -3. Is z prime?
True
Suppose 1992 = -2*h + 4*h. Let s = h + -307. Is s prime?
False
Suppose q + 2164 - 5973 = 0. Is q a prime number?
False
Suppose 25*x = 23*x - 4*h + 45494, -3*x + 2*h = -68209. Is x a prime number?
True
Let c = -144 + 267. Let r = 200 - c. Is r a composite number?
True
Let i(b) = -2 - 18*b - b**3 + 5 + 17*b. Let v be i(0). Suppose -4*g + z = -5022, -v*g = z + 255 - 4018. Is g a prime number?
False
Is (-1831554)/(-24) - (-17)/68 prime?
False
Let z(b) be the second derivative of 9*b**3/2 - 11*b**2 + b. Suppose 9*v - 72 = v. Is z(v) a composite number?
True
Let m(b) = 73*b**2 + 3*b - 7. Is m(2) a composite number?
True
Let i = 120 + -116. Is ((-162)/(-24) - i)*(-248)/(-2) prime?
False
Let o(q) = q**2 - 9*q + 11. Let k be o(9). Suppose -669 = -2*x - k. Is x prime?
False
Suppose 5*l = 7*l + 4. Is (24/(-18) - l)*(-1 + 1258) a composite number?
True
Let r(v) be the first derivative of v**3 - 5*v**2/2 + v - 5. Let t be (-80)/(-14) + (-2)/(-7). Is r(t) composite?
False
Let m(q) = 29*q**2 + 7*q - 75. Is m(11) a composite number?
False
Let x = 4227 + -1300. Is x a composite number?
False
Suppose c + 1502 = 2*g, 0 = -4*c - c. Is g a prime number?
True
Let a = 8575 - 5381. Is a a prime number?
False
Is 390709/(-22)*(-3 + (-1)/(-1)) composite?
True
Suppose -1 - 2 = -x. Let s = -29 + 141. Suppose 2*w + x*t - 81 = 0, -7*t - s = -3*w - 2*t. Is w a prime number?
False
Suppose 0 = -6*t + 16 + 8. Suppose -i - 12 = t*k + 5, -4*i - k = -7. Suppose -r + a + 875 = 0, -i*r - a + 241 + 2368 = 0. Is r prime?
False
Let j = 5467 - -18424. Is j a prime number?
False
Suppose 5*c - 160740 = 5*y + 137970, 5*c - 4*y - 298711 = 0. Is c composite?
False
Let p = -42183 + 80584. Is p a composite number?
True
Let f = 31 + -14. Suppose -9632 + 37801 = f*d. Is d a prime number?
True
Suppose -12*x + 9*x + 26778 = 3*t, t = 5*x + 8944. Is t prime?
True
Let z = 14 - 9. Suppose -3*x + p + 864 = -4*p, -571 = -2*x + z*p. Is x a prime number?
True
Suppose -c - 4*c - 15 = 0. Let d be ((-3 - c) + 0)/2. Suppose -r + d*r = -213. Is r a composite number?
True
Let j be ((-23)/(-2))/(18/972). Let t = j - 356. Is t composite?
True
Let b(a) = -396*a + 2. Let h be b(-7). Suppose -5*l - 9 = -h. Is l a composite number?
True
Let w(h) = -h**2 + 15*h - 9. Let f be w(12). Let l be (-40)/(-18) - 6/f. Suppose 0 = -3*c - l*m + m + 99, -3*c - 4*m = -90. Is c prime?
False
Suppose 4*q = -6*q. Suppose 2*c + 2*c - 268 = q. Is c a composite number?
False
Suppose -380194 + 113103 = -11*v. Is v prime?
True
Let i(b) = -23*b - 1. Let y(d) = 46*d + 3. Suppose 4*v = -v + 55. Let t(z) = v*i(z) + 6*y(z). Is t(8) a prime number?
True
Suppose y + 4 = 6. Is -5*(296/(-20))/y a composite number?
False
Let n = -46 + 46. Suppose 3*j - 4*l + 0*l - 733 = n, l = 2*j - 482. Is j prime?
True
Let k(m) = -3*m - 2. Let i(z) = -z + 1. Let f(r) = 4*i(r) - k(r). Let u be f(2). Suppose 2*j + 746 = u*j. Is j prime?
True
Let l = -676 + 2928. Let s = 0 - -3. Suppose s*j + 851 - l = 0. Is j a prime number?
True
Let q(v) be the second derivative of -13*v**3/3 - v**2/2 + v. Let w be q(1). Let k = 50 + w. Is k a composite number?
False
Let m = 11 + -9. Suppose -2*l + 350 = 2*t, 4*l + l = m*t - 378. Suppose r - t = -40. Is r composite?
False
Suppose 31 + 9 = -2*v. Let b be v*(1 + (-1)/4). Let n = b + 108. Is n a prime number?
False
Let n(y) = 9*y**3 + y - 1. Let i be n(1). Let h(r) = 44*r + 46*r + 2*r**2 - 133*r + 54*r - 2. Is h(i) composite?
True
Let r = 6 + -1. Suppose -3*l = r*z - 24, 0 = 5*l - 2*l - 4*z + 3. Suppose 5*u - 26 = -0*u - l*w, -38 = -5*u + w. Is u prime?
True
Suppose 0 = 2*g + 175 - 635. Let i = -99 + g. Suppose 4*o = 129 + i. Is o prime?
False
Let m = -4582 - -7011. Is m a prime number?
False
Let y = -135 + 43. Let k = y - -3811. Is k prime?
True
Suppose -2*c + 6*c = -32. Suppose -9 - 13 = -f. Is (f/c)/(8/(-64)) a composite number?
True
Suppose 735 + 3280 = 5*f. Suppose -3*c + f = -370. Is c a prime numbe