composite?
True
Suppose 0 = -74*b + 11320 + 669406. Is b a composite number?
False
Let o(a) = -708*a + 1465. Is o(-11) prime?
False
Let u(c) = 21*c - 3 + 26 + 9*c + 66*c. Let t(v) = -5*v - 1. Let z be t(-4). Is u(z) a prime number?
True
Suppose -4*a + 242199 = 2*j - 217791, 230007 = j - a. Is j a composite number?
False
Suppose -20*n = -11*n - 36. Suppose 5*u - 10*u + 5*g + 12320 = 0, -3*u + n*g + 7397 = 0. Is u a composite number?
False
Let x(v) = v**2 + v - 1. Let y be x(2). Suppose -3*o - y*h + 22547 = -3*h, 2*o = -4*h + 15042. Is o a prime number?
False
Let r(y) = 8*y - 237. Let b be r(30). Suppose -702 = -5*x - 2*m + 3997, b*m = 2*x - 1872. Is x composite?
True
Let o be (23388 - -213)*(4/2 + -1). Suppose -g = -3*a - 4729, -3*g - o = -8*g + 4*a. Is g composite?
True
Let b(j) = 3*j**3 - 16*j**2 + j + 13. Is b(11) a composite number?
False
Suppose -49*o = 216*o - 959830. Suppose 2*w + 3597 = j, w = j - 2*j - 1800. Let n = o + w. Is n a prime number?
True
Let d(c) = 22306*c**3 + 19*c - 58. Is d(3) a prime number?
False
Suppose -20 = -z - 3*t, -2*z + 94*t = 89*t + 4. Suppose -2*k + b = -5*k + 23, 19 = 3*k - b. Suppose k*a = z*a - 674. Is a a composite number?
True
Suppose 0 = -4*r + 6*r + 4, -j - 5*r + 124101 = 0. Is j a prime number?
False
Suppose 51*i - 5229386 - 5871427 = 0. Is i a composite number?
True
Suppose -3*j - 903 = -5*w, -4*w + 1209 = -4*j + w. Let r = -60 - j. Is ((-17)/2)/((-3)/r) a composite number?
True
Is 14/70 - (-1293504)/30 prime?
True
Let v be 79/9 - 78/(-351). Suppose v*r - 1741 - 1616 = 0. Is r a prime number?
True
Suppose 2 = 4*o - 3*r, o + 16 = 5*o + 4*r. Is (16 - -6295)/(o + 9/(-5)) composite?
True
Let v be -7*(6/(-7))/(-1). Let d be v/(12/(-11447)) + 6/(-4). Let w = -3219 + d. Is w a prime number?
True
Suppose -2*w = -3*u + 16, -15 + 5 = 5*w. Suppose g - 3 = -2, -2*a = u*g + 4950. Let y = -1215 - a. Is y prime?
False
Suppose 14*n - 7195 = 16003. Is (2/2)/((-8284)/n - -5) composite?
False
Suppose -90*t - 1769282 + 16733942 = 0. Is t a composite number?
True
Let n = 15 - 15. Let j = 1882 - 1000. Suppose -5*x + 4927 - j = n. Is x a composite number?
False
Let k(a) = 11 - 12 - 42 - 18 - 7*a. Let j be k(-11). Suppose -j*o + 13*o + 339 = 0. Is o prime?
True
Is 4/(-10) - 36906155/(-325) a composite number?
False
Let k(h) = -h**2 - 9*h - 12. Let r be k(-7). Suppose 2*b - 5*y + y - 24946 = 0, 5*b = r*y + 62397. Is b a composite number?
True
Let x = -46 - -26. Let s be (-1 + 2/(-6))*(-120)/(-16). Is (s/x)/(2/3508) a prime number?
True
Suppose d - 4*z = 18, -4*z = d - 0 - 18. Suppose -14*j = -d*j - 12860. Let m = -2004 - j. Is m prime?
False
Let l(z) = 8*z**2 + 128*z + 65. Is l(47) composite?
False
Let f be (((-175)/20)/7)/((-4)/16). Suppose -f*h = 5*n - 26280, -15789 = -3*h + 4*n - 0*n. Is h a composite number?
True
Suppose -26*r = -2228 - 3544. Suppose -217*m = -r*m + 16885. Is m prime?
False
Let x(b) = -20*b**3 - 36*b**2 + 416*b + 9. Is x(-32) a prime number?
False
Suppose 3*v - 360446 = 16*m + 242003, -401644 = -2*v + 5*m. Is v composite?
True
Suppose 23*m = 22*m + 130. Suppose 0 = m*d - 137*d + 6209. Is d prime?
True
Let o(k) = -33*k**3 + 39*k**2 + 79*k + 98. Is o(-31) prime?
False
Let s(h) = -h - 10. Let r(a) = 71*a + 50. Let u(b) = r(b) + 4*s(b). Let j = 4 + -1. Is u(j) a prime number?
True
Suppose 13*i - 101829 = 28964. Is i a composite number?
False
Let d = 140883 - 94492. Is d composite?
True
Suppose 61 = 4*v + 21. Let l be (486/v - -1) + 6/15. Suppose 4*b + n - l = 26, 4*b + 2*n - 76 = 0. Is b a prime number?
True
Let k be 26/2*96/208. Is (33089/(-3) - k)/(2/(-6)) a composite number?
False
Let u(y) = -3*y**2 - 14*y**2 - 7*y**2 + 9 + 22*y**2 + 47*y + y**2. Suppose 3*r + 6 - 63 = 0. Is u(r) a prime number?
True
Suppose 77*l - 3901423 = -35*l - 1213311. Is l prime?
True
Suppose -173*n + 4629315 + 16424266 = 0. Is n prime?
True
Suppose -8*u - 39*u + 29926716 = -11114201. Is u composite?
True
Let z be ((-6)/(-4))/((-63)/14 + 5). Let k = -573 - -2038. Suppose -2*q = -z*q + k. Is q composite?
True
Suppose 0 = -54*x - 50*x + 110*x - 650058. Is x composite?
False
Suppose -x + 4 = -5*z + z, x + 2*z = -2. Suppose -20 = 5*o - 0*o, x = n - 4*o - 218. Let q = n - 19. Is q a prime number?
False
Let t(d) = 62*d + 412. Let s be t(-7). Let i(k) = -k - 3. Let j be i(-2). Is (18/s - j) + 385762/286 a composite number?
True
Let r = -5443 + 660. Is 3 + (-3 - 0 - r) prime?
True
Let t(j) = -4*j + j**2 - 9 + 5*j**2 - 6*j. Suppose 70 = -36*i + 26*i. Is t(i) a prime number?
False
Suppose f = -4*j + 37063, 2*f - 40400 = -4*j - 3334. Let x = 15212 - j. Is x prime?
False
Let q be (11 + 35/(-7))*(-20)/6. Let f be (-14)/10 + ((-108)/q - 6). Is (-242)/(-10)*(f + 7) a composite number?
True
Let z(f) = 33979*f - 1932. Is z(13) composite?
True
Is (687997 + -1 + -2)/(-29 - -31) prime?
True
Let b = -218381 - -324198. Is b a prime number?
True
Is (-252)/144 + 1565001/12 composite?
True
Suppose 13936 = 8*f + 3816. Suppose 0 = -3*y + j + f, 3*y - 3*j - 1018 = 245. Suppose -2*x + 4*x = y. Is x a prime number?
True
Is (-2 - -38021) + ((-76)/(-266))/((-2)/(-28)) composite?
True
Suppose -6*d + 8 + 28 = 0. Suppose -d*w - 19430 = -16*w. Is w prime?
False
Let r(p) = 19*p + 167*p**2 - 326*p**2 + 165*p**2 - 38*p**3 + 10. Is r(-9) composite?
False
Let h(m) be the second derivative of -m**4/12 + 5*m**3/2 + 37*m**2/2 - 21*m. Let r be h(17). Suppose 2234 = r*g - 8245. Is g a composite number?
True
Suppose -2 = -3*r + 4. Let d be r - (1 + -1) - (-1 - 1). Is 67 - d*4/8 a composite number?
True
Let h = -73681 + 241542. Is h a composite number?
False
Suppose -4*l + 73152 = 4*m - 201700, -3*l = 4*m - 274846. Is m prime?
False
Let j = 275 - 269. Suppose -j*p + 0*p + 11010 = 0. Is p prime?
False
Suppose 2322616 = 4*k - 4*j, 56*k - 57*k + 580654 = -4*j. Is k prime?
False
Let t(c) = 422*c**2 - 19*c + 14. Is t(-19) composite?
False
Is (-6)/(-20)*-1548566*12135/(-7281) a composite number?
False
Suppose -5*b + 3*b + 2 = 0. Is (-1 - 529)*((-2)/(-4) - b) a composite number?
True
Let v = 3135 + 7528. Is v a prime number?
True
Suppose 4*p - 2*p + 5*t - 17 = 0, -3*t = -2*p + 9. Let j be 3*p/(-27)*6/4. Is (-968)/(-2) - (-4 + 1)/j prime?
False
Let k be 2/4*-1 - (-119556)/(-8). Let l = 21156 + k. Is l composite?
False
Let k(n) = n - 20. Let y be k(22). Suppose 0 = y*l - 31 + 379. Let f = l - -2341. Is f a prime number?
False
Suppose -q = p - 6, -q = -4*p + 3 - 4. Let w be 6433 + (2 + 1 - p). Suppose 9*x = -2124 + w. Is x prime?
True
Is (-1402081)/(-9) + 246/1107 composite?
True
Let r(l) = 31*l**3 + 2*l**2 + 6*l - 4. Let w(a) = -a + 5. Let o be w(0). Let f be r(o). Suppose -f = -5*n + 3074. Is n a composite number?
True
Suppose 19*l = 21*l + 22. Let m = l - -10. Is (-13*2)/m - 0 a prime number?
False
Suppose 5 = -y, -w = -5*w + 3*y + 705211. Is w composite?
False
Let v(d) = 58425*d - 14888. Is v(13) a composite number?
False
Let u(x) = 9*x. Let j be u(1). Suppose 22*h - 9*h = j*h. Suppose h = -7*m + 8129 + 1398. Is m composite?
False
Let s(z) = -z**2 + 4*z + 9. Let y be s(-5). Suppose -25*h + 27*h - 42 = 0. Let g = h - y. Is g composite?
True
Suppose 5*j - 195111 = -h, -h - 96*j + 92*j + 195109 = 0. Is h composite?
True
Let f = -882 - -896. Suppose -f*o + 12229 - 1155 = 0. Is o a prime number?
False
Suppose 14762 + 42938 = 10*r. Suppose 6*n - r = 29996. Is n a composite number?
True
Let u = 1212817 - 742418. Is u a composite number?
False
Suppose -l = 0, -l - 2302 = -2*f - 0*l. Suppose 14*u = 291 + f. Is u prime?
True
Suppose 0 = 37*i - 4*i + 173118. Let a = 16524 + i. Is a composite?
True
Let y(t) be the first derivative of -5*t**3/3 - t**2/2 - 20*t - 24. Let r be y(-5). Let n = r + 259. Is n prime?
False
Is (-4 - 401474/6)/(2/(-12)*2) prime?
False
Let n = -44 - -45. Let b = 90 + n. Is b prime?
False
Let o(r) = 17*r**3 + 13*r**2 + 2*r + 56. Let c be o(11). Suppose -20*b + 16*b + 5*h = -c, -3*b = 5*h - 18191. Is b a composite number?
False
Let c = 197182 - 129735. Is c prime?
True
Let q(f) = -39*f + 16. Let h be (-4)/(-10)*(-210)/(-12). Let c be q(h). Let j = c - -366. Is j a prime number?
True
Let w = 379 + -179. Let i be ((-2160)/75)/((-6)/w). Let s = -579 + i. Is s a prime number?
False
Let a(g) be the third derivative of -g**5/60 + g**4/12 + 13733*g**3/6 - 202*g**2. Is a(0) prime?