prime?
False
Let b(a) = 61*a - 21. Let h be b(12). Let k = h + -296. Is k a composite number?
True
Suppose -2*f + 5*j = 2*f + 5343, -3*j + 6682 = -5*f. Let m = f - -3208. Is m a prime number?
True
Let f = 231 - 228. Suppose -f*t = 5*o - 1045 - 4266, o + 5335 = 3*t. Is t a prime number?
True
Suppose -2*m = 2*f + 8, 4*f + m + 20 = -m. Suppose j + 13 = -v - 2*v, -5*v - 33 = -4*j. Is j/4*f/3 - -866 a composite number?
True
Let h = -42 + 42. Suppose 3*f - 15 + 0 = h. Suppose 4*d - 1002 = -f*a, a + 105 = d - 150. Is d a composite number?
True
Suppose -j + 358 = x - 865, -x = -3*j - 1243. Suppose -2*a + 3*a = -723. Let i = a + x. Is i a composite number?
True
Suppose 77*j = 84*j + 20356. Let k = j + 6363. Is k a prime number?
False
Let a = -56565 - -212066. Is a prime?
True
Let p(y) = -396*y + 401. Is p(-31) a composite number?
True
Let x(c) = -260*c + 47 + 12 + 88*c. Let s(j) = 57*j - 20. Let d(n) = -11*s(n) - 4*x(n). Is d(9) composite?
True
Let s(o) = 232*o**2 - 183*o - 42. Is s(25) a composite number?
True
Let o(l) = -5*l + 4. Let m be o(0). Suppose 0 = 2*v - 3*w - 358 + 41, 0 = m*v - 5*w - 637. Is v composite?
False
Let s = -258889 - -462630. Is s a composite number?
True
Is (6 - 525/90) + (-89633)/(-6) a composite number?
False
Let f = -12370 - -46161. Is f a composite number?
False
Let g(j) = -82*j**3 + 2*j**2 - 2*j + 4. Let t be g(3). Let b be ((-1948)/(-16))/((-7)/84). Let o = b - t. Is o a prime number?
False
Let q = 2420 - -596. Let l = -1653 + q. Is l prime?
False
Let t = 288464 + -53173. Is t prime?
False
Let c(r) = -394*r - 67. Let a be c(6). Let d = a - -9048. Is d prime?
False
Let j(t) = -496*t**2 - 8*t + 37. Let h(s) = 250*s**2 + 3*s - 19. Let y(g) = -5*h(g) - 3*j(g). Let d be ((-6)/2)/(-1) + 0. Is y(d) prime?
True
Let w be (-28)/(7 + -3) + -4. Is (-2)/w + (-2465535)/(-209) prime?
False
Let k(o) = -58 + 123 - 100 - 58 + 340*o. Is k(13) a composite number?
False
Let d(g) = 7000*g**2 - 268*g - 15. Is d(6) composite?
True
Suppose 3*l = 3*d, -12 = -l + 5*d - 24. Let u = -5 + 15. Suppose -229 = -2*q - u*j + 7*j, -l = j. Is q a composite number?
True
Suppose l - 24 = -l. Let u = l + 9. Suppose -105 - u = -6*y. Is y composite?
True
Let k(f) = -49*f - 1. Suppose 2*p + 0*p = -4. Let u be k(p). Suppose -u = -2*h + 9. Is h composite?
False
Suppose 15*h = -5*l + 14*h + 2422, 5*l = -4*h + 2413. Let b = -220 + l. Is b composite?
True
Let s(g) = -241*g**3 + 48*g**2 + 235*g + 11. Is s(-5) a prime number?
True
Let f be ((-352)/(-128))/(2/72). Let j = f - -308. Is j composite?
True
Suppose 0 = -3*g + 58 + 383. Suppose 189*u = 44*u + 54085. Let v = u - g. Is v a prime number?
False
Suppose -154*r + 152*r + 969194 = 0. Is r a composite number?
False
Suppose 7*c = 47*c - 46240. Suppose -t + c = 3*f, 8*f - 5*f + 5870 = 5*t. Is t prime?
True
Let n = -11427 + 14324. Is n prime?
True
Let p = -3066 - -3585. Is p composite?
True
Let o(d) = -3*d + 9. Let w be o(3). Suppose w = 5*b - 7*b + 4040. Suppose -29*z + 33*z = b. Is z a composite number?
True
Suppose -3*d - w + 6*w + 95 = 0, 0 = -4*d + w + 104. Let k(h) = h**3 - 25*h**2 + 2*h - 37. Let a be k(d). Let t(q) = 6*q**2 + 13*q + 3. Is t(a) composite?
True
Let h = -146731 - -232062. Is h a prime number?
True
Let q = -19 - -15. Let u(g) = 159*g**2 + 5*g - 12. Let i be u(q). Suppose -2*r - 4*n = -i, -2*r - 5*n = 2*r - 5033. Is r a composite number?
True
Is -16 + -2 - -2 - -145169 a composite number?
True
Let h be (8972/(-16))/((-7)/168). Is h/9*6/4 composite?
False
Is (-14)/6*(-58517766)/609 a composite number?
True
Suppose -294995 = -45*l - 3*l + 279517. Is l prime?
True
Let v = 255353 + -36810. Is v a composite number?
True
Suppose -m = -3*a + 8, -5*m - 2*a - 2 - 4 = 0. Let u(z) be the first derivative of -9*z**4 - 2*z**3/3 - 2*z + 12. Is u(m) composite?
True
Suppose m + 24261 = w - 3*m, -4*w + 3*m + 97057 = 0. Let j = w + -8232. Is j composite?
False
Let x be (17/2)/((-22)/(-72292)). Suppose 0 = 3*h - 3, h - x + 25 = -5*m. Is m a composite number?
False
Let x(q) = -38995*q - 3107. Is x(-4) prime?
False
Suppose -379076 = -4*p - i, -92*p + 95*p = 4*i + 284307. Is p composite?
True
Let p(k) be the second derivative of k**5/10 - 7*k**4/12 - 5*k**3/6 + 22*k**2 - 3*k + 5. Is p(6) a prime number?
False
Let d be 10/(-4)*-2*5282/19. Let r = -983 + d. Is r a composite number?
True
Let u(x) = 5678*x**3 + 5*x**2 - 18*x + 10. Is u(2) a prime number?
False
Is 64122 - ((24/(-40) - 114/(-15)) + -14) composite?
True
Let r = -4 + 7. Suppose 0 = 22*j + 955 - 7687. Suppose 6*g - j = -r*g. Is g a composite number?
True
Suppose -9*c + 22*c = 156. Let h be (-2600)/(-175) + (c/(-14) - -1). Is 316/(-10)*(h/6 - 5) composite?
False
Let i be ((-4)/(72/9))/(1/(-3530)). Let x = 3803 - i. Is x a composite number?
True
Let n = 155 - 150. Let q be -1 + (-2 + -1 - -8). Suppose -n*k = -0*r + 2*r - 4445, -q*r = -3*k + 2641. Is k composite?
False
Let o = -52819 - -161472. Is o a composite number?
True
Let i = 233 - 271. Let m(t) = -152*t - 93. Is m(i) prime?
True
Let i(j) = j**2 + 19*j - 25. Let p be i(-20). Let g be (p - 11/(-1))*1*245. Suppose g = 2*x + q, -2*q = -3*x - 3*q + 2207. Is x composite?
True
Suppose 135*q - 138*q = -2895. Let i(h) = -33*h**2 - 8*h - 7. Let v be i(-5). Let m = q - v. Is m a composite number?
True
Let o = -4282 - -13947. Is o prime?
False
Suppose 3 = -3*b + 3. Suppose -8 = -n - n, b = 5*q - 2*n - 42. Let r = 1009 + q. Is r a composite number?
False
Suppose -2*s + 5*b + 37 + 17 = 0, -4*b - 56 = -2*s. Suppose -d + s = -8*g + 3*g, 0 = -3*g + 5*d - 6. Is (21/2)/g - (-642)/4 prime?
False
Let y(n) = -80289*n - 518. Is y(-5) a prime number?
True
Suppose 0*k = 9*k - 36. Suppose -k*b - 20 = -28. Suppose 4*j - 3*q - 216 = 133, -b*j - 5*q + 207 = 0. Is j a prime number?
False
Suppose h = -28*h - 156223. Is 9/(-15) - (-51)/(-15) - h prime?
False
Suppose 4114505 = 42*b + 945899. Is b a composite number?
True
Let z = 17163 - 9840. Is z composite?
True
Is -13 - 2 - (-92009 - -61) prime?
False
Let d be (-2)/(-12)*-2 + 14/6. Suppose -2*o + 3*p = -2091, -o - 1046 = -d*o + 2*p. Suppose o = 4*t - 232. Is t a prime number?
False
Suppose 29*d + 144 = 5*d. Is (-28442)/d - (-22)/33 a composite number?
True
Let h = 20 + -17. Suppose 4*i - 421 = -3*g, -h*g - 4*i = -2*g - 135. Suppose 394 + g = x. Is x a composite number?
True
Let g be (-1443 + 2)/((-3)/15). Suppose 2*c - g = -3*c. Let s = -660 + c. Is s composite?
True
Suppose w = -11*d + 2650373, -3*w = -18*d + 20*d - 481886. Is d prime?
True
Let h(o) = 18*o**2 + 8*o + 7. Let d be h(-3). Suppose -3*t + d + 218 = 0. Is t a composite number?
True
Let f(p) = -p**3 - 11*p**2 - 10*p + 11. Let i be f(-10). Suppose t - 9 = -i. Is (-23253)/(-92) + 1/(-8)*t prime?
False
Let d(t) = 7*t**3 - 4*t**2 - 5*t + 12. Let b be d(3). Let g be 14/(-98) + 2444/7. Let r = g - b. Is r composite?
False
Let g(u) = -u**2 + 12*u + 6. Let m be g(12). Let t(h) = -m*h**2 + 3*h + 8 + 0*h**2 + h**3 + 3*h**2 + 5. Is t(6) a composite number?
False
Let j = -692 - -3507. Let u(g) = -6*g**3 + 8*g**2 + 2*g - 2. Let w be u(6). Let k = j + w. Is k composite?
True
Suppose -4*k - 12 = -5*k. Let n be ((-6)/(-3) + -4)/2. Is (n + (-21034)/10)/(k/(-30)) a prime number?
True
Is 4822*(4/(-40) + 60/100) composite?
False
Let u(k) = 20*k**2 + k. Let x be u(3). Let s = 934 - 588. Let t = s - x. Is t a composite number?
False
Is -12 - (-7 + -18554) - 10 prime?
True
Let b(v) be the first derivative of -89*v**2/2 + 5*v + 4. Let n(u) = -88*u + 6. Let a(z) = -5*b(z) + 4*n(z). Is a(6) a composite number?
False
Let p(m) = 56*m**2 + 15*m + 3. Let f(k) = -24*k - 374. Let q be f(-16). Is p(q) composite?
True
Let x(r) = 20*r - 18. Let c(k) = -k**3 + 2*k**2 + 5*k - 1. Let m be c(-2). Let i be x(m). Let u = 221 + i. Is u prime?
False
Let b(h) = 34*h**3 - 3*h**2 + 17*h + 12. Let o(x) = -16*x**3 + x**2 - 8*x - 6. Let z(f) = -6*b(f) - 13*o(f). Is z(7) composite?
False
Let g = 146760 + -38693. Is g a composite number?
True
Let c(l) be the first derivative of -12*l**4 + l**3 + 5*l**2/2 + 7*l + 3. Let b be ((-9)/(-6))/((2 + -4)/4). Is c(b) a composite number?
True
Suppose -5*m = 19 - 34. Suppose 14 = 5*h - 6, h = m*b - 25253. Is b composite?
False
Suppose 0 = -69*l + 62*l + 294343. Is l prime?
False
Suppose 206 = s - 2*x, 3*s - 2*s = -4*x + 176. Suppose 0 = -2